The contact mapping class group and rational unknots in lens spaces

Hyunki Min

2024-11-23

Abstract:We determine the contact mapping class group of the standard contact structures on lens spaces. To prove the main result, we use the one-parametric convex surface theory to classify Legendrian and transverse rational unknots in any tight contact structure on lens spaces up to Legendrian and transverse isotopy.

Geometric Topology,Symplectic Geometry

What problem does this paper attempt to address?

Non-loose unknots, overtwisted discs, and the contact mapping class group of $S^3$

Thomas Vogel

DOI: https://doi.org/10.48550/arXiv.1612.06557

2016-12-20

Symplectic Geometry

Abstract:We classify Legendrian unknots in overtwisted contact structures on $S^3$. In particular, we show that up to contact isotopy for every pair $(n,\pm(n-1))$ with $n>0$ there are exactly two oriented non-loose Legendrian unknots in $S^3$ with Thurston-Bennequin invariant $n$ and rotation number $\pm(n-1)$. (Only one overtwisted contact structure on $S^3$ admits a non-loose unknot $K$ and the classical invariants have to be $\mathrm{tb}(K)=n$ and $\mathrm{rot}(K)=\pm(n-1)$ for $n>1$.) This can be used to prove two results attributed to Y.~Che\-kan\-ov: The first implies that the contact mapping class group of an overtwisted contact structure on $S^3$ depends on the contact structure. The second result is that the identity component of the contactomorphism group of an overtwisted contact structure on $S^3$ does not always act transitively on the set of boundaries of overtwisted discs.
Contact surgery numbers of Sigma(2,3,11) and L(4m+3,4)

Rima Chatterjee,Marc Kegel

2024-04-28

Abstract:We classify all contact structures with contact surgery number one on the Brieskorn sphere Sigma(2,3,11) with both orientations. We conclude that there exist infinitely many non-isotopic contact structures on each of the above manifolds which cannot be obtained by a single rational contact surgery from the standard tight contact 3-sphere. We further prove similar results for some lens spaces: We classify all contact structures with contact surgery number one on lens spaces of the form L(4m+3,4). Along the way, we present an algorithm and a formula for computing the Euler class of a contact structure from a general rational contact surgery description and classify which rational surgeries along Legendrian unknots are tight and which ones are overtwisted.

Symplectic Geometry,Geometric Topology
On Some Local Geometry of Bi-Contact Structures

Taylor J. Klotz,George R. Wilkens

2024-05-21

Abstract:We investigate the local geometry of a pair of independent contact structures on 3-manifolds under maps that independently preserve each contact structure. We discover that such maps are homotheties on the contact 1-forms and we discover differential invariants associated to such structures under these equivalences. This allows us to generalize the notion of contact circles and (equilateral) hyperbolas to contact ellipses and hyperbolas. Moreover, these invariants may sometimes be used to define a complete local normal form and in at least one case are related to symplectic structures through a natural $e$-structure on a bundle arising from the Cartan equivalence method. Finally, there is a type of natural Riemannian metric (but not necessarily the well-known associated contact metric) and we discover certain curvatures may be written in terms of the bi-contact differential invariants.

Differential Geometry
Contact (+1)-Surgeries on Rational Homology 3-Spheres

Fan Ding,Youlin Li,Zhongtao Wu

DOI: https://doi.org/10.4310/jsg.2022.v20.n5.a2

2022-01-01

Journal of Symplectic Geometry

Abstract:In this paper, sufficient conditions for contact $(+1)$-surgeries along Legendrian knots in contact rational homology 3-spheres to have vanishing contact invariants or to be overtwisted are given. They can be applied to study the contact $(\pm1)$-surgeries along Legendrian links in the standard contact 3-sphere. We also obtain a sufficient condition for contact $(+1)$-surgeries along Legendrian two-component links in the standard contact 3-sphere to be overtwisted via their front projections.
Naturality of Heegaard Floer invariants under positive rational contact surgery

Thomas E. Mark,Bülent Tosun

DOI: https://doi.org/10.48550/arXiv.1509.01511

2018-06-12

Abstract:For a nullhomologous Legendrian knot in a closed contact 3-manifold Y we consider a contact structure obtained by positive rational contact surgery. We prove that in this situation the Heegaard Floer contact invariant of Y is mapped by a surgery cobordism to the contact invariant of the result of contact surgery. In addition we characterize the spin-c structure on the cobordism that induces the relevant map. As a consequence we determine necessary and sufficient conditions for the nonvanishing of the contact invariant after rational surgery when Y is the standard 3-sphere, generalizing previous results of Lisca-Stipsicz and Golla. In fact our methods allow direct calculation of the contact invariant in terms of the rational surgery mapping cone of Ozsváth and Szabó. The proof involves a construction called reducible open book surgery, which reduces in special cases to the capping-off construction studied by Baldwin.

