For the cotangent bundle of a smooth Riemannian manifold acted upon by the lift of a smooth and proper action by isometries of a Lie group, we characterize the symplectic normal space at any point. We show that this space splits as the direct sum of the cotangent bundle of a linear space and a symplectic linear space coming from reduction of a coadjoint orbit. This characterization of the symplectic normal space can be expressed solely in terms of the group action on the base manifold and the coadjoint representation. Some relevant particular cases are explored.
Given a Lie group G, a G-manifold M, and a point b of M with compact stabilizer, we construct slices for the lifted tangent and cotangent actions at a pre-image of b in terms of a slice for the G-action on M at the point b. We interpret the slice for the lifted cotangent action in terms of a symplectic slice and in terms of a Witt-Artin-decomposition.
We construct a family version of symplectic Floer cohomology for magnetic cotangent bundles, without any restrictions on the magnetic form, using the dissipative method for compactness introduced in \cite{Groman2015}. As an application, we deduce that if $N$ is a closed manifold and $ σ$ is a magnetic form that is not weakly exact, then the $ π_1$-sensitive Hofer-Zehnder capacity of any compact set in the magnetic cotangent bundle determined by $ σ$ is finite.
Let $V$ be a bounded domain with smooth boundary in $\R^n$, and $D^*V$ denote its disc cotangent bundle. We compute symplectic homology of $D^*V$, in terms of relative homology of loop spaces on the closure of $V$. We use this result to show that Floer-Hofer capacity of $D^*V$ is between $2r(V)$ and $2(n+1)r(V)$, where $r(V)$ denotes inradius of $V$. As an application, we study periodic billiard trajectories on $V$.
We describe how the result in [1] extends to prove the existence of a Serre type spectral sequence converging to the symplectic homology SH_*(M) of an exact Sub-Liouville domain M in a cotangent bundle T*N. We will define a notion of a fiber-wise symplectic homology SH_*(M,q) for each point q in N, which will define a graded local coefficient system on N. The spectral sequence will then have page two isomorphic to the homology of N with coefficients in this graded local system.
In this paper, we compute the embedded contact homology (ECH) capacities of the disk cotangent bundles $D^*S^2$ and $D^*\mathbb{R} P^2$. We also find sharp symplectic embeddings into these domains. In particular, we compute their Gromov widths. In order to do that, we explicitly calculate the ECH chain complexes of $S^*S^2$ and $S^* \mathbb{R} P^2$ using a direct limit argument on the action inspired by Bourgeois's Morse-Bott approach and ideas from Nelson-Weiler's work on the ECH of prequantization bundles. Moreover, we use integrable systems techniques to find explicit symplectic embeddings.…
We prove that symplectic cohomology for open convex symplectic manifolds is invariant when the symplectic form undergoes deformations which may be non-exact and non-compactly supported, provided one uses the correct local system of coefficients in Floer theory. As a sample application beyond the Liouville setup, we describe in detail the symplectic cohomology for disc bundles in the twisted cotangent bundle of surfaces, and we deduce existence results for periodic magnetic geodesics on surfaces. In particular, we show the existence of geometrically distinct orbits by exploiting properties of t…
We construct open symplectic manifolds which are convex at infinity ("Liouville manifolds") and which are diffeomorphic, but not symplectically isomorphic, to cotangent bundles T^*S^{n+1}, for any n+1 \geq 3. These manifolds are constructed as total spaces of Lefschetz fibrations, where the fibre and all but one of the vanishing cycles are fixed. We show that almost any choice of the last vanishing cycle leads to a nonstandard symplectic structure (those choices which yield standard T^*S^{n+1} can be exactly determined). The Corrigendum changes the statement and proof of Lemma 1.1 in the origi…
We study symplectic rigidity phenomena for fibers in cotangent bundles of Riemann surfaces. Our main result can be seen as a generalization to open Riemann surfaces of arbitrary genus of work of Eliashberg and Polterovich on the Nearby Lagrangian Conjecture for $T^* \mathbb{R}^2$. As a corollary, we answer a strong version in dimension $2n=4$ of a question of Eliashberg about linking of Lagrangian disks in $T^* \mathbb{R}^n$, which was previously answered by Ekholm and Smith in dimensions $2n \geq 8$.
We introduce the concept of fittings to symplectic fillings of the unit cotangent bundle of odd-dimensional spheres. Assuming symplectic asphericity we show that all fittings are diffeomorphic to the respective unit co-disc bundle.
For a closed connected manifold N, we construct a family of functions on the Hamiltonian group G of the cotangent bundle T^*N, and a family of functions on the space of smooth functions with compact support on T^*N. These satisfy properties analogous to those of partial quasi-morphisms and quasi-states of Entov and Polterovich. The families are parametrized by the first real cohomology of N. In the case N=T^n the family of functions on G coincides with Viterbo's symplectic homogenization operator. These functions have applications to the algebraic and geometric structure of G, to Aubry-Mather …
This article concerns cotangent-lifted Lie group actions; our goal is to find local and ``semi-global'' normal forms for these and associated structures. Our main result is a constructive cotangent bundle slice theorem that extends the Hamiltonian slice theorem of Marle, Guillemin and Sternberg. The result applies to all proper cotangent-lifted actions, around points with fully-isotropic momentum values. We also present a ``tangent-level'' commuting reduction result and use it to characterise the symplectic normal space of any cotangent-lifted action. In two special cases, we arrive at splitti…
In a previous article, we introduced a reduction procedure for locally conformally symplectic manifolds at any regular value of the momentum mapping. We use this construction to prove an analogue of a well-known theorem in the symplectic setting about the reduction of cotangent bundles.
We give an upper bound of a Hamiltonian displacement energy of a unit disk cotangent bundle $D^*M$ in a cotangent bundle $T^*M$, when the base manifold $M$ is an open Riemannian manifold. Our main result is that the displacement energy is not greater than $C r(M)$, where $r(M)$ is the inner radius of $M$, and $C$ is a dimensional constant. As an immediate application, we study symplectic embedding problems of unit disk cotangent bundles. Moreover, combined with results in symplectic geometry, our main result shows the existence of short periodic billiard trajectories and short geodesic loops.
We examine the structure of the cotangent bundle $T^{*}X$ of an algebraic variety $X$ acted on by a reductive group $G$ from the viewpoint of equivariant symplectic geometry. In particular, we construct an equivariant symplectic covering of $T^{*}X$ by the cotangent bundle of a certain variety of horospheres in $X$, and integrate the invariant collective motion on $T^{*}X$. These results are based on a "local structure theorem" describing the action of a certain parabolic in $G$ on an open subset of $X$, which is interesting by itself.
This paper is essentially made of the three preprints arXiv:1212.5818, arXiv:1311.0187, arXiv:1603.07876 gathered in a single text, with simplified proofs. We recall several results of the microlocal theory of sheaves of Kashiwara-Schapira and apply them to study the symplectic geometry of cotangent bundles. We explain how we can recover the Gromov nonsqueezing theorem, the Gromov-Eliashberg rigidity theorem, the existence of graph selectors, we prove a three cusps conjecture about curves on the sphere and we recover more recent results on the topology of exact Lagrangian submanifolds of cotan…
For a class of closed manifolds N, we construct a family of functions on the Hamiltonian group G of the cotangent bundle T*N. These restrict to homogeneous quasi-morphisms on the subgroup generated by Hamiltonians with support in a given cotangent ball bundle. The family is parametrized by the first real cohomology of N, and in the case N=T^n, it coincides with Viterbo's symplectic homogenization operator. These functions have applications to the algebraic and geometric structure of G and its subgroups, to symplectic rigidity, and to Aubry-Mather and weak KAM theory.
We prove that shifted cotangent stacks carry a canonical shifted symplectic structure. We also prove that shifted conormal stacks carry a canonical Lagrangian structure. These results were believed to be true but no written proof was available in the Artin case.
We show that, for any two orientable smooth open 4-manifolds $X_0,X_1$ which are homeomorphic, their cotangent bundles $T^*X_0,T^*X_1$ are symplectomorphic with their canonical symplectic structure. In particular, for any smooth manifold $R$ homeomorphic to $\mathbb{R}^4$, the standard Stein structure on $T^*R$ is Stein homotopic to the standard Stein structure on $T^*\mathbb{R}^4 = \mathbb{R}^8$. We use this to show that any exotic $\mathbb{R}^4$ embeds in the standard symplectic $\mathbb{R}^8$ as a Lagrangian submanifold. As a corollary, we show that $\mathbb{R}^8$ has uncountably many smoot…
In this paper we construct, in all odd complex dimensions, pairs of Liouville domains W_0 and W_1 which are diffeomorphic to the cotangent bundle of the sphere with one extra subcritical handle, but are not symplectomorphic. While W_0 is symplectically very similar to the cotangent bundle itself, W_1 is more unusual. We use Seidel's exact triangles for Floer cohomology to show that the wrapped Fukaya category of W_1 is trivial. As a corollary we obtain that W_1 contains no compact exact Lagrangian submanifolds.
We describe various approaches to understanding Fukaya categories of cotangent bundles. All of the approaches rely on introducing a suitable class of noncompact Lagrangian submanifolds. We review the work of Nadler-Zaslow (math/0604379, math/0612399) and the authors (math/0701783), before discussing a new approach using family Floer cohomology and the ``wrapped Fukaya category''. The latter, inspired by Viterbo's symplectic homology, emphasises the connection to loop spaces, hence seems particularly suitable when trying to extend the existing theory beyond the simply-connected case.
We introduce the concept of Hofer-Zehnder $G$-semicapacity (or $G$-sensitive Hofer-Zehnder capacity) and prove that given a geometrically bounded symplectic manifold $(M,ω)$ and an open subset $N \subset M$ endowed with a Hamiltonian free circle action $ϕ$ then $N$ has bounded Hofer-Zehnder $G_ϕ$-semicapacity, where $G_ϕ\subset π_1(N)$ is the subgroup generated by the homotopy class of the orbits of $ϕ$. In particular, $N$ has bounded Hofer-Zehnder capacity. We give two types of applications of the main result. Firstly, we prove that the cotangent bundle of a compact manifold endowed with a fr…
It is known that any closed, exact Lagrangian in the cotangent bundle of a closed, smooth manifold is of the same homotopy type as the zero section. In this paper, we give a Fukaya-theoretic proof of this fact for the sphere and torus to review and demonstrate some of the homological algebra techniques in symplectic geometry.
We prove a theorem on singular symplectic cotangent bundle reduction in the Fréchet setting and apply it to Yang-Mills-Higgs theory with special emphasis on the Higgs sector of the Glashow-Weinberg-Salam model. For the latter model we give a detailed description of the reduced phase space and show that the singular structure is encoded in a finite-dimensional Lie group action.
Our main result is the $\mathcal{C}^0$-rigidity of the area spectrum and the Maslov class of Lagrangian submanifolds. This relies on the existence of punctured pseudoholomorphic discs in cotangent bundles with boundary on the zero section, whose boundaries represent any integral homology class. We discuss further applications of these punctured discs in symplectic geometry.
We consider the problem of cotangent bundle reduction for non free group actions at zero momentum. We show that in this context the symplectic stratification obtained by Sjamaar and Lerman refines in two ways: (i) each symplectic stratum admits a stratification which we call the secondary stratification with two distinct types of pieces, one of which is open and dense and symplectomorphic to a cotangent bundle; (ii) the reduced space at zero momentum admits a finer stratification than the symplectic one into pieces that are coisotropic in their respective symplectic strata.
We describe families of monotone symplectic manifolds constructed via the symplectic cutting procedure of Lerman from the cotangent bundle of manifolds endowed with a free circle action. We also give obstructions to the monotone Lagrangian embedding of some compact manifolds in these symplectic manifolds.
We prove that any minimal weak symplectic filling of the canonical contact structure on the unit cotangent bundle of a nonorientable closed surface other than the real projective plane is s-cobordant rel boundary to the disk cotangent bundle of the surface. If the nonorientable surface is the Klein bottle, then we show that the minimal weak symplectic filling is unique up to homeomorphism.
We prove a version of the Arnol'd conjecture for Lagrangian submanifolds of conformal symplectic manifolds: a Lagrangian $L$ which has non-zero Morse-Novikov homology for the restriction of the Lee form $β$ cannot be disjoined from itself by a $C^0$-small Hamiltonian isotopy. Furthermore for generic such isotopies the number of intersection points equals at least the sum of the free Betti numbers of the Morse-Novikov homology of $β$. We also give a short exposition of conformal symplectic geometry, aimed at readers who are familiar with (standard) symplectic or contact geometry.
There is constructed a family of Lie algebras that act in a Hamiltonian way on the symplectic affine space of linear symplectic connections on a symplectic manifold. The associated equivariant moment map is a formal sum of the Cahen-Gutt moment map, the Ricci tensor, and a translational term. The critical points of a functional constructed from it interpolate between the equations for preferred symplectic connections and the equations for critical symplectic connections. The commutative algebra of formal sums of symmetric tensors on a symplectic manifold carries a pair of compatible Poisson st…
We associate cotangent models to a neighbourhood of a Liouville torus in symplectic and Poisson manifolds focusing on a special class called $b$-Poisson/$b$-symplectic manifolds. The semilocal equivalence with such models uses the corresponding action-angle coordinate theorems in these settings: the theorem of Liouville-Mineur-Arnold [A74] for symplectic manifolds and an action-angle theorem for regular Liouville tori in Poisson manifolds [LMV11]. Our models comprise regular Liouville tori of Poisson manifolds but also consider the Liouville tori on the singular locus of a $b$-Poisson manifold…
We use symplectic reduction to give a new construction of the core $C$ of a symplectic double groupoid $D$ as the common leaf space of characteristic foliations associated to various coisotropic submanifolds of $D$. In the case of the cotangent double groupoid of a Lie groupoid $G$, the canonical relations arising from this process turn out to be cotangent lifts of structure maps associated to $G$. We also show that under this reduction procedure the double groupoid structure on $D$ descends to a groupoid structure on the leaf space above, recovering the core groupoid structure on $C$ of Brown…
In this article we generalize a theorem by Palais on the rigidity of compact group actions to cotangent lifts. We use this result to prove rigidity for integrable systems on symplectic manifolds including sytems with degenerate singularities which are invariant under a torus action.
We consider the Poisson reduced space $(T^*Q)/K$ with respect to a cotangent lifted action. It is assumed that $K$ is a compact Lie group which acts by isometries on the Riemannian manifold $Q$ and that the action on $Q$ is of single isotropy type. Realizing $(T^*Q)/K$ as a Weinstein space we determine the induced Poisson structure and its symplectic leaves. We thus extend the Weinstein construction for principal fiber bundles to the case of surjective Riemannian submersions $Q\to Q/K$.
We construct a Kaehler structure on the punctured cotangent bundle of the Cayley projective plane whose Kaehler form coincides with the natural symplectic form on the cotangent bundle and we show that the geodesic flow action is holomorphic and is expressed in a quite explicit form. We also give an embedding of the punctured cotangent bundle of the Cayley projective plane into the space of 8 times 8 complex matrices.
Let $M$ be a compact manifold with an effective semi-free circle action whose fixed point set has trivial normal bundle. We prove that its cotangent bundle endowed with the canonical symplectic form has bounded Hofer-Zehnder sensitive capacity. We give several examples like the product of any compact manifold with $§^n$ or a connected sum $\CP^n # ... # \CP^n$.
We will show that the cotangent bundle of a manifold whose free loopspace homology grows exponentially is not symplectomorphic to any smooth affine variety. We will also show that the unit cotangent bundle of such a manifold is not Stein fillable by a Stein domain whose completion is symplectomorphic to a smooth affine variety. For instance, these results hold for end connect sums of simply connected manifolds whose cohomology with coefficients in some field has at least two generators. We use an invariant called the growth rate of symplectic homology to prove this result.
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.
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 prove that the algebra of chains on the based loop space recovers the derived (wrapped) Fukaya category of the cotangent bundle of a closed smooth orientable manifold. The main new idea is the proof that a cotangent fibre generates the Fukaya category using a version of the map from symplectic cohomology to the homology of the free loop space introduced by Cieliebak and Latschev.
We define a local version of the extended symplectic category, the cotangent microbundle category, MiC, which turns out to be a true monoidal category. We show that a monoid in this category induces a Poisson manifold together with the local symplectic groupoid integrating it. Moreover, we prove that monoid morphisms produce Poisson maps between the induced Poisson manifolds in a functorial way. This gives a functor between the category of monoids in MiC and the category of Poisson manifolds and Poisson maps. Conversely, the semi-classical part of the Kontsevich star-product associated to a re…
We construct some lift of an almost complex structure to the cotangent bundle, using a connection on the base manifold. This generalizes the complete lift defined by I.Sato and the horizontal lift introduced by K.Yano and S.Ishihara. We study some geometric properties of this lift and its compatibility with symplectic forms on the cotangent bundle.
For many classes of symplectic manifolds, the Hamiltonian flow of a function with sufficiently large variation must have a fast periodic orbit. This principle is the base of the notion of Hofer-Zehnder capacity and some other symplectic invariants and leads to numerous results concerning existence of periodic orbits of Hamiltonian flows. Along these lines, we show that given a negatively curved manifold M, a neigbhourhood U of M in the cotangent bundle, a sufficiently small magnetic field and a non-trivial free homotopy class of loops, then the magnetic flow of a Hamiltonian with big enough va…
On a cotangent bundle $T\sp*G$ of a Lie group $G$ one can describe the standard Liouville form $θ$ and the symplectic form $d θ$ in terms of the right Maurer Cartan form and the left moment mapping (of the right action of $G$ on itself), and also in terms of the left Maurer-Cartan form and the right moment mapping, and also the Poisson structure can be written in related quantities. This leads to a wide class of exact symplectic stuctures on $T\sp*G$ and to Poisson structures by replacing the canonical momenta of the right or left actions of $G$ on itself by arbitrary ones, followed by reducti…
