Pith. sign in

REVIEW 2 major objections 4 minor 299 references

For any finite log-crepant cover of klt singularities, normalized volumes scale exactly by the degree.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review

2026-08-04 03:16 UTC pith:HPKPQVEZ

load-bearing objection A serious, genuinely new proof of the non-Galois finite degree formula; the one thing to check before believing it is whether [LZ22, Thm 1.2(3)] really gives the non-Galois δ-transfer the proof needs. the 2 major comments →

arxiv 2607.27032 v2 pith:HPKPQVEZ submitted 2026-07-29 math.AG math.ACmath.DG

The finite degree formula for normalized volumes

Zhiyu Liu This is my paper
classification math.AG math.ACmath.DG MSC 14B0514J1713A1814J45
keywords normalized volumeklt singularityK-semistabilitylog Fano conefinite morphismstable degenerationdegree formulalog pair
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper proves the finite degree formula for normalized volumes: if a finite surjective morphism between klt singularities pulls back the log canonical divisor, then the normalized volume of the source singularity equals the degree of the map times the normalized volume of the target. The formula was previously known for Galois covers and had been conjectured in full generality. The proof degenerates both singularities to log Fano cones, lifts the degeneration and the torus action along the cover, transfers K-semistability through an isogeny-equivariant finite morphism, and computes the volume contribution exactly. This settles a central conjecture in the local stability theory of singularities and gives a powerful tool for computing normalized volumes.

Core claim

Theorem 1.1 states that for a finite surjective morphism f between klt singularities with K_X+Δ_X = f^*(K_Y+Δ_Y), the normalized volumes satisfy cvol(x,X,Δ_X)=deg(f)·cvol(y,Y,Δ_Y). The proof reduces the general case to log Fano cones via stable degeneration, lifts the degeneration to the cover, shows the lifted central fiber is K-semistable whenever the target is (Theorem 4.1, via approximation by quasi-regular Reeb vectors and an analytic transfer result), and then computes the normalized volumes of the vertices via a graded length comparison (Lemma 5.1). Lower semicontinuity gives one inequality and a direct volume estimate gives the reverse.

What carries the argument

The normalized volume cvol is the infimum of (log discrepancy)^dim times volume over valuations centered at the singular point; its minimizer induces a stable degeneration to a K-semistable log Fano cone. The proof's load-bearing steps are the lifting of the special degeneration along the finite cover, the lifting of the torus action and log Fano cone structure, the K-semistability transfer under isogeny-equivariant finite log-crepant morphisms, and the exact degree-multiplicativity of the weighted volume on log Fano cones.

Load-bearing premise

The whole argument leans on a cited analytic theorem about equivariant K-semistability under finite group actions, applied to Kollár components obtained by quasi-regular approximation; if that theorem does not apply at the approximation step, the K-semistability transfer fails and the main equality collapses.

What would settle it

Compute both sides of the identity for an explicit non-Galois finite log-crepant cover, such as a degree-3 cover of an A_2 singularity branched along a torus-invariant divisor, and check that the normalized volume ratio equals the degree; a mismatch would refute the theorem. Alternatively, exhibit isogeny-equivariant log Fano cones related by a finite log-crepant morphism where one is K-semistable and the other is not, which would contradict Theorem 4.1.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • The formula gives a local analogue of Riemann–Hurwitz: normalized volume behaves multiplicatively under finite log-crepant covers, enabling explicit computations for covers of known singularities.
  • Applications that previously required Galois covers, such as boundedness and moduli statements, now work for arbitrary finite morphisms between klt singularities.
  • Theorem 4.1 provides a general method to produce new K-semistable log Fano cones from old ones by taking finite covers with compatible Reeb vectors.
  • The lifted degeneration construction shows that stable degenerations are compatible with finite morphisms up to base change, refining the interaction between singularities and their degenerations.
  • The two-sided bound obtained in the proof gives a practical numerical criterion for comparing normalized volumes under finite maps, independent of knowing minimizers explicitly.

