Blowing up

Blowing up
Blowup of the affine plane.

In mathematics, blowing up or blowup is a type of geometric transformation which replaces a subspace of a given space with all the directions pointing out of that subspace. For example, the blowup of a point in a plane replaces the point with the projectivized tangent space at that point. The metaphor is inflation of a balloon rather than an explosion.

Blowups are the most fundamental transformation in birational geometry, because every birational morphism between projective varieties is a blowup. The weak factorization theorem says that all birational morphisms can be factored as a composition of particularly simple blowups. The Cremona group, the group of birational automorphisms of the plane, is generated by blowups.

Besides their importance in describing birational transformations, blowups are also an important way of constructing new spaces. For instance, most procedures for resolution of singularities proceed by blowing up singularities until they become smooth. A consequence of this is that blowups can be used to resolve the singularities of birational maps.

Classically, blowups were defined extrinsically, by first defining the blowup on spaces such as projective space using an explicit construction in coordinates and then defining blowups on other spaces in terms of an embedding. This is reflected in some of the terminology, such as the classical term monoidal transformation. Contemporary algebraic geometry treats blowing up as an intrinsic operation on an algebraic variety. From this perspective, a blowup is the universal (in the sense of category theory) way to turn a subvariety into a Cartier divisor.

A blowup can also be called monoidal transformation, locally quadratic transformation, dilatation, σ-process, or Hopf map.

Contents

The blowup of a point in a plane

The simplest case of a blowup is the blowup of a point in a plane. Most of the general features of blowing up can be seen in this example.

The blowup has a synthetic description as an incidence correspondence. Recall that the Grassmannian G(1,2) parameterizes the set of all lines in the projective plane. The blowup of the projective plane at the point P, which we will denote X, is

X = \{ (Q, \ell) \mid P,\,Q \in \ell\} \subseteq \mathbf{P}^2 \times \mathbf{G}(1,2).

X is a projective variety because it is a closed subvariety of a product of projective varieties. It comes with a natural morphism π to P2 that takes the pair (Q, \ell) to Q. This morphism is an isomorphism on the open subset of all points (Q, \ell) with QP because the line \ell is determined by those two points. When Q = P, however, the line \ell can be any line through P. These lines correspond to the space of directions through P, which is isomorphic to P1. This P1 is called the exceptional divisor, and by definition it is the projectivized normal space at P. Because P is a point, the normal space is the same as the tangent space, so the exceptional divisor is isomorphic to the projectivized tangent space at P.

To give coordinates on the blowup, we can write down equations for the above incidence correspondence. Give P2 homogeneous coordinates [X0:X1:X2] in which P is the point [P0:P1:P2]. By projective duality, G(1,2) is isomorphic to P2, so we may give it homogenous coordinates [L0:L1:L2]. A line \ell_0 = [L_0:L_1:L_2] is the set of all [X0:X1:X2] such that X0L0 + X1L1 + X2L2 = 0. Therefore, the blowup can be described as

X = \{ ([X_0:X_1:X_2],[L_0:L_1:L_2]) \mid P_0L_0 + P_1L_1 + P_2L_2 = 0,\, X_0L_0 + X_1L_1 + X_2L_2 = 0 \} \subseteq \mathbf{P}^2 \times \mathbf{P}^2.

The blowup is an isomorphism away from P, and by working in the affine plane instead of the projective plane, we can give simpler equations for the blowup. After a projective transformation, we may assume that P = [0:0:1]. Write x and y for the coordinates on the affine plane X2≠0. The condition P\ell implies that L2 = 0, so we may replace the Grassmannian with a P1. Then the blowup is the variety

\{ ((x,y),[z:w]) \mid xz + yw = 0 \} \subseteq \mathbf{A}^2 \times \mathbf{P}^1.

It is more common to change coordinates so as to reverse one of the signs. Then the blowup can be written as

\left \{ ((x,y),[z:w]) \mid \det\begin{vmatrix}x&y\\w&z\end{vmatrix} = 0 \right \}.

This equation is easier to generalize than the previous one.

