Pith. sign in

REVIEW 3 major objections 4 minor 32 references

Hodge numbers of a Fano eightfold of K3 type

T0 review · 3 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read By constructing a semistable degeneration of a Fano eightfold of K3 type, this paper computes its Hodge diamond, showing Picard rank one and vanishing odd cohomology.

desk verdict A genuinely new degeneration and Hodge computation, with a plausible but top-heavy proof; the stress-test about Q^3 is a red herring, but the paper leans hard on unreviewed preprints and a few sketchy computations. read the letter →

arxiv 2512.14249 v2 pith:X36GSNZM submitted 2025-12-16 math.AG

Vanja Zuliani This is my paper
classification math.AG MSC 14J4514J2814D0714C30
keywords FanovarietiesK3typeHodgenumberssemistabledegenerationmotivicnearbycyclecubicfourfoldantisymplecticinvolutionBridgelandstability
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper establishes the full Hodge diamond of a particular Fano eightfold F of index three and K3 type, showing in particular that it has Picard rank one and vanishing odd cohomology. It does so by constructing an explicit semistable degeneration of F whose central fibre is a transverse union of a flop of a blown-up P^8 and a fibration in quadric fourfolds over a cubic fourfold. The motivic nearby cycle of this degeneration then computes the Hodge numbers. A byproduct is a projective model of the Hilbert square of a genus-eight K3 surface as the closure of images of secant lines.

What carries the argument

