Pith. sign in

REVIEW 1 major objections 3 minor 66 references

Numerical invariants of hyper-K\"ahler manifolds

T0 review · 1 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read For hyper-Kähler sixfolds carrying an isotropic class, the paper fixes the Fujiki constant at 15 and the Riemann–Roch polynomial to one of two explicit forms.

desk verdict The appendix's positivity theorem is the real prize; the six-dimensional classification rests on an unverified computer constant. read the letter →

arxiv 2506.04177 v1 pith:KCAQJSJM submitted 2025-06-04 math.AG

Olivier Debarre , Chen Jiang This is my paper
classification math.AG MSC 14J42
keywords hyper-KählermanifoldsBeauvillequadraticformFujikiconstantHuybrechts–Riemann–RochpolynomialisotropicclassdimensionsixRiemann–RochpositivityVandermondedivisibility
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

This paper studies two deformation-invariant numerical objects attached to a hyper-Kähler manifold (a simply connected compact Kähler manifold whose holomorphic 2-forms are spanned by a symplectic form): the Beauville quadratic form on $H^2(X,\mathbb{Z})$ and the Huybrechts–Riemann–Roch polynomial $P_{RR,X}(T)$, which computes Euler characteristics of line bundles through the quadratic form. Its main result is a near-classification in dimension 6: if $l$ is an isotropic class (one with $q_X(l)=0$) and a companion class $m$ satisfies $\int_X l^3m^3=3!$, then $q_X(l,m)=1$, the quadratic form is even, the Fujiki constant is 15, and the polynomial is $P_{RR,X}(T)=\frac{1}{48}T^3+\frac{n_X}{16}T^2+\frac{13}{6}T+4$ with $n_X\in\{2,6\}$. This almost proves a conjecture that would give a single polynomial for such manifolds, leaving only the exclusion of $n_X=2$. A second result in the same dimension handles the case $\int_X l^3m^3=2\cdot3!$, yielding Fujiki constant 30 and four possible polynomials. An appendix establishes a general positivity structure: the rescaled polynomial $Q_{RR,X}(T)=P_{RR,X}(m_XT)$ is a nonnegative rational combination of certain explicit polynomials, which implies a symmetry $P_{RR,X}(-T-2n_X)=(-1)^nP_{RR,X}(T)$.

What carries the argument

The argument is carried by three objects: the Beauville quadratic form $q_X$, the Fujiki constant $c_X$ satisfying $\int_X\alpha^{2n}=c_Xq_X(\alpha)^n$, and the Huybrechts–Riemann–Roch polynomial $P_{RR,X}(T)$ with $\chi(X,L)=P_{RR,X}(q_X(c_1(L)))$. The load-bearing mechanism is integrality: because every integral class can be deformed to a line-bundle class, $P_{RR,X}(q)$ must be an integer whenever $q$ is a value of $q_X$, and a Vandermonde determinant argument converts this into divisibility of the coefficients by a universal constant $C_n=\gcd_{r_0,\dots,r_n\in\mathbb{Z}}\prod_{j<k}(r_j^2-r_k^2)$. In dimension 3 the value $C_3=2^5\cdot3^3\cdot5$ restricts $q_X(l,m)$ to $\{1,2\}$, while a symmetry from the appendix, equivalently $Q_{RR,X}(-T-4)=(-1)^nQ_{RR,X}(T)$, restricts the possible values of $n_X$ through Corollary 2.3.

What would settle it

Recompute $C_3=\gcd_{r_0,\dots,r_3\in\mathbb{Z}}\prod_{0\le j<k\le3}(r_j^2-r_k^2)$ by an independent method; if the result differs from $2^5\cdot3^3\cdot5$, Lemma 4.1 no longer bounds $q_X(l,m)$, and the main proposition's conclusion $c_X=15$ is not established. Alternatively, exhibit a hyper-Kähler sixfold with $\int_X l^6=0$, $\int_X l^3m^3=3!$, and $c_X\ne15$ (or $q_X(l,m)\ne1$) to refute Proposition 4.3 directly.

Watch

Extended reading notes

Core claim

