arXiv:1404.1041v1 [math.AG] 3 Apr 2014

Blowups and Resolution
Herwig Hauser
To the memory of Sheeram Abhyankar,
with great respect.
This manuscript originates from a series of lectures the author1 gave at the Clay
Summer School on Resolution of Singularities at Obergurgl in the Tyrolean Alps
in June 2012. A hundred young and ambitious students gathered for four weeks
to hear and learn about resolution of singularities. Their interest and dedication
became essential for the success of the school.
The reader of this article is ideally an algebraist or geometer having a rudimentary acquaintance with the main results and techniques in resolution of singularities.
The purpose is to provide quick and concrete information about specific topics in
the field. As such, the article is modelled like a dictionary and not particularly
suited to be read from the beginning to the end (except for those who like to
read dictionaries). To facilitate the understanding of selected portions of the text
without reading the whole earlier material, a certain repetition of definitions and
assertions has been accepted.
Background information on the historic development and the motivation behind
the various constructions can be found in the cited literature, especially in [Obe00,
Hau03, Hau10a, FH10, Cut04, Kol07, Lip75]. Complete proofs of several more
technical results appear in [EH02].
All statements are formulated for algebraic varieties and morphism between
them. They are mostly also valid, with the appropriate modifications, for schemes.
In certain cases, the respective statements for schemes are indicated separately.
Each chapter concludes with a broad selection of examples, ranging from computational exercises to suggestions for additional material which could not be covered in the text. Some more challenging problems are marked with a superscript
+
. The examples should be especially useful for people planning to give a graduate
course on the resolution of singularities. Occasionally the examples repeat or specialize statements which have appeared in the text and which are worth to be done
personally before looking at the given proof. In the appendix, hints and answers
to a selection of examples marked by a superscript . are given.
Several results appear without proof, due to lack of time and energy of the
author. Precise references are given whenever possible. The various survey articles
contain complementary bibliography.
1
Supported in part by the Austrian Science Fund FWF within the projects P-21461 and
P-25652.

1

2

HERWIG HAUSER

The Clay Mathematics Institute chose resolution of singularities as the topic
of the 2012 summer school. It has been a particular pleasure to cooperate in
this endeavour with its research director David Ellwood, whose enthusiasm and
interpretation of the school largely coincided with the approach of the organizers,
thus creating a wonderful working atmosphere. His sensitiveness of how to plan
and realize the event has been exceptional.
The CMI director Jim Carlson and the CMI secretary Julie Feskoe supported
very efficiently the preparation and realization of the school.
Xudong Zheng provided a preliminary write-up of the lectures, Stefan Perlega
and Eleonore Faber completed several missing details in preliminary drafts of the
manuscript. Faber also produced the two visualizations. The discussion of the examples in the appendix was worked out by Perlega and Valerie Roitner. Anonymous
referees helped substantially with their remarks and criticism to eliminate deficiencies of the exposition. Barbara Beeton from the AMS took care of the TeX-layout.
All this was very helpful.
Contents
1. Lecture I: A First Example of Resolution
2. Lecture II: Varieties and Schemes
3. Lecture III: Singularities
4. Lecture IV: Blowups
5. Lecture V: Properties of Blowup
6. Lecture VI: Transforms of Ideals and Varieties under Blowup
7. Lecture VII: Resolution Statements
8. Lecture VIII: Invariants of Singularities
9. Lecture IX: Hypersurfaces of Maximal Contact
10. Lecture X: Coefficient Ideals
11. Lecture XI: Resolution in Zero Characteristic
12. Lecture XII: Positive Characteristic Phenomena
13. Discussion of selected examples
References

2
5
13
17
27
30
34
36
44
47
52
56
61
76

1. Lecture I: A First Example of Resolution
Let X be the zeroset in affine three space A3 of the polynomial
f = 27x2 y 3 z 2 + (x2 + y 3 − z 2 )3
over a field K of characteristic different from 2 and 3. This is an algebraic surface,
called Camelia, with possibly singular points and curves, and certain symmetries.
For instance, the origin 0 is singular on X, and X is symmetric with respect to the
automorphisms of A3 given by replacing x by −x or z by −z, and also by replacing
y by −y while interchanging x with z. Sending x, y and z to t3 x , t2 y and t3 z
for t ∈ K also preserves X. See figure 1 for a plot of the real points of X. The
intersections of X with the three coordinate hyperplanes of A3 are given as the
zerosets of the equations

BLOWUPS AND RESOLUTION

3

x = (y 3 − z 2 )3 = 0,
y = (x2 − z 2 )3 = 0,
z = (x2 + y 3 )3 = 0.
These intersections are plane curves: two perpendicular cusps lying in the xy- and
yz-plane, respectively the union of the two diagonals in the xz-plane. The singular
locus Sing(X) of X is given as the zeroset of the partial derivatives of f inside X.
This yields for Sing(X) the additional equations
x · [9y 3 z 2 + (x2 + y 3 − z 2 )2 ] = 0,
y 2 · [9x2 z 2 + (x2 + y 3 − z 2 )2 ] = 0,
z · [9x2 y 3 − (x2 + y 3 − z 2 )2 ] = 0.
Combining these equations with f = 0, it results that the singular locus of X has
six irreducible components, defined respectively by
x = y 3 − z 2 = 0,
z = x2 + y 3 = 0,
y = x + z = 0,
y = x − z = 0,
√
x − y 3 = x + −1 · z = 0,
√
x2 − y 3 = x − −1 · z = 0.
2

The first four components of Sing(X) coincide with the four curves given by the
three coordinate hyperplane sections of√X. The last two components are plane
cusps in the hyperplanes given by x ± −1 · z = 0. At points a 6= 0 on the first
two singular components of Sing(X), the intersections of X with a plane through
a and transversal to the component are again cuspidal curves.

Figure 1. The surface Camelia: 27x2 y 3 z 2 + (x2 + y 3 − z 2 )3 = 0.

4

HERWIG HAUSER

Consider now the surface Y in A4 which is given as the cartesian product C ×C
of the plane cusp C : x2 − y 3 = 0 in A2 with itself. It is defined by the equations
x2 − y 3 = z 2 − w3 = 0. The singular locus Sing(Y ) is the union of the two cusps
C1 = C × 0 and C2 = 0 × C defined by x2 − y 3 = z = w = 0, respectively
x = y = z 2 − w3 = 0. The surface Y admits the parametrization
γ : A2 → A4 , (s, t) 7→ (s3 , s2 , t3 , t2 ).
The image of γ is Y . The composition of γ with the linear projection
π : A4 → A3 , (x, y, z, w) 7→ (x, −y + w, z)
yields the map
δ = π ◦ γ : A2 → A3 , (s, t) 7→ (s3 , −s2 + t2 , t3 ).
Replacing in the polynomial f of X the variables x, y, z by s3 , −s2 + t2 , t3 gives
0. This shows that the image of δ lies in X. As X is irreducible of dimension 2
and δ has rank 2 outside 0 the image of δ is dense in (and actually equal to) X.
Therefore the image of Y under π is dense in X: This interprets X as a contraction
of Y by means of the projection π from A4 to A3 . The two surfaces X and Y are
not isomorphic because, for instance, their singular loci have a different number of
components. The simple geometry of Y as a cartesian product of two plane curves
is scrambled up when projecting it down to X.
The point blowup of Y in the origin produces a surface Y1 whose singular locus
has two components. They map to the two components C1 and C2 of Sing(Y )
and are regular and transversal to each other. The blowup X1 of X at 0 will still
be the image of Y1 under a suitable projection. The four singular components of
Sing(X) will become regular in X1 and will either meet pairwise transversally or
not at all. The two regular components of Sing(X) will remain regular in X1 but
will no longer meet each other, cf. figure 2.

Figure 2. The surface X1 obtained from Camelia by a point blowup.
The point blowup of Y1 in the intersection point of the two curves of Sing(Y1 )
separates the two curves and yields a surface Y2 whose singular locus consists of
two disjoint regular curves. Blowing up these separately yields a regular surface Y3
and thus resolves the singularities of Y . The resolution of the singularities of X is
more complicated, see the examples below.

BLOWUPS AND RESOLUTION

5

Examples
Example 1.1. . Show that the surface X defined in A3 by 27x2 y 3 z 2 + (x2 +
y − z 2 )3 = 0 is the image of the cartesian product Y of the cusp C : x3 − y 2 = 0
with itself under the projection from A4 to A3 given by (x, y, z, w) 7→ (x, −y + w, z).
3

Example 1.2. . Find additional symmetries of X aside from those mentioned
in the text.
Example 1.3. . Produce a real visualization
of the surface obtained from
√
Camelia by replacing in the equation z by −1 · z. Determine the components
of the singular locus.
Example 1.4. . Consider at the point a = (0, 1, 1) of X the plane P : 2y +3z =
5 through a. It is transversal to the component of the singular locus of X passing
through a (i.e., this component is regular at a and its tangent line at a does not lie
in P ). Determine the singularity of X ∩ P at a. The normal vector (0, 2, 3) to P
is the tangent vector at t = 1 of the parametrization (0, t2 , t3 ) of the component of
Sing(X) defined by x = y 3 − z 2 .
√
Example 1.5. The point a on X with coordinates (1, 1, −1) is a singular
point of X, and a non-singular point of the curve of Sing(X) passing through it. A
plane transversal to Sing(X) at a is given e.g. by
√
P : 3x + 2y + 3 −1 · z = 9.
√
Determine the singularity of X ∩ P at a. The normal vector
(3, 2, 3 −1) to P is
√
the tangent vector at s = 1 of the parametrization
(s3 , s2 , −1 · s3 ) of the curve of
√
2
3
Sing(X) through a defined by x − y = x − −1 · z = 0.
Example 1.6. . Blow up X and Y in the origin, describe exactly the geometry
of the transforms X1 and Y1 and produce visualizations of X and X1 over R in all
coordinate charts. For Y1 the equations are in the x-chart 1 − xy 3 = z 3 x − w2 = 0
and in the y-chart x2 − y = z 3 y − w2 = 0.
Example 1.7. Blow up X1 and Y1 along their singular loci. Compute a resolution of X1 and compare it with the resolution of Y1 .
2. Lecture II: Varieties and Schemes
The following summary of basic concepts of algebraic geometry shall clarify the
terminology used in later sections. Detailed definitions are available in [Mum99,
Sha94, Har77, EH00, Liu02, Kem11, GW10, Gro61, ZS75, Nag75, Mat89, AM69].

Varieties
Definition 2.1. Write An = AnK for the affine n-space over some field K. The
points of An are identified with n-tuples a = (a1 , . . . , an ) of elements ai of K. The
space An is equipped with the Zariski topology: the closed sets are the algebraic
subsets of An , i.e., the zerosets V (I) = {a ∈ An , f (a) = 0 for all f ∈ I} of ideals I
of K[x1 , . . . , xn ].
To An one associates its coordinate ring, given as the polynomial ring K[An ] =
K[x1 , . . . , xn ] in n variables over K.

6

HERWIG HAUSER

Definition 2.2. A polynomial map f : An → Am between affine spaces is given
by a vector f = (f1 , . . . , fm ) of polynomials fi = fi (x) ∈ K[x1 , . . . , xn ]. It induces a
K-algebra homomorphism f ∗ : K[y1 , . . . , ym ] → K[x1 , . . . , xn ] sending yi to fi and
a polynomial h = h(y) to h ◦ f = h(f (x)). A rational map f : An → Am is given by
a vector f = (f1 , . . . , fm ) of elements fi ∈ K(x1 , . . . , xn ) = Quot(K[x1 , . . . , xn ]) in
the quotient field of K[x1 , . . . , xn ]. Albeit the terminology, a rational map need not
define a set-theoretic map on whole affine space An . It does this only on the open
subset U which is the complement of the union of the zerosets of the denominators
of the elements fi . The induced map f|U : U → Am is then called a regular map
on U .
Definition 2.3. An affine (algebraic) variety X is a subset of an affine space
An which is defined as the zeroset V (I) of a radical ideal I of K[x1 , . . . , xn ] and
equipped with the topology induced by the Zariski topology of An . It is thus a closed
subset of An . In this text, the ideal I need not be prime, hence X is not required
to be irreducible. The ideal IX of K[x1 , . . . , xn ] of all polynomials f vanishing on
X is the largest ideal such that X = V (IX ). If the field K is algebraically closed
and X = V (I) is defined by the radical ideal I, the ideal IX coincides with I by
Hilbert’s Nullstellensatz.
The (affine) coordinate ring of X is the factor ring K[X] = K[x1 , . . . , xn ]/IX .
As IX is radical, K[X] is reduced, i.e., has no nilpotent elements. If X is irreducible,
I is a prime ideal and K[X] is an integral domain. To each point a = (a1 , . . . , an ) of
X one associates the maximal ideal mX,a of K[X] generated by the residue classes
of the polynomials x1 − a1 , . . . , xn − an . If the field K is algebraically closed, this
defines, by Hilbert’s Nullstellensatz, a bijection of the points of X and the maximal
ideals of K[X].
The function field of an irreducible variety X is the quotient field K(X) =
Quot(K[X]).
The local ring of an affine variety X at a point a is the localization OX,a =
K[X]mX,a of K[X] at the maximal ideal mX,a of K[X] associated to a in X. It is
isomorphic to the factor ring OAn ,a /Ia of the local ring OAn ,a of An at a by the
ideal Ia generated by the ideal I defining X in OAn ,a . If Z ⊂ X is an irreducible
subvariety defined by the prime ideal pZ , the local ring OX,Z of OX along Z is
defined as the localization K[X]pZ . The local ring OX,a gives rise to the germ
(X, a) of X at a, see below. By abuse of notation, the (unique) maximal ideal
mX,a · OX,a of OX,a is also denoted by mX,a . The factor ring κa = OX,a /mX,a is
called the residue field of X at a.
Definition 2.4. A principal open subset of an affine variety X is the complement in X of the zeroset V (g) of a single non-zero divisor g of K[X]. Principal
open subsets are thus dense in X. They form a basis of the Zariski-topology. A
quasi-affine variety is an open subset of an affine variety. A (closed) subvariety of
an affine variety X is a subset Y of X which is defined as the zeroset Y = V (J) of
an ideal J of K[X]. It is thus a closed subset of X.
Definition 2.5. Write Pn = PnK for the projective n-space over some field
K. The points of Pn are identified with equivalence classes of (n + 1)-tuples
a = (a0 , . . . , an ) of elements ai of K, where a ∼ b if a = λ·b for some non-zero λ ∈ K.
Points are given by their projective coordinates (a0 : . . . : an ), with ai ∈ K and not
all zero. Projective space Pn is equipped with the Zariski topology whose closed sets

BLOWUPS AND RESOLUTION

7

are the algebraic subsets of Pn , i.e., the zerosets V (I) = {a ∈ Pn , f (a0 , . . . , an ) = 0
for all f ∈ I} of homogeneous ideals I of K[x0 , . . . , xn ] different from the ideal generated by x0 , . . . , xn . As I is generated by homogeneous polynomials, the definition of
V (I) does not depend on the choice of the affine representatives (a0 , . . . , an ) ∈ An+1
of the points a. Projective space is covered by the affine open subsets Ui ' An
formed by the points whose i-th projective coordinate does not vanish (i = 0, . . . , n).
The homogeneous coordinate ring of Pn is the graded polynomial ring K[Pn ] =
K[x0 , . . . , xn ] in n + 1 variables over K, the grading being given by the degree.
Definition 2.6. A projective algebraic variety X is a subset of projective space
Pn defined as the zeroset V (I) of a homogeneous radical ideal I of K[x0 , . . . , xn ]
and equipped with the topology induced by the Zariski topology of Pn . It is thus
a closed algebraic subset of Pn . The ideal IX of K[x0 , . . . , xn ] of all homogeneous
polynomials f which vanish at all (affine representatives of) points of X is the
largest ideal such that X = V (IX ). If the field K is algebraically closed and
X = V (I) is defined by the radical ideal I, the ideal IX coincides with I by
Hilbert’s Nullstellensatz.
The homogeneous coordinate ring of X is the graded factor ring K[X] =
K[x0 , . . . , xn ]/IX equipped with the grading given by degree.
Definition 2.7. A principal open subset of a projective variety X is the complement of the zeroset V (g) of a single homogeneous non-zero divisor g of K[X]. A
quasi-projective variety is an open subset of a projective variety. A (closed) subvariety of a projective variety X is a subset Y of X which is defined as the zeroset
Y = V (J) of a homogeneous ideal J of K[X]. It is thus a closed algebraic subset
of X.
Remark 2.8. Abstract algebraic varieties are obtained by gluing affine algebraic varieties along principal open subsets, cf. [Mum99] I, §3, §4, [Sha94] V, §3.
This allows to develop the category of algebraic varieties with the usual constructions therein. All subsequent definitions could be formulated for abstract algebraic
varieties, but will only be developed in the affine or quasi-affine case to keep things
simple.
Definition 2.9. Let X and Y be two affine or quasi-affine algebraic varieties X ⊂ An and Y ⊂ Am . A regular map or (regular) morphism from X to
Y is a map f : X → Am sending X into Y with components rational functions
fi ∈ K(x1 , . . . , xn ) whose denominators do not vanish on X. If X and Y are affine
varieties, a morphism induces a K-algebra homomorphism f ∗ : K[Y ] → K[X] between the coordinate rings, which, in turn, determines f . Over algebraically closed
fields, a morphism between affine varieties is the restriction to X of a polynomial
map f : An → Am sending X into Y , i.e., such that f ∗ (IY ) ⊂ IX , [Har77], chap. I,
Thm. 3.2, p. 17.
Definition 2.10. A rational map f : X → Y between affine varieties is a
morphism f : U → Y on some dense open subset U of X. One then says that f
is defined on U . Albeit the terminology, it need not induce a set-theoretic map
on whole X. For irreducible varieties, a rational map is given by a K-algebra
homomorphism αf : K(Y ) → K(X) of the function fields. A birational map f :
X → Y is a regular map f : U → Y on some dense open subset U of X such that
V = f (U ) is open in Y and such that f|U : U → V is a regular isomorphism, i.e.,

8

HERWIG HAUSER

admits an inverse morphism. In this case U and V are called biregularly isomorphic,
and X and Y are birationally isomorphic. For irreducible varieties, a birational map
is given by an isomorphism αf : K(Y ) → K(X) of the function fields. A birational
morphism f : X → Y is a birational map which is defined on whole X, i.e., a
morphism f : X → Y which admits a rational inverse map defined on a dense open
subset V of Y .
Definition 2.11. A morphism f : X → Y between algebraic varieties is called
separated if the diagonal ∆ ⊂ X ×Y X is closed in the fibre product X ×Y X =
{(a, b) ∈ X × X, f (a) = f (b)}. A morphism f : X → Y between varieties is proper
if it is separated and universally closed, i.e., if for any variety Z and morphism
Z → Y the induced morphism g : X ×Y Z → Z is closed. Closed immersions and
compositions of proper morphisms are proper.
Definition 2.12. The germ of a variety X at a point a, denoted by (X, a), is
the equivalence class of open neighbourhoods U of a in X where two neighbourhoods
of a are said to be equivalent if they coincide on a (possibly smaller) neighbourhood
of a. To a germ (X, a) one associates the local ring OX,a of X at a, i.e., the
localization OX,a = K[X]mX,a of the coordinate ring K[X] of X at the maximal
ideal mX,a of K[X] defining a in X.
Definition 2.13. Let X and Y be two varieties, and let a and b be points of
X and Y . The germ of a morphism f : (X, a) → (Y, b) at a is the equivalence class
of a morphism fe : U → Y defined on an open neighbourhood U of a in X and
sending a to b; here, two morphisms defined on neighbourhoods of a in X are said
to be equivalent if they coincide on a (possibly smaller) neighbourhood of a. The
morphism fe : U → Y is called a representative of f on U . Equivalently, the germ of
a morphism is given by a local K-algebra homomorphism αf = f ∗ : OY,b → OX,a .
Definition 2.14. The tangent space Ta X to a variety X at a point a is defined
as the K-vector space
2
2
Ta X = (mX,a /mX,a
)∗ = Hom(mX,a /mX,a
, K)

with mX,a ⊂ K[X] the maximal ideal of a. Equivalently, one may take the maximal
ideal of the local ring OX,a . The tangent space of X at a thus only depends on the
germ of X at a. The tangent map Ta f : Ta X → Tb Y of a morphism f : X → Y
sending a point a ∈ X to b ∈ Y or of a germ f : (X, a) → (Y, b) is defined as the
linear map induced naturally by f ∗ : OY,b → OX,a .
Definition 2.15. The embedding dimension embdima X of a variety X at a
point a is defined as the K-dimension of Ta X.

Schemes
Definition 2.16. An affine scheme X is a commutative ring R with 1, called
the coordinate ring or ring of global sections of X. The set Spec(R), also denoted
by X and called the spectrum of R, is defined as the set of prime ideals of R. Here,
R does not count as a prime ideal, but 0 does if it is prime, i.e., if R is an integral
domain. A point of X is an element of Spec(R). In this way, R is the underlying
algebraic structure of an affine scheme, whereas X = Spec(R) is the associated
geometric object. To be more precise, one would have to define X as the pair
consisting of the coordinate ring R and the spectrum Spec(R).

BLOWUPS AND RESOLUTION

9

The spectrum is equipped with the Zariski topology: the closed sets V (I) are
formed by the prime ideals containing a given ideal I of R. It also comes with a
sheaf of rings OX , the structure sheaf of X, whose stalks at points of X are the
localizations of R at the respective prime ideals [Mum99, Har77, Sha94]. For affine
schemes, the sheaf OX is completely determined by the ring R. In particular, to
define affine schemes it is not mandatory to introduce sheaves or locally ringed
spaces.
An affine scheme is of finite type over some field K if its coordinate ring R is a
finitely generated K-algebra, i.e., a factor ring K[x1 , . . . , xn ]/I of a polynomial ring
by some ideal I. If I is radical, the scheme is called reduced. Over algebraically
closed fields, affine varieties can be identified with reduced affine schemes of finite
type over K [Har77], chap. II, Prop. 2.6, p. 78.
Definition 2.17. As a scheme, affine n-space over some field K is defined
as the scheme An = AnK given by the polynomial ring K[x1 , . . . , xn ] over K in n
variables. Its underlying topological space An = Spec(K[x1 , . . . , xn ]) consists of
the prime ideals of K[x1 , . . . , xn ]. The points of An when considered as a scheme
therefore correspond to the irreducible subvarieties of An when considered as an
affine variety. A point is closed if the respective prime ideal is a maximal ideal.
Over algebraically closed fields, the closed points of An as a scheme correspond, by
Hilbert’s Nullstellensatz, to the points of An as a variety.
Definition 2.18. Let X be an affine scheme of coordinate ring R. A closed
subscheme Y of X is a factor ring S = R/I of R by some ideal I of R, together
with the canonical homomorphism R → R/I. The set Y = Spec(R/I) of prime
ideals of R/I can be identified with the closed subset V (I) of X = Spec(R) of
prime ideals of R containing I. The homomorphism R → R/I induces an injective
continuous map Y → X between the underlying topological spaces. In this way,
the Zariski topology of Y as a scheme coincides with the topology induced by the
Zariski topology of X.
A point a of X is a prime ideal I of R, considered as an element of Spec(R). To
a point one may associate a closed subscheme of X via the spectrum of the factor
ring R/I. The point a is called closed if I is a maximal ideal of R.
A principal open subset of X is an affine scheme U defined by the ring of
fractions Rg of R with respect to the multiplicatively closed set {1, g, g 2 , . . .} for
some non-zero divisor g ∈ R. The natural ring homomorphism R → Rg sending h
to h/1 interprets U = Spec(Rg ) as an open subset of X = Spec(R). Principal open
subsets form a basis of the Zariski topology of X. Arbitary open subsets of X need
not admit an interpretation as affine schemes.
Remark 2.19. Abstract schemes are obtained by gluing affine schemes along
principal open subsets [Mum99] II, §1, §2, [Har77] II.2, [Sha94] V, §3. Here, two
principal open subsets will be identified or patched together if their respective
coordinate rings are isomorphic. This works out properly because the passage from
a ring R to its ring of fractions Rg satisfies two key algebraic properties: An element
h of R is determined by its images in Rg , for all g, and, given elements hg in the
rings Rg whose images in Rgg0 coincide for all g and g 0 , there exists an element h in
R with image hg in Rg , for all g. This allows in particular to equip arbitrary open
subsets of (affine) schemes X with a natural structure of a scheme, which will then
be called open subscheme of X.

10

HERWIG HAUSER

The gluing of affine schemes along principal open sets can also be formulated
on the sheaf-theoretic level, even though, again, this is not mandatory. For local
considerations, one can mostly restrict to the case of affine schemes.
Definition 2.20. A morphism f : X → Y between affine schemes X =
Spec(R) and Y = Spec(S) is a (unitary) ring homomorphism α = αf : S → R. It
induces a continuous map Spec(R) → Spec(S) between the underlying topological
spaces by sending a prime ideal I of R to the prime ideal α−1 (I) of S. Morphisms
between arbitary schemes are defined by choosing coverings by affine schemes and
defining the morphism locally subject to the obvious conditions on the overlaps of
the patches. A rational map f : X → Y between schemes is a morphism f : U → Y
defined on a dense open subscheme U of X. It need not be defined on whole X.
A rational map is birational if the morphism f : U → Y admits on a dense open
subscheme V of Y an inverse morphism V → U , i.e., if f|U : U → V is an isomorphism. A birational morphism f : X → Y is a morphism f : X → Y which is also
a birational map, i.e., induces an isomorphism U → V of dense open subschemes.
In contrast to birational maps, a birational morphism is defined on whole X, while
its inverse map is only defined on a dense open subset of Y .
L∞
Definition 2.21. Let R = i=0 Ri be a graded ring. The set X = Proj(R) of
homogeneous prime ideals of R not containing the irrelevant ideal M = ⊕∞
i≥1 Ri is
equipped with a topology, the Zariski topology, and with a sheaf of rings OX , the
structure sheaf of X [Mum99, Har77, Sha94]. It thus becomes a scheme. Typically,
R is generated as an R0 -algebra by the homogeneous elements g ∈ R1 of degree 1.
An open covering of X is then given by the affine schemes Xg = Spec(Rg◦ ), where
Rg◦ denotes, for any non-zero divisor g ∈ R1 , the subring of elements of degree 0 in
the ring of fractions Rg .
Remark 2.22. A graded ring homomorphism S → R induces a morphism of
schemes Proj(R) → Proj(S).
Definition 2.23. Equip the polynomial ring K[x0 , . . . , xn ] with the natural
grading given by the degree. The scheme Proj(K[x0 , . . . , xn ]) is called n-dimensional projective space over K, denoted by Pn = PnK . It is is covered by the affine open
subschemes Ui ' An which are defined through the principal open sets associated
to the rings of fractions K[x0 , . . . , xn ]xi (i = 0, . . . , n).
Definition 2.24. A morphism f : X → Y is called projective if it factors, for
some k, into a closed embedding X ,→ Y ×Pk followed by the projection Y ×Pk → Y
onto the first factor [Har77] II.4, p. 103.

Formal germs
Definition 2.25. Let R be a ring and I an ideal of R. The powers I k of I
induce natural homomorphisms R/I k+1 → R/I k . The I-adic completion of R is
b = lim R/I k , together with the canonical homomorphism R → R.
b
the inverse limit R
←−
b
If R is a local ring with maximal ideal m, the m-adic completion R is called the
c of M
completion of R. For an R-module M , one defines the I-adic completion M
c = lim M/I k · M .
as the inverse limit M
←−
Lemma 2.26. Let R be a noetherian ring with prime ideal I and I-adic comb
pletion R.

BLOWUPS AND RESOLUTION

11

b then Jb = J · R
b
(1) If J is another ideal of R with (I ∩ J)-adic completion J,
d ' R/
b J.
b
and R/J
c1 · J
c2 .
(2) If J1 , J2 are two ideals of R and J = J1 · J2 , then Jb = J
b is a noetherian
(3) If R is a local ring with maximal ideal m, the completion R
b
local ring with maximal ideal m
b = m · R, and m
b ∩ R = m.
T
(4) If J is an arbitrary ideal of a local ring R, then Jb ∩ R = i≥0 (J + m i ).
(5) Passing to the I-adic completion defines an exact functor on finitely generated R-modules.
b is a faithfully flat R-algebra.
(6) R
c = M ⊗R R.
b
(7) If M a finitely generated R-module, then M
Proof. (1) By [ZS75] VIII, Thm. 6, Cor. 2, p. 258, it suffices toTverify that J
is closed in the (I ∩ J)-adic topology. The closure J of J equals J = i≥0 (J + (I ∩
J)i ) = J by [ZS75] VIII, Lemma 1, p. 253.
b = J1 · R
b · J2 · R
b = Jb1 · Jb2 .
(2) By definition, Jb = J1 · J2 · R
b
(3), (4) The ring R is noetherian and local by [AM69] Prop. 10.26, p. 113, and
Prop. 10.16, p. 109. The ideal Ib∩R equals the closure I of I in the m-adic topology.
T
Thus, Ib ∩ R = i≥0 (I + m i ) and m
b ∩ R = m.
(5) – (7) [AM69] Prop. 10.12, p. 108, Prop. 10.14, p. 109, Prop. 10.14, p. 109,
and [Mat89], Thm. 8.14, p. 62.

