Moduli of surfaces fibered in (log) Calabi-Yau pairs II: elliptic surfaces

Giovanni Inchiostro; Junyan Zhao

arxiv: 2512.24017 · v3 · submitted 2025-12-30 · 🧮 math.AG

Moduli of surfaces fibered in (log) Calabi-Yau pairs II: elliptic surfaces

Giovanni Inchiostro , Junyan Zhao This is my paper

Pith reviewed 2026-05-16 19:39 UTC · model grok-4.3

classification 🧮 math.AG

keywords elliptic surfacesKSBA modulibisectionmoduli stackshyperelliptic K3 surfaceslc-trivial fibrationsminimal model program

0 comments

The pith

Techniques from lc-trivial fibration moduli classify boundary surfaces of KSBA moduli for elliptic surfaces with bisections and recover section moduli stacks without explicit MMP.

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

This paper applies methods developed for surfaces with lc-trivial fibrations to the setting of elliptic surfaces. It classifies the surfaces that appear on the boundary of the KSBA moduli space for elliptic surfaces equipped with a bisection. The work also recovers earlier results on the moduli stacks of elliptic surfaces with a section, but does so without relying on specific minimal model program steps such as the La Nave flip. As a consequence, the moduli stack of hyperelliptic K3 surfaces is compactified.

Core claim

Using the framework for moduli of surfaces admitting lc-trivial fibrations, the boundary components of the KSBA moduli space of elliptic surfaces with a bisection are classified, and the moduli stacks of elliptic surfaces with a section are recovered directly, bypassing explicit MMP operations like the La Nave flip from prior literature.

What carries the argument

The techniques for moduli spaces of surfaces admitting lc-trivial fibrations, which are applied to classify boundaries and recover stack results for elliptic surfaces.

If this is right

The surfaces on the KSBA boundary for elliptic surfaces with bisection are now classified.
Moduli stack results for elliptic surfaces with section are obtained without the La Nave flip.
The moduli stack of hyperelliptic K3 surfaces admits a compactification.
This provides an alternative approach to previous classifications of elliptic surface moduli.

Where Pith is reading between the lines

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

This method could simplify proofs for moduli problems involving other types of fibrations.
It suggests that lc-trivial fibration techniques may replace MMP steps in similar contexts.
Applications may extend to compactifications of moduli spaces for related surfaces like higher genus fibrations.

Load-bearing premise

The techniques from the study of lc-trivial fibrations apply directly to the classification of boundaries and recovery of stack results for elliptic surfaces with bisections and sections.

What would settle it

A failure to classify the boundary surfaces or a requirement to use the La Nave flip despite applying the techniques would falsify the central claim.

Figures

Figures reproduced from arXiv: 2512.24017 by Giovanni Inchiostro, Junyan Zhao.

**Figure 1.** Figure 1: Surfaces of different types • F0 is a divisor whose support consists of fibers F0,i of g0 : Y0 → C0 such that R0|F0,i is not four distinct points. The map R0 → C0 is possibly not finite as it could contain some fiber components of Y0 → C0. Theorem 2.4 (cf. [ISZ25, Propositions 4.3, 4.4, and 4.6]). With notation as above, let G be an irreducible component of C0, and let Gn → G denote its normalization. Then… view at source ↗

**Figure 2.** Figure 2: Log canonical model morphism Y → Y (1). In blue, the curves to which some irreducible components of Y0 are contracted to. We now analyze the pair over the nodes of C. By the construction of the ruled model, after possibly restricting C to a neighborhood of its nodal locus, the family (Y, 1 2Σ + 1 2D) → C is obtained by pulling back the universal family from a twisted curve C → P1 and then passing to coarse… view at source ↗

**Figure 3.** Figure 3: The pair (PB, ΣPB + Σ2 + ∆ + F) Observe that ΣPB , Σ2, and ∆ must be pairwise disjoint in order for deg M|B = 0. Indeed, ΣPB and Σ2 a re disjoint from Lemma 5.3, and Σ and ∆ are disjoint as before the contraction Y → Y (1) the section does not intersect the horizontal double locus of the central fiber. We just need to argue that ∆ and Σ2 are disjoint. But if they met over a point x, the boundary part over … view at source ↗

