Pith. sign in

REVIEW 2 major objections 4 minor 49 references

For a very general polarized K3 surface of degree 8n−6, the birational involution of the Hilbert scheme S^[n] has indeterminacy locus equal to the set of n-point subschemes whose linear span fails to be a hyperplane, and this locus is an ir

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 ↗

A birational involution on Hilbert schemes of points on K3 surfaces, earlier found by lattice-theoretic counting, is described geometrically and its indeterminacy locus is identified as a P2-fibration over a moduli space of sheaves.

T0 review reviewed 2026-08-04 challenge →

load-bearing objection Solid, serious geometry on the birational involutions of S^[n], but the main theorems are proved only under the conjectural C_n=1 condition while the abstract states them unconditionally. the 2 major comments →

arxiv 2509.10130 v1 pith:5U74AJNA submitted 2025-09-12 math.AG

More birational involutions

Pietro Beri , Laurent Manivel This is my paper
classification math.AG MSC 14E0714J2814C0514D20
keywords K3 surfacesHilbert schemes of pointsbirational involutionsMori contractionswall-crossing in derived categoriesrank-two vector bundlesmoduli spaces of sheavesindeterminacy loci
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 reading

The paper aims to turn a lattice-theoretically predicted birational involution on Hilbert schemes of points on K3 surfaces into a concrete geometric picture. For a very general polarized K3 surface of degree 8n−6, every general n-point subscheme lies on a unique section of a certain rank-two bundle, and the remaining n points of that section's zero locus give the involution's image. The paper proves that the indeterminacy locus of this involution is exactly the set of subschemes whose linear span is too small, that this locus is irreducible and contracted by a flopping Mori contraction, and that it fibers birationally over a moduli space of stable sheaves with explicitly computable fibers. It also proves that the divisor H^n−2δ defines a degree-two morphism whose covering involution is the birational involution. The main theorems are established under the condition that the movable cone has exactly two chambers, verified computationally up to n=200 and conjectured in general; without that condition, the contraction description is not yet available.

Core claim

For S a very general polarized K3 surface with Picard group generated by an ample class H of self-intersection 8n−6, consider the Hilbert scheme S^[n] of n points. A rank-two vector bundle U_2^∨ embeds S into the Grassmannian G(2,V_{2n+1}); for a generic length-n subscheme Z, there is a unique (up to scalar) section vanishing on Z, its zero locus has length 2n, and it decomposes as Z ∪ φ(Z), where φ is the birational involution. The paper's central claim is that the indeterminacy locus I of φ coincides with the locus J of subschemes whose span in V_{2n+1} has codimension at least two. Under the hypothesis C_n=1, I=J is irreducible, contracted by the flopping contraction c:S^[n]→N to its base

What carries the argument

The engine is the rank-two bundle U_2^∨ together with the residual-scheme rule: an n-point scheme Z spans a hyperplane V_{2n} in V_{2n+1}, and φ(Z) is the residual n points of the intersection G(2,V_{2n})∩S after removing Z. Around this, the proof uses wall-crossing in derived categories: S^[n] is viewed as a moduli space of stable objects, the flopping wall corresponds to the rank-two lattice Λ spanned by v=(1,0,−(n−1)) and a=(−2,H,−(2n−1)) (the invariant of U_2[1]), and the derived Jordan-Hölder filtrations of ideal sheaves encode the stratification of the indeterminacy locus. The divisor H^n−2δ, of square 2 and fixed by the involution, is the class that cuts the flop and yields the degree

Load-bearing premise

The load-bearing assumption is C_n=1: the movable cone of S^[n] has exactly two chambers, equivalently H^n−2δ is nef and big; this is checked only for n≤200 and conjectured for all n, and if it fails the flopping contraction c used to identify the indeterminacy locus is not defined.

What would settle it

Run the paper's own search (Appendix A) for n>200: find integers (X,Y) satisfying X^2−4t(n−1)Y^2=α^2−4ρ(n−1) for one of the allowed cases (ρ,α), with X≡±α mod 2(n−1) and Y/X<1/t. Such a solution would put a wall inside the cone spanned by H^n and H^n−2δ, hence C_n>1, contradicting the conjectured extension of Proposition 4.4 and making the unconditional description of I=J via c unavailable.

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

