This paper describes two real analytic symplectomorphisms defined on appropriate dense open subsets of any coadjoint orbit of a compact semisimple Lie algebra. The first symplectomorphism sends the open dense subset to a bounded subset of a standard cotangent bundle. The second symplectomorphism has target a bounded subset of a hyperbolic coadjoint orbit of an associated non-compact semi-simple Lie algebra. Therefore, coadjoint orbits of compact Lie algebras are symplectic compactifications of domains of cotangent bundles, and are in symplectic duality with hyperbolic orbits of non-compact semisimple Lie algebras.
We apply the Guillemin-Lerman-Sternberg theorem to reprove a formula of Heckman for the Duistermaat-Heckman measure associated to the coadjoint action of $T$, a maximal torus of a compact semisimple Lie group $G$, on a regular coadjoint $G$-orbit in the dual space of the Lie algebra of $G$. This formula is, in an appropriate sense, a limiting case of the Kostant multiplicity formula.
This thesis studies the symplectic structure of holomorphic coadjoint orbits, and their projections. A holomorphic coadjoint orbit O is an elliptic coadjoint orbit which is endowed with a natural invariant Kählerian structure. These coadjoint orbits are defined for a real semi-simple connected non-compact Lie group G with finite center, such that G/K is a Hermitian symmetric space, where K is a maximal compact subgroup of G. Holomorphic coadjoint orbits are a generalization of the Hermitian symmetric space G/K. In this thesis, we prove that the McDuff's symplectomorphism on Hermitian symmetric…
For a given manifold $M$ we consider the non-linear Grassmann manifold $Gr_n(M)$ of $n$-dimensional submanifolds in $M$. A closed $(n+2)$-form on $M$ gives rise to a closed 2-form on $Gr_n(M)$. If the original form was integral, the 2-form will be the curvature of a principal $S^1$-bundle over $Gr_n(M)$. Using this $S^1$-bundle one obtains central extensions for certain groups of diffeomorphisms of $M$. We can realize $Gr_{m-2}(M)$ as coadjoint orbits of the extended group of exact volume preserving diffeomorphisms and the symplectic Grassmannians $SGr_{2k}(M)$ as coadjoint orbits in the group…
For a complex Lie group $G$ with a real form $G_0\subset G$, we prove that any Hamiltionian automorphism $ϕ$ of a coadjoint orbit $\mathcal O_0$ of $G_0$ whose connected components are simply connected, may be approximated by holomorphic $\mathcal O_0$-invariant symplectic automorphism of the corresponding coadjoint orbit of $G$ in the sense of Carleman, provided that $\mathcal O$ is closed. In the course of the proof, we establish the Hamiltonian density property for closed coadjoint orbits of all complex Lie groups.
We study the geometrical structure of the coadjoint orbits of an arbitrary complex or real Lie algebra ${\mathfrak g}$ containing some ideal ${\mathfrak n}$. It is shown that any coadjoint orbit in ${\mathfrak g}^*$ is a bundle with the affine subspace of ${\mathfrak g}^*$ as its fibre. This fibre is an isotropic submanifold of the orbit and is defined only by the coadjoint representations of the Lie algebras ${\mathfrak g}$ and ${\mathfrak n}$ on the dual space ${\mathfrak n}^*$. The use of this fact and an application of methods of symplectic geometry give a new insight into the structure of…
We give an identification of the triple reduced product of three coadjoint orbits in SU(3) with a space of Hitchin pairs over a genus 0 curve with three punctures, where the residues of the Higgs field at the punctures are constrained to lie in fixed coadjoint orbits. Using spectral curves for the corresponding Hitchin system, we identify the moment map for a Hamiltonian circle action on the reduced product. Finally, we make use of results of Adams, Harnad, and Hurtubise to find Darboux coordinates and a differential equation for the Hamiltonian.
A nonlinear flag is a finite sequence of nested closed submanifolds. We study the geometry of Frechet manifolds of nonlinear flags, in this way generalizing the nonlinear Grassmannians. As an application we describe a class of coadjoint orbits of the group of Hamiltonian diffeomorphisms that consist of nested symplectic submanifolds, i.e., symplectic nonlinear flags.
The main goal of this paper is to compute the characteristic class of the Alekseev-Lachowska *-product on coadjoint orbits. We deduce an analogue of the Weyl dimension formula in the context of deformation quantization.
Semisimple (co)adjoint orbits through real hyperbolic elements are well-known to be symplectomorphic to cotangent bundles. We provide a new proof of this fact based on elementary results on both Lie theory and symplectic geometry. Our proof establishes a new connection between the Iwasawa horospherical projection and the symplectic geometry of real hyperbolic (co)adjoint orbits.
We consider all connected and simply connected 7-dimensional Lie groups whose Lie algebras have nilradical $\g_{5,2} = \s \{X_1, X_2, X_3, X_4, X_5 \colon [X_1, X_2] = X_4, [X_1, X_3] = X_5\}$ of Dixmier. First, we give a geometric description of the maximal-dimensional orbits in the coadjoint representation of all considered Lie groups. Next, we prove that, for each considered group, the family of the generic coadjoint orbits forms a measurable foliation in the sense of Connes. Finally, the topological classification of all these foliations is also provided.
In this paper, we consider exponential, connected and simply connected Lie groups which are corresponding to Lie algebras of dimension 7 such that the nilradical of them is 5-dimensional nilpotent Lie algebra $\mathfrak{g}_{5,2}$ in Table 1. In particular, we give a description of the geometry of the generic orbits in the coadjoint representation of some considered Lie groups. We prove that, for each considered group, the family of the generic coadjoint orbits forms a measurable foliation in the sense of Connes. The topological classification of these foliations is also provided.
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.
We investigate some basic questions concerning the relationship between the restricted Grassmannian and the theory of Banach Lie-Poisson spaces. By using universal central extensions of Lie algebras, we find that the restricted Grassmannian is symplectomorphic to symplectic leaves in certain Banach Lie-Poisson spaces, and the underlying Banach space can be chosen to be even a Hilbert space. Smoothness of numerous adjoint and coadjoint orbits of the restricted unitary group is also established. Several pathological properties of the restricted algebra are pointed out.
For a Lie groupoid $\mathcal{G}$ with Lie algebroid $A$, we realize the symplectic leaves of the Lie-Poisson structure on $A^*$ as orbits of the affine coadjoint action of the Lie groupoid $\mathcal{J}\mathcal{G}\ltimes T^*M$ on $A^*$, which coincide with the groupoid orbits of the symplectic groupoid $T^*\mathcal{G}$ over $A^*$. It is also shown that there is a fiber bundle structure on each symplectic leaf. In the case of gauge groupoids, a symplectic leaf is the universal phase space for a classical particle in a Yang-Mills field.
Using a stability criterion due to Kröncke, we show, providing ${n\neq 2k}$, the Kähler--Einstein metric on the Grassmannian $Gr_{k}(\mathbb{C}^{n})$ of complex $k$-planes in an $n$-dimensional complex vector space is dynamically unstable as a fixed point of the Ricci flow. This generalises the recent results of Kröncke and Knopf--Sesum on the instability of the Fubini--Study metric on $\mathbb{CP}^{n}$ for $n>1$. The key to the proof is using the description of Grassmannians as certain coadjoint orbits of $SU(n)$. We are also able to prove that Kröncke's method will not work on any of the oth…
Deformation quantization and geometric quantization on Kähler manifolds give the mathematical description of the algebra of quantum observables and the Hilbert spaces respectively, where the later forms a representation of quantum observables asymptotically via Toeplitz operators. When there is a Hamiltonian $G$-action on a Kähler manifold, there are associated symmetries on both the quantum algebra and representation aspects. We show that in nice cases of coadjoint orbits and Kähler-Einstein manifolds, these symmetries are strictly compatible (not only asymptotically).
Let G_R be a Lie group acting on an oriented manifold M, and let $ω$ be an equivariantly closed form on M. If both G_R and M are compact, then the integral $\int_M ω$ is given by the fixed point integral localization formula (Theorem 7.11 in [BGV]). Unfortunately, this formula fails when the acting Lie group G_R is not compact: there simply may not be enough fixed points present. A proposed remedy is to modify the action of G_R in such a way that all fixed points are accounted for. Let G_R be a real semisimple Lie group, possibly noncompact. One of the most important examples of equivariantly …
This is the first of a series of two papers devoted to the partition function realization of Wilson surfaces in strict higher gauge theory. A higher version of the Kirillov-Kostant-Souriau theory of coadjoint orbits is presented based on the derived geometric framework, which has shown its usefulness in 4--dimensional higher Chern--Simons theory. An original notion of derived coadjoint orbit is put forward. A theory of derived unitary line bundles and Poisson structures on regular derived orbits is constructed. The proper derived counterpart of the Bohr--Sommerfeld quantization condition is th…
Let $G$ be a compact connected semisimple Lie group with Lie algebra $\mathfrak{g}$. Let $\mathcal{O}\subset\mathfrak{g}^*$ be a coadjoint orbit. The action of $G$ on $\mathcal{O}$ induces a morphism $ρ:G\to \mathrm{Homeo}(\mathcal{O})$. We prove that the induced map $π_1(ρ):π_1(G)\toπ_1(\mathrm{Homeo}(\mathcal{O}))$ is injective. This strengthens a theorem of McDuff and Tolman (conjectured by Weinstein in 1989) according to which the analogous map $G\to\mathrm{Ham}(\mathcal{O})$ is injective on fundamental groups, where $\mathrm{Ham}(\mathcal{O})$ is the group of Hamiltonian diffeomorphisms o…
The coadjoint orbits of compact Lie groups carry many Kähler structures, which include a Riemannian metric and a complex structure. We provide a fairly explicit formula for the Levi-Civita connection of the Riemannian metric, and we use the complex structure to give a fairly explicit construction of a canonical Dirac operator for the Riemannian metric, in a way that avoids use of the Spin^c groups. Substantial parts of our results apply to compact almost-Hermitian homogeneous spaces, and to other connections besides the Levi-Civita connection. For these other connections we give a criterion th…
A Poisson-Lie group acting by the coadjoint action on the dual of its Lie algebra induces on it a non-trivial class of quadratic Poisson structures extending the linear Poisson bracket on the coadjoint orbits.
Do co-adjoint orbits of Lie groups support a Kähler structure? We study this question from a point of view derived from coherent states. We examine three examples of Lie groups: the Weyl-Heisenberg group, $\mathrm{SU(2)}$ and $\mathrm{SU(1,1)}$. In cases, where the orbits admit a Kähler structure, we show that coherent states give us a Kähler embedding of the orbit into projective Hilbert space. In contrast, squeezed states, (which like coherent states, also saturate the uncertainty bound) only give us a symplectic embedding. We also study geometric quantisation of the co-adjoint orbits of the…
This is the second of a series of two papers devoted to the partition function realization of Wilson surfaces in strict higher gauge theory. A higher 2--dimensional counterpart of the topological coadjoint orbit quantum mechanical model computing Wilson lines is presented based on the derived geometric framework, which has shown its usefulness in 4--dimensional higher Chern--Simons theory. Its symmetries are described. Its quantization is analyzed in the functional integral framework. Strong evidence is provided that the model does indeed underlie the partition function realization of Wilson s…
Any free nilpotent Lie algebra is determined by its rank and step. We consider free nilpotent Lie algebras of steps 3, 4 and corresponding connected and simply connected Lie groups. We construct Casimir functions of such groups, i.e., invariants of the coadjoint representation. For free 3-step nilpotent Lie groups we get a full description of coadjoint orbits. It turns out that general coadjoint orbits are affine subspaces, and special coadjoint orbits are affine subspaces or direct products of nonsingular quadrics. The knowledge of Casimir functions is useful for investigation of integration …
We study the adjoint and coadjoint representations of a class of Lie group including the Euclidean group. Despite the fact that these representations are not in general isomorphic, we show that there is a geometrically defined bijection between the sets of adjoint and coadjoint orbits of such groups. In addition, we show that the corresponding orbits, although different, are homotopy equivalent. We also provide a geometric description of the adjoint and coadjoint orbits of the Euclidean and orthogonal groups as a special class of flag manifold which we call a Hermitian flag manifold. These man…
Given a holomorphic principal bundle $Q\, \longrightarrow\, X$, the universal space of holomorphic connections is a torsor $C_1(Q)$ for $\text{ad} Q \otimes T^*X$ such that the pullback of $Q$ to $C_1(Q)$ has a tautological holomorphic connection. When $X\,=\, G/P$, where $P$ is a parabolic subgroup of a complex simple group $G$, and $Q$ is the frame bundle of an ample line bundle, we show that $C_1(Q)$ may be identified with $G/L$, where $L\, \subset\, P$ is a Levi factor. We use this identification to construct the twistor space associated to a natural hyper-Kähler metric on $T^*(G/P)$, reco…