Where Pith is reading between the lines

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

  • The proof's reliance on a cited analytic input suggests that finding an algebraic replacement for the quasi-regular approximation step would make the whole argument purely algebraic, which the paper explicitly leaves open.
  • The volume identity in Lemma 5.1 may be interpretable as a Riemann–Roch statement for filtered algebras, hinting at a general framework where normalized volumes behave like degrees of finite extensions of graded rings.
  • One could expect the degree formula to hold for all quasi-monomial valuations, not only minimizers, which would strengthen the numerical control over finite log-crepant morphisms.
  • The equivariant lifting construction (Lemma 3.3) might extend to profinite or reducible coverings, giving a route to degree formulas for non-finite but quasi-finite log-crepant maps.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper proves the finite degree formula for normalized volumes: for a finite surjective morphism f:(x∈(X,Δ_X))→(y∈(Y,Δ_Y)) between klt singularities with K_X+Δ_X=f^*(K_Y+Δ_Y), one has cvol(x,X,Δ_X)=deg(f)cvol(y,Y,Δ_Y). This confirms a conjecture of Liu–Li–Xu, Zhuang, and Xu–Zhuang. The proof combines stable degeneration with the theory of log Fano cones: after lifting a special degeneration from Y to X and lifting the torus action, it transfers K-semistability via a local analogue of [LZ22, Theorem 1.2], and then computes volumes by a graded Hilbert-function count (Lemma 5.1). The reverse inequality follows from a divisorial valuation argument.

Significance. If valid, this is a significant result: it removes the Galois assumption from the finite degree formula, a basic tool in the local stability theory of singularities. The proof is synthetic, with no free parameters; the main volume computation is a clean homological count. The main caveat is that the proof depends on the precise quantitative statement of [LZ22, Theorem 1.2], which is not stated in the paper; the referee cannot verify the crucial δ-transfer step from the manuscript alone.

major comments (2)
  1. [§4, proof of Theorem 4.1] The step 'Combining this with Lemma 4.7 and [LZ22, Theorem 1.2(3)]' is load-bearing and is not justified as written. The manuscript never states the content of [LZ22, Theorem 1.2] nor its hypotheses. In particular, the finite morphism h:E(ξ_X)→E(ξ_Y) from Lemma 4.7 is not Galois in general, while the title of [LZ22] suggests a Galois/group-quotient statement. If [LZ22, Theorem 1.2(3)] does not give the quantitative δ-transfer for non-Galois finite log-crepant morphisms, the K-semistability transfer in Theorem 4.1, and hence the proof of Theorem 1.1, fails. Please quote the theorem and verify h satisfies all hypotheses.
  2. [§4, Theorem 4.1, reverse implication] The final sentence 'The remaining implication is completely the same' is not immediate: the morphism in Theorem 4.1 goes from X to Y, not from Y to X. The forward direction uses [LZ22] to turn δ(E(ξ_X))<1−ϵ into δ(E(ξ_Y))<1−ϵ; the reverse direction would need the opposite transfer or an additional argument. Since Theorem 1.1 only needs the forward direction, the statement of Theorem 4.1 should either be restricted to that direction, or the reverse implication should be proved.
minor comments (4)
  1. [§1, Corollary 1.2] The reduction 'Using [Sta26, 02LN], we may assume f^{-1}({y})={x} as sets' is too quick. For a finite surjective morphism between normal varieties, the sum of local degrees over the fiber of a closed point equals deg(f) only under additional hypotheses (e.g., flatness). Please supply the argument or prove the corollary by summing the local statement over the finitely many preimages.
  2. [§4, proof of Theorem 4.1] The phrase 'quasi-regular Reeb vectors are dense' should be accompanied by a reference, and the intersection argument with U_ϵ and the neighborhood from Lemma 4.5 should be spelled out.
  3. [§5, Lemma 5.1] The choice of homogeneous elements b_i with weights χ_i forming a C(Y)-basis of C(X) should be justified, and the claim that dim Supp(Q)≤n−1 should be stated explicitly.
  4. [§1] The introduction says 'we prove a local analog of [LZ22, Theorem 1.2(1)]', while the proof of Theorem 4.1 uses [LZ22, Theorem 1.2(3)]; please clarify which part is used.

Circularity Check

