Cohomology of symplectic reductions of generic coadjoint orbits

Let be a generic coadjoint orbit of a compact semi-simple Lie group . Weight varieties are the symplectic reductions of by the maximal torus in . We use a theorem of Tolman and Weitsman to compute the cohomology ring of these varieties. Our formula relies on a Schubert basis of the equivariant cohomology of , and it makes explicit the dependence on and a parameter in .

     

A bijection between the adjoint and coadjoint orbits of a semidirect product

We prove that there exists a geometric bijection between the sets of adjoint and coadjoint orbits of a semidirect product, provided a similar bijection holds for particular subgroups. We also show that under certain conditions the homotopy types of any two orbits in bijection with each other are the same. We apply our theory to the examples of the affine group and the Poincaré group, and discuss the limitations and extent of this result to other groups.     

coadjoint orbits of compact Lie groups and generalized stereographic projection

We generalize the notion of stereographic projection to the case of an arbitrary compact Lie group and find the explicit form of the local complex parametrization of an orbit of the corresponding group. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 51, No. 12, pp. 1714–1718, December, 1999.     

Asymptotics of matrix integrals and tensor invariants of compact Lie groups

In this paper we give an asymptotic formula for a matrix integral which plays a crucial role in the approach of Diaconis et al. to random matrix eigenvalues. The choice of parameter for the asymptotic analysis is motivated by an invariant-theoretic interpretation of this type of integral. For arbitrary regular irreducible representations of arbitrary connected semisimple compact Lie groups, we obtain an asymptotic formula for the trace of permutation operators on the space of tensor invariants, thus extending a result of Biane on the dimension of these spaces.

     

Hilbert-Schmidt groups as infinite-dimensional Lie groups and their Riemannian geometry

We describe the exponential map from an infinite-dimensional Lie algebra to an infinite-dimensional group of operators on a Hilbert space. Notions of differential geometry are introduced for these groups. In particular, the Ricci curvature, which is understood as the limit of the Ricci curvature of finite-dimensional groups, is calculated. We show that for some of these groups the Ricci curvature is -∞.     

Distinguished orbits and the L–S category of simply connected compact Lie groups

We show that the Lusternik–Schnirelmann category of a simple, simply connected, compact Lie group G is bounded above by the sum of the relative categories of certain distinguished conjugacy classes in G corresponding to the vertices of the fundamental alcove for the action of the affine Weyl group on the Lie algebra of a maximal torus of G.     

Generalized Littlewood–Richardson rule and sum of coadjoint orbits of compact Lie groups

Let G be a compact connected semisimple Lie group. We extend to all irreducible finite-dimensional representations of G a result of Heckman which provides a relation between the generalized Littlewood–Richardson rule and the sum of G-coadjoint orbits. As an application of our result, we describe the eigenvalues of a sum of two real skew-symmetric matrices.     

Harmonic morphisms from the classical compact semisimple Lie groups

In this article, we introduce a new method for manufacturing harmonic morphisms from semi-Riemannian manifolds. This is employed to yield a variety of new examples from the compact Lie groups SO(n), SU(n) and Sp(n) equipped with their standard Riemannian metrics. We develop a duality principle and show how this can be used to construct the first known examples of harmonic morphisms from the non-compact Lie groups , SU ^*(2n), , SO ^*(2n), SO(p, q), SU(p, q) and Sp(p, q) equipped with their standard dual semi-Riemannian metrics.      

Time optimal factorizations on compact Lie groups

In this paper we study the relationship between factorization problems on SU(2ⁿ) or more generally on compact Lie groups G and time optimal control problems. Both types of problems naturally arise in physics, such as in quantum computing and in controlling coupled spin systems (NMR‐spectroscopy). In the first part we show that certain factorization problems can be reformulated as time optimal control problems on G. In the second part a necessary condition for the existence of finite optimal factorizations is discussed. At the end we illustrate our results by an example on Euler angle factorizations. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Ergodic measures of geodesic flows on compact Lie groups

Let Ψ be the geodesic flow associated with a two-sided invariant metric on a compact Lie group. In this paper, we prove that every ergodic measure μ of Ψ is supported on the unit tangent bundle of a flat torus. As an application, all Lyapunov exponents of μ are zero hence μ is not hyperbolic. Our underlying manifolds have nonnegative curvature (possibly strictly positive on some sections), whereas in contrast, all geodesic flows related to negative curvature are Anosov hence every ergodic measure is hyperbolic.     