read the original abstract

This paper continues the study initiated in [ISZ25] on the moduli of surfaces admitting lc-trivial fibrations. Using the techniques developed in [ISZ25], we (1) provide a classification of the surfaces appearing on the boundary of the KSBA-moduli space of elliptic surfaces with a bisection (2) recover the results of a series of papers on the moduli stacks of elliptic surfaces with a section [AB22, Inc20, Bru15]. Notably, our proof of (2) avoids the use of explicit steps of an MMP, such as the "La Nave flip" from [LN02], which plays a central role in [AB22,Inc20]. As an application, we compactify the moduli stack of hyperelliptic K3 surfaces.

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.

Desk Editor's Note private letter to a colleague

This paper classifies the KSBA boundary surfaces for elliptic surfaces with a bisection and recovers the known moduli stack results without the La Nave flip by specializing the lc-trivial fibration framework.

read the letter

This paper classifies the surfaces that appear on the boundary of the KSBA moduli space of elliptic surfaces with a bisection. It also recovers the moduli stack results for elliptic surfaces with a section from the earlier papers, but without running explicit MMP steps such as the La Nave flip. The same setup yields a compactification of the moduli stack of hyperelliptic K3 surfaces as an application. The work restricts the general moduli space of surfaces with lc-trivial fibrations from the companion paper to the elliptic bisection case, then reads the boundary components off the possible degenerations of the pair. The stack recovery follows by showing that this KSBA compactification matches the known one. The hyperelliptic K3 case drops out directly once the boundary list is in hand. What stands out is that the boundary classification comes out cleanly once the general theory is in place, and the avoidance of the flip is a genuine technical simplification compared with the MMP-heavy proofs in the literature. The dependence on the prior paper is stated openly, which keeps the argument grounded. The main limitation is that this remains a direct specialization rather than a broad new tool. The classification itself is likely what experts would anticipate from the general degenerations, so the real work is in carrying out the details and verifying the comparison with the existing stack compactifications. If that comparison step is not fully spelled out, the recovery claim rests on how much new information it actually adds. Readers will need the companion paper for the foundations. This is for people already working on KSBA moduli spaces or moduli of elliptic surfaces and K3s. It deserves a serious referee to check the completeness of the boundary list and the rigor of the stack comparison. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The paper continues the study of moduli of surfaces admitting lc-trivial fibrations from the companion work [ISZ25]. It classifies the surfaces appearing on the boundary of the KSBA-moduli space of elliptic surfaces with a bisection and recovers the moduli-stack results for elliptic surfaces with a section from [AB22, Inc20, Bru15] by specializing the general framework, without invoking explicit MMP steps such as the La Nave flip. An application is given to the compactification of the moduli stack of hyperelliptic K3 surfaces.

Significance. If the specialization and recovery arguments hold, the work offers a uniform KSBA-theoretic approach to these compactifications that bypasses case-by-case MMP constructions. This methodological simplification could streamline proofs for related fibered surfaces and clarify boundary components in the elliptic case.

major comments (2)

[§3] §3: The classification of boundary surfaces for elliptic surfaces with bisection is obtained by restricting the general lc-trivial fibration moduli; an explicit enumeration or table of the admissible degeneration types (including the possible log Calabi-Yau pairs) is needed to confirm that all KSBA-stable limits are captured.
[§4] §4: When recovering the stack results of [AB22, Inc20, Bru15], the argument compares the KSBA compactification directly with the known one; the precise mechanism by which the stack structure is identified without the La Nave flip must be spelled out, including how the coarse moduli space and stabilizers match.

minor comments (2)

[Notation] Notation for the bisection divisor and the elliptic fibration should be fixed consistently across sections to avoid confusion with the log pair (S, D) in the general framework.
[Application] The application to hyperelliptic K3 surfaces in the final section would benefit from a brief diagram or flowchart showing how the bisection case reduces to the K3 moduli problem.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and positive recommendation. The comments highlight useful opportunities to improve clarity, and we address each point below with concrete revisions.