The central mechanism is the semistable degeneration F→D and the motivic nearby-cycle identity ψ_mot = [Σ] + [Q4/Y] − (1+L)[Q3/Y] in the Grothendieck ring of varieties. Because the monodromy of the family is zero (shown via Clemens–Schmid once the weight filtration on the central fibre's cohomology is trivial), the Hodge–Deligne polynomial of the smooth fibre F equals that of ψ_mot. The degeneration itself is built through a sequence of Mukai flops and a divisorial contraction induced by wall-crossing in Bridgeland stability on a K3 surface, followed by a blow-up of the singular locus Y.

What would settle it

Compute directly the singular locus of Σ from the explicit construction (e.g., from the secant-line model of Theorem 1.5) and check whether it is a smooth cubic fourfold; a different dimension or degree would invalidate the central fibre. Alternatively, compute the monodromy operator of the degeneration by following a vanishing cycle; non-zero monodromy would break the motivic nearby-cycle equality.

Watch

Extended reading notes

Core claim

The paper proves that the Fano eightfold F—defined as a connected component of the fixed locus of an antisymplectic involution on a variety deformation equivalent to Hilb^8(K3)—admits a semistable degeneration F→D whose central fibre is the transverse union Σ ∪ (Q4/Y), with intersection Q3/Y. Here Y is a smooth cubic fourfold, Σ is a flop of the blow-up of P^8 in a genus-eight K3 surface, and Q4/Y (resp. Q3/Y) is a fibration in smooth quadric fourfolds (resp. threefolds) over Y. From this degeneration the author derives the Hodge diamond of F: the non-zero entries are concentrated in even bidegrees, the largest being h^{4,4}=253, and h^{1,1}=1 (Picard rank one); odd cohomology vanishes.

Load-bearing premise

The identification of the singular locus of the contracted variety Σ with a smooth cubic fourfold Y is imported from external results (an LLSvS isomorphism and the structure of a fixed locus), and the entire central-fibre description—and hence the Hodge computation—depends on that identification being correct.

Editorial extensions

If this is right

  • F has Picard rank one and vanishing odd cohomology, so its Hodge diamond is completely determined.
  • The Hodge numbers of F are computed from the Hodge diamonds of Σ, Q4/Y, and Q3/Y via the motivic nearby cycle.
  • The degeneration gives a geometric decomposition of F into a flop of Bl_S P^8 and a quadric fibration over a cubic fourfold.
  • The Hilbert square of any genus-eight K3 surface S is realised as a projective model in P(∧^4 V6) via secant lines to S.
  • The computed Hodge numbers agree with the predictions of the conjectural semiorthogonal decomposition of D(F).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same degeneration machinery might apply to the other Fano components F_n (n=1,3), potentially yielding Hodge numbers for the Debarre–Voisin eightfold and new unirationality evidence for moduli spaces of polarized hyperkähler fourfolds.
  • The agreement of the Hodge numbers with the conjectured semiorthogonal decomposition gives indirect evidence for the Flapan–Macrì–O'Grady–Saccà conjecture, and suggests that constructing the decomposition itself is a concrete next step.
  • The projective model of the Hilbert square via secant lines could be used to study the moduli space of polarized K3 surfaces of genus eight and its intersection with hyperkähler geometry, since it realises S^[2] inside a Plücker space.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper constructs an explicit semistable degeneration of a Fano eightfold F of K3 type. The central fibre is described as a transverse union Σ ∪ (Q4/Y), with intersection Q3/Y, where Y is a smooth cubic fourfold, Q4/Y and Q3/Y are fibrations in smooth quadrics, and Σ is a flop of Bl_S P^8. The motivic nearby cycle is evaluated using explicit Grothendieck-class computations, yielding a claimed Hodge diamond with h^{1,1}=1 and vanishing odd cohomology. The construction proceeds through wall-crossing in Bridgeland moduli spaces, Mukai flops on fixed loci of antisymplectic involutions, and a smoothing/blow-up argument; a secondary result gives a projective model of S^[2] via secant lines to a genus-eight K3.

Significance. If the construction is correct, this is a significant contribution: it gives an explicit degeneration of a relatively inaccessible Fano eightfold and a complete Hodge-number computation, with consequences for Picard rank, K3 categories, and the study of fixed loci of antisymplectic involutions. The paper leans heavily on the framework of Flapan–Macrì–O'Grady–Saccà and on the Debarre–Macrì classification; the author's original contributions are the identification of the divisorial contraction, the local structure of the singularities, and the motivic calculation. The Hodge arithmetic is internally consistent: I recomputed the nearby-cycle formula from Lemma 5.1 and obtained h^{1,1}=1 and h^{4,4}=253, matching Corollaries 1.4 and 5.5. I also checked the natural worry that a fibration in quadric 3-folds would have odd cohomology; this is not the case: a smooth quadric 3-fold has Betti numbers 1,0,1,0,1,0,1, so the class [Q3]=1+L+L^2+L^3 used in Lemma 5.1 is correct.

major comments (3)
  1. [§3.4, Proposition 3.20] The proof of Proposition 3.20 — and hence the structure of the central fibre — depends on the identification of M2 with an LLSvS variety via [DM, Proposition B.12] and on the description of the fixed locus in [FM+II, Theorems 1.3–1.4]. This is a global classification input, and the paper gives no statement of how the isomorphism is realized or why the hypotheses are satisfied beyond Lemma 3.22. Since the whole degeneration rests on this step, please state the relevant isomorphism explicitly, verify the polarization conditions, and explain how the cubic fourfold Y appears as a fixed-locus component. As written, this is a black box and the weakest point in the geometric chain.
  2. [§3.3, Lemma 3.15] The local structure of Σ near g(Δ(2)) is established by a Macaulay2 computation: the ideal of \barQ∩μ^{-1}(0) and the regular-sequence check are stated without code or output certificate. This computation is load-bearing for Corollaries 3.11–3.16 and Proposition 3.18. To make the proof reproducible, please provide the script, the exact ring/orders, or a hand-checkable certificate of the regular-sequence claim. Also clarify the status of Q∩μ^{-1}(0): Q is locally closed, so say explicitly whether I3 defines the closure of that locus and why the quotient in Corollary 3.16 is the expected closed subvariety.
  3. [§5, Lemma 5.1 and Lemma 5.3] The product formulas [Q4/Y]=[Y][Q4] and [Q3/Y]=[Y][Q3], and the surjectivity in Lemma 5.3, assume that the quadric fibrations behave cohomologically like products. Since Q4/Y and Q3/Y are not shown to be Zariski-locally trivial bundles, please justify this either by constructing the relevant O(1) classes and applying Leray–Hirsch (using simple connectivity of Y) or by proving local triviality of the fibrations. This is a technical point, but it underpins the Hodge-diamond computation and the Clemens–Schmid argument.
minor comments (4)
  1. [§5, Corollaries 5.2 and 5.5] The displayed Hodge diamonds list only rows from the middle degree down to H^0; the dual rows above the middle are omitted. This is standard, but it should be stated explicitly, especially for the 7-dimensional Q3/Y in (5.4), where the omitted rows H^8,H^10,H^12,H^14 are not displayed.
  2. [§4, Theorem 4.1] Typo: 'quardic' should be 'quadric'. There are also typographical errors in Section 5 ('modnodromy', 'degenration'). Please proofread.
  3. [References] The reference '[L]' is used for two different works: Lazarsfeld's Positivity in algebraic geometry and Landman's paper on the Picard–Lefschetz transformation. Please rename one of them to avoid ambiguity.
  4. [§3.1–3.3] The notation Q, \barQ, Q1, Q2, Q3 is dense and sometimes confusing (e.g., Q is used both for a matrix set and a subvariety). A short glossary or a table of these loci would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Hodge computation depends on prior theorems, not on its own conclusion; the skeptic's quadric-class objection is a correctness issue, not a circular one.

full rationale

The claimed derivation is not circular. Theorem 1.3 and Corollary 1.4 are obtained by (i) quoting prior structural results [FM+I, FM+II, A, AS, DM] for the birational geometry and the fixed locus of the involution, (ii) constructing a smoothing of the contracted variety via Namikawa-Markman deformation theory, and (iii) applying the motivic nearby-cycle/Clemens-Schmid formula. The target Hodge diamond does not appear among the inputs; no parameter is fitted to the target and no prediction is a renamed input. The heavy use of [FM+I, FM+II, DM] is load-bearing but not circular: those are prior, parameter-free theorems whose assumptions do not include the present Hodge numbers, so they count as independent support even where the authors overlap. The passage 'We expect Y− to be regular, however we were not able to prove this' is an admitted gap, but it is subsequently circumvented (Proposition 4.5) rather than used as a premise; it creates no circularity. The skeptic's objection to Lemma 5.1, namely that [Q3/Y] = [Y](1+L+L^2+L^3) erases the odd cohomology of a quadric threefold, is a potential mathematical error: if correct, it would invalidate (5.4) and the final Hodge diamond, but an erroneous input is not the same as a circular reduction, because the class is not chosen so as to force the advertised conclusion by definition.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

No numerical parameters are fitted; the axioms are the imported theorems from the moduli-space literature and the computational checks. The main external dependencies are [FM+I, FM+II] (fixed-locus decomposition, flop structure), [A] (specific linear-algebra and moduli computations), [AS] (singularity models), [DM] (LLSvS identification), and [Mar]/[N] (deformation theory). The paper contributes the degeneration and Hodge computation on top of these inputs.

assumptions (8)
  • domain assumption Existence, Fano property, index three, and fixed-locus decomposition Fix(τ_n) = F_n ⊔ Ω_n for the antisymplectic involution on X_n.
    Stated in the introduction as a result of [FM+I, FM+II]; the paper does not re-derive it and the entire construction starts from it.
  • domain assumption The Mukai flops c_i, c'_i for i=-1,0,1 have the exceptional loci described in Lemmata 2.1–2.3, and the restrictions to the fixed loci have the stated fibres.
    Quoted from [FM+I, Example 3.25] and [A, Propositions 8.4, 7.2].
  • domain assumption The local analytic structure of the singularities of Bridgeland moduli spaces is as in [AS, Corollary 4.1] and Proposition 3.3.
    Used to prove normality of Σ_1 and to compute the fixed-locus local models in Sections 2–3.
  • domain assumption The deformation theory results of Markman [Mar] and Namikawa [N] on Def(M), Def(M,τ) apply as stated in [FM+I, Section 2].
    Foundational for the smoothing of \barΣ in Section 4.
  • domain assumption M_2 is isomorphic to an LLSvS variety and its fixed locus under τ_2 has a cubic-fourfold component Y ([DM, Prop. B.12], [FM+II, Thms 1.3–1.4]).
    Load-bearing for identifying the singular locus Y ⊂ \barΣ and hence the quadric fibrations in the central fibre.
  • ad hoc to paper The Macaulay2 computation in Lemma 3.15 (the ideal of \barQ ∩ μ^{-1}(0) and the regular-sequence check) is correct.
    The paper states the output of the computation but ships no script; the S_3/normality claim for Q_3 rests on this check.
  • standard math The pure/trivial-weight-filtration condition implies zero monodromy in Clemens-Schmid theory.
    Proposition 5.4, quoted from [Mor] and [P]; used to pass from the central fibre to the smooth fibre's Hodge numbers.
  • ad hoc to paper The blowup identification of q: Bl_Gr P^14 → P^14∨ (Lemma 2.13) is correct.
    Proved by 'straightforward computations' and local normal-bundle analysis; details of the rank-4/rank-2 case analysis are sketched.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hodge numbers of a Fano eightfold of K3 type." pith.science (2026). https://pith.science/paper/X36GSNZM

@misc{pith2026251214249,
  author       = {Pith},
  title        = {Pith review of: Hodge numbers of a Fano eightfold of K3 type},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/X36GSNZM}},
  note         = {Machine review of arXiv:2512.14249}
}
read the original abstract

