The Cone Conjecture for Primitive Symplectic Varieties over a Field of Characteristic Zero and an Application
Pith reviewed 2026-05-16 20:08 UTC · model grok-4.3
The pith
The Kawamata-Morrison cone conjecture holds for Q-factorial terminal projective primitive symplectic varieties with second Betti number greater than five over characteristic zero fields.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The author establishes that for any Q-factorial terminal projective primitive symplectic variety with second Betti number greater than five defined over a field of characteristic zero, the movable cone decomposes into chambers that are nef cones of birational models, and these chambers form a fundamental domain under the action of the birational automorphism group. The proof invokes existing results from the minimal model program and known cases of the cone conjecture for related varieties. As an application, the relative movable cone conjecture and the relative nef cone conjecture hold for fibrations whose very general fiber is such a variety, again under the listed assumptions on the fiber
What carries the argument
The Kawamata-Morrison cone conjecture, which states that the movable cone is the union of the nef cones of all birational models, forming a fundamental domain under the birational automorphism group
If this is right
- The relative movable cone conjecture holds for fibrations whose very general fiber is a projective primitive symplectic variety under the stated assumptions.
- The relative nef cone conjecture holds in the same fibration setting.
- The birational geometry of these varieties is completely described by the chambers of the movable cone.
- The result extends the known cases of the cone conjecture from hyperkähler manifolds to the broader class of primitive symplectic varieties.
Where Pith is reading between the lines
- The same techniques may apply to primitive symplectic varieties in positive characteristic once the minimal model program is available there.
- This description of the movable cone could simplify the study of moduli spaces of primitive symplectic varieties.
- The bound on the second Betti number might be removable with further technical work on the automorphism group action.
- Similar cone statements could be pursued for other classes of varieties with trivial canonical class and symplectic structure.
Load-bearing premise
The varieties must be Q-factorial and terminal so that the minimal model program and known cone results for related classes can be applied directly.
What would settle it
Exhibit a single Q-factorial terminal projective primitive symplectic variety with second Betti number greater than five over a characteristic zero field whose movable cone has infinitely many distinct extremal rays not identified by any birational automorphism.
read the original abstract
We prove the Kawamata-Morrison cone conjecture for Q-factorial terminal projective primitive symplectic varieties with second Betti number greater than five defined over a field of characteristic zero. As an application, we prove that the relative movable and the relative nef cone conjectures hold for fibrations whose very general fibre is a projective primitive symplectic varieties under certain assumptions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves the Kawamata-Morrison cone conjecture for Q-factorial terminal projective primitive symplectic varieties with second Betti number b_2 > 5 defined over a field of characteristic zero. As an application, it establishes the relative movable cone conjecture and the relative nef cone conjecture for fibrations whose very general fiber is a projective primitive symplectic variety, under suitable assumptions on the base and the fibration.
Significance. If the arguments hold, the result is a meaningful advance in the birational geometry of hyperkähler and primitive symplectic varieties. It confirms the cone conjecture in a natural class of varieties by reducing the movable-cone statement to the global Torelli theorem and transferring to the nef cone via the Q-factorial terminal hypothesis, with the b_2 > 5 condition used to control the action of the automorphism group on the chamber decomposition. The application to relative cones for fibrations supplies a concrete tool for studying moduli problems and families in this setting.
major comments (2)
- [§4] §4 (proof of the movable-cone statement): the reduction via the global Torelli theorem is invoked to conclude that the movable cone is polyhedral; the precise statement of the Torelli theorem used (including the role of the period map and the monodromy representation) should be recalled explicitly so that the reader can verify that the b_2 > 5 hypothesis is the only additional input needed to obtain finiteness of the chamber decomposition.
- [§5] §5 (transfer from movable to nef cone): the argument that the nef cone is the closure of the movable cone under the Q-factorial terminal assumption is central to the main theorem; it would be helpful to isolate the exact place where terminality is used to guarantee that every movable class is nef after a small Q-factorialization, and to confirm that no additional birational models are introduced that could enlarge the automorphism group.
minor comments (3)
- [§2] The notation for the movable cone and the nef cone is introduced in §2 but used with slight variations in the application section; a single consistent definition (perhaps with a displayed equation) would improve readability.
- [Theorem 1.2] In the statement of the application (Theorem 1.2), the precise assumptions on the fibration (e.g., whether the base is smooth or the fibration is flat) are listed only in the text; adding them to the theorem statement itself would make the result easier to cite.
- [§6] A few references to earlier works on the cone conjecture for hyperkähler manifolds (e.g., the original Kawamata-Morrison formulation and the b_2 = 3,4 cases) appear in the introduction but are not repeated in the comparison paragraph of §6; a short table or sentence summarizing the new range of b_2 would be useful.
Simulated Author's Rebuttal
We thank the referee for the careful reading and positive recommendation. We address the two major comments below and will revise the manuscript accordingly to improve clarity.
read point-by-point responses
-
Referee: [§4] §4 (proof of the movable-cone statement): the reduction via the global Torelli theorem is invoked to conclude that the movable cone is polyhedral; the precise statement of the Torelli theorem used (including the role of the period map and the monodromy representation) should be recalled explicitly so that the reader can verify that the b_2 > 5 hypothesis is the only additional input needed to obtain finiteness of the chamber decomposition.
Authors: We agree that an explicit recall of the Torelli statement will aid verification. In the revised manuscript we will insert a self-contained paragraph at the beginning of §4 stating the precise form of the global Torelli theorem for primitive symplectic varieties (surjectivity of the period map onto the period domain and the identification of the monodromy representation with the image of the orthogonal group), followed by a short explanation of how the hypothesis b_2 > 5 is used to guarantee that the automorphism group has finitely many orbits on the chambers of the movable cone. This makes clear that no further input is required. revision: yes
-
Referee: [§5] §5 (transfer from movable to nef cone): the argument that the nef cone is the closure of the movable cone under the Q-factorial terminal assumption is central to the main theorem; it would be helpful to isolate the exact place where terminality is used to guarantee that every movable class is nef after a small Q-factorialization, and to confirm that no additional birational models are introduced that could enlarge the automorphism group.
Authors: We will isolate the relevant step. Terminality enters precisely when we perform a small Q-factorialization of a movable class: because the variety is terminal, the exceptional locus of this small map is empty in codimension 1, so the class remains movable and becomes nef on the Q-factorial model without introducing new divisors. Since the map is small, it induces an isomorphism on the automorphism group (no new birational automorphisms are created). We will add a short remark after the statement of the relevant lemma in §5 making this explicit. revision: yes
Circularity Check
No significant circularity identified
full rationale
The paper proves the Kawamata-Morrison cone conjecture for Q-factorial terminal projective primitive symplectic varieties with b2 > 5 by reducing the movable cone case to the global Torelli theorem and transferring to the nef cone via standard birational geometry techniques under the given hypotheses. No load-bearing step reduces by definition, fitted parameter, or self-citation chain to the paper's own inputs; the argument is self-contained against external theorems without internal circularity.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The Kawamata-Morrison cone conjecture is well-posed for primitive symplectic varieties
- standard math Q-factorial terminal projective varieties in characteristic zero satisfy the usual properties of the minimal model program
Forward citations
Cited by 1 Pith paper
-
Finiteness of pointed families of symplectic varieties: a geometric Shafarevich conjecture
Finiteness of isomorphism classes of generic fibers in pointed locally trivial families of Q-factorial terminal primitive symplectic varieties with fixed special fiber, plus projective finiteness under semi-ampleness,...
Reference graph
Works this paper leans on
-
[1]
2017, pp. 973–993. [AV20] E. Amerik and M. Verbitsky. “Collections of orbits of hyperplane type in homogeneous spaces, homogeneous dynamics, and hyperkähler geometry”. In:International Mathematics Research Notices2020.1 (2020), pp. 25–38. [Art66] M. Artin. “The étale topology of schemes”. In:Proc. Internat. Congr. Math.(Moscow, 1966). 1966, pp. 44–56. [BG...
work page 2017
-
[2]
The global moduli theory of symplectic varieties
[BL22] B. Bakker and C. Lehn. “The global moduli theory of symplectic varieties”. In:Journal für die reine und angewandte Mathematik (Crelles Journal)2022.790 (2022), pp. 223–265. [BM14] A. Bayer and E. Macrì. “MMP for moduli of sheaves on K3s via wall-crossing: nef and movable cones, Lagrangian fibrations”. In:Inventiones mathematicae198.3 (2014), pp. 50...
work page 2022
-
[3]
Algebraic structures of groups of birational transformations
[Bla17] J. Blanc. “Algebraic structures of groups of birational transformations”. In:Proceedings of Symposia in Pure Mathematics94 (2017), pp. 17–30. [BS12] S. Boissière and A. Sarti. “A note on automorphisms and birational transformations of holomorphic symplectic manifolds”. In:Proceedings of the American Mathematical Society 140.12 (2012), pp. 4053–406...
work page 2017
-
[4]
Finiteness results for K3 surfaces over arbitrary fields
[BLvL20] M. Bright, A. Logan, and R. van Luijk. “Finiteness results for K3 surfaces over arbitrary fields”. In:European Journal of Mathematics6.2 (2020), pp. 336–366. [Bri18] M. Brion.Notes on automorphism groups of projective varieties. Lecture notes. 2018.url: https://www-fourier.univ-grenoble-alpes.fr/~mbrion/autos_final.pdf. [Bue25] L. Buelli. “Locall...
-
[5]
On the log minimal model program for threefolds over imperfect fields of characteristicp > 5
[DW22] O. Das and J. Waldron. “On the log minimal model program for threefolds over imperfect fields of characteristicp > 5.” In:Journal of the London Mathematical Society106.4 (2022), pp. 3895–3937. [SGA3I] M. Demazure and A. Grothendieck.Schemas en Groupes. Seminaire de Geometrie Algebrique du Bois Marie 1962/64 (SGA
work page 2022
-
[6]
Pseudo-effective classes on projective irreducible holomorphic symplectic mani- folds
[Den22] F. A. Denisi. “Pseudo-effective classes on projective irreducible holomorphic symplectic mani- folds”. In:Ann. Inst. Fourier (Grenoble)(2022). Forthcoming. arXiv:2205.15148 [math.AG]. [Dru18] S. Druel. “A decomposition theorem for singular spaces with trivial canonical class of dimension at most five”. In:Inventiones mathematicae211.1 (2018), pp. ...
-
[7]
Finiteness of pointed families of symplectic varieties: a geometric Shafarevich conjecture
Mathematical surveys and monographs. American Mathematical Society, 2005, p. 339.isbn: 978-0-821-84245-4. [FLTZ25] L. Fu, Z. Li, T. Takamatsu, and H. Zou. “Finiteness of pointed families of symplectic varieties: a geometric Shafarevich conjecture”. In:arXiv preprint(2025). arXiv:2505.15295v1 [math.AG]. [GLSW24] C. Gachet, H.-Y. Lin, I. Stenger, and L. Wan...
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[8]
Klt varieties with trivial canonical class: holonomy, differential forms, and fundamental groups
isbn: 978-3-834-80676-5. [GW23] U. Görtz and T. Wedhorn.Algebraic Geometry II: Cohomology of Schemes. First. Springer Spektrum, 2023.isbn: 978-3-658-43030-6. [GGK19] D. Greb, H. Guenancia, and S. Kebekus. “Klt varieties with trivial canonical class: holonomy, differential forms, and fundamental groups”. In:Geometry & Topology23.4 (2019), pp. 2051–
work page 2023
-
[9]
[Gro61] A. Grothendieck. “Éléments de géométrie algébrique (rédigés avec la collaboration de Jean Dieudonné): II. Étude globale élémentaire de quelques classes de morphismes”. In:Publications Mathématiques de l’IHÉS8 (1961), pp. 5–222. [Gro66] A. Grothendieck. “Éléments de géométrie algébrique (rédigés avec la collaboration de Jean Dieudonné): IV. Étude l...
work page 1961
-
[10]
On the relative cone conjecture for families of IHS manifolds
[HPX24] A. Höring, G. Pacienza, and Z. Xie. “On the relative cone conjecture for families of IHS manifolds”. In:arXiv preprint(2024). arXiv:2410.11987 [math.AG]. [HP19] A. Höring and T. Peternell. “Algebraic integrability of foliations with numerically trivial canonical bundle”. In:Inventiones mathematicae216.2 (2019), pp. 395–419. [Huy16] D. Huybrechts.L...
-
[11]
[KMPP19] M. Kapustka, G. Mongardi, G. Pacienza, and P. Pokora. “On the Boucksom-Zariski decompo- sition for irreducible symplectic varieties and bounded negativity”. In:Bulletin de la Société Mathématique de France(2019). Forthcoming. arXiv:1911.03367 [math.AG]. [Kaw97] Y. Kawamata. “On the Cone of Divisors of Calabi–Yau Fiber Spaces”. In:International Jo...
-
[12]
Deformations of rational curves on primitive symplectic varieties and applications
Advanced Lectures in Mathematics. International Press, 2018, pp. 157–185. [LMP23] C. Lehn, G. Mongardi, and G. Pacienza. “Deformations of rational curves on primitive symplectic varieties and applications”. In:Algebraic Geometry10.2 (2023), pp. 199–227. [LMP24a] C. Lehn, G. Mongardi, and G. Pacienza. “Footnotes to the birational geometry of primitive symp...
-
[13]
Lagrangian fibrations of holomorphic-symplectic varieties of K3[n]-type
Springer. 2011, pp. 257–322. [Mar14] E. Markman. “Lagrangian fibrations of holomorphic-symplectic varieties of K3[n]-type”. In: Algebraic and Complex Geometry: In Honour of Klaus Hulek’s 60th Birthday. Vol
work page 2011
-
[14]
Springer Proceedings in Mathematics & Statistics. Springer, Cham, 2014, pp. 241–283. [MY15] E. Markman and K. Yoshioka. “A proof of the Kawamata–Morrison cone conjecture for holomorphic symplectic varieties of K3[n] or generalized Kummer deformation type”. In: International Mathematics Research Notices2015.24 (2015), pp. 13563–13574. [Mat17] D. Matsushita...
work page 2014
-
[15]
Néron–Severi groups under specialization
Tokyo: Mathematical Society of Japan (MSJ), 2017, pp. 291–312.isbn: 978-4-86497-046-4. [MP12] D. Maulik and B. Poonen. “Néron–Severi groups under specialization”. In:Duke Mathematical Journal - DUKE MATH J161.11 (Aug. 2012), pp. 2167–2206. [Men20] G. Menet. “Global Torelli theorem for irreducible symplectic orbifolds”. In:Journal de Mathé- matiques pures ...
work page 2017
-
[16]
Birational geometry of irreducible holomorphic symplectic tenfolds of O’Grady type
[MO22] G. Mongardi and C. Onorati. “Birational geometry of irreducible holomorphic symplectic tenfolds of O’Grady type”. In:Mathematische Zeitschrift300.4 (2022), pp. 3497–3526. [MR21] G. Mongardi and A. Rapagnetta. “Monodromy and birational geometry of O’Grady’s sixfolds”. In:Journal de mathématiques pures et appliquées146 (2021), pp. 31–68. [MS24] J. Mo...
-
[17]
Lagrangian fibrations on Nikulin-type orbifolds
[Nan25] G. Nanni. “Lagrangian fibrations on Nikulin-type orbifolds”. In:arXiv preprint(2025). arXiv: 2512.19244v1 [math.AG]. [Ogu14] K. Oguiso. “Automorphism groups of Calabi-Yau manifolds of Picard number 2”. In:Journal of Algebraic Geometry23.4 (2014), pp. 775–795. [ORO25] C. Onorati and Á. D. Ríos Ortiz. “The SYZ conjecture for singular moduli spaces o...
-
[18]
The cone conjecture for Calabi-Yau pairs in dimension 2
[Tot10] B. Totaro. “The cone conjecture for Calabi-Yau pairs in dimension 2”. In:Duke Mathematical Journal154.2 (2010), pp. 241–263. [Tot12] B. Totaro. “Algebraic surfaces and hyperbolic geometry”. In:Current developments in algebraic geometry. Selected papers based on the presentations at the workshop “Classical algebraic geometry today”, MSRI, Berkeley,...
work page 2010
-
[19]
Algebraic cycles and fibrations
Cambridge: Cambridge University Press. 2012, pp. 405–426. [Via13] C. Vial. “Algebraic cycles and fibrations”. In:Documenta Mathematica18 (2013), pp. 1521–
work page 2012
-
[20]
On irreducible symplectic varieties of K3[n]-type in positive characteristic
[Yan23] Z. Yang. “On irreducible symplectic varieties of K3[n]-type in positive characteristic”. In: Advances in Mathematics417 (2023), p. 108930. [Yos16] K. Yoshioka. “Bridgeland’s stability and the positive cone of the moduli spaces of stable objects on an abelian surface”. In:Proceedings of the6th Mathematical Society of Japan-Seasonal Institute, MSJ-S...
work page 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.