How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Blowups, Exceptional Divisors, and Strict Transforms
1 · Prerequisites
- Abelian Categories
- Adjunctions Units and Counits
- Affine Algebraic Sets and Coordinate Rings
- Affine Schemes and the Structure Sheaf
- Algebraic Closure, Embeddings, and Separability
- Algebraic Differentials Separability and Smooth Local Presentations
- Algebraic Extensions, Extension Degree, and Finite Fields
- Algebraic Zariski Main for Quasi-Finite Morphisms
- Artinian Rings and Length
- Associated Primes and Primary Decomposition
- Binary Operations, Monoids, Groups and Subgroups
- Cardinal Arithmetic, Cofinality and the Alephs
- Cartier and Weil Divisors Line Bundles and Picard Groups
- Categories, Functors and Natural Transformations
- Chain Complexes and Homology
- Chain Conditions, Semisimple Modules and the Wedderburn–Artin Theorem
- Chain Homotopy and the Homotopy Category
- Classical Affine Varieties: Coordinate Rings, Morphisms, and Rational Maps
- Cohomology of Quasi Coherent Sheaves on Affine and Projective Schemes
- Combinatorial Classes and the Symbolic Method
- Compactness
- Compactness in Metric Spaces
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Connectedness
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Cyclic Groups and Direct Products
- Dedekind Domains and Ideal Classes
- Delta Functors and Universality
- Depth and Cohen Macaulay Modules
- Derived Categories
- Derived Functors
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Diagonals Separated Morphisms and Valuative Uniqueness
- Dimension Constructible Images and Dimensions of Fibres
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Double Complexes Exact Couples and Convergence
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Exactness and the Member Calculus
- Ext and Balanced Resolutions
- Fibre Products Base Change and Scheme Theoretic Fibres
- Finite Counting, Factorials and Binomial Coefficients
- Finite Fields and Cyclotomic Extensions
- Finite Proper and Projective Morphisms
- Flat Smooth and Etale Morphisms
- Flatness and Faithful Flatness
- Formal Power Series
- Foundations of the Real Numbers for Analysis
- Free Modules, Exact Sequences, Projective and Injective Modules
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Homogeneous Resultants and Projective Intersection Length
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Integral Extensions and Going Up
- Kahler Differentials Conormal Sequences and Infinitesimal Lifting
- Koszul Complexes and Regular Sequences
- Krull Dimension and Height Theorems
- Limits and Colimits
- Linear Algebra Methods in Combinatorics
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Localisation of Modules and Support
- Long Exact Sequences in Homology
- Mapping Cones Cylinders and Chain Triangles
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Metric Spaces
- Modules over a Principal Ideal Domain and the Canonical Forms
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Noether Normalisation and Nullstellensatz
- Noetherian Rings and Hilbert Basis
- Normal Subgroups and Quotient Groups
- Normalization Finiteness for Affine Domains
- Order, Zorn's Lemma, and the Axiom of Choice
- Ordinal Arithmetic and the First Uncountable Ordinal
- Ordinals, Cardinals, and Transfinite Recursion
- Polynomial Rings, the Division Algorithm and Roots
- Preadditive and Additive Categories and Biproducts
- Presheaves Sheaves Stalks and Sheafification
- Prime Spectra and Radicals
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Proj Projective Schemes Twisting Sheaves and Ampleness
- Projective Algebraic Sets Projective Morphisms and Cones
- Projective and Injective Resolutions
- Quasi Coherent and Coherent Sheaves and Vector Bundles
- Rees Modules Artin Rees and Hilbert Samuel Theory
- Reflective Subcategories and the Adjoint Functor Theorems
- Regular Local Rings and Homological Dimension
- Relations, Functions, and Quotients
- Riemann Roch for Curves via Euler Characteristics
- Rings, Subrings, Integral Domains and Fields
- Roots, Rational Powers, and Classical Inequalities
- Schemes Subschemes and Morphisms Locally of Finite Type
- Sheaf Cohomology Cech Cohomology and Comparison
- Sheaf Operations Exactness Ringed Spaces and Module Pullback
- Simple Field Extensions and the Construction of the Complex Numbers
- Smooth Proper Curves Divisors Genus and Ramification
- Splitting Fields
- Subobject Lattices Generators and the Grothendieck Axioms
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tensor Products of Modules
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Diagram Lemmas in an Abelian Category
- The Field of Fractions and Localisation
- The Fundamental Theorem of Algebra
- The Fundamental Theorem of Finite Abelian Groups
- The Galois Correspondence
- The Holomorphic Inverse Function Theorem and Weierstrass Preparation
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Tor Flatness and Global Dimension
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Triangulated Categories
- Universal Coefficients and Kunneth Theorems
- Universal Properties, Representables and the Yoneda Lemma
- Valuation Rings and Discrete Valuation Rings
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Yoneda Extensions and Homological Dimension
- Zariski Tangent Spaces, Regular Points, Smoothness, and Bertini
- Zariski Topology on Prime Spectra
2 · Summary
This page develops the blowup of a scheme along a quasi-coherent ideal sheaf of finite type, together with its exceptional subscheme, its functorial universal property, its behaviour under base change and restriction, and the strict and total transforms of closed subschemes and divisors.
For a scheme and a finite-type quasi-coherent ideal one forms the Rees algebra sheaf and sets ; on an affine chart with the blowup is covered by the standard charts , and the chart rings are the affine blowup algebras, described by the normal form inside and by the polynomial presentation modulo its -power torsion. The exceptional subscheme is the scheme-theoretic preimage of the centre; when the centre is a regular immersion its normal cone is the symmetric algebra of by the theory of regular sequences, so is the projectivised normal bundle of the centre in .
The page then specialises to a closed point on a regular finite-type surface of pure dimension two over a field, where the blowup is again regular, the exceptional curve is a projective line over the residue field of the centre, and its normal sheaf has degree . The chart computations are used to compute strict transforms of plane curves, to show that a point blowup separates tangent directions, to prove the multiplicity recurrence , and to track the normalization defect and the contact order of regular branches under blowups. These are the local inputs to the final resolution theorem, which resolves a reduced projective plane curve over an arbitrary field into regular embedded normal-crossing support by repeated point blowups. Choice conventions, the case of inseparable residue fields, and the boundary of the claims (no resolution in higher dimension, no relative smoothness over imperfect fields) are recorded explicitly at the items where they occur.
3 · Logical flowchart
4 · Definitions, theorems and proofs
Rees algebra sheaf of a finite type ideal
Definition
Assume the Axiom of Choice, inherited from the quasi-coherence suppliers used below (The Axiom of Choice).
Let be a scheme and let be a quasi-coherent ideal sheaf of finite type (Quasi-coherent ideal sheaves). Put , and for let be the -fold product of the ideal sheaf inside , that is, the image of the multiplication map (equivalently, the ideal sheaf generated by all local products of sections of ). The Rees algebra sheaf of is the sheaf of graded -algebras
whose degree- piece is the ideal sheaf , whose multiplication is induced by multiplication in , and whose unit is the identification . Since multiplication of ideals is associative and commutative and with equality for the product ideal, is a commutative graded -algebra with and .
The construction is local on and agrees with the affine Rees algebra: if is affine and for an ideal (Quasi-coherent ideal sheaves), then for every , and taking sections on gives the affine Rees algebra of (The Rees algebra of an ideal and the Rees module of a filtered module) with its degree- piece . Two affine covers therefore glue to canonically isomorphic sheaves, and the graded pieces are the ideal powers defined above.
The following properties are part of the definition and are used by the consumers of this item.
- The powers are quasi-coherent. Each is a quasi-coherent -module (Quasi-coherent module on a scheme). Indeed, cover by affine opens with ; then is the associated sheaf of an -module, and quasi-coherence is local on . Alternatively, for the multiplication map is surjective from a quasi-coherent source by Tensor product preserves quasi-coherence.
- The Rees algebra sheaf is quasi-coherent. On each affine chart one has , the associated sheaf of the graded -module ; since quasi-coherence is local on , the direct sum of the quasi-coherent sheaves is quasi-coherent.
- Degree-one generation. and generate as an -algebra: for every the product map is surjective, because is by construction generated by products of local sections of . Equivalently, the canonical graded -algebra homomorphism is surjective. The finite type hypothesis is used in subsequent finite-type structural results, not in the relative Proj construction; the Rees algebra sheaf and its relative Proj are defined for any quasi-coherent ideal.
Blowup of a scheme along an ideal sheaf
Definition
Assume the Axiom of Choice as inherited from the relative Proj construction (The Axiom of Choice). Let be a scheme and let be a quasi-coherent ideal sheaf of finite type (Quasi-coherent ideal sheaves), with zero scheme , the closed subscheme of cut out by . The blowup of along (or along ) is the -scheme
the relative Proj of Relative Proj of a graded quasi-coherent algebra applied to the Rees algebra sheaf of Rees algebra sheaf of a finite type ideal, equipped with its structural morphism
and its relative twists , , both as in Relative Proj of a graded quasi-coherent algebra. The notation records the ideal sheaf , not merely the closed subscheme ; the finite type hypothesis is part of the definition because the later structural results for blowups (invertibility of the pullback of , the exceptional divisor, and base change) are proved under it.
In the affine case with for an ideal , the Rees algebra sheaf is (Rees algebra sheaf of a finite type ideal), and the absolute case of the relative Proj construction identifies with the absolute Proj of the Rees algebra (Relative Proj of a graded quasi-coherent algebra); the structural morphism is then the Proj structural morphism to .
The exceptional subscheme of the blowup is denoted and is introduced separately; no property of is assumed here.
Remarks
- The Axiom of Choice is inherited from the affine-local Proj construction used by Relative Proj of a graded quasi-coherent algebra; the blowup selects no further data beyond that interface.
- This item only sets up the construction. Projectivity of , the universal property of the blowup, the invertibility of the pullback of , and flat base change are supplied by later items of this page and are not asserted here.
Exceptional subscheme of a blowup
Definition
Let be a scheme, let be a quasi-coherent ideal sheaf (Quasi-coherent ideal sheaves) with zero scheme , the closed subscheme cut out by (Closed immersions of schemes), and let be the blowup of Blowup of a scheme along an ideal sheaf. The exceptional subscheme of the blowup is the scheme-theoretic inverse image
of Scheme-theoretic inverse images of subschemes (Base change of objects, morphisms and properties); it is a closed subscheme , its ideal sheaf is the inverse image ideal , and the structural morphism of the blowup restricts to a morphism . Set-theoretically, is the preimage of the underlying set of .
Remarks
For an ideal not of finite type, the notation here extends Blowup of a scheme along an ideal sheaf by using directly. Its graded algebra is quasi-coherent by the affine ideal-power calculation of Rees algebra sheaf of a finite type ideal, and no finite generation is required by Relative Proj of a graded quasi-coherent algebra.
- The exceptional subscheme is defined for every quasi-coherent ideal sheaf on ; no smoothness of , regularity of , or invertibility of is assumed.
- The construction inherits the Axiom of Choice from the blowup (Blowup of a scheme along an ideal sheaf), and no further data is chosen.
- Nothing is asserted here about the components of , its codimension in the blowup, or the invertibility of its ideal sheaf; those are supplied by later items of this page.
Associated graded algebra of an ideal generated by a regular sequence
Statement
Let be a commutative ring and let be an -regular sequence (Regular Sequence On A Module), with (The ideal generated by a subset and principal ideals) and associated graded ring (The associated graded ring and associated graded module of an ideal-adic filtration). The canonical graded homomorphism
is an isomorphism. In particular is free over on the classes of , and . No Noetherian or domain hypothesis is required.
Facts & Assumptions
Given: A commutative ring , an -regular sequence (Regular Sequence On A Module) and the ideal (The ideal generated by a subset and principal ideals) with its associated graded ring (The associated graded ring and associated graded module of an ideal-adic filtration).
Regular Sequence On A Module: A finite ordered sequence in is -regular when and multiplication by is injective on for every , and . In particular the truncated sequence is likewise -regular, and is a nonzerodivisor on for .
The associated graded ring and associated graded module of an ideal-adic filtration: For an ideal , the associated graded ring is with multiplication ; in particular it is commutative and generated in degree one.
The ideal generated by a subset and principal ideals: is the ideal generated by the : it consists of the finite sums with , and each .
Proof
The degree- monomials in the generate , so the displayed graded map is surjective. To prove injectivity it suffices to show that every homogeneous relation has all : a relation lying in can be made zero by subtracting a degree- expression whose coefficients lie in . We prove this coefficient assertion by induction on the sequence length . For , and the associated graded ring has only degree zero, where the map is the identity.
Suppose and the assertion holds for . Fix and write the relation as , where and . We induct on . If , the assertion for puts all coefficients in . If , reduction modulo gives . By the coefficient assertion for (also applicable to an expression lying in the next power), for every . Since is a nonzerodivisor on , every lies in .
Consequently ; express it as . Absorb into and remove the term with exponent . This gives a relation of the same degree with largest exponent . Its modified coefficients are and its other coefficients are unchanged. The induction on puts all modified coefficients in , hence all original ones in , since . Together with the coefficients of , this proves the assertion and completes the induction on .
The coefficient assertion proves injectivity in every degree. In degree one, the isomorphism identifies with on the displayed classes. The symmetric algebra of this free module is the polynomial algebra, yielding the canonical symmetric-algebra identification. Only regularity of the ordered sequence and ideal-power generation were used.
Remarks
The double induction is on the length of the sequence (step 3.1) and, inside a fixed length, on the highest power of occurring in the relation (step 4.1). The lemma is the algebraic input to the computation of the normal cone of a regular immersion and to the identification of the associated graded algebras used in the deformation of the resolution theorem.
Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains
Statement
Let be a commutative ring, let be an ideal and let . Write for the Rees algebra of , graded by the degree of (The Rees algebra of an ideal and the Rees module of a filtered module, Nonnegatively graded rings and modules, homogeneous elements, and twists). The affine blowup algebra is
the degree-zero part of the localization of at the multiplicative set generated by the degree-one element (Multiplicative subsets and the localisation as equivalence classes of fractions). Then:
- the image of in is a nonzerodivisor, , and ;
- if with (The ideal generated by a subset and principal ideals), the homomorphism sending is surjective with kernel the -power torsion;
- if is reduced then is reduced; if is a domain and then is a domain;
- the construction is independent of the generating set and of the representative used for the homogeneous localization, up to canonical -algebra isomorphism.
Facts & Assumptions
Given: A commutative ring , an ideal and an element ; the Rees algebra of (The Rees algebra of an ideal and the Rees module of a filtered module), localized at the multiplicative set generated by the degree-one element (Multiplicative subsets and the localisation as equivalence classes of fractions), with grades read in the sense of (Nonnegatively graded rings and modules, homogeneous elements, and twists).
The Rees algebra of an ideal and the Rees module of a filtered module: For an ideal of a commutative ring , the Rees algebra is the graded subring , whose degree- piece is (so ), with .
Multiplicative subsets and the localisation as equivalence classes of fractions: For a commutative ring and a multiplicative subset , the localization has elements written with iff for some ; the operations are and ; every maps to a unit; if the localization is the zero ring.
Nonnegatively graded rings and modules, homogeneous elements, and twists: A nonnegatively graded ring is a commutative ring with ; an element of is homogeneous of degree . In particular the degree-zero part of a -graded ring is closed under addition, multiplication and contains the unit class of the localization, and products of homogeneous elements add degrees.
The ideal generated by a subset and principal ideals: If then every element of is a finite sum with , and conversely each lies in .
Proof
An element of the localization is a class with and ; writing , its degree-zero component is with . Hence the degree-zero part consists of the classes of with and , so that ; for , one has in if and only if for some , because the defining relation is and is a nonzerodivisor of .
The assignment , , is a well-defined injective ring homomorphism: well-defined and injective because in holds exactly when for some , i.e. exactly under the equality criterion of step 1.1; compatible with addition because and with multiplication because the product is . Its image is the -subalgebra generated by the fractions : every is the image of , and conversely every is a finite sum of products of elements of , so is a sum of products of these generators (with coefficients from ). Hence as -algebras and all computations may be performed in .
The element is invertible in , hence a nonzerodivisor on , hence a nonzerodivisor on the subring ; in particular the image of in is a nonzerodivisor. Moreover because , and because for and with one has with ; hence .
The image of lies in , since for and ; thus , and the inclusion induces . Hence , that is, .
Let send to . Its image contains and every ; since is generated by the , every is a finite sum , whence lies in the image; as the image is an -subalgebra of containing all it contains . So is surjective.
If is reduced, then so is the localization , and is a subring of a reduced ring, hence reduced: if in then already in . If is a domain and , then is a nonzero subring of a field (nonzero because with ), hence a domain, and so is its subring .
Localizing at the multiplicative set generated by gives in which is a unit and hence ; the -algebra homomorphism sending is therefore surjective and has zero kernel, because evaluation at identifies the quotient with . Since the image of in is by step 3.3, , and by the defining relation of the localization an element lies in this kernel exactly when for some , i.e. exactly when is -power torsion.
The description of step 2.1 uses only the pair : no generating family is chosen, and a class in is compared with another by the equality criterion of step 1.1, so the use of a particular fraction representative is immaterial. A finite generating family with only produces the presentation of step 3.3, whose kernel is described in step 4.1; the image and hence the algebra are the same for every such family, with the identity of as the canonical isomorphism. Finally, for with the algebras and lie in different localizations of ; the statement asserts no identification between them, and the transition maps between the corresponding charts are supplied separately by the standard-chart theorem.
Remarks
The vanishing of is allowed: if then lies in the multiplicative set generated by and the localization, and hence , is the zero ring, consistently with ; all four assertions then hold trivially. The description is the normal form used in the chart computations of the blowup.
Affine blowup standard charts and overlaps
Statement
Assume the Axiom of Choice as inherited from the Proj construction. Let be a ring, , and . The standard opens cover . Put in . Then in , with canonical -algebra identifications . They send to , and to . These identifications satisfy the identity and cocycle conditions and preserve the structural maps to . Different finite generating families give compatible chart covers of the same canonical blowup; no bijection between the chart families is asserted. The formulas include zero divisors and empty charts; nilpotent gives . Localization at the base element is generally smaller than this overlap and is not its formula.
Facts & Assumptions
Given: A ring , an ideal , the Rees algebra (Rees algebra sheaf of a finite type ideal), the blowup (Blowup of a scheme along an ideal sheaf), and the Axiom of Choice as inherited from the Proj construction (The Axiom of Choice).
Blowup of a scheme along an ideal sheaf: For and , the blowup is the absolute Proj of the Rees algebra , with structural morphism to .
Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For a ring , an ideal and , the affine blowup algebra is , the degree-zero part of the localisation of at the multiplicative set generated by .
Proj carries a scheme structure: For a commutative nonnegatively graded ring , carries open subscheme identifications for homogeneous , the form an affine open cover, and for homogeneous of degrees the set is carried by onto , with transition induced by ; the underlying space is with the standard-open basis, the scheme is unique for these identifications, and if is nilpotent then and .
Standard opens of Proj: For homogeneous , is a standard open.
Standard opens are affine: The canonical chart map is an isomorphism, including the empty case: nilpotent gives and .
Proof
Put , a homogeneous element of degree one, so that is generated as an -algebra by , and is generated as an ideal by ; hence no homogeneous prime of contains all without containing , and the standard opens cover by [F1], [F3], [F4]. Moreover by [F2], so by [F5].
For each pair , [F3] applied to the degree-one elements identifies with , where , and identifies the two charts through the canonical isomorphisms .
The identification of step 2.1 can be checked directly and torsion-safely: the canonical map is surjective, because a degree-zero fraction with homogeneous of degree equals with ; and it is injective, because vanishing of the image means in for some , whence in . No cancellation of in is used. The same identification sends to computed in , which equals , and sends to .
The identifications satisfy the identity condition (for , and the transition is the identity) and the cocycle condition: on a triple overlap every transition is induced by the localisation map and taking degree zero, so the three compositions around the cycle coincide with the identity on . They preserve the structural maps to , because they are isomorphisms of -algebras for the structure maps of the charts.
For with , , one has with and , and , so the overlap in retains the points with and . Localising instead at the base element gives , which is strictly smaller than and omits those points; hence localisation at the base element is not the overlap formula.
A second finite generating family gives the charts of the same scheme , with their own overlap identifications supplied by the same formulas of [F3] applied to the degree-one elements of ; on the intersection of a chart of the first family and a chart of the second, , the transition is again induced by the canonical localisation of , so the two cover structures are compatible. No bijection between the two chart families is asserted: the charts are indexed by different generating sets and need not correspond individually.
The formulas allow zero divisors and empty charts: step 3.1 never cancels in , and if is nilpotent then is nilpotent, so and by [F3] and [F5]; the same holds for the overlap formula in the degenerate cases. This completes the proof.
Blowups restrict to open subschemes of the base
Statement
Assume the Axiom of Choice as inherited from the relative Proj construction. Let be an open subscheme of a scheme , let be a quasi-coherent ideal sheaf on and let be its restriction. Then there is a canonical isomorphism of -schemes , equivalently an isomorphism of the open subscheme of with over ; these isomorphisms are compatible with inclusions of opens.
Facts & Assumptions
Given: A scheme , an open subscheme (Open immersions of schemes), a quasi-coherent ideal sheaf (Quasi-coherent ideal sheaves) with restriction , and the blowup of (Blowup of a scheme along an ideal sheaf), whose Rees algebra is .
Relative Proj commutes with arbitrary base change: For a morphism and a quasi-coherent graded -algebra , with graded by , there is a canonical isomorphism of -schemes , natural in , compatible with the relative twists. No flatness and no finite-generation hypothesis is required.
Rees algebra sheaf of a finite type ideal: For a quasi-coherent ideal sheaf on a scheme , the Rees algebra sheaf is with degree- piece and multiplication induced by multiplication in ; the construction is local on and on an affine chart with it restricts to the sheaf associated to .
Scheme pullback preserves quasi-coherence: Pullback of a quasi-coherent module along a morphism of schemes is quasi-coherent, and on affine opens with , , and one has .
Base change of immersions: Open immersions remain open immersions after arbitrary base change.
Base change of objects, morphisms and properties: The base change of along is with second projection as structure map, and the formulas preserve identities and composition.
Blowup of a scheme along an ideal sheaf: For a scheme and a quasi-coherent ideal sheaf of finite type with zero scheme , the blowup is with structural morphism to and relative twists.
Proof
The pullback along of the Rees algebra is the Rees algebra of the restricted ideal: as graded -algebras. Indeed, restriction to the open subscheme is exact and commutes with tensor products, so for every , and these identifications are compatible with the multiplications inherited from and ; the graded pieces of both sides are quasi-coherent by [F3], and is again quasi-coherent (of finite type when is).
Applying [F1] to the morphism and the graded algebra gives a canonical isomorphism of -schemes , where the last equality is the definition of the blowup of along ; the isomorphism is compatible with the relative twists.
The first projection is the base change of the open immersion along , hence an open immersion by [F4], and its underlying image is the open subset . Identifying the fibre product with this open subscheme via that open immersion turns the isomorphism of step 2.1 into an isomorphism over .
The isomorphisms are compatible with inclusions of opens: for open subschemes one has by [F5], and the isomorphism of [F1] is natural in the base morphism, so the identifications for and for restrict to one another; the same naturality makes the passage to of step 3.1 compatible with the inclusion .
Remarks
For an ideal not of finite type, the notation here extends Blowup of a scheme along an ideal sheaf by using directly. Its graded algebra is quasi-coherent by the affine ideal-power calculation of Rees algebra sheaf of a finite type ideal, and no finite generation is required by Relative Proj of a graded quasi-coherent algebra.
- The statement is written for a quasi-coherent ideal sheaf; the finite type hypothesis of Blowup of a scheme along an ideal sheaf is not needed for either side of the comparison and is preserved under restriction when it is imposed.
- The identifications are canonical: on the overlaps of two open subschemes the two blowups agree because both restrict the same graded algebra .
The blowup is independent of chosen ideal generators
Statement
Assume the Axiom of Choice, inherited from the relative Proj construction used to define the blowup (The Axiom of Choice). Let be a scheme and let be a quasi-coherent ideal sheaf of finite type on (Quasi-coherent ideal sheaves). For two finite families of local generators of on an open cover of , the corresponding collections of standard affine charts and overlap identifications of the blowup of Blowup of a scheme along an ideal sheaf glue to canonically isomorphic -schemes; on a common chart the canonical isomorphism is the identity on the common affine blowup algebra. In particular , as a relative Proj, does not depend on any chosen finite generating set, and the affine blowup presentations for are canonically identified with the standard charts.
Facts & Assumptions
Given: A scheme with a quasi-coherent ideal sheaf of finite type, its Rees algebra sheaf (Rees algebra sheaf of a finite type ideal), the blowup (Blowup of a scheme along an ideal sheaf), and for an affine open with and the affine blowup algebra , the degree-zero part of the localisation of at the degree-one element (Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains).
Blowup of a scheme along an ideal sheaf: The blowup is the relative Proj of the Rees algebra sheaf, with structural morphism to ; the Rees algebra and its graded pieces are intrinsic to , with no auxiliary generating data.
Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For the affine blowup algebra has with a nonzerodivisor, equals after inverting , and is independent of the generating set and of the representative used for the homogeneous localisation, up to canonical -algebra isomorphism.
Affine blowup standard charts and overlaps: For the standard opens cover ; their overlaps are for in , with canonical identifications , , satisfying the identity and cocycle conditions and preserving the structure maps to . Different finite generating families give compatible chart covers of the same canonical blowup.
Blowups restrict to open subschemes of the base: For an open subscheme there is a canonical isomorphism , compatible with inclusions of opens.
Proof
The Rees algebra and the affine blowup algebra for depend only on and : by [F2] the affine blowup algebra is independent of the chosen generating set and of the representative of the homogeneous localisation, up to canonical isomorphism.
Let be an affine open and let generate . By [F3] the standard opens cover , with overlaps and the canonical identifications of chart rings given by the ratios of the degree-one elements of .
Now let be a second finite family generating the same ideal . Both families present open covers of the single scheme by [F1]: a standard chart is the basic open of the degree-one element , so the charts of the two families are open subschemes of the same relative Proj, and every overlap is the basic open of the degree-zero ratio of the two degree-one elements inside this Proj, identified with the corresponding localised chart ring as in [F3].
If a chart occurs in both families, that is for some , the two chart rings are both the affine blowup algebra of [F2], and the identification is the identity of this common algebra, well defined independently of the family by step 1.1.
The chartwise identifications of steps 2.1 and 2.2 are the restrictions of the identity of the single scheme to the members and pairwise overlaps of the two covers, so they satisfy the identity and cocycle conditions automatically, and glue to an isomorphism of presentations of ; over an affine cover of these isomorphisms are compatible on overlaps by [F4], so they glue to a canonical isomorphism of -schemes between the presentations of built from the two generating families. In particular does not depend on a chosen finite generating set, and the affine blowup presentations , , are precisely the standard charts of the canonical blowup.
Remarks
- No bijection between the two chart families is produced, and none is needed: the two covers are compared inside the same relative Proj through their pairwise overlaps, as in [F3].
- The statement is used in practice to read off the standard charts for any convenient without changing the blowup; the fractional rescaling invariance of Invariance of the blowup under invertible (fractional) rescaling of the ideal is a different statement, comparing blowups of different ideals.
The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier
Statement
Assume the Axiom of Choice, inherited from the relative Proj construction (The Axiom of Choice). Let be a quasi-coherent ideal sheaf of finite type on a scheme (Quasi-coherent ideal sheaves), let be its blowup and let be the exceptional subscheme, with the convention that is the positive relative twist of the Rees algebra and . Then:
- is invertible;
- the natural degree-one map is surjective, its image is the inverse image ideal , and the induced map of invertible sheaves is an isomorphism;
- is invertible and is an effective Cartier divisor on , with and .
Facts & Assumptions
Given: A scheme , a quasi-coherent ideal sheaf of finite type, the Rees algebra sheaf (Rees algebra sheaf of a finite type ideal), the blowup with relative twists (Blowup of a scheme along an ideal sheaf, Relative Proj of a graded quasi-coherent algebra), and the exceptional subscheme with ideal sheaf the inverse image ideal (Exceptional subscheme of a blowup).
Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For on an affine open , the chart of has with a nonzerodivisor of , and the charts over a finite generating family cover the blowup.
Invertible twists for degree-one generated rings: For a commutative graded ring generated over by , all twists are invertible, with ; the empty Proj is allowed.
Twisting sheaf on Proj and Relative Proj of a graded quasi-coherent algebra: The relative twist of a relative Proj is the sheaf whose sections over the chart are the degree-one part of the localised graded algebra; it is the sheafification of the degree-one part, and on an affine base it restricts to the absolute twist .
Invertible sheaves and Effective cartier divisor: A sheaf is invertible when it is locally free of rank one; an effective Cartier divisor on a scheme is given by local equations that are regular sections, i.e. nonzerodivisors on the stalks.
Invertible sheaf of cartier divisor and Effective Cartier divisors give a short exact sequence: For an effective Cartier divisor the sheaf is the ideal sheaf , and there is a short exact sequence .
Proof
The Rees algebra is generated in degree one. Thus its positive twist is invertible on each affine base, and these restrictions give an invertible sheaf on the relative Proj. There are two natural maps from : the structural multiplication map to , whose image is , and the degree-one map to .
On a standard chart , is free with frame . For and , the maps are and . The first is surjective since . Since is a nonzerodivisor in , these formulas give , including for sums of tensors. Consequently factors uniquely through the image of and induces an isomorphism taking to . This does not assert that is free or torsion-free.
The equality of the kernels is local and therefore global. The induced isomorphisms are restrictions of this unique factorization, so agree on overlaps. Hence canonically. The ideal cuts out and is locally generated by the nonzerodivisor , so is effective Cartier. Its ideal is , and dualizing the isomorphism gives . Empty charts and the empty blowup satisfy the same assertions.
Remarks
- Assertion 2 identifies the inverse image ideal with the twist as an invertible sheaf, which is what makes Cartier even when the centre is neither reduced nor Cartier in .
- Combining assertion 3 with Effective Cartier divisors give a short exact sequence gives the short exact sequence on the blowup, a form used in cohomological computations.
Universal property of an affine blowup chart
Statement
Let be a ring map, an ideal and ; suppose the image is a nonzerodivisor in and . Then there is a unique -algebra homomorphism sending to the unique with (); equivalently, is the unique -morphism into the chart along which the image of generates . The chart itself satisfies the hypothesis with the image of .
Facts & Assumptions
Given: A commutative ring , an ideal , an element , a ring map whose image is a nonzerodivisor in and satisfies , and the affine blowup algebra of (Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains) built from the Rees algebra of (The Rees algebra of an ideal and the Rees module of a filtered module).
Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For a commutative ring , an ideal and , the affine blowup algebra is the degree-zero part of the localisation of the Rees algebra at the multiplicative set generated by ; the image of in is a nonzerodivisor and .
The Rees algebra of an ideal and the Rees module of a filtered module: For a commutative ring and an ideal , the Rees algebra is the graded subring ; equivalently, it is the graded ring whose degree- piece is .
Multiplicative subsets and the localisation as equivalence classes of fractions: For a commutative ring and a multiplicative subset , the localisation has elements written with if and only if for some ; the operations are and ; every maps to a unit.
Proof
Put . By the fraction description of the affine blowup algebra, every element of has the form , , and precisely when for some . Since , there is a unique with : existence follows from this ideal equality and uniqueness from the nonzerodivisor hypothesis on .
Define . If , write and . Applying to the equality criterion gives , hence . Thus is well defined. The numerator of the sum is , whose image is ; the product numerator has image . Uniqueness of division by proves additivity and multiplicativity. Degree-zero fractions show that restricts to on and sends to .
Any -algebra map satisfies , because in . Cancellation of forces for every fraction. Hence the map is unique among all -algebra maps. The chart itself has with a nonzerodivisor, and the affine scheme/ring correspondence gives the stated geometric formulation.
Universal property of the blowup
Statement
Assume the Axiom of Choice. Let be a quasi-coherent ideal sheaf of finite type on with zero scheme , and let be the blowup. For every -scheme such that the inverse image is an effective Cartier divisor on , there is a unique -morphism . Equivalently, is the final object of the category of -schemes in which the inverse image of is an effective Cartier divisor.
Facts & Assumptions
Given: The Axiom of Choice, a quasi-coherent ideal sheaf of finite type on with zero scheme , the blowup , and an -scheme such that is an effective Cartier divisor on .
Choice. The Axiom of Choice is assumed, as in the statement; the cited suppliers used below are stated under it.
Universal property of an affine blowup chart: Let be a ring map, an ideal and , and suppose the image is a nonzerodivisor in with . Then there is a unique -algebra homomorphism sending to the unique with ; equivalently, is the unique -morphism into the chart along which the image of generates .
Affine blowup standard charts and overlaps: If and , the standard opens cover , with transition maps sending to on the overlaps.
Blowup of a scheme along an ideal sheaf: with structural morphism , and the blowup is local on the base: over an affine open with it is covered by the charts .
Scheme-theoretic inverse images of subschemes: For and the closed subscheme , the scheme-theoretic inverse image is , and the inverse-image ideal is .
Effective cartier divisor: A Cartier divisor is effective when it has a local-equation representation by regular sections ; the local principal ideals glue to an ideal sheaf, and a unit equation represents the empty divisor.
Morphisms of schemes are local on compatible open covers: Compatible morphisms on an open cover glue uniquely, and two morphisms out of are equal if their restrictions to an open cover are equal.
Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: The chart algebra is the degree-zero part of the localization of at , with , and a nonzerodivisor; for , , the chart receives a surjection .
The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier: The inverse-image center ideal on the blowup is invertible and locally generated by a nonzerodivisor; its zero scheme is an effective Cartier divisor.
Proof
Work over an affine with . Cover its inverse image in by affines on which with a nonzerodivisor. Write . A relation and cancellation of show , so the cover . On each , is a nonzerodivisor generating the inverse-image ideal, and the affine chart property gives a map to chart , sending to .
We first prove uniqueness for any two lifts on such a . At a point , any lift has image in some chart ; shrink around so it lands in that chart. There the pulled-back ideal is generated by , since . Since also generates near , write and . Cancellation of the regular element gives . Thus the pullback of the ratio is a unit. A local ring map then puts in the ratio open of chart , which is its intersection with chart . This holds at every , so factors through chart . The unique chart map of [F1] therefore determines any lift. Equality on this open cover proves local uniqueness.
The maps constructed in step 1.1 agree on intersections by this local uniqueness, after refining intersections by affines on which the pulled-back ideal has a regular generator. The same argument compares constructions from different base affines and different local equations. They consequently glue to an -morphism . Any two global lifts coincide on these local covers by step 2.1, hence coincide globally.
The blowup itself belongs to the specified category: its inverse image of is effective Cartier by [F8]. Every object has exactly one morphism to it by step 3.1. This is precisely finality in that category.
Uniqueness of the blowup
Statement
Assume the Axiom of Choice. Let be a quasi-coherent ideal sheaf of finite type with zero scheme . If is an -scheme such that is an effective Cartier divisor and carries the universal property of (every -scheme in which the inverse image of is an effective Cartier divisor maps uniquely to over ), then there is a unique -isomorphism . In particular any two models of the blowup are uniquely isomorphic over .
Facts & Assumptions
Given: A quasi-coherent ideal sheaf of finite type on with zero scheme , the blowup , and an -scheme whose inverse image of is an effective Cartier divisor and which carries the same universal property.
Choice. The Axiom of Choice is assumed as inherited from the blowup and Proj constructions used by the cited items.
Universal property of the blowup: For every -scheme in which the inverse image of is an effective Cartier divisor there is a unique -morphism ; equivalently is final among such -schemes.
The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier: The inverse image ideal is invertible and is an effective Cartier divisor on ; in particular the blowup is itself an -scheme in which the inverse image of is an effective Cartier divisor.
Blowup of a scheme along an ideal sheaf: The blowup is the relative Proj of the Rees algebra with its structural morphism to . The identification of its exceptional subscheme with the inverse image of used here is supplied by [F2].
Proof
By [F2] the blowup is an object of the category of -schemes in which the inverse image of is an effective Cartier divisor, and by hypothesis is such an object as well.
Applying the universal property of the blowup [F1] to the -scheme gives a unique -morphism with ; applying the universal property carried by to the -scheme gives a unique -morphism with .
The composite is an -morphism with , and so is ; since by hypothesis there is at most one -morphism from the admissible -scheme to , namely the map required by the universal property, we get ; symmetrically because and the identity are both -morphisms from to itself and [F1] gives a unique one. Hence is an -isomorphism, and it is the unique one: any -isomorphism is an -morphism between admissible objects and therefore equals by the uniqueness clause of [F1]; in particular any two models of the blowup are uniquely isomorphic over .
The blowup is an isomorphism off the center
Statement
Let be a quasi-coherent ideal sheaf of finite type with zero scheme and let be the blowup. Then the restriction is an isomorphism of schemes, with inverse characterized by the universal property applied to the identity of (where the inverse image of is empty) and to the open immersion . Consequently is the complement of this open subscheme.
Facts & Assumptions
Given: A quasi-coherent ideal sheaf of finite type with zero scheme , and the blowup .
Choice. The Axiom of Choice is assumed as inherited from the blowup and Proj constructions used by the cited items.
Affine blowup standard charts and overlaps: For , the standard opens cover , with transition functions .
Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For the affine blowup algebra satisfies and , the latter being the ordinary localization of at .
Blowup of a scheme along an ideal sheaf: with its structural morphism to ; the affine chart cover is supplied by [F1].
Universal property of the blowup: For every -scheme whose inverse image of is an effective Cartier divisor there is a unique -morphism .
Effective cartier divisor: A unit equation represents the zero Cartier divisor, the empty effective divisor, and the empty scheme has only this effective divisor.
Exceptional subscheme of a blowup: with ideal sheaf , and is set-theoretically the preimage of .
Proof
Cover by affine opens with ; by [F1] and [F3] the preimage is covered by the charts , and by [F2] the chart ring localizes to after inverting , and this chart contains the entire inverse image of . Indeed, in every chart one has ; wherever is invertible, both and the ratio are invertible. The ratio-overlap formula of [F1] puts this open of chart in chart . Thus the restriction of over the principal open is an isomorphism : it is the structural map followed by localization, and .
These local inverses glue. Let and be any two base opens of the form in step 1.1, possibly in different affine base neighborhoods. The structural map on the whole inverse image is an isomorphism onto . Restricting it to gives an isomorphism . Both local inverse maps restricted to this intersection land in that inverse image and are inverses of this same isomorphism, so they agree. Thus they glue to with . For two charts in one affine base, only the restriction of their chart overlap over is identified with ; the whole ratio overlap can also contain points over .
The morphism is an inverse for . Since is covered by the opens of step 1.1, and over each such open the restriction of is the inverse of the restriction of (step 1.1), the composite agrees with after restriction to the cover of by the opens , on each of which is an isomorphism; hence and , so is an isomorphism.
The inverse is characterized by the universal property: the inverse image of under the identity is empty, hence the zero Cartier divisor, which is effective by [F5]; so [F4] gives a unique -morphism lifting the identity, and is an inverse of over ; by uniqueness of the inverse of the isomorphism of step 3.1, . In particular is the unique morphism over from into the blowup.
Finally is the complement of : by [F6], is set-theoretically the preimage of , so its underlying set is the complement of the underlying set of , i.e. is the complement of the open subscheme in the blowup.
Blowups of finite type ideals are locally H-projective, and proper
Statement
Assume the Axiom of Choice, inherited from the relative Proj construction (The Axiom of Choice). Let be a scheme, let be a quasi-coherent ideal sheaf of finite type on (Quasi-coherent ideal sheaves) and let be the blowup of Blowup of a scheme along an ideal sheaf. Then:
- is locally H-projective on : for every affine open with , the pullback of the graded surjection , , exhibits as a closed subscheme of .
- If is generated as an -module by finitely many global sections (Global generation by the evaluation map), then the same surjection makes a closed subscheme of over ; in particular is H-projective (Projective morphisms before Proj).
- In all cases is proper, since properness is local on the base and each is H-projective hence proper.
Facts & Assumptions
Given: A scheme , a quasi-coherent ideal sheaf of finite type, the blowup (Blowup of a scheme along an ideal sheaf), and for an affine open the restricted ideal with affine blowup algebras .
Closed subschemes of projective space and saturated ideals: For a commutative ring and a homogeneous ideal one has as a closed subscheme of , and on the chart it is ; every closed subscheme of arises from a unique saturated homogeneous ideal.
Affine-local graded algebras glue their Proj charts: The relative Proj of a quasi-coherent graded -algebra is obtained by gluing the spectra over affine opens , with canonical restriction and cocycle identifications.
Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For the standard opens cover , and the chart presentations are independent of the chosen generating family; for affine there is a canonical identification (Blowups restrict to open subschemes of the base).
Global generation by the evaluation map: A quasi-coherent sheaf is generated by global sections exactly when the evaluation morphism , , is surjective.
Projective morphisms are proper and Properness is local on the target: An H-projective morphism is proper, and properness is local on an open cover of the base.
Closed immersions of schemes and Quasi-coherent module on a scheme: A morphism is a closed immersion when it is a homeomorphism onto a closed subset and is surjective; both conditions are local on the target, and kernels of morphisms of quasi-coherent modules are quasi-coherent.
Proof
Let be affine and let generate . The graded -algebra homomorphism , , is surjective, because in degree the images of the monomials of degree generate ; hence by [F1] it presents as the closed subscheme over , which is assertion 1.
If is generated by global sections , then the evaluation morphism is surjective by [F4], and consequently the induced morphism of graded -algebras , , is surjective in every degree, because in degree its image is the subsheaf generated by the products of of the global sections, which is by hypothesis.
Assume the global generation of step 1.2. On every affine open the restriction of is the surjection of step 1.1 for the restricted generators, so by step 1.1 the morphisms are closed immersions over ; these affine-local morphisms agree on overlaps because they are induced by the restrictions of the single graded morphism and the identifications of [F2] are canonical, so they glue to a morphism over .
The glued morphism of step 2.1 is a closed immersion: surjectivity of the structure map of sheaves is checked on stalks, and a subset of whose traces on the members of an open cover are closed is closed, so both conditions of [F6] are affine-local and hold because each restriction is a closed immersion; hence is a closed subscheme of over , and is H-projective by Projective morphisms before Proj, which is assertion 2.
For every affine open the restriction is a closed subscheme of over by step 1.1, hence H-projective and therefore proper by [F5]; since properness is local on an open cover of the base by [F5], the morphism itself is proper, which is assertion 3, and it holds whether or not is globally generated.
Remarks
- Assertion 1 holds for an arbitrary finite type ideal sheaf; assertion 2 needs the stronger hypothesis that the ideal is generated by finitely many global sections, and it is this case that produces a globally defined closed immersion into relative projective space.
- The properness in assertion 3 is the only part used in the sequel for valuative arguments and for the direct image computations on an affine base; the local H-projectivity is used to read off charts.
Blowing up a nonzero ideal on an integral scheme is birational
Statement
Assume the Axiom of Choice, inherited from the blowup construction (The Axiom of Choice). Let be an integral scheme (Integral schemes) and let be a nonzero quasi-coherent ideal sheaf of finite type. Then is integral and is birational: is an isomorphism over the nonempty dense open , and the generic point of maps to the generic point of . If moreover is normal and every irreducible component of has codimension at least two, the blowup is an isomorphism in codimension one, i.e. over the complement of a closed subset of codimension at least two.
Facts & Assumptions
Given: An integral scheme , a nonzero quasi-coherent ideal sheaf of finite type with zero scheme , the blowup (Blowup of a scheme along an ideal sheaf), and the generic points of and of (Generic points of irreducible closed subsets).
Integrality and reducedness of blowups from the Rees charts: For an integral and a nonzero ideal sheaf of finite type, the blowup is integral; in particular it is nonempty, reduced and irreducible, with a unique generic point.
The blowup is an isomorphism off the center: The restriction is an isomorphism of schemes, and is the complement of this open subscheme.
Birational morphisms of integral finite-type schemes: For integral -schemes of finite type, a morphism is birational when it carries the generic point of the source to the generic point of the target and the induced map on local rings at the generic points is an isomorphism; equivalently identifies the function fields.
Integral schemes and The reduction of a scheme: An integral scheme is reduced, so its nilradical ideal is zero; hence a nonzero ideal sheaf has , and is a nonempty open subset of the irreducible space , therefore dense.
Proof
The blowup is integral by [F1], and is isomorphic to the nonempty dense open by [F2, F4]. The generic point of an integral scheme belongs to every nonempty open; it is also the generic point of that open. Hence the generic point of the blowup belongs to and maps to the generic point of , namely the generic point of . The open isomorphism identifies their local rings. This proves the concrete birational assertion for arbitrary integral , and the function-field formulation when [F3] applies.
Under the codimension assumption, a point in is a specialization of the generic point of an irreducible component of . Codimension cannot decrease under specialization: locally, the corresponding prime contains that component's prime, and every chain below the latter is also a chain below the former. Thus no point of codimension at most one belongs to . The isomorphism over is therefore an isomorphism in codimension one, in exactly the sense stated. Normality is not needed for this implication.
Remarks
- Normality of is not needed for the direction proved here; it is the standard hypothesis in the converse statements comparing a birational morphism with a blowup, which are not claimed on this page.
- The birationality statement for an arbitrary integral base is the concrete one: isomorphism over a nonempty dense open with the generic point carried to the generic point; the function-field formulation of Birational morphisms of integral finite-type schemes applies over a field.
Flat base change for blowups, and failure without flatness
Statement
Assume the Axiom of Choice as inherited from the relative Proj construction. Let be a flat morphism of schemes and a quasi-coherent ideal sheaf of finite type on . Then there is a canonical isomorphism of -schemes , where is the inverse image ideal sheaf, compatible with the structural morphisms and the relative twists. Without flatness the natural comparison map need not be an isomorphism: the powers can differ from by torsion (compare the companion counterexample).
Facts & Assumptions
Given: A morphism of schemes , a quasi-coherent ideal sheaf of finite type (Quasi-coherent ideal sheaves) with Rees algebra sheaf (Rees algebra sheaf of a finite type ideal), the inverse image ideal sheaf , the blowups and (Blowup of a scheme along an ideal sheaf), and the base change of (Base change of objects, morphisms and properties).
Flat and faithfully flat modules and ring homomorphisms: A module over a commutative ring is flat if preserves exact sequences; a ring map is flat when is flat as an -module. Flatness of a morphism of schemes is the corresponding local condition.
Scheme pullback preserves quasi-coherence: Pullback of a quasi-coherent module is quasi-coherent, and on affine opens with , , and , one has .
Tensor product preserves quasi-coherence: The tensor product of quasi-coherent -modules is quasi-coherent, and on an affine open with , it restricts to .
Rees algebra sheaf of a finite type ideal: The Rees algebra sheaf is with degree- piece , multiplication induced by multiplication in ; it is a quasi-coherent graded -algebra.
Blowup of a scheme along an ideal sheaf: For a scheme and a quasi-coherent ideal sheaf of finite type, with structural morphism to and relative twists.
Relative Proj commutes with arbitrary base change: For and a quasi-coherent graded -algebra with , there is a canonical isomorphism of -schemes , natural in , compatible with the relative twists; no flatness is required.
Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: The blowup of has charts with and with , with inverse ratio transition. The blowup of a principal regular ideal in is the identity, since its sole chart is .
Proof
Flat pullback commutes with the ideal powers and with the inverse image ideal: the natural maps and are isomorphisms. Affine-locally over with and mapping into , flatness of says is a flat -module; the sequence then stays exact after , so is injective, and its image is the ideal ; the pullback sheaf restricts to by [F2] and restricts to by [F2] and [F3], so the comparison is an isomorphism, and taking identifies with its image in .
Consequently as quasi-coherent graded -algebras: by step 1.1 the degree- pieces are both , and the pullback of the multiplication is the multiplication of the inverse image ideal, so the graded algebra structures agree; all pieces are quasi-coherent by [F2], [F3] and [F4].
Applying [F6] to the morphism and the graded algebra gives a canonical isomorphism of -schemes , and step 2.1 identifies the target with by [F5]; the inverse of this composite is the canonical isomorphism of the statement. The comparison is compatible with the structural morphisms because both sides are the relative Proj of the pulled-back graded algebra over , and with the relative twists by the corresponding clause of [F6].
The comparison need not be an isomorphism without flatness. Take , and . Then is principal regular and its blowup is . Base changing the two charts of the original blowup gives and , respectively, with inverse ratio gluing. The fiber of this base-changed blowup over is the two affine lines glued by , hence , whereas the fiber of is . Thus the comparison is not an isomorphism. The difference already appears in degree two: contains the nonzero class of , since and cancellation of in shows . This class maps to zero in , and is killed by since . Hence the flatness hypothesis cannot be dropped, and the stated torsion caveat is proved within this item.
Remarks
- The failure of flatness is not a defect of the relative Proj construction but of the identification of the pulled-back Rees algebra with the Rees algebra of the pulled-back ideal: Nonflat base change of a blowup can fail ↗ computes the torsion kernel in degree two and shows that the two sides of the comparison are not isomorphic.
- The theorem applies in particular to open immersions and to flat morphisms of finite type over a field, and no finite presentation of is assumed.
Strict transform of a closed subscheme
Definition
Assume the Axiom of Choice, inherited from the relative Proj construction used by the blowup (The Axiom of Choice). Let be a scheme, let be a quasi-coherent ideal sheaf of finite type (Quasi-coherent ideal sheaves), let be the blowup of Blowup of a scheme along an ideal sheaf with exceptional subscheme (Exceptional subscheme of a blowup), and let be a closed subscheme (Closed immersions of schemes) with scheme-theoretic inverse image . Write for the open subscheme obtained by deleting from this inverse image, with its open immersion .
The strict transform (or proper transform) of is the scheme-theoretic closure of in , that is, the scheme-theoretic image of (Scheme-theoretic image). This image exists for all the data above: the kernel ideal sheaf is quasi-coherent by the chart calculation below. The corresponding closed subscheme exists by Quasi-coherent ideals and closed subschemes, complete route and is the smallest closed subscheme through which factors. Its structural map is the restriction of the projection.
Chartwise description. The strict transform is determined by its restriction to the standard affine charts of the blowup. Let be an affine open and let ; on the chart the exceptional subscheme is cut out by by Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains and Exceptional subscheme of a blowup, the inverse image of is cut out by the ideal , where , and the strict transform meets the chart in the closed subscheme defined by the saturation the largest ideal of the chart ring containing whose localisation at equals the localisation of . To verify both existence and this description, put and . The inverse image of on this chart is , and its intersection with is (A principal localization identifies its spectrum with a distinguished open). The kernel of is precisely : a class becomes zero after localization exactly when some power of annihilates it. For every , localization of this kernel at is the kernel of , by Localisation of modules is exact. Thus on is the associated sheaf of , so it is quasi-coherent without any Noetherian hypothesis. These kernels agree on chart overlaps, since they all consist of sections whose restriction to is zero; equivalently the ratio transition of Affine blowup standard charts and overlaps makes and unit multiples. Consequently the chart subschemes glue to the closed subscheme cut out by . Its ideal restricts to zero on , so factors through it. Any other closed subscheme through which factors has ideal contained in , and therefore contains this one. This proves that the glued saturation construction is the scheme-theoretic closure in all cases, including an empty deleted open, whose closure is empty.
Reducedness. If is reduced, then is reduced. Indeed, on a chart as above the ring of the strict transform is , and the saturation is by construction the kernel of the localisation , so this ring embeds into , which is reduced when is; a subring of a reduced ring is reduced, and reducedness is local, so is reduced.
Iteration. The construction applies verbatim to a blowup of along any quasi-coherent ideal sheaf of finite type on it: for a closed subscheme , its inverse image under a further blowup and the deletion of that blowup's exceptional subscheme define the strict transform of , and the chartwise saturation description is unchanged. In particular a strict transform of a strict transform may be formed along a further blowup.
Remarks
- The strict transform depends on the scheme structure of the center, not just its underlying closed set. Multiplication of its ideal by an invertible ideal can preserve the blowup canonically while changing the center, exceptional locus and deleted open; it need not preserve strict transforms. For example, on the ideals and both have identity blowup. The strict transform of is for the first center and empty for the second.
- The chartwise saturation description is the one used in computations: the strict transform of a hypersurface with local equation in the chart of is cut out by the saturation , which removes the components supported inside the exceptional divisor; no closure operation is visible beyond this saturation.
- No reducedness, regularity or normality of or is assumed; the reducedness conclusion above is a statement about the strict transform, not about , which need not be reduced even for reduced .
Total transform of a Cartier divisor
Definition
Assume the Axiom of Choice (The Axiom of Choice) as inherited from the blowup construction, which is a relative Proj. Let be the blowup of a scheme along a quasi-coherent ideal sheaf of finite type (Blowup of a scheme along an ideal sheaf), and let be a Cartier divisor on (Cartier divisor) whose pullback along is defined (Pullback of a Cartier divisor). The total transform of under is the pullback Cartier divisor
Its associated invertible sheaf is the pullback of the invertible sheaf of : there is a canonical isomorphism of -modules (Pullback of a Cartier divisor computes the pullback of its line bundle).
The pullback is defined for every effective Cartier divisor. Indeed, on a standard chart , a nonzerodivisor remains a nonzerodivisor after localization and on this subalgebra. Thus every effective local equation pulls back to a regular equation, without a dominance assumption. For integral and nonzero , the chart embeddings in the function field similarly pull back nonzero rational local equations, so every Cartier divisor has a pullback. If , the blowup is empty and these assertions hold vacuously.
For a reduced curve on a regular surface, blowing up a closed point with two-dimensional regular local ring gives the formula where is the order of its local equation at that point. This formula is proved in Total transform equals strict transform plus multiplicity times the exceptional divisor ↗; it is not part of the definition for arbitrary centers. For example, on , the blowup of is the identity, its exceptional Cartier divisor is , and the strict transform of is empty. No integer expresses as .
Total transform equals strict transform plus multiplicity times the exceptional divisor
Statement
Assume the Axiom of Choice. Let be a regular surface over a field and let be a reduced curve (an effective Cartier divisor) with a closed point such that , at which the multiplicity of a local equation is finite and positive. Let be the blowup of the point with exceptional curve and let be the strict transform of . Then as effective Cartier divisors on ; equivalently, the strict transform is defined by dividing a local equation of the total transform by the -th power of an exceptional equation on each chart, and meets in the -cycle of degree cut out by the degree- leading form of a local equation of at (its degree over is ; its degree over is when this residue degree is finite).
Facts & Assumptions
Given: A regular surface over , a reduced curve that is an effective Cartier divisor, a closed point with at which a local equation of has finite positive multiplicity, the blowup of , the exceptional curve , and the strict transform of .
Choice. The Axiom of Choice is assumed as inherited from the blowup and associated-graded constructions used below. (The Axiom of Choice).
Total transform of a Cartier divisor: The total transform of an effective Cartier divisor is its effective Cartier pullback, with associated line bundle the pulled-back line bundle.
Strict transform of a closed subscheme: The strict transform of a closed subscheme is the scheme-theoretic closure of the inverse image minus ; when the ideal of is invertible on a chart, it is the closed subscheme defined by the saturation of the inverse-image ideal by the ideal of .
The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier: The inverse image ideal of the blowup is invertible, and is an effective Cartier divisor cut locally by a generator of that ideal.
Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For a domain and , the affine blowup algebra is a domain with .
associated graded ring of a regular local ring: At the regular local ring of dimension two with regular parameters , the associated graded ring is with the initial classes of .
Cartier divisor local equation equivalence: Two effective Cartier divisors agree where their local equations differ by a unit; effective Cartier data are exactly principal ideals generated by regular sections.
Affine blowup standard charts and overlaps: The blowup at has the two charts and , glued by inverting the ratio.
Regular centers have projective-bundle exceptional divisors: At a closed point with two-dimensional regular local ring, the exceptional curve is . The quotient chart presentations are established directly in step 1.1.
regular local rings are domains and cohen macaulay: The regular local ring is a domain; its regular parameters form a regular sequence, so is a nonzerodivisor and is a nonzerodivisor modulo .
Proof
At put , and . The equation has nonzero leading form in . Write the finite ideal-power expression with . By [F9], is a domain and form a regular sequence. The chart is : if , reduction modulo and regularity of modulo give , and cancellation gives ; hence the incidence quotient has no -power torsion and [F4, F7] identify it with the chart. In this chart, the ideal-power expression gives , where and . The ring is a domain and , so is prime and does not divide .
If in , primality of forces , and cancellation gives . Therefore , and iteration gives . The strict-transform chart is thus . Since is a nonzero element of a domain, it is a Cartier equation, and the factorization gives the total-transform identity there. In the second chart the identical argument gives , with . On the overlap , so cancellation of gives ; the equations differ by a unit and glue. Off the exceptional curve the blowup is the identity, as follows by inverting the chart denominators. Hence globally is effective Cartier and .
On , these equations cut the homogeneous divisor of the nonzero degree- form . To include the entire projective line, set . Its zeros in this affine chart have total degree , since has dimension (zero if ); this counts local lengths times residue degrees. At the omitted point, , the identity gives order . Thus the complete zero-cycle degree over is . When is finite, each residue degree over is that degree times its degree over , giving . No splitting or separability assumption is used.
The exceptional divisor is the projectivized normal cone
Statement
Assume the Axiom of Choice, inherited from the relative Proj construction (The Axiom of Choice). Let be a closed subscheme of a scheme cut out by a quasi-coherent ideal sheaf of finite type (Quasi-coherent ideal sheaves) and let be the exceptional subscheme of the blowup (Exceptional subscheme of a blowup). Then there is a canonical isomorphism of -schemes the projectivized normal cone of in . On an affine chart with , the fibre of over a point of is , the projectivized fibre of the normal cone (for a closed point center this is its projectivized tangent cone), and the closed immersion identifies with the divisor in the chart .
Facts & Assumptions
Given: A scheme , a quasi-coherent ideal sheaf of finite type with zero scheme , the blowup (Blowup of a scheme along an ideal sheaf), the exceptional subscheme with ideal sheaf (Exceptional subscheme of a blowup), and the associated graded sheaf (The associated graded ring and associated graded module of an ideal-adic filtration).
Exceptional subscheme of a blowup: The exceptional subscheme is the scheme-theoretic inverse image , with ideal sheaf the inverse image ideal ; it is a closed subscheme of the blowup mapping to .
Relative Proj commutes with arbitrary base change: For a morphism and a quasi-coherent graded -algebra , there is a canonical isomorphism , natural in the base and compatible with graded quotients; no flatness is needed.
Rees algebra sheaf of a finite type ideal and The associated graded ring and associated graded module of an ideal-adic filtration: , and the degree- piece of is , so as quasi-coherent graded -algebras; the identifications are compatible with restriction to open subschemes and with localisation.
Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains and Affine blowup standard charts and overlaps: On the chart , for , one has with a nonzerodivisor, and the charts over a generating family cover the blowup.
Blowups restrict to open subschemes of the base: The blowup of is the restriction of the blowup of , canonically over .
Proof
Let be affine with . Restricting the fibre product of [F1] to gives , and ; applying [F2] to the morphism and the graded algebra yields a canonical isomorphism .
In the standard chart , , the ideal of is by [F1] and [F4], so meets the chart in , and the charts over a generating family of cover the blowup by [F4].
By [F3] the graded -algebra has degree- piece , so it is canonically ; combining with step 1.1 gives a canonical isomorphism over .
The isomorphisms of step 2.1 are canonical and compatible with restriction to smaller affine opens: for both and the associated graded construction localise, , and the identifications of [F2] are natural; hence they glue over an affine cover of to a canonical isomorphism of -schemes , the projectivized normal cone.
For a point , applying [F2] to the morphism and the graded -algebra identifies the fibre of over , and hence the fibre of over by step 3.1, with ; for a closed point center, where is maximal, is the associated graded ring of the local ring at the centre, so its Proj is the projectivized tangent cone.
Steps 2.1, 1.2 and 4.1 prove all the assertions: over , the fibre description over points of , and the identification of with the divisor in each standard chart.
Remarks
- The computation is the reason the exceptional divisor of a point blowup is a projective space: for a reduced point the associated graded of a regular local ring is a polynomial ring, so the projectivized tangent cone is projective space over the residue field.
- No regularity, Noetherianity or reducedness of is assumed; the identification with the projectivized normal cone is purely a statement about the Rees algebra and its quotient by .
Regular centers have projective-bundle exceptional divisors
Statement
Assume the Axiom of Choice. Let be a regular immersion (so the conormal sheaf is locally free, with the ideal sheaf of ), and let be the exceptional divisor of the blowup of along . Then is canonically isomorphic to the projective bundle in the quotient convention. In particular, if is a closed point of a regular surface over a field with (automatic for finite-type pure-dimensional surfaces), then is free of rank two over and is isomorphic to the projective line over .
Facts & Assumptions
Given: The Axiom of Choice, a regular immersion with ideal sheaf , the blowup of along with exceptional divisor , and, for the second claim, a closed point of a regular surface over a field with two-dimensional local ring.
Regular-immersion hypothesis, local form. The immersion is regular: every point of has an affine open neighbourhood in on which is cut out by an -regular sequence , and the conormal sheaf is locally free there, with the classes of as a basis over , ; the empty sequence is allowed.
Choice. The Axiom of Choice is assumed, as in the statement, and the cited suppliers used below are stated under it.
The exceptional divisor is the projectivized normal cone: Assume the Axiom of Choice. Let be a closed subscheme of cut out by a quasi-coherent ideal sheaf of finite type and let be the exceptional subscheme of the blowup. Then there is a canonical isomorphism of -schemes , the projectivized normal cone of in .
Associated graded algebra of an ideal generated by a regular sequence: Let be a commutative ring and an -regular sequence, . The canonical graded homomorphism , modulo , is an isomorphism. In particular is free on the classes of and . No Noetherian or domain hypothesis is required.
associated graded ring of a regular local ring: Assume the Axiom of Choice. If is regular local of dimension , any cotangent basis induces a graded isomorphism .
embedding dimension and regular local ring: For a nonzero commutative Noetherian local ring , . The ring is regular local when .
embedding dimension is minimal maximal ideal generator number: Assume the Axiom of Choice. For a nonzero Noetherian local ring , is the least number of generators of .
Projective bundle in the quotient convention: Let be a finite locally free -module of locally constant rank . The projective bundle of over is the relative Proj , with the quotient convention: over an -scheme , an -morphism is the same as an isomorphism class of surjections with invertible on .
regular local rings are domains and cohen macaulay, one dimensional regular local rings are dvrs: Regular parameters form a regular sequence; a one-dimensional regular local ring is a DVR.
Proof
Let be an affine chart on which is generated by an -regular sequence and put , so that is free on the classes of the with . By [F2] the canonical graded homomorphism , , is an isomorphism, so it is a canonical isomorphism ; for the empty sequence this reads .
Over this chart [F1] identifies the exceptional divisor with , that is, with , canonically in ; combining with step 1.1 gives a canonical isomorphism over the chart, the projective bundle in the quotient convention recorded in [F6]. In the degenerate case both sides of this display are empty and the identification is the empty isomorphism.
These neighborhoods cover . Over the inverse-image exceptional subscheme is empty, so no regular-sequence presentation of the unit ideal is required there. The chartwise isomorphisms of step 2.1 are canonical: on an overlap of two charts each is induced by the canonical graded multiplication map , together with the canonical isomorphism of [F1], which involves no choices; hence they agree on overlaps and glue to a single canonical isomorphism of -schemes , the projective bundle of [F6] in the quotient convention.
For the second claim let have the stated two-dimensional regular local ring on and let be the ideal sheaf of , so that . The point immersion is regular: its regular parameters form a regular sequence at , and this property and generation of the point ideal extend to a neighborhood by killing the finite coherent quotients and multiplication kernels whose stalks vanish at . Thus step 3.1 gives a canonical isomorphism of schemes over . By hypothesis is a regular local ring of dimension two with residue field , so [F4] gives ; thus is a free -module of rank two.
Let be a -basis of ; it has exactly two elements by step 4.1, and by [F5] the lifted elements minimally generate , so their initial classes generate in degree one. Applying [F3] to the two-dimensional regular local ring with this cotangent basis gives a graded -algebra isomorphism with , .
Finally for the free rank-two module is by [F6] exactly , and step 5.1 identifies this graded algebra with ; hence, with the canonical isomorphism of step 3.1, the exceptional divisor satisfies and is free of rank two over , as claimed.
Remarks
For a general Noetherian regular surface a closed point can instead have local dimension one. Its point ideal is then locally Cartier (a DVR parameter near the point and the unit ideal elsewhere), and its principal regular chart algebra is , so its blowup is the identity and the exceptional fiber is . No degree on a point is asserted. The main regular-immersion statement covers this rank-one case as well.
Blowing up an effective Cartier divisor does nothing
Statement
Assume the Axiom of Choice, inherited from the blowup construction (The Axiom of Choice). Let be a quasi-coherent ideal sheaf of finite type on a scheme that is invertible as an -module (Invertible sheaves) — equivalently, is an effective Cartier divisor on (Effective cartier divisor, Cartier divisor). Then the blowup of Blowup of a scheme along an ideal sheaf is an isomorphism. If is generated by a single nonzerodivisor on an affine open , then the blowup is over .
Facts & Assumptions
Given: A scheme , a quasi-coherent ideal sheaf of finite type with zero scheme , and the blowup .
Effective cartier divisor and Cartier divisor: An effective Cartier divisor on is given by an open cover with regular sections , regular meaning that multiplication by the germ is injective for every , and the local principal ideals glue to an ideal sheaf ; conversely an invertible ideal sheaf is locally generated by one element and that generator is a nonzerodivisor, because the map , , is an isomorphism.
The sheaf of a Cartier divisor is invertible: For a Cartier divisor the sheaf is invertible and locally freely generated by ; in particular the ideal sheaf of an effective Cartier divisor is an invertible -module.
Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For on an affine the standard charts are and they cover ; for a principal ideal with a nonzerodivisor the affine blowup algebra is .
Universal property of the blowup: For every -scheme whose inverse image of is an effective Cartier divisor there is a unique -morphism ; equivalently is final among such -schemes, and Uniqueness of the blowup makes the resulting identifications unique.
Proof
If is invertible then it is locally generated by a single element on an open cover and the generator is a nonzerodivisor by [F1], so the zero scheme is an effective Cartier divisor with local equations ; conversely if is an effective Cartier divisor with local equations , then and [F2] exhibits as invertible.
Suppose is invertible. On each affine open with and a nonzerodivisor, the single standard chart of the blowup is by [F3], and it covers ; hence is an isomorphism.
The restriction is an isomorphism for the members of an affine open cover of by step 2.1, and being an isomorphism is local on the target, so is an isomorphism; its inverse is characterized by the universal property [F4] applied to the identity of , whose inverse image of is the effective Cartier divisor itself, so the inverse is the unique -morphism supplied there, and it is unique by Uniqueness of the blowup.
In the affine case and with for a nonzerodivisor , step 2.1 with gives , as claimed.
Steps 1.1, 3.1 and 3.2 prove the statement: invertible centers are exactly effective Cartier divisors, and the blowup along such an ideal sheaf is an isomorphism, computed on an affine chart as when is generated by one nonzerodivisor.
Remarks
- This is the case in which a blowup changes nothing at all: it is an isomorphism precisely when the centre is already Cartier, so nontrivial blowups require a centre that fails to be Cartier in a neighbourhood of itself.
- Combining the statement with Invariance of the blowup under invertible (fractional) rescaling of the ideal shows that depends only on the class of modulo invertible rescaling, a class that is trivial exactly in the Cartier case.
Blowing up a rational point of a smooth surface
Statement
Assume the Axiom of Choice. Let be a smooth surface over a field and let be a -rational point. Then the blowup is smooth over , with exceptional curve and (Point blowups of regular surfaces stay regular, with rational exceptional fibre over the residue field). Choose a sufficiently small affine neighbourhood of and functions generating the ideal of on and giving regular parameters at ; such a choice exists. Over the blowup is the incidence subscheme with homogeneous coordinates on the second factor, its two charts are and , and the overlap inverts and with . After base change to , replace by in these formulas. The charts over are smooth surfaces over , and the local rings on have dimension one at its generic point and dimension two at its closed points. For with coordinates and the charts are the affine planes and , and the incidence subscheme lies in .
Facts & Assumptions
Given: A field , a smooth surface over , a -rational point , the local ring , regular parameters , an affine neighbourhood of , lifts of , the blowup of , and the Axiom of Choice, inherited from the Proj and gluing constructions (The Axiom of Choice).
Smooth morphism of schemes: is smooth, hence flat, locally of finite presentation, and geometrically regular on the fibres; the fibre over the unique point of is itself, so every local ring of is regular. Smoothness is local on the source.
embedding dimension and regular local ring, regular local rings are domains and cohen macaulay, regular local quotient by parameter is regular and localisations of regular local rings are regular: is a regular local ring of dimension two, ; regular local rings are domains and Cohen-Macaulay, their regular systems of parameters are regular sequences in any order, and is a regular local ring of dimension one, hence a domain.
localisation and polynomial extension of regular rings: Localizations and finite polynomial extensions of a regular Noetherian ring are regular, and regularity is tested at maximal ideals.
Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For an ideal the standard charts cover , and the homomorphism is surjective with kernel the -power torsion; the image of is a nonzerodivisor and .
Blowups restrict to open subschemes of the base: On the open subscheme the blowup of the point is the blowup of along the restriction of the ideal sheaf of ; if is the ideal of on , this is .
Gluing affine schemes along compatible open isomorphisms: Affine schemes with open subschemes and isomorphisms on overlaps satisfying the cocycle condition glue to a scheme, uniquely up to unique isomorphism respecting the charts.
Standard opens of Proj and Projective space is Proj of a polynomial ring: On the standard opens and are the affine lines , , and , , glued by .
Point blowups of regular surfaces stay regular, with rational exceptional fibre over the residue field: is regular of pure dimension two, is an effective Cartier divisor isomorphic to with , the base change to has charts and glued by , the local rings on have dimension one at the generic point and two at closed points, and if is smooth over and is -rational then is smooth over .
Pushforward and vanishing for an affine point blowup: For a ring and generated by a regular sequence, the two standard charts cover and, over the affine base, the structure-sheaf pushforward is the structure sheaf of the base with all higher direct images vanishing.
The blowup of the plane at the origin as an incidence scheme: Over the blowup of the origin is with charts , , and , , glued by .
The blowup is an isomorphism off the center: The blowup is an isomorphism over the complement of the centre, so the descriptions over the open neighbourhood glue to the global blowup.
Proof
By [F1] the local ring is regular, and by [F2] it has dimension and embedding dimension two, so there are regular parameters ; lifting them along and clearing denominators gives with these images, and the failure loci of the conditions below are closed subsets of the affine scheme not containing , so may be shrunk while keeping . Arrange that (i) is connected and is a domain: every local ring of the smooth surface is a domain by [F1] and [F2], so a connected affine open neighbourhood of has domain ring; (ii) generates the ideal of on , which holds at because the images generate and the locus where the two coherent ideals differ is closed and avoids ; (iii) and are regular sequences in , namely and are nonzerodivisors and each is a nonzerodivisor modulo the other: this holds at because is a regular system of parameters in the Cohen-Macaulay ring by [F2], and each failure is the support of the kernel of multiplication on a coherent module, a closed subset avoiding . Thus a sufficiently small affine neighbourhood and functions as in the statement exist.
Let . By [F7] the two charts of the projective factor give with , and with ; on the overlap both and are invertible and , so is obtained by gluing these two affine charts along . On the other hand, by [F4] the standard charts of are and with overlap . Since is a regular sequence in the domain by step 1.1, the homomorphism , , is an isomorphism: it is surjective with kernel the -power torsion by [F4], and a coefficient comparison in a relation , using that is a nonzerodivisor modulo , shows , so no nonzero torsion exists; symmetrically via . These identifications carry and , matching the ratio identifications of the blowup charts, so by [F6] they glue to an isomorphism over , canonical because both sides are determined by the same chart data.
By [F5] the restriction of the blowup of at to the open is , so step 2.1 identifies it with the incidence subscheme and gives the two charts and with , the descriptions displayed in the statement. Base change to replaces by : the formulas and are exactly the local charts of [F8], and over this affine base the structure-sheaf pushforward is with vanishing higher direct images by [F9].
Smoothness and the local structure of . Since is smooth over and is -rational, [F8] gives that is smooth over with exceptional curve and , and that the local rings on have dimension one at its generic point and two at closed points. The two charts of step 3.1 cover and are open subschemes of ; smoothness is local on the source by [F1], so each chart is a smooth surface over . The centre is a single point, so by [F11] the blowup is an isomorphism away from , and the chart descriptions of steps 2.1 and 3.1 glue to the global blowup. In the model , with the coordinate functions , [F10] gives literally and inside .
Steps 1.1-4.1 prove the statement: a sufficiently small affine neighbourhood with regular parameters generating the ideal of exists, over the blowup is the incidence subscheme with charts and glued by , the base change to is obtained by replacing by , the charts are smooth surfaces over , the local rings on have the asserted dimensions, and the plane model has the two affine-plane charts inside .
Remarks
- The quotient chart description only requires the indicated regular sequence. Regularity at the point gives the exceptional projective line and its normal twist; smoothness of and rationality of give absolute smoothness of the blowup over .
- For a general closed point the local charts are over . The exceptional curve is over ; the whole blowup need not have a -algebra structure.
Pushforward and vanishing for an affine point blowup
Statement
Assume the Axiom of Choice, inherited from the Proj construction and from the cohomology suppliers (The Axiom of Choice). Let be a commutative ring with , let be an ideal generated by a regular sequence (for example a regular local ring of dimension two with parameters ), let be the blowup of Blowup of a scheme along an ideal sheaf and let be its exceptional subscheme. Then the two standard charts and cover , the ordered Čech complex of this two-element affine cover computes the cohomology of (Cech cohomology computes quasi-coherent cohomology on a separated scheme), and Consequently and for all .
Facts & Assumptions
Given: A commutative ring , an ideal such that is a nonzerodivisor of and is a nonzerodivisor of , the Rees algebra (Rees algebra sheaf of a finite type ideal), the blowup (Blowup of a scheme along an ideal sheaf), and the relative projective line with twisting sheaves (Twisting sheaf on Proj).
Affine blowup standard charts and overlaps: For and the standard opens cover , with overlap identifications given by the ratios .
Closed subschemes of projective space and saturated ideals: A homogeneous ideal determines a closed subscheme , equal to under the canonical closed immersion, and .
Hypersurface cohomology sequence: For homogeneous of degree with every dehomogenisation , a nonzerodivisor of the corresponding chart ring, the multiplication map and the structure map of the closed immersion form a short exact sequence and the induced long exact sequence of sheaf cohomology computes the cohomology of from that of the twists .
Cohomology of O(d) on projective space: On one has , , for , and , ; indeed unless or , with the degree- part of for and the free -module on the Laurent monomials with and , which is zero for .
Cech cohomology computes quasi-coherent cohomology on a separated scheme: For a quasi-compact separated scheme , a finite affine open cover and a quasi-coherent -module , the canonical comparison map is an isomorphism for every .
Čech complex for a two-open cover: For a cover by two open sets , the ordered Čech complex has , and for , with ; hence , and for .
Higher direct images localize over an affine base: For a quasi-compact separated morphism and a quasi-coherent -module , each is quasi-coherent (Higher direct image of a sheaf), and for every affine open there is a canonical isomorphism .
Closed immersions of schemes, Quasi-compact and quasi-separated schemes, Separated morphism of schemes: A closed subscheme of a quasi-compact scheme is quasi-compact, and a closed subscheme of a separated scheme is separated; the relative projective line is quasi-compact and separated over .
Proof
The graded -algebra homomorphism with , is surjective because is generated by the monomials , and its kernel is : for a homogeneous with , reduction modulo gives , so because is a nonzerodivisor modulo , say ; then has zero -coefficient, hence equals for a homogeneous of degree , and evaluating at gives , so because is a nonzerodivisor, and induction on down to degree yields , while conversely ; hence as graded -algebras.
The element is a nonzerodivisor: as a polynomial in over its leading coefficient is the nonzerodivisor , so forces the top -coefficient of to vanish and descending induction gives ; the dehomogenisation is a nonzerodivisor of for the same reason, and is a nonzerodivisor of , since comparing coefficients of in gives and for , so and induction gives all ; hence by [F2] the blowup is identified with the closed subscheme , whose standard charts and are affine and cover it, matching the standard blowup charts of [F1] under the identification of with .
On the groups , , for and hold by [F4] with .
Applying [F3] to the homogeneous degree-one element , whose chart dehomogenisations are nonzerodivisors by step 1.2, gives a short exact sequence of -modules , where is the closed immersion of step 1.2.
The long exact cohomology sequence of step 2.1, with for the closed immersion and the groups of step 1.3, gives , then because it is squeezed between and , and for the group is squeezed between and .
By [F8] the blowup is a closed subscheme of the quasi-compact separated , hence quasi-compact and separated, so the two-element affine cover of step 1.2 has Čech cohomology computing the sheaf cohomology of by [F5] and, by [F6], a Čech complex concentrated in degrees and with and , so its Čech groups are , and in degrees , and , consistently with step 3.1.
The structural morphism is quasi-compact and separated, being the composite of the closed immersion of step 1.2 with the quasi-compact separated structure morphism of from [F8], and is quasi-coherent, so [F7] with identifies with the sheaf associated to the -module , which is in degree and for by step 3.1; hence and for every .
Remarks
- Regularity of the sequence enters twice: to identify the Rees algebra with the incidence algebra (step 1.1) and to make the dehomogenisations of nonzerodivisors (step 1.2). For a general pair of generators the map has a nontrivial kernel in general, and the blowup need not be a hypersurface in .
- The theorem is stated for an affine base precisely so that the direct image computation reduces to the two cohomology modules and ; over a nonaffine base the same proof applies over each affine open, and the sheaf statement is the affine-local one of [F7].
- The two-chart computation never inverts or in : the overlap identification inverts the ratio only, consistent with [F1].
Pushforward and vanishing for point blowups on a surface
Statement
Assume the Axiom of Choice. Let be a regular surface over a field (more generally a locally Noetherian scheme of dimension two whose local rings at the center are regular of dimension two) and let be a closed point with residue field . Let be the blowup of with exceptional curve . Then and for every . Moreover the same conclusions hold after composing finitely many point blowups.
Facts & Assumptions
Given: The Axiom of Choice, a scheme as in the statement, a closed point with residue field , the blowup of , and its exceptional curve .
Choice. The Axiom of Choice is assumed, as in the statement; the cited local computation and its proof are choice-carrying, and no additional choices are made below.
Pushforward and vanishing for an affine point blowup: For the affine-local presentation of a point blowup on a surface, the structure-sheaf pushforward is the structure sheaf of the base and all higher direct images of the structure sheaf vanish.
Blowups restrict to open subschemes of the base: For an open , is canonically the blowup of at the restricted center.
Higher direct image of a sheaf: is the sheaf associated to ; for it is the ordinary pushforward, and a morphism of sheaves is an isomorphism on the base if and only if it is so on an open cover.
The blowup is an isomorphism off the center: The blowup restricts to an isomorphism away from its center.
Cohomology comparison when higher direct images vanish: If for , the natural maps are isomorphisms for every .
Affine acyclicity of quasi-coherent sheaves: A quasi-coherent module on an affine scheme has zero higher cohomology.
one dimensional regular local rings are dvrs and regular local rings are domains and cohen macaulay: A regular local ring is a domain, and in dimension one it is a DVR with principal maximal ideal.
Blowing up an effective Cartier divisor does nothing: The blowup of an effective Cartier center is the identity.
Proof
The calculation is local on the base, by the sheafification description of higher direct images and the locality of the blowup. In the regular-surface alternative, the local dimension at a closed point is positive: if it were zero, the regular local domain would be a field and the closed point would also be the generic point of its ambient irreducible component, forcing that component to be a point, contrary to the pure dimension two convention for a surface. If its dimension is one, its maximal ideal has a regular generator by [F8]. Lift this generator to an affine Noetherian neighborhood; shrinking kills the finite quotient of the point ideal by that generator and the finite kernel of multiplication by it, just as below. The point center is then effective Cartier on that neighborhood, so its blowup is the identity there by [F9], and it is also the identity off the center by [F5]. Thus the asserted pushforward and vanishing follow in this case. The more general alternative in the statement already assumes local dimension two at the center. It remains to treat local dimension two. Near , choose an affine Noetherian neighborhood . Lift regular parameters of to functions after inverting denominators not vanishing at . The ideal of is finite; its quotient by has zero stalk at , so shrinking kills this finite module. Likewise the kernels of multiplication by on and by on are finite modules with zero stalk at , and another shrinking kills them. Thus is a regular sequence generating the point ideal on this affine neighborhood, with nonzero quotient .
The affine regular-sequence calculation applies on this neighborhood and gives the asserted direct images. On the complement of the blowup is the identity, with the same direct images. These local results give and globally. The argument uses only local Noetherianity and the two-dimensional regular local ring at the center.
For a finite composition of the point blowups just considered, write it as , where is the last step. Assume by induction the conclusions for . For every affine open in the original base, apply the vanishing-direct-image comparison to restricted over . Step 2.1 makes its higher direct images zero and its degree-zero image the structure sheaf. Hence . A second comparison for over , followed by affine acyclicity, identifies the latter with for and zero for . Sheafifying these identifications proves the same direct-image conclusions for the composition, completing the induction.
Projection formula for invertible twists
Statement
Assume the Axiom of Choice. Let be a morphism of schemes, let be a quasi-coherent -module and let be an invertible -module. Then the natural map
is an isomorphism for every . In particular, if is a -morphism, and are proper over a field and is coherent, then the Euler characteristics satisfy whenever and for .
Facts & Assumptions
Given: A morphism of schemes, a quasi-coherent -module and an invertible -module ; the Axiom of Choice is inherited from the cohomology and adjunction suppliers cited below (The Axiom of Choice).
Higher direct image of a sheaf: For a morphism of ringed spaces and an -module , the higher direct images are for a fixed functorial injective resolution datum, with canonically and for ; the functor is left exact and additive.
Pullback of modules is left adjoint to pushforward: For a morphism of ringed spaces , the inverse image functor on modules is left adjoint to the direct image functor , with unit and counit .
Invertible sheaves and Locally free sheaves of finite rank: An invertible sheaf is locally free of rank one; its dual is an inverse for tensor product, and its pullback is invertible.
Cohomology comparison when higher direct images vanish: If the higher direct images of a module vanish, its cohomology equals the cohomology of its degree-zero direct image, naturally in every degree.
Euler characteristic of a coherent sheaf: For a scheme proper over a field and a coherent module, the Euler characteristic is the finite alternating sum of the -dimensions of the cohomology groups.
Finite-dimensional coherent cohomology over a field: For a scheme proper over a field and a coherent -module , each is finite-dimensional over and only finitely many of the groups are nonzero.
Coherent module sheaves: On a locally Noetherian scheme, a finite-type quasi-coherent module is coherent. Schemes proper over a field are of finite type by Proper morphisms, and their affine coordinate rings are Noetherian by Every algebra of finite type over a principal ideal domain is a Noetherian ring (a field is a principal ideal domain).
Proof
Tensoring with an invertible sheaf is an exact autoequivalence, with inverse tensoring with : exactness is checked in local trivializations. It preserves injectives, since is exact in when is injective. The same statements hold on for .
For any module on , adjunction gives the natural map , adjoint to the counit map . On every open trivializing this is the identity under the trivializations, hence it is an isomorphism. This ordinary direct-image argument requires no quasi-compactness or separatedness of .
Take an injective resolution of . By step 1.1, is an injective resolution of . Naturality of gives an isomorphism of complexes . Exact tensor with commutes with taking cohomology, so the resulting isomorphism is precisely for every .
If and the higher direct images of vanish, applying step 2.1 to gives and for . For the -morphism in the final assertion, the vanishing-direct-image comparison gives -linear isomorphisms . The proper schemes of the final assertion are locally Noetherian by [F9]; the line bundles are finite-type quasi-coherent modules by [F3], hence coherent by [F9], and their cohomology is finite-dimensional and vanishes in sufficiently high degree. Taking the finite alternating sums proves the Euler-characteristic identity.
Remarks
The formula uses invertibility to obtain an exact tensor autoequivalence. The Euler-characteristic clause uses the specified direct-image vanishing and requires no flatness of .
Euler characteristic of line bundles on a projective line over a finite field extension
Statement
Assume the Axiom of Choice. Let be a field and let be a finite extension of of degree . Let be a scheme isomorphic to over , and let be an invertible sheaf on . Then for , and writing for the degree of over one has
so the -Euler characteristic of is . In particular a line bundle of degree on has Euler characteristic .
Facts & Assumptions
Given: A field , a finite field extension of degree , a -scheme isomorphic to over , and an invertible sheaf on ; the Axiom of Choice is inherited from the Picard, cohomology and Euler-characteristic suppliers cited below (The Axiom of Choice).
Sheaf cohomology as right derived global sections: For a scheme and an -module , the cohomology groups are the right derived functors of the global-section functor , so an isomorphism of -modules induces an isomorphism , functorially in .
The Picard group of the projective line: For every field , the degree homomorphism induces an isomorphism under which corresponds to ; every invertible sheaf on is isomorphic to for a unique integer .
Cohomology of O(d) on projective space: For over a field , has basis the degree- ordinary monomials when and is zero otherwise; has basis the Laurent monomials with and ; all higher groups vanish.
Euler characteristic of a coherent sheaf: For a scheme proper over a field and a coherent -module , all groups are finite-dimensional over and only finitely many are nonzero, and the Euler characteristic is the alternating sum .
Finite-dimensional projective space is proper over every base: For a scheme and the structure morphism is proper.
Coherent module sheaves: On a locally Noetherian scheme, a finite locally free sheaf is coherent; in particular an invertible sheaf on a locally Noetherian scheme is coherent.
Proof
Fix a -isomorphism and set , so that is an invertible sheaf on and by definition of the direct image. The direct image along an isomorphism is an exact equivalence of module categories with inverse , so it preserves the global-section functors and their right derived functors; hence induces -linear isomorphisms for all .
By [F2] applied to the field , the invertible sheaf on is isomorphic to for a unique integer , which we take as the definition of the degree of over .
By [F3] with and the groups vanish unless or ; the same description gives , of dimension for and for , and free on the Laurent monomials with and , of dimension for and otherwise, so . Since cohomology depends only on the isomorphism class of the sheaf, [F1] gives ; combined with step 1.1 this yields for and .
The structure morphism makes a ring homomorphism, so each is a -vector space; for a -vector space of dimension one has , because if is a -basis of and is a -basis of , then the products span over and are -independent. Applying this to the groups of step 3.1 gives .
The scheme is proper over because it is -isomorphic to and is proper for every [F5], and is coherent on the locally Noetherian scheme because it is invertible [F6]; thus the Euler characteristic of [F4], with base field , is the alternating sum over the finitely many nonzero cohomology groups. By step 3.1 only the terms occur, and passing to -dimensions as in step 4.1 gives the -Euler characteristic .
If is another -isomorphism with associated integer , then step 5.1 applied to both gives , and because is a finite extension, so ; thus the degree of over is well defined. For the formula reads , which is the final assertion.
Remarks
The extension need not be separable or Galois: the proof never decomposes , using only that is a -vector space and that is the -dimension of . The case gives , and gives , the -dimension of the structure sheaf's cohomology.
Point blowups of regular surfaces stay regular, with rational exceptional fibre over the residue field
Statement
Assume the Axiom of Choice. Let be a regular finite-type -scheme of pure dimension two, let be a closed point, put and , and let be the blowup of at with exceptional subscheme . Then is regular of pure dimension two, is an effective Cartier divisor canonically isomorphic to , hence isomorphic to after choosing regular parameters, and . For and regular parameters , the base change to has charts and , glued by inverting and with . Their local rings at the generic point of have dimension one and at its closed points dimension two. If is smooth over and is -rational, is smooth over ; literal affine-plane charts occur in the model , . No smoothness over an imperfect is asserted for a general inseparable closed point. Regularity is a property of these local rings and does not require a -algebra structure on .
Facts & Assumptions
Given: The Axiom of Choice, a regular finite-type -scheme of pure dimension two, a closed point with residue field , the blowup with exceptional subscheme , and regular parameters of .
Choice. The Axiom of Choice is assumed, as in the statement; the cited suppliers used below are stated under it.
Affine blowup standard charts and overlaps: Let be a ring, , and . The standard opens cover , and on overlaps the identifications are in with , sending to and preserving the structure maps to .
Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For a ring , an ideal and , the affine blowup algebra satisfies: the image of is a nonzerodivisor, , and . If and , then , , is surjective; if is a domain and , then is a domain.
Flat base change for blowups, and failure without flatness: For a flat base change , the blowup of along a quasi-coherent ideal sheaf of finite type base-changes to the blowup of along the pulled-back ideal; in particular the base change of to over is the blowup of at its closed point.
Maximal ideals of an affine domain have full height: Let be a field, a finite-type -domain and maximal. Then .
regular local rings are domains and cohen macaulay: A regular local ring of dimension is a domain and Cohen-Macaulay. For every regular system , the tuple is -regular and is regular local of dimension for all .
localisation and polynomial extension of regular rings: Localizations and finite polynomial extensions of a commutative regular Noetherian ring are regular.
localisations of regular local rings are regular: Every prime localization of a regular local ring is regular, and .
regular local quotient by parameter is regular: Let be regular local of dimension and . Then is regular local of dimension and embedding dimension .
embedding dimension and regular local ring: For a nonzero commutative Noetherian local ring , ; is regular local when .
dimension at most embedding dimension: Every nonzero commutative Noetherian local ring satisfies .
associated graded ring of a regular local ring: If is regular local of dimension , any cotangent basis induces a graded isomorphism .
The exceptional divisor is the projectivized normal cone: For cut out by a quasi-coherent ideal sheaf of finite type, there is a canonical isomorphism of -schemes from the exceptional subscheme of the blowup.
The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier: For the blowup of with exceptional subscheme : is invertible, the natural map is surjective with image , so is invertible and is an effective Cartier divisor with and .
Smooth morphism of schemes: A morphism is smooth at when it is locally of finite presentation at , flat at , and the scheme-theoretic fibre is geometrically regular at (regular after every field extension of ); is smooth when this holds everywhere.
Smoothness survives base change and composition: Smooth morphisms are stable under arbitrary base change.
Every vector space has a basis: Assuming the Axiom of Choice, every vector space over a field has a basis.
Under the stated choice boundary, free modules are projective and hence flat: Every free module over a commutative ring is flat.
Affine-domain dimension equals transcendence degree: For any field and any finite-type -domain , .
Projective bundle in the quotient convention: For a finite locally free sheaf , , with its standard positive twist.
Proof
The component through is open: regular local rings are domains, so distinct irreducible components of the Noetherian regular scheme cannot meet. Choose a domain affine neighborhood of in that component. Its dimension is two, and the maximal-ideal height theorem gives for . Choose regular parameters . They form a regular sequence; and are one-dimensional regular local domains.
Flat localization of the base identifies the part over with the blowup of . On the -chart, put . If , reduction modulo gives in the domain , so ; cancellation of gives . Hence has no -power torsion, and the chart algebra theorem identifies . It has , exceptional ideal and quotient . The second chart is by the same argument, with overlap . Localization of the base does not change local rings at points over .
Outside the local rings of are prime localizations of , hence regular. A prime of lying over a point of in is either or , where is a monic irreducible polynomial over . The ambient local ring is regular. Its maximal ideal is generated respectively by or by . The prime chains and, in the second case, their extension by , together with the embedding-dimension bound, give dimensions two and three. These generators therefore form a cotangent basis. The class of is , which is nonzero because the coefficient of is , even when . Quotienting by this parameter gives regular local rings of dimension one at the generic exceptional point and two at its closed points. The same proof works in the -chart. These computations also show the local chart rings have dimension two, without asserting .
Away from the structural morphism is an isomorphism: on the complement of the exceptional ideal in each standard chart its denominator is inverted and the chart becomes the corresponding base principal open, compatibly with the ratio transitions. Thus all local rings of are regular. Its charts over finite-type affine bases are finitely generated algebras, so is finite type over . Its irreducible components are disjoint and open, as for . No component has generic point in , since the local rings computed there have positive dimension, while a component's generic local ring has dimension zero. Every component consequently meets the unchanged open and shares the function field of a two-dimensional component of . By the affine-domain dimension formula every nonempty affine open in it has dimension two. This gives dimension two for the component itself: any finite strict chain of irreducible closed subsets remains strict after intersecting an affine open meeting its smallest member, since such an open contains every member's generic point. Therefore is pure of dimension two.
The exceptional subscheme is canonically . The multiplication map is an isomorphism: choose any cotangent basis and apply the associated-graded theorem. Thus is canonically ; the chosen basis identifies it with . The center ideal is , so is effective Cartier and its normal line bundle is the restricted negative twist, . The projective-line coordinate identification depends on the chosen basis.
If is smooth over and is rational, then for every field extension , is smooth, regular and pure of dimension two, and is a rational closed point. Steps 1.1–4.2 apply over . Flat base change identifies with this point blowup, so it is regular for every . The finite-type -algebras of the charts are finitely presented, and they are flat over because vector spaces are free. Hence the geometric-regularity definition proves smoothness. In the affine-plane model the quotients eliminate or , giving literal affine planes. For general only regularity is asserted; only , not the whole blowup, carries the indicated residue-field structure.
The normal bundle of the exceptional curve is O(-1)
Statement
Assume the Axiom of Choice. Let be a closed point of a regular surface over a field , assume , and let be the blowup of and its exceptional curve. Then is isomorphic to the projective line over , and the restriction to of the invertible sheaf is the dual tautological bundle ; equivalently has degree and has degree . For -rational, and this twist index is an isomorphism invariant of .
Facts & Assumptions
Given: A regular surface over , a closed point with two-dimensional local ring, the blowup of with exceptional curve and .
Choice. The Axiom of Choice is assumed, as in the statement; the cited suppliers used below are stated under it (The Axiom of Choice).
Regular centers have projective-bundle exceptional divisors: For a closed point of a regular surface over a field with two-dimensional local ring, the conormal sheaf is free of rank two over and the exceptional divisor is isomorphic to the projective line over ; the corollary identifies it with the projective bundle in the quotient convention.
Affine blowup standard charts and overlaps, Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains, Flat base change for blowups, and failure without flatness and regular local rings are domains and cohen macaulay: The localized point blowup has charts and with inverse ratio overlap, where are regular parameters and form a regular sequence in the domain .
Projective bundle in the quotient convention: The projective bundle of a finite locally free module of rank over is the relative Proj , in the quotient convention in which an -morphism amounts to an isomorphism class of surjections with invertible on .
The twist index on the projective line is an isomorphism invariant: For the twists of the relative projective line over a field, if and only if ; hence the twist index attached to an invertible sheaf on is an isomorphism invariant.
Twisting sheaf on Proj: For a commutative nonnegatively graded ring , the twisting sheaf on is , the associated sheaf of the shifted graded module, with on standard opens.
The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier: For the blowup of a quasi-coherent ideal sheaf of finite type with exceptional subscheme : is invertible, the inverse-image ideal is invertible and equals , and the exceptional divisor is effective Cartier with and .
Proof
The inverse-image center ideal is the invertible sheaf , and its dual is . The exceptional curve is the projective bundle of the rank-two cotangent space, hence becomes on choosing a basis.
Use regular parameters . If , reduction modulo forces , and cancellation gives ; hence the incidence quotient has no -power torsion and is the -chart. Symmetrically this proves the -chart presentation. Thus use the charts and , with . The exceptional ideal has frames and on them. On restriction to , these give frames and of ; they are not functions or , which are zero. Their transition is , exactly the transition of the positive twist on . Thus and dualizing gives .
These twists have degrees and over , respectively. The uniqueness-of-twists lemma makes their indices isomorphism invariants. If is rational, and the same statements specialize to the asserted twists over ; no smoothness assumption on is needed for this specialization.
Remarks
The local-dimension assumption is automatic for closed points of finite-type pure two-dimensional surfaces. At a closed point with one-dimensional local ring the blowup is the identity and the exceptional fiber is a point; there is no exceptional-curve degree assertion in that case.
The blowup of the plane at the origin as an incidence scheme
Statement
Assume the Axiom of Choice, inherited from the Proj constructions used below (The Axiom of Choice). Let be a commutative ring with , and . With homogeneous coordinates on , the blowup of Blowup of a scheme along an ideal sheaf is , and the projection is its structural morphism. Its two standard charts are with and with ; their overlap inverts and with . The exceptional subscheme is and respectively and is isomorphic to . In particular this holds over any field .
Facts & Assumptions
Given: A commutative ring , the polynomial ring , the ideal , the Rees algebra (Rees algebra sheaf of a finite type ideal), the blowup (Blowup of a scheme along an ideal sheaf), and the projective line with standard charts , glued by (Relative projective space from standard charts).
Affine blowup standard charts and overlaps: For the standard opens cover , with overlap identifications given by the ratios .
Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For the affine blowup algebra has with a nonzerodivisor and , and is independent of the chosen generating set; for the surjection , , has kernel the -power torsion.
Relative projective space from standard charts, Projective space is Proj of a polynomial ring: is the gluing of its two standard charts, and for every commutative ring there is a canonical isomorphism , natural in ; in particular over .
Closed subschemes of projective space and saturated ideals: A homogeneous element of of degree cuts out the closed subscheme (Closed immersions of schemes), whose intersection with the standard open is (Standard opens of Proj).
Exceptional subscheme of a blowup: The exceptional subscheme is the scheme-theoretic inverse image of the center, cut out by its inverse-image ideal.
Proof
The graded -algebra homomorphism with , is surjective, since is generated by the monomials , and its kernel is : the degree-zero kernel is zero, and for a homogeneous with and , reduction modulo gives , so because is a nonzerodivisor modulo in the polynomial ring ; then with homogeneous of degree , and forces because is a nonzerodivisor, so induction on gives ; conversely , and thus as graded -algebras.
Consequently , and by [F4] with this is the closed subscheme of of [F3]; under this identification the structural morphism of the blowup is the projection to , and the standard charts of [F1] are and .
Computing the two charts by [F4]: on the dehomogenised equation is in , so the chart ring is with and ; on it is the quotient of by , that is with and . On the overlap both and are invertible, so and are mutually inverse units, , and the two chart rings agree on the overlap as localisations and under .
By [F5], the exceptional subscheme is the inverse image of the origin ; by [F2] its ideal on the first chart is , so , and on the second chart it is , so . On the overlap the rings and are identified by , which is exactly the gluing datum of the standard charts of in [F3]; hence .
Assembling steps 2.1, 3.1 and 4.1: the blowup is with the projection as structural morphism, its charts are with and with glued by , and the exceptional subscheme is ; no hypothesis on beyond commutativity was used, so the statement specialises to any field .
Remarks
- The proof uses only that is a nonzerodivisor of and that is a nonzerodivisor modulo ; neither a domain nor a field is needed, and the zero ring gives the empty blowup on both sides.
- The equation is the incidence relation of the point and the line , which is why the blowup is described as the incidence scheme; the strict transform computations of this page use this explicit presentation in the two charts.
Strict transforms of plane curves record tangent directions
Statement
Assume the Axiom of Choice, inherited from the blowup and Proj constructions (The Axiom of Choice). Let be a field and let be a reduced plane curve through the origin with multiplicity and leading form (the degree- part of ). Let be the strict transform of under the blowup of the origin and let be the exceptional curve. Then is the closed subscheme of cut out by the form : its closed points correspond to the irreducible factors of , a factor of multiplicity contributes with multiplicity , and the underlying -cycle has total degree over . Over a field over which splits, these points are exactly the tangent directions of at the origin, with multiplicity. If is squarefree (in particular for a node, or for a cusp with reduced tangent cone) the strict transform meets transversally at each of these points.
Facts & Assumptions
Given: A field , a reduced plane curve through the origin with and leading form , the blowup of the origin with exceptional curve and its two standard charts, and the strict transform of .
Multiplicity of a hypersurface equation at a rational point: The expansion of about the origin is with homogeneous of degree ; equivalently has order in the local ring at the origin.
The blowup of the plane at the origin as an incidence scheme: The blowup is with homogeneous coordinates on the second factor; its charts are with and , and with and , glued by inverting and with ; the exceptional curve is isomorphic to .
Strict-transform equation by removing the maximal exceptional power: In the first chart with , and is cut out there by ; symmetrically with , and is cut out in the second chart by .
Total transform equals strict transform plus multiplicity times the exceptional divisor: The total transform is , and meets in the -cycle of degree cut out by the degree- leading form of a local equation of at the origin; the degree over is , because the origin is -rational.
All initial forms define the tangent cone and The scheme-theoretic tangent cone at a point: For the initial ideal is , so the tangent cone of at the origin is and the points of its projectivization are the tangent directions of at the origin.
The exceptional divisor is the projectivized normal cone and Effective cartier divisor: is an effective Cartier divisor on , and is the projectivized normal cone of the origin in the plane, here ; its standard charts are with and with (Standard opens of Proj, Projective space is Proj of a polynomial ring).
Strict transform of a closed subscheme: is a reduced curve, cut out on the charts by the saturated ideals of [F3], and it has no component equal to because its components dominate components of while maps to the origin.
Contact order of two regular components at a point: For two distinct reduced curves with no common component meeting at a closed point , the contact order is a finite length, and if and only if the curves meet transversally at , that is, both are regular at with distinct tangent lines; the length is computed from local equations by .
Proof
Write as in [F1]. By [F2] the two charts cover and meet in the locus , and by [F3] the strict transform is cut out in them by the equations and , where and ; thus is computed in the first chart by the pair of equations , and in the second by , .
In the first chart is , and in the second chart it is . These are exactly the standard charts and of the closed subscheme : on one has and the defining equation , and on one has and , with the overlap inverting and . Hence as closed subschemes of , the closed subscheme cut out by the form .
By [F5] the ring is the tangent cone ring of at the origin, so is the projectivized tangent cone. Its closed points are the homogeneous prime ideals of containing and not the irrelevant ideal, that is, the irreducible factors of ; writing with irreducible homogeneous of degree , the point defined by has residue field of degree over . For a point lying in the first chart, that is , the local ring of at is , whose length as an -module is the exponent ; the point at infinity is computed in the second chart with the roles of and exchanged. So a factor of multiplicity contributes to with multiplicity . Over a splitting field of the factors are linear forms and the points are exactly the tangent directions of at the origin, with these multiplicities.
The underlying -cycle of has total degree over : by [F4] the intersection is the -cycle of degree cut out by the leading form, the origin being -rational. Equivalently, the degrees of the points weighted by the multiplicities add up to , matching the computation in the two charts of step 1.2.
Transversality in the squarefree case. Suppose is squarefree, so its irreducible factors occur with multiplicity one; this covers a node and a cusp with reduced tangent cone, where the leading form is a product of distinct linear or irreducible factors. Let be a closed point of lying in the first chart and let be the corresponding irreducible factor of , which is simple; the case of a point lying only in the second chart is symmetric. Write with a unit at , which is possible because and is simple. In the local ring with maximal ideal , the equation lies in and the quotient has maximal ideal generated by , because modulo and is a unit; hence is a regular one-dimensional local ring and . By [F8] contact order one is exactly transversality at , so and meet transversally at every point of when is squarefree.
Steps 1.2, 2.1, 3.1 and 3.2 prove all the assertions: is the closed subscheme of cut out by the form , its closed points are the irreducible factors of with the corresponding multiplicities, the underlying -cycle has total degree over , the points are the tangent directions of at the origin with multiplicity over a splitting field, and for squarefree the intersection is transverse at every point.
Remarks
- The theorem is the local input to the resolution algorithm on this page: a point of multiplicity whose leading form is a product of distinct linear forms is replaced by points at which the strict transform meets the new exceptional curve transversally.
- For a cusp the leading form is not squarefree, the strict transform meets at the single point with multiplicity two; its first strict transform has equation and is already regular, but tangent to ; this is why the resolution argument must be iterated rather than applied once, and A point blowup lowers pairwise contact order by one and separates transverse branches is the companion statement controlling the pairwise behaviour of regular branches.
Strict-transform equation by removing the maximal exceptional power
Statement
Let be a field, let be the origin of and let be a reduced local equation of a curve through of multiplicity (Multiplicity of a hypersurface equation at a rational point). In the chart with coordinates where , the total transform equation is with the leading form evaluated at , and the strict transform is defined by ; symmetrically in the other chart. In particular the strict transform has multiplicity at most at any point of the exceptional curve , and its equation is obtained from the total transform by dividing by the largest power of the exceptional equation, which is exactly the -th power.
Facts & Assumptions
Given: The plane , the origin , a reduced local equation with (Multiplicity of a hypersurface equation at a rational point), the blowup of the origin with exceptional curve and its two standard charts and (The blowup of the plane at the origin as an incidence scheme), and the strict transform of the curve (Strict transform of a closed subscheme).
Multiplicity of a hypersurface equation at a rational point: Expanding into homogeneous parts about the origin, the multiplicity is the least with ; equivalently , , and with the leading form.
The blowup of the plane at the origin as an incidence scheme: The blowup of the origin is ; in the chart with one has and ; in the chart with one has and ; the overlap inverts and with .
Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: On the affine chart cut by the element of the ideal , the affine blowup algebra is , with and a nonzerodivisor; the two charts cover the blowup.
Total transform equals strict transform plus multiplicity times the exceptional divisor: For a reduced curve through the origin with multiplicity , as effective Cartier divisors (Effective cartier divisor), and the strict transform is obtained on each chart by dividing a local equation of the total transform by the -th power of an exceptional equation.
Proof
Write the homogeneous decomposition of about the origin as , with the leading form by [F1]. Substituting gives , where .
The constant term in of is , which is nonzero: the distinct degree- monomials become the distinct monomials , so their nonzero coefficient vector cannot vanish. Consequently , and the exact power of dividing is ; since on this chart by [F3], the equation of the total transform on the chart is with not divisible by .
By [F4] the total transform is , and in the chart its local equation is the product of a local equation of with the -th power of the exceptional equation; by step 2.1 the local equation of the total transform is with , so the strict transform is cut out by in this chart, as claimed. The same computation with the roles of and interchanged, using the second chart with , gives the symmetric description with and strict transform ; the two chart equations glue to the strict transform by [F4] and Strict transform of a closed subscheme, since they are the saturations of the total transform by the exceptional equation on each chart.
A closed point of in the first chart corresponds to an irreducible polynomial , and its ambient maximal ideal is . Let be the exponent of in the nonzero polynomial . Its image in lies in . If belonged to in the local chart ring, reduction modulo would put that polynomial in , a contradiction. Thus the order of is at most . Points of outside the strict transform have unit equation and order zero. The second chart gives the identical bound, covering also the point at infinity. This proves the bound for every closed point, with arbitrary residue field; at the generic point of , is a unit as well.
Steps 3.1 and 3.2 prove the assertions: the strict transform equation in each chart is obtained from the total transform by dividing by the largest power of the exceptional equation, which is exactly in the first chart and in the second, with the leading form evaluated at (respectively ) as the value along , and the strict transform has multiplicity at most at every point of .
Remarks
- The result is the chart-level form of the standard fact that the strict transform of a plane curve of multiplicity at the origin meets the exceptional curve in the closed points determined by the irreducible homogeneous factors of the leading form, each with the corresponding multiplicity. Over a splitting field these factors are linear and describe the geometric tangent directions.
- No reducedness or smoothness of away from the origin is used; only the finite multiplicity enters.
Normalization of a reduced curve is finite
Statement
Let be a field and let be a reduced -scheme of finite type, of pure dimension one (for example a reduced projective plane curve or an open subscheme of one). Then there exists a finite morphism with the following properties:
- is regular of dimension one (equivalently normal: all local rings are discrete valuation rings or fields);
- is an isomorphism over the regular locus of and is birational on each irreducible component;
- on an affine chart of , is the morphism corresponding to the integral closure of in its total ring of fractions;
- is unique up to a unique -isomorphism, and is a coherent -module.
No separability or perfectness hypothesis on is needed.
Facts & Assumptions
Given: A field and a reduced finite-type -scheme of pure dimension one. The Axiom of Choice is inherited from the finiteness suppliers (The Axiom of Choice).
A finite-type domain over a field has finite normalization: The integral closure of a finite-type domain over any field in its fraction field is a finite module. No perfectness or separability assumption is required.
The integral closure of a domain in a field extension is integrally closed, A domain is integrally closed if and only if its prime localisations are, equivalently if and only if its maximal localisations are, and A module-finite algebra over a Noetherian ring is a Noetherian ring, and so is every ring between the two: An integral closure in a field is an integrally closed domain; its localizations are integrally closed; a module-finite algebra over a Noetherian ring is Noetherian.
Finite normalization commutes with principal localization: If is the integral closure of a domain in its fraction field, then is the integral closure of in that field, and finiteness is preserved.
Function field of an integral finite-type scheme: Every nonempty affine open of an integral finite-type scheme has fraction field equal to its generic stalk. This does not require separatedness.
Every point of a Zariski-open set has a distinguished-open neighbourhood inside it, Gluing affine schemes along compatible open isomorphisms, and Morphisms of schemes are local on compatible open covers: Distinguished opens refine neighborhoods in affine schemes; schemes can be glued along open isomorphisms satisfying the cocycle condition, and morphisms agreeing on overlaps glue.
Every algebra of finite type over a principal ideal domain is a Noetherian ring, A Noetherian ring has finitely many minimal prime ideals, Irreducible components of the spectrum correspond to minimal prime ideals, and The reduced quotient by the nilradical: Finite-type algebras over fields are Noetherian. A Noetherian scheme has finitely many irreducible components, and the minimal primes of a reduced Noetherian ring have zero intersection.
The reduction of a scheme and Integral schemes: Each irreducible component with its reduced structure is integral.
total ring of fractions: is the localization of at its nonzerodivisors; for a domain it is its fraction field.
Integral closure in an extension ring and integrally closed domains: Integral closure consists of elements satisfying monic equations, and a domain is integrally closed if all such elements in its fraction field belong to it.
Finite morphisms of schemes and Finite is affine and local on its target: A finite morphism is affine with module-finite coordinate algebras on affine target opens; module-finiteness on an affine open cover implies finiteness.
Injective integral extensions preserve Krull dimension and Dimension can be computed on an open cover: An injective integral ring extension preserves dimension, and the dimension of a Noetherian space is the supremum of the dimensions of an open cover.
normal noetherian ring, Height-one localizations of normal Noetherian domains are DVRs, and one dimensional regular local rings are dvrs, and Equivalent characterizations of a DVR: A normal Noetherian domain has DVR localizations at height-one primes; its zero-dimensional localizations are fields. A one-dimensional Noetherian local ring is regular exactly when it is a DVR, and a DVR is integrally closed.
Quasi-coherent module on a scheme and Coherent module sheaves: An affine direct image of the structure sheaf is quasi-coherent; on a locally Noetherian scheme a finite-type quasi-coherent module is coherent.
Proof
Since is quasi-compact and its affine coordinate rings are Noetherian, it is Noetherian. Its finitely many reduced irreducible components are integral finite-type curves of dimension one. Choose a finite affine cover of each component and identify all their fraction fields with its generic field . Let be the integral closure of in . These are finite Noetherian normal domains.
The schemes glue over , even if is nonseparated. Here are the overlap identifications explicitly. For a point in choose distinguished neighborhoods and contained in that intersection. On write , and on write . Their common intersection is the distinguished open in and in ; both coordinate rings are the same subring of , since they are the sections of the same open subscheme. Their integral closures are therefore the same subring of , namely . These common distinguished opens cover the overlap. Their identities glue, and the triple-overlap identities satisfy the cocycle condition because all are identities inside . Thus scheme and morphism gluing produce an integral normal scheme and a morphism , with inverse image of equal to . It is finite by the affine-cover criterion. Its generic field is , and its dimension is one by integral dimension preservation on the affine cover.
Set and compose each with the reduced closed immersion to obtain . This is finite: closed immersions are finite on affine charts by the quotient-ring description; composition is module-finite, and a finite disjoint union is module-finite. Empty affine opens have empty inverse image, with coordinate algebra zero; the following computation concerns nonempty affine opens. More explicitly, on any affine , let be its minimal primes and . The corresponding component inverse images are affine with finite coordinate domains lying in , normal and birational over . Consequently is its integral closure : every element of is integral over , and every element of the fraction field integral over is also integral over , hence belongs to . Therefore where . Each factor has finitely many -module generators; placing these in their separate coordinates gives finitely many -module generators of . This uses no Chinese-remainder decomposition of .
We identify correctly. Distinct minimal primes are incomparable. For each choose for and put ; for one minimal prime put . Its image is nonzero in and zero in every other . An element is a nonzerodivisor exactly when its image is nonzero in every : the forward implication follows since otherwise with , and the reverse follows from the injection . Hence localization gives an injection . For any tuple in this product, choose lifts of , and set and . The image of in is the nonzero product , so is a nonzerodivisor, and has the prescribed tuple of images. This proves surjectivity.
Each is normal Noetherian of dimension one. All its local rings are therefore fields or DVRs, hence regular. Their disjoint union is regular of dimension one. The generic-field identifications give birationality on each component, meaning the restriction from the corresponding normalized component, not a claim that scheme-theoretic base change over removes the other branches.
The affine description gives a finite module on each affine target chart. Thus is quasi-coherent of finite type, hence coherent on the locally Noetherian scheme .
Under that identification is the integral closure of in . Since is module-finite over , every satisfies a monic equation over : multiplication by on a finite generating family and the determinant trick give a monic polynomial annihilating , hence annihilating . Conversely a tuple integral over has its th coordinate integral over , so that coordinate belongs to . This proves precisely the affine description in part (3).
At a regular point of , its local ring is a field (in dimension zero its maximal ideal has zero cotangent space and hence is zero by Nakayama) or a DVR, hence an integrally closed domain. Thus only one component passes through . Remove the other finitely many closed components to obtain a neighborhood with integral coordinate rings. For an affine neighborhood therein, localization of its integral closure at the prime of equals . Indeed any element integral over has an equation with finitely many denominators outside that prime; clearing these denominators after multiplying the element by their product shows it belongs to a localization of the integral closure of . The reverse inclusion is immediate. As is a finite module, its zero stalk at implies it vanishes on a distinguished neighborhood of (annihilate each of finitely many generators with an element outside the prime). On that neighborhood , so is an isomorphism. These neighborhoods cover the regular locus.
Any other morphism with the stated properties has, by part (3), the same integral-closure algebra on each affine target chart. These canonical identifications commute with restriction: they are the same identifications inside the component function fields used in step 2.1. They therefore glue to a -isomorphism. It is unique: an -algebra automorphism of localizes to an automorphism of fixing , hence fixing every fraction . Here localization of at the nonzerodivisors of equals , since . Since embeds in , that automorphism is already the identity on . This proves part (4).
Remarks
Normalization separates the reduced irreducible components rather than gluing their normalizations along intersection points. The overlap construction above does not assume separatedness. The field-finiteness theorem [F1] applies to arbitrary fields, including imperfect fields, and regularity here means regularity of the local rings, not smoothness over .
Normalization defect delta of a reduced curve
Definition
Assume the Axiom of Choice (The Axiom of Choice). Let be a field and let be a reduced curve of finite type over : a -scheme of finite type with (The reduction of a scheme) and pure dimension one, proper over in the applications. Let
be the finite normalization of Normalization of a reduced curve is finite, and let
be the normalization defect sheaf, a coherent -module (Coherent module sheaves). The normalization defect of is
the -dimension of its space of global sections, a nonnegative integer.
The following comments record why the definition is meaningful. Since is finite, is a coherent -module and so is its quotient ; this is the finite-pushforward case of Coherent higher direct images under proper morphisms, and also follows directly from the affine-local description of a finite morphism. The stalks of vanish exactly at the points at which is an isomorphism, so is supported on the non-normal locus of : a closed subset of the Noetherian one-dimensional space containing no generic point of , because the local ring of the reduced curve at a generic point is a field and hence normal. Such a closed set is a finite set of closed points; componentwise this is the finiteness of Proper closed subsets of a curve are finite. Consequently is the direct sum of the finitely many stalk contributions over the support of , each of which is a finite-dimensional -vector space because has finite length over the Noetherian local ring and the residue field is finite over . Thus is a well-defined nonnegative integer. When is proper over , the same finiteness is the statement of Euler characteristic of a coherent sheaf for the coherent sheaf .
Remarks
- The definition uses only the finite normalization , its pushforward , and of the cokernel; no choice of a resolution of singularities or of a blowup sequence enters.
- The defect can be read off pointwise as a sum of local contributions; the identity with the Euler characteristic difference and the weighted sum of local lengths are proved later on this page, and are not part of the definition.
The normalization defect is an Euler characteristic and a weighted sum of local lengths
Statement
Assume the Axiom of Choice. Let be a field, let be a reduced proper curve over with normalization and defect sheaf . Then: (1) for , so (using additivity of the Euler characteristic in the normalization sequence and ); (2) over closed points of times the length of over , a finite sum over the finite non-normal locus; (3) , and if and only if is regular, in which case the irreducible components of are disjoint and normal.
Facts & Assumptions
Given: A field , a reduced proper curve over (reduced in the sense of (The reduction of a scheme), pure dimension one), its finite normalization of (Normalization of a reduced curve is finite), the defect sheaf and the defect of (Normalization defect delta of a reduced curve).
Normalization defect delta of a reduced curve: is a coherent -module supported on the finite non-normal locus, , and is the direct sum of the finitely many stalk contributions over the support.
Normalization of a reduced curve is finite: is finite, is regular of dimension one, on an affine chart corresponds to the inclusion of into its integral closure in the total ring of fractions, is unique up to a unique -isomorphism, and is coherent.
Euler characteristic is additive in short exact sequences: For a short exact sequence of coherent sheaves on a scheme proper over , .
Euler characteristic of a coherent sheaf: For proper over and coherent, is a finite alternating sum of finite -dimensions.
Affine pushforward is compatible with sheaf cohomology: For an affine morphism and a quasi-coherent -module , the natural maps are isomorphisms for all .
Composition series and length of a module: A composition series of a module is a finite chain with simple successive factors; the length is the number of factors, is independent of the series, and the zero module has length .
Module length is additive in short exact sequences: For a short exact sequence , has finite length if and only if and do, and then .
A skyscraper sheaf of abelian groups at a point, Flasque sheaf and Flasque abelian sheaves are Γ-acyclic: A skyscraper sheaf on a topological space is flasque, because its restriction maps are either identities or zero maps; hence, under the Axiom of Choice inherited from that acyclicity theorem, for every .
one dimensional regular local rings are dvrs: A nonzero Noetherian local ring of dimension one is regular if and only if it is a discrete valuation ring; fields are excluded from the term DVR.
Valuation rings are integrally closed: Every valuation ring is an integrally closed domain; in particular every discrete valuation ring is an integrally closed domain.
normal noetherian ring: A commutative Noetherian ring is normal if every prime localization is an integrally closed domain.
Proof
The normalization sequence is short exact: is the cokernel by definition [F1], and is injective because on an affine chart it is the inclusion of into its integral closure in the total ring of fractions [F2]. All three terms are coherent (, by [F2], and by [F1]), so the sequence satisfies the hypotheses of [F3].
One has : the finite morphism is affine by [F2] and its inverse image of an affine open is affine, so [F5] identifies with for every , and the two alternating sums of [F4] agree.
Let be the finite closed support of . The germ maps define a sheaf map , where each summand is the skyscraper of the underlying abelian group. It is an isomorphism on stalks: at its -component is the identity and the other summands have zero stalk since their points are closed; outside both stalks are zero. Hence it is an isomorphism of abelian sheaves. A finite sum of skyscrapers is flasque, because every restriction is a direct sum of identities and maps onto zero. Flasque acyclicity proves for and also proves directly the degree-zero stalk sum used below.
Consequently by [F4], and applying [F3] to the sequence of step 1.1 gives , so the two identities combined with step 1.2 yield ; this proves (1).
For the length formula of (2): by [F1], is the direct sum of the stalks over the finite non-normal locus, and each has finite length over the Noetherian local ring ; fixing a composition series [F6] with successive quotients and using additivity of -dimension in short exact sequences together with [F7], one gets . Summing gives over the closed points of the finite non-normal locus.
For (3): the sum in step 3.1 has nonnegative terms, so ; if then every local length vanishes, hence and the injective map of step 1.1 is an isomorphism, so the affine morphism is an isomorphism and is regular of dimension one by [F2]. Conversely, if is regular, then each one-dimensional local ring is a discrete valuation ring by [F9], hence an integrally closed domain by [F10], and the zero-dimensional stalks are fields, so is normal in the sense of [F11]; the identity is then a finite morphism from a normal curve that is an isomorphism over the regular locus, so the uniqueness clause of [F2] makes the normalization isomorphic to the identity over , whence and . Finally, in the regular case every local ring is a discrete valuation ring or a field, hence a domain, so each point of lies in a unique irreducible component and distinct components are disjoint; a component, having everywhere the local ring of , is itself regular and hence normal.
Normalization is unchanged under finite birational maps of reduced curves
Statement
Assume the Axiom of Choice. Let be a finite birational morphism of reduced curves of finite type over a field (for instance the restriction to a curve of a proper quasi-finite birational map; such a map is finite in the applications by A proper quasi-finite morphism is finite). Then induces an isomorphism of normalizations over ; equivalently, the normalizations of and are canonically identified with the same finite birational model of .
Facts & Assumptions
Given: A field , reduced curves of finite type over (pure dimension one, reduced), and a finite birational morphism , where birational means that bijects the generic points of irreducible components and induces an isomorphism on their local rings (the function fields); this extends the integral-scheme convention of [F7]. Let and be the finite normalizations of (Normalization of a reduced curve is finite).
Normalization of a reduced curve is finite: For a reduced -scheme of finite type and pure dimension one there is a finite morphism with regular of dimension one, an isomorphism over the regular locus, corresponding on an affine chart to the integral closure of in its total ring of fractions, and unique up to a unique -isomorphism.
Finite morphisms of schemes: A morphism is finite if for every affine open its inverse image is affine, , and is module-finite over .
Finite morphisms are integral and universally closed: For a finite morphism, every ring map induced on an affine chart is integral.
Birational morphisms restrict to isomorphisms between principal affine opens: For integral -schemes of finite type and a birational morphism that is locally of finite type, there are nonempty affine opens , with and an element such that the localised ring map is an isomorphism and restricts to an isomorphism .
Integral closure in an extension ring and integrally closed domains: For a domain with fraction field , the integral closure of in is the set of elements of integral over ; is integrally closed when it contains every such element.
Integral closure is unchanged across an integral intermediate domain: For domains with integral over , an element is integral over if and only if it is integral over .
Birational morphisms of integral finite-type schemes: For integral -schemes of finite type, a morphism is birational when it maps the generic point to the generic point and induces an isomorphism of the function-field stalks.
Proof
By the stated birationality convention, each reduced component corresponds to exactly one reduced component , with the same generic field. The restriction exists: the ideal of pulls back to zero on the generic point of the reduced integral scheme , hence to zero everywhere on . It is finite, since on affine charts its coordinate algebra is a quotient of the finite -algebra for , and the -action factors through the quotient defining . Thus is finite and birational in the integral sense of [F7].
The affine normalization construction of [F1] separates the reduced components, so and . Indeed for a reduced Noetherian affine curve with minimal primes , its total ring of fractions is , as established in the construction of [F1]. Its integral closure is : projection of a monic equation proves one inclusion; conversely, lift a monic equation for each coordinate to and multiply the finitely many lifted polynomials, obtaining a monic equation annihilating the tuple. These identifications commute with restrictions and give the claimed decompositions. It therefore suffices to compare the normalizations for each .
Fix and an affine open with ; then and are domains of dimension one, finite type over , the map is injective, module-finite by [F2] and integral by [F3], and the birationality of gives as subfields of the common function field . Indeed [F4] applied to supplies a nonempty affine open of on which the localised map is an isomorphism, and localising a domain at a nonzero element does not change its fraction field. By [F1] the normalization over is the spectrum of the integral closure of in and over is the spectrum of the integral closure of in ([F5]).
In the situation of step 3.1 one has as subrings of the common field : since and is integral over , [F6] says that an element is integral over exactly when it is integral over . Hence the affine normalizations agree canonically over , and the identification is the identity on the common function field.
The identifications of step 4.1 are canonical on affine charts (both sides are the same integral closure inside the same function field), so they agree on overlaps and glue to an isomorphism over ; assembling over the components by step 2.1 gives the isomorphism over , and the uniqueness clause of [F1] makes it the canonical identification of the two normalizations with the same finite birational model of .
Euler characteristic and normalization defect under a point blowup
Statement
Assume the Axiom of Choice. Let be a field, let be a regular surface proper over with an ample invertible sheaf, let be a reduced curve (an effective Cartier divisor), let be a closed point of with residue degree and let be the order of a local equation of in , namely . This is the intrinsic multiplicity, agreeing with Multiplicity of a hypersurface equation at a rational point in its affine rational-point setting. Let be the blowup of with exceptional curve and let be the strict transform of . Then as effective Cartier divisors on , and writing for the Euler characteristic of the structure sheaf (Euler characteristic of a coherent sheaf), one has Consequently, for the normalization defect of Normalization defect delta of a reduced curve,
Facts & Assumptions
Given: A field , a regular surface proper over with an ample invertible sheaf, a reduced effective Cartier divisor , a closed point with residue field of degree over , the multiplicity , the blowup of with exceptional curve , and the strict transform . The Axiom of Choice is assumed as in the statement, inherited from the Proj and cohomology constructions (The Axiom of Choice).
Total transform equals strict transform plus multiplicity times the exceptional divisor: For a reduced curve on a regular surface, a point blowup gives with the strict transform, and meets in the -cycle of degree over cut out by the degree- leading form. Both and are effective Cartier divisors (Cartier divisor).
Point blowups of regular surfaces stay regular, with rational exceptional fibre over the residue field: is regular of pure dimension two, is an effective Cartier divisor isomorphic to , and .
Blowups of finite type ideals are locally H-projective, and proper and Strict transform of a closed subscheme: The blowup is proper over , hence proper over ; and are closed subschemes of and respectively, hence proper over ; is reduced because is reduced; and properness makes all these schemes of finite type over (Proper morphisms). Their affine coordinate rings are Noetherian because is Noetherian (Every algebra of finite type over a Noetherian ring is a Noetherian ring); thus their structure sheaves, and all finite locally free sheaves on them, are coherent (Coherent module sheaves).
Pushforward and vanishing for point blowups on a surface: and for all .
Projection formula for invertible twists and Cohomology comparison when higher direct images vanish: For an invertible sheaf on the projection formula identifies , so by [F4] the sheaf has vanishing higher direct images and ; the vanishing-direct-image comparison gives for all , whence since are proper over and the sheaves are coherent.
Twisting the exact sequence of an effective Cartier divisor and Effective Cartier divisors give a short exact sequence: For an effective Cartier divisor on a scheme with closed immersion and an invertible sheaf there is a short exact sequence where is again invertible; for this is the standard sequence .
Euler characteristic is additive in short exact sequences: On a scheme proper over , the Euler characteristic of coherent sheaves is additive in short exact sequences.
Closed immersion preserves cohomology and coherent pushforward: For a closed immersion and a quasi-coherent -module there are isomorphisms for all , and is coherent when is locally Noetherian and is coherent.
Euler characteristic of line bundles on a projective line over a finite field extension: For an invertible sheaf of degree over on one has ; in particular a line bundle of degree has -Euler characteristic .
Normalization defect delta of a reduced curve, The normalization defect is an Euler characteristic and a weighted sum of local lengths, Normalization is unchanged under finite birational maps of reduced curves, A proper quasi-finite morphism is finite and Morphisms from a proper scheme to a separated one are proper: For a reduced proper curve over with normalization one has ; a finite birational morphism of reduced curves induces an isomorphism of normalizations; and a morphism from a proper -scheme to a separated -scheme is proper, while a proper quasi-finite morphism is finite.
The blowup is an isomorphism off the center: restricts to an isomorphism over .
Proof
The curve is an effective Cartier divisor on the regular surface , so [F1] gives the divisor identity and shows that is again an effective Cartier divisor, meeting in a finite -cycle of degree over . By [F2] the exceptional curve is with , and by [F3] the schemes are proper and locally Noetherian of finite type over with coherent structure sheaves; is finite because is of finite type over .
For put , an invertible sheaf with by the divisor identity of step 1.1. For apply the twisted sequence of [F6] on to the effective Cartier divisor and the invertible sheaf : since and writing for the closed immersion and , one gets the short exact sequence , whose three terms are coherent because is locally Noetherian. Additivity [F7] gives , and [F8] identifies the last term with .
Apply the untwisted sequence of [F6] to the effective Cartier divisor on and to the effective Cartier divisor on , whose structure sheaves are coherent by step 1.1: and . Additivity [F7] and the identification , respectively , from [F8], give and .
The restriction is computed as follows. First, is isomorphic to by [F2]. Second, : the morphism factors as , and the restriction of the invertible sheaf to the residue point is a free rank-one -module, whose pullback along is free of rank one. Hence , a line bundle of degree over , and [F9] gives .
Summing the identities of step 2.1 over and substituting step 3.1 gives , that is, because .
By [F5] applied to the invertible sheaf the Euler characteristics agree: , and likewise . Combining with step 4.1, .
Subtracting the two identities of step 2.2 and substituting step 5.1 yields , since . This proves and, together with the divisor identity of step 1.1, the first assertions.
The morphism induced by is proper: is a closed subscheme of the proper -scheme , hence proper over , and is separated over as a closed subscheme of the separated scheme ; by [F10] a morphism from a proper -scheme to a separated one is proper. It is quasi-finite: by [F11] it is an isomorphism over , and over its fibre is the finite -cycle of step 1.1. It is birational: it is an isomorphism over the dense open , being a closed point of the reduced curve . Hence is finite by [F10], and [F10] identifies the normalizations of and over .
By step 1.1 both and are reduced proper curves over , so [F10] computes their defects on the common normalization : and . Subtracting and using step 6.1, . Thus , and .
Remarks
- The factor records the residue degree of the blown-up point: the successive quotients of the filtration are line bundles of degree on a projective line over , and their -Euler characteristic is measured through .
- Summing the identity over the singular points of a reduced curve on a regular surface gives the strictly decreasing invariant that drives the resolution algorithm; for the correction vanishes, matching the fact that blowing up a regular point of a reduced curve does not change .
Contact order of two regular components at a point
Definition
Assume the Axiom of Choice (The Axiom of Choice), inherited from the regular-local prerequisites. Let be a regular Noetherian scheme of pure dimension two over a field (embedding dimension and regular local ring, Left and right Noetherian rings, Chain dimension and the empty-space convention). Let be reduced closed subschemes of pure dimension one, with no common irreducible component, and suppose every branch of either curve through the chosen closed point is regular at . Write and for their germ ideals. If misses either curve, set . Otherwise the contact order is Length means composition-series length (Composition series and length of a module).
Here the required local dimension follows from the geometry, rather than from the global dimension alone. A closed point of a pure one-dimensional Noetherian curve has local dimension one: a zero-dimensional local ring would make it the generic point of a zero-dimensional component, since the point is closed. At a closed point on , the ambient regular local ring cannot have dimension zero. If it had dimension one, it would be a DVR (one dimensional regular local rings are dvrs), and a branch prime with one-dimensional quotient would be zero. The closed curve would then contain the generic point, hence the whole two-dimensional ambient component, contradicting its pure dimension one. Thus at every actual contact point. Generic local rings of need not have dimension two.
The displayed length is finite. The minimal primes of are the branch primes of through . No common component means that is contained in none of these primes: an inclusion would make a one-dimensional branch of a component of . Thus the quotient has no generic point of a curve branch in its support, and its support is only the closed point. A finite module over a Noetherian local ring with this support has finite length. This uses noncontainment in every branch prime, not the weaker assertion that the image ideal is merely nonzero.
Local equations. A regular branch prime is principal. Indeed, its regular quotient has cotangent dimension one, so choose with nonzero class in . Then is regular of dimension one (regular local quotient by parameter is regular) and hence a DVR. The prime must be zero since its quotient still has dimension one. Therefore , with a prime element of the regular local domain (regular local rings are domains and cohen macaulay). The reduced curve ideal is the intersection of its finitely many distinct branch primes, so it is their product: if an element divisible by a product of some distinct prime elements is also divisible by a new prime element, primality forces divisibility of its remaining factor by that new element. Induction gives the intersection/product equality. Consequently and , with products of the respective branch equations, and These nonzero equations are regular sections; they define effective Cartier data. Changing an equation by a unit does not change the quotient or its length (Effective cartier divisor, Cartier divisor, Cartier divisor local equation equivalence).
Symmetry and transversality. The length equals the length of as an -module, and similarly as an -module, since all composition factors are the same residue field. Thus contact is symmetric. It equals one precisely when : a nonzero local quotient has length one precisely when it is the residue field. In that case the classes of form a basis of the two-dimensional cotangent space. Their regular parameter quotients are one-dimensional regular local rings, and their tangent lines are distinct. Conversely, if both curve germs are regular and their tangent lines are distinct, their equations have independent cotangent classes and generate by Nakayama (Assuming the Axiom of Choice, generators modulo an ideal in the Jacobson radical lift to generators). Hence their contact is one. This is exactly transversal meeting at . If either curve has at least two branches through , its product equation lies in ; its cotangent class cannot be part of a parameter basis, so the positive contact length is at least two, even if individual pairs of branches have distinct tangents.
The total contact order is The intersection is a zero-dimensional closed subscheme of a Noetherian scheme because there is no common component, so it has finitely many closed points. The sum is therefore a finite nonnegative integer. This definition includes all regular finite-type surface cases and uses no perfectness or rationality assumption on the residue fields.
A point blowup lowers pairwise contact order by one and separates transverse branches
Statement
Assume the Axiom of Choice, inherited from the blowup construction (The Axiom of Choice). Let be a regular surface over a field (Contact order of two regular components at a point), let be a closed point, and let be distinct curves that are regular at and pass through , with contact order (Contact order of two regular components at a point). Let be the blowup of , with exceptional curve , and let be the strict transforms of . Then:
- if , then and meet at distinct points, so they are disjoint in a neighbourhood of ;
- if , then and meet at the point of corresponding to their common tangent direction, the contact order of and there is , and every intersection of a strict transform with has order one.
Facts & Assumptions
Given: A regular surface over , a closed point with local ring , a regular system of parameters , local equations of and of at , the blowup of with exceptional curve and strict transforms , and the contact order of Contact order of two regular components at a point.
Contact order of two regular components at a point: and is a one-dimensional reduced Noetherian local ring; every component of and of through is regular at .
Affine blowup standard charts and overlaps, Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains, Flat base change for blowups, and failure without flatness, The exceptional divisor is the projectivized normal cone and associated graded ring of a regular local ring: Localizing the base at gives the charts and , with inverse ratio overlap. The exceptional curve is , hence after choosing parameters, since at the contact point. The quotient presentations follow from the regular-sequence torsion calculation below.
Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: The chart ring is the affine blowup algebra with and a nonzerodivisor, so on the first chart the inverse image ideal of the centre is .
Total transform equals strict transform plus multiplicity times the exceptional divisor: For a reduced curve through whose local equation has multiplicity at , one has and meets in the -cycle of degree cut out by the degree- leading form of a local equation of at .
Contact order of two regular components at a point and regular local quotient by parameter is regular: In a two-dimensional regular local ring, a regular curve germ has a prime equation with nonzero cotangent class, as shown in the definition's local-equation argument. Conversely, quotienting by an equation with nonzero cotangent class gives a regular one-dimensional local ring. Thus regularity of such a curve germ is equivalent to its equation having order one.
Effective cartier divisor and Cartier divisor: The exceptional curve is an effective Cartier divisor on , so the total transform and the expression of [F4] are well defined as divisors.
regular local quotient by parameter is regular, one dimensional regular local rings are dvrs and regular local rings are domains and cohen macaulay: A quotient of a regular local ring by an element with nonzero cotangent class is regular of dimension one less; in dimension one it is a discrete valuation domain.
dimension at most embedding dimension: The dimension of a nonzero Noetherian local ring is at most its embedding dimension.
Proof
The regular curve germ has prime ideal with regular of dimension one. Its cotangent space has dimension one, so the kernel of is nonzero. Choose with nonzero cotangent class and extend it to a parameter system . The ring is a one-dimensional regular local domain, hence a DVR. The prime must be zero, since its quotient has dimension one, whereas the only nonzero prime in a DVR is maximal and has zero-dimensional quotient. Thus . The same argument gives a principal equation of . In the DVR , is a uniformizer and the contact order is .
Write and for the leading forms of and in the symmetric algebra of , so and with by the regularity of at in [F5]. Since in the DVR with uniformizer , the order is exactly when : the tangent directions of and at , cut out by and , agree exactly when is a nonzero multiple of , that is exactly when and ; hence if and only if the tangent directions differ, and in that case may be zero or not, while for the two curves have the common tangent direction cut out by .
The first chart is : if , reduction modulo and regularity of modulo give , then cancellation gives . Thus no -power torsion remains in the incidence quotient. Work in the first chart , , so and ; by [F2] and [F3] this chart contains the point of corresponding to the tangent direction cut out by , namely , and the other chart covers the remaining points, so the two charts together see all of . By [F4] applied to and , whose local equations have multiplicity one at , one has and as identities of effective Cartier divisors, well defined by [F6]; and meets in the reduced point cut out by , in the reduced point cut out by ; explicitly in this chart the total transform of is with , , and .
If , then by step 2.1, so : the strict transform does not pass through the point , and its intersection with is cut out by at the point of corresponding to the tangent direction of , which differs from that of by step 2.1. On the open complement of (a closed subset missing ) the curves and are disjoint: they meet at distinct points and are therefore disjoint near .
If , then and , so : both and meet at the single point corresponding to the common tangent direction cut out by , namely ; and for a unit of the DVR , because by step 1.1. The ambient local ring at is regular: the domain chart has , and has maximal ideal generated by . The strict prime chain gives dimension at least two, while [F8] bounds it above by its embedding dimension at most two. Hence it is regular, with a cotangent basis. Since is a nonzero linear form, is regular at by [F5], and is regular there; in the DVR with uniformizer , the ideal of is generated by , so the contact order of and at is . Finally each of meets in a -cycle of degree one by [F4], so every intersection of a strict transform with has order one.
Steps 4.1 and 4.2 prove the two assertions: for transverse branches () the strict transforms meet at distinct points and are disjoint near , while for they meet at the common tangent direction with contact order , every intersection with having order one.
Remarks
- The computation uses only the first chart because the point of cut out by is there; when the common tangent direction is the other coordinate direction the same argument runs in the second chart with and interchanged.
- The statement is the local input for resolving plane curve singularities by repeated point blowups, where it shows that the contact order of two branches drops by exactly one at each step at which they still share a tangent direction.
Blowing up a multiple point separates pairwise transverse components
Statement
Assume the Axiom of Choice. Let be a regular surface over a field and let be a closed point through which pass distinct regular curves , pairwise meeting transversally at (contact orders one) and pairwise disjoint away from . Let be the blowup of with exceptional curve . Then the strict transforms meet at distinct points, no three support curves meet at a point of (in particular at most two components pass through any point of ), and the only new intersections are the transverse intersections at distinct points. If the two strict transforms become disjoint.
Facts & Assumptions
Given: A regular surface over (a Noetherian scheme of dimension two regular at every point, in the sense of Contact order of two regular components at a point), a closed point , distinct regular curves through with , pairwise of contact order one at and pairwise disjoint away from , and the blowup of with exceptional curve .
Choice. The Axiom of Choice is assumed, as in the statement; the cited suppliers used below are stated under it (The Axiom of Choice).
Contact order of two regular components at a point: For distinct reduced curves through a closed point of a regular surface, the total contact order is the sum of the local lengths and the definition records that if and only if and meet transversally at , meaning , each of and is regular at , and their tangent lines are distinct one-dimensional subspaces of the two-dimensional -vector space ; in that case the local contact order is computed in the local-equation form for a local equation of .
A point blowup lowers pairwise contact order by one and separates transverse branches: Let be distinct regular curves through a closed point of a regular surface with contact order , and let be their strict transforms under the blowup of with exceptional curve . If , then and meet at distinct points and are disjoint near ; if , the strict transforms meet at the point of corresponding to their common tangent direction with contact order ; every intersection of a strict transform with has order one.
Affine blowup standard charts and overlaps, Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains, Flat base change for blowups, and failure without flatness, The exceptional divisor is the projectivized normal cone and associated graded ring of a regular local ring: Localizing the base at gives the charts and , with inverse ratio overlap. The exceptional curve is , hence after choosing parameters, since at the contact point. The quotient presentations follow from the regular-sequence torsion calculation below.
The blowup is an isomorphism off the center: The restriction of the blowup to the complement of the center is an isomorphism: is an isomorphism of schemes.
Strict transform of a closed subscheme: The strict transform of a closed subscheme is the scheme-theoretic closure of its inverse image minus the exceptional divisor; on a chart where the ideal of is invertible it is cut out by the saturation of the inverse-image ideal by the ideal of .
dimension at most embedding dimension, regular local rings are domains and cohen macaulay, one dimensional regular local rings are dvrs and regular local quotient by parameter is regular: Regular local rings are domains, local dimension is at most embedding dimension, a regular parameter quotient is regular of dimension one less, and a regular hypersurface equation has multiplicity one.
Total transform equals strict transform plus multiplicity times the exceptional divisor: For a reduced curve of multiplicity one at the blown-up point, the strict transform is given by dividing its equation by the exceptional equation; its intersection with is the divisor of its nonzero linear leading form.
Proof
By [F1], since each pair with has contact order , every is regular at and the tangent lines are pairwise distinct one-dimensional -subspaces; moreover by the hypothesis that the curves are pairwise disjoint away from .
Fix . Its regular prime quotient has cotangent dimension one, so choose with nonzero cotangent class. The regular one-dimensional quotient is a DVR; its prime is zero because still has dimension one. Thus and is a principal equation of the curve germ. Regularity makes its initial form a nonzero linear form . Choose regular parameters so that . The -chart is : reducing modulo forces , and cancellation proves the incidence quotient has no -power torsion. In this ring its strict transform is cut by , with . Thus is the single reduced point . The other chart has equation with ; it gives the same point if , and none if . This proves there are no other intersections with . At that point the ambient local ring has maximal ideal and prime chain ; it has dimension and embedding dimension two, so is regular with this cotangent basis, and has a nonzero coefficient on . Hence is regular there and its tangent line differs from 's. Equivalently its quotient by is the residue field, giving contact length one.
Applying [F2] with to each pair , , the strict transforms meet at distinct points; with the uniqueness of step 2.1 this says whenever , so meet at the distinct points .
For the strict transforms and are disjoint: near this is [F2] with , and outside the blowup restricts to an isomorphism of with by [F4], so a common point of and outside would map to a common point of and different from , which does not exist; hence , and in particular the two strict transforms are disjoint when .
Consequently no three of the support curves meet at a point of : each meets only in , the points are distinct, and the are pairwise disjoint, so a point of lies on at most one strict transform and a point outside lies on at most one curve; every is a transverse intersection of with by step 2.1. The only intersections not present before the blowup are these points : the original curves met one another only at , and each such intersection has been separated, while outside the blowup creates no new intersections because it is an isomorphism there [F4].
Therefore meet at the distinct points , no three support curves meet at a point of , the only new intersections are the transverse intersections at distinct points, and and are disjoint when ; this proves every clause of the statement.
Resolution of reduced plane curves by point blowups and the delta recurrence
Statement
Assume the Axiom of Choice. Let be a reduced projective plane curve over a field (equivalently, a reduced hypersurface; reducible is allowed). Let be the regular projective surface obtained from by finitely many point blowups at closed points, and let be the reduced strict transform of . Then there is a finite sequence of blowups of closed points of the current regular projective surface after which the following hold: (a) every irreducible component of the resulting strict transform is regular; (b) the total support of together with the exceptional curves is a regular embedded normal-crossing support: all its components are regular, every intersection of two distinct components is transverse (pairwise contact order at most one at each intersection point), and at most two components pass through any point of the regular ambient surface; (c) at a blowup centered at a closed point of multiplicity and residue degree , the strict transform satisfies , where is the normalization defect of the reduced curve (Normalization defect delta of a reduced curve); this identity is the exact statement used for termination, and the multiplicity is the -adic order of a local reduced equation, with when the center misses the current strict transform. This is regular embedded normal-crossing support over the residual residue fields; it does NOT assert that the components are smooth over an imperfect , does not produce a relative SNC divisor with components smooth over , and makes no claim about resolution of singularities in dimension greater than two.
Facts & Assumptions
Given: The Axiom of Choice, a reduced projective plane curve over , a regular projective surface obtained from by finitely many point blowups, and its current reduced strict transform .
Choice. The Axiom of Choice is assumed, as in the statement; the cited suppliers used below are stated under it.
Point blowups of regular surfaces stay regular, with rational exceptional fibre over the residue field: Point blowups of a regular surface at closed points are regular of pure dimension two; the exceptional curve is an effective Cartier divisor.
Blowups of finite type ideals are locally H-projective, and proper: Every finite-type ideal blowup is proper over its base. For an integral projective base, an ample twist makes the point ideal globally generated (Eventual generation of coherent projective twists); invertible rescaling preserves its relative Proj (Invariance of the blowup under invertible (fractional) rescaling of the ideal), and a finite degree-one generating family embeds it in relative projective space (Relative Proj of a graded quasi-coherent algebra, Closed subschemes of projective space and saturated ideals). Closed immersions remain closed after base change (Closed immersions are affine quotients and survive base change).
Total transform equals strict transform plus multiplicity times the exceptional divisor: At a point of multiplicity , the total transform of a reduced curve is with the strict transform, and is obtained by dividing a local equation by the -th power of an exceptional equation.
Euler characteristic and normalization defect under a point blowup: For a reduced curve on a regular proper surface with an ample invertible sheaf, a point blowup at a closed point of multiplicity and residue degree gives .
Normalization defect delta of a reduced curve: is a nonnegative integer, finite for curves of finite type over .
Normalization is unchanged under finite birational maps of reduced curves: A finite birational morphism of reduced curves induces an isomorphism of their normalizations; the strict transform is proper and quasi-finite, hence finite by A proper quasi-finite morphism is finite.
A point blowup lowers pairwise contact order by one and separates transverse branches: Blowing up a point of contact order between two regular curves: for the strict transforms meet at distinct points and are disjoint near ; for they meet at the point of of their common tangent direction with contact order , and every strict transform meets with order one.
Blowing up a multiple point separates pairwise transverse components: If pairwise transversal regular curves pass through the blown-up point, their strict transforms meet at distinct points, no three support curves meet at a point, and the only new intersections are transverse intersections with .
Contact order of two regular components at a point: Contact order is the length of the quotient of the local ring of one curve by the ideal of the other; it is one exactly for a transversal crossing of two regular branches, zero for disjoint germs, and at least two for a positive nontransversal contact.
Normalization defect delta of a reduced curve and The normalization defect is an Euler characteristic and a weighted sum of local lengths: The non-normal locus of a reduced finite-type curve is finite. Its complement is exactly the regular locus, by the normalization's regularity and its being an isomorphism there. For two distinct integral curve components their proper closed intersection is finite by Proper closed subsets of a curve are finite.
regular local quotient by parameter is regular: In a regular local ring an equation with nonzero cotangent class has regular quotient of dimension one less. Conversely, for a hypersurface in a two-dimensional regular local ring, a regular one-dimensional quotient has cotangent dimension one, so its equation has nonzero cotangent class.
Proof
The ambient surface is regular of pure dimension two and projective over by hypothesis and [F1], [F2]; each point blowup is regular and proper by [F1, F2]. It is also projective over : the current surface is integral, since it is obtained from the integral plane by point blowups (Blowing up a nonzero ideal on an integral scheme is birational); choose an embedding of it into and twist its coherent point ideal by a power of the hyperplane bundle. Finitely many global generators of surject onto , giving a closed embedding of the blowup into . This is closed in ; the Segre map embeds the product as a closed subscheme of projective space. Indeed on each open the rank-one minor equations solve , exactly the product affine chart, and these chart identifications glue. Thus iteration preserves all the required hypotheses. Since is realized as the reduced strict transform on , [F3] applies at every center: the strict transform is obtained by dividing a local reduced equation by the appropriate power of an exceptional equation, and its scheme-theoretic support is the curve we blow up further.
Termination of the regularization stage. Let be a closed point of the current surface at which the strict transform is not regular, and let be the order of its local reduced equation. The quotient criterion of [F11] shows that order one is equivalent to regularity of this curve germ; hence ; the residue degree is at least one. Blowing up yields, by [F4] applied to the reduced curve on the regular proper surface with the ample invertible sheaf of [F2], , a strict decrease because ; by [F5] the defect is a nonnegative integer, so only finitely many such blowups at singular points are possible along any branch of the construction. Each blowup at a singular point is legitimate (step 1.1) and keeps every component reduced by [F3]; regularizing the finitely many singular points of the current curve, and iterating the strictly decreasing invariant, terminates after finitely many blowups with a strict transform whose components are all regular, which is clause (a).
Crossing stage reduction. Every existing exceptional component remains regular under subsequent point blowups: at a point on a regular curve, choose parameters with its equation ; its strict transform is in , with quotient , and meets the new exceptional curve transversally. Thus after stage 2, consider the entire reduced support consisting of the regularized curve and all strict transforms of old exceptional curves. These components are regular and finite in number. The number of intersection points of this entire support is finite by [F10]. If there are no pairwise intersections, the crossing stage is finished and there are no multiple points to treat. Otherwise let be the maximum contact order among intersecting pairs of distinct components, computed as in [F9]. While , let be the finite set of points at which some pair has contact order exactly , and blow up every point of : by F7 a pair of contact order at such a point is replaced by a pair of contact order at the point of of their common tangent direction, and every strict transform meets transversally (order one); pairs of smaller contact order and the newly created intersections with have order at most or one. After each finite round, stop if the contact set is empty; otherwise its positive maximum strictly decreases. Since this maximum is a positive integer and each round is finite by [F10], after finitely many rounds either there are no intersections or their maximum is one. In both cases every remaining pairwise intersection is transverse.
Multiple points. Once every pairwise contact has order at most one, blow up each point through which regular components pass. Locally at each such point, [F8] applies after shrinking away from all other pairwise intersections, and its strict transforms meet the new exceptional curve in distinct points with no triple intersection over this center. Elsewhere the old support is unchanged, and the only new intersections are the transverse intersections with ; hence the number of points where at least three components meet strictly decreases, no new such point is created, and the process terminates after finitely many blowups. The result is a finite sequence (steps 2.1-4.1) after which all components are regular, all pairwise intersections are transverse, and at most two components pass through any point of the ambient regular surface; together with the effective Cartier property of the components and of from [F1] and [F3], this is the regular embedded normal-crossing support of clause (b).
Clause (c) is the invariant used in steps 2.1-4.1, stated separately: at a center of multiplicity and residue degree , when lies on the curve, the strict transform satisfies by [F4]. When misses it, the blowup restricts to the identity on the curve by The blowup is an isomorphism off the center, so its defect is unchanged and the same formula holds with . For a center on the curve, the total-transform identity is [F3]. The identity is meaningful because the strict transform is proper and quasi-finite, hence finite, so [F6] identifies the normalizations of the two curves and the defect is computed on the same normal model; the multiplicity is the -adic order of a local reduced equation by [F3]. The sequence constructed in steps 2.1-4.1 is finite and consists of point blowups of regular projective surfaces, and no smoothness of the components over an imperfect field and no statement in dimension greater than two is asserted.
Invariance of the blowup under invertible (fractional) rescaling of the ideal
Definition
Assume the Axiom of Choice. Let be integral, let be a quasi-coherent ideal of finite type, and let be an invertible fractional ideal. Its product is a subsheaf of ; it need not be contained in . Define its fractional Rees algebra and blowup by Here , with multiplication induced inside , so the algebra is quasi-coherent and generated in degree one. When , this is the ordinary ideal blowup of Blowup of a scheme along an ideal sheaf.
On a nonempty affine open trivializing , choose with . Multiplication by is an -module isomorphism for every , with inverse division by . These maps respect multiplication and give a graded algebra isomorphism . The inverse of its contravariantly induced Proj map defines No assertion that is needed.
Replacing by , , changes the degree- map by . This automorphism induces the identity on Proj: on any homogeneous localization, numerator and denominator of a degree-zero fraction acquire the same power of , which cancels. Thus the local maps agree on overlaps and glue to a canonical isomorphism of -schemes Division by gives its inverse, including when the original ideal is zero and both blowups are empty. This construction uses relative Proj and is compatible with restriction to opens.
Remarks
An invertible sheaf on an integral scheme can be realized as an invertible fractional ideal by choosing a nonzero basis of its generic fiber: local sections inject into that fiber, since locally is free and the coordinate rings are domains. Consequently the algebra has the same relative Proj as . In particular one may use an ample twist that makes globally generated, without treating that sheaf as an ordinary ideal. For and on an affine domain containing a nonunit , the product is fractional, illustrating why the distinction is necessary.
The ordinary effective Cartier rescaling also works without integrality of . For any scheme , a quasi-coherent ideal and an effective Cartier divisor with ideal (Effective cartier divisor), use here the Rees Proj even if is not of finite type: ideal powers commute with affine localization, so this is a quasi-coherent graded algebra to which Relative Proj of a graded quasi-coherent algebra applies. Write locally, where is a nonzerodivisor. Multiplication by is an isomorphism in every degree, with inverse on its image, so it gives a graded Rees algebra isomorphism and a local blowup isomorphism. On overlaps changes by a unit; the same degree-zero cancellation proves that these isomorphisms glue canonically to . Thus multiplying the center ideal by an effective Cartier ideal leaves the blowup scheme canonically unchanged on arbitrary , including . This assertion concerns the blowup object; the center and the open complement used to define a strict transform may change.
Blowing up I and I^d agree
Statement
Assume the Axiom of Choice, inherited from the relative Proj construction (The Axiom of Choice). Let be a scheme, let be a quasi-coherent ideal sheaf of finite type on (Quasi-coherent ideal sheaves) and let . Then there is a canonical isomorphism of -schemes more precisely is the Veronese regrading of the Rees algebra sheaf, the degree- piece of being , and the canonical identification of Proj is invariant under Veronese regrading glues over .
Facts & Assumptions
Given: A scheme , a quasi-coherent ideal sheaf of finite type, its powers , the Rees algebra sheaves and (Rees algebra sheaf of a finite type ideal), and the blowups and of Blowup of a scheme along an ideal sheaf.
Rees algebra sheaf of a finite type ideal: The Rees algebra sheaf of a quasi-coherent ideal sheaf is the graded -algebra with degree- piece , and is its Veronese regrading; the graded pieces are quasi-coherent.
Proj is invariant under Veronese regrading: For a commutative nonnegatively graded ring and there is a canonical isomorphism mapping the chart of , for homogeneous of positive degree, to the chart of with the same coordinate ring ; it is the identity for and sends the empty Proj to the empty Proj.
Affine blowup standard charts and overlaps: For the standard opens cover with the stated overlap identifications, and the presentation is independent of the chosen generating family.
Relative Proj of a graded quasi-coherent algebra: The relative Proj of a quasi-coherent graded -algebra is constructed by gluing the spectra of the degree-zero localisations over affine opens of , compatibly with restriction to smaller affine opens.
Blowups restrict to open subschemes of the base: For an open subscheme there is a canonical isomorphism , and the blowup is determined up to canonical isomorphism by its restrictions to an open cover.
Proof
The graded -algebras and are canonically isomorphic: their degree- pieces are in both cases, the multiplications are the multiplication of , and the identifications are compatible with restriction to open subschemes.
On an affine open with and , [F2] applied to the graded ring gives a canonical isomorphism that maps a chart , for homogeneous of positive degree, to with the same coordinate ring .
The isomorphism of step 1.2 identifies the standard charts of the two blowups: for the chart of corresponds to in , and under step 1.1 this is the standard chart of , with coordinate ring via the identification ; the charts cover for any generating family by [F3], and their images cover .
The chartwise identifications are canonical: on the overlap of two charts they are the identity of the common localisation of , and on restriction to a smaller affine open the identification for is the restriction of the identification for , because both sides are computed by the same graded localisations and the Veronese isomorphism of [F2] is natural in the graded ring; hence the identifications are compatible with the gluing data of the standard charts.
The identifications of step 3.1 glue over an affine cover of to an isomorphism of -schemes by [F4], and over arbitrary open subschemes the restriction compatibility of [F5] gives the same isomorphism; since by step 1.1, this proves the stated canonical isomorphism , which is the identity when .
Remarks
- The identification matches the relative twists with under the Veronese isomorphism, as recorded in Proj is invariant under Veronese regrading.
- Together with Invariance of the blowup under invertible (fractional) rescaling of the ideal this shows that the blowup depends on the ideal sheaf only up to the equivalence generated by invertible rescaling and positive powers.
Integrality and reducedness of blowups from the Rees charts
Statement
Assume the Axiom of Choice, inherited from the relative Proj construction (The Axiom of Choice). Let be an integral scheme (Integral schemes) and let be a nonzero quasi-coherent ideal sheaf of finite type on (Quasi-coherent ideal sheaves). Then the blowup of Blowup of a scheme along an ideal sheaf is integral: the affine blowup algebras are domains because is a domain and is nonzero, and they glue along localisations. More generally, if is reduced then is reduced, because the affine blowup algebras of a reduced ring are reduced.
Facts & Assumptions
Given: An integral (respectively reduced) scheme , a nonzero quasi-coherent ideal sheaf of finite type, and for an affine open with and the affine blowup algebra , the degree-zero part of the localisation of (Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains, Rees algebra sheaf of a finite type ideal).
Integral schemes: is integral exactly when it is nonempty and every nonempty affine open of is the spectrum of a domain; equivalently is reduced and its underlying space is irreducible.
Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For the affine blowup algebra has with a nonzerodivisor and . Its construction as the degree-zero part of the localisation of at the degree-one element embeds into as the subring generated by and the fractions , ; if is a domain and then is a domain, and if is reduced then is reduced.
Affine blowup standard charts and overlaps: For the standard opens cover and the presentation is independent of the chosen generating family.
A principal localization identifies its spectrum with a distinguished open: For the principal open is and the localisation morphism is an open immersion with image the complement of .
Blowups restrict to open subschemes of the base: For an open subscheme there is a canonical isomorphism ; the blowup is covered by the restrictions over an affine cover of .
The reduction of a scheme: On , the reduction is . Consequently reducedness is affine-local: a nilpotent section on a reduced affine chart is zero, and these charts cover all stalks. Also a subring of a reduced ring is reduced, since its nilpotent elements are nilpotent in the larger ring and hence zero.
Proof
Over an affine base , discard generators , whose charts are empty. If is a domain, every remaining chart is a domain; if is reduced, every chart is reduced (including empty charts). Hence the blowup is reduced in either case, by affine-local reducedness. Moreover in chart is by the chart localization identity.
Suppose is integral and . Then is a nonempty open: a nonzero local section of the ideal in a domain remains nonzero at the generic point. Put . On chart , the inverse-image ideal is , so . The identifications are the structural morphism and agree on intersections: after both denominators are inverted, the ratio transition maps fix and the ordinary fractions. Thus they glue to . This is a nonempty irreducible open.
Every nonempty chart is a domain chart with a nonzero denominator, so its nonempty principal open is dense. The closure of therefore contains every chart and is the whole blowup. A closure of an irreducible set is irreducible. Together with reducedness and nonemptiness, this proves integrality. If the ideal is zero, all charts are empty and the reducedness assertion still holds.
Remarks
- The argument does not need to be Noetherian or to be principal anywhere; it only uses that the affine blowup algebra sits inside the localisation .
- If the blowup is empty and hence reduced, while irreducibility and nonemptiness fail; this is why the integral statement assumes .
Strict transforms of closed subschemes are blowups of the subscheme
Statement
Assume the Axiom of Choice. Let be a quasi-coherent ideal sheaf of finite type on a scheme (Quasi-coherent ideal sheaves), let be the blowup of Blowup of a scheme along an ideal sheaf with center , and let be a closed subscheme (Closed immersions of schemes). Write for the inverse image ideal of in ; it is a quasi-coherent ideal sheaf of finite type, and it cuts out the scheme-theoretic intersection . Then the strict transform of (Strict transform of a closed subscheme), the scheme-theoretic closure of in , is canonically isomorphic over to the blowup ; equivalently, is the blowup of along the closed subscheme . On the standard affine charts with and , the chart of the blowup meets in : is cut out by the saturation of the pullback ideal of by the exceptional equation. Moreover the strict transform of a finite scheme-theoretic union is the union of the strict transforms; in particular a finite union of components is transformed componentwise.
Facts & Assumptions
Given: A scheme , a quasi-coherent ideal sheaf of finite type with zero scheme , the blowup , a closed subscheme with inverse image ideal , and the Axiom of Choice, inherited from the relative Proj constructions (The Axiom of Choice).
Strict transform of a closed subscheme: With , the strict transform is the scheme-theoretic closure of in ; when the closure is computed by Schematic closure and agreement on a dense open, it is the smallest closed subscheme through which factors. On a standard affine chart on which the exceptional subscheme is cut by , and on which is cut by , the strict transform is cut out by the saturation , and these local descriptions glue.
Blowup of a scheme along an ideal sheaf, Quasi-coherent ideal sheaves and Quasi-coherent module on a scheme: For a quasi-coherent ideal sheaf of finite type the blowup exists, and is quasi-coherent of finite type because is and and quotients of quasi-coherent modules preserve these properties; its zero scheme is .
The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier and Universal property of the blowup: On the blowup of along the pullback is invertible, so for the composite the inverse image of is an effective Cartier divisor; consequently there is a unique -morphism . Equivalently is final among -schemes in which the inverse image of is an effective Cartier divisor.
Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For the standard opens cover and ; the image of is a nonzerodivisor in , so is the preimage of the extension of an ideal to .
Closed immersions are local on the target: A morphism is a closed immersion if and only if its restrictions over the members of an open cover of the target are closed immersions.
Uniqueness of the blowup: Two blowups of the same scheme along the same ideal sheaf are isomorphic by a unique isomorphism compatible with the structural morphisms.
Proof
By [F2] the inverse image ideal is quasi-coherent of finite type with zero scheme , so the blowup and its structural morphism are defined; composing with exhibits it as an -scheme. By [F3] the inverse image of on is cut by the invertible ideal , hence is an effective Cartier divisor, so the universal property supplies a unique -morphism . Together with it defines a morphism over .
Chart computation. Let be affine with and . Write and , so that is the chart of over . The morphism on this chart is the -algebra homomorphism with for and . It is surjective because is generated over by the elements . Its kernel is the saturation : indeed if and only if the image of in vanishes, and by [F4] applied to and this localized ring is , the localization of at , so lies in the kernel precisely when for some , which is the saturation.
By step 2.1 the restriction of to the chart is the closed immersion cut out by the saturation , whose image is exactly the piece of over described in [F1]; this is the full preimage of chart : on a source chart , membership in target chart means the pulled-back ratio is a unit, precisely the overlap with source chart . Equivalently, if the image lies in target chart , the pullback of its center ideal is generated by ; comparison with a regular generator on a source chart forces their ratio to be a unit, as in the universal-property proof. Thus is the full preimage. Therefore these chart descriptions agree on overlaps and cover the target, so by [F5] the morphism is a closed immersion and its image is exactly . Hence identifies with over , and in particular is the blowup of along , equivalently along .
Canonicity. The morphism is the unique -morphism from to provided by the universal property in [F3], and is the structural morphism of the blowup, so is determined by the data of the two blowups; conversely the inverse is obtained by gluing the inverse chart isomorphisms from steps 2.1–3.1, determined by the same data, and any two isomorphisms with these properties agree by [F6]. Thus the identification of with is canonical.
Union statement. Suppose is the scheme-theoretic union of two closed subschemes, so on an affine chart their ideals satisfy . The saturation of with respect to is the preimage of the ideal under by [F4], and . Flat localization gives ; taking preimages under commutes with finite intersections; hence on every chart. By step 2.1 the right-hand side cuts out the union of the chart pieces of and , and these chartwise identifications glue, so as closed subschemes of . Induction gives the result for every finite scheme-theoretic union. In particular a finite union of components is transformed componentwise, and is the union of the strict transforms of its parts; this union may be empty or have a single component.
Remarks
- The hypothesis that has finite type is used only to know that the blowups and the inverse image ideal are defined as in Blowup of a scheme along an ideal sheaf; the identification itself is chartwise.
- The saturation in the chart description is exactly what removes the components of the pullback of that lie inside the exceptional divisor, which is why a subscheme contained in the center has empty strict transform: for the ideal is zero on the charts, , and is the relative Proj of a graded algebra concentrated in degree zero, which is empty. This convention is forced by the closure definition, and the theorem covers it.
Blowing up the base ideal resolves a rational map to projective space
Statement
Assume the Axiom of Choice. Let be an integral finite-type -scheme, let be invertible, and let be meromorphic sections of , not all zero. Their ratios define . Put and define the finite-type quasi-coherent fractional ideal . Its fractional blowup is Then is integral, its projection resolves , and is the schematic closure of its graph. The generating line bundle is . If is a -morphism from an integral scheme, is the domain of a representative of , , and extends that representative composed with , then factors uniquely through . The nonempty inverse-image condition ensures that this induced rational map is defined.
Facts & Assumptions
Given: The Axiom of Choice, the integral finite-type -scheme , , the meromorphic tuple , its fractional ideal , and as above.
Rational maps of integral finite-type schemes and Rational section line bundle: Meromorphic sections are elements of the one-dimensional generic fiber of (zero is allowed here); a nonzero tuple gives projective ratios on a nonempty open. Representatives agree on nonempty opens and their target is separated.
Invariance of the blowup under invertible (fractional) rescaling of the ideal and Relative Proj of a graded quasi-coherent algebra: A fractional ideal of form on an affine domain, with and an ordinary ideal, has Rees Proj canonically isomorphic to the blowup of , by degreewise rescaling. Relative Proj glues quasi-coherent graded algebras.
The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier: The extended ordinary center ideal on its blowup is invertible.
Maps to projective space equal generating line-bundle data: An invertible sheaf with generating global sections gives a morphism to projective -space; its coordinates on chart are the section ratios.
Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For in a domain , chart is , generated by the ratios ; zero generators give empty charts.
Blowups of finite type ideals are locally H-projective, and proper: The surjection gives a closed immersion of the blowup into with the displayed chart ratios.
Integrality and reducedness of blowups from the Rees charts: A blowup of a nonzero finite-type ideal on an integral scheme is integral. Its unchanged nonempty open is dense in every nonempty domain chart.
Proof
Trivialize by on an affine . Write and clear denominators by , obtaining . Then with , so it is quasi-coherent of finite type. Its powers are also quasi-coherent. Degreewise multiplication by identifies its Rees algebra with . Changing or the frame rescales these maps in each degree, inducing the same degree-zero ratio maps on Proj. Thus the relative Proj is defined and locally the ordinary blowup of ; , so is integral.
The extended fractional ideal is invertible by [F3]. The sections lie in and generate it. If generates on a local chart, the frame of is , and the coefficients of these sections are , which are regular and generate the unit ideal. Therefore [F4] gives , with coordinates on chart , resolving .
Locally on , [F6] makes a closed immersion with chart rings . These immersions agree on overlaps because their coordinate ratios agree, hence glue. On the nonempty open where a nonzero is invertible, it is the graph of ; this open is dense in the corresponding domain chart by [F5]. Consequently is the schematic closure of that graph: a function on a domain chart vanishing on this dense principal open is zero. For any representative the graph over is closed in by separatedness, and its nonempty dense part is the same graph just considered. The closure restricted to is therefore exactly that graph, with its reduced scheme structure.
Let satisfy the stated hypotheses. The nonempty open is dense in the integral scheme , and lands in there by step 3.1. The pullback of the ideal of the closed immersion vanishes on this dense open. It vanishes everywhere: on each nonempty affine open of an integral scheme, a regular function zero on a dense open is zero in its domain coordinate ring. Thus factors through . Any other -lift has the same projective component on , since over is the graph. Two maps from a reduced integral scheme to separated projective space agreeing on a dense open agree everywhere, by the same ideal-vanishing argument applied to the diagonal. Hence the two lifts agree, as is a closed subscheme of the product.
Remarks
The base ideal is fractional when the sections have poles. Clearing denominators supplies ordinary ideals locally; their rescalings need not define a single ordinary ideal globally. Multiplying the tuple by a nonzero rational scalar preserves its ratios and its blowup. A morphism whose image is entirely outside every representative's domain has no induced rational map to extend; no factoring claim is made for it.
Blowing up replaces the center by its projectivized normal directions
Remark
A blowup is not the deletion of the center. Let be a quasi-coherent ideal sheaf of finite type on a scheme with zero scheme , and let be the blowup of Blowup of a scheme along an ideal sheaf, with exceptional subscheme (Exceptional subscheme of a blowup). Then:
- is proper over (Blowups of finite type ideals are locally H-projective, and proper); no properness of the base over a field or global H-projective embedding is required;
- is an isomorphism over the open complement (The blowup is an isomorphism off the center). It can also be an isomorphism over the center: an effective Cartier center has identity blowup, as is seen on its single principal regular chart;
- the pullback ideal is invertible (The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier), so after the blowup the center is an effective Cartier divisor and further blowups along it do nothing;
- the center is replaced, not deleted: is identified with the projectivized normal cone (The exceptional divisor is the projectivized normal cone), so the points of lying over record the normal directions to at . For a closed point center on a regular finite-type surface of pure dimension two over a field this is a projective line over the residue field, , and the blowup stays a regular surface (Point blowups of regular surfaces stay regular, with rational exceptional fibre over the residue field).
Surjectivity is part of the same picture but carries a hypothesis. If the center is empty () then is an isomorphism; if vanishes identically on an open set, then the blowup has empty fibres over that set, so no unconditional surjectivity holds. In the integral finite-type situations used on this page, a nonzero center ideal has a nonempty dense complement. The proper image of the blowup is closed and contains that complement, hence is all of . Thus every fiber is nonempty, including the projectivized normal-cone fibers over the center.
Finally, strict transforms record how subvarieties approach the center: a closed subscheme has strict transform (Strict transform of a closed subscheme) cut out on the standard affine charts by the saturation of the pullback of its ideal by a local equation of the center, so parts supported entirely in the exceptional locus are removed. A subscheme contained in the center has empty strict transform; a single blowup need not separate all remaining branches.
No inference to general resolution of singularities
Remark
The results of this page prove resolution for reduced projective plane curves by point blowups (Resolution of reduced plane curves by point blowups and the delta recurrence) and the regularity of point blowups of regular surfaces; the blowups used are proper and, in the point case, have the explicit projective chart descriptions of Blowups of finite type ideals are locally H-projective, and proper. These statements do not imply resolution of singularities for arbitrary varieties, nor for surfaces over imperfect fields with smoothness assertions about the resulting components, nor for schemes of dimension at least three. The termination argument for the curve case uses two features special to curves on surfaces: the one-dimensional normalization defect , which decreases by at each singular point blowup, and the pairwise contact order of two regular branches at a point of a regular surface, which decreases by one under an appropriate point blowup. In higher dimension there is no such defect count, and the embedded normal-crossing support produced for curves does not control the singularities of a general ambient scheme. The page therefore claims only the plane-curve resolution and the regularity statements stated and proved in its items, and the normal-crossing conclusion is asserted over the residual residue fields, not as smoothness over an imperfect base field.
Cohomology comparison when higher direct images vanish
Statement
Assume the Axiom of Choice (The Axiom of Choice). Let be a morphism of schemes and an -module. If for all , then the natural cohomology comparison is an isomorphism The comparison is natural in , agrees in degree zero with the identity , and applies also to restricted over any open subset of where the same vanishing holds. No quasi-coherence, separatedness or properness of is required.
Facts & Assumptions
Given: The Axiom of Choice, a morphism of schemes and an -module with vanishing higher direct images.
Godement terms are flasque and compute cohomology: Under Choice the Godement resolution of an abelian sheaf is functorial, exact, has flasque terms, and computes its sheaf cohomology.
Enough injective sheaves of modules: The category of modules on a ringed space is abelian with supplied functorial injective resolutions under Choice; forgetting the module structure preserves kernels, cokernels and exactness.
Flasque sheaf and Flasque abelian sheaves are Γ-acyclic: A flasque sheaf has surjective restrictions and has zero positive cohomology on every open subset.
Direct image of a sheaf along a continuous map and Local-section formula for derived direct image: Direct image sections on are sections on , and higher direct images of a module are sheafifications of , with no restriction on the morphism.
The acyclic-resolution theorem for right derived functors, Higher direct image of a sheaf and Sheaf cohomology as right derived global sections: An exact resolution by objects acyclic for a left exact functor computes its right derived functors, with canonical comparison, provided its syzygies lie in the domain of the supplied resolution datum.
The Axiom of Choice and AC implies DC implies countable choice: Choice supplies Dependent Choice, as needed for acyclic-resolution comparisons.
Proof
Apply the Godement construction to the underlying abelian sheaf of , retaining its module structure. For a module , the first term on an open is , with acting through its germ on each factor. The germ map is module-linear; take its module cokernel and repeat. Since these cokernels have the same underlying abelian sheaves, this yields an exact functorial module resolution whose terms are flasque and whose section complex computes . All modules and syzygies lie in the supplied datum's domain, and Choice supplies the required Dependent Choice.
Every flasque module is -acyclic: on every open , flasque acyclicity gives for , and the local-section formula gives . Moreover is flasque, since its restrictions are the restrictions of along inverse-image opens. These facts hold for arbitrary .
Apply the acyclic-resolution theorem to and . It identifies the cohomology sheaves of with . The hypothesis makes this an exact coaugmented resolution of , and its terms are flasque by step 1.2. Forget the -module structure, preserving exactness by [F2]. All terms and syzygies are then in , the full domain of the supplied cohomology datum. Apply the acyclic-resolution theorem to on that category; this resolution computes . Its global section complex equals term by term, so step 1.1 gives the claimed comparison isomorphism.
Functoriality of Godement and of the acyclic-resolution comparisons makes these identifications natural and independent of presentations. In degree zero they are exactly the equality of direct-image global sections. Restricting over an open of repeats the same proof. Empty schemes and the zero module give zero complexes, and for the identity morphism the comparison is the identity.
5 · Examples, counterexamples and false statements
None yet.
Sources
- The Stacks Project, Commutative Algebra, Section 10.70 (Blow up algebras)
- Ravi Vakil, Foundations of Algebraic Geometry, June 27, 2011 draft (author-hosted 'Early (out-of-date) version of The Rising Sea')
- The Stacks Project, Divisors, Sections 31.33-31.36 (Blowing up; Strict transform; Admissible blowups; Blowing up and flatness)
- The Stacks Project, Commutative Algebra, Section 10.69, Quasi-regular sequences
- Roman Bezrukavnikov et al., MIT 18.725 Algebraic Geometry (Fall 2015) consolidated lecture notes
- The Stacks Project, Constructions of Schemes, Section 27.8
- J. S. Milne, Algebraic Geometry v6.10
- The Stacks Project, Resolution of Surfaces, Section 54.3 (Quadratic transformations)
- The Stacks Project, Cohomology of Sheaves, Section 20.54, Projection formula
- The Stacks Project, Definition 29.51.1: birational morphisms
- The Stacks Project, Resolution of Surfaces, Section 54.15 (Embedded resolution)
- The Stacks Project, Cohomology of Sheaves, Section 20.13