We construct an explicit semistable degeneration of a Fano eightfold of index three and deduce its Hodge numbers, in particular we show that it has Picard rank one. The Fano variety is of K3 type and it is defined as a connected component of the fixed locus of a suitable antisymplectic involution on a projective variety that is deformation equivalent to the Hilbert scheme of eight points on a K3 surface. We also obtain a description of a projective model of the Hilbert square of a K3 surface of genus eight in terms of secant lines to the surface.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

32 extracted references · 3 linked inside Pith

  1. [2]

    Volume 1

    Arbarello, E., Saccà, G., Singularities of Bridgeland moduli spaces for K3 categories: un update, Albano, Alberto (ed.) et al., Perspectives on four decades of algebraic geometry. Volume 1. In memory of Alberto Collino. Cham: Birkhäuser. Prog. Math. 351, 1-42 (2025)

    2025

  2. [1]

    New York etc.: Springer-Verlag

    Arbarello, E., Cornalba, Griffith, Harris, Geometry of algebraic curves I, Grundlehren der mathematischen Wissenschaften, 267. New York etc.: Springer-Verlag. XVI, 386 p. DM 128.00 (1985)

    1985

  3. [3]

    Preprint, arXiv:2410.06436 [math.AG] (2024)

    Aravena, A., Fano visitor problem for K3 surfaces. Preprint, arXiv:2410.06436 [math.AG] (2024)

    arXiv 2024

  4. [4]

    Beauville, A., Donagi, R., La variété des droites d’une hypersurface cubique de dimension 4, C. R. Acad. Sci., Paris, Sér. I 301, 703-706 (1985)

    1985

  5. [5]

    Bayer, A., Macrì, E., Projectivity and birational geometry of Bridgeland moduli spaces, J. Am. Math. Soc. 27, No. 3, 707-752 (2014)

    2014

  6. [6]

    Bottini, A., Towards a modular construction of OG10, Compos. Math. 160, No. 10, 2496-2529 (2024)

    2024

  7. [7]

    Bottini, A., O'Grady's tenfolds from stable bundles on hyper-Kähler 4folds, Preprint, arXiv:2411.18528 [math.AG] (2024)

    arXiv 2024

  8. [8]

    Cho, K., Sato, E., Smooth projective varieties dominated by smooth quadric hypersurfaces in any characteristic, Math. Z. 217, No. 4, 553-565 (1994)

    1994

