A Foliation of the Space of Conjugacy Classes of Representations of a Surface Group

Let be the fundamental group of a closed orientable surface of genus g 1, and let R(, G)/G be the space of conjugacy classes of representations of into a connected real reductive Lie group G. Motivated by the theory of geometric quantization, we define a map ¯ on R(, G)/G and investigate whether the fibres of ¯ are isotropic with respect to the natural symplectic structure on R(, G)/G. If g = 2 and G = SU(2), then the foliation given by the fibres of ¯ is equivalent to a real polarization defined by Weitsman, and we reprove his result that the fibres are isotropic in this case. If g = 1 then the fibres of ¯ are also isotropic, but we give an example to show that in general they are not.     

Doubly β-Derived Translation Planes

Existence and uniqueness of a doubly -derived translation plane of order 49 are proved. Furthermore, we give a complete classification of those translation planes of order 49 which can be obtained from the desarguesian plane of order 49 by a mixed double derivation, namely by applying a -derivation on and a classical derivation (also called Ostrom's derivation or -derivation) on .     

The odd ordér analogue of Dempwolff's B-group problem

Let be a translation plane of odd order p^2R for p a prime. Let admit at least two p-groups, B_i, i=1, 2, B₁B₂ of orders > p^R/2 which fix Baer subplanes _i, i = 1,2, ₁₂ pointwise. It is shown that under these assumptions must be a Hall plane.     

Hilbert Series of Group Representations and Gröbner Bases for Generic Modules

Each matrix representation :G GL_n() of a finite Group G over a field induces an action of G on the module ⁿ over the polynomial algebra The graded -submodule M() of _n generated by the orbit of is studied. A decomposition of M() into generic modules is given. Relations between the numerical invariants of and those of M(), the latter being efficiently computable by Gröbner bases methods, are examined. It is shown that if is multiplicity-free, then the dimensions of the irreducible constituents of can be read off from the Hilbert series of M(Pi;). It is proved that determinantal relations form Gröbner bases for the syzygies on generic matrices with respect to any lexicographic order. Gröbner bases for generic modules are also constructed, and their Hilbert series are derived. Consequently, the Hilbert series of M(Pi;) is obtained for an arbitrary representation.     

Survival time of a random graph

LetV _n ={1, 2, ...,n} ande ₁,e ₂, ...,e _N ,N= be a random permutation ofV _n ⁽²⁾. LetE _t={e ₁,e ₂, ...,e _t} andG _t=(V _n ,E _t ). If is a monotone graph property then the hitting time() for is defined by=()=min {t:G _t }. Suppose now thatG starts to deteriorate i.e. loses edges in order ofage, e ₁,e ₂, .... We introduce the idea of thesurvival time =() defined by t = max {u:(V _n, {e _u,e _u+1, ...,e _T }) }. We study in particular the case where isk-connectivity. We show that

Some extremal results on circles containing points

We define (n) to be the largest number such that for every setP ofn points in the plane, there exist two pointsx, y P, where every circle containingx andy contains (n) points ofP. We establish lower and upper bounds for (n) and show that [n/27]+2(n)[n/4]+1. We define for the special case where then points are restricted to be the vertices of a convex polygon. We show that .     

Semiovals with large collinear subsets

Asemioval in a projective plane is a setS of points such that for every pointP S, there exists a unique line of such thatS={P}. In other words, at every point ofS, there exists a unique tangent line.In this paper, we consider semiovals such that some line has a large intersection withS. In a finite plane it is shown that no semioval can contain a full line, and that apart from two small cases, no semioval can contain all but one point of some line. We then consider semiovals which contain all but two points of some line, providing some examples and characterizations.     

On the Projections of Multivalued Maps

This paper considers analogues of the Helmholtz projections of the set of selections of a piecewise smooth multivalued map , n2. It is shown that, for mn–1 (m=1), the closure of the projection of on the subspace of gradient fields (solenoidal vector fields) is a convex set. For the general case, there are given point-wise conditions on the values of the map which ensure that the closure of the projection of contains the zero element. Possible applications to optimal control problems are discussed.     

Sufficient Conditions for the Existence of Disintegrations

Let be a probability space and a partition of . A necessary and sufficient condition is given for the existence of a -additive and measurable disintegration of P on . It is also shown that P admits a -additive (but not measurable) disintegration on whenever is a standard space and the set (₁, ₂):₁ and ₂ are in the same element of } is coanalytic in ×. Finally, sufficient statistics (in the classical Fisherian sense) are investigated by using -additive disintegrations as conditional probabilities.     

