Alphabeta Math
Pipeline-generated
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.

✓ 39 results · all verified · 25 also independently AI-judged
Every result on this page is machine-checked by a proof checker and read in full and owner-audited; the judge is an additional, independent cross-model AI review of the proofs. The 14 not AI-judged were verified by owner audit (typically over a confirmed judge false positive), not failures.

Blowups, Exceptional Divisors, and Strict Transforms

1 · Prerequisites

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 X and a finite-type quasi-coherent ideal I one forms the Rees algebra sheaf R(I)=⨁n≥0In and sets Bl⁡IX=Proj⁡‾XR(I); on an affine chart Spec⁡A with I=(f0,…,fr) the blowup is covered by the standard charts Spec⁡A[I/fi], and the chart rings are the affine blowup algebras, described by the normal form b/an inside Aa and by the polynomial presentation A[x1,…,xr]/(axi−ai) modulo its a-power torsion. The exceptional subscheme E=π−1V(I) is the scheme-theoretic preimage of the centre; when the centre is a regular immersion its normal cone is the symmetric algebra of I/I2 by the theory of regular sequences, so E is the projectivised normal bundle of the centre in X.

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 −1. 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 π∗C=C′+mE, and to track the normalization defect δk 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

DefinitionDefinition: Literature-sourcedProof: Literature-sourcedjudge pass (gpt-6.1-sol)Open item page →

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 X be a scheme and let I⊆OX be a quasi-coherent ideal sheaf of finite type (Quasi-coherent ideal sheaves). Put I0:=OX, and for n≥1 let In be the n-fold product of the ideal sheaf I inside OX, that is, the image of the multiplication map I⊗n→OX (equivalently, the ideal sheaf generated by all local products of n sections of I). The Rees algebra sheaf of I is the sheaf of graded OX-algebras

R(I):=⨁n≥0In,

whose degree-n piece is the ideal sheaf In, whose multiplication Im⊗OXIn→Im+n is induced by multiplication in OX, and whose unit is the identification OX=I0. Since multiplication of ideals is associative and commutative and ImIn⊆Im+n with equality for the product ideal, R(I) is a commutative graded OX-algebra with R(I)0=OX and R(I)1=I.

The construction is local on X and agrees with the affine Rees algebra: if U=Spec⁡A⊆X is affine and I∣U=I~ for an ideal I⊆A (Quasi-coherent ideal sheaves), then In∣U=In~ for every n≥0, and taking sections on U gives the affine Rees algebra ⨁n≥0Intn of (The Rees algebra of an ideal and the Rees module of a filtered module) with its degree-n piece In. 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.

  1. The powers are quasi-coherent. Each In is a quasi-coherent OX-module (Quasi-coherent module on a scheme). Indeed, cover X by affine opens U=Spec⁡A with I∣U=I~; then In∣U=In~ is the associated sheaf of an A-module, and quasi-coherence is local on X. Alternatively, for n≥1 the multiplication map In−1⊗OXI→In is surjective from a quasi-coherent source by Tensor product preserves quasi-coherence.
  2. The Rees algebra sheaf is quasi-coherent. On each affine chart U=Spec⁡A one has R(I)∣U=⨁n≥0In~, the associated sheaf of the graded A-module ⨁n≥0In; since quasi-coherence is local on X, the direct sum of the quasi-coherent sheaves In is quasi-coherent.
  3. Degree-one generation. R(I)0=OX and R(I)1=I generate R(I) as an OX-algebra: for every n≥1 the product map I⊗n→In is surjective, because In is by construction generated by products of n local sections of I. Equivalently, the canonical graded OX-algebra homomorphism ⨁n≥0Sym⁡OXn(I)→R(I) 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.
DefinitionDefinition: Literature-sourcedProof: Not applicablejudge pass (gpt-6.1-sol)Open item page →

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 X be a scheme and let I⊆OX be a quasi-coherent ideal sheaf of finite type (Quasi-coherent ideal sheaves), with zero scheme Z=V(I), the closed subscheme of X cut out by I. The blowup of X along I (or along Z) is the X-scheme

Bl⁡IX:=Proj⁡XR(I),

the relative Proj of Relative Proj of a graded quasi-coherent algebra applied to the Rees algebra sheaf R(I)=⨁n≥0In of Rees algebra sheaf of a finite type ideal, equipped with its structural morphism

π ⁣:Bl⁡IX⟶X

and its relative twists O(n), n∈Z, both as in Relative Proj of a graded quasi-coherent algebra. The notation records the ideal sheaf I, not merely the closed subscheme Z; the finite type hypothesis is part of the definition because the later structural results for blowups (invertibility of the pullback of I, the exceptional divisor, and base change) are proved under it.

In the affine case X=Spec⁡A with I=I~ for an ideal I⊆A, the Rees algebra sheaf is R(I)≅⨁n≥0In~ (Rees algebra sheaf of a finite type ideal), and the absolute case of the relative Proj construction identifies Bl⁡IX with the absolute Proj of the Rees algebra R(I)=⨁n≥0Intn (Relative Proj of a graded quasi-coherent algebra); the structural morphism is then the Proj structural morphism to Spec⁡A.

The exceptional subscheme of the blowup is denoted E and is introduced separately; no property of E 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 I, and flat base change are supplied by later items of this page and are not asserted here.
DefinitionDefinition: Literature-sourcedProof: Not applicablejudge pass (gpt-6.1-sol)Open item page →

Exceptional subscheme of a blowup

Definition

Let X be a scheme, let I⊆OX be a quasi-coherent ideal sheaf (Quasi-coherent ideal sheaves) with zero scheme Z=V(I)↪X, the closed subscheme cut out by I (Closed immersions of schemes), and let π ⁣:Bl⁡IX→X be the blowup of Blowup of a scheme along an ideal sheaf. The exceptional subscheme of the blowup is the scheme-theoretic inverse image

E:=π−1(Z)=Z×XBl⁡IX

of Scheme-theoretic inverse images of subschemes (Base change of objects, morphisms and properties); it is a closed subscheme E↪Bl⁡IX, its ideal sheaf is the inverse image ideal IOBl⁡IX:=Im⁡(π∗I→OBl⁡IX), and the structural morphism of the blowup restricts to a morphism E→Z. Set-theoretically, E is the preimage π−1(Z) of the underlying set of Z.

Remarks

For an ideal not of finite type, the notation here extends Blowup of a scheme along an ideal sheaf by using Proj⁡X(⨁n≥0In) 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 I on X; no smoothness of X, regularity of Z, or invertibility of I 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 E, its codimension in the blowup, or the invertibility of its ideal sheaf; those are supplied by later items of this page.
LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Associated graded algebra of an ideal generated by a regular sequence

Statement

Let R be a commutative ring and let f1,…,fc be an R-regular sequence (Regular Sequence On A Module), with J=(f1,…,fc) (The ideal generated by a subset and principal ideals) and associated graded ring gr⁡JR=⨁n≥0Jn/Jn+1 (The associated graded ring and associated graded module of an ideal-adic filtration). The canonical graded homomorphism

(R/J)[X1,…,Xc]⟶gr⁡JR,Xi⟼fi mod J2,

is an isomorphism. In particular J/J2 is free over R/J on the classes of f1,…,fc, and Sym⁡R/J(J/J2)=gr⁡JR. No Noetherian or domain hypothesis is required.

Facts & Assumptions

Given: A commutative ring R, an R-regular sequence f1,…,fc∈R (Regular Sequence On A Module) and the ideal J=(f1,…,fc) (The ideal generated by a subset and principal ideals) with its associated graded ring gr⁡JR (The associated graded ring and associated graded module of an ideal-adic filtration).

[F1]

Regular Sequence On A Module: A finite ordered sequence f1,…,fc in R is R-regular when R/(f1,…,fi−1)≠0 and multiplication by fi is injective on R/(f1,…,fi−1) for every i, and R/(f1,…,fc)≠0. In particular the truncated sequence f1,…,fc−1 is likewise R-regular, and fc is a nonzerodivisor on R/J′ for J′=(f1,…,fc−1).

[F2]

The associated graded ring and associated graded module of an ideal-adic filtration: For an ideal J⊆R, the associated graded ring is gr⁡JR=⨁n≥0Jn/Jn+1 with multiplication (a+Jm+1)(b+Jn+1)=ab+Jm+n+1; in particular it is commutative and generated in degree one.

[F3]

The ideal generated by a subset and principal ideals: J=(f1,…,fc) is the ideal generated by the fi: it consists of the finite sums ∑icifi with ci∈R, and each fi∈J.

Proof

1.1F2F3

The degree-n monomials in the fi generate Jn, so the displayed graded map is surjective. To prove injectivity it suffices to show that every homogeneous relation ∑∣I∣=naIfI=0 has all aI∈J: a relation lying in Jn+1 can be made zero by subtracting a degree-n expression whose coefficients lie in J. We prove this coefficient assertion by induction on the sequence length c. For c=0, J=0 and the associated graded ring has only degree zero, where the map is the identity.

2.1F1step 1.1

Suppose c>0 and the assertion holds for J′=(f1,…,fc−1). Fix n and write the relation as ∑e=0lHefce=0, where He=∑∣I′∣=n−eaI′,efI′ and l≤n. We induct on l. If l=0, the assertion for J′ puts all coefficients in J′⊂J. If l>0, reduction modulo (J′)n−l+1 gives fclHl∈(J′)n−l+1. By the coefficient assertion for J′ (also applicable to an expression lying in the next power), fclaI′,l∈J′ for every I′. Since fc is a nonzerodivisor on R/J′, every aI′,l lies in J′.

3.1F3step 2.1

Consequently Hl∈(J′)n−l+1; express it as ∑∣I′′∣=n−l+1bI′′fI′′. Absorb fcHl into Hl−1 and remove the term with exponent l. This gives a relation of the same degree with largest exponent l−1. Its modified coefficients are aI′′,l−1+fcbI′′ and its other coefficients are unchanged. The induction on l puts all modified coefficients in J, hence all original ones in J, since fcbI′′∈J. Together with the coefficients of Hl, this proves the assertion and completes the induction on c.

4.1F1step 1.1step 3.1∎

The coefficient assertion proves injectivity in every degree. In degree one, the isomorphism identifies (R/J)c with J/J2 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 c of the sequence (step 3.1) and, inside a fixed length, on the highest power l of fc 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 gr⁡JR used in the deformation δk(C′)=δk(C)−r(m2) of the resolution theorem.

LemmaStatement: Literature-sourcedProof: Literature-sourcedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains

Statement

Let A be a commutative ring, let I⊆A be an ideal and let a∈I. Write R(I)=⨁n≥0Intn⊆A[t] for the Rees algebra of I, graded by the degree of t (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

A[I/a]:=(R(I))(a),

the degree-zero part of the localization of R(I) at the multiplicative set generated by the degree-one element at∈It (Multiplicative subsets and the localisation S−1R as equivalence classes of fractions). Then:

  1. the image of a in A[I/a] is a nonzerodivisor, IA[I/a]=aA[I/a], and (A[I/a])a=Aa;
  2. if I=(a0,…,ar) with a=a0 (The ideal generated by a subset and principal ideals), the homomorphism A[x1,…,xr]/(axi−ai)⟶A[I/a] sending xi↦ai/a is surjective with kernel the a-power torsion;
  3. if A is reduced then A[I/a] is reduced; if A is a domain and a≠0 then A[I/a] is a domain;
  4. the construction is independent of the generating set and of the representative used for the homogeneous localization, up to canonical A-algebra isomorphism.

Facts & Assumptions

Given: A commutative ring A, an ideal I⊆A and an element a∈I; the Rees algebra R(I)=⨁n≥0Intn⊆A[t] 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 at (Multiplicative subsets and the localisation S−1R as equivalence classes of fractions), with grades read in the sense of (Nonnegatively graded rings and modules, homogeneous elements, and twists).

[F1]

The Rees algebra of an ideal and the Rees module of a filtered module: For an ideal I of a commutative ring A, the Rees algebra is the graded subring R(I)=⨁n≥0Intn⊆A[t], whose degree-n piece is In (so R(I)n=Intn), with I0=A.

[F2]

Multiplicative subsets and the localisation S−1R as equivalence classes of fractions: For a commutative ring R and a multiplicative subset S⊆R, the localization S−1R has elements written r/s with (r,s)∼(r′,s′) iff u(rs′−r′s)=0 for some u∈S; the operations are r/s+r′/s′=(rs′+r′s)/(ss′) and (r/s)(r′/s′)=rr′/(ss′); every s∈S maps to a unit; if 0∈S the localization is the zero ring.

[F3]

Nonnegatively graded rings and modules, homogeneous elements, and twists: A nonnegatively graded ring is a commutative ring S=⨁n≥0Sn with SnSm⊆Sn+m; an element of Sn is homogeneous of degree n. In particular the degree-zero part of a Z-graded ring is closed under addition, multiplication and contains the unit class of the localization, and products of homogeneous elements add degrees.

[F4]

The ideal generated by a subset and principal ideals: If I=(a0,…,ar) then every element of I is a finite sum ∑iciai with ci∈A, and conversely each ai lies in I.

Proof

1.1F1F2F3

An element of the localization R(I)at is a class z/(at)n with z∈R(I) and n≥0; writing z=∑ibiti, its degree-zero component is bntn/(at)n with bn∈In. Hence the degree-zero part D=(R(I))(a) consists of the classes of b tn/(at)n with n≥0 and b∈In, so that A[I/a]=D; for b∈In, c∈Im one has b tn/(at)n=c tm/(at)m in D if and only if ak(amb−anc)=0 for some k≥0, because the defining relation is (at)k((at)mb tn−(at)nc tm)=0 and t is a nonzerodivisor of A[t].

2.1F1F2step 1.1

The assignment ι ⁣:D→Aa, b tn/(at)n↦b/an, is a well-defined injective ring homomorphism: well-defined and injective because b/an=c/am in Aa holds exactly when ak(amb−anc)=0 for some k≥0, i.e. exactly under the equality criterion of step 1.1; compatible with addition because (b tn)/(at)n+(c tm)/(at)m=(amb+anc)tn+m/(at)n+m and with multiplication because the product is bc tn+m/(at)n+m. Its image is the A-subalgebra B=A[b/a:b∈I]⊆Aa generated by the fractions b/a: every b/a is the image of b t/(at), and conversely every b∈In is a finite sum of products of n elements of I, so b/an is a sum of products of these generators (with coefficients from A). Hence A[I/a]≅B as A-algebras and all computations may be performed in B⊆Aa.

3.1F1step 2.1

The element a is invertible in Aa, hence a nonzerodivisor on Aa, hence a nonzerodivisor on the subring B; in particular the image of a in A[I/a] is a nonzerodivisor. Moreover aB⊆IB because a∈I, and IB⊆aB because for b∈I and c/an∈B with c∈In one has b⋅c/an=a⋅bc/an+1 with bc∈In+1; hence IA[I/a]=aA[I/a].

3.2F2step 2.1

The image of A lies in B, since c=ac/a for c∈A and ac∈I; thus Aa=A[1/a]⊆Ba, and the inclusion B⊆Aa induces Ba⊆(Aa)a=Aa. Hence Ba=Aa, that is, (A[I/a])a=Aa.

3.3F4step 2.1

Let φ ⁣:C=A[x1,…,xr]/(axi−ai)→B send xi to ai/a. Its image contains A and every ai/a; since I is generated by the ai, every b∈I is a finite sum ∑iciai, whence b/a=∑ici(ai/a) lies in the image; as the image is an A-subalgebra of Aa containing all b/a it contains B. So φ is surjective.

3.4F2step 2.1

If A is reduced, then so is the localization Aa, and B⊆Aa is a subring of a reduced ring, hence reduced: if xN=0 in B then x=0 already in Aa. If A is a domain and a≠0, then Aa⊆Frac⁡(A) is a nonzero subring of a field (nonzero because a⋅a−1=1 with a≠0), hence a domain, and so is its subring B.

4.1F2step 3.3

Localizing C at the multiplicative set generated by a gives Ca=Aa[x1,…,xr]/(axi−ai) in which a is a unit and hence xi=aia−1; the Aa-algebra homomorphism Ca→Aa sending xi↦ai/a is therefore surjective and has zero kernel, because evaluation at xi=ai/a identifies the quotient Aa[xi]/(xi−ai/a) with Aa. Since the image of C in Aa is B by step 3.3, ker⁡(C→B)=ker⁡(C→Ca), and by the defining relation of the localization an element f∈C lies in this kernel exactly when aNf=0 for some N≥0, i.e. exactly when f is a-power torsion.

5.1step 1.1step 2.1step 3.3step 4.1∎

The description B={b/an:n≥0, b∈In} of step 2.1 uses only the pair (I,a): no generating family is chosen, and a class in D 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 I=(a0,…,ar) with a=a0 only produces the presentation C of step 3.3, whose kernel is described in step 4.1; the image B and hence the algebra are the same for every such family, with the identity of B as the canonical isomorphism. Finally, for a′∈I with a′≠a the algebras B⊆Aa and B′⊆Aa′ lie in different localizations of A; 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 A[I/a] is allowed: if a=0 then 0 lies in the multiplicative set generated by at and the localization, and hence A[I/a], is the zero ring, consistently with Aa=0; all four assertions then hold trivially. The description B={b/an} is the normal form used in the chart computations of the blowup.

TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Affine blowup standard charts and overlaps

Statement

Assume the Axiom of Choice as inherited from the Proj construction. Let A be a ring, I=(f0,…,fr)⊆A, S=R(I)=⨁Intn and Bi=A[I/fi]=(S[(fit)−1])0. The standard opens Ui=D+(fit)=Spec⁡Bi cover Bl⁡ISpec⁡A. Put uij=(fjt)/(fit) in Bi. Then Ui∩Uj=D(uij) in Ui, with canonical A-algebra identifications (Bi)uij=S[(fit)−1,(fjt)−1]0=(Bj)uji. They send fl/fi to (fl/fj)/(fi/fj), and uij to uji−1. These identifications satisfy the identity and cocycle conditions and preserve the structural maps to Spec⁡A. 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 fi gives Bi=0. Localization at the base element fj is generally smaller than this overlap and is not its formula.

Facts & Assumptions

Given: A ring A, an ideal I=(f0,…,fr)⊆A, the Rees algebra S=R(I)=⨁n≥0Intn (Rees algebra sheaf of a finite type ideal), the blowup Bl⁡ISpec⁡A (Blowup of a scheme along an ideal sheaf), and the Axiom of Choice as inherited from the Proj construction (The Axiom of Choice).

[F1]

Blowup of a scheme along an ideal sheaf: For X=Spec⁡A and I=I~, the blowup is the absolute Proj of the Rees algebra R(I)=⨁n≥0Intn, with structural morphism to Spec⁡A.

[F2]

Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For a ring A, an ideal I⊆A and a∈I, the affine blowup algebra is A[I/a]=(R(I))(a), the degree-zero part of the localisation of R(I) at the multiplicative set generated by at.

[F3]

Proj carries a scheme structure: For a commutative nonnegatively graded ring S, Proj⁡S carries open subscheme identifications φf ⁣:D+(f)→Spec⁡S(f) for homogeneous f∈S+, the D+(f) form an affine open cover, and for homogeneous f,g of degrees d,e the set D+(f)∩D+(g)=D+(fg) is carried by φf onto D(gd/fe)⊆Spec⁡S(f), with transition induced by S(f)[(gd/fe)−1]≅S(fg)≅S(g)[(fe/gd)−1]; the underlying space is Proj⁡S with the standard-open basis, the scheme is unique for these identifications, and if f is nilpotent then D+(f)=∅ and S(f)=0.

[F4]

Standard opens of Proj: For homogeneous f∈S+, D+(f)={p∈Proj⁡S:f∉p} is a standard open.

[F5]

Standard opens are affine: The canonical chart map φf ⁣:D+(f)→Spec⁡S(f) is an isomorphism, including the empty case: nilpotent f gives D+(f)=∅ and S(f)=0.

Proof

1.1F1F2F3F4F5

Put gi=fit∈S, a homogeneous element of degree one, so that S=R(I)=A[It] is generated as an A-algebra by I, and S+ is generated as an ideal by g0,…,gr; hence no homogeneous prime p of S contains all gi without containing S+, and the standard opens D+(gi) cover Proj⁡S=Bl⁡ISpec⁡A by [F1], [F3], [F4]. Moreover Bi=A[I/fi]=S(gi) by [F2], so Ui=D+(gi)=Spec⁡Bi by [F5].

2.1F3F5step 1.1

For each pair i,j, [F3] applied to the degree-one elements gi,gj identifies D+(gi)∩D+(gj)=D+(gigj) with D(uij)⊆Spec⁡Bi, where uij=gj/gi, and identifies the two charts through the canonical isomorphisms Bi[uij−1]=S(gi)[(gj/gi)−1]≅S(gigj)≅S(gj)[(gi/gj)−1]=(Bj)uji.

3.1F3step 2.1

The identification of step 2.1 can be checked directly and torsion-safely: the canonical map Bi[uij−1]→(S[gi−1,gj−1])0 is surjective, because a degree-zero fraction c/(gimgjn) with c homogeneous of degree m+n equals (c/gim+n)uij−n with c/gim+n∈Bi; and it is injective, because vanishing of the image means gipgjqc=0 in S for some p,q≥0, whence uijq(c/gim)=gipcgjq/gim+p+q=0 in Bi[uij−1]. No cancellation of gi in S is used. The same identification sends fl/fi=(flt)/(fit) to (flt)/(fit) computed in S(gigj), which equals (fl/fj)/(fi/fj), and sends uij=gj/gi to uji−1.

4.1F3step 2.1step 3.1

The identifications satisfy the identity condition (for i=j, uii=1 and the transition is the identity) and the cocycle condition: on a triple overlap every transition is induced by the localisation map S→S[gi−1,gj−1,gk−1] and taking degree zero, so the three compositions around the cycle coincide with the identity on S(gigjgk). They preserve the structural maps to Spec⁡A, because they are isomorphisms of A-algebras for the structure maps A=S0→S(g) of the charts.

4.2F2step 2.1step 3.1

For I=(x,y)⊆A=k[x,y] with f0=x, f1=y, one has B0=A[I/x]=k[x,y/x]=k[x,s] with s=y/x and y=xs, and u01=s, so the overlap D(u01)=D(s) in Spec⁡B0 retains the points with x=0 and s≠0. Localising instead at the base element f1=y gives D(y)=D(xs)=D(x)∩D(s), which is strictly smaller than D(s) and omits those points; hence localisation at the base element is not the overlap formula.

5.1F3step 4.1

A second finite generating family I=(h0,…,hr′) gives the charts D+(hkt)=Spec⁡A[I/hk] of the same scheme Proj⁡S, with their own overlap identifications supplied by the same formulas of [F3] applied to the degree-one elements of S; on the intersection of a chart of the first family and a chart of the second, D+(gi)∩D+(hkt)=D+(gihkt), the transition is again induced by the canonical localisation of S, 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.

6.1F3F5step 5.1∎

The formulas allow zero divisors and empty charts: step 3.1 never cancels gi in S, and if fi is nilpotent then gi=fit is nilpotent, so D+(gi)=∅ and Bi=S(gi)=0 by [F3] and [F5]; the same holds for the overlap formula in the degenerate cases. This completes the proof.

LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

Blowups restrict to open subschemes of the base

Statement

Assume the Axiom of Choice as inherited from the relative Proj construction. Let j ⁣:U→X be an open subscheme of a scheme X, let I be a quasi-coherent ideal sheaf on X and let I∣U be its restriction. Then there is a canonical isomorphism of U-schemes Bl⁡I∣UU→Bl⁡IX×XU, equivalently an isomorphism of the open subscheme π−1(U) of Bl⁡IX with Bl⁡I∣UU over U; these isomorphisms are compatible with inclusions of opens.

Facts & Assumptions

Given: A scheme X, an open subscheme j ⁣:U→X (Open immersions of schemes), a quasi-coherent ideal sheaf I⊆OX (Quasi-coherent ideal sheaves) with restriction I∣U=j∗I, and the blowup π ⁣:Bl⁡IX→X of (Blowup of a scheme along an ideal sheaf), whose Rees algebra is R(I)=⨁n≥0In.

[F1]

Relative Proj commutes with arbitrary base change: For a morphism g ⁣:S′→S and a quasi-coherent graded OS-algebra A, with A′=g∗A graded by (A′)d=g∗Ad, there is a canonical isomorphism of S′-schemes Proj⁡SA×SS′≅Proj⁡S′A′, natural in S′→S, compatible with the relative twists. No flatness and no finite-generation hypothesis is required.

[F2]

Rees algebra sheaf of a finite type ideal: For a quasi-coherent ideal sheaf I on a scheme X, the Rees algebra sheaf is R(I)=⨁n≥0In with degree-n piece In and multiplication induced by multiplication in OX; the construction is local on X and on an affine chart Spec⁡A with I=I~ it restricts to the sheaf associated to ⨁n≥0In.

[F3]

Scheme pullback preserves quasi-coherence: Pullback of a quasi-coherent module along a morphism of schemes is quasi-coherent, and on affine opens with f(U)⊆V, U=Spec⁡B, V=Spec⁡A and F∣V=M~ one has f∗F∣U≅(B⊗AM)~.

[F4]

Base change of immersions: Open immersions remain open immersions after arbitrary base change.

[F5]

Base change of objects, morphisms and properties: The base change of f ⁣:X→S along h ⁣:S′→S is X×SS′ with second projection as structure map, and the formulas preserve identities and composition.

[F6]

Blowup of a scheme along an ideal sheaf: For a scheme X and a quasi-coherent ideal sheaf of finite type with zero scheme Z, the blowup is Bl⁡IX=Proj⁡XR(I) with structural morphism to X and relative twists.

Proof

1.1F2F3

The pullback along j of the Rees algebra is the Rees algebra of the restricted ideal: j∗R(I)≅R(I∣U) as graded OU-algebras. Indeed, restriction to the open subscheme U is exact and commutes with tensor products, so j∗(In)≅(j∗I)n=(I∣U)n for every n≥0, and these identifications are compatible with the multiplications inherited from OX and OU; the graded pieces of both sides are quasi-coherent by [F3], and I∣U is again quasi-coherent (of finite type when I is).

2.1F1F6step 1.1

Applying [F1] to the morphism j ⁣:U→X and the graded algebra A=R(I) gives a canonical isomorphism of U-schemes Bl⁡IX×XU=Proj⁡XR(I)×XU≅Proj⁡U(j∗R(I))≅Proj⁡UR(I∣U)=Bl⁡I∣UU, where the last equality is the definition of the blowup of U along I∣U; the isomorphism is compatible with the relative twists.

3.1F4F5step 2.1

The first projection Bl⁡IX×XU→Bl⁡IX is the base change of the open immersion j along π, hence an open immersion by [F4], and its underlying image is the open subset π−1(U). Identifying the fibre product with this open subscheme via that open immersion turns the isomorphism of step 2.1 into an isomorphism π−1(U)→Bl⁡I∣UU over U.

4.1F1F5step 3.1∎

The isomorphisms are compatible with inclusions of opens: for open subschemes U′⊆U⊆X one has (Bl⁡IX×XU)×UU′=Bl⁡IX×XU′ by [F5], and the isomorphism of [F1] is natural in the base morphism, so the identifications for U and for U′ restrict to one another; the same naturality makes the passage to π−1(U) of step 3.1 compatible with the inclusion π−1(U′)⊆π−1(U).

Remarks

For an ideal not of finite type, the notation here extends Blowup of a scheme along an ideal sheaf by using Proj⁡X(⨁n≥0In) 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 R(I).
LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

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 X be a scheme and let I be a quasi-coherent ideal sheaf of finite type on X (Quasi-coherent ideal sheaves). For two finite families of local generators of I on an open cover of X, the corresponding collections of standard affine charts and overlap identifications of the blowup Bl⁡IX of Blowup of a scheme along an ideal sheaf glue to canonically isomorphic X-schemes; on a common chart the canonical isomorphism is the identity on the common affine blowup algebra. In particular Bl⁡IX, as a relative Proj, does not depend on any chosen finite generating set, and the affine blowup presentations A[I/a] for a∈I are canonically identified with the standard charts.

Facts & Assumptions

Given: A scheme X with a quasi-coherent ideal sheaf I of finite type, its Rees algebra sheaf R(I)=⨁n≥0In (Rees algebra sheaf of a finite type ideal), the blowup Bl⁡IX=Proj⁡XR(I) (Blowup of a scheme along an ideal sheaf), and for an affine open U=Spec⁡A⊆X with I=Γ(U,I) and a∈I the affine blowup algebra A[I/a]=(R(I))(a), the degree-zero part of the localisation of R(I) at the degree-one element at (Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains).

[F1]

Blowup of a scheme along an ideal sheaf: The blowup is the relative Proj Bl⁡IX=Proj⁡XR(I) of the Rees algebra sheaf, with structural morphism to X; the Rees algebra and its graded pieces are intrinsic to I, with no auxiliary generating data.

[F2]

Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For a∈I the affine blowup algebra A[I/a] has IA[I/a]=aA[I/a] with a a nonzerodivisor, equals Aa after inverting a, and is independent of the generating set and of the representative used for the homogeneous localisation, up to canonical A-algebra isomorphism.

[F3]

Affine blowup standard charts and overlaps: For I=(f0,…,fr) the standard opens Ui=D+(fit)=Spec⁡A[I/fi] cover Bl⁡ISpec⁡A; their overlaps are Ui∩Uj=D(uij) for uij=(fjt)/(fit) in Bi=A[I/fi], with canonical identifications (Bi)uij=(Bj)uji, uij↦uji−1, satisfying the identity and cocycle conditions and preserving the structure maps to Spec⁡A. Different finite generating families give compatible chart covers of the same canonical blowup.

[F4]

Blowups restrict to open subschemes of the base: For an open subscheme j ⁣:U↪X there is a canonical isomorphism Bl⁡I∣UU→Bl⁡IX×XU, compatible with inclusions of opens.

Proof

1.1F2

The Rees algebra R(I)=⨁n≥0Intn and the affine blowup algebra A[I/a]=(R(I))(a) for a∈I depend only on I and a: 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.

1.2F3

Let U=Spec⁡A be an affine open and let f0,…,fr generate I=Γ(U,I). By [F3] the standard opens Ui=D+(fit)=Spec⁡A[I/fi] cover Bl⁡IU, with overlaps Ui∩Uj=D(uij) and the canonical identifications (Bi)uij=(Bj)uji of chart rings given by the ratios of the degree-one elements fit,fjt of R(I).

2.1F1F3step 1.2

Now let g0,…,gs be a second finite family generating the same ideal I. Both families present open covers of the single scheme Proj⁡UR(I)=Bl⁡IU by [F1]: a standard chart D+(ht) is the basic open of the degree-one element ht∈R(I)1, so the charts of the two families are open subschemes of the same relative Proj, and every overlap D+(fit)∩D+(gjt) 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].

