pith. sign in

arxiv: 2507.12623 · v2 · submitted 2025-07-16 · 🧮 math.AG · math.NT

Remarks on two problems by Hassett

Klaus Hulek , Yota Maeda This is my paper

Pith reviewed 2026-05-19 03:47 UTC · model grok-4.3

classification 🧮 math.AG math.NT
keywords moduli spacesweighted pointed rational curveslog canonical modelsHassett-Keel programDeligne-Mostow ball quotientsGIT quotientsboundary divisors
0
0 comments X

The pith

All moduli spaces of weighted pointed rational curves arise as log canonical models of M_{0,5}.

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

This paper shows that the moduli spaces of weighted pointed rational curves, written M_{0,A}, can all be realized as log canonical models of the space M_{0,5} once suitable coefficients are chosen on its boundary divisors. A reader would care because the construction supplies an explicit geometric realization inside the Hassett-Keel program and recovers the earlier theorem of Fedorchuk and Moon as a special case. The work further links the resulting spaces to Deligne-Mostow ball quotients and compares symmetric-weight variants of M_{0,n·(1/k)} with the usual M_{0,n}.

Core claim

We prove that all moduli spaces of weighted pointed rational curves M_{0,A} arise as log canonical models of M_{0,5} for suitable choices of boundary coefficients, thereby also recovering a theorem of Fedorchuk and Moon. The results generalize earlier work for the case n=5 with asymmetric boundary divisors and relate the spaces to Deligne-Mostow ball quotients. The case n=5 is treated as an explicit example within the broader program of determining log canonical models of M_{0,n}.

What carries the argument

The log canonical model of M_{0,5} obtained by varying coefficients on its asymmetric boundary divisors, which produces the GIT quotient defining each weighted space M_{0,A}.

If this is right

  • The theorem of Fedorchuk and Moon is recovered as a special case of the construction.
  • The resulting moduli spaces are related to Deligne-Mostow ball quotients.
  • Log canonical models of M_{0,n·(1/k)} with symmetric weights differ from the usual M_{0,n}.
  • The n=5 case supplies an explicit guiding example for the general Hassett-Keel program.

Where Pith is reading between the lines

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

  • The same boundary-coefficient variation might produce weighted spaces for M_{0,n} when n exceeds 5.
  • Arithmetic or hyperbolic properties known for Deligne-Mostow quotients could be transferred to the weighted moduli spaces.
  • Comparable log-canonical constructions may apply to other moduli spaces of curves or higher-dimensional varieties.

Load-bearing premise

The log canonical model construction on M_{0,5}, when the boundary coefficients are varied, yields precisely the GIT quotient that defines the weighted moduli space M_{0,A} for every admissible weight vector A.

What would settle it

For a fixed admissible weight vector A, compute the log canonical model of M_{0,5} with the corresponding boundary coefficients and check whether the resulting space is isomorphic to the known GIT quotient M_{0,A}.

read the original abstract

One of the ultimate goals of the Hassett-Keel program is the determination of the log canonical models of the moduli spaces of pointed rational curves $\overline{M}_{0,n}$. In this paper, we study log canonical models of $\overline{M}_{0,5}$ with \textit{asymmetric} boundary divisors. Our results generalize previous work by Alexeev-Swinarski, Fedorchuk-Smyth, Kiem-Moon and Simpson for the first non-trivial case, namely $n=5$. We prove that all moduli spaces of weighted pointed rational curves $\overline{M}_{0,A}$ arise as log canonical models of $\overline{M}_{0,5}$ for suitable choices of boundary coefficients, thereby also recovering a theorem of Fedorchuk and Moon. In addition, we relate these moduli spaces to Deligne-Mostow ball quotients. We further study log canonical models of the moduli spaces $\overline{M}_{0,n\cdot (1/k)}$ with symmetric weight, which differ from $\overline{M}_{0,n}$. The case $n=5$ can be viewed as an explicit guiding example in a very general program and the paper can thus also serve as an expository introduction.

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 paper studies log canonical models of the moduli space of 5-pointed rational curves M_{0,5} using asymmetric boundary divisors. It proves that every weighted moduli space M_{0,A} arises in this way for appropriate choices of boundary coefficients, thereby recovering a theorem of Fedorchuk and Moon. Connections to Deligne-Mostow ball quotients are explored, and symmetric weight cases for general n are also examined as an explicit example in the Hassett-Keel program.