read point-by-point responses

Referee: [§3] §3: The classification of boundary surfaces for elliptic surfaces with bisection is obtained by restricting the general lc-trivial fibration moduli; an explicit enumeration or table of the admissible degeneration types (including the possible log Calabi-Yau pairs) is needed to confirm that all KSBA-stable limits are captured.

Authors: We agree that an explicit table will make the classification more transparent. In the revised manuscript we will add a new table in §3 that enumerates all admissible degeneration types of the log Calabi-Yau pairs appearing as boundary surfaces. The table will list the possible fiber configurations, the associated log pairs (X, B), and the numerical invariants, drawing directly from the general classification of lc-trivial fibrations developed in the companion paper [ISZ25]. This will confirm that every KSBA-stable limit is accounted for. revision: yes
Referee: [§4] §4: When recovering the stack results of [AB22, Inc20, Bru15], the argument compares the KSBA compactification directly with the known one; the precise mechanism by which the stack structure is identified without the La Nave flip must be spelled out, including how the coarse moduli space and stabilizers match.

Authors: We will expand the exposition in §4 to spell out the identification mechanism in detail. The argument proceeds by showing that the KSBA moduli space of elliptic surfaces with bisection, when restricted to the locus with a section, satisfies the universal property of the moduli stack constructed in [AB22, Inc20, Bru15]. Because the general lc-trivial fibration framework already encodes the correct automorphism groups, the stabilizers of the resulting objects coincide automatically with those of the classical stacks; no separate verification of the La Nave flip is required. We will add a short subsection that traces this comparison step by step, including the identification of the coarse moduli spaces and the matching of stabilizers. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to prior framework; central claims are independent applications

full rationale

The paper cites [ISZ25] for the general moduli theory of surfaces with lc-trivial fibrations and then specializes it to elliptic surfaces with bisection, classifying KSBA boundaries and recovering stack results from [AB22, Inc20, Bru15] without explicit MMP steps. This is a standard application of prior independent work rather than a reduction by definition or fitted input. No self-definitional equations, fitted predictions renamed as results, or load-bearing uniqueness theorems imported from the same authors appear in the provided outline or abstract. The avoidance of La Nave flips is presented as a consequence of the KSBA framework itself, not a tautology. Score 2 reflects normal self-citation to foundational techniques with new content.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the application of techniques from the cited prior work [ISZ25] together with standard tools from algebraic geometry and moduli theory; no new free parameters or invented entities are introduced.

axioms (1)

standard math Foundational results in algebraic geometry including the minimal model program, properties of log canonical pairs, and KSBA moduli theory
The paper invokes these as background to apply the techniques from [ISZ25] to the elliptic surface case.

pith-pipeline@v0.9.0 · 5434 in / 1422 out tokens · 44446 ms · 2026-05-16T19:39:20.510137+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean (J-cost uniqueness, Aczél classification) washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Using the techniques developed in [ISZ25], we provide a classification of the surfaces appearing on the boundary of the KSBA-moduli space of elliptic surfaces with a bisection and recover the results of a series of papers on the moduli stacks of elliptic surfaces with a section, avoiding the use of explicit steps of an MMP such as the La Nave flip.
IndisputableMonolith/Foundation/DimensionForcing.lean (8-tick, D=3 forcing) reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 2.3 ... M_KSBA(ϵ1, ϵ2) parametrizes KSBA-stable pairs (Y0, (1/2 + ϵ1)R0 + ϵ2 F0) where Y0 admits a morphism to a nodal curve with equidimensional fibers and R0 is relatively ample of degree 4.

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Birational boundedness of stable families
math.AG 2026-04 unverdicted novelty 6.0

Algebraically integrable foliations of fixed dimension and bounded adjoint volume are log birationally bounded, which implies birational boundedness for stable families of maximal variation.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

Compact moduli of elliptic K3 surfaces.Geom

[AB23] Kenneth Ascher and Dori Bejleri. Compact moduli of elliptic K3 surfaces.Geom. Topol., 27(5):1891–1946,