2.2F2step 1.1

If a chart occurs in both families, that is fi=gj=h for some h∈I, the two chart rings are both the affine blowup algebra A[I/h] of [F2], and the identification is the identity of this common algebra, well defined independently of the family by step 1.1.

3.1F1F4step 2.1step 2.2∎

The chartwise identifications of steps 2.1 and 2.2 are the restrictions of the identity of the single scheme Bl⁡IU=Proj⁡UR(I) 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 Bl⁡IU; over an affine cover of X these isomorphisms are compatible on overlaps by [F4], so they glue to a canonical isomorphism of X-schemes between the presentations of Bl⁡IX built from the two generating families. In particular Bl⁡IX does not depend on a chosen finite generating set, and the affine blowup presentations A[I/a], a∈I, are precisely the standard charts D+(at) 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 A[I/a] for any convenient a∈I 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.
TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

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 I be a quasi-coherent ideal sheaf of finite type on a scheme X (Quasi-coherent ideal sheaves), let π ⁣:Bl⁡IX→X be its blowup and let E=π−1(Z) be the exceptional subscheme, with the convention that O(1) is the positive relative twist of the Rees algebra R(I) and O(−1):=O(1)∨. Then:

  1. O(1) is invertible;
  2. the natural degree-one map π∗I→O(1) is surjective, its image is the inverse image ideal IOBl⁡, and the induced map IOBl⁡→O(1) of invertible sheaves is an isomorphism;
  3. IOBl⁡ is invertible and E=V(IOBl⁡) is an effective Cartier divisor on Bl⁡IX, with OBl⁡(−E)=IOBl⁡=O(1) and OBl⁡(E)=O(−1).

Facts & Assumptions

Given: A scheme X, a quasi-coherent ideal sheaf I of finite type, the Rees algebra sheaf R(I)=⨁n≥0In (Rees algebra sheaf of a finite type ideal), the blowup π ⁣:Bl⁡IX=Proj⁡XR(I)→X with relative twists O(n) (Blowup of a scheme along an ideal sheaf, Relative Proj of a graded quasi-coherent algebra), and the exceptional subscheme E=π−1(Z) with ideal sheaf the inverse image ideal IOBl⁡ (Exceptional subscheme of a blowup).

[F1]

Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For a∈I=Γ(U,I) on an affine open U=Spec⁡A, the chart Spec⁡A[I/a] of Bl⁡IU has IA[I/a]=aA[I/a] with a a nonzerodivisor of A[I/a], and the charts over a finite generating family cover the blowup.

[F2]

Invertible twists for degree-one generated rings: For a commutative graded ring S generated over S0 by S1, all twists OProj⁡S(n) are invertible, with O(m)⊗O(n)≅O(m+n); the empty Proj is allowed.

[F3]

Twisting sheaf on Proj and Relative Proj of a graded quasi-coherent algebra: The relative twist O(1) of a relative Proj is the sheaf whose sections over the chart D+(f) are the degree-one part S(1)(f) 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 OProj⁡(1).

[F4]

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.

[F5]

Invertible sheaf of cartier divisor and Effective Cartier divisors give a short exact sequence: For an effective Cartier divisor D the sheaf OX(−D) is the ideal sheaf ID⊆OX, and there is a short exact sequence 0→OX(−D)→OX→i∗OD→0.

Proof

1.1F2F3given

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 O(1) on the relative Proj. There are two natural maps from π∗I: the structural multiplication map ψ to OBl⁡, whose image is IOBl⁡, and the degree-one map γ to O(1).

2.1F1F3step 1.1

On a standard chart B=A[I/a], O(1) is free with frame at. For b∈I and c∈B, the maps are γ(b⊗c)=c(b/a)(at) and ψ(b⊗c)=cb=a c(b/a). The first is surjective since γ(a⊗1)=at. Since a is a nonzerodivisor in B, these formulas give ker⁡γ=ker⁡ψ, including for sums of tensors. Consequently γ factors uniquely through the image IB=aB of ψ and induces an isomorphism IB→B(at) taking a to at. This does not assert that I⊗AB is free or torsion-free.

3.1F1F4F5step 2.1∎

The equality of the kernels is local and therefore global. The induced isomorphisms are restrictions of this unique factorization, so agree on overlaps. Hence IOBl⁡≅O(1) canonically. The ideal cuts out E and is locally generated by the nonzerodivisor a, so E is effective Cartier. Its ideal is O(−E), and dualizing the isomorphism gives O(E)≅O(−1). Empty charts and the empty blowup satisfy the same assertions.

Remarks

  • Assertion 2 identifies the inverse image ideal with the twist O(1) as an invertible sheaf, which is what makes E Cartier even when the centre Z is neither reduced nor Cartier in X.
  • Combining assertion 3 with Effective Cartier divisors give a short exact sequence gives the short exact sequence 0→O(1)→OBl⁡→i∗OE→0 on the blowup, a form used in cohomological computations.
LemmaStatement: Literature-sourcedProof: Literature-sourcedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Universal property of an affine blowup chart

Statement

Let φ ⁣:A→B be a ring map, I⊆A an ideal and a∈I; suppose the image b=φ(a) is a nonzerodivisor in B and IB=bB. Then there is a unique A-algebra homomorphism A[I/a]→B sending x/an to the unique y∈B with x=bny (x∈In); equivalently, Spec⁡B→Spec⁡A[I/a] is the unique A-morphism into the chart Spec⁡A[I/a] along which the image of a generates IOSpec⁡B. The chart A[I/a] itself satisfies the hypothesis with b the image of a.

Facts & Assumptions

Given: A commutative ring A, an ideal I⊆A, an element a∈I, a ring map φ ⁣:A→B whose image b=φ(a) is a nonzerodivisor in B and satisfies IB=bB, and the affine blowup algebra A[I/a] of (Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains) built from the Rees algebra R(I)=⨁n≥0Intn of (The Rees algebra of an ideal and the Rees module of a filtered module).

[F1]

Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For a commutative ring A, an ideal I⊆A and a∈I, the affine blowup algebra A[I/a]:=(R(I))(a) is the degree-zero part of the localisation of the Rees algebra R(I) at the multiplicative set generated by at; the image of a in A[I/a] is a nonzerodivisor and IA[I/a]=aA[I/a].

[F2]

The Rees algebra of an ideal and the Rees module of a filtered module: For a commutative ring R and an ideal I⊂R, the Rees algebra is the graded subring R(I)=⨁n≥0Intn⊂R[t]; equivalently, it is the graded ring whose degree-n piece is In.

[F3]

Multiplicative subsets and the localisation S−1R as equivalence classes of fractions: For a commutative ring R and a multiplicative subset S⊆R, the localisation S−1R has elements written r/s with r/s=r′/s′ if and only if u(rs′−r′s)=0 for some u∈S; the operations are r/s+r′/s′=(rs′+r′s)/(ss′) and (r/s)(r′/s′)=rr′/(ss′); every s∈S maps to a unit.

Proof

1.1F1F2F3given

Put β=φ(a). By the fraction description of the affine blowup algebra, every element of C=A[I/a] has the form r/an, r∈In, and r/an=s/am precisely when ak(amr−ans)=0 for some k≥0. Since InB=(IB)n=βnB, there is a unique y∈B with φ(r)=βny: existence follows from this ideal equality and uniqueness from the nonzerodivisor hypothesis on β.

2.1step 1.1

Define ψ(r/an)=y. If r/an=s/am, write φ(r)=βny and φ(s)=βmz. Applying φ to the equality criterion gives βk+m+n(y−z)=0, hence y=z. Thus ψ is well defined. The numerator of the sum is amr+ans, whose image is βm+n(y+z); the product numerator rs has image βm+nyz. Uniqueness of division by βm+n proves additivity and multiplicativity. Degree-zero fractions show that ψ restricts to φ on A and sends 1 to 1.

3.1F1step 2.1∎

Any A-algebra map χ:C→B satisfies βnχ(r/an)=φ(r), because an(r/an)=r in C. Cancellation of βn forces χ(r/an)=ψ(r/an) for every fraction. Hence the map is unique among all A-algebra maps. The chart itself has IC=aC with a a nonzerodivisor, and the affine scheme/ring correspondence gives the stated geometric formulation.

TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Universal property of the blowup

Statement

Assume the Axiom of Choice. Let I be a quasi-coherent ideal sheaf of finite type on X with zero scheme Z, and let π ⁣:Bl⁡IX→X be the blowup. For every X-scheme f ⁣:Y→X such that the inverse image f−1(Z) is an effective Cartier divisor on Y, there is a unique X-morphism Y→Bl⁡IX. Equivalently, Bl⁡IX is the final object of the category of X-schemes in which the inverse image of Z is an effective Cartier divisor.

Facts & Assumptions

Given: The Axiom of Choice, a quasi-coherent ideal sheaf I of finite type on X with zero scheme Z, the blowup π ⁣:Bl⁡IX→X, and an X-scheme f ⁣:Y→X such that f−1(Z) is an effective Cartier divisor on Y.

[A1]

Choice. The Axiom of Choice is assumed, as in the statement; the cited suppliers used below are stated under it.

[F1]

Universal property of an affine blowup chart: Let φ ⁣:A→B be a ring map, I⊆A an ideal and a∈I, and suppose the image b=φ(a) is a nonzerodivisor in B with IB=bB. Then there is a unique A-algebra homomorphism A[I/a]→B sending x/an to the unique y∈B with x=bny; equivalently, Spec⁡B→Spec⁡A[I/a] is the unique A-morphism into the chart along which the image of a generates IOSpec⁡B.

[F2]

Affine blowup standard charts and overlaps: If I=(f0,…,fr)⊆A and Bi=A[I/fi], the standard opens Ui=Spec⁡Bi cover Bl⁡ISpec⁡A, with transition maps sending uij=(fjt)/(fit) to uji−1=fj/fi on the overlaps.

[F3]

Blowup of a scheme along an ideal sheaf: Bl⁡IX=Proj⁡XR(I) with structural morphism π, and the blowup is local on the base: over an affine open Spec⁡A with I=(f0,…,fr) it is covered by the charts Spec⁡A[I/fi].

[F4]

Scheme-theoretic inverse images of subschemes: For f ⁣:Y→X and the closed subscheme Z=V(I), the scheme-theoretic inverse image is Y×XZ, and the inverse-image ideal is Im⁡(f∗I→OY).

[F5]

Effective cartier divisor: A Cartier divisor is effective when it has a local-equation representation by regular sections fi∈OX(Ui); the local principal ideals fiOUi glue to an ideal sheaf, and a unit equation represents the empty divisor.

[F6]

Morphisms of schemes are local on compatible open covers: Compatible morphisms on an open cover glue uniquely, and two morphisms out of Y are equal if their restrictions to an open cover are equal.

[F7]

Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: The chart algebra A[I/a] is the degree-zero part of the localization of R(I) at a, with IA[I/a]=aA[I/a], and a a nonzerodivisor; for I=(a0,…,ar), a=a0, the chart receives a surjection A[x1,…,xr]/(axi−ai)→A[I/a].

[F8]

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

1.1F1F3F4F5

Work over an affine U=Spec⁡A with I=(f0,…,fr). Cover its inverse image in Y by affines V=Spec⁡B on which IB=βB with β a nonzerodivisor. Write bi=φ(fi)=uiβ. A relation β=∑cibi and cancellation of β show 1=∑ciui, so the D(ui) cover V. On each D(ui), bi is a nonzerodivisor generating the inverse-image ideal, and the affine chart property gives a map to chart i, sending fl/fi to ul/ui.

2.1F1F2F6F7step 1.1

We first prove uniqueness for any two lifts on such a V. At a point y∈D(ui), any lift h has image in some chart j; shrink around y so it lands in that chart. There the pulled-back ideal is generated by bj, since IA[I/fj]=fjA[I/fj]. Since bi also generates IB near y, write bi=vbj and bj=wbi. Cancellation of the regular element bi gives vw=1. Thus the pullback of the ratio fi/fj is a unit. A local ring map then puts h(y) in the ratio open of chart j, which is its intersection with chart i. This holds at every y∈D(ui), so h∣D(ui) factors through chart i. The unique chart map of [F1] therefore determines any lift. Equality on this open cover proves local uniqueness.

3.1F6step 1.1step 2.1

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 X-morphism Y→Bl⁡IX. Any two global lifts coincide on these local covers by step 2.1, hence coincide globally.

4.1F8step 3.1∎

The blowup itself belongs to the specified category: its inverse image of Z is effective Cartier by [F8]. Every object has exactly one morphism to it by step 3.1. This is precisely finality in that category.

CorollaryStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

Uniqueness of the blowup

Statement

Assume the Axiom of Choice. Let I be a quasi-coherent ideal sheaf of finite type with zero scheme Z. If π′ ⁣:Y→X is an X-scheme such that (π′)−1(Z) is an effective Cartier divisor and Y carries the universal property of Bl⁡IX (every X-scheme in which the inverse image of Z is an effective Cartier divisor maps uniquely to Y over X), then there is a unique X-isomorphism Y→Bl⁡IX. In particular any two models of the blowup are uniquely isomorphic over X.

Facts & Assumptions

Given: A quasi-coherent ideal sheaf I of finite type on X with zero scheme Z, the blowup Bl⁡IX, and an X-scheme π′ ⁣:Y→X whose inverse image of Z is an effective Cartier divisor and which carries the same universal property.

[A1]

Choice. The Axiom of Choice is assumed as inherited from the blowup and Proj constructions used by the cited items.

[F1]

Universal property of the blowup: For every X-scheme f ⁣:T→X in which the inverse image of Z is an effective Cartier divisor there is a unique X-morphism T→Bl⁡IX; equivalently Bl⁡IX is final among such X-schemes.

[F2]

The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier: The inverse image ideal IOBl⁡ is invertible and E=V(IOBl⁡) is an effective Cartier divisor on Bl⁡IX; in particular the blowup is itself an X-scheme in which the inverse image of Z is an effective Cartier divisor.

[F3]

Blowup of a scheme along an ideal sheaf: The blowup is the relative Proj of the Rees algebra with its structural morphism to X. The identification of its exceptional subscheme with the inverse image of Z used here is supplied by [F2].

Proof

1.1F2F3

By [F2] the blowup π ⁣:Bl⁡IX→X is an object of the category of X-schemes in which the inverse image of Z is an effective Cartier divisor, and by hypothesis Y is such an object as well.

2.1F1step 1.1

Applying the universal property of the blowup [F1] to the X-scheme Y gives a unique X-morphism u ⁣:Y→Bl⁡IX with π∘u=π′; applying the universal property carried by Y to the X-scheme Bl⁡IX gives a unique X-morphism v ⁣:Bl⁡IX→Y with π′∘v=π.

3.1F1step 2.1∎

The composite v∘u ⁣:Y→Y is an X-morphism with π′∘(v∘u)=π′, and so is id⁡Y; since by hypothesis there is at most one X-morphism from the admissible X-scheme Y to Y, namely the map required by the universal property, we get v∘u=id⁡Y; symmetrically u∘v=id⁡Bl⁡IX because u∘v and the identity are both X-morphisms from Bl⁡IX to itself and [F1] gives a unique one. Hence u is an X-isomorphism, and it is the unique one: any X-isomorphism Y→Bl⁡IX is an X-morphism between admissible objects and therefore equals u by the uniqueness clause of [F1]; in particular any two models of the blowup are uniquely isomorphic over X.

LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

The blowup is an isomorphism off the center

Statement

Let I be a quasi-coherent ideal sheaf of finite type with zero scheme Z and let π ⁣:Bl⁡IX→X be the blowup. Then the restriction π ⁣:π−1(X∖Z)→X∖Z is an isomorphism of schemes, with inverse characterized by the universal property applied to the identity of X∖Z (where the inverse image of Z is empty) and to the open immersion π−1(X∖Z)↪X. Consequently E=π−1(Z) is the complement of this open subscheme.

Facts & Assumptions

Given: A quasi-coherent ideal sheaf I of finite type with zero scheme Z, and the blowup π ⁣:Bl⁡IX→X.

[A1]

Choice. The Axiom of Choice is assumed as inherited from the blowup and Proj constructions used by the cited items.

[F1]

Affine blowup standard charts and overlaps: For I=(f0,…,fr)⊆A, the standard opens Spec⁡A[I/fi] cover Bl⁡ISpec⁡A, with transition functions uij↦uji−1.

[F2]

Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For a∈I the affine blowup algebra satisfies I A[I/a]=a A[I/a] and (A[I/a])a=Aa, the latter being the ordinary localization of A at a.

[F3]

Blowup of a scheme along an ideal sheaf: Bl⁡IX=Proj⁡XR(I) with its structural morphism to X; the affine chart cover is supplied by [F1].

[F4]

Universal property of the blowup: For every X-scheme f ⁣:Y→X whose inverse image of Z is an effective Cartier divisor there is a unique X-morphism Y→Bl⁡IX.

[F5]

Effective cartier divisor: A unit equation represents the zero Cartier divisor, the empty effective divisor, and the empty scheme has only this effective divisor.

[F6]

Exceptional subscheme of a blowup: E=π−1(Z)=Z×XBl⁡IX with ideal sheaf IOBl⁡, and E is set-theoretically the preimage of Z.

Proof

1.1F1F2F3

Cover X by affine opens U=Spec⁡A with I∣U=(f0,…,fr); by [F1] and [F3] the preimage π−1(U) is covered by the charts Spec⁡A[I/fi], and by [F2] the chart ring localizes to Afi after inverting fi, and this chart contains the entire inverse image of D(fi). Indeed, in every chart j one has fi=fj(fi/fj); wherever fi is invertible, both fj and the ratio fi/fj are invertible. The ratio-overlap formula of [F1] puts this open of chart j in chart i. Thus the restriction of π over the principal open D(fi) is an isomorphism D(fi)→D(fi): it is the structural map Spec⁡A[I/fi]→Spec⁡A followed by localization, and (A[I/fi])fi=Afi.

2.1step 1.1

These local inverses glue. Let O and O′ be any two base opens of the form D(fi) in step 1.1, possibly in different affine base neighborhoods. The structural map on the whole inverse image π−1(O) is an isomorphism onto O. Restricting it to O∩O′ gives an isomorphism π−1(O∩O′)→O∩O′. 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 σ:X∖Z→W:=π−1(X∖Z) with π∘σ=id⁡. For two charts in one affine base, only the restriction of their chart overlap over D(fifj) is identified with D(fifj); the whole ratio overlap can also contain points over Z.

3.1step 2.1algebra

The morphism σ is an inverse for π∣W. Since X∖Z is covered by the opens D(fi) of step 1.1, and over each such open the restriction of σ is the inverse of the restriction of π (step 1.1), the composite σ∘π∣W agrees with id⁡W after restriction to the cover of W by the opens π−1(D(fi))∩Spec⁡A[I/fi], on each of which π is an isomorphism; hence σ∘π∣W=id⁡W and π∣W∘σ=id⁡X∖Z, so π∣W is an isomorphism.

4.1F4F5step 3.1

The inverse is characterized by the universal property: the inverse image of Z under the identity X∖Z→X is empty, hence the zero Cartier divisor, which is effective by [F5]; so [F4] gives a unique X-morphism τ ⁣:X∖Z→Bl⁡IX lifting the identity, and τ is an inverse of π over X∖Z; by uniqueness of the inverse of the isomorphism π∣W of step 3.1, τ=σ. In particular σ is the unique morphism over X from X∖Z into the blowup.

5.1F6step 3.1∎

Finally E is the complement of W: by [F6], E=π−1(Z) is set-theoretically the preimage of Z, so its underlying set is the complement of the underlying set of π−1(X∖Z)=W, i.e. E is the complement of the open subscheme W in the blowup.

TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

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 X be a scheme, let I be a quasi-coherent ideal sheaf of finite type on X (Quasi-coherent ideal sheaves) and let π ⁣:Bl⁡IX→X be the blowup of Blowup of a scheme along an ideal sheaf. Then:

  1. π is locally H-projective on X: for every affine open U=Spec⁡A with I∣U=(f0,…,fr), the pullback of the graded surjection A[x0,…,xr]→R(I∣U), xi↦fit, exhibits π−1(U) as a closed subscheme of PUr.
  2. If I is generated as an OX-module by finitely many global sections f0,…,fr (Global generation by the evaluation map), then the same surjection OX[x0,…,xr]→R(I) makes Bl⁡IX a closed subscheme of PXr over X; in particular π is H-projective (Projective morphisms before Proj).
  3. In all cases π is proper, since properness is local on the base and each π−1(U)→U is H-projective hence proper.

Facts & Assumptions

Given: A scheme X, a quasi-coherent ideal sheaf I of finite type, the blowup π ⁣:Bl⁡IX=Proj⁡XR(I)→X (Blowup of a scheme along an ideal sheaf), and for an affine open U=Spec⁡A⊆X the restricted ideal I=Γ(U,I) with affine blowup algebras A[I/a].

[F1]

Closed subschemes of projective space and saturated ideals: For a commutative ring A and a homogeneous ideal J⊆A[x0,…,xr] one has V+(J)=Proj⁡(A[x0,…,xr]/J) as a closed subscheme of PAr, and on the chart D+(xi) it is Spec⁡(A[x0,…,xr](xi)/J(xi)); every closed subscheme of PAr arises from a unique saturated homogeneous ideal.

[F2]

Affine-local graded algebras glue their Proj charts: The relative Proj of a quasi-coherent graded OX-algebra is obtained by gluing the spectra Proj⁡Γ(U,A) over affine opens U⊆X, with canonical restriction and cocycle identifications.

[F3]

Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For I=(f0,…,fr) the standard opens D+(fit)=Spec⁡A[I/fi] cover Bl⁡ISpec⁡A, and the chart presentations are independent of the chosen generating family; for U⊆X affine there is a canonical identification π−1(U)≅Bl⁡I∣UU (Blowups restrict to open subschemes of the base).

[F4]

Global generation by the evaluation map: A quasi-coherent sheaf I is generated by global sections f0,…,fr∈Γ(X,I) exactly when the evaluation morphism OX r+1→I, (g0,…,gr)↦∑igifi, is surjective.

[F5]

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.

[F6]

Closed immersions of schemes and Quasi-coherent module on a scheme: A morphism i is a closed immersion when it is a homeomorphism onto a closed subset and O→i∗O is surjective; both conditions are local on the target, and kernels of morphisms of quasi-coherent modules are quasi-coherent.

Proof

1.1F1F3

Let U=Spec⁡A⊆X be affine and let f0,…,fr∈A generate I=Γ(U,I). The graded A-algebra homomorphism φ ⁣:A[x0,…,xr]→R(I), xi↦fit, is surjective, because in degree n the images fαtn of the monomials xα of degree n generate Intn; hence by [F1] it presents Proj⁡R(I)=Bl⁡IU≅π−1(U) as the closed subscheme V+(ker⁡φ)↪PUr over U, which is assertion 1.

1.2F1F4

If I is generated by global sections f0,…,fr, then the evaluation morphism OX r+1→I is surjective by [F4], and consequently the induced morphism of graded OX-algebras ψ ⁣:OX[x0,…,xr]→R(I), xi↦fit, is surjective in every degree, because in degree n its image is the subsheaf generated by the products of n of the global sections, which is In by hypothesis.

2.1F2step 1.1step 1.2

Assume the global generation of step 1.2. On every affine open U⊆X the restriction of ψ is the surjection φ of step 1.1 for the restricted generators, so by step 1.1 the morphisms π−1(U)→PUr⊆PXr are closed immersions over U; 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 Bl⁡IX→PXr over X.

3.1F6step 2.1

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 PXr 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 Bl⁡IX is a closed subscheme of PXr over X, and π is H-projective by Projective morphisms before Proj, which is assertion 2.

4.1F5step 1.1∎

