Pith. sign in

REVIEW 3 major objections 5 minor 53 references

Hyperk\"ahler sixfolds, abelian fourfolds of Weil type and a Hodge class

T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read This paper proves the Hodge conjecture for very general abelian fourfolds of Weil type with discriminant one by realizing their Kummer variety inside a projective K3[3] hyperkähler sixfold and pulling back the second Chern class.

desk verdict New proof of a known theorem via K3[3] manifolds; the explicit c2 mechanism is nice, but the 'complete family' step in §7.4 needs a dominance argument or explicit citation. read the letter →

arxiv 2607.18341 v1 pith:F2SGKER6 submitted 2026-07-20 math.AG

Bert van Geemen , Antonio Rapagnetta This is my paper · ORCID
classification math.AG MSC 14C3014J4214K0514J28
keywords HodgeconjectureabelianfourfoldsofWeiltypeHodge-WeilclasseshyperkählersixfoldsK3[3]KummervarietiessecondChernclassBarnes-Walllattice
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 Hodge conjecture for the very general abelian fourfold of Weil type with trivial discriminant, providing a new proof via K3[3] type hyperkähler sixfolds. The key is Theorem 0.2: every such fourfold is isogenous to one whose Kummer variety embeds into a projective hyperkähler sixfold X of K3[3] type. Because X is projective, its second Chern class c2(T_X) is algebraic; pulling it back to the abelian fourfold produces a Hodge-Weil class. Since the imaginary quadratic field K acts on the two-dimensional space of Hodge-Weil classes, one algebraic class forces all of them to be algebraic, proving the conjecture.

What carries the argument

The load-bearing object is the BBF form q_X on H^2(X) of a K3[3] manifold and its associated class q∨_X ∈ Sym^2 H^2(X), which is proportional to the second Chern class c2(T_X). The construction of the embedding uses a birational symplectic involution on a Hilbert scheme S^[3] of a Kummer K3 surface whose anti-invariant lattice is the Barnes-Wall lattice BW; a 4-dimensional component of the fixed locus is the Kummer fourfold K(A×A), and deformation theory over the Hodge locus of BW produces the required family of pairs (K(B), X) with transcendental dimension six.

What would settle it

Compute the analytic germ of the fixed locus at one of the 256 singular points of the contracted variety cM in Proposition 6.2; if it is not isomorphic to the quotient singularity C^4/{±1}, the isomorphism between the fixed component and the singular Kummer fourfold fails, and Theorem 0.2 cannot be true. A more arithmetic falsifier: find a very general Weil fourfold of discriminant one whose Kummer variety does not deform to have a K3-type transcendental lattice of dimension six in H^2; then the embedding of Theorem 0.2 does not exist.

Watch

Extended reading notes

Core claim

The central discovery is that the second Chern class of a K3[3] hyperkähler sixfold is universal for Hodge-Weil classes: for a very general abelian fourfold B' of Weil type with discriminant one, there is an embedding of the Kummer variety K(B) of an isogenous B into a projective K3[3] manifold X, and the pull-back of c2(T_X) is a non-zero Hodge-Weil class in HW(B',K). The proof uses the Beauville-Bogomolov-Fujiki form: its associated class q∨_X in H^4(X) is proportional to c2(T_X), and its restriction defines a polarization class on a K3-type sub-Hodge structure T_1 ⊂ H^2(B'), which Proposition 1.11 identifies as a Hodge-Weil class. Since the K-action spans HW(B',K) from any non-trivial ele

Load-bearing premise

The proof requires that the 4-dimensional component of the fixed locus of the involution is isomorphic, not just birational, to the Kummer fourfold of A×A; if that identification failed away from an open set, the inclusion of the transcendental lattice of X into H^2(B) and the pull-back argument would break.

Editorial extensions

If this is right

  • If correct, the Hodge conjecture holds for all very general abelian fourfolds of Weil type with trivial discriminant.
  • The algebraic cycles representing Hodge-Weil classes can be taken as pullbacks of c2(T_X), giving an explicit, if indirect, description.
  • The same proof shows the pulled-back c2 lies in the subspace of H^4(B) generated by algebraic classes and is not an intersection of divisor classes.
  • The method fails for non-trivial discriminant: the Hodge structure T has no K3-type sub-Hodge structure, so no such embedding can exist.
  • The approach suggests that any algebraic class in the image of the cup product Sym^2 T_1 → H^4(B) is Hodge-Weil, and the K-action then propagates algebraicity.