Significance. If the main results hold, this provides a concrete realization of all M_{0,A} as log canonical models of M_{0,5}, advancing the understanding of the birational geometry of these moduli spaces in the Hassett-Keel program. The recovery of the Fedorchuk-Moon theorem and the link to ball quotients add value. The case n=5 serves as a guiding example for the general program, making the paper useful both as a research contribution and an expository piece.

major comments (2)
  1. [§4] §4, Theorem 4.1: The identification that the log canonical model of M_{0,5} with the constructed asymmetric boundary divisor equals the GIT quotient (P^1)^5 //_{A} SL(2) for arbitrary admissible A rests on the semi-stable loci and stability conditions coinciding. While symmetric cases are handled explicitly, the argument for fully asymmetric weights would be strengthened by an explicit verification or a general stability criterion that confirms the A-stable curves are precisely the semi-stable points under the chosen linearization.
  2. [§5] §5: The relation between the log canonical models and Deligne-Mostow ball quotients is stated but the precise period map or the way the asymmetric boundary induces the ball quotient structure is not derived in detail; an explicit description of the map or a reference to the relevant period domain computation would make this connection load-bearing for the claim.
minor comments (2)
  1. The notation n·(1/k) for the symmetric weight vector in the abstract and §1 could be expanded with a brief definition to avoid ambiguity for readers outside the immediate area.
  2. [§2] In §2, the background on prior results by Alexeev-Swinarski and Kiem-Moon would benefit from one additional sentence clarifying how the asymmetric case extends their symmetric boundary constructions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below and will revise the manuscript to incorporate the suggested clarifications, which we believe will strengthen the presentation.

read point-by-point responses

  1. Referee: [§4] §4, Theorem 4.1: The identification that the log canonical model of M_{0,5} with the constructed asymmetric boundary divisor equals the GIT quotient (P^1)^5 //_{A} SL(2) for arbitrary admissible A rests on the semi-stable loci and stability conditions coinciding. While symmetric cases are handled explicitly, the argument for fully asymmetric weights would be strengthened by an explicit verification or a general stability criterion that confirms the A-stable curves are precisely the semi-stable points under the chosen linearization.

    Authors: We agree that making the stability correspondence fully explicit for asymmetric weights would strengthen the argument in Theorem 4.1. While the symmetric cases are treated by direct computation of the Hilbert-Mumford criterion, the general admissible case follows from the same numerical function applied to the relevant one-parameter subgroups. In the revised version we will add a short lemma that verifies the coincidence of the A-stable locus with the semi-stable locus for arbitrary admissible A by checking the relevant numerical functions on the curves that appear in the boundary, thereby confirming the identification with the GIT quotient. revision: yes

  2. Referee: [§5] §5: The relation between the log canonical models and Deligne-Mostow ball quotients is stated but the precise period map or the way the asymmetric boundary induces the ball quotient structure is not derived in detail; an explicit description of the map or a reference to the relevant period domain computation would make this connection load-bearing for the claim.

    Authors: We thank the referee for this observation. The connection in Section 5 is made by identifying the log canonical model with a quotient of a period domain whose hyperbolic structure is given by the Deligne-Mostow construction. In the revised manuscript we will expand the discussion to include a brief description of the period map, indicating how the asymmetric boundary coefficients determine the weights in the period domain computation and referencing the explicit period domain calculations in Deligne-Mostow for the five-point case. This will make the link between the log canonical model and the ball quotient more explicit. revision: yes

Circularity Check

0 steps flagged

No circularity: central claim is an explicit construction independent of inputs

full rationale

The paper proves that every weighted moduli space M_{0,A} arises as a log canonical model of M_{0,5} by choosing suitable (asymmetric) boundary coefficients on the divisor sum. This is achieved via direct comparison of stability conditions between the log canonical model and the GIT quotient (P^1)^5 //_{A} SL(2), generalizing earlier results of Alexeev-Swinarski, Fedorchuk-Smyth, Kiem-Moon and Simpson while recovering the Fedorchuk-Moon theorem as a corollary. No step reduces a prediction to a fitted parameter, renames a known result, or relies on a load-bearing self-citation whose content is itself unverified; the cited prior theorems are external and the argument supplies the explicit boundary choices and numerical equivalence checks needed for the identification. The derivation therefore remains self-contained against the external GIT and log canonical model benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; the paper operates inside the standard framework of algebraic geometry and the Hassett-Keel program. No free parameters, invented entities, or ad-hoc axioms are mentioned.