If this is right

  • The indeterminacy locus of φ is a Brill-Noether type locus: it consists exactly of n-point subschemes failing to impose independent conditions on sections of U_2^∨, and it is irreducible.
  • The involution is the covering involution of the generically degree-two morphism defined by |H^n−2δ|, so a single linear system encodes the map.
  • The base of the flopping contraction is stratified by span codimension, with fibers of dimension (k+1)(k+2); for n≤5 the indeterminacy locus is a P^2-fibration, while for n≥6 deeper strata appear.
  • The moduli space Σ inherits a nef and big line bundle of degree 2 and a birational involution which, for n≥6, is not biregular on any birational model of Σ; for n=4, (Σ,L) is a double EPW sextic whose covering involution is φ_Σ.
  • The stratification yields a Brill-Noether statement: J_k is non-empty iff (k+1)(k+2)≤n, has dimension 2n−(k+1)(k+2), and is a fibration over a moduli space of H-stable sheaves with invariant (2k+3,−(k+1)H,(2k+1)n−k).

Where Pith is reading between the lines

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

  • A decisive test is to run the paper's own arithmetic criterion for n>200: any solution of the relevant Pell-type equations with Y/X<1/t would give C_n>1 and remove the contraction-based description, so the theorem's unconditional form rests on the conjecture C_n=1.
  • The expected stratified-flop picture suggests an explicit resolution of φ by blowing up the strata I_r, I_{r−1}, ... in order; if it works, this would be the first explicit resolution of such an involution beyond n=3.
  • If C_n=1 fails for some n, the authors' Remark 5.2 suggests the same base-point-freeness and contraction statements should hold after pulling back to the birational model corresponding to the C_n-th chamber; locating such an n would pinpoint where the paper's unconditional phrasing needs modification.
Share X Bluesky LinkedIn Reddit HN

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 studies a birational involution φ on the Hilbert scheme S^[n] of n points on a very general polarized K3 surface S of degree 8n−6, whose existence was previously established lattice-theoretically in [8]. The authors give a geometric description: a generic length-n subscheme Z spans a hyperplane in V_{2n+1}, and φ(Z) is the residual scheme in the intersection of S with the corresponding hyperplane (Proposition 1.1). Using Bayer–Macrì wall-crossing, they identify the indeterminacy locus I of φ with the locus J of schemes whose linear span in V_{2n+1} has codimension at least two (Theorem 6.23), and prove that I is irreducible and birational to a P^2-fibration over a moduli space Σ of H-stable sheaves with Mukai vector (3,−H,n), with a stratification by the dimension of the span (Theorems 6.28 and 6.29). They also show, under the hypothesis C_n=1, that |H^n−2δ| is base-point-free and its morphism has degree two with covering involution φ (Theorem 5.1), and they study the induced involution on Σ and its relation to the involutions of Faenzi–Menet–Prieto-Montañez (Proposition 7.10). The condition C_n=1 is verified computationally for n≤200 and conjectured in general.

Significance. If the main results are read under the hypothesis C_n=1, this is a substantial contribution: it produces an explicit geometric model for a new infinite family of birational involutions on Hilbert schemes of K3-type hyperkähler manifolds, and it uses state-of-the-art tools (Bayer–Macrì wall-crossing, Mukai bundles, moduli spaces of sheaves, Torelli for hyperkähler manifolds) in a coherent way. The geometric description of φ as a residual-zero-locus operation is attractive and likely to be useful. The paper also includes a reproducible computer verification of C_n=1 for n≤200 in Appendix A, which is a definite strength. The main limitation is that the central geometric theorems are proven only conditionally on C_n=1, which is a conjecture beyond n=200; the abstract and Theorem 1.2 currently state an unconditional result for all n.