Quotient Complexes and Lexicographic Shellability

Let _n,k,k and _n,k,h , h < k, denote the intersection lattices of the k-equal subspace arrangement of type _n and the k,h-equal subspace arrangement of type _n respectively. Denote by the group of signed permutations. We show that ( _n,k,k )/ is collapsible. For ( _n,k,h )/ , h < k, we show the following. If n 0 (mod k), then it is homotopy equivalent to a sphere of dimension . If n h (mod k), then it is homotopy equivalent to a sphere of dimension . Otherwise, it is contractible. Immediate consequences for the multiplicity of the trivial characters in the representations of on the homology groups of ( _n,k,k ) and ( _n,k,h ) are stated.The collapsibility of ( _n,k,k )/ is established using a discrete Morse function. The same method is used to show that ( _n,k,h )/ , h < k, is homotopy equivalent to a certain subcomplex. The homotopy type of this subcomplex is calculated by showing that it is shellable. To do this, we are led to introduce a lexicographic shelling condition for balanced cell complexes of boolean type. This extends to the non-pure case work of P. Hersh (Preprint, 2001) and specializes to the CL-shellability of A. Björner and M. Wachs (Trans. Amer. Math. Soc. 4 (1996), 1299–1327) when the cell complex is an order complex of a poset.     

Schwarz-Pick Inequalities for Hyperbolic Domains in the Extended Plane

Let and be two hyperbolic simply connected domains in the extended complex plane C¯ = C¯ {}. We derive sharp upper bounds for the modulus of the nth derivative of a holomorphic, resp. meromorphic function f: at a point z ₀ . The bounds depend on the densities (z ₀) and (f(z ₀)) of the Poincaré metrics and on the hyperbolic distances of the points z ₀ and f(z ₀) to the point .     

Sur l'homotopie rationnelle des espaces fonctionnels

Let X be a nilpotent space such that it exists k1 with H^p (X,) = 0 p > k and H^k (X,) 0, let Y be a (m–1)-connected space with mk+2, then the rational homotopy Lie algebra of Y^X (resp. is isomorphic as Lie algebra, to H^* (X,) (_* (Y) ) (resp.⁺ (X,) (_* (Y) )). If X is formal and Y -formal, then the spaces Y^X and are -formal. Furthermore, if dim _* (Y) is infinite and dim H^* (Y,Q) is finite, then the sequence of Betti numbers of grows exponentially.     

Necessary and sufficient conditions for interpolation with functions having monotoner-th derivatives

,

The Oscillator Character Formula,for isometry groups of split forms in deep stable range

Let and be a reductive dual pair of the type mentioned in the title, with the smaller member. Let and be unitary representations of , which occur in Howe's correspondence. We express the distribution character of in terms of the character of via an explicit integral kernel operator.Oblatum 4-I-1995Research partially supported by the¹UMK Grant 514-M, and the²NSF Grant DMS 9204488.     

Intuitionistic weak arithmetic

We construct -framed Kripke models of i₁ and i₁ non of whose worlds satisfies xy(x=2yx=2y+1) and x,yzExp(x, y, z) respectively. This will enable us to show that i₁ does not prove ¬¬xy(x=2yx=2y+1) and i₁ does not prove ¬¬x, yzExp(x, y, z). Therefore, i₁¬¬lop and i₁¬¬i₁. We also prove that HAl₁ and present some remarks about i₂. Mathematics Subject Classification (2000):03F30, 03F55, 03H15.     

Π 2 1 -Logic and uniformization in the analytical hierarchy

We give a simple proof of ₁ ¹ and ₂ ¹ uniformization results, which is based on the use of ₂ ¹ -Logic.     

Lattices of interpretability types of varieties

Let be the set of all primes, the field of all algebraic numbers, and Z the set of square-free natural numbers. We consider partially ordered sets of interpretability types such as , and , where AD is a variety of -divisible Abelian groups with unique taking of the pth root _p(x) for every p , is a variety of -modules over a normal field , contained in , and G_n is a variety of n-groupoids defined by a cyclic permutation (12 ...n). We prove that , and are distributive lattices, with and where ub and ub_f are lattices (w.r.t. inclusion) of all subsets of the set and of finite subsets of , respectively.Deceased.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 198–210, March–April, 2005.     

Sharpening of Stečkin's theorem to strong approximation

. . , , : f — ,