Pith. sign in

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 →

arxiv 2512.01516 v2 pith:DIIPZJSF submitted 2025-12-01 math.AG

classification math.AG MSC 14J4514E30
keywords Morrison-KawamataconeconjectureMoridreamspaceCalabi-Yauvarietyminimalmodelprogramnefmovableboundednessofmodulideformationinvariance
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

The paper introduces Morrison-Kawamata dream spaces (MKD spaces), an axiomatic class of varieties that satisfy the Morrison-Kawamata cone conjecture without needing the variety to be of Calabi-Yau or Fano type. The central claim is that under two structural assumptions — every effective divisor has a good minimal model, and the movable cone is covered by pseudo-automorphism translates of a single rational polyhedral cone — the birational geometry of these spaces mirrors that of Mori dream spaces: chamber decompositions, termination of minimal model programs, and deformation invariance of cones all survive. The main application is Theorem 1.11: if the Morrison-Kawamata cone conjecture and good minimal models hold for every rationally connected klt Calabi-Yau variety of dimension n, then the whole class is bounded, with all members appearing as fibers of a single projective morphism between schemes of finite type. If true, it reduces the boundedness problem for these varieties to two widely believed but unproved conjectures.

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.

Watch

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

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

  • 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.
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

2 major / 5 minor

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)
  1. [§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'
  2. [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)
  1. [§3.8] The term 'very exceptional divisor' is never defined. Please add a definition or a precise reference.
  2. [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.
  3. [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).
  4. [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.
  5. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 6 assumptions · 1 invented entities

The framework rests on three axioms built into Definition 1.2 (good minimal models, local factoriality of canonical models, rational polyhedral generating cone for Mov), plus the unproved MK cone conjecture for Calabi-Yau fibers in the boundedness application. Many load-bearing results are cited from same-author preprints.

assumptions (6)
  • ad hoc to paper Every effective R-Cartier divisor on X/T admits a good minimal model/T
    Built into Definition 1.2(2); this is the good minimal model conjecture in the Calabi-Yau setting, assumed rather than proved.
  • ad hoc to paper Eff(X/T) satisfies the local factoriality of canonical models/T
    Definition 1.2(4)/Definition 3.1; a technical replacement for the cone theorem whose general proof is not supplied.
  • ad hoc to paper There is a rational polyhedral cone Π ⊂ Mov(X/T) with PsAut(X/T)·Π = Mov(X/T)
    Definition 1.2(3); this is essentially the movable-cone part of the Morrison–Kawamata cone conjecture.
  • 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
    Explicit assumption in Theorem 1.11; the boundedness conclusion is conditional on these conjectures.
  • domain assumption Birational boundedness result [Bir23, Theorem 1.6]
    Unpublished arXiv preprint; load-bearing for Theorem 1.11.
  • domain assumption Spreading-out and cone-identification tools from [LZ25, Proposition 4.3] and [CLZ25, Theorem 1.4]
    Same-author preprints used as black boxes for geometric generic fibers and fiber-wise small Q-factorial modifications.
invented entities (1)
  • Morrison–Kawamata dream (fiber) space (MKD space)
    purpose: Axiomatic class of varieties assumed to satisfy MK-cone-conjecture-like conditions and good minimal models; used as the ambient category for all theorems.
    It is a definitional object; its defining properties are the very conjectures discussed, so no independent falsifiable handle is provided beyond checking the axioms.

how reviews work

0 comments
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

Figures reproduced from arXiv: 2512.01516 by the authors.

Figure 1
Figure 1. Neighborhood of D in the context of the local factoriality of canon￾ical models [PITH_FULL_IMAGE:figures/full_fig_p014_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On the boundedness of elliptic Calabi-Yau 4-folds

    math.AG 2026-07 accept novelty 6.0 of 10

    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

51 extracted references · 6 linked inside Pith · cited by 1 Pith paper

  1. [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

  2. [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

  3. [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

  4. [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

  5. [5]

    Singularities on F ano fibrations and beyond

    Caucher Birkar. Singularities on F ano fibrations and beyond. arXiv:2305.18770 , 2023

  6. [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

  7. [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

  8. [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

Show all 51 references
  1. [9]

    Tommaso de Fernex and Christopher D. Hacon. Deformations of canonical pairs and F ano varieties. J. Reine Angew. Math. , 651:97--126, 2011

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [15]

    Algebraic geometry

    Robin Hartshorne. Algebraic geometry . Springer-Verlag, New York-Heidelberg, 1977. Graduate Texts in Mathematics, No. 52

  8. [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

  9. [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

  10. [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

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [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

  20. [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

  21. [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

  22. [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

  23. [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

  24. [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...

  25. [33]

    The M orrison cone conjecture under deformation

    Wendelin Lutz. The M orrison cone conjecture under deformation. arXiv:2410.05949 , 2024

  26. [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

  27. [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)

  28. [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

  29. [37]

    Introduction to arithmetic groups

    Dave Witte Morris. Introduction to arithmetic groups . Deductive Press, 2015

  30. [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

  31. [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

  32. [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

  33. [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

  34. [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

  35. [43]

    On images of M ori dream spaces

    Shinnosuke Okawa. On images of M ori dream spaces. Math. Ann. , 364(3):1315--1342, 2016

  36. [44]

    Rational points on varieties , volume 188

    Bjorn Poonen. Rational points on varieties , volume 188. American Mathematical Society, 2017

  37. [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

  38. [46]

    3 -fold log models

    Vyacheslav Shokurov. 3 -fold log models. J. Math. Sci. , 81(3):2667--2699, 1996

  39. [47]

    Existence and boundedness of n -complements

    Vyacheslav Shokurov. Existence and boundedness of n -complements. arXiv:2012.06495 , 2020

  40. [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

  41. [49]

    On deformation of nef values

    Jaros ł aw Wi \'s niewski. On deformation of nef values. Duke Math. J. , 64(2):325--332, 1991

  42. [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

  43. [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

Pith tools

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