On the irrationality of moduli spaces of projective hyperk\"ahler manifolds
Pith reviewed 2026-05-24 07:36 UTC · model grok-4.3
The pith
The degrees of irrationality of moduli spaces of projective hyperkähler manifolds are bounded from above by a universal polynomial in the dimension and degree of the manifolds.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The degrees of irrationality of the moduli spaces of hyperkähler manifolds of types K3^[n], Kum_n, OG6, and OG10 are bounded from above by a universal polynomial in the dimension and degree of the manifolds they parametrize. A polynomial bound of the same kind is also established for the moduli spaces of (1,d)-polarized abelian surfaces.
What carries the argument
Uniform application of geometric constructions via markings, polarizations, and known birational models of the moduli spaces to produce explicit dominant rational maps of bounded degree.
If this is right
- Each such moduli space admits a dominant rational map to projective space whose degree is controlled by a polynomial in the input data.
- The same polynomial bound holds simultaneously for all four hyperkähler types and for the abelian-surface case.
- The birational geometry of these moduli spaces cannot be arbitrarily complex once dimension and degree are fixed.
- Any further improvement on the polynomial would automatically improve the bound for every manifold in the families at once.
Where Pith is reading between the lines
- The result suggests that the irrationality degree grows at most polynomially rather than exponentially with dimension, which may be testable by computing explicit maps for small values of n and d.
- If the same reduction technique extends to other hyperkähler types not treated here, the polynomial bound would apply more broadly.
- The existence of a universal polynomial raises the question whether the actual irrationality degree is in fact bounded by a constant or even equals 1 for large enough degree.
Load-bearing premise
The specific geometric constructions or reduction steps used to bound irrationality apply uniformly to all the listed types K3^[n], Kum_n, OG6, OG10 and to (1,d)-polarized abelian surfaces.
What would settle it
Exhibit one concrete hyperkähler manifold of one of the listed types (or one (1,d)-polarized abelian surface) whose moduli space has irrationality degree strictly larger than every polynomial evaluated at its dimension and degree.
read the original abstract
The aim of this paper is to estimate the irrationality of moduli spaces of hyperk\"ahler manifolds of types K3$^{[n]}$, Kum$_{n}$, OG6, and OG10. We prove that the degrees of irrationality of these moduli spaces are bounded from above by a universal polynomial in the dimension and degree of the manifolds they parametrize. We also give a polynomial bound for the degrees of irrationality of moduli spaces of $(1,d)$-polarized abelian surfaces.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves upper bounds on the degrees of irrationality of the moduli spaces of projective hyperkähler manifolds of types K3^[n], Kum_n, OG6 and OG10; these bounds are claimed to be given by a single universal polynomial in the dimension and the degree of the manifolds being parametrized. A similar polynomial bound is given for the moduli spaces of (1,d)-polarized abelian surfaces.
Significance. If the claimed uniform polynomial bound holds, the result supplies the first explicit control on irrationality degrees for these important moduli spaces and would be a useful contribution to the birational geometry of hyperkähler varieties. The approach via markings, polarizations and known birational models is a natural one and, when successful, yields concrete geometric maps whose degrees can be estimated.
major comments (2)
- [Sections 3–7 (the case-by-case constructions)] The central claim requires a single polynomial P(dim,deg) that works uniformly across K3^[n], Kum_n, OG6, OG10 and the abelian-surface case. The constructions are presented type-by-type (markings for K3^[n] and Kum_n, different lattice-theoretic reductions for OG6/OG10, and polarization data for abelian surfaces); it is not shown that the resulting degree bounds are dominated by one polynomial independent of type rather than merely observed to be bounded by some P after separate estimates.
- [Introduction and the statements of Theorems 1.1 and 1.2] The abstract states that the bound is 'universal' and 'polynomial', yet the degree estimates appear to involve constants or exponents that depend on the Beauville–Bogomolov–Fujiki lattice or on the choice of marking; without an explicit comparison showing these are absorbed into a single P, the uniformity statement rests on an unverified hypothesis.
minor comments (2)
- [Section 2] Notation for the moduli spaces (e.g., M_{2n}^{(d)} versus M_{Kum_n}) should be introduced once and used consistently; several passages switch between different symbols for the same space.
- [Section 8 (concluding remarks)] The paper would benefit from a short table collecting the explicit degree bounds obtained for each type before claiming they are all dominated by one polynomial.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the detailed comments. We address the two major points below and will revise the manuscript to make the uniformity of the polynomial bound fully explicit.
read point-by-point responses
-
Referee: [Sections 3–7 (the case-by-case constructions)] The central claim requires a single polynomial P(dim,deg) that works uniformly across K3^[n], Kum_n, OG6, OG10 and the abelian-surface case. The constructions are presented type-by-type (markings for K3^[n] and Kum_n, different lattice-theoretic reductions for OG6/OG10, and polarization data for abelian surfaces); it is not shown that the resulting degree bounds are dominated by one polynomial independent of type rather than merely observed to be bounded by some P after separate estimates.
Authors: Each case yields an explicit polynomial bound in the dimension and the BBF degree (or polarization degree), whose coefficients and degree depend only on the fixed deformation type. Because there are only finitely many types, a single polynomial P that dominates all five individual bounds can be obtained by taking the componentwise maximum of the leading coefficients after a uniform change of variables. We will add a short subsection (or a remark after Theorem 1.2) that performs this explicit comparison and states the resulting universal polynomial, thereby converting the separate estimates into a uniform statement. revision: yes
-
Referee: [Introduction and the statements of Theorems 1.1 and 1.2] The abstract states that the bound is 'universal' and 'polynomial', yet the degree estimates appear to involve constants or exponents that depend on the Beauville–Bogomolov–Fujiki lattice or on the choice of marking; without an explicit comparison showing these are absorbed into a single P, the uniformity statement rests on an unverified hypothesis.
Authors: The BBF lattice, its rank, and the possible markings are invariants of the deformation type and therefore contribute only absolute constants (independent of dimension and degree). The polynomial growth arises solely from the variable combinatorial data (number of markings, lattice embeddings, etc.) that scale with dim and deg. We will revise the introduction and the statements of Theorems 1.1 and 1.2 to clarify this distinction and will include the explicit comparison of constants in the new subsection mentioned above. revision: yes
Circularity Check
No circularity; bound derived from geometric constructions
full rationale
The paper proves an upper bound on degrees of irrationality via explicit geometric constructions (markings, polarizations, birational models) that produce dominant rational maps whose degrees are controlled uniformly by a polynomial in dimension and degree. No step reduces a claimed prediction to a fitted parameter by construction, no self-citation chain is load-bearing for the central result, and the uniformity across K3^[n], Kum_n, OG6, OG10 and abelian surfaces is obtained from case analysis within the same framework rather than by renaming or self-definition. The derivation is self-contained against external geometric benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The moduli spaces of the listed hyperkähler manifolds and polarized abelian surfaces admit geometric reductions or markings that permit application of general irrationality-degree bounds.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.