The blowup can also be described by directly using coordinates on the normal space to the point. Again we work on the affine plane A2. The normal space to the origin is the vector space m/m2, where m = (x, y) is the maximal ideal of the origin. Algebraically, the projectivization of this vector space is Proj of its symmetric algebra, that is,

X = \operatorname{Proj}\,\bigoplus_{r=0}^\infty \operatorname{Sym}^r_{k[x,y]} \mathfrak{m}/\mathfrak{m}^2.

In this example, this has a concrete description as

X = \operatorname{Proj}\ k[x,y,z,w]/(xz - yw),

where x and y have degree 0 and z and w have degree 1.

Over the real or complex numbers, the blowup has a topological description as the connected sum \mathbf{P}^2\#\mathbf{P}^2. Assume that P is the origin in A2P2, and write L for the line at infinity. A2 \ {0} has an inversion map t which sends (x, y) to (x/(|x|2 + |y|2), y/(|x|2 + |y|2)). t is the circle inversion with respect to the unit sphere S: It fixes S, preserves each line through the origin, and exchanges the inside of the sphere with the outside. t extends to a continuous map P2A2 by sending the line at infinity to the origin. This extension, which we also denote t, can be used to construct the blowup. Let C denote the complement of the unit ball. The blowup X is the manifold obtained by attaching two copies of C along S. X comes with a map π to P2 which is the identity on the first copy of C and t on the second copy of C. This map is an isomorphism away from P, and the fiber over P is the line at infinity in the second copy of C. Each point in this line corresponds to a unique line through the origin, so the fiber over π corresponds to the possible normal directions through the origin.

For CP2 this process ought to produce an oriented manifold. In order to make this happen, the two copies of C should be given opposite orientations. In symbols, X is \mathbf{CP}^2\#\overline{\mathbf{CP}^2}, where \overline{\mathbf{CP}^2} is CP2 with the opposite of the standard orientation.

Blowing up points in complex space

Let Z be the origin in n-dimensional complex space, Cn. That is, Z is the point where the n coordinate functions x_1, \ldots, x_n simultaneously vanish. Let Pn - 1 be (n - 1)-dimensional complex projective space with homogeneous coordinates y_1, \ldots, y_n. Let \tilde{\mathbf{C}^n} be the subset of Cn × Pn - 1 that satisfies simultaneously the equations xiyj = xjyi for i, j = 1, \ldots, n. The projection

\pi : \mathbf{C}^n \times \mathbf{P}^{n - 1} \to \mathbf{C}^n

naturally induces a holomorphic map

\pi : \tilde{\mathbf{C}^n} \to \mathbf{C}^n.

This map π (or, often, the space \tilde{\mathbf{C}^n}) is called the blow-up (variously spelled blow up or blowup) of Cn.

The exceptional divisor E is defined as the inverse image of the blow-up locus Z under π. It is easy to see that

E = Z \times \mathbf{P}^{n - 1} \subseteq \mathbf{C}^n \times \mathbf{P}^{n - 1}

is a copy of projective space. It is an effective divisor. Away from E, π is an isomorphism between \tilde{\mathbf{C}^n} \setminus E and \mathbf{C}^n \setminus Z; it is a birational map between \tilde{\mathbf{C}^n} and Cn.

Blowing up submanifolds in complex manifolds

More generally, one can blow up any codimension-k complex submanifold Z of Cn. Suppose that Z is the locus of the equations x_1 = \cdots = x_k = 0, and let y_1, \ldots, y_k be homogeneous coordinates on Pk - 1. Then the blow-up \tilde{\mathbf{C}^n} is the locus of the equations xiyj = xjyi for all i and j, in the space Cn × Pk - 1.

More generally still, one can blow up any submanifold of any complex manifold X by applying this construction locally. The effect is, as before, to replace the blow-up locus Z with the exceptional divisor E. In other words, the blow-up map

\pi : \tilde X \to X

is birational, and an isomorphism away from E. E is naturally seen as the projectivization of the normal bundle of Z. So \pi|_E : E \to Z is a locally trivial fibration with fiber Pk - 1.