0 steps flagged

No significant circularity: the finite degree formula is derived from external stable degeneration results, a K-semistability transfer, and a direct volume computation; the analytic input [LZ22] is external and not equivalent to the target.

full rationale

The derivation chain is not circular. Theorem 1.1 is obtained by combining external results rather than by assuming its conclusion. The stable degeneration of the target (Theorem 2.8), the lifting of special degenerations (Proposition 3.1), the lifting of log Fano cone structures (Proposition 3.4), and the volume formula for Reeb vectors under a finite log-crepant morphism (Lemma 5.1) are independent computations. In Lemma 5.1 the equality cvol(X,Δ_X)(ξ_X)=deg(f)cvol(Y,Δ_Y)(ξ_Y) is computed directly from the graded Hilbert functions P_B(z)=ΣP_A(z−⟨χ_i,ξ_X⟩)+P_Q(z), with Q supported in codimension at least one; no term in this computation is the normalized volume of the original singularity. Theorem 4.1 transfers K-semistability between log Fano cones using [LZ22, Theorem 1.2(3)]; this is an external cited theorem by Yuchen Liu and Ziwen Zhu, not by the present author, and its title indicates it concerns equivariant K-stability under finite group action. The stated limitation — 'relies on an analytic input [LZ22, Theorem 1.2]' (Introduction) — is an acknowledged external dependency. If [LZ22, Thm 1.2(3)] does not cover the non-Galois morphism h of Lemma 4.7, the proof would be incomplete, but that is a correctness/applicability issue, not circularity. No parameter is fitted and later called a prediction; the equality cvol(x)=deg(f)cvol(y) is never assumed. Hence no circular step can be exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

No free parameters or invented entities. The proof is a theorem-proving chain over C depending on stable degeneration, lower semicontinuity, and an analytic K-stability transfer; the most exposed premise is [LZ22, Theorem 1.2], explicitly acknowledged in the introduction.

axioms (6)
  • domain assumption Stable degeneration theorem [XZ25, Theorem 1.1; LX18, Theorem 4.14]: a minimizing valuation yields a K-semistable log Fano cone with equal normalized volume.
    Invoked in Theorem 2.8 and in the proof of Theorem 1.1 to replace the base singularity by a log Fano cone.
  • domain assumption Analytic K-stability transfer under finite log-crepant morphisms [LZ22, Theorem 1.2(3)].
    Explicitly acknowledged in the introduction; used in the proof of Theorem 4.1 to transfer δ-instability from X0 to Y0. This is the least algebraic and most exposed external input.
  • domain assumption Lower semicontinuity of normalized volumes in families [BL21, Theorem 1].
    Used in the proof of Theorem 1.1 to obtain the inequality cvol(x,X,Δ_X) ≥ cvol(x0,X0,Δ_X0).
  • domain assumption Existence and uniqueness up to scaling of minimizers of normalized volume, and quasi-monomiality [Blu18, XZ21, BLQ24, Xu20].
    Used in Section 2.1 to define and control minimizers; background for stable degeneration.
  • domain assumption Log discrepancy compatibility under finite morphisms [KM98, Proposition 5.20; DL15, Proposition 2.14].
    Used in Proposition 3.4 and in the reverse-inequality step of Theorem 1.1 to compare discrepancies of corresponding valuations.
  • standard math Étale fundamental group and torus-action lifting facts [Sza09, Sta26, BS13, BJ12].
    Used in Lemmas 3.2 and 3.3 to lift torus actions along finite étale and ramified covers.

reviewed 2026-08-04 · how reviews work

0 comments
Cite this review

Pith. "Pith review of The finite degree formula for normalized volumes." pith.science (2026). https://pith.science/paper/HPKPQVEZ

@misc{pith2026260727032,
  author       = {Pith},
  title        = {Pith review of: The finite degree formula for normalized volumes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HPKPQVEZ}},
  note         = {Machine review of arXiv:2607.27032}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

