The blow-ups tag has no wiki summary.

**2**

votes

**0**answers

146 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

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

**1**

vote

**1**answer

203 views

### Blow-ups and cohomology

I'm trying to understand how to compute the Chow ring of a blow-up.
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$. ...

**3**

votes

**1**answer

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

**-1**

votes

**2**answers

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

**0**

votes

**2**answers

165 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

113 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

238 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

201 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

129 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

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

**1**

vote

**0**answers

74 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

137 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

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

**-2**

votes

**1**answer

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

**0**

votes

**3**answers

278 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

120 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

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

**2**

votes

**1**answer

203 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

433 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

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

**2**

votes

**2**answers

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

**0**

votes

**1**answer

69 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

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

**5**

votes

**1**answer

292 views

### which varieties can appear as exceptional divisors?

Let $\pi$ be the blow up of $\mathbb{A}^n$ at an ideal
$I_{p}$ which is supported at a close point $p$; let $E$ be the associated exceptional divisor. What are the possible varieties $Y$ that can ...

**3**

votes

**1**answer

166 views

### Is there a blow-up formula for the derived category of a singular ambient variety?

For a nonsingular variety sitting inside a nonsingular ambient variety there is a semi-orthogonal decomposition of the derived category of the blow-up (with center that subvariety).
What can be said ...

**1**

vote

**1**answer

270 views

### Cohomology of tangent bundles

Let $X$ be a smooth scheme and $Z\subset X$ a smooth subscheme. Consider the blow-up
$$\pi:\widetilde{X}:=Bl_{Z}X\rightarrow X$$
of $X$ along $Z$.
What is the relation between the cohomology of the ...

**4**

votes

**1**answer

386 views

### Is blowing down functorial?

Let $f: X \to Y$ be a morphism of smooth surfaces and $C \subset Y$ be a contractible exceptional curve on $Y$. Assume that $f^{-1}(C)$ is a contractible exceptional curve as well. Denote by $X'$ ...

**3**

votes

**2**answers

334 views

### Terminology for blowups in algebraic geometry

This is a partial duplicate of this Stack Exchange question which unfortunately got no answer.
All schemes are Noetherian and of finite type, although they need not be normal.
With $Z \subset X$ a ...

**1**

vote

**1**answer

226 views

### blow-up along singular variety

Can somebody give me a nice example of blow-up of a smooth algebraic variety along a singular subvariety? Something I can do some exercise on and check the differences with a smooth blow-up. Thanks!

**1**

vote

**0**answers

152 views

### Contractibility of union of smooth rational curves in famillies

Let $\pi:\mathcal{X} \to S$ be a family of smooth surfaces containing a subfamily $\mathcal{Y} \subset \mathcal{X}$ proper, flat over $S$ parametrizing contractible curves in $\mathcal{X}$ satisfying ...

**6**

votes

**0**answers

175 views

### blowups and group actions

Let $X$ be a smooth projective variety over the complex numbers and assume that $X$ is equipped with the action of a finite group $G$.
Denote by $Z$ the closed subscheme of fixed points of $G$ and ...

**1**

vote

**0**answers

323 views

### cohomology of a blowup: reference needed

Does anybody know a reference in which the computation of the cohomology of a blow-up is made in detail?

**0**

votes

**2**answers

245 views

### blow-ups and singularities

Let $X$ be a smooth and projective variety over a field of characteristic zero. Let $Y$ be a normal variety, with finite quotient singularities (an orbifold!) and let $\pi: Y \to X$ be a finite ...

**4**

votes

**1**answer

145 views

### $f^{-1}\mathcal I \cdot \mathcal O_X$ vs $f^\ast \mathcal I$

Let $X$ ad $Y$ be (noetherian) schemes and let $\mathcal I \subseteq \mathcal O_Y$ be a sheaf of ideals on $Y$. Let $f \colon X \to Y$ be a morphism of schemes. In general the sheaf $f^\ast \mathcal ...

**3**

votes

**1**answer

273 views

### blow-up and normal crossings

Hi friends,
Can anybody help me with the following question?
I start with a projective smooth variety $X$ over a field $k$ of a characteristic 0 and $D$ a normal crossing divisor on $X$, with ...

**0**

votes

**0**answers