Since E is a smooth divisor, its normal bundle is a line bundle. It is not difficult to show that E intersects itself negatively. This means that its normal bundle possesses no holomorphic sections; E is the only smooth complex representative of its homology class in \tilde X. (Suppose E could be perturbed off itself to another complex submanifold in the same class. Then the two submanifolds would intersect positively — as complex submanifolds always do — contradicting the negative self-intersection of E.) This is why the divisor is called exceptional.

Let V be some submanifold of X other than Z. If V is disjoint from Z, then it is essentially unaffected by blowing up along Z. However, if it intersects Z, then there are two distinct analogues of V in the blow-up \tilde X. One is the proper (or strict) transform, which is the closure of \pi^{-1}(V \setminus Z); its normal bundle in \tilde X is typically different from that of V in X. The other is the total transform, which incorporates some or all of E; it is essentially the pullback of V in cohomology.

Blowing up schemes

To pursue blow-up in its greatest generality, let X be a Noetherian scheme, and let \mathcal{I} be a coherent sheaf of ideals on X. The blow-up of X with respect to \mathcal{I} is a scheme \tilde{X} along with a morphism

\pi\colon \tilde{X} \rightarrow X

such that \pi^{-1} \mathcal{I} \cdot
\mathcal{O}_{\tilde{X}} is an invertible sheaf, characterized by this universal property: for any morphism f\colon Y \rightarrow X such that f^{-1} \mathcal{I} \cdot
\mathcal{O}_Y is an invertible sheaf, f factors uniquely through π.

Notice that

\tilde{X}=\mathbf{Proj} \bigoplus_{n=0}^{\infty} \mathcal{I}^n

has this property; this is how the blow-up is constructed. Here Proj is the Proj construction on graded sheaves of commutative rings.

Exceptional divisors

The exceptional divisor of a blowup \pi : \operatorname{Bl}_\mathcal{I} X \to X is the subscheme defined by the inverse image of the ideal sheaf \mathcal{I}, which is sometimes denoted \pi^{-1}\mathcal{I}\cdot\mathcal{O}_{\operatorname{Bl}_\mathcal{I} X}. It follows from the definition of the blow up in terms of Proj that this subscheme E is defined by the ideal sheaf \textstyle\bigoplus_{n=0}^\infty \mathcal{I}^{n+1}. This ideal sheaf is also the relative \mathcal{O}(1) for π.

π is an isomorphism away from the exceptional divisor, but the exceptional divisor need not be in the exceptional locus of π. That is, π may be an isomorphism on E. This happens, for example, in the trivial situation where \mathcal{I} is the vanishing locus of a Cartier divisor. In particular, in such cases the morphism π does not determine the exceptional divisor. Another situation where the exceptional locus can be strictly smaller than the exceptional divisor is when X has singularities. For instance, let X be the affine cone over P1 × P1. X can be given as the vanishing locus of xwyz in A4. The ideals (x, y) and (x, z) define two planes, each of which passes through the vertex of X. Away from the vertex, these planes are hypersurfaces in X, so the blowup is an isomorphism there. The exceptional locus of the blowup of either of these planes is therefore centered over the vertex of the cone, and consequently it is strictly smaller than the exceptional divisor.

Related constructions

In the blow-up of Cn described above, there was nothing essential about the use of complex numbers; blow-ups can be performed over any field. For example, the real blow-up of R2 at the origin results in the Möbius strip; correspondingly, the blow-up of the two-sphere \mathbb{S}^2 results in the real projective plane.

Deformation to the normal cone is a blow-up technique used to prove many results in algebraic geometry. Given a scheme X and a closed subscheme V, one blows up

V \times \{0\} \ \text{in} \ Y = X \times \mathbf{C} \ \text{or} \ X \times \mathbf{P}^1

Then

\tilde Y \to \mathbf{C}

is a fibration. The general fiber is naturally isomorphic to X, while the central fiber is a union of two schemes: one is the blow-up of X along V, and the other is the normal cone of V with its fibers completed to projective spaces.

