Let $x:= (0,0) \in \mathbb{P}^1 \times \mathbb{P}^1$. What is the blow-up of $\mathbb{P}^1 \times \mathbb{P}^1$ at $x$?
2026-03-26 12:36:33.1774528593
Blow-up of $\mathbb{P}^1 \times \mathbb{P}^1$ at a point.
890 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in ALGEBRAIC-GEOMETRY
- How to see line bundle on $\mathbb P^1$ intuitively?
- Jacobson radical = nilradical iff every open set of $\text{Spec}A$ contains a closed point.
- Is $ X \to \mathrm{CH}^i (X) $ covariant or contravariant?
- An irreducible $k$-scheme of finite type is "geometrically equidimensional".
- Global section of line bundle of degree 0
- Is there a variant of the implicit function theorem covering a branch of a curve around a singular point?
- Singular points of a curve
- Find Canonical equation of a Hyperbola
- Picard group of a fibration
- Finding a quartic with some prescribed multiplicities
Related Questions in BLOWUP
- Cohomology of blow-up
- Images of derived categories of $X, Z$ in derived category of blow up
- Affine cover of blow-up along ideal
- Ideal sheaf of intersection
- How can I get claim 1 or claim 2?
- Blow-up of the affine plane in the origin, using schemes.
- $K_0$ ring of del-pezzo surface
- Example of blow-up of curve along subvariety with finite fields
- Is it possible to blow-up in codimension one?
- Expression for $\mathcal{O}_{\mathbb{P}(N_{Y/X})}(-k)$ in blowup
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
This doesn't really have a special name, but the thing to notice is that blowing up takes the two lines through $x$ (one from each ruling) and separates them, so that the proper transforms $L_1$ and $L_2$ of these lines are $(-1)$-curves, and there is a third $(-1)$-curve linking them, namely the exceptional divisor $E$ (this follows from the general fact that blowing up a point on a curve in a surface decreases its self-intersection by $1$).
Now, Castelnuovo's contractibility criterion tells us that we can blow down any $(-1)$-curve to a smooth point. If we blow down $E$ we get back where we started, but if we blow down (without loss of generality) $L_2$, the proper transform of $E$ under the blowing down now has self intersection $0$. Meanwhile, the self-intersection of $L_1$ doesn't change so it is now the unique $(-1)$-curve. From here, it's not so hard to show that you have obtained the Hirzebruch surface $\mathbb F_1$, also known as the blow-up of $\mathbb P^2$ at a point.
Now you may know that $\mathbb P^1 \times \mathbb P^1$ is also known as $\mathbb F_0$, and the blow up/blow down procedure described above will (with a bit more care since $\mathbb F_{>0}$ are not totally homogeneous) in general transform $\mathbb F_e$ into $\mathbb F_{e+1}$. So while the blowup of $\mathbb P^1 \times \mathbb P^1$ at a point doesn't have a special name, it's the first in an infinite sequence of surfaces that form "roofs" relating all of the Hirzebruch surfaces (roof just refers to the shape of the relevant diagram).
Edited to add: some user has been trying to edit this answer today due to a misunderstanding. Please read more carefully; I do not claim that the blowup of $\mathbb P^1 \times \mathbb P^1$ is $\mathbb F_1$, but rather that one obtains the latter after also blowing down the proper transform of a line through the center of the initial blowup.