axioms (1)
  • standard math Standard properties of the moduli space of stable rational curves and of log canonical models in algebraic geometry.
    The results rely on the established definitions and theorems of the Hassett-Keel program and the geometry of M_{0,n}.

pith-pipeline@v0.9.0 · 5735 in / 1427 out tokens · 52384 ms · 2026-05-19T03:47:39.941722+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

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

  1. [1]

    Ascher, K

    K. Ascher, K. DeVleming, Y. Liu, X. Wang, Hassett--Keel Program in genus four, arXiv:2504.20312

    work page arXiv

  2. [2]

    Alexeev, G.M

    V. Alexeev, G.M. Guy, Moduli of weighted stable maps and their gravitational descendants, J. Inst. Math. Jussieu 7 (2008), no. 3, 425–456

    work page 2008

  3. [3]

    Alexeev, D

    V. Alexeev, D. Swinarski, Nef divisors on _ 0,n from GIT , Geometry and arithmetic, 1–21, EMS Ser. Congr. Rep., Eur. Math. Soc., Zürich, 2012

    work page 2012

  4. [4]

    Allcock, J

    D. Allcock, J. A. Carlson, D. Toledo, The complex hyperbolic geometry of the moduli space of cubic surfaces, J. Algebr. Geom. 11, No. 4, 659-724 (2002)

    work page 2002

  5. [5]

    Allcock, J

    D. Allcock, J. A. Carlson, and D. Toledo, The moduli space of cubic threefolds as a ball quotient, Mem. Amer. Math. Soc., 209 (2011), no. 985, xii+70

    work page 2011

  6. [6]

    Baily, A

    W. Baily, A. Borel, Compactification of arithmetic quotients of bounded symmetric domains, Ann. of Math. (2) 84 (1966), 442–528

    work page 1966

  7. [7]

    Casalaina-Martin, S

    S. Casalaina-Martin, S. Grushevsky, K. Hulek, R. Laza, Non-isomorphic smooth compactifications of the moduli space of cubic surfaces, Nagoya Mathematical Journal, 1-51 (2023)

    work page 2023

  8. [8]

    Casalaina-Martin, D

    S. Casalaina-Martin, D. Jensen, R. Laza, The geometry of the ball quotient model of the moduli space of genus four curves, Contemporary Mathematics 564, 107-136 (2012)

    work page 2012

  9. [9]

    Casalaina-Martin, D

    S. Casalaina-Martin, D. Jensen, R. Laza, Log canonical models and variation of GIT for genus 4 canonical curves, J. Algebr. Geom. 23, No. 4, 727-764 (2014)

    work page 2014

  10. [10]

    Cheltsov, Log canonical thresholds of del Pezzo surfaces, Geom

    I. Cheltsov, Log canonical thresholds of del Pezzo surfaces, Geom. Funct. Anal. 18, No. 4, 1118-1144 (2008)

    work page 2008

  11. [11]

    Deligne, G.D

    P. Deligne, G.D. Mostow, Monodromy of hypergeometric functions and nonlattice integral monodromy, Publ. Math. Inst. Hautes Études Sci. 63 (1986) 5-8

    work page 1986

  12. [12]

    Deligne, D

    P. Deligne, D. Mumford, The irreducibility of the space of curves of a given genus, Publ. Math., Inst. Hautes Étud. Sci. 36, 75-109 (1969)

    work page 1969

  13. [13]

    I. V. Dolgachev, Classical algebraic geometry. A modern view, Cambridge: Cambridge University Press. xii, 639 p. (2012)

    work page 2012

  14. [14]

    Dolgachev, B

    I. Dolgachev, B. van Geemen, S. Kond\=o, A complex ball uniformization of the moduli space of cubic surfaces via periods of K3 surfaces, J. Reine Angew. Math. 588, 99-148 (2005)

    work page 2005

  15. [15]

    Fedorchuk, Moduli of weighted pointed stable curves and log canonical models of M_ g,n Math

    M. Fedorchuk, Moduli of weighted pointed stable curves and log canonical models of M_ g,n Math. Res. Lett. 18, No. 4, 663-675 (2011)

    work page 2011

  16. [16]

    Fedorchuk, The Final Log Canonical Model of the Moduli Space of Stable Curves of Genus 4 , International Mathematics Research Notices, Volume 2012, Issue 24, 2012, Pages 5650–5672,

    M. Fedorchuk, The Final Log Canonical Model of the Moduli Space of Stable Curves of Genus 4 , International Mathematics Research Notices, Volume 2012, Issue 24, 2012, Pages 5650–5672,

    work page 2012

  17. [17]

    Fedorchuk, Symmetric F-conjecture for g 35 , arXiv:2007.13457 (2020)

    M. Fedorchuk, Symmetric F-conjecture for g 35 , arXiv:2007.13457 (2020)

    work page arXiv 2007

  18. [18]

    Fedorchuk, D

    M. Fedorchuk, D. -I. Smyth, Ample divisors on moduli spaces of pointed rational curves, Algebraic geometry 2000, Azumino (Hotaka), 185–248, J. Algebraic Geom. 20 (2011), no. 4, 599–629

    work page 2000

  19. [19]

    Farkas, A

    G. Farkas, A. Gibney, The Mori cones of moduli spaces of pointed curves of small genus, Trans. Amer. Math. Soc., 355(3):1183–1199, 2003

    work page 2003

  20. [20]

    Gibney, S

    A. Gibney, S. Keel, I. Morrison, Towards the amople cone of _ g,n , J. Amer. Math. Soc. 15 no.2 (2002), 273-294

    work page 2002

  21. [21]

    Gallardo, M

    P. Gallardo, M. Kerr, L. Schaffler, Geometric interpretation of toroidal compactifications of moduli of points in the line and cubic surfaces, Adv. Math. 381 (2021), Paper No. 107632

    work page 2021

  22. [22]

    Hassett, Moduli spaces of weighted pointed stable curves, Adv

    B. Hassett, Moduli spaces of weighted pointed stable curves, Adv. Math. 173 (2003), no. 2, 316-352

    work page 2003

  23. [23]

    Hassett, Classical and minimal models of the moduli space of curves of genus two, Progress in Mathematics 235, 169-192 (2005)

    B. Hassett, Classical and minimal models of the moduli space of curves of genus two, Progress in Mathematics 235, 169-192 (2005)

    work page 2005

  24. [24]

    Hassett, D

    B. Hassett, D. Hyeon, Log canonical models for the moduli space of curves: the first divisorial contraction, Trans. Am. Math. Soc. 361, No. 8, 4471-4489 (2009)

    work page 2009

  25. [25]

    Hassett, D

    B. Hassett, D. Hyeon, Log minimal model program for the moduli space of stable curves: the first flip, Ann. Math. (2) 177, No. 3, 911-968 (2013)

    work page 2013

  26. [26]

    Compactifications of the Eisenstein ancestral Deligne-Mostow variety

    K. Hulek, S. Kond\= o , Y. Maeda, Compactifications of the Eisenstein ancestral Deligne-Mostow variety, arXiv:2403.18345 (2024)

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  27. [27]

    Hulek, Y

    K. Hulek, Y. Maeda, Revisiting the moduli space of 8 points on ^1 , Adv. Math. 463 (2025)

    work page 2025

  28. [28]

    Hulek, Y

    K. Hulek, Y. Maeda, The universe of Deligne-Mostow varieties, arXiv:2504.16235

    work page arXiv

  29. [29]

    B. Hunt, S. Weintraub, Janus-like algebraic varieties J. Differ. Geom. 39, No. 3, 509-557 (1994)

    work page 1994

  30. [30]

    Hyeon, Y

    D. Hyeon, Y. Lee, Log minimal model program for the moduli space of stable curves of genus three, Math. Res. Lett. 17, No. 4, 625-636 (2010)

    work page 2010

  31. [31]

    M. M. Kapranov, Chow quotients of Grassmannians. I, Amer. Math. Soc. Adv. Sov. Math. 16(2), 29-110 (1993)

    work page 1993

  32. [32]

    M. M. Kapranov, Veronese curves and Grothendieck-Knudsen moduli space M_ 0,n , J. Algebr. Geom. 2, No. 2, 239-262 (1993)

    work page 1993

  33. [33]

    Keel, Intersection theory of moduli space of stable n -pointed curves of genus zero, Trans

    S. Keel, Intersection theory of moduli space of stable n -pointed curves of genus zero, Trans. Amer. Math. Soc. 330 (1992), no. 2, 545–574

    work page 1992

  34. [34]

    F. C. Kirwan, R. Lee, S. H. Weintraub, Quotients of the complex ball by discrete groups, Pacific J. Math. 130 (1987), no. 1, 115-141

    work page 1987

  35. [35]

    S. Keel, J. McKernan, Contractible extremal rays on _ 0,n , Handbook of moduli. Vol. II, 115–130, Adv. Lect. Math. (ALM), 25, Int. Press, Somerville, MA, 2013

    work page 2013

  36. [36]

    Kiem, H-.B

    Y.-H. Kiem, H-.B. Moon, Moduli spaces of weighted pointed stable rational curves via GIT, Osaka J. Math. 48 (2011), no. 4, 1115–1140

    work page 2011

  37. [37]

    Kond\= o , The Moduli Space of 5 Points on ^1 and K3 Surfaces, Arithmetic and Geometry Around Hypergeometric Functions, Progr

    S. Kond\= o , The Moduli Space of 5 Points on ^1 and K3 Surfaces, Arithmetic and Geometry Around Hypergeometric Functions, Progr. Math., vol. 260, Birkhäuser, Basel, 2007, pp. 189-206

    work page 2007

  38. [38]

    P. L. Larsen, Fulton’s conjecture for M _ 0,7 , J. Lond. Math. Soc., II. Ser. 85, No. 1, 1-21 (2012)

    work page 2012

  39. [39]

    Y. Liu, J. Zhao, K-moduli of Fano threefolds and genus four curves, arXiv:2403.16747 (2024)

    work page arXiv 2024

  40. [40]

    Manin Cubic forms, North-Holland Mathematical Library, Vol

    Y. Manin Cubic forms, North-Holland Mathematical Library, Vol. 4 (1986)

    work page 1986

  41. [41]

    Massarenti, M

    A. Massarenti, M. Mella, On the automorphisms of moduli spaces of curves, Springer Proceedings in Mathematics & Statistics 79, 149-167 (2014)

    work page 2014

  42. [42]

    Massarenti, M

    A. Massarenti, M. Mella, On the automorphisms of Hassett’s moduli spaces, Trans. Am. Math. Soc. 369, No. 12, 8879-8902 (2017)

    work page 2017

  43. [43]

    Mok, Projective algebraicity of minimal compactifications of complex-hyperbolic space forms of finite volume, Progress in Mathematics 296, 331-354 (2012)

    N. Mok, Projective algebraicity of minimal compactifications of complex-hyperbolic space forms of finite volume, Progress in Mathematics 296, 331-354 (2012)

    work page 2012

  44. [44]

    Moon, Log canonical models for the moduli space of stable pointed rational curves, Proc

    H.-B. Moon, Log canonical models for the moduli space of stable pointed rational curves, Proc. Am. Math. Soc. 141, No. 11, 3771-3785 (2013)

    work page 2013

  45. [45]

    Moon, A family of divisors on _ g,n and their log canonical models , J

    H.-B. Moon, A family of divisors on _ g,n and their log canonical models , J. Pure Appl. Algebra 219, No. 10, 4642-4652 (2015)

    work page 2015

  46. [46]

    Moonen, The Deligne-Mostow List and special families of surfaces, Int

    B. Moonen, The Deligne-Mostow List and special families of surfaces, Int. Math. Res. Not. 2018, No. 18, 5823-5855 (2018)

    work page 2018

  47. [47]

    Mostow, Generalized Picard lattices arising from half-integral conditions, Publ

    G.D. Mostow, Generalized Picard lattices arising from half-integral conditions, Publ. Math. IH\'ES 63 (1986) 91-106

    work page 1986

  48. [48]

    Pixton, A nonboundary nef divisor on M _ 0,12 , Geom

    A. Pixton, A nonboundary nef divisor on M _ 0,12 , Geom. Topol. 17, No. 3, 1317-1324 (2013)

    work page 2013

  49. [49]

    Simpson, On log canonical models of the moduli space of stable pointed genus zero curves, Thesis (Ph.D.)–Rice University

    M. Simpson, On log canonical models of the moduli space of stable pointed genus zero curves, Thesis (Ph.D.)–Rice University. 2008. https://repository.rice.edu/server/api/core/bitstreams/8bf8b274-8e23-4e2d-b855-09c1371b7e1d/content

    work page 2008

  50. [50]

    W. P. Thurston, Shapes of polyhedra and triangulations of the sphere, Geom. Topol. Monogr. 1, 511-549 (1998)

    work page 1998

  51. [51]

    C. Yu, Z. Zheng, Commensurability Among Deligne-Mostow Monodromy Groups, arXiv:2411.09682

    work page arXiv