Classical theorems of probability on Gelfand pairs—Khinchin’s theorems and Cramér’s theorem

We prove Khinchin’s Theorems for Gelfand pairs (G, K) satisfying a condition (*): (a)G is connected; (b)G is almost connected and Ad (G/M) is almost algebraic for some compact normal subgroupM; (c)G admits a compact open normal subgroup; (d) (G,K) is symmetric andG is 2-root compact; (e)G is a Zariski-connectedp-adic algebraic group; (f) compact extension of unipotent algebraic groups; (g) compact extension of connected nilpotent groups. In fact, condition (*) turns out to be necessary and sufficient forK-biinvariant measures on aforementioned Gelfand pairs to be Hungarian. We also prove that Cramér’s theorem does not hold for a class of Gaussians on compact Gelfand pairs. This author was supported by the European Commission (TMR 1998–2001 Network Harmonic Analysis).     

The Homotopy Type of Lie Semigroups in Semi-Simple Lie Groups

 Let G be a noncompact semi-simple Lie group and a Lie semigroup with nonempty interior. We study the homotopy groups , , of S. Generalizing a well known fact for G, it is proved that there exists a compact and connected subgroup such that is isomorphic to . Furthermore, there exists a coset z contained in int S which is a deformation retract of S.     

Equivariant K-Theory of Compact Connected Lie Groups Dedicated to Daniel Quillen on the Occasion of his Sixtieth Birthday

We compute the equivariant K-theory K _G ^* (G)for a compact connected Lie group Gsuch that ₁ (G)is torsion free (where Gacts on itself by conjugation). We prove that K _G ^* (G)is isomorphic to the algebra of Grothendieck differentials on the representation ring. We also study a special example of a compact connected Lie group Gwith ₁ (G)torsion, namely PSU(3), and compute the corresponding equivariant K-theory.     

Factoring a Lie Group into a Compactly Embeddedand a Solvable Subgroup

 Let G be a real connected Lie group. A subgroup K is called compactly embedded if the closure of Ad(K) is compact in Aut(). If K is, in addition, maximal with respect to this property, then there exists a solvable subgroup S containing the nilradical such that and is the one-component of the center of G. (Received 1 June 1999; in revised form 28 December 1999)     

The Homotopy Type of Lie Semigroups in Semi-Simple Lie Groups

 Let G be a noncompact semi-simple Lie group and a Lie semigroup with nonempty interior. We study the homotopy groups , , of S. Generalizing a well known fact for G, it is proved that there exists a compact and connected subgroup such that is isomorphic to . Furthermore, there exists a coset z contained in int S which is a deformation retract of S. Received 6 December 2000; in revised form 23 November 2001     

The topology of moduli spaces of group representations: The case of compact surface

Let G be a connected complex semisimple affine algebraic group, and let K be a maximal compact subgroup of G. Let X be a noncompact oriented surface. The main theorem of Florentino and Lawton (2009) [3] says that the moduli space of flat K-connections on X is a strong deformation retraction of the moduli space of flat G-connections on X. We prove that this statement fails whenever X is compact of genus at least two.     

On the factor sets of measures and local tightness of convolution semigroups over Lie groups

It is shown that for a large class of Lie groups (called weakly algebraic groups) including all connected semisimple Lie groups the following holds: for any probability measure on the Lie group the set of all two-sided convolution factors is compact if and only if the centralizer of the support of inG is compact. This is applied to prove that for any connected Lie groupG, any homomorphism of any real directed (submonogeneous) semigroup into the topological semigroup of all probability measures onG is locally tight.     

Proper actions of lattices on contractible manifolds

Every lattice Γ in a connected semi-simple Lie group G acts properly discontinuously by isometries on the contractible manifold G/K (K a maximal compact subgroup of G). We prove that if Γ acts on a contractible manifold W and if either?1) the action is properly discontinuous, or?2) W is equipped with a complete Riemannian metric, the action is by isometries and with unbounded orbits, G is simple with finite center and rank >1,?then dimW≥dimG/K. Oblatum 19-I-2001 & 24-IV-2002?Published online: 5 September 2002 RID="*" ID="*"The authors gratefully acknowledge support from the National Science Foundation.     

