arxiv: 2605.09898 · v1 · submitted 2026-05-11 · 🧮 math.AG

Recognition: 2 theorem links

· Lean Theorem

Quasi-Projective Moduli for Polarized klt Good Minimal Models

Xiaowei Jiang

Pith reviewed 2026-05-12 04:16 UTC · model grok-4.3

classification 🧮 math.AG

keywords moduli spacesklt good minimal modelsweak positivitydirect imagesquasi-projective varietiesGabber's Extension TheoremViehweg's ampleness criterionKodaira dimension

0 comments

The pith

The normalization of the moduli space of polarized klt good minimal models is quasi-projective for arbitrary Kodaira dimension.

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

The paper proves weak positivity of direct images for locally stable families of klt good minimal models over reduced quasi-projective bases by applying Gabber's Extension Theorem. It then uses Viehweg's ampleness criterion on the prior moduli space construction to conclude that the normalization is quasi-projective. This matters to a sympathetic reader because quasi-projectivity supplies an algebraic embedding into projective space, which organizes the parameter space for these models. The result covers arbitrary Kodaira dimension rather than restricting to special cases.

Core claim

We prove the weak positivity of direct images for locally stable families of klt good minimal models over reduced quasi-projective bases using Gabber's Extension Theorem. As an application, we apply Viehweg's ampleness criterion to show that the normalization of the moduli space of polarized klt good minimal models of arbitrary Kodaira dimension, constructed in prior work, is quasi-projective.

What carries the argument

Weak positivity of direct images of the relevant sheaves in locally stable families, established via Gabber's Extension Theorem, which supplies the positivity needed for Viehweg's ampleness criterion to act on the moduli space.

If this is right

The moduli space admits a natural ample line bundle coming from Viehweg's criterion.
The space can be embedded as an open subset of a projective variety.
The construction extends to families with any Kodaira dimension without losing the quasi-projective property.
Algebraic tools for quasi-projective varieties become available for studying deformations of these minimal models.

Where Pith is reading between the lines

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

The same positivity technique might apply to moduli spaces with additional structure such as markings or level structures.
Quasi-projectivity could allow construction of a natural compactification by adding boundary components corresponding to degenerations.
The result suggests testing whether weak positivity persists when the base is permitted to be non-reduced.

Load-bearing premise

The families are locally stable, the base is reduced and quasi-projective, and Gabber's Extension Theorem applies directly to the direct images.

What would settle it

A concrete locally stable family of polarized klt good minimal models over a reduced quasi-projective base whose direct image fails to be weakly positive would refute the positivity step and thus the quasi-projectivity conclusion.

read the original abstract

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 / 1 minor

Summary. The paper proves the weak positivity of direct images for locally stable families of klt good minimal models over reduced quasi-projective bases by applying Gabber's Extension Theorem. As an application, it uses Viehweg's ampleness criterion to conclude that the normalization of the moduli space of polarized klt good minimal models of arbitrary Kodaira dimension, as constructed in the author's prior work [Jia23], is quasi-projective.

Significance. If the weak positivity result holds under the stated hypotheses, the paper would establish quasi-projectivity of a moduli space in a general setting that includes arbitrary Kodaira dimension, extending known results for positive Kodaira dimension cases and completing a key step in the moduli theory of klt pairs with good minimal models.

major comments (2)

