Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userIntroduction to the Minimal Model Program and the existence of flips
151
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic 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 dimension n assuming the minimal model program with scaling in dimension n-1.
rate research
Read More
In a previous work, we described the Minimal Model Program in the family of $Qbb$-Gorenstein projective horospherical varieties, by studying certain continuous changes of moment polytopes of polarized horospherical varieties. Here, we summarize the results of the previous work and we explain how to generalize them in order to describe the Log Minimal Model Program for pairs $(X,D)$ when $X$ is a projective horospherical variety.
We describe the Minimal Model Program in the family of $mathbb{Q}$-Gorenstein projective horospherical varieties, by studying a family of polytopes defined from the moment polytope of a Cartier divisor of the variety we begin with. In particular, we generalize the results on MMP in toric varieties due to M. Reid, and we complete the results on MMP in spherical varieties due to M. Brion in the case of horospherical varieties.
The main results of this paper are already known (V.V. Shokurov, the non-vanishing theorem, 1985). Moreover, the non-$mathbb{Q}$-factorial MMP was more recently considered by O~Fujino, in the case of toric varieties (Equivariant completions of toric contraction morphisms, 2006), for klt pairs (Special termination and reduction to pl flips, 2007) and more generally for log-canonical pairs (Foundation of the minimal model program, 2014). Here we rewrite the proofs of some of these results, by following the proofs given by Y. Kawamata, K. Matsuda, and K. Matsuki (Introduction to the minimal model problem, 1985) of the same results in $mathbb{Q}$-factorial MMP. And, in the family of $mathbb{Q}$-Gorenstein spherical varieties, we answer positively to the questions of existence of flips and of finiteness of sequences of flips. I apologize for the first version of this paper, which I wrote without knowing that these results already exist.
We show that 3-fold terminal flips and divisorial contractions to a curve may be factored by a sequence of weighted blow-ups, flops, blow-downs to a locally complete intersection curve in a smooth 3-fold or divisorial contractions to a point.
A classical result of Bondal-Orlov states that a standard flip in birational geometry gives rise to a fully faithful functor between derived categories of coherent sheaves. We complete their embedding into a semiorthogonal decomposition by describing the complement. As an application, we can lift the quadratic Fano correspondence (due to Galkin-Shinder) in the Grothendieck ring of varieties between a smooth cubic hypersurface, its Fano variety of lines, and its Hilbert square, to a semiorthogonal decomposition. We also show that the Hilbert square of a cubic hypersurface of dimension at least 3 is again a Fano variety, so in particular the Fano variety of lines on a cubic hypersurface is a Fano visitor. The most interesting case is that of a cubic fourfold, where this exhibits the first higher-dimensional hyperkahler variety as a Fano visitor.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