Assouad–Nagata dimension of connected Lie groups

We prove that the asymptotic Assouad–Nagata dimension of a connected Lie group G equipped with a left-invariant Riemannian metric coincides with its topological dimension of G/C where C is a maximal compact subgroup. To prove it we will compute the Assouad–Nagata dimension of connected solvable Lie groups and semisimple Lie groups. As a consequence we show that the asymptotic Assouad–Nagata dimension of a polycyclic group equipped with a word metric is equal to its Hirsch length and that some wreath-type finitely generated groups can not be quasi-isometrically embedded into any cocompact lattice on a connected Lie group.     

Maximality of compression semigroups

LetG be a connected semisimple Lie group andr an involution onG. Further letL be an open subgroup of the groupG ^r ofr-fixed points andP⊂-G a parabolic subgroup. The semigroupS(L,P)∶={g∈G∶gLP⊂-LP} is called the compression semigroup of theL-orbit of the base point in the flag manifoldG/P. We show that compression semigroups for open orbits and regular symmetric pairs are maximal semigroups. Supported by a DFG Heisenberg-grant.     

On automorphism groups of connected Lie groups

We prove that ifG is a connected Lie group with no compact central subgroup of positive dimension then the automorphism group ofG is an almost algebraic subgroup of , where is the Lie algebra ofG. We also give another proof of a theorem of D. Wigner, on the connected component of the identity in the automorphism group of a general connected Lie group being almost algebraic, and strengthen a result of M.Goto on the subgroup consisting of all automorphisms fixing a given central element.     

Analytic continuation of local representations of symmetric spaces

We prove the following analytic continuation theorem which applies to any virtual representation of any symmetric space (G, K, σ). The problem of passing from the Euclidean group to the Poincaré group appears first to have been addressed and solved this way by Klein and Landau. Let G be a Lie group, K a closed subgroup, and σ an involutive automorphism with K as fixed-point subgroup. If = + is the corresponding symmetric Lie algebra, we form ^* = + , and let G^* denote the simply connected Lie group with ^* as Lie algebra. We consider virtual representations π of G on a fixed complex Hilbert space , adopting the definitions due to J. Fröhlich, K. Osterwalder, and E. Seiler; in particular, π(g⁻¹) π(σ(g))^* (possibly unbounded operators) for g in a neighborhood of e in G. We prove that every such π continues analytically to a strongly continuous unitary representation of G^* on . Our theorem extends results due to Klein-Landau, Fröhlich et al., and others, earlier, for special cases. Previous results were known only for special (G, K, σ), and then only for certain π.     

Equivariant holomorphic Hermitian principal bundles over a generalized flag manifold

Let G be a simple and simply connected complex linear algebraic group. Fix a maximal compact subgroup K(G) ì G{K(G) \subset G}, and let P be a parabolic subgroup of G. Let H be any connected reductive complex linear algebraic group. We classify the K(G)-equivariant holomorphic Hermitian principal H-bundles over G/P.     

Entropy of Stationary Measures and Bounded Tangential de-Rham Cohomology of Semisimple Lie Group Actions

Let G be a connected noncompact semisimple Lie group with finite center, K a maximal compact subgroup, and X a compact manifold (or more generally, a Borel space) on which G acts. Assume that ν is a μ -stationary measure on X, where μ is an admissible measure on G, and that the G-action is essentially free. We consider the foliation of K\ X with Riemmanian leaves isometric to the symmetric space K\ G, and the associated tangential bounded de-Rham cohomology, which we show is an invariant of the action. We prove both vanishing and nonvanishing results for bounded tangential cohomology, whose range is dictated by the size of the maximal projective factor G/Q of (X, ν). We give examples showing that the results are often best possible. For the proofs we formulate a bounded tangential version of Stokes’ theorem, and establish a bounded tangential version of Poincaré’s Lemma. These results are made possible by the structure theory of semisimple Lie groups actions with stationary measure developed in Nevo and Zimmer [Ann of Math. 156, 565--594]. The structure theory assert, in particular, that the G-action is orbit equivalent to an action of a uniquely determined parabolic subgroup Q. The existence of Q allows us to establish Stokes’ and Poincaré’s Lemmas, and we show that it is the size of Q (determined by the entropy) which controls the bounded tangential cohomology. Supported by BSF and ISF. Supported by BSF and NSF.     