Reading between the lines

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

  • The paper hints at a concrete way to construct explicit surfaces in B whose classes are not complete intersections: take a global section of N_0 ⊗ L for sufficiently ample L; the zero locus gives a 2-cycle representing a multiple of the Hodge-Weil class.
  • The proof likely extends to any family of hyperkähler manifolds where the fixed locus of a symplectic birational involution contains a Kummer fourfold with the right Hodge numbers; the key numerical input is the proportionality q∨_X = λ c2(X), which holds for all known hyperkähler types.
  • The use of ergodic-theoretic density results is shown to be replaceable by a purely lattice-theoretic argument, which may make the approach more accessible to algebraic geometers and amenable to effective versions over number fields.
  • The discriminant-one hypothesis is exactly where T splits as T_1 ⊕ xT_1; for non-trivial discriminant the quaternion algebra is a division algebra and the argument collapses, suggesting the Hodge conjecture for non-trivial discriminant needs a genuinely different mechanism.
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 / 5 minor

Summary. The paper gives a new proof of the Hodge conjecture for very general abelian fourfolds of Weil type with imaginary quadratic field and trivial discriminant. The strategy is to show that, up to isogeny, the Kummer fourfold K(B) of such a fourfold B embeds as a submanifold of a projective hyperkähler sixfold X of K3^[3] type whose transcendental Hodge structure has dimension six (Theorem 0.2). Since c_2(T_X) is algebraic and is proportional to the BBF polarization class, the pullback of c_2(T_X) to B is an algebraic Hodge–Weil class; the K-action then forces all Hodge–Weil classes to be algebraic (Theorem 0.3). Sections 1 sets up the Hodge theory; Sections 2–4 study the Barnes–Wall lattice, MBM classes, and birational involutions on K3^[3] manifolds; Sections 5–6 construct a specific birational involution on S^[3] whose fixed locus contains a Kummer fourfold, prove an isomorphism with the Kummer fourfold, and Section 7 deforms the pair to cover very general Weil fourfolds.

Significance. The main theorem was already proved by Markman and by Floccari–Fu, so the paper does not break new ground on the Hodge conjecture itself. Its interest lies in the explicit geometric route: replacing singular OG6 varieties by better-known K3^[3] type manifolds, identifying the fixed locus of a birational involution with a Kummer fourfold, and relating the second Chern class to Hodge–Weil classes. If the construction is correct, it gives a concrete cycle representative and a conceptually different proof of a known result. The paper is long and imports many deep theorems (Global Torelli, MBM classification, Bakker–Lehn, SYZ theorem); its originality is in the combination. However, the current version contains load-bearing gaps, especially in the 'complete family' step and in a computational lattice classification, and therefore cannot be accepted as written.

major comments (3)
  1. [Section 7.4 and 7.5] The step 'From the four dimensional family of Hodge structures on λ⊥ ... we thus obtain a complete family of Weil type abelian fourfolds' is not justified. For fixed d, the construction yields some t in each open U with transcendental lattice λ⊥ and with K(B_t) ⊂ M_t. But the period map from the 4-dimensional domain P(λ⊥)∩Ω_Λ to the 4-dimensional moduli of Weil fourfolds with field Q(√−d) and discriminant one is not shown to be dominant or generically finite. Without a rank-4 differential or an algebraic dominance argument, the image could be a proper subfamily, so a very general Weil fourfold B′ need not be covered. The 'conversely' in the alternative proof of §7.5 assumes precisely the identification between the constructed family and the complete family of Weil fourfolds; this is circular. This gap is load-bearing for Theorem 0.2 and hence for Theorem 0.3.
  2. [Proposition 3.9 and Corollary 5.6] The classification of vectors of square −12 in the Barnes–Wall lattice relies on an unreported Magma computation: 'With Magma we found that there are three orbits ... characterized by its cardinality 61440.' This computation is used to obtain exactly 256 ppMBM classes, which underpins the existence of the 256 disjoint P^3's and the contraction in Proposition 4.4. Similarly, the proof of Corollary 5.6 asserts 'one checks, with a computer' that no extra classes lie in the anti-invariant lattice. No code, output, or reproducible verification is provided. Since these finite lattice statements are checkable, the gap is fixable, but as it stands a central part of the geometric construction depends on unverified computation.
  3. [Proposition 6.2, Step 1] The assertion that V cannot be contained in the indeterminacy locus of the birational map S^[3] ⇢ M because it would then be covered by rational curves is not justified as stated. Being contained in the union of rational curves contracted by a sequence of flops does not imply that the subvariety V itself is covered by rational curves: for example, a K3 surface inside P^3 is contained in a uniruled variety but is not covered by rational curves. The indeterminacy locus of a composition of flops can have components of dimension 4, and one would need to prove that any 4-dimensional subvariety contained in such a component is uniruled. The argument that V has Kodaira dimension zero therefore does not rule out the possibility that V lies in the indeterminacy locus. This point is load-bearing for the identification of the fixed component with the Kummer fourfold.
