Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.19333

Algebraic overtwistedness of contact $(+1)$-surgeries via augmented Floer theories

Russell Avdek·Youlin Li·Zhengyi Zhou
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that contact $(+1)$-surgery along a Legendrian $n$-sphere $Λ\subset(\mathbb{S}^{2n+1},ξ_{\mathrm{std}})$ with \[ \mathrm{tb}(Λ)\ne (-1)^{\frac{n(n-1)}{2}+1} \] has vanishing contact homology. In dimension three, this produces new examples of tight algebraically overtwisted contact manifolds, vastly extending the authors' previous results: If a Legendrian knot in $(\mathbb{S}^3,ξ_{\mathrm{std}})$ admits an exact, oriented Lagrangian filling that is not a disk, then contact $(+1/k)$-surgery on it is algebraically overtwisted and tight for every positive integer $k$. Our proofs use versions of symplectic cohomology and wrapped Floer cohomology defined by augmentations of a chain-level contact homology algebra.

Explore related subjects

math.SGmath.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Russell Avdek, Youlin Li, Zhengyi Zhou. 2026-10-14. Algebraic overtwistedness of contact $(+1)$-surgeries via augmented Floer theories. https://arxiv.org/abs/2610.19333

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

KEEP EXPLORING

Related papers

arXiv2026

Kodaira fibres and wrapped Floer cohomology

Let $F$ be a singular fibre of a relatively minimal complex elliptic fibration with smooth total space, and let $Ω$ be a nonvanishing holomorphic two-form near $F$. We show that a small neighbourhood of $F$ is a Weinstein domain for $\mathrm{Re}\,Ω$ whose completion is a Legendrian surgery, with cocores obtained by completing holomorphic disks transverse to the components of $F$. For every coefficient field and every multiplicative bulk class, we compute the wrapped Floer cohomology of these cocores and prove that it is concentrated in degree zero. The cocores generate, so the bulk-deformed wrapped Fukaya category is equivalent to the category of perfect modules over an explicit algebra: a multiplicative preprojective algebra of affine type for the normal crossing fibres, and a quiver algebra with relations for types $II$, $III$ and $IV$. Applications include formality of the affine plumbing dg algebras; mirrors given by resolved affine surfaces at every classical bulk class for affine D, E and types II, III, IV; and mirrors given by quotient stacks of algebraic tori at root-of-unity bulk classes for the four affine stars.

math.SG↗
arXiv2026

Quantization of positive Lagrangians

A Lagrangian submanifold in an almost Calabi-Yau manifold is called positive if the real part of the holomorphic volume form restricted to it is positive. It is called $ε$-positive if the ratio of the restrictions of the imaginary and real parts of the holomorphic volume form is bounded by $\frac{1}ε.$ An exact isotopy class of positive Lagrangian submanifolds admits a natural Riemannian metric. We prove that the Riemannian metric restricted to the subset of $ε$-positive Lagrangians induces a path metric when the relative Kähler class of the ambient Calabi-Yau manifold lies on a line of rational slope. The proof relies on the construction of a sequence of quantization maps from a circle bundle over the space of positive Lagrangians to the dual of the space of holomorphic sections of powers of a prequantum line bundle. The rationality condition for the relative Kähler class allows us to reduce to the case of Bohr-Sommerfeld Lagrangians. Building on ideas of Tian and Nirenberg-Wells, Hörmander estimates are used to show that functions on a Bohr-Sommerfeld Lagrangian can be approximated by holomorphic sections of a sufficiently high power of the prequantum line bundle. Consequently, the quantization maps eventually separate fibers of the circle bundle.

math.SG↗
arXiv2026

Spectral Numbers in Tate Rabinowitz Floer Homology

We show that circle-valued spectral values in Tate Rabinowitz Floer homology give rise to quantized energy levels, which recover the quantum mechanical spectrum of a system of uncoupled harmonic oscillators.

math.SG↗