Cohomology of symplectic reductions of generic coadjoint orbits
R. F. Goldin, A. -L. Mare
备注：
6 pages. This is a generalization of work done by the first author for SU(n), at math.SG/0201138 published Advances in Mathematics 160 (2001), no. 2, pp. 175-204
发表信息：
Proc. Amer. Math. Soc. 132 (2004), no. 10, 3069--3074
Let mathcal{O}_lambda be a generic coadjoint orbit of a compact semi-simple Lie group K. Weight varieties are the symplectic reductions of mathcal{O}_lambda by the maximal torus T in K. 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 \mathcal{O}_lambda and it makes explicit the dependence on λand a parameter in Lie(T)^*.
We give a representative of every coadjoint orbit of the odd symplectic group. Our argument follows that used for the Poincarè group but the details differ.
This paper is devoted to the study of the quantum cohomology of coadjoint varieties of simple algebraic groups across all Dynkin types. We determine the non-semisimple factors of the small quantum cohomology ring and relate them to ADE-singularities. Moreover, we show that the big quantum cohomology of a coadjoint variety is always generically semisimple even though in most cases the small quantum cohomology is not.
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…
We give a classification of generic coadjoint orbits for the groups of symplectomorphisms and Hamiltonian diffeomorphisms of a closed symplectic surface. We also classify simple Morse functions on symplectic surfaces with respect to actions of those groups. This gives an answer to V.Arnold's problem on describing all invariants of generic isovorticed fields for the 2D ideal fluids. For this we introduce a notion of anti-derivatives on a measured Reeb graph and describe their properties.
We prove that the Gromov width of coadjoint orbits of the symplectic group is at least equal to the upper bound known from the works of Zoghi and Caviedes. This establishes the actual Gromov width. Our work relies on a toric degeneration of a coadjoint orbit to a toric variety. The polytope associated to this toric variety is a string polytope arising from a string parametrization of elements of a crystal basis for a certain representation of the symplectic group.
We show how to construct a resolution of symplectic orbifolds obtained as quotients of presymplectic manifolds with a torus action. As a corollary, this allows us to desingularise generic symplectic quotients. Given a manifold with a Hamiltonian action of a compact Lie group, symplectic reduction at a coadjoint orbit which is transverse to the moment map produces a symplectic orbifold. If moreover the points of this coadjoint orbit are regular elements of the Lie coalgebra, that is, their stabiliser is a maximal torus, the result for torus quotients may be applied to obtain a desingularisation…
We use a theorem of Tolman and Weitsman to find explicit formulæfor the rational cohomology rings of the symplectic reduction of flag varieties in C^n, or generic coadjoint orbits of SU(n), by (maximal) torus actions. We also calculate the cohomology ring of the moduli space of $n$ points in CP^k, which is isomorphic to the Grassmannian of k-planes in C^n, by realizing it as a degenerate coadjoint orbit.
Let $(X,ω)$ be an integral symplectic manifold and let $(L,\nabla)$ be a quantum line bundle, with connection, over $X$ having $ω$ as curvature. With this data one can define an induced symplectic manifold $(\widetilde {X},ω_{\widetilde {X}})$ where $dim \widetilde {X} = 2 + dim X$. It is then shown that prequantization on $X$ becomes classical Poisson bracket on $\widetilde {X}$. We consider the possibility that if $X$ is the coadjoint orbit of a Lie group $K$ then $\widetilde {X}$ is the coadjoint orbit of some larger Lie group $G$. We show that this is the case if $G$ is a non-compact simpl…
The rational cohomology of a coadjoint orbit ${\cal O}$ is expressed as tensor product of the cohomology of other coadjoint orbits ${\cal O}_k$, with $ \hbox{dim} {\cal O}_k< \hbox{dim} {\cal O}$.
We describe a class of coadjoint orbits of the group of Hamiltonian diffeomorphisms of a symplectic manifold $(M,ω)$ by implementing symplectic reduction for the dual pair associated to the Hamiltonian description of ideal fluids. The description is given in terms of nonlinear Grassmannians (manifolds of submanifolds) with additional geometric structures. Reduction at zero momentum yields the identification of coadjoint orbits with Grassmannians of isotropic volume submanifolds, slightly generalizing the results in Weinstein [1990] and Lee [2009]. At the other extreme, the case of a nondegener…
We compute the symplectic volume of the symplectic reduced space of the product of N coadjoint orbits of a compact connected Lie group G. We compare our result with the result of Suzuki and Takakura , who study this in the case G = SU(3) starting from geometric quantization.
We classify generic coadjoint orbits for symplectomorphism groups of compact symplectic surfaces with or without boundary. We also classify simple Morse functions on such surfaces up to a symplectomorphism.
We find an upper bound for the Gromov width of coadjoint orbits of U(n) with respect to the Kirillov-Kostant-Souriau symplectic form by computing certain Gromov-Witten invariants. The approach presented here is closely related to the one used by Gromov in his celebrated non-squeezing theorem.
Coadjoint orbits and multiplicity free spaces of compact Lie groups are important examples of symplectic manifolds with Hamiltonian groups actions. Constructing action-angle variables on these spaces is a challenging task. A fundamental result in the field is the Guillemin-Sternberg construction of Gelfand-Zeitlin integrable systems for the groups $K=U(n), SO(n)$. Extending these results to groups of other types is one of the goals of this paper. Partial tropicalizations are Poisson spaces with constant Poisson bracket built using techniques of Poisson-Lie theory and the geometric crystals of …
A set of all linear transformations with a fixed Jordan structure $J$ is a symplectic manifold isomorphic to the coadjoint orbit $\mathcal O (J)$ of $GL(N,C)$. Any linear transformation may be projected along its eigenspace to (at least one) coordinate subspace of the complement dimension. The Jordan structure $\tilde J$ of the image is defined by the Jordan structure $J$ of the pre-image, consequently the projection $\mathcal O (J)\to \mathcal O (\tilde J)$ is the mapping of the symplectic manifolds. It is proved that the fiber $\mathcal E$ of the projection is a linear symplectic space and t…
We prove that under certain conditions, the quantum cohomology of a positively monotone compact symplectic manifold is a deformation of the symplectic cohomology of the complement of a simple crossings symplectic divisor. We also prove rigidity results for the skeleton of the divisor complement.
This paper is devoted to the construction of a hyperkaehler structure on the complexification of any Hermitian-symmetric affine coadjoint orbit O of a semi-simple L*-group of compact type, which is compatible with the complex symplectic form of Kirillov-Kostant-Souriau and restricts to the Kaehler structure of O. By the identification of the complexification of O with the cotangent space of O induced by Mostow's Decomposition Theorem, this leads to the existence of a hyperkaehler structure on the cotangent space of O compatible with Liouville's symplectic form and whose restriction to the zero…
Let $(X,ω_X)$ be a derived scheme with a 0-symplectic form and suppose there is a Hamiltonian $G$-action with a moment map for $G$ a reductive group. We prove, under no further assumptions, that symplectic reduction along any coadjoint orbit in the category of derived Artin stacks has a 0-symplectic form.
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.
The purpose of this paper is to apply deformation quantization to the study of the coadjoint orbit method in the case of real reductive groups. We first prove some general results on the existence of equivariant deformation quantization of vector bundles on closed Lagrangian subvarieties, which lie in smooth symplectic varieties with Hamiltonian group actions. Then we apply them to orbit method and construct nontrivial irreducible Harish-Chandra modules for certain coadjoint orbits. Our examples include new geometric construction of representations associated to certain orbits of real exceptio…
We show that the leaves of an LA-groupoid which pass through the unit manifold are, modulo a connectedness issue, Lie groupoids. We illustrate this phenomenon by considering the cotangent Lie algebroids of Poisson groupoids thus obtaining an interesting class of symplectic groupoids coming from their symplectic foliations. In particular, we show that for a (strict) Lie 2-group the coadjoint orbits of the units in the dual of its Lie 2-algebra are symplectic groupoids, meaning that the classical Kostant-Kirillov-Souriau symplectic forms on these special coadjoint orbits are multiplicative.
Let G be a compact connected Lie group G and T its maximal torus. The coadjoint orbit O_lambda through lambda in Lie(T)^* is canonically a symplectic manifold. Therefore we can ask the question about its Gromov width. In many known cases the Gromov width is exactly the minimum over the set {< alpha_j^{\vee},lambda > ; alpha_j^{\vee} a coroot and < alpha_j^{\vee},lambda > positive}. We show that the Gromov width of coadjoint orbits of the unitary group and of most of the coadjoint orbits of the special orthogonal group is at least the above minimum. The proof uses the torus action coming from t…
Let G be a compact connected Lie group G and T its maximal torus. The coadjoint orbit O_λ through λin the dual of the Lie algebra of T, is canonically a symplectic manifold. Therefore we can ask the question of its Gromov width. In many known cases the width is exactly the minimum over the positive results of pairing λwith coroots: min{< α_j^{\vee},λ> ; α_j^{\vee} is a coroot and < α_j^{\vee},λ> is positive}. We will show that the Gromov width for regular coadjoint orbits of the special orthogonal group is at least this minimum. The proof uses the torus action coming from the Gelfand-Tsetlin s…
Let $\text{Ham(M)}$ be the group of Hamiltonian symplectomorphisms of a quantizable, compact, symplectic manifold $(M,ω)$. We prove the existence of an action integral around loops in $\text{Ham(M)}$, and determine the value of this action integral on particular loops when the manifold is a coadjoint orbit.
We build a bridge between Floer theory on open symplectic manifolds and the enumerative geometry of holomorphic disks inside their Fano compactifications, by detecting elements in symplectic cohomology which are mirror to Landau-Ginzburg potentials. We also treat the higher Maslov index versions of the potentials. We discover a relation between higher disk potentials and symplectic cohomology rings of smooth anticanonical divisor complements (themselves conjecturally related to closed-string Gromov-Witten invariants), and explore several other applications to the geometry of Liouville domains.
Let $M$ be a proper Hamiltonian $K$-space with proper moment map $μ$. The symplectic quotient $X=μ^{-1}(0)/K$ is in general a singular stratified space. In this paper we first generalize the Kirwan map to this symplectic setting which maps the $K$ equivariant cohomology of $μ^{-1}(0)$ to the middle perversity intersection cohomology $IH^*(X)$. Next, we show that there is a natural right inverse of the Kirwan map, under an assumption coming from the cosupport axiom for the intersection homology sheaf. Furthermore, we can identify the subspace of $H^*_K(μ^{-1}(0))$ which corresponds to $IH^*(X)$…
This article studies the symplectic cohomology of affine algebraic surfaces that admit a compactification by a normal crossings anticanonical divisor. Using a toroidal structure near the compactification divisor, we describe the complex computing symplectic cohomology, and compute enough differentials to identify a basis for the degree-zero part of the symplectic cohomology. This basis is indexed by integral points in a certain integral affine manifold, providing a relationship to the theta functions of Gross--Hacking--Keel. Included is a discussion of wrapped Floer cohomology of Lagrangian su…
The Lie-Poisson analogues of the cotangent bundle and coadjoint orbits of a Lie group are considered. For the natural Poisson brackets the symplectic leaves in these manifolds are classified and the corresponding symplectic forms are described. Thus the construction of the Kirillov symplectic form is generalized for Lie-Poisson groups.
We construct shift operators on equivariant symplectic cohomology which generalise the shift operators on equivariant quantum cohomology in algebraic geometry. That is, given a Hamiltonian action of the torus $T$, we assign to a cocharacter of $T$ an endomorphism of $(S^1 \times T)$-equivariant Floer cohomology based on the equivariant Floer Seidel map. We prove the shift operator commutes with a connection. This connection is a multivariate version of Seidel's $q$-connection on $S^1$-equivariant Floer cohomology and generalises the Dubrovin connection on equivariant quantum cohomology. We pro…
Let G be a noncompact real semisimple Lie group. The regular coadjoint orbits of G can be partitioned into a finite set of types. We show that on each regular orbit, the Iwasawa decomposition induces a left-invariant foliation which is isotropic with respect to the Kirillov symplectic form. Moreover, the leaves are affine subspaces of the dual of the Lie algebra, and the dimension of the leaves depends only on the type of the orbit. When G is a split real form, the foliations induced from the Iwasawa decomposition are actually Lagrangian fibrations with a global transverse Lagrangian section.
We prove that any coadjoint orbit with real eigenvalues of a complex semisimple Lie group, equipped with the real part of the canonical holomorphic symplectic form, is symplectomorphic to the cotangent bundle of a (partial) flag manifold. Moreover, we generalize this result to hyperbolic orbits in a real semisimple Lie algebra.
We study the symplectic structure of the holomorphic coadjoint orbits, generalizing a theorem of McDuff on the symplectic structure of Hermitian symmetric spaces of noncompact type.
This encyclopedia article briefly reviews without proofs some of the main results in symplectic reduction. The article recalls most the necessary prerequisites to understand the main results, namely, group actions, momentum maps, and coadjoint orbits, among others.
We construct a multiplicative spectral sequence converging to the symplectic cohomology ring of any affine variety $X$, with first page built out of topological invariants associated to strata of any fixed normal crossings compactification $(M,\mathbf{D})$ of $X$. We exhibit a broad class of pairs $(M,\mathbf{D})$ (characterized by the absence of relative holomorphic spheres or vanishing of certain relative GW invariants) for which the spectral sequence degenerates, and a broad subclass of pairs (similarly characterized) for which the ring structure on symplectic cohomology can also be describ…
The aim of this paper is to describe how to obtain residue-type formulas for push-forwards in equivariant cohomology, using the Jeffrey-Kirwan nonabelian localization theorem and the related result of Guillemin and Kalkman. This paper relates the description of equivariant push-forwards for homogeneous spaces of classical Lie groups with the action of the maximal torus with symplectic geometry, using the example of projective spaces and classical Grassmannians.
Given a symplectic cohomology class of degree 1, we define the notion of an equivariant Lagrangian submanifold. The Floer cohomology of equivariant Lagrangian submanifolds has a natural endomorphism, which induces a grading by generalized eigenspaces. Taking Euler characteristics with respect to the induced grading yields a deformation of the intersection number. Dehn twists act naturally on equivariant Lagrangians. Cotangent bundles and Lefschetz fibrations give fully computable examples. A key step in computations is to impose the "dilation" condition stipulating that the BV operator applied…
In this paper, we study the symplectic geometry of singular conifolds of the finite group quotient $$ W_r=\{(x,y,z,t)|xy-z^{2r}+t^2=0 \}/μ_r(a,-a,1,0), r\geq 1, $$ which we call orbi-conifolds. The related orbifold symplectic conifold transition and orbifold symplectic flops are constructed. Let $X$ and $Y$ be two symplectic orbifolds connected by such a flop. We study orbifold Gromov-Witten invariants of exceptional classes on $X$ and $Y$ and show that they have isomorphic Ruan cohomologies. Hence, we verify a conjecture of Ruan.
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…
These notes accompany a lecture about the topology of symplectic (and other) quotients. The aim is two-fold: first to advertise the ease of computation in the symplectic category; and second to give an account of some new computations for weighted projective spaces. We start with a brief exposition of how orbifolds arise in the symplectic category, and discuss the techniques used to understand their topology. We then show how these results can be used to compute the Chen-Ruan orbifold cohomology ring of abelian symplectic reductions. We conclude by comparing the several rings associated to a w…
Let $M$ be a symplectic manifold, equipped with a Hamiltonian action of a torus $T$. We give an explicit formula for the rational cohomology ring of the symplectic quotient $M//T$ in terms of the cohomology ring of $M$ and fixed point data. Under some restrictions, our formulas apply to integral cohomology. In certain cases these methods enable us to show that the cohomology of the reduced space is torsion-free.
We provided two explicit formulas for the intersection cohomology (as a graded vector space with pairing) of the symplectic quotient by a circle in terms of the $S^1$ equivariant cohomology of the original symplectic manifold and the fixed point data. The key idea is the construction of a small resolution of the symplectic quotient.
We examine how symplectic cohomology may be used as an invariant on symplectic structures, and investigate the non-uniqueness of these structures on Liouville domains, a field which has seen much development in the past decade. Notably, we prove the existence of infinitely many non-standard symplectic structures on finite type Liouville manifolds for dimensions $n\geq 6$. To do this, we build up notions of Liouville domains, Lefschetz fibrations, and symplectic cohomology.
Let M be the total space of a negative line bundle over a closed symplectic manifold. We prove that the quotient of quantum cohomology by the kernel of a power of quantum cup product by the first Chern class of the line bundle is isomorphic to symplectic cohomology. We also prove this for negative vector bundles and the top Chern class. We explicitly calculate the symplectic and quantum cohomologies of O(-n) over P^m. For n=1, M is the blow-up of C^{m+1} at the origin and symplectic cohomology has rank m. The symplectic cohomology vanishes if and only if the first Chern class of the line bundl…
In this paper, we investigate the relationship between J-anti-invariant cohomology of a closed symplectic 4-manifold introduced by T.-J. Li and W. Zhang and new symplectic cohomologies introduced by L.-S. Tseng and S.-T. Yau. We also prove that the dimension of J-anti-invariant cohomology is constant for almost structures J which are compatible with a fixed symplectic form.
A method of constructing of Darboux coordinates on a space that is a symplectic reduction with respect to a diagonal action of $GL(m})$ on a Cartesian product of $N$ orbits of coadjoint representation of $GL(m)$ is presented. The method gives an explicit symplectic birational isomorphism between the reduced space on the one hand and a Cartesian product of $N-3$ coadjoint orbits of dimension $m(m-1)$ on an orbit of dimension $(m-1)(m-2)$ on the other hand. In a generic case of the diagonalizable matrices it gives just the isomorphism that is birational and symplectic between some open, in a Zar…
We show that the space of classical Coxeter's frieze patterns can be viewed as a discrete version of a coadjoint orbit of the Virasoro algebra. The canonical (cluster) (pre)symplectic form on the space of frieze patterns is a discretization of the Kirillov symplectic form. We relate a continuous version of frieze patterns to conformal metrics of constant curvature in dimension 2.
In this paper, we study Hamiltonian R-actions on symplectic orbifolds [M/S], where R and S are tori. We prove an injectivity theorem and generalize Tolman-Weitsman's proof of the GKM theorem in this setting. The main example is the symplectic reduction X//S of a Hamiltonian T-manifold X by a subtorus S of T. This includes the class of symplectic toric orbifolds. We define the equivariant Chen-Ruan cohomology ring and use the above results to establish a combinatorial method of computing this equivariant Chen-Ruan cohomology in terms of orbifold fixed point data.
We compute symplectic cohomology for Milnor fibres of certain compound Du Val singularities that admit small resolution by using homological mirror symmetry. Our computations suggest a new conjecture that the existence of a small resolution has strong implications for the symplectic cohomology and conversely. We also use our computations to give a contact invariant of the link of the singularities and thereby distinguish many contact structures on connected sums of $S^2 \times S^3$.
The ``symplectic cut'' construction [Lerman] produces two symplectic orbifolds $C_-$ and $C_+$ from a symplectic manifold $M$ with a Hamiltonian circle action. We compute the rational cohomology ring of $C_+$ in terms of those of $M$ and $C_-$.
We find bounds for the Hofer-Zehnder capacity of coadjoint orbits of compact Lie groups with respect to the Kostant--Kirillov--Souriau symplectic form in terms of the combinatorics of their Bruhat graph. We show that our bounds are sharp for coadjoint orbits of the unitary group and equal to the diameter of a weighted Cayley graph.
We develop criteria for affine varieties to admit uniruled subvarieties of certain dimensions. The measurements are from long exact sequences of versions of symplectic cohomology, which is a Hamiltonian Floer theory for some open symplectic manifolds including affine varieties. Symplectic cohomology is hard to compute, in general. However, certain vanishing and invariance properties of symplectic cohomology can be used to prove that our criteria for finding uniruled subvarieties hold in some cases. We provide applications of the criteria in birational geometry of log pairs in the direction of …