On its own terms, the paper establishes that in complex dimension six the presence of an isotropic class pins down the numerical invariants almost completely. Proposition 4.3 shows that whenever $\int_X l^6=0$ and $\int_X l^3m^3=3!$, one must have $q_X(l,m)=1$, the Beauville form must be even, the Fujiki constant must be $c_X=15$, and $P_{RR,X}(T)=\frac{1}{48}T^3+\frac{n_X}{16}T^2+\frac{13}{6}T+4$ for some $n_X\in\{2,6\}$; the sublattice spanned by $l$ and $m$ is a hyperbolic plane. The proof works by combining a divisibility bound coming from a universal combinatorial constant $C_n$ with integrality of the polynomial on values represented by $q_X$. The companion Proposition 4.4 treats the case $a(m)=2$, forcing $c_X=30$ and $n_X\in\{1,2,3,4\}$. The appendix proves for every dimension $2n>2$ that $Q_{RR,X}(T)=P_{RR,X}(m_XT)$ is a nonnegative rational combination of the polynomials $Q_k(T)$, a strengthening of the previously known positivity of the Riemann–Roch polynomial.

Load-bearing premise

The argument hinges on the computer-computed value $C_3=2^5\cdot3^3\cdot5$ for the gcd of Vandermonde products of square differences, which is stated without proof or supplied software; if that value is wrong, the restriction of $q_X(l,m)$ to $\{1,2\}$ and hence the classification in Proposition 4.3 could fail.

Editorial extensions

If this is right

  • If Proposition 4.3 is correct, proving the dimension-six conjecture is reduced to showing $n_X\neq 2$; all numerically allowed examples would then have the conjectured polynomial $\binom{T/2+4}{3}$ and Fujiki constant 15.
  • The symmetry $P_{RR,X}(-T-2n_X)=(-1)^nP_{RR,X}(T)$ is a universal constraint on the Riemann–Roch polynomial of every hyper-Kähler manifold, not only those with isotropic classes.
  • The coefficient divisibility gives the general lower bound $c_X\ge (2n)!/(2^n C_n)$, a step toward boundedness statements for hyper-Kähler manifolds.
  • The nonnegative decomposition of the appendix upgrades positivity of the Riemann–Roch polynomial to a sharper structural statement and implies the symmetry without computational input.
  • In the $a(m)=2$ case, the constraints $c_X=30$ and $n_X\in\{1,2,3,4\}$ mean that any counterexample to the paper's second conjecture must lie in a short, explicitly listed family.

Reading between the lines

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

  • A natural way to settle the residual $n_X=2$ case would be to search for a hyper-Kähler sixfold with an isotropic class whose Riemann–Roch polynomial has coefficient $1/8$ in front of $T^2$; the paper shows such an object would be numerically exotic.
  • The combinatorial constant $C_n$ appears to be the main bottleneck for higher dimensions: since the paper notes the primes dividing $C_n$ are exactly $p\le 2n-1$, an independent computation or closed form for $C_n$ would let the same argument run beyond dimension 6.
  • The symmetry $Q_{RR,X}(-T-4)=(-1)^nQ_{RR,X}(T)$ is derived algebraically with no geometric explanation; one could test whether it reflects a deeper structure such as a derived equivalence or mirror symmetry constraint.
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

1 major / 3 minor

Summary. The paper studies numerical invariants of hyper-Kähler manifolds, focusing on the Beauville quadratic form, the Fujiki constant, and the Huybrechts–Riemann–Roch polynomial. It proves a symmetry relation for the Huybrechts–Riemann–Roch polynomial and, in dimension 6, gives strong constraints in the presence of an isotropic class l with ∫_X l^6=0 and ∫_X l^3 m^3 = a·3! for a=1,2. The main results (Propositions 4.3 and 4.4) determine q_X(l,m), the Fujiki constant, the parity of q_X, and the possible values of n_X (and hence the polynomial P_RR,X). In an appendix, Chen Jiang proves that Q_RR,X(T) is a nonnegative rational linear combination of the polynomials Q_{n-2i}(T), refining earlier positivity results.

Significance. If the stated computational constant C_3 is correct, the paper substantially advances the classification of six-dimensional hyper-Kähler manifolds with an isotropic class, nearly proving Conjecture 1.1 of Debarre–Huybrechts–Macrì–Voisin. The symmetry property and the appendix's positivity/nonnegativity result are of independent interest and are likely to be useful in future work. The main results are derived from established theorems, and the case analyses in Propositions 4.3 and 4.4 appear internally coherent. The principal caveat is the unverified computer calculation of C_3, which is load-bearing for the divisibility arguments.

