pith. sign in

arxiv: 2604.12199 · v1 · submitted 2026-04-14 · 🧮 math.AG

KSBA moduli spaces of cubic surfaces with a marked line

Jon Kim This is my paper

Pith reviewed 2026-05-10 16:24 UTC · model grok-4.3

classification 🧮 math.AG
keywords KSBA modulicubic surfacesmarked lineweighted stable pairswall and chamber decompositionnonuniform weightsmoduli compactificationalgebraic geometry
0
0 comments X

The pith

Cubic surfaces with a marked line admit compactifications through KSBA stable pairs with nonuniform weights on the lines.

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

The authors extend the study of moduli spaces of cubic surfaces by marking one line and assigning it a weight different from the other twenty-six lines. They construct KSBA compactifications using weighted stable pairs under these nonuniform conditions. The key result is an explicit finite wall-and-chamber decomposition of the space of all possible weights. Each chamber corresponds to a new coarse moduli space, and the stable pairs in that space are described in detail. This provides concrete tools for analyzing how the moduli space changes as the weights vary.

Core claim

We describe compactifications of the moduli space of cubic surfaces with a marked line using KSBA stable pairs with nonuniform weights, where the marked line is weighted differently from the other lines. In particular, we provide an explicit finite wall-and-chamber decomposition of the weight domain, yielding new KSBA coarse moduli spaces, and give explicit descriptions of the nonuniform weighted stable pairs parameterized by the moduli spaces in each chamber.

What carries the argument

The wall-and-chamber decomposition of the weight domain for KSBA pairs with one distinguished line.

If this is right

  • The weight space is divided into finitely many chambers separated by walls.
  • Each chamber parametrizes a distinct coarse moduli space of weighted stable pairs.
  • Explicit descriptions of the stable pairs are available in every chamber.
  • These moduli spaces are new and have not been studied before the nonuniform weighting.

Where Pith is reading between the lines

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

  • Similar techniques could classify moduli spaces when multiple lines are marked with distinct weights.
  • The explicit nature of the decomposition may facilitate the calculation of invariants like Euler characteristics for these spaces.
  • These results suggest that nonuniform stability conditions can uncover finer structure in the moduli of surfaces.

Load-bearing premise

The stability condition defined by the nonuniform weights on the lines of the cubic surface admits a decomposition of the weight space into only finitely many chambers.

What would settle it

A continuous family of weights for which the set of semistable cubic surfaces with the marked line changes at infinitely many distinct critical values.

read the original abstract

The moduli space of cubic surfaces and its compactifications are classical and date back to the mid-nineteenth century. Recently, Schock described compactifications of moduli spaces of fully marked cubic surfaces with their 27 lines via Koll\'ar--Shepherd-Barron--Alexeev (KSBA) weighted stable pairs where the 27 lines are uniformly weighted. Furthermore, he provided an explicit finite wall-and-chamber decomposition of the weight domain, together with explicit descriptions of the weighted stable pairs parameterized by the moduli spaces in each chamber. We extend this work by describing compactifications of moduli spaces of cubic surfaces with a marked line via KSBA stable pairs with nonuniform weights, in which the marked line is weighted differently from the other 26 lines. In particular, we provide an explicit finite wall-and-chamber decomposition of the weight domain, yielding new KSBA coarse moduli spaces that have not previously been studied. We also give explicit descriptions of these nonuniform weighted stable pairs parameterized by the moduli spaces in each chamber.

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

2 major / 2 minor

Summary. The manuscript extends Schock's KSBA compactifications of moduli spaces of cubic surfaces with all 27 lines uniformly weighted to the case of one marked line assigned a distinct weight w while the remaining 26 lines receive weight v. It claims to furnish an explicit finite wall-and-chamber decomposition of the (w,v) weight domain together with explicit descriptions of the corresponding nonuniform weighted stable pairs in each chamber.

Significance. If the finiteness and explicitness claims hold, the work produces new KSBA coarse moduli spaces for cubic surfaces with a single marked line that have not been studied before. The concrete wall-and-chamber data and pair descriptions constitute a tangible advance that can support further computations of invariants or degeneration studies in the field.