major comments (2)
  1. [Abstract, Theorem 1.2, §5–§6] The main theorem is stated for every very general polarized K3 surface S of degree 8n−6, but the proof is carried out under the hypothesis C_n=1. Proposition 4.3 shows that H^n−2δ is nef and big if and only if C_n=1, and the flopping contraction c in diagram (4), the irreducible-base result Lemma 6.6, the identification I=J in Theorem 6.23, and the stratification in Theorem 6.28 all rely on this contraction. The text itself says before Theorem 5.1 'we impose the condition C_n=1' and at the start of §6 'we will always work under the hypothesis that C_n=1.' Since C_n=1 is only verified for n≤200 and is a conjecture in general, the unconditional wording of the abstract and Theorem 1.2 overstates what is proved. This is a load-bearing scope limitation, not merely a presentation issue.
  2. [Theorem 6.29 and Corollary 6.26] The same caveat propagates to the more precise statements. Theorem 6.29 asserts a Brill–Noether description and dimension formula for the loci J_k for a very general S of degree 8n−6, but its proof uses the same contraction c, the bases B^(k), and the normalization maps of §6.3, all of which are constructed under C_n=1. Corollary 6.26, cited in the introduction as part of Theorem 1.2, likewise depends on that hypothesis. Every statement of this type should carry the hypothesis C_n=1 explicitly, and the abstract should be rephrased so that the conditional nature of the main theorem is visible to the reader.
minor comments (4)
  1. [Abstract and Introduction] Minor wording issues: 'P^2-fibration on a moduli space' should be 'over a moduli space'; 'perspective' is misspelled; 'this stratification if well-behaved' should be 'is well-behaved.'
  2. [§7.3] The Plücker variety is denoted by the same symbol Σ as the moduli space Σ introduced in §6.2. This is confusing, especially in the diagram in §7.3; a different notation (e.g. Σ_P or ̄Σ) would help.
  3. [References] References [39] and [44] appear to be the same article (O'Grady, 'Involutions and linear systems...', GAFA 15, 2005). One of them should be removed or replaced.
  4. [Appendix A] The code is clear and reproducible, but a few comments connecting the variables (α, ρ) to the three cases of (7) and to the derived inequality (31) would make the verification easier to audit.

Circularity Check

0 steps flagged

No circular derivation; central geometric claims are derived from Mukai bundles, monodromy, wall-crossing and Torelli arguments, not from the target statements. The main caveat is a scope limitation: Theorems 1.2/6.28 are stated unconditionally but proved only under the conjectural hypothesis C_n=1, checked computationally for n≤200.

full rationale

The paper's derivation chain for its central theorem (I=J and the P^2-fibration structure of the indeterminacy locus) is not circular. I is defined as the indeterminacy locus of the birational involution φ (Section 2.4, Proposition 1.1), while J is defined independently as the locus where the evaluation map H^0(S,U_2^∨)→H^0(Z,U_2^∨|_Z) fails to be surjective (Section 3.2, Definition 3.4 and Lemma 3.5). Theorem 6.23 proves I=J using the wall-crossing description of the flopping contraction (Lemma 6.16 and Proposition 6.11) and the Brill–Noether criterion (Lemma 3.5); neither of these ingredients assumes the equality being proved. The existence and cohomological action of φ are imported from the authors' prior paper [8], but this is an external peer-reviewed lattice-theoretic theorem used as an input, not as a substitute for the new geometric arguments; similarly the n=3 case from [9] is an input. No fitted parameter is renamed as a prediction: the only computational check (Appendix A, Proposition 4.4) is explicitly flagged as verification for n≤200, with the general statement left as a conjecture ('We expect it to hold in full generality'). The unconditional wording of the abstract and Theorems 1.2/6.28, contrasted with the explicit hypothesis C_n=1 imposed in Sections 5 and 6, is a genuine scope limitation and a correctness risk for the theorem statements as written, but it is not a circularity: the arguments inside the C_n=1 regime are self-contained and do not reduce to the target claims.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

The paper leans on substantial established machinery (Bayer-Macrì, Torelli, moduli of sheaves) and on the prior lattice-theoretic existence of φ. The only internally assumed condition is Cn=1, which is load-bearing and only computationally verified for n≤200. No free parameters or invented entities were introduced; the moduli space Σ and Plücker variety are defined objects, not postulated entities.

axioms (5)
  • domain assumption Existence and cohomological action of the unique non-trivial birational involution φ on S^[n], non-symplectic with φ* = −R_{H^n−2δ}.
    Taken from [8] (Beri-Cattaneo), based on lattice theory and the Pell equation; used as the starting point in Section 2.1 and Proposition 2.1.
  • domain assumption Existence and properties of the Mukai bundle U^∨_2 on S: rank 2, c1=H, χ=2n−1, globally generated, no higher cohomology, and the Plücker surjectivity of V^rH^0 → H^0(V^rE).
    External theorem of Kuleshov, Mukai, [37], [13], used for the embedding S⊂G(2,V_{2n+1}) in Section 2.2. Assertion (2) of Theorem 2.2 is stated without proof in [37]; the paper proves a stronger rank-two version in Proposition 2.9.
  • standard math Bayer-Macrì wall-crossing and MMP theory for moduli of sheaves on K3 surfaces ([5,6]), including [5, Theorem 5.7], [6, Theorem 1.4], and [5, Lemma 14.1].
    These established results underlie the contraction c, the moduli spaces Σ^(i), and the stratifications used throughout Section 6.
  • standard math Torelli theorem for hyperkähler manifolds, Markman's monodromy and movable-cone results, and Oguiso's finiteness criteria ([34], [46], [43], [11], [42]).
    Used in the proof of Theorem 5.1 (Torelli argument) and in Section 7 to study the birational automorphism group of Σ.
  • ad hoc to paper Cn=1: the movable cone of S^[n] has exactly two chambers, equivalently H^n−2δ is nef and big.
    Explicitly imposed for the main theorems 5.1, 6.23, 6.28, 7.16. Verified by computer for n≤200 (Proposition 4.4 and Appendix A) and conjectured to hold in general; the abstract and Theorem 1.2 state results without this caveat.

reviewed 2026-08-04 · how reviews work

0 comments
Cite this review

Pith. "Pith review of More birational involutions." pith.science (2026). https://pith.science/paper/5U74AJNA

@misc{pith2026250910130,
  author       = {Pith},
  title        = {Pith review of: More birational involutions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5U74AJNA}},
  note         = {Machine review of arXiv:2509.10130}
}
Share X Bluesky LinkedIn Reddit HN
abstract

