-
arXiv:2406.18233 [pdf, ps, other]
Metrics with minimal singularities and the Abundance conjecture
Abstract: The Abundance conjecture predicts that on a minimal projective klt pair $(X,Δ)$, the adjoint divisor $K_X+Δ$ is semiample. When $χ(X,\mathcal O_X)\neq0$, we give a necessary and sufficient condition for the conjecture to hold in terms of the asymptotic behaviour of multiplier ideals of currents with minimal singularities of small twists of $K_X+Δ$. Furthermore, we prove fundamental structural prop… ▽ More
Submitted 26 June, 2024; originally announced June 2024.
MSC Class: 14E30; 32U40; 32J25
-
arXiv:2402.05807 [pdf, ps, other]
Rigid currents in birational geometry
Abstract: A rigid current on a compact complex manifold is a closed positive current whose cohomology class contains only one closed positive current. Rigid currents occur in complex dynamics, algebraic and differential geometry. The goals of the present paper are: (a) to give a systematic treatment of rigid currents, (b) to demonstrate how they appear within the Minimal Model Program, and (c) to give many… ▽ More
Submitted 8 February, 2024; originally announced February 2024.
MSC Class: 14E30; 32U40; 32J25
-
arXiv:2401.14190 [pdf, ps, other]
A few remarks on effectivity and good minimal models
Abstract: We prove several results relating the nonvanishing and the existence of good minimal models of different pairs that have the same underlying variety.
Submitted 25 January, 2024; originally announced January 2024.
MSC Class: 14E30
-
arXiv:2310.01097 [pdf, ps, other]
Programming the Minimal Model Program: a proposal
Abstract: The aim of this paper is to propose a strategy to implement the Minimal Model Program in modern computer algebra systems.
Submitted 15 March, 2024; v1 submitted 2 October, 2023; originally announced October 2023.
Comments: v2: minor changes; to appear in Beitr. Algebra Geom
MSC Class: 14E30; 14Q15; 14Q20
-
arXiv:2305.01752 [pdf, ps, other]
Nakayama-Zariski decomposition and the termination of flips
Abstract: We show that for pseudoeffective projective pairs the termination of one sequence of flips implies the termination of all flips, assuming a natural conjecture on the behaviour of the Nakayama-Zariski decomposition under the operations of a Minimal Model Program.
Submitted 31 January, 2024; v1 submitted 2 May, 2023; originally announced May 2023.
Comments: v2: several results are stated more precisely; the paper is reorganised
MSC Class: 14E30
-
arXiv:2202.13814 [pdf, ps, other]
The Nonvanishing problem for varieties with nef anticanonical bundle
Abstract: We prove that if $(X,Δ)$ is a threefold pair with mild singularities such that ${-}(K_X+Δ)$ is nef, then the numerical class of ${-}(K_X+Δ)$ is effective.
Submitted 10 October, 2023; v1 submitted 28 February, 2022; originally announced February 2022.
Comments: v4: minor changes; to appear in Doc. Math
MSC Class: 14E30
Journal ref: Doc. Math. 28 (2023), no. 6, 1393-1440
-
arXiv:2108.00993 [pdf, ps, other]
Special MMP for log canonical generalised pairs
Abstract: We show that minimal models of $\mathbb{Q}$-factorial NQC log canonical generalised pairs exist, assuming the existence of minimal models of smooth varieties. More generally, we prove that on a $\mathbb{Q}$-factorial NQC log canonical generalised pair $ (X,B+M) $ we can run an MMP with scaling of an ample divisor which terminates, assuming that it admits an NQC weak Zariski decomposition or that… ▽ More
Submitted 10 August, 2022; v1 submitted 2 August, 2021; originally announced August 2021.
Comments: v5: minor changes in the appendix; to appear in Sel. Math. New Ser
MSC Class: 14E30
Journal ref: Selecta Math. New Ser. 28, 89 (2022)
-
arXiv:2007.06458 [pdf, ps, other]
Special termination for log canonical pairs
Abstract: We prove the special termination for log canonical pairs and its generalisation in the context of generalised pairs.
Submitted 17 April, 2023; v1 submitted 13 July, 2020; originally announced July 2020.
Comments: v2: minor changes; to appear in Asian J. Math
MSC Class: 14E30
Journal ref: Asian J. Math. 27 (2023), no. 3, 423-440
-
arXiv:1911.10954 [pdf, ps, other]
Birational geometry and the canonical ring of a family of determinantal 3-folds
Abstract: Few explicit families of 3-folds are known for which the computation of the canonical ring is accessible and the birational geometry non-trivial. In this note we investigate a family of determinantal 3-folds in $\mathbb P^2 \times \mathbb P^3$ where this is the case.
Submitted 23 December, 2022; v1 submitted 25 November, 2019; originally announced November 2019.
Comments: v2: final version
MSC Class: 14M12; 14J30; 14E30
Journal ref: Rend. Istit. Mat. Univ. Trieste 54 (2022), Art. No. 9
-
arXiv:1908.06945 [pdf, ps, other]
Abundance for uniruled pairs which are not rationally connected
Abstract: One of the central aims of the Minimal Model Program is to show that a projective log canonical pair $(X,Δ)$ with $K_X+Δ$ pseudoeffective has a good model, i.e.\ a minimal model $(Y,Δ_Y)$ such that $K_Y+Δ_Y$ is semiample. The goal of this paper is to show that this holds if $X$ is uniruled but not rationally connected, assuming the Minimal Model Program in dimension $\dim X-1$. Moreover, if $X$ is… ▽ More
Submitted 17 April, 2023; v1 submitted 19 August, 2019; originally announced August 2019.
Comments: v4: Theorems 2.1 and 2.2 added; to appear in Enseign. Math
MSC Class: 14E30
-
arXiv:1907.11991 [pdf, ps, other]
On Nonvanishing for uniruled log canonical pairs
Abstract: We prove the Nonvanishing conjecture for uniruled projective log canonical pairs of dimension $n$, assuming the Nonvanishing conjecture for smooth projective varieties in dimension $n-1$. We also show that the existence of good minimal models for non-uniruled projective klt pairs in dimension $n$ implies the existence of good minimal models for projective log canonical pairs in dimension $n$.
Submitted 26 April, 2021; v1 submitted 27 July, 2019; originally announced July 2019.
Comments: v2: this paper supersedes arXiv:1906.11451; minor changes; to appear in Electron. Res. Arch
MSC Class: 14E30
Journal ref: Electron. Res. Arch. 29 (2021), no. 5, 3297-3308
-
arXiv:1907.10490 [pdf, ps, other]
A travel guide to the canonical bundle formula
Abstract: We survey known results on the canonical bundle formula and its applications in algebraic geometry.
Submitted 9 September, 2019; v1 submitted 24 July, 2019; originally announced July 2019.
Comments: 17 pages, to appear in the Proceedings of the conference Birational Geometry and Moduli Spaces
MSC Class: 14D06; 14E30
Journal ref: Birational Geometry and Moduli Spaces (E. Colombo, B. Fantechi, P. Frediani, D. Iacono, R. Pardini, eds.), Springer INdAM Series, vol. 39, Springer, 2020, pp. 37-55
-
arXiv:1905.05576 [pdf, ps, other]
On the existence of minimal models for log canonical pairs
Abstract: We show that minimal models of log canonical pairs exist, assuming the existence of minimal models of smooth varieties.
Submitted 14 April, 2020; v1 submitted 14 May, 2019; originally announced May 2019.
Comments: v3: minor changes; title changed; to appear in Publ. Res. Inst. Math. Sci
MSC Class: 14E30
Journal ref: Publ. Res. Inst. Math. Sci. 58 (2022), no. 2, 311-339
-
arXiv:1809.02500 [pdf, ps, other]
On Generalised Abundance, II
Abstract: In our previous work, we introduced the Generalised Nonvanishing Conjecture, which generalises several central conjectures in algebraic geometry. In this paper, we derive some surprising nonvanishing results for pluricanonical bundles which were not predicted by the Minimal Model Program, by making progress towards the Generalised Nonvanishing Conjecture in every dimension. The main step is to est… ▽ More
Submitted 7 May, 2019; v1 submitted 7 September, 2018; originally announced September 2018.
Comments: v4: Almost all changes concern the presentation, in particular in the introduction. Theorem C is improved
MSC Class: 14E30
Journal ref: Peking Math. J. 3 (2020), no. 1, 1-46
-
arXiv:1808.01115 [pdf, ps, other]
Maps from K-trivial varieties and connectedness problems
Abstract: In this paper we study varieties covered by rational or elliptic curves. First, we show that images of Calabi-Yau or irreducible symplectic varieties under rational maps are almost always rationally connected. Second, we investigate elliptically connected and elliptically chain connected varieties, and varieties swept out by a family of elliptic curves. Among other things, we show that Calabi-Yau… ▽ More
Submitted 3 August, 2018; originally announced August 2018.
Comments: 27 pages
MSC Class: 14J32; 14H10
Journal ref: Annales Henri Lebesgue 3 (2020), 473-500
-
On the B-Semiampleness Conjecture
Abstract: The B-Semiampleness Conjecture of Prokhorov and Shokurov predicts that the moduli part in a canonical bundle formula is semiample on a birational modification. We prove that the restriction of the moduli part to any sufficiently high divisorial valuation is semiample, assuming the conjecture in lower dimensions.
Submitted 13 October, 2019; v1 submitted 2 August, 2018; originally announced August 2018.
Comments: 26 pages
MSC Class: 14J10; 14E30; 14N30
Journal ref: Ãpijournal de Géométrie Algébrique, Volume 3 (October 15, 2019) epiga:5063
-
arXiv:1808.00438 [pdf, ps, other]
On Generalised Abundance, I
Abstract: The goal of this paper is to make a surprising connection between several central conjectures in algebraic geometry: the Nonvanishing Conjecture, the Abundance Conjecture, and the Semiampleness Conjecture for nef line bundles on K-trivial varieties.
Submitted 6 September, 2018; v1 submitted 1 August, 2018; originally announced August 2018.
MSC Class: 14E30
Journal ref: Publ. Res. Inst. Math. Sci. 56 (2020), no. 2, 353-389
-
arXiv:1611.00556 [pdf, ps, other]
The Morrison-Kawamata Cone Conjecture and Abundance on Ricci flat manifolds
Abstract: The aim of this survey paper is threefold: (a) to discuss the status of the Morrison-Kawamata cone conjecture, (b) to report on recent developments towards the Abundance Conjecture, and (c) to discuss the nef line bundle version of the Abundance Conjecture on $K$-trivial varieties.
Submitted 2 November, 2016; originally announced November 2016.
Comments: the final version, to appear in the proceedings of the conference Uniformization, Riemann-Hilbert Correspondence, Calabi-Yau manifolds, and Picard-Fuchs Equations, held at the Institut Mittag-Leffler, July 2015
MSC Class: 14E30; 14F10; 14J30; 14J32; 32Q25; 14E07; 14J50
Journal ref: Uniformization, Riemann-Hilbert correspondence, Calabi-Yau manifolds & Picard-Fuchs equations, Adv. Lect. Math. (ALM) 42, Int. Press, Somerville, MA, 2018, pp. 157-185
-
arXiv:1608.04706 [pdf, ps, other]
Rationally connected varieties - on a conjecture of Mumford
Abstract: We establish a conjecture of Mumford characterizing rationally connected complex projective manifolds in several cases.
Submitted 16 August, 2016; originally announced August 2016.
MSC Class: 14E30; 14F10
Journal ref: Sci. China Math. 60 (2017), no. 6, 1019-1028
-
Abundance for varieties with many differential forms
Abstract: We prove that the abundance conjecture holds on a variety $X$ with mild singularities if $X$ has many reflexive differential forms with coefficients in pluricanonical bundles, assuming the Minimal Model Program in lower dimensions. This implies, for instance, that under this condition, hermitian semipositive canonical divisors are almost always semiample, and that klt pairs whose underlying variet… ▽ More
Submitted 12 February, 2018; v1 submitted 7 January, 2016; originally announced January 2016.
MSC Class: 14E30; 14F10
Journal ref: Ãpijournal de Géométrie Algébrique, Volume 2 (February 13, 2018) epiga:3867
-
arXiv:1601.01273 [pdf, ps, other]
Nef line bundles on Calabi-Yau threefolds, I
Abstract: We prove that a nef line bundle $\mathcal L$ with $c_1(\mathcal L)^2 \ne 0$ on a Calabi-Yau threefold $X$ with Picard number $2$ and with $c_3(X) \ne 0$ is semiample, that is, some multiple of $\mathcal L$ is generated by global sections.
Submitted 24 August, 2018; v1 submitted 6 January, 2016; originally announced January 2016.
MSC Class: 14J30; 14J32; 32Q25; 14F10
-
arXiv:1406.6554 [pdf, ps, other]
A note on the abundance conjecture
Abstract: We prove that the abundance conjecture for non-uniruled klt pairs in dimension $n$ implies the abundance conjecture for uniruled klt pairs in dimension $n$, assuming the Minimal Model Program in lower dimensions.
Submitted 25 June, 2014; originally announced June 2014.
MSC Class: 14E30
Journal ref: Algebraic Geometry 2 (2015), no. 4, 476-488
-
arXiv:1310.8151 [pdf, ps, other]
Automorphisms of Calabi-Yau threefolds with Picard number three
Abstract: We prove that the automorphism group of a Calabi-Yau threefold with Picard number three is either finite, or isomorphic to the infinite cyclic group up to finite kernel and cokernel.
Submitted 30 October, 2013; originally announced October 2013.
MSC Class: 14J32; 14J50
Journal ref: Higher dimensional algebraic geometry - in honour of Professor Yujiro Kawamata's sixtieth birthday, Adv. Stud. Pure Math. 74, Math. Soc. Japan, Tokyo, 2017, pp. 279-290
-
arXiv:1306.4579 [pdf, ps, other]
On the number of minimal models of a log smooth threefold
Abstract: We give a topological bound on the number of minimal models of a class of three dimensional log smooth pairs of general type.
Submitted 19 June, 2013; originally announced June 2013.
MSC Class: 14E30
Journal ref: J. Math. Pures Appl. 102 (2014), 597-616
-
arXiv:1210.7382 [pdf, ps, other]
Around and beyond the canonical class
Abstract: This survey is an invitation to recent developments in higher dimensional birational geometry.
Submitted 27 October, 2012; originally announced October 2012.
Comments: to appear in "Birational geometry, rational curves, and arithmetic, Simons Symposium Proceedings", Springer Verlag
MSC Class: 14E30
Journal ref: Birational Geometry, Rational Curves, and Arithmetic (Fedor Bogomolov, Brendan Hassett, Yuri Tschinkel, eds.), Simons Symposia, Springer New York, 2013, pp. 171-203
-
arXiv:1207.3653 [pdf, ps, other]
On the Cone conjecture for Calabi-Yau manifolds with Picard number two
Abstract: Following a recent work of Oguiso, we calculate explicitly the groups of automorphisms and birational automorphisms on a Calabi-Yau manifold with Picard number two. When the group of birational automorphisms is infinite, we prove that the Cone conjecture of Morrison and Kawamata holds.
Submitted 8 November, 2013; v1 submitted 16 July, 2012; originally announced July 2012.
Comments: to appear in Math. Res. Lett
MSC Class: 14J32; 14E07; 14E30; 14J50
Journal ref: Math. Res. Lett. 20 (2013), no. 6, 1103-1113
-
arXiv:1202.1164 [pdf, ps, other]
Finite generation and geography of models
Abstract: There are two main examples where a version of the Minimal Model Program can, at least conjecturally, be performed successfully: the first is the classical MMP associated to the canonical divisor, and the other is Mori Dream Spaces. In this paper we formulate a framework which generalises both of these examples. Starting from divisorial rings which are finitely generated, we determine precisely wh… ▽ More
Submitted 26 October, 2012; v1 submitted 6 February, 2012; originally announced February 2012.
Comments: to appear in "Minimal models and extremal rays", Advanced Studies in Pure Mathematics, Mathematical Society of Japan, Tokyo
MSC Class: 14E30
Journal ref: Minimal models and extremal rays (Kyoto, 2011), Adv. Stud. Pure Math. 70, Math. Soc. Japan, Tokyo, 2016, pp. 215-245
-
arXiv:1202.0738 [pdf, ps, other]
The Minimal Model Program Revisited
Abstract: We give a light introduction to some recent developments in Mori theory, and to our recent direct proof of the finite generation of the canonical ring.
Submitted 3 February, 2012; originally announced February 2012.
Comments: to appear in Contributions to Algebraic Geometry, EMS Series of Congress Reports
MSC Class: 14E30
Journal ref: Contributions to Algebraic Geometry (Piotr Pragacz, ed.), EMS Series of Congress Reports, EMS Publishing House, 2012, pp. 169-187
-
arXiv:1009.3188 [pdf, ps, other]
New outlook on the Minimal Model Program, I
Abstract: We give a new and self-contained proof of the finite generation of adjoint rings with big boundaries. As a consequence, we show that the canonical ring of a smooth projective variety is finitely generated.
Submitted 3 February, 2012; v1 submitted 16 September, 2010; originally announced September 2010.
Comments: to appear in Duke Math. J
MSC Class: 14E30; 14E99
Journal ref: Duke Math. J. 161, no. 12 (2012), 2415-2467
-
arXiv:1005.0614 [pdf, ps, other]
New outlook on the Minimal Model Program, II
Abstract: We prove that the finite generation of adjoint rings proved in [Cascini and Lazić] implies all the foundational results of the Minimal Model Program: the Rationality, Cone and Contraction theorems, the existence of flips, and termination of flips with scaling in the presence of a big boundary.
Submitted 17 July, 2012; v1 submitted 4 May, 2010; originally announced May 2010.
Comments: to appear in Math. Ann
MSC Class: 14E30
Journal ref: Math. Ann. 356 (2013), no. 2, 617-633
-
arXiv:0905.2707 [pdf, ps, other]
Adjoint rings are finitely generated
Abstract: This paper proves finite generation of the log canonical ring without Mori theory.
Submitted 9 December, 2009; v1 submitted 16 May, 2009; originally announced May 2009.
Comments: completion of the project initiated in arXiv:0812.3046; v2,v3: presentation improved, includes parts of arXiv:0707.4414 in Sections 4 and 5
MSC Class: 14E30; 14E99
-
arXiv:0812.3046 [pdf, ps, other]
Towards finite generation of the canonical ring without the MMP
Abstract: This paper is the first of two steps in a project to prove finite generation of the log canonical ring without Mori theory.
Submitted 16 December, 2008; originally announced December 2008.
MSC Class: 14E30; 14E99
-
arXiv:0811.1047 [pdf, ps, other]
Introduction to the Minimal Model Program and the existence of flips
Abstract: The first aim of this note is to give a concise, but complete and self-contained, presentation of the fundamental theorems of Mori theory - the nonvanishing, base point free, rationality and cone theorems - using modern methods of multiplier ideals, Nadel vanishing, and the subadjunction theorem of Kawamata. The second aim is to write up a complete, detailed proof of existence of flips in dimens… ▽ More
Submitted 6 November, 2008; originally announced November 2008.
MSC Class: 14E30
Journal ref: Bull. London Math. Soc. 43 (2011), no. 3, 415-448
-
arXiv:0707.4414 [pdf, ps, other]
On Shokurov-type b-divisorial algebras of higher rank
Abstract: The purpose of this paper is to lay the foundations for the theory of higher rank b-divisorial algebras of Shokurov type. We develop techniques to deal with such objects and propose two natural conjectures regarding Shokurov algebras and adjoint algebras. We confirm these conjectures in the case of affine curves.
Submitted 2 December, 2008; v1 submitted 30 July, 2007; originally announced July 2007.
Comments: some notation changed, Theorem 3.1 slightly generalised, new references added
MSC Class: 14E30