For every affine open U⊆X the restriction π−1(U)→U is a closed subscheme of PUr over U 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 I 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.
CorollaryStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

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 X be an integral scheme (Integral schemes) and let I be a nonzero quasi-coherent ideal sheaf of finite type. Then Bl⁡IX is integral and π ⁣:Bl⁡IX→X is birational: π is an isomorphism over the nonempty dense open X∖Z, and the generic point of Bl⁡IX maps to the generic point of X. If moreover X is normal and every irreducible component of Z 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 X, a nonzero quasi-coherent ideal sheaf I of finite type with zero scheme Z=V(I), the blowup π ⁣:Bl⁡IX→X (Blowup of a scheme along an ideal sheaf), and the generic points ηX of X and ηBl⁡ of Bl⁡IX (Generic points of irreducible closed subsets).

[F1]

Integrality and reducedness of blowups from the Rees charts: For an integral X and a nonzero ideal sheaf I of finite type, the blowup Bl⁡IX is integral; in particular it is nonempty, reduced and irreducible, with a unique generic point.

[F2]

The blowup is an isomorphism off the center: The restriction π ⁣:π−1(X∖Z)→X∖Z is an isomorphism of schemes, and E=π−1(Z) is the complement of this open subscheme.

[F3]

Birational morphisms of integral finite-type schemes: For integral k-schemes of finite type, a morphism f 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 f identifies the function fields.

[F4]

Integral schemes and The reduction of a scheme: An integral scheme is reduced, so its nilradical ideal is zero; hence a nonzero ideal sheaf I has V(I)≠X, and X∖Z is a nonempty open subset of the irreducible space X, therefore dense.

Proof

1.1F1F2F3F4

The blowup is integral by [F1], and W=π−1(X∖Z) is isomorphic to the nonempty dense open X∖Z 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 W and maps to the generic point of X∖Z, namely the generic point of X. The open isomorphism identifies their local rings. This proves the concrete birational assertion for arbitrary integral X, and the function-field formulation when [F3] applies.

2.1F2step 1.1∎

Under the codimension assumption, a point in Z is a specialization of the generic point of an irreducible component of Z. 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 Z. The isomorphism over X∖Z is therefore an isomorphism in codimension one, in exactly the sense stated. Normality is not needed for this implication.

Remarks

  • Normality of X 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.
TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Flat base change for blowups, and failure without flatness

Statement

Assume the Axiom of Choice as inherited from the relative Proj construction. Let g ⁣:X′→X be a flat morphism of schemes and I a quasi-coherent ideal sheaf of finite type on X. Then there is a canonical isomorphism of X′-schemes Bl⁡g−1IX′→Bl⁡IX×XX′, where g−1I 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 (g−1I)n can differ from g∗(In) by torsion (compare the companion counterexample).

Facts & Assumptions

Given: A morphism of schemes g ⁣:X′→X, a quasi-coherent ideal sheaf I⊆OX of finite type (Quasi-coherent ideal sheaves) with Rees algebra sheaf R(I)=⨁n≥0In (Rees algebra sheaf of a finite type ideal), the inverse image ideal sheaf g−1I=Im⁡(g∗I→OX′), the blowups Bl⁡IX and Bl⁡g−1IX′ (Blowup of a scheme along an ideal sheaf), and the base change X×XX′ of (Base change of objects, morphisms and properties).

[F1]

Flat and faithfully flat modules and ring homomorphisms: A module M over a commutative ring R is flat if −⊗RM preserves exact sequences; a ring map A→B is flat when B is flat as an A-module. Flatness of a morphism of schemes is the corresponding local condition.

[F2]

Scheme pullback preserves quasi-coherence: Pullback of a quasi-coherent module is quasi-coherent, and on affine opens with f(U)⊆V, U=Spec⁡B, V=Spec⁡A and F∣V=M~, one has f∗F∣U≅(B⊗AM)~.

[F3]

Tensor product preserves quasi-coherence: The tensor product of quasi-coherent OX-modules is quasi-coherent, and on an affine open Spec⁡A with F=M~, G=N~ it restricts to (M⊗AN)~.

[F4]

Rees algebra sheaf of a finite type ideal: The Rees algebra sheaf is R(I)=⨁n≥0In with degree-n piece In, multiplication induced by multiplication in OX; it is a quasi-coherent graded OX-algebra.

[F5]

Blowup of a scheme along an ideal sheaf: For a scheme X and a quasi-coherent ideal sheaf of finite type, Bl⁡IX=Proj⁡XR(I) with structural morphism to X and relative twists.

[F6]

Relative Proj commutes with arbitrary base change: For g ⁣:S′→S and a quasi-coherent graded OS-algebra A with A′=g∗A, there is a canonical isomorphism of S′-schemes Proj⁡SA×SS′≅Proj⁡S′A′, natural in S′→S, compatible with the relative twists; no flatness is required.

[F7]

Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: The blowup of (x,y)⊂k[x,y] has charts k[x,T] with y=xT and k[y,U] with x=yU, with inverse ratio transition. The blowup of a principal regular ideal (x) in k[x] is the identity, since its sole chart is k[x][(x)/x]=k[x].

Proof

1.1F1F2F3

Flat pullback commutes with the ideal powers and with the inverse image ideal: the natural maps g∗I→g−1I and g∗(In)→(g−1I)n are isomorphisms. Affine-locally over U=Spec⁡A⊆X with I∣U=I~ and U′=Spec⁡B⊆X′ mapping into U, flatness of g says B is a flat A-module; the sequence 0→In→A→A/In→0 then stays exact after −⊗AB, so B⊗AIn→B is injective, and its image is the ideal InB=(IB)n; the pullback sheaf g∗(In) restricts to (B⊗AIn)~ by [F2] and (g−1I)n restricts to (IB)n~ by [F2] and [F3], so the comparison is an isomorphism, and taking n=1 identifies g∗I with its image g−1I in OX′.

2.1F3F4step 1.1

Consequently g∗R(I)≅R(g−1I) as quasi-coherent graded OX′-algebras: by step 1.1 the degree-n pieces are both (g−1I)n, and the pullback of the multiplication Im⊗In→Im+n is the multiplication of the inverse image ideal, so the graded algebra structures agree; all pieces are quasi-coherent by [F2], [F3] and [F4].

3.1F5F6step 2.1

Applying [F6] to the morphism g ⁣:X′→X and the graded algebra A=R(I) gives a canonical isomorphism of X′-schemes Bl⁡IX×XX′=Proj⁡XR(I)×XX′≅Proj⁡X′g∗R(I), and step 2.1 identifies the target with Proj⁡X′R(g−1I)=Bl⁡g−1IX′ 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 X′, and with the relative twists by the corresponding clause of [F6].

4.1F1F7step 3.1∎

The comparison need not be an isomorphism without flatness. Take A=k[x,y], I=(x,y) and B=A/(y)=k[x]. Then IB=(x) is principal regular and its blowup is Spec⁡B. Base changing the two charts of the original blowup gives k[x,T]/(xT) and k[U], respectively, with inverse ratio gluing. The fiber of this base-changed blowup over x=0 is the two affine lines glued by U=T−1, hence Pk1, whereas the fiber of Bl⁡(x)Spec⁡B is Spec⁡k. Thus the comparison is not an isomorphism. The difference already appears in degree two: B⊗AI2=I2/yI2 contains the nonzero class of xy, since x∉I2 and cancellation of y in A shows xy∉yI2. This class maps to zero in (IB)2, and is killed by x since x2y∈yI2. 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 g is assumed.
DefinitionDefinition: Literature-sourcedProof: Not applicableOpen item page →

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 X be a scheme, let I be a quasi-coherent ideal sheaf of finite type (Quasi-coherent ideal sheaves), let π ⁣:Bl⁡IX→X be the blowup of Blowup of a scheme along an ideal sheaf with exceptional subscheme E=π−1(Z) (Exceptional subscheme of a blowup), and let Y↪X be a closed subscheme (Closed immersions of schemes) with scheme-theoretic inverse image Y×XBl⁡IX. Write U:=(Y×XBl⁡IX)∖E for the open subscheme obtained by deleting E from this inverse image, with its open immersion j ⁣:U→Y×XBl⁡IX.

The strict transform (or proper transform) of Y is the scheme-theoretic closure of U in Y×XBl⁡IX, that is, the scheme-theoretic image Y′:=U‾ of j (Scheme-theoretic image). This image exists for all the data above: the kernel ideal sheaf K=ker⁡(OY×XBl⁡→j∗OU) 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 j factors. Its structural map Y′→Y 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 U0=Spec⁡A⊆X be an affine open and let a∈Γ(U0,I); on the chart Spec⁡A[I/a]⊆Bl⁡IX the exceptional subscheme is cut out by a by Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains and Exceptional subscheme of a blowup, the inverse image of Y is cut out by the ideal JA[I/a], where J=Γ(U0,IY), and the strict transform meets the chart in the closed subscheme defined by the saturation (JA[I/a]:a∞)={f∈A[I/a]:anf∈JA[I/a] for some n≥0}, the largest ideal of the chart ring containing JA[I/a] whose localisation at a equals the localisation of JA[I/a]. To verify both existence and this description, put C=A[I/a] and H=JC. The inverse image of Y on this chart is Spec⁡(C/H), and its intersection with U is D(a) (A principal localization identifies its spectrum with a distinguished open). The kernel of C→(C/H)a is precisely (H:a∞): a class becomes zero after localization exactly when some power of a annihilates it. For every g∈C, localization of this kernel at g is the kernel of Cg→(C/H)ag, by Localisation of modules is exact. Thus K on Spec⁡(C/H) is the associated sheaf of (H:a∞)/H, so it is quasi-coherent without any Noetherian hypothesis. These kernels agree on chart overlaps, since they all consist of sections whose restriction to U is zero; equivalently the ratio transition of Affine blowup standard charts and overlaps makes a and b unit multiples. Consequently the chart subschemes glue to the closed subscheme cut out by K. Its ideal restricts to zero on U, so j factors through it. Any other closed subscheme through which j factors has ideal contained in K, 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 Y is reduced, then Y′ is reduced. Indeed, on a chart as above the ring of the strict transform is A[I/a]/(JA[I/a]:a∞), and the saturation is by construction the kernel of the localisation A[I/a]/(JA[I/a])→A[I/a][1/a]/(J), so this ring embeds into (A[I/a]/(J))[1/a]=(A/J)[1/a], which is reduced when Y is; a subring of a reduced ring is reduced, and reducedness is local, so Y′ is reduced.

Iteration. The construction applies verbatim to a blowup of Bl⁡IX along any quasi-coherent ideal sheaf of finite type on it: for a closed subscheme W↪Bl⁡IX, its inverse image under a further blowup and the deletion of that blowup's exceptional subscheme define the strict transform of W, 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 Ak2 the ideals O and (x) both have identity blowup. The strict transform of V(x) is V(x) 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 f in the chart of a is cut out by the saturation (f:a∞), which removes the components supported inside the exceptional divisor; no closure operation is visible beyond this saturation.
  • No reducedness, regularity or normality of X or Y is assumed; the reducedness conclusion above is a statement about the strict transform, not about Y×XBl⁡IX, which need not be reduced even for reduced Y.
DefinitionDefinition: Literature-sourcedProof: Not applicableOpen item page →

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 π ⁣:Bl⁡IX→X be the blowup of a scheme X along a quasi-coherent ideal sheaf I of finite type (Blowup of a scheme along an ideal sheaf), and let D be a Cartier divisor on X (Cartier divisor) whose pullback π∗D along π is defined (Pullback of a Cartier divisor). The total transform of D under π is the pullback Cartier divisor

π∗D.

Its associated invertible sheaf is the pullback of the invertible sheaf of D: there is a canonical isomorphism OBl⁡(π∗D)≅π∗OX(D) of OBl⁡-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[I/a]⊆Aa, a nonzerodivisor f∈A 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 X and nonzero I, the chart embeddings in the function field similarly pull back nonzero rational local equations, so every Cartier divisor has a pullback. If I=0, the blowup is empty and these assertions hold vacuously.

For a reduced curve D on a regular surface, blowing up a closed point with two-dimensional regular local ring gives the formula π∗D=D′+mE, where m 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 Ak2, the blowup of (x2) is the identity, its exceptional Cartier divisor is 2V(x), and the strict transform of V(x) is empty. No integer m expresses V(x) as m⋅2V(x).

LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

Total transform equals strict transform plus multiplicity times the exceptional divisor

Statement

Assume the Axiom of Choice. Let S be a regular surface over a field k and let C⊆S be a reduced curve (an effective Cartier divisor) with a closed point p such that dim⁡OS,p=2, at which the multiplicity m=mult⁡p(C) of a local equation is finite and positive. Let π ⁣:S′→S be the blowup of the point p with exceptional curve E and let C′ be the strict transform of C. Then π∗C=C′+mE as effective Cartier divisors on S′; equivalently, the strict transform is defined by dividing a local equation of the total transform by the m-th power of an exceptional equation on each chart, and C′ meets E in the 0-cycle of degree m cut out by the degree-m leading form of a local equation of C at p (its degree over κ(p) is m; its degree over k is m[κ(p):k] when this residue degree is finite).

Facts & Assumptions

Given: A regular surface S over k, a reduced curve C⊆S that is an effective Cartier divisor, a closed point p∈S with dim⁡OS,p=2 at which a local equation f of C has finite positive multiplicity, the blowup π ⁣:S′→S of p, the exceptional curve E, and the strict transform C′ of C.

[A1]

Choice. The Axiom of Choice is assumed as inherited from the blowup and associated-graded constructions used below. (The Axiom of Choice).

[F1]

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.

[F2]

Strict transform of a closed subscheme: The strict transform of a closed subscheme is the scheme-theoretic closure of the inverse image minus E; when the ideal of E is invertible on a chart, it is the closed subscheme defined by the saturation of the inverse-image ideal by the ideal of E.

[F3]

The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier: The inverse image ideal of the blowup is invertible, and E=V(IOBl⁡) is an effective Cartier divisor cut locally by a generator of that ideal.

[F4]

Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For a domain A and a≠0, the affine blowup algebra A[I/a] is a domain with I A[I/a]=a A[I/a].

[F5]

associated graded ring of a regular local ring: At the regular local ring A=OS,p of dimension two with regular parameters x,y, the associated graded ring is gr⁡mA=κ(p)[X,Y] with X,Y the initial classes of x,y.

[F6]

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.

[F7]

Affine blowup standard charts and overlaps: The blowup at p has the two charts Spec⁡A[y/x] and Spec⁡A[x/y], glued by inverting the ratio.

[F8]

Regular centers have projective-bundle exceptional divisors: At a closed point with two-dimensional regular local ring, the exceptional curve is Pκ(p)1. The quotient chart presentations are established directly in step 1.1.

[F9]

regular local rings are domains and cohen macaulay: The regular local ring A is a domain; its regular parameters x,y form a regular sequence, so x is a nonzerodivisor and y is a nonzerodivisor modulo x.

Proof

1.1A1F4F5F7F9

At p put A=OS,p, m=(x,y) and κ=κ(p). The equation f∈mm∖mm+1 has nonzero leading form fm(X,Y) in κ[X,Y]. Write the finite ideal-power expression f=∑i+j=mcijxiyj with cij∈A. By [F9], A is a domain and x,y form a regular sequence. The chart is Bx=A[T]/(xT−y)=A[y/x]: if xh=(xT−y)q, reduction modulo x and regularity of y modulo x give q=xq1, and cancellation gives h=(xT−y)q1; hence the incidence quotient has no x-power torsion and [F4, F7] identify it with the chart. In this chart, the ideal-power expression gives f=xmg, where g=∑cijTj and g mod x=fm(1,T)≠0. The ring Bx is a domain and Bx/xBx=κ[T], so x is prime and does not divide g.

2.1F1F2F3F6F8step 1.1

If xh=gq in Bx, primality of x forces q=xq1, and cancellation gives h=gq1. Therefore (g):x=(g), and iteration gives (xmg):x∞=(g). The strict-transform chart is thus V(g). Since g is a nonzero element of a domain, it is a Cartier equation, and the factorization f=xmg gives the total-transform identity there. In the second chart By=A[U]/(yU−x) the identical argument gives f=ymh, with h mod y=fm(U,1)≠0. On the overlap y=xT, so cancellation of xm gives g=Tmh; 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 C′ is effective Cartier and π∗C=C′+mE.

3.1F5F8step 2.1∎

On E≅Pκ1, these equations cut the homogeneous divisor of the nonzero degree-m form fm. To include the entire projective line, set d=deg⁡fm(1,T)≤m. Its zeros in this affine chart have total degree d, since κ[T]/(fm(1,T)) has dimension d (zero if d=0); this counts local lengths times residue degrees. At the omitted point, U=0, the identity fm(U,1)=Umfm(1,1/U) gives order m−d. Thus the complete zero-cycle degree over κ is d+(m−d)=m. When [κ:k] is finite, each residue degree over k is that degree times its degree over κ, giving m[κ:k]. No splitting or separability assumption is used.

TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

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 Z=V(I) be a closed subscheme of a scheme X cut out by a quasi-coherent ideal sheaf I of finite type (Quasi-coherent ideal sheaves) and let E=π−1(Z) be the exceptional subscheme of the blowup π ⁣:Bl⁡IX→X (Exceptional subscheme of a blowup). Then there is a canonical isomorphism of Z-schemes E⟶Proj⁡Z(gr⁡IOX)=Proj⁡Z(⨁n≥0In/In+1), the projectivized normal cone of Z in X. On an affine chart Spec⁡A with I=(f0,…,fr), the fibre of E over a point z of Z is Proj⁡(gr⁡I(A)⊗A/Iκ(z)), the projectivized fibre of the normal cone (for a closed point center this is its projectivized tangent cone), and the closed immersion E↪Bl⁡IX identifies E with the divisor V(a) in the chart Spec⁡A[I/a].

Facts & Assumptions

Given: A scheme X, a quasi-coherent ideal sheaf I of finite type with zero scheme Z=V(I), the blowup π ⁣:Bl⁡IX=Proj⁡XR(I)→X (Blowup of a scheme along an ideal sheaf), the exceptional subscheme E=π−1(Z)=Z×XBl⁡IX with ideal sheaf IOBl⁡ (Exceptional subscheme of a blowup), and the associated graded sheaf gr⁡IOX=⨁n≥0In/In+1 (The associated graded ring and associated graded module of an ideal-adic filtration).

[F1]

Exceptional subscheme of a blowup: The exceptional subscheme is the scheme-theoretic inverse image E=Z×XBl⁡IX, with ideal sheaf the inverse image ideal IOBl⁡; it is a closed subscheme of the blowup mapping to Z.

[F2]

Relative Proj commutes with arbitrary base change: For a morphism S′→S and a quasi-coherent graded OS-algebra A, there is a canonical isomorphism Proj⁡SA×SS′≅Proj⁡S′(A⊗OSOS′), natural in the base and compatible with graded quotients; no flatness is needed.

[F3]

Rees algebra sheaf of a finite type ideal and The associated graded ring and associated graded module of an ideal-adic filtration: R(I)=⨁n≥0In, and the degree-n piece of R(I)/IR(I) is In/In+1, so R(I)/IR(I)≅gr⁡IOX as quasi-coherent graded OX-algebras; the identifications are compatible with restriction to open subschemes and with localisation.

[F4]

Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains and Affine blowup standard charts and overlaps: On the chart Spec⁡A[I/a]⊆Bl⁡ISpec⁡A, for a∈I, one has IA[I/a]=aA[I/a] with a a nonzerodivisor, and the charts over a generating family cover the blowup.

[F5]

Blowups restrict to open subschemes of the base: The blowup of U⊆X is the restriction of the blowup of X, canonically over U.

Proof

1.1F1F2F5

Let U=Spec⁡A⊆X be affine with I∣U=I~. Restricting the fibre product of [F1] to U gives E×XU=Spec⁡(A/I)×Spec⁡ABl⁡IU, and Bl⁡IU=Proj⁡AR(I); applying [F2] to the morphism Spec⁡(A/I)→Spec⁡A and the graded algebra R(I) yields a canonical isomorphism Proj⁡AR(I)×Spec⁡ASpec⁡(A/I)≅Proj⁡A/I(R(I)⊗AA/I).

1.2F1F4

In the standard chart Spec⁡A[I/a], a∈I, the ideal of E is IOBl⁡∣chart⁡=IA[I/a]=aA[I/a] by [F1] and [F4], so E meets the chart in V(a), and the charts over a generating family of I cover the blowup by [F4].

2.1F3step 1.1

By [F3] the graded A/I-algebra R(I)⊗AA/I=R(I)/IR(I) has degree-n piece In/In+1, so it is canonically gr⁡I(A); combining with step 1.1 gives a canonical isomorphism E×XU≅Proj⁡A/Igr⁡I(A) over Spec⁡(A/I).

3.1F2F3F5step 2.1

The isomorphisms of step 2.1 are canonical and compatible with restriction to smaller affine opens: for A→Af both Bl⁡ and the associated graded construction localise, InAf/In+1Af=(IAf)n/(IAf)n+1, and the identifications of [F2] are natural; hence they glue over an affine cover of X to a canonical isomorphism of Z-schemes E→Proj⁡Z(gr⁡IOX), the projectivized normal cone.

4.1F2step 3.1

For a point z∈Z, applying [F2] to the morphism Spec⁡κ(z)→Z and the graded OZ-algebra gr⁡IOX identifies the fibre of Proj⁡Z(gr⁡IOX) over z, and hence the fibre of E over z by step 3.1, with Proj⁡κ(z)(gr⁡I(A)⊗A/Iκ(z)); for a closed point center, where I=m is maximal, gr⁡m(A)=⨁n≥0mn/mn+1 is the associated graded ring of the local ring at the centre, so its Proj is the projectivized tangent cone.

5.1step 2.1step 1.2step 4.1∎

Steps 2.1, 1.2 and 4.1 prove all the assertions: E≅Proj⁡Z(gr⁡IOX) over Z, the fibre description over points of Z, and the identification of E with the divisor V(a) 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 Z is assumed; the identification with the projectivized normal cone is purely a statement about the Rees algebra and its quotient by I.
CorollaryStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Regular centers have projective-bundle exceptional divisors

Statement

Assume the Axiom of Choice. Let i ⁣:Z→X be a regular immersion (so the conormal sheaf I/I2 is locally free, with I the ideal sheaf of Z), and let E be the exceptional divisor of the blowup of X along Z. Then E→Z is canonically isomorphic to the projective bundle PZ(I/I2)=Proj⁡ZSym⁡(I/I2) in the quotient convention. In particular, if p is a closed point of a regular surface S over a field k with dim⁡OS,p=2 (automatic for finite-type pure-dimensional surfaces), then I/I2=mp/mp2 is free of rank two over κ(p) and E is isomorphic to the projective line Pκ(p)1 over κ(p).

Facts & Assumptions

Given: The Axiom of Choice, a regular immersion i ⁣:Z→X with ideal sheaf I, the blowup of X along Z with exceptional divisor E, and, for the second claim, a closed point p of a regular surface S over a field k with two-dimensional local ring.

[A1]

Regular-immersion hypothesis, local form. The immersion i is regular: every point of Z has an affine open neighbourhood in X Spec⁡A on which Z is cut out by an A-regular sequence f1,…,fc∈A, and the conormal sheaf I/I2 is locally free there, with the classes of f1,…,fc as a basis over A/J, J=(f1,…,fc); the empty sequence c=0 is allowed.

[A2]

Choice. The Axiom of Choice is assumed, as in the statement, and the cited suppliers used below are stated under it.

[F1]

The exceptional divisor is the projectivized normal cone: Assume the Axiom of Choice. Let Z=V(I) be a closed subscheme of X cut out by a quasi-coherent ideal sheaf I of finite type and let E=π−1(Z) be the exceptional subscheme of the blowup. Then there is a canonical isomorphism of Z-schemes E→Proj⁡Z(gr⁡IOX)=Proj⁡Z(⨁n≥0In/In+1), the projectivized normal cone of Z in X.

[F2]

Associated graded algebra of an ideal generated by a regular sequence: Let R be a commutative ring and f1,…,fc an R-regular sequence, J=(f1,…,fc). The canonical graded homomorphism (R/J)[X1,…,Xc]→gr⁡JR, Xi↦fi modulo J2, is an isomorphism. In particular J/J2 is free on the classes of fi and Sym⁡R/J(J/J2)=gr⁡JR. No Noetherian or domain hypothesis is required.

[F3]

associated graded ring of a regular local ring: Assume the Axiom of Choice. If (R,m,k) is regular local of dimension d, any cotangent basis induces a graded isomorphism k[X1,…,Xd]≅gr⁡mR.

[F4]

embedding dimension and regular local ring: For a nonzero commutative Noetherian local ring (R,m,k), edim⁡R=dim⁡k(m/m2). The ring is regular local when edim⁡R=dim⁡R.

[F5]

embedding dimension is minimal maximal ideal generator number: Assume the Axiom of Choice. For a nonzero Noetherian local ring (R,m,k), edim⁡R is the least number of generators of m.

[F6]

Projective bundle in the quotient convention: Let E be a finite locally free OS-module of locally constant rank r≥0. The projective bundle of E over S is the relative Proj PS(E)=Proj⁡SSym⁡(E)→S, with the quotient convention: over an S-scheme g ⁣:T→S, an S-morphism T→PS(E) is the same as an isomorphism class of surjections g∗E→L with L invertible on T.

[F7]

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

1.1A1F2

Let Spec⁡A⊆X be an affine chart on which I is generated by an A-regular sequence f1,…,fc and put J=(f1,…,fc), so that J/J2 is free on the classes of the fi with Sym⁡A/J(J/J2)≅A/J[X1,…,Xc]. By [F2] the canonical graded homomorphism A/J[X1,…,Xc]→gr⁡JA, Xi↦fi+J2, is an isomorphism, so it is a canonical isomorphism Sym⁡A/J(J/J2)→gr⁡JA; for the empty sequence this reads Sym⁡(0)=A/J=gr⁡0A.

2.1A2F1F6step 1.1

Over this chart [F1] identifies the exceptional divisor E with Proj⁡Z(gr⁡IOX), that is, with Proj⁡Spec⁡A/J(gr⁡JA), canonically in Z; combining with step 1.1 gives a canonical isomorphism E≅Proj⁡A/JSym⁡(J/J2)=PSpec⁡A/J(J/J2) over the chart, the projective bundle in the quotient convention recorded in [F6]. In the degenerate case J=0 both sides of this display are empty and the identification is the empty isomorphism.

3.1F1F6step 2.1

These neighborhoods cover Z. Over X∖Z 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 Sym⁡(I/I2)→gr⁡IOX, together with the canonical isomorphism of [F1], which involves no choices; hence they agree on overlaps and glue to a single canonical isomorphism of Z-schemes E→PZ(I/I2)=Proj⁡ZSym⁡(I/I2), the projective bundle of [F6] in the quotient convention.

4.1F4F7step 3.1

For the second claim let p have the stated two-dimensional regular local ring on S and let I be the ideal sheaf of Z={p}, so that I/I2=mp/mp2. The point immersion is regular: its regular parameters form a regular sequence at p, 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 p. Thus step 3.1 gives a canonical isomorphism E→PZ(mp/mp2) of schemes over Spec⁡κ(p). By hypothesis OS,p is a regular local ring of dimension two with residue field κ(p), so [F4] gives edim⁡OS,p=dim⁡κ(p)(mp/mp2)=dim⁡OS,p=2; thus mp/mp2 is a free κ(p)-module of rank two.

