The blow-ups tag has no usage guidance.

**2**

votes

**1**answer

96 views

### What finite groups are stabilizers in Kirwan's desingularization construction?

Assume $X$ is a smooth projective curve of genus $g\geq 3$ over $\mathbb{C}$ and let $M$ be the (singular) moduli space of semistable rank two vector bundles with trivial determinant on $X$. Then ...

**2**

votes

**0**answers

23 views

### Relation between symplectic blow-up of a compact manifold and fibre bundles over same manifold

The symplectic blow-up of a compact symplectic manifold $(X,ω)$ along a compact symplectically embedded submanifold $(M,σ)$ results in another compact manifold $(\tilde{X},\tilde{ω})$ given by
...

**6**

votes

**1**answer

290 views

### Failure of universal flatification

Raynaud and Gruson proved a beautiful "flatification" theorem (5.2.2): If $S$ is a quasicompact, quasiseparated scheme, and $X$ is a finitely presented $S$-scheme, $M$ is an $\mathcal O_X$-module of ...

**2**

votes

**0**answers

69 views

### the normalized blowup

Let $X$ be a normal variety over $\mathbb{C}$ and $x\in X$ a singular point.
Let $f:Y^{\nu}\to X$ be the normalized blowup at $x\in X$. (i.e. $f$ is a composition of the blowup $Y:=Bl_xX\to X$ and ...

**2**

votes

**0**answers

154 views

### Blow up along a section of a smooth morphism

Let $C$ be a ground locally notherian and quasiprojective scheme. Let $\pi:S\to B$ be a $C$-morphism of finite type $C$-schemes. We call $\pi$ a $C$-smooth morphism if the morphisms $S\to C$ and $B\to ...

**7**

votes

**3**answers

280 views

### Existence of a morphism between two toric varieties

Does there exist a morphism between the blow-up of $\mathbb{P}^3$ in four general points and $\mathbb{P}^1\times\mathbb{P}^1$? If not why?

**3**

votes

**2**answers

218 views

### Fibrations on blow-ups of $\mathbb{P}^2$

Let $X_n = Bl_{p_1,...,p_n}\mathbb{P}^2$ be the blow-up of $\mathbb{P}^2$ in $n$ general points $p_1,...,p_n\in\mathbb{P}^2$.
Let $f_i:\mathbb{P}^{2}\dashrightarrow\mathbb{P}^1$ be the linear ...

**1**

vote

**0**answers

121 views

### Is any blow-up of smooth subvarieties always an extremal contraction?

Let $X$ be a smooth complex projective variety and $Z$ be a smooth subvariety of $X$.
Take the blow-up $\pi: Y \to X$ of $X$ along $Z$.
Then I want to know whether $\pi$ is the contraction of an ...

**2**

votes

**1**answer

191 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

**0**answers

96 views

### Nonlinear Schrödinger blow-up for non radial solutions

I am studying a paper of Frank Merle and Pierre Raphaël,
http://math.unice.fr/~praphael/Publications/blow-up-norme-critique.pdf.
The equations are
$$
i\partial_tu+\Delta u=-|u|^{p-1}u
$$
on ...

**0**

votes

**0**answers

92 views

### induced map on tangent bundles from blow up morphism

Suppose $X$ is the plane nodal curve over $\mathbb{C}$. Then we can mimic what we do in differential geometry to define the "tangent bundle" over $X$ as a subvariety of ...

**4**

votes

**0**answers

177 views

### Does integral closure commute with pushforward

Suppose that $\pi : Y \to X$ is a proper birational morphism between normal varieties (schemes, whatever). Suppose that $I$ is an ideal sheaf on $Y$.
One can form $\pi_* I$ and construct an ideal ...

**2**

votes

**1**answer

126 views

### Iterated blow-ups above a point

Let $X = \mathbb A^2$. Say we blow up the origin $(0,0)$, and then blow up the intersection of $(x=0)$ with the exceptional divisor. The resulting space is the blow-up of $\mathbb A^2$ along what ...

**1**

vote

**0**answers

146 views

### higher direct images of O(E)

I hope this is well known, I just could not work it out myself.
Say I have a variety X (smooth and projective over C is my usual setup) with a smooth subvariety Z. Let f: BL_Z(X) --> X be the blowup ...

**2**

votes

**1**answer

226 views

### Blowing-up the Grassmannian at a point

Does anyone know what the blow-up of the Grassmannian at a point looks like? Consider $G=Gr(r,n)$ and $V\in G$. I want to understand more explicitly what $Bl_V(G)$ should mean.
Of course for affine ...

**8**

votes

**1**answer

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

**4**

votes

**1**answer

291 views

### Quadrics and Moduli Spaces

It is well known that $\overline{M}_{0,5}$, the moduli space of $5$-pointed rational curves, can be realized as the blow-up of $\mathbb{P}^2$ in four general points. Therefore, we may interpret ...

**2**

votes

**1**answer

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

**4**

votes

**0**answers

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

**0**

votes

**1**answer

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

**6**

votes

**4**answers

846 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 = ...

**10**

votes

**2**answers

388 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

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

212 views

### Projective tangent cones, ordinary singularities and blow-ups

Let $X\subset\mathbb{P}^n$ be a projective variety and let $Y\subset X$ be the singular locus of $X$. Assume that $Y$ is smooth. I would like to know if the following are equivalent:
$X$ has an ...

**1**

vote

**0**answers

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

**3**

votes

**0**answers

212 views

### When is the proper transform of a subscheme equal to the total transform?

Say that $X \subset Y \subset \mathbb{P}^n$ are closed subschemes and let $\pi: \tilde{Y} \rightarrow Y$ be the blowup along $X$.
If $H$ is a hyperplane section of $Y$, under what conditions (on ...

**1**

vote

**2**answers

258 views

### When the contraction is a morphism defined over $\overline{\mathbb Q}$

Suppose that $S$ is a complex projective surface defined over $\overline{\mathbb Q}$, namely there exists a surface $S_{\overline{\mathbb Q}}$ over $\overline{\mathbb Q}$ such that:
...

**2**

votes

**1**answer

342 views

### Blow-ups and cohomology

Let $W\subset \mathbb P^4$ be a smooth surface and let $X$ be the blow-up of $\mathbb P^4$ along $W$ with exceptional divisor $E$. By Griffiths-Harris, we have $$A^2(X)=A^2(\mathbb P^4)\oplus ...

**3**

votes

**1**answer

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

**0**

votes

**2**answers

200 views

### Blow up solution for a Riccati's equation

I apologize for the problem too simple, but I'm not able at solving it.
Consider the Cauchy problem
$$
\left\{
\begin{array}{l}
\dot x=x(t)^2+t\\
x(0)=0
\end{array}
\right.
$$
Show that its solution ...

**2**

votes

**2**answers

250 views

### Holomorphic vector fields on blow-ups of CP^2

On $X=CP^2\#k{(-CP^2)}$ in $k$ generic points, let $h^i=\dim H^i(T^{1,0}X)$, for $i\ge 0$. First, we know $h^i=0$ for $i\ge 2$. By Riemann–Roch formula, I obtain that $h^0-h^1 = 8-2k$. Would someone ...

**2**

votes

**0**answers

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

**4**

votes

**2**answers

363 views

### Cohomology of the toric variety $X_\Sigma=\mathbb C^2\sqcup \mathbb C^2\big/\left((x,y)_1\sim(x^{-1},y^{-1})_2\right)_{x,y\neq 0}$

I'm writing a thesis on Chow rings of toric varieties and am looking for a reference on the singular cohomology ring of the blowup of $\mathbb C^2$ at xy=0, i.e. at the coordinate axes. The ...

**0**

votes

**1**answer

337 views

### Projection of a hypersurface from a point

Let $k$ be an algebraically closed field. We consider the projective space $\mathbb P_n$ over defined over $k$, the point $Q=(0:\dots:1)$, the hyperplane $H=\{X_n=0\}$ and a hypersurface $X$. We want ...

**2**

votes

**1**answer

240 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:
...

**1**

vote

**2**answers

225 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

118 views

### Jacobian Conjecture, Cubic-Keller maps

I have recently read an interesting article about the Jacobian Conjecture, in particular the reduction to the case $f(x) = x + A(x)^3$.
I was wondering about codimension one divisors on $Y = A^n$. ...

**1**

vote

**1**answer

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

**0**

votes

**1**answer

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

**0**

votes

**1**answer

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

**1**

vote

**3**answers

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

**3**

votes

**1**answer

212 views

### On Neron-Severi group of normal projective surfaces and blow up

Let $X$ be a normal projective surface with at most rational singularites (in finitely many points). Let $\pi:\tilde{X} \to X$ be the blow up of $X$ at finitely many singular points. The question is ...

**2**

votes

**2**answers

349 views

### blow-up of $\mathbb{P}^5$ as a projective bundle

I am wondering if the blow-up of $\mathbb{P}^5$ along three disjoints $\mathbb{P}^1$ (say in generic position) can be understood as a projective bundle over some nice (Fano?) variety.
If one ...

**4**

votes

**1**answer

257 views

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

Let $Q\subset\mathbb{P}^3\subset\mathbb{P}^4$ be a smooth quadric surface, and let $X = Bl_Q\mathbb{P}^4$ the blow-up of $\mathbb{P}^4$ along $Q$. Let $H$ be the pull-back of the hyperplane section of ...

**5**

votes

**1**answer

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

**1**

vote

**0**answers

87 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

186 views

### blow-up along non-pure dimensional subvarieties

When speaking about blow-ups, I've seen that everybody says "let $Y \subset X$ be a smooth closed subvariety of codimension $r$..."
What happens when one want to blow-up subvarieties which are not of ...

**1**

vote

**1**answer

90 views

### is the exceptional divisor of an equivariant blow-up linearized?

I hope someone can help me with this.
Let $X$ be a smooth projective variety, say over the complex numbers and let $Z$ be a closed subvariety of $X$. Assume that $X$ is acted upon by a finite group ...

**4**

votes

**1**answer

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