Geometric Topology,Symplectic Geometry
On contact surgery

John B. Etnyre

DOI: https://doi.org/10.48550/arXiv.math/0612671

2006-12-22

Abstract:In this note we show that $+1$-contact surgery on distinct Legendrian knots frequently produces contactomorphic manifolds. We also give examples where this happens for $-1$-contact surgery. As an amusing corollary we find overtwisted contact structures that contain a large number of distinct Legendrian knots with the same classical invariants and tight complements.

Symplectic Geometry,Geometric Topology
Mechanical oscillations at the cellular scale

Frank Julicher

DOI: https://doi.org/10.48550/arXiv.physics/0106071

2001-06-21

Abstract:Active phenomena which involve force generation and motion play a key role in a number of phenomena in living cells such as cell motility, muscle contraction and the active transport of material and organelles. Here we discuss mechanical oscillations generated by active systems in cells. Examples are oscillatory regimes in muscles, the periodic beating of axonemal cilia and flagella and spontaneous oscillations of auditory hair cells which play a role in active amplification of weak sounds in hearing. As a prototype system for oscillation generation by proteins, we discuss a general mechanism by which many coupled active elements such as motor molecules can generate oscillations.

Biological Physics,Statistical Mechanics,Quantitative Biology
Contact Structures on Folded Sums of Contact Mapping Tori and Surface Bundles

M. Firat Arikan

2023-12-10

Abstract:We introduce a ''folded sum operation'' which glues two compact mapping tori along their common (diffeomorphic) boundaries. We call the resulting closed manifold a ''folded sum of mapping tori'', and it naturally fibers over the circle. We show that any folded sum $M$ of two ''contact'' mapping tori (their fibers are compact exact symplectic manifolds with contactomorphic convex boundaries) admits a cooriented contact structure which is ''compatible'' (in a certain sense) with the resulting fibration map from $M$ onto the circle. Moreover, we study the tightness of the resulting contact structure on $M$ for certain cases. This gives a new method of constructing closed contact manifolds in any odd dimension. In particular, it recovers some earlier constructions and results. More interestingly, in dimension three, it provides the existence of tight contact structures on a large class of (hyperbolic) surface bundles over the circle.

Geometric Topology,Symplectic Geometry
The fundamental groups of contact toric manifolds

Hui Li

DOI: https://doi.org/10.4310/JSG.2020.V18.N3.A7

2020-01-01

Journal of Symplectic Geometry

Abstract:Let M be a connected compact contact toric manifold. Most of such manifolds are of Reeb type. We show that if M is of Reeb type, then pi(1)(M) is finite cyclic, and we describe how to obtain the order of pi(1)(M) from the moment map image.
Riemannian Geometry of the Contactomorphism Group

David G. Ebin,Stephen C. Preston

DOI: https://doi.org/10.1007/s40598-014-0002-2

2014-12-23

Arnold Mathematical Journal

Abstract:Given an odd-dimensional compact manifold and a contact form, we consider the group of contact transformations of the manifold (contactomorphisms) and the subgroup of those transformations that precisely preserve the contact form (quantomorphisms). If the manifold also has a Riemannian metric, we can consider the L2$$L^2$$ inner product of vector fields on it, which by restriction gives an inner product on the tangent space at the identity of each of the groups that we consider. We then obtain right-invariant metrics on both the contactomorphism and quantomorphism groups. We show that the contactomorphism group has geodesics at least for short time and that the quantomorphism group is a totally geodesic subgroup of it. Furthermore we show that the geodesics in this smaller group exist globally. Our methodology is to use the right invariance to derive an “Euler–Arnold” equation from the geodesic equation and to show using ODE methods that it has solutions which depend smoothly on the initial conditions. For global existence we then derive a “quasi-Lipschitz” estimate on the stream function, which leads to a Beale–Kato–Majda criterion which is automatically satisfied for quantomorphisms. Special cases of these Euler–Arnold equations are the Camassa–Holm equation (when the manifold is one-dimensional) and the quasi-geostrophic equation in geophysics.
Singular contact varieties

Robert Śmiech

2024-04-12

