The birational-geometry tag has no wiki summary.

**2**

votes

**1**answer

113 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 ...

**2**

votes

**0**answers

70 views

### motivic integration and jacobian ideal

When we consider the change of variables in motivic integration, we have a birational map $f:Y\rightarrow X$ with Y smooth and we have to consider two invariants the order of the Jacobian ideal of $X$ ...

**0**

votes

**1**answer

94 views

### Is pushforward of an ample divisor under small birational map nef?

Let $X, Y$ be $\mathbb{Q}$-factorial, projective, normal varieties. Let $f: X --> Y$ be a small birational map. I have two related questions about pushforward of an ample divisor:
(1) Let $H_X$ be ...

**0**

votes

**2**answers

128 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 ...

**4**

votes

**1**answer

468 views

### Why is the inverse of a bijective rational map rational?

Let $f:X\to Y$ be a bijective rational map of an open dense subset $X$ of $\mathbb{C}\times\mathbb{C}$ onto an open dense subset $Y$ of $\mathbb{C}\times\mathbb{C}$. How to prove that the inverse map ...

**3**

votes

**0**answers

78 views

### birational classification of rationally connected 3-folds

What is the birational classification of (smooth projective) rationally connected 3-folds (over algebraically closed fields of characteristic $0$ or even $\mathbf{C}$, if $\mathrm{char}(k) = p > ...

**3**

votes

**1**answer

105 views

### A question on klt pairs

Let $D$ be a $\mathbb{Q}$-divisor in a smooth variety $X$. In Lazarsfeld book "Positivity in Algebraic Geometry 2" I found Proposition 9.5.13 saying that if for any $x\in D$ we have $mult_xD < 1$ ...

**1**

vote

**1**answer

117 views

### Blowing up along birational equivalent subvarieties

Let $X$ be an algebraic variety (not necessarily projective) over $\mathbb{C}$, and $V_1,V_2\subset X$ two projective subvarieties of $X$, with $\textrm{codim}(V_1)=\textrm{codim}(V_2)=2$. Suppose ...

**2**

votes

**1**answer

220 views

### Is each rationally chain connected surface rational?

Consider a 2-dimensional smooth projective algebraic surface S over complex numbers. Could you recommend any exact references to the proofs of the following assertions (of course, if they are true):
...

**2**

votes

**0**answers

113 views

### A question on resolution of singularities

I am wondering if it could be possible in particular cases to resolve a singularity of dimension $n$ by blowing-up a locus of dimension smaller than $n$.
For instance consider a cubic surface ...

**3**

votes

**2**answers

165 views

### Pseudo-automorphisms on Fano varieties

Is every pseudo-automorphism (self-birational map which does not contract any hypersurface) of a smooth Fano variety of Picard rank $1$ equal to a biregular automorphism?
Remark: For $\mathbb{P}^n$, ...

**3**

votes

**0**answers

153 views

### Uniruled degenerations of abelian varieties

Suppose I have a smooth projective variety $X$ over $\mathbb{C}$ with $K_X$ semiample, and consider the fiber space $f:X\to Y$ given by $|\ell K_X|$, for some $\ell>0$ large, where $Y$ is a normal ...

**4**

votes

**1**answer

152 views

### Which singularities of log pairs do not depend on the resolution?

Let $(X,\Delta)$ be a log pair (we assume the coefficients of $\Delta\leq 1$, but could be negative rationals), and I use the definitions in the book of "Birational Geometry of Algbebraic varieties" ...

**3**

votes

**1**answer

187 views

### Hypersurfaces with rational self-maps

I'm looking for interesting examples of hypersurfaces $X\subset \mathbb P^n$ with a rational self-map $X\dashrightarrow X$?
Are there such examples for cubic hypersurfaces?

**0**

votes

**1**answer

111 views

### Pushforward of a log canonical pair

This question comes from learning the paper "Existence of minimal models for varieties of log general type", where they define the log terminal model (See Definition 3.6.7). However, the question ...

**1**

vote

**2**answers

181 views

### Small birational maps and singularities of the pair

Let $f:X\dashrightarrow Y$ be a small birational map, where $X,Y$ are normal $\mathbb{Q}$-factorial varieties. Let $\Delta_X\subset X$ be an effective $\mathbb{Q}$-divisor such that the pair ...

**2**

votes

**0**answers

75 views

### singularities preserved by integral closure

Let $X$ be an affine variety. Let $A$ be the coordinate ring of $X$ and let $K$ be the fraction field of $A$. Given a Galois extension $K\subset L$, let $B$ be the integral closure of $A$ in $L$. Let ...

**1**

vote

**1**answer

184 views

### Cremona transformations

Let $f:\mathbb{P}^n_1\dashrightarrow\mathbb{P}^n_2$ be the standard Cremona transformation based on $p_1,...,p_{n+1}\in\mathbb{P}^n_1$ and $q_1,...,q_{n+1}\in\mathbb{P}^n_2$. That is, $f$ is the ...

**3**

votes

**1**answer

176 views

### Vanishing theorems for pluri-canonical bundle

I would like to know if Grauer-Riemenschneider vanishing theorem is still true in the setting of pluri-canonical bundle, i.e. the power of canonical bundle.
Let me recall
Grauer-Riemenschneider ...

**1**

vote

**1**answer

115 views

### Big divisors and small transformations

Let $X$ be a smooth projective variety such that $-K_X$ is ample. Let $f:X\dashrightarrow Y$ be a small $\mathbb{Q}$-factorial transformation. I would like to know if is true or not that:
$-K_Y$ is ...

**4**

votes

**1**answer

245 views

### What goes wrong to use “bend-and-break” trick for singular varieties?

When $X$ is a smooth projective variety, one can use Mori's bend-and-break trick to establish the cone theorem. However, when $X$ has singularity (say klt. singularity), the cone theorem is obtained ...

**6**

votes

**1**answer

323 views

### Motivation behind the proof that $X^4+Y^4+Z^4+W^4$ is unirational

I'm trying to understand the proof that $V(x^4+y^4+w^4+z^4)$ in $\mathbb P^3_k$ is unirational for $k=\overline{\mathbb F_3}$.
The complete details are in the link so I just write a fast summary, ...

**3**

votes

**1**answer

206 views

### Why do we use analytic coordinates to characterize singularity?

I read about Du Val singularities on surface are classified by equations of ADE type. For example, $x^2+y^2+z^{n+1}=0$ for A type. As not every surface can have a neighbourhood embedded in ...

**0**

votes

**1**answer

116 views

### Dimension of image of a hyperplane section

If we have a surjective morphism $fï¼šX\to Y$, where $X$ is $n$ dimensional projective variety and $Y$ is $m$ dimensional projective variety.
If $m<n$, Can we choose a general hyperplane section $H$ ...

**2**

votes

**1**answer

130 views

### A problem related to deformation of irrational curves

The following question arises from the proof of "bend-and-break" lemma:
Let $X$ be a projective variety over $\mathbb{C}$ and $C$ be an irrational smooth curve. Let $c \in C$ be a fixed closed point. ...

**1**

vote

**1**answer

137 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

166 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 ...

**0**

votes

**1**answer

205 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 ...

**1**

vote

**2**answers

278 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 ...

**6**

votes

**1**answer

215 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 ...

**0**

votes

**1**answer

169 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 ...

**5**

votes

**1**answer

430 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$ ...

**4**

votes

**3**answers

328 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 ...

**0**

votes

**2**answers

217 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

66 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$ ...

**2**

votes

**1**answer

172 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 ...

**1**

vote

**1**answer

182 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 ...

**0**

votes

**1**answer

176 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 ...

**0**

votes

**1**answer

221 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

225 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

82 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 ...

**1**

vote

**0**answers

82 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

144 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

157 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 ...

**8**

votes

**1**answer

483 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 ...

**11**

votes

**1**answer

657 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$?

**0**

votes

**1**answer

132 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 locus ...

**0**

votes

**0**answers

123 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 ...

**4**

votes

**2**answers

172 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

103 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 ...