Blow-ups can also be performed in the symplectic category, by endowing the symplectic manifold with a compatible almost complex structure and proceeding with a complex blow-up. This makes sense on a purely topological level; however, endowing the blow-up with a symplectic form requires some care, because one cannot arbitrarily extend the symplectic form across the exceptional divisor E. One must alter the symplectic form in a neighborhood of E, or perform the blow-up by cutting out a neighborhood of Z and collapsing the boundary in a well-defined way. This is best understood using the formalism of symplectic cutting, of which symplectic blow-up is a special case. Symplectic cutting, together with the inverse operation of symplectic summation, is the symplectic analogue of deformation to the normal cone along a smooth divisor.

See also

References

  • Fulton, William (1998). Intersection Theory. Springer-Verlag. ISBN 0-387-98549-2. 
  • Griffiths, Phillip; Harris, Joseph (1978). Principles of Algebraic Geometry. John Wiley & Sons. ISBN 0-471-32792-1. 
  • Hartshorne, Robin (1977). Algebraic Geometry. Springer-Verlag. ISBN 0-387-90244-9. 
  • McDuff, Dusa; Salamon, Dietmar (1998). Introduction to Symplectic Topology. Oxford University Press. ISBN 0-19-850451-9. 

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • blowing — lowing n. 1. processing that involves blowing a gas. [WordNet 1.5] …   The Collaborative International Dictionary of English

  • blowing — lowing adj. prenom. 1. windy. Syn: blustering(prenominal), blusterous, blustery, gusty. [WordNet 1.5] …   The Collaborative International Dictionary of English

  • blowing up — index inflation (increase) Burton s Legal Thesaurus. William C. Burton. 2006 …   Law dictionary

  • blowing — (blow) v. exhale; inflate; wave; whistle; explode; sprout n. inflating, expelling of air, gusting bləʊ n. strike, hit; exhalation, breath v. exhale; inflate; wave; whistle; explode; sprout …   English contemporary dictionary

  • Blowing — Blow Blow, v. i. [imp. {Blew} (bl[=u]); p. p. {Blown} (bl[=o]n); p. pr. & vb. n. {Blowing}.] [OE. blawen, blowen, AS. bl[=a]wan to blow, as wind; akin to OHG. pl[=a]jan, G. bl[ a]hen, to blow up, swell, L. flare to blow, Gr. ekflai nein to spout… …   The Collaborative International Dictionary of English

  • Blowing — There are some surnames which are well recorded but offer few clues as to the definitive origin. This is one of them! Recorded as Bloan, Blown, Blowen, Blowne, Blowin, Blowing, Blunn and probably others, this is believed to be a surname of Welsh… …   Surnames reference

  • blowing — /ˈbloʊɪŋ/ (say blohing) noun 1. the sound of any vapour or gas issuing from a vent under pressure. 2. Metallurgy a disturbance caused by gas or steam blowing through molten metal. 3. Textiles the process of blowing dry steam through a cloth, to… …  

  • Blowing — Blow Blow (bl[=o]), v. i. [imp. {Blew} (bl[=u]); p. p. {Blown} (bl[=o]n); p. pr. & vb. n. {Blowing}.] [OE. blowen, AS. bl[=o]wan to blossom; akin to OS. bl[=o]jan, D. bloeijen, OHG. pluojan, MHG. bl[ u]ejen, G. bl[ u]hen, L. florere to flourish,… …   The Collaborative International Dictionary of English

  • blowing — /bloh ing/, n. 1. the sound of any vapor or gas issuing from a vent under pressure. 2. Metall. a disturbance caused by gas or steam blowing through molten metal. 3. Also called blow molding. a method of producing hollowware by injecting air under …   Universalium

  • blowing — prapūtimas statusas T sritis Energetika apibrėžtis Nuvalymas pučiant. atitikmenys: angl. blowing vok. Ausblasen, n rus. продувка, f pranc. purge, f …   Aiškinamasis šiluminės ir branduolinės technikos terminų žodynas

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”