Fomenko-Mischenko theory, Hessenberg varieties, and polarizations

DOI10.1007/S11005-009-0344-1zbMATH Open1183.53081arXiv0812.4630OpenAlexW3098799924MaRDI QIDQ844119FDOQ844119

Authors: Bertram Kostant 

Publication date: 18 January 2010

Published in: Letters in Mathematical Physics (Search for Journal in Brave)

Abstract: The symmetric algebra g (denoted S(g)) over a Lie algebra g (frak g) has the structure of a Poisson algebra. Assume g is complex semi-simple. Then results of Fomenko- Mischenko (translation of invariants) and A.Tarasev construct a polynomial subalgebra cal H = �f C[q_1,...,q_b] of S(g) which is maximally Poisson commutative. Here b is the dimension of a Borel subalgebra of g. Let G be the adjoint group of g and let ell = rank g. Identify g with its dual so that any G-orbit O in g has the structure (KKS) of a symplectic manifold and S(g) can be identified with the affine algebra of g. An element x in g is strongly regular if {(dq_i)_x}, i=1,...,b, are linearly independent. Then the set g^{sreg} of all strongly regular elements is Zariski open and dense in g, and also g^{sreg subset g^{reg} where g^{reg} is the set of all regular elements in g. A Hessenberg variety is the b-dimensional affine plane in g, obtained by translating a Borel subalgebra by a suitable principal nilpotent element. This variety was introduced in [K2]. Defining Hess to be a particular Hessenberg variety, Tarasev has shown that Hess subset g^sreg. Let R be the set of all regular G-orbits in g. Thus if O in R, then O is a symplectic manifold of dim 2n where n= b-ell. For any Oin R let O^{sreg} = g^{sreg}cap O. We show that O^{sreg} is Zariski open and dense in O so that O^{sreg} is again a symplectic manifold of dim 2n. For any O in R let Hess (O) = Hess cap O. We prove that Hess(O) is a Lagrangian submanifold of O^{sreg} and Hess =sqcup_{O in R} Hess(O). The main result here shows that there exists, simultaneously over all O in R, an explicit polarization (i.e., a "fibration" by Lagrangian submanifolds) of O^{sreg} which makes O^{sreg} simulate, in some sense, the cotangent bundle of Hess(O).

Full work available at URL: https://arxiv.org/abs/0812.4630

Recommendations

• Hessenberg varieties, Slodowy slices, and integrable systems
• Geometry of regular Hessenberg varieties
• The singular locus of semisimple Hessenberg varieties
• Hessenberg varieties and Poisson slices
• Hessenberg varieties for the minimal nilpotent orbit

zbMATH Keywords

polarizationLagrangian submanifoldssymplectic geometrygroup actionsPoisson manifolds

Mathematics Subject Classification ID

Symplectic manifolds (general theory) (53D05) Poisson manifolds; Poisson groupoids and algebroids (53D17) Geometric quantization (53D50)

Cites Work

• Linear algebraic groups.
• On Whittaker vectors and representation theory
• The red book of varieties and schemes. Includes the Michigan lectures (1974) on ``Curves and their Jacobians.
• The Principal Three-Dimensional Subgroup and the Betti Numbers of a Complex Simple Lie Group
• Title not available (Why is that?)
• EULER EQUATIONS ON FINITE-DIMENSIONAL LIE GROUPS
• Lie Group Representations on Polynomial Rings
• Quantization and unitary representations
• The maximality of certain commutative subalgebras in the Poisson algebra of a semisimple Lie algebra
• Title not available (Why is that?)

Cited In (5)

• Poisson-commutative subalgebras and complete integrability on non-regular coadjoint orbits and flag varieties
• Hessenberg varieties, Slodowy slices, and integrable systems
• Hessenberg varieties and Poisson slices
• A Survey of Recent Developments on Hessenberg Varieties
• On the fibres of Mishchenko-Fomenko systems

This page was built for publication: Fomenko-Mischenko theory, Hessenberg varieties, and polarizations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q844119)