On the relative version of Mori dream spaces

DOI10.1007/S40879-022-00552-6MaRDI QIDQ2157474zbMATH OpenOpenAlexFDO

Authors Rikito Ohta

Publication date 22 July 2022

Published in European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2012.10894

zbMATH Keywords

Cox sheafminimal model programMori dream morphismMori dream space

Mathematics Subject Classification ID

Rational and birational maps (14E05) Minimal model program (Mori theory, extremal rays) (14E30) Fano varieties (14J45)

Abstract: This paper is devoted to a study of the relative version of a Mori dream space (MDS for short), which was first introduced by Andreatta and Wi'{s}newski and will be called Mori dream morphism (MDM) in this paper. An MDM is defined to be an algebraic fiber space between normal quasi-projective varieties $XoU$ such that $operatornamePic(X/U{)}_{mathbbQ}=operatorname{N}^1(X/U{)}_{mathbbQ}$ and the (relative) movable cone is decomposed into the semi-ample cones of finitely many small $mathbbQ$-factorial modifications, each of which is assumed to be rational polyhedral. An MDS is an MDM where $U$ is a point. We prove that the relative $D$-MMP runs and terminates in either a good $D$-minimal model or a $D$-Mori fiber space for an arbitrary divisor $D$ on an MDM, and that an algebraic fiber space satisfying $operatornamePic(X/U{)}_{mathbbQ}=operatorname{N}^1(X/U{)}_{mathbbQ}$ is an MDM if and only if a Cox sheaf is finitely generated over $U$. These are generalizations to an MDM of the fundamental results by Hu and Keel for an MDS. We also show that if the composition of two algebraic fiber spaces $f$ and $g$ is an MDM, then so are $f$ and $g$. In the end we investigate base changes of MDMs. We prove that a base change of an MDM by a proper flat morphism is again an MDM, provided that the base change is normal $mathbbQ$-factorial and that any $mathbbQ$-line bundle on the base change descends to the original MDM.

Review text

Mori Dream Spaces (MDS) are the varieties that are ideal from the point of view of Minimal Model Program. Mori Dream Morphisms (MDM) were introduced as their relative analogue. In this paper, the author studies the properties of MDMs. In particular, he proves that MDMs satisfy the properties analogous to those MDSs satisfy: good behavior with respect to the Minimal Model Program and relation to the finite generation of the Cox sheaf. The author proves that on MDM for any divisor there exists a Minimal Model Program that terminates in a Mori fiber space or a good minimal model. To show this, the author studied the structure of the relative Nef cone of MDM and derives the existence of only finitely many small \(\mathbb{Q}\)-factorial modifications for a given MDM. Next, author demonstrates that an algebraic fiber \(X \to U\) space satisfying \(\operatorname{Pic}(X/U)_\mathbb{Q} \cong N^1(X/U)_\mathbb{Q}\) is an MDM if and only if Cox sheaf is finitely generated over \(U\). For this author studies variation of GIT for affine morphisms and when are the quotients of the affine morphisms are MDMs. The author proves that MDMs can be characterized as quotients of affine morphisms by a torus. Using Cox Sheaf one can recover the original affine morphism and the torus. MDMs also satisfy a couple categorical properties. Namely, if \(f\circ g\) is a an MDM, then \(f\) and \(g\) are MDMs. And the author introduces the conditions for the base change to be MDM.

Recommendations

• On images of Mori dream spaces
• On embeddings of Mori dream spaces
• \(\overline{M}_{0,n}\) is not a Mori dream space
• Mori dream stacks
• Mori dream spaces and GIT.

Cites work

• 4-dimensional symplectic contractions
• Cox rings and pseudoeffective cones of projectivized toric vector bundles
• Crepant blowing-up of 3-dimensional canonical singularities and its application to degenerations of surfaces
• Existence of minimal models for varieties of log general type
• Geometric Invariant Theory
• Geometric invariant theory via Cox rings
• Groupe de Picard des variétés de modules de fibrés semi-stable sur les courbes algébriques. (Picard groups of moduli varieties of semi- stable bundles on algebraic curves)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 1206984 (Why is no real title available?)
• scientific article; zbMATH DE number 2134815 (Why is no real title available?)
• scientific article; zbMATH DE number 1822312 (Why is no real title available?)
• Mori dream spaces and GIT.
• On Cox rings of \(K3\) surfaces
• On images of Mori dream spaces
• On the automorphisms of hypersurfaces
• Toric varieties
• Uniruledness of stable base loci of adjoint linear systems via Mori theory

Cited in

(11)

• The spirit of D'Arcy Thompson dwells in empirical morphospace
• On embeddings of Mori dream spaces
• On images of Mori dream spaces
• Remarks on bitrational relations of toric Mori fiber spaces
• All 81 crepant resolutions of a finite quotient singularity are hyperpolygon spaces
• Maps of Mori dream spaces
• The KSBA moduli space of stable log Calabi-Yau surfaces
• Moduli of G-constellations and crepant resolutions. II: The Craw-Ishii conjecture.
• Birational geometry of quiver varieties and other GIT quotients
• Partial resolutions of affine symplectic singularities
• Mori dream spaces

This page was built for publication: On the relative version of Mori dream spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2157474)