Questions tagged [minimal-model-program]
minimal model program is part of the birational classification of algebraic varieties.
133 questions
1
vote
0
answers
81
views
Generic reducedness of geometric generic fibre
Let $f:X\to Y$ be a surjective morphism between two projective schemes over a field of characteristic $p>0$. Also assume that $X$ is smooth,$Y$ smooth & irreducible and $f_*\mathcal{O}_X=\...
- 5,966
1
vote
1
answer
86
views
Sequence of MMP with scaling cannot be isomorphism
Let $(X,B)$ be a projective klt pair, H is an $\mathbb{R}$-divisor s.t. $K_X+B+H$ is nef. Suppose that we can run $(K_X+B)$-MMP with scaling $H$(that is, the flip exists) and denote $\alpha_i:X \...
- 11
1
vote
0
answers
57
views
Discrepancy of general element of linear system
Let $X$ be a normal scheme and $|D|$ a linear system on $X$.
In "Singularity of Minimal Model Program" by Janos kollar p249, it says,
If $X$ is a variety over $\mathbb{C}$, and $E_j$ ...
- 328
1
vote
2
answers
341
views
Small contraction for Hyperkähler Varieties
I have the following basic question. Everything is over $\mathbb{C}$.
Let $X$ be a hyperkähler (irreducible holomorphic symplectic) variety and we consider a small contraction $f\colon X \rightarrow ...
- 115
0
votes
0
answers
89
views
Contraction of extremal ray on a smooth projective threefold
I have some issues about understanding the contraction of extremal ray in a concrete situation:
Let $\mathcal{E}=\mathcal{O}_{\mathbb{P}^1\times \mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1\times \...
- 41
4
votes
0
answers
180
views
Deminormal and Gorenstein
Let X be an irreducible deminormal variety such that the normalisation is Gorenstein. Does it follow that X is also Gorenstein?
for deminormal definition, see https://arxiv.org/pdf/1506.02002.pdf
- 131
2
votes
1
answer
117
views
Blow up of terminal singularity and canonical singularity
A normal singularity $(X,x)$ over a field $k$ is terminal (resp. canonical) if
$(i)$
it it is $\mathbb{Q}$-Gorenstein. and
$(ii)$For any resolution of singularity $F:Y\rightarrow X$,
$K_Y-f^*K_X>...
- 1,829
0
votes
1
answer
201
views
Two different resolutions of a three fold
Let $X\subset \mathbb{A}^4_\mathbb{C}$ be a three fold defined by the equation $xy-zw=0$
This variety has a singularity at origin of $\mathbb{A}^4_\mathbb{C}$
If we blow up this three fold in two ways ...
- 45
2
votes
0
answers
108
views
Finiteness of rational double point
Let $(R,\mathfrak{m
})$ be a three dimensional complete local ring over a field $k$ of arbitrary characteristic and let $f\in R$ and $R/f$ is a rational double point.
My question is as follows.
Are ...
- 328
0
votes
0
answers
78
views
Log resolution and a divisor of pullback of function
Let $(X,x)$ be a three fold singularity
$m_{X,x}$ a ideal sheaf correspoinding to $x$.
$\sigma:Y_1\rightarrow X$ blow up at by $m_{X,x}$
$\phi:Y\rightarrow Y_1$ resolution of $Y_1$
Set $f:=\phi*\sigma$...
- 328
5
votes
0
answers
159
views
Flops connect minimal models of algebraic spaces?
According to a Kawamata's result, two projective minimal models of the same variety are connected through a sequence of flops. In particular, a birational map $f\colon X\to X'$ between Calabi-Yau ...
- 178
1
vote
0
answers
62
views
About the definition of cDV singularity
M. Reid defines cDV singularity as follow in his paper "CANONICAL 3-FOLDS"
A point $p\in X$ of a 3-fold is called a compound Du Val point if for some section H throgh $P$, $P\in H$ is a Du ...
- 328
3
votes
1
answer
255
views
About the contractability
Let $X\subset \mathbb{P}^3$ be the surface defined by the equation $xy-zw=0$, and consider the curve $E \subset X$ defined by the equation $x=z=0$.
Question. Can $E$ be contracted to a point?
- 66.3k
2
votes
0
answers
104
views
Canonical model and the existence of general hyperplane
A variety is a separated reduced scheme of finite type over an algebraically closed field $k$ not necessarily affine.
Let $X$ be a normal variety and $X$ has only one isolated singularity at $x\in X$ ...
- 875
2
votes
1
answer
133
views
A property of canonical singularity
Let $X$ be a normal variety with only one singularity at $x$ and $(X,x)$ is a canonical singularity i.e. $(X.x)$ satisfies $(i)$ and $(ii)$.
$(i)$ $(X,x)$ is a $\mathbb{Q}$ Goreinstein singularity.
$(...
- 66.3k
2
votes
0
answers
95
views
Reference request The support of $f$-nef divisor
I'm seaching for a proof of the theorem below.
Do you know any reference?
Consider $f:X\rightarrow Y$ projective birational map between normal varieties and $\mathbb{R}$ cartier divisor $D$ whose ...
- 875
2
votes
0
answers
244
views
On the definition of the relative canonical divisor
Fix a field $k$. Let $X,Y$ be normal integral $k$-schemes of finite type and $h: Y \to X$ a proper birational $k$-morphism. Moreover, assume that $X$ is Gorenstein, i.e. it admits a canonical divisor $...
- 293
1
vote
0
answers
113
views
Nice, concrete example of pl-flipping contraction
In a course I'm giving on the MMP, I am discussing the importance of Shokurov's notion of a pl-flipping contraction for showing that flips exist for arbitrary flipping contractions. Does someone have ...
- 2,108
7
votes
1
answer
549
views
Application of MMP in other branches of algebraic geometry
I'm learning minimal model program (MMP) recently. For a projective variety $X$, following MMP, we can do a sequence of birational transformations making $K_X$ nef or to a Mori fiber space.
My ...
- 361
4
votes
0
answers
102
views
Existence of a rational curve in the center of a birational contraction for symplectic singularities
Let $M$ be a holomorphically symplectic
complex manifold, and $f: M \to X$
a holomorphic, birational contraction to a Stein
variety $X$, contracting a subvariety $E$
to a point, and bijective outside ...
- 9,237
4
votes
1
answer
167
views
Finitely generated section ring of Mori dream spaces
Set-up: We work over $\mathbb{C}$. Let $X$ be a Mori dream space. Define, following Hu-Keel, the Cox ring of $X$ as the multisection ring
$$\text{Cox}(X)=\bigoplus_{(m_1\ldots,m_k)\in \mathbb{N}^k} \...
- 8,998
3
votes
0
answers
290
views
Nefness property for symplectic equivalency of Moishezon manifolds
Definition:Two symplectic manifolds $(X,\omega_X)$ and $(Y,\omega_Y)$ are defined to be symplectically equivalent if there exists a diffeomorphism $\phi:X\to Y$ such that $\phi^∗ω_Y$ is in the same ...
- 295
2
votes
0
answers
126
views
Minimal model program for toroidal pairs
Suppose $(X, \Delta)$ be a toroidal pair over $Z$ where $f:(X, \Delta) \rightarrow (Z, \Delta_Z)$ is a toroidal morphism (see https://arxiv.org/pdf/alg-geom/9707012.pdf sections 1.2, 1.3 for the ...
- 335
1
vote
0
answers
113
views
Modifying the base of a rational map
Let $f : X \dashrightarrow S$ be a rational map of smooth projective varieties. Is it true that, after a birational modification of $S$, every fiber intersects the domain of definition? Explicitly, is ...
- 3,730
2
votes
2
answers
208
views
Mori cones and projective morphisms
Let $f:X\rightarrow Y$ be a morphism of smooth projective varieties, and $NE(X),NE(Y)$ the Mori cones of curves of $X$ and $Y$. Assume that $NE(X)$ is finitely generated. Then is $NE(Y)$ finitely ...
- 10.5k
1
vote
0
answers
65
views
Singularities of toric pairs
Suppose $(X,B)$ is a log canonical pair and $f: X \rightarrow Y$ an equidimensional toroidal contraction such that every component of $B$ is $f$ -horizontal. Let $\Gamma$ denote the reduced ...
- 63.9k
4
votes
1
answer
1k
views
References about pseudoeffective cone
I'm looking for references of explicit computation of the pseudoeffective cone $\overline{\text{Eff}}(X)$ of a projective variety $X$.
- 1,446
5
votes
2
answers
1k
views
Possible singularities of the base of a Mori fiber space
Suppose X is a normal projective complex variety, (X, $\Delta$) is a klt pair and f : X $\to$ Z is a Mori fiber space given by a contraction of an extremal ray for this pair. Here I mean that the ...
- 4,713
1
vote
1
answer
193
views
Two morphisms possess the same Viehweg's variation
Recall the definition of Viehweg's variation intimated from Weak Positivity and the Additivity of the Kodaira Dimension for Certain Fibre Spaces,
E. Viehweg
Let $f: V\rightarrow W$ be a fiber space (...
- 42.9k
7
votes
3
answers
970
views
Basepoints in the canonical system of algebraic surfaces
Let $X$ be a smooth projective variety defined over $\mathbb{C}$. In the context of the minimal model program it is often important to understand the geometry of the maps defined by the complete ...
- 63.9k
1
vote
0
answers
122
views
Numerical reduction map for line bundles?
For a nef line bundle $L$ on a normal projective variety $X$, we have three invariants- the nef dimension $n(L)$, the numerical dimension $\nu(L)$ and the Iitaka dimension $\kappa(L)$. $n(L)$ is ...
- 335
4
votes
1
answer
134
views
Isomorphism outside of negative curves against the canonical
Let $X$ be a smooth projective complex variety and let us suppose that the closure of the union of curves $C$ on $X$ that are non-positive against the canonical divisor is a closed subset $F\subsetneq ...
- 1,306
3
votes
1
answer
267
views
Singularities of contractions of extremal faces
Let $(X, \Delta)$ be a (projective) klt pair (say over $\mathbb{C}$, but I am also interested in fields of positive characteristic) and $f: X \to Z$ the contraction associated to a $(K_X + \Delta)$-...
- 2,427
7
votes
1
answer
567
views
Is there a classification of minimal algebraic threefolds?
The minimal model program aims to find a minimal representative in the birational class of a given variety with reasonable singularities. Assuming this has been done, it seems natural to ask what ...
- 2,427
7
votes
0
answers
448
views
Where does the word "log" in log pair come from?
The minimal model program works with pairs $(X,B)$ where $X$ is a variety and $B$ is a certain kind of divisor on it. I've seen these described as "logarithmic pairs". There are also "...
- 66.3k
2
votes
1
answer
171
views
Restriction of small transformations
Let $\phi:X\dashrightarrow Y$ be an elementary small transformation (isomorphism in codimension $1$) between normal and $\mathbb{Q}$-factorial projective varieties.
Then there are small contractions $...
CommunityBot
- 1
1
vote
1
answer
174
views
Positivity of the global log canonical threshold of a pair
Let $(X,L)$ be a polarized smooth projective variety. Let $D$ be a smooth irreducible divisor in $X$. Let $0<c<1$ be a real number. We denote $cD$ as $\Delta$. We can define the $\alpha$ ...
- 3,290
12
votes
3
answers
4k
views
Does negative Kodaira dimension imply uniruled?
There is a conjecture (often attributed to Mumford) I believe which states that if, on a smooth proper variety $X$ (over an algebraically closed field of characteristic zero), there are no ...
- 35.5k
2
votes
1
answer
218
views
Existence of terminal $3$-fold flips
Does there exist a terminal $3$-fold $X$ with a curve $C\subset X$ such that $K_X\cdot C < 0$ admitting a Mori flip $X\dashrightarrow Y$, flipping $C$ to a curve $C'\subset Y$, where the singular ...
- 1,306
4
votes
0
answers
136
views
Parameter spaces for conic bundles
A conic bundle over $\mathbb{P}^n$ is a morphism $\pi:X\rightarrow\mathbb{P}^n$ with fibers isomorphic to plane conics. A conic bundle $\pi:X\rightarrow\mathbb{P}^n$ is minimal if it has relative ...
CommunityBot
- 1
1
vote
0
answers
202
views
Mori cone of Picard rank two varieties
Let $X$ be a smooth projective variety of Picard rank two. Assume that there exists a surface $S\subset X$ such that
$$i^{*}:\text{Pic}(X)\rightarrow\text{Pic}(S)$$
is an isomorphism, where $i:S\...
- 549
1
vote
1
answer
820
views
Are terminal singularities $ \mathbb{Q}$-factorial?
The proof of Lemma 5-1-5 in this 1987 paper by Kawamata, Matsuda and Matsuki (link on Projecteuclid) seems to say that a variety with terminal singularities is $\mathbb{Q}$-factorial ( I only need ...
- 1,164
2
votes
0
answers
214
views
descent of nef divisors
Let $f:X \rightarrow Y$ be a flat surjective morphism of complex projective varieties with connected fibers, $X$ normal, $Y$ smooth and $dim (Y) < dim(X)$. Suppose $L \in Pic (X)$ such that $L|_{X_{...
- 335
1
vote
0
answers
69
views
On the b-nefness of the moduli part of canonical bundle formula
I have recently been wondering about the existence of a canonical bundle formula in the following situation and am not sure how to proceed.
Suppose $(X,B) \xrightarrow{f} Y$ is a fibration where $ (X,...
- 335
1
vote
0
answers
97
views
Canonical covering stack of a flop
In section 6 of Kawamata's paper https://arxiv.org/abs/math/0205287, he defines the canonical covering stack. In the proof of theorem 6.5, he considered a flop $$X\xrightarrow{\phi}W\xleftarrow{\psi}Y$...
- 263
2
votes
0
answers
119
views
Cone and contraction theorems for certain sub-klt pairs
Suppose $(Y,B_Y)$ is a sub-klt pair which is a birational model of a klt pair $(X,B)$: there exists a birational morphism $\pi:(Y,B_Y) \rightarrow (X,B)$ such that $\pi^{*}(K_X+B)=K_Y+B_Y$. We know ...
- 335
3
votes
0
answers
214
views
local description of $\mathbb{P}^2$-fibrations over $\mathbb{P}^1$
Let $X$ be a rational threefold (over the field of complex numbers) with terminal singularities. It is well-known that $X$ has only finitely many singular points $x_1,x_2, \ldots,x_n$.
To be more ...
- 3,065
25
votes
5
answers
4k
views
Flips in the Minimal Model Program
In order get a minimal model for a given a variety $X$, we can carry out a sequence of contractions $X\rightarrow X_1\ldots \rightarrow X_n$ in such a way that that every map contracts some curves on ...
5
votes
1
answer
452
views
Termination of a minimal model program
I am reading "The dual complex of
singularities" by de Fernex, Kollár
and Xu and in the proof of Corollary 24 I have encountered a bit of
reasoning that confuses me.
Let $(X, \Delta)$ be a $\...
- 3,290
1
vote
1
answer
433
views
Log resolution of a variety of log general type
Work over the complex numbers. Let $(B, \Delta)$ be a normal irreducible variety of log general type, i.e., $K_B + \Delta$ is ample. Let $f : (\widetilde{B}, \widetilde{\Delta}) \to (B, \Delta)$ be a ...
- 2,427