Show all 32 references
  1. [9]

    Debarre, O., Macrì, E., The image of the period map, appendix to: Hyper-K \"a hler manifolds, Milan J. Math. 90, No. 2, 305-387 (2022)

    2022

  2. [10]

    Reine Angew

    Debarre, O., Voisin, C., Hyper-Kähler 4folds and Grassmann geometry, J. Reine Angew. Math. 649, 63-87 (2010)

    2010

  3. [11]

    Groupe de Picard des variétés de modules de fibrés semi-stables sur les courbes algébriques, Invent

    Drezet, J.-M., Narasimhan, M.S. Groupe de Picard des variétés de modules de fibrés semi-stables sur les courbes algébriques, Invent. Math., 97, 53–94, (1989)

    1989

  4. [12]

    V., Ramanan, S., Classification of Vector Bundles of Rank 2 on Hyperelliptic Curves, Classification of vector bundles of rank 2 on hyperelliptic curves, Invent

    Desale, U. V., Ramanan, S., Classification of Vector Bundles of Rank 2 on Hyperelliptic Curves, Classification of vector bundles of rank 2 on hyperelliptic curves, Invent. Math. 38, 161-185 (1976)

    1976

  5. [13]

    Flapan, L., Macrì, E., O'Grady, K., Saccà, G., The geometry of antisymplectic involutions I, Math. Z. 300, No. 4, 3457-3495 (2022)

    2022

  6. [14]

    Flapan, L., Macrì, E., O'Grady, K., Saccà, G., The geometry of antisymplectic involutions II Preprint, arXiv:2309.02238 [math.AG] (2023)

    2023 arXiv

  7. [15]

    Friedman, R., Global smoothings of varieties with normal crossings, Ann. Math. (2) 118, 75-114 (1983)

    1983

  8. [16]

    Friedman, R., Laza, R., Deformations of singular Fano and Calabi-Yau varieties, J. Differ. Geom. 131, No. 1, 65-131 (2025)

    2025

  9. [17]

    Kuznetsov, A., K \"u chle fivefold of type C5, Math. Z. 284, No. 3-4, 1245-1278 (2016)

    2016

  10. [18]

    Kuznetsov, Alexander Simultaneous categorical resolutions, Math. Z. 300, No. 4, 3551-3576 (2022)

    2022

  11. [19]

    Lazarsfeld, R., Positivity in algebraic geometry I, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge 48. Berlin: Springer (ISBN 3-540-22533-1/hbk). xviii, 387 p. (2004)

    2004

  12. [20]

    Reine Angew

    Lehn, C., Lehn, M., Sorger, C., van Straten, D., Twisted cubics on cubic 4folds, J. Reine Angew. Math. 731, 87-128 (2017)

    2017

  13. [21]

    Landman, A., On the Picard-Lefschetz transformation, Trans. Am. Math. Soc. 181, 89-123 (1973); Appendix and supplementary bibliography by Phillip A. Griffith. Ibid. 123-126 (1973)

    1973

  14. [22]

    Reine Angew

    Markman, E., Modular Galois covers associated to symplectic resolutions of singularities, J. Reine Angew. Math. 644, 189-220 (2010)

    2010

  15. [23]

    Morrison, D., R., The Clemens-Schmid exact sequence and applications, Topics in transcendental algebraic geometry, Ann. Math. Stud. 106, 101-119 (1984)

    1984

  16. [24]

    Sigma 8, Paper No

    Mustaţă, M., Popa, M., Hodge ideals for -divisors, V -filtration, and minimal exponent, Forum Math. Sigma 8, Paper No. e19, 41 p. (2020)

    2020

  17. [25]

    Mustaţă, M., Olano, S., Popa, M., Witaszek, J., The Du Bois complex of a hypersurface and the minimal exponent, Duke Math. J. 172, No. 7, 1411-1436 (2023)

    2023

  18. [26]

    Namikawa, Y., Deformation theory of singular symplectic n-folds, Math. Ann. 319, No. 3, 597-623 (2001)

    2001

  19. [27]

    O'Grady, K., The weight-two Hodge structure of moduli spaces of sheaves on a K3 surface, J. Algebr. Geom. 6, No. 4, 599-644 (1997)

    1997

  20. [28]

    O'Grady, K., Covering families of lagrangian subvarieties of hyperk \"a hler varieties, talk at the Workshop: Derived categories and Chow groups of hyperkaehler and Calabi-Yau varieties, 2016-09-20, https://scgp.stonybrook.edu/video/video.php?id=2825

    2016

  21. [29]

    Mathematics

    Peters, C., Motivic aspects of Hodge theory, Lectures on Mathematics and Physics. Mathematics. Tata Institute of Fundamental Research 92. New Delhi: Narosa Publishing House/Published for the Tata Institute of Fundamental Research (ISBN 978-81-8487-012-1/pbk). ix, 138 p. (2010)

    2010

  22. [30]

    Saint-Donat, B., Projective models of K-3 surfaces, Am. J. Math. 96, 602-639 (1974)

    1974

  23. [31]

    Authors, The Stacks Project, Stacks Project, https://stacks.math.columbia.edu/

  24. [32]

    Tevelev, J., Torres, S., The BGMN conjecture via stable pairs, Duke Math. J. 173, No. 18, 3495-3557 (2024)

    2024

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.