[§3] §3 (proof of weak positivity via Gabber's theorem): the manuscript asserts that local stability of the families together with reducedness and quasi-projectivity of the base suffice to apply Gabber's Extension Theorem to the direct images R^i f_*(K_{X/B} + Δ), but provides no explicit verification that these sheaves are coherent, torsion-free, or reflexive and extend across codimension-2 loci without additional vanishing or normality assumptions that may fail for arbitrary (including non-positive) Kodaira dimension.
[Application to moduli space] Application paragraph following the positivity theorem: the deduction that the normalization of the moduli space from [Jia23] is quasi-projective via Viehweg's criterion inherits the dependence on the prior construction without an independent check that the positivity feeds directly into ampleness on the normalization in the presence of the asserted local stability.

minor comments (1)

[References] The bibliography entry for [Jia23] should include the full arXiv or journal details for completeness.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below and will revise the paper accordingly to improve clarity and completeness.

read point-by-point responses

Referee: [§3] §3 (proof of weak positivity via Gabber's theorem): the manuscript asserts that local stability of the families together with reducedness and quasi-projectivity of the base suffice to apply Gabber's Extension Theorem to the direct images R^i f_*(K_{X/B} + Δ), but provides no explicit verification that these sheaves are coherent, torsion-free, or reflexive and extend across codimension-2 loci without additional vanishing or normality assumptions that may fail for arbitrary (including non-positive) Kodaira dimension.

Authors: We agree that an explicit verification would strengthen the exposition. In the revised version we will add a dedicated paragraph in §3 explaining the required properties: coherence of the direct images follows from properness of f and the klt assumption via standard base-change theorems; torsion-freeness and reflexivity hold because local stability implies that the relative canonical sheaf is Q-Cartier and the higher direct images satisfy the necessary depth conditions even when the Kodaira dimension is zero (in which case the sheaves are typically locally free on the base). Gabber's Extension Theorem then applies directly on the reduced quasi-projective base without extra vanishing hypotheses, as the reflexivity guarantees extension across codimension-2 loci. We will include a short reference to the relevant reflexivity results for families of good minimal models to cover all Kodaira dimensions. revision: yes
Referee: [Application to moduli space] Application paragraph following the positivity theorem: the deduction that the normalization of the moduli space from [Jia23] is quasi-projective via Viehweg's criterion inherits the dependence on the prior construction without an independent check that the positivity feeds directly into ampleness on the normalization in the presence of the asserted local stability.

Authors: The local stability condition is part of the definition of the moduli space constructed in [Jia23], so the families parametrized by the base satisfy the hypotheses of our weak-positivity theorem. We will expand the application paragraph to include a brief independent remark clarifying that the weak positivity of the direct images on the normalization follows immediately from the theorem (applied to the universal family or its pullbacks), and that Viehweg's ampleness criterion then yields the desired positivity of the Hodge line bundle on the normalization. This makes the logical step more self-contained while still relying on the prior construction for the existence of the moduli space itself. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new positivity result is independent

full rationale

The paper proves weak positivity of direct images for locally stable klt families using Gabber's Extension Theorem (an external result), then applies the known Viehweg ampleness criterion to conclude that the normalization of the moduli space whose existence was established in [Jia23] is quasi-projective. The derivation chain does not reduce any claim to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain; the self-citation supplies the object of study while the positivity and application steps are self-contained against external theorems and do not presuppose the target quasi-projectivity result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The argument rests on two standard theorems from algebraic geometry whose statements are invoked without re-proof.

axioms (2)

standard math Gabber's Extension Theorem applies to the direct images of the relevant sheaves on locally stable families
Invoked in the abstract to establish weak positivity
standard math Viehweg's ampleness criterion converts weak positivity of direct images into quasi-projectivity of the moduli space
Applied directly in the abstract

pith-pipeline@v0.9.0 · 5345 in / 1271 out tokens · 35851 ms · 2026-05-12T04:16:47.194295+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/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
We prove the weak positivity of direct images for locally stable families of klt good minimal models over reduced quasi-projective bases using Gabber’s Extension Theorem. As an application, we apply Viehweg’s ampleness criterion to show that the normalization of the moduli space of polarized klt good minimal models of arbitrary Kodaira dimension, constructed in [Jia23], is quasi-projective.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Theorem 1.3. Let f: (X, B)→S be a locally stable family of klt pairs over a reduced quasi-projective scheme S such that K_X + B is f-semiample. Then ... the sheaf f_* O_X(q(K_{X/S}+B)) is weakly positive over S.

Reference graph

Works this paper leans on

237 extracted references · 237 canonical work pages · 1 internal anchor

[1]

, year =

Grothendieck, A. , year =. Institut des Hautes

work page
[2]

Stable Varieties with a Twist , booktitle =

Abramovich, Dan and Hassett, Brendan , year =. Stable Varieties with a Twist , booktitle =

work page
[3]

2000 , journal =

Weak Semistable Reduction in Characteristic 0 , author =. 2000 , journal =

work page 2000
[4]

On the Components of the

Alessandro, Massimiliano and Catanese, Fabrizio , year =. On the Components of the. 2212.14872 , primaryclass =

work page arXiv
[5]

Boundedness and

Alexeev, Valery , year =. Boundedness and. International Journal of Mathematics , volume =

work page
[6]

Compactifications of Moduli of Elliptic

Alexeev, Valery and Brunyate, Adrian and Engel, Philip , year =. Compactifications of Moduli of Elliptic. Geometry & Topology , volume =

work page
[7]

Compact Moduli of

Alexeev, Valery and Engel, Philip , year =. Compact Moduli of. Annals of Mathematics. Second Series , volume =

work page
[8]

2002 , journal =

Complete Moduli in the Presence of Semiabelian Group Action , author =. 2002 , journal =

work page 2002
[9]

Explicit Compactifications of Moduli Spaces of Secondary

Alexeev, Valery and Hu, Xiaoyan , year =. Explicit Compactifications of Moduli Spaces of Secondary. 2309.11397 , primaryclass =

work page arXiv
[10]

The Flex Divisor of a

Alexeev, Valery and Engel, Philip , year =. The Flex Divisor of a. International Mathematics Research Notices. IMRN , number =

work page
[11]

2015 , series =

Moduli of Weighted Hyperplane Arrangements , author =. 2015 , series =

work page 2015
[12]

Stable Pair Compactification of Moduli of

Alexeev, Valery and Engel, Philip and Thompson, Alan , year =. Stable Pair Compactification of Moduli of. Journal f

work page
[13]

Stacks and

Alper, Jarod , year =. Stacks and

work page
[14]

2005 , journal =

The Moduli B-Divisor of an Lc-Trivial Fibration , author =. 2005 , journal =

work page 2005
[15]

Positivity of the

Ambro, Florin and Cascini, Paolo and Shokurov, Vyacheslav and Spicer, Calum , year =. Positivity of the. 2111.00423 , primaryclass =

work page arXiv
[16]

Science China

Two Examples of Surfaces with Normal Crossing Singularities , author =. Science China. Mathematics , volume =

work page
[17]

K-Stability of

Xu, Chenyang , year = 2025, series =. K-Stability of

work page 2025
[18]

On Positivity of the

Xu, Chenyang and Zhuang, Ziquan , year = 2020, journal =. On Positivity of the

work page 2020
[19]

Positivity of the

Codogni, Giulio and Patakfalvi, Zsolt , year = 2021, journal =. Positivity of the

work page 2021
[20]

Inventiones Mathematicae , volume =

Global Moduli for Surfaces of General Type , author =. Inventiones Mathematicae , volume =

work page
[21]

Geometric Invariant Theory , author =

work page
[22]

Effective Positivity of

Codogni, Giulio and Patakfalvi, Zsolt and Tasin, Luca , year = 2025, number =. Effective Positivity of. 2506.10515 , primaryclass =

work page arXiv 2025
[23]

Publications of the Research Institute for Mathematical Sciences , volume =

Vanishing and Semipositivity Theorems for Semi-Log Canonical Pairs , author =. Publications of the Research Institute for Mathematical Sciences , volume =

work page
[24]

Notes on the Weak Positivity Theorems , booktitle =

Fujino, Osamu , year = 2017, series =. Notes on the Weak Positivity Theorems , booktitle =

work page 2017
[25]

Algebraic Geometry , volume =

Fundamental Theorems for Semi Log Canonical Pairs , author =. Algebraic Geometry , volume =

work page
[26]

2003 , journal =

Quasi-Log Varieties , author =. 2003 , journal =

work page 2003
[27]

2004 , journal =

Shokurov's Boundary Property , author =. 2004 , journal =

work page 2004
[28]

2016 , journal =

Variation of Log Canonical Thresholds in Linear Systems , author =. 2016 , journal =

work page 2016
[29]

, year =

Arbarello, Enrico and Cornalba, Maurizio and Griffiths, Phillip A. , year =. Geometry of Algebraic Curves

work page
[30]

, year =

Artin, M. , year =. Algebraization of Formal Moduli. Annals of Mathematics. Second Series , volume =

work page
[31]

1962 , journal =

Some Numerical Criteria for Contractability of Curves on Algebraic Surfaces , author =. 1962 , journal =

work page 1962
[32]

2024 , number =

Boundedness Results for Families of Non-Canonically Polarized Projective Varieties , author =. 2024 , number =. 2408.15153 , primaryclass =

work page arXiv 2024
[33]

2026 , journal =

Boundedness Results for Families of Non-Canonically Polarized Projective Varieties , author =. 2026 , journal =

work page 2026
[34]

Compact Moduli of Elliptic

Ascher, Kenneth and Bejleri, Dori , year =. Compact Moduli of Elliptic. Geometry & Topology , volume =

work page
[35]

K-Stability and Birational Models of Moduli of Quartic

Ascher, Kenneth and DeVleming, Kristin and Liu, Yuchen , year =. K-Stability and Birational Models of Moduli of Quartic. Inventiones Mathematicae , volume =

work page
[36]

2017 , journal =

Log Canonical Models of Elliptic Surfaces , author =. 2017 , journal =

work page 2017
[37]

Moduli of Boundary Polarized

Ascher, Kenneth and Bejleri, Dori and Blum, Harold and DeVleming, Kristin and Inchiostro, Giovanni and Liu, Yuchen and Wang, Xiaowei , year =. Moduli of Boundary Polarized. 2307.06522 , primaryclass =

work page arXiv
[38]

2019 , journal =

Moduli of Fibered Surface Pairs from Twisted Stable Maps , author =. 2019 , journal =

work page 2019
[39]

2021 , journal =

Moduli of Weighted Stable Elliptic Surfaces and Invariance of Log Plurigenera , author =. 2021 , journal =

work page 2021
[40]

1975 , series =

Smooth Compactification of Locally Symmetric Varieties , author =. 1975 , series =

work page 1975
[41]

2001 , series =

Algebraic Surfaces , author =. 2001 , series =

work page 2001
[42]

On Some Contractibility Criteria of Curves on Surfaces , booktitle =

B. On Some Contractibility Criteria of Curves on Surfaces , booktitle =. 2001 , pages =

work page 2001
[43]

1966 , journal =

Compactification of Arithmetic Quotients of Bounded Symmetric Domains , author =. 1966 , journal =

work page 1966
[44]

Bakker, Benjamin and Filipazzi, Stefano and Mauri, Mirko and Tsimerman, Jacob , year =. Baily--. 2508.19215 , primaryclass =

work page arXiv
[45]

O-Minimal

Bakker, Benjamin and Brunebarbe, Yohan and Tsimerman, Jacob , year =. O-Minimal. Inventiones Mathematicae , volume =

work page
[46]

2021 , journal =

Stable Pairs with a Twist and Gluing Morphisms for Moduli of Surfaces , author =. 2021 , journal =

work page 2021
[47]

2013 , journal =

Moduli of Products of Stable Varieties , author =. 2013 , journal =

work page 2013
[48]

1989 , journal =

On the Hyperplane Sections of Blow-Ups of Complex Projective Plane , author =. 1989 , journal =

work page 1989
[49]

On the Hyperplane Sections of Ruled Surfaces , booktitle =

Biancofiore, Aldo , year =. On the Hyperplane Sections of Ruled Surfaces , booktitle =

work page
[50]

Anticanonical Volumes of

Birkar, Caucher , year =. Anticanonical Volumes of. Birational Geometry,

work page
[51]

Anti-Pluricanonical Systems on

Birkar, Caucher , year =. Anti-Pluricanonical Systems on. Annals of Mathematics. Second Series , volume =

work page
[52]

2017 , journal =

The Augmented Base Locus of Real Divisors over Arbitrary Fields , author =. 2017 , journal =

work page 2017
[53]

Boundedness of Elliptic

Birkar, Caucher and Di Cerbo, Gabriele and Svaldi, Roberto , year =. Boundedness of Elliptic. 2010.09769 , primaryclass =

work page arXiv 2010
[54]

Boundedness of Elliptic

Birkar, Caucher and Di Cerbo, Gabriele and Svaldi, Roberto , year =. Boundedness of Elliptic. Journal of Differential Geometry , volume =

work page
[55]

Boundedness of

Birkar, Caucher , year =. Boundedness of. 2209.08797 , primaryclass =

work page arXiv
[56]

Boundedness of

Birkar, Caucher , year =. Boundedness of. Annales Scientifiques de l'

work page
[57]

2023 , journal =

Boundedness and Moduli of Algebraic Varieties , author =. 2023 , journal =

work page 2023
[58]

2024 , journal =

Boundedness and Moduli of Algebraic Varieties , author =. 2024 , journal =

work page 2024
[59]

2021 , eprint =

Boundedness and Volume of Generalised Pairs , author =. 2021 , eprint =

work page 2021
[60]

Bounding Non-Rationality of Divisors on 3-Fold

Birkar, Caucher and Loginov, Konstantin , year =. Bounding Non-Rationality of Divisors on 3-Fold. Journal f

work page
[61]

Birkar, Caucher , year =. On the. Higher Dimensional Algebraic Geometry---a Volume in Honor of

work page
[62]

Effectivity of

Birkar, Caucher and Zhang, De-Qi , year =. Effectivity of. Publications Math

work page
[63]

2016 , journal =

Existence of Flips and Minimal Models for 3-Folds in Char p , author =. 2016 , journal =

work page 2016
[64]

Existence of Log Canonical Flips and a Special

Birkar, Caucher , year =. Existence of Log Canonical Flips and a Special. Publications Math

work page
[65]

2010 , journal =

Existence of Minimal Models for Varieties of Log General Type , author =. 2010 , journal =

work page 2010
[66]

2021 , journal =

Generalised Pairs in Birational Geometry , author =. 2021 , journal =

work page 2021
[67]

2023 , journal =

Geometry of Polarised Varieties , author =. 2023 , journal =

work page 2023
[68]

2017 , journal =

Higher Dimensional Algebraic Geometry---in Honour of. 2017 , journal =

work page 2017
[69]

2022 , eprint =

Moduli of Algebraic Varieties , author =. 2022 , eprint =

work page 2022
[70]

Some Open Problems in Birational Geometry: Dedicated to the Memory of

Birkar, Caucher , year =. Some Open Problems in Birational Geometry: Dedicated to the Memory of. ICCM Notices. Notices of the International Congress of Chinese Mathematicians , volume =

work page
[71]

Singularities on

Birkar, Caucher , year =. Singularities on. 2305.18770 , primaryclass =

work page arXiv
[72]

Singularities of Linear Systems and Boundedness of

Birkar, Caucher , year =. Singularities of Linear Systems and Boundedness of. Annals of Mathematics. Second Series , volume =

work page
[73]

2022 , eprint =

Variations of Generalised Pairs , author =. 2022 , eprint =

work page 2022
[74]

The Existence of the

Blum, Harold and Liu, Yuchen and Xu, Chenyang and Zhuang, Ziquan , year =. The Existence of the. Forum of Mathematics. Pi , volume =

work page
[75]

Good Moduli Spaces for Boundary Polarized

Blum, Harold and Liu, Yuchen , year =. Good Moduli Spaces for Boundary Polarized. 2407.00850 , primaryclass =

work page arXiv
[76]

2021 , journal =

The Normalized Volume of a Singularity Is Lower Semicontinuous , author =. 2021 , journal =

work page 2021
[77]

Openness of

Blum, Harold and Liu, Yuchen and Xu, Chenyang , year =. Openness of. Duke Mathematical Journal , volume =

work page
[78]

Openness of Uniform

Blum, Harold and Liu, Yuchen , year =. Openness of Uniform. Annales Scientifiques de l'

work page
[79]

Thresholds, Valuations, and

Blum, Harold and Jonsson, Mattias , year =. Thresholds, Valuations, and. Advances in Mathematics , volume =

work page
[80]

Uniqueness of

Blum, Harold and Xu, Chenyang , year =. Uniqueness of. Annals of Mathematics. Second Series , volume =

work page

Showing first 80 references.