5.1A2F3F5step 4.1

Let u,v be a κ(p)-basis of mp/mp2; it has exactly two elements by step 4.1, and by [F5] the lifted elements u,v minimally generate mp, so their initial classes generate gr⁡mpOS,p in degree one. Applying [F3] to the two-dimensional regular local ring OS,p with this cotangent basis gives a graded κ(p)-algebra isomorphism κ(p)[X,Y]→gr⁡mpOS,p with X↦u, Y↦v.

6.1F6step 3.1step 5.1∎

Finally PZ(mp/mp2)=Proj⁡κ(p)Sym⁡(mp/mp2) for the free rank-two module mp/mp2 is by [F6] exactly Proj⁡κ(p)κ(p)[X,Y]=Pκ(p)1, and step 5.1 identifies this graded algebra with gr⁡mpOS,p; hence, with the canonical isomorphism E→PZ(I/I2) of step 3.1, the exceptional divisor satisfies E≅Pκ(p)1 and I/I2 is free of rank two over κ(p), 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 A[(a)/a]=A, so its blowup is the identity and the exceptional fiber is Pκ(p)0=Spec⁡κ(p). No degree −1 on a point is asserted. The main regular-immersion statement covers this rank-one case as well.

TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Blowing up an effective Cartier divisor does nothing

Statement

Assume the Axiom of Choice, inherited from the blowup construction (The Axiom of Choice). Let I be a quasi-coherent ideal sheaf of finite type on a scheme X that is invertible as an OX-module (Invertible sheaves) — equivalently, Z=V(I) is an effective Cartier divisor on X (Effective cartier divisor, Cartier divisor). Then the blowup π ⁣:Bl⁡IX→X of Blowup of a scheme along an ideal sheaf is an isomorphism. If I is generated by a single nonzerodivisor f on an affine open U=Spec⁡A, then the blowup is Spec⁡A[I/f]=Spec⁡A over U.

Facts & Assumptions

Given: A scheme X, a quasi-coherent ideal sheaf I of finite type with zero scheme Z, and the blowup π ⁣:Bl⁡IX→X.

[F1]

Effective cartier divisor and Cartier divisor: An effective Cartier divisor on X is given by an open cover {Ui} with regular sections fi∈Γ(Ui,OX), regular meaning that multiplication by the germ (fi)x is injective for every x∈Ui, and the local principal ideals fiOUi glue to an ideal sheaf ID; conversely an invertible ideal sheaf is locally generated by one element and that generator is a nonzerodivisor, because the map OUi→I∣Ui, 1↦fi, is an isomorphism.

[F2]

The sheaf of a Cartier divisor is invertible: For a Cartier divisor D the sheaf OX(D) is invertible and locally freely generated by fi−1; in particular the ideal sheaf of an effective Cartier divisor is an invertible OX-module.

[F3]

Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For I=(f0,…,fr) on an affine U=Spec⁡A the standard charts are Spec⁡A[I/fi] and they cover Bl⁡IU; for a principal ideal I=(f) with f a nonzerodivisor the affine blowup algebra is A[I/f]=A.

[F4]

Universal property of the blowup: For every X-scheme Y→X whose inverse image of Z is an effective Cartier divisor there is a unique X-morphism Y→Bl⁡IX; equivalently Bl⁡IX is final among such X-schemes, and Uniqueness of the blowup makes the resulting identifications unique.

Proof

1.1F1F2

If I is invertible then it is locally generated by a single element fi on an open cover {Ui} and the generator is a nonzerodivisor by [F1], so the zero scheme Z is an effective Cartier divisor with local equations fi; conversely if Z=V(I) is an effective Cartier divisor with local equations fi, then I∣Ui=(fi) and [F2] exhibits I as invertible.

2.1F3step 1.1

Suppose I is invertible. On each affine open U=Spec⁡A with I∣U=(f) and f a nonzerodivisor, the single standard chart of the blowup is Spec⁡A[I/f]=Spec⁡A=U by [F3], and it covers Bl⁡IU=π−1(U); hence π−1(U)→U is an isomorphism.

3.1F4step 2.1

The restriction π−1(U)→U is an isomorphism for the members of an affine open cover of X by step 2.1, and being an isomorphism is local on the target, so π ⁣:Bl⁡IX→X is an isomorphism; its inverse is characterized by the universal property [F4] applied to the identity of X, whose inverse image of Z is the effective Cartier divisor Z itself, so the inverse is the unique X-morphism X→Bl⁡IX supplied there, and it is unique by Uniqueness of the blowup.

3.2F3step 2.1

In the affine case X=Spec⁡A and I=I~ with I=(f) for a nonzerodivisor f, step 2.1 with U=X gives Bl⁡ISpec⁡A=Spec⁡A[I/f]=Spec⁡A, as claimed.

4.1step 1.1step 3.1step 3.2∎

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 Spec⁡A[I/f]=Spec⁡A when I 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 Bl⁡IX depends only on the class of I modulo invertible rescaling, a class that is trivial exactly in the Cartier case.
TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Blowing up a rational point of a smooth surface

Statement

Assume the Axiom of Choice. Let S be a smooth surface over a field k and let p∈S(k) be a k-rational point. Then the blowup S′=Bl⁡pS is smooth over k, with exceptional curve E≅Pk1 and OE(E)≅OPk1(−1) (Point blowups of regular surfaces stay regular, with rational exceptional fibre over the residue field). Choose a sufficiently small affine neighbourhood U=Spec⁡R of p and functions x,y∈R generating the ideal of p on U and giving regular parameters at p; such a choice exists. Over U the blowup is the incidence subscheme V(xv−yu)⊆U×kPk1, with homogeneous coordinates (u:v) on the second factor, its two charts are Spec⁡R[T]/(xT−y)=Spec⁡R[y/x] and Spec⁡R[U1]/(yU1−x)=Spec⁡R[x/y], and the overlap inverts T and U1 with TU1=1. After base change to Spec⁡OS,p, replace R by OS,p in these formulas. The charts over R are smooth surfaces over k, and the local rings on E have dimension one at its generic point and dimension two at its closed points. For S=Ak2 with coordinates x,y and p=0 the charts are the affine planes Spec⁡k[x,T] and Spec⁡k[y,U1], and the incidence subscheme lies in Ak2×kPk1.

Facts & Assumptions

Given: A field k, a smooth surface S over k, a k-rational point p, the local ring A=OS,p, regular parameters xˉ,yˉ∈A, an affine neighbourhood U=Spec⁡R of p, lifts x,y∈R of xˉ,yˉ, the blowup π ⁣:S′→S of p, and the Axiom of Choice, inherited from the Proj and gluing constructions (The Axiom of Choice).

[F1]

Smooth morphism of schemes: S→Spec⁡k is smooth, hence flat, locally of finite presentation, and geometrically regular on the fibres; the fibre over the unique point of Spec⁡k is S itself, so every local ring of S is regular. Smoothness is local on the source.

[F2]

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: A is a regular local ring of dimension two, 2=dim⁡A=edim⁡A; regular local rings are domains and Cohen-Macaulay, their regular systems of parameters are regular sequences in any order, and A/(xˉ) is a regular local ring of dimension one, hence a domain.

[F3]

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.

[F4]

Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For an ideal I=(f0,…,fr) the standard charts Spec⁡A[I/fi] cover Bl⁡ISpec⁡A, and the homomorphism A[x1,…,xr]/(axi−ai)→A[I/a] is surjective with kernel the a-power torsion; the image of a is a nonzerodivisor and (A[I/a])a=Aa.

[F5]

Blowups restrict to open subschemes of the base: On the open subscheme U the blowup of the point is the blowup of U along the restriction of the ideal sheaf of p; if (x,y) is the ideal of p on U, this is Bl⁡(x,y)U.

[F6]

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.

[F7]

Standard opens of Proj and Projective space is Proj of a polynomial ring: On Pk1=Proj⁡k[u,v] the standard opens D+(u) and D+(v) are the affine lines Spec⁡k[T], T=v/u, and Spec⁡k[U1], U1=u/v, glued by TU1=1.

[F8]

Point blowups of regular surfaces stay regular, with rational exceptional fibre over the residue field: Bl⁡pS is regular of pure dimension two, E is an effective Cartier divisor isomorphic to Pκ(p)1=Pk1 with OE(E)=O(−1), the base change to Spec⁡A has charts Spec⁡A[T]/(xT−y) and Spec⁡A[U1]/(yU1−x) glued by TU1=1, the local rings on E have dimension one at the generic point and two at closed points, and if S is smooth over k and p is k-rational then Bl⁡pS is smooth over k.

[F9]

Pushforward and vanishing for an affine point blowup: For a ring A and I=(x,y) generated by a regular sequence, the two standard charts cover Bl⁡ISpec⁡A and, over the affine base, the structure-sheaf pushforward is the structure sheaf of the base with all higher direct images vanishing.

[F10]

The blowup of the plane at the origin as an incidence scheme: Over k[x,y] the blowup of the origin is V(xv−yu)⊆Ak2×kPk1 with charts Spec⁡k[x,T], y=xT, and Spec⁡k[y,U1], x=yU1, glued by TU1=1.

[F11]

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 U glue to the global blowup.

Proof

1.1F1F2F5

By [F1] the local ring A=OS,p is regular, and by [F2] it has dimension and embedding dimension two, so there are regular parameters xˉ,yˉ; lifting them along R→Rmp=A and clearing denominators gives x,y∈R with these images, and the failure loci of the conditions below are closed subsets of the affine scheme U not containing p, so U may be shrunk while keeping p. Arrange that (i) U is connected and R is a domain: every local ring of the smooth surface S is a domain by [F1] and [F2], so a connected affine open neighbourhood of p has domain ring; (ii) (x,y) generates the ideal of p on U, which holds at p because the images generate mp and the locus where the two coherent ideals differ is closed and avoids p; (iii) (x,y) and (y,x) are regular sequences in R, namely x and y are nonzerodivisors and each is a nonzerodivisor modulo the other: this holds at p because xˉ,yˉ is a regular system of parameters in the Cohen-Macaulay ring A by [F2], and each failure is the support of the kernel of multiplication on a coherent module, a closed subset avoiding p. Thus a sufficiently small affine neighbourhood and functions as in the statement exist.

2.1F4F6F7step 1.1algebra

Let Z=V(xv−yu)⊆U×kPk1. By [F7] the two charts of the projective factor give Z∩{u≠0}=Spec⁡R[T]/(xT−y) with T=v/u, and Z∩{v≠0}=Spec⁡R[U1]/(yU1−x) with U1=u/v; on the overlap both T and U1 are invertible and TU1=1, so Z is obtained by gluing these two affine charts along R[T,T−1]/(xT−y). On the other hand, by [F4] the standard charts of Bl⁡(x,y)U are Spec⁡R[(x,y)/x] and Spec⁡R[(x,y)/y] with overlap R[(x,y)/x][x/y]. Since (x,y) is a regular sequence in the domain R by step 1.1, the homomorphism R[T]/(xT−y)→R[(x,y)/x], T↦y/x, is an isomorphism: it is surjective with kernel the x-power torsion by [F4], and a coefficient comparison in a relation xg=(xT−y)h, using that y is a nonzerodivisor modulo x, shows g∈(xT−y), so no nonzero torsion exists; symmetrically R[U1]/(yU1−x)≅R[(x,y)/y] via U1↦x/y. These identifications carry T↦y/x and U1↦x/y, matching the ratio identifications of the blowup charts, so by [F6] they glue to an isomorphism Z→Bl⁡(x,y)U over U, canonical because both sides are determined by the same chart data.

3.1F5F8F9step 2.1

By [F5] the restriction of the blowup of S at p to the open U is Bl⁡(x,y)U, so step 2.1 identifies it with the incidence subscheme V(xv−yu) and gives the two charts Spec⁡R[T]/(xT−y)=Spec⁡R[y/x] and Spec⁡R[U1]/(yU1−x)=Spec⁡R[x/y] with TU1=1, the descriptions displayed in the statement. Base change to Spec⁡A replaces R by A: the formulas Spec⁡A[T]/(xT−y) and Spec⁡A[U1]/(yU1−x) are exactly the local charts of [F8], and over this affine base the structure-sheaf pushforward is A with vanishing higher direct images by [F9].

4.1F1F2F3F8F10F11step 3.1

Smoothness and the local structure of E. Since S is smooth over k and p is k-rational, [F8] gives that Bl⁡pS is smooth over k with exceptional curve E≅Pk1 and OE(E)=O(−1), and that the local rings on E have dimension one at its generic point and two at closed points. The two charts of step 3.1 cover π−1(U) and are open subschemes of Bl⁡pS; smoothness is local on the source by [F1], so each chart is a smooth surface over k. The centre is a single point, so by [F11] the blowup is an isomorphism away from p, and the chart descriptions of steps 2.1 and 3.1 glue to the global blowup. In the model S=Ak2, p=0 with the coordinate functions x,y, [F10] gives literally Spec⁡k[x,T] and Spec⁡k[y,U1] inside Ak2×kPk1.

5.1step 1.1step 2.1step 3.1step 4.1∎

Steps 1.1-4.1 prove the statement: a sufficiently small affine neighbourhood U=Spec⁡R with regular parameters x,y generating the ideal of p exists, over U the blowup is the incidence subscheme V(xv−yu)⊆U×kPk1 with charts Spec⁡R[T]/(xT−y)=Spec⁡R[y/x] and Spec⁡R[U1]/(yU1−x)=Spec⁡R[x/y] glued by TU1=1, the base change to Spec⁡OS,p is obtained by replacing R by OS,p, the charts are smooth surfaces over k, the local rings on E have the asserted dimensions, and the plane model has the two affine-plane charts inside Ak2×kPk1.

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 S and rationality of p give absolute smoothness of the blowup over k.
  • For a general closed point the local charts are over OS,p. The exceptional curve is over κ(p); the whole blowup need not have a κ(p)-algebra structure.
LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

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 A be a commutative ring with 1, let I=(x,y)⊆A be an ideal generated by a regular sequence (x,y) (for example A a regular local ring of dimension two with parameters x,y), let π ⁣:Bl⁡ISpec⁡A→Spec⁡A be the blowup of Blowup of a scheme along an ideal sheaf and let E be its exceptional subscheme. Then the two standard charts X0=D+(xt) and X1=D+(yt) cover Bl⁡ISpec⁡A, the ordered Čech complex of this two-element affine cover computes the cohomology of OBl⁡ISpec⁡A (Cech cohomology computes quasi-coherent cohomology on a separated scheme), and H0(Bl⁡ISpec⁡A,O)=A,H1(Bl⁡ISpec⁡A,O)=0,Hq(Bl⁡ISpec⁡A,O)=0  (q≥2). Consequently π∗OBl⁡ISpec⁡A=OSpec⁡A and Rqπ∗OBl⁡ISpec⁡A=0 for all q>0.

Facts & Assumptions

Given: A commutative ring A, an ideal I=(x,y)⊆A such that x is a nonzerodivisor of A and y is a nonzerodivisor of A/(x), the Rees algebra R(I)=⨁n≥0Intn (Rees algebra sheaf of a finite type ideal), the blowup π ⁣:Bl⁡ISpec⁡A=Proj⁡R(I)→Spec⁡A (Blowup of a scheme along an ideal sheaf), and the relative projective line PA1=Proj⁡A[u,v] with twisting sheaves O(d) (Twisting sheaf on Proj).

[F1]

Affine blowup standard charts and overlaps: For I=(f0,…,fr) and Bi=A[I/fi] the standard opens D+(fit)=Spec⁡Bi cover Bl⁡ISpec⁡A, with overlap identifications given by the ratios (fjt)/(fit).

[F2]

Closed subschemes of projective space and saturated ideals: A homogeneous ideal a⊆A[u,v] determines a closed subscheme V+(a)↪PA1, equal to Proj⁡(A[u,v]/a) under the canonical closed immersion, and V+(a)∩D+(u)=Spec⁡(A[u,v](u)/a(u)).

[F3]

Hypersurface cohomology sequence: For f∈A[u,v] homogeneous of degree d>0 with every dehomogenisation f/ud, f/vd a nonzerodivisor of the corresponding chart ring, the multiplication map OPA1(−d)→⋅fOPA1 and the structure map of the closed immersion i ⁣:V+(f)↪PA1 form a short exact sequence 0→OPA1(−d)→⋅fOPA1→i♯i∗OV+(f)→0, and the induced long exact sequence of sheaf cohomology computes the cohomology of V+(f) from that of the twists OPA1(d).

[F4]

Cohomology of O(d) on projective space: On PA1 one has H0(O)=A, H1(O)=0, Hq(O)=0 for q≥2, and H0(O(−1))=0, H1(O(−1))=0; indeed Hq(PA1,O(d))=0 unless q=0 or q=1, with H0 the degree-d part of A[u,v] for d≥0 and H1 the free A-module on the Laurent monomials ue0ve1 with e0,e1<0 and e0+e1=d, which is zero for d=−1.

[F5]

Cech cohomology computes quasi-coherent cohomology on a separated scheme: For a quasi-compact separated scheme X, a finite affine open cover and a quasi-coherent OX-module F, the canonical comparison map Hˇq(U,F)→Hq(X,F) is an isomorphism for every q≥0.

[F6]

Čech complex for a two-open cover: For a cover by two open sets U0,U1, the ordered Čech complex has C0=F(U0)⊕F(U1), C1=F(U0∩U1) and Cp=0 for p≥2, with δ0(s0,s1)=s1∣U0∩U1−s0∣U0∩U1; hence Hˇ0=ker⁡δ0, Hˇ1=coker⁡δ0 and Hˇp=0 for p≥2.

[F7]

Higher direct images localize over an affine base: For a quasi-compact separated morphism f ⁣:X→S and a quasi-coherent OX-module F, each Rqf∗F is quasi-coherent (Higher direct image of a sheaf), and for every affine open V=Spec⁡A⊆S there is a canonical isomorphism (Rqf∗F)∣V≅Hq(f−1V,F)~.

[F8]

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 PA1 is quasi-compact and separated over Spec⁡A.

Proof

1.1F1

The graded A-algebra homomorphism A[u,v]→R(I) with u↦xt, v↦yt is surjective because In=(x,y)n is generated by the monomials xn−iyi, and its kernel is (xv−yu): for a homogeneous F=∑i=0nciun−ivi with F(x,y)=0, reduction modulo x gives cnyn≡0(modx), so cˉn=0 because y is a nonzerodivisor modulo x, say cn=xd; then F−dvn−1(xv−yu) has zero vn-coefficient, hence equals uG for a homogeneous G of degree n−1, and evaluating at (x,y) gives xG(x,y)=0, so G(x,y)=0 because x is a nonzerodivisor, and induction on n down to degree 0 yields F∈(xv−yu), while conversely xv−yu↦x⋅yt−y⋅xt=0; hence R(I)≅A[u,v]/(xv−yu) as graded A-algebras.

1.2F1F2

The element f:=xv−yu∈A[u,v] is a nonzerodivisor: as a polynomial in v over A[u] its leading coefficient is the nonzerodivisor x, so fg=0 forces the top v-coefficient of g to vanish and descending induction gives g=0; the dehomogenisation f/u=x(v/u)−y is a nonzerodivisor of A[v/u] for the same reason, and yU−x is a nonzerodivisor of A[U], since comparing coefficients of Ui in (yU−x)g=0 gives −xg0=0 and ygi−1=xgi for i≥1, so g0=0 and induction gives all gi=0; hence by [F2] the blowup is identified with the closed subscheme Bl⁡ISpec⁡A=Proj⁡(A[u,v]/(xv−yu))=V+(xv−yu)⊆PA1, whose standard charts D+(u)∩V+(f)=Spec⁡(A[v/u]/(x(v/u)−y))=X0 and D+(v)∩V+(f)=Spec⁡(A[u/v]/(y(u/v)−x))=X1 are affine and cover it, matching the standard blowup charts of [F1] under the identification of u,v with xt,yt.

1.3F4

On PA1 the groups H0(O)=A, H1(O)=0, Hq(O)=0 for q≥2 and H0(O(−1))=H1(O(−1))=0 hold by [F4] with n=1.

2.1F3step 1.2

Applying [F3] to the homogeneous degree-one element f=xv−yu, whose chart dehomogenisations are nonzerodivisors by step 1.2, gives a short exact sequence of OPA1-modules 0→OPA1(−1)→⋅fOPA1→i∗OBl⁡ISpec⁡A→0, where i is the closed immersion of step 1.2.

3.1F4step 2.1step 1.3

The long exact cohomology sequence of step 2.1, with Hq(PA1,i∗OBl⁡)≅Hq(Bl⁡ISpec⁡A,O) for the closed immersion i and the groups of step 1.3, gives H0(Bl⁡ISpec⁡A,O)≅coker⁡(H0(O(−1))→H0(O))=A, then H1(Bl⁡ISpec⁡A,O)=0 because it is squeezed between H1(O)=0 and H2(O(−1))=0, and for q≥2 the group Hq(Bl⁡ISpec⁡A,O) is squeezed between Hq(O)=0 and Hq+1(O(−1))=0.

4.1F5F6F8step 1.2step 3.1

By [F8] the blowup Bl⁡ISpec⁡A is a closed subscheme of the quasi-compact separated PA1, hence quasi-compact and separated, so the two-element affine cover of step 1.2 has Čech cohomology computing the sheaf cohomology of O by [F5] and, by [F6], a Čech complex concentrated in degrees 0 and 1 with Hˇ0=ker⁡δ0 and Hˇ1=coker⁡δ0, so its Čech groups are A, 0 and 0 in degrees 0, 1 and ≥2, consistently with step 3.1.

5.1F7F8step 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 PA1 from [F8], and OBl⁡ is quasi-coherent, so [F7] with V=Spec⁡A identifies Rqπ∗O with the sheaf associated to the A-module Hq(Bl⁡ISpec⁡A,O), which is A in degree 0 and 0 for q>0 by step 3.1; hence π∗O=A~=OSpec⁡A and Rqπ∗O=0 for every q>0.

Remarks

  • Regularity of the sequence (x,y) enters twice: to identify the Rees algebra with the incidence algebra A[u,v]/(xv−yu) (step 1.1) and to make the dehomogenisations of xv−yu nonzerodivisors (step 1.2). For a general pair of generators the map A[u,v]→R(I) has a nontrivial kernel in general, and the blowup need not be a hypersurface in PA1.
  • The theorem is stated for an affine base precisely so that the direct image computation reduces to the two cohomology modules A and 0; 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 x or y in A: the overlap identification inverts the ratio v/u only, consistent with [F1].
LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Pushforward and vanishing for point blowups on a surface

Statement

Assume the Axiom of Choice. Let S be a regular surface over a field k (more generally a locally Noetherian scheme of dimension two whose local rings at the center are regular of dimension two) and let p be a closed point with residue field κ(p). Let π ⁣:S′→S be the blowup of p with exceptional curve E. Then π∗OS′=OS and Rqπ∗OS′=0 for every q>0. Moreover the same conclusions hold after composing finitely many point blowups.

Facts & Assumptions

Given: The Axiom of Choice, a scheme S as in the statement, a closed point p∈S with residue field κ(p), the blowup π ⁣:S′→S of p, and its exceptional curve E.

[A1]

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.

[F1]

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.

[F3]

Blowups restrict to open subschemes of the base: For an open U⊆S, π−1(U) is canonically the blowup of U at the restricted center.

[F4]

Higher direct image of a sheaf: Rqπ∗F is the sheaf associated to U↦Hq(π−1(U),F); for q=0 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.

[F5]

The blowup is an isomorphism off the center: The blowup restricts to an isomorphism away from its center.

[F6]

Cohomology comparison when higher direct images vanish: If Rqg∗G=0 for q>0, the natural maps Hn(T,g∗G)→Hn(T′,G) are isomorphisms for every n.

[F7]

Affine acyclicity of quasi-coherent sheaves: A quasi-coherent module on an affine scheme has zero higher cohomology.

[F8]

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.

[F9]

Blowing up an effective Cartier divisor does nothing: The blowup of an effective Cartier center is the identity.

Proof

1.1F3F4F5F8F9given

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 p, choose an affine Noetherian neighborhood Spec⁡R. Lift regular parameters of Rmp to functions x,y after inverting denominators not vanishing at p. The ideal of p is finite; its quotient by (x,y) has zero stalk at p, so shrinking kills this finite module. Likewise the kernels of multiplication by x on R and by y on R/(x) are finite modules with zero stalk at p, and another shrinking kills them. Thus (x,y) is a regular sequence generating the point ideal on this affine neighborhood, with nonzero quotient κ(p).

2.1F1F3F4F5step 1.1

The affine regular-sequence calculation applies on this neighborhood and gives the asserted direct images. On the complement of p the blowup is the identity, with the same direct images. These local results give π∗O=O and Rqπ∗O=0 globally. The argument uses only local Noetherianity and the two-dimensional regular local ring at the center.

3.1F4F6F7step 2.1∎

For a finite composition of the point blowups just considered, write it as f∘g, where g is the last step. Assume by induction the conclusions for f. For every affine open V in the original base, apply the vanishing-direct-image comparison to g restricted over f−1(V). Step 2.1 makes its higher direct images zero and its degree-zero image the structure sheaf. Hence Hq(g−1f−1V,O)=Hq(f−1V,O). A second comparison for f over V, followed by affine acyclicity, identifies the latter with Γ(V,O) for q=0 and zero for q>0. Sheafifying these identifications proves the same direct-image conclusions for the composition, completing the induction.

LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

Projection formula for invertible twists

Statement

Assume the Axiom of Choice. Let f ⁣:X→Y be a morphism of schemes, let F be a quasi-coherent OX-module and let L be an invertible OY-module. Then the natural map

Rqf∗(F)⊗OYL⟶Rqf∗(F⊗OXf∗L)

is an isomorphism for every q≥0. In particular, if f is a k-morphism, X and Y are proper over a field k and F is coherent, then the Euler characteristics satisfy χ(X,f∗L)=χ(Y,L) whenever f∗OX=OY and Rqf∗OX=0 for q>0.

Facts & Assumptions

Given: A morphism f ⁣:X→Y of schemes, a quasi-coherent OX-module F and an invertible OY-module L; the Axiom of Choice is inherited from the cohomology and adjunction suppliers cited below (The Axiom of Choice).

[F1]

Higher direct image of a sheaf: For a morphism of ringed spaces f and an OX-module G, the higher direct images are Rqf∗G=Hq(f∗I(G)del) for a fixed functorial injective resolution datum, with R0f∗G=f∗G canonically and Rqf∗=0 for q<0; the functor f∗ is left exact and additive.

[F2]

Pullback of modules is left adjoint to pushforward: For a morphism of ringed spaces f, the inverse image functor f∗ on modules is left adjoint to the direct image functor f∗, with unit η ⁣:id→f∗f∗ and counit ε ⁣:f∗f∗→id.

[F3]

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.

[F5]

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.

[F7]

Euler characteristic of a coherent sheaf: For a scheme proper over a field k and a coherent module, the Euler characteristic is the finite alternating sum of the k-dimensions of the cohomology groups.

[F8]

Finite-dimensional coherent cohomology over a field: For a scheme X proper over a field k and a coherent OX-module F, each Hq(X,F) is finite-dimensional over k and only finitely many of the groups are nonzero.

[F9]

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

1.1F3

