pith. sign in

arxiv: 2606.21660 · v1 · pith:EKQ4GSMHnew · submitted 2026-06-19 · 🧮 math.AG

Weighted projective degenerations of mathbb{P}^(n)

Kristin DeVleming , Jennifer Li , Sebasti\'an Torres This is my paper

Pith reviewed 2026-06-26 12:44 UTC · model grok-4.3

classification 🧮 math.AG
keywords weighted projective spacesdegenerationsprojective spaceklt singularitiesQ-Gorensteinthreefoldsdeformationsbirational geometry
0
0 comments X

The pith

Weighted projective spaces with chosen weights give infinitely many klt Q-Gorenstein degenerations of projective space in every dimension.

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

The paper constructs infinitely many new degenerations of projective space P^n by identifying families of weighted projective spaces that qualify as klt Q-Gorenstein degenerations. These constructions apply in arbitrary dimension n. The authors also give a detailed analysis of the deformations of arbitrary weighted projective threefolds. The methods extend to produce further degenerations of P^n that lie outside the weighted projective case.

Core claim

We construct infinitely many new degenerations of projective space in any dimension. We do this by exhibiting weighted projective spaces that are klt Q-Gorenstein degenerations of P^n. We also study in detail the deformations of arbitrary weighted projective threefolds, and the same methods produce many additional degenerations of P^n beyond the weighted projective case.

What carries the argument

Weighted projective spaces whose weights are chosen so that the resulting spaces are klt and Q-Gorenstein and arise as flat degenerations of P^n.

If this is right

  • Infinitely many distinct degenerations of P^n exist in every dimension.
  • The same techniques produce degenerations of P^n that are not weighted projective spaces.
  • The deformation theory of weighted projective threefolds admits an explicit description.
  • Applications to moduli problems and birational geometry follow from the existence of these degenerations.

Where Pith is reading between the lines

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

  • The weight patterns may extend to produce degenerations of other Fano varieties with similar singularity conditions.
  • These families could serve as test cases for conjectures on the behavior of numerical invariants under degeneration.
  • The constructions suggest a systematic way to enlarge the boundary components of moduli spaces of varieties with mild singularities.

Load-bearing premise

The specific weighted projective spaces with the listed weights are klt, Q-Gorenstein, and flat degenerations of P^n.

What would settle it

A concrete weight vector for which the corresponding weighted projective space is either not klt, not Q-Gorenstein, or does not admit a flat degeneration to P^n.

read the original abstract

We study weighted projective klt $\mathbb{Q}$-Gorenstein degenerations of projective space $\mathbb{P}^{n}$ and construct infinitely many new degenerations of projective space in any dimension. We also study in detail the deformations of arbitrary weighted projective threefolds. The rest of the paper provides several applications of the existence of degenerations of $\mathbb{P}^{n}$ and our methods apply to find many degenerations of $\mathbb{P}^{n}$ beyond just weighted projective spaces.

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

Summary. The manuscript claims to study weighted projective klt Q-Gorenstein degenerations of projective space P^n, to construct infinitely many new such degenerations in any dimension via explicit weight vectors, to study in detail the deformations of arbitrary weighted projective threefolds, and to apply the methods to produce many further degenerations of P^n beyond the weighted projective case.

Significance. If the central constructions are verified, the provision of infinitely many explicit degenerations in arbitrary dimension would constitute a useful addition to the literature on degenerations of projective space, with potential applications to moduli problems and birational geometry; the detailed deformation analysis of weighted projective threefolds is a concrete strength that stands independently.

major comments (1)
  1. [Constructions] Constructions section (and the abstract claim of 'explicit construction'): the infinitude assertion requires that each chosen weight vector yields a flat family over a curve whose general fiber is smooth P^n, whose special fiber is the given weighted projective space, and for which the total space is klt and Q-Gorenstein. No explicit families, weight lists, or verification of these properties appear in a form that permits independent confirmation; without this step the infinitude claim does not follow from the mere existence of the weighted spaces themselves.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the positive assessment of the potential significance of the work. We address the single major comment below and will revise the manuscript accordingly to strengthen the presentation of the constructions.