work page 1946
[2]

On lattice-polarized K3 surfaces, 2025

[AE25] Valery Alexeev and Philip Engel. On lattice-polarized k3 surfaces.arXiv preprint arXiv:2505.22557,

work page arXiv
[3]

Moduli of elliptic surfaces of Kodaira dimension one fibered over rational curves.arXiv preprint arXiv:2407.05539,

[BFH+24] Dori Bejleri, Josiah Foster, Andres Fernandez Herrero, Giovanni Inchiostro, Svetlana Makarova, and Junyan Zhao. Moduli of elliptic surfaces of Kodaira dimension one fibered over rational curves.arXiv preprint arXiv:2407.05539,

work page arXiv
[4]

Stable maps to quotient stacks with a properly stable point.arXiv preprint arXiv:2411.16141,

[DLI24] Andrea Di Lorenzo and Giovanni Inchiostro. Stable maps to quotient stacks with a properly stable point.arXiv preprint arXiv:2411.16141,

work page arXiv
[5]

Moduli of surfaces fibered in log Calabi-Yau pairs.arXiv preprint arXiv:2509.14145,

[ISZ25] Giovanni Inchiostro, Roberto Svaldi, and Junyan Zhao. Moduli of surfaces fibered in log Calabi-Yau pairs.arXiv preprint arXiv:2509.14145,

work page arXiv
[6]

With the collaboration of Klaus Alt- mann and Sándor J. Kovács. [LN02] Gabriele La Nave. Explicit stable models of elliptic surfaces with sections.arXiv preprint math/0205035,

work page internal anchor Pith review Pith/arXiv arXiv
[7]

MMP for locally stable families and wall crossing for moduli of stable pairs, 2023

[MZ23] Fanjun Meng and Ziquan Zhuang. MMP for locally stable families and wall crossing for moduli of stable pairs.arXiv preprint arXiv:2311.01319,

work page arXiv

[1] [1]

Compact moduli of elliptic K3 surfaces.Geom

[AB23] Kenneth Ascher and Dori Bejleri. Compact moduli of elliptic K3 surfaces.Geom. Topol., 27(5):1891–1946,

work page 1946

[2] [2]

On lattice-polarized K3 surfaces, 2025

[AE25] Valery Alexeev and Philip Engel. On lattice-polarized k3 surfaces.arXiv preprint arXiv:2505.22557,

work page arXiv

[3] [3]

Moduli of elliptic surfaces of Kodaira dimension one fibered over rational curves.arXiv preprint arXiv:2407.05539,

[BFH+24] Dori Bejleri, Josiah Foster, Andres Fernandez Herrero, Giovanni Inchiostro, Svetlana Makarova, and Junyan Zhao. Moduli of elliptic surfaces of Kodaira dimension one fibered over rational curves.arXiv preprint arXiv:2407.05539,

work page arXiv

[4] [4]

Stable maps to quotient stacks with a properly stable point.arXiv preprint arXiv:2411.16141,

[DLI24] Andrea Di Lorenzo and Giovanni Inchiostro. Stable maps to quotient stacks with a properly stable point.arXiv preprint arXiv:2411.16141,

work page arXiv

[5] [5]

Moduli of surfaces fibered in log Calabi-Yau pairs.arXiv preprint arXiv:2509.14145,

[ISZ25] Giovanni Inchiostro, Roberto Svaldi, and Junyan Zhao. Moduli of surfaces fibered in log Calabi-Yau pairs.arXiv preprint arXiv:2509.14145,

work page arXiv

[6] [6]

With the collaboration of Klaus Alt- mann and Sándor J. Kovács. [LN02] Gabriele La Nave. Explicit stable models of elliptic surfaces with sections.arXiv preprint math/0205035,

work page internal anchor Pith review Pith/arXiv arXiv

[7] [7]

MMP for locally stable families and wall crossing for moduli of stable pairs, 2023

[MZ23] Fanjun Meng and Ziquan Zhuang. MMP for locally stable families and wall crossing for moduli of stable pairs.arXiv preprint arXiv:2311.01319,

work page arXiv