pith. sign in

arxiv: 2301.10525 · v3 · submitted 2023-01-25 · 🧮 math.SG · math.AG

Symplectomorphisms and spherical objects in the conifold smoothing

Ailsa Keating , Ivan Smith This is my paper

Pith reviewed 2026-05-24 09:57 UTC · model grok-4.3

classification 🧮 math.SG math.AG
keywords conifold smoothingsymplectic mapping class groupspherical objectsderived categorymirror symmetryconifold resolutionaffine A1
0
0 comments X

The pith

Mirror symmetry shows the compactly supported mapping class group of the conifold smoothing splits off an infinite-rank free group and classifies spherical objects on the resolution side.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines the conifold smoothing X, a symplectic Weinstein manifold obtained as the complement of a smooth conic in T^*S^3 or as a Hopf-link plumbing of two cotangent bundles, together with its mirror Y, the conifold resolution. It establishes that the compactly supported symplectic mapping class group of X contains an infinite-rank free factor and is therefore infinitely generated. It further classifies all spherical objects in the bounded derived category D(Y) in the three-dimensional affine A_1 setting. A reader would care because these statements give concrete information about the structure of symplectic diffeomorphisms and about objects in derived categories when direct computation on one side is difficult, and they do so by transferring information across mirror symmetry.

Core claim

The compactly supported symplectic mapping class group of the conifold smoothing X splits off a copy of an infinite-rank free group and is therefore infinitely generated; spherical objects in the bounded derived category D(Y) of the conifold resolution are completely classified in the three-dimensional affine A_1 case. Both results are obtained by working on the mirror side of the correspondence between X and Y, building on earlier work of Chan-Pomerleano-Ueda and Toda.

What carries the argument

Mirror symmetry between the conifold smoothing X and the conifold resolution Y, which supplies the correspondences used to relate the symplectic mapping class group of X to objects in D(Y).

If this is right

  • The compactly supported symplectic mapping class group of X is infinitely generated.
  • Spherical objects in D(Y) are fully classified in the three-dimensional affine A_1 case.
  • Results about both the mapping class group and the derived category rely on transferring information across the mirror correspondence.
  • The techniques extend prior results of Chan-Pomerleano-Ueda and Toda to this specific pair of manifolds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same mirror-side strategy may produce infinite-generation statements for mapping class groups of other plumbings or conifold-like spaces.
  • The classification of spherical objects could constrain the group of autoequivalences of D(Y) or the space of stability conditions.
  • Direct symplectic constructions on X alone might be insufficient to detect the infinite free factor without the mirror correspondence.

Load-bearing premise

Mirror symmetry between X and Y supplies the correspondences and tools needed to move information about mapping classes on one side to statements about spherical objects on the other.

What would settle it

An explicit relation in the mapping class group of X that would make the free factor finite rank, or an explicit spherical object in D(Y) outside the classified list.

Figures

Figures reproduced from arXiv: 2301.10525 by Ailsa Keating, Ivan Smith.

Figure 1
Figure 1. Figure 1: The toric compactification of X; blow up the thickened black edges on the cube for P 1×P 1×P 1 . This slices off wedges of the corresponding moment polytope. Two of the four F1-boundary components of the result have been shaded. Lemma 3.5. X is symplectically equivalent to the symplectic completion of X\D. Proof. In an affine chart Cp × Cq × C ∗ z we blow up {p = 1 = z} and {q = 1 = −z}. Taking [λ, µ] ∈ P … view at source ↗
Figure 2
Figure 2. Figure 2: Lagrangian matching spheres Si (with matching paths γi) and Lagrangian discs Li (see Theorem 5.1). Suppose we are given an embedded S 1 ⊂ C ∗\{−1, 1} in the base of the Morse-Bott-Lefschetz fibration, avoiding the critical values. By similar considerations to those in Lemmas 3.1 and 3.2, parallel transporting the T 2 vanishing cycle about the S 1 gives a Lagrangian T 3 . This T 3 will be exact precisely wh… view at source ↗
Figure 3
Figure 3. Figure 3: for an illustration [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The generators for PBr3 Quotienting by the center, we get isomorphisms PBr3 ≃ PBr3 /Z(PBr3) × Z(PBr3) ≃ (Z ∗ Z) × Z. This decomposition as a direct product of groups is of course not unique: for instance we could have (Z⟨Ri⟩ ∗ Z⟨Rj ⟩) × Z⟨R1R2R3⟩ for any i ̸= j. Given any matching path γ between −1 and +1 in C ∗ , consider the full twist tγ ∈ PBr3. We want to characterise the subgroup generated by these tw… view at source ↗
Figure 1
Figure 1. Figure 1: and Theorem 1.2] [PITH_FULL_IMAGE:figures/full_fig_p019_1.png] view at source ↗
Figure 5
Figure 5. Figure 5: Matching spheres in (X, ωa,b) and flux values for the vanishing tori (with respect to the upper half plane). S1 is in grey in each diagram to visualise intersection points. a Z-torsor of gradings, and the twist τSi shifts the grading on Si by 2; as they are disjoint, it does not change the grading on any Sj for i ̸= j. Finally, as the forgetful map from Sympgr c (X, ωa,b) to gradeable compactly supported s… view at source ↗
read the original abstract