Tensoring with an invertible sheaf L is an exact autoequivalence, with inverse tensoring with L∨: exactness is checked in local trivializations. It preserves injectives, since Hom⁡(M,I⊗L)≅Hom⁡(M⊗L∨,I) is exact in M when I is injective. The same statements hold on X for f∗L.

1.2F2F3

For any module G on X, adjunction gives the natural map νG:f∗G⊗L→f∗(G⊗f∗L), adjoint to the counit map f∗(f∗G)⊗f∗L→G⊗f∗L. On every open trivializing L this is the identity under the trivializations, hence it is an isomorphism. This ordinary direct-image argument requires no quasi-compactness or separatedness of f.

2.1F1step 1.1step 1.2

Take an injective resolution I∙ of F. By step 1.1, I∙⊗f∗L is an injective resolution of F⊗f∗L. Naturality of ν gives an isomorphism of complexes f∗I∙⊗L≅f∗(I∙⊗f∗L). Exact tensor with L commutes with taking cohomology, so the resulting isomorphism is precisely Rqf∗F⊗L≅Rqf∗(F⊗f∗L) for every q.

3.1F3F5F7F8F9step 2.1∎

If f∗OX=OY and the higher direct images of OX vanish, applying step 2.1 to OX gives f∗f∗L=L and Rqf∗f∗L=0 for q>0. For the k-morphism in the final assertion, the vanishing-direct-image comparison gives k-linear isomorphisms Hn(X,f∗L)≅Hn(Y,L). 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 f.

LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Euler characteristic of line bundles on a projective line over a finite field extension

Statement

Assume the Axiom of Choice. Let k be a field and let κ be a finite extension of k of degree r=[κ:k]. Let E be a scheme isomorphic to Pκ1 over κ, and let M be an invertible sheaf on E. Then Hq(E,M)=0 for q≥2, and writing d for the degree of M over κ one has

dim⁡kH0(E,M)−dim⁡kH1(E,M)=r(1+d),

so the k-Euler characteristic of M is χk(E,M)=r(1+d). In particular a line bundle of degree −j on E has Euler characteristic r(1−j).

Facts & Assumptions

Given: A field k, a finite field extension κ/k of degree r=[κ:k], a κ-scheme E isomorphic to Pκ1 over κ, and an invertible sheaf M on E; the Axiom of Choice is inherited from the Picard, cohomology and Euler-characteristic suppliers cited below (The Axiom of Choice).

[F1]

Sheaf cohomology as right derived global sections: For a scheme X and an OX-module F, the cohomology groups Hq(X,F) are the right derived functors of the global-section functor Γ(X,−), so an isomorphism of OX-modules induces an isomorphism Hq(X,F)≅Hq(X,F′), functorially in q.

[F2]

The Picard group of the projective line: For every field K, the degree homomorphism induces an isomorphism Pic⁡(PK1)→Z under which OPK1(d) corresponds to d; every invertible sheaf on PK1 is isomorphic to OPK1(d) for a unique integer d.

[F3]

Cohomology of O(d) on projective space: For n=1 over a field K, H0(O(d)) has basis the degree-d ordinary monomials when d≥0 and is zero otherwise; H1(O(d)) has basis the Laurent monomials xeyf with e,f<0 and e+f=d; all higher groups vanish.

[F4]

Euler characteristic of a coherent sheaf: For a scheme X proper over a field k and a coherent OX-module F, all groups Hq(X,F) are finite-dimensional over k and only finitely many are nonzero, and the Euler characteristic is the alternating sum χ(X,F)=∑q≥0(−1)qdim⁡kHq(X,F).

[F5]

Finite-dimensional projective space is proper over every base: For a scheme S and n≥0 the structure morphism PSn→S is proper.

[F6]

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

1.1F1

Fix a κ-isomorphism φ ⁣:E→Pκ1 and set N:=φ∗M, so that N is an invertible sheaf on Pκ1 and Γ(E,M)=Γ(Pκ1,N) 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 Hq(E,M)≅Hq(Pκ1,N) for all q≥0.

2.1F2step 1.1

By [F2] applied to the field κ, the invertible sheaf N on Pκ1 is isomorphic to OPκ1(d) for a unique integer d, which we take as the definition of the degree d of M over κ.

3.1F1F3step 1.1step 2.1

By [F3] with A=κ and n=1 the groups Hq(Pκ1,O(d)) vanish unless q=0 or q=1; the same description gives H0≅κ[x,y]d, of dimension h0=d+1 for d≥0 and 0 for d<0, and H1 free on the Laurent monomials xeyf with e,f<0 and e+f=d, of dimension h1=−d−1 for d≤−2 and 0 otherwise, so h0−h1=1+d. Since cohomology depends only on the isomorphism class of the sheaf, [F1] gives dim⁡κHq(Pκ1,N)=hq; combined with step 1.1 this yields Hq(E,M)=0 for q≥2 and dim⁡κH0(E,M)−dim⁡κH1(E,M)=1+d.

4.1step 3.1algebra

The structure morphism E→Spec⁡κ makes κ→Γ(E,OE) a ring homomorphism, so each Hq(E,M) is a κ-vector space; for a κ-vector space V of dimension h one has dim⁡kV=rh, because if v1,…,vh is a κ-basis of V and μ1,…,μr is a k-basis of κ, then the products μjvi span V over k and are k-independent. Applying this to the groups of step 3.1 gives dim⁡kH0(E,M)−dim⁡kH1(E,M)=r(h0−h1)=r(1+d).

5.1F4F5F6step 3.1step 4.1

The scheme E is proper over κ because it is κ-isomorphic to Pκ1 and PS1→S is proper for every S [F5], and M is coherent on the locally Noetherian scheme E 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 q=0,1 occur, and passing to k-dimensions as in step 4.1 gives the k-Euler characteristic χk(E,M)=dim⁡kH0(E,M)−dim⁡kH1(E,M)=r(1+d).

6.1step 2.1step 5.1∎

If φ′ is another κ-isomorphism with associated integer d′, then step 5.1 applied to both gives r(1+d)=χk(E,M)=r(1+d′), and r≥1 because κ/k is a finite extension, so d=d′; thus the degree of M over κ is well defined. For d=−j the formula reads χk(E,M)=r(1−j), which is the final assertion.

Remarks

The extension κ/k need not be separable or Galois: the proof never decomposes κ⊗kκ, using only that Hq(E,M) is a κ-vector space and that r=[κ:k] is the k-dimension of κ. The case d=−1 gives χk=0, and d=0 gives χk=r, the k-dimension of the structure sheaf's cohomology.

TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Point blowups of regular surfaces stay regular, with rational exceptional fibre over the residue field

Statement

Assume the Axiom of Choice. Let S be a regular finite-type k-scheme of pure dimension two, let p be a closed point, put κ=κ(p) and r=[κ:k], and let π ⁣:S′=Bl⁡pS→S be the blowup of S at p with exceptional subscheme E. Then S′ is regular of pure dimension two, E is an effective Cartier divisor canonically isomorphic to Pκ(mp/mp2), hence isomorphic to Pκ1 after choosing regular parameters, and OE(E)=OPκ1(−1). For A=OS,p and regular parameters x,y, the base change to Spec⁡A has charts Spec⁡A[T]/(xT−y)=Spec⁡A[y/x] and Spec⁡A[U]/(yU−x)=Spec⁡A[x/y], glued by inverting T and U with U=T−1. Their local rings at the generic point of E have dimension one and at its closed points dimension two. If S is smooth over k and p is k-rational, S′ is smooth over k; literal affine-plane charts occur in the model S=Ak2, p=0. No smoothness over an imperfect k is asserted for a general inseparable closed point. Regularity is a property of these local rings and does not require a κ-algebra structure on S′.

Facts & Assumptions

Given: The Axiom of Choice, a regular finite-type k-scheme S of pure dimension two, a closed point p∈S with residue field κ=κ(p), the blowup S′=Bl⁡pS with exceptional subscheme E, and regular parameters x,y of A=OS,p.

[A1]

Choice. The Axiom of Choice is assumed, as in the statement; the cited suppliers used below are stated under it.

[F1]

Affine blowup standard charts and overlaps: Let A be a ring, I=(f0,…,fr), S=R(I) and Bi=A[I/fi]. The standard opens Ui=D+(fit)=Spec⁡Bi cover Bl⁡ISpec⁡A, and on overlaps the identifications are D(uij) in Ui with uij=(fjt)/(fit), sending uij to uji−1 and preserving the structure maps to Spec⁡A.

[F2]

Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For a ring A, an ideal I and a∈I, the affine blowup algebra A[I/a]:=(R(I))(a) satisfies: the image of a is a nonzerodivisor, I A[I/a]=a A[I/a], and (A[I/a])a=Aa. If I=(a0,…,ar) and a=a0, then A[x1,…,xr]/(axi−ai)→A[I/a], xi↦ai/a, is surjective; if A is a domain and a≠0, then A[I/a] is a domain.

[F3]

Flat base change for blowups, and failure without flatness: For a flat base change X′→X, the blowup of X along a quasi-coherent ideal sheaf of finite type base-changes to the blowup of X′ along the pulled-back ideal; in particular the base change of Bl⁡(x,y)Spec⁡A to Spec⁡A over S is the blowup of Spec⁡A at its closed point.

[F5]

Maximal ideals of an affine domain have full height: Let k be a field, B a finite-type k-domain and m⊆B maximal. Then ht⁡(m)=dim⁡B.

[F6]

regular local rings are domains and cohen macaulay: A regular local ring R of dimension d is a domain and Cohen-Macaulay. For every regular system (x1,…,xd), the tuple is R-regular and R/(x1,…,xc) is regular local of dimension d−c for all 0≤c≤d.

[F7]

localisation and polynomial extension of regular rings: Localizations and finite polynomial extensions of a commutative regular Noetherian ring are regular.

[F8]

localisations of regular local rings are regular: Every prime localization Rp of a regular local ring R is regular, and edim⁡Rp=ht⁡p.

[F9]

regular local quotient by parameter is regular: Let (R,m,k) be regular local of dimension d and x∈m∖m2. Then R/(x) is regular local of dimension and embedding dimension d−1.

[F10]

embedding dimension and regular local ring: For a nonzero commutative Noetherian local ring (R,m,k), edim⁡R=dim⁡k(m/m2); R is regular local when edim⁡R=dim⁡R.

[F11]

dimension at most embedding dimension: Every nonzero commutative Noetherian local ring R satisfies dim⁡R≤edim⁡R<∞.

[F12]

associated graded ring of a regular local ring: If (R,m,k) is regular local of dimension d, any cotangent basis induces a graded isomorphism k[X1,…,Xd]≅gr⁡mR.

[F13]

The exceptional divisor is the projectivized normal cone: For Z=V(I) cut out by a quasi-coherent ideal sheaf I of finite type, there is a canonical isomorphism of Z-schemes E→Proj⁡Z(gr⁡IOX) from the exceptional subscheme of the blowup.

[F14]

The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier: For the blowup of I with exceptional subscheme E=V(IOBl⁡): O(1) is invertible, the natural map π∗I→O(1) is surjective with image IOBl⁡, so IOBl⁡ is invertible and E is an effective Cartier divisor with OBl⁡(−E)=IOBl⁡=O(1) and OBl⁡(E)=O(−1).

[F15]

Smooth morphism of schemes: A morphism f ⁣:X→S is smooth at x when it is locally of finite presentation at x, flat at x, and the scheme-theoretic fibre Xf(x) is geometrically regular at x (regular after every field extension of κ(f(x))); f is smooth when this holds everywhere.

[F16]

Smoothness survives base change and composition: Smooth morphisms are stable under arbitrary base change.

[F17]

Every vector space has a basis: Assuming the Axiom of Choice, every vector space over a field has a basis.

[F18]

Under the stated choice boundary, free modules are projective and hence flat: Every free module over a commutative ring is flat.

[F19]

Affine-domain dimension equals transcendence degree: For any field k and any finite-type k-domain B, dim⁡B=trdeg⁡kFrac⁡(B).

[F20]

Projective bundle in the quotient convention: For a finite locally free sheaf V, P(V)=Proj⁡(Sym⁡V), with its standard positive twist.

Proof

1.1A1F5F6F10

The component through p is open: regular local rings are domains, so distinct irreducible components of the Noetherian regular scheme cannot meet. Choose a domain affine neighborhood of p in that component. Its dimension is two, and the maximal-ideal height theorem gives dim⁡A=2 for A=OS,p. Choose regular parameters x,y. They form a regular sequence; A/(x) and A/(y) are one-dimensional regular local domains.

2.1F1F2F3step 1.1

Flat localization of the base identifies the part over Spec⁡A with the blowup of (x,y). On the x-chart, put C=A[T]/(xT−y). If xg=(xT−y)h, reduction modulo x gives yˉhˉ=0 in the domain (A/(x))[T], so h=xh1; cancellation of x gives g=(xT−y)h1. Hence C has no x-power torsion, and the chart algebra theorem identifies C=A[y/x]. It has Cx=Ax, exceptional ideal xC and quotient C/xC=κ[T]. The second chart is A[U]/(yU−x) by the same argument, with overlap U=T−1. Localization of the base does not change local rings at points over p.

3.1F7F8F9F10F11step 2.1

Outside V(x) the local rings of C are prime localizations of A, hence regular. A prime of A[T] lying over a point of V(x) in C is either Q=mA[T] or Q=(m,h), where hˉ is a monic irreducible polynomial over κ. The ambient local ring A[T]Q is regular. Its maximal ideal is generated respectively by x,y or by x,y,h. The prime chains (0)⊊(x)⊊mA[T] and, in the second case, their extension by Q, together with the embedding-dimension bound, give dimensions two and three. These generators therefore form a cotangent basis. The class of xT−y is Tˉxˉ−yˉ, which is nonzero because the coefficient of yˉ is −1, even when Tˉ=0. 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 y-chart. These computations also show the local chart rings have dimension two, without asserting dim⁡Ax=2.

4.1F1F2F6F19step 3.1

Away from p 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 S′ are regular. Its charts over finite-type affine bases are finitely generated algebras, so S′ is finite type over k. Its irreducible components are disjoint and open, as for S. No component has generic point in E, 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 S∖{p} and shares the function field of a two-dimensional component of S. 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 S′ is pure of dimension two.

4.2F12F13F14F20step 3.1

The exceptional subscheme is canonically Proj⁡κgr⁡mA. The multiplication map Sym⁡κ(m/m2)→gr⁡mA is an isomorphism: choose any cotangent basis and apply the associated-graded theorem. Thus E is canonically Pκ(m/m2); the chosen basis x,y identifies it with Pκ1. The center ideal is O(−E)≅O(1), so E is effective Cartier and its normal line bundle is the restricted negative twist, OPκ1(−1). The projective-line coordinate identification depends on the chosen basis.

5.1F3F15F16F17F18step 4.1step 4.2∎

If S is smooth over k and p is rational, then for every field extension K/k, SK is smooth, regular and pure of dimension two, and pK is a rational closed point. Steps 1.1–4.2 apply over K. Flat base change identifies (S′)K with this point blowup, so it is regular for every K. The finite-type k-algebras of the charts are finitely presented, and they are flat over k because vector spaces are free. Hence the geometric-regularity definition proves smoothness. In the affine-plane model the quotients eliminate y or x, giving literal affine planes. For general p only regularity is asserted; only E, not the whole blowup, carries the indicated residue-field structure.

LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

The normal bundle of the exceptional curve is O(-1)

Statement

Assume the Axiom of Choice. Let p be a closed point of a regular surface S over a field k, assume dim⁡OS,p=2, and let π ⁣:S′→S be the blowup of p and E its exceptional curve. Then E is isomorphic to the projective line over κ(p), and the restriction to E of the invertible sheaf OS′(E) is the dual tautological bundle OPκ(p)1(−1); equivalently OE(E) has degree −1 and OE(−E)=O(1) has degree 1. For p k-rational, OE(E)=OPk1(−1) and this twist index is an isomorphism invariant of E.

Facts & Assumptions

Given: A regular surface S over k, a closed point p∈S with two-dimensional local ring, the blowup π ⁣:S′→S of p with exceptional curve E and A=OS,p.

[A1]

Choice. The Axiom of Choice is assumed, as in the statement; the cited suppliers used below are stated under it (The Axiom of Choice).

[F1]

Regular centers have projective-bundle exceptional divisors: For a closed point p of a regular surface S over a field k with two-dimensional local ring, the conormal sheaf I/I2=mp/mp2 is free of rank two over κ(p) and the exceptional divisor is isomorphic to the projective line Pκ(p)1 over κ(p); the corollary identifies it with the projective bundle PZ(I/I2) in the quotient convention.

[F3]

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 A[(x,y)/x] and A[(x,y)/y] with inverse ratio overlap, where x,y are regular parameters and form a regular sequence in the domain A.

[F4]

Projective bundle in the quotient convention: The projective bundle of a finite locally free module E of rank r over S is the relative Proj PS(E)=Proj⁡SSym⁡(E)→S, in the quotient convention in which an S-morphism T→PS(E) amounts to an isomorphism class of surjections g∗E→L with L invertible on T.

[F5]

The twist index on the projective line is an isomorphism invariant: For the twists of the relative projective line over a field, OPk1(n)≅OPk1(m) if and only if n=m; hence the twist index attached to an invertible sheaf on Pk1 is an isomorphism invariant.

[F6]

Twisting sheaf on Proj: For a commutative nonnegatively graded ring S, the twisting sheaf on Proj⁡S is OX(n)=S(n)~, the associated sheaf of the shifted graded module, with Γ(D+(f),OX(n))=S(n)(f) on standard opens.

[F7]

The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier: For the blowup of a quasi-coherent ideal sheaf I of finite type with exceptional subscheme E=V(IOBl⁡): O(1) is invertible, the inverse-image ideal IOBl⁡ is invertible and equals O(1), and the exceptional divisor is effective Cartier with OBl⁡(−E)=IOBl⁡=O(1) and OBl⁡(E)=O(−1).

Proof

1.1A1F1F4F7

The inverse-image center ideal IOS′ is the invertible sheaf OS′(−E)≅O(1), and its dual is OS′(E)≅O(−1). The exceptional curve is the projective bundle of the rank-two cotangent space, hence becomes Pκ(p)1 on choosing a basis.

2.1F3F6F7step 1.1

Use regular parameters x,y. If xg=(xT−y)h, reduction modulo x forces h=xh1, and cancellation gives g=(xT−y)h1; hence the incidence quotient has no x-power torsion and is the x-chart. Symmetrically this proves the y-chart presentation. Thus use the charts A[T]/(xT−y) and A[U]/(yU−x), with U=T−1. The exceptional ideal has frames x and y on them. On restriction to E, these give frames e0=[x] and e1=[y] of IE/IE2=OE(−E); they are not functions x∣E or y∣E, which are zero. Their transition is e1=Te0, exactly the transition of the positive twist on Pκ(p)1. Thus OE(−E)≅O(1) and dualizing gives OE(E)≅O(−1).

3.1F5step 2.1∎

These twists have degrees 1 and −1 over κ(p), respectively. The uniqueness-of-twists lemma makes their indices isomorphism invariants. If p is rational, κ(p)=k and the same statements specialize to the asserted twists over k; no smoothness assumption on S 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.

LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

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 B be a commutative ring with 1, X=Spec⁡B[x,y]=AB2 and I=(x,y)⊆B[x,y]. With homogeneous coordinates u,v on PB1, the blowup Bl⁡IX of Blowup of a scheme along an ideal sheaf is V(xv−yu)⊆X×BPB1, and the projection is its structural morphism. Its two standard charts are Spec⁡B[x,T] with y=xT and Spec⁡B[y,U] with x=yU; their overlap inverts T and U with TU=1. The exceptional subscheme is V(x) and V(y) respectively and is isomorphic to PB1. In particular this holds over any field B=k.

Facts & Assumptions

Given: A commutative ring B, the polynomial ring B[x,y], the ideal I=(x,y), the Rees algebra R(I)=⨁n≥0Intn (Rees algebra sheaf of a finite type ideal), the blowup Bl⁡ISpec⁡B[x,y]=Proj⁡B[x,y]R(I) (Blowup of a scheme along an ideal sheaf), and the projective line PB1 with standard charts U0=Spec⁡B[t0], U1=Spec⁡B[t1] glued by t0↦1/t1 (Relative projective space from standard charts).

[F1]

Affine blowup standard charts and overlaps: For I=(f0,…,fr) the standard opens D+(fit)=Spec⁡A[I/fi] cover Bl⁡ISpec⁡A, with overlap identifications given by the ratios (fjt)/(fit).

[F2]

Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For a∈I the affine blowup algebra A[I/a]=(R(I))(a) has IA[I/a]=aA[I/a] with a a nonzerodivisor and (A[I/a])a=Aa, and is independent of the chosen generating set; for I=(a,a1,…,ar) the surjection A[x1,…,xr]/(axi−ai)→A[I/a], xi↦ai/a, has kernel the a-power torsion.

[F3]

Relative projective space from standard charts, Projective space is Proj of a polynomial ring: PB1 is the gluing of its two standard charts, and for every commutative ring A there is a canonical isomorphism Proj⁡A[u,v]≅PA1, natural in A; in particular PB[x,y]1≅X×BPB1 over Spec⁡B.

[F4]

Closed subschemes of projective space and saturated ideals: A homogeneous element f of A[u,v] of degree d>0 cuts out the closed subscheme V+(f)=Proj⁡(A[u,v]/(f))↪PA1 (Closed immersions of schemes), whose intersection with the standard open D+(u) is Spec⁡(A[u,v](u)/(f/ud)) (Standard opens of Proj).

[F5]

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

1.1F1

The graded B[x,y]-algebra homomorphism B[x,y][u,v]→R(I) with u↦xt, v↦yt is surjective, since In=(x,y)n is generated by the monomials xn−iyi, and its kernel is (xv−yu): the degree-zero kernel is zero, and for a homogeneous F=∑i=0nciun−ivi with n≥1 and F(x,y)=0, reduction modulo x gives cnyn≡0(modx), so cn=xd because y is a nonzerodivisor modulo x in the polynomial ring B[x,y]; then F−dvn−1(xv−yu)=uG with G homogeneous of degree n−1, and 0=F(x,y)=xG(x,y) forces G(x,y)=0 because x is a nonzerodivisor, so induction on n gives F∈(xv−yu); conversely xv−yu↦0, and thus R(I)≅B[x,y][u,v]/(xv−yu) as graded B[x,y]-algebras.

2.1F1F3F4step 1.1

Consequently Bl⁡IX=Proj⁡B[x,y](B[x,y][u,v]/(xv−yu)), and by [F4] with A=B[x,y] this is the closed subscheme V(xv−yu) of PB[x,y]1≅X×BPB1 of [F3]; under this identification the structural morphism of the blowup is the projection to X, and the standard charts of [F1] are D+(u)∩V(xv−yu) and D+(v)∩V(xv−yu).

3.1F4step 2.1

Computing the two charts by [F4]: on D+(u) the dehomogenised equation is x(v/u)−y=0 in B[x,y,v/u], so the chart ring is B[x,T] with T=v/u and y=xT; on D+(v) it is the quotient of B[x,y,u/v] by y(u/v)−x, that is B[y,U] with U=u/v and x=yU. On the overlap D+(uv) both u and v are invertible, so T=v/u and U=u/v are mutually inverse units, TU=1, and the two chart rings agree on the overlap as localisations B[x,T]T and B[y,U]U under T↦U−1.

4.1F2F3F5step 3.1

By [F5], the exceptional subscheme is the inverse image of the origin V(x,y); by [F2] its ideal on the first chart is IB[x,T]=(x,xT)=(x), so E∩D+(u)=V(x)=Spec⁡B[T], and on the second chart it is IB[y,U]=(yU,y)=(y), so E∩D+(v)=V(y)=Spec⁡B[U]. On the overlap the rings B[T]T=B[T,T−1] and B[U]U=B[U,U−1] are identified by T↦U−1, which is exactly the gluing datum of the standard charts U0,U1 of PB1 in [F3]; hence E≅PB1.

5.1F3step 2.1step 3.1step 4.1∎

Assembling steps 2.1, 3.1 and 4.1: the blowup is V(xv−yu)⊆X×BPB1 with the projection as structural morphism, its charts are Spec⁡B[x,T] with y=xT and Spec⁡B[y,U] with x=yU glued by TU=1, and the exceptional subscheme is PB1; no hypothesis on B beyond commutativity was used, so the statement specialises to any field B=k.

Remarks

  • The proof uses only that x is a nonzerodivisor of B[x,y] and that y is a nonzerodivisor modulo x; neither B a domain nor B a field is needed, and the zero ring gives the empty blowup on both sides.
  • The equation xv−yu=0 is the incidence relation of the point (x,y) and the line [u:v], 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.
TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

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 k be a field and let C=V(f)⊆Ak2 be a reduced plane curve through the origin with multiplicity m=mult⁡0(C)≥1 and leading form fm (the degree-m part of f). Let C′ be the strict transform of C under the blowup of the origin and let E=Pk1 be the exceptional curve. Then C′∩E is the closed subscheme of E cut out by the form fm(u,v): its closed points correspond to the irreducible factors of fm, a factor of multiplicity s contributes with multiplicity s, and the underlying 0-cycle has total degree m over k. Over a field over which fm splits, these points are exactly the tangent directions of C at the origin, with multiplicity. If fm is squarefree (in particular for a node, or for a cusp with reduced tangent cone) the strict transform meets E transversally at each of these points.

Facts & Assumptions

Given: A field k, a reduced plane curve C=V(f)⊆Ak2=Spec⁡k[x,y] through the origin with m=mult⁡0(f)≥1 and leading form fm, the blowup π ⁣:S′→Ak2 of the origin with exceptional curve E and its two standard charts, and the strict transform C′ of C.

[F1]

Multiplicity of a hypersurface equation at a rational point: The expansion of f about the origin is f=fm+(terms of degree>m) with fm≠0 homogeneous of degree m; equivalently f has order m in the local ring at the origin.

[F2]

The blowup of the plane at the origin as an incidence scheme: The blowup is V(xv−yu)⊆Ak2×Pk1 with homogeneous coordinates (u:v) on the second factor; its charts are Spec⁡k[x,s] with y=xs and E=V(x), and Spec⁡k[t,y] with x=yt and E=V(y), glued by inverting s and t with st=1; the exceptional curve is isomorphic to Pk1.

[F3]

Strict-transform equation by removing the maximal exceptional power: In the first chart f(x,xs)=xmg(x,s) with g(0,s)=fm(1,s)≠0, and C′ is cut out there by g=0; symmetrically f(yt,y)=ymh(t,y) with h(t,0)=fm(t,1)≠0, and C′ is cut out in the second chart by h=0.

[F4]

Total transform equals strict transform plus multiplicity times the exceptional divisor: The total transform is π∗C=C′+mE, and C′ meets E in the 0-cycle of degree m cut out by the degree-m leading form of a local equation of C at the origin; the degree over k is m [κ(0):k]=m, because the origin is k-rational.

[F5]

All initial forms define the tangent cone and The scheme-theoretic tangent cone at a point: For I=(f) the initial ideal is in⁡(I)=(fm), so the tangent cone of C at the origin is Cone⁡0(C)=Spec⁡(k[u,v]/(fm)), and the points of its projectivization are the tangent directions of C at the origin.

[F6]

