Search arXivSearch

arXiv · 2504.06074

On Contact Round Surgeries on $(\mathbb{S}^3,ξ_{st})$ and Their Diagrams

Abstract

We introduce the notion of contact round surgery of index $1$ on Legendrian knots in a general contact 3-manifold. It generalizes the notion of contact round surgery of index 1 on Legendrian knots introduced by Adachi. In $\left(\mathbb{S}^3, ξ_{st}\right)$, we introduce the notion of contact round surgery of index 2 on a Legendrian knot and realize Adachi's contact round 2-surgery on a convex torus as a contact round surgery of index $2$ on a Legendrian knot in $\left(\s^3, ξ_{st}\right)$. We associate surgery diagrams to contact round surgeries of indices 1 and 2 on Legendrian knots in $\left(\mathbb{S}^3, ξ_{st}\right)$. With this set-up, we show that every closed connected contact 3-manifold can be obtained by performing a sequence of contact round surgeries on some Legendrian link in $\left(\mathbb{S}^3, ξ_{st}\right)$, thus obtaining a contact round surgery diagram for each contact 3-manifold. This is analogous to the result of Ding-Geiges for contact Dehn surgeries. We also discuss a bridge between certain pairs of contact round surgery diagrams of indices 1 and 2, and contact $(\pm1)$-surgery diagrams. We use this bridge to establish the result mentioned above. In the end, we derive a corollary that gives sufficient conditions on contact round surgeries to produce symplectically fillable manifolds.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Prerak Deep, Dheeraj Kulkarni. 2025-12-24. On Contact Round Surgeries on $(\mathbb{S}^3,ξ_{st})$ and Their Diagrams. https://doi.org/10.1016/j.topol.2025.109694

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

KAM splittings and equidistributed periodic orbits for stable hypersurfaces

We show that any stable hypersurface of a symplectic $4$-manifold, on which the cohomology class of the symplectic form restricts to a multiple of a rational class, can be $C^\infty$-approximated by (possibly unstable) hypersurfaces whose closed characteristics equidistribute. The cohomological condition is necessary due to a famous example of Herman. The proof combines KAM theory with recent quantitative closing lemmas for Reeb flows and area-preserving maps. As a further application, we prove that every geodesible volume-preserving vector field on a closed three-manifold can be $C^\infty$-approximated by volume-preserving vector fields with equidistributed periodic orbits.

math.SG

An algebraic generalization of Giroux's criterion

We compute the contact homology algebra of a neighborhood $(\mathbb{R}_τ \times W, ξ)$ of a convex hypersurface $W$ and determine when this algebra is zero or non-zero. Thus we provide a tool for inferring the tightness of such $ξ$ for $W$ of any even dimension. In more detail, consider the augmentations $ε^{\pm}$ of chain-level contact homology algebras of the dividing set $(Γ, ξ_Γ)$ determined by the positive and negative regions of $W$. We compute $CH(\mathbb{R}_τ \times W, ξ)$ as the derived tensor product of the $ε^{\pm}$. Consequently the vanishing or non-vanishing of $CH(\mathbb{R}_τ \times W, ξ)$ is determined by the induced morphisms $Hε^{\pm}$ from $CH(Γ, ξ_Γ)$ to the coefficient ring.

math.SG

Hofer-Like Geometry Revisited

We prove that the inclusion of the Hamiltonian group $\Ham(M,ω)$ into the identity component \(G_ω(M)\) of the symplectic diffeomorphism group is a bi-Lipschitz embedding with respect to the Hofer norm and the Hofer-like norm, and we identify geometric conditions under which this embedding is isometric: settling a conjecture of Banyaga. This conjecture was proved by Buss and Leclercq; our proof provides explicit equivalence constants. We also detail and simplify Banyaga's original proof of the non-degeneracy of the Hofer-like norm. We then extend the analysis to all of \(G_ω(M)\): for \(ϕ\) with flux class \(γ\), the Hofer-like norm is given by a semidirect-product formula, the infimum over the harmonic locus \(\Harm(γ)\) plus a Hofer residue. This yields a geometric condition for the two norms to agree on the Hamiltonian group. In particular, this geometric condition holds on all closed surfaces of genus $g\ge 2$.

math.SG