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.

Filter by
Sorted by
Tagged with
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 $...
user avatar
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 ...
user avatar
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...\...
user avatar
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 ...
user avatar
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 ...
Ste3an's user avatar
  • 133
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 ...
Li Yutong's user avatar
  • 3,362
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$ ...
user avatar
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 ...
user avatar
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. ...
user avatar
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$ ...
Jérémy Blanc's user avatar
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 ...
bradhd's user avatar
  • 497
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]\...
Li Yutong's user avatar
  • 3,362
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 ...
user avatar
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 ...
user avatar
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 ...
Pedro Montero's user avatar
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 $\...
Omprokash's user avatar
  • 165
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 ...
Jérémy Blanc's user avatar
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 ...
Li Yutong's user avatar
  • 3,362
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{...
user43198's user avatar
  • 1,949
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 ...
bananastack's user avatar
  • 1,250
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$?
hughes's user avatar
  • 199
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 ...
gaugetheory's user avatar
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)...
idioteca's user avatar
  • 109
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 ...
Truong's user avatar
  • 63
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 ...
Manoj Kummini's user avatar
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|$, ...
IMeasy's user avatar
  • 3,717
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 ...
Puzzled's user avatar
  • 8,842
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 ...
Puzzled's user avatar
  • 8,842
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 \...
curlyx's user avatar
  • 21
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 ...
Li Yutong's user avatar
  • 3,362
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 ...
John Salvatierrez's user avatar
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 ...
Puzzled's user avatar
  • 8,842
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 ...
Puzzled's user avatar
  • 8,842
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 ...
Li Yutong's user avatar
  • 3,362
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-...
IMeasy's user avatar
  • 3,717
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)(...
Omprokash's user avatar
  • 165
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 ...
anonymous's user avatar
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 ...
HNuer's user avatar
  • 2,098
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, ...
HNuer's user avatar
  • 2,098
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 ...
Stephan's user avatar
  • 51
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$ ...
R.P.'s user avatar
  • 4,745
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 ...
Derek Allums's user avatar
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 ...
Omprokash's user avatar
  • 165
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, ...
Omprokash's user avatar
  • 165
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 $...
Li Yutong's user avatar
  • 3,362
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,...
Omprokash's user avatar
  • 165
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 ...
alfred's user avatar
  • 71
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\...
Joaquín Moraga's user avatar
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 ...
CYXU's user avatar
  • 656
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 $...
Joaquín Moraga's user avatar