Let $f\colon \big(x\in (X, \Delta_X)\big)\to \big(y\in (Y, \Delta_Y)\big)$ be a finite surjective morphism between klt singularities such that $K_X+\Delta_X=f^*(K_Y+\Delta_Y)$. We show that the normalized volumes satisfy \[\widehat{\mathrm{vol}}(x, X, \Delta_X)=\mathrm{deg}(f)\cdot \widehat{\mathrm{vol}}(y, Y, \Delta_Y).\] This proves a conjecture in [LLX20, Zhu25, XZ26a].

Review history (2 revisions) →

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

299 extracted references · 16 linked inside Pith

  1. [1]

    Journal of Latex , pages=

    How to use latex , author=. Journal of Latex , pages=

  2. [2]

    1976 , Publisher =

    Artin, Michael , Title =. 1976 , Publisher =

    1976

  3. [3]

    Beauville, Arnaud , TITLE =. J. Differential Geom. , FJOURNAL =. 1983 , NUMBER =

    1983

  4. [4]

    Campana, Fr\'ed\'eric , TITLE =. Bull. Soc. Math. France , FJOURNAL =. 2021 , NUMBER =. doi:10.24033/bsmf.2823 , URL =

    doi:10.24033/bsmf.2823 2021

  5. [5]

    Druel, St\'ephane and Guenancia, Henri , TITLE =. J. \'Ec. polytech. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.5802/jep.65 , URL =

    doi:10.5802/jep.65 2018

  6. [6]

    Druel, St\'ephane , TITLE =. Invent. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s00222-017-0748-y , URL =

    doi:10.1007/s00222-017-0748-y 2018

  7. [7]

    Bakker, Benjamin and Guenancia, Henri and Lehn, Christian , TITLE =. Invent. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00222-022-01096-y , URL =

    doi:10.1007/s00222-022-01096-y 2022

  8. [8]

    Felisetti, Camilla and Shen, Junliang and Yin, Qizheng , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2022 , NUMBER =. doi:10.1090/tran/8592 , URL =

    doi:10.1090/tran/8592 2022

  9. [9]

    Greb, Daniel and Guenancia, Henri and Kebekus, Stefan , TITLE =. Geom. Topol. , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/gt.2019.23.2051 , URL =

    doi:10.2140/gt.2019.23.2051 2019

  10. [10]

    [2023] 2023 , PAGES =

    G\"ortz, Ulrich and Wedhorn, Torsten , TITLE =. [2023] 2023 , PAGES =. doi:10.1007/978-3-658-43031-3 , URL =

    doi:10.1007/978-3-658-43031-3 2023

  11. [11]

    Huybrechts, Daniel and Xu, Chenyang , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2022 , NUMBER =. doi:10.1017/S1474748020000365 , URL =

    doi:10.1017/s1474748020000365 2022

  12. [12]

    1995 , PAGES =

    Koll\'ar, J\'anos , TITLE =. 1995 , PAGES =. doi:10.1515/9781400864195 , URL =

    doi:10.1515/9781400864195 1995

  13. [13]

    Minimal models and extremal rays (

    Greb, Daniel and Kebekus, Stefan and Peternell, Thomas , TITLE =. Minimal models and extremal rays (. 2016 , ISBN =. doi:10.2969/aspm/07010067 , URL =

    arXiv 2016

  14. [14]

    H\"oring, Andreas and Peternell, Thomas , TITLE =. Invent. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00222-018-00853-2 , URL =

    doi:10.1007/s00222-018-00853-2 2019

  15. [15]

    Kebekus, Stefan , TITLE =. Adv. Math. , FJOURNAL =. 2013 , PAGES =. doi:10.1016/j.aim.2013.06.013 , URL =

    doi:10.1016/j.aim.2013.06.013 2013

  16. [16]

    Namikawa, Yoshinori , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2006 , PAGES =. doi:10.1515/CRELLE.2006.079 , URL =

    doi:10.1515/crelle.2006.079 2006

  17. [17]

    \'Epijournal G\'eom

    Schwald, Martin , TITLE =. \'Epijournal G\'eom. Alg\'ebrique , FJOURNAL =. 2020 , PAGES =. doi:10.46298/epiga.2020.volume4.4557 , URL =

    doi:10.46298/epiga.2020.volume4.4557 2020

  18. [18]

    Kebekus, Stefan and Schnell, Christian , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/jams/962 , URL =

    doi:10.1090/jams/962 2021

  19. [19]

    Greb, Daniel and Lehn, Christian and Rollenske, S\"onke , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2013 , NUMBER =. doi:10.24033/asens.2191 , URL =

    doi:10.24033/asens.2191 2013

  20. [20]

    Duke Math

    Greb, Daniel and Kebekus, Stefan and Peternell, Thomas , TITLE =. Duke Math. J. , FJOURNAL =. 2016 , NUMBER =. doi:10.1215/00127094-3450859 , URL =

    doi:10.1215/00127094-3450859 2016

  21. [21]

    , TITLE =

    O'Grady, Kieran G. , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2003 , NUMBER =. doi:10.1090/S1056-3911-03-00323-0 , URL =

    doi:10.1090/s1056-3911-03-00323-0 2003

  22. [22]

    Koll\'ar, J\'anos and Laza, Radu and Sacc\`a, Giulia and Voisin, Claire , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2018 , NUMBER =. doi:10.5802/aif.3228 , URL =

    doi:10.5802/aif.3228 2018

  23. [23]

    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 =

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

  24. [24]

    Beauville, Arnaud , TITLE =. Invent. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002229900043 , URL =

    doi:10.1007/s002229900043 2000

  25. [25]

    1998 , PAGES =

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

    doi:10.1017/cbo9780511662560 1998

  26. [26]

    Lai, Ching-Jui , TITLE =. Math. Ann. , FJOURNAL =. 2011 , NUMBER =. doi:10.1007/s00208-010-0574-7 , URL =

    doi:10.1007/s00208-010-0574-7 2011

  27. [27]

    and McKernan, James , TITLE =

    Birkar, Caucher and Cascini, Paolo and Hacon, Christopher D. and McKernan, James , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2010 , NUMBER =. doi:10.1090/S0894-0347-09-00649-3 , URL =

    doi:10.1090/s0894-0347-09-00649-3 2010

  28. [28]

    and Xu, Chenyang , TITLE =

    Hacon, Christopher D. and Xu, Chenyang , TITLE =. Invent. Math. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s00222-012-0409-0 , URL =

    doi:10.1007/s00222-012-0409-0 2013

  29. [29]

    Catanese, Fabrizio , TITLE =. J. Differential Geom. , FJOURNAL =. 2007 , NUMBER =

    2007

  30. [30]

    Iliev, Atanas and Manivel, Laurent , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2011 , NUMBER =. doi:10.24033/asens.2146 , URL =

    doi:10.24033/asens.2146 2011

  31. [31]

    Algebraic and complex geometry , SERIES =

    Markman, Eyal , TITLE =. Algebraic and complex geometry , SERIES =. 2014 , ISBN =. doi:10.1007/978-3-319-05404-9\_10 , URL =

    doi:10.1007/978-3-319-05404-9 2014

  32. [32]

    Huybrechts, Daniel , TITLE =. Invent. Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/s002220050280 , URL =

    doi:10.1007/s002220050280 1999

  33. [33]

    Marian, Alina and Zhao, Xiaolei , TITLE =. \'. 2020 , PAGES =. doi:10.46298/epiga.2020.volume4.5506 , URL =

    doi:10.46298/epiga.2020.volume4.5506 2020

  34. [34]

    Beauville, Arnaud , TITLE =. J. Topol. , FJOURNAL =. 2011 , NUMBER =. doi:10.1112/jtopol/jtr002 , URL =

    doi:10.1112/jtopol/jtr002 2011

  35. [35]

    Shen, Junliang and Yin, Qizheng , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2020 , NUMBER =. doi:10.1017/s147474801800049x , URL =

    doi:10.1017/s147474801800049x 2020

  36. [36]

    Debarre, Olivier and Kuznetsov, Alexander , TITLE =. Math. Ann. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00208-019-01893-6 , URL =

    doi:10.1007/s00208-019-01893-6 2020

  37. [37]

    Ravi Vakil , journal=

  38. [38]

    2016 , publisher=

    Kuznetsov, Alexander , booktitle=. 2016 , publisher=

    2016

  39. [39]

    Bayer, Arend and Perry, Alexander , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2023 , PAGES =. doi:10.1515/crelle-2023-0021 , URL =

    doi:10.1515/crelle-2023-0021 2023

  40. [40]

    Recent advances in algebraic geometry , SERIES =

    Debarre, Olivier and Iliev, Atanas and Manivel, Laurent , TITLE =. Recent advances in algebraic geometry , SERIES =. 2015 , ISBN =

    2015

  41. [41]

    Debarre, Olivier , journal=

  42. [42]

    Guo, Hanfei and Liu, Zhiyu , journal=

  43. [43]

    Grégoire Menet , journal=

  44. [44]

    Sacc\`a, Giulia , journal=

  45. [45]

    Sacc\`a, Giulia , TITLE =. Geom. Topol. , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/gt.2023.27.1479 , URL =

    doi:10.2140/gt.2023.27.1479 2023

  46. [46]

    Local and global methods in algebraic geometry , SERIES =

    Voisin, Claire , TITLE =. Local and global methods in algebraic geometry , SERIES =. [2018] 2018 , ISBN =. doi:10.1090/conm/712/14354 , URL =

    doi:10.1090/conm/712/14354 2018

  47. [47]

    Birational geometry and moduli spaces , SERIES =

    Perego, Arvid , TITLE =. Birational geometry and moduli spaces , SERIES =. [2020] 2020 , ISBN =. doi:10.1007/978-3-030-37114-2\_9 , URL =

    doi:10.1007/978-3-030-37114-2 2020

  48. [48]

    Sawon, Justin and Shen, Chen , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2022 , NUMBER =

    2022

  49. [49]

    Emma Brakkee and Chiara Camere and Annalisa Grossi and Laura Pertusi and Giulia Saccà and Sasha Viktorova , journal=

  50. [50]

    1970 , PAGES =

    Mumford, David , TITLE =. 1970 , PAGES =

    1970

  51. [51]

    1977 , PAGES =

    Hartshorne, Robin , TITLE =. 1977 , PAGES =

    1977

  52. [52]

    Valeria Bertini and Annalisa Grossi and Mirko Mauri and Enrica Mazzon , journal=

  53. [53]

    Arbarello, Enrico and Sacc\`a, Giulia and Ferretti, Andrea , TITLE =. J. Differential Geom. , FJOURNAL =. 2015 , NUMBER =

    2015

  54. [54]

    , TITLE =

    Markushevich, Dimitri and Tikhomirov, Alexander S. , TITLE =. Internat. J. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1142/S0129167X07004503 , URL =

    doi:10.1142/s0129167x07004503 2007

  55. [55]

    Perego, Arvid and Rapagnetta, Antonio , TITLE =. Algebr. Geom. , FJOURNAL =. 2023 , NUMBER =. doi:10.14231/ag-2023-012 , URL =

    doi:10.14231/ag-2023-012 2023

  56. [56]

    Classification of algebraic and analytic manifolds (

    Fujiki, Akira , TITLE =. Classification of algebraic and analytic manifolds (. 1983 , ISBN =

    1983

  57. [57]

    Fu, Lie and Menet, Gr\'egoire , TITLE =. Math. Z. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00209-020-02682-7 , URL =

    doi:10.1007/s00209-020-02682-7 2021

  58. [58]

    Pacific J

    Collino, Alberto , TITLE =. Pacific J. Math. , FJOURNAL =. 1986 , NUMBER =

    1986

  59. [59]

    Grothendieck, Alexander , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1966 , PAGES =

    1966

  60. [60]

    , TITLE =

    O'Grady, Kieran G. , TITLE =. Duke Math. J. , FJOURNAL =. 2006 , NUMBER =. doi:10.1215/S0012-7094-06-13413-0 , URL =

    doi:10.1215/s0012-7094-06-13413-0 2006

  61. [61]

    Debarre, Olivier and Kuznetsov, Alexander , year =. Algebr. Geom. , doi =

  62. [62]

    Pirozhkov, Dmitrii , TITLE =. Adv. Math. , FJOURNAL =. 2023 , PAGES =. doi:10.1016/j.aim.2023.109046 , URL =

    arXiv 2023

  63. [63]

    2018 , publisher=

    Kuznetsov, Alexander and Perry, Alexander , journal=. 2018 , publisher=

    2018

  64. [64]

    Verbitsky, Mikhail , TITLE =. J. Algebraic Geom. , FJOURNAL =. 1996 , NUMBER =

    1996

  65. [65]

    Projectivity and birational geometry of

    Bayer, Arend and Macr\`. Projectivity and birational geometry of. J. Amer. Math. Soc. , FJOURNAL =. 2014 , NUMBER =. doi:10.1090/S0894-0347-2014-00790-6 , URL =

    doi:10.1090/s0894-0347-2014-00790-6 2014

  66. [66]

    , TITLE =

    O'Grady, Kieran G. , TITLE =. Algebr. Geom. , FJOURNAL =. 2022 , NUMBER =. doi:10.14231/ag-2022-001 , URL =

    doi:10.14231/ag-2022-001 2022

  67. [67]

    Beckmann, Thorsten , TITLE =. Compos. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1112/S0010437X22007849 , URL =

    doi:10.1112/s0010437x22007849 2023

  68. [68]

    Bayer, Arend and Beentjes, Sjoerd Viktor and Feyzbakhsh, Soheyla and Hein, Georg and Martinelli, Diletta and Rezaee, Fatemeh and Schmidt, Benjamin , TITLE =. Geom. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.2140/gt.2024.28.127 , URL =

    doi:10.2140/gt.2024.28.127 2024

  69. [69]

    Hartshorne, Robin , TITLE =. Inst. Hautes \'. 1975 , PAGES =

    1975

  70. [70]

    , TITLE =

    Kapranov, M. , TITLE =. Compositio Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.1023/A:1000664527238 , URL =

    doi:10.1023/a:1000664527238 1999

  71. [71]

    Huang, Shengyuan , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2021 , NUMBER =. doi:10.1016/j.jpaa.2021.106673 , URL =

    arXiv 2021

  72. [72]

    Toda, Yukinobu , TITLE =. J. Differential Geom. , FJOURNAL =. 2009 , NUMBER =

    2009

  73. [73]

    Taelman, Lenny , TITLE =. Geom. Topol. , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/gt.2023.27.2649 , URL =

    doi:10.2140/gt.2023.27.2649 2023

  74. [74]

    , TITLE =

    O'Grady, Kieran G. , TITLE =. Manuscripta Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00229-011-0472-7 , URL =

    doi:10.1007/s00229-011-0472-7 2012

  75. [75]

    , TITLE =

    O'Grady, Kieran G. , TITLE =. Pure Appl. Math. Q. , FJOURNAL =. 2008 , NUMBER =. doi:10.4310/PAMQ.2008.v4.n2.a6 , URL =

    doi:10.4310/pamq.2008.v4.n2.a6 2008

  76. [76]

    Triangle varieties and surface decomposition of hyper-

    Voisin, Claire , journal=. Triangle varieties and surface decomposition of hyper-

  77. [77]

    Duke Math

    Addington, Nicolas and Thomas, Richard , TITLE =. Duke Math. J. , FJOURNAL =. 2014 , NUMBER =. doi:10.1215/00127094-2738639 , URL =

    doi:10.1215/00127094-2738639 2014

  78. [78]

    Verbitsky, Mikhail , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/BF02247112 , URL =

    doi:10.1007/bf02247112 1996

  79. [79]

    , TITLE =

    Looijenga, Eduard and Lunts, Valery A. , TITLE =. Invent. Math. , FJOURNAL =. 1997 , NUMBER =. doi:10.1007/s002220050166 , URL =

    doi:10.1007/s002220050166 1997

  80. [80]

    Markushevich, Dimitri , TITLE =. Math. Ann. , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s00208-008-0227-2 , URL =

    doi:10.1007/s00208-008-0227-2 2008

Showing first 80 references.

This paper was first reviewed by deepseek-v4-flash on August 4, 2026.