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 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.
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.
Given two 4-dimensional ellipsoids whose symplectic sizes satisfy a specified inequality, we prove that a certain loop of symplectic embeddings between the two ellipsoids is noncontractible. The statement about symplectic ellipsoids is a particular case of a more general result. Given two convex toric domains whose first and second ECH capacities satisfy a specified inequality, we prove that a certain loop of symplectic embeddings between the two convex toric domains is noncontractible. We show how the constructed loops become contractible if the target domain becomes large enough. The proof i…
We define a symplectic structure on the space of non parametrized loops in $G_2$ manifold. We also develop some basics of intersection theory of Lagrangian submanifolds.
Like (co)homology group theory of formal Hamiltonian vector fields on symplectic vector spaces, we try studying homology group theory on symplecit tori introducing the notion of weight.
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.
Let $M$ be a closed Fano symplectic manifold with a semifree Hamiltonian circle action with isolated maximum. We compute the Gromov width and the Hofer-Zehnder capacity of $M$ using a moment map.
The purpose of this paper is presenting a theoretical basis for the study of $ω$-Hamiltonian vector fields in a more general approach than the classical one. We introduce the concepts of $ω$-symplectic group and $ω$-semisymplectic group, and describe some of their properties. We show that the Lie algebra of such groups is a useful tool in the recognition of an $ω$-Hamiltonian vector field defined on a symplectic vector space $(V,ω)$ with respect to coordinates that are not necessarily symplectic.
For any nonempty, compact and fiberwise convex set $K$ in $T^*\mathbb{R}^n$, we prove an isomorphism between symplectic homology of $K$ and a certain relative homology of loop spaces of $\mathbb{R}^n$. We also prove a formula which computes symplectic homology capacity (which is a symplectic capacity defined from symplectic homology) of $K$ using homology of loop spaces. As applications, we prove (i) symplectic homology capacity of any convex body is equal to its Ekeland-Hofer-Zehnder capacity, (ii) a certain subadditivity property of the Hofer-Zehnder capacity, which is a generalization of a …
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.
The main result asserts the existence of noncontractible periodic orbits for compactly supported time dependent Hamiltonian systems on the unit cotangent bundle of the torus or of a negatively curved manifold whenever the generating Hamiltonian is sufficiently large over the zero section. The proof is based on Floer homology and on the notion of a relative symplectic capacity. Applications include results about propagation properties of sequential Hamiltonian systems, periodic orbits on hypersurfaces, Hamiltonian circle actions, and smooth Lagrangian skeletons in Stein manifolds.
We calculate the Riemann-Roch number of some of the pentagon spaces defined in [Klyachko,Kapovich-Millson,HK1]. Using this, we show that while the regular pentagon space is diffeomorphic to a toric variety, even symplectomorphic to one under arbitrarily small perturbations of its symplectic structure, it does not admit a symplectic circle action. In particular, within the cohomology classes of symplectic structures, the subset admitting a circle action is not closed.
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.
The question of what conditions guarantee that a symplectic $S^1$ action is Hamiltonian has been studied for many years. In a 1998 paper, Sue Tolman and Jonathon Weitsman proved that if the action is semifree and has a non-empty set of isolated fixed points then the action is Hamiltonian. Furthermore, in a 2010 paper Cho, Hwang, and Suh proved in the 6-dimensional case that if we have $b_2^+=1$ at a reduced space at a regular level $λ$ of the circle valued moment map, then the action is Hamiltonian. In this paper, we will use this to prove that certain 6-dimensional symplectic actions which ar…
In this paper we define invariants of Hamiltonian group actions for central regular values of the moment map. The key hypotheses are that the moment map is proper and that the ambient manifold is symplectically aspherical. The invariants are based on the symplectic vortex equations. Applications include an existence theorem for relative periodic orbits, a computation for circle actions on a complex vector space, and a theorem about the relation between the invariants introduced here and the Seiberg--Witten invariants of a product of a Riemann surface with a two-sphere.
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 …
Using a "Hodge decomposition" of symplectic isotopies on a compact symplectic manifold $(M,ω)$, we construct a norm on the identity component in the group of all symplectic diffeomorphisms of $(M,ω)$ whose restriction to the group $Ham(M,ω)$ of hamiltonian diffeomorphisms is bounded from above by the Hofer norm. Moreover, $Ham(M,ω)$ is closed in $Symp(M,ω)$ equipped with the topology induced by the extended norm. We give an application to the $C^0$ symplectic topology. We also discuss extensions of Oh's spectral distance.
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.
We define Floer homology for a time-independent, or autonomous Hamiltonian on a symplectic manifold with contact type boundary, under the assumption that its 1-periodic orbits are transversally nondegenerate. Our construction is based on Morse-Bott techniques for Floer trajectories. Our main motivation is to understand the relationship between linearized contact homology of a fillable contact manifold and symplectic homology of its filling.
We construct absolute and relative versions of Hamiltonian Floer homology algebras for strongly semi-positive compact symplectic manifolds with convex boundary, where the ring structures are given by the appropriate versions of the pair-of-pants products. We establish the absolute and relative Piunikhin-Salamon-Schwarz isomorphisms between these Floer homology algebras and the corresponding absolute and relative quantum homology algebras. As a result, the absolute and relative analogues of the spectral invariants on the group of compactly supported Hamiltonian diffeomorphisms are defined.
Let $(\X,ω)$ be a compact symplectic orbifold. We define $π_1(Ham(\X, ω))$, the fundamental group of the 2-group of Hamiltonian diffeomorphisms of $(\X, ω)$, and construct a group homomorphism from $π_1(Ham(\X, ω))$ to the group $QH_{orb}^*(\X,Λ)^{\times}$ of multiplicatively invertible elements in the orbifold quantum cohomology ring of $(\X, ω)$. This extends the Seidel representation ([Se], [M]) to symplectic orbifolds.
The purpose of this article is to characterize symplectic and Hamiltonian circle actions on symplectic manifolds in terms of symplectic embeddings of Riemann surfaces. More precisely, we will show that (1) if $(M,ω)$ admits a Hamiltonian $S^1$-action, then there exists an $S^1$-invariant symplectic $2$-sphere $S$ in $(M,ω)$ such that $\langle c_1(M), [S] \rangle > 0$, and (2) if the action is non-Hamiltonian, then there exists an $S^1$-invariant symplectic $2$-torus $T$ in $(M,ω)$ such that $\langle c_1(M), [T] \rangle = 0$. As applications, we will give a very simple proof of the following we…
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 develop differential and symplectic geometry of differentiable Deligne-Mumford stacks (orbifolds) including Hamiltonian group actions and symplectic reduction. As an application we construct new examples of symplectic toric DM stacks as symplectic quotients of C^NxBG, where G is a finite non-abelian group.
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.
We prove that the fundamental group of the group of Hamiltonian diffeomorphisms of the symplectic manifold that is obtain by blowing up a submanifold contains an element of infinite order. We prove this using Weinstein's morphism and by constructing explicitly such loop of Hamiltonian diffeomorphisms.
Classical mechanical systems are modeled by a symplectic manifold $(M,ω)$, and their symmetries, encoded in the action of a Lie group $G$ on $M$ by diffeomorphisms that preserves $ω$. These actions, which are called "symplectic", have been studied in the past forty years, following the works of Atiyah, Delzant, Duistermaat, Guillemin, Heckman, Kostant, Souriau, and Sternberg in the 1970s and 1980s on symplectic actions of compact abelian Lie groups that are, in addition, of "Hamiltonian" type, i.e. they also satisfy Hamilton's equations. Since then a number of connections with combinatorics, f…
Hamiltonian symplectic actions of tori on compact symplectic manifolds have been extensively studied in the past thirty years, and a number of classifications have been achieved, for instance in the case that the acting torus is $n$-dimensional and the symplectic manifold is $2n$-dimensional. In this case the $n$-dimensional orbits are Lagrangian, so it is natural to wonder whether there are interesting classes of symplectic actions with Lagrangian orbits, and that are not Hamiltonian. It turns out that there are many such classes which contain for example the Kodaira variety, and which can be…
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 describe the structure of the Lie groups endowed with a left-invariant symplectic form, called symplectic Lie groups, in terms of semi-direct products of Lie groups, symplectic reduction and principal bundles with affine fiber. This description is particularly nice if the group is Hamiltonian, that is, if the left canonical action of the group on itself is Hamiltonian. The principal tool used for our description is a canonical affine structure associated with the symplectic form. We also characterize the Hamiltonian symplectic Lie groups among the connected symplectic Lie groups. We special…
We give examples of symplectic actions of a cyclic group, inducing a trivial action on homology, on four-manifolds that admit Hamiltonian circle actions, and show that they do not extend to Hamiltonian circle actions. Our work applies holomorphic methods to extend combinatorial tools developed for circle actions to study cyclic actions.
We generalize the "hamiltonian topology" on hamiltonian isotopies to an intrinsic "symplectic topology" on the space of symplectic isotopies. We use it to define the group $SSympeo(M,ω)$ of strong symplectic homeomorphisms, which generalizes the group $Hameo(M,ω)$ of hamiltonian homeomorphisms introduced by Oh and Muller. The group $SSympeo(M,ω)$ is arcwise connected, is contained in the identity component of $Sympeo(M,ω)$; it contains $Hameo(M,ω)$ as a normal subgroup and coincides with it when $M$ is simply connected. Finally its commutator subgroup $[SSympeo(M,ω),SSympeo(M,ω)]$ is contained…
For a finite dimensional symplectic manifold $(M,ω)$ with a symplectic form $ω$, corresponding loop space ($LM=C^\infty(S^1,M)$) admits a weak symplectic form $Ω^ω$. We prove that the loop space over $\mbr^n$ admits Darboux chart for the weak symplectic structure $Ω^ω$. Further, we show that inclusion map from the symplectic cohomology (as defined by Kriegl and Michor \cite{KM}) of the loop space over $\mathbb R^n$ to the De Rham cohomology of the loop space is an isomorphism.
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 [GMPS] we proved that the moment map image of a $b$-symplectic toric manifold is a convex $b$-polytope. In this paper we obtain convexity results for the more general case of non-toric hamiltonian torus actions on $b$-symplectic manifolds. The modular weights of the action on the connected components of the exceptional hypersurface play a fundamental role: either they are all zero and the moment map behaves as in classic symplectic one, or they are all nonzero and the moment map behaves as in the toric $b$-symplectic case studied in [GMPS].
Let $(M,ω)$ be an almost symplectic manifold ($ω$ is a non degenerate, not closed, 2-form). We say that a vector field $X$ of $M$ is locally Hamiltonian if $L_Xω=0,d(i(X)ω)=0$, and it is Hamiltonian if, furthermore, the 1-form $i(X)ω$ is exact. Such vector fields were considered in a 2007 paper by F. Fasso and N. Sansonetto, under the name of strongly Hamiltonian, and a corresponding action-angle theorem was proven. Almost symplectic manifolds may have few, non-zero, Hamiltonian vector fields or even none. Therefore, it is important to have examples and it is our aim to provide such examples h…
We prove that the group of Hamiltonian automorphisms of a symplectic 4-manifold contains only finitely many conjugacy classes of maximal compact tori with respect to the action of the full symplectomorphism group. We also extend to rational and ruled manifolds a result of Kedra which asserts that, if $M$ is a simply connected symplectic 4-manifold with $b_{2}\geq 3$, and if $\widetilde{M}_δ$ denotes a blow-up of $M$ of small enough capacity $δ$, then the rational cohomology algebra of the Hamiltonian group of $\widetilde{M}_δ)$ is not finitely generated. Both results are based on the fact that…
We construct a local characteristic map to a symplectic manifold M via certain cohomology groups of Hamiltonian vector fields. For each p in M, the Leibniz cohomology of the Hamiltonian vector fields on R^{2n} maps to the Leibniz cohomology of all Hamiltonian vector fields on M. For a particular extension g_n of the symplectic Lie algebra, the Leibniz cohomology of g_n is shown to be an exterior algebra on the canonical symplectic two-form. The Leibniz homology of g_n then maps to the Leibniz homology of Hamiltonian vector fields on R^{2n}.
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.
For symplectic group actions which are not Hamiltonian there are two ways to define reduction. Firstly using the cylinder-valued momentum map and secondly lifting the action to any Hamiltonian cover (such as the universal cover), and then performing symplectic reduction in the usual way. We show that provided the action is free and proper, and the Hamiltonian holonomy associated to the action is closed, the natural projection from the latter to the former is a symplectic cover. At the same time we give a classification of all Hamiltonian covers of a given symplectic group action. The main prop…
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.
This paper is concerned with the rational symplectic field theory in the Floer case. For this observe that in the general geometric setup for symplectic field theory the contact manifolds can be replaced by mapping tori of symplectic manifolds with symplectomorphisms. While the cylindrical contact homology is given by the Floer homologies of powers of the symplectomorphism, the other algebraic invariants of symplectic field theory provide natural generalizations of symplectic Floer homology. For symplectically aspherical manifolds and Hamiltonian symplectomorphisms we study the moduli spaces o…
In this note we extend to non trivial Hamiltonian fibrations over symplectically uniruled manifolds a result of Lu's, \cite{Lu}, stating that any trivial symplectic product of two closed symplectic manifolds with one of them being symplectically uniruled verifies the Weinstein Conjecture for closed separating hypersurfaces of contact type, under certain technical conditions. The proof is based on the product formula for Gromov-Witten invariants ($GW$-invariant) of Hamiltonian fibrations derived in \cite{H}.
We prove several results on symplectic varieties with a Hamiltonian action of a reductive group having invariant Lagrangian subvarieties. Our main result states that the images of the moment maps of a Hamiltonian variety and of the cotangent bundle over an invariant Lagrangian subvariety coincide. This implies that the complexity and rank of the Lagrangian subvariety are equal to the half of the corank and to the defect of the Hamiltonian variety, respectively. This result generalizes a theorem of Panyushev on the complexity and rank of a conormal bundle. A simple elementary proof of this theo…
We study Hamiltonian diffeomorphisms of closed symplectic manifolds with non-contractible periodic orbits. In a variety of settings, we show that the presence of one non-contractible periodic orbit of a Hamiltonian diffeomorphism of a closed toroidally monotone or toroidally negative monotone symplectic manifold implies the existence of infinitely many non-contractible periodic orbits in a specific collection of free homotopy classes. The main new ingredient in the proofs of these results is a filtration of Floer homology by the so-called augmented action. This action is independent of capping…
Our first main result states that the spectral norm on the group of Hamiltonian diffeomorphisms, introduced in the works of Viterbo, Schwarz and Oh, is continuous with respect to the C^0 topology, when M is symplectically aspherical. This statement was previously proven only in the case of closed surfaces. As a corollary, using a recent result of Kislev and Shelukhin, we obtain C^0 continuity of barcodes on aspherical symplectic manifolds, and furthermore define barcodes for Hamiltonian homeomorphisms. We also present several applications to Hofer geometry and dynamics of Hamiltonian homeomorp…
Let $(M, ω)$ be a connected, compact symplectic manifold equipped with a Hamiltonian $G$ action, where $G$ is a connected compact Lie group. Let $ϕ$ be the moment map. In \cite{L}, we proved the following result for $G=S^1$ action: as fundamental groups of topological spaces, $π_1(M)=π_1(M_{red})$, where $M_{red}$ is the symplectic quotient at any value of the moment map $ϕ$. In this paper, we generalize this result to other connected compact Lie group $G$ actions. We also prove that the above fundamental group is isomorphic to that of $M/G$. We briefly discuss the generalization of the first …
Let (M,w) be a compact symplectic 2n-manifold, and g a Riemannian metric on M compatible with w. For instance, g could be Kahler, with Kahler form w. Consider compact Lagrangian submanifolds L of M. We call L Hamiltonian stationary, or H-minimal, if it is a critical point of the volume functional under Hamiltonian deformations. It is called Hamiltonian stable if in addition the second variation of volume under Hamiltonian deformations is nonnegative. Our main result is that if L is a compact, Hamiltonian stationary Lagrangian in C^n satisfying the extra condition of being Hamiltonian rigid, th…