arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.29561

On Auroux's Luttinger-surgery uniqueness question

Nobuo Iida
View original source ↗Read source document ↗Export metadata ↓

Abstract

We construct simply connected integral symplectic four-manifolds forming an exotic pair, with equal values of $c_1^2$, $c_2$, $c_1\mathbin{\cdot}[ω]$, and $[ω]^2$, but with symplectic Kodaira dimensions $-\infty$ and $2$. Since symplectic Kodaira dimension is invariant under Luttinger surgery, the two manifolds are not Luttinger-surgery equivalent. This gives a negative answer to Auroux's uniqueness question.

Explore related subjects

math.SGmath.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nobuo Iida. 2026-08-26. On Auroux's Luttinger-surgery uniqueness question. https://arxiv.org/abs/2609.29561

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

KEEP EXPLORING

Related papers

arXiv2026

Exact orbifold fillings of contact manifolds

We study exact orbifold fillings of contact manifolds using Floer theories. Motivated by Chen-Ruan's orbifold Gromov-Witten invariants, we define symplectic cohomology of an exact orbifold filling as a group using classical techniques, i.e. choosing generic almost complex structures. By studying moduli spaces of pseudo-holomorphic/Floer curves in orbifolds, we obtain various non-existence, restrictions and uniqueness results for orbifold singularities of exact orbifold fillings of many contact manifolds. For example, we show that exact orbifold fillings of $(\mathbb{RP}^{2n-1},ξ_{\mathrm{std}})$ always have exactly one singularity modeled on $\mathbb{C}^n/(\mathbb{Z}/2\mathbb{Z})$ if $n\ne 2^k$. Lastly, we show that in dimension at least $3$ there are pairs of contact manifolds without exact cobordisms in either direction, and that the same holds for exact orbifold cobordisms in dimension at least $5$.

math.SG↗
arXiv2026

Non-unital monoidal category of contact manifolds and Legendrian correspondence

There are two purposes of the present paper which are interrelated. The first goal is to construct the structure of a non-unital monoidal category $\mathfrak{Cont}$ of contact manifolds, not necessarily coorientable, by developing the contact topology \emph{without contact forms}. The non-unital monoidal product is the functorial contact product $\star$, called star product, introduced in \cite{oh:shelukhin-conjecture}. We prove that the product $\star$ is associative and there exist a collection $α= \{α_{X,Y,Z}\}$ of the \emph{associator} isomorphisms $α_{X,Y,Z}: X \star (Y\star Z) \cong (X \star Y) \star Z$ for $X, \, Y, \, Z \in \mathfrak{Cont}$, that satisfy the pentagon axiom, i.e., that the triples $(\mathfrak{Cont}, \star, α)$ form a nonunital monoidal category. The second goal is to develop the calculus of Legendrian correspondences, which are by definition embedded Legendrian submanifolds of the contact product $Q \star Q'$. Legendrian correspondences will play the role of 1-morphisms in the $2$-categorical structure to be equipped with $\mathfrak{Cont}$ whose two morphisms are contact instanton cohomologies $HI(R_{ab},R'_{ab})$ associated to a pair of Legendrian correspondences $R_{ab}, \, R'_{ab} \in \mathfrak{Leg}(Q_a,Q_b)$. With this future application in mind, we define the composition of Legendrian correspondences and prove that the composition of a generic pair is again embedded and hence canonically becomes a Legendrian correspondence.

math.SG↗
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, mirror equivalences with resolved affine surfaces at the trivial bulk class, and with quotient stacks of algebraic tori at root-of-unity bulk classes for the four star-shaped fibres.

math.SG↗