All Questions
Tagged with blowup birational-geometry
37 questions
0
votes
0
answers
113
views
Blow up's and contracting Exceptional divisor along a relevant chart (Elementary transformations)
Sorry this is a question due to lack of understanding of blow ups and birationally geometry in general.
Consider the hypersurface in $\mathbb{A}^3$ given by:
$$X =xy - z^2 = 0,$$
which has a ...
0
votes
1
answer
138
views
Are projective birational morphisms blowups?
This question seems to claim that a projective birational maps $f: X \to Y$ between varieties $X,Y$ over $\mathbb C$ is a blow-up. What is a reference for that?
According to Wikipedia,
The "Weak ...
3
votes
0
answers
153
views
Is every normalization a blowup?
Is the normalization of a variety always a blowup along some coherent ideal sheaf? If not, I would like to see a concrete counter-example.
Let $Y \to X$ be the normalization. The answer is positive in ...
1
vote
1
answer
251
views
Self-intersection of exceptional divisor of blowing-up along a singular point
Let $X$ be an $n$-dimensional projective variety with a simple singularity $p \in X$ which can be resolved by a blow-up $\pi\colon \tilde X \to X$ along $p$. The examples that I am considering are ...
0
votes
1
answer
668
views
Self intersection of exceptional divisor in blow-up of $\mathbb{P}^3$ along a curve
We work over the complex numbers. Let $X$ be the blow-up of $\mathbb{P}^3$ along a curve of genus $10$, which is the complete intersection of two cubics surfaces. The variety $X$ lives in $\mathbb{P}^...
0
votes
1
answer
187
views
Left exactness of the cotangent sequence
I am reading this note of Blickle on motivic integration and I am stuck at a technical point. At the beginning of the appendix, we are given a proper birational morphism $f: X' \longrightarrow X$ ...
2
votes
0
answers
135
views
Blowing up of a singular subvariety
I'm reading Kollár Mori Chapter 2.3. And they state the following lemma:
Lemma 2.29. Let $X$ be a smooth variety and $\Delta = \sum a_iD_i$ a sum of distinct prime divisors. Let $Z\subseteq X$ be a ...
0
votes
1
answer
170
views
Relation between exceptional divisor and tangent directions
Consider the hypersurface $X$ in $\mathbb{P}^2(\mathbb{C})\times \mathbb{P}^2(\mathbb{C})$ defined as the zero locus of
$$ X:Z(f)= (y_1y_2+y_0^2)x_0+y_1^2x_1+y_2^2x_2=0$$
with $(x_0,x_1,x_2;y_0,y_1,...
4
votes
1
answer
334
views
Blowing Up the Indeterminancy Locus - Why is this sheaf invertible?
The following is explained in Hartshorne, chapter 2.7. I will be considering varieties instead of schemes. Let $X$ be a variety over $k$, and let $L$ be a line bundle on $X$. Let $s_0,\dots,s_n$ be ...
0
votes
1
answer
123
views
Desingularization of the standard Cremona involution of $\mathbb P^2$.
Consider the birational map $\chi$ given by the blow up of the points $(1:0:0)$, $(0:1:0)$, and $(0:0:1)$ of $\mathbb P^2$, followed by the contraction of the strict transforms of the three lines ...
0
votes
0
answers
165
views
Lift rational map to the Blow-up by explicite construction
We work over complex numbers. Let $X \subset \mathbb{P}^n$ a complex projective subvariety
associated to homogeneous ideal $I(X) \subset \mathbb{C}[X_0,...,X_n]$.
Assume $X$ contains point $p:= (1,0,.....
2
votes
1
answer
121
views
Arrow-reversing Proj and blow-up
Let $X$ be a normal projective variety over the field of complex numbers. Let $Y$ be a subvariety of $X$, and let $I_Y$ be the ideal sheaf of $Y$. From what I know, I can define the blow-up of $X$ ...
0
votes
0
answers
61
views
Open neighborhoods on the blow-up of projective space.
Does every point of blow-up of the projective space along some smooth subvariety, have a neighborhood that is an open subset of affine space (i.e. $\mathbb{A}^n$)? I'm interested in char $p$ case.
0
votes
1
answer
136
views
Are the numbers calculated from a log resolution birational invariants?
Let $C = V(x^2 - y^3)$ be the cuspidate cubic which sits inside $\mathbb{C}^2$. Let $\pi: \text{Bl}_0(\mathbb{C}) \to \mathbb{C}^2$ be the blow up of the origin. The reduction of the total transform ...
3
votes
1
answer
339
views
Ideal sheaf of a birational morphism arising from successive blowups
Let $L\subset \mathbb C^3$ be the line defined by $x=y=0$, and $p\in L$ the point defined by $x=y=z=0$. Let's consider the blowup of $\mathbb C^3$ at $p$ and then blow up the strict transform of $L$ ...
2
votes
1
answer
220
views
Pencil of cubics with infinitely many exceptional curves
In Beauville's Complex Algebraic Surface, exercise V.21(5), we must find a surface with infinitely many exceptional curves.
He gives the following hint (I'm paraphrasing):
let $P$ be a pencil of ...
1
vote
1
answer
914
views
Dimension and blow-ups
Consider a projective variety $X$, and let $Y$ be a closed subvariety. Consider the blow-up of $X$ along Y: we obtain a new variety $\tilde{X}\subset X\times \mathbb{P}^{\dim Y}$, together with a ...
1
vote
1
answer
546
views
Blowup along the fundamental locus of a rational map, II
This question is succeeding a question raised in this post. Let $$f:X\dashrightarrow Y$$ be a rational map between smooth projective varieties over $\mathbb C$ with smooth fundamental locus $B$ and $\...
2
votes
1
answer
685
views
Multiple blow-ups
Suppose I consider, inside $\mathbb{P}^6$, the subvarieties $Y=V(x_2,\ldots,x_6)\simeq \mathbb{P}^1$ and $Z=V(x_0,\ldots,x_3)\simeq \mathbb{P}^2 $.
I want to understand what is the blow up of $\mathbb{...
1
vote
0
answers
142
views
Integral of a blow up of $\mathbb P^2$
In Demailly's icm2006 p21, there is a statement:
If $X$ is the surface obtained by blowing-up $\mathbb P^2$ in one point, then the exceptional divisor $E ≃ \mathbb P^1$ has a cohomology class {$\...
0
votes
0
answers
180
views
How to show the blowing down a ruled surface is projective
Let $X$ be an irreducible projective threefold, let $S$ be a ruled surface over a curve $C$, where $C$ has finitely many singular points. Let $\pi:X\rightarrow Y$ be a map such that $\pi(S)=C\subset Y$...
3
votes
1
answer
342
views
When is the projection from a point on the variety smooth?
Let $X\subset\mathbb{P}^n$ be a smooth irreducible variety (over $\mathbb{C}$) and $p\in\mathbb{P}^n$ a point. Let $\pi:\mathbb{P}^n\setminus\{p\}\to\mathbb{P}^{n-1}$ be the linear projection with ...
3
votes
2
answers
847
views
Why the exceptional divisor of blowup of $\{x^2+yt=0\}$ has multiplicity one (but not two)?
Let $X$ be the affine surface $\{x^2+yt=0\}\subseteq \mathbb C^3$, then $X$ has an $A_1$ singularity at $0$. Consider $X$ as a family of curves via the projection to the last coordiate $$\pi:X\to \...
4
votes
0
answers
783
views
$P^2$ blow up nine points
I quote the following paragraph form Kollar-Mori on page 22:
Let $X$ be obtained from $P^2$
by blowing up at the nine
base points of a pencil of cubic curves, all of whose members are
irreducible. ...
3
votes
0
answers
561
views
Why is the blow-up of 9 points an elliptic surface?
One example of elliptic fibration is obtained as follows:
Let $Z(F),Z(G)\subset\Bbb{P}^2$ be two non-singular cubics intersecting in distinct points $P_1,...,P_9$ and take the rational map
\...
4
votes
1
answer
364
views
Sections of the exceptional divisor of a blowup
Let $C$ be a smooth curve in a smooth threefold $X$. Denote by $Y$ the blowup of $X$ along $C$ with exceptional divisor $E$. Then $E \rightarrow C$ is a $\mathbb{P}^1$-bundle over $C$.
Is it true ...
1
vote
0
answers
492
views
Blow up the elliptic singularity $x^2+y^3+z^6=0$
It is mentioned in this question https://mathoverflow.net/questions/148826/do-there-exist-double-points-on-an-algebraic-surface-in-mathbbp-mathbbc that $X=\{x^2+y^3+z^6=0\}\subset \mathbb C^3$ defines ...
3
votes
2
answers
1k
views
Blowup along the fundamental locus of a rational map
Assume $f:X\dashrightarrow Y$ is a rational map between varieties, where $X$ is normal and $Y$ is complete. Then, the fundamental locus the $f$ (which means cannot extend the definition of $f$ on it), ...
1
vote
1
answer
801
views
Birational invariant Hodge numbers
Consider the Hodge numbers of smooth projective varieties over $\mathbb C$. I am aware of the fact that only the outer Hodge numbers (essentially $h^{p,0}$) are invariant under birational equivalence. ...
1
vote
0
answers
66
views
blow up of affine reducible variety at point has isomorphic total ring of fractions?
Assume $X$ is an reducible affine variety over $\mathbb{C}$ with coordinate ring $A$. Let $\pi \colon \tilde{X} \to X$ be the blowing up at a point $p \in X$ (which can be included in more than one ...
2
votes
1
answer
629
views
Blow Up of a Surface
I have a question a step in the example demonstating the blowing up in Liu's "Algebraic Geometry and Arithmetic Curves" in the excerpt below (or look up at page 320):
We blow up the surface $X= ...
1
vote
0
answers
116
views
Blowup of non-singular varieties
How to construct a blowup $f$: X $\rightarrow$ Y between non-singular quasi-projective varieties?
This is an exercise from Shafarevich "Basic Algebraic Geometry 1".
I want to construct for any $n \...
4
votes
1
answer
358
views
Blow up of one point is isomorphic to $\mathbb{P}(\mathcal{O} \oplus \mathcal{O}(1))$
My question comes from an example in Hartshorne (Example V.2.11.4) which I'm having trouble following. It is claimed that the Blow up of a point $p \in \mathbb{P}^n$ is isomorphic to $\mathbb{P}(\...
2
votes
2
answers
770
views
blow-ups of subvarieties $Y_1,Y_2$ are disjoint in the blow-up at the ideal $I(Y_1)+I(Y_2)$
Exercise 9.19 in Gathmann's notes reads:
Let $X\subset \Bbb A^n$ be an affine variety, and let $Y_1,Y_2$ be irreducible closed subsets of $X$ , none contained in the other. We blow-up X along the ...
4
votes
0
answers
85
views
Obtaining a nice map to a curve by using blowups
Let $X$ be a smooth and projective variety over a finite field (separated, finite type, integral). Then after performing a number of blowups I should be able to find a proper surjective map from $X$ ...
8
votes
1
answer
4k
views
Blow-up of $\mathbb P^2$ in 2 points is isomorphic to blowup of quadric in 1 point
How to show that blow-up of $\mathbb P^2$ in 2 points is isomorphic to blowup of quadric in 1 point? I think it is a standard fact, but Google can not help me with it.
Update: I found an answer here:...
7
votes
1
answer
610
views
Factoring a birational morphism through blowup
Let $X,Y$ be smooth, proper varieties, and $f: X \to Y$ be a proper birational morphism. Suppose $E$ is a smooth, irreducible exceptional divisor, with the image $f(E)$ also smooth. Let $I$ be the ...