Skip to main content
MathOverflow

Questions tagged [minimal-model-program]

Ask Question

minimal model program is part of the birational classification of algebraic varieties.

141 questions
Newest Active Bountied Unanswered
Filter by
Sorted by
Tagged with
2 votes
0 answers
75 views

Let $X \to Z \leftarrow X^+$ be a $K_X$-flip where $X$ has $\mathbb{Q}$-factorial terminal singularities (over complex numbers). Question: do we know anything about the dimension of the irreducible ...
Flyingpanda's user avatar
  • 573
3 votes
0 answers
203 views

I would like to know how much of the results on the Minimal Model Programme (MMP) over fields of finite characteristicb which are usually only stated for varieties over algebraically closed fields, ...
Jesus Martinez Garcia's user avatar
  • 2,235
2 votes
1 answer
192 views

Background: Let $D$ be a Weil divisor on a nice variety $X$ (normal, $\mathbb{Q}$-factorial, etc.). If one can run Mori's program on $D$ — by which I mean identify a birational variety $X_D$ (which ...
sheride's user avatar
  • 23
2 votes
1 answer
209 views

Let $f: X \to Y$ be a projective birational morphism of normal varieties over $\mathbb{C}$. I am curious when $f_*:H_2(X) \to H_2(Y)$ is surjective of rational homology groups. Certainly, $X$ and $Y$ ...
Flyingpanda's user avatar
  • 573
1 vote
0 answers
125 views

Let $X$ be a projective normal variety over $\mathbb{C}$ with terminal singularities. Fix an ample Cartier divisor $A$. Suppose there exists a countable infinite set of smooth rational curves $C_i$ ...
Flyingpanda's user avatar
  • 573
2 votes
0 answers
95 views

Let $(X, \Delta)$ be a (possibly non $\mathbb{Q}$-factorial) klt pair. Then is it always possible to find a log resolution $\pi: X' \to X$ of $(X, \Delta)$ such that the exceptional locus of $\pi$ ...
anonymous's user avatar
  • 363
4 votes
0 answers
165 views

Let $f\colon X\rightarrow S$ be a proper morphism between normal varieties, and let $D$ be a Cartier divisor on $X$. We say that two Cartier divisors $D$ and $D'$ are linearly equivalent over $S$, ...
notime's user avatar
  • 275
0 votes
1 answer
168 views

Let $\pi: X' \to X$ be a birational morphism, where $X$ is $\mathbb{Q}$-factorial. Suppose $R=\mathbb{R}_+[C]\subset \overline{NE}(X'/X)$ is an extremal ray (not necessarily $K_{X'}$-negative) over $X$...
anonymous's user avatar
  • 363
3 votes
1 answer
306 views

We work over the complex numbers, and let $X$ be a Mori dream surface. Suppose that all contractions of $X$ given by the rays of the Nef cone of $X$ are to $\mathbb{P}^2$ or to $\mathbb{P}^1$. Claim. $...
Lore's user avatar
  • 31
3 votes
0 answers
129 views

Let $(X,\Delta)$ be a projective klt pair over $\mathbb{C}$, and let $(X_R,\Delta_R)$ be a model of $(X,\Delta)$ over a finitely generated $\mathbb{Z}$-algebra $R\subseteq \mathbb{C}$. For any point $...
user560114's user avatar
  • 135
0 votes
0 answers
168 views

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=\...
user267839's user avatar
  • 3,878
2 votes
1 answer
241 views

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 \...
Chi-siu's user avatar
  • 21
1 vote
0 answers
96 views

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$ ...
George's user avatar
  • 378
2 votes
1 answer
201 views

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>...
George's user avatar
  • 378
5 votes
0 answers
219 views

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 ...
fgh's user avatar
  • 178
1 vote
0 answers
160 views

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 ...
George's user avatar
  • 378
2 votes
0 answers
151 views

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 ...
George's user avatar
  • 378
5 votes
1 answer
465 views

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?
George's user avatar
  • 378
2 votes
0 answers
147 views

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$ ...
George's user avatar
  • 378
2 votes
1 answer
214 views

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. $(...
George's user avatar
  • 378
2 votes
0 answers
128 views

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 ...
George's user avatar
  • 378
0 votes
1 answer
256 views

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 ...
George's user avatar
  • 378
2 votes
0 answers
379 views

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 $...
Don's user avatar
  • 293
1 vote
0 answers
142 views

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 ...
HNuer's user avatar
  • 2,168
7 votes
1 answer
621 views

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 ...
Hydrogen's user avatar
  • 361
5 votes
0 answers
142 views

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 ...
Misha Verbitsky's user avatar
  • 9,959
4 votes
1 answer
218 views

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} \...
OrdinaryAttention's user avatar
  • 41
2 votes
0 answers
211 views

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 ...
anonymous's user avatar
  • 363
1 vote
0 answers
129 views

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 ...
Ben C's user avatar
  • 4,480
2 votes
2 answers
276 views

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 ...
Puzzled's user avatar
  • 9,110
1 vote
0 answers
106 views

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 ...
anonymous's user avatar
  • 363
1 vote
1 answer
222 views

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 (...
Invariance's user avatar
  • 335
1 vote
0 answers
153 views

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 ...
anonymous's user avatar
  • 363
4 votes
1 answer
173 views

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 ...
Jérémy Blanc's user avatar
  • 7,946
3 votes
1 answer
338 views

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)$-...
naf's user avatar
  • 10.7k
7 votes
1 answer
654 views

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 ...
Kim's user avatar
  • 4,242
7 votes
0 answers
541 views

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 "...
Kim's user avatar
  • 4,242
2 votes
1 answer
231 views

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$ ...
Chenxi Yin's user avatar
  • 51
2 votes
1 answer
273 views

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 ...
Puzzled's user avatar
  • 9,110
4 votes
0 answers
166 views

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 ...
user avatar
1 vote
0 answers
237 views

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\...
Puzzled's user avatar
  • 9,110
1 vote
0 answers
94 views

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,...
anonymous's user avatar
  • 363
1 vote
0 answers
145 views

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$...
Peter Liu's user avatar
  • 439
2 votes
1 answer
198 views

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 $...
user avatar
2 votes
0 answers
250 views

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_{...
anonymous's user avatar
  • 363
2 votes
0 answers
161 views

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 ...
anonymous's user avatar
  • 363
5 votes
1 answer
565 views

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 $\...
Dima Sustretov's user avatar
  • 4,160
1 vote
1 answer
489 views

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 ...
user avatar
3 votes
0 answers
803 views

When I have a projective surface $X$, for simplicity smooth, I can find a simpler smooth surface on its binational class. In this way we find in a finite number of steps the simplest surface $Y$, i.e. ...
Federico Fallucca's user avatar
  • 305
5 votes
0 answers
199 views

Let $\pi\colon X\to Y$ be a morphism between irreducible varieties with terminal singularities (let us say smooth if you want). I suppose that I have an open subset $U$ of $Y$ over which the fibres ...
Jérémy Blanc's user avatar
  • 7,946

1
2 3