pith. sign in

arxiv: 2605.19923 · v1 · pith:34JNW3L6new · submitted 2026-05-19 · 🧮 math.AG

Enumerative Geometry on KSBA moduli spaces

Yunfeng Jiang This is my paper

Pith reviewed 2026-05-20 04:38 UTC · model grok-4.3

classification 🧮 math.AG
keywords KSBA moduli spacesvirtual fundamental classesperfect obstruction theoryenumerative geometrygeneral type surfacestautological invariantscompactifications
0
0 comments X

The pith

Two new compactifications of the KSBA moduli space of general type surfaces admit perfect obstruction theories.

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

The paper examines two fresh ways to compactify the KSBA moduli space of surfaces of general type. Each construction is shown to carry a perfect obstruction theory. This produces virtual fundamental classes on the resulting spaces. Tautological invariants can therefore be defined, giving a concrete starting point for enumerative geometry on KSBA moduli spaces.

Core claim

The author surveys two new compactification methods for the KSBA moduli space of general type surfaces so that both admit a perfect obstruction theory. Virtual fundamental classes therefore exist on these two moduli spaces, and tautological invariants can be defined on KSBA moduli spaces. This supplies the foundation for enumerative geometry on these spaces, with some initial discussions included.

What carries the argument

Perfect obstruction theory on each of the two new compactifications of the KSBA moduli space, which produces virtual fundamental classes.

If this is right

  • Tautological invariants become definable on the KSBA moduli space via the virtual classes.
  • Enumerative geometry on KSBA moduli spaces of general type surfaces can now be pursued.
  • Initial examples and calculations in this direction are discussed as a proof of concept.

Where Pith is reading between the lines

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

  • The same virtual-class machinery might apply to other moduli problems that currently lack a natural compactification with obstruction theory.
  • Relations between the two new compactifications and classical ones could be tested by comparing their virtual invariants on low-degree examples.
  • If the tautological ring generated by these invariants is finite-dimensional, it would give new constraints on the geometry of general type surfaces.

Load-bearing premise

The two new compactification methods for the KSBA moduli space admit a perfect obstruction theory.

What would settle it

A direct computation or example showing that at least one of the two compactifications fails to satisfy the axioms of a perfect obstruction theory would prevent the construction of the corresponding virtual fundamental class.

read the original abstract

We survey two new compactification methods for the KSBA moduli space of general type surfaces so that both of them admit a perfect obstruction theory. Virtual fundamental classes exist on these two moduli spaces, and tautological invariants can be defined on KSBA moduli spaces. This is the starting point to do enumerative geometry on KSBA moduli spaces, and we include some discussions in this direction.

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 manuscript surveys two new compactification methods for the KSBA moduli space of general type surfaces, selected so that both admit perfect obstruction theories. It asserts that virtual fundamental classes therefore exist on these moduli spaces and that tautological invariants can be defined, framing the work as an initial step toward enumerative geometry on KSBA moduli spaces.

Significance. If the perfect obstruction theories are rigorously established, the paper would provide a concrete foundation for applying virtual cycle techniques to moduli spaces of surfaces of general type. This is potentially significant because KSBA compactifications are the standard approach for these moduli spaces, yet they have lacked well-defined virtual classes, limiting enumerative applications compared to lower-dimensional cases such as curves.

major comments (1)
  1. [Abstract] Abstract and opening paragraphs: The central claim that the two surveyed compactification methods each admit a perfect obstruction theory (with well-defined virtual dimension) is asserted without an explicit local construction, chart description, or reference establishing that the obstruction sheaf is locally free of the expected rank. This step is load-bearing for the existence of virtual fundamental classes and the subsequent definition of tautological invariants.
minor comments (2)
  1. The manuscript would benefit from a brief comparison table or diagram contrasting the two compactification methods with the classical KSBA space, including their respective virtual dimensions.
  2. Notation for the tautological invariants is introduced but not consistently defined across the discussion sections; a dedicated subsection collecting the definitions would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying this key point about the presentation of the central claims. We address the comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract and opening paragraphs: The central claim that the two surveyed compactification methods each admit a perfect obstruction theory (with well-defined virtual dimension) is asserted without an explicit local construction, chart description, or reference establishing that the obstruction sheaf is locally free of the expected rank. This step is load-bearing for the existence of virtual fundamental classes and the subsequent definition of tautological invariants.

    Authors: We agree that the abstract and opening paragraphs would be strengthened by greater explicitness on this point. As the manuscript is a survey of two existing compactification constructions, the perfect obstruction theories (including local charts and the rank of the obstruction sheaf) are established in the cited source papers for each method rather than reproved here. In the revised version we will add targeted references to the specific results establishing local freeness of the obstruction sheaf and the resulting virtual dimension, together with a brief indication of the local chart descriptions, so that the load-bearing step is transparent to readers while preserving the survey character of the work. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation builds on external KSBA foundations