minor comments (5)
  1. [Section 1.14] The statement that the pullback of a holomorphic 2-form from X to B is non-zero 'for dimension reasons' would be clearer if the argument were spelled out: a trivial pullback would give a 4-dimensional isotropic tangent subspace of a hyperkähler sixfold, which is impossible.
  2. [Proposition 3.9] The notation b_X(D,D') should presumably be B_X(D,D'), the BBF form. Also, the sudden introduction of the 16 subsets S_i and the tropes of the Kummer quartic would benefit from a short explanatory paragraph before the enumerative assertion.
  3. [Section 5.6] The claim that the anti-invariant lattice is exactly BW is proved by a computer check of the discriminant group. Even if one accepts the computer check, the surrounding text should say which classes are tested and why the check is exhaustive.
  4. [Section 7.5, Lemma 7.6] In the proof of Lemma 7.6, the projection p_2 is said to be flat and hence open. The incidence variety of tangent hyperplanes is not obviously flat over the target projective space; this point needs a reference or a direct argument if the lemma is used.
  5. [Throughout] The paper relies on many imported results with differing notational conventions; a table of lattices and their names (BW, Λ, λ⊥, v⊥, etc.) would substantially improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main derivation reduces Hodge-Weil algebraicity to an independent geometric embedding theorem, not to its own conclusion.

full rationale

The derivation chain is not circular. Theorem 0.3 assumes Theorem 0.2 as a geometric input and pulls back c2(TX); algebraicity is imported from the independent fact that c2(TX) is algebraic on a projective hyperkähler manifold and proportional to the Beauville-Bogomolov-Fujiki polarization class (Section 1.13), not from the Hodge-Weil conclusion. Proposition 1.11 and Lemma 1.10 prove that the polarization class of a K3-type sub-Hodge structure lands in HW(B,K) via representation theory and eigenvalue arguments, without assuming algebraicity of the class. The construction of Theorem 0.2 rests on external deformation, lattice, and period-domain results (Bakker-Lehn, Ratner/Verbitsky, Lombardo, Markman, etc.) and on the paper's own geometric identification of a fixed-locus component with a Kummer fourfold (Prop. 6.2, Cor. 6.3); none of these inputs is the target Hodge conjecture. Self-citations [vG1] and [vG2] occur only for standard background on Weil type, discriminants, and the spinor map, and the central steps do not reduce to them. The skeptic's objection about §7.4 — that the 'complete family' step lacks an explicit dominance argument — is a possible correctness gap in passing from Hodge-theoretic families to the moduli of Weil fourfolds, not a circular definition or a prediction that equals its input; under the stated hard rules it is therefore not counted as circularity.

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

No free parameters are fitted to data; the construction's only choices are lattice vectors λ with prescribed square, which are not fitted. The proof imports substantial theorems from the literature; the only unverified computation is the Magma orbit count. No new physical or mathematical entities are introduced.

assumptions (8)
  • standard math Global Torelli theorem for K3[n]-type hyperkähler manifolds (Markman)
    Used repeatedly (Cor. 4.7, Prop. 7.2) to realize lattice involutions as bimeromorphic maps.
  • standard math Classification and orbits of MBM classes on K3[3] manifolds
    [Mo1]/[HT]/[AV4]; Prop. 3.9 lists the (square, divisibility) orbits used to analyze Picard lattice BW.
  • standard math Bakker–Lehn global Torelli and local trivial deformation theory for singular symplectic varieties
    [BaL]; supplies contractions and the deformation of cM and of the pair (Z,M).
  • domain assumption Density of Hodge loci via Ratner/Verbitsky, or the alternative Lemma 7.6
    Used in Theorem 0.2 to ensure every lattice λ⊥ occurs as a transcendental lattice; the alternative proof replaces Ratner by an elementary density argument.
  • domain assumption Magma computation of length −12 vectors in BW
    Prop. 3.9 states 'With Magma we found' three orbits and one orbit of size 61440; no code or certificate is shipped.
  • standard math Lombardo's structure theorem for H2 of general Weil fourfolds
    Theorem 1.8 supplies the 12-dimensional T and the K3-type T1 when the discriminant is one.
  • standard math Fujino's rational chain connectedness of contraction fibres in the analytic setting
    Used in Prop. 4.4 to show every curve lies in one of the 256 projective three-spaces.
  • standard math SYZ theorem for K3[n] Lagrangian fibrations (Markman, Soldatenkov–Verbitsky)
    Used in Prop. 5.10 and Lemma 5.11 to obtain the nef Lagrangian class L−δ.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hyperk\"ahler sixfolds, abelian fourfolds of Weil type and a Hodge class." pith.science (2026). https://pith.science/paper/F2SGKER6

