REVIEW 2 major objections 5 minor 1 cited by
On the Morrison-Kawamata dream space and its applications
T0 review · 2 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash
Pith's one-line read The paper proves that, assuming the Morrison-Kawamata cone conjecture and good minimal models, every rationally connected Calabi-Yau klt variety of a fixed dimension appears as a fiber of one projective morphism.
desk verdict Substantial framework for the Morrison-Kawamata cone conjecture, but the boundedness proof has a genuine gap in Theorem 1.9. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the Morrison-Kawamata dream fiber space (X/T), defined by four axioms: X is Q-factorial; every effective R-Cartier divisor has a good minimal model over T; there exists a rational polyhedral cone Π inside the movable cone such that pseudo-automorphisms of X/T translate Π to cover the whole movable cone; and the effective cone satisfies local factoriality of canonical models. The load-bearing tools are Shokurov polytopes (finite chamber decompositions over which minimal models do not change), the resulting rational polyhedrality of nef slices, and an MMP-with-scaling theorem that terminates inside the MKD category. These pieces turn the cone conjecture into a usable stru
What would settle it
A concrete check: compute the movable cone of the product of a general-type Mori dream space with a K3 surface and ask whether it is the union of finitely many translates of a rational polyhedral cone under the pseudo-automorphism group; the paper asserts such products are MKD spaces, so a counterexample would falsify the axioms. For the boundedness claim itself, the decisive observation would be an infinite sequence of rationally connected klt Calabi-Yau n-folds satisfying the two assumptions but with unbounded Picard rank.
Extended reading notes
Core claim
Theorem 1.11 is the centerpiece: if the Morrison-Kawamata cone conjecture and the good-minimal-model property hold for every rationally connected klt Calabi-Yau variety of dimension n, then the entire class is bounded — every member appears as a fiber of one projective morphism between schemes of finite type. The engine is a new axiomatic class, the Morrison-Kawamata dream fiber space: Q-factorial, every effective divisor admits a good minimal model, the movable cone is covered by pseudo-automorphism translates of a single rational polyhedral cone, and effective cones satisfy local factoriality of canonical models. From these axioms the paper derives chamber decompositions, termination of MM
Load-bearing premise
The load-bearing premise is that, for every rationally connected klt Calabi-Yau variety of dimension n, every effective divisor has a good minimal model and the movable cone is covered by finitely many translates of one rational polyhedral cone under pseudo-automorphisms; if either fails, the boundedness theorem has no input to act on.
Editorial extensions
If this is right
- If Theorem 1.11 is correct, boundedness of rationally connected klt Calabi-Yau varieties reduces entirely to the Morrison-Kawamata cone conjecture plus good minimal models.
- Generic deformation invariance of nef, effective and movable cones, and of Mori chamber decompositions, holds for klt MKD families, enabling Noetherian induction in moduli problems.
- Every MKD fiber space admits a terminating D-MMP with scaling for effective divisors, and every birational contraction of an MKD fiber space is again MKD.
- The geometric generic fiber of a klt MKD fibration spreads out to an MKD family after a generically finite base change, with isomorphic movable and effective cones.
- Finite presentability of the image of the pseudo-automorphism group follows from existence of a rational polyhedral fundamental domain, giving strong discreteness controls.
Reading between the lines
- If the Morrison-Kawamata cone conjecture is eventually proved for all dimensions, Theorem 1.11 would turn an entire set of open conjectures into a single boundedness statement — a reduction the paper's framework makes visible.
- The definitions suggest a testable hierarchy: one could verify the MKD axioms for explicit examples such as products of general-type Mori dream spaces with K3 surfaces, which the paper shows are MKD but not Mori dream spaces.
- The deformation-invariance statement likely extends to log pairs once the MKD axioms are adapted to the pair (X, Δ), which the paper notes is straightforward; this would connect to boundedness of complements.
- One could attempt to weaken the H^1 = H^2 = 0 fiber condition by replacing it with an MKD-specific vanishing statement, since Remark 6.15 flags that this vanishing is not preserved under MMP in the MKD setting.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces Morrison–Kawamata dream (fiber) spaces (MKD spaces), defined by four axioms: Q-factoriality, the existence of good minimal models for every effective R-Cartier divisor, the existence of a rational polyhedral cone Π in the movable cone with PsAut(X/T)·Π = Mov(X/T), and the local factoriality of canonical models. It develops a general theory: Shokurov polytopes for minimal models and nef cones, chamber decompositions, an MMP with scaling in the MKD category, and an equivalence with a pseudo-automorphism version of Mori dream spaces. It then applies this framework to prove generic deformation invariance of nef, effective, and movable cones and of Mori chamber decompositions for families whose geometric generic fiber is a klt MKD space, and finally derives a boundedness statement for rationally connected Calabi–Yau klt varieties conditional on the Morrison–Kawamata cone conjecture and the good minimal model conjecture.
Significance. The paper offers a coherent axiomatic framework that unifies Mori dream spaces and Calabi–Yau type varieties, and it provides detailed proofs of several structural results (Shokurov polytopes, fundamental domains, finiteness of birational models, deformation-invariance). The examples in §5 are useful and illustrate that the class of MKD spaces is broader than Mori dream spaces and Calabi–Yau type varieties. However, the main results are conditional on very strong conjectures that are essentially built into Definition 1.2, and one key proof in §3.8 contains a false implication that is load-bearing for Theorem 1.9 and hence for Theorems 6.5, 6.14, 6.20, and the central boundedness theorem 1.11. The framework itself is promising, but the paper as written does not establish its main boundedness claim.
major comments (2)
- [§3.8, proof of Theorem 1.9] The proof contains the assertion: 'if E is a prime divisor on Y_i which is vertical over T', then E = τ_i^*(τ_i(E)) ∼_Q 0/T''. This is false for reducible or multiple fibers. For example, take a smooth rational elliptic surface Y→P^1 with an I_2 fiber and let E_1 be one component of that fiber; E_1 is vertical and not very exceptional, yet τ^*τ_*E_1 = E_1+E_2 ≠ E_1 and [E_1]·[E_2]=2, so [E_1] ≠ 0 in N^1(Y/P^1). The equality is also ill-defined when τ_i(E) has codimension ≥2. This implication is used to upgrade semi-ampleness from the generic point to all of T', i.e., to prove that every effective divisor on X_{T'} has a good minimal model and hence that X_{T'}/T' is an MKD fiber space. Since Theorem 1.9 is used in Theorems 6.5, 6.14, 6.20, and ultimately Theorem 1.11, the boundedness claim is not established by the proof as written. A valid argument for the semi-ampleness of B_i over T'
- [Definition 1.2; Theorem 1.11] Definition 1.2(2) and (3) are not consequences of the framework but are assumed axioms: they are essentially the good minimal model conjecture and the movable-cone part of the Morrison–Kawamata cone conjecture. Theorem 1.11 states its assumptions explicitly, but the abstract and introduction describe the boundedness application without adequately emphasizing that it is conditional on these conjectures. Since MKD spaces are defined by assuming the cone conjecture, the paper's contribution is a conditional framework and reduction, not a proof of the conjecture. This should be stated clearly in the abstract and introduction to avoid the impression of an unconditional boundedness theorem.
minor comments (5)
- [§3.8] The term 'very exceptional divisor' is never defined. Please add a definition or a precise reference.
- [Remark 6.7(1)] The remark states that the Q-Gorenstein assumption in Corollary 6.6 can be removed but the proof is omitted. For a refereed publication, either include the proof or state Corollary 6.6 with the Q-Gorenstein assumption.
- [Throughout] Typos and minor wording issues: 'effecive' (Lemma 2.2 and elsewhere), 'exsit' (proof of Proposition 5.1), 'ratoinal' (Definition 1.1 and Theorem 1.3), 'Cariter' (Definition 2.1).
- [Introduction/Abstract] The boundedness theorem 1.11 is conditional on the Morrison–Kawamata cone conjecture and the good minimal model conjecture; the abstract should state this explicitly.
- [References] The paper relies on several unpublished preprints ([LZ25], [Li23], [CLZ25]) for technical inputs. Please document the dependence and, where possible, include the needed statements in the paper.
Circularity Check
No significant circularity: the paper is an explicit axiomatic framework; Theorem 1.11 is a conditional boundedness theorem derived from stated conjectures rather than a restatement of them.
full rationale
The paper explicitly builds the Morrison–Kawamata cone conjecture and the good-minimal-model conjecture into the definition of MKD spaces (Definition 1.2(2)–(3)), and Theorem 1.11 states its assumption verbatim: the MK cone conjecture plus good minimal models for rationally connected Calabi–Yau klt varieties. The conclusion of Theorem 1.11 — existence of a projective morphism whose fibers realize the set S_n — is not identical to that assumption; it is derived through MKD machinery, Theorem 1.9, Theorem 6.20, and [Bir23, Theorem 1.6]. Conditional theorems under explicitly stated conjectures are not circular. The heavy citations to [LZ25] and [Li23] are prior work by overlapping authors, but they supply auxiliary spreading-out, Neron–Severi, and polyhedral-type facts; they do not assume the boundedness conclusion. The alleged false implication in the proof of Theorem 1.9 (about vertical divisors on reducible fibers) is, if correct, a mathematical correctness gap, not a circular reduction of a claimed result to its inputs. Under the required categories and hard evidence rule, no circular step is exhibited, so the appropriate score is 0.
Assumptions & free parameters
assumptions (6)
- ad hoc to paper Every effective R-Cartier divisor on X/T admits a good minimal model/T
- ad hoc to paper Eff(X/T) satisfies the local factoriality of canonical models/T
- ad hoc to paper There is a rational polyhedral cone Π ⊂ Mov(X/T) with PsAut(X/T)·Π = Mov(X/T)
- domain assumption Morrison–Kawamata cone conjecture holds for every rationally connected Calabi-Yau klt variety, and every effective R-Cartier divisor admits a good minimal model
- domain assumption Birational boundedness result [Bir23, Theorem 1.6]
- domain assumption Spreading-out and cone-identification tools from [LZ25, Proposition 4.3] and [CLZ25, Theorem 1.4]
invented entities (1)
-
Morrison–Kawamata dream (fiber) space (MKD space)
Cite this review
Pith. "Pith review of On the Morrison-Kawamata dream space and its applications." pith.science (2026). https://pith.science/paper/DIIPZJSF
@misc{pith2026251201516,
author = {Pith},
title = {Pith review of: On the Morrison-Kawamata dream space and its applications},
year = {2026},
howpublished = {\url{https://pith.science/paper/DIIPZJSF}},
note = {Machine review of arXiv:2512.01516}
}
read the original abstract
We develop the theory of Morrison-Kawamata dream spaces, which axiomatizes varieties (not necessarily of Calabi-Yau type) that satisfy the Morrison-Kawamata cone conjecture. Using this theory, we establish the generic deformation invariance of various cones and apply it to the boundedness problem of algebraic varieties.
Figures
Forward citations
Cited by 1 Pith paper
-
On the boundedness of elliptic Calabi-Yau 4-folds
Elliptic Calabi–Yau 4-folds not crepant to a product quotient of a Calabi–Yau 3-fold times an elliptic curve form a bounded family.
Reference graph
Works this paper leans on
-
[1]
Existence of minimal models for varieties of log general type
Caucher Birkar, Paolo Cascini, Christopher Hacon, and James McKernan. Existence of minimal models for varieties of log general type. J. Amer. Math. Soc. , 23(2):405--468, 2010
2010
-
[2]
The pseudo-effective cone of a compact K \"ahler manifold and varieties of negative K odaira dimension
S\'ebastien Boucksom, Jean-Pierre Demailly, Mihai P a un, and Thomas Peternell. The pseudo-effective cone of a compact K \"ahler manifold and varieties of negative K odaira dimension. J. Algebraic Geom. , 22(2):201--248, 2013
2013
-
[3]
Polarized pairs, log minimal models, and Z ariski decompositions
Caucher Birkar and Zhengyu Hu. Polarized pairs, log minimal models, and Z ariski decompositions. Nagoya Math. J. , 215:203--224, 2014
2014
-
[4]
On existence of log minimal models II
Caucher Birkar. On existence of log minimal models II . J. Reine Angew. Math. , 658:99--113, 2011
2011
-
[5]
Singularities on F ano fibrations and beyond
Caucher Birkar. Singularities on F ano fibrations and beyond. arXiv:2305.18770 , 2023
arXiv 2023
-
[6]
Boundedness of complements for generalized pairs
Guodu Chen, Jingjun Han, Yang He, and Lingyao Xie. Boundedness of complements for generalized pairs. Proc. Lond. Math. Soc. , 130(5):e70049, 2025
2025
-
[7]
The geography of log models and its applications
Sung Rak Choi. The geography of log models and its applications. Ph.D. Thesis, The Johns Hopkins University, Baltimore , 2008
2008
-
[8]
Variation of cones of divisors in a family of varieties-- F ano type case
Sung Rak Choi, Zhan Li, and Chuyu Zhou. Variation of cones of divisors in a family of varieties-- F ano type case. arXiv:2504.04109 , 2025
arXiv 2025
Show all 51 references
-
[9]
Tommaso de Fernex and Christopher D. Hacon. Deformations of canonical pairs and F ano varieties. J. Reine Angew. Math. , 651:97--126, 2011
2011
-
[10]
Extension theorems, non-vanishing and the existence of good minimal models
Jean-Pierre Demailly, Christopher Hacon, and Mihai P a un. Extension theorems, non-vanishing and the existence of good minimal models. Acta Math. , 210(2):203--259, 2013
2013
-
[11]
Boundedness of elliptic C alabi-- Y au threefolds
Stefano Filipazzi, Christopher Hacon, and Roberto Svaldi. Boundedness of elliptic C alabi-- Y au threefolds. Journal of the European Mathematical Society , 2024
2024
-
[12]
Families of rationally connected varieties
Tom Graber, Joe Harris, and Jason Starr. Families of rationally connected varieties. J. Amer. Math. Soc. , 16(1):57--67, 2003
2003
-
[13]
The effective cone conjecture for C alabi-- Y au pairs
C \'e cile Gachet, Hsueh-Yung Lin, Isabel Stenger, and Long Wang. The effective cone conjecture for C alabi-- Y au pairs. arXiv:2406.07307 , 2024
2024
-
[14]
Abundance theorem for numerically trivial log canonical divisors of semi-log canonical pairs
Yoshinori Gongyo. Abundance theorem for numerically trivial log canonical divisors of semi-log canonical pairs. J. Algebraic Geom. , 22(3):549--564, 2013
2013
-
[15]
Algebraic geometry
Robin Hartshorne. Algebraic geometry . Springer-Verlag, New York-Heidelberg, 1977. Graduate Texts in Mathematics, No. 52
1977
-
[16]
Mori dream spaces and GIT
Yi Hu and Sean Keel. Mori dream spaces and GIT . Michigan Math. J. , 48:331--348, 2000. Dedicated to William Fulton on the occasion of his 60th birthday
2000
-
[17]
On S hokurov's rational connectedness conjecture
Christopher Hacon and James Mckernan. On S hokurov's rational connectedness conjecture. Duke Math. J. , 138(1):119--136, 2007
2007
-
[18]
A CC for log canonical thresholds
Christopher Hacon, James McKernan, and Chenyang Xu. A CC for log canonical thresholds. Ann. of Math. (2) , 180(2):523--571, 2014
2014
-
[19]
Boundedness of moduli of varieties of general type
Christopher Hacon, James McKernan, and Chenyang Xu. Boundedness of moduli of varieties of general type. J. Eur. Math. Soc. 20 , 20:865--901, 2018
2018
-
[20]
On the relative cone conjecture for families of IHS manifolds
Andreas H \"o ring, Gianluca Pacienza, and Zhixin Xie. On the relative cone conjecture for families of IHS manifolds. arXiv:2410.11987 , 2024
2024 arXiv
-
[21]
Hacon and Chenyang Xu
Christopher D. Hacon and Chenyang Xu. Boundedness of log C alabi- Y au pairs of F ano type. Math. Res. Lett. , 22(6):1699--1716, 2015
2015
-
[22]
A L efschetz hyperplane theorem for M ori dream spaces
Shin-Yao Jow. A L efschetz hyperplane theorem for M ori dream spaces. Math. Z. , 268(1):197--209, 2011
2011
-
[23]
Crepant blowing-up of 3-dimensional canonical singularities and its application to degenerations of surfaces
Yujiro Kawamata. Crepant blowing-up of 3-dimensional canonical singularities and its application to degenerations of surfaces. Ann. Math. , 127(1):93--163, 1988
1988
-
[24]
On the cone of divisors of C alabi- Y au fiber spaces
Yujiro Kawamata. On the cone of divisors of C alabi- Y au fiber spaces. Internat. J. Math. , 8:665--687, 1997
1997
-
[25]
Finite generation and geography of models
Anne-Sophie Kaloghiros, Alex K\"uronya, and Vladimir Lazi\'c. Finite generation and geography of models. In Minimal models and extremal rays ( K yoto, 2011) , volume 70 of Adv. Stud. Pure Math. , pages 215--245. Math. Soc. Japan, 2016
2011
-
[26]
The P icard scheme
Steven Kleiman. The P icard scheme. In Fundamental algebraic geometry , volume 123 of Math. Surveys Monogr. , pages 235--321. Amer. Math. Soc., Providence, RI, 2005
2005
-
[27]
Birational geometry of algebraic varieties , volume 134 of Cambridge Tracts in Mathematics
J\'anos Koll\'ar and Shigefumi Mori. Birational geometry of algebraic varieties , volume 134 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 1998
1998
-
[28]
Rational curves on algebraic varieties , volume 32 of Results in Mathematics and Related Areas
J\' a nos Koll\' a r. Rational curves on algebraic varieties , volume 32 of Results in Mathematics and Related Areas. 3rd Series . Springer-Verlag, Berlin, 1996
1996
-
[29]
Positivity in algebraic geometry
Robert Lazarsfeld. Positivity in algebraic geometry. I , volume 48 of Results in Mathematics and Related Areas. 3rd Series. Springer-Verlag, Berlin, 2004
2004
-
[30]
On the relative M orrison- K awamata cone conjecture ( II )
Zhan Li. On the relative M orrison- K awamata cone conjecture ( II ). arXiv:2309.04673 , 2023
2023 arXiv
-
[31]
Discrete automorphism groups of convex cones of finite type
Eduard Looijenga. Discrete automorphism groups of convex cones of finite type. Compos. Math. , 150(11):1939--1962, 2014
1939
-
[32]
The M orrison- K awamata cone conjecture and abundance on R icci flat manifolds
Vladimir Lazi\' c , Keiji Oguiso, and Thomas Peternell. The M orrison- K awamata cone conjecture and abundance on R icci flat manifolds. In Uniformization, R iemann- H ilbert correspondence, C alabi- Y au manifolds & P icard- F uchs equations , volume 42 of Adv. Lect. Math. (A...
2018
-
[33]
The M orrison cone conjecture under deformation
Wendelin Lutz. The M orrison cone conjecture under deformation. arXiv:2410.05949 , 2024
2024 arXiv
-
[34]
On the relative M orrison- K awamata cone conjecture
Zhan Li and Hang Zhao. On the relative M orrison- K awamata cone conjecture. Proc. Lond. Math. Soc. , 131(5):e70099, 2025
2025
-
[35]
Compactifications of moduli spaces inspired by mirror symmetry
David Morrison. Compactifications of moduli spaces inspired by mirror symmetry. Number 218, pages 243--271. 1993. Journ\' e es de G\' e om\' e trie Alg\' e brique d'Orsay (Orsay, 1992)
1993
-
[36]
Beyond the K \" a hler cone
David Morrison. Beyond the K \" a hler cone. In Proceedings of the H irzebruch 65 C onference on A lgebraic G eometry ( R amat G an, 1993) , volume 9 of Israel Math. Conf. Proc. , pages 361--376. Bar-Ilan Univ., Ramat Gan, 1996
1993
-
[37]
Introduction to arithmetic groups
Dave Witte Morris. Introduction to arithmetic groups . Deductive Press, 2015
2015
-
[38]
On the number and boundedness of log minimal models of general type
Diletta Martinelli, Stefan Schreieder, and Luca Tasin. On the number and boundedness of log minimal models of general type. Ann. Sci. \' E c. Norm. Sup\' e r. (4) , 53(5):1183--1207, 2020
2020
-
[39]
Zariski-decomposition and abundance , volume 14 of MSJ Memoirs
Noboru Nakayama. Zariski-decomposition and abundance , volume 14 of MSJ Memoirs . Mathematical Society of Japan, Tokyo, 2004
2004
-
[40]
On the birational structure of certain C alabi- Y au threefolds
Yoshinori Namikawa. On the birational structure of certain C alabi- Y au threefolds. J. Math. Kyoto Univ. , 31(1):151 -- 164, 1991
1991
-
[41]
Picard numbers in a family of hyperk\"ahler manifolds -- a supplement to the article of R
Keiji Oguiso. Picard numbers in a family of hyperk\"ahler manifolds -- a supplement to the article of R . B orcherds, L . K atzarkov, T . P antev, N. I. S hepherd-barron. arXiv:0011258 , 2000
2000
-
[42]
On the relative version of M ori dream spaces
Rikito Ohta. On the relative version of M ori dream spaces. Eur. J. Math. , 8:147--181, 2022
2022
-
[43]
On images of M ori dream spaces
Shinnosuke Okawa. On images of M ori dream spaces. Math. Ann. , 364(3):1315--1342, 2016
2016
-
[44]
Rational points on varieties , volume 188
Bjorn Poonen. Rational points on varieties , volume 188. American Mathematical Society, 2017
2017
-
[45]
Geography of log models: theory and applications
Vyacheslav Shokurov and Sung Rak Choi. Geography of log models: theory and applications. Centr. Eur. J. Math. , 9(3):489--534, 2011
2011
-
[46]
3 -fold log models
Vyacheslav Shokurov. 3 -fold log models. J. Math. Sci. , 81(3):2667--2699, 1996
1996
-
[47]
Existence and boundedness of n -complements
Vyacheslav Shokurov. Existence and boundedness of n -complements. arXiv:2012.06495 , 2020
2012 arXiv
-
[48]
The cone conjecture for C alabi- Y au pairs in dimension 2
Burt Totaro. The cone conjecture for C alabi- Y au pairs in dimension 2. Duke Math. J. , 154:241--263, 2010
2010
-
[49]
On deformation of nef values
Jaros ł aw Wi \'s niewski. On deformation of nef values. Duke Math. J. , 64(2):325--332, 1991
1991
-
[50]
Rigidity of the M ori cone for F ano manifolds
Jaros ł aw Wi \'s niewski. Rigidity of the M ori cone for F ano manifolds. Bull. Lond. Math. Soc. , 41(5):779--781, 2009
2009
-
[51]
On the cone conjecture for certain pairs of dimension at most 4
Fulin Xu. On the cone conjecture for certain pairs of dimension at most 4. arXiv:2405.20899 , 2024
2024 arXiv
Reviewed August 3, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.