Skip to main content

All Questions

Filter by
Sorted by
Tagged with
12 votes
1 answer
8k 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
6 votes
1 answer
3k 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
6 votes
2 answers
483 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}$. ...
user avatar
5 votes
2 answers
4k views

(Anti)Canonical divisor of a blow up

This question may be utterly trivial, or not, but as someone with hardly any knowledge of algebraic geometry I thought there could be a chance I get lucky. Let X be a rational surface obtained by n ...
philiph's user avatar
  • 153
5 votes
1 answer
244 views

Blowing-up an ideal generated by squares

Let $f_1,\dots,f_r$ be regular functions on a smooth projective variety $X$, and consider the ideals $I = (f_1^2,\dots,f_r^2)$ and $J = (f_1,\dots,f_r)$. Let $Y = Z(I)$ and $W = Z(J)$ be the ...
user avatar
3 votes
4 answers
3k views

Cone over the Veronese surface

Let $V\subset\mathbb{P}^5$ be the Veronese surface and let $X\subset\mathbb{P}^6$ be the cone over it. Since $X$ is $\mathbb{Q}$-factorial there are two integers $a,b$ such that $aK_X = \mathcal{O}_X(...
user avatar
3 votes
1 answer
2k views

Blowing-up a point in the singular locus

Let $X\subset\mathbb{P}^n$ be a variety singular along a smooth subvariety $Z\subset X$ of positive dimension. Let us assume that $X$ has ordinary singularities along $Z$. Now, let $\pi:Y\rightarrow \...
user avatar
3 votes
2 answers
624 views

Is this divisorial contraction a blow-up?

Let $C$ be a curve in a smooth $3$-fold $X$ with an ordinary node $p\in X$. Blow-up $p$ let $E$ be the exceptional divisor, and $\widetilde{C}$ the strict transform of $C$. Furthermore let $L$ be the ...
user avatar
3 votes
1 answer
2k views

Self intersection of blown up points and the lines which they lie on

I'm currently trying to understand the process of blowing-up, and a few things strike me as a little difficult to get an intuitive understanding of what's happening. The current problem is on self ...
philiph's user avatar
  • 153
3 votes
0 answers
193 views

branch divisor of this map

We consider the blow up $Bl(\mathbb{P}^2)_p$ of $\mathbb{P}^2$ in $p:=|1:0:0|$ and the following surface: $Y:=\{(|y_1: y_2:y_3:y_4|, |x_0:x_1:x_2|) \in \mathbb{P}^3\times \mathbb{P}^2: rk(\begin{...
Federico Fallucca's user avatar
2 votes
2 answers
674 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 ...
user avatar
2 votes
1 answer
717 views

Singularities of secant varieties of rational normal curves

Let $C\subset\mathbb{P}^n$ be a rational normal curve of degree $n$, and let $Sec_k(C)\subset\mathbb{P}^n$ be its $k$-th secant variety. By Theorem 1.1 in this paper: http://ac.els-cdn.com/...
user avatar
2 votes
0 answers
63 views

Blowing up the base of an elliptically fibered (non Weierstrass) threefold

Suppose $X$ is an elliptically fibered smooth threefold, with a nontrivial Mordel-Weil group. Lets call the sections $\sigma_i$ ,$i=1 \dots n$. None of these "sections" are honestly a section, they ...
Mohsen Karkheiran's user avatar
1 vote
1 answer
499 views

A question about an intersection number

Let $\pi:Y\rightarrow \mathbb{P}^3$ be the blow-up of two points $p,q\in\mathbb{P}^3$, and then of the strict transform of the line $L$ spanned by them. Now, Let $E_p,E_q, E_{p,q}$ be respectively the ...
user avatar
1 vote
1 answer
248 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
1 vote
1 answer
1k views

Singular irreducible quadrics

Let $Q\subset\mathbb{P}^n$ be the quadric hypersurface defined by $$x_0^2+x_1^2+...+x_k^2 =0.$$ If $2\leq k\leq n-1$ then $Q$ is irreducible and $Sing(Q)$ is a linear space of dimension $n-k-1$. If $...
user avatar
1 vote
3 answers
845 views

Higher cohomology of sheaves on a projective space

Let $S\subset\mathbb{P}^n$ be a finite set of $s$ reduced points. Let $\mathcal{I}$ be the ideal sheaf of $S$ in $\mathbb{P}^n$. We consider the sheaf $$\mathcal{F}_k:=\mathcal{O}_{\mathbb{P}^n}(kd)\...
user avatar
1 vote
0 answers
351 views

A question on the secondary fan

I am studying the secondary fan decomposition of the effective cone of a projective variety $X$. Let as assume that $X$ is a Mori Dream Space. As far as I understand passing from a cone of maximal ...
user avatar
1 vote
1 answer
687 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$ ...
user avatar
0 votes
2 answers
490 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 $(X,\...
Puzzled's user avatar
  • 8,998
0 votes
1 answer
411 views

Intersection Matrix of a resolution

Probably this is a very easy question. Let $f:X\rightarrow S$ be a resolution of a projective surface such that $$K_X = f^{*}K_S+\sum_ia_iE_i$$ with $a_i>0$. By Grauert-Mumford theorem the ...
user avatar