For $S$ a very general polarized K3 surface of degree $8n-6$, we describe in geometrical terms a birational involution of the Hilbert scheme $S^{[n]}$ of $n$ points on the surface, whose existence was established from lattice theoretical considerations. In a previous work we studied this involution for $n=3$, with the help of the exceptional Lie group $G_2$, since the Mukai model of $S$ is embedded in its projectivized Lie algebra. Here we use different, more general arguments to show that some important features of the birational involution persist for $n\ge 4$. In particular, we describe the indeterminacy locus of the involution in terms of a Mori contraction, and deduce that it is birational to a $\mathbb{P}^2$-fibration over a moduli space of sheaves on $S$, that also admits a degree two nef and big line bundle and an induced birational involution.

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

49 extracted references · 3 linked inside Pith

  1. [1]

    Apostolov,Moduli spaces of polarized irreducible symplectic manifolds are not nec- essarily connected, Ann

    A. Apostolov,Moduli spaces of polarized irreducible symplectic manifolds are not nec- essarily connected, Ann. Inst. Fourier (Grenoble)64(2014), no. 1, 189–202

    2014

  2. [2]

    Barros, P

    I. Barros, P. Beri, E. Brakkee, and L. Flapan,Kodaira dimension of moduli spaces of hyperK¨ ahler varieties, arXiv:2212.12586, to appear in Algebraic Geometry, 2022

    Pith/arXiv arXiv 2022

  3. [3]

    Bayer,Wall-crossing implies Brill-Noether: applications of stability conditions on surfaces, Algebraic geometry: Salt Lake City 2015, Proc

    A. Bayer,Wall-crossing implies Brill-Noether: applications of stability conditions on surfaces, Algebraic geometry: Salt Lake City 2015, Proc. Sympos. Pure Math., vol. 97, Amer. Math. Soc., Providence, RI, 2018, pp. 3–27

    2015

  4. [4]

    Bayer, A

    A. Bayer, A. Kuznetsov, and E. Macr ` ı,Mukai models of Fano varieties, arXiv:2501.16157, 2025

    Pith/arXiv arXiv 2025

  5. [5]

    Bayer and E

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

    2014

  6. [6]

    ,Projectivity and birational geometry of Bridgeland moduli spaces, J. Amer. Math. Soc.27(2014), no. 3, 707–752

    2014

  7. [7]

    Beauville,Some remarks on K¨ ahler manifolds withc 1 = 0, Classification of alge- braic and analytic manifolds (Katata, 1982), Progr

    A. Beauville,Some remarks on K¨ ahler manifolds withc 1 = 0, Classification of alge- braic and analytic manifolds (Katata, 1982), Progr. Math., vol. 39, Birkh¨ auser, 1983, pp. 1–26

    1982

  8. [8]

    Beri and A

    P. Beri and A. Cattaneo,On birational transformations of Hilbert schemes of points on K3 surfaces, Math. Z.301(2022), no. 2, 1537–1554. 47

    2022

  9. [9]

    Beri and L

    P. Beri and L. Manivel,A birational involution, arXiv:2211.12866, 2022

    arXiv 2022

  10. [10]

    Boissi` ere, A

    S. Boissi` ere, A. Cattaneo, M. Nieper-Wisskirchen, and A. Sarti,The automorphism group of the Hilbert scheme of two points on a generic projective K3 surface, K3 surfaces and their moduli, Progr. Math., vol. 315, Birkh¨ auser, 2016, pp. 1–15

    2016

  11. [11]

    Camere, A

    C. Camere, A. Cattaneo, and A. Cattaneo,Non-symplectic involutions on manifolds ofK3 [n]-type, Nagoya Math. J.243(2021), 278–302

    2021

  12. [12]

    Cattaneo,Automorphisms of Hilbert schemes of points on a generic projective K3 surface, Math

    A. Cattaneo,Automorphisms of Hilbert schemes of points on a generic projective K3 surface, Math. Nachr.292(2019), no. 10, 2137–2152

    2019

  13. [13]

    Coskun, H

    I. Coskun, H. Neuer, and K. Yoshioka,The cohomology of the general stable sheaf on a K3 surface, Adv. Math.426(2023), Paper No. 109102, 85

    2023

  14. [14]

    Danila,Sur la cohomologie d’un fibr´ e tautologique sur le sch´ ema de Hilbert d’une surface, J

    G. Danila,Sur la cohomologie d’un fibr´ e tautologique sur le sch´ ema de Hilbert d’une surface, J. Algebraic Geom.10(2001), no. 2, 247–280

    2001

  15. [15]

    Debarre,HyperK¨ ahler manifolds, Milan Journal of Mathematics90(2022), no

    O. Debarre,HyperK¨ ahler manifolds, Milan Journal of Mathematics90(2022), no. 2, 305–387

    2022

  16. [16]

    Debarre, A

    O. Debarre, A. Iliev, and L. Manivel,Special prime Fano fourfolds of degree 10 and index 2, Recent advances in algebraic geometry417(2015), 123

    2015

  17. [17]

    Debarre and E

    O. Debarre and E. Macr ` ı,On the period map for polarized hyperK¨ ahler fourfolds, Int. Math. Res. Not. IMRN (2019), no. 22, 6887–6923

    2019

  18. [18]

    Geom.5(2018), 15–76

    Olivier Debarre and Kuznetsov A.,Gushel–mukai varieties: classification and bira- tionalities, Algebr. Geom.5(2018), 15–76

    2018

  19. [19]

    Faenzi, G

    D. Faenzi, G. Menet, and Y. Prieto-Monta˜ nez,Anti-symplectic involutions on moduli spaces of sheaves on K3 surfaces via auto-equivalences, arXiv:2409.12668, 2024

    Pith/arXiv arXiv 2024

  20. [20]

    V. A. Gritsenko, K. Hulek, and G. K. Sankaran,The Kodaira dimension of the moduli ofK3surfaces, Invent. Math.169(2007), no. 3, 519–567

    2007

  21. [21]

    Algebra322(2009), no

    ,Abelianisation of orthogonal groups and the fundamental group of modular varieties, J. Algebra322(2009), no. 2, 463–478

    2009

  22. [22]

    ,Moduli of K3 surfaces and irreducible symplectic manifolds, Handbook of moduli. Vol. I, Adv. Lect. Math. (ALM), vol. 24, Int. Press, 2013, pp. 459–526

    2013

  23. [23]

    Harris,Galois groups of enumerative problems, Duke Math

    J. Harris,Galois groups of enumerative problems, Duke Math. J.46(1979), no. 4, 685–724

    1979

  24. [24]

    Huybrechts,Chow groups of K3 surfaces and spherical objects, J

    D. Huybrechts,Chow groups of K3 surfaces and spherical objects, J. Eur. Math. Soc. (JEMS)12(2010), no. 6, 1533–1551

    2010

  25. [25]

    158, Cambridge University Press, 2016

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

    2016

  26. [26]

    Huybrechts and M

    D. Huybrechts and M. Lehn,The geometry of moduli spaces of sheaves, Cambridge University Press, 2010

    2010

  27. [27]

    Iliev and L

    A. Iliev and L. Manivel,Fano manifolds of degree ten and EPW sextics, Ann. Sci. ´Ec. Norm. Sup´ er. (4)44(2011), no. 3, 393–426

    2011

  28. [28]

    Kaledin,Symplectic singularities from the Poisson point of view, J

    D. Kaledin,Symplectic singularities from the Poisson point of view, J. Reine Angew. Math.600(2006), 135–156

    2006

  29. [29]

    S. A. Kuleshov,A theorem on the existence of exceptional bundles on surfaces of type K3, Izv. Akad. Nauk SSSR Ser. Mat.53(1989), no. 2, 363–378

    1989

  30. [30]

    Lazarsfeld,Lectures on linear series, Complex algebraic geometry (Park City, UT, 1993), IAS/Park City Math

    R. Lazarsfeld,Lectures on linear series, Complex algebraic geometry (Park City, UT, 1993), IAS/Park City Math. Ser., vol. 3, Amer. Math. Soc., Providence, RI, 1997, pp. 161–219

    1993

  31. [31]

    I, A Series of Modern Surveys in Mathemat- ics, vol

    ,Positivity in algebraic geometry. I, A Series of Modern Surveys in Mathemat- ics, vol. 48, Springer, 2004, Classical setting: line bundles and linear series

    2004

  32. [32]

    Marian, D

    A. Marian, D. Oprea, and R. Pandharipande,Higher rank Segre integrals over the Hilbert scheme of points, J. Eur. Math. Soc. (JEMS)24(2022), no. 8, 2979–3015

    2022

  33. [33]

    Markman,Brill-Noether duality for moduli spaces of sheaves on K3 surfaces, J

    E. Markman,Brill-Noether duality for moduli spaces of sheaves on K3 surfaces, J. Algebr. Geom.10(2001), no. 4, 623–694. 48

    2001

  34. [34]

    Math., vol

    ,A survey of Torelli and monodromy results for holomorphic-symplectic vari- eties, Complex and differential geometry, Springer Proc. Math., vol. 8, Springer, 2011, pp. 257–322

    2011

  35. [35]

    Matsuki,Introduction to the Mori program, Universitext, Springer-Verlag, New York, 2002

    K. Matsuki,Introduction to the Mori program, Universitext, Springer-Verlag, New York, 2002

    2002

  36. [36]

    Mukai,On the moduli space of bundles onK3surfaces

    S. Mukai,On the moduli space of bundles onK3surfaces. I, Vector bundles on alge- braic varieties (Bombay, 1984), Tata Inst. Fund. Res. Stud. Math., vol. 11, Tata Inst. Fund. Res., Bombay, 1987, pp. 341–413

    1984

  37. [37]

    I, Kinokuniya, 1988, pp

    ,Curves,K3surfaces and Fano3-folds of genus≤10, Algebraic geometry and commutative algebra, Vol. I, Kinokuniya, 1988, pp. 357–377

    1988

  38. [38]

    ,PolarizedK3surfaces of genus18and20, Complex projective geometry (Tri- este, 1989/Bergen, 1989), London Math. Soc. Lecture Note Ser., vol. 179, Cambridge Univ. Press, 1992, pp. 264–276

    1989

  39. [39]

    O’Grady,Involutions and linear systems on holomorphic symplectic manifolds, Geom

    K.G. O’Grady,Involutions and linear systems on holomorphic symplectic manifolds, Geom. Funct. Anal.15(2005), no. 6, 1223–1274

    2005

  40. [40]

    ,Dual double EPW-sextics and their periods, Pure Appl. Math. Q.4(2008), no. 2, Special Issue: In honor of Fedor Bogomolov. Part 1, 427–468

    2008

  41. [41]

    J.62(2013), no

    ,Double covers of EPW-sextics, Michigan Math. J.62(2013), no. 1, 143–184

    2013

  42. [42]

    Oguiso,K3 surfaces via almost-primes, Math

    K. Oguiso,K3 surfaces via almost-primes, Math. Res. Lett.9(2002), no. 1, 47–63

    2002

  43. [43]

    Algebraic Geom.23((2014)), no

    ,Automorphism groups of Calabi–Yau manifolds of Picard number two, J. Algebraic Geom.23((2014)), no. 1, 775–795

    2014

  44. [44]

    O’Grady,Involutions and linear systems on holomorphic symplectic manifolds, Geometric & Functional Analysis GAF A15(2005), no

    K.G. O’Grady,Involutions and linear systems on holomorphic symplectic manifolds, Geometric & Functional Analysis GAF A15(2005), no. 6, 1223–1274

    2005

  45. [45]

    Song,On the image of the period map for polarized hyperK¨ ahler manifolds, Inter- national Mathematics Research Notices2023(2023), no

    J. Song,On the image of the period map for polarized hyperK¨ ahler manifolds, Inter- national Mathematics Research Notices2023(2023), no. 13, 11404–11431

    2023

  46. [46]

    Varesco,Towards generic base-point-freeness for hyperk¨ ahler manifolds of general- ized Kummer type, Abh

    M. Varesco,Towards generic base-point-freeness for hyperk¨ ahler manifolds of general- ized Kummer type, Abh. Math. Semin. Univ. Hambg.93(2023), no. 2, 133–147

    2023

  47. [47]

    Voisin,Rational equivalence of 0-cycles onK3surfaces and conjectures of Huy- brechts and O’Grady, Recent advances in algebraic geometry, London Math

    C. Voisin,Rational equivalence of 0-cycles onK3surfaces and conjectures of Huy- brechts and O’Grady, Recent advances in algebraic geometry, London Math. Soc. Lecture Note Ser., vol. 417, Cambridge Univ. Press, 2015, pp. 422–436

    2015

  48. [48]

    Wandel,Tautological sheaves: Stability, moduli spaces and restrictions to gener- alised Kummer varieties, Osaka J

    M. Wandel,Tautological sheaves: Stability, moduli spaces and restrictions to gener- alised Kummer varieties, Osaka J. Math.53(2016), no. 4, 889–910

    2016

  49. [49]

    Weyman,Cohomology of vector bundles and syzygies, Cambridge Tracts in Mathe- matics, vol

    J. Weyman,Cohomology of vector bundles and syzygies, Cambridge Tracts in Mathe- matics, vol. 149, Cambridge University Press, 2003. Institut Elie Cartan de Lorraine, Universit ´e de Lorraine et CNRS, 54000 Nancy, France Email address:pietro.beri@univ-lorraine.fr Institut de Math´ematiques de Toulouse ; UMR 5219, Universit´e de Toulouse & CNRS, F-31062 Tou...

    2003

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