Construction of canonical coordinates for exponential Lie groups
HTML articles powered by AMS MathViewer
- by Didier Arnal, Bradley Currey and Bechir Dali PDF
- Trans. Amer. Math. Soc. 361 (2009), 6283-6348 Request permission
Abstract:
Given an exponential Lie group $G$, we show that the constructions of B. Currey, 1992, go through for a less restrictive choice of the Jordan-Hölder basis. Thus we obtain a stratification of $\mathfrak {g}^*$ into $G$-invariant algebraic subsets, and for each such subset $\Omega$, an explicit cross-section $\Sigma \subset \Omega$ for coadjoint orbits in $\Omega$, so that each pair $(\Omega , \Sigma )$ behaves predictably under the associated restriction maps on $\mathfrak {g}^*$. The cross-section mapping $\sigma : \Omega \rightarrow \Sigma$ is explicitly shown to be real analytic. The associated Vergne polarizations are not necessarily real even in the nilpotent case, and vary rationally with $\ell \in \Omega$. For each $\Omega$, algebras $\mathcal E^0(\Omega )$ and $\mathcal E^1(\Omega )$ of polarized and quantizable functions, respectively, are defined in a natural and intrinsic way.
Now let $2d > 0$ be the dimension of coadjoint orbits in $\Omega$. An explicit algorithm is given for the construction of complex-valued real analytic functions $\{q_1,q_2, \dots , q_d\}$ and $\{p_1, p_2, \dots , p_d\}$ such that on each coadjoint orbit $\mathcal {O}$ in $\Omega$, the canonical 2-form is given by $\sum dp_k \wedge dq_k$. The functions $\{q_1,q_2, \dots , q_d\}$ belong to $\mathcal E^0(\Omega )$, and the functions $\{p_1, p_2, \dots , p_d\}$ belong to $\mathcal E^1(\Omega )$. The associated geometric polarization on each orbit $\mathcal {O}$ coincides with the complex Vergne polarization, and a global Darboux chart on $\mathcal {O}$ is obtained in a simple way from the coordinate functions $(p_1, \dots , p_d,q_1, \dots , q_d)$ (restricted to $\mathcal {O}$). Finally, the linear evaluation functions $\ell \mapsto \ell (X)$ are shown to be quantizable as well.
References
- Arnal, D., Ben Ammar, M., Currey, B., and Dali, B., Canonical coordinates for coadjoint orbits of completely solvable Lie groups, Jour. Lie Theory No. 2 (2005) 521–560.
- D. Arnal and J.-C. Cortet, Représentations $*$ des groupes exponentiels, J. Funct. Anal. 92 (1990), no. 1, 103–135 (French, with English summary). MR 1064689, DOI 10.1016/0022-1236(90)90070-2
- Didier Arnal and Béchir Dali, Déformations polarisées d’algèbres sur les orbites coadjointes des groupes exponentiels, Ann. Fac. Sci. Toulouse Math. (6) 9 (2000), no. 1, 31–54 (French, with English and French summaries). MR 1815939
- Bradley N. Currey, Explicit orbital parameters and the Plancherel measure for exponential Lie groups, Pacific J. Math. 219 (2005), no. 1, 97–138. MR 2174222, DOI 10.2140/pjm.2005.219.97
- Bradley N. Currey, The structure of the space of coadjoint orbits of an exponential solvable Lie group, Trans. Amer. Math. Soc. 332 (1992), no. 1, 241–269. MR 1046014, DOI 10.1090/S0002-9947-1992-1046014-2
- Niels Vigand Pedersen, On the symplectic structure of coadjoint orbits of (solvable) Lie groups and applications. I, Math. Ann. 281 (1988), no. 4, 633–669. MR 958263, DOI 10.1007/BF01456843
- Niels Vigand Pedersen, Geometric quantization and the universal enveloping algebra of a nilpotent Lie group, Trans. Amer. Math. Soc. 315 (1989), no. 2, 511–563. MR 967317, DOI 10.1090/S0002-9947-1989-0967317-3
- L. Pukánszky, On the unitary representations of exponential groups, J. Functional Analysis 2 (1968), 73–113. MR 0228625, DOI 10.1016/0022-1236(68)90026-8
- L. Pukanszky, Unitary representations of solvable Lie groups, Ann. Sci. École Norm. Sup. (4) 4 (1971), 457–608. MR 439985
Additional Information
- Didier Arnal
- Affiliation: Institut de Mathématiques de Bourgogne, Université de Bourgogne, CNRS UMR 5584, BP47870, F-21078 Dijon Cedex, France
- Email: didier.arnal@u-bourgogne.fr
- Bradley Currey
- Affiliation: Department of Mathematics and Computer Science, St. Louis University, St. Louis, Missouri 63103
- Email: curreybn@slu.edu
- Bechir Dali
- Affiliation: Département de Mathématiques, Faculté des Sciences de Bizerte, 7021 Zarzouna, Bizerte, Tunisie
- Email: bechir.dali@fss.rnu.tn
- Received by editor(s): July 2, 2007
- Published electronically: July 22, 2009
- Additional Notes: The first author would like to thank the CNRS for its support and the Faculté de Sciences de Bizerte for its hospitality.
The second author would like to thank the Université de Bourgogne for their hospitality and support.
The third author would like to thank the Université de Bourgogne for its hospitality during his stay. He would also like to thank the DGRSRT of Tunisia for its support. - © Copyright 2009 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 361 (2009), 6283-6348
- MSC (2000): Primary 22E25, 22E27; Secondary 53D50
- DOI: https://doi.org/10.1090/S0002-9947-09-04936-8
- MathSciNet review: 2538595