The exceptional divisor is the projectivized normal cone and Effective cartier divisor: E is an effective Cartier divisor on S′, and E is the projectivized normal cone of the origin in the plane, here Pk1=Proj⁡k[u,v]; its standard charts are Spec⁡k[s] with s=v/u and Spec⁡k[t] with t=u/v (Standard opens of Proj, Projective space is Proj of a polynomial ring).

[F7]

Strict transform of a closed subscheme: C′ is a reduced curve, cut out on the charts by the saturated ideals of [F3], and it has no component equal to E because its components dominate components of C while E maps to the origin.

[F8]

Contact order of two regular components at a point: For two distinct reduced curves with no common component meeting at a closed point q, the contact order nq is a finite length, and nq=1 if and only if the curves meet transversally at q, that is, both are regular at q with distinct tangent lines; the length is computed from local equations by nq=length⁡OY,q(OY,q/zOY,q).

Proof

1.1F1F2F3

Write f=fm+fm+1+⋯ as in [F1]. By [F2] the two charts cover S′ and meet in the locus st=1, and by [F3] the strict transform is cut out in them by the equations g=0 and h=0, where g(0,s)=fm(1,s) and h(t,0)=fm(t,1); thus C′∩E is computed in the first chart by the pair of equations x=0, g=0 and in the second by y=0, h=0.

1.2F2F3F6algebra

In the first chart C′∩E is Spec⁡k[s]/(g(0,s))=Spec⁡k[s]/(fm(1,s)), and in the second chart it is Spec⁡k[t]/(fm(t,1)). These are exactly the standard charts D+(u) and D+(v) of the closed subscheme Z=Proj⁡(k[U,V]/(fm))⊆Pk1=Proj⁡k[U,V]: on D+(u) one has s=v/u and the defining equation fm(1,s)=0, and on D+(v) one has t=u/v and fm(t,1)=0, with the overlap inverting s and t. Hence C′∩E≅Z as closed subschemes of E, the closed subscheme cut out by the form fm(u,v).

2.1F2F5step 1.2algebra

By [F5] the ring k[U,V]/(fm) is the tangent cone ring of C at the origin, so Z=Proj⁡(Cone⁡0(C)) is the projectivized tangent cone. Its closed points are the homogeneous prime ideals of k[U,V] containing fm and not the irrelevant ideal, that is, the irreducible factors of fm; writing fm=∏ipisi with pi irreducible homogeneous of degree di, the point qi defined by pi has residue field of degree di over k. For a point qi lying in the first chart, that is pi≠U, the local ring of Z at qi is k[s](pi(1,s))/(fm(1,s)), whose length as an OZ,qi-module is the exponent si; the point at infinity is computed in the second chart with the roles of U and V exchanged. So a factor of multiplicity s contributes to C′∩E with multiplicity s. Over a splitting field of fm the factors pi are linear forms and the points qi are exactly the tangent directions of C at the origin, with these multiplicities.

3.1F4step 2.1

The underlying 0-cycle of C′∩E has total degree m over k: by [F4] the intersection is the 0-cycle of degree m cut out by the leading form, the origin being k-rational. Equivalently, the degrees of the points qi weighted by the multiplicities si add up to m, matching the computation in the two charts of step 1.2.

3.2F7F8step 1.2step 2.1

Transversality in the squarefree case. Suppose fm 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 q be a closed point of C′∩E lying in the first chart and let p(s) be the corresponding irreducible factor of fm(1,s), which is simple; the case of a point lying only in the second chart is symmetric. Write g(x,s)=p(s)u(s)+xw(x,s) with u(s) a unit at p, which is possible because g(0,s)=fm(1,s)=p(s)u(s) and p is simple. In the local ring OS′,q with maximal ideal m=(x,p(s)), the equation g lies in m∖m2 and the quotient OC′,q=OS′,q/(g) has maximal ideal generated by x, because p(s)u(s)≡−xw(x,s) modulo g and u is a unit; hence OC′,q is a regular one-dimensional local ring and nq(C′,E)=length⁡OC′,q(OC′,q/xOC′,q)=1. By [F8] contact order one is exactly transversality at q, so C′ and E meet transversally at every point of C′∩E when fm is squarefree.

4.1step 1.2step 2.1step 3.1step 3.2∎

Steps 1.2, 2.1, 3.1 and 3.2 prove all the assertions: C′∩E is the closed subscheme of E=Pk1 cut out by the form fm(u,v), its closed points are the irreducible factors of fm with the corresponding multiplicities, the underlying 0-cycle has total degree m over k, the points are the tangent directions of C at the origin with multiplicity over a splitting field, and for squarefree fm 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 m≥2 whose leading form is a product of m distinct linear forms is replaced by m points at which the strict transform meets the new exceptional curve transversally.
  • For a cusp y2=x3 the leading form y2 is not squarefree, the strict transform meets E at the single point [1:0] with multiplicity two; its first strict transform has equation s2=x and is already regular, but tangent to E; 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.
LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

Strict-transform equation by removing the maximal exceptional power

Statement

Let k be a field, let 0 be the origin of Ak2=Spec⁡k[x,y] and let f∈k[x,y] be a reduced local equation of a curve through 0 of multiplicity m=mult⁡0(f)≥1 (Multiplicity of a hypersurface equation at a rational point). In the chart with coordinates (x,s) where y=xs, the total transform equation is f(x,xs)=xmg(x,s) with g(0,s) the leading form evaluated at (1,s), and the strict transform is defined by g=0; symmetrically in the other chart. In particular the strict transform has multiplicity at most m at any point of the exceptional curve E, and its equation is obtained from the total transform by dividing by the largest power of the exceptional equation, which is exactly the m-th power.

Facts & Assumptions

Given: The plane Ak2=Spec⁡k[x,y], the origin 0, a reduced local equation f∈k[x,y] with m=mult⁡0(f) (Multiplicity of a hypersurface equation at a rational point), the blowup π ⁣:S′→Ak2 of the origin with exceptional curve E and its two standard charts Spec⁡k[x,s]=Spec⁡k[x,y][y/x] and Spec⁡k[u,y]=Spec⁡k[x,y][x/y] (The blowup of the plane at the origin as an incidence scheme), and the strict transform C′ of the curve C=V(f) (Strict transform of a closed subscheme).

[F1]

Multiplicity of a hypersurface equation at a rational point: Expanding f(t1,t2)=∑d≥0fd(t1,t2) into homogeneous parts about the origin, the multiplicity m is the least d with fd≠0; equivalently fd∈k[x,y], fd≠0, and f=fm+(terms of degree>m) with fm the leading form.

[F2]

The blowup of the plane at the origin as an incidence scheme: The blowup of the origin is V(xv−yu)⊆Ak2×Pk1; in the chart Spec⁡k[x,s] with s=v/u one has y=xs and E=V(x); in the chart Spec⁡k[u,y] with u=u/v one has x=yu and E=V(y); the overlap inverts s and u with su=1.

[F3]

Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: On the affine chart cut by the element x of the ideal (x,y), the affine blowup algebra is k[x,y][(x,y)/x]=k[x,y][s]/(xs−y)=k[x,s], with (x,y)k[x,s]=xk[x,s] and x a nonzerodivisor; the two charts cover the blowup.

[F4]

Total transform equals strict transform plus multiplicity times the exceptional divisor: For a reduced curve C through the origin with multiplicity m, π∗C=C′+mE 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 m-th power of an exceptional equation.

Proof

1.1F1

Write the homogeneous decomposition of f about the origin as f=fm+fm+1+⋯, with fm≠0 the leading form by [F1]. Substituting y=xs gives f(x,xs)=∑d≥mxdfd(1,s)=xm(fm(1,s)+xfm+1(1,s)+x2fm+2(1,s)+⋯ )=xmg(x,s), where g(x,s):=∑d≥mxd−mfd(1,s)∈k[x,s].

2.1F2F3step 1.1

The constant term in x of g is fm(1,s), which is nonzero: the distinct degree-m monomials xm−jyj become the distinct monomials sj, so their nonzero coefficient vector cannot vanish. Consequently g(0,s)=fm(1,s)≠0, and the exact power of x dividing f(x,xs) is m; since E=V(x) on this chart by [F3], the equation of the total transform on the chart is xmg with g not divisible by x.

3.1F3F4step 1.1step 2.1

By [F4] the total transform is π∗C=C′+mE, and in the chart its local equation is the product of a local equation of C′ with the m-th power xm of the exceptional equation; by step 2.1 the local equation of the total transform is xmg with x∤g, so the strict transform is cut out by g=0 in this chart, as claimed. The same computation with the roles of x and y interchanged, using the second chart with x=yu, gives the symmetric description f(yu,y)=ymg~(u,y) with g~(u,0)=fm(u,1) and strict transform g~=0; 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.

3.2F1F2step 2.1

A closed point q of E in the first chart corresponds to an irreducible polynomial p(s), and its ambient maximal ideal is (x,p(s)). Let e be the exponent of p in the nonzero polynomial fm(1,s). Its image in k[s](p) lies in (p)e∖(p)e+1. If g belonged to (x,p)e+1 in the local chart ring, reduction modulo x would put that polynomial in (p)e+1, a contradiction. Thus the order of g is at most e≤deg⁡fm(1,s)≤m. Points of E 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 E, g is a unit as well.

4.1step 3.1step 3.2∎

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 xm in the first chart and ym in the second, with the leading form evaluated at (1,s) (respectively (u,1)) as the value along E, and the strict transform has multiplicity at most m at every point of E.

Remarks

  • The result is the chart-level form of the standard fact that the strict transform of a plane curve of multiplicity m 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 C away from the origin is used; only the finite multiplicity m enters.
TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Normalization of a reduced curve is finite

Statement

Let k be a field and let C be a reduced k-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 ν ⁣:Cnu→C with the following properties:

  1. Cnu is regular of dimension one (equivalently normal: all local rings are discrete valuation rings or fields);
  2. ν is an isomorphism over the regular locus of C and is birational on each irreducible component;
  3. on an affine chart Spec⁡A of C, ν is the morphism corresponding to the integral closure of A in its total ring of fractions;
  4. ν is unique up to a unique C-isomorphism, and ν∗OCnu is a coherent OC-module.

No separability or perfectness hypothesis on k is needed.

Facts & Assumptions

Given: A field k and a reduced finite-type k-scheme C of pure dimension one. The Axiom of Choice is inherited from the finiteness suppliers (The Axiom of Choice).

[F1]

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.

[F3]

Finite normalization commutes with principal localization: If B is the integral closure of a domain A in its fraction field, then Bf is the integral closure of Af in that field, and finiteness is preserved.

[F4]

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.

[F5]

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.

[F6]

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.

[F7]

The reduction of a scheme and Integral schemes: Each irreducible component with its reduced structure is integral.

[F8]

total ring of fractions: Q(A) is the localization of A at its nonzerodivisors; for a domain it is its fraction field.

[F9]

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.

[F10]

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.

[F11]

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.

[F12]

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.

[F13]

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

1.1F1F2F4F6F7

Since C is quasi-compact and its affine coordinate rings are Noetherian, it is Noetherian. Its finitely many reduced irreducible components Ci are integral finite-type curves of dimension one. Choose a finite affine cover Uij=Spec⁡Aij of each component and identify all their fraction fields with its generic field Ki. Let Bij be the integral closure of Aij in Ki. These are finite Noetherian normal domains.

2.1F2F3F5F10F11step 1.1

The schemes Spec⁡Bij glue over Ci, even if Ci is nonseparated. Here are the overlap identifications explicitly. For a point in Uij∩Uil choose distinguished neighborhoods D(f)⊂Uij and D(g)⊂Uil contained in that intersection. On D(f) write g=c/fr, and on D(g) write f=d/gs. Their common intersection is the distinguished open D(fc) in Uij and D(gd) in Uil; both coordinate rings are the same subring of Ki, since they are the sections of the same open subscheme. Their integral closures are therefore the same subring of Ki, namely (Bij)fc=(Bil)gd. These common distinguished opens cover the overlap. Their identities glue, and the triple-overlap identities satisfy the cocycle condition because all are identities inside Ki. Thus scheme and morphism gluing produce an integral normal scheme Cinu and a morphism νi:Cinu→Ci, with inverse image of Uij equal to Spec⁡Bij. It is finite by the affine-cover criterion. Its generic field is Ki, and its dimension is one by integral dimension preservation on the affine cover.

3.1F1F2F6F9F10step 2.1

Set Cnu=⨆iCinu and compose each νi with the reduced closed immersion Ci↪C 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 U=Spec⁡A⊂C, let p1,…,pm be its minimal primes and Ai=A/pi. The corresponding component inverse images are affine with finite coordinate domains Di lying in Frac⁡(Ai), normal and birational over Ai. Consequently Di is its integral closure Bi: every element of Di is integral over Ai, and every element of the fraction field integral over Ai is also integral over Di, hence belongs to Di. Therefore ν−1(U)=Spec⁡B where B=∏iBi. Each factor has finitely many Ai-module generators; placing these in their separate coordinates gives finitely many A-module generators of B. This uses no Chinese-remainder decomposition of A.

4.1F6F8step 3.1

We identify Q(A) correctly. Distinct minimal primes are incomparable. For each i choose aij∈pj∖pi for j≠i and put gi=∏j≠iaij; for one minimal prime put g1=1. Its image is nonzero in Ai and zero in every other Aj. An element s∈A is a nonzerodivisor exactly when its image is nonzero in every Ai: the forward implication follows since otherwise sgi=0 with gi≠0, and the reverse follows from the injection A↪∏iAi. Hence localization gives an injection Q(A)↪∏iFrac⁡(Ai). For any tuple ui/vi in this product, choose lifts ai,bi∈A of ui,vi, and set a=∑igiai and s=∑igibi. The image of s in Ai is the nonzero product givi, so s is a nonzerodivisor, and a/s has the prescribed tuple of images. This proves surjectivity.

4.2F11F12step 2.1step 3.1

Each Cinu 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 Ci removes the other branches.

4.3F13step 3.1

The affine description gives a finite module B on each affine target chart. Thus ν∗OCnu is quasi-coherent of finite type, hence coherent on the locally Noetherian scheme C.

5.1F9step 3.1step 4.1

Under that identification B=∏iBi is the integral closure of A in Q(A). Since B is module-finite over A, every b∈B satisfies a monic equation over A: multiplication by b on a finite generating family and the determinant trick give a monic polynomial annihilating B, hence annihilating 1. Conversely a tuple integral over A has its ith coordinate integral over Ai, so that coordinate belongs to Bi. This proves precisely the affine description in part (3).

6.1F3F6F9F12step 3.1step 5.1

At a regular point x of C, 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 x. Remove the other finitely many closed components to obtain a neighborhood with integral coordinate rings. For an affine neighborhood Spec⁡A therein, localization of its integral closure at the prime of x equals Ax. Indeed any element integral over Ax 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 A. The reverse inclusion is immediate. As B/A is a finite module, its zero stalk at x implies it vanishes on a distinguished neighborhood of x (annihilate each of finitely many generators with an element outside the prime). On that neighborhood A=B, so ν is an isomorphism. These neighborhoods cover the regular locus.

7.1F5F8step 2.1step 5.1step 4.3∎

Any other morphism with the stated properties has, by part (3), the same integral-closure algebra B⊂Q(A) 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 C-isomorphism. It is unique: an A-algebra automorphism of B localizes to an automorphism of Q(A) fixing A, hence fixing every fraction a/s. Here localization of B at the nonzerodivisors of A equals Q(A), since A⊂B⊂Q(A). Since B embeds in Q(A), that automorphism is already the identity on B. 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 k.

DefinitionDefinition: Literature-sourcedProof: Not applicablejudge pass (gpt-6.1-sol)Open item page →

Normalization defect delta of a reduced curve

Definition

Assume the Axiom of Choice (The Axiom of Choice). Let k be a field and let C be a reduced curve of finite type over k: a k-scheme of finite type with C=Cred (The reduction of a scheme) and pure dimension one, proper over k in the applications. Let

ν ⁣:C~⟶C

be the finite normalization of Normalization of a reduced curve is finite, and let

QC:=coker⁡(OC⟶ν∗OC~)

be the normalization defect sheaf, a coherent OC-module (Coherent module sheaves). The normalization defect of C is

δk(C):=dim⁡kH0(C,QC),

the k-dimension of its space of global sections, a nonnegative integer.

The following comments record why the definition is meaningful. Since ν is finite, ν∗OC~ is a coherent OC-module and so is its quotient QC; 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 QC vanish exactly at the points p at which OC,p→(ν∗OC~)p is an isomorphism, so QC is supported on the non-normal locus of C: a closed subset of the Noetherian one-dimensional space C containing no generic point of C, because the local ring of the reduced curve C 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 H0(C,QC) is the direct sum of the finitely many stalk contributions QC,p over the support of QC, each of which is a finite-dimensional k-vector space because QC,p has finite length over the Noetherian local ring OC,p and the residue field κ(p) is finite over k. Thus δk(C) is a well-defined nonnegative integer. When C is proper over k, the same finiteness is the statement of Euler characteristic of a coherent sheaf for the coherent sheaf QC.

Remarks

  • The definition uses only the finite normalization ν, its pushforward ν∗OC~, and H0 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 χ(OC~)−χ(OC) and the weighted sum of local lengths are proved later on this page, and are not part of the definition.
LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

The normalization defect is an Euler characteristic and a weighted sum of local lengths

Statement

Assume the Axiom of Choice. Let k be a field, let C be a reduced proper curve over k with normalization ν ⁣:C~→C and defect sheaf QC. Then: (1) Hq(C,QC)=0 for q≥1, so δk(C)=χk(C,QC)=χk(OC~)−χk(OC) (using additivity of the Euler characteristic in the normalization sequence 0→OC→ν∗OC~→QC→0 and χ(C,ν∗O)=χ(C~,O)); (2) δk(C)=∑ over closed points p of [κ(p):k] times the length of QC,p over OC,p, a finite sum over the finite non-normal locus; (3) δk(C)≥0, and δk(C)=0 if and only if C is regular, in which case the irreducible components of C are disjoint and normal.

Facts & Assumptions

Given: A field k, a reduced proper curve C over k (reduced in the sense of (The reduction of a scheme), pure dimension one), its finite normalization ν ⁣:C~→C of (Normalization of a reduced curve is finite), the defect sheaf QC=coker⁡(OC→ν∗OC~) and the defect δk(C)=dim⁡kH0(C,QC) of (Normalization defect delta of a reduced curve).

[F1]

Normalization defect delta of a reduced curve: QC=coker⁡(OC→ν∗OC~) is a coherent OC-module supported on the finite non-normal locus, δk(C)=dim⁡kH0(C,QC), and H0(C,QC) is the direct sum of the finitely many stalk contributions QC,p over the support.

[F2]

Normalization of a reduced curve is finite: ν ⁣:C~→C is finite, C~ is regular of dimension one, on an affine chart ν corresponds to the inclusion of A into its integral closure in the total ring of fractions, ν is unique up to a unique C-isomorphism, and ν∗OC~ is coherent.

[F3]

Euler characteristic is additive in short exact sequences: For a short exact sequence 0→F′→F→F′′→0 of coherent sheaves on a scheme proper over k, χ(X,F)=χ(X,F′)+χ(X,F′′).

[F4]

Euler characteristic of a coherent sheaf: For X proper over k and F coherent, χ(X,F)=∑q≥0(−1)qdim⁡kHq(X,F) is a finite alternating sum of finite k-dimensions.

[F5]

Affine pushforward is compatible with sheaf cohomology: For an affine morphism f ⁣:X→S and a quasi-coherent OX-module F, the natural maps Hq(S,f∗F)→Hq(X,F) are isomorphisms for all q≥0.

[F6]

Composition series and length of a module: A composition series of a module is a finite chain with simple successive factors; the length ℓR(M) is the number of factors, is independent of the series, and the zero module has length 0.

[F7]

Module length is additive in short exact sequences: For a short exact sequence 0→N→M→Q→0, M has finite length if and only if N and Q do, and then ℓR(M)=ℓR(N)+ℓR(Q).

[F8]

A skyscraper sheaf of abelian groups at a point, Flasque sheaf and Flasque abelian sheaves are Γ-acyclic: A skyscraper sheaf ix,∗A on a topological space X is flasque, because its restriction maps are either identities or zero maps; hence, under the Axiom of Choice inherited from that acyclicity theorem, Hq(X,ix,∗A)=0 for every q>0.

[F9]

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.

[F10]

Valuation rings are integrally closed: Every valuation ring is an integrally closed domain; in particular every discrete valuation ring is an integrally closed domain.

[F11]

normal noetherian ring: A commutative Noetherian ring is normal if every prime localization is an integrally closed domain.

Proof

1.1F1F2F3

The normalization sequence 0→OC→ν∗OC~→QC→0 is short exact: QC is the cokernel by definition [F1], and OC→ν∗OC~ is injective because on an affine chart it is the inclusion of A into its integral closure in the total ring of fractions [F2]. All three terms are coherent (OC, ν∗OC~ by [F2], and QC by [F1]), so the sequence satisfies the hypotheses of [F3].

1.2F2F4F5

One has χ(C,ν∗OC~)=χ(C~,OC~): the finite morphism ν is affine by [F2] and its inverse image of an affine open is affine, so [F5] identifies Hq(C,ν∗OC~) with Hq(C~,OC~) for every q≥0, and the two alternating sums of [F4] agree.

1.3F1F8

Let F be the finite closed support of QC. The germ maps define a sheaf map QC→⨁p∈Fip,∗QC,p, where each summand is the skyscraper of the underlying abelian group. It is an isomorphism on stalks: at p∈F its p-component is the identity and the other summands have zero stalk since their points are closed; outside F 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 Hq(C,QC)=0 for q≥1 and also proves directly the degree-zero stalk sum used below.

2.1F3F4step 1.2step 1.3

Consequently δk(C)=dim⁡kH0(C,QC)=χ(C,QC) by [F4], and applying [F3] to the sequence of step 1.1 gives χ(C,ν∗OC~)=χ(C,OC)+χ(C,QC), so the two identities combined with step 1.2 yield δk(C)=χ(C~,OC~)−χ(C,OC); this proves (1).

3.1F1F6F7step 2.1

For the length formula of (2): by [F1], H0(C,QC) is the direct sum of the stalks QC,p over the finite non-normal locus, and each QC,p has finite length over the Noetherian local ring OC,p; fixing a composition series [F6] with successive quotients κ(p) and using additivity of k-dimension in short exact sequences together with [F7], one gets dim⁡kQC,p=ℓOC,p(QC,p)⋅[κ(p):k]. Summing gives δk(C)=∑p[κ(p):k] ℓOC,p(QC,p) over the closed points of the finite non-normal locus.

4.1F2F9F10F11step 3.1∎

For (3): the sum in step 3.1 has nonnegative terms, so δk(C)≥0; if δk(C)=0 then every local length vanishes, hence QC=0 and the injective map OC→ν∗OC~ of step 1.1 is an isomorphism, so the affine morphism ν is an isomorphism and C≅C~ is regular of dimension one by [F2]. Conversely, if C is regular, then each one-dimensional local ring OC,p is a discrete valuation ring by [F9], hence an integrally closed domain by [F10], and the zero-dimensional stalks are fields, so C is normal in the sense of [F11]; the identity C→C 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 C, whence QC=0 and δk(C)=0. Finally, in the regular case every local ring is a discrete valuation ring or a field, hence a domain, so each point of C lies in a unique irreducible component and distinct components are disjoint; a component, having everywhere the local ring of C, is itself regular and hence normal.

LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

Normalization is unchanged under finite birational maps of reduced curves

Statement

Assume the Axiom of Choice. Let f ⁣:X→Y be a finite birational morphism of reduced curves of finite type over a field k (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 f induces an isomorphism of normalizations X~→Y~ over Y; equivalently, the normalizations of X and Y are canonically identified with the same finite birational model of Y.

Facts & Assumptions

Given: A field k, reduced curves X,Y of finite type over k (pure dimension one, reduced), and a finite birational morphism f ⁣:X→Y, where birational means that f 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 X~→X and Y~→Y be the finite normalizations of (Normalization of a reduced curve is finite).

[F1]

Normalization of a reduced curve is finite: For a reduced k-scheme C of finite type and pure dimension one there is a finite morphism ν ⁣:C~→C with C~ regular of dimension one, ν an isomorphism over the regular locus, ν corresponding on an affine chart Spec⁡A to the integral closure of A in its total ring of fractions, and ν unique up to a unique C-isomorphism.

[F2]

Finite morphisms of schemes: A morphism f ⁣:X→S is finite if for every affine open U=Spec⁡A⊆S its inverse image is affine, f−1(U)=Spec⁡B, and B is module-finite over A.

[F3]

Finite morphisms are integral and universally closed: For a finite morphism, every ring map A→B induced on an affine chart is integral.

[F4]

Birational morphisms restrict to isomorphisms between principal affine opens: For integral k-schemes of finite type and a birational morphism g ⁣:X→Y that is locally of finite type, there are nonempty affine opens U=Spec⁡A⊆X, V=Spec⁡B⊆Y with g(U)⊆V and an element σ∈B∖{0} such that the localised ring map Bσ→Aσ is an isomorphism and g restricts to an isomorphism g−1(D(σ))∩U→D(σ).

[F5]

Integral closure in an extension ring and integrally closed domains: For a domain A with fraction field K, the integral closure of A in K is the set of elements of K integral over A; A is integrally closed when it contains every such element.

[F6]

Integral closure is unchanged across an integral intermediate domain: For domains A⊆B⊆L with B integral over A, an element z∈L is integral over A if and only if it is integral over B.

[F7]

Birational morphisms of integral finite-type schemes: For integral k-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

1.1givenF2F7

By the stated birationality convention, each reduced component Xi corresponds to exactly one reduced component Yj, with the same generic field. The restriction fi:Xi→Yj exists: the ideal of Yj pulls back to zero on the generic point of the reduced integral scheme Xi, hence to zero everywhere on Xi. It is finite, since on affine charts its coordinate algebra is a quotient of the finite A-algebra for f, and the A-action factors through the quotient defining Yj. Thus fi is finite and birational in the integral sense of [F7].

2.1F1F5step 1.1algebra

The affine normalization construction of [F1] separates the reduced components, so X~=∐iX~i and Y~=∐jY~j. Indeed for a reduced Noetherian affine curve with minimal primes pi, its total ring of fractions is ∏iFrac⁡(A/pi), as established in the construction of [F1]. Its integral closure is ∏iA/pi‾: projection of a monic equation proves one inclusion; conversely, lift a monic equation for each coordinate to A[T] 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 fi.

3.1F1F2F3F4F5step 2.1

Fix i,j and an affine open U=Spec⁡A⊆Yj with fi−1(U)=Spec⁡B; then A and B are domains of dimension one, finite type over k, the map A→B is injective, module-finite by [F2] and integral by [F3], and the birationality of fi gives Frac⁡(A)=Frac⁡(B) as subfields of the common function field K(Yj)=K(Xi). Indeed [F4] applied to fi supplies a nonempty affine open of Yj 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 Y~j over U is the spectrum of the integral closure A‾ of A in Frac⁡(A) and X~i over fi−1(U) is the spectrum of the integral closure B‾ of B in Frac⁡(B) ([F5]).

4.1F6step 3.1

In the situation of step 3.1 one has A‾=B‾ as subrings of the common field Frac⁡(A)=Frac⁡(B): since A⊆B⊆Frac⁡(B) and B is integral over A, [F6] says that an element is integral over A exactly when it is integral over B. Hence the affine normalizations agree canonically over U, and the identification is the identity on the common function field.

5.1F1step 4.1∎

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 X~i→Y~j over Yj; assembling over the components by step 2.1 gives the isomorphism X~→Y~ over Y, and the uniqueness clause of [F1] makes it the canonical identification of the two normalizations with the same finite birational model of Y.

LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

Euler characteristic and normalization defect under a point blowup

Statement

Assume the Axiom of Choice. Let k be a field, let S be a regular surface proper over k with an ample invertible sheaf, let C⊆S be a reduced curve (an effective Cartier divisor), let p be a closed point of S with residue degree r=[κ(p):k] and let m=ord⁡mp(f)≥1 be the order of a local equation f of C in OS,p, namely f∈mpm∖mpm+1. This is the intrinsic multiplicity, agreeing with Multiplicity of a hypersurface equation at a rational point in its affine rational-point setting. Let π ⁣:S′→S be the blowup of p with exceptional curve E and let C′ be the strict transform of C. Then π∗C=C′+mE as effective Cartier divisors on S′, and writing χk(OX):=χk(X,OX) for the Euler characteristic of the structure sheaf (Euler characteristic of a coherent sheaf), one has χk(OC′)=χk(OC)+r(m2). Consequently, for the normalization defect δk of Normalization defect delta of a reduced curve, δk(C′)=δk(C)−r(m2).

Facts & Assumptions

Given: A field k, a regular surface S proper over k with an ample invertible sheaf, a reduced effective Cartier divisor C⊆S, a closed point p with residue field K=κ(p) of degree r over k, the multiplicity m=mult⁡p(C)≥1, the blowup π ⁣:S′→S of p with exceptional curve E, and the strict transform C′. The Axiom of Choice is assumed as in the statement, inherited from the Proj and cohomology constructions (The Axiom of Choice).

[F1]

Total transform equals strict transform plus multiplicity times the exceptional divisor: For a reduced curve C on a regular surface, a point blowup gives π∗C=C′+mE with C′ the strict transform, and C′ meets E in the 0-cycle of degree m over K cut out by the degree-m leading form. Both C and C′ are effective Cartier divisors (Cartier divisor).

[F2]

Point blowups of regular surfaces stay regular, with rational exceptional fibre over the residue field: S′ is regular of pure dimension two, E is an effective Cartier divisor isomorphic to PK1, and OE(E)≅OPK1(−1).

[F3]

Blowups of finite type ideals are locally H-projective, and proper and Strict transform of a closed subscheme: The blowup is proper over S, hence proper over k; C and C′ are closed subschemes of S and S′ respectively, hence proper over k; C′ is reduced because C is reduced; and properness makes all these schemes of finite type over k (Proper morphisms). Their affine coordinate rings are Noetherian because k 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).

