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

minimal model programMori dream spaceCox sheafMori dream morphism

Mathematics Subject Classification ID

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

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.

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

• 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?)
• 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)
• 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

(7)

• On images of Mori dream spaces
• Maps of Mori dream spaces
• All 81 crepant resolutions of a finite quotient singularity are hyperpolygon spaces
• Remarks on bitrational relations of toric Mori fiber spaces
• On embeddings of Mori dream spaces
• The spirit of D'Arcy Thompson dwells in empirical morphospace
• 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)