major comments (1)
  1. [Section 3 and Lemma 4.1] The integer C_n is defined as the gcd of products of differences of squares, and the values C_3=2^5·3^3·5, C_4=2^11·3^5·5^2·7, etc., are stated in the footnote as computed 'with a computer' by Jieao Song, with no proof or software artifact provided. The value C_3 is used in Lemma 4.1 to obtain the divisibility n!·q_X(l,m)^n | a(m)·C_n, which in Propositions 4.3 and 4.4 yields q_X(l,m) ∈ {1,2}. All subsequent conclusions—c_X=15 or 30, evenness of q_X, and the lists n_X∈{2,6} or {1,2,3,4}—depend on this bound. If C_3 had a different prime factorization (for example, a larger 2-adic exponent), q_X(l,m) could take values such as 4, and the case analyses would not go through. Please provide a verifiable derivation of C_3 (or a reproducible computer script with a certificate), or a theoretical proof of the needed divisibility properties. This is a necessary condition for the central claim to be checkable.
minor comments (3)
  1. [Remark 2.5] The word 'equivalenty' should be 'equivalently'.
  2. [Proposition 4.3 and Abstract] The displayed formula for P_RR,X(T) in Proposition 4.3 (and in the abstract) appears to have a missing exponent: it should read (T/2 + 4/3)^3 - ((6-n_X)/16)T^2, matching the preceding line and the reader's summary.
  3. [Footnote 2] The statement that the primes dividing C_n are exactly those with p ≤ 2n-1 is asserted without proof; while not load-bearing, a one-sentence justification would be helpful.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reasoning: the derivation is self-contained; the only notable gap is the unverified computer computation of C3, which is a verification issue, not a circularity.

full rationale

The paper's central claims do not reduce to their own inputs by construction. The main chain is: Section 3 defines the integer C_n and states the computed value C_3 = 2^5*3^3*5; Proposition 3.1 uses integrality of PRR_X on represented integers to prove coefficient divisibility; Lemma 4.1 combines this with the identity c_X q_X(l,m)^n = a(m)(2n-1)!! from (13); Propositions 4.3 and 4.4 then use the divisibility bound to force q_X(l,m) = 1 and carry out modular case analyses. The value C_3 is a numerical input, not a fitted parameter and not defined in terms of the conclusion. The self-citations to [J] and [DHMV] provide prior published results with independent proofs: [DHMV, Lemma 2.2] for integrality of a(m), [DHMV, Theorem 1.5] for the n=2 case, and [J, Theorem 1.1, Corollary 4.4, Proof of Theorem 5.1] for formulas used in the appendix. These citations do not assume Proposition 4.3, Proposition 4.4, or Proposition A.1, so they are not load-bearing circularity. The appendix by Chen Jiang strengthens [J, Theorem 1.1] using the prior paper's established identities and nonnegativity results; it does not rename or restate the target. The only genuine weakness is that C_3 is asserted to have been computed by computer without code or independent derivation, so an error there would affect the divisibility bounds; however, that is a verification and provenance gap, not a circular step, and it does not raise the circularity score.

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

The central claims rely on standard theorems in hyper-Kähler geometry (Beauville-Fujiki, Huybrechts-Riemann-Roch, deformation invariance, Hitchin-Sawon bound) and on a computer-assisted computation of the arithmetic constant C_n. No free parameters are fitted, and no new entities are introduced.

assumptions (6)
  • domain assumption Every class in H^2(X,Z) can be realized as the first Chern class of a line bundle on a deformation of X.
    Used in Section 3 and Lemma 4.2 to assert P_RR,X(q_X(α)) is an integer. Cited as a theorem of Huybrechts.
  • standard math Beauville-Fujiki relation: ∫_X α^{2n} = c_X q_X(α)^n for all α.
    Foundational identity (1) used throughout; cited to [B, F].
  • standard math Huybrechts-Riemann-Roch formula: χ(X,L)=P_RR,X(q_X(c_1(L))).
    Identity (2) used to convert geometric constraints into polynomial values; cited to [H2].
  • domain assumption 0 < A_X < 1 for n > 1, where A_X = ∫_X td^{1/2}(X).
    Used in inequality (14) to bound n_X; cited to [HS] and [J].
  • standard math The gcd of the values of q_X on H^2(X,Z) is 2 if q_X is even and 1 otherwise.
    Used to rule out n_X=5,7 and to infer q_X is even; follows from non-divisibility of the Beauville form.
  • ad hoc to paper C_3=2^5·3^3·5 and the higher C_n values as stated in Section 3.
    The values are presented as computer computations with no proof or code. They drive Lemma 4.1 and Propositions 4.3 and 4.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Numerical invariants of hyper-K\"ahler manifolds." pith.science (2026). https://pith.science/paper/KCAQJSJM

