All Questions
67 questions
1
vote
0
answers
87
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
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
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
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?
- 328
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} \...
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 ...
- 8,998
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 ...
- 335
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 (...
- 295
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 ...
- 7,722
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 ...
- 4,164
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$ ...
- 31
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 ...
- 8,998
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 ...
user168611
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\...
- 8,998
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
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 $...
user114666
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
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
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 $\...
- 4,070
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 ...
user105074
1
vote
0
answers
216
views
Does nefness carry over through flips?
Suppose $\pi: X \dashrightarrow Y$ is a birational map which is an isomorphism in codimension 1 (such as a flip). Also suppose both $X$ and $Y$ have reasonable (say log terminal) singularities. We ...
- 335
1
vote
1
answer
215
views
Terminal $\mathbb{Q}$-factorial divisorial contractions
Let $X$ be a $3$-fold, and $f:Y\rightarrow X$ a birational $\mathbb{Q}$-factorial divisorial terminal contraction (of relative Picard number one) contracting a divisor $E\subset Y$ to a point $p\in X$....
user61586
0
votes
1
answer
325
views
On the birational equivalent class of algebraic surfaces with Picard number $1$
An open subset $U$ of a projective surface $Z$ is big if $\mathrm{codim}_Z(Z\setminus U)\geq2$.
Let $X$ and $Y$ be smooth complex projective surface. If there exists a birational map $f:X\...
- 828
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 ...
- 335
2
votes
0
answers
79
views
Finding divisors with canonical singularities in a moving linear system
I apologize if the question is too naive or trivial:
We know that any reduced divisor in a smooth variety has Gorenstein singularities. However, I don't know if there's a cone theorem for Gorenstein ...
- 335
3
votes
0
answers
135
views
Is the generalized Kummer threefold rational in characteristics 3?
Let $E_i\!: y_i^2 = x_i^3 - x_i$, $i = 1, 2, 3$ be three copies of the supersingular elliptic curve in characteristics $3$. Consider on $E_i$ the following automorphism of order $3$:
$$
\sigma(x_i,...
- 1,833
5
votes
1
answer
320
views
$K_X+B \equiv 0$ implies $K_X + B \sim_\mathbb{Q} 0$?
Let $(X,B)$ be a projective log canonical pair (here I mean $B \geq 0$). Assume that the coefficients of $B$ are rational, and that $K_X+B \equiv 0$. Is it true that $K_X + B \sim_\mathbb{Q} 0$? I ...
- 625
2
votes
1
answer
451
views
Tie-Breaking Trick for Log Canonical Pairs and F-pure pairs in Positive Characteristic
Let $X$ be a projective 3-fold in characteristic $p>0$. Let $(X, D)$ be a klt pair, and $D'$ a $\mathbb{R}$-Cartier divisor such that $D'=A'+B'$, where $A\geq 0$ is an ample $\mathbb{Q}$-divisor ...
- 313
3
votes
1
answer
291
views
Movable divisor with base locus on a hyperkahler variety
I'm looking for an example of the following:
$X$ is a hyperkahler fourfold (deformation equivalent to $K3^{[2]}$);
$D$ is a movable divisor on $X$ with $D^4=0$; and the base locus of
$D$ is a ...
- 549
2
votes
0
answers
674
views
Small contractions as blow ups
To improve my chances of getting answers/ comments I post my mathstackexchange question https://math.stackexchange.com/q/2808852/42548 also here.
I am trying to learn a bit about birational morphisms:...
- 121
4
votes
1
answer
527
views
How to split a Multi-section into finitely many Sections via base-change?
Let $:f:X\to Y$ be a projective surjective morphism between two normal varieties over $\mathbb{C}$. Assume that $f$ has only $1$-dimensional fibers. Let $D$ be a multi-section of $f$, i.e., $D$ is a ...
- 313
7
votes
1
answer
424
views
Is there a purely inseparable covering $\mathbb{A}^2 \to K$ of a Kummer surface $K$ over $\mathbb{F}_{p^2}$?
Let $E_i\!: y_i^2 = x_i^3 + a_4x_i + a_6$ be two copies ($i = 1$, $2$) of a supersingular elliptic curve over a finite field $\mathbb{F}_{p^2}$, for odd prime $p > 3$. Consider the Kummer surface $...
- 1,833
1
vote
0
answers
162
views
Compactifying morphisms and ample line bundles
Let $f:X\to Y$ be a projective morphism between two normal quasi-projective varieties, and $L$ a $f$-ample line bundle on $Y$. Then the claim is: There is a compactication $\bar{f}:\overline{X}\to\...
- 313
1
vote
0
answers
50
views
How can I describe in explicit geometric terms the (in general non-complete) linear system?
Let $\varphi\!: S \to S^\prime$ be a birational morphism of projective non-singular irreducible surfaces over a (algebraically closed) field $k$ and let $D \in \mathrm{Div}(S)$. Also, let $\big(\...
- 1,833
7
votes
0
answers
571
views
Pseudo-effective divisor which is not nef in any birational model
Let $X$ be a smooth complex projective algebraic variety and let $D$ be a $\mathbb{Q}$-Cartier pseudo-effective divisor on $X$. Lets say that $D$ is birationally nef
if there exists a birational ...
- 1,595
3
votes
0
answers
78
views
Finiteness of models around a non-pseudo-effective ray
Let $(X,\Delta) $ a klt pair and $\rho $ a numerical class of divisor that is not contained in the pseudo-effective cone. Let $(X,\Delta_i)$ be a sequence of klt pairs such that $K_X+\Delta_i$ is not ...
- 1,595
5
votes
1
answer
1k
views
Bertini's type theorems over imperfect fields
Let $X$ be a projective variety over an imperfect (hence infinite and char(k)=p>0) field $k$. If the local rings of $X$ are all regular, then can we say that a general hyperplane section $H$ is also ...
- 313
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 ...
- 3,472
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 ...
- 63
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 ...
user21574
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 ...
- 1,537