Definition 2.27. Let X be a variety and let a be a point of X. The local
ring OX,a of X at a is equipped with the mX,a -adic topology whose basis of neighk
bourhoods of 0 is given by the powers mX,a
of the maximal ideal mX,a of OX,a .
bX,a of OX,a is called the complete local ring of X at a
The induced completion O
bX,a is called the formal
[Nag75] II, [ZS75] VIII, §1, §2. The scheme defined by O
b a). If X = An is the affine
neighbourhood or formal germ of X at a, denoted by (X,
K
bAn ,a is isomorphic as a local K-algebra to
n-space over K, the complete local ring O
the formal power series ring K[[x1 , . . . , xn ]] in n variables over K. The natural ring
bX,a defines a morphism (X,
b a) → (X, a) in the category
homomorphism OX,a → O
of schemes from the formal neighbourhood to the germ of X at a. A formal subvab a), also called a formal local subvariety of X at a, is (the scheme
riety (Yb , a) of (X,
bX,a /I for an ideal I of O
bX,a .
defined by) a factor ring O
2
2
b a) of the
As mX,a /mX,a ' m
b X,a /m
b X,a , one defines the tangent space Ta (X,
formal germ as the tangent space Ta (X) of the variety at a.
b a) → (Yb , b) between two formal germs is defined as a local
A map f : (X,
bY,b → O
bX,a . It is also called a formal map between
algebra homomorphism αf : O
X and Y at a. It induces in a natural way a linear map, the tangent map, Ta f :
Ta X → Tb Y between the tangent spaces.
Two varieties X and Y are formally isomorphic at points a ∈ X, respectively
bX,a and O
bY,b are isomorphic. If X ⊂ An and
b ∈ Y , if the complete local rings O
n
Y ⊂ A are subvarieties of the same affine space An over K, and a = b = 0,
this is equivalent to saying that there is a local algebra automorphism of OAn ,0 '
K[[x1 , . . . , xn ]] sending the completed ideals Ib and Jb of X and Y onto each other.
Such an automorphism is also called a formal coordinate change of An at 0. It is
given by a vector of n formal power series without constant term whose Jacobian
matrix of partial derivatives is invertible when evaluated at 0.

12

HERWIG HAUSER

Remark 2.28. The inverse function theorem does not hold for algebraic varieties and regular maps between them, but it holds in the category of formal germs
b a) → (Yb , b) is an isomorphism if and only
and formal maps: A formal map f : (X,
if its tangent map Ta f : Ta X → Tb Y is a linear isomorphism.
Definition 2.29. A morphism f : X → Y between varieties is called étale
b a) → (Yb , f (a)) are
if for all a ∈ X the induced maps of formal germs f : (X,
isomorphisms, or, equivalently, if all tangent maps Ta f of f are isomorphisms,
[Har77], chap. III, ex. 10.3 and 10.4, p. 275.
Definition 2.30. A morphism f : X → Y between varieties is called smooth
b a) → (Yb , f (a)) are
if for all a ∈ X the induced maps of formal germs f : (X,
submersions, i.e., if the tangent maps Ta f of f are surjective, [Har77], chap. III,
Prop. 10.4, p. 270.
Remark 2.31. The category of formal germs and formal maps admits the usual
concepts and constructions as e.g. the decomposition of a variety in irreducible
components, intersections of germs, inverse images, or fibre products. Similarly,
when working of R, C or any complete valued field K, one can develop, based on
rings of convergent power series, the category of analytic varieties and analytic
spaces, respectively of their germs, and analytic maps between them [dJP00].

Examples
Example 2.32. Compare the algebraic varieties X satisfying (X, a) ' (Ad , 0)
for all points a ∈ X (where ' stands for biregularly isomorphic germs) with those
b d , 0). Varieties with the first
b a) ' (A
where the isomorphism is just formal, (X,
property are called plain, cf. def. 3.11.
Example 2.33. It can be shown that any complex regular (def. 3.4) and rational
surface (i.e., a surface which is birationally isomorphic to the affine plane A2 over C)
is plain, [BHSV08] Prop. 3.2. Show directly that X defined in A3 by x−(x2 +z 2 )y =
0 is plain by exhibiting a local isomorphism (i.e., isomorphism of germs) of X at 0
with A2 at 0. Is there an algorithm to construct such a local isomorphism for any
complex regular and rational surface?
Example 2.34. . Let X be an algebraic variety and a ∈ X be a point. What
is the difference between the concept of regular system of parameters (def. 3.2) in
bX,a ?
OX,a and O
b n , a) of affine space An at a
Example 2.35. The formal neighbourhood (A
bAn ,a ' K[[x1 −
point a = (a1 , . . . , an ) is given by the formal power series ring O
n
a1 , . . . , xn − an ]]. If X ⊂ A is an affine algebraic variety defined by the ideal
b a) is given by the factor ring
I of K[x1 , . . . , xn ], the formal neighbourhood (X,
bX,a = O
bAn ,a /Ib ' K[[x1 − a1 , . . . , xn − an ]]/I,
b where Ib = I · O
bAn ,a denotes the
O
b
n
extension of I to OA ,a .
Example 2.36. The map f : A1 → A2 given by t 7→ (t2 , t3 ) is a regular
morphism which induces a birational isomorphism onto the curve X in A2 defined
by x3 = y 2 . The inverse (x, y) 7→ y/x is a rational map on X and regular on X \{0}.

BLOWUPS AND RESOLUTION

13

Example 2.37. The map f : A1 → A2 given by t 7→ (t2 − 1, t(t2 − 1)) is a
regular morphism which induces a birational isomorphism onto the curve X in A2
defined by x2 + x3 = y 2 . The inverse (x, y) 7→ y/x is a rational map on X and
regular on X \ {0}. The germ (X, 0) of X at 0 is not isomorphic to the germ (Y, 0)
of the union Y of the two diagonals in A2 defined by x2 √
= y 2 . The formal germs
b
b
(X, 0) and (Y , 0) are isomorphic via the map (x, y) 7→ (x 1 + x, y).
Example 2.38. . The map f : A2 → A2 given by (x, y) 7→ (xy, y) is a birational
morphism with inverse the rational map (x, y) 7→ ( xy , y). The inverse defines a
regular morphism outside the x-axis.
Example 2.39. The maps ϕij : An+1 → An+1 given by
x0
xi−1
xi+1
xn
(x0 , . . . , xn ) 7→ ( , . . . ,
, 1,
,...,
).
xj
xj
xj
xj
are birational maps for each i, j = 0, . . . , n. They are the transition maps between
the affine charts Uj = Pn \ V (xj ) ' An of projective space Pn .
Example 2.40. . The maps ϕij : An → An given by
x
xi−1 1 xi+1
xj−1
xj+1
xn 
1
,...,
, ,
,...,
, xi xj ,
,...,
(x1 , . . . , xn ) 7→
xj
xj xj xj
xj
xj
xj
are birational maps for i, j = 1, . . . , n. They are the transition maps between the
e n ⊂ An × Pn−1 of An at the origin (cf. Lecture IV) .
affine charts of the blowup A
Example 2.41. . Assume that the characteristic of the ground field is different
from 2. The elliptic curve X defined in A2 by y 2 = x3 − x is formally isomorphic at
b 1 , 0), whereas the germs (X, a) are not biregularly isomorphic
each point a of X to (A
1
to (A , 0).
Example 2.42. . The projection (x, y) 7→ x from the hyperbola X defined in
A2 by xy = 1 to the x-axis A1 = A1 × {0} ⊂ A2 has open image A1 \ {0}. In
particular, it is not proper.
Example 2.43. . The curves X and Y defined in A2 by x3 = y 2 , respectively
x = y 2 are not formally isomorphic to each other at 0, whereas the curve Z defined
in A2 by x3 + x5 = y 2 is formally isomorphic to X at 0.
5

3. Lecture III: Singularities
Let X be an affine algebraic variety defined over a field K. Analog concepts to the
ones given below can be defined for abstract varieties and schemes.
Definition 3.1. A noetherian local ring R with maximal ideal m is called a
regular ring if m can be generated by n elements, where n is the Krull dimension
of R. The number n is then given as the vector space dimension of m/m 2 over the
residue field R/m. A noetherian local ring R is regular if and only if its completion
b is regular, [AM69] p. 123.
R
Definition 3.2. Let R be a noetherian regular local ring with maximal ideal m.
A minimal set of generators x1 , . . . , xn of m is called a regular system of parameters
or local coordinate system of R.
Remark 3.3. A regular system of parameters of a local ring R is also a regular
b but not conversely, cf. ex. 3.27.
system of parameters of its completion R,

14

HERWIG HAUSER

Definition 3.4. A point a of X is a regular or non-singular point of X if the
local ring OX,a of X at a is a regular ring. Equivalently, the mX,a -adic complebX,a of OX,a is isomorphic to the completion O
bAd ,0 ' K[[x1 , . . . , xd ]] of the
tion O
d
local ring of some affine space A at 0. Otherwise a is called a singular point or
a singularity of X. The set of singular points of X is denoted by Sing(X), its
complement by Reg(X). The variety X is regular or non-singular if all its points
are regular. Over perfect fields regular varieties are the same as smooth varieties,
[Cut04, Liu02].
Proposition 3.5. A subvariety X of a regular variety W is regular at a if and
only if there are local coordinates x1 , . . . , xn of W at a so that X can be defined
locally at a by x1 = · · · = xk = 0 where k is the codimension of X in W at a.
Proof. [dJP00] Cor. 4.3.20, p. 155.



Remark 3.6. Affine and projective space are regular at each of their points.
The germ of a variety at a regular point need not be biregularly isomorphic to the
germ of an affine space at 0. However, it is formally isomorphic, i.e., after passage
to the formal germ, cf. ex. 3.28.
Proposition 3.7. Assume that the field K is perfect. Let X be a hypersurface
defined in a regular variety W by the square-free equation f = 0. The point a ∈ X
is singular if and only if all partial derivatives ∂x1 f, . . . , ∂xn f of vanish at a.
Proof. [Zar47] Thm. 7, [Har77] I.5, [dJP00] 4.3.



Definition 3.8. The characterization of singularities by the vanishing of the
partial derivatives as in Prop. 3.7 is known as the Jacobian criterion for smoothness.
Remark 3.9. A similar statement holds for irreducible varieties which are
not hypersurfaces, using instead of the partial derivatives the k × k-minors of the
Jacobian matrix of a system of equations of X in W , with k the codimension of
X in W at a [dJP00], [Cut04] pp. 7-8, [Liu02] pp. 128 and 142. The choice of the
system of defining polynomials of the variety is significant: The ideal generated by
them has to be radical, otherwise the concept of singularity has to be developed
scheme-theoretically, allowing non-reduced schemes. Over non-perfect fields, the
criterion of the proposition does not hold [Zar47].
Corollary 3.10. The singular locus Sing(X) of X is closed in X.
Definition 3.11. A point a of X is a plain point of X if the local ring OX,a
is isomorphic to the local ring OAd ,0 ' K[x1 , . . . , xd ](x1 ,...,xd ) of some affine space
Ad at 0 (with d the dimension of X at a). Equivalently, there exists an open
neighbourhood U of a in X which is biregularly isomorphic to an open subset V of
some affine space Ad . The variety X is plain if all its points are plain.
Theorem 3.12. (Bodnár-Hauser-Schicho-Villamayor) The blowup of a plain
variety defined over an infinite field along a regular center is again plain.
Proof. [BHSV08] Thm. 4.3.



Definition 3.13. An irreducible variety X is rational if it has a dense open
subset U which is biregularly isomorphic to a dense open subset V of some affine
space Ad . Equivalently, the function field K(X) = Quot(K[X]) is isomorphic to the
field of rational functions K(x1 , . . . , xd ) of Ad .

BLOWUPS AND RESOLUTION

15

Remark 3.14. A plain complex variety is smooth and rational. The converse
is true for curves and surfaces, and unknown in arbitrary dimension [BHSV08].
Definition 3.15. A point a is a normal crossings point of X if the formal
b a) is isomorphic to the formal neighbourhood (Yb , 0) of a union
neighbourhood (X,
Y of coordinate subspaces of An at 0. The point a is a simple normal crossings
point of X if it is a normal crossings point and all components of X passing through
a are regular at a. The variety X has normal crossings, respectively simple normal
crossings, if the property holds at all of its points.
Remark 3.16. In the case of schemes, a normal crossings scheme may be
non-reduced in which case the components of the scheme Y are equipped with multiplicities. Equivalently, Y is defined locally at 0 in An up to a formal isomorphism
by a monomial ideal of K[x1 , . . . , xn ].
Proposition 3.17. A point a is a normal crossings point of a subvariety X of a
regular ambient variety W if and only if there exists a regular system of parameters
x1 , . . . , xn of OW,a so that the germ (X, a) is defined in (W, a) by a radical monomial
ideal in x1 , . . . , xn . This is equivalent to saying that each component of (X, a) is
defined by a subset of the coordinates.
Remark 3.18. In the case of schemes, the monomial ideal need not be radical.
Definition 3.19. Two subvarieties X and Y of a regular ambient variety W
meet transversally at a point a of W if they are regular at a and if the union X ∪ Y
has normal crossings at a.
Remark 3.20. The definition differs from the corresponding notion in differential geometry, where it is required that the tangent spaces of the two varieties
at intersection points sum up to the tangent space of the ambient variety at the
respective point. In the present text, an inclusion Y ⊂ X of two regular varieties is
considered as being transversal, and also any two coordinate subspaces in An meet
transversally. In the case of schemes, the union X ∪ Y has to be defined by the
product of the defining ideals, not their intersection.
Definition 3.21. A variety X is a cartesian product, if there exist positive
dimensional varieties Y and Z such that X is biregularly isomorphic to Y × Z.
b a) (the cartesian
Analogous definitions hold for germs (X, a) and formal germs (X,
product of formal germs has to be taken in the category of complete local rings).
Definition 3.22. A variety X is (formally) a cylinder over a subvariety Z ⊂ X
b a) is isomorphic to a cartesian
at a point a of Z if the formal neighborhood (X,
b
b
product (Y , a) × (Z, a) for some (positive-dimensional) subvariety Y of X which
is regular at a. One also says that X is trivial or a cylinder along Y at a with
transversal section Z.
Definition 3.23. Let X and F be varieties, and let 0 be a distinguished point
b a) is isomorphic
on F . The set S of points a of X where the formal neighborhood (X,
to (Fb, 0) is called the triviality locus of X of singularity type (Fb, 0).
Theorem 3.24. (Ephraim, Hauser-Müller) For any complex variety F and
point 0 on F , the triviality locus S of X of singularity type (Fb, 0) is locally closed
and regular in X, and X is a cylinder along S. Any subvariety Z of X such that
b a) ' (S,
b a) × (Z,
b a) is unique up to formal isomorphism at a.
(X,

16

HERWIG HAUSER

Proof. [Eph78] Thm. 2.1, [HM89] Thm. 1.



Corollary 3.25. The singular locus Sing(X) and the non-normal crossings
locus of a variety X are closed subvarieties.
Proof. [Mum99] III.4, Prop. 3, p. 170, [Bod04].



Theorem 3.26. (Hauser-Müller) Let X, Y and Z be complex varieties with
points a, b and c on them, respectively. The formal germs of X × Z at (a, c) and
b a) and (Yb , b) are isomorphic.
Y × Z at (b, c) are isomorphic if and only if (X,
Proof. [HM90], Thm. 1.



Examples
√
Example 3.27. . The element x 1 + x is a regular parameter of the completion
K[[x]] of the local ring K[x](x) which does not stem from a regular parameter of
K[x](x) .
Example 3.28. . The elements y 2 − x3 − x and y form a regular parameter
system of OA2 ,0 but the zeroset X of y 2 = x3 − x is not locally at 0 isomorphic to
b 1 , 0).
b 0) is formally isomorphic to (A
A1 . However, (X,
Example 3.29. The set of plain points of a variety X is Zariski open (cf. def.
3.11).
Example 3.30. Let X be the plane cubic curve defined by x3 + x2 − y 2 = 0
in A2 . The origin 0 ∈ X is a normal crossings point, but X is not locally at 0
biregularly isomorphic to the union of the two diagonals of A2 defined by x = ±y.
Example 3.31. . Let X be the complex surface in A3C defined by x2 − y 2 z = 0,
the Whitney umbrella or pinch point singularity. The singular locus is the z-axis.
The origin is not a normal crossings point of X. For a 6= 0 a point on the z-axis,
a is a normal crossings point but not a simple normal crossings point of X. The
formal neighbourhoods of X at points a 6= 0 on the z-axis are isomorphic to each
other, since they are isomorphic to the formal neighbourhood at 0 of the union of
two transversal planes in A3 .
Example 3.32. Prove that the non-normal crossings locus of a variety is closed.
Try to find equations for it [Bod04].
Example 3.33. + Find a local invariant that measures reasonably the distance
of a point a of X from being a normal crossings point.
Example 3.34. . Do the varieties defined by the following equations have normal crossings, respectively simple normal crossings, at the origin? Vary the ground
field.
(a) x2 + y 2 = 0,
(b) x2 − y 2 = 0,
(c) x2 + y 2 + z 2 = 0,
(d) x2 + y 2 + z 2 + w2 = 0,
(e) xy(x − y) = 0,
(f) xy(x2 − y) = 0,
(g) (x − y)z(z − x) = 0.

BLOWUPS AND RESOLUTION

17

Example 3.35. . Visualize the zeroset of (x − y 2 )(x − z)z = 0 in A3R .
Example 3.36. + Formulate and then prove the theorem of local analytic
triviality in positive characteristic, cf. Thm. 1 of [HM89].
Example 3.37. Find a coordinate free description of normal crossings singularities. Find an algorithm that tests for normal crossings [Fab11, Fab12].
Example 3.38. . The singular locus of a cartesian product X × Y is the union
of Sing(X) × Y and X × Sing(Y ).
S
Example 3.39. . Call a finite union X = Xi of regular varieties mikado if all
possible intersections of the components Xi are (scheme-theoretically) regular. The
intersections are defined by the sums of the ideals, not taking their radical. Find
the simplest example of a variety which is not mikado but for which all pairwise
intersections are non-singular.
Example 3.40. Interpret the family given by taking the germs of a variety
X at varying points a ∈ X as the germs of the fibers of a morphism of varieties,
equipped with a section.
4. Lecture IV: Blowups
Blowups, also known as monoidal transformations, can be introduced in several
ways. The respective equivalences will be proven in the second half of this section.
All varietes are reduced but not necessarily irreducible, and subvarieties are closed
if not mentioned differently. Schemes will be noetherian but not necessarily of finite
type over a field. To ease the exposition they are often assumed to be affine, i.e.,
of the form X = Spec(R) for some ring R. Points of varieties are closed, points
of schemes can also be non-closed. The coordinate ring of an affine variety X is
denoted by K[X] and the structure sheaf of a scheme X by OX , with local rings
OX,a at points a ∈ X.
References providing additional material on blowups are, among many others,
[Hir64], chap. III, and [EH00], chap. IV.2.
Definition 4.1. A subvariety Z of a variety X is called a hypersurface in X
if the codimension of Z in X at any point a of Z is 1,
dima Z = dima X − 1.
Remark 4.2. In the case where X is non-singular and irreducible, a hypersurface is locally defined at any point a by a single non-trivial equation, i.e., an
equation given by a non-zero and non-invertible element h of OX,a . This need not
be the case for singular varieties, see ex. 4.21. Hypersurfaces are a particular case
of effective Weil divisors [Har77] chap. II, Rmk. 6.17.1, p. 145.
Definition 4.3. A subvariety Z of an irreducible variety X is called a Cartier
divisor in X at a point a ∈ Z if Z can be defined locally at a by a single equation
h = 0 for some non-zero element h ∈ OX,a . If X is not assumed to be irreducible, h
is required to be a non-zero divisor of OX,a . This excludes the possibility that Z is
a component or a union of components of X. The subvariety Z is called a Cartier
divisor in X if it is a Cartier divisor at each of its points. The empty subvariety is
considered as a Cartier divisor. A (non-empty) Cartier divisor is a hypersurface in
X, but not conversely, and its complement X \ Z is dense in X. Cartier divisors

18

HERWIG HAUSER

are, in a certain sense, the largest closed and properly contained subvarieties of X.
If Z is Cartier in X, the ideal I defining Z in X is called locally principal [Har77]
chap. II, Prop. 6.13, p. 144, [EH00] III.2.5, p. 117.
Definition 4.4. (Blowup via universal property) Let Z be a (closed) subvariety
e together with a morphism π : X
e → X is called a blowup
of a variety X. A variety X
of X with center Z of X, or a blowup of X along Z, if the inverse image E = π −1 (Z)
e and π is universal with respect to this property: For
of Z is a Cartier divisor in X
0
any morphism τ : X → X such that τ −1 (Z) is a Cartier divisor in X 0 , there exists
e so that τ factors through σ, say τ = π ◦ σ,
a unique morphism σ : X 0 → X
∃1 σ
e
X 0 H_ _ _ _/ X
HH
HH τ
HH
HH π
H# 
X

e is a Cartier
The morphism π is also called the blowup map. The subvariety E of X
divisor, in particular a hypersurface, and called the exceptional divisor or exceptional locus of the blowup. One says that π contracts E to Z.
Remark 4.5. By the universal property, a blowup of X along Z, if it exists,
is unique up to unique isomorphism. It is therefore called the blowup of X along
e = X and π is the identity by the
Z. If Z is already a Cartier divisor in X, then X
universal property. In particular, this is the case when X is non-singular and Z is
a hypersurface in X.
Definition 4.6. The Rees algebra of an ideal I of a commutative ring R is the
graded R-algebra
∞
∞
M
M
Rees(I) =
Ii =
I i · ti ⊂ R[t],
i=0

i=0

where I i denotes the i-fold power of I, with I 0 set equal to R. The variable t is
e for Rees(I)
given degree 1 so that the elements of I i · ti have degree i. Write R
when I is clear from the context. The Rees algebra of I is generated by elements
e by sending an element g of R to the
of degree 1, and R embeds naturally into R
degree 0 element g · t0 . If I is finitely generated by elements g1 , . . . , gk ∈ R, then
e = R[g1 t, . . . , gk t]. The Rees algebras of the zero-ideal I = 0 and of the whole ring
R
I = R equal R, respectively R[t]. If I is a principal ideal generated by a non-zero
e and Spec(R) are isomorphic. The Rees algebras
divisor of R, the schemes Proj(R)
of an ideal I and its k-th power I k are isomorphic as graded R-algebras, for any
k ≥ 1.
Definition 4.7. (Blowup via Rees algebra) Let X = Spec(R) be an affine
scheme and let Z = Spec(R/I) be a closed subscheme of X defined by an ideal
e = Rees(I) the Rees algebra of I over R, equipped with the
I of R. Denote by R
e = Proj(R)
e together
induced grading. The blowup of X along Z is the scheme X
e → X given by the natural ring homomorphism R → R.
e
with the morphism π : X
e is called the exceptional divisor of the blowup.
The subscheme E = π −1 (Z) of X
Definition 4.8. (Blowup via secants) Let W = An be affine space over K
(taken as a variety) and let p be a fixed point of An . Equip An with a vector

BLOWUPS AND RESOLUTION

19

space structure by identifying it with its tangent space Tp An . For a point a ∈ An
different from p, denote by g(a) the secant line in An through p and a, considered
as an element of projective space Pn−1 = P(Tp An ). The morphism
γ : An \ {p} → Pn−1 , a 7→ g(a),
e of the graph Γ of γ inside An × Pn−1 together
is well defined. The Zariski closure X
e
with the restriction π : X → X of the projection map An × Pn−1 → An is the point
blowup of An with center p.
Definition 4.9. (Blowup via closure of graph) Let X be an affine variety with
coordinate ring K[X] and let Z = V(I) be a subvariety of X defined by an ideal I
of K[X] generated by elements g1 , . . . , gk . The morphism
γ : X \ Z → Pk−1 , a 7→ (g1 (a) : · · · : gk (a)),
e of the graph Γ of γ inside X × Pk−1 together
is well defined. The Zariski closure X
e → X of the projection map X × Pk−1 → X is the blowup
with the restriction π : X
of X along Z. It does not depend, up to isomorphism over X, on the choice of the
generators gi of I.
Definition 4.10. (Blowup via equations) Let X be an affine variety with
coordinate ring K[X] and let Z = V(I) be a subvariety of X defined by an ideal
I of K[X] generated by elements g1 , . . . , gk . Assume that g1 , . . . , gk form a regular
sequence in K[X]. Let (u1 : . . . : uk ) be projective coordinates on Pk−1 . The
e of X × Pk−1 defined by the equations
subvariety X
ui · gj − uj · gi = 0,

i, j = 1, . . . , k,

e → X of the projection map X × Pk−1 → X is
together with the restriction π : X
the blowup of X along Z. It does not depend, up to isomorphism over X, on the
choice of the generators gi of I.
Remark 4.11. This is a special case of the preceding definition of blowup as
the closure of a graph. If g1 , . . . , gk do not form a regular sequence, the subvariety
e of X × Pk−1 may require more equations, see ex. 4.43.
X
Definition 4.12. (Blowup via affine charts) Let W = An be affine space over
K with chosen coordinates x1 , . . . , xn . Let Z ⊂ W be a coordinate subspace defined
by equations xj = 0 for j in some subset J ⊂ {1, . . . n}. Set Uj = An for j ∈ J,
and glue two affine charts Uj and U` via the transition maps
xi 7→ xi /xj ,

if i ∈ J \ {j, `},

xj 7→ 1/x` ,
x` 7→ xj x` ,
xi 7→ xi ,

if i 6∈ J.
f
f
This yields a variety W . Define a morphism π : W → W by the chart expressions
πj : An → An for j ∈ J as follows,
xi 7→ xi ,

if i 6∈ J \ {j},

xi 7→ xi xj ,
if i ∈ J \ {j}.
f
f → W is the blowup of W = An
The variety W together with the morphism π : W
n
n
along Z. The map πj : A → A is called the j-th affine chart of the blowup map,

20

HERWIG HAUSER

or the xj -chart. The maps πj depend on the choice of coordinates in An , whereas
f → W only depends on W and Z.
the blowup map π : W
Definition 4.13. (Blowup via ring extensions) Let I be a non-zero ideal in a
noetherian integral domain R, generated by non-zero elements g1 , . . . , gk of R. The
blowup of R in I is given by the ring extensions


g1
gk
R ,→ Rj = R
,...,
,
j = 1, . . . , k,
gj
gj
inside the rings Rgj = R[ g1j ], where the rings Rj are glued pairwise via the natural
inclusions Rgj , Rg` ⊂ Rgj g` , for j, ` = 1, . . . , k. The blowup does not depend, up to
isomorphism over X, on the choice of the generators gi of I.
Remark 4.14. The seven concepts of blowup given in the preceding definitions
are all essentially equivalent. It will be convenient to prove the equivalence in the
language of schemes, though the substance of the proofs is inherent to varieties.
Definition 4.15. (Local blowup via germs) Let π : X 0 → X be the blowup
of X along Z, and let a0 be a point of X 0 mapping to the point a ∈ X. The local
blowup of X along Z at a0 is the morphism of germs π : (X 0 , a0 ) → (X, a). It is given
by the dual homomorphism of local rings π ∗ : OX,a → OX 0 ,a0 . This terminology is
also used for the completions of the local rings giving rise to a morphism of formal
b 0 , a0 ) → (X,
b a) with dual homomorphism π ∗ : O
bX,a → O
bX 0 ,a0 .
neighborhoods π : (X
Definition 4.16. (Local blowup via localizations of rings) Let R = (R, m) be
e = L∞ I i . Any non-zero
a local ring and let I be an ideal of R with Rees algebra R
i=0
e also denoted by g.
element g of I defines a homogeneous element of degree 1 in R,
eg inherits from R
e the structure of a graded ring. The set of
The ring of quotients R
eg forms a ring, denoted by R[Ig −1 ], and consists of fractions
degree 0 elements of R
f /g ` with f ∈ I ` and ` ∈ N. The localization R[Ig −1 ]p of R[Ig −1 ] at any prime
ideal p of R[Ig −1 ] containing the maximal ideal m of R together with the natural
ring homomorphism α : R → R[Ig −1 ]p is called the local blowup of R with center I
associated to g and p.
Remark 4.17. The same definition can be made for non-local rings R, giving
rise to a local blowup Rq → Rq [Ig −1 ]p with respect to the localization Rq of R at
the prime ideal q = p ∩ R of R.
Theorem 4.18. Let X = Spec(R) be an affine scheme and Z a closed sube → X of X along Z when
scheme defined by an ideal I of R. The blowup π : X
e
e
defined as Proj(R) of the Rees algebra R of I satisfies the universal property of
blowups.
Proof. (a) It suffices to prove the universal property on the affine charts of
e since on overlaps the local patches will agree by their
an open covering of Proj(R),
uniqueness. This in turn reduces the proof to the local situation.
(b) Let β : R → S be a homomorphism of local rings such that β(I) · S is
a principal ideal of S generated by a non-zero divisor, for some ideal I of R. It
suffices to show that there is a unique homomorphism of local rings γ : R0 → S
such that R0 equals a localization R0 = R[Ig −1 ]p for some non-zero element g of I
and a prime ideal p of R[Ig −1 ] containing the maximal ideal of R, and such that

BLOWUPS AND RESOLUTION

21

the diagram
/ R0
}
}
}
β }}
} γ
 ~}}
S
commutes, where α : R → R0 denotes the local blowup of R with center I specified
by the choice of g and p. The proof of the local statement goes in two steps.
(c) There exists an element f ∈ I such that β(f ) generates
β(I) · S: Let h ∈ S
Pn
be a non-zero divisor generating β(I) · S. Write h = i=1 β(fi )si with elements
f1 , . . . ,P
fn ∈ I and
ti ∈ S. Thus,
 s1 , . . . , sn ∈ S. Write β(fi ) = ti h with elements
Pn
n
h=
i=1 si ti h. Since h is a non-zero divisor, the sum
i=1 si ti equals 1. In
particular, there is an index i for which ti does not belong to the maximal ideal of
S. This implies that this ti is invertible in S, so that h = t−1
i β(fi ). In particular,
for this i, the element β(fi ) generates β(I) · S.
(d) Let f ∈ I be as in (c). By assumption, the image β(f ) is a non-zero
divisor in S. For every ` ≥ 0 and every h` ∈ I ` , there is an element a` ∈ S
such that β(h` ) = a` β(f )` . Since β(f ) P
is a non-zero divisor, a` is unique with
n
`
−1
this
property.
For
an
arbitrary
element
] with h` ∈ I ` set
`=0 h` /g of R[Ig
Pn
P
n
`
δ( `=0 h` /g ) = `=0 a` . This defines a ring homomorphism δ : R[Ig −1 ] → S that
restricts to β on R. By definition, δ is unique with this property. Let p ⊂ R[Ig −1 ] be
the inverse image under δ of the maximal ideal of S. This is a prime ideal of R[Ig −1 ]
which contains the maximal ideal of R. By the universal property of localization,
δ induces a homomorphism of local rings γ : R[Ig −1 ]p → S that restricts to β on
R, i.e., satisfies γ ◦ α = β. By construction, γ is unique.

R

α

Theorem 4.19. Let X = Spec(R) be an affine scheme and let Z be a closed
e
subscheme defined by an ideal I of R. The blowup of X along Z defined by Proj(R)
can be covered by affine charts as described in def. 4.10.
Proof. For g ∈ I denote by R[Ig −1 ] ⊂ Rg the subring of the ring of quotients Rg generated by homogeneous elements of degree 0 of the form h/g ` with
eg .
h ∈ I ` and ` ∈ N. This gives an injective ring homomorphism R[Ig −1 ] → R
e
Let now g1 , . . . , gk be generators of I. Then X = Proj(R) is covered by the principal open sets Spec(R[Igi−1 ]) = Spec(R[g1 /gi , . . . , gk /gi ]). The chart expression
e → X follows now
Spec(R[g1 /gi , . . . , gk /gi ]) → Spec(R) of the blowup map π : X
by computation.

Theorem 4.20. Let X be an affine variety with coordinate ring R = K[X] and
let Z be a closed subvariety defined by the ideal I of R with generators g1 , . . . , gk .
e of the Rees algebra R
e of R equals the
The blowup of X along Z defined by Proj(R)
k−1
closure of the graph Γ of γ : X \ Z → P
, a 7→ (g1 (a) : · · · : gk (a)). If g1 , . . . , gk
form a regular sequence, the closure is defined as a subvariety of X × Pk−1 by
equations as indicated in def. 4.10.
Proof. (a) Let Uj ⊂ Pk−1 be the affine chart given by uj 6= 0, with isomorphism Uj ' Ak−1 , (u1 : . . . : uk ) 7→ (u1 /uj , . . . , uk /uj ). The j-th chart expression of γ equals a 7→ (g1 (a)/gj (a), . . . , gk (a)/gj (a)) and is defined on the principal
open set gj 6= 0 of X. The closure of the graph of γ in Uj is therefore given
by Spec(R[g1 /gi , . . . , gk /gi ]). The preceding theorem then establishes the required
equality.

22

HERWIG HAUSER

(b) If g1 , . . . , gk form a regular sequence, their only linear relations over R are
the trivial ones, so that
R[Igi−1 ] = R[g1 /gi , . . . gk /gi ] ' R[t1 , . . . , tk ]/(gi tj − gj , j = 1, . . . , k).
e → X is then given by the ring inclusion R →
The i-th chart expression of π : X
R[t1 , . . . , tk ]/(gi tj − gj , j = 1, . . . , k).


Examples
Example 4.21. For the cone X in A3 of equation x2 + y 2 = z 2 , the line Y in
A defined by x = y − z = 0 is a hypersurface of X at each point. It is a Cartier
divisor at any point a ∈ Y \ {0} but it is not a Cartier divisor at 0. The double
line Y 0 in A3 defined by x2 = y − z = 0 is a Cartier divisor of X since it can be
defined in X by y − z = 0. The subvariety Y 00 in A3 consisting of the two lines
defined by x = y 2 − z 2 = 0 is a Cartier divisor of X since it can be defined in X by
x = 0.
3

Example 4.22. For the surface X : x2 y−z 2 = 0 in A3 , the subvariety Y defined
by y 2 − xz = x3 − yz = 0 is the singular curve parametrized by t 7→ (t3 , t4 , t5 ).
It is everywhere a Cartier divisor except at 0: there, the local ring of Y in X
is K[x, y, z](x,y,z) /(x2 y − z 2 , y 2 − xz, x3 − yz), which defines a singular cubic. It
is of codimension 1 in X but not a complete intersection (i.e., cannot be defined
in A3 , as the codimension would suggest, by two but only by three equations).
Thus it is not a Cartier divisor. At any other point a = (t3 , t4 , t5 ), t 6= 0 of Y ,
one has OY,a = S/(x2 y − z 2 , y 2 /x − z, x3 − yz) = S/(x2 y − z 2 , y 2 /x − z) with
S = K[x, y, z](x−t3 ,y−t4 ,z−t5 ) the localization of K[x, y, z] at a. Hence Y is a Cartier
divisor there.
Example 4.23. Let Z be one of the axes of the cross X : xy = 0 in A2 , e.g.
the x-axis. At any point a on the y-axis except the origin, Z is Cartier: one has
OX,a = K[x, y](x,y−a) /(xy) = K[x, y](x,y−a) /(x) and the element h = y defining Z is
a unit in this local ring. At the origin 0 of A2 the local ring of X is K[x, y](x,y) /(xy)
and Z is locally defined by h = y which is a zero-divisor in OX,0 . Thus Z is not
Cartier in X at 0.
Example 4.24. Let Z be the origin of X = A2 . Then Z is not a hypersurface
and hence not Cartier in X.
Example 4.25. . The (reduced) origin Z = {0} in X = V (xy, x2 ) ⊂ A2 is not
a Cartier divisor in X.
Example 4.26. . Are Z = V (x2 ) in A1 and Z = V (x2 y) in X = A2 Cartier
divisors?
Example 4.27. . Let Z = V (x2 , y) be the origin of A2 with non-reduced structure given by the ideal (x2 , y). Then Z is not a Cartier divisor in X = V (xy, x2 ) ⊂
A2 .
Example 4.28. Let X = A1 be the affine line with coordinate ring R = K[x]
e = K[x, xt] ⊂ K[x, t] with respect
and let Z be the origin of A1 . The Rees algebra R
to the ideal defining Z is isomorphic, as a graded ring, to a polynomial ring K[u, v]
e of
in two variables with deg u = 0 and deg v = 1. Therefore, the point blowup X
1
0
1
e
X is isomorphic to A × P = A , and π : X → X is the identity.

BLOWUPS AND RESOLUTION

23

More generally, let X = An be n-dimensional affine space with coordinate ring
R = K[x1 , . . . , xn ] and let Z ⊂ X be a hypersurface defined by some non-zero
e = K[x1 , . . . , xn , gt] ⊂ K[x1 , . . . , xn , t] with
g ∈ K[x1 , . . . , xn ]. The Rees algebra R
respect the ideal defining Z is isomorphic, as a graded ring, to a polynomial ring
K[u1 , . . . , un , v] in n + 1 variables with deg ui = 0 and deg v = 1. Therefore the
e of X along Z is isomorphic to An × P0 = An , and π : X
e → X is the
blowup X
identity.
Example 4.29. Let X = Spec(R) be an affine scheme and Z ⊂ X be defined
e = R[gt] ⊂ R[t] with respect
by some non-zero-divisor g ⊂ R. The Rees algebra R
to the ideal defining Z is isomorphic, as a graded ring, to R[v] with deg r = 0 for
e of X along Z is isomorphic to
r ∈ R and deg v = 1. Therefore the blowup X
0
e
X × P = X, and π : X → X is the identity.
Example 4.30. Take X = V (xy) ⊂ A2 with coordinate ring R = K[x, y]/(xy).
Let Z be defined in X by y = 0. The Rees algebra of R with respect to the ideal
e = R[yt] ∼
defining Z equals R
= K[x, y, u]/(xy, xu) with deg x = deg y = 0 and
deg u = 1.
Example 4.31. Let X = Spec(R) be an affine scheme and let Z ⊂ X be
defined by some zero-divisor g 6= 0 in R, say h · g = 0 for some non-zero h ∈ R. The
e = R[gt] ⊂ R[t] with respect to the ideal defining Z is isomorphic,
Rees algebra R
as a graded ring, to R[v]/(h · v) with deg r = 0 for r ∈ R and deg v = 1. Therefore,
e of X along Z equals the closed subvariety of X × P0 = X defined by
the blowup X
e → X is the inclusion map.
h · v = 0, and π : X
Example 4.32. Take in the situation of the preceding example X = V (xy) ⊂
e = R[yt] ' K[x, y, u]/(xy, xu)
A2 and g = y, h = x. Then R = K[x, y]/(xy) and R
with deg x = deg y = 0 and deg u = 1.
Example 4.33. Let X = Spec(R) be an affine scheme and let Z ⊂ X be
defined by some nilpotent element g 6= 0 in R, say g k = 0 for some k ≥ 1. The
e = R[gt] ⊂ R[t] with respect to the ideal defining Z is isomorphic,
Rees algebra R
as a graded ring, to R[v]/(v k ) with deg r = 0 for r ∈ R and deg v = 1. The blowup
e of X is the closed subvariety of X × P0 = X defined by v k = 0.
X
Example 4.34. Let X = A2 and let Z be defined in X by I = (x, y). The
e = K[x, y, xt, yt] ⊂ K[x, y, t] of R = K[x, y] with respect to the ideal
Rees algebra R
defining Z is isomorphic, as a graded ring, to the factor ring K[x, y, u, v]/(xv − yu),
e of X
with deg x = deg y = 0 and deg v = deg u = 1. It follows that the blowup X
2
1
along Z embeds naturally as the closed and regular subvariety of A × P defined
e → X being given by the restriction to X
e of
by xv − yu = 0, the morphism π : X
2
1
2
the first projection A × P → A .
Example 4.35. Let X = A2 and let Z be defined in X by I = (x, y 2 ). The
e = K[x, y, xt, y 2 t] ⊂ K[x, y, t] of R = K[x, y] with respect to the ideal
Rees algebra R
defining Z is isomorphic, as a graded ring, to the factor ring K[x, y, u, v]/(xv −y 2 u),
e of X
with deg x = deg y = 0 and deg u = deg v = 1. It follows that the blowup X
2
1
along Z embeds naturally as the closed and singular subvariety of A × P defined
e → X being given by the restriction to X
e of
by xv − y 2 u = 0, the morphism π : X
2
1
2
the first projection A × P → A .

24

HERWIG HAUSER

Example 4.36. Let X = A3 and let Z be defined in X by I = (xy, z). The
e = K[x, y, z, xyt, zt] ⊂ K[x, y, z, t] of R = K[x, y, z] with respect to
Rees algebra R
the ideal defining Z is isomorphic, as a graded ring, to K[u, v, w, r, s]/(uvs − wr),
with deg u = deg v = deg w = 0 and deg r = deg s = 1. It follows that the blowup
e of X along Z embeds naturally as the closed and singular subvariety of A3 × P1
X
e → X being given by the restriction
defined by uvs − wr = 0, the morphism π : X
3
1
3
e
to X of the first projection A × P → A .
Example 4.37. Let X = A1Z be the affine line over the integers and let Z be
e = Z[x, xt, pt] ⊂
defined in X by I = (x, p) for a prime p ∈ Z. The Rees algebra R
Z[x, t] of R = Z[x] with respect to the ideal defining Z is isomorphic, as a graded
ring, to Z[u, v, w]/(xw − pv), with deg u = 0 and deg v = deg w = 1. It follows that
e of X along Z embeds naturally as the closed and regular subvariety
the blowup X
1
1
e → X being given by the
of AZ × PZ defined by xw − pv, the morphism π : X
e of the first projection A1 × P1 → A1 .
restriction to X
Z
Z
Z
Example 4.38. . Let X = A2Z20 be the affine plane over the ring Z20 = Z/20Z,
e = Z20 [x, y, xt, 2yt] ⊂
and let Z be defined in X by I = (x, 2y). The Rees algebra R
Z20 [x, y, t] of R = Z20 [x] with respect to I is isomorphic, as a graded ring, to
Z20 [u, v, w, z]/(xz − 2vw), with deg u = deg v = 0 and deg w = deg z = 1.
Example 4.39. Let R = Z6 with Z6 = Z/6Z, and let Z be defined in X by
e = Z6 [2t] ⊂ Z6 [t] of R with respect to I is isomorphic,
I = (2). The Rees algebra R
as a graded ring, to Z6 ⊕ u · Z3 [u] with deg u = 1.
Example 4.40. Let R = K[[x, y]] be a formal power series ring in two variables
x and y, and let Z be defined in X by I be the ideal generated by ex − 1 and
e of R with respect to I equals R[(ex − 1)t, ln(y +
ln(y + 1). The Rees algebra R
x
1)t] = K[[x, y]][(e − 1)t, ln(y + 1)t] ∼
= K[[x, y]][u, v]/(ln(y + 1)u − (ex − 1)v) with
deg u = deg v = 1.
e ⊂ X × Pn−1 of X at the
Example 4.41. Let X = An . The point blowup X
origin is defined by the ideal (ui xj −uj xi , i, j = 1, . . . , n) in K[x1 , . . . , xn , u1 , . . . , un ].
This is a graded ring, where deg xi = 0 and deg ui = 1 for all i = 1, . . . , n. The ring
K[x1 , . . . , xn , u1 , . . . , un ]/(ui xj − uj xi , i, j = 1, . . . , n)
e = K[x1 , . . . , xn , x1 t, . . . , xn t] ⊂ K[x1 , . . . , xn , t]
is isomorphic, as a graded ring, to R
e is the Rees-algebra of the ideal (x1 , . . . , xn )
with deg xi = 0, deg t = 1. The ring R

L
d
e
of K[x1 , . . . , xn ]. Thus X is isomorphic to Proj
d≥0 (x1 , . . . , xn ) .
e n of
Example 4.42. Let 1 ≤ k ≤ n. The i-th affine chart of the blowup A
n
A in the ideal I = (x1 , . . . , xk ) is isomorphic to A , for i = 1, . . . , k, via the ring
isomorphism
K[x1 , . . . , xn ] ' K[x1 , . . . , xn , t1 , . . . , b
ti , . . . tk ]/(xi tj − xj , j = 1, . . . , k, j 6= i),
n