read point-by-point responses

  1. Referee: [Constructions] Constructions section (and the abstract claim of 'explicit construction'): the infinitude assertion requires that each chosen weight vector yields a flat family over a curve whose general fiber is smooth P^n, whose special fiber is the given weighted projective space, and for which the total space is klt and Q-Gorenstein. No explicit families, weight lists, or verification of these properties appear in a form that permits independent confirmation; without this step the infinitude claim does not follow from the mere existence of the weighted spaces themselves.

    Authors: We agree that the current presentation of the constructions would benefit from greater explicitness to permit independent verification. The weight vectors are defined in Section 3 via an infinite parametric family satisfying the numerical conditions (a) and (b) that guarantee the total space is klt and Q-Gorenstein; the flat family itself is realized as the natural weighted projective bundle over a smooth curve with the indicated special fiber. In the revision we will add an explicit subsection containing (i) a short list of concrete weight vectors for n=2,3,4 together with the corresponding curve and total space, (ii) a step-by-step verification that the general fiber is smooth P^n and the total space satisfies the klt and Q-Gorenstein hypotheses using the toric criteria already cited in the paper, and (iii) a brief argument that the chosen parametrization produces infinitely many distinct isomorphism classes. These additions will make the infinitude claim directly checkable without altering the underlying mathematics. revision: yes

Circularity Check

0 steps flagged

No circularity; explicit constructions of degenerations

full rationale

The paper frames its contribution as explicit construction of infinitely many weighted projective klt Q-Gorenstein degenerations of P^n in any dimension. No derivation chain, equations, fitted parameters, or self-citation load-bearing steps are present in the abstract or description that would reduce the central claim to its own inputs by construction. The work is self-contained as a construction paper against external benchmarks of existence, with no visible reduction of predictions or uniqueness claims to prior self-citations. This matches the expected honest non-finding for construction-focused algebraic geometry papers.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Paper relies on standard background in algebraic geometry; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)
  • standard math Standard definitions and properties of klt singularities and Q-Gorenstein varieties in algebraic geometry.
    Invoked to define the class of degenerations studied.

pith-pipeline@v0.9.1-grok · 5599 in / 952 out tokens · 33147 ms · 2026-06-26T12:44:24.532296+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

