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 that of zooming in on a photograph to enlarge part of the picture, rather than referring to 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 every birational map 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 ) 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.
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.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
The course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a progr
This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism.
In mathematics, birational geometry is a field of algebraic geometry in which the goal is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying mappings that are given by rational functions rather than polynomials; the map may fail to be defined where the rational functions have poles. A rational map from one variety (understood to be irreducible) to another variety , written as a dashed arrow X Y, is defined as a morphism from a nonempty open subset to .
In algebraic geometry, the Kodaira dimension κ(X) measures the size of the canonical model of a projective variety X. Igor Shafarevich in a seminar introduced an important numerical invariant of surfaces with the notation κ. Shigeru Iitaka extended it and defined the Kodaira dimension for higher dimensional varieties (under the name of canonical dimension), and later named it after Kunihiko Kodaira. The canonical bundle of a smooth algebraic variety X of dimension n over a field is the line bundle of n-forms, which is the nth exterior power of the cotangent bundle of X.
We classify simple groups that act by birational transformations on compact complex Kahler surfaces. Moreover, we show that every finitely generated simple group that acts non-trivially by birational transformations on a projective surface over an arbitrar ...
The Cremona group is the group of birational transformations of the complex projective plane. In this paper we classify its subgroups that consist only of elliptic elements using elementary model theory. This yields in particular a description of the struc ...
Efficient methods for the convergent synthesis of (poly) cyclic scaffolds are urgently needed in synthetic and medicinal chemistry. Herein, we describe new annulation reactions of thioalkynes with phthalimide-substituted donor-acceptor cyclopropanes, which ...