Large orbits in coprime actions of solvable groups

Let be a solvable group of automorphisms of a finite group . If and are coprime, then there exists an orbit of on of size at least . It is also proved that in a -solvable group, the largest normal -subgroup is the intersection of at most three Hall -subgroups.

     

Lie superalgebras, Clifford algebras, induced modules and nilpotent orbits

Let g be a classical simple Lie superalgebra. To every nilpotent orbit O in g₀ we associate a Clifford algebra over the field of rational functions on O. We find the rank, k(O) of the bilinear form defining this Clifford algebra, and deduce a lower bound on the multiplicity of a U(g)-module with O or an orbital subvariety of O as associated variety. In some cases we obtain modules where the lower bound on multiplicity is attained using parabolic induction. The invariant k(O) is in many cases, equal to the odd dimension of the orbit G⋅O, where G is a Lie supergroup with Lie superalgebra g.     

Nonabelian cohomology with coefficients in Lie groups

In this paper we prove some properties of the nonabelian cohomology of a group with coefficients in a connected Lie group . When is finite, we show that for every -submodule of which is a maximal compact subgroup of , the canonical map is bijective. In this case we also show that is always finite. When and is compact, we show that for every maximal torus of the identity component of the group of invariants , is surjective if and only if the -action on is -semisimple, which is also equivalent to the fact that all fibers of are finite. When , we show that is always surjective, where is a maximal compact torus of the identity component of . When is cyclic, we also interpret some properties of in terms of twisted conjugate actions of .

     

Flat orbits and kernels of irreducible representations of the group algebra of a completely solvable Lie group

We show that the kernel of an irreducible unitary representation π of the group algebra L¹(G) of a completely solvable Lie group G is given by the functions, whose abelian Fourier transform vanish on the Kirillov orbit Oπ of π if and only if this orbit Oπ is flat. This is a generalization of a result obtained before for nilpotent Lie groups.     

Sharp Gårding inequality on compact Lie groups

We establish the sharp Gårding inequality on compact Lie groups. The positivity condition is expressed in the non-commutative phase space in terms of the full matrix symbol, which is defined using the representations of the group. Applications are given to the L² and Sobolev boundedness of pseudo-differential operators.     

Twisted Weyl groups of Lie groups and nonabelian cohomology

For a cyclic group A and a connected Lie group G with an A-module structure (with the additional assumptions that G is compact and the A-module structure on G is 1-semisimple if ), we define the twisted Weyl group W = W(G,A,T), which acts on T and H ¹(A,T), where T is a maximal compact torus of , the identity component of the group of invariants G ^A . We then prove that the natural map is a bijection, reducing the calculation of H ¹(A,G) to the calculation of the action of W on T. We also prove some properties of the twisted Weyl group W, one of which is that W is a finite group. A new proof of a known result concerning the ranks of groups of invariants with respect to automorphisms of a compact Lie group is also given.      

Positive definite Minkowski Lie algebras and bi-invariant Finsler metrics on Lie groups

In this paper, we introduce the notion of a Minkowski Lie algebra, which is the natural generalization of the notion of a real quadratic Lie algebra (metric Lie algebra). We then study the positive definite Minkowski Lie algebras and obtain a complete classification of the simple ones. Finally, we present some applications of our results to Finsler geometry and give a classification of bi-invariant Finsler metrics on Lie groups. This work was supported by NSFC (No.10671096) and NCET of China.     

Fano contact manifolds and nilpotent orbits

A contact structure on a complex manifold M is a corank 1 subbundle F of T_M such that the bilinear form on F with values in the quotient line bundle L = T_M/F deduced from the Lie bracket of vector fields is everywhere non-degenerate. In this paper we consider the case where M is a Fano manifold; this implies that L is ample.?If is a simple Lie algebra, the unique closed orbit in (for the adjoint action) is a Fano contact manifold; it is conjectured that every Fano contact manifold is obtained in this way. A positive answer would imply an analogous result for compact quaternion-Kahler manifolds with positive scalar curvature, a longstanding question in Riemannian geometry.?In this paper we solve the conjecture under the additional assumptions that the group of contact automorphisms of M is reductive, and that the image of the rational map M P(H ₀(M, L)*) sociated to L has maximum dimension. The proof relies on the properties of the nilpotent orbits in a semi-simple Lie algebra, in particular on the work of R. Brylinski and B. Kostant. Received: July 28, 1997