The birational-geometry tag has no wiki summary.

**4**

votes

**0**answers

87 views

### Is this $S$-birational map an open immersion on its domain of definition?

My question is about a claim on the bottom of p. 121 of the book "Neron models" by Bosch, Lutkebohmert, and Raynaud, so I will freely use the general terminology recalled in this book, but will ...

**1**

vote

**1**answer

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

**1**

vote

**0**answers

100 views

### Resolution of singularities of projective varieties

Let $X\subset\mathbb{P}^n$ be an irreducible variety, and let $Sing(X)$ be its singular locus. Let $Y$ be the blow-up of $\mathbb{P}^n$ along $Sing(X)$. Assume that we know that the strict transform ...

**2**

votes

**1**answer

131 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

77 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

112 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

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

**6**

votes

**1**answer

787 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

81 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

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

**2**

votes

**1**answer

126 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

225 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

114 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

168 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

155 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

154 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

192 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

113 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

189 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

187 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

182 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

247 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

325 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

209 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

117 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

132 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

138 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

168 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

258 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

321 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

217 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

174 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

460 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

336 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

224 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

179 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

183 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

188 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

241 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

231 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

84 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

83 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

151 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

163 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

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

**12**

votes

**2**answers

815 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

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