full rationale

The paper surveys two compactification methods for KSBA moduli spaces of general type surfaces, selected specifically because they admit perfect obstruction theories, then defines virtual fundamental classes and tautological invariants on those spaces. No self-definitional reductions, fitted parameters renamed as predictions, or load-bearing self-citation chains appear in the provided abstract or description. The central claims rest on the independent existence of the obstruction theories (treated as an input property of the chosen methods) rather than deriving that property from the paper's own constructions or equations. This is a standard non-circular survey setup in algebraic geometry, self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard foundations of algebraic geometry and prior KSBA theory; no free parameters, ad-hoc axioms, or new invented entities are indicated in the abstract.

axioms (1)
  • standard math Standard properties of moduli spaces and obstruction theories in algebraic geometry
    The claims presuppose the existence and basic behavior of perfect obstruction theories as developed in prior literature.

pith-pipeline@v0.9.0 · 5567 in / 1136 out tokens · 35927 ms · 2026-05-20T04:38:04.019843+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages · 4 internal anchors

  1. [1]

    Abramovich and B

    D. Abramovich and B. Hassett, Stable varieties with a twist,Classification of algebraic varieties, EMS Ser. Congr. Rep., Eur. Math. Soc., Z¨urich, 2011, 1-38

    work page 2011

  2. [2]

    Alexeev, Moduli spacesMg,n(W)for surfaces, inHigher dimensional complex varieties, Trento, 1994, 1-22

    V . Alexeev, Moduli spacesMg,n(W)for surfaces, inHigher dimensional complex varieties, Trento, 1994, 1-22

    work page 1994

  3. [3]

    Alexeev,Higher-dimensional analogues of stable curves, International Congress of Mathematicians

    V . Alexeev,Higher-dimensional analogues of stable curves, International Congress of Mathematicians. Vol. II, Eur. Math. Soc., Zurich, 2006, pp. 515-536

    work page 2006

  4. [4]

    Alexeev, Boundedness andK 2 for log surfaces,International Journal of Mathematics, Vol. 05, No. 06, 779-810 (1994)

    work page 1994

  5. [5]

    Alexeev, Kappa classes on KSBA spaces,Moduli, 2, e4 (2025) 1-14, arXiv:2309.14842

    work page arXiv 2025

  6. [6]

    Alexeev, H

    V . Alexeev, H. Arg¨uz and P . Bousseau, The KSBA moduli space of stable log Calabi-Yau surfaces, arXiv:2402.15117

    work page arXiv

  7. [7]

    Aroux, Mirror symmetry and T-duality in the complement of an anticanonical divisor,Journal of G¨ okova Geometry Topology, Vol

    D. Aroux, Mirror symmetry and T-duality in the complement of an anticanonical divisor,Journal of G¨ okova Geometry Topology, Vol. 1 (2007) 51-91

    work page 2007

  8. [8]

    Artin, Versal deformations and algebraic stacks,Invent

    M. Artin, Versal deformations and algebraic stacks,Invent. Math., 27, 165- 189 (1974)

    work page 1974

  9. [9]

    Ascher, D

    K. Ascher, D. Bejleri and Y. Jiang, Moduli space of twisted stable maps as moduli of lci covers for fibered surfaces, in preparation

    work page

  10. [10]

    The intrinsic normal cone

    K. Behrend and B. Fantechi, The intrinsic normal cone, alg-geom/9601010,Invent. Math. 128 (1997), no. 1, 45-88

    work page internal anchor Pith review Pith/arXiv arXiv 1997

  11. [11]

    Behrend, Gromov-Witten invariants in algebraic geometry,Invent

    K. Behrend, Gromov-Witten invariants in algebraic geometry,Invent. Math. 127, 601-617(1997)

    work page 1997

  12. [12]

    Brieskorn, Rationale Singularitaten komplexer Fl ¨achen,Invent

    E. Brieskorn, Rationale Singularitaten komplexer Fl ¨achen,Invent. Math., 4, 336-358 (1968)

    work page 1968

  13. [13]

    Datar, X

    V . Datar, X. Fu, and J. Song, K ¨ahler-Einstein metrics near an isolated log-canonical singularities, arXiv:2106.05486

    work page arXiv

  14. [14]

    Dervan and J

    R. Dervan and J. Ross, Stable maps in higher dimensions,Mathematische Annalen, volume 374, 1033-1073 (2019)

    work page 2019

  15. [15]

    S. K. Donaldson, Fredholm topology and enumerative geometry: reflections on some words of Michael Atiyah,Proceedings of 26th G¨ okova Geometry-Topology Conference, 1-31

    work page

  16. [16]

    Donaldson and S

    S. Donaldson and S. Sun, Gromov-Hausdorff limits of K ¨ahler manifolds and algebraic geometry, Acta Mathematica, 213 (1):63-106, 2014

    work page 2014

  17. [17]

    Donaldson and S

    S. Donaldson and S. Sun, Gromov-Hausdorff limits of K ¨ahler manifolds and algebraic geometry II,J. Diff. Geom., 107(2):327-371, 2017

    work page 2017

  18. [18]

    Engel, A proof of Looijenga’s conjecture via integral-affine geometry,Journal of Differential Geometry, 109(3): 467-495, 2018

    P . Engel, A proof of Looijenga’s conjecture via integral-affine geometry,Journal of Differential Geometry, 109(3): 467-495, 2018

    work page 2018

  19. [19]

    Engel and R

    P . Engel and R. Friedman, Smoothings and rational double point adjacencies for cusp singularities, Journal of Diff. Goem.,118(1): 23-100 (May 2021)

    work page 2021

  20. [20]

    Feehan, Geometry of the ends of the moduli space of anti-self-dual connections,J

    P .M.N. Feehan, Geometry of the ends of the moduli space of anti-self-dual connections,J. Differential Geom., 1995, 42(3), 465-553

    work page 1995

  21. [21]

    X. Fu, H. Hein and X. Jiang, A continuous cusp closing process for negative K ¨ahler-Einstein metrics, arXiv:2401.11468

    work page arXiv

  22. [22]

    Gross, P

    M. Gross, P . Hacking and S. Keel, Mirror symmetry for log Calabi-Yau surfaces I,Publ. Math. Inst. Hautes Etudes Sci., 122:65-168, (2015)

    work page 2015

  23. [23]

    Hacking, Compact moduli of plane curves,Duke Math

    P . Hacking, Compact moduli of plane curves,Duke Math. Journal, Vol. 124, No. 2 (2004), 213-257

    work page 2004

  24. [24]

    Hein, Gravitational instantons from rational elliptic surfaces,Journal AMS, Vol

    H. Hein, Gravitational instantons from rational elliptic surfaces,Journal AMS, Vol. 25, No. 2, (2012), 355–393. ENUMERATIVE GEOMETRY ON KSBA MODULI SPACES 21

    work page 2012

  25. [25]

    Inoue, New surfaces with no meromorphic functions, II, InComplex analysis and algebraic geometry, 91-106, Iwanami Shoten, Tokyo, 1977

    M. Inoue, New surfaces with no meromorphic functions, II, InComplex analysis and algebraic geometry, 91-106, Iwanami Shoten, Tokyo, 1977

    work page 1977

  26. [26]

    Jiang, A note on higher obstruction spaces for surface singularities, preprint, arXiv:2112.10679

    Y. Jiang, A note on higher obstruction spaces for surface singularities, preprint, arXiv:2112.10679

    work page arXiv

  27. [27]

    The virtual fundamental class for the moduli space of surfaces of general type

    Y. Jiang, The virtual fundamental class for the moduli space of surfaces of general type, arXiv:2206.00575

    work page internal anchor Pith review Pith/arXiv arXiv

  28. [28]

    Jiang, Equivariant smoothing for cusp singularities, preprint, arXiv:2302.00637

    Y. Jiang, Equivariant smoothing for cusp singularities, preprint, arXiv:2302.00637

    work page arXiv

  29. [29]

    Jiang, Smoothing of surface singularities via equivariant smoothing of lci covers, arXiv:2309.16562

    Y. Jiang, Smoothing of surface singularities via equivariant smoothing of lci covers, arXiv:2309.16562

    work page arXiv

  30. [30]

    Jiang, A bubble compactification of KSBA moduli space of general type surfaces, preprint, arXiv:2606.????

    Y. Jiang, A bubble compactification of KSBA moduli space of general type surfaces, preprint, arXiv:2606.????

    work page

  31. [31]

    Jiang and Hsian-Hua Tseng, Counting surfaces via moduli space of stable maps I: the moduli stack, in preparation

    Y. Jiang and Hsian-Hua Tseng, Counting surfaces via moduli space of stable maps I: the moduli stack, in preparation

    work page

  32. [32]

    Koll ´ar and N

    J. Koll ´ar and N. I. Shepherd-Barron, Threefolds and deformations of surface singularities,Invent. Math., 91, 299-338 (1988)

    work page 1988

  33. [33]

    J. Koll ´ar,Families of varieties of general type, Cambridge Tracts in Mathematics, 231, Cambridge University Press, April 2023, ISBN: 9781009346115, DOI: https://doi.org/10.1017/9781009346115

    work page doi:10.1017/9781009346115 2023

  34. [34]

    S. J. Kov ´acs and Z. Patakfalvi, Projectivity of the moduli space of stable log-varieties and subadditivity of log-Kodaira dimension, J. Amer. Math. Soc. 30 (2017), 959-1021, arXiv:1503.02952

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  35. [35]

    Laufer, On minimally elliptic singularities,Amer

    H. Laufer, On minimally elliptic singularities,Amer. J. Math., Vol. 99, No. 6 (1977), 1257-1295

    work page 1977

  36. [36]

    Li and G

    J. Li and G. Tian, Virtual moduli cycles and Gromov-Witten invariants of algebraic varieties,J. Amer. Math. Soc., 11, 119-174, 1998, math.AG/9602007

    work page arXiv 1998

  37. [37]

    Looijenga, Rational surfaces with an anticanonical cycle,Ann

    E. Looijenga, Rational surfaces with an anticanonical cycle,Ann. of Math.(2), 114 (2):267-322, 1981

    work page 1981

  38. [38]

    Markushevich, A

    D. Markushevich, A. Tikhomirov and G. Trautmann, Bubble tree compactification of moduli spaces of vector bundles on surfaces,Cent. Eur. J. Math., 10(4), (2012), 1331-1355

    work page 2012

  39. [39]

    W. D. Neumann and J. Wahl, Universal abelian covers of quotient-cusps,Math. Ann.326, 75-93 (2003)

    work page 2003

  40. [40]

    Odaka, Algebraic geometry of bubbling K ¨ahler metrics, arXiv:2406.14518

    Y. Odaka, Algebraic geometry of bubbling K ¨ahler metrics, arXiv:2406.14518

    work page arXiv

  41. [41]

    Ampleness of the CM line bundle on the moduli space of canonically polarized varieties

    Z. Patakfalvi and C. Xu, Ampleness of CM line bundle on the moduli space of canonically polarized varieties,Algebraic Geometry, 4(1), 29-39, (2017), arXiv:1503.08668

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  42. [42]

    H. C. Pinkham, Deformation of algebraic varieties withG m-action,Ast´ erisque20 (1974), 1-131

    work page 1974

  43. [43]

    Ran,Deformations of maps, Algebraic Curves and Projective Geometry (E

    Z. Ran,Deformations of maps, Algebraic Curves and Projective Geometry (E. Ballico, C. Ciliberto, eds.), Lecture Notes in Math., vol. 1389

    work page

  44. [44]

    Reid, Canonical 3-folds, in Algebraic Geometry Angers 1979, 273-310

    M. Reid, Canonical 3-folds, in Algebraic Geometry Angers 1979, 273-310

    work page 1979

  45. [45]

    N. I. Shepherd-Barron, Degenerations with numerically effective canonical divisor,The birational geometry of degenerations, Progress in Mathematics, Vol. 29, 33-84

    work page

  46. [46]

    Sun, Bubbling of K ¨ahler-Einstein metrics, arXiv:2303.11309

    S. Sun, Bubbling of K ¨ahler-Einstein metrics, arXiv:2303.11309

    work page arXiv

  47. [47]

    Sun and R

    S. Sun and R. Zhang, Collapsing geometry of hyperk ¨ahler 4-manifolds and applications,Acta Math., 232(2) 325-424 (2024)

    work page 2024

  48. [48]

    Taubes, A framework for Morse theory for the Yang-Mills functoional,Invent

    C.H. Taubes, A framework for Morse theory for the Yang-Mills functoional,Invent. Math., 1988, 94(2), 327-402

    work page 1988

  49. [49]

    K. K. Uhlenbeck, Removable singularities in Yang-Mills fields,Comm. Math. Phys., 1982, 83(1), 11-29. DEPARTMENT OFMATHEMATICS, UNIVERSITY OFKANSAS, 405 SNOWHALL1460 JAYHAWK BLVD, LAWRENCEKS 66045 USA Email address:y.jiang@ku.edu

    work page 1982