Questions tagged [blow-ups]
The blow-ups tag has no usage guidance.
168
questions
2
votes
0answers
72 views
Intersections of strict transform and strict transform of intersections
Let $Z_1,Z_2$ and $Y$ be subvarieties of a locally complete intersection variety $X$ over $\mathbb C$.
Consider the strict transforms of $Z_1$ and $Z_2$ in the blowup $Bl_YX$, the question is: when ...
2
votes
0answers
60 views
Is the blowup of a toric variety corresponding to a subdivision normal?
Toroidal Embeddings 1 by KKMS say subdividing the fan of a toric variety yields the fan of a normalized blowup. How do I avoid normalization? Do I need to choose my subdivision carefully, or is it ...
2
votes
0answers
171 views
Surgery for algebraic varieties
I have a number of vague questions that I wasn't sure whether they are suitable to ask or not, but I decided to ask!
According to this result, any two birational varieties can be constructed by a ...
1
vote
0answers
106 views
Factorization of birational maps in char $p$
So I was reading about the factorization result that any birational map between smooth varieties is composition of blow-ups and blow-downs with smooth centers. It is apparently true only in ...
1
vote
1answer
154 views
Blow-up of a three-dimensional variety at a node
Let $X$ be a three-dimensional variety over $\mathbb{C}$ with a nodal singularity at a point, say $P$. Is the exceptional divisor of the blow-up of $X$ at $P$ isomorphic to a smooth quadric in $\...
2
votes
1answer
201 views
Help about “Varieties with small Dual Varieties” by L.Ein
I'm studying the paper "Varieties with small Dual Varieties" by L.Ein and in the construction he gives about the $10-$dimensional spinor variety $S_4 \subset \mathbb{P}^{15}$ I'm finding ...
1
vote
0answers
67 views
Strict transforms of higher codimension subvarieties
The following question could be posed in a more general context but for simplicity I will stick to a particular case.
Let $X\subset\mathbb{P}^9$ be a smooth variety of degree $d$ and dimension $6$. ...
9
votes
5answers
486 views
Blow-up of projective variety $P^1 \times P^1… \times P^1$ ($n$ times) and blow-up of $P^n$
It is known that the blow-up of $P^1 \times P^1$ at a point is isomorphic to the blow-up of $P^2$ at two points. I'm wondering if there is any general statement for the blow-up of $P^1 \times P^1 \...
7
votes
1answer
207 views
Strict transform of a tangent curve under blow-up
$\DeclareMathOperator{\Bl}{\operatorname{Bl}}$It is known that if we have a projective variety $X$ and a projective smooth subvariety $Y$ then the exceptional divisor $E \subset \Bl_{Y}X$ of the blow-...
3
votes
0answers
98 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{...
7
votes
1answer
329 views
General conditions for normality of blow-up
Let $X$ be an integral, affine, normal complex surface. I am looking for conditions on zero-dimensional closed subschemes $Z$ in $X$ such that the reduced scheme associated to the blow-up of $X$ along ...
4
votes
1answer
284 views
Relative canonical class of blowing-up a flag ideal
Let $X$ be a smooth complex projective variety of dimension $n$. Consider a flag ideal $I$ on $X\times \mathbb{P}^1$, namely,
$$
I=I_0+I_1t+I_2t^2+\cdots+I_{N-1}t^{N-1}+(t^N)\,,
$$
where $t$ is the ...
4
votes
0answers
79 views
Serre vanishing on one-point blow-ups
This is basically the last step of problem 5.3.7 in Huybrechts' Complex Geometry.
Let $X$ be a complex manifold, $x \in X$, $E$ a holomorphic vector bundle on $X$ and $L$ a positive line bundle. ...
5
votes
1answer
146 views
Extending rational maps of nodal curves
Let $R$ be a discrete valuation ring with fraction field $K$ and $C, D$ two nodal (=prestable) curves over $\operatorname{Spec} R$. If I have a map $C_K \to D_K$ between the restriction of the curves ...
5
votes
0answers
196 views
Deformations of a blow up
My question is related to this question, but I'm looking for something a bit more explicit.
Let $S$ be a smooth surface over $\mathbb C$, fix a point $s\in S$ and take the blow up $\beta \colon S' \...
2
votes
0answers
100 views
Determining if a morphism is a blowup along a given subvariety
Let $X,\tilde{X}$ be two smooth projective varieties over $\mathbb{C}$, and let $\pi:\tilde{X}\rightarrow X$ be a projective morphism. Let us moreover assume that there exists a smooth closed ...
1
vote
0answers
70 views
Properties of the contraction map of the exceptional divisor of a blow-up
Let $X$ be a smooth variety and $Z$ be a smooth subvariety. Consider the blow-up at $Z$ $$\pi:\mathrm{Bl}_Z(X)\rightarrow X$$ and let $E$ be the exceptional divisor. What are the properties of the ...
2
votes
1answer
197 views
Picard group modulo codimension 2
Let $X$ be a normal (possibly singular) projective surface over $\mathbb{C}$. Consider the set $M_X$ of all coherent sheaves $F$ on $X$ such that there exists a finite subset $Y\subset X$ such that $F$...
6
votes
2answers
291 views
Simple proof that the arithmetic genus is non-negative
I take an irreducible and reduced closed curve $C\subseteq \mathbb{P}^n$, defined over an algebraically closed field $k$ and define the arithmetic genus $p_a(C)$ as the integer such that the Hilbert ...
2
votes
0answers
69 views
Birational contraction of toric vector bundle
Let $X$ be the toric vector bundle over $\mathbb{P}(1,1,1,2)$ with grading matrix
$$
\left(\begin{array}{cccccc}
1 & 1 & 1 & 2 & -2 & 0 \\
0 & 0 & 0 & 0 & 1 & ...
5
votes
0answers
156 views
When do the spectra of overrings glue to a proper morphism?
This question is motivated by the construction of blowups.
Let $A \subset K$ be a commutative domain and its fraction field, and let $\{A_i\}$ be some finite collection of overrings in between.
Let $X ...
1
vote
1answer
94 views
Reference requence: scheme of complete homomorphisms of rank $r$ via blowups
I'm reading these notes
where it states in section $3$: (transcribed because I can't post image)
Step 1. Introduce the stacks of degenerated and iterated shtukas
which extends that of shtukas.
This ...
4
votes
1answer
331 views
Blowing up vector bundles in the zero section
Assume we are given a scheme $X$ (feel free to add all the needed hypotheses, at this point I’m working with smooth schemes, but the fewer is needed, the better) and a vector bundle $E$ over $X$. I ...
1
vote
0answers
147 views
Extend any morphism to suitable projective variety? [closed]
Let $F: X\to \mathbb{P}^n$ be a morphism from an affine variety to projective space (over some algebraically closed field of characteristic zero). Can we always find an open immersion $\iota: X\...
5
votes
0answers
196 views
Fibers of blow up in families
Let $T$ be a smooth curve over $\mathbb{C}$ and $p:\mathbb{P}^n \times T \to T$ the natural projection. Let $V \subset \mathbb{P}^n_T$ be a $T$-flat subscheme of codimension at least $2$ and $\pi: \...
10
votes
0answers
162 views
Derived equivalences preserved by blow-ups
Let $X$ and $Y$ be smooth projective varieties over $\mathbb{C}$. Assume that $X$ and $Y$ are derived equivalent. Let $\pi : \tilde{X} \longrightarrow X$ be a blow-up of $X$ along a smooth center. Can ...
8
votes
2answers
448 views
Blow-up of the plane at $5$ points
If we Blow-up $\mathbb P^2_{\mathbb C}$ at $5$ points $T=\{p_1,\ldots,p_5\}$ we obtain a Del Pezzo surface $X$ of degree $4$. Now take another set of $5$ points $T'=\{q_1,\ldots,q_5\}$ ($T'\neq T$), ...
0
votes
0answers
92 views
Proper subvarieties of blow-up
Let $X$ be an integral affine scheme of finite type over $\mathbb{C}$. Let $Y\subset X$ be an integral closed subscheme of codimension $n>0$. We blow up $X$ along $Y$ and get a scheme $Bl_Y X$. ...
6
votes
1answer
632 views
Why only some del Pezzo are toric?
Let us define smooth del Pezzo surfaces $dP_r$ as the blowup of $r$ generic points in $\mathbb{CP}_2$. One can show that if we request $dP_r$ to be Fano, then $r=0,...,8$. In theoretical physics ...
1
vote
0answers
67 views
Blow up of 9 points in 3-fold and intersection of strict transforms
Suppose we have blown up a variety $X$ at some points $P_j$ so that we introduce exceptional divisors $E_j$ in $\widetilde X$; what is the general strategy to determine the intersections of these ...
8
votes
1answer
313 views
The relative dimension of blow-up and singularities
Let $X$ be an integral affine scheme of finite type over $\mathbb{C}$, $\mathrm{dim}\,X=d$. Let $Y\subset X$ be an integral closed subscheme of codimension $n>0$. We blow up $X$ along $Y$ and get ...
1
vote
1answer
133 views
Projective subvarieties of blow-ups of affine varieties
Let $X$ be an integral affine scheme of finite type over a field $k$. Let $Y\subset X$ be an integral closed subscheme of codimension $n>0$. We blow up $X$ along $Y$ and get a $k$-scheme $X'$. Is ...
4
votes
0answers
119 views
Diffeomorphism of $ \mathbb{C}P^2 \# ~\overline{\mathbb{C}P^2}$
I am currently reading Dusa McDuff's paper "Blow ups and symplectic embedding in dimension 4" and had a few questions regarding the paper.
In the paper McDuff uses the following notation. $X = \...
2
votes
0answers
134 views
Is this construction with stacks a blow-up?
Let $X$ be the stack of rank $1$ degree $b$ coherent sheaves $E$ with torsion of length at most 1 on an elliptic curve $C$. Let $Y$ be the stack of pairs $E^{'} \subset E$ such that $E \in X$ and $E/E^...
2
votes
1answer
272 views
Blow up of a Projective scheme along a projective-subscheme using Macaulay2
Given a closed-subscheme (corresponding to the homogeneous ideal $I$ inside $K[x_0,...,x_n]$) of a projective scheme $\mathbb{P}^n$, how can one find out the blow up using Macaulay2? ...
2
votes
1answer
193 views
Counter example about blow-up solution of DEs
Let $f(\cdot)$ be a continuously differentiable function over $\mathbb{R}$, and $u\in L^2_{loc}(0,\infty)$, $a\in \mathbb{R}$, and $x(t)$ solves the integral of $$\dot{x}(t)=ax(t)+f(x(t))+u(t), \quad ...
8
votes
0answers
187 views
Very ample divisors on blow ups of the projective plane
Let $X$ be $\mathbb{P}^2$ blown up at $k$ points in general position. The Picard group of $X$ is just $\mathbb{Z}^{k+1}$ and one knows the intersection product explicitly. If $D$ is an ample divisor, ...
2
votes
0answers
60 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 ...
3
votes
1answer
154 views
Gradient blowup for the 1-dim heat equation near an irregular boundary point
I'm trying to estimate the rate of boundary gradient blow-up for the 1-dim heat equation near an irregular boundary point.
Let $b(t) := (1-t)^\alpha$, $\alpha < 1/2$. Let $u(t,x)$ solve the ...
3
votes
0answers
240 views
The Chow ring of a blow-up along a badly embedded subscheme
Let $X$ be a variety and $i:Y\hookrightarrow X$ be a regularly embedded closed subvariety, and write $\tilde X$ for $Bl_Y X$ the blow-up of $X$ along $Y$. Let $A^*(X)$ refer to the Fulton-Macpherson ...
2
votes
1answer
650 views
An explicit computation of the blow-up of curve over $\mathbb{F}_3$ at two points
I would like to work through computing the blow-up of a particular curve along a subvariety consisting of just two points, both of which are ordinary double points.
Let $$F(X,Y,Z) = X^4 + Y^4 - X Y^2 ...
4
votes
2answers
887 views
Topology of the blowup of a surface at a point (connected sum)
Let $S$ be a complex algebraic (smooth) surface and $\widetilde{S}$ be the blowup of $S$ at a point $p\in S$.
I would like to understand the statement:
As a topological manifold, $\widetilde{S}$ ...
1
vote
0answers
48 views
How can I describe in explicit geometric terms the (in general non-complete) linear system?
Let $\varphi\!: S \to S^\prime$ be a birational morphism of projective non-singular irreducible surfaces over a (algebraically closed) field $k$ and let $D \in \mathrm{Div}(S)$. Also, let $\big(\...
3
votes
0answers
197 views
When is the strict transform of very ample divisor ample?
Let $X$ be a projective variety and $Y \subset X$ is a very ample divisor on $X$. Let $Z \subset X$ be a regular subvariety (but $X$ need not be regular along $Z$) of codimension $2$ and $\pi:\tilde{X}...
1
vote
1answer
124 views
Gysin map for projective sub-bundles of exceptional divisors
Let $X$ be a smooth, projective variety, $Y \subset X$ a smooth, projective subvariety of codimension $3$. Denote by $\pi:\tilde{X} \to X$ the blow-up of $X$ along $Y$ and by $E$ the exceptional ...
1
vote
0answers
610 views
Cotangent sheaf of a blow up
It's well known that for a nonsingular variety $X$ and a nonsingular subvariety $Y$ with $\text{codim}(Y,X) \ge 2$, we can compute the canonical sheaf of $\widetilde{X}$ (the blow up of $X$ along $Y$) ...
6
votes
1answer
161 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 ...
13
votes
0answers
441 views
Cohomology of a blow-up of a real algebraic variety
Let $X$ be a complex algebraic variety, $Z \subset X$ a closed subvariety, $\mathrm{Bl}_Z X$ the blow-up and $E$ the exceptional divisor. There is an isomorphism of cohomology groups
$$ H^k(X(\mathbf ...
2
votes
0answers
152 views
Blow-up, strict transform and gysin map
Let $X$ be a non-singular, projective variety and $Y \subset X$ non-singular, projective subvariety. Denote by $\pi:W \to X$ the blow-up of $X$ along $Y$. Let $Y_1 \subset W$ be a non-singular ...
4
votes
2answers
337 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 ...