Abstract:In this note we propose the generalization of the notion of a holomorphic contact structure on a manifold (smooth variety) to varieties with rational singularities and prove basic properties of such objects. Natural examples of singular contact varieties come from the theory of nilpotent orbits: every projectivization of the closure of a nilpotent orbit in a semisimple Lie algebra satisfies our definition after normalization. We show the correspondence between symplectic varieties with the structure of a $\mathbb{C}^*$-bundle and the contact ones along with the existence of the stratification à la Kaledin. In the projective case we demonstrate the equivalence between crepant and contact resolutions of singularities, show the uniruledness and give a full classification of projective contact varieties in dimension 3.

Algebraic Geometry
Mapping Class Groups of Simply Connected Kähler Manifolds

Richard Hain

2024-01-12

Abstract:This paper has 3 principal goals: (1) to survey what is know about mapping class and Torelli groups of simply connected compact Kaehler manifolds, (2) supplement these results, and (3) present a list of questions and open problems to stimulate future work. Apart from reviewing general background, the paper focuses on the case of hypersurfaces in projective space. We explain how older results of Carlson--Toledo <a class="link-https" data-arxiv-id="alg-geom/9708002" href="https://arxiv.org/abs/alg-geom/9708002">arXiv:alg-geom/9708002</a> and recent results of Kreck--Su <a class="link-https" data-arxiv-id="2009.08054" href="https://arxiv.org/abs/2009.08054">arXiv:2009.08054</a> imply that the homomorphism from the fundamental group of the moduli space of hypersurfaces in P^4 to the mapping class group of the underlying manifold has a very large kernel (contains a free group of rank 2) and has image of infinite index. This is in contrast to the case of curves, where the homomorphism is an isomorphism.

Algebraic Geometry,Geometric Topology
Mapping classes fixing an isotropic homology class of minimal genus $0$ in rational $4$-manifolds

Seraphina Eun Bi Lee

2023-03-06

Abstract:For any $N \geq 1$, let $M_N$ denote the rational $4$-manifold $\mathbb{CP}^2 \# N \overline{\mathbb{CP}^2}$. In this paper we study the stabilizer $\text{Stab}(w)$ of a primitive, isotropic class $w\in H_2(M_N; \mathbb Z)$ of minimal genus $0$ under the natural action of the topological mapping class group $\text{Mod}(M_N)$ on $H_2(M_N; \mathbb Z)$. Although most elements of $\text{Stab}(w)$ cannot be represented by homeomorphisms that preserve any Lefschetz fibration $M_N \to \Sigma$, we show that any element of $\text{Stab}(w)$ can be represented by a diffeomorphism that almost preserves a holomorphic, genus-$0$ Lefschetz fibration $\text{pr}: M_N \to \mathbb{CP}^1$ whose generic fibers represent the homology class $w$. We also answer the Nielsen realization problem for a certain maximal torsion-free, abelian subgroup $\Lambda_w$ of $\text{Mod}(M_N)$ by finding a lift of $\Lambda_w$ to $\text{Diff}^+(M_N) \leq \text{Homeo}^+(M_N)$ under the quotient map $q: \text{Homeo}^+(M_N)\to \text{Mod}(M_N)$ which can be made to almost preserve $\text{pr}: M_N \to \mathbb{CP}^1$. All results of this paper also hold for every primitive, isotropic class $w \in H_2(M_N; \mathbb Z)$ if $N \leq 8$ because any such class has minimal genus $0$.

Geometric Topology
Tight contact structures on some families of small Seifert fiber spaces

Shunyu Wan

2024-04-10

Abstract:Suppose $K$ is a knot in a 3-manifold $Y$, and that $Y$ admits a pair of distinct contact structures. Assume that $K$ has Legendrian representatives in each of these contact structures, such that the corresponding Thurston-Bennequin framings are equivalent. This paper provides a method to prove that the contact structures resulting from Legendrian surgery along these two representatives remain distinct. Applying this method to the situation where the starting manifold is $-\Sigma(2,3,6m+1)$ and the knot is a singular fiber, together with convex surface theory we can classify the tight contact structures on certain families of Seifert fiber spaces.

Geometric Topology
A trilogy of mapping class group representations from three-dimensional quantum gravity

Hyun Kyu Kim

2024-06-24

