We consider presymplectic manifolds equipped with Hamiltonian G-actions, G being a connected compact Lie group. A presymplectic manifold is foliated by the integral submanifolds of the kernel of the presymplectic form. For a presymplectic Hamiltonian G-manifold, Lin and Sjamaar propose a condition under which they show that the moment map image has the same "convex and polyhedral" property as the moment map image of a symplectic Hamiltonian G-manifold, a result proved independently by Atiyah, Guillemin-Sternberg, and Kirwan. In this paper, under the condition Lin and Sjamaar proposed on presymplectic Hamiltonian G-manifolds, we study the fundamental groups of such manifolds, comparing with earlier results on the fundamental groups of symplectic Hamiltonian G-manifolds. We observe that the results on the symplectic case are special cases of the results on the presymplectic case.
A presymplectic structure on odd dimensional manifold is given by a closed 2-form which is nondegenerate, i.e., of maximal rank. We investigate geometry of presymplectic manifolds. Some basic theorems analogous to those in symplectic and contact topology are given and applied to study constructions of presymplectic manifolds. In particular, we describe how to glue presymplectic manifolds along a presymplectic submanifold, including surgery along a presymplectic circles.
In this paper, we extend the Atiyah--Guillemin--Sternberg convexity theorem and Delzant's classification of symplectic toric manifolds to presymplectic manifolds. We also define and study the Morita equivalence of presymplectic toric manifolds and of their corresponding framed momentum polytopes, which may be rational or non-rational. Toric orbifolds, quasifolds and non-commutative toric varieties may be viewed as the quotient of our presymplectic toric manifolds by the kernel isotropy foliation of the presymplectic form.
The convexity and Morse-theoretic properties of moment maps in symplectic geometry typically fail for presymplectic manifolds. We find a condition on presymplectic moment maps that prevents these failures. Our result applies for instance to Prato's quasifolds and to Hamiltonian actions on contact manifolds and cosymplectic manifolds.
We prove the rigidity of presymplectic actions of a compact semisimple Lie algebra on a presymplectic manifold of constant rank in the local and global case. The proof uses an abstract normal form theorem we had stated in a previous work, based on an iterative process of Nash-Moser type. In order to use correctly this abstract theorem, we need to construct a new smoothing operator for differential forms and multivector fields which preserves the presymplectic feature.
We study the prequantization of quasi-presymplectic groupoids and their Hamiltonian spaces using $S^1$-gerbes. We give a geometric description of the integrality condition. As an application, we study the prequantization of the quasi-Hamiltonian $G$-spaces of Alekseev--Malkin--Meinrenken.
Let $G$ be a semisimple Lie group with finite component group, and let $K<G$ be a maximal compact subgroup. We obtain a quantisation commutes with reduction result for actions by $G$ on manifolds of the form $M = G\times_K N$, where $N$ is a compact prequantisable Hamiltonian $K$-manifold. The symplectic form on $N$ induces a closed two-form on $M$, which may be degenerate. We therefore work with presymplectic manifolds, where we take a presymplectic form to be a closed two-form. For complex semisimple groups and semisimple groups with discrete series, the main result reduces to results with a…
Reduction of symmetric time-dependent Hamiltonian systems I: presymplectic principal $\mathbb{R}$-bundles
University of La Laguna（拉帕卢纳大学）；Instituto Universitario de Matemáticas y Aplicaciones (IMAULL)（数学与应用大学研究所 (IMAULL)）；ULL-CSIC Geometría Diferencial y Mecánica Geométrica（ULL-CSIC 微分几何与几何力学）
In their 2005 paper, C. Laurent-Gengoux and P. Xu define prequantization for pre-Hamiltonian actions of quasi-presymplectic Lie groupoids in terms of central extensions of Lie groupoids. The definition requires that the quasi-presymplectic structure be exact (i.e. the closed 3-form on the unit space of the Lie groupoid must be exact). In the present paper, we define prequantization for pre-Hamiltonian actions of (not necessarily exact) quasi-presymplectic Lie groupoids in terms of Dixmier-Douady bundles. The definition is a natural adaptation of E. Meinrenken's treatment of prequantization for…
Retractions maps are used to define a discretization of the tangent bundle of the configuration manifold as two copies of the configuration manifold where the dynamics take place. Such discretization maps can be conveniently lifted to the cotangent bundle so that symplectic integrators are constructed for Hamilton's equations. Optimal control problems are provided with a Hamiltonian framework by Pontryagin's Maximum Principle. That is why we use discretization maps and the integrability algorithm to obtain presymplectic integrators for optimal control problems.
In previous work with M.C. Fernandes, we found a Lie algebroid symmetry for the Einstein evolution equations of general relativity. The present work was motivated by the effort to explain the coisotropic structure of the constraint subset for the initial value problem by extending the notion of hamiltonian structure from Lie algebra actions to general Lie algebroids over presymplectic manifolds. After comparing possible compatibility conditions between the anchor $A\to TM$ and the presymplectic structure on the base $M$, we choose the most natural of them, given by a suitably chosen connection…
Let $(M,ω)$ be a geometrically bounded symplectic manifold, $N\subseteq M$ a closed, regular (i.e. "fibering") coisotropic submanifold, and $ϕ:M\to M$ a Hamiltonian diffeomorphism. The main result of this article is that the number of leafwise fixed points of $ϕ$ is bounded below by the sum of the $Z_2$-Betti numbers of $N$, provided that the Hofer distance between $ϕ$ and the identity is small enough and the pair $(N,ϕ)$ is non-degenerate. The bound is optimal if there exists a $Z_2$-perfect Morse function on $N$. A version of the Arnol'd-Givental conjecture for coisotropic submanifolds is al…
Let $(M,ω)$ be a symplectic manifold, $N\subseteq M$ a coisotropic submanifold, and $Σ$ a compact oriented (real) surface. I define a natural Maslov index for each continuous map $u:Σ\to M$ that sends every connected component of $\partialΣ$ to some isotropic leaf of $N$. This index is real valued and generalizes the usual Lagrangian Maslov index. The idea is to use the linear holonomy of the isotropic foliation of $N$ to compensate for the loss of boundary data in the case codimension $N<\dim M/2$. The definition is based on the Salamon-Zehnder (mean) Maslov index of a path of linear symplect…
We generalize various symplectic reduction techniques to the context of the optimal momentum map. Our approach allows the construction of symplectic point and orbit reduced spaces purely within the Poisson category under hypotheses that do not necessarily imply the existence of a momentum map. We construct an orbit reduction procedure for canonical actions on a Poisson manifold that exhibits an interesting interplay with the von Neumann condition previously introduced by the author in his study of singular dual pairs. This condition ensures that the orbits in the momentum space of the optimal …
We expose the basics of the Fedosov quantization procedure, placed in the general framework of symplectic ringed spaces. This framework also includes some Poisson manifolds with non regular Poisson structures, presymplectic manifolds, complex analytic symplectic manifolds, etc.
We discuss hamiltonian structures of the Gelfand-Dorfman complex of projectable vector fields and differential forms on a foliated manifold. Such a structure defines a Poisson structure on the algebra of foliated functions, and embeds the given foliation into a larger, generalized foliation with presymplectic leaves. In a so-called tame case, the structure is induced by a Poisson structure of the manifold. Cohomology spaces and classes relevant to geometric quantization are also considered.
Let $(M, ω)$ be a connected, compact symplectic manifold equipped with a Hamiltonian $S^1$ action. We prove that, as fundamental groups of topological spaces, $π_1(M)=π_1(\hbox{minimum})=π_1(\hbox{maximum})=π_1(M_{red})$, where $M_{red}$ is the symplectic quotient at any value in the image of the moment map $ϕ$.
Assume $(M, ω)$ is a connected, compact 6 dimensional symplectic manifold equipped with a semi-free Hamiltonian circle action, such that the fixed point set consists of isolated points or compact orientable surfaces. We restrict attention to the case $\dim$ $H^2(M)<3$. We give a complete list of the possible manifolds, determine their equivariant cohomology ring and equivariant Chern classes. Some of these manifolds are classified up to diffeomorphism. We also show the existence for a few cases.
Let $(M, ω)$ be a connected compact symplectic manifold equipped with a Hamiltonian SU(2) or SO(3) action. We prove that, as fundamental group of topological spaces, $π_1(M)=π_1(M_{red})$, where $M_{red}$ is the symplectic quotient at any value of the moment map $ϕ$.
We address the problem of computing the fundamental group of a symplectic $S^1$-manifold for non-Hamiltonian actions on compact manifolds, and for Hamiltonian actions on non-compact manifolds with a proper moment map. We generalize known results for compact manifolds equipped with a Hamiltonian $S^1$-action. Several examples are presented to illustrate our main results.
This paper is about the role of Planck's constant, $\hbar$, in the geometric quantization of Poisson manifolds using symplectic groupoids. In order to construct a strict deformation quantization of a given Poisson manifold, one can use all possible rescalings of the Poisson structure, which can be combined into a single "Heisenberg-Poisson" manifold. The new coordinate on this manifold is identified with $\hbar$. I present an explicit construction for a symplectic groupoid integrating a Heisenberg-Poisson manifold and discuss its geometric quantization. I show that in cases where $\hbar$ canno…
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 study the topology of Hamiltonian-minimal Lagrangian submanifolds N in C^m constructed from intersections of real quadrics in a work of the first author. This construction is linked via an embedding criterion to the well-known Delzant construction of Hamiltonian toric manifolds. We establish the following topological properties of N: every N embeds as a submanifold in the corresponding moment-angle manifold Z, and every N is the total space of two different fibrations, one over the torus T^{m-n} with fibre a real moment-angle manifold R, and another over a quotient of R by a finite group wi…
A simple Hamiltonian manifold is a closed connected symplectic manifold equipped with a Hamiltonian action of a torus T with moment map Phi: M-->t^*, such that the fixed set M^T has exactly two connected components, denoted M_0 and M_1. We study the differential and symplectic geometry of simple Hamiltonian manifolds, including a large number of examples.
We give a complete characterization of Hamiltonian actions of compact Lie groups on exact symplectic manifolds with proper momentum maps. We deduce that every Hamiltonian action of a compact Lie group on a contractible symplectic manifold with a proper momentum map is globally linearizable.
In the paper we describe obstructions for the existence of symplectic and Hamiltonian symplectic circle actions on closed compact manifolds in terms of Hirzebruch genera and relations between differential and homotopic invariants of such manifolds.
This paper is devoted to the study of symplectic manifolds and their connection with Hamiltonian dynamical systems. We review some properties and operations on these manifolds and see how they intervene when studying the complete integrability of these systems, with detailed proofs. Several explicit calculations for which references are not immediately available are given. These results are exemplified by applications to some Hamiltonian dynamical systems.
In this paper, we study the hard Lefschetz property of a symplectic manifold which admits a Hamiltonian torus action. More precisely, let $(M,ω)$ be a 6-dimensional compact symplectic manifold with a Hamiltonian $T^2$-action. We will show that if the moment map image of $M$ is a GKM-graph and if the graph is index-increasing, then $(M,ω)$ satisfies the hard Lefschetz property.
Constrained Hamiltonian systems fall into the realm of presymplectic geometry. We show, however, that also Poisson geometry is of use in this context. For the case that the constraints form a closed algebra, there are two natural Poisson manifolds associated to the system, forming a symplectic dual pair with respect to the original, unconstrained phase space. We provide sufficient conditions so that the reduced phase space of the constrained system may be identified with a symplectic leaf in one of those. In the second class case the original constrained system may be reformulated equivalently…
We show that the quotient associated to a quasi-Hamiltonian space has a symplectic structure even when 1 is not a regular value of the momentum map: it is a disjoint union of symplectic manifolds of possibly different dimensions, which generalizes a result of Alekseev, Malkin and Meinrenken. We illustrate this theorem with the example of representation spaces of surface groups. As an intermediary step, we show that the isotropy submanifolds of a quasi-Hamiltonian space are quasi-Hamiltonian spaces themselves.
This paper defines symplectic scale manifolds based on Hofer-Wysocki-Zehnder's scale calculus. We introduce Hamiltonian vector fields and flows on these by narrowing down sc-smoothness to what we denote by strong sc-smoothness, a concept which effectively formalizes the desired smoothness properties for Hamiltonian functions. We show the concept to be invariant under sc-smooth symplectomorphisms, whence it is compatible with Hofer's scale manifolds. We develop and verify the theory at the hand of the free Schrödinger equation.
In this work, we show that an autonomous dynamical system defined by a nonvanishing vector field on an orientable three-dimensional manifold is globally bi-Hamiltonian if and only if the first Chern class of the normal bundle of the given vector field vanishes. Furthermore, the bi-Hamiltonian structure is globally compatible if and only if the Bott class of the complex codimension one foliation defined by the given vector field vanishes.
We lift a Hamiltonian loop on a symplectic manifold to a Hamiltonian loop on the symplectic one-point blow up of a symplectic manifold. Then we use Weinstein's morphism to show that the lifted Hamiltonian loop has infinite order on the fundamental group of the group of Hamiltonian diffeomorphisms of the blown up manifold.
Let $(M, ω)$ be a connected, compact 6-dimensional symplectic manifold equipped with a semi-free Hamiltonian $S^1$ action such that the fixed point set consists of isolated points or surfaces. Assume dim $H^2(M)<3$, in \cite{L}, we defined a certain invariant of such spaces which consists of fixed point data and twist type, and we divided the possible values of these invariants into six ``types''. In this paper, we construct such manifolds with these ``types''. As a consequence, we have a precise list of the values of these invariants.
This paper determines a condition that is necessary and sufficient for a metaplectic-c prequantizable symplectic manifold with an effective Hamiltonian torus action to admit an equivariant metaplectic-c prequantization. The condition is evaluated at a fixed point of the momentum map, and is shifted from the one that is known for equivariant prequantization line bundles. Given a metaplectic-c prequantized symplectic manifold with a Hamiltonian energy function, the author previously proposed a condition under which a regular value of the function should be considered a quantized energy level of …
In this work, we prove a compactness theorem on the space of all Hamiltonian stationay Lagrangian submanifolds in a compact symplectic manifold with uniform bounds on area and total extrinsic curvature.
Let K be a connected Lie group and M a Hamiltonian K-manifold. In this paper, we introduce the notion of convexity of M. It implies that the momentum image is convex, the moment map has connected fibers, and the total moment map is open onto its image. Conversely, the three properties above imply convexity. We show that most Hamiltonian manifolds occuring "in nature" are convex (e.g., if M is compact, complex algebraic, or a cotangent bundle). Moreover, every Hamiltonian manifold is locally convex. This is an expanded version of section 2 of my paper dg-ga/9712010 on Weyl groups of Hamiltonian…
We show that a generic Hamiltonian diffeomorphism on a closed symplectic manifold which is symplectically aspherical has at least the stable Morse number of fixed points - this is in line with a conjecture by Arnold.
We prove that $π_1(\text{Ham}(M))$ contains an infinite cyclic subgroup, where $\text{Ham}(M)$ is the Hamiltonian group of the one point blow up of ${\Bbb C}P^3$. We give a sufficient condition for the group $π_1(\text{Ham}(M))$ to contain an infinite cyclic subgroup, when $M$ is a general toric manifold.
A (quasi-)Hamiltonian manifold is called multiplicity free if all of its symplectic reductions are 0-dimensional. In this paper, we classify multiplicity free Hamiltonian actions for (twisted) loop groups or, equivalently, multiplicity free (twisted) quasi-Hamiltonian manifolds for simply connected compact Lie groups. As a result we recover old and find new examples of these structures.
In this paper the Gromov-Witten invariants on a class of noncompact symplectic manifolds are defined by combining Ruan-Tian's method with that of McDuff-Salamon. The main point of the arguments is to introduce a method dealing with the transversality problems in the case of noncompact manifolds. Moreover, the techniques are also used to study the topological rigidity of Hamiltonian loops with compact support on a class of noncompact symplectic manifolds.
In this paper we describe a method to establish when a symplectic manifold $M$ with semi-free Hamiltonian $S^{1}$-action is unique up to isomorphism (equivariant symplectomorphism). This will rely on a study of the symplectic topology of the reduced spaces. We prove that if the reduced spaces satisfy a rigidity condition, then the manifold $M$ is uniquely determined by fixed point data. In particular we can prove that there is a unique family up to isomorphism of 6-dimensional symplectic manifolds with semi-free $S^1$-action and isolated fixed points.
For a Hamiltonian, proper and free action of a Lie group $G$ on a Dirac manifold $(M,L)$, with a regular moment map $μ:M\to \mathfrak{g}^*$, the manifolds $M/G$, $μ^{-1}(0)$ and $μ^{-1}(0)/G$ all have natural induced Dirac structures. If $(M,L)$ is an integrable Dirac structure, we show that $M/G$ is always integrable, but $μ^{-1}(0)$ and $μ^{-1}(0)/G$ may fail to be integrable, and we describe the obstructions to their integrability.
We study the dynamics of Hamiltonian diffeomorphisms on convex symplectic manifolds. To this end we first establish the Piunikhin-Salamon-Schwarz isomorphism between the Floer homology and the Morse homology of such a manifold, and then use this isomorphism to construct a biinvariant metric on the group of compactly supported Hamiltonian diffeomorphisms analogous to the metrics constructed by Viterbo and Schwarz. These tools are then applied to prove and reprove results in Hamiltonian dynamics. Our applications comprise a uniform lower estimate for the slow entropy of a compactly supported Ham…
The main result of this note is that every closed Hamiltonian S^1 manifold is uniruled, i.e. it has a nonzero Gromov--Witten invariant one of whose constraints is a point. The proof uses the Seidel representation of π_1 of the Hamiltonian group in the small quantum homology of M as well as the blow up technique recently introduced by Hu, Li and Ruan. It applies more generally to manifolds that have a loop of Hamiltonian symplectomorphisms with a nondegenerate fixed maximum. Some consequences for Hofer geometry are explored. An appendix discusses the structure of the quantum homology ring of un…
We study analysis over infinite dimensional manifolds consisted by sequences of almost Kähler manifolds. In particular we develop moduli theory of pseudo holomorphic curves into the spaces with high symmetry. As applications, we study Hamiltonian dynamics over the infinite dimensional manifolds, and induce some dynamical properties of Hamiltonian diffeomorphisms on such spaces.
In this paper we construct six-dimensional compact non-Kähler Hamiltonian circle manifolds which satisfy the strong Lefschetz property themselves but nevertheless have a non-Lefschetz symplectic quotient. This provides the first known counter examples to the question whether the strong Lefschetz property descends to the symplectic quotient. We also give examples of Hamiltonian strong Lefschetz circle manifolds which have a non-Lefschetz fixed point submanifold. In addition, we establish a sufficient and necessary condition for a finitely presentable group to be the fundamental group of a stron…
A Hamiltonian action of a complex torus on a symplectic complex manifold is said to be {\it multiplicity free} if a general orbit is a lagrangian submanifold. To any multiplicity free Hamiltonian action of a complex torus $T\cong (\C^\times)^n$ on a Stein manifold $X$ we assign a certain 5-tuple consisting of a Stein manifold $Y$, an étale map $Y\to \t^*$, a set of divisors on $Y$ and elements of $H^2(Y,\Z)^{\oplus n}, H^2(Y,\C)$. We show that $X$ is uniquely determined by this invariants. Furthermore, we describe all 5-tuples arising in this way.