@misc{pith2026260718341,
  author       = {Pith},
  title        = {Pith review of: Hyperk\"ahler sixfolds, abelian fourfolds of Weil type and a Hodge class},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F2SGKER6}},
  note         = {Machine review of arXiv:2607.18341}
}
abstract

There are now several proofs of the Hodge conjecture for the general abelian fourfold of Weil type with trivial discriminant. This paper provides another one. The abelian fourfolds under consideration allow a map to a hyperk\"ahler sixfold of K3$^{[3]}$ type. The pull-back of the second Chern class of the tangent bundle of the sixfold is an algebraic class in codimension two that is not an intersection of divisor classes and the main result follows. After recalling the basic facts on abelian fourfolds of Weil type we establish the existence of the map using results on the birational geometry of these hyperk\"ahler manifolds and deformation theory.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

53 extracted references · 4 linked inside Pith

  1. [3]

    In: Rationality of Varieties (2021), 75--96, Progr

    E.\ Amerik, M.\ Verbitsky, Rational Curves and MBM Classes on Hyperkähler Manifolds: A Survey . In: Rationality of Varieties (2021), 75--96, Progr. Math. 342, Birkh\''auser/Springer, Cham 2021

    2021

  2. [1]

    E.\ Amerik, M.\ Verbitsky, Rational Curves on Hyperk\"ahler Manifolds , International Mathematics Research Notices, 23 (2015), 1300--1345

    2015

  3. [2]

    E.\ Amerik, M.\ Verbitsky, Contraction centers in families of hyperk\"ahler manifolds , Selecta Mathematica 27 (2021), no 60, pp 26

    2021

  4. [4]

    E.\ Amerik, M.\ Verbitsky, MBM classes and contraction loci on low-dimensional hyperk\"ahler manifolds of K3 ^ [n] type , Algebraic Geometry 9 (2022), 252--265

    2022

  5. [5]

    A.\ Beauville, Symplectic singularities , Invent.\ Math.\ 139 (2000), 541--549

    2000

  6. [6]

    B.\ Bakker, C.\ Lehn, A global Torelli theorem for singular symplectic varieties , J.\ Eur.\ Math.\ Soc.\ 23 (2021), 949--994

    2021

  7. [7]

    C.\ Birkenhake, H.\ Lange, Complex abelian varieties , Second edition, Springer Verlag 2004

    2004

  8. [8]

    S.\ Boucksom, Divisorial Zariski decompositions on compact complex manifolds , Ann.\ Sci.\ \'Ecole Norm.\ Sup.\ (4) 37 (2004), 45--76

    2004

Show all 53 references
  1. [9]

    F.\ Catanese, Deformation types of real and complex manifolds , in: Contemporary Trends in Algebraic Geometry and Algebraic Topology (Proceedings of the Chern-Chow Memorial Conference), Nankai Tracts in Mathematics 5, (2002) 193--236

    2002

  2. [10]

    F.\ Campana, Isotrivialit\'e de certaines familles k\"ahl\'eriennes de vari\'et\'s non projectives , Mathematische Zeitschrift, 252 (2006), 147--156

    2006

  3. [11]

    S.\ Cacciatori, S.\ Filippini, The E^3/ _3 orbifold, mirror symmetry, and Hodge structures of Calabi-Yau type , Journal of Geometry and Physics 138 (2019), 70--89

    2019

  4. [12]

    Charles, Two results on the Hodge structure of complex tori , Math.\ Z

    F. Charles, Two results on the Hodge structure of complex tori , Math.\ Z. 300 (2022), 3623--3643

    2022

  5. [13]

    290 (2nd ed.), Berlin, New York: Springer-Verlag 1988

    J.H.\ Conway, N.J.A.\ Sloane, Sphere Packings, Lattices and Groups, Grundlehren der Mathematischen Wissenschaften, vol. 290 (2nd ed.), Berlin, New York: Springer-Verlag 1988

    1988

  6. [14]

    O.\ Debarre, Hyperk\"ahler manifolds . Milan J. Math. 90 (2022), 305--387

    2022

  7. [15]

    Cambridge University Press 2012

    I.\ Dolgachev, Algebraic Geometry. Cambridge University Press 2012

    2012

  8. [16]

    S.\ Druel, Quelques remarques sur la d\'ecomposition de Zariski divisorielle sur les vari\'et\'es dont la premi\`ere classe de Chern est nulle , Math.\ Z.\ 267 (2011), 413--423

    2011

  9. [17]

    SpringerVerlag, Berlin-New York, 1974

    M.\ Eichler, Quadratische Formen und orthogonale Gruppen , Grundlehren der mathematischen Wissenschaften 63. SpringerVerlag, Berlin-New York, 1974

    1974

  10. [18]

    H.\ Flenner, Extendability of differential forms on non-isolated singularities , Invent.\ Math.\ 94 (1988), 317--326

    1988

  11. [19]

    103876, 17 pp

    S.\ Floccari, L.\ Fu, The Hodge conjecture for Weil fourfolds with discriminant 1 via singular OG6-varieties , J.\ Math.\ Pures Appl.\ 210 (2026), Paper No. 103876, 17 pp

    2026

  12. [20]

    S.\ Floccari, L.\ Fu, The hyper-Kummer construction , arXiv:2607.07528

    arXiv

  13. [21]

    O.\ Fujino, Notes on rational chain connectedness arXiv:2602.19415 2026

    2026 arXiv

  14. [22]

    GTM 129, Springer-Verlag 1991

    W.\ Fulton, J.\ Harris, Representation Theory. GTM 129, Springer-Verlag 1991

    1991

  15. [23]

    B.\ van Geemen, An introduction to the Hodge Conjecture for abelian varieties , in: Algebraic cycles and Hodge theory (Torino, 1993), 233--252, Lecture Notes in Math., 1594, Springer, Berlin, 1994

    1993

  16. [24]

    B.\ van Geemen, Fourfolds of Weil type and the spinor map , Expositiones Mathematicae 41 (2023), 418--447

    2023

  17. [25]

    B.\ van Geemen, C.\ Voisin, On a Conjecture of Matsushita , International

  18. [26]

    V.\ Gritsenko, K.\ Hulek, G.\ K.\ Sankaran, Moduli spaces of irreducible symplectic manifolds , Compositio Mathematica, 146 (2010), 404--434

    2010

  19. [27]

    B.\ Hassett, Y.\ Tschinkel, Intersection numbers of extremal rays on holomorphic symplectic varieties , Asian J.\ Math.\ 14 (2010), 303--322

    2010

  20. [28]

    LXV, 0264–0286 (2012)

    D.\ Harvey, B.\ Hassett, Y.\ Tschinkel, Characterizing Projective Spaces on Deformations of Hilbert Schemes of K3 Surfaces , Communications on Pure and Applied Mathematics, Vol. LXV, 0264–0286 (2012)

    2012

  21. [29]

    Y.\ Kawamata, Flops Connect Minimal Models , Publ.\ Res.\ Inst.\ Math.\ Sci.\ 44 (2008), 419–423

    2008

  22. [30]

    G.\ Lombardo, Abelian varieties of Weil type and Kuga-Satake varieties , Tohoku Math.\ J.\ 53 (2001), 453--466

    2001

  23. [31]

    Math., 8, Springer, Heidelberg, 2011

    E.\ Markman, A survey of Torelli and monodromy results for holomorphic-symplectic varieties in: Complex and differential geometry, 257--322, Springer Proc. Math., 8, Springer, Heidelberg, 2011

    2011

  24. [32]

    E.\ Markman, Prime exceptional divisors on holomorphic symplectic varieties and monodromy-reflections , Kyoto Journal of Mathematics, 53 (2013), 345-403

    2013

  25. [33]

    uhbis-Kr\

    E.\ Markman. Lagrangian fibrations of holomorphic-symplectic varieties of K3 ^ [n] -type , in Anne Fr\"uhbis-Kr\"uger, Remke Nanne Kloosterman, and Matthias Sch\"utt, editors, Algebraic and Complex Geometry, 241--283. Springer International Publishing (2014)

    2014

  26. [34]

    E.\ Markman, The monodromy of generalized Kummer varieties and algebraic cycles on their intermediate Jacobians , J.\ Eur.\ Math.\ Soc.\ 25 (2023), 231--321

    2023

  27. [35]

    arXiv:2502.03415

    E.\ Markman, Cycles on abelian 2n-folds of Weil type from secant sheaves on abelian n-folds . arXiv:2502.03415

    arXiv

  28. [36]

    315, 2016, 237--243

    D.\ Matsushita, On Deformations of Lagrangian Fibrations , in: K3 Surfaces and Their Moduli, Vol. 315, 2016, 237--243. Birkhäuser, Cham

    2016

  29. [37]

    5, 951--959

    D.\ Matsushita, D.-Q.\ Zhang, Zariski F-decomposition and Lagrangian fibration on hyperk\"ahler manifolds , Math.\ Res.\ Lett.\ 20 (2013), no. 5, 951--959

    2013

  30. [38]

    ahler and Mori cones of hyperk\

    G.\ Mongardi, A note on the K\"ahler and Mori cones of hyperk\"ahler manifolds , Asian J.\ Math.\ 19 (2015), 583--591

    2015

  31. [39]

    G.\ Mongardi, Towards a classification of symplectic automorphisms on manifolds of K3 ^ [n] type , Math.\ Z.\ 282 (2016), 651--662

    2016

  32. [40]

    Sacc\`a, The Hodge diamond of O’Grady’s six-dimensional example , Compositio Math.\ 154 (2018), 984--1013

    G.\ Mongardi, A.\ Rapagnetta, G. Sacc\`a, The Hodge diamond of O’Grady’s six-dimensional example , Compositio Math.\ 154 (2018), 984--1013

    2018

  33. [41]

    S.\ Nakano, On the inverse of monoidal transformations , Publications of the Research Institute for Mathematical Sciences, 10 (3) (1974), 837--851

    1974

  34. [42]

    V.V.\ Nikulin, On Kummer surfaces , Izv.\ Akad.\ Nauk SSSR Ser.\ Mat.\ 39 (1975) 278--293, Math.\ USSR Izv.\ 9 (1975), 261--275 (1976)

    1975

  35. [43]

    V.V.\ Nikulin, Integer symmetric bilinear forms and some of their geometric applications , Izv.\ Akad.\ Nauk SSSR Ser.\ Mat.\ 43 (1979), 111--177, Math.\ USSR Izv.\ 14 (1979), 103--167 (1980)

    1979

  36. [44]

    G.\ Pourcin, Th\'eor\`eme de Douady au-dessus de S , Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 3 série, tome 23 (1969), no 3, 451--459

    1969

  37. [45]

    K.\ O'Grady, Irreducible symplectic 4-folds numerically equivalent to (K3) ^ [2] , Commun.\ Contemp.\ Math.\ 10 (2008), 553--608

    2008

  38. [46]

    F.\ Rizzo, On the fixed locus of the antisymplectic involution of an EPW cube , arXiv:2505.15717

  39. [47]

    M.\ Schlessinger, Rigidity of quotient singularities , Invent.\ Math.\ 14 (1971), 17--26

    1971

  40. [48]

    A.\ Soldatenkov, M.\ Verbitsky, The abundance and SYZ conjectures in families of hyperk\"ahler manifolds epiga:14370 - \'Epijournal de G\'eométrie Alg\'ebrique, 9 décembre 2025, Volume 9

    2025

  41. [49]

    Cambridge Univ

    C.\ Voisin, Sur la stabilit\'e des sous-vari\'et\'es lagrangiennes des vari\'et\'es symplectiques holomorphes , in: Complex projective geometry, 294--303. Cambridge Univ. Press, 1992

    1992

  42. [50]

    M.\ Verbitsky, Ergodic complex structures on hyperk\"ahler manifolds: an erratum , arXiv:1708.05802

    arXiv

  43. [51]

    III, 421--429

    A.\ Weil, Abelian varieties and the Hodge ring , in: Collected Papers, Vol. III, 421--429. Springer Verlag (1980)

    1980

  44. [52]

    J.\ Wierzba, J.\ A.\ Wi\'sniewski, Small contractions and symplectic 4-folds , Duke Mathematical Journal, 120 (2003), 65--95

    2003

  45. [53]

    Press, Somerville, MA, 2009, 13--47

    J.\ Włodarczyk, Resolution of singularities of analytic spaces , in Proceedings of G\"okova Geometry-Topology Conference 2008, Int. Press, Somerville, MA, 2009, 13--47. \

    2008

Pith tools

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