where xj 7→ tj for j = 1, . . . , k, j 6= i, respectively xj 7→ xj for j = k + 1, . . . , n and
j = i. The inverse map is given by xj 7→ xi xj for j = 1, . . . , k, j 6= i, respectively
xj 7→ xj for j = k + 1, . . . , n and j = i, respectively tj 7→ xj for j = 1, . . . , k, j 6= i.
Example 4.43. Let X = A2 be the affine plane and let g1 = x2 , g2 = xy, g3 =
y generate the ideal I ⊂ K[x, y]. The gi do not form a regular sequence. The
3

BLOWUPS AND RESOLUTION

25

subvariety of A2 × P2 defined by the equations gi uj − gj ui = 0 is singular, but the
blowup of A2 in I is regular.
Example 4.44. Compute the following blowups:
(a) A2 in the center (x, y)(x, y 2 ),
(b) A3 in the centers (x, yz) and (x, yz)(x, y)(x, z),
(c) A3 in the center (x2 + y 2 − 1, z).
(d) The plane curve x2 = y in the origin.
Use affine charts and ring extensions to determine at which points the resulting
varieties are regular or singular.
Example 4.45. Blow up A3 in 0 and compute the inverse image of x2 +y 2 = z 2 .
Example 4.46. . Blow up A2 in the point (0, 1). What is the inverse image of
the lines x + y = 0 and x + y = 1?
Example 4.47. . Compute the two chart transition maps for the blowup of A3
along the z-axis.
Example 4.48. . Blow up the cone X defined by x2 + y 2 = z 2 in one of its
lines.
Example 4.49. . Blow up A3 in the circle x2 + (y + 2)2 − 1 = z = 0 and in the
elliptic curve y 2 − x3 − x = z = 0.
Example 4.50. Interpret the blowup of A2 in the ideal (x, y 2 )(x, y) as a composition of blowups in regular centers.
Example 4.51. Show that the blowup of An along a coordinate subspace Z
equals the cartesian product of the point-blowup in a transversal subspace V of An
of complementary dimension (with respect to Z) with the identity map on Z.
Example 4.52. . Show that the ideals (x1 , . . . , xn ) and (x1 , . . . , xn )m define
the same blowup of An when taken as center.
Example 4.53. Let E be a normal crossings subvariety of An and let Z be a
subvariety of An such that E ∪ Z also has normal crossings (the union being defined
by the product of ideals). Show that the inverse image of E under the blowup of
An along Z has again normal crossings. Show by an example that the assumption
on Z cannot be dropped in general.
Example 4.54. Draw a real picture of the blowup of A2 at the origin.
e n of An with center a point is nonExample 4.55. Show that the blowup A
singular.
Example 4.56. Describe the geometric construction via secants of the blowup
e 3 of A3 with center 0. What is π −1 (0)? For a chosen affine chart W 0 of A
e 3,
A
0
consider all cylinders Y over a circle in W centered at the origin and parallel to a
coordinate axis. What is the image of Y under π in A3 ?
Example 4.57. . Compute the blowup of the Whitney umbrella X = V (x2 −
y z) ⊂ A3 with center one of the three coordinate axes, respectively the origin 0.
2

Example 4.58. Determine the locus of points of the Whitney umbrella X =
V (x2 −y 2 z) where the singularities are normal crossings, respectively simple normal
crossings. Blow up the complements of these loci and compare with the preceding
example [Kol07] ex. 3.6.1, p. 123, [BDMVP12] Thm. 3.4.

26

HERWIG HAUSER

Example 4.59. Let Z be a regular center in An , with induced blowup π :
e n mapping to a point a ∈ Z. Show that it is
A → An , and let a0 be a point of A
possible to choose local formal coordinates at a, i.e., a regular parameter system of
bAn ,a , so that the center is a coordinate subspace, and so that a0 is the origin of
O
e n . Is this also possible with a regular parameter system
one of the affine charts of A
of the local ring OAn ,a ?
en