Einstein homogeneous bisymmetric fibrations

We consider a homogeneous fibration G/L → G/K, with symmetric fiber and base, where G is a compact connected semisimple Lie group and L has maximal rank in G. We suppose the base space G/K is isotropy irreducible and the fiber K/L is simply connected. We investigate the existence of G-invariant Einstein metrics on G/L such that the natural projection onto G/K is a Riemannian submersion with totally geodesic fibers. These spaces are divided in two types: the fiber K/L is isotropy irreducible or is the product of two irreducible symmetric spaces. We classify all the G-invariant Einstein metrics with totally geodesic fibers for the first type. For the second type, we classify all these metrics when G is an exceptional Lie group. If G is a classical Lie group we classify all such metrics which are the orthogonal sum of the normal metrics on the fiber and on the base or such that the restriction to the fiber is also Einstein.     

Kirwan polyhedron of holomorphic coadjoint orbits

Let G be a simple, noncompact, connected, real Lie group with finite center, and K a maximal compact subgroup of G. We assume that G/K is Hermitian. Using GIT methods derived from the generalized eigenvalue problem, we compute a set of inequalities describing the moment polyhedron of the projection G ? ?? $ \subset \;{{\mathfrak{g}}^*} \to {{\mathfrak{t}}^*} $ for holomorphic coadjoint orbits of G.     

The n-cohomology of limits of discrete series

Let G be a semisimple Lie group which has a compact Cartan subgroup H, let K be a maximal compact subgroup of G containing H, and let n be the sum of the negative root spaces of G corresponding to an arbitrary choice of a positive root system of (G, H). We compute the n-cohomology of the K-finite vectors in a limit of a discrete series representation π of G. In the special case when π is a discrete series representation our result reduces to the result of W. Schmid. In the special case when π is a holomorphic limit we interpret its multiplicity in L²(ΓβG) cohomologically, where Γ is a discrete subgroup of G. In the general case we present a conjecture for this multiplicity.     

Actions of Borel Subgroups on Homogeneous Spaces of Reductive Complex Lie Groups and Integrability

Let G be a real reductive Lie group, K its compact subgroup. Let A be the algebra of G-invariant real-analytic functions on T ^*(G/K) (with respect to the Poisson bracket) and let C be the center of A. Denote by 2(G,K) the maximal number of functionally independent functions from A\C. We prove that (G,K) is equal to the codimension (G,K) of maximal dimension orbits of the Borel subgroup BG ^C in the complex algebraic variety G ^C/K ^C. Moreover, if (G,K)=1, then all G-invariant Hamiltonian systems on T ^*(G/K) are integrable in the class of the integrals generated by the symmetry group G. We also discuss related questions in the geometry of the Borel group action.     

Multiplicity formulas for finite dimensional and generalized principal series representations

The article presents two results. (1) Let a be a reductive Lie algebra over ℂ and let b be a reductive subalgebra of a. The first result gives the formula for multiplicity with which a finite dimensional irreducible representation of b appears in a given finite dimensional irreducible representation of a in a general situation. This generalizes a known theorem due to Kostant in a special case. (2) LetG be a connected real semisimple Lie group andK a maximal compact subgroup ofG. The second result is a formula for multiplicity with which an irreducible representation ofK occurs in a generalized representation ofG arising not necessarily from fundamental Cartan subgroup ofG. This generalizes a result due to Enright and Wallach in a fundamental case.