[F4]

Pushforward and vanishing for point blowups on a surface: π∗OS′=OS and Rqπ∗OS′=0 for all q>0.

[F5]

Projection formula for invertible twists and Cohomology comparison when higher direct images vanish: For an invertible sheaf L on S the projection formula identifies Rqπ∗(π∗L)≅Rqπ∗OS′⊗L, so by [F4] the sheaf π∗L has vanishing higher direct images and π∗(π∗L)=L; the vanishing-direct-image comparison gives Hq(S′,π∗L)≅Hq(S,L) for all q, whence χk(S′,π∗L)=χk(S,L) since S,S′ are proper over k and the sheaves are coherent.

[F6]

Twisting the exact sequence of an effective Cartier divisor and Effective Cartier divisors give a short exact sequence: For an effective Cartier divisor D on a scheme X with closed immersion i ⁣:D→X and an invertible sheaf L there is a short exact sequence 0⟶L(−D)⟶L⟶i∗(L∣D)⟶0, where L(−D)=L⊗OX(−D) is again invertible; for L=OX this is the standard sequence 0→OX(−D)→OX→i∗OD→0.

[F7]

Euler characteristic is additive in short exact sequences: On a scheme proper over k, the Euler characteristic of coherent sheaves is additive in short exact sequences.

[F8]

Closed immersion preserves cohomology and coherent pushforward: For a closed immersion i ⁣:Z→X and a quasi-coherent OZ-module F there are isomorphisms Hq(Z,F)≅Hq(X,i∗F) for all q≥0, and i∗F is coherent when X is locally Noetherian and F is coherent.

[F9]

Euler characteristic of line bundles on a projective line over a finite field extension: For an invertible sheaf M of degree d over K on E≅PK1 one has χk(E,M)=r(1+d); in particular a line bundle of degree −j has k-Euler characteristic r(1−j).

[F10]

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 X over k with normalization X~ one has δk(X)=χk(OX~)−χk(OX); a finite birational morphism of reduced curves induces an isomorphism of normalizations; and a morphism from a proper k-scheme to a separated k-scheme is proper, while a proper quasi-finite morphism is finite.

[F11]

The blowup is an isomorphism off the center: π restricts to an isomorphism over S∖{p}.

Proof

1.1F1F2F3

The curve C is an effective Cartier divisor on the regular surface S, so [F1] gives the divisor identity π∗C=C′+mE and shows that C′ is again an effective Cartier divisor, meeting E in a finite 0-cycle of degree m over K. By [F2] the exceptional curve is E≅PK1 with OE(E)≅OPK1(−1), and by [F3] the schemes S,S′,C,C′ are proper and locally Noetherian of finite type over k with coherent structure sheaves; r=[K:k] is finite because S is of finite type over k.

2.1F6F7F8step 1.1

For j=0,1,…,m put Lj:=OS′(−π∗C+jE):=OS′(−π∗C)⊗OS′(E)⊗j, an invertible sheaf with Lm=OS′(−C′) by the divisor identity of step 1.1. For j≥1 apply the twisted sequence of [F6] on S′ to the effective Cartier divisor E and the invertible sheaf Lj: since Lj(−E)=Lj−1 and writing i ⁣:E→S′ for the closed immersion and Qj:=Lj∣E, one gets the short exact sequence 0→Lj−1→Lj→i∗Qj→0, whose three terms are coherent because S′ is locally Noetherian. Additivity [F7] gives χk(S′,Lj)−χk(S′,Lj−1)=χk(S′,i∗Qj), and [F8] identifies the last term with χk(E,Qj).

2.2F6F7F8step 1.1

Apply the untwisted sequence of [F6] to the effective Cartier divisor C on S and to the effective Cartier divisor C′ on S′, whose structure sheaves are coherent by step 1.1: 0→OS(−C)→OS→i∗OC→0 and 0→OS′(−C′)→OS′→i∗′OC′→0. Additivity [F7] and the identification Hq(C,OC)≅Hq(S,i∗OC), respectively Hq(C′,OC′)≅Hq(S′,i∗′OC′), from [F8], give χk(S,OS)=χk(S,OS(−C))+χk(OC) and χk(S′,OS′)=χk(S′,OS′(−C′))+χk(OC′).

3.1F2F9algebrastep 2.1

The restriction Qj=Lj∣E is computed as follows. First, OS′(jE)∣E=OE(E)⊗j is isomorphic to OPK1(−j) by [F2]. Second, (π∗OS(−C))∣E≅OE: the morphism π∣E ⁣:E→S factors as E→Spec⁡K→S, and the restriction of the invertible sheaf OS(−C) to the residue point is a free rank-one K-module, whose pullback along E→Spec⁡K is free of rank one. Hence Qj≅OPK1(−j), a line bundle of degree −j over K, and [F9] gives χk(E,Qj)=r(1−j).

4.1step 2.1step 3.1algebra

Summing the identities of step 2.1 over j=1,…,m and substituting step 3.1 gives χk(S′,Lm)−χk(S′,L0)=∑j=1mr(1−j)=−r(m2), that is, χk(S′,OS′(−C′))=χk(S′,π∗OS(−C))−r(m2) because L0=π∗OS(−C).

5.1F4F5step 4.1

By [F5] applied to the invertible sheaf OS(−C) the Euler characteristics agree: χk(S′,π∗OS(−C))=χk(S,OS(−C)), and likewise χk(S′,OS′)=χk(S′,π∗OS)=χk(S,OS). Combining with step 4.1, χk(S′,OS′(−C′))=χk(S,OS(−C))−r(m2).

6.1step 1.1step 2.2step 5.1

Subtracting the two identities of step 2.2 and substituting step 5.1 yields χk(OC′)−χk(OC)=[χk(S′,OS′)−χk(S′,OS′(−C′))]−[χk(S,OS)−χk(S,OS(−C))]=χk(S′,OS′)−χk(S,OS)+r(m2)=r(m2), since χk(S′,OS′)=χk(S,OS). This proves χk(OC′)=χk(OC)+r(m2) and, together with the divisor identity π∗C=C′+mE of step 1.1, the first assertions.

7.1F10F11step 1.1step 6.1

The morphism C′→C induced by π is proper: C′ is a closed subscheme of the proper k-scheme S′, hence proper over k, and C is separated over k as a closed subscheme of the separated scheme S; by [F10] a morphism from a proper k-scheme to a separated one is proper. It is quasi-finite: by [F11] it is an isomorphism over C∖{p}, and over p its fibre is the finite 0-cycle C′∩E⊆E of step 1.1. It is birational: it is an isomorphism over the dense open C∖{p}, p being a closed point of the reduced curve C. Hence C′→C is finite by [F10], and [F10] identifies the normalizations of C and C′ over C.

8.1F10step 6.1step 7.1∎

By step 1.1 both C and C′ are reduced proper curves over k, so [F10] computes their defects on the common normalization C~: δk(C)=χk(OC~)−χk(OC) and δk(C′)=χk(OC~)−χk(OC′). Subtracting and using step 6.1, δk(C′)−δk(C)=χk(OC)−χk(OC′)=−r(m2). Thus π∗C=C′+mE, χk(OC′)=χk(OC)+r(m2) and δk(C′)=δk(C)−r(m2).

Remarks

  • The factor r=[κ(p):k] records the residue degree of the blown-up point: the successive quotients of the filtration are line bundles of degree −j on a projective line over κ(p), and their k-Euler characteristic is measured through r.
  • 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 m=1 the correction vanishes, matching the fact that blowing up a regular point of a reduced curve does not change χk(OC).
DefinitionDefinition: Literature-sourcedProof: Not applicablejudge pass (gpt-6.1-sol)Open item page →

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 S be a regular Noetherian scheme of pure dimension two over a field k (embedding dimension and regular local ring, Left and right Noetherian rings, Chain dimension and the empty-space convention). Let Y,Z⊆S 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 p is regular at p. Write A=OS,p and IY,IZ⊆A for their germ ideals. If p misses either curve, set np(Y,Z)=0. Otherwise the contact order is np(Y,Z)=length⁡A/IY(A/(IY+IZ)). 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 Y, 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 dim⁡A=2 at every actual contact point. Generic local rings of S need not have dimension two.

