All Questions
Tagged with minimal-model-program birational-geometry
70 questions
4
votes
0
answers
221
views
A question about the dimension of a relatively ample divisor
Suppose $f: Y \to Z$ is a projective morphism of smooth varieties with connected fibers. If an effective divisor $H$ on $Y$ is relatively ample over $Z$, and $\dim Y >\dim Z$, is $h^0(Y, mH)>1$ ...
- 3,472
6
votes
1
answer
519
views
Picard number of a general fiber of a fiber contraction
Suppose in the last step of a MMP, we obtain a Mori fiber space $f: X \to Z$, and let $F$ be a general fiber of $f$, then is the Picard number $\rho(F)$ of $F$ equal to $1$? Notice that the relative ...
- 66.3k
19
votes
2
answers
5k
views
Training towards research on birational geometry/minimal model program
Being a not yet enrolled independently supervised graduate student in mathematics, with prospects of applying to American graduate schools hopefully in a 1-2 years' time, I have a background of having ...
CommunityBot
- 1
6
votes
1
answer
617
views
Advantage of discrepancy
In the definition of Minimal model of projective variety, some authors use of discrepancy, and some others omit this condition. I am wondering to know the advantage of discrepancy In the definition of ...
CommunityBot
- 1
4
votes
0
answers
628
views
A theorem about log Calabi-Yau pairs
Let $X$ be a normal variety with $\mathbb Q$-Cartier divisor $D$, such that $K_X+D$ is $\mathbb Q$-Cartier. Let $(X,D)$ is log Calabi-Yau pair, i.e, $K_X+D\sim_\mathbb Q0$. (For example take $ X$ be a ...
CommunityBot
- 1
4
votes
0
answers
172
views
A question about potentially birational divisor
I am reading the paper "On the birational automorphisms of varieties of general type", and I have a question about the property of potentially birational divisor.
Definition (potentially birational ...
- 3,472
8
votes
2
answers
1k
views
References for the minimal model program
What are some references for a beginning graduate student in algebraic geometry to learn about the minimal model program? I'm not thinking about entering this field, but rather I just want to know ...
CommunityBot
- 1
2
votes
1
answer
679
views
A Decomposition for Iitaka fibration
Let $\pi: X\to Y$ be an Iitaka fibration of projective varieties
$X,Y$, then is there always the following decomposition
$$K_Y+\frac{1}{m!}\pi_*\mathcal O_X(m!K_{X/Y})=P+N$$
where $P$ is ...
- 2,427
6
votes
1
answer
1k
views
Generic Smoothness Type of Results in Positive Characteristic
Let $f:X\to Y$ be a surjective morphism between two projective varieties over a field of characteristic $p>0$. Also assume that $f_*\mathcal{O}_X=\mathcal{O}_Y$, and $X$ is smooth.
We know that ...
- 4,111
6
votes
0
answers
993
views
Restriction of the Canonical Divisor $K_X$ to a general fiber
Let $\ f:X\to Z$ be a surjective morphism between two smooth projective varieties with connected fibers $(f_*\mathcal{O}_X=\mathcal{O}_X)$. Let $F$ be a general fiber of $f$ and $\mbox{dim } F<(\...
- 313
2
votes
1
answer
727
views
Why are the different definitions of minimal model equivalent?
I'm starting to learn the minimal model program. It seems there are two definitions for a variety $X$ with only terminal singularities to be minimal:
$K_X$ is nef.
Every birational morphism from $X$ ...
- 6,210
3
votes
1
answer
254
views
Finite generation of certain $\mathcal{O}_X$-algebra
It is proved in this paper by Kawamata (Theorem 6.1) that for a 3-dimensional normal algebraic variety $X$ which has at most canonical singularities, and a Weil divisor $D$ on it, the $\mathcal{O}_X$-...
- 20.5k
3
votes
1
answer
500
views
Run MMP between varieties of isomorphic in codimension 1
Let $X, Y$ be two birational projective varieties which are isomorphic in codimension 1. Suppose $H$ is an ample divisor on $Y$, and $H'$ be its strict transform on $X$, suppose we can run MMP with ...
CommunityBot
- 1
4
votes
1
answer
785
views
A question about running MMP with scaling
Let $\pi:X \to U$ be a projective morphism, and $(X, \Delta = A + B)$ be a KLT pair, where $A$ is a general ample divisor and $B$ is effective.
Suppose $K_X + \Delta$ is not nef (over $U$) and there ...
- 3,472
1
vote
2
answers
550
views
Decompose a big divisor as nef big divisor and effective divisor
Let $W_n$ be a set of a log pair having the following property:
For any $(X, D) \in W_n$
(1)$X$ has dimensional $n$ with tirvial canonical divisor (i.e.$K_X = 0$). Moreover, $X$ is a $\mathbb{Q}$-...
- 2,427
2
votes
1
answer
915
views
Properties of extreme rays
Let $X$ be a projective variety over $\mathbb{C}$, then the effective curves module the numerical equivalence form a cone. For my understanding, if the extreme ray $[C]$ has the property that $[C]\...
- 3,472
9
votes
1
answer
502
views
Is the number of minimal models finite
Let $X$ be a variety of general type.
Assume that $\dim X = 3$. In https://eudml.org/doc/164223 it is proven that $X$ has only finitely many minimal models (i.e., only $\mathbb Q$-factorial terminal ...
- 133
0
votes
1
answer
700
views
Kawamata-Log-Terminal pairs
Let $p_1,...,p_n\in\mathbb{P}^3$ be general points, and let $\Delta\subset\mathbb{P}^3$ be a general surface of degree $d$ with points of multiplicity $m_i$ at $p_i$ for $i = 1,...,n$.
Consider the ...
CommunityBot
- 1
2
votes
1
answer
267
views
On Non F-pure ideal and Sharp F-Purity for a pair $(X, \Delta)$ where $K_X+\Delta$ is NOT $\mathbb{Q}$-Cartier
Suppose $(X,\Delta\ge 0)$ is a pair such that $(p^g-1)(K_X+\Delta)$ is an Integral Weil Divisor for some $g>0$ and $X$ is a normal variety. Define $\mathcal{L}_{e,\Delta} = \mathcal{O}_X( (1-p^g)(...
- 20.5k
5
votes
1
answer
1k
views
Minimal Model Program for surfaces over algebraically closed fields of characteristic p
Let $k$ be an algebraically closed field of characteristic $p>0$.
I have been trying to find out unsuccessfully if there is a mmp for algebraic surfaces over $k$. I know minimal surfaces are ...
- 656