47 extracted references · 29 canonical work pages

  1. [1]

    Ascher, Kenneth and DeVleming, Kristin and Liu, Yuchen , TITLE =. Invent. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00222-022-01170-5 , URL =

    work page doi:10.1007/s00222-022-01170-5 2023

  2. [2]

    1993 , PAGES =

    Bruns, Winfried and Herzog, J\"urgen , TITLE =. 1993 , PAGES =

    1993

  3. [3]

    DeVleming, Kristin , TITLE =. Compos. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.1112/s0010437x22007552 , URL =

    work page doi:10.1112/s0010437x22007552 2022

  4. [4]

    Iano-Fletcher, A. R. , TITLE =. Explicit birational geometry of 3-folds , SERIES =. 2000 , ISBN =

    2000

  5. [5]

    Fujita, Kento , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/jag/783 , URL =

    work page doi:10.1090/jag/783 2021

  6. [6]

    Duke Math

    Hacking, Paul , TITLE =. Duke Math. J. , FJOURNAL =. 2004 , NUMBER =. doi:10.1215/S0012-7094-04-12421-2 , URL =

    work page doi:10.1215/s0012-7094-04-12421-2 2004

  7. [7]

    Degenerations of del

    Hacking, Paul and Prokhorov, Yuri , note=. Degenerations of del

  8. [9]

    Ishii, Shihoko , TITLE =. Adv. Stud. Pure Math. , FJOURNAL =. 1986 , NUMBER =. doi:10.2969/aspm/00810165 , URL =

    work page doi:10.2969/aspm/00810165 1986

  9. [10]

    Compositio Math

    Ishii, Shihoko , TITLE =. Compositio Math. , FJOURNAL =. 1991 , NUMBER =

    1991

  10. [11]

    Karpov, B. V. and Nogin, D. Yu. , TITLE =. Izv. Ross. Akad. Nauk Ser. Mat. , FJOURNAL =. 1998 , NUMBER =. doi:10.1070/im1998v062n03ABEH000205 , URL =

    work page doi:10.1070/im1998v062n03abeh000205 1998

  11. [12]

    , TITLE =

    Knighten, Carol M. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1973 , PAGES =. doi:10.2307/1996584 , URL =

    work page doi:10.2307/1996584 1973

  12. [13]

    2023 , PAGES =

    Koll\'ar, J\'anos , TITLE =. 2023 , PAGES =

    2023

  13. [14]

    2013 , PAGES =

    Koll\'ar, J\'anos , TITLE =. 2013 , PAGES =. doi:10.1017/CBO9781139547895 , URL =

    work page doi:10.1017/cbo9781139547895 2013

  14. [15]

    1986 , PAGES =

    Kunz, Ernst , TITLE =. 1986 , PAGES =. doi:10.1007/978-3-663-14074-0 , URL =

    work page doi:10.1007/978-3-663-14074-0 1986

  15. [16]

    Topology , FJOURNAL =

    Looijenga, Eduard , TITLE =. Topology , FJOURNAL =. 1986 , NUMBER =. doi:10.1016/0040-9383(86)90045-5 , URL =

    work page doi:10.1016/0040-9383(86)90045-5 1986

  16. [17]

    Manetti, Marco , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1991 , PAGES =. doi:10.1515/crll.1991.419.89 , URL =

    work page doi:10.1515/crll.1991.419.89 1991

  17. [18]

    Journal of Mathematics of Kyoto University , number =

    Hideyuki Matsumura and Paul Monsky , title =. Journal of Mathematics of Kyoto University , number =. 1963 , doi =

    1963

  18. [19]

    , FJOURNAL =

    Reid, Miles , TITLE =. , FJOURNAL =. 1980 , PAGES =. doi:, URL =

    1980

  19. [20]

    Schlessinger, Michael , TITLE =. Invent. Math. , FJOURNAL =. 1971 , PAGES =. doi:10.1007/BF01418741 , URL =

    work page doi:10.1007/bf01418741 1971

  20. [21]

    Totaro, Burt , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2012 , NUMBER =. doi:10.1090/S1056-3911-2011-00557-2 , URL =

    work page doi:10.1090/s1056-3911-2011-00557-2 2012

  21. [22]

    Zhuang, Ziquan , TITLE =. Geom. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.2140/gt.2024.28.3909 , URL =

    work page doi:10.2140/gt.2024.28.3909 2024

  22. [23]

    Peng, Junyao , note=

  23. [24]

    Koll\'ar, J\'anos , note=. Seifert

  24. [25]

    Klt degenerations of projective spaces , author=

  25. [26]

    and Peternell, Thomas , TITLE =

    Greb, Daniel and Kebekus, Stefan and Kov\'acs, S\'andor J. and Peternell, Thomas , TITLE =. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2011 , PAGES =. doi:10.1007/s10240-011-0036-0 , URL =

    work page doi:10.1007/s10240-011-0036-0 2011

  26. [27]

    1983 , PAGES =

    Matsumura, Hideyuki , TITLE =. 1983 , PAGES =

    1983

  27. [28]

    , TITLE =

    Koll\'ar, J\'anos and Kov\'acs, S\'andor J. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2010 , NUMBER =. doi:10.1090/S0894-0347-10-00663-6 , URL =

    work page doi:10.1090/s0894-0347-10-00663-6 2010

  28. [29]

    1998 , PAGES =

    Koll\'ar, J\'anos and Mori, Shigefumi , TITLE =. 1998 , PAGES =. doi:10.1017/CBO9780511662560 , URL =

    work page doi:10.1017/cbo9780511662560 1998

  29. [30]

    Moduli of boundary polarized Calabi-Yau pairs

    Ascher, Kenneth and Bejleri, Dori and Blum, Harold and DeVleming, Kristin and Inchiostro, Giovanni and Liu, Yuchen and Wang, Xiaowei , note=. Moduli of boundary polarized Calabi-Yau pairs

  30. [31]

    Handbook of moduli

    Talpo, Mattia and Vistoli, Angelo , TITLE =. Handbook of moduli. 2013 , ISBN =

    2013

  31. [32]

    Group actions and vector fields (

    Dolgachev, Igor , TITLE =. Group actions and vector fields (. 1982 , ISBN =. doi:10.1007/BFb0101508 , URL =

    work page doi:10.1007/bfb0101508 1982

  32. [33]

    Exposition

    Beltrametti, Mauro and Robbiano, Lorenzo , TITLE =. Exposition. Math. , FJOURNAL =. 1986 , NUMBER =

    1986

  33. [34]

    Greb, Daniel and Rollenske, S\"onke , TITLE =. Math. Res. Lett. , FJOURNAL =. 2011 , NUMBER =. doi:10.4310/MRL.2011.v18.n6.a14 , URL =

    work page doi:10.4310/mrl.2011.v18.n6.a14 2011

  34. [35]

    Interactions with lattice polytopes , SERIES =

    Petracci, Andrea , TITLE =. Interactions with lattice polytopes , SERIES =. [2022] 2022 , ISBN =. doi:10.1007/978-3-030-98327-7\_14 , URL =

    work page doi:10.1007/978-3-030-98327-7 2022

  35. [36]

    1977 , PAGES =

    Hartshorne, Robin , TITLE =. 1977 , PAGES =

    1977

  36. [37]

    Hassett-Keel Program in genus four

    Ascher, Kenneth and DeVleming, Kristin and Liu, Yuchen and Wang, Xiaowei , note=. Hassett-Keel Program in genus four

  37. [38]

    Mori, Shigefumi , TITLE =. J. Math. Kyoto Univ. , FJOURNAL =. 1975 , NUMBER =. doi:10.1215/kjm/1250523007 , URL =

    work page doi:10.1215/kjm/1250523007 1975

  38. [39]

    DeVleming, Kristin and Stapleton, David , TITLE =. J. \'Ec. polytech. Math. , FJOURNAL =. 2024 , PAGES =. doi:10.5802/jep.263 , URL =

    work page doi:10.5802/jep.263 2024

  39. [40]

    2023 , note =

    Xu, Chenyang , TITLE =. 2023 , note =

    2023

  40. [41]

    Greb, Daniel and Kebekus, Stefan and Peternell, Thomas , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2014 , PAGES =. doi:10.1515/crelle-2012-0097 , URL =

    work page doi:10.1515/crelle-2012-0097 2014

  41. [42]

    Li, Chi and Xu, Chenyang , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2014 , NUMBER =. doi:10.4007/annals.2014.180.1.4 , URL =

    work page doi:10.4007/annals.2014.180.1.4 2014

  42. [43]

    , TITLE =

    Koll\'ar, J\'anos and Kov\'acs, S\'andor J. , TITLE =. Moduli , FJOURNAL =. 2024 , PAGES =. doi:10.1112/mod.2024.8 , URL =

    work page doi:10.1112/mod.2024.8 2024

  43. [44]

    Invent Math , FJOURNAL =

    Tai, Yung-Sheng , TITLE =. Invent Math , FJOURNAL =. 1982 , NUMBER =. doi:10.1112/S0010437X09004370 , URL =

    work page doi:10.1112/s0010437x09004370 1982

  44. [45]

    Zhuang, Ziquan , TITLE =. Invent. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00222-021-01046-0 , URL =

    work page doi:10.1007/s00222-021-01046-0 2021

  45. [46]

    Internat

    Liu, Yuchen and Zhu, Ziwen , TITLE =. Internat. J. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.1142/S0129167X22500070 , URL =

    work page doi:10.1142/s0129167x22500070 2022

  46. [47]

    Esser, Louis , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2024 , NUMBER =. doi:10.1016/j.jpaa.2024.107628 , URL =

    work page doi:10.1016/j.jpaa.2024.107628 2024

  47. [48]

    Ivan Cheltsov and DongSeon Hwang and Alex Küronya and Antonio Laface and Frédéric Mangolte and Alex Massarenti and Jihun Park and Junyan Zhao , year=. On