**0**

votes

**1**answer

242 views

### Relative form of Kodaira's lemma?

If $X$ is a smooth projective variety, Kodaira's lemma states that a big line bundle $D$ can be decomposed (as $\mathbb Q$-divisors) as $A+E$, with $A$ ample and $E$ effective.
I am wondering what ...

**11**

votes

**2**answers

395 views

### Blow-ups of $\mathbb{P}^{n-3}$ and $(\mathbb{P}^1)^{n-3}$

Let us consider the points
$$p_1=[1:0:...:0],p_2 = [0:1:...:0],...,p_{n-2} =[0:...:0:1],\\
p_{n-1}=[1:1:...:1]\in\mathbb{P}^{n-3}$$
and the blow-up $X = Bl_{p_1,...,p_{n-1}}\mathbb{P}^{n-3}$.
...

**3**

votes

**2**answers

332 views

### Standard plane Cremona transformation

Let us consider nine general points $p_1,...,p_9\in\mathbb{P}^2$ and the line $L = \left\langle p_1,p_2\right\rangle$. Take the standard Cremona $f_1$ centred in $p_3,p_4,p_5$, then $C_1 = f_1(L)$ is ...

**2**

votes

**1**answer

254 views

### Log Canonical pairs

Let $X$ be a normal scheme ad $D = \sum_id_iD_i\subset X$ be a $\mathbb{Q}$-divisor such thay $K_X+D$ is $\mathbb{Q}$-Cartier. Let $f:Y\rightarrow X$ be a log resolution of the pair $(X,D)$ and let us ...

**9**

votes

**1**answer

303 views

### Rationality of moduli spaces of rational curves

Let $\overline{M}_{0,n}$ be the moduli space of Deligne-Mumford stable pointed rational curves, and let us consider the quotient $\widetilde{M}_{0,n} = \overline{M}_{0,n}/S_n$.
Clearly, there is a ...

**2**

votes

**1**answer

173 views

### Finite generation of certain $\mathcal{O}_X$-algebra

It is proved in this paper by Kawamata (Theorem 6.1) that for a 3-dimensional normal algebraic variety $X$ which has at most canonical singularities, and a Weil divisor $D$ on it, the ...

**4**

votes

**0**answers

116 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

163 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

137 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

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

**3**

votes

**0**answers

108 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

308 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

211 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

908 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

93 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

164 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

148 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

298 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

139 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

253 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

190 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

206 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

221 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

152 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

237 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

87 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

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

**4**

votes

**1**answer

261 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

140 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

374 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

350 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

240 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

133 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

150 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

159 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

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

**1**

vote

**1**answer

1k 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

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

**7**

votes

**1**answer

277 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

216 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

807 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

593 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

258 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

87 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

328 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

219 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

300 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

556 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

272 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

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