Let $X$ denote the `conifold smoothing', the symplectic Weinstein manifold which is the complement of a smooth conic in $T^*S^3$, or equivalently the plumbing of two copies of $T^*S^3$ along a Hopf link. Let $Y$ denote the `conifold resolution', by which we mean the complement of a smooth divisor in $\mathcal{O}(-1) \oplus \mathcal{O}(-1) \to \mathbb{P}^1$. We prove that the compactly supported symplectic mapping class group of $X$ splits off a copy of an infinite rank free group, in particular is infinitely generated; and we classify spherical objects in the bounded derived category $D(Y)$ (the three-dimensional `affine $A_1$-case'). Our results build on work of Chan-Pomerleano-Ueda and Toda, and both theorems make essential use of working on the `other side' of the mirror.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper considers the conifold smoothing X (symplectic Weinstein manifold, complement of a smooth conic in T^*S^3 or plumbing of two T^*S^3 along a Hopf link) and its mirror the conifold resolution Y (complement of a smooth divisor in O(-1)⊕O(-1)→P^1). It proves that the compactly supported symplectic mapping class group of X splits off an infinite-rank free group (hence is infinitely generated) and classifies spherical objects in the bounded derived category D(Y) (the 3-dimensional affine A1 case). Both results build on Chan-Pomerleano-Ueda and Toda and rely on homological mirror symmetry by working on the opposite side of the mirror.

Significance. If the results hold, they furnish a concrete example of an infinitely generated compactly supported symplectic mapping class group for a specific Weinstein manifold and a classification of spherical objects in D(Y), advancing the study of mapping class groups and derived categories via mirror symmetry in this low-dimensional case.

major comments (1)
  1. [Abstract] Abstract: both main theorems are stated to 'make essential use of working on the other side of the mirror,' yet the manuscript provides no explicit description of the homological mirror symmetry equivalence functor (building on Chan-Pomerleano-Ueda), no verification of its faithfulness or fullness on the relevant subgroups of symplectomorphisms and autoequivalences, and no direct construction of the infinite-rank free-group generators that survives the correspondence. This renders the splitting statement for the mapping class group of X and the completeness of the spherical-object classification in D(Y) dependent on an unverified transfer step.
minor comments (2)
  1. [Introduction] Clarify the precise statements of the two main theorems (e.g., which subgroup splits off the free group, and the exact list of spherical objects up to isomorphism) in the introduction before invoking mirror symmetry.
  2. Ensure all references to prior results of Chan-Pomerleano-Ueda and Toda are accompanied by page or theorem numbers when the present arguments invoke them.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying this point of clarification. We respond to the major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: both main theorems are stated to 'make essential use of working on the other side of the mirror,' yet the manuscript provides no explicit description of the homological mirror symmetry equivalence functor (building on Chan-Pomerleano-Ueda), no verification of its faithfulness or fullness on the relevant subgroups of symplectomorphisms and autoequivalences, and no direct construction of the infinite-rank free-group generators that survives the correspondence. This renders the splitting statement for the mapping class group of X and the completeness of the spherical-object classification in D(Y) dependent on an unverified transfer step.

    Authors: The homological mirror symmetry equivalence is taken from Chan-Pomerleano-Ueda, where an explicit functor is constructed between the wrapped Fukaya category of the conifold smoothing X and the derived category of the resolution Y. Our results apply this equivalence to transfer the classification of spherical objects (from Toda on the Y side) and the infinite-rank free subgroup of autoequivalences to the corresponding statement for compactly supported symplectomorphisms of X. While the manuscript does not reprove the full HMS, it invokes specific properties of the functor (e.g., its action on spherical objects and Dehn-twist generators) that are established in the cited work. To address the concern, we will revise the introduction to include a dedicated paragraph outlining the relevant functor components from Chan-Pomerleano-Ueda and the propositions ensuring that the free-group generators and spherical-object classification survive the correspondence. This makes the transfer step explicit without requiring a new proof of faithfulness on the entire groups. revision: yes

Circularity Check

0 steps flagged

No circularity: results rely on external prior work with non-overlapping authors

full rationale

The abstract states that results build on Chan-Pomerleano-Ueda and Toda (non-overlapping authors) and use mirror symmetry as an established tool between X and Y. No self-citations, self-definitional steps, fitted inputs renamed as predictions, or uniqueness theorems imported from the present authors appear. The derivation chain is presented as depending on independent external correspondences rather than reducing to its own inputs by construction. This is the normal case of a paper that is not circular.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard axioms of symplectic geometry, Weinstein manifolds, and derived categories of coherent sheaves, together with the established mirror symmetry correspondence between X and Y; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)
  • standard math Standard axioms and definitions of symplectic geometry, Weinstein manifolds, and bounded derived categories of coherent sheaves
    The statements about X, Y, mapping class groups, and spherical objects presuppose these established frameworks.
  • domain assumption Mirror symmetry supplies usable correspondences between the symplectic side X and the algebraic side Y
    The abstract states that both theorems make essential use of working on the other side of the mirror.

pith-pipeline@v0.9.0 · 5690 in / 1514 out tokens · 46873 ms · 2026-05-24T09:57:48.789970+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages · 2 internal anchors

  1. [1]

    Fukaya categories of surfaces, spherical objects and mapping class groups

    Denis Auroux and Ivan Smith. Fukaya categories of surfaces, spherical objects and mapping class groups. Forum Math. Sigma , 9:Paper No. e26, 50, 2021

    work page 2021

  2. [2]

    Mirror symmetry and T -duality in the complement of an anticanonical divisor

    Denis Auroux. Mirror symmetry and T -duality in the complement of an anticanonical divisor. J. G\" o kova Geom. Topol. GGT , 1:51--91, 2007

    work page 2007

  3. [3]

    Sheaves on local Calabi-Yau varieties

    Matthew Ballard. Sheaves on local C alabi- Y u varieties. arXiv:0801.3499

    work page internal anchor Pith review Pith/arXiv arXiv

  4. [4]

    D. Barden. Simply connected five-manifolds. Ann. of Math. (2) , 82:365--385, 1965

    work page 1965

  5. [5]

    Nef divisors for moduli spaces of complexes with compact support

    Arend Bayer, Alastair Craw, and Ziyu Zhang. Nef divisors for moduli spaces of complexes with compact support. Selecta Math. (N.S.) , 23(2):1507--1561, 2017

    work page 2017

  6. [6]

    Effect of L egendrian surgery

    Fr\' e d\' e ric Bourgeois, Tobias Ekholm, and Yasha Eliashberg. Effect of L egendrian surgery. Geom. Topol. , 16(1):301--389, 2012. With an appendix by Sheel Ganatra and Maksim Maydanskiy

    work page 2012

  7. [7]

    Stability conditions on triangulated categories

    Tom Bridgeland. Stability conditions on triangulated categories. Ann. of Math. (2) , 166(2):317--345, 2007

    work page 2007

  8. [8]

    Lagrangian torus fibrations and homological mirror symmetry for the conifold

    Kwokwai Chan, Daniel Pomerleano, and Kazushi Ueda. Lagrangian torus fibrations and homological mirror symmetry for the conifold. Comm. Math. Phys. , 341(1):135--178, 2016

    work page 2016

  9. [9]

    Geometric generation of the wrapped F ukaya category of W einstein manifolds and sectors

    Baptiste Chantraine, Georgios Dimitroglou Rizell, Paolo Ghiggini, and Roman Golovko. Geometric generation of the wrapped F ukaya category of W einstein manifolds and sectors. arXiv:1712.09126

    work page arXiv

  10. [10]

    Fourier- M ukai functors in the supported case

    Alberto Canonaco and Paolo Stellari. Fourier- M ukai functors in the supported case. Compos. Math. , 150(8):1349--1383, 2014

    work page 2014

  11. [11]

    Dimitrov, F

    G. Dimitrov, F. Haiden, L. Katzarkov, and M. Kontsevich. Dynamical systems and categories. In The influence of S olomon L efschetz in geometry and topology , volume 621 of Contemp. Math. , pages 133--170. Amer. Math. Soc., Providence, RI, 2014

    work page 2014

  12. [12]

    Soci\' e t\' e Math\' e matique de France, Paris, 1979

    Travaux de T hurston sur les surfaces , volume 66 of Ast\' e risque . Soci\' e t\' e Math\' e matique de France, Paris, 1979. S\' e minaire Orsay, With an English summary

    work page 1979

  13. [13]

    Symplectic cohomology and duality for the wrapped Fukaya category

    Sheel Ganatra. Symplectic C ohomology and D uality for the W rapped F ukaya C ategory . ProQuest LLC, Ann Arbor, MI, 2012. Thesis (Ph.D.)--Massachusetts Institute of Technology. See arXiv:1304.7312

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  14. [14]

    Mirror symmetry for log C alabi- Y au surfaces I

    Mark Gross, Paul Hacking, and Sean Keel. Mirror symmetry for log C alabi- Y au surfaces I . Publ. Math. Inst. Hautes \' E tudes Sci. , 122:65--168, 2015

    work page 2015

  15. [15]

    Sectorial descent for wrapped F ukaya categories

    Sheel Ganatra, John Pardon, and Vivek Shende. Sectorial descent for wrapped F ukaya categories. arXiv:1809.03427v3

    work page arXiv

  16. [16]

    Covariantly functorial wrapped F loer theory on L iouville sectors

    Sheel Ganatra, John Pardon, and Vivek Shende. Covariantly functorial wrapped F loer theory on L iouville sectors. Publ. Math. Inst. Hautes \' E tudes Sci. , 131:73--200, 2020

    work page 2020

  17. [17]

    Homological mirror symmetry for log C alabi- Y au surfaces

    Paul Hacking and Ailsa Keating. Homological mirror symmetry for log C alabi- Y au surfaces. arXiv:2005.05010

    work page arXiv 2005

  18. [18]

    Symplectomorphisms of mirrors to log C alabi- Y au surfaces

    Paul Hacking and Ailsa Keating. Symplectomorphisms of mirrors to log C alabi- Y au surfaces. arXiv:2112.06797

    work page arXiv

  19. [19]

    Huybrechts

    D. Huybrechts. Fourier- M ukai transforms in algebraic geometry . Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, Oxford, 2006

    work page 2006

  20. [20]

    Spherical objects in dimension two and three

    Wahei Hara and Michael Wemyss. Spherical objects in dimension two and three. arXiv:2205.11552

    work page arXiv

  21. [21]

    Stability C onditions for 3-fold F lops

    Yuki Hirano and Michael Wemyss. Stability C onditions for 3-fold F lops. arXiv:1907.09742

    work page arXiv 1907

  22. [22]

    Autoequivalences of derived categories on the minimal resolutions of A_n -singularities on surfaces

    Akira Ishii and Hokuto Uehara. Autoequivalences of derived categories on the minimal resolutions of A_n -singularities on surfaces. J. Differential Geom. , 71(3):385--435, 2005

    work page 2005

  23. [23]

    Lagrangian tori in four-dimensional M ilnor fibres

    Ailsa Keating. Lagrangian tori in four-dimensional M ilnor fibres. Geom. Funct. Anal. , 25(6):1822--1901, 2015

    work page 1901

  24. [24]

    Quivers, F loer cohomology, and braid group actions

    Mikhail Khovanov and Paul Seidel. Quivers, F loer cohomology, and braid group actions. J. Amer. Math. Soc. , 15(1):203--271, 2002

    work page 2002

  25. [25]

    Mapping class groups of manifolds with boundary are of finite type

    Alexander Kupers. Mapping class groups of manifolds with boundary are of finite type. arXiv:2204.01945

    work page arXiv

  26. [26]

    Lunts and Dmitri O

    Valery A. Lunts and Dmitri O. Orlov. Uniqueness of enhancement for triangulated categories. J. Amer. Math. Soc. , 23(3):853--908, 2010

    work page 2010

  27. [27]

    Geometric presentations for the pure braid group

    Dan Margalit and Jon McCammond. Geometric presentations for the pure braid group. J. Knot Theory Ramifications , 18(1):1--20, 2009

    work page 2009

  28. [28]

    R. C. Penner. Bounds on least dilatations. Proc. Amer. Math. Soc. , 113(2):443--450, 1991

    work page 1991

  29. [29]

    Intrinsic mirror symmetry and categorical crepant resolutions

    Dan Pomerleano. Intrinsic mirror symmetry and categorical crepant resolutions. arXiv:2103.01200

    work page arXiv

  30. [30]

    Minimal models of canonical 3 -folds

    Miles Reid. Minimal models of canonical 3 -folds. In Algebraic varieties and analytic varieties ( T okyo, 1981) , volume 1 of Adv. Stud. Pure Math. , pages 131--180. North-Holland, Amsterdam, 1983

    work page 1981

  31. [31]

    Categorical dynamics and symplectic topology

    Paul Seidel. Categorical dynamics and symplectic topology. Lecture notes, available at https://math.mit.edu/ seidel

    work page

  32. [32]

    Graded L agrangian submanifolds

    Paul Seidel. Graded L agrangian submanifolds. Bull. Soc. Math. France , 128(1):103--149, 2000

    work page 2000

  33. [33]

    A biased view of symplectic cohomology

    Paul Seidel. A biased view of symplectic cohomology. In Current developments in mathematics, 2006 , pages 211--253. Int. Press, Somerville, MA, 2008

    work page 2006

  34. [34]

    Fukaya categories and P icard- L efschetz theory

    Paul Seidel. Fukaya categories and P icard- L efschetz theory . Zurich Lectures in Advanced Mathematics. European Mathematical Society (EMS), Z\" u rich, 2008

    work page 2008

  35. [35]

    Lagrangian homology spheres in (A_m) M ilnor fibres via C^* -equivariant A_ -modules

    Paul Seidel. Lagrangian homology spheres in (A_m) M ilnor fibres via C^* -equivariant A_ -modules. Geom. Topol. , 16(4):2343--2389, 2012

    work page 2012

  36. [36]

    Symplectic mapping class groups of K 3 surfaces and S eiberg- W itten invariants

    Gleb Smirnov. Symplectic mapping class groups of K 3 surfaces and S eiberg- W itten invariants. Geom. Funct. Anal. , 32(2):280--301, 2022

    work page 2022

  37. [37]

    The symplectic topology of R amanujam's surface

    Paul Seidel and Ivan Smith. The symplectic topology of R amanujam's surface. Comment. Math. Helv. , 80(4):859--881, 2005

    work page 2005

  38. [38]

    Localization for involutions in F loer cohomology

    Paul Seidel and Ivan Smith. Localization for involutions in F loer cohomology. Geom. Funct. Anal. , 20(6):1464--1501, 2010

    work page 2010

  39. [39]

    Symplectic topology of K3 surfaces via mirror symmetry

    Nick Sheridan and Ivan Smith. Symplectic topology of K3 surfaces via mirror symmetry. J. Amer. Math. Soc. , 33(3):875--915, 2020

    work page 2020

  40. [40]

    Stacks Project

    The Stacks Project Authors . Stacks Project. https://stacks.math.columbia.edu, 2018

    work page 2018

  41. [41]

    Double bubble plumbings and two-curve flops

    Ivan Smith and Michael Wemyss. Double bubble plumbings and two-curve flops. arXiv:2010.10114

    work page arXiv 2010

  42. [42]

    Stability conditions and crepant small resolutions

    Yukinobu Toda. Stability conditions and crepant small resolutions. Trans. Amer. Math. Soc. , 360(11):6149--6178, 2008

    work page 2008

  43. [43]

    Stability conditions and C alabi- Y au fibrations

    Yukinobu Toda. Stability conditions and C alabi- Y au fibrations. J. Algebraic Geom. , 18(1):101--133, 2009

    work page 2009

  44. [44]

    The homotopy theory of dg -categories and derived M orita theory

    Bertrand To \" e n. The homotopy theory of dg -categories and derived M orita theory. Invent. Math. , 167(3):615--667, 2007

    work page 2007

  45. [45]

    Exact L agrangians in A_n -surface singularities

    Weiwei Wu. Exact L agrangians in A_n -surface singularities. Math. Ann. , 359(1-2):153--168, 2014

    work page 2014