107 views

### Is the modification a rational map?

Good morning,
I would like to ask the following question concerning the desingularisation, but I'm not familiar at all with these notions.
We have the following theorem of Hironaka: Let $X\subset ...

**3**

votes

**0**answers

289 views

### Blowing up a projective surface

Let $X$ be a smooth degree $d$ ($d>5$) surface in $\mathbb{P}^3$. We now blow up $X$ at a point, embed it in some projective space, and and consider a projection of it into $\mathbb{P}^3$. The ...

**2**

votes

**3**answers

333 views

### Divisor class group on blowup of nodal surface

The following got no answer on mathstackexchange. I believe it not to be hard, but maybe it is a little specialized?
All varieties will be over $\mathbb{C}$ and projective unless stated otherwise.
...

**5**

votes

**1**answer

258 views

### universal property of blow up for stacks?

I will use as a reference Hartshorne Prop. II.7.14, the universal property of blow-up. $\tilde{X}$ is the blow up of $X$ along a sheaf of ideals. $Z\to X$ is the morphism that is to be lifted to ...

**3**

votes

**2**answers

181 views

### blow up of segre primal and $\mathcal{M}_{0,6}$

The segre cubic primal $X\subset P^4$ is the GIT quotient of 6 points on $P^1$. Let $M_{0,6}$ the DM compactification of the moduli of 6-pointed rational curves. The Segre primal $X$ is a cubic 3-fold ...

**0**

votes

**1**answer

549 views

### Functorial properties of blow-up

Let $X, Y$ be projective algebraic surfaces with isolated singularities. Suppose they are diffeomorphic to each other. Denote by $\phi$ the diffeomorphism from $X$ to $Y$.
Then does there exists a ...

**3**

votes

**2**answers

310 views

### Embedding a surface in a projective space

Let $X$ be a smooth degree $d$ ($d >5$) surface in $\mathbb{P}^3$. Let $\pi:\tilde{X} \to X$ be a blow-up of $X$ at a point. When is it possible to embed $\tilde{X}$ into $\mathbb{P}^3$?
In ...

**2**

votes

**0**answers

109 views

### Global minimal model over a non-affine base

Remark 10.1.8 in Liu's book (AG and Arithmetic curves) says that over a non-affine base (base is always assumed to be a Dedekind scheme of dim 1), the minimal regular model of a (smooth projective) ...

**14**

votes

**0**answers

607 views

### Horrible sets and blowups in Hubbard's Teichmuller theory

Edit: I can rephrase this question this way: When blowing up every point in the $x$-axis in $\mathbb{C}^2$ by means of an inverse limit of finite blowups, how can anything be 'left over'? The horrible ...

**5**

votes

**1**answer

286 views

### kapranov's realization of $\overline{M}_{0,n}$ over other fields

Kapranov gave a very nice desciption, over $\mathbb{C}$ of the moduli space of stable pointed rational curves $\overline{M}_{0,n}$ as a series of blow-ups of $P^{n-3}$. Does this, or a similar result, ...

**10**

votes

**2**answers

533 views

### When do blowups ''commute''?

Let $M$ be a manifold (variety, scheme, your favorite object) and let $N_1,N_2$ be two submanifolds (subvarieties, closed subschemes, ideal sheafes, etc.) such that $N_1 \cap N_2 \neq \emptyset$. ...

**3**

votes

**2**answers

479 views

### Blowing down -1 curves

After a good look for anything in the way of an explicit example, and harassing the algebraic geometers in the department, I still am unable to find an answer to my question, so any light will be very ...

**5**

votes

**1**answer

345 views

### Can a birational morphism between smooth varieties be dominated by smooth blowup sequences?

Suppose $f:X\rightarrow Y$ is a birational morphism between smooth varieties and D is a snc divisor on $Y$. Can we find a smooth blowup sequence on $Y$ which dominates $f$ such that the preimage of D ...

**5**

votes

**1**answer

260 views

### When do blow-up and quotient commute?

Let a finite group $G\subset SL(n,\mathbb{C})$ act on $\mathbb{C}^{n}$ in a natural way. Assume there is a crepant resolution of $f:X\rightarrow \mathbb{C}^{n}/G$. When is it possible to write $X$ as ...