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$.
Cartan's moving frames method is a standard tool in riemannian geometry. We set up the machinery for applying moving frames to cotangent bundles and its sub-bundles defined by non-holonomic constraints.
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 develop a bundle picture for the case that the configuration manifold has only a single isotropy type, and give a formula for the reduced symplectic form in this setting. Furthermore, as an application of this bundle picture we consider Calogero-Moser systems with spin associated to polar representations of compact Lie groups.
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…
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…
Given a vector bundle $A\to M$ we study the geometry of the graded manifolds $T^*[k]A[1]$, including their canonical symplectic structures, compatible Q-structures and Lagrangian Q-submanifolds. We relate these graded objects to classical structures, such as higher Courant algebroids on $A\oplus\bigwedge^{k-1}A^*$ and higher Dirac structures therein, semi-direct products of Lie algebroid structures on $A$ with their coadjoint representations up to homotopy, and branes on certain AKSZ $σ$-models.
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.
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 give an proof on the Weinstein conjecture on the cotangent bundles of open manifolds. Its proof is based on Gromov's nonlinear Fredholm alternative.
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.
We prove the finiteness of the Hofer-Zehnder capacity of unit disk cotangent bundles of closed Riemannian manifolds, under some simple topological assumptions on the manifolds. The key ingredient of the proof is a computation of the pair-of-pants product on Floer homology of cotangent bundles. We reduce it to a simple computation of the loop product, making use of results of A.Abbondandolo- M.Schwarz.
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.
In 1998, Gompf described a Stein domain structure on the disk cotangent bundle of any closed surface S, by a Legendrian handlebody diagram. We prove that Gompf's Stein domain is symplectomorphic to the disk cotangent bundle equipped with its canonical symplectic structure and the boundary of this domain is contactomorphic to the unit cotangent bundle of S equipped with its canonical contact structure. As a corollary, we obtain a surgery diagram for the canonical contact structure on the unit cotangent bundle of S.
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.
We extend constructions and results of Damian to get topological obstructions to the existence of closed monotone Lagrangian embeddings into the cotangent bundle of a space which is the total space of a fibration over the circle.
We define partial quasi-morphisms on the group of Hamiltonian diffeomorphisms of the cotangent bundle using the spectral invariants in Lagrangian Floer homology with conormal boundary conditions, where the product compatible with the PSS isomorphism and the homological intersection product is lacking.
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 prove a Chekanov-type theorem for the spherization of the cotangent bundle $ST^*B$ of a closed manifold $B$. It claims that for Legendrian submanifolds in $ST^*B$ the property "to be given by a generating family quadratic at infinity" persists under Legendrian isotopies.
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.
We consider exact Lagrangian submanifolds in cotangent bundles. Under certain additional restrictions (triviality of the fundamental group of the cotangent bundle, and of the Maslov class and second Stiefel-Whitney class of the Lagrangian submanifold) we prove such submanifolds are Floer-cohomologically indistinguishable from the zero-section. This implies strong restrictions on their topology. An essentially equivalent result was recently proved independently by Nadler, using a different approach.
This encyclopedia article briefly reviews without proofs some of the main results in cotangent bundle reduction. The article recalls most the necessary prerequisites to understand the main results.
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 fix an orientation issue which appears in our previous paper about the isomorphism between Floer homology of cotangent bundles and loop space homology. When the second Stiefel-Whitney class of the underlying manifold does not vanish on 2-tori, this isomorphism requires the use of a twisted version of the Floer complex.
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 construct a minimax selector for eventually quadratic hamiltonians on cotangent bundles. We use it to give a relation between Hofer's energy and Mather's action minimizing function. We also study the local flatness of the set of twist maps.
Let $N$ be a closed manifold and $U \subset T^*(N)$ a bounded domain in the cotangent bundle of $N$, containing the zero-section. A conjecture due to Viterbo asserts that the spectral metric for Lagrangian submanifolds that are exact-isotopic to the zero-section is bounded. In this paper we establish an upper bound on the spectral distance between two such Lagrangians $L_0, L_1$, which depends linearly on the boundary depth of the Floer complexes of $(L_0, F)$ and $(L_1, F)$, where $F$ is a fiber of the cotangent bundle.
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 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 describe a Lefschetz fibration of genus one on the disk cotangent bundle of any closed orientable surface S. As a corollary, we obtain an explicit genus one open book decomposition adapted to the canonical contact structure on the unit cotangent bundle of S.
Let G be compact Lie group. It is shown that the cotangent bundle of the complexification of G admits a hyperkahler structure which is invariant under left and right translations by elements of G. The proof is to realize the cotangent bundle of the complex group as a moduli space of solutions to Nahm's equations on the closed interval.
This paper is concerned with the existence of periodic orbits on energy hypersurfaces in cotangent bundles of Riemannian manifolds defined by mechanical Hamiltonians. In \cite{bpv} it was proved that, provided certain geometric assumptions are satisfied, regular mechanical hypersurfaces in $\mathbb{R}^{2n}$, in particular non-compact ones, contain periodic orbits if one homology group among the top half does not vanish. In the present paper we extend the above mentioned existence result to a class of hypersurfaces in cotangent bundles of Riemannian manifolds with flat ends.
We study the topology of exact and Stein fillings of the canonical contact structure on the unit cotangent bundle of a closed surface $Σ_g$, where $g$ is at least 2. In particular, we prove a uniqueness theorem asserting that any Stein filling must be s-cobordant rel boundary to the disk cotangent bundle of $Σ_g$. For exact fillings, we show that the rational homology agrees with that of the disk cotangent bundle, and that the integral homology takes on finitely many possible values: for example, if $g-1$ is square-free, then any exact filling has the same integral homology and intersection fo…
We show that the Hamiltonian action satisfies the Palais-Smale condition over a "mixed regularity" space of loops in cotangent bundles, namely the space of loops with regularity $H^s$, $s\in (\frac 12, 1)$, in the base and $H^{1-s}$ in the fiber direction. As an application, we give a simplified proof of a theorem of Hofer-Viterbo on the existence of closed characteristic leaves for certain contact type hypersufaces in cotangent bundles.
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.
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.
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$.
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…
Toric hyperk{ä}hler manifolds are quaternion analog of toric varieties. Bielawski pointed out that they can be glued by cotangent bundles of toric varieties. Following his idea, viewing both toric varieties and toric hyperk{ä}her manifolds as GIT quotients, we first establish geometrical criteria for the semi-stable points. Then based on these criteria, we show that the cotangent bundles of compact toric varieties in the core of toric hyperk{ä}hler manifold are sufficient to glue the desired toric hyperk{ä}hler manifold.
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 consider an entropy-type invariant which measures the polynomial volume growth of submanifolds under the iterates of a map, and we establish sharp uniform lower bounds of this invariant for the following classes of symplectomorphisms of cotangent bundles over a compact base: 1) non-identical compactly supported symplectomorphisms which are symplectically isotopic to the identity, 2) symplectomorphisms generated by classical Hamiltonian functions, 3) Dehn twist like symplectomorphisms over compact rank one symmetric spaces.
We prove that the pair-of-pants product on the Floer homology of the cotangent bundle of a compact manifold M corresponds to the Chas-Sullivan loop product on the singular homology of the loop space of M. We also prove related results concerning the Floer homological interpretation of the Pontrjagin product and of the Serre fibration. The techniques include a Fredholm theory for Cauchy-Riemann operators with jumping Lagrangian boundary conditions of conormal type, and a new cobordism argument replacing the standard gluing technique.
If the homology of the free loop space of a closed manifold B is infinite dimensional then generically there exist infinitely many leaf-wise intersection points for fiber-wise star-shaped hypersurfaces in T*B.
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.