Example 4.60. Let X = V (f ) be a hypersurface in An , defined by f ∈
K[x1 , . . . , xn ], and let Z be a regular closed subvariety which is contained in the
e n → An be
locus S of points of X where f attains its maximal order. Let π : A
the blowup along Z and let X s = V (f s ) be the strict transform of X, defined
e n . Show that for points a ∈ Z and
as the Zariski closure of π −1 (X \ Z) in A
0
−1
0
a ∈ E = π (Z) with π(a ) = a the inequality orda0 f 0 ≤ orda f holds. Do the
same for subvarieties of An defined by arbitrary ideals.
Example 4.61. Find an example of a variety X for which the dimension of
the singular locus increases under the blowup of a closed regular center Z that is
contained in the top locus of X [Hau98] ex. 9.
e n , a0 ) → (An , a) be the local blowup of An with
Example 4.62. Let π : (A
center the point a, considered at a point a0 ∈ E. Let x1 , . . . , xn be given local
coordinates at a. Determine the coordinate changes in (An , a) which make the
chart expressions of π monomial (i.e., each component of a chart expression is a
monomial in the coordinates).
Example 4.63. Let x1 , . . . , xn be local coordinates at a so that the local blowup
e n , a0 ) → (An , a) is monomial with respect to them. Determine the formal
π : (A
e n , a0 ) which commute with the local blowup.
automorphisms of (A
Example 4.64. . Compute the blowup of X = Spec(Z[x]) in the ideals (x, p)
and (px, pq) where p and q are primes.
Example 4.65. Let R = K[x, y, z] be the polynomial ring in three variables
and let I be the ideal (x, yz) of R. The blowup of R along I corresponds to the
ring extensions:
h yz i
∼
R ,→ R
= K[s, t, u, v]/(sv − tu),
x
x ∼
R ,→ R
= K[s, t, u, v]/(s − tuv).
yz
The first ring extension defines a singular variety while the second one defines a
non-singular one. Let W = A3 and Z = V (I) ⊂ W be the affine space and the
subvariety defined by I. The blowup of R along I coincides with the blowup W 0 of
W along Z.
(a) Compute the chart expressions of the blowup maps.
(b) Determine the exceptional divisor.
(c) Apply one more blowup to W 0 to get a non-singular variety W 00 .
(d) Express the composition of the two blowups as a single blowup in a properly
chosen ideal.
(e) Blow up A3 along the three coordinate axes. Show that the resulting variety
is non-singular.
(f) Show the same for the blowup of An along the n coordinate axes.

BLOWUPS AND RESOLUTION

27

Example 4.66. The zeroset in A3 of the non-reduced ideal (x, yz)(x, y)(x, z) =
(x , x2 y, x2 z, xyz, y 2 z) is the union of the y- and the z-axis. Taken as center, the
resulting blowup of A3 equals the composition of two blowups: The first blowup has
center the ideal (x, yz) in A3 , giving a three-fold W1 in a regular four-dimensional
ambient variety with one singular point of local equation xy = zw. The second
blowup is the point blowup of W1 with center this singular point [Hau00] Prop. 3.5,
[FW11, Lev01].
3

e n of An in a monomial ideal I of
Example 4.67. + Consider the blowup A
e n may be singular. What types of singularities will
K[x, . . . , xn ]. Show that A
I so that the blowup of An in I is
occur? Find a natural saturation procedure I
e n [FW11].
regular and equal to a (natural) resolution of the singularities of A
Example 4.68. The Nash modification of a subvariety X of An is the closure
of the graph of the map which associates to each non-singular point its tangent
space, taken as an element of the Grassmanian of d-dimensional linear subspaces
of Kn , where d = dim(X). For a hypersurface X defined in An by f = 0, the Nash
modification coincides with the blowup of X in the Jacobian ideal of f generated
by the partial derivatives of f .

5. Lecture V: Properties of Blowup
e → X be the blowup of X along a subvariety Z,
Proposition 5.1. Let π : X
e ×X Y → Y
and let ϕ : Y → X be a morphism, the base change. Denote by p : X
the projection from the fibre product to the second factor. Let S = ϕ−1 (Z) ⊂ Y
be the inverse image of Z under ϕ, and let Ye be the Zariski closure of p−1 (Y \ S)
e ×X Y . The restriction τ : Ye → Y of p to Ye equals the blowup of Y along S.
in X

e
e ×X Y q
/ Ye  
/X
/X
F A
HH
AA
H
HHτ
AA
HH
p
π
AA
HH
A
H


#
ϕ

/Y
/X
S
Proof. The assertion is best proven via the universal property of blowups.
To show that F = τ −1 (S) is a Cartier divisor in Ye , consider the projection q :
e ×X Y → X
e onto the first factor. By the commutativity of the diagram,
X
F = p−1 (S) = p−1 ◦ ϕ−1 (Z) = q −1 ◦ π −1 (Z) = q −1 (E).
e and q is a projection, F is locally defined by a
As E is a Cartier divisor in X
principal ideal. The associated primes of Ye are the associated primes of Y not
e cannot pull
containing the ideal of S. Thus, the local defining equation of E in X
e
back to a zero divisor on Y . This proves that F is a Cartier divisor.
To show that τ : Ye → Y fulfills the universal property, let ψ : Y 0 → Y be a
morphism such that ψ −1 (S) is a Cartier divisor in Y 0 . This results in the following
diagram.

28

HERWIG HAUSER

/X
e
w; >>>
w
>>π
q ww
w
>>
ww
w
>
w
σ
0
e
/
Y
X ×X GY
X
?
GG
GGp
ϕ 

GG

GG
ψ
G# 
/Y
−1
−1
−1
−1
Since ψ (S) = ψ (ϕ (Z)) = (ϕ ◦ ψ) (Z), there exists by the universal
e → X a unique map ρ : Y 0 → X
e such that ϕ ◦ ψ =
property of the blowup π : X
π ◦ ρ. By the universal property of fibre products, there exists a unique map
e ×X Y such that q ◦ σ = ρ and p ◦ σ = ψ.
σ :Y0 →X
e ×X Y . Since ψ −1 (S) is a Cartier
It remains to show that σ(Y 0 ) lies in Ye ⊂ X
0
0
−1
divisor in Y , its complement Y \ ψ (S) is dense in Y 0 . From
ρ

Y 0 \ ψ −1 (S) = ψ −1 (Y \ S) = (p ◦ σ)−1 (Y \ S) = σ −1 (p−1 (Y \ S))
follows that σ(Y 0 \ ψ −1 (S)) ⊂ p−1 (Y \ S). But Ye is the closure of p−1 (Y \ S) in
e ×X Y , so that σ(Y 0 ) ⊂ Ye as required.
X

Corollary 5.2. (a) Let π : X 0 → X be the blowup of X along a subvariety Z,
and let Y be a closed subvariety of X. Denote by Y 0 the Zariski closure of π −1 (Y \Z)
in X 0 , i.e., the strict transform of Y under π, cf. def. 6.2. The restriction τ : Y 0 → Y
of π to Y 0 is the blowup of Y along Y ∩ Z. In particular, if Z ⊂ Y , then τ is the
blowup Ye of Y along Z.
(b) Let U ⊂ X be an open subvariety, and let Z ⊂ X be a closed subvariety,
so that U ∩ Z is closed in U . Let π : X 0 → X be the blowup of X along Z. The
blowup of U along U ∩ Z equals the restriction of π to U 0 = π −1 (U ).
b a) for
(c) Let a ∈ X be a point. Write (X, a) for the germ of X at a, and (X,
the formal neighbourhood. There are natural maps
b a) → X
(X, a) → X
and (X,
corresponding to the localization and completion homomorphisms OX → OX,a →
bX,a . Take a point a0 above a in the blowup X 0 of X along a subvariety Z containing
O
a. This gives local blowups of germs and formal neighborhoods
b 0 , a0 ) → (X,
b a).
πa0 : (X 0 , a0 ) → (X, a),
π
ba0 : (X
The blowup of a local ring is not local in general; to get a local blowup one needs
to localize also on X 0 .
(d) If X1 → X is an isomorphism between varieties sending a subvariety Z1 to
Z, the blowup X10 of X1 along Z1 is canonically isomorphic to the blowup X 0 of X
along Z. This also holds for local isomorphisms.
(e) If X = Z × Y is a cartesian product of two varieties, and a is a given point
of Y , the blowup π : X 0 → X of X along Z × {a} is isomorphic to the cartesian
product IdZ × τ : Z × Y 0 → Z × Y of the identity on Z with the blowup τ : Y 0 → Y
of Y in a.
Proposition 5.3. Let π : X 0 → X be the blowup of X along a regular subvariety Z with exceptional divisor E. Let Y be a subvariety of X, and Y ∗ = π −1 (Y )
its preimage under π. Let Y 0 be the Zariski closure of π −1 (Y \ Z) in X 0 . If Y is
transversal to Z, i.e., Y ∪ Z has normal crossings at all points of the intersection

BLOWUPS AND RESOLUTION

29

Y ∩ Z, also Y ∗ has normal crossings at all points of Y ∗ ∩ E. In particular, if Y is
regular and transversal to Z, also Y 0 is regular and transversal to E.
Proof. Having normal crossings is defined locally at each point through the
completions of local rings. The assertion is proven by a computation in local coordinates for which the blowup is monomial, cf. Prop. 5.4 below.

Proposition 5.4. Let W be a regular variety of dimension n with a regular
subvariety Z of codimension k. Let π : W 0 → W denote the blowup of W along Z,
with exceptional divisor E. Let V be a regular hypersurface in W containing Z,
let D be a (not necessarily reduced) normal crossings divisor in W having normal
crossings with V . Let a be a point of V ∩ Z and let a0 ∈ E be a point lying above
a. There exist local coordinates x1 , . . . , xn of W at a such that
(1) a has components a = (0, . . . , 0).
(2) V is defined in W by xn−k+1 = 0.
(3) Z is defined in W by xn−k+1 = . . . = xn = 0.
(4) D ∩ V is defined in V locally at a by a monomial xq11 · · · xqnn , for some
q = (q1 , . . . , qn ) ∈ Nn with qn−k+1 = 0.
(5) The point a0 lies in the xn -chart of W 0 . The chart expression of π in the
xn -chart is of the form
xi 7→ xi

for i ≤ n − k and i = n,

xi 7→ xi xn
for n − k + 1 ≤ i ≤ n − 1.
(6) In the induced coordinates of the xn -chart, the point a0 has components
a0 = (0, . . . , 0, a0n−k+2 , . . . , a0n−k+d , 0, . . . , 0) with non-zero entries a0j ∈ K for n −
k + 2 ≤ j ≤ n − k + d, where d is the number of components of D whose strict
transforms do not pass through a0 .
(7) The strict transform (def. 6.2) V s of V in W 0 is given in the induced
coordinates locally at a0 by xn−k+1 = 0.
(8) The local coordinate change ϕ in W at a given by ϕ(xi ) = xi + a0i · xn makes
the local blowup π : (W 0 , a0 ) → (W, a) monomial. It preserves the defining ideals
of Z and V in W .
(9) If condition (4) is not imposed, the coordinates x1 , . . . , xn at a can be chosen
with (1) to (3) and so that a0 is the origin of the xn -chart.
Proof. [Hau10b].


0

Theorem 5.5. Any projective birational morphism π : X → X is a blowup of
X in an ideal I.
Proof. [Har77], chap. II, Thm. 7.17.



Examples
Example 5.6. Let X be a regular subvariety of An and Z a regular closed
subvariety which is transversal to X. Show that the blowup X 0 of X along Z is
again a regular variety (this is a special case of Prop. 5.3).
Example 5.7. + Prove that plain varieties remain plain under blowup in regular
centers [BHSV08] Thm. 4.3.
Example 5.8. + Is any rational and regular variety plain?

30

HERWIG HAUSER

Example 5.9. Consider the blowup π : W 0 → W of a regular variety W along a
closed subvariety Z. Show that, for any chosen definition of blowup, the exceptional
divisor E = π −1 (Z) is a hypersurface in W 0 .
Example 5.10. The composition of two blowups W 00 → W 0 and W 0 → W is a
blowup of W in a suitable center [Bod03].
Example 5.11. A fractional ideal I over an integral domain R is an R-submodule of Quot(R) such that rI ⊂ R for some non-zero element r ∈ R. Blowups can
be defined via Proj also for centers which are fractional ideals [Gro61]. Let I and
J be two (ordinary) non-zero ideals of R. The blowup of R along I is isomorphic
to the blowup of R along J if and only if there exist positive integers k, ` and
fractional ideals K, L over R such that JK = I k and IL = J ` [Moo01] Cor. 2.
Example 5.12. . Determine the equations in X × P2 of the blowup of X = A3
along the image Z of the monomial curve (t3 , t4 , t5 ) of equations g1 = y 2 − xz,
g2 = yz − x3 , g3 = z 2 − x2 y.
Example 5.13. . The blowup of the cone X = V (x2 − yz) in A3 along the zaxis Z = V (x, y) is an isomorphism locally at all points outside 0, but not globally
on X.
Example 5.14. . Blow up the non-reduced point X = V (x2 ) in A2 in the
(reduced) origin Z = 0.
Example 5.15. . Blow up the subscheme X = V (x2 , xy) of A2 in the reduced
origin.
Example 5.16. Blow up the subvariety X = V (xz, yz) of A3 first in the origin,
then in the x-axis, and determine the points where the resulting morphisms are local
isomorphisms.
Example 5.17. . The blowups of A3 along the union of the x- with the y-axis,
respectively along the cusp, with ideals (xy, z) and (x3 − y 2 , z), are singular.
6. Lecture VI: Transforms of Ideals and Varieties under Blowup
Throughout this section, π : W 0 → W denotes the blowup of a variety W along a
closed subvariety Z, with exceptional divisor E = π −1 (Z) defined by the principal
ideal IE of OW 0 . Let π ∗ : OW → OW 0 be the dual homomorphism of π. Let X ⊂ W
be a closed subvariety, and let I be an ideal on W . Several of the subsequent definitions and results can be extended to the case of arbitrary birational morphisms,
taking for Z the complement of the open subset of W where the inverse map of π
is defined.
Definition 6.1. The inverse image X ∗ = π −1 (X) of X and the extension
I = π ∗ (I) = I · OW 0 of I are called the total transform of X and I under π.
For f ∈ OW , denote by f ∗ its image π ∗ (f ) in OW 0 . The ideal I ∗ is generated by
all transforms f ∗ for f varying in I. If I is the ideal defining X in W , the ideal
I ∗ defines X ∗ in W 0 . In particular, the total transform of the center Z equals
the exceptional divisor E, and W ∗ = W 0 . In the category of schemes, the total
transform will in general be non-reduced when considered as a subscheme of W 0 .
∗

BLOWUPS AND RESOLUTION

31

Definition 6.2. The Zariski closure of π −1 (X \ Z) in W 0 is called the strict
transform of X under π and denoted by X s , also known as the proper or birational
transform. The strict transform is a closed subvariety of the total transform X ∗ .
The difference X ∗ \ X s is contained in the exceptional locus E. If Z ⊂ X is
e of X
contained in X, the strict transform X s of X in W 0 equals the blowup X
along Z, cf. Prop. 5.1 and its corollary. If the center Z coincides with X, the strict
transform X s is empty.
Let IU denote the restriction of an ideal I to the open set U = W \ Z. Set
U 0 = π −1 (U ) ⊂ W 0 and let τ : U 0 → U be the restriction of π to U 0 . The strict
transform I s of the ideal I is defined as τ ∗ (IU ) ∩ OW 0 . If the ideal I defines X in
W , the ideal I s defines X s in W 0 . It equals the union of colon ideals
[
i
Is =
(I ∗ : IE
).
i≥0

Let h be an element of O
at a0 ,

W 0 ,a0

defining E locally in W 0 at a point a0 . Then, locally

I s = (f s , f ∈ I),
where the strict transform f of f is defined at a0 and up to multiplication by
invertible elements in OW 0 ,a0 through f ∗ = hk · f s with maximal exponent k. The
value of k is the order of f ∗ along E, cf. def. 8.4. By abuse of notation this is
written as f s = h−k · f ∗ = h−ordZ f · f ∗ .
s

Lemma 6.3. Let f : R → S be a ring homomorphism, I an ideal of R and s an
element of R, with induced ring homomorphism fs : Rs → Sf (s) . Let I e = f (I) · S
and (I · Rs )e = fs (I · Rs ) · Sf (s) denote the respective extensions of ideals. Then
S
e
i
e
i≥0 (I : f (s) ) = (I · Rs ) ∩ S.
S
Proof. Let u ∈ S. Then u ∈ i≥0 (I e : f (s)i ) if and only if uf (s)i ∈ I e for
P
some i ≥ 0, say uf (s)i = j aj f (xj ) for elements xj ∈ I and aj ∈ S. Rewrite this
P
x

as u = j aj f ( sij ). This just means that u ∈ (I · Rs )e .
Remark 6.4. If I is generated locally by elements f1 , . . . , fk of OW , then I s
contains the ideal generated by the strict transforms f1s , . . . , fks of f1 , . . . , fk , but
the inclusion can be strict, see the examples below.
Definition 6.5. Let K[x] = K[x1 , . . . , xn ] be the polynomial ring over K,
considered with the natural grading given by the degree. Denote by in(g) the
homogeneous form of lowest degree of a non-zero polynomial g of K[x], called the
initial form of g. Set in(0) = 0. For a non-zero ideal I, denote by in(I) the ideal
generated by all initial forms in(g) of elements g of I, called the initial ideal of I.
Elements g1 , . . . , gk of an ideal I of K[x] are a Macaulay basis of I if their initial
forms in(g1 ), . . . , in(gk ) generate in(I). In [Hir64] III.1, def. 3, p. 208, such a basis
was called a standard basis, which is now used for a slightly more specific concept,
see Rem. 6.7 below. By noetherianity of K[x], any ideal possesses a Macaulay basis.
Proposition 6.6. (Hironaka) The strict transform of an ideal under blowup in
a regular center is generated by the strict transforms of the elements of a Macaulay
basis of the ideal.
Proof. ([Hir64], III.2, Lemma 6, p. 216, and III.6, Thm. 5, p. 238) If I ⊂ J are
two ideals of K[[x]] such that in(I) = in(J) then they are equal, I = J. This holds at

32

HERWIG HAUSER

least for degree compatible monomial orders, due to the Grauert-Hironaka-Galligo
division theorem. Therefore it has to be shown that in(g1s ), . . . , in(gks ) generate
in(I s ). But in(I s ) = (in(I))s , and the assertion follows.

Remark 6.7. The strict transform of a Macaulay basis at a point a0 of W 0 need
no longer be a Macaulay basis. This is however the case if the Macaulay basis is
reduced and the sequence of its orders has remained constant at a0 , cf. [Hir64] III.8,
Lemma 20, p. 254. More generally, taking on K[x] instead of the grading by degree
a grading so that all homogeneous pieces are one-dimensional and generated by
monomials (i.e., a grading induced by a monomial order on Nn ), the initial form of
a polynomial and the initial ideal are both monomial. In this case Macaulay bases
are called standard bases. A standard basis g1 , . . . , gk is reduced if no monomial of
the tails gi − in(gi ) belongs to in(I). If the monomial order is degree compatible,
i.e., the induced grading a refinement of the natural grading of K[x] by degree,
the strict transforms of the elements of a standard basis of I generate the strict
transform of the ideal.
Definition 6.8. Let I be an ideal on W and let c ≥ 0 be a natural number
less than or equal to the order d of I along the center Z, cf. def. 8.4. Then I ∗ has
c
order ≥ c along E. There exists a unique ideal I ! of OW 0 such that I ∗ = IE
· I !,
called the controlled transform of I with respect to the control c. It is not defined
for values of c > d. In case that c = d attains the maximal value, I ! is denoted by
−ordZ I
−d
I g and called the weak transform of I. It is written as I g = IE
· I ∗ = IE
· I ∗.
Remark 6.9. The inclusions I ∗ ⊂ I g ⊂ I ! ⊂ I s are obvious. The components
of V (I g ) which are not contained in V (I s ) lie entirely in the exceptional divisor
E, but can be strictly contained. For principal ideals, I g and I s coincide. When
∗
of the total
the transforms are defined scheme-theoretically, the reduction Xred
∗
transform X of X consists of the union of E with the strict transform X s .
Definition 6.10. A local flag F on W at a is a chain F0 = {a} ⊂ F1 ⊂ . . . ⊂
Fn = W of regular closed subvarieties, respectively subschemes, Fi of dimension i
of an open neighbourhood U of a in W . Local coordinates x1 , . . . , xn on W at a
are called subordinate to the flag F if Fi = V (xi+1 , . . . , xn ) locally at a. The flag
F at a is transversal to a regular subvariety Z of W if each Fi is transversal to Z
at a [Hau04, Pan06].
Proposition 6.11. Let π : W 0 → W be the blowup of W along a center Z
transversal to a flag F at a ∈ Z. Let x1 , . . . , xn be local coordinates on W at a
subordinate to F. At each point a0 of E above a there exists a unique local flag F 0
such that the coordinates x01 , . . . , x0n on W 0 at a0 induced by x1 , . . . , xn as in def.
4.12 are subordinate to F 0 [Hau04] Thm. 1.
Definition 6.12. The flag F 0 is called the transform of F under π.
Proof. It suffices to define Fi0 at a0 by x0i+1 , . . . , x0n . For point blowups in W ,
the transform of F is defined as follows. The point a0 ∈ E is determined by a line
L in the tangent space Ta W of W at a. Let k ≤ n be the minimal index for which
Ta Fk contains L. For i < k, choose a regular (i + 1)-dimensional subvariety Hi of
W with tangent space L + Ta Fi at a. In particular, Ta Hk−1 = Ta Fk . Let His be
the strict transform of Hi in W 0 . Then set
Fi0 = E ∩ His

for i < k,

BLOWUPS AND RESOLUTION

Fi0 = Fis
to get the required flag F 0 at a0 .

33

for i ≥ k,


Examples
Example 6.13. Blow up A2 in 0 and compute the inverse image of the zerosets
of x + y 2 = 0, xy = 0 and x(x − y 2 ) = 0, as well as their strict transforms.
2

Example 6.14. . Compute the strict transform of X = V (x2 −y 3 , xy−z 3 ) ⊂ A3
under the blowup of the origin.
Example 6.15. Determine the total, weak and strict transform of X = V (x2 −
y , z 3 ) ⊂ A3 under the blowup of the origin. Clarify the algebraic and geometric
differences between them.
3

Example 6.16. Blow up A3 along the curve y 2 − x3 + x = z = 0 and compute
the strict transform of the lines x = z = 0 and y = z = 0.
Example 6.17. Let I1 and I2 be ideals of K[x] of order c1 and c2 at 0. Take
the blowup of An at zero. Show that the weak transform of I1c2 + I2c1 is the sum of
the weak transforms of I1c2 and I2c1 .
Example 6.18. . For W = A3 , a flag at a point a consists of a regular curve F1
through a and contained in a regular surface F2 . Blow up the point a in W , so that
E ' P2 is the projective plane. The induced flag at a point a0 above a depends on
the location of a on E: At the intersection point p1 of the strict transform C1 = F1s
of F1 with E, the transformed flag F 0 is given by F1s ⊂ F2s . Along the intersection
C2 of F2s with E, the flag F 0 is given at each point p2 different from p1 by C2 ⊂ F2s .
At any point p3 not on C2 the flag F 0 is given by C3 ⊂ E, where C3 is the projective
line in E through p1 and p3 .
Example 6.19. . Blowing up a regular curve Z in W = A3 transversal to F
there occur six possible configurations of Z with respect to F. Denoting by L the
plane in the tangent space Ta W of W at a corresponding to the point a0 in E above
a, these are: (1) Z = F1 and L = Ta F2 , (2) Z = F1 and L 6= Ta F2 , (3) Z 6= F1 ,
Z ⊂ F2 and L = Ta F2 , (4) Z 6= F1 , Z ⊂ F2 and L 6= Ta F2 , (5) Z 6⊂ F2 and
Ta F1 ⊂ L, (6) Z 6⊂ F2 and Ta F1 6⊂ L. Determine in each case the flag F 0 .
e n → An be the blowup of An in 0 and let a0 be the
Example 6.20. Let A
e
origin of the xn -chart of An . Compute the total and strict transforms
g ∗ and g s for
Q
d
e
d
g = x1 + . . . + xn−1 + xn for e = d, 2d − 1, 2d, 2d + 1 and g = i6=j (xi − xj ).
Example 6.21. Determine the total, weak and strict transform of X = V (x2 −
y , z 3 ) ⊂ A3 under the blowup of A3 at the origin. Point out the geometric differences between the three types of transforms.
3

Example 6.22. . The inclusion I g ⊂ I s can be strict. Blow up A2 at 0, and
e 2 the transforms of I = (x2 , y 3 ). Show that I g = (x2 , y),
consider in the y-chart of A
s
2
I = (x , 1) = K[x, y].
Example 6.23. . Let X = V (f ) be a hypersurface in An and Z a regular
closed subvariety which is contained in the locus of points of X where f attains its
e n → An be the blowup along Z and let X 0 = V (f 0 ) be
maximal order. Let π : A
the strict transform of X. Show that for points a ∈ Z and a0 ∈ E with π(a0 ) = a
the inequality orda0 f 0 ≤ orda f holds.

34

HERWIG HAUSER

7. Lecture VII: Resolution Statements
Definition 7.1. A non-embedded resolution of the singularities of a variety X
e together with a proper birational morphism π : X
e →X
is a non-singular variety X
e
which induces a biregular isomorphism π : X \ E → X \ Sing(X) outside E =
π −1 (Sing(X)).
Remark 7.2. Requiring properness excludes trivial cases as e.g. taking for
e the locus of regular points of X and for π the inclusion map. One may ask
X
for additional properties: (a) Any automorphism ϕ : X → X of X shall lift to an
e →X
e of X
e which commutes with π, i.e., π◦ϕ
automorphism ϕ
e:X
e = ϕ◦π. (b) If X is
defined over K and K ⊂ L is a field extension, any resolution of XL = X ×K Spec(L)
shall induce a resolution of X = XK .
Definition 7.3. A local non-embedded resolution of a variety X at a point
e a0 ) of a non-singular variety X
e together with a local morphism
a is the germ (X,
0
e
e and X.
π : (X, a ) → (X, a) inducing an isomorphism of the function fields of X
Definition 7.4. Let X be an affine irreducible variety with coordinate ring
R = K[X]. A (local, ring-theoretic) non-embedded resolution of X is a ring extene of R into a regular ring R
e having the same quotient field as R.
sion R ,→ R
Definition 7.5. Let X be a subvariety of a regular ambient variety W . An
f → W
embedded resolution of X consists of a proper birational morphism π : W
f
from a regular variety W onto W which is an isomorphism over W \ Sing(X) such
that the strict transform X s of X is regular and the total transform X ∗ = π −1 (X)
of X has simple normal crossings.
Definition 7.6. A strong resolution of a variety X is, for each closed embedf → W
ding of X into a regular variety W , a birational proper morphism π : W
satisfying the following five properties [EH02]:
f and the strict transform X s of X are regular,
Embeddedness. The variety W
f has simple normal crossings.
and the total transform X ∗ = π −1 (X) of X in W
Equivariance. Let W 0 → W be a smooth morphism and let X 0 be the inverse
f 0 → W 0 induced by π : X
e → W by taking
image of X in W 0 . The morphism π 0 : W
0
e
fiber product of X and W over W is an embedded resolution of X 0 .
e → X of π to X does not depend on the choice
Excision. The restriction τ : X
of the embedding of X in W .
Explicitness. The morphism π is a composition of blowups along regular centers
which are transversal to the exceptional loci created by the earlier blowups.
Effectiveness. There exists, for all varieties X, a local upper semicontinuous
invariant inva (X) in a well-ordered set Γ, depending only and up to isomorphism
of the completed local rings of X at a, such that: (a) inva (X) attains its minimal
value if and only if X is regular at a (or has normal crossings at a); (b) the top
locus S of inva (X) is closed and regular in X; (c) blowing up X along S makes
inva (X) drop at all points a0 above the points a of S.
Remark 7.7. (a) Equivariance implies the economy of the resolution, i.e., that
π : X s → X is an isomorphism outside Sing(X). It also implies that π commutes

BLOWUPS AND RESOLUTION

35

with open immersions, localization, completion, automorphisms of W stabilizing X
and taking cartesian products with regular varieties.
(b) One may require in addition that the centers of a resolution are transversal
to the inverse images of a given normal crossings divisor D in W , the boundary.
Definition 7.8. Let I be an ideal on a regular ambient variety W . A logf → W from a regular variety
resolution of I is a proper birational morphism π : W
f
W onto W which is an isomorphism over W \ Sing(I) such that I ∗ = π −1 (I) is a
f.
locally monomial ideal on W

Examples
Example 7.9. The blowup of the cusp X : x2 = y 3 in A2 at 0 produces a
non-embedded resolution. Further blouwps give an embedded resolution.
Example 7.10. . Determine the geometry at 0 of the hypersurfaces in A4
defined by the following equations:
(a) x + x7 − 3yw + y 7 z 2 + 17yzw5 = 0,
(b) x + x5 y 2 − 3yw + y 7 z 2 + 17yzw5 = 0,
(c) x3 y 2 + x5 y 2 − 3yw + y 7 z 2 + 17yzw5 = 0.
Example 7.11. Let X be the variety in A3C given by the equation (x2 − y 3 )2 =
(z − y 2 )3 . Show that the map α : A3 → A3 : (x, y, z) → (u2 z 3 , uyz 2 , uz 2 ), with
u(x, y) = x(y 2 − 1) + y, resolves the singularities of X. What is the inverse image
α−1 (Z)? Produce instructive pictures of X over R.
2

Example 7.12. Consider the inverse images of the cusp X = V (y 2 − x3 ) in A2
under the maps πx , πy : A2 → A2 , πx (x, y) = (x, xy), πy (x, y) = (xy, y). Factor the
maximal power of x, respectively y, from the equation of the inverse image of X
and show that the resulting equation defines in both cases a regular variety. Apply
the same process to the variety E8 = V (x2 + y 3 + z 5 ) ⊂ A3 repeatedly until all
resulting equations define non-singular varieties.
Example 7.13. Let R be the coordinate ring of an irreducible plane algebraic
e of R in the field of fractions of R is a regular ring
curve X. The integral closure R
e is the normalization of X [Mum99]
and thus resolves R. The resulting curve X
III.8, [dJP00] 4.4.
Example 7.14. . Consider a cartesian product X = Y × Z with Z a regular
variety. Show that a resolution of X can be obtained from a resolution Y 0 of Y by
taking the cartesian product Y 0 × Z of Y 0 with Z.
Example 7.15. Let X and Y be two varieties (schemes, analytic spaces) with
singular loci Sing(X) and Sing(Y ) respectively. Suppose that X 0 and Y 0 are regular
varieties (schemes, analytic spaces, within the same category as X and Y ) together
with proper birational morphisms π : X 0 → X and τ : Y 0 → Y which define
resolutions of X and Y respectively, and which are isomorphisms outside Sing(X)
and Sing(Y ). There is a naturally defined proper birational morphism f : X 0 ×Y 0 →
X × Y giving rise to a resolution of X × Y .

36

HERWIG HAUSER

8. Lecture VIII: Invariants of Singularities
Definition 8.1. A stratification of an algebraic variety X is a decomposition
of X into finitely many disjoint locally closed subvarieties Xi , called the strata,
[
˙
X=
Xi ,
i

such that the boundaries X i \ Xi of strata are unions of strata. This last property
is called the frontier condition. Two strata are called adjacent if one lies in the
closure of the other.
Definition 8.2. A local invariant on an algebraic variety X is a function
inv(X) : X → Γ from X to a well-ordered set (Γ, ≤) which associates to each point
a ∈ X an element inva (X) depending only on the formal isomorphism class of X at
bX,a ' O
bX,b , then inva (X) =
a: If (X, a) and (X, b) are formally isomorphic, viz O
invb (X). Usually, the ordering on Γ will also be total: for any c, d ∈ Γ either c ≤ d
or d ≤ c holds. The invariant is upper semicontinuous along a subvariety S of X if
for all c ∈ Γ, the sets
topS (inv, c) = {a ∈ S, inva (X) ≥ c}
are closed in S. If S = X, the map inv(X) is called upper semicontinuous.
Remark 8.3. The upper semicontinuity signifies that the value of inva (X)
can only go up or remain the same when a approaches a limit point. In the case
of schemes, the value of inv(X) also has to be defined and taken into account at
non-closed points of X.
Definition 8.4. Let X be a subvariety of a not necessarily regular ambient
variety W defined by an ideal I, and let Z be an irreducible subvariety of W defined
by the prime ideal J. The order of X or I in W along Z or with respect to J is the
maximal integer k = ordZ (X) = ordZ (I) such that IZ ⊂ JZk , where IZ = I · OW,Z
and JZ = J · OW,Z denote the ideals generated by I and J in the localization OW,Z
of W along Z. If Z = {a} is a point of W , the order of X and I at a is denoted by
orda (X) = orda (I) or ordma (X) = ordma (I).
Definition 8.5. Let R be a local ring with maximal ideal m. Let k ∈ N be
an integer. The k-th symbolic power J (k) of a prime ideal J is defined as the ideal
generated by all elements x ∈ R for which there is an element y ∈ R \ J such that
y · xk ∈ J k . Equivalently, J (k) = J k · RJ ∩ R.
Remark 8.6. The symbolic power is the smallest J-primary ideal containing
J k . If J is a complete intersection, the ordinary power J k and the symbolic power
J (k) coincide [ZS75] IV, [Hoc73], §12, [Pel88].
Proposition 8.7. Let X be a subvariety of a not necessarily regular ambient
variety W defined by an ideal I, and let Z be an irreducible subvariety of W defined
by the prime ideal J. The order of X along Z is the maximal integer k such that
I ⊂ J (k) .
Proof. This follows from the equality J k · RJ = (J · RJ )k .



Proposition 8.8. Let R be a noetherian local ring with maximal ideal m, and
b denote its completion with maximal ideal m
b Let I be an ideal of R,
let R
b = m · R.
b Then ordm (I) = ordm
b
with completion Ib = I · R.
(
I).
b

BLOWUPS AND RESOLUTION

37

b
Proof. If I ⊂ m k , then also Ib ⊂ m
b k , and hence ordm (I) ≤ ordm
b (I). ConT
i
versely, m = m
b ∩ R and i≥0 (I + m ) = Ib ∩ R by Lemma 2.26. Hence, if Ib ⊂ m
b k,
b
then I ⊂ Ib ∩ R ⊂ m
b k ∩ R = m k , so that ordm (I) ≥ ordm

b (I).
Definition 8.9. Let X be a subvariety of a regular variety W , and let a be a
point of W . The local top locus topa (X) of X at a with respect to the order is the
stratum S of points of an open neighborhood U of a in W where the order of X
equals the order of X at a. The top locus top(X) of X with respect to the order
is the (global) stratum S of points of W where the order of X attains its maximal
value. For c ∈ N, define topa (X, c) and top(X, c) as the local and global stratum
of points of W where the order of X is at least c.
Remark 8.10. The analogous definition holds for ideals on W and can be made
for other local invariants. By the upper semicontinuity of the order, the local top
locus of X at a is locally closed in W , and the top locus of X is closed in W .
Proposition 8.11. The order of a variety X or an ideal I in a regular variety
W at points of W defines an upper semicontinuous local invariant on W .
Proof. In characteristic zero, the assertion follows from the next proposition.
For the case of positive characteristic, see [Hir64] III.3, Cor. 1, p. 220.

Proposition 8.12. Over fields of zero characteristic, the local top locus topa (I)
of an ideal I at a is defined by the vanishing of all partial derivatives of elements
of I up to order o − 1, where o is the order of I at a.
Proof. In zero characteristic, a polynomial has order o at a point a if and
only if all its partial derivatives up to order o − 1 vanish at a.

Proposition 8.13. Let X be a subvariety of a regular ambient variety W . Let
Z be a non-singular subvariety of W and a a point on Z such that locally at a the
order of X is constant along Z, say equal to d = orda X = ordZ X. Consider the
blowup π : W 0 → W of W along Z with exceptional divisor E = π −1 (Z). Let a0 be
a point on E mapping under π to a. Denote by X ∗ , X g and X s the total, weak
and strict transform of X respectively (def. 6.1 and 6.2). Then, locally at a0 , the
order of X ∗ along E is d, and
orda0 X s ≤ orda0 X g ≤ d.
Proof. By Prop. 5.4 there exist local coordinates x1 , . . . , xn of W at a such
that Z is defined locally at a by x1 = . . . = xk = 0 for some k ≤ n, and such that
a0 is the origin of the x1 -chart of the blowup. Let I ⊂ OW,a be the local
P ideal of
X in W at a, and let f be an element of I. It has an expansion f = α∈Nn cα xα
with respect to the coordinates x1 , . . . , xn , with coefficients cα ∈ K.
Set α+ = (α1 , . . . , αk ). Since the order of X is constant along Z, the inequality
|α+ | = α1 + . . . + αk ≥ d holds whenever cα 6= 0. There is an element f with an
exponent α such that cα 6= 0 and such that |α| = |α+ | = d. The total transform
X ∗ and the weak transform X g are given locally at a0 by the ideal generated by
all
X
|α |
αn
2
f∗ =
cα x1 + xα
2 . . . xn ,
α∈Nn

38

HERWIG HAUSER

respectively
fg =

X

|α+ |−d α2
x2

cα x 1

n
. . . xα
n ,

α∈Nn

for f varying in I. The exceptional divisor E is given locally at a0 by the equation
x1 = 0. This implies that, locally at a0 , ordE f ∗ ≥ d for all f ∈ I and ordE f ∗ = d
for the special f chosen above with |α| = |α+ | = d. Therefore ordE X ∗ = d locally
at a0 .
Since orda0 f g ≤ |α− | ≤ d for the chosen f , it follows that orda0 X g ≤ d. The
ideal I s of the strict transform X s contains the ideal I g of the weak transform X g ,
thus also orda0 X s ≤ orda0 X g .

Corollary 8.14. If the order of X is globally constant along Z, the order of
X ∗ along E is globally equal to d.
Definition 8.15. Let X be a subvariety of a regular variety W , and let W 0 →
W be a blowup with center Z. Denote by X 0 the strict or weak transform in W 0 .
A point a0 ∈ W 0 above a ∈ Z is called infinitesimally near to a or equiconstant if
orda0 X 0 = orda X.
Definition 8.16. Let X be a variety defined over a field K, and let a be a
point of W . The Hilbert-Samuel function HSa (X) : N → N of X at a is defined by
k+1
k
HSa (X)(k) = dimK (mX,a
/mX,a
),

where mX,a denotes the maximal ideal of the local ring OX,a of X at a. If X is
a subvariety of a regular variety W defined by an ideal I, with local ring OX,a =
OW,a /I, one also writes HSa (I) for HSa (X).
Remark 8.17. The Hilbert-Samuel function does not depend on the embedding
of X in W . There exists a univariate polynomial P (t) ∈ Q[t], called the HilbertSamuel polynomial of X at a, such that HSa (X)(k) = P (k) for all sufficiently
large k [Ser00]. The Hilbert-Samuel polynomial provides local information on the
singularity of X at a point as e.g. the multiplicity and the local dimension.
Theorem 8.18. The Hilbert-Samuel function of a subvariety X of a regular
variety W defines an upper semicontinuous local invariant on X with respect to the
lexicographic ordering of integer sequences.
Proof. [Ben70] Thm. 4, p. 82, cf. also [Hau04].



Theorem 8.19. Let π : W 0 −→ W be the blowup of W along a non-singular
center Z. Let I be an ideal of OW . Assume that the Hilbert-Samuel function of I
is constant along Z, and denote by I s the strict transform of I in W 0 . Let a0 ∈ E
be a point in the exceptional divisor mapping under π to a. Then
HSa0 (I s ) ≤ HSa (I)
holds with respect to the lexicographic ordering of integer sequences.
Proof. [Ben70] Thm. 0, [Hau04].



Theorem 8.20. (Zariski-Nagata, [Hir64] III.3, Thm. 1, p. 218) Let S ⊂ T be
closed irreducible subvarieties of a closed subvariety X of a regular ambient variety
W . The order of X in W along T is less than or equal to the order of X in W
along S.

BLOWUPS AND RESOLUTION

39

Remark 8.21. In the case of schemes, the assertion says that if X is embedded
in a regular ambient scheme W , and a, b are points of X such that a lies in in the
closure of b, then ordb X ≤ orda X.
Proof. The proof goes in several steps and relies on the resolution of curves.
Let R be a regular local ring, m its maximal ideal, p a prime ideal in R and I 6= 0 a
non-zero ideal in R. Denote by νp (I) the maximal integer ν ≥ 0 such that I ⊂ pν .
Recall that ordp (I) is the maximal integer n such that IRp ⊂ pn Rp or, equivalently,
I ⊂ p(ν) , where p(ν) = pν Rp ∩ R denotes the ν-th symbolic power of p. Thus
νp (I) ≤ ordp (I) and the inequality can be strict if p is not a complete intersection,
in which case the usual and the symbolic powers of p may differ. Write ν(I) = νm (I)
for the maximal ideal m so that νp (I) ≤ ν(I) and νp (I) ≤ ν(IRp ) = ordp (I).
The assertion of the theorem is equivalent to the inequality ν(IRp ) ≤ ν(I),
taking for R the local ring OW,S of W along S, for I the ideal of R defining X in
W along S and for p the ideal defining T in W along S.
If R/p is regular, then νp (I) = ν(IRp ) because pn Rp ∩ R = pn : The inclusion
n
p ⊆ pn Rp ∩ R is clear, so suppose that x ∈ pn Rp ∩ R. Choose y ∈ pn and s 6∈ p
such that xs = y. Then n ≤ νp (y) = νp (xs) = νp (x) + νp (s) = νp (x), hence x ∈ pn .
It follows that ν(IRp ) ≤ ν(I).
It remains to prove the inequality in the case that R/p is not regular. Since
R is regular, there is a chain of prime ideals p = p0 ⊂ . . . ⊂ pk = m in R with
dim(Rpi /pi−1 Rpi ) = 1 for 1 ≤ i ≤ n. By induction on the dimension of R/p, it
therefore suffices to prove the inequality in the case dim(R/p) = 1. Since the order
remains constant under completion of a local ring by Prop. 8.8, it can be assumed
that R is complete.
By the resolution of curve singularities there exists a sequence of complete
regular local rings R = R0 → R1 → . . . → Rk with prime ideals p0 = p and pi ⊂ Ri
with the following properties:
(1) Ri+1 is the blowup of Ri with center the maximal ideal mi of Ri .
(2) (Ri+1 )pi+1 = (Ri )pi .
(3) Rk /pk is regular.
Set I0 = I and let Ii+1 be the weak transform of Ii under Ri → Ri+1 . Set R0 = Rk ,
I 0 = Ik and p0 = pk . The second condition on the blowups Ri of Ri−1 implies
ν(IRp ) = ν(I 0 Rp0 0 ). By Prop. 8.13 one knows that ν(I 0 ) ≤ ν(I). Further, since R0 /p0
is regular, ν(I 0 Rp0 0 ) ≤ ν(I 0 ). Combining these inequalities yields ν(IRp ) ≤ ν(I). 
Proposition 8.22. An upper semicontinuous local invariant inv(X) : X → Γ
with values in a totally well ordered set Γ induces, up to refinement, a stratification
of X with strata Xc = {a ∈ X, inva (X) = c}, for c ∈ Γ.
Proof. For a given value c ∈ Γ, let S = {a ∈ X, inva (X) ≥ c} and T = {a ∈
X, inva (X) = c}. The set S is a closed subset of X. If c is a maximal value of
the invariant on X, the set T equals S and is thus a closed stratum. If c is not
maximal, let c0 > c be an element of Γ which is minimal with c0 > c. Such elements
exist since Γ is well-ordered. As Γ is totally ordered, c0 is unique. Therefore
S 0 = {a ∈ X, inva (X) ≥ c0 } = {a ∈ X, inva (X) > c} = S \ T
is closed in X. Therefore T is open in S and hence locally closed in X. As S
is closed in X and T ⊂ S, the closure T is contained in S. It follows that the

40

HERWIG HAUSER

boundary T \ T is contained in S 0 and closed in X. Refine the strata by replacing
S 0 by T \ T and S 0 \ T to get a stratification.


Examples
Example 8.23. The singular locus S = Sing(X) of a variety is closed and
properly contained in X. Let X1 = Reg(X) be the set of regular points of X.
It is open and dense in X. Repeat the procedure with X \ X1 = Sing(X). By
noetherianity, the process eventually stops, yielding a stratification of X in regular
strata. The strata of locally minimal dimension are closed and non-singular. The
frontier condition holds, since the regular points of a variety are dense in the variety,
and hence X 1 = X = X1 ∪˙ Sing(X).
Example 8.24. There exists a threefold X whose singular locus Sing(X) consists of two components, a non-singular surface and a singular curve meeting the
surface at a singular point of the curve. The stratification by iterated singular loci
as in the preceding example satisfies the frontier condition.
Example 8.25. . Give an example of a variety whose stratification by the
iterated singular loci has four different types of strata.
Example 8.26. Find interesting stratifications for three three-folds.
Example 8.27. The stratification of an upper semicontinuous invariant need
not be finite. Take for Γ the set X underlying a variety X with the trivial (partial)
ordering a ≤ b if and only if a = b.
Example 8.28. Let X be the non-reduced scheme defined by xy 2 = 0 in A2 .
The order of X at points of the y-axis outside 0 is 1, at points of the x-axis outside
0 it is 2, and at the origin it is 3. The local embedding dimension equals 1 at points
of the y-axis outside 0, and 2 at all points of the x-axis.
Example 8.29. Determine the stratification given by the order for the following varieties. If the smallest stratum is regular, blow it up and determine the
stratification of the strict transform. Produce pictures and describe the geometric
changes.
(a) Cross: xyz = 0,
(b) Whitney umbrella: x2 − yz 2 = 0,
(c) Kolibri: x3 + x2 z 2 − y 2 = 0,
(d) Xano: x4 + z 3 − yz 2 = 0,
(e) Cusp & Plane: (y 2 − x3 )z = 0.
Example 8.30. . Consider the order ordZ I of an ideal I in K[x1 , . . . , xn ]
along a closed subvariety Z of An , defined as the order of I in the localization
of K[x1 , . . . , xn ]J of K[x1 , . . . , xn ] at the ideal J defining Z in An . Express this in
terms of the symbolic powers J (k) = J k · K[x1 , . . . , xn ]J ∩ K[x1 , . . . , xn ] of J. Give
an example to show that ordZ I need not coincide with the maximal power k such
that I ⊂ J k . If J defines a complete intersection, the ordinary powers J k and the
symbolic powers J (k) coincide. This holds in particular when Z is a coordinate
subspace of An [ZS75] IV, §12, [Hoc73],[Pel88].
Example 8.31. . 2 The ideal I = (y 2 − xz, yz − x3 , z 2 − x2 y) of K[x, y, z] has
symbolic square I (2) which strictly contains I 2 .
2 This example is due to Macaulay and was kindly communicated by M. Hochster.

BLOWUPS AND RESOLUTION

41

Example 8.32. . The variety defined by I = (y 2 − xz, yz − x3 , z 2 − x2 y) in A3
has parametrization t 7→ (t3 , t4 , t5 ). Let f = x5 + xy 3 + z 3 − 3x2 yz. For all maximal
ideals m which contain I, f ∈ m 2 and thus, ordm f ≥ 2. But f 6∈ I 2 . Since xf ∈ I 2
and x does not belong to I, it follows that f ∈ I 2 RI and thus ordI f ≥ 2, in fact,
ordI f = 2.
Example 8.33. The order of an ideal depends on the embedding of X in W .
If X is not minimally embedded locally at a, the order of X at a is 1 and not
significant for measuring the complexity of the singularity of X at a.
Example 8.34. Associate to a stratification of a variety the so called Hasse
diagram, i.e., the directed graph whose nodes and edges correspond to strata, respectively to the adjacency of strata. Determine the Hasse diagram for the surface
X given in A4 as the cartesian product of the cusp C : x2 = y 3 with the node D :
x2 = y 2 +y 3 . Then project X to A3 by means of A4 → A3 , (x, y, z, w) 7→ (x, y+z, w)
and compute the Hasse diagram of the image Y of X under this projection.
Example 8.35. Show that the order of a hypersurface, the dimension and
the Hilbert-Samuel function of a variety, the embedding-dimension of a variety
and the local number of irreducible components are invariant under local formal
isomorphisms, and determine whether they are upper or lower semicontinuous. How
does each of these invariants behave under localization and completion?
Example 8.36. Take inva (X) = dima (X), the dimension of X at a. It is constant on irreducible varieties, and upper semicontinuous on arbitrary ones, because
at an intersection point of several components, dima (X) is defined as the maximum
of the dimensions of the components.
Example 8.37. Take inva (X) = the number of irreducible components of X
passing through a. If the components carry multiplicities as e.g. a divisor, one may
alternatively take the sum of the multiplicities of the components passing through
a. Both options produce an upper semicontinuous local invariant.
Example 8.38. Take inva (X) = embdima (X) = dim Ta X, the local embedding dimension of X at a. It is upper semicontinuous. At regular points, it equals
the dimension of X at a, at singular points it exceeds this dimension.
Example 8.39. . Consider for a given coordinate system x, y1 , . . . , yn on An+1
a polynomial of order c at 0 of the form
g(x, y1 , . . . , yn ) = xc +

c−1
X

gi (y) · xi .

i=0

Express the order and the top locus of g nearby 0 in terms of the orders of the
coefficients gi .
Example 8.40. Take inva (X) = HSa (X), the Hilbert-Samuel function of X
at a. The lexicographic order on integer sequences defines a well-ordering on Γ =
{γ : N → N}. Find two varieties X and Y with points a and b where HSa (X) and
HSb (Y ) only differ from the fourth entry on.
Example 8.41. Take inva (X) = νa∗ (X) the increasingly ordered sequence of
the orders of a minimal Macaulay basis of the ideal I defining X in W at a [Hir64]
III.1, def. 1 and Lemma 1, p. 205. It is upper semicontinuous but does not behave

42

HERWIG HAUSER

well under specialization [Hir64] III.3, Thm. 2, p. 220 and the remark after Cor. 2,
p. 220, see also [Hau98], ex. 12.
Example 8.42. Let a monomial order <ε on Nn be given, i.e., a total ordering
with minimal element 0 which is compatible with addition in Nn . The initial ideal
in(I) of an ideal I of K[[x1 , . . . , xn ]] with respect to <ε is the ideal generated by all
initial monomials of elements f of I, i.e., the monomials with minimal exponent
with respect to <ε in the series expansion of f . The initial monomial of 0 is 0.
The initial ideal is a monomial ideal in K[[x1 , . . . , xn ]] and depends on the
choice of coordinates. If the monomial order <ε is compatible with degree, in(I)
determines the Hilbert-Samuel function HSa (I) of I [Hau04].
Order monomial ideals totally by comparing their increasingly ordered unique
minimal monomial generator system lexicographically, where any two monomial
generators are compared with respect to <ε . If two monomial ideals have generator
systems of different length, complete the sequences of their exponents by a symbol
∞ so as to be able to compare them. This defines a well-order on the set of
monomial ideals.
Take for inva (X) the minimum min(I) or the maximum max(I) of the initial
ideal of the ideal I of X at a, the minimum and maximum being taken over all
choices of local coordinates, say regular parameter systems of K[[x1 , . . . , xn ]]. Both
exist and define local invariants which are upper semicontinuous with respect to
localization [Hau04] Thms. 3 and 8.
(a) The minimal initial ideal min(I) = minx {in(I)} over all choices of regular
parameter systems of K[[x1 , . . . , xn ]] is achieved for almost all regular parameter
systems.
(b)+ Let I be an ideal in K[x1 , . . . , xn ]. For a point a = (a1 , . . . , an ) ∈ An
denote by Ia the induced ideal in K[[x1 − an , . . . , xn − an ]]. The minimal initial
ideal min(Ia ) is upper semicontinuous when the point a varies.
(c) Compare the induced stratification of An with the stratification by the
Hilbert-Samuel function of I.
(d) Let Z be a regular center inside a stratum of the stratification induced by
e n → An along Z. Let
the initial ideal in(I), and consider the induced blowup A
0
0
a ∈ Z and a ∈ W be a point above a. Assume that the monomial order <ε is
compatible with degree. Show that mina (I) and maxa (I) do not increase when
passing to the strict transform of Ia at a0 [Hau04] Thm. 6.
Example 8.43. . Let (W 0 , a0 ) → (W, a) be the composition of two monomial
point blowups of W = A2 with respect to coordinates y, z, defined as follows. The
first is the blowup of A2 with center 0 considered at the origin of the y-chart, the
second has as center the origin of the y-chart and is considered at the origin of the
z-chart. Show that the order of the strict transform g 0 (y, z) at a0 of any non zero
polynomial g(y, z) in W is at most the half of the order of g(y, z) at a.
Example 8.44. (B. Schober) Let K be a non perfect field of characteristic 3,
let t ∈ K \ K2 be an element which is not a square. Stratify the hypersurface
X : x2 + y(z 2 + tw2 ) = 0 in A4 according to its singularities. Show that this
stratification does not provide suitable centers for a resolution.
Example 8.45. Let I = (x2 + y 17 ) be the ideal defining an affine plane curve
singularity X with singular locus the origin of W = A2 . The order of X at 0 is 2.
The blowup π : W 0 → W of W at the origin with exceptional divisor E is covered

BLOWUPS AND RESOLUTION

43

by two affine charts, the x- and the y-chart. The total and strict transform of I in
the x-chart are as follows:
I∗

=

(x2 + x17 y 17 ),

Is

=

(1 + x15 y 17 ).

At the origin of this chart, the order of I s has dropped to zero, so the strict
transform X s of X does not contain this point. Therefore it suffices to consider
the complement of this point in E, which lies entirely in the y-chart. There, one
obtains the following transforms:
I∗

=

(x2 y 2 + y 17 ),

Is

=

(x2 + y 15 ).

The origin a0 of the y-chart is the only singular point of X s . The order of X s at a0
has remained constant equal to 2. Find a local invariant of X which has improved
at a0 . Make sure that it does not depend on any choices.
Example 8.46. The ideal I = (x2 + y 16 ) has in the y-chart of the point blowup
of A2 at 0 the strict transform I s = (x2 + y 14 ). If the ground field has characteristic
2, the y-exponents 16 and 14 are irrelevant to measure an improvement of the
singularity because the coordinate change x 7→ x + y 8 transforms I into (x2 ).
Example 8.47. The ideal I = (x2 + 2xy 7 + y 14 + y 17 ) has in the y-chart the
strict transform I s = (x2 + 2xy 6 + y 12 + y 15 ). Here the drop of the y-exponent of
the last monomial from 17 to 15 is significant, whereas the terms 2xy 7 + y 14 can
be eliminated in any characteristic by the coordinate change x 7→ x + y 7 .
Example 8.48. The ideal I = (x2 + xy 9 ) = (x)(x + y 9 ) defines the union of two
non-singular curves in A2 which have a common tangent line at their intersection
point 0. The strict transform is I s = (x2 + xy 8 ). The degree of tangency, viz the
intersection multiplicity, has decreased.
Example 8.49. Let X and Y be two non-singular curves in A2 , meeting at one
point a. Show that there exists a sequence of point blowups which separates the
two curves, i.e., so that the strict transforms of X and Y do not intersect.
Example 8.50. Take I = (x2 + g(y)) where g is a polynomial in y with order
at least 3 at 0. The strict transform under point blowup in the y-chart is I s =
x2 + y −2 g(y), with order at 0 equal to 2 again. This suggests to take the order
of g as a secondary invariant. In characteristic 2 it may depend on the choice of
coordinates.
Example 8.51. Take I = (x2 + xg(y) + h(y)) where g and h are polynomials
in y of order at least 1, respectively 2, at 0. The order of I at 0 is 2. The strict
transform equals I s = (x2 + xy −1 g(y) + y −2 h(y)) of order 2 at 0. Here it is less
clear how to detect a secondary invariant which represents an improvement.
Example 8.52. Take I = (x2 + y 3 z 3 ) in A3 , and apply the blowup of A3 in
the origin. The strict transform of I in the y-chart equals I s = (x2 + y 4 z 3 ) and the
singularity seems to have gotten worse.
Example 8.53. . Let X be a surface in three-space, and S its top locus. Assume
that S is singular at a, and let X 0 be the blowup of X in a. Determine the top
locus of X 0 .

44

HERWIG HAUSER

9. Lecture IX: Hypersurfaces of Maximal Contact
Proposition 9.1. (Zariski) Let X be a subvariety of a regular variety W ,
defined over a field of arbitrary characteristic. Let W 0 → W be the blowup of W
along a regular center Z contained in the top locus of X, and let a be a point of
Z. There exists, in a neighbourhood U of a, a regular closed hypersurface V of U
whose strict transform V s in W 0 contains all points a0 of W 0 lying above a where
the order of the strict transform X s of X in W 0 has remained constant equal to
the order of X along Z.
Proof. Choose local coordinates x1 , . . . , xn of W at a. The associated graded
ring of OW,a can be identified with K[x1 , . . . , xn ]. Let in(I) ⊂ K[x1 , . . . , xn ] denote
the ideal of initial forms of elements of I at a. Apply a linear coordinate change
so that generators of in(I) are expressed with the minimal number of variables,
say x1 , . . . , xk , for some k ≤ n. Choose any 1 ≤ i ≤ k and define V in W at a by
xi = 0. It follows that the local top locus of X at a is contained in V . Hence Z ⊂ V ,
locally at a. Let a0 be a point of W 0 above a where the order of X has remained
constant. By Prop. 5.4 the local blowup (W 0 , a0 ) → (W, a) can be made monomial
by a suitable coordinate change. The assertion then follows by computation, cf. ex.
9.8 and [Zar44].

Definition 9.2. Let X be a subvariety of a regular variety W , and let a be
a point of W . A hypersurface of maximal contact for X at a is a regular closed
hypersurface V of an open neighborhood U of a in W such that
(1) V contains the local top locus S of X at a, i.e., the points of U where the
order of X equals the order of X at a.
(2) The strict transform V s of V under any blowup of U along a regular center
Z contained in S contains all points a0 above a where the order of X s has remained
constant equal to the order of X at a.
(3) Property (2) is preserved in any sequence of blowups with regular centers
contained in the successive top loci of the strict transforms of X along which the
order of X has remained constant.
a0 ∈ E ∩ V s ⊂ U 0 ⊂ W 0
↓

↓

↓π

a∈ Z ⊂ V ⊂U ⊂W
Definition 9.3. Assume that the characteristic of the ground field is zero.
Let X be a subvariety of a regular variety W defined locally at a point a of W by
the ideal I. Let o be the order of X at a. An osculating hypersurface for X at a
is a regular closed hypersurface V of a neighbourhood U of a in W defined by a
derivative of order o − 1 of an element f of order o of I [EH02].
Remark 9.4. The element f has necessarily order o at a, and its (o − 1)-st derivative has order 1 at a, so that it defines a regular hypersurface at a. The concept
is due to Abhyankar and Zariski [AZ55]. Abhyankar called the local isomorphism
constructing an osculating hypersurface V from a given regular hypersurface H of
W Tschirnhaus transformation. If H is given by xn = 0 for some coordinates
x1 , . . . , xn , this transformation eliminates from f all monomials whose xn -exponent

BLOWUPS AND RESOLUTION

45

is o − 1. The existence of osculating hypersurfaces was exploited systematically by
Hironaka in his proof of characteristic zero resolution [Hir64].
For each point a in X, osculating hypersurfaces contain locally at a the local
top locus S = topa (X), and their strict transform contain the equiconstant points
above a.
Proposition 9.5. (Abhyankar, Hironaka) Let X be a subvariety of a regular
variety W , and let a be a point of W . For ground fields of characteristic zero there
exist, locally at a in W , hypersurfaces of maximal contact for X. Any osculating
hypersurface V at a has maximal contact with X at a.
Proof. [EH02].



Remark 9.6. The assertion of the proposition does not hold over fields of
positive characteristic: R. Narasimhan, a student of Abhyankar, gave an example
of a hypersurface X in A4 over a field of characteristic 2 whose top locus is not
contained at 0 in any regular local hypersurface, and Kawanoue describes a whole
family of such varieties [Nar83, Kaw14], [Hau98], ex. 8. See also ex. 12.1 below. In
Narasimhan’s example, there is a sequence of point blowups for which there is no
regular local hypersurface V of A4 at 0 whose strict transforms contain all points
where the transforms of X have order 2 as at the beginning [Hau03] II.14, ex. 2, p.
388.
Remark 9.7. The existence of hypersurfaces of maximal contact in zero characteristic suggests to associate to X locally at a point a a variety Y defined by an
ideal J in the hypersurface V and to observe the behaviour of X under blowup by
means of the behaviour of Y under the induced blowup: the transform of Y under
the blowup of V along a center Z of W locally contained in V should equal the
variety Y 0 which is associated in a similar manner as Y to X to the strict transform
X s of X in V s at points a0 above a where the order of X s has remained constant.
The variety Y or the ideal J and their transforms may then help to measure the
improvement of X s at a0 by looking at their respective orders. This is precisely
the way how the proof of resolution in zero characteristic proceeds. The reasoning is also known as descent in dimension. The main problem in this approach is
to define properly the variety Y , respectively the ideal J, and to show that the
local construction is independent of the choice of V and patches to give a global
resolution algorithm.
a0 ∈ E ⊂ W 0

V0 ⊃Y0

↓

↓

↓

↓π

a∈ Z⊂W

↓ π|Y 0

V ⊃Y

Examples
Example 9.8. . Let π : (W 0 , a0 ) → (W, a) be a local blowup and let x1 , . . . , xn
be local coordinates on W at a such that π is monomial. Assume that x1 appears in
the initial form of an element f ∈ OW,a , and let V ⊂ W be the local hypersurface at
a defined by x1 = 0. If the order of the strict transform f s of f at a0 has remained
constant equal to the order of f at a, the point a0 belongs to the strict transform
V s of V .

46

HERWIG HAUSER

Example 9.9. Let the characteristic of the ground field be different from 3.
∂2
3
2
5
Apply the second order differential operator ∂ = ∂x
so
2 to f = x + x yz + z
that ∂f = 6x + 2yz. This defines a hypersurface of maximal contact for f at 0.
Replacing in f the variable x by x − 13 yz gives
1
2
g = x3 − xy 2 z 2 + y 3 z 3 + z 5 .
3
27
The term of degree 2 in x has been eliminated, and x = 0 defines an osculating
hypersurface for g at 0.
Example 9.10. . Assume that the characteristic is 0. Let XP⊂ An be a
d−1
hypersurface defined locally at the origin by a polynomial f = xdn + i=0 ai (y)xin
where y = (x1 , . . . , xn−1 ) and ord0 ai (y) ≥ d − i. Make the change of coordinates
xn 7→ xn − d1 ad−1 (y). Show that after this change, the hypersurface defined by
xn = 0 has maximal contact with X at the origin. What prevents this technique
from working in positive characteristic?
Example 9.11. . Consider the hypersurface X ⊂ A3 given by the equation
x y + xy 2 − x2 z + y 2 z − xz 2 − yz 2 = 0. Show that the hypersurface V given by
x = 0 does not have maximal contact with X at 0. In particular, consider the
blowup of A3 in the origin. Find a point a0 on the exceptional divisor that lies in
the x-chart of the blowup such that the strict transform of X has order 3 at a0 .
Then show that the strict transform of V does not contain this point.
2

Example 9.12. Hypersurfaces of maximal contact are only defined locally.
They need not patch to give a globally defined hypersurface of maximal contact on
W . Find an example for this.
Example 9.13. Consider f = x4 + y 4 + z 6 , g = x4 + y 4 + z 10 and h = xy + z 10
under point blowup. Determine, according to the characteristic of the ground field,
the points where the orders of f , g and h have remained constant.
Example 9.14. . Let f = xc + g(y1 , . . . , ym ) ∈ K[[x, y1 , . . . , ym ]] be a formal
power series with g a series of order ≥ c at 0. Show that there exists in any
characteristic a formal coordinate change maximizing the order of g.
Example 9.15. Let f = xc + g(y1 , . . . , ym ) ∈ K[x, y1 , . . . , ym ] be a polynomial
with g a polynomial of order ≥ c at 0. Does there exist a local coordinate change
in A1+m at 0 maximizing the order of g?
Example 9.16. Let f be a polynomial or power series in n variables x1 , . . . , xn
of order c at 0. Assume that the ground field is infinite. There exists a linear
coordinate change after which f (0, . . . , 0, xn ) has order c at 0. Such polynomials
and series, called xn -regular of order c at 0, appear in the Weierstrass preparation
theorem, which was frequently used by Abhyankar in resolution arguments.
Example 9.17. . Let (W 0 , a0 ) → (W, a) be a composition of local blowups in
regular centers such that a0 lies in the intersection of n exceptional components
where n is the dimension of W at a. Let f ∈ OW,a and assume that the characteristic is zero. Show that the order of f has dropped between a and a0 .
Example 9.18. + Show the same in positive characteristic.

BLOWUPS AND RESOLUTION

47

10. Lecture X: Coefficient Ideals
Definition 10.1. Let I be an ideal in a regular variety W , let a be a point of
W with open neighbourhood U , and let V be a regular closed hypersurface of U
containing a. Let x1 , . . . , xn be coordinates on U such that V is defined in U by
xn = 0. The restrictions of x1 , . . . , xn−1 toP
V form coordinates on V and will be
abbreviated by x0 . For f ∈ OU , denote by
af,i (x0 ) · xin the expansion of f with
respect to xn , with coefficients af,i = af,i (x0 ) ∈ OV . The coefficient ideal of I in V
at a is the ideal JV (I) on V defined by
JV (I) =

o−1
X
o!
(af,i , f ∈ I) o−i ,
i=0

where o denotes the order of I at a.
Remark 10.2. The coefficient ideal is defined on whole V . It depends on the
choice of the coordinates x1 , . . . , xn on U , even so the notation only refers to V .
Actually, JV (I) depends on the choice of a section OV,a → OU,a of the map OU,a →
OV,a defined by restriction to V . The same definition applies to stalks of ideals in
W at points a, giving rise to an ideal, also denoted by JV (I), in the local ring OV,a .
o!
The weights o−i
in the exponents are chosen so as to obtain a systematic behavior
of the coefficient ideal under blowup, cf. Prop. 10.6 below. The chosen algebraic
definition of the coefficient ideal is modelled so as to commute with blowups [EH02],
but is less conceptual than definitions through differential operators proposed and
used by Encinas-Villamayor, Bierstone-Milman, Wlodarczyk, Kawanoue-Matsuki
and Hironaka [EV00, EV98, BM97, Wlo05, KM10, Hir03].
Proposition 10.3. The passage to the coefficient ideal JV (I) of I in V commutes with taking germs along the local top locus S = topa (I) ∩ V of points of
V where the order of I in W is equal to the order of I in W at a: Let x1 , . . . xn
be coordinates of W at a, defined on an open neighborhood U of a, and let V be
closed and regular in U , defined by xn = 0. The stalks of JV (I) at points b of S
inside U coincide with the coefficient ideals of the stalks of I at b.
Proof. Clear from the definition of coefficient ideals.



Corollary 10.4. In the above situation, for any fixed closed hypersurface V
in U ⊂ W open, the order of JV (I) at points of S ∩ V is upper semicontinuous
along S, locally at a.
Remark 10.5. In general, V need not contain, locally at a, the top locus of I
in W . This can, however, be achieved in zero characteristic by choosing for V an
osculating hypersurface, cf. Prop. 10.9 below. In this case, the order of JV (I) at
points of S = topa (I) does not depend on the choice of the hypersurface, cf. Prop.
10.13. In arbitrary characteristic, a local hypersurface V will be chosen separately
at each point b ∈ S in order to maximize the order of JV (I) at b, cf. Prop. 10.11.
In this case, the order of JV (I) at b does not depend on the choice of V , and its
upper semicontinuity as b moves along S holds again, but is more difficult to prove
[Hau04].
Proposition 10.6. The passage to the coefficient ideal JV (I) of I at a commutes with blowup: Let π : W 0 → W be the blowup of W along a regular center
Z contained locally at a in S = topa (I). Let V be a local regular hypersurface of

48

HERWIG HAUSER

W at a containing Z and such that V s contains all points a0 above a where the
order of the weak transform I g has remained constant equal to the order of I at
a. For any such point a0 , the coefficient ideal JV s (I g ) of I g equals the controlled
−c
transform JV (I)! = IE
· JV (I)∗ of JV (I) with respect to the control c = o! with
o = orda (I).
Proof. Write V 0 for V s , and let h = 0 be a local equation of E ∩V 0 in V 0 . The
weak transform I g of I is generated by the elements f g = h−o · f ∗ for f varying in
I, where ∗ denotes the total transform. The coefficients af,i of the monomials xin
of the expansion of an element f of I of order o at a in the coordinates x1 , . . . , xn
satisfy af g ,i = hi−o · (af,i )∗ . Then
X
JV 0 (I g ) = JV 0 (
af g ,i · xin , f g ∈ I g )
i

X
= JV 0 (
ah−o ·f ∗ ,i · xin , f ∈ I)
i

X
= JV 0 (
h−o · (af,i · xin )∗ , f ∈ I)
i

=

X

h−o! · (a∗f,i , f ∈ I)o!/(o−i)

i<o
−o!

=h

·(

X
(af,i , f ∈ I)o!/(o−i) )∗
i<o

= h−o! · (JV I)∗ = (JV I)! .
This proves the claim.



Remark 10.7. The definitions of the coefficient ideal used in [EV00, EV98,
BM97, Wlo05, KM10, Hir03] produce a weaker commutativity property with respect to blowups, typically only for the radicals of the coefficient ideals.
Remark 10.8. The order of the coefficient ideal JV (I) of I is not directly
suited as a secondary invariant when the order of I remains constant since, by the
proposition, the coefficient ideal passes under blowup to its controlled transform,
and thus its order may increase. In order to get a practicable secondary invariant
it is appropriate to decompose JV (I) and (JV (I))! into products of two ideals: the
first factor is a principal monomial ideal supported by the exceptional locus, the
second, possibly singular factor, is an ideal called the residual factor, and supposed
to pass under blowup in the factorization to its weak transform. Choosing suitably
the exceptional monomial factor it can be shown that such factorizations always
exist [EH02]. In this situation the order of the residual factor does not increase
under blowup by Prop. 8.13 and can thus serve as a secondary invariant whenever
the order of the ideal I remains constant under blowup.
Proposition 10.9. Assume that the characteristic of the ground field is zero.
Let I have order o at a point a ∈ W , and let V be a regular hypersurface for I at
a, with coefficient ideal J = JV (I). The locus topa (J, o!) of points of V where J
has order ≥ o! coincides with topa (I),
topa (J, o!) = topa (I).

BLOWUPS AND RESOLUTION

49

Proof. Choose local coordinates x1 , . . . , xn in W at a so that V is defined by
xn = 0. Expand the elements f of I with respect to xn with coefficients af,i ∈ OV,a ,
and choose representatives of them on a suitable neighbourhood of a. Let b be a
point in a sufficiently small neighborhood of a. Then, by the upper semicontinuity
of
P the order,i b belongs to topa (I) if and only if ordb I ≥ o, which is equivalent to
i<o af,i · xn having order ≥ o at b for all f ∈ I. This, in turn, holds if and only if
o!
o−i
af,i has order ≥ o − i at b, say af,i
has order ≥ o! at b. Hence b ∈ topa (I) if and
only if b ∈ topa (JV (I), o!).


Corollary 10.10. Assume that the characteristic of the ground field is zero.
Let a be a point in W and set S = topa (I). Let U be a neighbourhood of a on
which there exists a closed regular hypersurface V which is osculating for I at all
points of S ∩ U . Let JV (I) be the coefficient ideal of I in V .
(a) The top locus topa (JV (I)) of JV (I) on V is contained in topa (I).
(b) The blowup of U along a regular locally closed subvariety Z of topa (JV (I))
Z commutes with the passage to the coefficient ideals of I and I g in V and V s .
Proof. Assertion (a) is immediate from the proposition, and (b) follows from
Prop. 10.6.

Proposition 10.11. (Encinas-Hauser) Assume that the characteristic of the
ground field is zero. The order of the coefficient ideal JV (I) of I at a with respect
to an osculating hypersurface V at a attains the maximal value of the orders of the
coefficient ideals over all local regular hypersurfaces. In particular, it is independent
of the choice of V .
Proof. Choose local coordinates x1 , . . . , xn in W at a such that the appropriate derivative of the chosen element f ∈ I is given by xn . Let o be the order of
f at a. The choice of coordinates implies that the expansion of f with respect to
xn has a monomial xon with coefficient 1 and no monomial in xn of degree o − 1.
Any other local regular hypersurface U is obtained from V by a local isomorphism
ϕ of W at a. Assume that the order of JV (ϕ∗ (I)) is larger than the order of
o!

o−i
is larger
JV (I). Let g = ϕ∗ (f ). This signifies that the order of all coefficients ag,i
∗
than the order of JV (I). Therefore ϕ must eliminate from f the terms of af,i for
o!

o−i
which af,i
has order equal to the order of JV (I). But then ϕ∗ produces from xon a
non-zero coefficient ag,o−1 such that ao!
g,o−1 has order equal to the order of JV (I),
contradiction.


Remark 10.12. This result suggests to consider in positive characteristic as a
substitute for hypersurfaces of maximal contact local regular hypersurfaces which
maximize the order of the associated coefficient ideal. Such hypersurfaces are used
in recent approaches to resolution of singularities in positive characteristic [Hir12,
Hau10a, HW14], relying on the work of Moh on the behaviour of the coefficient
ideal in this situation [Moh87].
Proposition 10.13. Let the characteristic of the ground field be arbitrary.
The supremum in N ∪ {∞} of the orders of the coefficient ideals JV (I) of I in local
regular hypersurfaces V in W at a is realized by a formal local regular hypersurface
eW,a ). If
V in W at a (i.e., V is defined by an element of the complete local ring O

50

HERWIG HAUSER

the supremum is finite, it can be realized by a local regular hypersurface V in W
at a.
Proof. If the supremum is finite, the existence of some V realizing this value is
bW,a to construct
obvious. If the supremum is infinite, one uses the completeness of O
V , see [EH02, Hau04].

Definition 10.14. A formal local regular hypersurface V realizing the supremum of the order of the coefficient ideal JV (I) of I at a is called a hypersurface of
weak maximal contact of I at a. If the supremum is finite, it will always be assumed
to be a local hypersurface.
Proposition 10.15. (Zariski) Let V be a formal local regular hypersurface in
W at a of weak maximal contact with I at a. Let π : W 0 → W be the blowup of W
along a closed regular center Z contained locally at a in S = topa (I). The points
a0 ∈ W 0 above a for which the order of the weak transform I g of I at a0 has not
decreased are contained in the strict transform V s of V .
Proof. By definition of weak maximal contact, the variable xn defining V in
W at a appears in the initial form of some element f of I of order o = topa (I) at
a, cf. ex. 10.23 below. The argument then goes analogously to the proof of Prop.
9.1.

Remark 10.16. In characteristic zero and if V has been chosen osculating at
a, the hypersurface V 0 is again osculating at points a0 above a where orda0 (I 0 ) =
orda (I), hence it has again weak maximal contact with I 0 at such points a0 . In
positive characteristic this is no longer true, cf. ex. 10.24.

Examples
e2
Example 10.17. Determine in all characteristics the points of the blowup A
2
4
2 2
4
7
8
9
of A at 0 where the strict transform of g = x + kx y + y + 3y + 5y + 7y under
the blowup of A2 at 0 has order 4, for any k ∈ N.
Example 10.18. Determine for all characteristics the maximal order of the
coefficient ideal of I = (x3 + 5y 3 + 3(x2 y 2 + xy 4 ) + y 6 + 7y 7 + y 9 + y 10 ) in regular
local hypersurfaces V at 0.
Example 10.19. Same as before for I = (xy + y 4 + 3y 7 + 5y 8 + 7y 9 ).
Example 10.20. . Compute the coefficient ideal of I = (x5 + x2 y 4 + y k ) in
the hypersurfaces x = 0, respectively y = 0. According to the value of k and the
characteristic, which hypersurface is osculating or has weak maximal contact?
Example 10.21. . Consider f = x2 + y 3 z 3 + y 7 + z 7 . Show that V ⊂ A3
defined by x = 0 is a local hypersurface of weak maximal contact for f . Blow
up A3 at the origin. How does the order of the coefficient ideal of f in V behave
under these blowups at the points where the order of f has remained constant?
Factorize suitably the controlled transform of the coefficient ideal with respect to
the exceptional factor and observe the behaviour of the order of the residual factor.
Example 10.22. . Assume that, for a given coordinate system x1 , . . . , xn in W
at a, the hypersurface V defined by xn = 0 is osculating for a polynomial f and
that the coefficient ideal of f in V is a principal monomial ideal. Show that there

BLOWUPS AND RESOLUTION

51

is a sequence of blowups in coordinate subspaces of the induced affine charts which
eventually makes the order of f drop.
Example 10.23. The variable xn defining a hypersurface V in W at a of weak
maximal contact with an ideal I appears in the initial form of some element f of I
of order o = orda (I) at a.
Example 10.24. In positive characteristic, a hypersurface of weak maximal
contact for an ideal I need not have again weak maximal contact after blowup with
the weak transform I g at points a0 where the order of I g has remained constant.
Example 10.25. Compute in the following situations the coefficient ideal of
I in W at a with respect to the given local coordinates x, y, z in A3 and the
hypersurface V . Determine in each case whether the order of the coefficient ideal
is maximal. If not, find a coordinate change which maximizes it.
(a) a = 0 ∈ A1 , x, V : x = 0, I = (x) and I = (x + x2 ).
(b) a = 0 ∈ A2 , x, y, V : x = 0, I = (x), I = (x + y 2 ), I = (y + x2 ), I = (xy).
(c) a = (1, 0, 0) ∈ A3 , x, y, z, V : y + z = 0, I = (x2 ), I = (xy), I = (x3 + z 3 ).
(d) a = 0 ∈ A3 , x, y, z, V : x = 0, I = (xyz), I = (x2 + y 3 + z 5 ).
(e) a = 0 ∈ A2 , x, y, V : x = 0, I = (x2 + y 4 , y 4 + x2 ).
Example 10.26. Blow up in each of the preceding examples the origin and
determine the points of the exceptional divisor E where the order of the weak
transform I g of I has remained constant. Check at these points whether commutativity holds for the descent to the coefficient ideal and its controlled transform.
Example 10.27. . Show that the maximum of the order of the coefficient ideal
bAn ,0 is attained (it might
JV (I) of an ideal I over all regular parameter systems of O
be ∞).
Example 10.28. Show that the supremum of the order of the coefficient ideal
of an ideal I in W at a point a can be realized, if the supremum is finite, by a regular
system of parameters of the local ring OW,a without passing to the completion.
Example 10.29. + Show that this maximum, when taken at any point of the
top locus S of An where I has maximal order o, defines an upper semicontinuous
function on S.
Example 10.30. . Let V be the hypersurface xn = 0 of An and let V 0 → V
be the blowup with regular center Z in V . Let I be an ideal of order o at a point
a of Z, with weak transform I g . Assume that orda0 I g = orda I at the origin a0 of
an xj -chart for a j < n. Compare the controlled transform of the coefficient ideal
JV (I) of I with respect to the control c = o! with the coefficient ideal JV 0 (I g ) of
I g.
Example 10.31. Show that, in characteristic zero, the top locus of an ideal I
of W , when taken locally at a point a, is contained in a local regular hypersurface V
through a. Does this hypersurface maximize the order of the associated coefficient
ideal?
Example 10.32. Consider f = x3 + y 2 z in A3 and the point blowup of A3 at
the origin. Find, according to the characteristic, at all points of the exceptional
divisor a hypersurface of weak maximal contact for the strict transform of f .

52

HERWIG HAUSER

Example 10.33. Consider surfaces defined by polynomials f = xo +y a z b ·g(y, z)
where y a z b is considered as an exceptional monomial factor of the coefficient ideal
in the hypersurface V defined by x = 0 (up to raising the coefficient ideal to the
power c = o!). Assume that a + b + ord0 g ≥ o. Give three examples where the order
of g at 0 is not maximal over all choices of local hypersurfaces at 0, and indicate
the coordinate changes which make it maximal.
Example 10.34. Consider surfaces defined by polynomials f = xo +y a z b ·g(y, z)
where y a z b is considered again as an exceptional monomial factor of the coefficient
ideal in the hypersurface V defined by x = 0. Assume that a + b + ord0 g ≥ o.
0
0
Compute the strict transform f 0 = xo + y a z b · g 0 (y, z) of f under point blowup at
points where the order of f has remained equal to o. Find three examples where
the order of g 0 is not maximal over all local coordinate choices.
Example 10.35. For a flag of local regular subvarieties Vn−1 ⊃ . . . ⊃ V1 at
a in W = An one gets from an ideal I = In in W a chain of coefficient ideals
Jn−1 , . . . , J1 in Vn−1 , . . . , V1 respectively, defined recursively as follows. Assume
that Jn−1 , . . . , Ji+1 have been constructed and that Ji+1 can be decomposed into
Ji+1 = Mi+1 · Ii+1 with prescribed monomial factor Mi+1 and some residual factor
Ii+1 . Then set Ji = JVi (Ii+1 ), the coefficient ideal of Ii+1 in Vi at a. Show that the
lexicographic maximum of the vector of orders of the ideals Ji at a over all choices
of flags at a admitting the above factorizations of the ideals Ji can be realized
stepwise, choosing first a local hypersurface Vn−1 in W at a maximizing the order
of Jn−1 at a, then a local hypersurface Vn−2 in Vn−1 at a maximizing the order of
Jn−2 , and iterating this process.
11. Lecture XI: Resolution in Zero Characteristic
The inductive proof of resolution of singularities in characteristic zero requires a
more detailed statement about the nature of the resolution:
Theorem 11.1. Let W be a regular ambient variety and let E ⊂ W be a
(possibly empty) divisor with normal crossings. Assume that the characteristic of
the ground field is 0. Let J be an ideal on W , together with a decomposition
J = M · I into a principal monomial ideal M , the monomial factor of J, supported
on a normal crossings divisor D transversal to E, and an ideal I, the residual factor
of J. Let c+ ≥ 1 be a given number, the control of J.
There exists a sequence of blowups of W along regular centers Z transversal
to E and D and their total transforms, contained in the locus top(J, c+ ) of points
where J and its controlled transforms with respect to c+ have order ≥ c+ , and
satisfying the requirements equivariance and excision of a strong resolution so that
the order of the controlled transform of J with respect to c+ drops eventually at
all points below c+ .
Definition 11.2. In the situation of the theorem, with prescribed divisor D
and control c+ , the ideal J is called resolved with respect to D and c+ if the order
of J at all points of W is < c+ .
Remark 11.3. Once the order of the controlled transform of J has dropped
below c+ , induction on the order can be applied to find an additional sequence of
blowups which makes the order of the controlled transform of J drop everywhere

BLOWUPS AND RESOLUTION

53

to 0. At that stage, the controlled transform of J has become the whole coordinate
ring of W , and the total transform of J, which differs from the controlled transform
by a monomial exceptional factor, has become a monomial ideal supported on a
normal crossings divisor D transversal to E. This establishes the existence of a
strong embedded resolution of J, respectively of the singular variety X defined by
J in W .

Proof. The technical details can be found in [EH02], and motivations are
given in [Hau03]. The main argument is the following.
The resolution process has two different stages: In the first, a sequence of
blowups is chosen through a local analysis of the singularities of J and by induction
on the ambient dimension. The order of the weak transforms of I will be forced
to drop eventually below the maximum of the order of I at the points a of W .
By induction on the order one can then apply additional blowups until the order
of the weak transform of I has become equal to 0. At that moment, the weak
transform of I equals the coordinate ring/structure sheaf of the ambient variety,
and the controlled transform of J has become a principal monomial ideal supported
on a suitable transform of D, which will again be a normal crossings divisor meeting
the respective transform of E transversally.
For simplicity, denote this controlled transform again by J. It is a principal
monomial ideal supported by exceptional components. The second stage of the
resolution process makes the order of J drop below c+ . The sequence of blowups
is now chosen globally according to the multiplicities of the exceptional factors
appearing in J. This is a completely combinatorial and quite simple procedure
which can be found in many places in the literature [Hir64, EV00, EH02].
The first part of the resolution process is much more involved and will be
described now. The centers of blowup are defined locally at the points where the
order of I is maximal. Then it is shown that the definition does not depend on the
local choices and thus defines a global, regular and closed center in W . Blowing up
W along this center will improve the singularities of I, and finitely many further
blowups will make the order of the weak transform of I drop.
The local definition of the center goes as follows. Let S = top(I) be the stratum
of points in W where I has maximal order. Let a be a point of S and denote by
o the order of I at a. Choose an osculating hypersurface V for I at a in an open
neighbourhood U of a in W . This is a closed regular hypersurface of U given by
a suitable partial derivative of an element of I of order o − 1. The hypersurface V
maximizes the order of the coefficient ideal Jn−1 = JV (I) over all choices of local
regular hypersurfaces, cf. Prop. 10.11. Thus orda (Jn−1 ) does not depend on the
choice of V . There exists a closed stratum T in S at a of points b ∈ S where the
order of Jn−1 equals the order of Jn−1 at a.
The ideal Jn−1 on V together with the new control c = o! can now be resolved by
induction on the dimension of the ambient space, applying the respective statement
of the theorem. The new normal crossings divisor En−1 in V is defined as V ∩ E.
For this it is necessary that the hypersurface V can be chosen transversal to E. This
is indeed possible, but will not be shown here. Also, it is used that Jn−1 admits
again a decomposition Jn−1 = Mn−1 · In−1 with Mn−1 a principal monomial ideal
supported on some normal crossings divisor Dn−1 on V , and In−1 an ideal, the
residual factor of Jn−1 .

54

HERWIG HAUSER

There thus exists a sequence of blowups of V along regular centers transversal
to En−1 and Dn−1 and their total transforms, contained in the locus top(Jn−1 , c)
of points where Jn−1 and its controlled transforms with respect to c have order ≥ c,
and satisfying the requirements of a strong resolution so that the order of the weak
transform of In−1 drops eventually at all points below the maximum of the order
of In−1 at points a of V .
All this is well defined on the open neighbourhood U of a in W , but depends
a priori on the choice of the hypersurface V , since the centers are chosen locally
in each V . It is not clear that the local choices patch to give a globally defined
center. One can show that this is indeed the case, even though the local ideals Jn−1
do depend on V . The argument relies on the fact that the centers of blowup are
constructed as the maximum locus of an invariant associated to Jn−1 . By induction
on the ambient dimension, such an invariant exists for each Jn−1 : In dimension 1,
it is just the order. In higher dimension, it is a vector of orders of suitably defined
coefficient ideals. One then shows that the invariant of Jn−1 is independent of the
choice of V and defines an upper semicontinuous function on the stratum S. Its
maximum locus is therefore well defined and closed. Again by induction on the
ambient dimension, it can be assumed that it is also regular and transversal to the
divisors En−1 and Dn−1 .
By the assertion of the theorem in dimension n − 1, the order of the weak
transform of Jn−1 can be made everywhere smaller than c = o! by a suitable
sequence of blowups. The sequence of blowups also transforms the original ideal
J = M · I, producing controlled transforms of J and weak transforms of I. The
order of I cannot increase in this sequence, if the centers are always chosen inside S.
To achieve this inclusion a technical adjustment of the definition of coefficient ideals
is required which will be omitted here. If the order of I drops, induction applies.
So one is left to consider points where possible the order of the weak transform
has remained constant. There, one will use the commutativity of blowups with the
passage to coefficient ideals, Prop. 10.6: The coefficient ideal of the final transform
of I will equal the controlled transform of the coefficient ideal Jn−1 of I. But the
order of this controlled transform has dropped below c, hence, by Prop. 10.9, also
the order of the weak transform of I must have dropped. This proves the existence
of a resolution.


Examples
Example 11.4. In the situation of the theorem, take W = A2 , E = ∅, and
J = (x2 y 3 ) = 1 · I with control c+ = 1. The ideal J is monomial, but not resolved
yet, since it is not supported on the exceptional divisor. It has order 5 at 0, order
3 along the x-axis, and order 2 along the y-axis. Blow up A2 in 0. The controlled
transform in the x-chart is J ! = (x4 y 3 ) with exceptional factor IE = (x4 ) and
residual factor I1 = (y 3 ), the strict transform of J. The controlled transform in
the y-chart is J ! = (x2 y 4 ) with exceptional factor IE = (y 4 ) and residual factor
I1 = (x2 ), the strict transform of J. One additional blowup resolves J.
Example 11.5. In the situation of the preceding example, replace E = ∅ by
E = V (x + y), respectively E = V (x + y 2 ), and resolve the ideal J.
Example 11.6. Take W = A3 , E = V (x + z 2 ), and J = (x2 y 3 ) with control
c+ = 1. The variety X defined by J is the union of the xz- and the yz-plane. The

BLOWUPS AND RESOLUTION

55

top locus of J is the z-axis, which is tangent to E. Therefore it is not allowed to
take it as the center of the first blowup. The only possible center is the origin.
Applying this blowup, the top locus of the controlled transform of J and the total
transform of E have normal crossings, so that the top locus can now be chosen as
the center of the next blowup. Resolve the singularities of X.
Remark 11.7. The non-transversality of the candidate center of blowup with
already existing exceptional components is known as the transversality problem.
The preceding example gives a first instance of the problem, see [EH02, Hau03] for
more details.
Example 11.8. Take W = A3 , E = D = ∅ and J = (x2 + yz). In characteristic
different from 2, the origin of A3 is the unique isolated singular point of the cone
X defined by J. The ideal J has order 2 at 0. After blowing up the origin, the
singularity is resolved and the strict transform of J defines a regular surface. It is
transversal to the exceptional divisor.
Example 11.9. Take W = A3 , E = D = ∅, J = (x2 + y a z b ) with a, b ∈ N.
According to the values of a and b, the top locus of J is either the origin, the yor z-axis, or the union of the y- and the z-axis. If a + b ≥ 2, the yz-plane is a
hypersurface of maximal contact for J at 0. The coefficient ideal is J1 = (y a z b )
(up to raising it to the square). This is a monomial ideal, but not supported yet
on exceptional components. Resolve J.
Example 11.10. Take W = A4 , E = D = V (yz), J = (x2 + y 2 z 2 (y + w)).
The order of J at 0 is 2. The yzw-hyperplane has maximal contact with J at
0, with coefficient ideal J1 = y 2 z 2 (y + w), in which the factor M1 = (y 2 z 2 ) is
exceptional and I1 = (y + w) is residual. Resolve J. The top locus of I1 is the
plane V (y + w) ⊂ A3 , hence not contained in the top locus of J. This technical
complication is handled by introducing an intermediate ideal, the companion ideal
[Vil07, EH02].
Example 11.11. Compute the first few steps of the resolution process for the
three surfaces defined in A3 by the polynomials x2 + y 2 z, x2 + y 3 + z 5 and x3 +
y 4 z 5 + z 11 .
Example 11.12. Prove with all details the embedded resolution of plane curves
in characteristic zero according to the above description.
Example 11.13. Resolve the following items according to Thm. 11.1, taking
into account different characteristics of the ground field.
(a) W = A2 , E = ∅, J = I = (x2 y 3 ), with control c+ = 1.
(b) W = A2 , E = V (x), J = (x2 y 3 ), c+ = 1.
(c) W = A2 , E = V (xy), J = (x2 y 3 ), c+ = 1.
(d) W = A3 , E = V (x + z 2 ), J = (x2 y 3 ), c+ = 1.
(e) W = A3 , E = V (y + z), J = (x3 + (y + z)z 2 ), c+ = 3.
(f) W = A3 , E = ∅, J = I = (x2 + yz), c+ = 2.
(g) W = A3 , E = ∅, J = I = (x3 + y 2 z 2 ), c+ = 3.
(h) W = A3 , E = ∅, J = I = (x2 + xy 2 + y 5 ), c+ = 2.
(i) W = A3 , E = ∅, J = I = (x2 + xy 3 + y 5 ), c+ = 2.
(j) W = A3 , E = V (x + y 2 ), J = (x3 + (x + y 2 )y 4 z 5 ), c+ = 3.
(k) W = A3 , E = ∅, J = I = (x2 + y 2 z 2 (y + z)), c+ = 12.

56

HERWIG HAUSER

(l) W = A3 , E = V (yz), J = (x2 + y 2 z 2 (y + z)), c+ = 2.
(m) W = A4 , E = V (yz), J = (x2 + y 2 z 2 (y + w)), c+ = 2.
Example 11.14. Consider J = I = (x2 + y 7 + yz 4 ) in A3 , with E = ∅ and
c+ = 2. Consider the sequence of three point blowups with the following centers.
First the origin of A3 , then the origin of the y-chart, then the origin of the z-chart.
On the last blowup, consider the midpoint between the origin of the y- and the
z-chart. Show that J is resolved at this point if the characteristic is zero or > 2.
Example 11.15. . What happens in the preceding example if the characteristic
is equal to 2? Describe in detail the behaviour of the first two components of the
resolution invariant under the three local blowups.
Example 11.16. . A combinatorial version of resolution is known as Hironaka’s
polyhedral game: Let N be an integral convex polyhedron in Rn+ , i.e., the positive
convex hull N = conv(S + Rn+ ) of a finite set S of points in Nn . Player A chooses a
subset J of {1, . . . , n}, then player B chooses an element j ∈ J. After these
P moves,
S is replaced by the set S 0 of points α defined by αi0 = αi if i 6= j and αj0 = k∈J αk ,
giving rise to a new polyhedron N 0 . Player A has won if after finitely many rounds
the polyhedron has become an orthant α + Rn+ . Player B can never win, but only
prevent player A from winning. Show that player A has a winning strategy, first
with and then without using induction on n [Spi83, Zei06].
12. Lecture XII: Positive Characteristic Phenomena
The existence of the resolution of varieties of arbitrary dimension over a field of
positive characteristic is still an open problem. For curves, there exist various
proofs [Kol07] chap. 1. For surfaces, the first proof of non-embedded resolution was
given by Abhyankar in his thesis [Abh56]. Later, he proved embedded resolution
for surfaces, but the proof is scattered over several papers which sum up to over
500 pages [Abh59, Abh64, Abh66b, Abh66a, Abh67, Abh98]. Cutkosky was able to
shorten and simplify the argumens substantially [Cut11]. An invariant similar to
the one used by Abhyankar was developed independently by Zeillinger and Wagner
[Zei05, Wag09, HW14]. Lipman gave an elegent proof of non-embedded resolution
for arbitrary two-dimensional schemes [Lip78, Art86]. Hironaka proposed an invariant based on the Newton polyhedron which allows to prove embedded resolution of
surfaces which are hypersurfaces [Hir84, Cos81, Hau00]. Hironaka’s invariant seems
to be restricted to work only for surfaces. The case of higher codimensional surfaces
was settled by Cossart-Jannsen-Saito, extending Hironaka’s invariant [CJS09]. Different proofs were recently proposed by Benito-Villamayor and Kawanoue-Matsuki
[BV12, KM12].
For three-folds, Abhyankar and Cossart gave partial results. Quite recently,
Cossart-Piltant proved non-embedded resolution of three-folds by a long case-bycase study [CP08, CP09, CP12, CP13]. See also [Cut09].
Programs and techniques for resolution in arbitrary dimension and characteristic have been developed quite recently, among others, by Hironaka, Teissier,
Kuhlmann, Kawanoue-Matsuki, Benito-Bravo-Villamayor, Hauser-Schicho, Cossart
[Hir12, Tei03, Kuh00, Kaw14, KM10, BV12, BV14, BV10, BV11, Hau10b, HS12,
Cos11].
Remark 12.1. Let K be an algebraically closed field of prime characteristic p >
0, and let X be an affine variety defined in An . The main problems already appear

BLOWUPS AND RESOLUTION

57

in the hypersurface case. Let f = 0 be an equation for X in An . Various properties
of singularities used in the characteristic zero proof fail in positive characteristic:
(a) The top locus of f of points of maximal order need not be contained locally
in a regular hypersurface. Take the variety in A4 defined by f = x2 +yz 3 +zw3 +y 7 w
over a field of characteristic 2 [Nar83, Mul83, Kaw14, Hau98].
(b) There exist sequences of blowups for which the sequence of points above a
given point a where the order of the strict transforms of f has remained constant are
eventually not contained in the strict transforms of any regular local hypersurface
passing through a.
(c) Derivatives cannot be used to construct hypersurfaces of maximal contact.
(d) The characteristic zero invariant is no longer upper semicontinuous when
translated to positive characteristic.
Example 12.2. A typical situation where the characteristic zero resolution
invariant does not work in positive characteristic is as follows. Take the polynomial
f = x2 + y 7 + yz 4 over a field of characteristic 2. There exists a sequence of blowups
along which the order of the strict transforms of f remains constant equal to 2 but
where eventually the order of the residual factor of the coefficient ideal of f with
respect to a hypersurface of weak maximal contact increases.
The hypersurface V of W = A3 defined by x = 0 produces – up to raising the
ideal to the square – as coefficient ideal of f the ideal on A2 generated by y 7 + yz 4 .
Its order at the origin is 5.
Blow up A3 at the origin. In the y-chart W 0 of the blowup, the total transform
of f is given by
f ∗ = y 2 (x2 + y 5 + y 3 z 4 ),
with f 0 = x2 + y 3 (y 2 + z 4 ) the strict transform of f . It has order 2 at the origin
of W 0 . The generator of the coefficient ideal of f 0 in V 0 : x = 0 decomposes into a
monomial factor y 3 and a residual factor y 2 + z 4 . The order of the residual factor
at the origin of W 0 is 2. Blow up W 0 along the z-axis, and consider the y-chart
W 00 , with strict transform
f 00 = x2 + y(y 2 + z 4 ),
of f . The residual factor of the coefficient ideal in V 00 : x = 0 equals again y 2 + z 4 .
Blow up W 00 at the origin and consider the z-chart W 000 , with strict transform
f 000 = x2 + yz(y 2 + z 2 ).
The origin of W 000 is the intersection point of the two exceptional components y = 0
and z = 0. The residual factor of the coefficient ideal in V 000 : x = 0 equals y 2 + z 2 ,
of order 2 at the origin of W 000 .
Blow up the origin of W 000 and consider the affine chart W (iv) given by the
coordinate transformation
x 7→ xz, y 7→ yz + z, and z 7→ z.
The origin of this chart is the midpoint of the new exceptional component. The
strict transform of f 000 equals
f (iv) = x2 + (y + 1)z 2 y 2 ,
which, after the coordinate change x 7→ x + yz, becomes
f (iv) = x2 + y 3 z 2 + y 2 z 2 .

58

HERWIG HAUSER

The order of the strict transforms of f has remained constant equal to 2 along the
sequence of local blowups. The order of the residual factor of the associated coefficient ideal has decreased from 5 to 2 in the first blowup, then remained constant
until the last blowup, where it increased from 2 to 3.
Remark 12.3. The preceding example shows that the order of the residual factor of the coefficient ideal of the defining ideal of a singularity with respect to a local
hypersurface of weak maximal contact is not directly suited for an induction argument as in the case of zero characteristic. For surfaces, practicable modifications
of this invariant are studied in [HW14].
Definition 12.4. A hypersurface singularity X at a point a of affine space
W = AnK over a field K of characteristic p is called purely inseparable of order pe
at a if there exist local coordinates x1 , . . . , xn on W at a such that a = 0 and such
that the local equation f of X at a is of the form
e

f = xpn + F (x1 , . . . , xn−1 )
for some e ≥ 1 and a polynomial F ∈ K[x1 , . . . , xn−1 ] of order ≥ pe at a.
Proposition 12.5. For a purely inseparable hypersurface singularity X at a,
the polynomial F is unique up to multiplication by units in the local ring OW,a and
the addition of pe -th powers in K[x1 , . . . , xn−1 ].
Proof. Multiplication by units does not change the local geometry of X at
a. A coordinate change in xn of the form xn 7→ xn + a(x1 , . . . , xn−1 ) with a ∈
e
e
K[x1 , . . . , xn−1 ] transforms f into f = xpn + a(x1 , . . . , xn−1 )p + F (x1 , . . . , xn−1 ).
This implies the assertion.

Definition 12.6. Let affine space W = An be equipped with an exceptional
normal crossings divisor E produced by earlier blowups with multiplicities r1 , . . . , rn .
Let x1 , . . . , xn be local coordinates at a point a of W such that E is defined at a
e
by xr11 · · · xrnn = 0. Let f = xpn + F (x1 , . . . , xn−1 ) define a purely inseparable
e
singularity X of order p at the origin a = 0 of An such that F factorizes into
r

n−1
F (x1 , . . . , xn−1 ) = xr11 · · · xn−1
· G(x1 , . . . , xn−1 ).

The residual order of X at a with respect to E is the maximum of the orders of the
polynomials G at a over all choices of local coordinates such that f has the above
form [Hir12, Hau10b].
Remark 12.7. The residual order can be defined for arbitrary singularities
[Hau10b]. In characteristic zero, the definition coincides with the second component
of the local resolution invariant, defined by the choice of an osculating hypersurface
or, more generally, of a hypersurface of weak maximal contact and the factorization
of the associated coefficient ideal.
Remark 12.8. In view of the preceding example, one is led to investigate the
behaviour of the residual order under blowup at points where the order of the singularity remains constant. Moh showed that it can increase at most by pe−1 [Moh87].
Abhyankar seems to have observed already this bound in the case of surfaces. He
defines a correction term ε taking values equal to 0 or pe−1 which is added to the
residual order according to the situation in order to make up for the occasional
increases of the residual order [Abh67, Cut11]. A similar construction has been
proposed by Zeillinger and Hauser-Wagner [Zei05, Wag09, HW14]. This allows, at

BLOWUPS AND RESOLUTION

59

least for surfaces, to define a secondary invariant after the order of the singularity,
the modified residual order of the coefficient ideal, which does not increase under
blowup. The problem then is to handle the case where the order of the singularity
and the modified residual order remain constant. It is not clear how to define a
third invariant which manifests the improvement of the singularity.
Remark 12.9. Following ideas of Giraud, Cossart has studied the behaviour
of the order of the Jacobian ideal of f , defined by certain partial derivatives of f .
Again, it seems that hypersurfaces of maximal contact do not exist for this invariant
[Gir75, Cos11]. There appeared promising recent approaches by Hironaka, using
the machinery of differential operators in positive characteristic, by Villamayor and
collaborators using instead of the restriction to hypersurfaces of maximal contact
projections to regular hypersurfaces via elimination algebras, and by KawanoueMatsuki using their theory of idealistic filtrations and differential closures. None
of these proposals has been able to produce an invariant or a resolution strategy
which works in positive characteristic for all dimensions.
Remark 12.10. Another approach consists in analyzing the singularities and
blowups for which the residual order increases under blowup. This leads to the
notion of kangaroo singularities:
Definition 12.11. A hypersurface singularity X defined at a point a of affine
space W = AnK over a field K of characteristic p by a polynomial equation f = 0
f , a0 ) → (W, a)
is called a kangaroo singularity if there exists a local blowup π : (W
of W along a regular center Z contained in the top locus of X and transversal to
an already existing exceptional normal crossings divisor E such that the order of
the strict transform of X remains constant at a0 but the residual order of the strict
transform of f increases at a0 . The point a0 is then called kangaroo point of X
above a.
Remark 12.12. Kangaroo singularities can be defined for arbitrary singularities. They have been characterized in all dimensions by Hauser [Hau10a, Hau10b].
However, the knowledge of the algebraic structure of these singularities did not yet
give any hint how to overcome the obstruction caused by the increase of the residual
order.
e

e

Proposition 12.13. If a polynomial f = xpn + F (x1 , . . . , xn−1 ) = xpn +
rn−1
r1
x1 · · · xn−1
· G(x1 , . . . , xn−1 ) defines a kangaroo singularity of order pe at 0 the
following conditions must hold: (a) the sum of the ri and of the order of G at 0
is divisible by pe ; (b) the sum of the residues of the exceptional multiplicities ri
modulo pe is bounded by (m − 1) · pe with m the number of exceptional multiplicities not divisible by pe ; (c) the initial form of F equals a specific homogeneous
polynomial which can be explicitly described. Any kangaroo point a0 of X above a
lies outside the strict transform of the components of the exceptional divisor at a
whose multiplicities are not a multiple of pe .
Remark 12.14. A more detailed description of kangaroo singularities and a
further discussion of typical characteristic p phenomena can be found in [Hau10a,
Hau10b].

60

HERWIG HAUSER

Examples
Example 12.15. Prove the resolution of plane curves in arbitary characteristic
by using the order and the residual order as the resolution invariants.
Example 12.16. Let K be an algebraically closed field of characteristic p >
0. Develop a significant notion of resolution for elements of the quotient of rings
K[x, y]/K[xp , y p ]. Then prove that such a resolution always exists.
Example 12.17. . Consider the polynomial f = x2 + yz 3 + zw3 + y 7 w on A4
over a ground field of characteristic 2. Its maximal order is 2, and the respective
top locus is the image of the monomial curve (t32 , t7 , t19 , t15 ), t ∈ K. The image
curve has embedding dimension 4 at 0 and cannot be embedded locally at 0 into
a regular hypersurface of A4 . Hence there is no hypersurface of maximal contact
with f locally at the origin.
Example 12.18. . Find a surface X in positive characteristic and a sequence
of point blowups starting at a ∈ X so that some of the points above a where the
order of the weak transforms of X remains constant eventually leave the transforms
of any local regular hypersurface passing through a.
Example 12.19. . Show that f = x2 + yz 3 + zw3 + y 7 w has in characteristic
2 top locus top(f ) equal to the parametrized curve (t32 , t7 , t19 , t15 ) in A4 [Nar83,
Mul83, Kaw14].
Example 12.20. . Show that f is not contained in the square of the ideal
defining the parametrized curve (t32 , t7 , t19 , t15 ).
Example 12.21. . Find the defining ideal for the image of the monomial curve
(t , t7 , t19 , t15 ) in A4 . What is the local embedding dimension at 0?
32

Example 12.22. . Show that f = x2 + yz 3 + zw3 + y 7 w admits in characteristic 2 at the point 0 no local regular hypersurface of permanent maximal contact
(i.e., whose successive strict transforms contain all points where the order of f has
remained constant in any sequence of blowups with regular centers inside the top
locus).
Example 12.23. Consider f = x2 + y 7 + yz 4 in characteristic 2. Show that
there exists a sequence of point blowups for which f admits at the point 0 no
local regular hypersurface whose transforms have weak maximal contact with the
transforms of f as long as the order of f remains equal to 2.
Example 12.24. . Define the p-th order derivative of polynomials in K[x1 , . . . , xn ]
for K a field of characteristic p.
Example 12.25. . Construct a surface of order p5 in A3 over a field of characteristic p for which the residual order increases under blowup.
Example 12.26. . Show that for the polynomial f = xp + y p z over a field of
characteristic p and taking E = ∅ the residual order of f along the (closed) points
of the z-axis is not equal to its value at the generic point.
Example 12.27. . Let y1 , . . . , ym be fixed coordinates, and consider a homogeneous polynomial G(y) = y r · g(y) with r ∈ Nm and g(y) homogeneous of degree
k. Let G+ (y) be the polynomial obtained from G by the linear coordinate change
yi → yi + ym for i = 1, . . . , m − 1. Show that the order of G+ along the ym -axis is
at most k.

BLOWUPS AND RESOLUTION

61

Example 12.28. Express the assertion of the preceding example through the
invertibility of a matrix of multinomial coefficients.
 i
Pk
k−i
Example 12.29. . Consider G(y, z) = y r z s i=0 k+r
. Compute
i+r y (tz − y)
∗
+
for t ∈ K the polynomial G (y, z) = G(y + tz, z) and its order with respect to y
modulo p-th power polynomials.
Example 12.30. . Determine all homogeneous polynomials G(y, z) = y r z s g(y, z)
so that G+ (y, z) has order k + 1 with respect to y modulo p-th power polynomials.
Example 12.31. + Find a new systematic proof for the embedded resolution
of surfaces in three-space in arbitrary characteristic.
Example 12.32. Let G(x) be a polynomial in one variable over a field K
of characteristic p, of degree d and order k at 0. Let t ∈ K, and consider the
equivalence class G of G(x + t) in K[x]/K[xp ] (i.e., consider K(x + t) modulo p-th
power polynomials). What is the maximal order of G at 0? Describe all examples
where this maximum is achieved.
13. Discussion of selected examples
The comments and hints below were compiled by Stefan Perlega and Valerie
Roitner.
Ex. 1.1. Let X be defined by 27x2 y 3 z 2 +(x2 +y 3 −z 2 )3 = 0 and let Y = C×C be
the cartesian product of the cusp C defined by x3 − y 2 = 0 with itself. The surface
Y can be parametrized by (s, t) → (s3 , s2 , t3 , t2 ). Composing this map with the
projection (x, y, z, w) 7→ (x, −y + w, z) from A4 to A3 gives (s, t) 7→ (s3 , t2 − s2 , t3 ).
Substitution into the equation of X gives 0,
27s6 t6 (t2 − s2 )3 + (s6 + (t2 − s2 )3 − t6 )3 =
= 27(s6 t12 − 3s8 t10 + 3s10 t8 − s12 t6 ) + 27(s12 t6 − 3s10 t8 + 3s8 t10 − s6 t12 ) = 0.
Therefore the image of Y under the projection lies inside X. It remains to show
that every point in X is obtained in this way. The restriction Y → X of the projection A4 → A3 is a finite map (as can e.g. be checked by using a computer algebra
program), hence the image of Y is closed in X. As it has dimension two and X is
an irreducible surface, the image of Y is whole X.
√
Ex. 1.2. √Asides from the symmetries in the text, replacing x with ± −1 · x
and z with ± −1 · z gives a new symmetry.
In characteristic 2 the defining polynomial of X equals f = x2 y 3 z 3 + (x2 + y 3 +
3 3
z ) and there appears an additional symmetry which is given by interchanging x
with z.
√
Ex. 1.3. Replacing z by −1 · z gives the equation g = −27x2 y 3 z 2 + (x2 + y 3 +
z 2 )3 = 0, cf. Figure 3. Symmetries of this surface are e.g. given by replacing x by
−x or z by −z or by interchanging x with z. Also sending (x, y, z) to (t3 x, t2 y, t3 z)
with t ∈ K gives a symmetry.
The partial derivatives of g give the equations for Sing(X),
x · (−9y 3 z 2 + (x2 + y 3 + z 2 )3 ) = 0,
y 2 · (−9x2 z 2 + (x2 + y 3 + z 2 )3 ) = 0,

62

HERWIG HAUSER

z · (−9y 3 x2 + (x2 + y 3 + z 2 )3 ) = 0.
Therefore the singular locus of X has six components, given by the equations
x = y = z = 0,
x = y 3 + z 2 = 0,
z = x2 + y 3 = 0,
y = x2 + z 2 = 0,
z − x = y 3 − z 2 = 0,
z + x = y 3 − z 2 = 0.

Figure 3: The surface of equation 27x2 y 3 z 2 = (x2 + y 3 + z 2 )3 .
Ex. 1.4. The point a = (0, 1, 1) lies in the component S of Sing(X) defined by
g = x − y 3 + z 2 = 0. Since (∂x g(a), ∂y g(a), ∂z g(a)) = (1, 3, 2), the component S is
regular at a. The curve given by the parametrization (0, t2 , t3 ) lies in S and passes
through a for t = 1. Its tangent vector at t = 1 is (0, 2, 3), which is a normal vector
to the plane P . Therefore P intersects S transversally at a.
The intersection X ∩ P is given by the equations y = 21 (5 − 3z) and h(x, z) =
f (x, 21 (5 − 3z), z) = 27x2 z 2 18 (5 − 3z)3 + (x2 + 81 (5 − 3z)3 − z 2 )3 = 0. Computing the
points where ∂x h = 0 and ∂z h = 0 gives (among others) the solution x = 0, z = 1,
whence y = 1. Therefore X ∩ P has a singularity at (0, 1, 1). The Taylor expansion
of h at (x, z) = (0, 1) is given by

 

2197 3
135w
−
w + O(w4 ) + 27 −
+ 93w2 + O(w3 ) x2 + O(x4 ),
8
2
where w = z − 1.
e of X in the origin of A3 is defined in X × P2 by the
Ex. 1.6. The blowup X
equations
xu2 − yu1 = xu3 − zu1 = yu3 − zu2 = 0,
e →X
where (u1 : u2 : u3 ) are projective coordinates on P2 . The blowup map π : X
2
e
is the restriction to X of the projection X × P → X.
The equation of the x-chart of the blowup of X is obtained by replacing (x, y, z)
with (x, xy, xz) in the equation defining X and by factoring the appropriate power
of the polynomial x defining the exceptional divisor. This gives the equation
Cx : 27x7 y 3 z 2 + (x2 + x3 y 3 − x2 z 2 ) = x6 · (27xy 3 z 2 + (1 + xy 3 − z 2 )3 ) = 0,

BLOWUPS AND RESOLUTION

63

e in the x-chart is defined by 27xy 3 z 2 + (1 + xy 3 − z 2 )3 = 0
so that the patch of X
3
in A . See Figure 4. Similarly, the y- and the z-chart are obtained by replacing
(x, y, z) with (xy, y, yz) and (xz, yz, z) respectively and give the equations
Cy : y 6 · (27x2 yz 2 + (x2 + y − z 2 )3 ) = 0
and
Cz : z 6 · (27x2 y 3 z + (x2 + y 3 z − 1)3 ) = 0.
The blowup Ye of Y = C × C in the origin of A4 is defined in Y × P3 by
xu2 − yu1 = xu3 − zu1 = xu4 − wu1 = yu3 − zu2 = yu4 − wu2 = zu4 − wu3 = 0.
The x-chart of Ye is obtained by replacing (x, y, z, w) with (x, xy, xz, xw) in the
equations defining Y and by then factoring the appropriate powers of x. It is
hence given in A4 by the equations 1 − xy 3 = z 2 − xw3 = 0. The other charts
are obtained similarly: in the y-chart, x2 − y = z 2 − yw3 = 0; in the z-chart,
x2 − y 3 z = 1 − zw3 = 0; in the w-chart, x2 − y 3 w = z 2 − w = 0.

Figure 4: Chart expressions of the blowup of the surface Camelia.
bX,a and m
bX,a every regular system of
Ex. 2.34. Since OX,a ⊆ O
b X,a = mX,a · O
bX,a . But there
parameters x1 , . . . , xn of OX,a is also a generator system of m
b X,a in O
exists a subset S of {x1 , . . . , xn } such that S is a regular system of parameters of
bX,a . The converse does not hold, since in general a regular system of parameters
O
bX,a need not belong to OX,a .
of O
Ex. 2.38. The image of f : (x, y) 7→ (xy, y) is f (A2 ) = (A2 \ (A1 × {0})) ∪
{(0, 0)}. This is a constructible and dense subset of A2 . The inverse f −1 : (x, y) 7→

64

HERWIG HAUSER

( xy , y) of f is defined on the complement of the x-axis. It cannot be extended to
the origin 0 of A2 , since f contracts the x-axis of A2 onto 0.
Ex. 2.40. It is easily checked that the inverse of ϕij is ϕji :
 xk
k 6= i, j,

 xj · xj = xk ,
1
k = i,
[ϕji ◦ ϕij (x1 , . . . , xn )]k = xj · xi xj = xi ,

 1
=
x
,
k = j,
j
1/xj
where [−]k denotes the k-th component. Therefore ϕji ◦ ϕij is the identity. The
domain Uij of ϕij is An \ V (xj ), a dense open subset of An . The image ϕij (Uij )
equals An \ V (xi ). It is open, too. Since all components of ϕij are rational and the
denominators do not vanish on Uij , the maps ϕij induce biregular maps Uij → Uji .
Ex. 2.41. Elliptic curves admit an additive group structure. It therefore
suffices to restrict to the origin a = 0 ∈ A2 and to show that the curve is forb 1 , 0). But K[[x, y]]/(y 2 − x3 + x) ' K[[y]] since, by
mally isomorphic at 0 to (A
the implicit function theorem for formal power series, the residue class of x in
K[[x, y]]/(y 2 − x3 + x) can be expressed as a series in y. To show that X is nowhere
locally biregular to the affine line is much harder.
Ex. 2.42. A morphism f : X → Y of algebraic varieties is proper if it is separated and universally closed, i.e., if for any variety Z and any morphism h : Z → Y
the induced morphism g : X ×Y Z → Y, g(x, z) = f (x) = h(z) is closed. In the
example, already the image π(X) = A1 \ {0} of X is not closed.
b 0) and (Yb , 0) would send the
Ex. 2.43. A formal isomorphism between (X,
the jacobian ideals generated by the partial derivatives of x3 − y 2 and x5 − y 2 to
each other. This
√is impossible. On the other hand, the formal isomorphism defined
b 0) onto (Z,
b 0). It is an isomorphism by the
by (x, y) 7→ (x 3 1 + x2 , y) sends (X,
inverse function theorem for formal power series.
√
Ex. 3.27. The maximal ideal of K[[x]] is generated by x. Since 1 + x is a

√
P
unit in K[[x]] (its inverse is (1 + x)−1/2 = k≥0 −1/2
(−1)k xk ), also x · 1 + x
k
√
generates this ideal. Therefore x· 1 + x is a regular system of parameters
in K[[x]].
√
It does not stem from a regular parameter system in K[x](x) since 1 + x cannot
be written as a quotient of polynomials.
Ex. 3.28. The maximal ideal of the local ring OA2 ,0 = K[x, y](x,y) is generated
by x and y. As x2 + 1 is invertible in K[x, y](x,y) , also y 2 − x3 − x = y 2 − x(x2 + 1)
and y generate this ideal. They hence form a regular system of parameters of OA2 ,0 .
For the remaining assertions, see ex. 2.41.
Ex. 3.31. Computing the derivatives of x2 − y 2 z with respect to x, y and
z and setting them zero shows that the singular locus of X is the z-axis. Let
bX,a =
a = (0, 0, t) with t 6= 0 be a point√of the z-axis outside the origin. Then O
2
2
C[[x, y, z]]/(x − y (z − t)). Since z − t is for √
t 6= 0 a formal√power series in z the
quotient can be rewritten as C[[x, y, z]]/(x − y z − t)(x + y z − t). The product

BLOWUPS AND RESOLUTION

65

√
√
(x−y z − t)(x+y z − t) = 0 defines two smooth formal surfaces intersecting each
other transversally.
√ They are√formally isomorphic to the union of the two planes
defined by (x − y −t)(x + y −t) = 0. Hence a is a normal crossings point of X.
But it is not a simple normal crossings point since, globally, X consists of only one
component which is moreover singular at a.
bX,0 = K[[x, y, z]]/(x2 −y 2 z). Since x2 −y 2 z is
The formal neighborhood of 0 is O
irreducible in K[[x, y, z]] and X is singular at 0 the origin is not a normal crossings
point of X.
Ex. 3.34. Over C or any finite field Fq with q congruent to 1 modulo
√ 4 there
2
2
−1y)(x −
exists
a
square
root
of
−1,
hence
the
variety
defined
by
x
+
y
=
(x
+
√
−1y) = 0 has normal crossings at the origin. Since both components are regular
at 0 it also has simple normal crossings.
The surface defined by x2 + y 2 + z 2 = 0 does not have normal crossings
over R or C, but it has normal crossings over a field of characteristic 2, since
x2 + y 2 + z 2 = (x + y + z)2 in characteristic 2 so that the variety is a double plane.
The same holds for the variety defined by x2 + y 2 + z 2 + w2 = 0. The variety
xy(x − y) = 0 has three components passing through 0, but as A2 has only two
coordinate subspaces the variety does not have normal crossings at 0. The same
argument works for xy(x2 − y) = 0. The variety defined by (x − y)z(z − x) = 0 has
both normal and simple normal crossings at the origin over any field.
Ex. 3.35. The visualization of the surface looks as follows, cf. figure 5.

Figure 5: The zeroset of (x − y 2 )(x − z)z = 0 in A3 .
Ex. 3.38. A point a is a regular point of a variety if the local ring is regular, i.e.,
if its maximal ideal can be generated by as many elements as the Krull dimension
indicates. For a cartesian product X × Y , the local ring at a point (a, b) is the
tensor product of the local rings of the two factors,
OX×Y,(a,b) = K[X × Y ]m(a,b) ' K[X]ma ⊗ K[Y ]mb = OX,a ⊗ OY,b
and the same holds for the respective maximal ideals,
m(a,b) /m2(a,b) ' ma /m2a ⊗ mb /m2b .

66

HERWIG HAUSER

Therefore (a, b) ∈ X × Y is regular if and only if a is regular in X and b is regular
in Y . Consequently, Sing(X × Y ) = (Sing(X) × Y ) ∪ (X × Sing(Y )).
Ex. 3.39. A rather simple example for such a variety is the surface Tülle
defined by xz(x + z − y 2 ) = 0 in A3 . The pairwise intersections of its three components are the y-axis, respectively the two parabolas defined by x = z − y 2 = 0
and z = x − y 2 = 0, and are therefore regular. The parabolas are tangent to the
y-axis at 0. Said differently, the intersection of all three components, which is settheoretically just the origin 0 ∈ A3 , is scheme-theoretically singular (i.e., the sum
of the three ideals (x), (z) and (x + z − y 2 ) is not the ideal (x, y, z) defining the
origin in A3 ). Because of this, the surface is not mikado at 0.
Ex. 4.25. For X = V (xy, x2 ) and a the origin, the local ring is OX,a =
K[x, y]/(xy, x2 )(x,y) ' K[x, y](x,y) /(xy, x2 ). As a scheme, X equals the y-axis together with an embedded point at 0, since (xy, x2 ) has the primary decomposition
(xy, x2 ) = (x) ∩ (x2 , y). As Z = {0} cannot be defined in X by a single equation,
it is not a Cartier divisor.
Ex. 4.26. The local ring OX,a of X = A1 at the origin is OX,a = K[x](x) . The
monomial x2 is not a zero-divisor in OX,a , hence Z = V (x2 ) is a Cartier divisor
in A1 . Similarly, x2 y is not a zero divisor in OA2 ,a = K[x, y](x−a1 ,y−a2 ) for any
a = (a1 , a2 ) ∈ A2 and Z = V (x2 y) is a Cartier divisor in A2 .
Ex. 4.27. As Z = V (x2 , y) is defined in X = V (x2 , xy) by y = 0 where the
residue class y of y in OX,0 = K[x, y](x,y) /(x2 , xy) is a zero divisor, it follows that
Z is not a Cartier divisor in X.
Ex. 4.38. The Rees algebra of the ideal I = (x, 2y) in Z20 [x, y] is given by
M
M
e=
R
I k tk =
(xt, 2yt)k = Z20 [x, y, xt, 2yt]
k≥0

k≥0

with deg t = 1. It is isomorphic to Z20 [u, v, w, z]/(uz − 2vw) with deg u = deg v = 0
and deg w = deg z = 1.
Ex. 4.46. The blowup of A2 in Z = {(0, 1)} is given by the closure Γ of the
graph of γ : A2 \ {(0, 1)} → P1 , (a, b) 7→ (a : b − 1) in A2 × P1 together with the
projection π : Γ → X, (a, b, (c : d)) 7→ (a, b). More explicitly,
Γ = {(a, b, (a : b − 1)), (a, b) ∈ A2 } ∪ {(0, 1)} × P1 .
The line L in A2 defined by x + y = 0 does not contain the point (0, 1), therefore
its preimage in Γ is π −1 (L) = {((a, −a), (a : −a − 1)), a ∈ A1 }.
The line L0 in A2 defined by x + y = 1 contains the point (0, 1), therefore its
preimage in Γ is π −1 (L0 ) = {(a, 1 − a, (a : −a)), a ∈ A1 \ {0}} ∪ {(0, 1)} × P1 .
Ex. 4.47. The chart expressions of the blowup map of A3 along the z-axis
are given by π1 (x, y, z) = (x, xy, z) and π2 (x, y, z) = (xy, y, z). Their inverses are
π1−1 (x, y, z) = (x, xy , z) and π2−1 (x, y, z) = ( xy , y, z). The chart transition maps are

BLOWUPS AND RESOLUTION

67

given by the compositions
π1−1


◦ π2 (x, y, z) =

1
xy, , z
x



and
π2−1


◦ π1 (x, y, z) =


1
, xy, z .
y

Ex. 4.48. Let the chosen line Z in the cone X be defined by x = y − z = 0.
It requires two equations, therefore it is not a Cartier divisor. The polynomials x
and y − z form a regular sequence in K[X] = K[x, y, z]/(x2 + y 2 − z 2 ). Therefore
e of X along Z is given in X × P1 by the equation xv − (y − z)u =
the blowup X
where (u : v) are projective coordinates in P1 .
An alternate way to compute the blowup is by applying first the linear coordinate change u = x, w = y + z and t = y − z. The equation x2 + y 2 = z 2 of X
transforms into Y : u2 + 2wt = 0 and x = y − z = 0 becomes u = t = 0. The
latter equations define the w-axis, which is now the center of blowup. The resulting chart expressions of the blowup map are given by π1 (u, w, t) = (ut, w, t) and
π2 (u, w, t) = (u, w, wt). This gives the chart descriptions of the total transform Y ∗
of Y via
Y1∗ = V (u2 t2 + 2wt) = V (t) ∪ V (u2 t + 2w),
Y2∗ = V (u2 + 2uwt) = V (u) ∪ V (u + 2wt),
respectively. Substituting backwards gives
X1∗ = V (y − z) ∪ V (x2 (y − z) + 2(y + z)),
X2∗ = V (x) ∪ V (x + 2(y 2 − z 2 )),
where the second components denote the chart expressions of the strict transform
e 3 of A3 along Z, i.e., of the blowup X
e of X along Z, cf.
X s of X in the blowup A
def. 6.2 as well as Prop. 5.1 together with its corollary.
Ex. 4.49. The polynomials z and x2 +(y +2)2 −1 defining the circle in A3 form
a regular sequence. Hence, if (u : v) denote projective coordinates in P1 , the blowup
e of X along the circle is given in X ×P1 by the equation uz−v(x2 +(y+2)2 −1) = 0
X
e → X on the first factor.
together with the projection π : X
The polynomials z and y 2 − x3 − x defining the elliptic curve in A3 form a regular
e of X along this curve is given in X × P1 by the
sequence, too. The blowup X
2
3
e → X on the
equation uz − v(y − x − x) = 0 together with the projection π : X
first factor.
Ex. 4.52. The ideals I = (x1 , . . . , xn ) and J = (x1 , . . . , xn )m = I m induce
e = ⊕k≥0 I k and Se = ⊕k≥0 J k = ⊕k≥0 I mk , hence define
isomorphic Rees algebras R
n
the same blowups of A . See [Moo01] for more details on the characterization of
ideals producing the same blowup.

68

HERWIG HAUSER

Ex. 4.57. Since the centers of the blowups are given by coordinate subspaces,
the definition of blowup via affine charts can be used. For the blowup in the
origin the three chart expressions of the blowup map are given by πx (x, y, z) =
(x, xy, xz), πy (x, y, z) = (xy, y, yz) and πz (x, y, z) = (xz, yz, z). This gives for the
total transforms of X the expressions
Xx∗ = V (x2 − x3 y 2 z) = V (x2 ) ∪ V (1 − xy 2 z),
Xy∗ = V (x2 y 2 − y 3 z) = V (y 2 ) ∪ V (x2 − yz),
Xz∗ = V (x2 y 2 − y 2 z 3 ) = V (z 2 ) ∪ V (1 − xy 2 z).
e of X is given by gluing the three charts V (1 − xy 2 z), V (x2 − yz),
The blowup X
and V (1 − xy 2 z) of the strict transform X s of X according to def. 4.12. Observe
that the origin of the y-chart V (x2 − yz) has the same singularity as X at 0.
The blowup of X along the x-axis yields for the blowup map the chart expressions πy (x, y, z) = (x, y, yz) and πz (x, y, z) = (x, yz, z). As the x-axis is not
e of X
contained in X, the total transform X ∗ and the strict transform X s = X
e
coincide, cf. def. 6.2. This gives for X the chart expressions
ey = V (x2 − y 3 z),
X
ez = V (x2 − y 2 z 3 ).
X
For the blowup of X along the y-axis, the total transform has chart expressions
Xx∗ = V (x) ∪ V (x − y 2 z),
Xz∗ = V (z) ∪ V (x2 z − y 2 ),
where the secondly listed components are the charts of the strict transform. Again,
the chart V (x2 z − y 2 ) has, up to permutation of the variables, the same singularity
as X at 0. The blowup of X along the z-axis gives accordingly
Xx∗ = V (x2 ) ∪ V (1 − y 2 z),
Xy∗ = V (y 2 ) ∪ V (x2 − z).
Ex. 4.64. The blowup of X = Spec(Z[x]) along I = (x, p) is covered by two
charts with coordinate rings Z[x, x/p] ' Z[x, u]/(x − pu) ' Z[u] and Z[x, p/x] '
Z[x, u]/(p − xu), respectively. Observe that the second chart is not equal to the
affine line A1Z over Z, see also [EH00].
For the blowup of X along I = (px, pq) one cannot use the equations of def.
4.10 since px and pq do not form a regular sequence in Z[x]. Similarly as before,
the affine charts have coordinate rings Z[x, x/q] ' Z[x, u]/(x − qu) ' Z[u] and
Z[x, q/x] ' Z[x, u]/(q − xu), respectively.
Ex. 5.12. The equations g1 = y 2 − xz, g2 = yz − x3 and g3 = z 2 − x2 y
do not form a regular sequence, since they admit the non-trivial linear relations
z · g1 − y · g2 + x · g3 = 0 and x2 · g1 − z · g2 + y · g3 = 0. Therefore one cannot use
the equations of def. 4.10 to describe the blowup of A3 along the curve Z defined
by g1 = g2 = g3 = 0.
Ex. 5.13. Consider the map γ : X \ Z → P1 , (x, y, z) 7→ (x : y). For x = y = 0
and z 6= 0 there lies only one point in the closure Γ of the graph of γ in X × P1 ,
while for z = 0 the set of limit points forms a projective line P1 . The blowup is a
local isomorphism outside 0 since Z is locally a Cartier divisor in X at these points

BLOWUPS AND RESOLUTION

69

(being locally a regular curve in a regular surface). Above 0 ∈ X the blowup map
e → X is not a local isomorphism, since π contracts all limit points to 0, or,
π:X
e is regular, while X is singular at 0.
alternatively, because the blowup X
e 2 → A2 with center the origin has the chart exEx. 5.14. The blowup map π : A
pressions (x, y) 7→ (x, xy) and (x, y) 7→ (xy, y). The total transform X ∗ = π −1 (X)
e 2 has therefore charts defined in A2 by x2 = 0, respectively
of X = V (x2 ) in A
2 2
x y = 0, with exceptional divisors given by x = 0 and y = 0. Hence the strict
e of X lies only in the y-chart and is defined there by x2 = 0.
transform X s = X
Ex. 5.15. The same computation as in the preceding example applies and
e lies entirely in the y chart. It is defined there by the ideal (x2 , x) =
shows that X
(x), equals hence the y-axis of this chart.
Ex. 5.17. The blowup of A3 along the union of two coordinate axes is discussed
in ex. 4.36 and 4.66.
e 3 of A3 along the cusp (x3 − y 2 , z) is defined in A3 × P1 by
The blowup A
3
2
uz − v(x − y ) = 0, since x3 − y 2 and z form a regular sequence. It follows that
e 3 is singular at 0.
A
Ex. 6.14. By Prop. 6.6, the defining ideal of the strict transform of X is
generated by the strict transforms of the elements of a Macaulay basis of the ideal
(x2 − y 3 , xy − z 3 ). Notice that the given generators are not a Macaulay basis
since their initial forms are x2 and xy, which do not generate the initial form of
y(x2 − y 3 ) − x(xy − z 3 ) = xz 3 − y 4 . By adding this element, the Macaulay basis
x2 − y 3 , xy − z 3 , xz 3 − y 4 is obtained.
The chart expressions of the strict transform of X can now be computed from
this Macaulay basis,
Xxs = V (1 − xy 3 , y − xz 3 , z 3 − y 4 ),
Xys = V (x2 − y, x − yz 3 , xz 3 − 1),
Xzs = V (x2 − y 3 z, xy − z, x − y 4 ).

Ex. 6.18 and 6.19. The transformation of flags under blowups is explicitly
described in [Hau04] p. 5–8.
Ex. 6.22. In the y-chart, the total transform of I = (x2 , y 3 ) is given by the
ideal I ∗ = (x2 y 2 , y 3 ). Factoring out the maximal power of the monomial defining
the exceptional divisor, I ∗ = (y 2 )(x2 , y) is obtained. Thus, the weak transform of
I is given by the ideal I g = (x2 , y). On the other hand, it is easy to see that x2 , y 3
is a Macaulay basis for I. Thus, by Prop. 6.6, the strict transform of I is generated
by the strict transforms of these generators. Therefore, I s = (x2 , 1) = K[x, y].
Ex. 6.23. This result is proved in [Hau03], p. 345.
Ex. 7.10. For the first two equations, the implicit function theorem shows
that the zerosets are regular at 0. This gives a parametrization by formal power

70

HERWIG HAUSER

series. The zeroset of the third equation is singular at 0 and one cannot use the
implicit function theorem to describe it at 0. To give a parametrization requires to
construct first a resolution, which, in the present case, is very tedious.
Ex. 7.14. Consider the case that the resolution of Y is achieved by a sequence
of blowups:
πn−1
πn−2
π0
Y0 = Y.
Y 0 = Yn −→ Yn−1 −→ · · · −→
Denote by Zi ⊆ Yi the center of the blowup πi : Yi+1 → Yi . Since Z is regular, the
singular locus of Y × Z is Sing(Y ) × Z. By the base change property for blowups,
Prop. 5.1, the blowup of Yi × Z along the center Zi × Z equals Yi+1 × Z. This gives
a new sequence
π
en−1

π
en−2

π
e

0
Y0 × Z = Y × Z
Y 0 × Z = Yn × Z −→ Yn−1 × Z −→ · · · −→

where π
ei : Yi+1 × Z → Yi × Z is the blowup along the center Zi × Z ⊆ Yi × Z. It
is checked that the morphism Y 0 × Z → Y × Z is a resolution of the singularities
of Y × Z.
Ex. 8.25. Consider the variety X = V ((x2 − y 3 )(z 2 − w3 )) ⊆ A4 over a field
of characteristic zero. The stratification of X by the iterated singular loci is as
follows.
Sing(X) = V (x, y) ∪ V (z, w) ∪ V (x2 − y 3 , z 2 − w3 ),
Sing2 (X) = V (x, y, z 2 − w3 ) ∪ V (z, w, x2 − y 3 ),
Sing3 (X) = V (x, y, z, w).
Ex. 8.30–8.32. Let J ⊆ R be an ideal and I ⊆ R a prime ideal. The order of
J along I is defined as
ordI J = max{k ∈ N, JRI ⊆ I k RI }
where RI is the localization of R in I. If I (k) = I k RI ∩ R denotes the k-th symbolic
power of I, the order can also be expressed as
ordI J = max{k ∈ N, J ⊆ I (k) }
without making explicit use of the localization [ZS75].
Now consider the example R = K[x, y, z], I = (y 2 − xz, yz − x3 , z 2 − x2 y). It
can be checked that I is a prime ideal of R but not a complete intersection (i.e.,
not generated by a regular sequence, cf. ex. 5.12). Also consider the principal ideal
J in R that is generated by f = x5 + xy 3 + z 3 − 3x2 yz. The order of J along I can
be determined as follows. First notice that f ∈
/ I 2 since f has order 3 at the origin,
2
but all elements in I have at least order 4 at the origin. On the other hand,
xf = x6 + x2 y 3 + xz 3 − 3x3 yz = (x3 − yz)2 − (y 2 − xz)(z 2 − x2 y) ∈ I 2 .
Since x ∈
/ I, this implies that J · RI ⊆ I 2 RI , and in particular, ordI J ≥ 2. Thus,
f is an example for an element in R that is contained in the symbolic power I (2) ,
but not in I 2 . It remains to show that ordI J = 2. By Thm. 8.20 it suffices to
find a point a that lies on the curve V (I) for which orda f = 2. Such a point is for
instance a = (1, 1, 1) ∈ V (I).
Pc−1
Ex. 8.39. Consider the polynomial g = xc + i=0 gi (y) · xi at the origin
a = 0 of A1+n . The order of g at a equals the minimum of c and all values

BLOWUPS AND RESOLUTION

71

orda gi + i, for 0 ≤ i < c. Assume that ord0 g = c and also that gc−1 = 0. If
the characteristic of the ground field is zero, this can be achieved by a change of
coordinates x 7→ x + 1c · gc−1 (y), compare with rem. 9.4 and ex. 9.10. The defining
i+|α|

∂
ideal I of the top locus of V (g) is generated by the derivatives ∂x
i ∂y α g where i ∈ N,
n
α ∈ N and i + |α| < c. In particular, if the characteristic of the ground field is
∂ c−1
zero, ∂x
c−1 g = c! · x ∈ I and thus x ∈ I. This allows to express I in the form:


∂ |α|
n
I = x, α gi (y), for α ∈ N , i < c, |α| < c − i .
∂y
P
Ex. 8.43. Assume that ord g = d and g = i,j cij y i z j . The order will always
be taken at the origin of the respective charts. Let g 0 be the strict transform of g
under the first blowup. Then
X
g0 =
cij y i+j−d z j .


i,j

Set d0 = ord g 0 and notice that d0 = min{i + 2j − d, cij 6= 0}. Let g 00 be the strict
transform of g 0 under the second blowup. Then
X
0
g 00 =
cij y i+j−d z i+2j−d−d .
i,j

Set d00 = ord g 00 and notice that d00 = min{2i + 3j − 2d − d0 , cij 6= 0}. It is clear
that d00 ≤ d0 ≤ d. If d0 ≤ d2 , then d00 ≤ d2 follows. So assume that d0 > d2 . By
assumption, there exists a pair (i, j) ∈ N2 such that i + j = d and cij 6= 0. Thus,
d
d
d00 ≤ 2i + 3j −2d −d0 < j − ≤ .
|{z} |{z} 2
| {z }
2
=2d+j

<− d
2

≤d

Ex. 8.53. The situation is described in detail in [Hau00], Prop. 4.5, p. 354,
and [Zar44], Thm. 1 and Lemma 3.2, p. 479. If the center is a smooth curve, see
[Hau00], Prop. 4.6, p. 354, and [Zar44], Thm. 2, p. 484 and its corollary, p. 485.
bW,a ' K[[x1 , . . . , xn ]]. Assume
Ex. 9.8. Let a = 0 and pass to the completionP
O
that P
orda f = c and that f has the expansion f = α∈Nn cα xα . The initial form of
f is |α|=c cα xα . It is assumed that the blowup is monomial; thus, a0 is the origin
of the xi -chart for some i ≤ n. If i > 1, then a0 is contained in the strict transform
of V s . It remains to show that, if a0 is the origin of the x1 -chart, the order of the
strict transform of f is smaller than c .
For this, notice that the strict transform of f at the origin of the x1 -chart is
P
|α|−c−α1 α
given by f 0 = α∈Nn cα x1
x where α1 is the first component of α. The
monomials of this expansion are distinct, so there can be no cancellation between
them. By assumption, x1 appears in the initial form of f ; thus, there is an exponent
α0 ∈ Nn such that |α0 | = c, α10 > 0 and cα0 6= 0. This implies that the expansion of
−α0
f 0 contains the non-zero monomial cα0 x1 1 xα . Therefore orda0 f 0 < c = orda f .

72

HERWIG HAUSER

Ex. 9.10. Assume that the characteristic of the ground field is zero. The
coordinate change xn 7→ xn − d1 · ad−1 (y) transforms f into

d X

i
d−1
1
1
f 7→ xn − · ad−1 (y) +
ai (y) xn − · ad−1 (y) .
d
d
i=0
Notice thatthe coefficient of xdn in this new expansion is 1 and the coefficient of
xd−1
is − d1 d1 ad−1 (y) + ad−1 (y) = 0. Thus, there are polynomials e
ai (y) such that,
n
in the new coordinates,
d−2
X
f = xdn +
e
ai (y)xin .
i=0
∂ d−1
(f )
∂xd−1
n

= d! · xn . Thus, the variety defined by xn = 0 defines an
Consequently,
osculating hypersurface for X at the origin. By Prop. 9.5, every osculating hypersurface has maximal contact.
Ex. 9.11. The defining equation for the strict transform of X in the x-chart
is given by
f 0 = y + y 2 − z + y 2 z − z 2 − yz 2 = ((y + 1) − (z + 1))(y + 1)(z + 1).
The order of f 0 at the point a0 = (0, −1, −1) is 3. Since the exceptional divisor is
given by the equation x = 0 in the x-chart, a0 lies on it. The strict transform V s
of V coincides with the complement of the x-chart, so a0 cannot lie on V s .
Ex. 9.14. The relevant case appearsPwhen c = p > 0 where p is the characteristic of the ground field. Let g(y) = α∈Nm gα y α be the expansion of g with
respect to the coordinates y1 , . . . , ym . It decomposes into
X
X
g(y) =
gα y α +
gα y α .
α∈p·Nm

|

α∈Nm \p·Nm

{z

g1 (y)

}

{z

|

g2 (y)

}

If the ground field is assumed to be perfect, g1 (y) is a p-th power. Thus, there is
a formal power series ge(y) with ord ge ≥ 1 such that gep = g1 . Apply the change of
coordinates x 7→ x − ge. This transforms f into
f = (x − ge)p + g1 + g2 = xp − gep + g1 + g2 = xp + g2 .
Notice that ord g2 ≥ ord g. To show that this order is maximal, it suffices to
consider an arbitrary change of coordinates z 7→ z + h(y) where h ∈ K[[y1 , . . . , ym ]]
is any power series with ord h ≥ 1. This transforms the equation into
f = xp + hp + g2 .
Notice that there can be no cancellation between the terms in the expansions of hp
and g2 . Thus, ord(hp + g2 ) ≤ ord g2 .
Ex. 9.17. Denote the sequence of local blowups by
πm−1

π

0
(W 0 , a0 ) = (Wm , am ) −→ · · · −→
(W0 , a0 ) = (W, a).

Set f (0) = f and let f (i) be the strict transform of f after i blowups. Assume that
the center of each local blowup πi : (Wi+1 , ai+1 ) → (Wi , ai ) is contained in the top

BLOWUPS AND RESOLUTION

73

locus of f (i) and has normal crossings with the exceptional divisors produced by
previous blowups. Let Z be a local hypersurface of maximal contact for f at a.
Assume that ordai f (i) = orda f for i = 1, . . . , m. Then, by definition of maximal
contact, ai ∈ Zi for i = 0, . . . , m, where Zi denotes the strict transform of Z after
i blowups. Since all centers are contained in the top locus of f (i) , they are also
contained in Zi . By repeatedly applying Prop. 5.3, the union of all exceptional
divisors produced by the blowups πm−1 , . . . , π0 with Z 0 = Zm is a normal crossings
divisor. Thus, a0 is contained in n + 1 hypersurfaces that form a normal crossings
divisor. But this is impossible in an ambient space of dimension n.
Ex. 10.20. Set f = x5 + x2 y 4 + y k . Denote by Vx and Vy the regular local
hypersurfaces defined by x = 0, respectively y = 0. If k ≥ 5, then the order of f at
the origin is 5 and the derivative ∂x4 f = 5! · x defines the hypersurface Vx . Thus,
Vx is osculating. If k = 4, then the order of f at the origin is 4. The derivative
∂y3 f = 4! · y(1 + x2 ) defines a regular parameter. Since 1 + x2 is a unit in the local
ring OA2 ,0 , the hypersurface Vy is osculating. If k < 4, taking the differential with
respect to y shows again that Vy is an osculating hypersurface.
If k ≥ 5, then JVx (I) = (y 160 , y 24k ) and JVy (I) = (x240 , x120 ) = (x120 ).
Thus, both Vx and Vy have weak maximal contact if k = 5, while only Vx has
k!
weak maximal contact if k > 5. If 2 ≤ k ≤ 4, then JVx (I) = (y 4 k−2 , y k! ) and
JVy (I) = (x5(k−1)! ). Since k! < 5(k − 1)!, only Vy has weak maximal contact in this
case.
Ex. 10.21. Assume that the characteristic of the ground field is not equal to
2. Then ∂x f = 2x and the hypersurface V has weak maximal contact with f by
Prop. 10.11. The coefficient ideal JV (f ) of f with respect to V is generated by
y 3 z 3 + y 7 + z 7 and has order 6 (up to raising the generator to the required power).
Restrict to the case of the blowup of A2 at the origin and the study of f
at the origin of the y-chart. The strict transform of f is given there by f 0 =
x2 + y 4 (z 3 + y + yz 7 ). The points where the order of f 0 has remained constant are
exactly the points of the z-axis. Let V 0 denote the strict transform of V . Then
JV 0 (f 0 ) is generated by y 4 (z 3 + y + yz 7 ) where y 4 is the exceptional factor (again,
up to taking powers). The order of the residual factor has dropped to 1 at the
origin and to 0 at all other points of the z-axis.
Ex. 10.22. Assume that a = 0, orda f = c and that JV (f ) = (y α ) where
n−1
y = (x
. Now let L ⊆ {1, . . . , n − 1} be a subset such
P1 , . . . , xn−1 ) and αP∈ N
that
α
≥
c!
but
i∈L i
i∈L\{j} αi < c! for all j ∈ L. This is possible since
orda JV (f ) = |α| ≥ c! by the definition of coefficient ideals.
Blow up An in the center given by xn = 0 and xi = 0 for all i ∈ L. Let a0 be a
point over a at which the order of the strict transform of f has remained constant.
Since V is osculating, a0 is not contained in the xn -chart. So let j ∈ L be such that
a0 is contained in the xj -chart. The transform of the coefficient ideal in this chart
is
P
αi −c! α
JV 0 (f 0 ) = JV (f )! = (xj i∈L\{j}
y ).
P
0
0
0
But since
i∈L\{j} αi − c! < 0 by assumption, it follows that orda JV (f ) <
orda JV (f ). But the order of the coefficient ideal is at least c! as long as the order
of the strict transform of f remains equal to c. Thus, by iterating this procedure,

74

HERWIG HAUSER

after finitely many steps the order of the strict transform of f has to drop.
Ex. 10.27. Assume that ord I = c. Let x1 , . . . , xn be a regular system of
bAn ,0 = K[[x1 , . . . , xn ]]. Define a map π : Nn → N ∪ {∞} in the
parameters for O
following way:
(
Pn−1
c!
αi if αn < c,
π(α1 , . . . , αn ) = c−αn i=1
∞
if αn ≥ c.
Let V be the regular
local hypersurface defined by xn = 0. Elements f ∈ I have
P
expansions f = α∈Nn cf,α xα . Then, by the definition of coefficient ideals,
ord(JV (I)) = min{π(α), α ∈ Nn : there is an f ∈ I such that cf,α 6= 0}.
Now define a monomial order <ε on K[x1 , . . . , xn ] in the following way: Set xα <ε
xβ if and only if π(α) < π(β) or π(α) = π(β) and α <lex β where <lex denotes the
lexicographic order on Nn .
By [Hau04], Thm. 3, p. 10, there exists a regular system of parameters x1 , . . . , xn
bAn ,0 such that the initial ideal of I with respect to <ε is maximal (again, with
for O
bAn ,0 . In parrespect to <ε ) over all choices of regular systems of parameters for O
ticular, let y1 , . . . , yn be another
regular system of parameters and let each f ∈ I
P
0
α
have the expansion f =
with respect to these parameters. Then
α∈Nn cf,α y
n
there exist elements g ∈ I and α
e ∈ N such that c0g,e
α 6= 0 and
π(e
α) ≤ min{π(α), α ∈ Nn , there is an f ∈ I such that cf,α 6= 0}.
Let V 0 be the regular local hypersurface defined by yn = 0. Then the last statement
implies that ord(JV 0 (I)) ≤ ord(JV (I)). Thus, the regular system of parameters
x1 , . . . , xn maximizes the order of the coefficient ideal.
Ex. 10.30. Let I be an ideal with orda I = orda0 I g where a0 is the origin of
the xj -chart for some j < P
n and I g denotes the weak transform of I. Elements
f ∈ I have expansions f = i≥0 fi (y)xin where y = (x1 , . . . , xn−1 ). Then
o!

JV (I) = (fio−i , i < o, f ∈ I).
The weak transform of I is given by I g = (f g , f ∈ I) where
X
X
−o
∗
∗ i i
i
f g = x−o
f
=
x
f
x
x
=
(fi∗ xi−o
i
n
j
j
j
j ) xn .
{z
}
|
i≥0
i≥0
=:fi0

Here, f ∗ and fi∗ denote the total transforms. Thus, the coefficient ideal of I g with
respect to the strict transform V 0 of V is
0

o!

o!

o!
(i−o) o−i

JV 0 (I g ) = (fi o−i : i < o, f ∈ I) = (fi∗ o−i xj
∗
x−o!
j (fi

o!
o−i

: i < o, f ∈ I)

∗
!
: i < o, f ∈ I) = x−o!
j (JV (I)) = JV (I)

where JV (I)! denotes the controlled transform with control o!.
Ex. 11.14 and 11.15. These examples are discussed in detail in Lecture XII.
Ex. 12.17–12.22. Let K be a field of characteristic 2. Consider the ring
homomorphism φ : K[x, y, z, w] → K[t] given by φ(x) = t32 , φ(y) = t7 , φ(z) = t19 ,

BLOWUPS AND RESOLUTION

75

φ(w) = t15 . Let I ⊆ K[x, y, z, w] be its kernel. Its zeroset is an irreducible curve C
in A4 .
Now let f be the polynomial f = x2 + yz 3 + zw3 + y 7 w. The partial derivatives
of f have the form:
∂
f = 0,
∂x
∂
f = z 3 + y 6 w,
∂y
∂
f = yz 2 + w3 ,
∂z
∂
f = zw2 + y 7 .
∂w
It is easy to check that f and all of its first derivatives are contained in I. Thus,
by the Jacobian criterion, ordI f ≥ 2. Since the order of f in the origin is 2, it is
possible to conclude that ordI f = 2. In other words, the top locus of f contains the
curve C that is parametrized by t 7→ (t32 , t7 , t19 , t15 ). It can be checked, e.g. via
any computer algebra system, that the top locus of f is itself an irreducible curve.
Thus, it coincides with the curve C.
Now suppose that there is a regular local hypersurface at the origin that contains the top locus of f and hence the curve C. This hypersurface has an equation
h = 0 in which at least one variable must appear linearly. But since h ∈ I, this
is only possible if one of the numbers 32, 7, 19, 15 can be written as an N-linear
combination of the others. This is not the case so that there is no regular local
hypersurface containing the top locus of f .
Let V be any regular local hypersurface at the origin. Since it does not contain
the curve C, there is a sequence of point blowups that separates the strict transforms of V and C. Since the variety X defined by f = 0 has order 2 along the curve
C and the point blowups are isomorphisms over all but one point of C, the order
of the strict transform of X under these blowups will again be 2 along the strict
transform of C. So there eventually is a point a0 at which the strict transform of
X has order 2, but which is not contained in the strict transform of V . Thus, V
does not have maximal contact with X. Since V was chosen arbitrarily, there can
be no hypersurface that has maximal contact with X.
Ex. 12.24. Let α ∈ Nn . Define the
differential operator ∂xα on K[x1 , . . . , xn ]
 β−α
β
as the linear extension of ∂xα xβ = α
x
.
In particular, consider the differential operator ∂xpi for i ∈ {1, . . . , n}. If n ∈ N

P
has the p-adic expansion n = i≥0 ni pi with 0 ≤ ni < p, then ∂xpi xni = np xn−p
=
i
k

for any k ∈ N.
n1 xn−p
. Similarly, ∂xpk xni = nk xn−p
i
i
i

Notice that ∂xpi is not a derivation since it does not fulfill the Leibniz rule:
∂xpi (xpi ) = 1, but
xi ∂xpi xip−1 +xip−1 ∂xpi xi = 0.
| {z }
| {z }
0

0

For more details on differential operators in positive characteristic, see [Kaw07]
Chap. 1, pp. 838–851.

76

HERWIG HAUSER
5

4

4

4

4

Ex. 12.25. Consider f = z 3 + x4·3 y 3 (x3 + y 3 + x300 ) as a polynomial over
a field of characteristic 3. Assume that the exceptional locus is given locally by
V (xy). Then its residual order with respect to the local hypersurface defined by
z = 0 is 34 . Now consider the blowup of A2 at the origin and let a0 be the point
(0, 1, 0) in the x-chart. The strict transform of f has the equation
5

5

4

4

5

5

4

4

f 0 = z 3 + x3 (y 3 + 1)(y 3 − 1 + x219 ) = z 3 + x3 (y 2·3 − 1 + x219 (1 + y 3 )).
By making the change of coordinates z 7→ z + x, this transforms into
5

5

4

4

f 0 = z 3 + x3 (y 2·3 + x219 (1 + y 3 )).
The exceptional divisor is given locally by V (x). Thus, the residual order of f 0 with
respect to the hypersurface defined by z = 0 is 2 · 34 > 34 .
Ex. 12.26. The equation of f in local coordinates x, y, z at a point (0, 0, t)
on the z-axis is obtained by making a translation z 7→ z + t. Thus, the equation
xp + y p (z + t) = xp + y p z + y p t is obtained. Assume that the ground field is perfect
and let λ be the p-th root of t. Then one can write xp + y p z + y p t = (x + λy)p + y p z.
Thus, the residual order of f at every point of the z-axis is p + 1.
Now consider the generic point P = (x, y) of the z-axis. The order of the coefficient ideal along P is p.
Ex. 12.27. Observe that
G+ (y) =

m−1
Y

rm +
g (y).
(yi + ym )ri ym

i=1

Let I denote the ideal (y1 , . . . , ym−1 ). Notice that I defines a complete intersection.
By [Hoc73] 2.1, p. 57, [Pel88], Prop. 1.8, p. 359, the order of a polynomial f along
I can be expressed as the largest power of I that contains f . In particular, it fulfills
that ordI (f · g) = ordI f + ordI g for polynomials f, g. Now compution yields
ordI G+ (y) =

m−1
X
i=1

ri · ordI (yi + ym ) +rm · ordI ym +ordI g + (y)
| {z }
{z
}
|
0

0

+

≤ ord g (y) = ord g(y) = k.
Ex. 12.29 and 12.30. This is explained in detail in [Hau10a].
References
[Abh56]
[Abh59]
[Abh64]
[Abh66a]
[Abh66b]

[Abh67]

S. Abhyankar, Local uniformization on algebraic surfaces over ground fields of characteristic p 6= 0, Ann. of Math. (2) 63 (1956), 491–526.
, Ramification theoretic methods in algebraic geometry, Annals of Mathematics Studies, no. 43, Princeton University Press, 1959.
, Uniformization in p-cyclic extensions of algebraic surfaces over ground
fields of characteristic p, Math. Ann. 153 (1964), 81–96.
, An algorithm on polynomials in one indeterminate with coefficients in a
two dimensional regular local domain, Ann. Mat. Pura Appl. (4) 71 (1966), 25–59.
, Uniformization in a p-cyclic extension of a two dimensional regular local
domain of residue field characteristic p, Festschr. Gedächtnisfeier K. Weierstrass,
Westdeutscher Verlag, 1966, pp. 243–317.
, Nonsplitting of valuations in extensions of two dimensional regular local
domains, Math. Ann. 170 (1967), 87–144.

BLOWUPS AND RESOLUTION

[Abh88]
[Abh98]

77

, Good points of a hypersurface, Adv. in Math. 68 (1988), no. 2, 87–256.
, Resolution of singularities of embedded algebraic surfaces, second ed.,
Springer Monographs in Mathematics, Springer-Verlag, 1998.
[AM69]
M. Atiyah and I. MacDonald, Introduction to commutative algebra, Addison-Wesley
Pub. Co, 1969.
[AM73]
S. Abhyankar and T.-T. Moh, Newton-Puiseux expansion and generalized Tschirnhausen transformation. I, II, J. Reine Angew. Math. 260 (1973), 47–83; ibid. 261
(1973), 29–54.
[Art86]
M. Artin, Lipman’s proof of resolution of singularities for surfaces, Arithmetic geometry (Storrs, Conn., 1984), Springer, 1986, pp. 267–287.
[AZ55]
S. Abhyankar and O. Zariski, Splitting of valuations in extensions of local domains,
Proc. Nat. Acad. Sci. U. S. A. 41 (1955), 84–90.
[BDMVP12] E. Bierstone, S. Da Silva, P. Milman, and F. Vera-Pacheco, Desingularization by
blowings-up avoiding simple normal crossings, 2012, arXiv:1206.5316.
[Ben70]
B. Bennett, On the characteristic functions of a local ring, Ann. of Math. (2) 91
(1970), 25–87.
[BHSV08]
G. Bodnár, H. Hauser, J. Schicho, and O. Villamayor, Plain varieties, Bull. London
Math. Soc. 40 (2008), 965–971.
[BM97]
E. Bierstone and P. Milman, Canonical desingularization in characteristic zero by
blowing up the maximum strata of a local invariant, Invent. Math. 128 (1997), no. 2,
207–302.
[BM06]
, Desingularization of toric and binomial varieties, J. Algebraic Geom. 15
(2006), no. 3, 443–486.
, Functoriality in resolution of singularities, Publ. Res. Inst. Math. Sci. 44
[BM08]
(2008), no. 2, 609–639.
[Bod03]
G. Bodnár, Computation of blowing up centers, J. Pure Appl. Algebra 179 (2003),
no. 3, 221–233.
[Bod04]
, Algorithmic tests for the normal crossing property, Automated deduction
in geometry, Lecture Notes in Comput. Sci., vol. 2930, Springer, 2004, pp. 1–20.
[BV10]
A. Bravo and O. Villamayor, Singularities in positive characteristic, stratification
and simplification of the singular locus, Adv. Math. 224 (2010), no. 4, 1349–1418.
, Elimination algebras and inductive arguments in resolution of singularities,
[BV11]
Asian J. Math. 15 (2011), no. 3, 321–355.
[BV12]
A. Benito and O. Villamayor, Techniques for the study of singularities with applications to resolution of 2-dimensional schemes, Math. Ann. 353 (2012), no. 3,
1037–1068.
, Monoidal transformations and invariants of singularities in positive char[BV14]
acteristic, Comp. Math. (2014).
[CJS09]
V. Cossart, U. Jannsen, and S. Saito, Canonical embedded and non-embedded resolution of singularities for excellent two-dimensional schemes, 2009, arXiv:0905.2191.
[Cos75]
V. Cossart, Sur le polyèdre caractéristique d’une singularité, Bull. Soc. Math. France
103 (1975), no. 1, 13–19.
, Desingularization of embedded excellent surfaces, Tôhoku Math. J. (2) 33
[Cos81]
(1981), no. 1, 25–33.
[Cos11]
, Is there a notion of weak maximal contact in characteristic p > 0?, Asian
J. Math. 15 (2011), no. 3, 357–369.
[CP08]
V. Cossart and O. Piltant, Resolution of singularities of threefolds in positive characteristic. I. Reduction to local uniformization on Artin-Schreier and purely inseparable coverings, J. Algebra 320 (2008), no. 3, 1051–1082.
[CP09]
, Resolution of singularities of threefolds in positive characteristic. II, J.
Algebra 321 (2009), no. 7, 1836–1976.
[CP12]
, Resolution of singularities of threefolds in mixed characteristic: case of
small multiplicity, 2012, hal-00735929.
[CP13]
, Resolution of singularities of arithmetical threefolds I, 2013, hal-00873967.
[Cut04]
S. D. Cutkosky, Resolution of singularities, American Mathematical Society, 2004.
[Cut09]
, Resolution of singularities for 3-folds in positive characteristic, Amer. J.
Math. 131 (2009), no. 1, 59–127.

78

[Cut11]
[dJP00]
[EH00]
[EH02]
[Eph78]
[EV98]
[EV00]

[Fab11]
[Fab12]
[FH10]
[FW11]
[GH78]
[Gir75]
[Gro61]

[GW10]
[Har77]
[Hau98]
[Hau00]
[Hau03]
[Hau04]
[Hau10a]

[Hau10b]
[Hir64]

[Hir84]

[Hir03]
[Hir12]
[HM89]
[HM90]

HERWIG HAUSER

, A skeleton key to Abhyankar’s proof of embedded resolution of characteristic
p surfaces, Asian. J. Math. 15 (2011), no. 3, 369–416.
T. de Jong and G. Pfister, Local analytic geometry: basic theory and applications,
Vieweg, 2000.
D. Eisenbud and J. Harris, The geometry of schemes, Graduate Texts in Mathematics, vol. 197, Springer-Verlag, 2000.
S. Encinas and H. Hauser, Strong resolution of singularities in characteristic zero,
Comment. Math. Helv. 77 (2002), no. 4, 821–845.
R. Ephraim, Isosingular loci and the Cartesian product structure of complex analytic
singularities, Trans. Amer. Math. Soc. 241 (1978), 357–371.
S. Encinas and O. Villamayor, Good points and constructive resolution of singularities, Acta Math. 181 (1998), no. 1, 109–158.
, A course on constructive desingularization and equivariance, Resolution of
singularities (Obergurgl, 1997), Progr. Math., vol. 181, Birkhäuser, 2000, pp. 147–
227.
E. Faber, Normal crossings in local analytic geometry, Ph.D. thesis, Universität
Wien, 2011.
, Characterizing normal crossing hypersurfaces, 2012, arXiv:1206.5316.
E. Faber and H. Hauser, Today’s menu: geometry and resolution of singular algebraic surfaces, Bull. Amer. Math. Soc. 47 (2010), 373–417.
E. Faber and D. Westra, Blowups in tame monomial ideals, J. Pure Appl. Algebra
215 (2011), no. 8, 1805–1821.
P. Griffiths and J. Harris, Principles of algebraic geometry, Wiley, 1978.
J. Giraud, Contact maximal en caractéristique positive, Ann. Sci. École Norm. Sup.
(4) 8 (1975), no. 2, 201–234.
A. Grothendieck, Éléments de géométrie algébrique. II. Étude globale élémentaire
de quelques classes de morphismes, Inst. Hautes Études Sci. Publ. Math. (1961),
no. 8, 222.
U. Görtz and T. Wedhorn, Algebraic geometry I, Advanced Lectures in Mathematics,
Vieweg + Teubner, Wiesbaden, 2010.
R. Hartshorne, Algebraic geometry, Springer-Verlag, 1977.
H. Hauser, Seventeen obstacles for resolution of singularities, Singularities (Oberwolfach, 1996), Progr. Math., vol. 162, Birkhäuser, 1998, pp. 289–313.
, Excellent surfaces and their taut resolution, Resolution of singularities
(Obergurgl, 1997), Progr. Math., vol. 181, Birkhäuser, 2000, pp. 341–373.
, The Hironaka theorem on resolution of singularities (or: A proof we always
wanted to understand), Bull. Amer. Math. Soc. (N.S.) 40 (2003), no. 3, 323–403.
, Three power series techniques, Proc. London Math. Soc. (3) 89 (2004),
no. 1, 1–24.
, On the problem of resolution of singularities in positive characteristic (or:
a proof we are still waiting for), Bull. Amer. Math. Soc. (N.S.) 47 (2010), no. 1,
1–30.
, Wild Singularities and Kangaroo Points for the Resolution in Positive
Characteristic, 2010, Manuscript.
H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II, Ann. of Math. (2) 79 (1964), 109–203; ibid. (2) 79 (1964),
205–326.
, Desingularization of excellent surfaces, Bowdoin 1967, Resolution of surface singularities, V. Cossart, J. Giraud, and U. Orbanz, Lecture Notes in Mathematics, vol. 1101, Springer-Verlag, 1984.
, Theory of infinitely near singular points, J. Korean Math. Soc. 40 (2003),
no. 5, 901–920.
, Resolution of singularities, Manuscript distributed at the CMI Summer
School 2012, 138 pp.
H. Hauser and G. Müller, The trivial locus of an analytic map germ, Ann. Inst.
Fourier 39 (1989), no. 4, 831–844.
, The cancellation property for direct products of analytic space germs, Math.
Ann. 286 (1990), no. 1-3, 209–223.

BLOWUPS AND RESOLUTION

[Hoc73]
[HS12]
[HW14]
[Kaw07]

[Kaw14]
[Kem11]
[KM10]

[KM12]
[Kol07]
[Kuh00]

[Lev01]
[Lip75]
[Lip78]
[Liu02]
[Mat89]
[Moh87]
[Moo01]
[Mul83]
[Mum99]
[Nag75]
[Nar83]
[Obe00]

[Pan06]
[Pel88]
[Ser00]
[Sha94]
[Spi83]
[Sza94]
[Tei03]

[Tem08]

79

M. Hochster, Criteria for equality of ordinary and symbolic powers of primes, Math.
Z. 133 (1973), 53–65.
H. Hauser and J. Schicho, A game for the resolution of singularities, Proc. Lond.
Math. Soc. (3) 105 (2012), no. 6, 1149–1182.
H. Hauser and D. Wagner, Two alternative invariants for the embedded resolution
of surface singularities in positive characteristic, Enseign. Math. (2014).
H. Kawanoue, Toward resolution of singularities over a field of positive characteristic. I. Foundation; the language of the idealistic filtration, Publ. Res. Inst. Math.
Sci. 43 (2007), no. 3, 819–909.
, Idealistic filtration program with the radical saturation, this volume (2014).
G. Kemper, A course in commutative algebra, Springer, 2011.
H. Kawanoue and K. Matsuki, Toward resolution of singularities over a field of
positive characteristic (the idealistic filtration program) Part II. Basic invariants
associated to the idealistic filtration and their properties, Publ. Res. Inst. Math. Sci.
46 (2010), no. 2, 359–422.
, Resolution of singularities of an idealistic filtration in dimension 3 after
Benito-Villamayor, 2012, arXiv:1205.4556.
J. Kollár, Lectures on resolution of singularities, Princeton University Press, 2007.
F.-V. Kuhlmann, Valuation theoretic and model theoretic aspects of local uniformization, Resolution of singularities (Obergurgl, 1997), Progr. Math., vol. 181,
Birkhäuser, 2000, pp. 381–456.
M. Levine, Blowing up monomial ideals, J. Pure Appl. Algebra 160 (2001), no. 1,
67–103.
J. Lipman, Introduction to resolution of singularities, Algebraic geometry, Arcata
1974. Proc. Sympos. Pure Math., Vol. 29, Amer. Math. Soc., 1975, pp. 187–230.
, Desingularization of two-dimensional schemes, Ann. Math. (2) 107 (1978),
no. 1, 151–207.
Q. Liu, Algebraic geometry and arithmetic curves, Oxford University Press, 2002.
H. Matsumura, Commutative ring theory, Cambridge University Press, 1989.
T.-T. Moh, On a stability theorem for local uniformization in characteristic p, Publ.
Res. Inst. Math. Sci. 23 (1987), no. 6, 965–973.
J. Moody, Divisibility of ideals and blowing up, Illinois J. Math. 45 (2001), no. 1,
163–165.
S. B. Mulay, Equimultiplicity and hyperplanarity, Proc. Amer. Math. Soc. 89 (1983),
no. 3, 407–413.
D. Mumford, The red book of varieties and schemes, Springer, 1999.
M. Nagata, Local rings, R.E. Krieger Pub. Co, 1975.
R. Narasimhan, Hyperplanarity of the equimultiple locus, Proc. Amer. Math. Soc.
87 (1983), no. 3, 403–408.
Resolution of singularities. A research textbook in tribute to Oscar Zariski (Obergurgl
1997), Progress in Mathematics, vol. 181, Birkhäuser Verlag, 2000, Edited by H.
Hauser, J. Lipman, F. Oort and A. Quirós.
D. Panazzolo, Resolution of singularities of real-analytic vector fields in dimension
three, Acta Math. 197 (2006), no. 2, 167–289.
R. Pellikaan, Finite determinacy of functions with nonisolated singularities, Proc.
London Math. Soc. (3) 57 (1988), no. 2, 357–382.
J.-P. Serre, Local algebra, Springer Monographs in Mathematics, Springer-Verlag,
2000.
I. Shafarevich, Basic algebraic geometry, Springer-Verlag, 1994.
M. Spivakovsky, A solution to Hironaka’s polyhedra game, Arithmetic and geometry,
Vol. II, Progr. Math., vol. 36, Birkhäuser Boston, 1983, pp. 419–432.
E. Szabó, Divisorial log terminal singularities, J. Math. Sci. Univ. Tokyo 1 (1994),
no. 3, 631–639.
B. Teissier, Valuations, deformations, and toric geometry, Valuation theory and its
applications, Vol. II (Saskatoon, SK, 1999), Fields Inst. Commun., vol. 33, Amer.
Math. Soc., 2003, pp. 361–459.
M. Temkin, Desingularization of quasi-excellent schemes in characteristic zero, Adv.
Math. 219 (2008), no. 2, 488–522.

80

[Vil89]
[Vil07]
[Wag09]
[Wlo05]
[Zar40]
[Zar44]
[Zar47]
[Zei05]
[Zei06]
[ZS75]

HERWIG HAUSER

O. Villamayor, Constructiveness of Hironaka’s resolution, Ann. Sci. École Norm.
Sup. (4) 22 (1989), no. 1, 1–32.
, Hypersurface singularities in positive characteristic, Adv. Math. 213
(2007), no. 2, 687–733.
D. Wagner, Studies in resolution of singularities in positive characteristic, Ph.D.
thesis, Universität Wien, 2009.
J. Wlodarczyk, Simple Hironaka resolution in characteristic zero, J. Amer. Math.
Soc. 18 (2005), no. 4, 779–822.
O. Zariski, Local uniformization on algebraic varieties, Ann. of Math. (2) 41 (1940),
852–896.
, Reduction of the singularities of algebraic three dimensional varieties, Ann.
of Math. (2) 45 (1944), 472–542.
, The concept of a simple point of an abstract algebraic variety, Trans. Amer.
Math. Soc. 62 (1947), 1–52.
D. Zeillinger, Polyederspiele und Auflösen von Singularitäten, Ph.D. thesis, Universität Innsbruck, 2005.
, A short solution to Hironaka’s polyhedra game, Enseign. Math. (2) 52
(2006), no. 1-2, 143–158.
O. Zariski and P. Samuel, Commutative algebra, Springer-Verlag, 1975.

Fakultät für Mathematik,
University of Vienna, and
Institut für Mathematik,
University of Innsbruck,
Austria
herwig.hauser@univie.ac.at