Abstract:For a punctured surface $\mathfrak{S}$, the author and Scarinci (<a class="link-https" data-arxiv-id="2112.13329" href="https://arxiv.org/abs/2112.13329">arXiv:2112.13329</a>) have recently constructed a quantization of a moduli space of Lorentzian metrics on the 3-manifold $\mathfrak{S} \times \mathbb{R}$ of constant sectional curvature $\Lambda \in \{-1,0,1\}$. The invariance of this quantization under the action of the mapping class group ${\rm MCG}(\mathfrak{S})$ of $\mathfrak{S}$ yields families of unitary representations of ${\rm MCG}(\mathfrak{S})$ on a Hilbert space, with key ingredients being three versions of the quantum dilogarithm functions depending on $\Lambda$. In this survey article, we review and elaborate on this result.

Geometric Topology,Mathematical Physics,Representation Theory
The regularity and products in contact geometry

Katarzyna Grabowska,Janusz Grabowski

2024-12-29

Abstract:We study regular contact manifolds $(M,\eta)$ whose Reeb vector field is complete and prove that they are canonically principal bundles with the structure group $S^1$ or $\mathbb{R}$. For compact $M$, our proof is very short and elementary and covers the celebrated Boothby-Wang theorem, but we do not assume compactness from the very beginning. However, to prove our result in full generality we use some topological tools adapted to smooth fibrations. In the second part of the paper, we describe a natural concept of contact products of general contact manifolds as well as a product of principal contact manifolds, which exists if the periods of the Reeb vector fields are commensurate, and corresponds to the construction of products of prequantization bundles of symplectic manifolds.

Symplectic Geometry,Mathematical Physics,Differential Geometry
Enumeration of rational contact curves via torus actions

Giosuè Muratore

DOI: https://doi.org/10.1307/mmj/20216025

2024-08-02

Abstract:We prove that some Gromov-Witten numbers associated to rational contact (Legendrian) curves in any contact complex projective space with arbitrary incidence conditions are enumerative. Also, we use Bott formula on the Kontsevich space to find the exact value of those numbers. As an example, the numbers of rational contact curves of low degree in $\mathbb{P}^{3}$ and $\mathbb{P}^{5}$ are computed. The results are consistent with existing results.

Algebraic Geometry
Negative contact surgery on Legendrian non-simple knots

Shunyu Wan,Hugo Zhou

2024-05-02

Abstract:We prove that for any pair of Legendrian representatives of the Chekanov-Eliashberg twist knots with different LOSS invariants, any negative rational contact $r$-surgery with $r\neq -1$ always gives rise to different contact 3-manifolds distinguished by their contact invariants. This gives the first examples of pairs ofLegendrian knots with the same classical invariants but distinct contact $r$-surgeries for all negative rational number $r$. We also generalize the statement from the twist knots to a certain families of two bridge knots.

Geometric Topology
Tight contact structures on hyperbolic homology 3-spheres

Mahan Mj,Balarka Sen

2024-05-28

Abstract:We produce a large class of hyperbolic homology 3-spheres admitting arbitrarily many distinct tight contact structures. We also produce a sub-class admitting arbitrarily many distinct tight contact structures within the same homotopy class of oriented plane distributions. As a corollary, we give a recipe to construct hyperbolic L-spaces admitting arbitrarily many distinct tight contact structures. We also introduce a notion of geometric limits of contact structures compatible with geometric limits of hyperbolic manifolds and study the behavior of the tight contact structures we construct under geometric limits.

Geometric Topology,Symplectic Geometry

The contact mapping class group and rational unknots in lens spaces

Non-loose unknots, overtwisted discs, and the contact mapping class group of $S^3$

Contact surgery numbers of Sigma(2,3,11) and L(4m+3,4)

On Some Local Geometry of Bi-Contact Structures

Contact (+1)-Surgeries on Rational Homology 3-Spheres

Naturality of Heegaard Floer invariants under positive rational contact surgery

On contact surgery

Mechanical oscillations at the cellular scale

Contact Structures on Folded Sums of Contact Mapping Tori and Surface Bundles

The fundamental groups of contact toric manifolds

Riemannian Geometry of the Contactomorphism Group

Singular contact varieties

Mapping Class Groups of Simply Connected Kähler Manifolds

Mapping classes fixing an isotropic homology class of minimal genus $0$ in rational $4$-manifolds

Tight contact structures on some families of small Seifert fiber spaces

A trilogy of mapping class group representations from three-dimensional quantum gravity

The regularity and products in contact geometry

Enumeration of rational contact curves via torus actions

Negative contact surgery on Legendrian non-simple knots

Tight contact structures on hyperbolic homology 3-spheres