The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
1answer
159 views

On the number of irreducible components of an exceptional divisor

Let $X$ be a complex, affine variety and $Z\subseteq X$ a closed subset of $X$ (i.e. a closed, reduced subscheme). Let $E$ be the exceptional divisor of the blow-up $\pi:\tilde X\to X$ of $X$ with ...
3
votes
1answer
122 views

Graded ring of a genus 2 curve

Let $X$ be a smooth projective complex curve of genus 2 with canonical divisor $K$. $X$ of course is hyperelliptic and has an involution that I denote by $j$. There exists 3 possibilities for ...
9
votes
2answers
273 views

Fibrations of projective varieties

Let $f:X\rightarrow Y$ be a flat morphism of normal projective varieties with fibers of positive dimension (in particular all the fibers are connected and of the same dimension). Let $g:X\rightarrow ...
1
vote
2answers
191 views

Cohen-Macaulayness of the direct image of the canonical sheaf

Let $Y$ be a normal projective variety and let $f:X\to Y$ be a desingularization. Define $\mathcal K_X=f_*\omega_X$, the Grauert--Riemenschneider canonical sheaf of $X$. It is independent of the ...
0
votes
1answer
127 views

Finiteness of geometric valuations

I feel the following fact has been used in many argument in algebraic geometry, but I was not be able to prove it or find the precise reference: Let $X$ be a $\mathbb{Q}$-factorial variety with log ...
2
votes
0answers
175 views

How to prove two manifolds are not birational?

Given a family of compact complex manifold $\mathcal{X} \rightarrow B$, what are the standard techniques to prove two distinct fibers $\mathcal{X}_a$ and $\mathcal{X}_b$ are not birational?
4
votes
1answer
194 views

pull-back of canonical divisor under blow-up of a singular point

I was checking an example of canonical singularities from surface. We consider the surface $X:(xz=y^2)\subset \mathbb A^3$. The only singular point is the origin. We write down one affine piece of ...
2
votes
1answer
267 views

Is every surjective, birational transformation of projective varieties automatically proper?

Let $X$ and $Y$ be two complex, irreducible, normal, projective varieties (read: integral, projective, normal $\mathbb C$-schemes of finite type), projective in the sense of Hartshorne. Let ...
2
votes
2answers
190 views

Bertini theorem for big divisors and klt pairs

Let $X$ be a smooth projective variety and let $D$ be a big $\mathbb Q$-divisor on $X$. Assume that for $m$ large $|mD|$ has no fixed components. Is there a $\mathbb Q$-divisor $D'\equiv D$ so that ...
3
votes
2answers
219 views

A question on the effective cone

Let $X$ be a projective variety and $G$ a finite group acting on $X$. We consider the quotient $\pi:X\rightarrow Y :=X/G$. I'm interested in the relation between $Eff(X)$ and $Eff(Y)$. In ...
1
vote
0answers
94 views

A birational compatification problem

Let $P_1$ be a projective variety over $\mathbb{C}$, and $Y_1 \subseteq P_1$ be a codimension $1$ (irreducible) subvariety. Suppose there is a blowdown morphism $Y_1 \to Y_2$. Then can I find a ...
3
votes
1answer
367 views

What is $h^0(\mathcal O_F)$ where $F$ is a fiber of a normal surface over a smooth curve?

Lately I am studying the bend-and-break, and I follow the proof in the following note written by Olivier Debarre: http://www.math.ens.fr/~debarre/M2.pdf There is a detail that I just cannot go ...
3
votes
1answer
149 views

Definition and sigularity of Ramified covers

Let $X$ be a normal variety over $\mathbb{C}$. In their book Birational geometry of algebraic varieties, Kollár and Mori define [Definition 2.50 and 2.51] a ramified m-th cyclic cover associate to a ...
0
votes
0answers
109 views

How can every divisor be reached by a sequence of blow-ups?

The following is a result of Zariski [cf. Lemma 2.45 of Birational Geometry of Algebraic Varieties]. $X$ : an algebraic variety over a field $k$. $(R,m)$ : a DVR of the quotient field $K(X)$ ...
3
votes
0answers
150 views

When can a blow-down be pushed out?

I am interested in constructing a morphism out of a blown down variety. Let $V$ be a scheme, $U\hookrightarrow V$ an open immersion. Let $\widetilde V$ be a blow-up of $V$, $\widetilde U$ its ...
4
votes
1answer
201 views

Vanishing theorem for big divisors

Let $X$ be a projective, smooth variety over $\mathbb{C}$, and let $D$ be a irreducible, big Cartier divisor(notice, I do not assume nefness). Then is it true that $${\rm{H}}^1(X, K_X + D) = 0\quad?$$ ...
4
votes
0answers
98 views

Blow-up of $\mathbb{P}^4$ along a smooth surface

Let $\pi \colon X\to \mathbb{P}^4$ be the blow-up of a smooth surface $S\subset \mathbb{P}^4$. Is there a formula to compute $(K_X)^4$ ? (which should be dependent on invariants of $S$). In dimension ...
2
votes
1answer
168 views

Reference request: log Fano varieties

I need a reference for a proof of the following fact: let $X$ be a toric variety then $X$ is log Fano. Thanks a lot.
3
votes
1answer
208 views

Is an anticanonical Weil divisor in $\mathbb{Q}$-Gorenstein variety Calabi-Yau?

Let $P$ be a normal, $\mathbb{Q}$-Gorestein variety with terminal singularities. Let $X \subseteq P$ be a normal, irreducible Weil divisor such that $X \sim_{\mathbb{Q}} - K_P$, that is ...
2
votes
3answers
360 views

Movable Divisors

Let $X$ be a projective variety. Does anyone know an example of a movable reducible divisor $D\in Mov(X)$ such that any element in the linear system $|D|$ of $D$ is reducible?
0
votes
1answer
193 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 ...
10
votes
2answers
370 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
2answers
224 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
1answer
158 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
1answer
258 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
1answer
161 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
0answers
111 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
1answer
132 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
0answers
119 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
1answer
183 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
0answers
100 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
1answer
170 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
2answers
191 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
1answer
830 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
0answers
86 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
1answer
137 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
1answer
140 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
1answer
253 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
0answers
130 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
2answers
197 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
0answers
171 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
1answer
172 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
1answer
208 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
1answer
131 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
2answers
210 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
0answers
82 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
1answer
203 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
1answer
214 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
1answer
128 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
1answer
291 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 ...