The displayed length is finite. The minimal primes of A/IY are the branch primes of Y through p. No common component means that IZ is contained in none of these primes: an inclusion would make a one-dimensional branch of Y a component of Z. 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 P⊂A is principal. Indeed, its regular quotient A/P has cotangent dimension one, so choose f∈P with nonzero class in m/m2. Then A/(f) is regular of dimension one (regular local quotient by parameter is regular) and hence a DVR. The prime P/(f) must be zero since its quotient still has dimension one. Therefore P=(f), with f a prime element of the regular local domain A (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 IY=(y) and IZ=(z), with y,z products of the respective branch equations, and np(Y,Z)=length⁡A/(y)(A/(y,z)). 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 A/(IY+IZ) as an A-module, and similarly as an A/IZ-module, since all composition factors are the same residue field. Thus contact is symmetric. It equals one precisely when (y,z)=m: a nonzero local quotient has length one precisely when it is the residue field. In that case the classes of y,z 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 m 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 p. If either curve has at least two branches through p, its product equation lies in m2; 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 n(Y,Z)=∑p∈Y∩Znp(Y,Z). 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.

LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

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 S be a regular surface over a field k (Contact order of two regular components at a point), let p be a closed point, and let Y,Z⊆S be distinct curves that are regular at p and pass through p, with contact order n=np(Y,Z)≥1 (Contact order of two regular components at a point). Let π ⁣:S′→S be the blowup of p, with exceptional curve E, and let Y′,Z′ be the strict transforms of Y,Z. Then:

  1. if n=1, then Y′ and Z′ meet E at distinct points, so they are disjoint in a neighbourhood of E;
  2. if n>1, then Y′ and Z′ meet at the point of E corresponding to their common tangent direction, the contact order of Y′ and Z′ there is n−1, and every intersection of a strict transform with E has order one.

Facts & Assumptions

Given: A regular surface S over k, a closed point p with local ring A=OS,p, a regular system of parameters x,y∈A, local equations y of Y and z of Z at p, the blowup π ⁣:S′→S of p with exceptional curve E and strict transforms Y′,Z′, and the contact order n=np(Y,Z) of Contact order of two regular components at a point.

[F1]

Contact order of two regular components at a point: n=length⁡A/(y)((A/(y))/(z)) and OY,p=A/(y) is a one-dimensional reduced Noetherian local ring; every component of Y and of Z through p is regular at p.

[F2]

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 p gives the charts A[(x,y)/x] and A[(x,y)/y], with inverse ratio overlap. The exceptional curve is Proj⁡gr⁡mA, hence Pκ(p)1 after choosing parameters, since dim⁡A=2 at the contact point. The quotient presentations follow from the regular-sequence torsion calculation below.

[F3]

Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: The chart ring is the affine blowup algebra A[I/x] with IA[I/x]=xA[I/x] and x a nonzerodivisor, so on the first chart the inverse image ideal of the centre is (x).

[F4]

Total transform equals strict transform plus multiplicity times the exceptional divisor: For a reduced curve C⊆S through p whose local equation has multiplicity m at p, one has π∗C=C′+mE and C′ meets E in the 0-cycle of degree m cut out by the degree-m leading form of a local equation of C at p.

[F5]

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.

[F6]

Effective cartier divisor and Cartier divisor: The exceptional curve E is an effective Cartier divisor on S′, so the total transform π∗C and the expression C′+mE of [F4] are well defined as divisors.

[F7]

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.

[F8]

dimension at most embedding dimension: The dimension of a nonzero Noetherian local ring is at most its embedding dimension.

Proof

1.1F1F5F7

The regular curve germ Y has prime ideal P with A/P regular of dimension one. Its cotangent space has dimension one, so the kernel of m/m2→m/(P+m2) is nonzero. Choose y∈P with nonzero cotangent class and extend it to a parameter system x,y. The ring A/(y) is a one-dimensional regular local domain, hence a DVR. The prime P/(y) 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 P=(y). The same argument gives a principal equation z of Z. In the DVR A/(y), xˉ is a uniformizer and the contact order is n=ord⁡xˉzˉ.

2.1F1F5step 1.1

Write ℓY and ℓZ for the leading forms of y and z in the symmetric algebra of m/m2, so ℓY=y and ℓZ=αx+βy with (α,β)≠(0,0) by the regularity of Z at p in [F5]. Since zˉ=z(x,0)=αx+O(x2) in the DVR A/(y) with uniformizer x, the order is n=1 exactly when α≠0: the tangent directions of Y and Z at p, cut out by ℓY and ℓZ, agree exactly when ℓZ is a nonzero multiple of y, that is exactly when α=0 and β≠0; hence n=1 if and only if the tangent directions differ, and in that case β may be zero or not, while for n>1 the two curves have the common tangent direction cut out by y.

3.1F2F3F4step 2.1F6

The first chart is A[T]/(xT−y): if xg=(xT−y)h, reduction modulo x and regularity of y modulo x give h=xh1, then cancellation gives g=(xT−y)h1. Thus no x-power torsion remains in the incidence quotient. Work in the first chart Spec⁡A[T]/(xT−y), T=y/x, so y=xT and E=V(x); by [F2] and [F3] this chart contains the point of E corresponding to the tangent direction cut out by y, namely T=0, and the other chart covers the remaining points, so the two charts together see all of E. By [F4] applied to Y and Z, whose local equations have multiplicity one at p, one has π∗Y=Y′+E and π∗Z=Z′+E as identities of effective Cartier divisors, well defined by [F6]; and Y′ meets E in the reduced point cut out by ℓY, Z′ in the reduced point cut out by ℓZ; explicitly in this chart the total transform of Z is V(z) with z=xh, h=z/x∈A[y/x], and Z′=V(h).

4.1F4step 2.1step 3.1

If n=1, then α≠0 by step 2.1, so h(0,0)=α≠0: the strict transform Z′ does not pass through the point Y′∩E={T=0}, and its intersection with E is cut out by ℓZ at the point of E corresponding to the tangent direction of Z, which differs from that of Y by step 2.1. On the open complement of Z′∩Y′ (a closed subset missing E) the curves Y′ and Z′ are disjoint: they meet E at distinct points and are therefore disjoint near E.

4.2F2F4F5F7F8step 1.1step 2.1step 3.1

If n>1, then α=0 and β≠0, so ℓZ=βy: both Y′ and Z′ meet E at the single point q corresponding to the common tangent direction cut out by y, namely T=0; and h(x,0)=zˉ/x=xn−1u(x) for a unit u of the DVR A/(y), because ord⁡xzˉ=n by step 1.1. The ambient local ring at q is regular: the domain chart B=A[T]/(xT−y) has B/xB=κ(p)[T], and OS′,q=B(x,T) has maximal ideal generated by x,T. The strict prime chain (0)⊊(x)⊊(x,T) gives dimension at least two, while [F8] bounds it above by its embedding dimension at most two. Hence it is regular, with x,T a cotangent basis. Since h mod x=βT is a nonzero linear form, Z′ is regular at q by [F5], and Y′=V(T) is regular there; in the DVR OY′,q≅(A/(y)) with uniformizer x, the ideal of Z′ is generated by h(x,0)=xn−1u(x), so the contact order of Y′ and Z′ at q is n−1. Finally each of Y′,Z′ meets E in a 0-cycle of degree one by [F4], so every intersection of a strict transform with E has order one.

5.1step 4.1step 4.2∎

Steps 4.1 and 4.2 prove the two assertions: for transverse branches (n=1) the strict transforms meet E at distinct points and are disjoint near E, while for n>1 they meet at the common tangent direction with contact order n−1, every intersection with E having order one.

Remarks

  • The computation uses only the first chart because the point of E cut out by y is T=0 there; when the common tangent direction is the other coordinate direction the same argument runs in the second chart with x and y 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.
LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

Blowing up a multiple point separates pairwise transverse components

Statement

Assume the Axiom of Choice. Let S be a regular surface over a field k and let p be a closed point through which pass s≥2 distinct regular curves Y1,…,Ys, pairwise meeting transversally at p (contact orders one) and pairwise disjoint away from p. Let π ⁣:S′→S be the blowup of p with exceptional curve E. Then the strict transforms Yi′ meet E at s distinct points, no three support curves meet at a point of S′ (in particular at most two components pass through any point of E), and the only new intersections are the transverse intersections Yi′∩E at distinct points. If s=2 the two strict transforms become disjoint.

Facts & Assumptions

Given: A regular surface S over k (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 p∈S, distinct regular curves Y1,…,Ys through p with s≥2, pairwise of contact order one at p and pairwise disjoint away from p, and the blowup π ⁣:S′→S of p with exceptional curve E.

[A1]

Choice. The Axiom of Choice is assumed, as in the statement; the cited suppliers used below are stated under it (The Axiom of Choice).

[F1]

Contact order of two regular components at a point: For distinct reduced curves Y,Z through a closed point p of a regular surface, the total contact order is the sum of the local lengths np(Y,Z) and the definition records that np(Y,Z)=1 if and only if Y and Z meet transversally at p, meaning p∈Y∩Z, each of Y and Z is regular at p, and their tangent lines are distinct one-dimensional subspaces of the two-dimensional k(p)-vector space mp/mp2; in that case the local contact order is computed in the local-equation form np(Y,Z)=length⁡OY,p(OY,p/zOY,p) for a local equation z of Z.

[F2]

A point blowup lowers pairwise contact order by one and separates transverse branches: Let Y,Z be distinct regular curves through a closed point p of a regular surface with contact order n≥1, and let Y′,Z′ be their strict transforms under the blowup of p with exceptional curve E. If n=1, then Y′ and Z′ meet E at distinct points and are disjoint near E; if n>1, the strict transforms meet at the point of E corresponding to their common tangent direction with contact order n−1; every intersection of a strict transform with E has order one.

[F3]

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 p gives the charts A[(x,y)/x] and A[(x,y)/y], with inverse ratio overlap. The exceptional curve is Proj⁡gr⁡mA, hence Pκ(p)1 after choosing parameters, since dim⁡A=2 at the contact point. The quotient presentations follow from the regular-sequence torsion calculation below.

[F4]

The blowup is an isomorphism off the center: The restriction of the blowup to the complement of the center is an isomorphism: π ⁣:π−1(S∖{p})→S∖{p} is an isomorphism of schemes.

[F6]

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 E is invertible it is cut out by the saturation of the inverse-image ideal by the ideal of E.

[F7]

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.

[F8]

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 E is the divisor of its nonzero linear leading form.

Proof

1.1A1F1given

By [F1], since each pair Yi,Yj with i≠j has contact order np(Yi,Yj)=1, every Yi is regular at p and the tangent lines Ti⊆mp/mp2 are pairwise distinct one-dimensional k(p)-subspaces; moreover Yi∩Yj⊆{p} by the hypothesis that the curves are pairwise disjoint away from p.

2.1F1F3F6F7F8step 1.1

Fix i. Its regular prime quotient A/P has cotangent dimension one, so choose u∈P with nonzero cotangent class. The regular one-dimensional quotient A/(u) is a DVR; its prime P/(u) is zero because (A/(u))/(P/(u)) still has dimension one. Thus P=(u) and u is a principal equation of the curve germ. Regularity makes its initial form a nonzero linear form aX+bY. Choose regular parameters x,y so that b≠0. The x-chart is B=A[T]/(xT−y): reducing xg=(xT−y)h modulo x forces h=xh1, and cancellation proves the incidence quotient has no x-power torsion. In this ring its strict transform is cut by w=u/x, with w mod x=a+bT. Thus Yi′∩E is the single reduced point T=−a/b. The other chart A[U]/(yU−x) has equation w′=u/y with w′ mod y=aU+b; it gives the same point if a≠0, and none if a=0. This proves there are no other intersections with E. At that point the ambient local ring has maximal ideal (x,T+a/b) and prime chain (0)⊊(x)⊊(x,T+a/b); it has dimension and embedding dimension two, so is regular with this cotangent basis, and w has a nonzero coefficient on T+a/b. Hence Yi′ is regular there and its tangent line differs from E's. Equivalently its quotient by x is the residue field, giving contact length one.

3.1F2step 2.1

Applying [F2] with n=1 to each pair Yi,Yj, i≠j, the strict transforms meet E at distinct points; with the uniqueness of step 2.1 this says ei≠ej whenever i≠j, so Y1′,…,Ys′ meet E at the s distinct points e1,…,es.

4.1F2F4step 1.1step 3.1

For i≠j the strict transforms Yi′ and Yj′ are disjoint: near E this is [F2] with n=1, and outside E the blowup restricts to an isomorphism of S′∖E with S∖{p} by [F4], so a common point of Yi′ and Yj′ outside E would map to a common point of Yi and Yj different from p, which does not exist; hence Yi′∩Yj′=∅, and in particular the two strict transforms are disjoint when s=2.

5.1F3F4step 2.1step 4.1

Consequently no three of the support curves E,Y1′,…,Ys′ meet at a point of S′: each Yi′ meets E only in ei, the points ei are distinct, and the Yi′ are pairwise disjoint, so a point of E lies on at most one strict transform and a point outside E lies on at most one curve; every ei is a transverse intersection of E with Yi′ by step 2.1. The only intersections not present before the blowup are these points ei: the original curves met one another only at p, and each such intersection has been separated, while outside E the blowup creates no new intersections because it is an isomorphism there [F4].

6.1step 3.1step 4.1step 5.1∎

Therefore Y1′,…,Ys′ meet E at the s distinct points e1,…,es, no three support curves meet at a point of S′, the only new intersections are the transverse intersections Yi′∩E={ei} at distinct points, and Y1′ and Y2′ are disjoint when s=2; this proves every clause of the statement.

TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

Resolution of reduced plane curves by point blowups and the delta recurrence

Statement

Assume the Axiom of Choice. Let C0⊆Pk2 be a reduced projective plane curve over a field k (equivalently, a reduced hypersurface; reducible C0 is allowed). Let S be the regular projective surface obtained from Pk2 by finitely many point blowups at closed points, and let C⊆S be the reduced strict transform of C0. 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 C∗ is regular; (b) the total support of C∗ 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 p of multiplicity m and residue degree r=[κ(p):k], the strict transform C′ satisfies δk(C′)=δk(C)−r m(m−1)/2, where δk 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 m is the mp-adic order of a local reduced equation, with m=0 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 k, does not produce a relative SNC divisor with components smooth over k, 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 C0⊆Pk2 over k, a regular projective surface S obtained from Pk2 by finitely many point blowups, and its current reduced strict transform C⊆S.

[A1]

Choice. The Axiom of Choice is assumed, as in the statement; the cited suppliers used below are stated under it.

[F1]

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.

[F2]

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).

[F3]

Total transform equals strict transform plus multiplicity times the exceptional divisor: At a point of multiplicity m, the total transform of a reduced curve is C′+mE with C′ the strict transform, and C′ is obtained by dividing a local equation by the m-th power of an exceptional equation.

[F4]

Euler characteristic and normalization defect under a point blowup: For a reduced curve C on a regular proper surface with an ample invertible sheaf, a point blowup at a closed point of multiplicity m and residue degree r gives δk(C′)=δk(C)−r(m2).

[F5]

Normalization defect delta of a reduced curve: δk(C)=dim⁡kH0(C,QC) is a nonnegative integer, finite for curves of finite type over k.

[F6]

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 C′→C is proper and quasi-finite, hence finite by A proper quasi-finite morphism is finite.

[F7]

A point blowup lowers pairwise contact order by one and separates transverse branches: Blowing up a point of contact order n≥1 between two regular curves: for n=1 the strict transforms meet E at distinct points and are disjoint near E; for n>1 they meet at the point of E of their common tangent direction with contact order n−1, and every strict transform meets E with order one.

[F8]

Blowing up a multiple point separates pairwise transverse components: If s≥2 pairwise transversal regular curves pass through the blown-up point, their strict transforms meet E at s distinct points, no three support curves meet at a point, and the only new intersections are transverse intersections with E.

[F9]

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.

[F10]

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.

[F11]

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

1.1F1F2F3given

The ambient surface S is regular of pure dimension two and projective over k by hypothesis and [F1], [F2]; each point blowup is regular and proper by [F1, F2]. It is also projective over k: 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 Pkn and twist its coherent point ideal by a power L of the hyperplane bundle. Finitely many global generators of I⊗L surject O[z0,…,zN] onto ⨁Id⊗Ld, giving a closed embedding of the blowup into PSN. This is closed in PkN×Pkn; the Segre map embeds the product as a closed subscheme of projective space. Indeed on each open zij≠0 the rank-one minor equations solve zab/zij=(zaj/zij)(zib/zij), exactly the product affine chart, and these chart identifications glue. Thus iteration preserves all the required hypotheses. Since C is realized as the reduced strict transform on S, [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.

2.1F3F4F5F10F11step 1.1

Termination of the regularization stage. Let p be a closed point of the current surface at which the strict transform C~ is not regular, and let m 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 m≥2; the residue degree r=[κ(p):k] is at least one. Blowing up p yields, by [F4] applied to the reduced curve C~ on the regular proper surface with the ample invertible sheaf of [F2], δk(C~′)=δk(C~)−r(m2), a strict decrease because m≥2; 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).

3.1F7F9F10step 2.1

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 y; its strict transform is T=0 in A[T]/(xT−y), with quotient A/(y), 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 N≥1 be the maximum contact order among intersecting pairs of distinct components, computed as in [F9]. While N>1, let RN be the finite set of points at which some pair has contact order exactly N, and blow up every point of RN: by F7 a pair of contact order N>1 at such a point is replaced by a pair of contact order N−1 at the point of E of their common tangent direction, and every strict transform meets E transversally (order one); pairs of smaller contact order and the newly created intersections with E have order at most N−1 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.

4.1F3F8F9step 3.1

Multiple points. Once every pairwise contact has order at most one, blow up each point through which s≥3 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 s 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 E; 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 E from [F1] and [F3], this is the regular embedded normal-crossing support of clause (b).

5.1F3F4F6step 4.1∎

Clause (c) is the invariant used in steps 2.1-4.1, stated separately: at a center p of multiplicity m and residue degree r, when p lies on the curve, the strict transform satisfies δk(C′)=δk(C)−r m(m−1)/2 by [F4]. When p 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 m=0. For a center on the curve, the total-transform identity π∗C=C′+mE is [F3]. The identity is meaningful because the strict transform C~′→C~ 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 mp-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.

DefinitionDefinition: Literature-sourcedProof: Not applicablejudge pass (gpt-6.1-sol)Open item page →

Invariance of the blowup under invertible (fractional) rescaling of the ideal

Definition

Assume the Axiom of Choice. Let X be integral, let I⊆OX be a quasi-coherent ideal of finite type, and let J⊆KX be an invertible fractional ideal. Its product F=JI is a subsheaf of KX; it need not be contained in OX. Define its fractional Rees algebra and blowup by R(F)=⨁n≥0Fn,F0=OX,Bl⁡FX=Proj⁡XR(F). Here Fn≅J⊗n⊗In, with multiplication induced inside KX, so the algebra is quasi-coherent and generated in degree one. When F⊆OX, this is the ordinary ideal blowup of Blowup of a scheme along an ideal sheaf.

On a nonempty affine open U=Spec⁡A trivializing J, choose g∈Frac⁡(A)× with J∣U=gA. Multiplication by gn is an A-module isomorphism In→(gI)n for every n, with inverse division by gn. These maps respect multiplication and give a graded algebra isomorphism R(I)→R(gI). The inverse of its contravariantly induced Proj map defines ρI,J∣U:Bl⁡IU⟶Bl⁡JIU. No assertion that g∈A is needed.

Replacing g by ug, u∈A×, changes the degree-n map by un. This automorphism induces the identity on Proj: on any homogeneous localization, numerator and denominator of a degree-zero fraction acquire the same power of u, which cancels. Thus the local maps agree on overlaps and glue to a canonical isomorphism of X-schemes ρI,J:Bl⁡IX→∼Bl⁡JIX. Division by gn 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 L 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 L is free and the coordinate rings are domains. Consequently the algebra ⨁n≥0In⊗L⊗n has the same relative Proj as R(I). In particular one may use an ample twist that makes I⊗L globally generated, without treating that sheaf as an ordinary ideal. For J=(1/x) and I=O on an affine domain containing a nonunit x, the product is fractional, illustrating why the distinction is necessary.

The ordinary effective Cartier rescaling also works without integrality of X. For any scheme X, a quasi-coherent ideal I and an effective Cartier divisor with ideal J (Effective cartier divisor), use here the Rees Proj Proj⁡X(⨁n≥0In) even if I 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 J=gO locally, where g is a nonzerodivisor. Multiplication by gn is an isomorphism In→gnIn in every degree, with inverse on its image, so it gives a graded Rees algebra isomorphism and a local blowup isomorphism. On overlaps g changes by a unit; the same degree-zero cancellation proves that these isomorphisms glue canonically to Bl⁡IX≅Bl⁡JIX. Thus multiplying the center ideal by an effective Cartier ideal leaves the blowup scheme canonically unchanged on arbitrary X, including I=0. This assertion concerns the blowup object; the center and the open complement used to define a strict transform may change.

LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Blowing up I and I^d agree

Statement

Assume the Axiom of Choice, inherited from the relative Proj construction (The Axiom of Choice). Let X be a scheme, let I be a quasi-coherent ideal sheaf of finite type on X (Quasi-coherent ideal sheaves) and let d≥1. Then there is a canonical isomorphism of X-schemes Bl⁡IdX⟶Bl⁡IX; more precisely R(Id) is the Veronese regrading R(I)(d) of the Rees algebra sheaf, the degree-n piece of R(Id) being Idn, and the canonical identification Proj⁡R(I)=Proj⁡R(I)(d) of Proj is invariant under Veronese regrading glues over X.

Facts & Assumptions

Given: A scheme X, a quasi-coherent ideal sheaf I of finite type, its powers In, the Rees algebra sheaves R(I)=⨁n≥0In and R(Id)=⨁n≥0Idn (Rees algebra sheaf of a finite type ideal), and the blowups Bl⁡IX=Proj⁡XR(I) and Bl⁡IdX=Proj⁡XR(Id) of Blowup of a scheme along an ideal sheaf.

[F1]

Rees algebra sheaf of a finite type ideal: The Rees algebra sheaf of a quasi-coherent ideal sheaf is the graded OX-algebra ⨁n≥0In with degree-n piece In, and R(I)(d):=⨁n≥0R(I)dn=⨁n≥0Idn is its Veronese regrading; the graded pieces are quasi-coherent.

[F2]

Proj is invariant under Veronese regrading: For a commutative nonnegatively graded ring S and d≥1 there is a canonical isomorphism Proj⁡S≅Proj⁡S(d) mapping the chart D+(f) of Proj⁡S, for homogeneous f∈S+ of positive degree, to the chart D+(fd) of Proj⁡S(d) with the same coordinate ring S(f)=S(fd)(d); it is the identity for d=1 and sends the empty Proj to the empty Proj.

[F3]

Affine blowup standard charts and overlaps: For I=(f0,…,fr) the standard opens D+(fit)=Spec⁡A[I/fi] cover Bl⁡ISpec⁡A with the stated overlap identifications, and the presentation is independent of the chosen generating family.

[F4]

Relative Proj of a graded quasi-coherent algebra: The relative Proj Proj⁡XA of a quasi-coherent graded OX-algebra is constructed by gluing the spectra of the degree-zero localisations over affine opens of X, compatibly with restriction to smaller affine opens.

[F5]

Blowups restrict to open subschemes of the base: For an open subscheme U↪X there is a canonical isomorphism Bl⁡I∣UU→Bl⁡IX×XU, and the blowup is determined up to canonical isomorphism by its restrictions to an open cover.

Proof

1.1F1

The graded OX-algebras R(Id) and R(I)(d) are canonically isomorphic: their degree-n pieces are (Id)n=Idn in both cases, the multiplications are the multiplication of OX, and the identifications are compatible with restriction to open subschemes.

1.2F2

On an affine open U=Spec⁡A⊆X with I∣U=I~ and R(I)=⨁n≥0Intn, [F2] applied to the graded ring S=R(I) gives a canonical isomorphism Proj⁡R(I)≅Proj⁡R(I)(d) that maps a chart D+(f), for homogeneous f∈R(I)+ of positive degree, to D+(fd) with the same coordinate ring R(I)(f)=R(I)(fd)(d).

2.1F1F3step 1.1step 1.2

The isomorphism of step 1.2 identifies the standard charts of the two blowups: for a∈I the chart D+(at) of Proj⁡R(I) corresponds to D+((at)d)=D+(adtd) in Proj⁡R(I)(d), and under step 1.1 this is the standard chart D+(adt′) of Proj⁡R(Id), with coordinate ring A[I/a]=(R(I))(at)=R(Id)(adt′)=A[Id/ad] via the identification at↔adt′; the charts D+(at) cover Bl⁡IU for any generating family by [F3], and their images cover Bl⁡IdU.

3.1F2F4step 2.1

The chartwise identifications are canonical: on the overlap of two charts they are the identity of the common localisation of R(I), and on restriction to a smaller affine open V⊆U the identification for V is the restriction of the identification for U, 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.

4.1F4F5step 1.1step 3.1∎

The identifications of step 3.1 glue over an affine cover of X to an isomorphism of X-schemes Proj⁡XR(I)→Proj⁡XR(Id) by [F4], and over arbitrary open subschemes the restriction compatibility of [F5] gives the same isomorphism; since R(Id)≅R(I)(d) by step 1.1, this proves the stated canonical isomorphism Bl⁡IdX→Bl⁡IX, which is the identity when d=1.

Remarks

LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

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 X be an integral scheme (Integral schemes) and let I be a nonzero quasi-coherent ideal sheaf of finite type on X (Quasi-coherent ideal sheaves). Then the blowup Bl⁡IX of Blowup of a scheme along an ideal sheaf is integral: the affine blowup algebras A[I/a] are domains because A is a domain and a is nonzero, and they glue along localisations. More generally, if X is reduced then Bl⁡IX is reduced, because the affine blowup algebras of a reduced ring are reduced.

Facts & Assumptions

Given: An integral (respectively reduced) scheme X, a nonzero quasi-coherent ideal sheaf I of finite type, and for an affine open U=Spec⁡A⊆X with I=Γ(U,I) and a∈I the affine blowup algebra A[I/a]=(R(I))(a)⊆Aa, the degree-zero part of the localisation of R(I)=⨁n≥0Intn (Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains, Rees algebra sheaf of a finite type ideal).

[F1]

Integral schemes: X is integral exactly when it is nonempty and every nonempty affine open of X is the spectrum of a domain; equivalently X is reduced and its underlying space is irreducible.

[F2]

Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For a∈I the affine blowup algebra A[I/a] has IA[I/a]=aA[I/a] with a a nonzerodivisor and (A[I/a])a=Aa. Its construction as the degree-zero part of the localisation of R(I)⊆A[t] at the degree-one element at embeds A[I/a] into Aa as the subring generated by A and the fractions i/a, i∈I; if A is a domain and a≠0 then A[I/a] is a domain, and if A is reduced then A[I/a] is reduced.

[F3]

Affine blowup standard charts and overlaps: For I=(f0,…,fr) the standard opens D+(fit)=Spec⁡A[I/fi] cover Bl⁡ISpec⁡A and the presentation is independent of the chosen generating family.

[F4]

A principal localization identifies its spectrum with a distinguished open: For a∈A the principal open D(a) is Spec⁡Aa and the localisation morphism is an open immersion D(a)↪Spec⁡A with image the complement of V(a).

[F5]

Blowups restrict to open subschemes of the base: For an open subscheme U↪X there is a canonical isomorphism Bl⁡I∣UU→Bl⁡IX×XU; the blowup is covered by the restrictions over an affine cover of X.

[F6]

The reduction of a scheme: On Spec⁡A, the reduction is Spec⁡(A/(0)). 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

1.1F2F3F4F5F6

Over an affine base U=Spec⁡A, discard generators fi=0, whose charts are empty. If A is a domain, every remaining chart Bi=A[I/fi]⊂Afi is a domain; if A is reduced, every chart is reduced (including empty charts). Hence the blowup is reduced in either case, by affine-local reducedness. Moreover D(fi) in chart i is Spec⁡Afi by the chart localization identity.

2.1F1F2F3F4step 1.1

Suppose X is integral and I≠0. Then X∖Z is a nonempty open: a nonzero local section of the ideal in a domain remains nonzero at the generic point. Put W=π−1(X∖Z). On chart i, the inverse-image ideal is fiBi, so W∩Spec⁡Bi=D(fi). The identifications D(fi)=Spec⁡Afi are the structural morphism and agree on intersections: after both denominators are inverted, the ratio transition maps fix A and the ordinary fractions. Thus they glue to W≅X∖Z. This is a nonempty irreducible open.

3.1F1F3F6step 1.1step 2.1∎

Every nonempty chart is a domain chart with a nonzero denominator, so its nonempty principal open D(fi)⊂W is dense. The closure of W 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 X to be Noetherian or I to be principal anywhere; it only uses that the affine blowup algebra sits inside the localisation Aa.
  • If I=0 the blowup is empty and hence reduced, while irreducibility and nonemptiness fail; this is why the integral statement assumes I≠0.
TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

Strict transforms of closed subschemes are blowups of the subscheme

Statement

Assume the Axiom of Choice. Let I be a quasi-coherent ideal sheaf of finite type on a scheme X (Quasi-coherent ideal sheaves), let π ⁣:Bl⁡IX→X be the blowup of Blowup of a scheme along an ideal sheaf with center Z=V(I), and let W↪X be a closed subscheme (Closed immersions of schemes). Write J=IOW for the inverse image ideal of I in W; it is a quasi-coherent ideal sheaf of finite type, and it cuts out the scheme-theoretic intersection W∩Z. Then the strict transform W′ of W (Strict transform of a closed subscheme), the scheme-theoretic closure of π−1(W∖Z) in W×XBl⁡IX, is canonically isomorphic over W to the blowup Bl⁡JW; equivalently, W′ is the blowup of W along the closed subscheme W∩Z. On the standard affine charts Spec⁡A⊆X with I=(f0,…,fr) and W=Spec⁡(A/K), the chart Spec⁡A[I/fi] of the blowup meets W′ in Spec⁡(A[I/fi]/(KA[I/fi]:fi∞)): W′ is cut out by the saturation of the pullback ideal of W 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 X, a quasi-coherent ideal sheaf I of finite type with zero scheme Z, the blowup π ⁣:Bl⁡IX→X, a closed subscheme i ⁣:W↪X with inverse image ideal J=IOW, and the Axiom of Choice, inherited from the relative Proj constructions (The Axiom of Choice).

[F1]

Strict transform of a closed subscheme: With U=(W×XBl⁡IX)∖E, the strict transform W′ is the scheme-theoretic closure of U in W×XBl⁡IX; when the closure is computed by Schematic closure and agreement on a dense open, it is the smallest closed subscheme through which U↪W×XBl⁡IX factors. On a standard affine chart Spec⁡A[I/a] on which the exceptional subscheme is cut by a, and on which W is cut by K⊆A, the strict transform is cut out by the saturation (KA[I/a]:a∞), and these local descriptions glue.

[F2]

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 J of finite type the blowup Bl⁡JW=Proj⁡WR(J) exists, and J=IOW is quasi-coherent of finite type because I is and i−1 and quotients of quasi-coherent modules preserve these properties; its zero scheme is W×XZ⊆W.

[F3]

The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier and Universal property of the blowup: On the blowup of W along J the pullback JOBl⁡JW is invertible, so for the composite Bl⁡JW→W→X the inverse image of Z is an effective Cartier divisor; consequently there is a unique X-morphism ψ ⁣:Bl⁡JW→Bl⁡IX. Equivalently Bl⁡IX is final among X-schemes in which the inverse image of Z is an effective Cartier divisor.

[F4]

Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For I=(f0,…,fr) the standard opens Spec⁡A[I/fi] cover Bl⁡ISpec⁡A and (A[I/fi])fi=Afi; the image of fi is a nonzerodivisor in A[I/fi], so (L:fi∞)={b:finb∈L for some n} is the preimage of the extension of an ideal L to A[I/fi][1/fi].

[F5]

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.

[F6]

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

1.1F2F3

By [F2] the inverse image ideal J=IOW is quasi-coherent of finite type with zero scheme W×XZ, so the blowup Bl⁡JW and its structural morphism σ ⁣:Bl⁡JW→W are defined; composing with W→X exhibits it as an X-scheme. By [F3] the inverse image of Z on Bl⁡JW is cut by the invertible ideal JOBl⁡JW, hence is an effective Cartier divisor, so the universal property supplies a unique X-morphism ψ ⁣:Bl⁡JW→Bl⁡IX. Together with σ it defines a morphism u=(σ,ψ) ⁣:Bl⁡JW→W×XBl⁡IX over X.

2.1F4step 1.1algebra

Chart computation. Let Spec⁡A⊆X be affine with I=(f0,…,fr) and W=Spec⁡(A/K). Write Bi=A[I/fi] and Ci=(A/K)[J/fˉi], so that Spec⁡Ci is the chart of Bl⁡JW over Spec⁡(A/K). The morphism u on this chart is the A-algebra homomorphism φi ⁣:Bi→Ci with φi(a)=aˉ for a∈A and φi(fj/fi)=fˉj/fˉi. It is surjective because Ci is generated over A/K by the elements fˉj/fˉi. Its kernel is the saturation (KBi:fi∞): indeed b∈ker⁡φi if and only if the image of b in Ci[1/fˉi] vanishes, and by [F4] applied to A/K and J this localized ring is (Bi/KBi)[1/fi], the localization of Bi/KBi at fi, so b lies in the kernel precisely when finb∈KBi for some n, which is the saturation.

3.1F1F5step 2.1

By step 2.1 the restriction of u to the chart Spec⁡Ci is the closed immersion Spec⁡Ci↪Spec⁡Bi cut out by the saturation (KBi:fi∞), whose image is exactly the piece of W′ over Spec⁡A described in [F1]; this is the full preimage of chart i: on a source chart j, membership in target chart i means the pulled-back ratio fˉi/fˉj is a unit, precisely the overlap with source chart i. Equivalently, if the image lies in target chart i, the pullback of its center ideal is generated by fˉi; comparison with a regular generator fˉj on a source chart forces their ratio to be a unit, as in the universal-property proof. Thus Spec⁡Ci is the full preimage. Therefore these chart descriptions agree on overlaps and cover the target, so by [F5] the morphism u is a closed immersion and its image is exactly W′. Hence u identifies W′ with Bl⁡JW over W, and in particular W′ is the blowup of W along J=IOW, equivalently along W∩Z.

4.1F3F6step 3.1

Canonicity. The morphism ψ is the unique X-morphism from Bl⁡JW to Bl⁡IX provided by the universal property in [F3], and σ is the structural morphism of the blowup, so u is determined by the data of the two blowups; conversely the inverse W′→Bl⁡JW is obtained by gluing the inverse chart isomorphisms Bi/(KBi:fi∞)≅Ci 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 W′ with Bl⁡JW is canonical.

5.1F1step 2.1∎

Union statement. Suppose W=W1∪W2 is the scheme-theoretic union of two closed subschemes, so on an affine chart their ideals satisfy K=K1∩K2. The saturation of K with respect to fi is the preimage of the ideal KBi[1/fi] under Bi→Bi[1/fi] by [F4], and Bi[1/fi]=Afi. Flat localization gives (K1∩K2)Afi=K1Afi∩K2Afi; taking preimages under Bi→Afi commutes with finite intersections; hence (KBi:fi∞)=(K1Bi:fi∞)∩(K2Bi:fi∞) on every chart. By step 2.1 the right-hand side cuts out the union of the chart pieces of W1′ and W2′, and these chartwise identifications glue, so W′=W1′∪W2′ as closed subschemes of W×XBl⁡IX. Induction gives the result for every finite scheme-theoretic union. In particular a finite union of components is transformed componentwise, and W′ is the union of the strict transforms of its parts; this union may be empty or have a single component.

Remarks

  • The hypothesis that I 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 W that lie inside the exceptional divisor, which is why a subscheme contained in the center has empty strict transform: for W⊆Z the ideal J is zero on the charts, W′=∅, and Bl⁡JW 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.
CorollaryStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Blowing up the base ideal resolves a rational map to projective space

Statement

Assume the Axiom of Choice. Let X be an integral finite-type k-scheme, let L be invertible, and let s0,…,sn be meromorphic sections of L, not all zero. Their ratios define φ:X⇢Pkn. Put F=∑iOXsi⊆KX(L) and define the finite-type quasi-coherent fractional ideal I=F⊗L−1⊆KX. Its fractional blowup is B=Proj⁡X(⨁d≥0Id),I0=OX. Then B is integral, its projection π:B→X resolves φ, and (π,ψ):B↪X×kPkn is the schematic closure of its graph. The generating line bundle is M=π∗L⊗(IOB). If f:Y→X is a k-morphism from an integral scheme, D⊆X is the domain of a representative of φ, f−1(D)≠∅, and θ:Y→Pkn extends that representative composed with f, then f factors uniquely through B. The nonempty inverse-image condition ensures that this induced rational map is defined.

Facts & Assumptions

Given: The Axiom of Choice, the integral finite-type k-scheme X, L, the meromorphic tuple (si), its fractional ideal I, and B as above.

[F1]

Rational maps of integral finite-type schemes and Rational section line bundle: Meromorphic sections are elements of the one-dimensional generic fiber of L (zero is allowed here); a nonzero tuple gives projective ratios on a nonempty open. Representatives agree on nonempty opens and their target is separated.

[F2]

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 a−1J on an affine domain, with a≠0 and J an ordinary ideal, has Rees Proj canonically isomorphic to the blowup of J, by degreewise rescaling. Relative Proj glues quasi-coherent graded algebras.

[F3]

The pulled-back center ideal is the relative twist; the exceptional divisor is Cartier: The extended ordinary center ideal on its blowup is invertible.

[F4]

Maps to projective space equal generating line-bundle data: An invertible sheaf with n+1 generating global sections gives a morphism to projective n-space; its coordinates on chart j are the section ratios.

[F5]

Affine blowup standard charts and overlaps and Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains: For J=(p0,…,pn) in a domain A, chart j is A[J/pj]⊆Apj, generated by the ratios pi/pj; zero generators give empty charts.

[F6]

Blowups of finite type ideals are locally H-projective, and proper: The surjection A[T0,…,Tn]→R(J) gives a closed immersion of the blowup into Spec⁡A×Pkn with the displayed chart ratios.

[F7]

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

1.1F1F2F7

Trivialize L by e on an affine U=Spec⁡A. Write si=hie and clear denominators by a∈A∖{0}, obtaining pi=ahi∈A. Then I∣U=a−1J with J=(pi), so it is quasi-coherent of finite type. Its powers are also quasi-coherent. Degreewise multiplication by ad identifies its Rees algebra with R(J). Changing a 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 J; J≠0, so B is integral.

2.1F3F4F5step 1.1

The extended fractional ideal IOB=a−1(JOB) is invertible by [F3]. The sections π∗si lie in M=π∗L⊗(IOB) and generate it. If b generates JOB on a local chart, the frame of M is π∗e⊗(b/a), and the coefficients of these sections are pi/b, which are regular and generate the unit ideal. Therefore [F4] gives ψ:B→Pkn, with coordinates pi/pj=hi/hj on chart j, resolving φ.

3.1F1F5F6F7step 2.1

Locally on X, [F6] makes (π,ψ) a closed immersion with chart rings A[J/pj]. These immersions agree on overlaps because their coordinate ratios agree, hence glue. On the nonempty open where a nonzero pj is invertible, it is the graph of φ; this open is dense in the corresponding domain chart by [F5]. Consequently B is the schematic closure of that graph: a function on a domain chart vanishing on this dense principal open is zero. For any representative φD the graph over D is closed in D×Pkn by separatedness, and its nonempty dense part is the same graph just considered. The closure restricted to D is therefore exactly that graph, with its reduced scheme structure.

4.1F1step 3.1∎

Let f,θ,D satisfy the stated hypotheses. The nonempty open f−1(D) is dense in the integral scheme Y, and (f,θ) lands in B there by step 3.1. The pullback of the ideal of the closed immersion B↪X×Pkn 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 (f,θ) factors through B. Any other X-lift has the same projective component on f−1(D), since B over D 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 B 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.

RemarkRemark: Literature-sourcedProof: Not applicableOpen item page →

Blowing up replaces the center by its projectivized normal directions

Remark

A blowup is not the deletion of the center. Let I be a quasi-coherent ideal sheaf of finite type on a scheme X with zero scheme Z=V(I), and let π ⁣:Bl⁡IX→X be the blowup of Blowup of a scheme along an ideal sheaf, with exceptional subscheme E=π−1(Z) (Exceptional subscheme of a blowup). Then:

Surjectivity is part of the same picture but carries a hypothesis. If the center is empty (I=OX) then π is an isomorphism; if I 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 X. 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 W⊆X 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.

RemarkRemark: Literature-sourcedProof: Not applicablejudge pass (gpt-6.1-sol)Open item page →

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 δk, which decreases by r m(m−1)/2 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.

LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)Open item page →

Cohomology comparison when higher direct images vanish

Statement

Assume the Axiom of Choice (The Axiom of Choice). Let f:X→Y be a morphism of schemes and F an OX-module. If Rqf∗F=0 for all q>0, then the natural cohomology comparison is an isomorphism Hn(Y,f∗F)→∼Hn(X,F)(n≥0). The comparison is natural in F, agrees in degree zero with the identity Γ(Y,f∗F)=Γ(X,F), and applies also to f restricted over any open subset of Y where the same vanishing holds. No quasi-coherence, separatedness or properness of f is required.

Facts & Assumptions

Given: The Axiom of Choice, a morphism of schemes f:X→Y and an OX-module F with vanishing higher direct images.

[F1]

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.

[F2]

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.

[F3]

Flasque sheaf and Flasque abelian sheaves are Γ-acyclic: A flasque sheaf has surjective restrictions and has zero positive cohomology on every open subset.

[F4]

Direct image of a sheaf along a continuous map and Local-section formula for derived direct image: Direct image sections on V are sections on f−1V, and higher direct images of a module are sheafifications of V↦Hq(f−1V,F), with no restriction on the morphism.

[F5]

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.

[F6]

The Axiom of Choice and AC implies DC implies countable choice: Choice supplies Dependent Choice, as needed for acyclic-resolution comparisons.

Proof

1.1F1F2F6given

Apply the Godement construction to the underlying abelian sheaf of F, retaining its module structure. For a module G, the first term on an open U is ∏x∈UGx, with a∈OX(U) 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 F→G∙ whose terms are flasque and whose section complex computes Hn(X,F). All modules and syzygies lie in the supplied datum's domain, and Choice supplies the required Dependent Choice.

1.2F3F4

Every flasque module G is f∗-acyclic: on every open V⊂Y, flasque acyclicity gives Hq(f−1V,G)=0 for q>0, and the local-section formula gives Rqf∗G=0. Moreover f∗G is flasque, since its restrictions are the restrictions of G along inverse-image opens. These facts hold for arbitrary f.

2.1F2F4F5step 1.1step 1.2

Apply the acyclic-resolution theorem to f∗ and G∙. It identifies the cohomology sheaves of f∗G∙ with Rqf∗F. The hypothesis makes this an exact coaugmented resolution of f∗F, and its terms are flasque by step 1.2. Forget the OY-module structure, preserving exactness by [F2]. All terms and syzygies are then in Ab(Y), the full domain of the supplied cohomology datum. Apply the acyclic-resolution theorem to Γ(Y,−) on that category; this resolution computes Hn(Y,f∗F). Its global section complex equals Γ(X,G∙) term by term, so step 1.1 gives the claimed comparison isomorphism.

3.1F1F4F5step 2.1∎

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 Y 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