Questions tagged [birational-geometry]
Birational geometry is a field of algebraic geometry the goal of which is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying mappings that are given by rational functions rather than polynomials; the map may fail to be defined where the rational functions have poles.
677
questions
1
vote
1
answer
243
views
Ample divisors on $\mathbb{P}^n$ blown-up at $k$ general points
Let $X$ be the blow-up of $\mathbb{P}^n$ at $k$ general points. We can assume $k\leq n+4$. Let
$$D = aH-b_1E_1-...-b_kE_k$$
be a divisor on $X$. Are there conditions on $a,b_1,...,b_k$ ensuring that $...
3
votes
1
answer
317
views
A question about kawamata's proof of vanishing for big and nef $\mathbb{Q}$ divisors
Theorem 2 [1, p.46] Let $X$ be a non-singular projective algebraic variety of dimension $n$, and $D$ a numerically effective $\mathbb{Q}$-divisor such that $(D^n)>0$. We assume that the support of ...
12
votes
1
answer
7k
views
Simple normal crossing divisors
I found the following definition.
A Weil divisor $D = \sum_{i}D_i \subset X$ on a smooth variety $X$ is simple
normal crossing if for every point $p \in X$ a local equation of $D$
is $x_1\cdot...\...
3
votes
2
answers
5k
views
Big and Nef divisors
In Example 2.2.19 of
Lazarsfeld, Positivity in Algebraic Geometry I,
I found the following statement:
Let $D$ be a divisor on an irreducible projective variety $X$. Then $D$ is nef and big if and ...
9
votes
1
answer
471
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 ...
3
votes
1
answer
517
views
A covering lemma of Kawamata
In the paper "A generalization of Kodaira-Ramanujam's vanishing theorem", Kawamata states a covering lemma (Lemma 5) which is
Let $X$ be a non-singular projective variety, and $D$ be a divisor with ...
6
votes
1
answer
2k
views
Top self-intersection of exceptional divisors
Let $Y\subset\mathbb{P}^n$ be a smooth variety of codimension two. Consider the blow-up $X = Bl_Y\mathbb{P}^n$ of $\mathbb{P}^n$ along $Y$, and let $E$ be the exceptional divisor over $Y$. Then $E$ ...
5
votes
3
answers
3k
views
Weak Fano and Log fano varieties
A projective smooth variety $X$ is weak Fano if $-K_X$ is nef and big. We say that $X$ is log Fano is there exists a divisor $D$ such that $-(K_X+D)$ is ample and $(X,D)$ is Kawamata log terminal.
Is ...
1
vote
2
answers
525
views
When is a blow-up of $\mathbb{P}^2$ a Mori Dream Space?
Let $p_1,...,p_k\in\mathbb{P}^2$ be general points. Let us consider the blow-up $X_k = Bl_{p_1,...,p_k}\mathbb{P}^2$. It is clear that if $k\leq 3$ then $X_k$ is toric and hence a Mori Dream Space. ...
0
votes
0
answers
197
views
Compactification of the affine space with a del Pezzo surface
Is there some nice compactification of the affine space with a del Pezzo surface of degree $\le 4$ (for example with a cubic surface) ?
More precisely, I would like a projective algebraic variety $X$ ...
5
votes
1
answer
1k
views
Recognizing a Mukai flop
Let us first review the usual construction of a Mukai flop. Suppose $M$ is a smooth $2m$-dimensional projective variety over $\mathbb C$ containing a closed $m$-dimensional subvariety $W$, and suppose ...
2
votes
1
answer
798
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]\...
0
votes
1
answer
655
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 ...
3
votes
1
answer
3k
views
Kleiman's and Nakai-Moishezon's ampleness criteria
I would like to work out a simple example to understand the relation between Kleiman ampleness criterion and Nakai-Moishezon ampleness criterion.
Namely, let $X$ be the blow-up of $\mathbb{P}^{2}$ at ...
3
votes
2
answers
450
views
$\mathbb{P}^1$-fibrations over $\mathbb{P}^2$ that are not rational
We know that if $X$ is a smooth complex projective variety and we assume that there is a dominant morphism $f : X \to Y$ with $Y$ and the general fibers of $f$ rationally connected. Then $X$ itself is ...
1
vote
0
answers
246
views
How to Calculate Minimal Log Discrepancy on a Toric Variety?
Let $\sigma$ be a $3$ dimensional strongly convex rational polyhedral cone on $\mathbb{R}^3$ and $X_\sigma$, the corresponding affine toric $3$-fol. Also, assume that $\Delta$ is an anti-boundary $\...
2
votes
0
answers
122
views
Can discrepancy change after pseudo isomorphisms?
Let $X$ and $Y$ be two projective irreductive algebraic varieties of dimension $3$ and let $f:X\dashrightarrow Y$ be a pseudo isomorphism, i.e. a birational map which restricts to an isomorphism ...
3
votes
2
answers
772
views
Irreducible divisor in a basepoint free linear system
Let $X$ be a projective, normal variety over complex field with canonical singularities. Suppose $|D|$ is a basepoint free linear system, then is it true that the generic elements in $|D|$ are ...
4
votes
1
answer
379
views
Blowing up rational singularities
Let $X$ be a projective surface embedded into $\mathbb{P}^n_{\mathbb{C}}$ having at most rational singularities. Let $\tilde{X} \to X$ be the minimal resolution of $X$. Is it possible to embed $\tilde{...
11
votes
1
answer
1k
views
Why is the standard flop a flop?
I have seen at least two ways to define flops (and similarly flips).
We start with $Y \to X$, a surjective birational morphism, contracting a locus of codimension at least 2, such that $K_Y$ is ...
19
votes
2
answers
2k
views
is the Hodge conjecture birationally invariant?
Let $X$ and $Y$ be two birational smooth projective varieties over the complex numbers. Assume $X$ satisfies the Hodge conjecture.
Is it known that the Hodge conjecture holds for $Y$?
5
votes
1
answer
3k
views
Resolution of the indeterminacy locus of a rational map away from an irreducible component
Suppose I have a rational map between two smooth, complex, projective varieties (or a meromorphic map between two compact, complex, manifolds)
$X$ and $Y$. Ordinarily one eliminates the indeterminacy ...
0
votes
0
answers
161
views
birational invariants of projective surfaces
I am studying Castelnuovo's rationality criterion for surfaces.
Let $S$ be a projective surface and $K$ a canonical divisor on $S$.
Let's use the notation $h^i(S,\mathcal{O}_S)=dimH^i(S,\mathcal{O}_S)...
6
votes
2
answers
347
views
$Aut(X)$ and $Bir(X)$ for Calabi-Yau 3-folds with $\rho(X)=1$
Let $X$ be a Calabi-Yau 3-fold with Picard number one. How can one show that the automorphism group $Aut(X)$ is finite and moreover coincides with the birational automorphism group $Bir(X)$?
It seems ...
2
votes
0
answers
486
views
Global sections of exceptional divisor in normalized blow-up
Let $(R, \mathfrak{m})$ be a Noetherian normal local domain and $I$ an $R$-ideal. Write $X$ for the normalization of $\mathrm{Proj}(R[It])$ and $E$ for the effective Cartier divisor defined by the ...
0
votes
0
answers
114
views
invariance of the dimension of severi varieties of surfaces
Suppose I have a smooth projective surface $S\subset P^n$ embedded by a very ample linear system $|L|$. Consider now the generalized Severi varieties that parametrize curves on $S$ belonging to $|L|$, ...
1
vote
1
answer
251
views
Moduli spaces admitting birational morphisms over moduli spaces of curves
There are many alternative compactifications of $M_{g,n}$ which live naturally under the classical Deligne-Mumford compactification $\overline{M}_{g,n}$.
For instace the moduli spaces of weighted ...
0
votes
1
answer
540
views
Canonical bundle of the moduli space of curves
By the pointed canonical bundle formula the canonical bundle of $\overline{M}_{g,n}$ is given by
$$K_{\overline{M}_{g,n}} = 13\lambda+\psi-2\delta-\sum_{I}\delta_{1,I}$$
where $\lambda$ is the Hodge ...
1
vote
0
answers
269
views
stably birational abelian varieties are isomorphic
Can anybody help me to prove the following result:
Proposition. Let $A$ and $B$ be abelian varieties over a field $k$ of characteristic zero. Assume that $A \times \mathbb{P}_k^n$ and $B \times \...
3
votes
1
answer
292
views
Are weak Fano 4-folds with canonical Gorenstein singularities bounded?
A Fano variety over $\mathbb{C}$ with Gorenstein singularity is called weak Fano if the anti-canonical divisor is nef and big.
Are there finite families of weak Fano 4-folds with canonical ...
3
votes
1
answer
634
views
Is there a blow-up formula for the derived category of a singular ambient variety?
For a nonsingular variety sitting inside a nonsingular ambient variety there is a semi-orthogonal decomposition of the derived category of the blow-up (with center that subvariety).
What can be said ...
3
votes
2
answers
583
views
Rationally connected varieties and rational fibrations
Let $Y$ be a rationally connected variety over an algebraically closed field, and let
$$\phi:X\dashrightarrow Y$$
be a rational fibration such that the general fiber of $\phi$ is rationally chain ...
0
votes
1
answer
309
views
Tangent bundles and birational morphisms
Let $f:X\rightarrow Y$ be a smooth morphism between smooth schemes. Then there is an exact sequence
$$0\mapsto T_{X/Y}\rightarrow T_{X}\rightarrow f^{*}T_{Y}\mapsto 0$$
Now let us assume $f$ to be a ...
5
votes
1
answer
366
views
Étale covers and birationality of varieties
All varieties are assumed to be projective over $\mathbb{C}$. Let $f_1: Y \to X$ and $f_2: Y' \to X$ be étale morphisms with same finite Galois groups (to be honest, I don't know what does Galois ...
2
votes
1
answer
283
views
F-curves and divisors on $\overline{\mathcal{M}}_{g,n}$
It is conjectured that a divisor on $\overline{\mathcal{M}}_{g,n}$ would be ample if $D\cdot C >0$ for all F-curves $C\subset \overline{\mathcal{M}}_{g,n}$. Does the intersection degree with all F-...
2
votes
1
answer
249
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)(...
7
votes
2
answers
466
views
Hn(X, OX) = 0 for X birational to a regular affine variety?
It is a basic fact that $H^n(X, F) = 0$ if $X$ is noetherian affine, $n > 0$, and $F$ a quasi-coherent sheaf.
If $Y \to X$ is a blow-up of a smooth variety in a smooth center, then then ...
9
votes
1
answer
853
views
Why is proving fully-faithfulness of an integral functor locally analytically sufficient?
More than once I've come across a statement in a paper about derived categories in which it says something to the effect of "in order to prove that $\Phi:D^b(X)\rightarrow D^b(Y)$ is fully-faithful we ...
11
votes
1
answer
867
views
Conditions for the contractibility of subvarieties
One often finds statements of the sort "and one can contract this subvariety $E\subset X$ to a point in the projective variety $W$," without any explanation of the reasons such a contraction exists, ...
5
votes
1
answer
189
views
Are there only finitely varieties of general type dominated by a given variety in the following sense
Let $X$ be a smooth projective complex algebraic variety. I believe the answer to the following question should be well-known. It is an instance of the Iitaka conjecture.
There are only finitely many ...
11
votes
2
answers
750
views
Geometrically unirational varieties that are not unirational
By a variety over a field $k$, I mean a scheme that is separated and
of finite type over $k$. I indicate changes of the base ring by
subscripts.
Does there exist a smooth and projective variety $V$ ...
7
votes
1
answer
675
views
Proving a variety is not unirational
It is known that if a variety is unirational then it is rationally connected. However, there are no known examples of rationally connected varieties which are not unirational. In these notes, at the ...
2
votes
0
answers
587
views
Kawamata-Viehweg Vanishing Theorem for Excellent Surfaces
Is there any version of Kawamata-Viehweg vanishing theorem that holds for excellent surfaces? I will be very glad if there is one such, but if not then is it at least true for a surface over a non ...
4
votes
0
answers
774
views
Adjunction Formula for Weil Divisors on a Normal Variety X
Let $X$ be a normal variety over an algebraically closed field $k$ of characteristic $p>0$ and $S$ be a prime Weil divisor on $X$ which is normal too. Now if $K_X+S$ is NOT $\mathbb{Q}$-Cartier, ...
2
votes
0
answers
180
views
K-equivalence does not depend on the choice of the third variety
By K-equivalent of two smooth varieties $X,Y$, we mean there exist a smooth variety $Z$, and birational morphism $q: Z \to X,\quad p: Z \to Y$ , such that $q^* \omega_X \cong p^* \omega_Y$.
Suppose $...
1
vote
0
answers
298
views
How to Construct a ''Nice'' Birational Model in Characteristic $p>0$?
Let $X={\rm Spec} A$ be a normal affine variety of dimension $n$ over an algebraically closed field $k$ of characteristic $p>0$. Also, assume that $S\subset X$ is a prime Weil-divisor on $X$.
Now,...
3
votes
1
answer
295
views
About del Pezzo surfaces
First of all, I would like to apologize if my question is stupid or a well known fact.
Let $F$ be a rational surface with $K_F^2=5$ and $f: F\rightarrow \mathbb{P_k^2}$ be a birational morphism ...
1
vote
0
answers
227
views
Is always a Crepant birational map between smooth varieties a small modification
Lemma: A crepant birational map between quasi-projective normal varieties with only terminal singularities is in fact small modifitacions, i.e. isomorphism in codimension 1.
So, if $f:X\...
2
votes
1
answer
296
views
Lifting vector fields to its resolution in char $p$
In this paper 4.7, the authors showed that on a normal variety $X$, if there is a tangent vector field on its smooth locus, then it can be lifted as a logarithmic tangent vector field on a log ...
2
votes
1
answer
437
views
Crepant Birational Map on the Blow-up
Let $ f: \mathbb{P}^n \dashrightarrow (\mathbb{P}^1)^n , [x_0:\dots :x_n] \mapsto ([x_0,x_1],[x_0,x_2], \dots ,[x_0,x_n])$ a birational map.
In particular, if $X$ is the blow-up of $\mathbb{P}^n$ at $...