@misc{pith2026250604177,
  author       = {Pith},
  title        = {Pith review of: Numerical invariants of hyper-K\"ahler manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KCAQJSJM}},
  note         = {Machine review of arXiv:2506.04177}
}
read the original abstract

We study various constraints on the Beauville quadratic form and the Huybrechts-Riemann-Roch polynomial for hyper-K\"ahler manifolds, mostly in dimension 6 and in the presence of an isotropic class. In an appendix, Chen Jiang proves that in general, the Huybrechts-Riemann-Roch polynomial can always be written as a linear combination with nonnegative coefficients of certain explicit polynomials with positive coefficients. This implies that the Huybrechts-Riemann-Roch polynomial satisfies a curious symmetry property

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

66 extracted references · 64 canonical work pages

  1. [1]

    Differential Geom

    Beauville, A., Vari\'et\'es k\"ahl\'eriennes dont la premi\`ere classe de Chern est nulle, J. Differential Geom. 18 (1983),755--782

    work page 1983

  2. [2]

    Beckmann, T., Song, J., Second Chern class and Fujiki constants of hyperk\"ahler manifolds, eprint arXiv:2201.07767

    arXiv

  3. [3]

    Debarre, O., Huybrechts, D., Macr\`i, E., Voisin, C., Computing Riemann--Roch polynomials and classifying hyper-K\"ahler fourfolds, J. Amer. Math. Soc. 37 (2024), 151--185

    work page 2024

  4. [4]

    Fujiki, A., On the de Rham cohomology group of a compact K\"ahler symplectic manifold, in Algebraic geometry, Sendai, 1985, 105--165, Adv. Stud. Pure Math. 10 North-Holland Publishing Co., Amsterdam, 1987

    work page 1985

  5. [5]

    Lectures from the Summer School held in Nordfjordeid, June 2001

    Gross, M., Huybrechts, D., Joyce, D., in Calabi-Yau manifolds and related geometries , Universitext, Springer-Verlag, Berlin, 2003. Lectures from the Summer School held in Nordfjordeid, June 2001

    work page 2003

  6. [6]

    Guan, D., On the Betti numbers of irreducible compact hyperk\"ahler manifolds of complex dimension four, Math. Res. Lett. 8 (2001), 663--669

    work page 2001

  7. [7]

    Hitchin, N., Sawon, J., Curvature and characteristic numbers of hyper-K\"ahler manifolds, Duke Math. J. 106 (2001), 599--615

    work page 2001

  8. [8]

    reine angew

    Huybrechts, D., Finiteness results for compact hyperk\"ahler manifolds, J. reine angew. Math. 558 (2003), 15--22

    work page 2003

Show all 66 references
  1. [9]

    Huybrechts, D., Compact hyperk\"ahler manifolds, in Calabi-Yau manifolds and related geometries (Nordfjordeid, 2001), 161--225, Universitext, Springer, Berlin, 2003

    2001

  2. [10]

    Algebraic Geom

    Jiang, C., Positivity of Riemann--Roch polynomials and Todd classes of hyperk\"ahler manifolds, J. Algebraic Geom. 32 (2023), 239--269

    2023

  3. [11]

    Algebraic Geom

    Nieper-Wisskirchen, M., Hirzebruch-Riemann-Roch formulae on irreducible symplectic K\"ahler manifolds, J. Algebraic Geom. 12 (2003), 715--739

    2003

  4. [12]

    Ergebnisse der Mathematik und ihrer Grenzgebiete 4 , Springer-Verlag, Berlin, 2004

    Barth, W., Hulek, K., Peters, Ch., Van de Ven, A., Compact complex surfaces, Second edition. Ergebnisse der Mathematik und ihrer Grenzgebiete 4 , Springer-Verlag, Berlin, 2004

    2004

  5. [13]

    Bayer, A., Macr\`i, E., Projectivity and birational geometry of Bridgeland moduli spaces, J. Amer. Math. Soc. 27 (2014), 707--752

    2014

  6. [14]

    Bayer, A., Macr\`i, E., MMP for moduli of sheaves on K3s via wall-crossing: nef and movable cones, Lagrangian fibrations, Invent. Math. 198 (2014), 505--590

    2014

  7. [15]

    Beauville, A., Counting rational curves on K3 surfaces, Duke Math. J. 97 (1999), 99--108

    1999

  8. [16]

    Benoist, O., Espaces de modules d'intersections compl\`etes lisses, Th\`ese, 2012, available at https://www.math.ens.fr/ benoist/articles/These.pdf

    2012

  9. [17]

    Algebraic Geom

    Borcherds, R., Katzarkov, L., Pantev, T., Shepherd-Barron, N.I., Families of K3 surfaces, J. Algebraic Geom. 7 (1998), 183--193

    1998

  10. [18]

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

    2004

  11. [19]

    Brakkee, E., Moduli spaces of twisted K3 surfaces and cubic fourfolds, Math. Ann. 377 (2020), 1453--1479

    2020

  12. [20]

    Bridgeland, T., Stability conditions on K3 surfaces, Duke Math. J. 141 (2008), 241--291

    2008

  13. [21]

    thesis, University of K\"oln, 2002

    Britze, M., Generalized Kummer varieties, Ph .D. thesis, University of K\"oln, 2002

    2002

  14. [22]

    Campana, F., R\'eduction alg\'ebrique d'un morphisme faiblement K\"ahl\'erien propre et applications, Math. Ann. 256 (1981), 157--189

    1981

  15. [23]

    Debarre, O., On the Euler characteristic of generalized Kummer varieties, Amer. J. Math. 121 (1999), 577--586

    1999

  16. [24]

    Debarre, O., Cohomological characterizations of the complex projective space, eprint arXiv:1512.04321

    arXiv

  17. [25]

    Druel, S., 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

  18. [26]

    Druel, S., A decomposition theorem for singular spaces with trivial canonical class of dimension at most five, Invent. Math. 211 (2018), 245--296

    2018

  19. [27]

    Algebraic Geom

    Ellingsrud, G., G\"ottsche, L., Lehn, M., On the cobordism class of the Hilbert scheme of a surface, J. Algebraic Geom. 10 (2001), 81--100

    2001

  20. [28]

    Fujiki, A., Relative algebraic reduction and relative Albanese map for a fiber space in , Publ. Res. Inst. Math. Sci. 19 (1983), 207--236

    1983

  21. [29]

    Fujino, O., On Kawamata's theorem, in Classification of algebraic varieties, 305--315, EMS Ser. Congr. Rep., Eur. Math. Soc., Z\"urich, 2011

    2011

  22. [30]

    Sarti, A., Projective models of K3 surfaces with an even set, Adv

    Garbagnati, A. Sarti, A., Projective models of K3 surfaces with an even set, Adv. Geom. 8 (2008), 413--440

    2008

  23. [31]

    Sarti, A., Kummer surfaces and K3 surfaces with ( /2 )^4 symplectic action, Rocky Mountain J

    Garbagnati, A. Sarti, A., Kummer surfaces and K3 surfaces with ( /2 )^4 symplectic action, Rocky Mountain J. Math. 46 (2016), 1141--1205

    2016

  24. [32]

    van der Geer, G., Katsura, T., Note on tautological classes of moduli of K3 surfaces, Mosc. Math. J. 5 (2005), 775--779, 972

    2005

  25. [33]

    Griffiths, P., Harris, J., Principles of algebraic geometry, Pure and Applied Mathematics, Wiley-Interscience, New York, 1978

    1978

  26. [34]

    Minimal Siegel modular threefolds, Math. Proc. Cambridge Philos. Soc. 123 (1998), 461--485

    1998

  27. [35]

    Hashimoto, K., Murabayashi, N., Shimura curves as intersections of Humbert surfaces and

  28. [36]

    Hassett, B., Tschinkel, Y., Moving and ample cones of holomorphic symplectic fourfolds, Geom. Funct. Anal. 19 (2009), 1065--1080

    2009

  29. [37]

    Huybrechts, D., Lectures on K3 surfaces, Cambridge Studies in Advanced Mathematics 158 , Cambridge University Press, 2016

    2016

  30. [38]

    Compact hyperk\"ahler manifolds: Basic results, Invent

    Huybrechts, D. Compact hyperk\"ahler manifolds: Basic results, Invent. Math. 135 (1999), 63--113

    1999

  31. [39]

    Huybrechts, D., Xu, C., Lagrangian fibrations of hyperk\"ahler fourfolds, eprint arXiv:1902.10440

    1902 arXiv

  32. [41]

    Huybrechts, D., Stellari, P.,

  33. [42]

    Kawamata, Y., Pluricanonical systems on minimal algebraic varieties, Invent. Math. 79 (1985), 567--588

    1985

  34. [43]

    Kawamata, Y., Matsuda, K., Matsuki, K., Introduction to the minimal model problem, in Algebraic geometry, Sendai, 1985, 283--360, Adv. Stud. Pure Math. 10 , North-Holland, Amsterdam, 1987

    1985

  35. [44]

    218 (2017), 55--135

    Laza, R., Sacc\`a, G., Voisin, C., A hyper-K\"ahler compactification of the intermediate Jacobian fibration associated with a cubic 4-fold, Acta Math. 218 (2017), 55--135

    2017

  36. [45]

    Lin, H.-Y., Lagrangian constant cycle subvarieties in Lagrangian fibrations, Int. Math. Res. Not. IMRN 2020, 14--24

    2020

  37. [46]

    Looijenga, E., Compactifications defined by arrangements. II. Locally symmetric varieties of type IV, Duke Math. J. 119 (2003), 527--588

    2003

  38. [47]

    Markman, E., Prime exceptional divisors on holomorphic symplectic varieties and monodromy-reflections, Kyoto J. Math. 53 (2013), 345--403

    2013

  39. [48]

    Matsushita, D., Higher direct images of dualizing sheaves of Lagrangian fibrations, Amer. J. Math. 127 (2005), 243--259

    2005

  40. [49]

    Matsushita, D., On fibre space structures of a projective irreducible symplectic manifold,

  41. [50]

    Matsushita, D., Addendum: ``On fibre space structures of a projective irreducible symplectic manifold,'' Topology 40 (2001), 431--432

    2001

  42. [51]

    Matsushita, D., On deformations of Lagrangian fibrations, in K3 Surfaces and Their Moduli, 237--243, Progr. Math. 315 , Birkh\"auser/Springer, Cham, 2016

    2016

  43. [52]

    Mongardi, G., Onorati, C., Birational geometry of irreducible holomorphic symplectic tenfolds of O'Grady type, eprint arXiv:2008.04685

    2008 arXiv

  44. [53]

    Mukai, S., Duality of polarized K3 surfaces, in New trends in algebraic geometry (Warwick, 1996), London Math. Soc. Lecture Note Ser. 264 (1999), Cambridge Univ. Press, 311--326

    1999

  45. [54]

    Pathologies

    Mumford, D. Pathologies. III, Amer. J. Math. . 89 (1967), 94--104

    1967

  46. [55]

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

    2008

  47. [56]

    Peternell, T., Minimal varieties with trivial canonical classes, I, Math. Z. 217 (1994), 377--405

    1994

  48. [57]

    Rapagnetta, A., Topological invariants of O'Grady's six dimensional irreducible symplectic variety., Math. Z. 256 (2007), 1--34

    2007

  49. [58]

    Rapagnetta, A., On the Beauville form of the known irreducible symplectic varieties, Math. Ann. 340 (2008), 77--95

    2008

  50. [59]

    R\'ios Ortiz, A., Riemann-Roch Polynomials of the known Hyperk\"ahler Manifolds, eprint arXiv:2006.09307

    2006 arXiv

  51. [60]

    Sacc\`a, G., Birational geometry of the intermediate Jacobian fibration of a cubic fourfold, with an appendix by Claire Voisin, eprint arXiv:2002.01420

    2002 arXiv

  52. [61]

    Salamon, S. M. Spinors and cohomology, Rend. Sem. Mat. Univ. Politec. Torino 50 (1992), 393--410

    1992

  53. [62]

    Algebraic Geom

    Sawon, J., A finiteness theorem for Lagrangian fibrations, J. Algebraic Geom. 25 (2016), 431--459

    2016

  54. [63]

    Voisin, C., Sur la stabilit\'e des sous-vari\'et\'es lagrangiennes des vari\'et\'es symplectiques holomorphes, in Complex projective geometry (Trieste, 1989/Bergen, 1989), 294--303, London Math. Soc. Lecture Note Ser. 179 , Cambridge Univ. Press, Cambridge, 1992

    1989

  55. [64]

    Voisin, C., On coverings and fibrations of hyper-K\" a hler manifolds, in preparation

  56. [65]

    Algebraic Geom

    Wierzba, J., Contractions of symplectic varieties, J. Algebraic Geom. 12 (2003), 507--534

    2003

  57. [66]

    Small contractions and symplectic 4-folds, Duke Math

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

    2003

  58. [67]

    Yoshioka, K., Bridgeland's stability and the positive cone of the moduli spaces of stable objects on an abelian surface, in Development of moduli theory, Kyoto 2013, 473--537, Adv. Stud. Pure Math. 69 , Math. Soc. Japan, Tokyo, 2016

    2013

Pith tools

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