major comments (2)
  1. [Proof of Theorem 1.1] The central claim of a finite wall-and-chamber decomposition for nonuniform weights is load-bearing. In the proof of the main theorem (the extension of Schock's uniform-weight result), the argument must supply an independent boundedness statement or exhaustive classification of test configurations that isolate the marked line (e.g., configurations in which the marked line passes through a node or acquires a different multiplicity while the others do not). Without this, it remains possible that critical values accumulate near the boundary v=0 or w=1, rendering the decomposition infinite.
  2. [Section 4] Section 4 (descriptions of stable pairs): the explicit list of stable pairs in each chamber should include a verification that the log canonical threshold or discrepancy computation for the marked line indeed crosses zero exactly at the stated wall values. A sample numerical check for one interior chamber (e.g., w=1/2, v=1/3) would strengthen the claim.
minor comments (2)
  1. [Introduction] The weight parameters w and v are introduced in the abstract but should be defined with a clear sentence and notation at the beginning of the introduction for immediate readability.
  2. [Introduction] A few sentences comparing the new chambers to the uniform-weight chambers of Schock would help readers see precisely which new phenomena arise from the nonuniformity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

  1. Referee: [Proof of Theorem 1.1] The central claim of a finite wall-and-chamber decomposition for nonuniform weights is load-bearing. In the proof of the main theorem (the extension of Schock's uniform-weight result), the argument must supply an independent boundedness statement or exhaustive classification of test configurations that isolate the marked line (e.g., configurations in which the marked line passes through a node or acquires a different multiplicity while the others do not). Without this, it remains possible that critical values accumulate near the boundary v=0 or w=1, rendering the decomposition infinite.

    Authors: We appreciate the referee's emphasis on this point. The proof of Theorem 1.1 extends Schock's uniform-weight analysis by providing an explicit classification of test configurations in which the marked line degenerates differently (e.g., via distinct multiplicities or incidences with nodes). This classification relies on the finite incidence geometry of lines on cubic surfaces and the bounded degree, which precludes accumulation of critical values near v=0 or w=1. To make the argument fully self-contained and address the concern directly, we will insert a dedicated boundedness lemma summarizing these configurations in the revised version. revision: partial

  2. Referee: [Section 4] Section 4 (descriptions of stable pairs): the explicit list of stable pairs in each chamber should include a verification that the log canonical threshold or discrepancy computation for the marked line indeed crosses zero exactly at the stated wall values. A sample numerical check for one interior chamber (e.g., w=1/2, v=1/3) would strengthen the claim.

    Authors: We agree that explicit verification strengthens the exposition. In the revised manuscript we will augment Section 4 with a paragraph detailing the log canonical threshold and discrepancy computations for the marked line at each wall value. We will also include a concrete numerical sample for the interior chamber w=1/2, v=1/3, confirming that the relevant discrepancies change sign exactly at the predicted walls. revision: yes

Circularity Check

0 steps flagged

No significant circularity; explicit extension of Schock's framework

full rationale

The paper extends Schock's uniform-weight KSBA analysis to the nonuniform case (one marked line with distinct weight) by claiming to supply its own explicit finite wall-and-chamber decomposition of the weight domain together with descriptions of the resulting stable pairs in each chamber. No equations, definitions, or central claims in the provided abstract reduce the new finiteness or explicitness results to a fit, self-definition, or load-bearing self-citation. The derivation is presented as independent verification and enumeration within the KSBA stability framework, inheriting only the general setup from prior work rather than forcing the nonuniform conclusions by construction. This is the expected non-circular outcome for an extension paper that performs new explicit computations.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the applicability of the KSBA weighted stable pair framework to cubic surfaces with lines and on the existence of a finite chamber decomposition for the weight space; these are taken from prior literature rather than derived here.

axioms (1)
  • domain assumption KSBA stability for weighted pairs applies to the pair consisting of a cubic surface and its 27 lines with assigned weights
    The paper builds directly on the Kollár–Shepherd-Barron–Alexeev theory without re-deriving it.

pith-pipeline@v0.9.0 · 5463 in / 1306 out tokens · 63251 ms · 2026-05-10T16:24:02.378139+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

5 extracted references · 5 canonical work pages

  1. [1]

    2, 825–866

    [ABIP23] Kenneth Ascher, Dori Bejleri, Giovanni Inchiostro, and Zsolt Patakfalvi,Wall crossing for moduli of stable log pairs, Annals of Mathematics198(2023), no. 2, 825–866. [ABL+15] V . Alexeev, G. Bini, M. Lahoz, E. Macr ´ı, and P . Stellari,Moduli of weighted hyperplane arrangements, Ad- vanced Courses in Mathematics - CRM Barcelona, Springer Basel,

    work page 2023

  2. [2]

    Weighted grassmannians and stable hyperplane arrangements

    [ACT02] Daniel Allcock, James Carlson, and Domingo Toledo,The complex hyperbolic geometry of the moduli space of cubic surfaces, Journal of Algebraic Geometry11(2002), no. 4, 659–724 (en). [Ale08] Valery Alexeev,Weighted grassmannians and stable hyperplane arrangements, arXiv preprint arXiv:0806.0881 (2008). [BCHM10] Caucher Birkar, Paolo Cascini, Christo...

    work page Pith review arXiv 2002

  3. [3]

    2, 267–322

    [Loo81] Eduard Looijenga,Rational surfaces with an anti-canonical cycle, Annals of Mathematics114(1981), no. 2, 267–322. [Man86] Yuri Manin,Cubic forms: algebra, geometry, arithmetic, vol. 4, Elsevier,

    work page 1981

  4. [4]

    1, 1–30 (en), eprint: https://onlinelibrary.wiley.com/doi/pdf/10.1112/plms/s3-45.1.1

    [Nar82] Isao Naruki,Cross Ratio Variety as a Moduli Space of Cubic Surfaces, Proceed- ings of the London Mathematical Societys3-45(1982), no. 1, 1–30 (en), eprint: https://onlinelibrary.wiley.com/doi/pdf/10.1112/plms/s3-45.1.1. [RSS16] Qingchun Ren, Kristin Shaw, and Bernd Sturmfels,Tropicalization of del pezzo surfaces, Advances in Math- ematics300(2016)...

    work page doi:10.1112/plms/s3-45.1.1 1982

  5. [5]

    [Sek00] Jiro Sekiguchi,Cross ratio varieties for root systems II: The case of the root system of type E7, Kyushu Journal of Mathematics54(2000), no

    [Sch24] Nolan Schock,Moduli of weighted stable marked cubic surfaces, April 2024, arXiv:2305.06922 [math]. [Sek00] Jiro Sekiguchi,Cross ratio varieties for root systems II: The case of the root system of type E7, Kyushu Journal of Mathematics54(2000), no. 1, 7–37. [Tu05] Nguyen Chanh Tu,On semi-stable, singular cubic surfaces, S ´eminaires et Congr`es10(2...

    work page arXiv 2024