An Introduction To Algebraic Geometry and Algebraic Groups 1st Edition Meinolf Geck Download PDF

Full download ebook at ebookgate.
com
An Introduction to Algebraic Geometry and

Algebraic Groups 1st Edition Meinolf Geck
https://ebookgate.com/product/an-introduction-to-
algebraic-geometry-and-algebraic-groups-1st-
edition-meinolf-geck/
Download more ebook from https://ebookgate.com

More products digital (pdf, epub, mobi) instant
download maybe you interests ...
An Algebraic Introduction to Complex Projective

Geometry Commutative Algebra 1st Edition Christian
Peskine
https://ebookgate.com/product/an-algebraic-introduction-to-
complex-projective-geometry-commutative-algebra-1st-edition-
christian-peskine/
Liu Algebraic Geometry 1st Edition Qing Liu
https://ebookgate.com/product/liu-algebraic-geometry-1st-edition-
qing-liu/
Geometry of Time Spaces Non Commutative Algebraic

Geometry Applied to Quantum Theory 1st Edition Audal
https://ebookgate.com/product/geometry-of-time-spaces-non-
commutative-algebraic-geometry-applied-to-quantum-theory-1st-
edition-audal/
Actions and Invariants of Algebraic Groups 1st Edition

Walter Ferrer Santos
https://ebookgate.com/product/actions-and-invariants-of-
algebraic-groups-1st-edition-walter-ferrer-santos/
Hodge Theory and Complex Algebraic Geometry I 1st
Edition Claire Voisin
https://ebookgate.com/product/hodge-theory-and-complex-algebraic-
geometry-i-1st-edition-claire-voisin-2/
Computation with Linear Algebraic Groups 1st Edition

Willem Adriaan De Graaf
https://ebookgate.com/product/computation-with-linear-algebraic-
groups-1st-edition-willem-adriaan-de-graaf/
Algebraic models in geometry First Edition Yves Félix
https://ebookgate.com/product/algebraic-models-in-geometry-first-
edition-yves-felix/
Semidefinite Optimization and Convex Algebraic Geometry

content added 1st Edition Grigoriy Blekherman
https://ebookgate.com/product/semidefinite-optimization-and-
convex-algebraic-geometry-content-added-1st-edition-grigoriy-
blekherman/
Affine Algebraic Geometry Proceedings of the Conference

1st Edition Kayo Masuda
https://ebookgate.com/product/affine-algebraic-geometry-
proceedings-of-the-conference-1st-edition-kayo-masuda/
OXFORD GRADUATE TEXTS IN MATHEMATICS
Series Editors
R. COHEN S.K. DONALDSON S. HILDEBRANDT
T.J. LYONS M.J. TAYLOR
OXFORD GRADUATE TEXTS IN MATHEMATICS
Books in the series

1. Keith Hannabuss: An Introduction to Quantum Theory
2. Reinhold Meise and Dietmar Vogt: Introduction to
Functional Analysis
3. James G. Oxley: Matroid Theory
4. N.J. Hitchin, G.B. Segal, and R.S. Ward: Integrable Systems:
Twistors, Loop Groups, and Riemann Surfaces
5. Wulf Rossmann: Lie Groups: An Introduction through
Linear Groups
6. Qing Liu: Algebraic Geometry and Arithmetic Curves
7. Martin R. Bridson and Simon M. Salamon (eds): Invitations
to Geometry and Topology
8. Shmuel Kantorovitz: Introduction to Modern Analysis
9. Terry Lawson: Topology: A Geometric Approach
10. Meinolf Geck: An Introduction to Algebraic Geometry and
Algebraic Groups
11. Alastair Fletcher and Vladimir Markovic: Quasiconformal
Maps and Teichmüller Theory
12. Dominic Joyce: Riemannian Holonomy Groups and
Calibrated Geometry
13. Fernando Villegas: Experimental Number Theory
14. Péter Medvegyev: Stochastic Integration Theory
15. Martin A. Guest: From Quantum Cohomology to Integrable
Systems
16. Alan D. Rendall: Partial Differential Equations in General
Relativity
17. Yves Félix, John Oprea, and Daniel Tanré: Algebraic Models
in Geometry
18. Jie Xiong: Introduction to Stochastic Filtering Theory
19. Maciej Dunajski: Solitons, Instantons, and Twistors
20. Graham R. Allan: Introduction to Banach Spaces and
Algebras
21. James Oxley: Matroid Theory, Second Edition
22. Simon Donaldson: Riemann Surfaces
23. Clifford Henry Taubes: Differential Geometry: Bundles,
Connections, Metrics and Curvature
An Introduction to Algebraic
Geometry and Algebraic
Groups
Meinolf Geck
Department of Mathematics, University of Stuttgart.
1
3
Great Clarendon Street, Oxford OX2, 6DP,
United Kingdom
Oxford University Press is a department of the University of Oxford.
It furthers the Universitys objective of excellence in research, scholarship,
and education by publishing worldwide. Oxford is a registered trade mark of
Oxford University Press in the UK and in certain other countries

c Oxford University Press, 2003
The moral rights of the author have been asserted
First published 2003
First published in paperback 2013
Impression: 1
All rights reserved. No part of this publication may be reproduced, stored in
a retrieval system, or transmitted, in any form or by any means, without the
prior permission in writing of Oxford University Press, or as expressly permitted
by law, by licence or under terms agreed with the appropriate reprographics
rights organization. Enquiries concerning reproduction outside the scope of the
above should be sent to the Rights Department, Oxford University Press, at the
address above
You must not circulate this work in any other form
and you must impose this same condition on any acquirer
British Library Cataloguing in Publication Data
Data available
ISBN 978–0–19–852831–9 (Hbk.)
ISBN 978–0–19–967616–3 (Pbk.)
Printed in Great Britain by
Biddles Ltd, www.biddles.co.uk
Preface
Algebraic geometry, in its classical form, is the study of algebraic

sets in affine or projective space. By definition, an algebraic set in
kn (where k is a field) is the set of all common zeros of a collection
of polynomials in n variables. Algebraic groups are both groups and
algebraic sets, where the group operations are given by polynomial
functions. For example, the special linear group SLn (k) consisting of
all n × n matrices with determinant 1 is an algebraic group.
Historically, these groups were first studied in an analytic con-
text, where the ground field k is R or C. This is the classical theory of
‘Lie groups’ (see Chevalley (1946) or Rossmann (2002), for example),
which plays an important role in various branches of mathematics.
Through the fundamental work of Borel and Chevalley in the 1950s,
it is known that this theory also makes sense over an arbitrary alge-
braically closed field. This book contains an introduction to the
theory of ‘groups of Lie type’ over such a general ground field k; con-
sequently, the main flavour of the exposition is purely algebraic. In
the last chapter of this book, we will even exclusively study the case
where k is an algebraic closure of a finite field of characteristic p > 0.
Then the corresponding algebraic groups give rise to various fami-
lies of finite groups. By the classification of the finite simple groups,
every non-abelian finite simple group arises from an algebraic group
over a field of characteristic p > 0, except for the alternating groups
and 26 sporadic simple groups; see Gorenstein et al. (1994). This is
one reason why algebraic groups over fields of positive characteristic
also play an important role.
Although large parts of this book are developed in a general set-
ting, the choice of the material and the orientation is towards groups
over fields of positive characteristic and the corresponding ‘finite
groups of Lie type’. Many research articles in this area begin with a
statement like
‘Let G be a connected reductive algebraic group over Fq ;
we assume that G is defined over Fq , with corresponding
Frobenius map F ’
vi Preface
or variants thereof. Later on, it is very likely that the author will
fix an F -stable Borel subgroup, an F -stable maximal torus therein,
and so on. One of the aims of this book is to explain these notions
carefully, to prove some fundamental results about them, and to
illustrate the general theory with many examples which are worked
out in great detail. In fact, this book arose from the desire to provide
a general introduction into the background material from algebraic
geometry which is needed to enter this web of ideas. This introduc-
tion should be at the same time as elementary as possible and yet
lead to some substantial results.
One of the most striking advances in this area is the Deligne–
Lusztig theory of representations of finite groups of Lie type. In the
last three sections of this book, we will arrive at a point where we
can give a first introduction to these ideas and study one family of
finite groups of Lie type in detail. For those who wish to read more
on this subject, there should then be no difficulty in continuing with
Lusztig (1977), Carter (1985), or Digne and Michel (1991).
Each chapter of this book has an introduction which explains
in more detail the content and the main results; at the end, the
reader will find bibliographic remarks and exercises. Usually, there
are rather explicit hints to solutions, at least for those exercises
which are used in the text. As for the prerequisites, I assume a
good knowledge of the material in a standard algebra course (the
basics about groups, commutative rings, polynomials, and fields). In
Chapter 1, we will make use of elementary properties of tensor prod-
ucts of vector spaces and separable field extensions. In Chapter 3, we
shall need at one point the Schur–Zassenhaus theorem (on the exis-
tence and conjugacy of complements of abelian normal subgroups).
In Chapter 4, we assume that the reader is willing to accept a very
deep result (Grothendieck’s trace formula) without proof. In the last
parts of Chapter 4, we assume some familiarity with the charac-
ter theory of finite groups. Otherwise, the exposition is completely
self-contained and proceeds in a fairly elementary and concrete way,
giving ‘full proofs for everything’.
Among the potential readers I imagine a student who wishes
to get a starting point for reading more advanced textbooks or
more specialized research articles on groups of Lie type and their
representations. I could also imagine a lecturer or researcher with a
specific interest in finite simple groups, say, who wishes to have an
easily accessible reference for basic geometric facts about groups of
Preface vii
Lie type. And last but not least, I imagine someone who just wishes
to study some basic aspects in a beautiful area of mathematics,
where algebraic geometry and finite groups (which are, a priori, quite
unrelated areas!) get mixed.
In the elaboration of this book, I have used a number of sources.
As far as algebraic geometry and commutative algebra are concerned,
my favourite references are Atiyah and Macdonald (1969), Mumford
(1988), and Shafarevich (1994). The standard textbooks on algebraic
groups are Borel (1991), Humphreys (1991), and Springer (1998),
which contain much more material than we can cover here. Our
treatment owes a lot to the lecture notes of Steinberg (1974) and
the article by Steinberg (1977), in which Steinberg gave new and, in
many cases, more elementary proofs for standard results on algebraic
groups. For the more specific theory of finite groups of Lie type and
their characters (following Deligne–Lusztig), the standard reference
is Carter (1985). Finally, the work of George Lusztig on characters
of finite groups of Lie type has had the most important influence on
the development of my own understanding of all these matters.
For the experts, let me try to mention some points which I
consider to be the distinctive features of this book.
(1) The running examples in this book are the ‘classical groups’,
that is, groups of matrices which leave a non-degenerate bilinear or
quadratic form invariant. We will not discuss the classification of
such forms, for which one can consult Dieudonné (1971) or Grove
(2002), for example. Here, we introduce three families of groups
(which are precisely the ‘groups of Lie type’ Bm , Cm , Dm ) corre-
sponding to three fixed choices of a symmetric or alternating form.
We will give a complete treatment of these groups in the frame-
work of so-called ‘groups with a BN -pair’, a most useful concept
introduced by Tits in the 1960s. In this approach, for example, the
Dickson pseudodeterminant for orthogonal groups in characteristic 2
is not needed at all; see Section 1.7.
(2) In this book, we exclusively work in the framework of affine
varieties. There is no mention at all of general (quasi-projective)
varieties, sheaves of functions, or such things. We do introduce pro-
jective space, but this will only play an auxiliary role, as a topological
space on which an algebraic group acts. All the properties of pro-
jective varieties, grassmannian varieties, and flag varieties that are
needed can be quite naturally obtained by working directly with
viii Preface
closed cones in the underlying affine spaces. This is the approach

taken by Steinberg (1977), and it will be used to establish the main
results on Borel subgroups in Section 3.4.
(3) The general structure theory of connected reductive groups
shows that these groups always have a BN -pair in which B is a Borel
subgroup. This important result is achieved as the culmination of a
long series of arguments (see §14.15 of Borel (1991), for example),
and we will not endeavour to prove it. In this book, we turn these
matters upside down: We shall consider algebraic groups G with a
BN -pair satisfying an additional condition which guarantees that G
is reductive and that B is a Borel subgroup. As mentioned in (1),
we establish the existence of such BN -pairs for all groups of clas-
sical type. In this way, we can avoid various classification results
which form a tricky part in the general theory (for example, the
classification of algebraic groups of dimension one).
(4) There is a general theory of fields of definition and rationality
properties for algebraic varieties and groups. In this book, we only
discuss this in the case of fields of positive characteristic where the
rational structure is determined by a Frobenius map. As a highlight,
we obtain the general order formula for finite groups of Lie type;
see Section 4.2. Finally, following Carter (1985), we present some
basic properties of the theory of -adic cohomology in the form of
axioms, on which a number of concrete applications and explicit
computations can be based. This will be illustrated in detail for the
example of the finite Suzuki groups.
Most of the material in the first two chapters has been used
as a basis for my undergraduate courses on elementary algebraic
geometry at the University of Lyon 1 in 2000/2001/2002. The first
five sections of Chapter 1 might actually be used as the core of a
short course in algebraic geometry. For example, one could say more
on algorithmic aspects using the excellent text of Cox et al. (1992); or
treat in more detail algebraic curves in two-dimensional space, using
Fischer (1994) or Reid (1988), for example; or one could extend
the discussion of tangent spaces and Lie algebras in Section 1.4,
by including more examples concerning classical groups, following
Goodman and Wallach (1998). I used parts of Chapters 3 and 4 for
a recent graduate course on algebraic groups over a field of charac-
teristic p > 0 in Lyon and, much earlier, in 1995, in a two-semester
course on algebraic geometry and algebraic groups at the RWTH
Aachen.
Preface ix
Finally, I wish to thank David Hézard, Gerhard Hiss, and Gunter

Malle, who carefully read various chapters and sent me detailed lists
of corrections. For the typesetting of this text, the ‘LATEXCompanion’
by M. Goossens, F. Mittelbach, and A. Samarin (Addison–Wesley
1994) was an indispensible tool.
Lyon, February 2003

This page intentionally left blank
Contents
1 Algebraic sets and algebraic groups 1

1.1 The Zariski topology on affine space 1
1.2 Groebner bases and the Hilbert polynomial 10
1.3 Regular maps, direct products, and algebraic
groups 23
1.4 The tangent space and non-singular points 36
1.5 The Lie algebra of a linear algebraic group 48
1.6 Groups with a split BN -pair 60
1.7 BN -pairs in symplectic and orthogonal groups 74
1.8 Bibliographic remarks and exercises 87
2 Affine varieties and finite morphisms 102

2.1 Hilbert’s nullstellensatz and abstract affine
varieties 103
2.2 Finite morphisms and Chevalley’s theorem 111
2.3 Birational equivalences and normal varieties 121
2.4 Linearization and generation of algebraic groups 132
2.5 Group actions on affine varieties 140
2.6 The unipotent variety of the special linear groups 151
3 Algebraic representations and Borel subgroups 165

3.1 Algebraic representations, solvable groups, and
tori 166
3.2 The main theorem of elimination theory 174
3.3 Grassmannian varieties and flag varieties 184
3.4 Parabolic subgroups and Borel subgroups 195
3.5 On the structure of Borel subgroups 205
4 Frobenius maps and finite groups of Lie type 224

4.1 Frobenius maps and rational structures 225
4.2 Frobenius maps and BN -pairs 235
xii Contents
4.3 Further applications of the Lang–Steinberg

theorem 245
4.4 Counting points on varieties over finite fields 257
4.5 The virtual characters of Deligne and Lusztig 267
4.6 An example: the characters of the Suzuki groups 278
Index 305
1
Algebraic sets and algebraic groups
In this first chapter, we introduce the basic objects: algebraic sets

in affine space, the corresponding affine algebras, and algebraic
groups. We proceed in a completely elementary way and assume only
some very basic knowledge about groups, polynomial rings, quotient
rings, and fields. The general theory will be mainly illustrated with
examples concerning hypersurfaces and algebraic groups.
In Section 1.1, we give the basic definitions concerning algebraic
sets and prove a version of Hilbert’s nullstellensatz for hypersur-
faces. As a tool for working out non-trivial examples, we introduce
Groebner bases and some of their applications in Section 1.2. The
dimension of an algebraic set will be defined using the Hilbert poly-
nomial of an ideal. In Section 1.3, we introduce regular maps, direct
products, and algebraic groups. As an important class of examples,
we define symplectic and orthogonal groups. In Section 1.4, we prove
the existence of non-singular points in irreducible algebraic sets. This
theme will be continued in Section 1.5, where we introduce the Lie
algebra of an algebraic group. As an application, we determine the
dimensions of the orthogonal and symplectic groups.
The final two sections contain a self-contained introduction to the
theory of groups with a BN -pair. This concept has been introduced
by Tits, and it has turned out to be extremely useful. It does not
only apply to algebraic groups, but also to the finite groups arising
as the fixed-point set under a Frobenius map. (The latter aspect will
be studied in more detail in Chapter 4.) We shall describe such BN -
pairs for the symplectic and orthogonal groups. This will allow us to
determine exactly which of these groups are connected.
1.1 The Zariski topology on affine space

In this section, we will define the basic objects of our study: algebraic
sets in affine space kn . Before we do this, we establish Hilbert’s fun-
damental ‘basis theorem’. Throughout, let k be a field and consider
2 Algebraic sets and algebraic groups
the polynomial ring k[X1 , . . . , Xn ], where the Xi are independent

variables. For any subset S ⊆ k[X1 , . . . , Xn ], we denote by (S) the
ideal generated by S. Thus, (S) consists of all finite sums of terms
of the form hf where h ∈ k[X1 , . . . , Xn ] and f ∈ S.
Recall that a commutative ring A with 1 is called a noetherian
ring if every ideal of A is generated by a finite number of elements.
(Note that, if I is an ideal in a noetherian ring A generated by
S ⊆ I, then we can always choose a finite generating set for I from
the elements of S.)
1.1.1 Theorem (Hilbert’s basis theorem) If A is noetherian

and X is an indeterminate over A, then A[X] is also noetherian.
In particular, if k is a field, then k[X1 , . . . , Xn ] is noetherian.
Proof The second statement follows from the first by induction on

n, starting with the fact that a field k certainly is noetherian.
Now let I ⊆ A[X] be a non-zero ideal and assume that I is not
finitely generated. Let d1 0 be the minimum of all deg(f) (where
deg(f) denotes the degree of f) for f ∈ I0 := I \ {0}; choose f1 ∈ I0
with deg(f1 ) = d1 . Since I is not finitely generated, I1 := I \ (f1 )
is not empty. Let d2 d1 be the minimum of all deg(f) for f ∈ I1 ;
choose f2 ∈ I1 with deg(f2 ) = d2 . Since I is not finitely generated,
I2 := I \ (f1 , f2 ) is not empty. Going on as above, we obtain a
sequence of polynomials f1 , f2 , . . . ∈ I, of degrees d1 d2 . . ., such
that fi+1 ∈ I \ (f1 , . . . , fi ) for all i. Now let ai ∈ A be the leading
coefficient of fi . Then the ideal I = (ai | i 1) ⊆ A is finitely
generated by assumption, and so there exists some h 1 such that
I = (a1 , . . . , ah ). Then ah+1 ∈ I means that ah+1 = hi=1 xi ai with
xi ∈ A. We set

h
g := fh+1 − xi X dh+1 −di fi ∈ I \ (f1 , . . . , fh ).
i=1
By definition, we have deg(g) dh+1 , but the coefficient of X dh+1 in

g is ah+1 − hi=1 xi ai = 0. So we have deg(g) < dh+1 , contradicting
the choice of fh+1 .
We shall fix the following notation. Given x = (x1 , . . . , xn ) ∈ kn ,

there exists a unique k-algebra homomorphism εx : k[X1 , . . . , Xn ] →
k such that εx (Xi ) = xi for all i. To simplify notation, we shall write
f(x) = f(x1 , . . . , xn ) = εx (f) for f ∈ k[X1 , . . . , Xn ]. In particular,
The Zariski topology on affine space 3
any f ∈ k[X1 , . . . , Xn ] defines a function f˙ : kn → k, x → f(x). Note

that, in general, f is not uniquely determined by f. ˙ However, this is
certainly the case if |k| = ∞; see Exercise 1.8.2.
1.1.2 Definition Let S ⊆ k[X1 , . . . , Xn ] be any subset. Then
V(S) := {x ∈ kn | f(x) = 0 for all f ∈ S}
is called the algebraic set defined by S. A subset of kn is called
algebraic if it is of the form V(S) for some subset S ⊆ k[X1 , . . . , Xn ].
It is readily checked that V(S) = V(I), where I = (S) is the ideal
generated by S. Then, using Hilbert’s basis theorem, we see that
there exist f1 , . . . , fr ∈ S such that
V(S) = V({f1 , . . . , fr }).
Conversely, for any subset V ⊆ kn , the ideal
I(V ) := {f ∈ k[X1 , . . . , Xn ] | f(x) = 0 for all x ∈ V }
is called the vanishing ideal of V . Note that I(V ) is an ideal of
k[X1 , . . . , Xn ]. The quotient A[V ] := k[X1 , . . . , Xn ]/I(V ) is called
the affine algebra of V .
1.1.3 Example (a) Consider the constant 1 ∈ k[X1 , . . . , Xn ]. Then,
clearly, V({1}) = ∅. On the other hand, V({0}) = kn . Thus, ∅ and
kn are algebraic sets. We certainly have I(∅) = k[X1 , . . . , Xn ]. Simil-
arly, one might expect that I(kn ) = {0}, but this will only be true if
|k| = ∞; see Exercise 1.8.2.
(b) Let x = (x1 , . . . , xn ) ∈ kn . Then {x} = V({X1 −x1 , . . . , Xn −
xn }) ⊆ kn , and so the singleton set {x} is an algebraic set in kn .
(c) Consider the case n = 1. Then an algebraic set V ⊆ k is
the set of zeros of a collection of polynomials in k[X1 ]. Since every
non-zero polynomial in one variable has at most finitely many zeros,
we conclude that |V | < ∞ or V = k. Conversely, assume that we
have a finite subset V = {v1 , . . . , vm } ⊆ k. Then V = V({f}), where
f = (X1 − v1 ) · · · (X1 − vm ) ∈ k[X1 ]. Thus, we see that the algebraic
sets in k are precisely the finite sets and k itself.
(d) Assume that k is infinite. Let I ⊆ k[X1 , X2 , X3 ] be the ideal
generated by f = X2 − X12 and g = X3 − X13 . The algebraic set
C = V(I) ⊆ k3 is called the twisted cubic. Explicitly, we have
C = {(x, x2 , x3 ) | x ∈ k} ⊆ k3 .
It is already a non-trivial task to find I(C). Using Exercise 1.8.4(a),
we obtain that I(C) = (f, g).
1.1.4 Remark The following elementary properties are easily

proved.
(a) For subsets S ⊆ S ⊆ k[X1 , . . . , Xn ], we have V(S ) ⊆ V(S).
(b) For any S ⊆ k[X1 , . . . , Xn ], we have S ⊆ I(V(S)).
Similarly, we also have the following two further properties.
(c) For subsets V ⊆ V ⊆ kn , we have I(V ) ⊆ I(V ).
(d) For any subset V ⊆ kn , we have V ⊆ V(I(V )).
Let {Vλ }λ∈Λ be a family of subsets of kn . Then it is clear that

I Vλ = I(Vλ ).
λ∈Λ λ∈Λ
Now let {Sλ }λ∈Λ be a family of subsets of k[X1 , . . . , Xn ]. Then it is

clear that

V Sλ = V(Sλ ).
λ∈Λ λ∈Λ
In particular, the intersection of an arbitrary number of algebraic sets
in kn is again an algebraic set. Note that infinite unions of algebraic
sets need not be algebraic. For example, assume that |k| = ∞ and let
Z k be a subset which is still infinite. Then the union of the algeb-
raic sets {z} ⊆ k, for z ∈ Z, is not algebraic; see Example 1.1.3(c).
However, we have the following result.
1.1.5 Lemma For any subsets S, S ⊆ k[X1 , . . . , Xn ], we have
V({f · g | f ∈ S, g ∈ S }) = V(S) ∪ V(S ).
If S, S are ideals in k[X1 , . . . , Xn ], then we also have V(S ∩ S ) =

V(S) ∪ V(S ).
Proof Clearly, we have V(S) ∪ V(S ) ⊆ V({f · g | f ∈ S, g ∈ S }).

To prove the reverse inclusion, let x ∈ kn be such that f(x)g(x) = 0
for all f ∈ S and g ∈ S . Assume, if possible, that x ∈ V(S) and
x ∈ V(S ). Then f(x) = 0 for some f ∈ S and g(x) = 0 for some
g ∈ S . Hence, f(x)g(x) = 0, a contradiction.
Finally, assume that S, S are ideals. Then we have V(S) ⊆ V(S∩
S ) and V(S ) ⊆ V(S ∩ S ). Furthermore, for f ∈ S and g ∈ S , we

have f · g ∈ S ∩ S , and so V(S ∩ S ) ⊆ V({f · g | f ∈ S, g ∈ S )} =

V(S) ∪ V(S ).
1.1.6 The Zariski topology We have seen in Remark 1.1.4 that

arbitrary intersections of algebraic sets in kn are again algebraic.
It follows from Lemma 1.1.5 that finite unions of algebraic sets in
kn are again algebraic. Finally, by Example 1.1.3, the empty set ∅
and kn itself are algebraic. Thus, the algebraic sets in kn form the
closed sets of a topology on kn , which is called the Zariski topology.
A subset X ⊆ kn is open if kn \ X is closed (that is, algebraic).
Now every algebraic set V ⊆ kn is itself a topological space, with
the induced topology. Explicitly, a subset Z ⊆ V is closed (algebraic)
if Z is the intersection of V and an algebraic set in kn . Thus, by
Remark 1.1.4, a closed subset of V is nothing but an algebraic set
in kn which is contained in V .
1.1.7 The closure of a set Given any subset V ⊆ kn (not nec-

essarily algebraic), we denote by V̄ ⊆ kn its closure in the Zariski
topology on kn . Thus, V̄ is the intersection of all algebraic subsets
of kn which contain V . We have
V(I(V )) = V̄ .
Indeed, by Remark 1.1.4, we have V ⊆ V(I(V )) and so V̄ ⊆ V(I(V )).

Conversely, assume that W ⊆ kn is any algebraic set containing V .
We write W = V(S) for some S ⊆ k[X1 , . . . , Xn ]. Then, again
by Remark 1.1.4, we have S ⊆ I(V(S)) = I(W ) ⊆ I(V ) and so
V(I(V )) ⊆ V(S) = W , as required.
The above result shows, in particular, that we have V(I(V )) = V
for any algebraic set V ⊆ kn . Hence the operator
I : {V ⊆ kn | V algebraic} → {I ⊆ k[X1 , . . . , Xn ] | I ideal}
is injective. The following example shows that I is not surjective.
1.1.8 Example Let f ∈ k[X1 , . . . , Xn ] be non-constant. Then the

algebraic set Hf := V ({f}) ⊆ kn is called a hypersurface. If n = 2,
then Hf is called a plane curve. Note that, with no further assump-
tion, it may happen that Hf = ∅. (For example, if k = R and
f = X12 + 1.) However, if k is algebraically closed and n 2, then
|Hf | = ∞; see Exercise 1.8.2(b).
Now assume that m 2. We claim that I(V ) = (f m ) for any
algebraic set V ⊆ kn . Indeed, if we had I(V ) = (f m ), then we would
also have V = V(I(V )) = V({f m }) = V({f}), and so f ∈ I(V ) =
(f m ), which is impossible.
The following result describes the vanishing ideal of a hyper-

surface.
1.1.9 Theorem (Hilbert’s nullstellensatz for hypersurfaces)

Let k be an algebraically closed field. Let f ∈ k[X1 , . . . , Xn ] be non-
constant and ∅ = Hf ⊆ kn the corresponding hypersurface; see
Example 1.1.8. Write f = f1n1 · · · frnr , where f1 , . . . , fr are irreducible
and pairwise coprime to each other. Then we have
Hf = Hf1 ∪ · · · ∪ Hfr and I(Hf ) = (f1 · · · fr ),
In particular, if f is irreducible (or, more generally, separable), then

I(Hf ) = (f).
Proof Assume first that f is irreducible. Relabelling the variables

Xi if necessary, we may assume that Xn occurs in f, i.e. we have
f = al + al−1 Xn + · · · + a0 Xnl , where ai ∈ k[X1 , . . . , Xn−1 ],

a0 = 0, l 1.
Now let 0 = g ∈ I(Hf ). Assume, if possible, that f does not divide g.

Setting A := k[X1 , . . . , Xn−1 ], this means that f ∈ A[Xn ] is a non-
constant irreducible polynomial which does not divide g ∈ A[Xn ].
By Gauss’ lemma, this statement remains true if we regard f and
g as polynomials in K[Xn ], where K is the field of fractions of A.
Hence, since K[Xn ] is a principal ideal domain, we can write 1 =
G̃f + F̃ g, where F̃ , G̃ ∈ K[Xn ]. So there exist F, G ∈ A[Xn ] such
that
0 = d := Gf + Fg ∈ A = k[X1 , . . . , Xn−1 ].
Since |k| = ∞, there exists some x = (x1 , . . . , xn−1 ) ∈ kn−1 with
a0 (x )d(x ) = 0; see Exercise 1.8.2. Now consider the polynomial
f˜ := al (x ) + al−1 (x )Xn + · · · + a0 (x )Xnl ∈ k[Xn ].
Since a0 (x ) = 0 and l 1, this is a non-constant polynomial. Hence,

since k is algebraically closed, there exists some xn ∈ k such that
˜ n ) = 0. Now, set x = (x1 , . . . , xn−1 , xn ) ∈ kn . Then we have
f(x
f(x) = f(x˜ n ) = 0 and so x ∈ Hf . Since g ∈ I(Hf ), we also have
g(x) = 0 and, consequently, d(x ) = d(x) = G(x)f(x)+ F (x)g(x) = 0,
a contradiction. Thus, f divides g and so g ∈ (f).
Now consider the general case and write f = f1n1 · · · frnr , where
the fi are irreducible and pairwise coprime. Then, clearly, we have
Hf = V({f1 · · · fr }) and, by Lemma 1.1.5, we have Hf = Hf1 ∪ · · · ∪

Hfr . This yields
I(Hf ) = I(Hf1 ) ∩ · · · ∩ I(Hfr ) = (f1 ) ∩ · · · ∩ (fr ),
where the first equality holds by Remark 1.1.4 and the second equal-
ity holds since each fi is irreducible. Finally, we have (f1 )∩· · ·∩(fr ) =
(f1 · · · fr ) since f1 · · · fr is the least common multiple of f1 , . . . , fr .

We now discuss some topological notions concerning algebraic

sets; in particular, we will discuss consequences of the fact that
k[X1 , . . . , Xn ] is noetherian.
1.1.10 Definition Let Z = ∅ be a topological space. We say that

Z is reducible if we can write Z = Z1 ∪ Z2 , where Z1 , Z2 ⊆ Z are
non-empty closed subsets with Z1 = Z, Z2 = Z. Otherwise, we say
that Z is an irreducible topological space. A subset Y ⊆ Z is called
irreducible if Y is irreducible with the induced topology. (The empty
set will not be considered as irreducible.)
Furthermore, we say that Z is a noetherian topological space if
every chain of closed sets Z1 ⊇ Z2 ⊇ · · · in Z becomes stationary,
i.e., if there exists some m 1 such that Zm = Zm+i for all i 1.
1.1.11 Proposition Let Z = ∅ be a noetherian topological space.

Then there are only finitely many maximal closed irreducible subsets
in Z; they are called the irreducible components of Z. If these are
Z1 , . . . , Zr , we have Z = Z1 ∪ · · · ∪ Zr .
Proof First we show that Z can be written as a finite union of

closed irreducible subsets. Assume, if possible, that this is not the
case. Then, in particular, Z itself cannot be irreducible, and so we
can write Z = Z1 ∪ Z1 , where Z1 , Z1 are proper closed subsets of
Z. Now at least one of these two subsets, Z1 say, is not irreducible,
and so we can write Z1 = Z2 ∪ Z2 , where Z2 , Z2 are proper closed
subsets of Z1 . Going on this way, we find a strictly decreasing chain
of closed subsets Z1 Z2 Z3 · · · in Z, which is impossible since
Z is assumed to be noetherian. Thus, our assumption was wrong
and we can write Z = Z1 ∪ · · · ∪ Zr , where Z1 , . . . , Zr are closed
irreducible subsets of Z. We may assume that Zi is not contained in
Zj , for all i = j.
Next we show that each closed irreducible subset Y ⊆ Z is con-

tained in some Zi . Indeed, we have Y = Y ∩Z = Y ∩(Z1 ∪· · ·∪Zr ) =
(Y ∩ Z1 ) ∪ · · · ∪ (Y ∩ Zr ). Now each Y ∩ Zi is closed in Y . So, since
Y is irreducible, we must have Y ∩ Zi = Y for some i and, hence,
Y ⊆ Zi . Thus, the Zi are precisely the maximal closed irreducible
subsets of X.
1.1.12 Proposition Let V ⊆ kn be a non-empty algebraic set.

(a) V is noetherian with respect to the Zariski topology. Thus,
we have V = V1 ∪ · · · ∪ Vr , where the Vi are the maximal closed
irreducible subsets of V .
(b) V is irreducible (in the Zariski topology) if and only if I(V )
is a prime ideal. (Note that I(V ) = k[X1 , . . . , Xn ] since V = ∅.)
Proof (a) Let V1 ⊇ V2 ⊇ V3 ⊇ · · · be a chain of closed (i.e alge-

braic) sets in V . Then we obtain a corresponding chain I(V1 ) ⊆
I(V2 ) ⊆ · · · of ideals in k[X1 , . . . , Xn ]. Let I := i1 I(Vi ). Then I
is an ideal in k[X1 , . . . , Xn ] and so, by Hilbert’s basis theorem 1.1.1,
I is finitely generated. A finite generating set for I will lie in I(Vm )
for some m 1. Then we have I(Vm ) = I(Vm+1 ) = · · · . By §1.1.7,
we have Vi = V(I(Vi )) for all i, and so Vm = Vm+1 = · · · .
(b) Assume first that V is irreducible, and let f, g ∈
k[X1 , . . . , Xn ] be such that fg ∈ I(V ). Then V ⊆ Hfg = Hf ∪ Hg
(see Lemma 1.1.5 for the last equality). So we obtain V = V ∩ Hfg =
(V ∩Hf )∪(V ∩Hg ). Since V is irreducible, we must have V ∩Hf = V
or V ∩ Hg = V , which means that f ∈ I(V ) or g ∈ I(V ), as desired.
Conversely, assume that I(V ) is a prime ideal and consider a decom-
position V = V1 ∪ V2 , where V1 , V2 are closed subsets. Assume,
if possible, that V1 = V and V2 = V . Using 1.1.7, this implies
I(V ) I(V1 ) and I(V ) I(V2 ). So there exist some f ∈ I(V1 ) \ I(V )
and some g ∈ I(V2 ) \ I(V ). But, since V = V1 ∪ V2 , we also have
fg ∈ I(V1 ) ∩ I(V2 ) = I(V ), which is impossible.
1.1.13 Example (a) A singleton set is obviously irreducible. Thus,

if k is finite, then any algebraic set V ⊆ kn is the finite union of its
points, which are all closed and irreducible. Now assume that k is
infinite. Then, by Exercise 1.8.2, we have I(kn ) = {0}, and this is a
prime ideal. Thus, kn is irreducible.
(b) Assume that |k| = ∞ and consider the twisted cubic C ⊆ k3
introduced in Example 1.1.3(d). We have I(C) = (X2 −X12 , X3 −X13 ),
and this is a prime ideal by Exercise 1.8.4. Thus, C is an irreducible

algebraic set.
(c) Assume that k is algebraically closed and consider the hyper-
surface Hf ⊆ kn defined by a non-constant polynomial f ∈
k[X1 , . . . , Xn ]. By Theorem 1.1.9, we have Hf = Hf1 ∪ · · · ∪ Hfr ,
where the fi are irreducible and pairwise coprime. We have I(Hfi ) =
(fi ) for each i, and so Hfi is irreducible by Proposition 1.1.12(b).
Furthermore, we have Hfi ⊆ Hfj for i = j, since the fi are coprime.
Thus, Hf1 , . . . , Hfr are the irreducible components of Hf .
1.1.14 Principal open subsets Let V ⊆ kn be a non-empty

algebraic set. Let f ∈ k[X1 , . . . , Xn ] be such that f ∈ I(V ), and set
Vf := {v ∈ V | f(v) = 0} ⊆ V.
Then Vf is a non-empty open set in V and is called a principal

open set. Any open set in V is a finite union of principal open sets.
Indeed, let U ⊆ V be open. Then V \ U is closed and so there exists
an algebraic set W ⊆ kn such that V \U = W ∩V . Now, by Hilbert’s
basis theorem, W ∩ V is defined by a finite collection of polynomials,
f1 , . . . , fr say. Then we have U = Vf1 ∪ · · · ∪ Vfr .
There is another reason why principal open sets are important: in
a suitable sense, they can be regarded as algebraic sets in their own
right. (This will play a role, for example, in Section 2.2). To make
this more precise, consider the polynomial ring k[X1 , . . . , Xn , Y ]. We
identify kn × k = kn+1 . Then we define
Ṽf := {(v, y) ∈ V × k | f(v)y = 1} ⊆ kn+1 .
The set Ṽf is algebraic in kn+1 and the projection map πf : Ṽf → V ,
(v, y) → v, defines a bijection between Ṽf and Vf .
1.1.15 Lemma In the above setting, we have
I(Ṽf ) = (I, fY − 1) and A[Ṽf ] ∼ ¯ − 1),

= (A[V ])[Y ]/(fY
where I := I(V ) ⊆ k[X1 , . . . , Xn ] and f¯ denotes the image of f in
A[V ]. Thus, in the notation of Exercise 1.8.11, A[Ṽf ] ∼
= A[V ]f¯ is the
¯
localization of A[V ] in f.
Proof We certainly have (I, fY − 1) ⊆ I(Ṽf ). To prove the reverse

inclusion, let g ∈ k[X1 , . . . , Xn , Y ] be such that g(v, y) = 0 for
all (v, y) ∈ Ṽf . We must show that g ∈ (I, fY − 1). To see this,
r
i=0 gi Y , where gi ∈ k[X1 , . . . , Xn ]; we set
let uswrite g = i
g := i=0 f gi ∈ k[X1 , . . . , Xn ]. Then we have f r+1 g ≡ fg mod

r r−i
(fY − 1) and so fg ∈ I(Ṽf ). Now, since g ∈ k[X1 , . . . , Xn ], we

have g (v) = g (v, y) = 0 for all v ∈ Vf (where y ∈ k is such that
f(v)y = 1). On the other hand, f(v) = 0 for all v ∈ V \ Vf , and so
fg ∈ I = I(V ). Thus, we have shown that f r+1 g ∈ (I, fY − 1). Writ-
ing g = (1 − (fY )r+1 )g + Y r+1 (f r+1 g) and noting that 1 − (fY )r+1
is divisible by 1 − fY in k[X1 , . . . , Xn , Y ], we conclude that g ∈
(I, fY − 1). The statement about A[Ṽf ] is then clear.
1.2 Groebner bases and the Hilbert

polynomial
The aim of this section is to develop some basic tools for working
with ideals in k[X1 , . . . , Xn ]. More precisely, we introduce Groebner
basis and the Hilbert polynomial of an ideal. For this purpose, let
us fix some notation. Let
Zn0 := {α = (α1 , . . . , αn ) ∈ Zn | αi 0 for all i}.
For α = (α1 , . . . , αn ) ∈ Zn0 , we denote the corresponding monomial
by X α := X1α1 · · · Xnαn . Then any non-zero f ∈ k[X1 , . . . , Xn ] is expres-
sed uniquely as

f= aα X α , where α ∈ Zn0 and aα ∈ k,
α
with aα = 0 for all but finitely many α. We write |α| = α1 + · · · + αn .

The maximum of all |α| such that aα = 0 is called the degree of f
and denoted by deg(f). (If f = 0, we set deg(f) = −∞.)
1.2.1 Definition A total order on Zn0 is called a monomial

order if the following conditions hold.
(a) We have (0, . . . , 0) α for all α ∈ Zn0 .
(b) For any α, β, γ ∈ Zn0 we have: α β ⇒ α + γ β + γ.

Now let 0 = f = α aα X α ∈ k[X1 , . . . , Xn ]. The expressions aα X α ,
where aα = 0, are called the terms of f. Let α0 be maximal (with
respect to a given monomial order ) such that aα0 = 0. Then
LT(f) := aα0 X α0 is called the leading term and LM(f) := X α0 is
called the leading monomial of f.
Groebner bases and the Hilbert polynomial 11
Given α, β ∈ Zn0 , we also write X α X β if α β. Note that
Xα | Xβ ⇒ α β.
1.2.2 Example (a) The lexicographic order LEX: Let α, β ∈ Zn0 ,

α = β. Let i ∈ {1, . . . , n} be minimal such that αi = βi . Then we
write α β if αi < βi .
(b) The graded lexicographic order GR-LEX: Let α, β ∈ Zn0 ,
α = β. If |α| = |β|, we write α β if |α| < |β|. On the other hand,
if |α| = |β|, we write α β if αi < βi where, as before, i is minimal
such that αi = βi .
It is easily verified that these two order relations indeed are monomial
orders.
1.2.3 Lemma Let I ⊆ k[X1 , . . . , Xn ] be an ideal which is generated

by a set G of monomials. Then a polynomial f ∈ k[X1 , . . . , Xn ] lies
in I if and only if every term of f is divisible by some g ∈ G.
Proof If every term of f is divisible by some g ∈ G,then f certainly

lies in I. Now assume that f ∈ I and write f = ri=1 hi gi , where
hi ∈ k[X1 , . . . , Xn ] and gi ∈ G. Expressing each hi as a k-linear
combination of monomials and expanding the products, we see that
f is a k-linear combinations of terms of form X α gi , for various i and
α ∈ Zn0 , as required.
1.2.4 Lemma Let (gi )i1 be a sequence of monomials in k[X1 , . . . ,

Xn ] such that g1 g2 g3 · · · for some monomial order . Then
there exists some r 1 such that gr = gr+1 = gr+2 = · · · .
Proof Let I be the ideal generated by all gi (i 1). By Hilbert’s

basis theorem, I is generated by the first, r say, elements g1 , . . . , gr .
Now let i > r; then gr gi . On the other hand, since gi ∈ I, there
exists some j ∈ {1, . . . , r} such that gj divides gi ; see Lemma 1.2.3.
Then gi gj gr and so gi = gr , as desired.
1.2.5 Proposition (division algorithm) Let us fix a monomial

order and let f, f1 , . . . , fs ∈ k[X1 , . . . , Xn ] be non-zero. Then we
have f = h1 f1 +· · ·+hs fs +r, where r, h1 , . . . , hs ∈ k[X1 , . . . , Xn ] are
such that LT(hi fi ) LT(f) for all i with hi = 0, and where r = 0
or no term of r is divisible by LT(fi ) for any 1 i s.
Proof Since every non-empty collection of monomials in

k[X1 , . . . , Xn ] has a minimal element by Lemma 1.2.4, we can pro-
ceed by downward induction on LT(f) with respect to . If f is
constant, we can take hi = 0 and r = f. Now assume that f is
non-constant. If some LT(fi ) divides LT(f), we set
LT(f)
f˜ := f − fi .
LT(fi )
If f˜ = 0, we are done. Otherwise, we have LT(f) ˜ ≺ LT(f) and we can

apply induction to f. Thus, we have an expression f˜ = h̃1 f1 + · · · +
˜
h̃s fs + r satisfying the above conditions. Then f = h1 f1 + · · · +
hs fs + r, where hj = h̃j for j = i and hi = h̃i + LT(f)/ LT(fi ),
and all the required conditions are satisfied. On the other hand, if
no such i exists, we set f˜ := f − LT(f). If f˜ = 0, we are done.
Otherwise, we can apply induction to f˜ and obtain an expression
f˜ = h1 f1 + · · · + hs fs + r̃ satisfying the above conditions. Then we
have f = h1 f1 + · · · + hs fs + r, where r = r̃ + LT(f), and all the
required conditions are satisfied.
1.2.6 Example Let us consider the order LEX in k[X, Y ] with X

Y . Let f = XY 2 − X and f1 = XY + 1, f2 = Y 2 − 1. Then we have
f = Y · f1 + 0 · f2 + (−X − Y ) and f = 0 · f1 + X · f2 + 0.
Both expressions satisfy all the conditions in Proposition 1.2.5. So

the ‘remainder’ r is not uniquely determined. Even worse, the second
expression shows that f ∈ (f1 , f2 ), while this is not obvious from the
first expression.
1.2.7 Definition (Buchberger) Let I ⊆ k[X1 , . . . , Xn ] be a non-

zero ideal and be a monomial order on Zn0 . A finite subset G ⊆
I \ {0} is called a Groebner basis of I if the monomials LT(g) (g ∈ G)
generate the ideal
(LT(I)) := (LT(f) | 0 = f ∈ I) ⊆ k[X1 , . . . , Xn ].
By Hilbert’s basis theorem, every non-zero ideal has a Groebner

basis.
1.2.8 Theorem Let I ⊆ k[X1 , . . . , Xn ] be a non-zero ideal and

be a monomial order on Zn0 . Let G be a Groebner basis of I. Then
we have I = (G), and a k-basis of k[X1 , . . . , Xn ]/I is given by the

residue classes of X α , where α runs over the elements in
C(I) := {α ∈ Zn0 | X α is not divisible by LT(g) for any g ∈ G}.
Proof Let G = {f1 , . . . , fs } and 0 = f ∈ k[X1 , . . . , Xn ]. By Proposi-

tion 1.2.5, we can write f = h1 f1 + · · · + hs fs + r, where r = 0 or
no term of r is divisible by LT(fi ) for any i. Note that this means
that r is a k-linear combination of monomials X α , where α ∈ C(I).
This already shows that the residue classes of the monomials X α
(α ∈ C(I)) span k[X1 , . . . , Xn ]/(G).
Now let f ∈ I and assume, if possible, that r = 0. Then
0 = r = f − si=1 hi fi ∈ I and so LT(r) ∈ (LT(f1 ), . . . , LT(fs )).
By Lemma 1.2.3, some LT(fi ) must divide LT(r), contradicting the
conditions on r in Proposition 1.2.5. Thus, we have r = 0. This
shows, in particular, that I = (G) and that the residue classes of X α
(α ∈ C(I)) are linearly independent in k[X1 , . . . , Xn ]/I.
1.2.9 Example (a) Let 0 = f ∈ k[X1 , . . . , Xn ] and I = (f).

Choose any monomial order on Zn0 . Then LT(f) divides LT(g) for
any non-zero g ∈ I. (Indeed, write g = hf with h ∈ k[X1 , . . . , Xn ].
Using Definition 1.2.1(b), we see that LT(g) = LT(h) LT(f).) Hence,
{f} is a Groebner basis of I.
(b) Consider the ideal I = (X2 − X12 , X3 − X13 ) ⊆ k[X1 , X2 , X3 ];
see Example 1.1.3(d). If we choose a lexicographic order with X1
X2 X3 , then Exercise 1.8.4 shows that {X2 − X12 , X3 − X13 }
is a Groebner basis of I. On the other hand, choosing a graded
lexicographic order with X3 X2 X1 , it turns out that
{X12 − X2 , X1 X2 − X3 , X1 X3 − X22 } is a Groebner basis of I.
(c) Let {0} = I ⊆ k[X1 , . . . , Xn ] be an ideal which is generated
by a finite set of monomials, G say. Then G is a Groebner basis
for any monomial order . Indeed, we clearly have G ⊆ (LT(I)).
Conversely, let 0 = f ∈ I. Then LT(f) is divisible by some g ∈ G
(see Lemma 1.2.3) and so LT(f) ∈ (G).
1.2.10 Remark There are algorithms for computing Groebner

bases of any non-zero ideal in k[X1 , . . . , Xn ]. Without giving the
proof, let us just describe a simple version of Buchberger’s algo-
rithm, following §2.7 of Cox et al. (1992). First, we shall need the
following definition. Let f, g ∈ k[X1 , . . . , Xn ] be non-zero. We write
LM(f) = X α and LM(g) = X β and set γ = (γ1 , . . . , γn ) where
γi = max{αi , βi } for all i. Then the S-polynomial of f and g is

defined by
Xγ Xγ
S(f, g) := ·f − · g,
LT(f) LT(g)
Now let I = (f1 , . . . , fs ) be an ideal in k[X1 , . . . , Xn ] where fi = 0
for all i. Then a Groebner basis G is constructed by the following
steps:
Initialize G := {f1 , . . . , fs }. For each pair p = q in G , compute
S(p, q) and divide S(p, q) by G , leaving a remainder. Add all non-
zero remainders that you obtain in this way to G and repeat the
above procedure. After a finite number of iterations, you will find
that, for any pair p = q in G , the remainder of S(p, q) under division
by G is zero. Then G = G is a Groebner basis for I.
For practical issues (computer implementation etc.) see, for
example, the SINGULAR system described by Greuel and Pfister
(2002).
We also remark that, in general, Groebner bases are not unique.
A Groebner basis G is called reduced if all g ∈ G satisfy the following
conditions.
(a) The coefficient of LT(g) is 1.
(b) No term of g is divisible by LT(g ) for any g ∈ G, g = g.
Given a Groebner basis G, it is easy to construct a new Groebner
basis which is reduced; furthermore, such a reduced Groebner basis
is uniquely determined. For more details on all of this, see Cox et al.
(1992).
Our next aim is to define an invariant which measures the size of

an ideal I ⊆ k[X1 , . . . , Xn ]. For this purpose, we study the ‘growth’
of k[X1 , . . . , Xn ]/I.
1.2.11 Definition Let I ⊆ k[X1 , . . . , Xn ] be an ideal. For any inte-

ger s 0, we set k[X1 , . . . , Xn ]s := {f ∈ k[X1 , . . . , Xn ] | deg(f)
s} and Is := I ∩ k[X1 , . . . , Xn ]s . Then k[X1 , . . . , Xn ]s is a finite-
dimensional vector space over k and Is is a subspace of it. Thus,
we can define a function
a
HFI : Z0 → Z0 , s → dimk (k[X1 , . . . , Xn ]s /Is ).
This function is called the(affine) Hilbert function of I.

1.2.12 Example (a) Let I = k[X1 , . . . , Xn ]. Then a HFI (s) = 0

for all s 0.
(b) Let I = {0}. Then a HFI (s) = dimk (k[X1 , . . . , Xn ]s ), and
this is the number of all monomials X1α1 · · · Xnαn such that |α| s.
Thus, we have to count all n-tuples of non-negative integers whose
sum is s. It is well-known that the number of such tuples is given
by the binomial coefficient s+n s . So we have
s+n s+n 1
a
HF{0} (s) = = = (s + n)(s + n − 1) · · · (s + 1)
s n n!
n factors
1 n 1 n + 1 n−1
n
1
= s + s + ··· + s + 1.
n! n! 2 i
i=1
(c) Let I = (f), where 0 = f ∈ k[X1 , . . . , Xn ]. Then a k-vector-

space basis of I is given by all products X1α1 · · · Xnαn f, where α =
(α1 , . . . , αn ) ∈ Zn0 ; the degree of such a product is |α| + d, where
d = deg(f). Now assume that s d. Then dimk (Is ) is the number
of all α such that |α| + d s or, equivalently, |α| s − d. Using the
formulas in (b), we find that
s+n s−d+n s+n s−d+n
a
HF(f) (s) = − = −
s s−d n n
d
= sn−1 + linear combination of lower powers of s.
(n − 1)!
Note that the above formula is only valid for s d; if s < d, we have
a HF (s)
(f) = a HF{0} (s) = s+n
n .
In the above examples, the Hilbert function is given by a poly-
nomial in s. Our aim is to show that this is true for any ideal in
k[X1 , . . . , Xn ].
1.2.13 Lemma (Macaulay) Let be a graded lexicographic

monomial order. For an ideal I ⊆ k[X1 , . . . , Xn ], we have a HFI (s) =
(LT(I)) (s) for all s 0.
a HF
Proof If I = {0}, there is nothing to prove. So let us assume now

that I = {0} and let s 0. Then, clearly, there are only finitely
many monomials occurring in the elements of Is . In particular, we
can write
{LM(f) | 0 = f ∈ Is } = {LM(f1 ), . . . , LM(fm )}, (†)
where fi ∈ Is and LM(fm ) · · · LM(f1 ). We shall show that

(a) {f1 , . . . , fm } is a k-basis of Is ;
(b) {LM(f1 ), . . . , LM(fm )} is a k-basis of (LT(I))s .
(Note that, once (a) and (b) are established, we are done since then
Is and (LT(I))s have the same dimension.)
First, we check that the sets in (a) and (b) are linearly independ-
ent. This is clear in (b) since any set of distinct monomialsis linearly
independent. Now assume that we have a relation f = m i=1 ai fi ,
where not all ai ∈ k are 0. We must show that f = 0. Let i0 be
minimal such that ai0 = 0. Then, since LM(fi ) LM(fi0 ) for all
i > i0 , we have LM(f) = ai0 LM(fi0 ) = 0, as desired.
Next, we check that the sets in (a) and (b) are generating sets.
We begin with (b). Letg ∈ (LT(I))s . This means that we can
write g in the form g = j hj LM(gj ), where hj ∈ k[X1 , . . . , Xn ] and
gj ∈ I. Writing each hj as a sum of its terms and expanding the
product, we see that we may assume without loss of generality that
each hj lies in k. Then, since we have chosen a graded lexicographic
order, this implies that gj ∈ Is for all j. Using (†), we conclude that
g is a k-linear combination of {LM(f1 ), . . . , LM(fm )}.
Finally, consider (a). Let 0 = f ∈ Is . Then, by (†), we have
LM(f) = LM(fi ) for some i, and so LT(f) = a LT(fi ), where 0 =
a ∈ k. Now set f := f − afi . If f = 0, we are done. If f = 0,
we repeat the whole argument. Since LT(f ) LT(f), this process
stops after a finite number of iterations, by Lemma 1.2.4.
1.2.14 Theorem For any ideal I ⊆ k[X1 , . . . , Xn ], there exists a

unique polynomial a HPI (t) ∈ Q[t] (where t is an indeterminate) and
s0 0 such that
a
HPI (s) = a HFI (s) = dimk (k[X1 , . . . , Xn ]s /Is ) for all s s0 .
If I = k[X1 , . . . , Xn ], we have a HPI (t) = 0. If I = k[X1 , . . . ,

Xn ], then a HPI (t) is a non-zero polynomial with the following
properties.
(a) The degree of a HPI (t) is the largest d with the property
that there exist indices 1 i1 < · · · < id n such that I ∩
k[Xi1 , . . . , Xid ] = {0}.
(b) Let d = deg a HPI (t). Then we have a HPI (t) = ad td + · · · +
a1 t + a0 with d! ai ∈ Z for all i and d! ad > 0.
The polynomial a HP (t) is called the (affine) Hilbert poly-

I
nomial of I.
Proof First note that the polynomial a HPI (t) is unique, once we
know that it exists. If I = {0} or I = k[X1 , . . . , Xn ], then everything
follows from the explicit computations in Example 1.2.12. So let us
now assume that {0} = I = k[X1 , . . . , Xn ]. Let G be a Groebner
basis of I (with respect to a graded lexicographic order) and write
{LM(g) | g ∈ G} = {X β | β ∈ M }. We set
C(I) = {α ∈ Zn0 | X α is not divisible by X β for any β ∈ M }.
For any s 0, let C(I)s be the set of all α ∈ C(I) such that
|α| s. We claim that a HFI (s) = |C(I)s | for all s 0. Indeed,
by Lemma 1.2.13, we have a HFI (s) = a HF(LT(I)) (s). Furthermore,
by Example 1.2.9(c), {X β | β ∈ M } is a Groebner basis of (LT(I)).
Hence, by Lemma 1.2.3, we have that dim LT(I)s equals the number
of all α such that |α| s and X β | X α for some β ∈ M . Thus,
we have a HFI (s) = |C(I)s | as required. Now we continue in four
steps.
Step 1. Given a subset J ⊆ {1, . . . , n} and a function τ : J → Z0 ,
we define C(J, τ ) := {(α1 , . . . , αn ) ∈ Zn0 | αj = τ (j) for all j ∈ J}.
Now we claim that there exists a finite collection J of pairs (J, τ ) as
above such that

C(I) = C(J, τ ). (∗)
(J,τ )∈J
This is seen as follows. For β = (β1 , . . . , βn ) ∈ Zn0 , we define C(β)

α ∈ Z0 such that X does not divide X . Then
to be the set of all n β α
we have C(I) = β∈M C(β). Now note that if (J, τ ) and (J , τ ) are
two pairs as above, then
⎧
⎪
⎨∅ if τ (j) = τ (j) for some
C(J, τ ) ∩ C(J , τ ) = j ∈ J ∩ J ,
⎪
⎩
C(J ∪ J , τ0 ) otherwise,
where τ0 is defined by τ0 (j) = τ (j) if j ∈ J and τ0 (j) = τ (j)

if j ∈ J .
Thus, it remains to show that C(β) (for any β ∈ Zn0 ) is a finite
union of sets of the form C(J, τ ). But, we have (α1 , . . . , αn ) ∈ C(β) if
and only if αi < βi for some 1 i n. Thus, as required, we have

i −1

n β
C(β) = {(α1 , . . . , αn ) ∈ Zn0 | αi = ti }
i=1 ti =0
i −1

n β
= C({i}, τ : i → ti ).
i=1 ti =0
Step 2. We claim that, for any pair (J, τ ) as in Step 1, there exists
a polynomial FJ,τ (t) ∈ Q[t] such that
deg FJ,τ (t) = n − |J| and FJ,τ (s) = |C(J, τ )s |

for all s |τ | := j∈J τ (j). Indeed, let γ = (γ1 , . . . , γn ) ∈ Zn0 be
such that γj = 0 for j ∈ J and γj = τ (j) for j ∈ J. Then C(J, τ )
is the set of all α + γ, where α = (α1 , . . . , αn ) ∈ Zn0 is such that
αj = 0 for j ∈ J. Thus, |C(J, τ )s | is the number of monomials
in the variables Xj (j ∈ J) such that, when multiplied with X γ ,
the total degree is at most s. This is the same as the number of
monomials in d := n − |J| variables of total degree at most s − |γ|
(note that |τ | = |γ|). Hence, as in Example 1.2.12(b), we find that
d + s − |τ | 1 d
|C(J, τ )s | = = (s + combination of lower
d d!
powers of s).
Step 3. If A1 , . . . , Am are finite subsets of some set, then
we have

m
|A1 ∪ · · · ∪ Am | = (−1)r−1 |Ai1 ∩ · · · ∩ Air |;
r=1 1i1 <···<ir m
this is easily proved by induction on m and is called the inclusion–

exclusion principle. We apply this principle to the computation of
a HF (s)| = |C(I) |. By (∗), we can write C(I)
I s s as a finite union
of sets of the form C(J, τ )s . Now let s0 be an integer which is
bigger that |τ0 | for any pair (J0 , τ0 ) occurring in that union or
in any intersection of sets in that union. Let s s0 . Then, by
Step 2, |C(J, τ )s | is given by a polynomial in s (whose leading
coefficient is 1/(n − |J|)!). Furthermore, we have seen in Step 1
that the intersection of sets of the form C(J, τ ) is either empty
or of the form C(J0 , τ0 ), where J0 ⊇ J (and J0 = J if the pairs
in the intersection are not all equal). Thus, the inclusion–exclusion
principle yields that |C(I)s | is also given by a polynomial in s. This

proves the existence of a HPI (t). Let d0 be the largest d 0 such that
there exists a pair (J, τ ) with C(J, τ ) ⊆ C(I) and d = n − |J |. Then
we have

a
HPI (t) = FJ,τ (t) + combination of polynomials of degree < d0 .
(J,τ )∈J
d0 +|J|=n
Using the expression for FJ,τ (t) in Step 2, we now see that the terms
of degree d0 in the above sum do not cancel. Hence a HPI (t) has
degree d0 , and the leading coefficient is of the form a/d0 ! for an inte-
ger a > 0. All the remaining coefficients are also seen to be integer
multiples of d0 !.
Step 4. It remains to prove the characterization of the degree
of a HPI (t) in (a). By the discussion in Step 3, deg a HPI (t) is the
largest d such that there exists a subset J ⊆ {1, . . . , n} of size n − d
and a function τ : J → Z0 such that C(J, τ ) ⊆ C(I). First we show
that I ∩ k[Xj | j ∈ J ] = {0} for any such pair (J, τ ). Assume, if
possible, that this is not the case and let 0 = f ∈ I ∩ k[Xj | j ∈ J ].
But then we also have 0 = LT(f) ∈ (LT(I)) ∩ k[Xj | j ∈ J ]. Writing
LT(f) = aX α , where 0 = a ∈ k and α = (α1 , . . . , αn ) ∈ Zn0 , we have
αj = 0 for j ∈ J , and so γ + α ∈ C(J, τ ) ⊆ C(I) for any γ ∈ C(J, τ ).
On the other hand, we have aX γ+α = X γ LT(f) ∈ (LT(I)), and so
X γ+α is divisible by X β for some β ∈ M , contradicting γ +α ∈ C(I).
Thus, we have

there exist 1 i1 < · · · < id n
deg HPI (t) max 0 d n
a
.
such that I ∩ k[Xi1 , . . . , Xid ] = {0}
Conversely, if 1 i1 < · · · < id n are such that I∩

k[Xi1 , . . . , Xid ] = {0}, then the natural map π : k[Xi1 , . . . , Xid ] →
k[X1 , . . . , Xn ]/I induced by the inclusion k[Xi1 , . . . , Xid ] ⊆
k[X1 , . . . , Xn ] is injective. Consequently, by the same computation

as in Example 1.2.12(b), we have a HPI (s) = a HFI (s) d+s d for all
s 0. Since the right-hand side is given by a polynomial of degree d,
this implies that deg a HPI (t) d, as desired.
Note that the above proof provides in fact an algorithm for com-
puting the polynomial a HPI (t), once we know a Groebner basis for
I with respect to a graded lexicographic order . See Chapter 9 of
Cox et al. (1992) for more details.
We now apply the above results to algebraic sets in kn .

1.2.15 Definition Let V ⊆ kn be an algebraic set and
I(V ) (t) be the Hilbert polynomial of I(V ) ⊆ k[X1 , . . . , Xn ]; see
a HP
Theorem 1.2.14. Assume that V = ∅ so that I(V ) = k[X1 , . . . , Xn ].

Then the dimension of V is defined as
dim V = deg a HPI(V ) (t).
By Theorem 1.2.14, dim V is the largest d with the property that
there exist indices 1 i1 < · · · < id n such that I(V )∩
k[Xi1 , . . . , Xid ] = {0}.
1.2.16 Example (a) Let V = kn and assume that |k| = ∞.
Then I(V ) = {0} and the formula in Example 1.2.12(b) shows that
dim V = n.
(b) Assume that k is algebraically closed and let Hf ⊆ kn be
a hypersurface (where f is non-constant). By Theorem 1.1.9, we
may assume that I(Hf ) = (f). Then dim Hf = n − 1; indeed, by
Example 1.2.12(c), we have
a deg(f) n−1
HP(f) (t) = t + linear combination of lower powers of t.
(n − 1)!
(c) Let V ⊆ kn be an algebraic set and W ⊆ V be a closed
subset. Then we have dim W dim V . Indeed, consider the ideals
J = I(V ) and I = I(W ) in k[X1 , . . . , Xn ]. Since J ⊆ I, we have
Js ⊆ Is and so a HFI (s) a HFJ (s) for all s 0. It follows that
dim W = deg a HPI (t) deg a HPJ (t) = dim V .
1.2.17 Proposition Let V ⊆ kn be a non-empty algebraic set and
V = V1 ∪ · · · ∪ Vr be its decomposition into irreducible components
(see Proposition 1.1.12). Then
dim V = max {dim V1 , . . . , dim Vr }.
Proof We have dim Vj dim V by Example 1.2.16(c). Now let d =
dim V . Then, by Theorem 1.2.14, there exist 1 i1 < · · · < id n
such that I(V ) ∩ k[Xi1 , . . . , Xid ] = {0}. Now assume, if possible,
that dim Vj < d for all j. Then there exist some 0 = Fj ∈ I(Vj ) ∩
k[Xi1 , . . . , Xid ] (again by Theorem 1.2.14). Now set F := F1 · · · Fr ∈
k[Xi1 , . . . , Xid ]. Then we have F = 0 and
F ∈ I(V1 ) ∩ · · · ∩ I(Vr ) = I(V1 ∪ · · · ∪ Vr ) = I(V ),
a contradiction. So there exists some j such that dimV = dimVj .

The following result provides an alternative characterization of

dim V . First, we recall some general notions. Let A be a k-algebra.
(Here, and throughout this book, this means that A is a commu-
tative associative k-algebra with 1.) We say that a set of elements
a1 , . . . , am ∈ A is algebraically independent if there exists no non-zero
polynomial F ∈ k[X1 , . . . , Xm ] such that F (a1 , . . . , am ) = 0. We set

there exist m algebraically
∂k (A) := sup m 0 .
independent elements in A
If A is a field, then ∂k (A) is called the transcendence degree of A over

k. See Exercise 1.8.12 for some properties of ∂k (A).
1.2.18 Proposition Let A = k[X1 , . . . , Xn ]/I where I ⊆

k[X1 , . . . , Xn ] is a proper ideal. Then deg a HPI (t) = ∂k (A). If, more-
over, A is an integral domain and K is the field of fractions of A,
then deg a HPI (t) = ∂k (A) = ∂k (K).
In particular, we have dim V = ∂k (A[V ]) for any non-empty

algebraic set V ⊆ kn .
Proof We denote by [f] the image of a polynomial f ∈

k[X1 , . . . , Xn ] in A. Let d = deg a HPI (t). Then, by
Theorem 1.2.14(a), there exist 1 i1 < · · · < id n such
that I ∩ k[Xi1 , . . . , Xid ] = {0}. This means that [Xi1 ], . . . , [Xid ]
are algebraically independent in A and so d ∂k (A). Now we
set R = K if A is an integral domain, and R = A otherwise.
Then, clearly, ∂k (A) ∂k (R). Hence it remains to prove that, if
φ1 , . . . , φr ∈ R are algebraically independent, then we must have
r d. Let us write φi = [fi ]/[f], where fi ∈ k[X1 , . . . , Xn ] and
f ∈ k[X1 , . . . , Xn ] is such that [f] = 0 (if R = K) or f = 1 (if
R = A). Let N := max {deg(f), deg(fi )} and consider the poly-
nomial ring k[Y1 , . . . , Yr ]. For any s 0, we construct an injective
map
β : k[Y1 , . . . , Yr ]s → k[X1 , . . . , Xn ]Ns /INs .
This is done as follows. Let g ∈ k[Y1 , . . . , Yr ]s . It is readily checked
that we have f s g(f1 /f, . . . , fr /f) ∈ k[X1 , . . . , Xn ]Ns . Then we
define β(g) to be the class of f s g(f1 /f, . . . , fr /f) modulo INs .
To show that β is injective, suppose g is such that
f s g(f1 /f, . . . , fr /f) ∈ INs ⊆ I. Working in R, we can write this as
[f]s g(φ1 , . . . , φr ) = 0. Since [f] = 0, we deduce that g(φ1 , . . . , φr ) = 0
and so g = 0. Thus, we have an injective map as desired. It

follows that
s+r
a
HFI (Ns) dimk k[Y1 , . . . , Yr ]s = by Example 1.2.12(b).
r
Since the above inequality holds for all s 0 and since, for large
enough s, the left and the right-hand side are given by polynomials
of degree d and r, respectively, we conclude that d r, as desired.

1.2.19 Example (a) Assume that V = {v} ⊆ kn is a singleton

set. Let v = (v1 , . . . , vn ). Then we have V = V(I), where I = (X1 −
v1 , . . . , Xn − vn ). Since k[X1 , . . . , Xn ]/I ∼
= k, we conclude that I is
maximal and that I(V ) = I. So we have k[X1 , . . . , Xn ]/I(V ) ∼ = k and,
hence, a HFI(V ) (s) = 1 for all s 1. Thus, we have dim{v} = 0. Using
Proposition 1.2.17, it follows that dim V = 0 whenever |V | < ∞. One
can in fact show that a HPI (t) = |V | in this case; see Exercise 11 in
§9.4 of Cox et al. (1992).
(b) Consider the twisted cubic C = V(X2 − X12 , X3 − X13 ) ⊆
k and assume that |k| = ∞. Then, by Example 1.1.8(b), we
3
have I(C) = (X2 − X12 , X3 − X13 ) and Exercise 1.8.4 shows that
k[X1 , X2 , X3 ]/I(C) ∼ = k[Y1 ], where Y1 is an indeterminate. Thus, we
conclude that dim C = 1.
An irreducible algebraic set of dimension 1 is called an affine
curve; we have just seen that the twisted cubic is an affine curve. In
Exercise 1.8.10(b) it is shown that the affine curves in k2 (where k is
algebraically closed) are precisely the algebraic sets defined by one
non-constant irreducible polynomial.
1.2.20 Proposition Let V ⊆ kn be an irreducible algebraic set

and W ⊆ V be a closed subset. Then we have dim W < dim V
if W V .
Proof By Example 1.2.16(c), we have dim W dim V . Assume, if

possible, that d := dim W = dim V and W V . Then I(V ) I(W )
by §1.1.7. Let f ∈ I(W ) \ I(V ). By Theorem 1.2.14, there exist
indices 1 i1 < · · · < id n such that I(W ) ∩ k[Xi1 , . . . , Xid ] =
{0}. Now f, Xi1 , . . . , Xid cannot be algebraically independent modulo
I(V ) (see Proposition 1.2.18), and so there exists a polynomial 0 =
F ∈ k[Y, Y1 , . . . , Yd ] such that F (f, Xi1 , . . . , Xid ) ∈ I(V ). Since V is
irreducible, I(V ) is a prime ideal and so we can assume that F is
Regular maps, direct products, and algebraic groups 23

irreducible. Let us write F = ri=0 Fi Y i , where Fi ∈ k[Y1 , . . . , Yd ].
Since f ∈ I(V ) and F is irreducible, F cannot be a multiple of Y
and so F0 = 0. But we have F0 (Xi1 , . . . , Xid ) ≡ F (f, Xi1 , . . . , Xid ) ≡
0 mod I(W ), and so Xi1 , . . . , Xid are not algebraically independent
modulo I(W ), a contradiction.
1.3 Regular maps, direct products, and

algebraic groups
This section introduces two new concepts: regular maps between
algebraic sets and direct products of algebraic sets. These two con-
cepts are needed to define algebraic groups; these are algebraic
sets on which a group multiplication is defined which is given by
regular maps.
1.3.1 Definition Let V ⊆ kn and W ⊆ km be non-empty

algebraic sets. We say that ϕ : V → W is a regular map, if there
exist f1 , . . . , fm ∈ k[X1 , . . . , Xn ] (where the Xi are indeterminates)
such that
ϕ(x) = (f1 (x), . . . , fm (x)) for all x ∈ V .
Such a map ϕ is continuous in the Zariski topology. Indeed, let Z ⊆

W be a closed set. Then Z = V(R) ⊆ km for some R ⊆ k[Y1 , . . . , Ym ]
(where the Yj are indeterminates) and so
ϕ−1 (Z) = V({g(f1 , . . . , fm ) | g ∈ R}) ⊆ kn .
Here, g(f1 , . . . , fm ) means that each variable Yi is substituted by fi .

Thus, g(f1 , . . . , fm ) ∈ k[X1 , . . . , Xn ] for all g ∈ R, and so ϕ−1 (Z) is
algebraic in kn .
1.3.2 Remark Let ϕ : V → W be a regular map as in Defini-

tion 1.3.1. Assume that V is irreducible. Then the Zariski closure
ϕ(V ) ⊆ W is also irreducible.
Indeed, let f, g ∈ k[Y1 , . . . , Ym ] be such that fg ∈ I(ϕ(V )).
This means that f(ϕ(v))g(ϕ(v)) = 0 for all v ∈ V , and so
f(f1 , . . . , fm )g(f1 , . . . , fm ) ∈ I(V ). Since V is irreducible, I(V ) is a
prime ideal, and so f(f1 , . . . , fm ) ∈ I(V ) or g(f1 , . . . , fm ) ∈ I(V ).
Assume, for example, that f(f1 , . . . , fm ) ∈ I(V ). Then we have
f(ϕ(v)) = 0 for all v ∈ V , and so ϕ(V ) ⊆ V({f}). But V({f}) ⊆ kn
is a closed set and, hence, f also vanishes on ϕ(V ); that is, we have
f ∈ I(ϕ(V )).
1.3.3 Regular functions Let V ⊆ kn be a non-empty algebraic

set and consider the special case where W = k. Then a regular map
ϕ : V → k is given by a single polynomial f ∈ k[X1 , . . . , Xn ] such that
ϕ(x) = f(x) for all x ∈ V . Now note that, for any g ∈ k[X1 , . . . , Xn ],
we have g(x) = f(x) for all x ∈ V if and only if g − f ∈ I(V ). Thus,
ϕ uniquely determines an element of A[V ] = k[X1 , . . . , Xn ]/I(V ).
Conversely, for any residue class f¯ = f + I(V ) ∈ A[V ], we obtain
a well-defined regular map ϕ : V → k such that ϕ(x) = f(x) for all
x∈V.
This discussion shows that A[V ] may also be regarded as the set
of all regular maps V → k. For f ∈ k[X1 , . . . , Xn ], we will usually
identify the function f˙ : V → k with f¯ ∈ A[V ] and call A[V ] the alge-
bra of regular functions on V . Using this interpretation of the affine
algebra, we see that a regular map ϕ : V → W as in Definition 1.3.1
induces a k-algebra homomorphism
ϕ∗ : A[W ] → A[V ], ḡ → ḡ ◦ ϕ.
Indeed, if g ∈ k[Y1 , . . . , Ym ] and ϕ is given by the polynomials

f1 , . . . , fm ∈ k[X1 , . . . , Xn ], then ḡ ◦ ϕ is given by the polynomial
g(f1 , . . . , fm ), obtained by substituting Yi → fi for 1 i m.
The assignment ϕ → ϕ∗ is (contravariant) functorial, in the fol-
lowing sense. If ϕ : V → W and ψ : W → Z are regular (where
Z ⊆ kl is algebraic), then we have (ψ ◦ ϕ)∗ = ϕ∗ ◦ ψ∗ . Furthermore,
for V = W , we have id∗V = idA[V ] .
1.3.4 Proposition Let V ⊆ kn and W ⊆ km be non-empty

algebraic sets. Then the assignment ϕ → ϕ∗ defines a bijection
∼
{regular maps V → W } −→
{k-algebra homomorphisms A[W ] → A[V ]}.
In particular, ϕ : V → W is an isomorphism of algebraic sets (that
is, ϕ is bijective and its inverse is regular) if and only if ϕ∗ is a
k-algebra isomorphism.
Proof Let ϕ : V → W be a regular map, given by f1 , . . . , fm ∈

k[X1 , . . . , Xn ]. Then we have ϕ∗ (Ȳi ) = Ȳi ◦ ϕ = f¯i for all i. This
shows that ϕ → ϕ∗ is injective. Conversely, let α : A[W ] → A[V ]
be a k-algebra homomorphism. For any i ∈ {1, . . . , m}, let fi ∈

k[X1 , . . . , Xn ] be such that f¯i = α(Ȳi ). We consider the regular
map ϕ : V → km given by the polynomials f1 , . . . , fm . Writing an
arbitrary polynomial in k[Y1 , . . . , Ym ] as a linear combination of
monomials and using the fact that α is a k-algebra homomorphism,
we conclude that
α(ḡ)(v) = g(f1 (v), . . . , fm (v)) = g(ϕ(v)) (∗)
for any g ∈ k[Y1 , . . . , Ym ] and v ∈ V . We will check that ϕ(V ) ⊆ W .

To see this, let v ∈ V and g ∈ I(W ). Then ḡ = 0 and (∗) shows that
g(ϕ(v)) = 0. Thus, we have ϕ(v) ∈ V(I(W )) = W . Finally, (∗) now
also shows that α = ϕ∗ .
The statement about isomorphisms is now clear. Indeed, if ϕ
is an isomorphism, then the functoriality properties in §1.3.3 show
that ϕ∗ is an isomorphism. Conversely, if ϕ∗ is an isomorphism, then
(ϕ∗ )−1 : A[V ] → A[W ] is a k-algebra homomorphism, and so there
exists some regular map ψ : W → V such that ψ∗ = (ϕ∗ )−1 . Then
the above properties show that ψ is inverse to ϕ.
1.3.5 Example (a) Consider the map ϕ : k → k3 , x → (x, x2 , x3 ).

Then ϕ is certainly regular and we have ϕ(k) = C, the twisted
cubic. Furthermore, the description of A[C] in Example 1.2.19(b)
shows that ϕ∗ : A[C] → A[k] is an isomorphism. Thus, k and C are
isomorphic algebraic sets.
(b) Let ϕ : k2 → k2 be the regular map defined by ϕ(x, y) =
(xy, y). We have ϕ(k2 ) = {(0, 0)} ∪ {(x, y) ∈ k2 | x, y ∈ k, y = 0}.
This shows that, in general, the image of a regular map need not
be open or closed. We will study this problem in more detail in
Section 2.2.
(c) Assume that k is algebraically closed of characteristic p > 0,
and consider the regular map ϕ : k → k, x → xp . Then ϕ is bijective
but ϕ∗ : k[X] → k[X], X → X p , is not surjective. Thus, ϕ is not an
isomorphism!
1.3.6 Example Let f1 , . . . , fm ∈ k[X1 , . . . , Xn ] and define ϕ : kn →

km by ϕ(x) = (f1 (x), . . . , fm (x)). As we have seen in the above exam-
ple, the image of ϕ need not be closed. So let us set Vϕ :=
of R := k[X1 , . . . , Xn , Y1 , . . . , Ym ] and consider the ideal
I = Iˆ ∩ k[Y1 , . . . , Ym ] where Iˆ := (Y1 − f1 , . . . , Ym − fm ) ⊆ R.
ˆ ⊆ kn × km = kn+m and
Then consider the algebraic set V̂ = V(I)
the projection πm : k ×k → k . We claim that, if |k| = ∞, then
n m m
πm (V̂ ) = ϕ(kn ) and Vϕ = V(I) ⊆ km .
Proof For any (x, y) ∈ kn × km , we have (x, y) ∈ V̂ if and only if

y = ϕ(x). Thus, we see that πm (V̂ ) = ϕ(kn ), and it remains to show
that V(I) = πm (V̂ ).
Now, if (x, y) ∈ V̂ and f ∈ I, then f(y) = f(x, y) = 0, where
the first equality holds since f only involves the variables Y1 , . . . , Ym
and the second equality holds since f ∈ Iˆ and (x, y) ∈ V(I). ˆ Thus,
we have πm (V̂ ) ⊆ V(I).
Conversely, let f ∈ I(πm (V̂ )). Since f only involves the variables
Y1 , . . . , Ym , we have f ∈ I(V̂ ) and so f ∈ I, ˆ by Exercise 1.8.4.
ˆ
Thus, f ∈ I ∩ k[Y1 , . . . , Ym ] = I, and it follows that Vϕ = V(I) ⊆
V(I(πm (V̂ ))) = πm (V̂ ) using §1.1.7.
For example, consider the map ϕ : k → k3 , x → (x, x2 , x3 ).

Then the ideal Iˆ is generated by {Y1 − X, Y2 − X 2 , Y3 − X 3 } ⊆
k[X, Y1 , Y2 , Y3 ]. A Groebner basis with respect to LEX with Y1
Y2 Y3 X is given by {Y2 −Y12 , Y3 −Y13 , X−Y1 }. By Exercise 1.8.5,
I = Iˆ ∩ k[Y1 , Y2 , Y3 ] is generated by Y2 − Y12 and Y3 − Y13 . Thus, we
have recovered the defining equations of the twisted cubic.
In the above setting, there are examples which show that the
image of a closed subset V̂ ⊆ kn × km under the projection map πm
need not be closed; see Exercise 1.8.9. We will see later in Section 3.2
that this phenomenon can not occur when we consider algebraic sets
in projective space.
1.3.7 Direct products of algebraic sets Let V ⊆ kn and

W ⊆ km be (non-empty) algebraic sets, defined by sets S ⊆
k[X1 , . . . , Xn ] and T ⊆ k[Y1 , . . . , Ym ], respectively. Identifying kn ×
km with kn+m and k[X1 , . . . , Xn ], k[Y1 , . . . , Ym ] with subrings of
k[X1 , . . . , Xn , Y1 , . . . , Ym ], we see that

n+m f(v) = 0 for all f ∈ S,
V × W = (v, w) ∈ k g(w) = 0 for all g ∈ T
= V(S ∪ T ) ⊆ kn+m ,
where we use the identities f(v) = f(v, w) for all f ∈ S and g(w) =
g(v, w) = 0 for all g ∈ T . Thus, the direct product V × W is an
algebraic set in kn+m . Since (I(V ), I(W )) ⊆ I(V × W ), we have a
well-defined k-bilinear map
A[V ] × A[W ] → A[V × W ], (f, ¯ ḡ) → f¯ × ḡ := fg + I(V × W ).
So we get an induced k-linear map A[V ] ⊗k A[W ] → A[V × W ].
1.3.8 Proposition Let V ⊆ kn and W ⊆ km be non-empty

algebraic sets.
(a) If V and W are irreducible, then so is V × W .
(b) We have I(V × W ) = (I(V ), I(W )) ⊆ k[X1 , . . . , Xn ,
Y1 , . . . , Ym ]; the map A[V ] ⊗k A[W ] → A[V × W ], f¯ ⊗ ḡ → f¯ × ḡ, is
an isomorphism.
(c) We have dim(V × W ) = dim V + dim W .
Proof (a) We must show that I(V ×W ) ⊆ k[X1 , . . . , Xn , Y1 , . . . , Ym ]
is a prime ideal; see Proposition 1.1.12. So let f1 , f2 ∈
k[X1 , . . . , Xn , Y1 , . . . , Ym ] be such that f1 f2 ∈ I(V × W ). For a
fixed w ∈ W and i = 1, 2, we define an algebraic set by Vi (w) :=
{v ∈ V | fi (v, w) = 0} ⊆ V . Since f1 f2 ∈ I(V × W ), we
have V = V1 (w) ∪ V2 (w). Since V is irreducible, we conclude that
V = V1 (w) or V = V2 (w). Consequently, we have W = W1 ∪ W2 ,
where Wi := {w ∈ W | Vi (w) = V } for i = 1, 2. Now note that
Wi = {w ∈ W | fi (v, w) = 0 for all v ∈ V } and so Wi is algebraic.
Since W is irreducible, we may therefore conclude that W = W1 or
W = W2 . In the first case, we have f1 (v, w) = 0 for all v ∈ V and
w ∈ W , and so f1 ∈ I(V × W ). Similarly, in the second case, we
have f2 ∈ I(V × W ). Thus, we have shown that I(V × W ) is a prime
ideal, as desired.
(b) Since (I(V ), I(W )) ⊆ I(V × W ), we have a canonical
surjection
B := k[X1 , . . . , Xn , Y1 , . . . , Ym ]/(I(V ), I(W )) −→ A[V × W ]. (∗)
We have to show that it is also injective. For this purpose, let
{f¯α | α ∈ I} be a k-basis of A[V ] (where fα ∈ k[X1 , . . . , Xn ]) and
{ḡβ | β ∈ J } be a k-basis of A[W ] (where gβ ∈ k[Y1 , . . . , Ym ]).

For example, we could take the bases provided by Theorem 1.2.8.
Then the residue classes in B of the products fα gβ span B over k.
Hence it will be enough to show that all the products fα gβ are
linearly
independent
modulo I(V × W ). So let xα,β ∈ k be such
that α∈I β∈J xα,β fα gβ ∈ I(V × W ), that is, we have

xα,β fα (v)gβ (w) = 0 for all v ∈ V , w ∈ W .
α∈I β∈J
We must show that xα,β = 0 for all α, β. To see this, fix w ∈ W and

set
yα (w) := xα,β gβ (w) ∈ k.
β∈J

Then we have α∈I yα (w)fα (v) = 0 for all v ∈ V . Since the poly-
nomials {fα } are linearly independent modulo I(V ), we conclude
that yα (w) = 0 for all α. This holds for all w ∈ W and so, since
the polynomials {gβ } are linearly independent modulo I(W ), we
conclude that xα,β = 0 for all α, β, as desired.
Finally, consider the map A[V ] ⊗k A[W ] → A[V × W ], which
certainly is surjective. To prove injectivity, consider the substitution
homomorphism from k[X1 , . . . , Xn , Y1 , . . . , Ym ] into A[V ] ⊗k A[W ]
defined by sending Xi to X̄i ⊗ 1 and Yj to 1 ⊗ Ȳj for all i and j.
The kernel of that map contains I(V ) and I(W ). Hence we get an
induced map B → A[V ] ⊗k A[W ]. The composition of that map with
A[V ] ⊗k A[W ] → A[V × W ] is easily seen to be the map (∗) and,
hence, is an isomorphism. Consequently, A[V ] ⊗k A[W ] → A[V × W ]
also is an isomorphism.
(c) By Theorem 1.2.14, there are subsets I ⊆ {1, . . . , n} and J ⊆
{1, . . . , m} such that dim(V × W ) = |I| + |J | and k[Xi , Yj | i ∈ I, j ∈
J ]∩I(V ×W ) = {0}. Using (b), this implies k[Xi | i ∈ I]∩I(V ) = {0}
and k[Yj | j ∈ J ]∩I(W ) = {0} and so dim(V ×W ) dim V +dim W .
Conversely, let I ⊆ {1, . . . , n} be such that dim V = |I| and k[Xi |
i ∈ I] ∩ I(V ) = {0}. Furthermore, let J ⊆ {1, . . . , m} be such that
dim W = |J | and k[Yj | j ∈ J ] ∩ I(W ) = {0}. It is easily seen (for
example, using an argument analogous to that in the proof of (b))
that then we also have k[Xi , Yj | i ∈ I, j ∈ J ] ∩ I(V × W ) = {0}.
Hence, by Theorem 1.2.14, we have dim(V × W ) |I| + |J |, as
required.
Now we are ready to define algebraic monoids and algebraic
groups.
1.3.9 Definition Consider Mn (k) = kn×n as an algebraic set

2
(under the identification kn×n = kn ). Let µ : Mn (k) × Mn (k) →
Mn (k) be the usual matrix multiplication. Thus, for A = (aij )
and B = (bij ) in Mn (k), we have µ(A, B) = (cij ) where cij =
n
l=1 ail blj . This formula shows that µ is a regular map. Then
Mn (k) together with µ is called the general linear algebraic monoid
of degree n; the identity element is the n × n identity matrix
In . Setting A[Mn (k)] = k[Xij | 1 i, j n]/I(Mn (k)), the
algebra homomorphism µ∗ : A[Mn (k)] → A[Mn (k)] ⊗k A[Mn (k)] is
given by

n
∗
µ (X̄ij ) = X̄il ⊗ X̄lj for all i, j ∈ {1, . . . , n}.
l=1
(Of course, we have I(Mn (k)) = {0} if k is an infinite field.) A linear

algebraic monoid is an algebraic subset G ⊆ Mn (k) such that In ∈ G
and µ(A, B) ∈ G for all A, B ∈ G. A homomorphism of algebraic
monoids is a regular map ϕ : G → H between two linear algebraic
monoids G ⊆ Mn (k) and H ⊆ Mm (k) such that ϕ(AB) = ϕ(A)ϕ(B)
for all A, B ∈ G and ϕ(In ) = Im .
If, moreover, every element A ∈ G has an inverse and the map
ι : G → G, A → A−1 , is regular, then G is called a linear algebraic
group.
1.3.10 Example Let SLn (k) = {A ∈ Mn (k) | det(A) = 1}. Then

SLn (k) is closed under multiplication. Furthermore, let

det := sgn(σ)X1σ(1) · · · Xnσ(n) ∈ k[Xij | 1 i, j n],
σ∈Sn
where Sn is the symmetric group of degree n. Then SLn (k) =

V({det −1}) ⊆ Mn (k) is algebraic, and so SLn (k) is a linear alge-
braic monoid. Furthermore, for any invertible matrix A ∈ Mn (k), we
have A−1 = det(A)−1 Ãtr , where Ã is the matrix of cofactors of A;
the entries of Ã are given by the determinants of various submatrices
of A of size n − 1. Thus, ι : SLn (k) → SLn (k), A → A−1 , is regular
and so SLn (k) is a linear algebraic group, which is called the special
linear group.
Finally, if k is algebraically closed, then SLn (k) is an irre-
ducible hypersurface with I(SLn (k)) = (det −1). For this purpose, by
Theorem 1.1.9, one has to check that det −1 ∈ k[Xij | 1 i, j n] is
irreducible. (We leave this an exercise; a different proof that SLn (k)
is irreducible will be given in Remark 1.6.11.) In particular, we see

that dim SLn (k) = n2 − 1 by Example 1.2.16(b).
(e)
More generally, let e 1 and set SLn (k) = {A ∈ Mn (k) |
(e)
det(A)e = 1}. Then, as above, we see that SLn (k) is a linear
(e)
algebraic monoid. Furthermore, for any A ∈ SLn (k), we have
det(A)e = 1 and so det(A)−1 = det(A)e−1 . Thus, A−1 can also be
(e)
expressed by polynomials in the entries of A. Consequently, SLn (k)
is a linear algebraic group.
1.3.11 Example Let G ⊆ Mn (k) be an algebraic set which is a
(e)
subgroup of SLn (k) for some e 1. Then G is a linear algebraic
group.
(a) Let Un (k) be the set of all upper unitriangular matrices in
Mn (k), that is, we have A = (aij ) ∈ Un (k) if and only if aii = 1 for
all i and aij = 0 for all i > j. Then Un (k) is an algebraic subset of
Mn (k) and a subgroup of SLn (k). Thus, Un (k) is a linear algebraic
group. As an algebraic set, we have Un (k) ∼ = kn(n−1)/2 and so Un (k)
is irreducible of dimension n(n − 1)/2 (if |k| = ∞). If n = 2, then

1 a
k → U2 (k), a → ,
0 1
is an isomorphism of algebraic sets. Furthermore, the multiplication
in U2 (k) simply corresponds to the addition in k. Thus, the additive
group of k may be regarded as a linear algebraic group, which we
denote by Ga (k).
(b) Let G be any finite group. Then, by Cayley’s theorem, G
may be regarded as a subgroup of Sn for some n 1. Using the rep-
resentation of Sn by permutation matrices, we obtain an embedding
(2)
of G into the linear algebraic group SLn (k). Thus, being a finite
set, G itself is an algebraic group.
1.3.12 Remark Let G ⊆ Mn (k) be a linear algebraic group. For a
fixed x ∈ G, we define a map λx : G → G by λx (g) := µ(x, g). Thus,
λx is the composition of µ with δ : G → G × G, g → (x, g). The map
δ is certainly regular; the same holds for µ by definition. Hence λx
is regular. Furthermore, the associativity of the multiplication in G
implies that
λx ◦ λy = λxy for all x, y ∈ G.
Since every element of G has an inverse, we conclude that λx is an
isomorphism, the inverse being given by λx−1 . Similarly, we define
a map ρx : G → G by ρx (g) := µ(g, x). As above, we see that ρx is an

isomorphism. Furthermore, we have ρx ◦ ρy = ρyx for all x, y ∈ G.
1.3.13 Proposition Let G ⊆ Mn (k) be a linear algebraic group.

Let G◦ ⊆ G be an irreducible component containing 1. Then the
following hold.
(a) G◦ is a closed normal subgroup of G of finite index, and the
cosets of G◦ are precisely the irreducible components of G. In partic-
ular, the irreducible components of G are disjoint, and G◦ is uniquely
determined.
(b) Every closed subgroup of G of finite index contains G◦ .
(c) G is irreducible if and only if G is connected as a topological
space (i.e. G cannot be expressed as the disjoint union of two non-
empty open subsets).
Proof (a) Consider the multiplication map µ : G × G → G. Let

X ⊆ G be an irreducible component with 1 ∈ X. Then X · G◦ =
µ(X × G◦ ) ⊆ G is a closed irreducible subset of G (see Remark 1.3.2
and Proposition 1.3.8). Since 1 ∈ X and 1 ∈ G◦ , we have X, G◦ ⊆
X · G◦ ⊆ X · G◦ . Since X, G◦ are maximal closed irreducible subsets,
we must have X = X · G◦ and G◦ = X · G◦ . In particular, we see
that X = G◦ and so G◦ is uniquely determined. The above argument
also shows that G◦ · G◦ ⊆ G◦ · G◦ = G◦ and so G◦ is closed under
multiplication. Now consider the inversion map ι : G → G. Since
this is an isomorphism of algebraic sets, (G◦ )−1 = ι(G◦ ) is also an
irreducible component containing 1, and hence must be equal to G◦ .
Thus, G◦ is closed under inversion and so is a subgroup of G.
Now let x ∈ G. We have seen in Remark 1.3.12 that ρx is an
isomorphism of algebraic sets and so it maps irreducible components
to irreducible components. Thus, the coset G◦ x = ρx (G◦ ) is an irre-
ducible component of G. Conversely, let X ⊆ G be any irreducible
component and let x ∈ G be such that x−1 ∈ X. Then ρx (X) = Xx
is an irreducible component containing 1 and so Xx = G◦ . Hence X
is equal to the coset G◦ x−1 . Thus, the cosets of G◦ are precisely the
irreducible components of G. Consequently, G◦ has finite index in
G. Furthermore, for any x ∈ G, the two cosets G◦ x = ρx (G◦ ) and
xG◦ = λx (G◦ ) are irreducible components with non-empty intersec-
tion; hence they must be equal. This shows that G◦ is a normal
subgroup.
(b) Let H ⊆ G be any closed subgroup of finite index. Let
g1 , . . . , gr ∈ G (with g1 = 1) be such that G is the disjoint union
r
i=1 Hgi . As above we see that each coset Hgi is a closed subset of
G. It follows that G◦ = G◦ ∩ G = ri=1 (G◦ ∩ Hgi ). Since G◦ is irre-
ducible, we must have G◦ ∩ Hgi = G◦ and so G◦ ⊆ Hgi for some i.
Since 1 ∈ G◦ , it follows that i = 1 and so G◦ ⊆ H, as desired.
(c) It is clear that if G is a disjoint union of two open subsets, then
each of these open subsets is also closed and so G is not irreducible.
Conversely, if G is not irreducible, we write G as the union of its
irreducible components. By (a), this union is disjoint and so each
irreducible component is also open.
1.3.14 Corollary All irreducible components of a linear algebraic

group G ⊆ Mn (k) have the same dimension. In particular, we have
dim G = dim G◦ .
Proof We have seen above that the irreducible components of G

are the cosets of G◦ . Such a coset is of the form G◦ x = ρx (G◦ ) for
some x ∈ G, where ρx : G → G is an isomorphism of algebraic sets.
Hence we have dim(G◦ x) = dim G◦ . The fact that dim G = dim G◦
follows from Proposition 1.2.17.
1.3.15 Example We shall now introduce an important class of

groups: the so-called classical groups. Let Q ∈ Mn (k) be an invertible
matrix, and set
Γn (Q, k) := {A ∈ Mn (k) | Atr Q A = Q}.
First note that taking the determinant of Atr QA = Q and using

that det(Q) = 0, we obtain det(A) = ±1. Next, if A, B ∈ Γn (Q, k),
then we also have AB and A−1 ∈ Γn (Q, k). Finally, writing out the
equation Atr QA = Q for all matrix entries, we see that Γn (Q, k)
(2)
is a closed subset of Mn (k). Thus, Γn (Q, k) ⊆ SLn (k) is a linear
algebraic group, called a classical group.
If Q ∈ Mn (k) is another invertible matrix, we say that Q, Q
are equivalent if there exists some invertible matrix R ∈ Mn (k) such
that Q = Rtr QR. In this case, we have A ∈ Γn (Q , k) if and only if
RAR−1 ∈ Γn (Q, k). Thus, the map
ϕR : Γn (Q , k) → Γn (Q, k), A → RAR−1 ,
is an isomorphism of algebraic groups. Now Q defines a bilinear form

βQ : kn × kn → k by βQ (v, w) = vtr Qw (where v, w are regarded as
column vectors).
(Sym) We say that Q is symmetric if char(k) = 2 and βQ (v, w) =

βQ (w, v) for all v, w ∈ kn . The latter condition certainly is
equivalent to Q = Qtr .
(Alt) We say that Q is alternating if βQ (v, v) = 0 for all v ∈
kn . This certainly implies that Q = −Qtr . (If k has
characteristic = 2, the latter condition is also necessary.)
Now, without any further assumption on k, there may be many pair-
wise inequivalent matrices Q as above. However, if k is algebraically
closed, the picture simplifies drastically. In this case, there is only
one symmetric Q and one alternating Q up to equivalence; see §2.10
and §4.4 of Grove (2002). Hence, since we will mainly be interested
in the case where k is algebraically closed, it will be enough to study
the groups Γn (Q, k) for the following special choices of the matrix Q.
(The motivation for these choices will be become clear in Section 1.7
where we construct a BN -pair for these groups.)
Assume first that we are in the case (Sym) where char(k) = 2.
Then
⎡ ⎤
0 ··· 0 1
⎢ .. . . . . . . ⎥
⎢ . 0 ⎥
On (k) := Γn (Qn , k), where Qn := ⎢ ⎥ ∈ Mn (k),
⎣ 0 1 . . . ... ⎦
1 0 ··· 0
is called the orthogonal group of degree n. Note that On (k) is

not irreducible: indeed, the determinant defines a group homomor-
phism ε : On (k) → {±1}, and there exist matrices A ∈ On (k) with
determinant −1. (Check this!) Thus, On (k) is the union of two cosets
of the closed normal subgroup SOn (k) := On (k) ∩ SLn (k), which is
called the special orthogonal group of dimension n. For n = 1, SO1 (k)
is the trivial group and O1 (k) = {±1}. For n = 2, we obtain

a 0 0 1
SO2 (k) = 0
= a ∈ k and ∈ O2 (k)\SO2 (k);
0 a−1 1 0
see Exercise 1.8.19 for the case n = 3. Now assume that we are in
the case (Alt) where k may have any characteristic. Then n = 2m
must be even, and
⎡ ⎤
0 Qm
Sp2m (k) := Γ2m (Q− −
2m , k), where Q2m :=
⎣ ⎦∈ M2m (k),
−Qm 0
is called the symplectic group of degree 2m. Note that, for m = 1,

we obtain
Sp2 (k) = SL2 (k).
We shall see in Theorems 1.7.4 and 1.7.8 that SOn (k), Sp2m (k) are
connected.
1.3.16 Orthogonal groups and quadratic forms When deal-

ing with even-dimensional orthogonal groups, it is actually more
convenient to work with a slightly different description, using
quadratic forms. In particular, this will also give rise to a defi-
nition of orthogonal groups in characteristic 2. Let n = 2m for
some m 1 and consider the matrix Q2m defined above. Now
let P = (pij ) ∈ M2m (k) be such that Q2m = P + P tr . Then the
corresponding polynomial

2m
fP := pij Xi Xj ∈ k[X1 , . . . , Xn ]
i,j=1
defines in the usual way a function on k2m . We set
Γ2m (fP , k) := {A ∈ M2m (k) | fP (Ax) = fP (x) for all x ∈ k2m },
where x ∈ k2m is regarded as a column vector. We claim that

Γ2m (fP , k) is a linear algebraic group. Indeed, first note that
Γ2m (fP , k) is closed in M2m (k) since the condition fP (Ax) = fP (x)
yields a system of polynomial equations in the coefficients of A. Fur-
thermore, Γ2m (fP , k) certainly is closed under multiplication. To see
that every element in Γ2m (fP , k) is invertible, we note that

2m
fP (x + y) − fP (x) − fP (y) = (pij + pji )xi yj = βQ2m (x, y), (∗)
i,j=1
where x = (x1 , . . . , x2m ), y = (y1 , . . . , y2m ), and βQ2m is defined as

in §1.3.15. Consequently, any matrix A ∈ Γ2m (fP , k) also satisfies
the equation Atr Q2m A = Q2m , and so det(A) = ±1. Hence, we have
Γ2m (fP , k) ⊆ Γ2m (Q2m , k). We remark that Γ2m (fP , k) is defined by
the polynomial equations defining Γ2m (Q2m , k) plus the 2m equa-
tions fP (Aer ) = fP (er ), where {er | 1 r 2m} is the standard
basis of k2m . (This easily follows using the relation (∗).) These 2m
equations yield the relations (Atr PA)rr = Prr . Thus, we have

Γ2m (fP , k) = {A ∈ Γ2m (Q2m , k) | (Atr PA)rr = Prr for 1 r 2m}.
If fP is another polynomial as above, we say that fP , fP are equi-
valent if there exists an invertible R ∈ M2m (k) such that Q2m =
Rtr Q2m R and fP (Rv) = fP (v) for all v ∈ k2m . Hence, we have
A ∈ Γ2m (fP , k) if and only if RAR−1 ∈ Γ2m (fP , k). Thus, as before,
the map A → RAR−1 defines an isomorphism of algebraic groups
Γ2m (fP , k) → Γ2m (fP , k). Now, if k is algebraically closed, then
there is (up to equivalence) a unique quadratic polynomial fP as
above; see Theorems 4.4 and 12.9 of Grove (2002). We make the
following definite choice:
⎡ ⎤
m
0 Qm
f2m := Xi X2m+1−i with matrix P2m := ⎣ ⎦.
i=1 0 0
The corresponding group Γ2m (f2m , k) will be denoted by O+

2m (k).
Now, if char(k) = 2, then 2f2m (x) = βQ2m (x, x) for x ∈ k2m .
Thus, we have
O+
2m (k) = O2m (k) (char(k) = 2);
so we don’t obtain anything new here. In order to have a uniform
notation, we shall also set SO+2m (k) := SO2m (k) in this case. Now
assume that char(k) = 2. Then we have Γ2m (Q2m , k) = Sp2m (k).
Writing out the relations (Atr PA)rr = Prr (1 r 2m) for the
above special choice of P = P2m yields
# $
m

O+2m (k) = (aij ) ∈ Sp2m (k) aij a2m+1−i,j = 0 for 1 j 2m ;
i=1
this will be called the orthogonal group in characteristic 2. For

m = 1, we obtain

a 0 0 a
+
O2 (k) = 0 = a ∈ k ∪ 0 = a ∈ k .
0 a−1 a−1 0
2 (k) Sp2 (k) certainly is not connected. We shall set

Thus, O+
◦
SO+ +
2m (k) := O2m (k) (char(k) = 2).
In Theorem 1.7.8 it will be shown that SO+
2m (k) has index 2 in
+
O2m (k).
Table 1.1 Series of groups of classical type

Type Group Remarks
Am−1 SLm (k) any m 1, any characteristic

Bm SO2m+1 (k) any m 1, char(k) = 2
Cm Sp2m (k) any m 1, any characteristic
Dm SO+2m (k) any m 1, any characteristic
In Lie notation, SLn (k), SOn (k), Sp2m (k), SO+

2m (k) are groups
of classical type A, B, C, D. The precise correspondence is given in
Table 1.1; see Chapter 1 and §11.3 of Carter (1972) for more details.
Note that we could have also defined SO2m+1 (k) in characteristic 2,
as in §1.3.15. However, if char(k) = 2, then there exists a bijec-
∼
tive homomorphism of algebraic groups SO2m+1 (k) −→ Sp2m (k);
see Theorem 14.2 of Grove (2002).
1.4 The tangent space and non-singular

points
The aim of this section is to introduce the tangent space of an
algebraic set at a point and to prove the existence of non-singular
points. This involves a process of ‘linearization’ of the polynomials
defining an algebraic set. On a more formal level, this requires a
further basic notion, that of derivations.
1.4.1 Definition Let A be a k-algebra and M be an A-module; we

denote the action of A on M by (a, m) → a.m (a ∈ A, m ∈ M ). A
k-linear map D : A → M is called a derivation if we have the product
rule
D(ab) = a.D(b) + b.D(a) for all a, b ∈ A.
The set of all derivations of A into M is denoted by Derk (A, M ). This
set naturally is an A-module. Indeed, if c ∈ A and D ∈ Derk (A, M ),
then we define c.D : A → M by (c.D)(a) := c.D(a) for all a ∈ A. It
is readily checked that c.D ∈ Derk (A, M ).
1.4.2 Example (a) Let us take M = A, where the action is given

by multiplication. Then Derk (A, A) carries an additional structure,
that of a Lie algebra. Recall that a Lie algebra is a vector space L
The tangent space and non-singular points 37
equipped with a bilinear product [ , ] : L × L → L which satisfies

[x, x] = 0, for all x ∈ L, and the Jacobi identity
[x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0 for all x, y, z ∈ L.
For example, Mn (k) is a Lie algebra with product [A, B] :=

AB − BA.
Now, Derk (A, A) is a Lie algebra with product [D, D ] := D ◦
D − D ◦ D. Indeed, it is clear that [D, D] = 0; the Jacobi identity
is checked by a straightforward verification. Moreover, we have the
following Leibniz rule:

n
n
Dn (ab) = Di (a)Dn−i (b) for all a, b ∈ A.
i
i=0
If the characteristic of k is a prime p > 0, this shows that Dp is also

a derivation.
(b) Let R = k[X1 , . . . , Xn ] where Xi are indeterminates. We
define Di : R → R by Di (f) = ∂f/∂Xi (the usual partial derivative
with respect to Xi ). Then Di ∈ Derk (R, R). Furthermore, we have

n
D= D(Xi ) Di for any D ∈ Derk (R, R).
i=1
To check this identity, we note that D is uniquely determined by

its values on a set of algebra generators of R. (This follows from the
product rule for derivations.) Hence it is enough to verify the identify
on Xj for 1 j n, in which case it is trivial. Since D1 , . . . , Dn
certainly are linearly independent, we conclude that Derk (R, R) is a
free R-module with basis D1 , . . . , Dn .
1.4.3 Lemma Let A = k[X1 , . . . , Xn ]/I where I ⊆ k[X1 , . . . , Xn ]

is an ideal. Let M be an A-module, and set
% n &

TA,M := (v1 , . . . , vn ) ∈ M n Di (f).vi = 0 for all f ∈ I ,
i=1
where Di denotes partial derivative with respect to Xi and the

bar denotes the canonical map k[X1 , . . . , Xn ] → A. Then, for
any v = (v1 , . . . , vn ) ∈ TA,M , we have a well-defined derivation
Another random document with
no related content on Scribd:
LE CAP. M. — Voilà perdu le vieux Gaddy. (Il allume une cigarette
et s’éloigne en flânant, et en chantant d’un air absent :)
« You may carve it on his tombstone, you may cut it on his card,
That a young man married is a young man marred [21] . »
[21]
« Vous pouvez le graver sur sa tombe, vous pouvez le

graver sur sa carte,
Qu’un jeune homme marié est un jeune homme
perdu. »
MISS DEERCOURT (de son cheval). — Vraiment, capitaine Mafflin !

Vous parlez plus à cœur ouvert que vous n’êtes poli !
LE CAP. M. (à part). — On dit que le mariage, c’est comme le
choléra. Me demande qui sera la prochaine victime.
Une mule de satin blanc glisse de sa manche et tombe
à ses pieds. Reste livré à ses réflexions.
LE JARDIN D’ÉDEN
Et vous serez… comme des dieux !
DÉCOR. — Pelouse arômée de thym derrière l’hôtellerie de Mahasu,

dominant la petite vallée boisée. A gauche, un aperçu de la Forêt
Morte du Fagoo ; à droite, les montagnes de Simla. Tout au fond
la ligne des neiges. LE CAP. GADSBY , mari de trois semaines
maintenant, fume le calumet de paix sur un tapis au soleil. Banjo
et blague à tabac sur le tapis. En l’air, les aigles du Fagoo. MRS.
G. sort du bungalow.
MRS. G. — Mon mari !

LE CAP. G. (paresseusement, avec une jouissance intense). —
Hein, quo-oi ? Dites-le encore.
MRS. G. — J’ai écrit à maman pour lui annoncer que nous serons
de retour le 17.
LE CAP. G. — Lui avez-vous fait part de mes tendresses ?
MRS. G. — Non, j’ai gardé tout pour moi. (S’asseyant à son côté.)
J’ai pensé que cela ne vous ferait rien.
(avec une feinte sévérité). — Cela me fait beaucoup.
LE CAP. G.
Comment saviez-vous que tout était pour vous ?
MRS. G. — J’ai deviné, Phil.
LE CAP. G. (avec ravissement). — Pe-tit Poidsléger !
MRS. G. — Je voudrais bien ne pas me voir donner ces petits
noms de sport, vilain.
LE CAP. G.— Vous aurez tous les noms qu’il me plaît. Vous est-il
jamais venu à l’esprit, madame, que vous êtes ma femme ?
MRS. G. — Oui, certes. Je n’ai pas encore cessé de m’en étonner.
LE CAP. G. — Ni moi. Cela semble étrange ; et cependant, je ne
sais comment, cela ne l’est pas. (Avec confiance.) Vous comprenez,
cela n’aurait pu être personne autre.
MRS. G. (doucement). — Non. Personne autre… ni pour moi ni
pour vous. Tout cela a dû être arrangé dès l’origine des choses. Phil,
redites-moi ce qui vous a fait m’aimer.
LE CAP. G. — Comment eussé-je pu m’en empêcher ? Vous étiez
vous, vous savez.
MRS. G. — Est-ce que vous avez jamais senti le besoin de vous en
empêcher ? Dites la vérité !
LE CAP. G. (l’œil malicieux). — Oui, chérie, tout au
commencement, mais seulement au commencement. (Il rit tout
bas.) Je vous appelais — penchez-vous tout près et je vais vous le
dire à l’oreille — « une petite bécasse ». Ho ! ho ! ho !
MRS. G. (le prenant par la moustache et le forçant à s’asseoir sur
son séant). — « Une… petite… bécasse ! » Voulez-vous bien ne pas
rire de votre crime ! Et encore vous avez eu le… le… l’affreux toupet
de demander ma main !
LE CAP. G. — J’avais alors changé d’avis. Et vous n’étiez plus une
petite bécasse.
MRS. G. — Merci, monsieur ! Et quand l’ai-je été jamais ?
LE CAP. G. — Jamais ! Mais ce premier jour où vous m’avez donné
du thé sous cette petite robe de mousseline couleur fleur de pêcher,
vous aviez l’air — vous aviez vraiment l’air, ma chère amie — d’un si
absurde petit moucheron. Et je ne savais que vous dire.
MRS. G. (tordant la moustache). — Ainsi, vous avez dit « petite
bécasse ». Sur ma parole, monsieur, moi, je vous ai appelé « ce
grrrrand animal-là » ; mais je regrette de ne pas vous avoir appelé
quelque chose de pire.
LE CAP. G. (très humblement). — Je m’excuse, mais vous me
faites affreusement mal. (Intermède.) Vous avez toute permission de
me torturer encore aux mêmes conditions.
MRS. G. — Oh ! pourquoi me l’avez-vous laissé faire ?
LE CAP. G. (regardant le long de la vallée). — Sans raison
particulière, mais… si cela vous amusait ou vous faisait le moindre
bien vous pouvez… essuyer ces chères petites bottines-là sur moi.
MRS. G. (étendant le bras). — Taisez-vous ! Oh ! taisez-vous !
Philippe, mon roi, je vous en prie, ne parlez pas comme cela. C’est
tout à fait ce que, moi, je ressens. Vous êtes beaucoup trop bon
pour moi. Tellement trop bon !
LE CAP. G. — Moi ! Je ne suis pas digne de vous approcher. (Il
l’entoure de son bras.)
MRS. G. — Oui, vous en êtes digne. Mais moi… qu’ai-je jamais
fait ?
LE CAP. G. — Donné un tout petit brin de votre cœur, n’est-ce pas,
ma reine ?
MRS. G. — Ce n’est rien, cela. N’importe qui le ferait. On ne
pourr… pourrait jamais s’en empêcher.
LE CAP. G. — Chaton, vous allez me rendre horriblement fat. Et
cela, juste au moment où je commençais à me sentir si humble.
MRS. G. — Humble ! je ne crois pas que ce soit dans votre
caractère.
LE CAP. G. — Qu’est-ce que vous en connaissez, de mon
caractère, petite impertinente ?
MRS. G. — Ah ! mais je le connaîtrai, n’est-ce pas, Phil ? J’aurai le
temps, durant toutes les années et encore les années à venir, de
connaître tout ce qui vous concerne ; et il n’y aura pas de secrets
entre nous.
LE CAP. G. — Petite sorcière ! Je pense que vous me connaissez
déjà à fond.
MRS. G. — Je crois pouvoir deviner. Vous êtes égoïste ?
LE CAP. G. — Oui.
MRS. G. — Un peu bêta ?
LE CAP. G. — Très.
MRS. G. — Et un chéri.
LE CAP. G. — Cela, c’est comme il plaît à ma lady.
MRS. G. — Alors, il plaît à votre lady. (Une pause.) Savez-vous
que nous sommes deux grandes personnes solennelles, sérieuses.
LE CAP. G. (lui inclinant son chapeau de paille sur les yeux). —
Vous, grande personne ! Peuh ! Vous êtes un bébé.
MRS. G. — Et nous disions des bêtises.
LE CAP. G. — Alors, continuons à dire des bêtises. J’aime assez
cela. Chaton, je vais vous dire un secret. Vous promettez de ne pas
le répéter ?
MRS. G. — Ou-ui. Rien qu’à vous.
LE CAP. G. — Je vous aime.
MRS. G. — Vrai-ment ! Pour combien de temps ?
LE CAP. G. — Pour toujours et toujours ?
MRS. G. — C’est beaucoup.
LE CAP. G. — Vous pensez ? Je ne peux pas me contenter de
moins.
MRS. G. — Vous devenez tout à fait brillant.
LE CAP. G. — Je cause avec vous.
MRS. G. — Joliment tourné. Tenez levée votre stupide vieille tête
et je vais vous rendre cela !
LE CAP. G. (affectant un suprême mépris). — Prenez-la vous-
même si vous la voulez.
MRS. G. — J’ai grande envie de… et pourquoi pas ?
Elle la lui prend, et se le voit rendre avec usure.

LE CAP. G. — Petit Poidsléger, c’est mon avis que nous sommes
une paire d’idiots.
MRS. G. — Nous sommes les deux seuls gens sensés du monde !
Demandez à l’aigle. Le voilà qui vient par ici.
LE CAP. G. — Ah ! j’ose dire qu’il a vu pas mal de gens sensés à
Mahasu. On prétend que ces oiseaux-là vivent une éternité.
MRS. G. — Combien de temps ?
LE CAP. G. — Cent vingt ans.
MRS. G. — Cent vingt ans ! O-oh ! Et dans cent vingt ans, où
seront-ils, ces deux gens sensés ?
LE CAP. G. — Qu’est-ce que cela peut faire tant que nous sommes
ensemble maintenant ?
MRS. G. (faisant du regard le tour de l’horizon). — Oui. Rien que
vous et moi… moi et vous… dans tout le vaste, vaste monde jusqu’à
la fin. (Son regard se pose sur la ligne des neiges.) Comme les
montagnes ont l’air énormes et calmes ! Croyez-vous qu’elles
s’inquiètent de nous ?
LE CAP. G. — Je ne saurais affirmer les avoir particulièrement
consultées. Moi, je m’en inquiète, cela me suffit.
MRS. G. (se rapprochant de lui). — Oui, en ce moment… mais
plus tard. Qu’est-ce c’est que ce petit barbouillage noir sur les
neiges ?
LE CAP. G. — Une tempête de neige, là-bas, à quarante milles.
Vous allez la voir se déplacer au fur et à mesure que le vent la
charrie sur les flancs de ce contrefort, et puis, plus rien.
MRS. G. — Et puis, plus rien. (Elle frissonne.)
LE CAP. G. (anxieusement). — Vous ne vous refroidissez pas,
petite, n’est-ce pas ? Il vaut mieux me laisser aller chercher votre
manteau.
MRS. G. — Non. Ne me quittez pas, Phil. Restez ici. Je crois que
j’ai peur. Oh ! pourquoi les montagnes sont-elles si effroyables ? Phil,
promettez-moi, promettez-moi que vous m’aimerez toujours.
LE CAP. G. — Qu’est-ce qu’il y a donc, chérie ? Je ne peux
promettre plus que je n’ai fait ; mais je ne cesserai de le promettre
encore et encore si vous voulez.
MRS. G. (la tête sur l’épaule de son mari). — Dites-le donc…
dites-le. N-non… ne le dites pas ! Les… les… aigles riraient. (Se
remettant.) Mon mari, vous avez épousé une petite oie.
LE CAP. G. (très tendrement). — Vraiment ? Je me contente de ce
qu’elle est, tant qu’elle est à moi.
MRS. G. (promptement). — Parce qu’elle est à vous ou parce
qu’elle est moi en personne ?
LE CAP. G. — Parce qu’elle est l’un et l’autre. (Piteusement.) Je ne
suis pas très fort, ma chère amie, et je ne crois pas pouvoir me faire
comprendre convenablement.
MRS. G. — Je comprends. Pip, voulez-vous me dire quelque
chose ?
LE CAP. G. — Tout ce que vous voudrez. (A part.) Je me demande
ce qui va venir maintenant.
MRS. G. (hésitante, les yeux baissés). — Vous m’avez raconté une
fois, dans le temps jadis — il y a des siècles et des siècles — que
vous aviez été fiancé déjà auparavant. Je n’ai rien dit… alors.
LE CAP. G. (naïvement). — Pourquoi cela ?
MRS. G. (levant les yeux sur ceux de son mari). — Parce que —
parce que j’avais peur de vous perdre, mon cœur. Mais maintenant…
racontez-le… s’il vous plaît.
LE CAP. G. — Il n’y a rien à raconter. J’étais alors terriblement
vieux — presque vingt-deux ans — et elle avait au moins cela.
MRS. G. — Ce qui veut dire qu’elle était plus vieille que vous. Je
n’aimerais pas qu’elle eût été plus jeune. Eh bien ?
LE CAP. G. — Eh bien ! je me crus amoureux et en raffolai quelque
peu, et… oh ! oui, ma parole, je me livrai à la poésie. Ha, ha !
MRS. G. — Vous n’avez pas écrit un vers pour moi ! Qu’est-ce qui
se passa ?
LE CAP. G. — Je m’en vins par ici, et toute l’affaire s’en alla en
fumée. Elle écrivit pour dire qu’il y avait eu malentendu, et puis elle
se maria.
MRS. G. — Vous aimait-elle beaucoup ?
LE CAP. G. — Non. Au moins elle ne le laissa pas voir, autant que
je me rappelle.
MRS. G. — Autant que vous vous rappelez ! Vous rappelez-vous
son nom ? (Elle l’écoute et baisse la tête.) Merci, mon mari.
LE CAP. G. — Qui, si ce n’est vous, en avait le droit ? Maintenant,
Petit Poidsléger, vous êtes-vous jamais trouvée mêlée à quelque
sombre et horrible drame ?
MRS. G. — Si vous m’appelez missis Gadsby, peut-être vous le
raconterai-je.
LE CAP. G. (prenant sa voix de commandement). — Missis
Gadsby, confessez !
MRS. G. — Juste Ciel, Phil ! Je n’eusse jamais cru que vous
pouviez prendre cette terrible voix.
LE CAP. G. — Vous ne connaissez pas encore le quart de mes
talents. Attendez que nous soyons installés dans les plaines, et je
vous montrerai comment j’aboie après mes hommes. Vous alliez
dire, chérie ?
MRS. G. — Je… n’ose guère continuer, après cette voix-là.
(Chevrotant.) Phil, n’ayez jamais l’audace de me parler sur ce ton-là,
quoi que je puisse faire !
LE CAP. G. — Mon pauvre petit amour ! Mais vous tremblez toute.
Je suis si fâché. Il va sans dire que je n’ai jamais eu l’intention de
vous bouleverser. Ne me racontez rien. Je suis une brute.
MRS. G. — Non, vous n’êtes pas une brute, et je vais vous
raconter… Il y eut un homme.
LE CAP. G. (gaiement). — Y eut-il ? L’heureux mortel !
MRS. G. (tout bas). — Et je crus que je l’aimais.
LE CAP. G. — Mortel deux fois heureux ! Eh bien ?
MRS. G. — Et je crus que je l’aimais… et je ne l’aimais pas… et
alors vous êtes venu… et c’était vous que j’aimais, beaucoup,
beaucoup. Oui, vraiment. C’est tout. (Face voilée.) Vous n’êtes pas
fâché, n’est-ce pas ?
LE CAP. G. — Fâché ? Pas le moins du monde. (A part.) Bon Dieu,
qu’ai-je fait pour mériter cet ange ?
MRS. G.(à part). — Et il ne m’a même pas demandé le nom !
Comme les hommes sont drôles ! Mais c’est peut-être aussi bien.
LE CAP. G. — Cet homme ira au ciel parce que jadis vous avez cru
l’aimer. Je me demande si, moi, vous me remorquerez jamais là-
haut ?
MRS. G. (fermement). — Je n’irai pas si vous n’y allez pas.
LE CAP. G. — Merci. Dites-moi, Chaton, je ne connais pas
beaucoup vos croyances religieuses. Vous avez été élevée à croire en
un ciel et tout cela, n’est-ce pas ?
MRS. G. — Oui. Mais c’était un ciel capitonné, avec des livres
d’hymnes dans tous les bancs.
LE CAP. G. (branlant la tête avec une conviction intense). — Qu’à
cela ne tienne. Il y en a un de vrai, un ciel.
MRS. G. — D’où apportez-vous ce message, mon prophète ?
LE CAP. G. — D’ici ! Parce que nous nous aimons tous deux. De
sorte que tout va bien.
MRS. G. (tandis qu’une troupe de langurs [22] mène fracas à
travers les branches). — De sorte que tout va bien. Mais Darwin dit
que nous descendons de ces animaux-là !
[22] Espèce de singes qui pullulent dans l’Inde.
LE CAP. G. (avec sérénité). — Ah ! Darwin ne fut jamais amoureux

d’un ange. Voilà qui règle la question. Sstt, espèces de brutes ! Des
singes, vraiment ! Vous ne devriez pas lire ces livres-là.
MRS. G. (se croisant les mains). — S’il plaît à mon seigneur et
maître de publier sa proclamation.
LE CAP. G. — Taisez-vous, chère amie. Il n’y a pas d’ordres entre
nous. Seulement, j’aimerais mieux que vous ne les lisiez pas. Ils ne
conduisent à rien et cassent la tête aux gens.
MRS. G. — Comme vos premières fiançailles.
LE CAP. (avec un calme immense). — C’était un mal
G.
nécessaire, et qui m’a conduit à vous. N’êtes-vous rien ?
MRS. G. — Pas tant que cela, n’est-ce pas ?
LE CAP. G. — Tout ce monde-ci et l’autre pour moi.
MRS. G. (très tendrement). — Mon cher, cher petit mari ! A mon
tour vous dirai-je quelque chose ?
LE CAP. G. — Oui, si ce n’est pas terrible… au sujet des autres
hommes.
MRS. G. — C’est au sujet de ma propre vilaine petite personne.
LE CAP. G. — Alors, ce doit être charmant. Allez, ma chère amie.
MRS. G. (lentement). — Je ne sais pas pourquoi je vous le dis,
Pip, mais si jamais vous vous remariiez… (Intermède.) Enlevez votre
main de ma bouche ou je mords ! Dans l’avenir, donc, rappelez-
vous… je ne sais pas trop comment dire cela !
LE CAP. G. (reniflant avec indignation). — N’essayez pas. « Me
remarier », vraiment !
MRS. G. — Je dois. Écoutez, mon mari. Jamais, jamais, jamais ne
dites à votre femme quoi que ce soit que vous ne vouliez pas qu’elle
se rappelle ni qui fasse l’objet de ses pensées toute sa vie. Parce
qu’une femme — oui, je suis une femme — ne peut pas oublier.
LE CAP. G. — Ma parole, comment savez-vous cela ?
MRS. G. (avec confusion). — Je ne le sais pas. Je ne fais que le
deviner. Je suis — j’étais — une sotte petite fille ; mais je sens que
j’en sais tant — oh ! tellement plus que vous, mon bien aimé ! Pour
commencer, je suis votre femme.
LE CAP. G. — C’est ce que j’ai été induit à croire.
MRS. G. — Et j’aurai besoin de connaître chacun de vos secrets…
de partager avec vous tout ce que vous savez.
Elle ouvre les yeux autour d’elle d’un air désespéré.
LE CAP. G. — C’est ce que vous ferez, mon amie, c’est ce que
vous ferez… mais ne regardez pas comme cela.
MRS. G. — Dans votre propre intérêt, ne m’arrêtez pas, Phil. Je ne
recommencerai jamais une conversation de ce genre avec vous. Il ne
faut pas me dire ! Du moins, pas maintenant. Plus tard, quand je
serai une vieille dame, cela ne fera rien ; mais si vous m’aimez,
montrez-vous bon, très bon pour moi ; car cette heure de ma vie,
jamais je ne l’oublierai ! Vous ai-je fait comprendre ?
LE CAP. G. — Je le crois, enfant. Ai-je rien dit encore que vous
désapprouviez ?
MRS. G. — Serez-vous très fâché ? Cette… cette voix, et ce que
vous avez dit à propos de l’engagement…
LE CAP. G. — Mais c’est vous qui avez demandé qu’on vous le
raconte, chérie.
MRS. G. — Et c’est pourquoi vous n’auriez pas dû me le raconter !
Vous devez être le juge, et, oh ! Pip, malgré tout mon amour pour
vous, je ne serai jamais capable de vous aider ! Je ne ferai que vous
empêcher, et il vous faut juger en dépit de moi !
LE CAP. G. (d’un air méditatif). — Nous avons un grand nombre
de choses à découvrir ensemble, Dieu nous vienne en aide à tous
deux — répétez-le, chaton — mais nous nous comprendrons l’un
l’autre de mieux en mieux chaque jour ; et je crois que je commence
à voir, maintenant. Comment, diable, êtes-vous arrivée à savoir
l’importance au juste qu’il y avait à me donner justement cette
inspiration-là ?
MRS. G. — Je vous ai dit que je ne sais pas. Seulement, de
manière ou d’autre, il semblait que, dans toute cette nouvelle vie,
j’étais guidée pour votre salut aussi bien que pour le mien.
LE CAP. G. (à part). — Alors, Mafflin avait raison ! Elles savent, et
nous… nous sommes aveugles… tous. (Gaiement.) Il me semble que
nous perdons un peu pied, ma chère amie, ne trouvez-vous pas ? Je
me rappellerai, et si je viens à faillir, puissé-je être châtié comme je
le mérite.
MRS. G. — Il n’y aura pas de châtiment. C’est d’ici que nous
allons faire voile pour la vie… vous et moi… et personne autre.
LE CAP. G. — Et personne autre. (Une pause.) Vous avez les cils
tout mouillés, ma jolie ! Vit-on jamais si absurde petite fille ?
MRS. G. — Entendit-on jamais dire de telles bêtises ?
LE CAP. G.(secouant les cendres de sa pipe). — Ce n’est pas ce
que nous disons, c’est ce que nous ne disons pas, qui est utile. Et
tout ce que nous avons dit est profonde philosophie. Mais personne
ne comprendrait… même si on le mettait dans un livre.
— Quelle idée ! Non… rien que nous autres, ou les gens
MRS. G.
comme nous… s’il y a des gens comme nous.
(d’un ton doctoral). — Tous les gens, qui ne sont pas
LE CAP. G.
comme nous, sont d’aveugles idiots.
MRS. G. (s’essuyant les yeux). — Croyez-vous, alors, qu’il existe
des gens aussi heureux que nous ?
LE CAP. G. — Il doit en exister — à moins que nous ne nous
soyons approprié tout le bonheur du monde.
MRS. G. (regardant vers Simla). — Les pauvres gens ! Si c’était
vrai, tout de même !
LE CAP. G. — Eh bien, dans ce cas, gardons tout le fourbi pour
nous, car c’est trop chouette pour le perdre… hein, petite femme à
moi ?
MRS. G. — Oh ! Pip ! Pip ! Jusqu’à quel point êtes-vous un homme
grave et marié, et jusqu’à quel point un horrible gavroche ?
LE CAP. G. — Quand vous me direz jusqu’à quel point vous aviez
dix-huit ans à votre dernier anniversaire, et jusqu’à quel point vous
êtes aussi vieille que le sphinx et deux fois aussi mystérieuse, peut-
être vous écouterai-je. Prêtez-moi ce banjo. La nature m’incite à
hurler au coucher du soleil.
MRS. G. — Faites attention ! Il n’est pas accordé. Ah ! cela fait
mal !
LE CAP. G. (tournant les chevilles). — C’est étonnamment difficile
de garder un banjo au diapason convenable.
MRS. G. — C’est la même chose avec tous les instruments de
musique. Qu’est-ce que cela va être ?
LE CAP. G. — « Vanité », et que les montagnes entendent. (Il
chante d’un bout à l’autre le premier couplet et la moitié du second.
Se tournant vers MRS. G. ) Maintenant, le chœur ! Chantez, chaton !
TOUS DEUX ENSEMBLE. (Con brio, à l’horreur des singes, lesquels
sont en train de s’installer pour la nuit.)
« Vanité, tout est vanité, »

Disait la Sagesse railleuse…
Sur quoi, pressant de ma Beauté
La main délicate et moelleuse,
Répondis : « Si c’est vanité,
Qui donc s’en irait être sage ?
Qui donc s’en irait être sage ?
Qui donc s’en irait être sa-age ?
(Crescendo)
Non, restons sur la vanité ! »
MRS. G. (d’un air de défi au gris du ciel crépusculaire). —

« Restons sur la vanité. »
L’ÉCHO (du contrefort du Fagoo). — Vanité !
MADAME BARBE-BLEUE
Ouvrez tout, allez partout ; mais pour

ce petit cabinet, je vous défends d’y
entrer.
La Barbe-Bleue.
DÉCOR. — Le bungalow des GADSBY dans les plaines. Un dimanche

matin, onze heures. LE CAPITAINE GADSBY , en manches de
chemise, est penché sur un harnachement complet de hussard,
depuis la selle jusqu’à la corde de bivouac, lequel est proprement
rangé sur le plancher de son cabinet. Il fume une vieille
bouffarde de bruyère, et la pensée lui ride le front.
LE CAP. G. (à lui-même, en maniant une têtière). — Jack est un

âne. Il y a du cuivre là-dessus de quoi charger une mule — et si les
Américains connaissent rien à rien, on peut faire tout sauter, sauf le
mors. Pas besoin non plus du licol d’abreuvoir. De la blague ! — Une
demi-douzaine de parures de chaînes et de porte-mousqueton pour
un seul cheval ! Absurde ! (Se grattant la tête.) Voyons, réfléchissons
à tout, en prenant les choses au commencement. Ma parole, j’ai
oublié le barême des poids ! N’importe. Garderons le mors
seulement, et éliminerons tous les cuivres, depuis la croupière
jusqu’au poitrail. Pas de poitrail du tout. Une simple courroie…
comme les Russes. Hi ! Jack n’aurait jamais pensé à cela !
MRS. G. (entrant précipitamment, la main bandée). — Oh ! Pip, je
me suis brûlé la main avec ces horribles, horribles confitures de
Tiparee !
LE CAP. G. (d’un air absent). — Hein ! Quo-oi ?
MRS. G. (l’œil tout grand de reproche). — Je me suis brûlée af-
freusement ! Cela ne vous fait rien ? Et moi qui tenais tant à ce que
ces confitures confiturent comme il faut !
LE CAP. G. — Pauvre petite femme ! Laissez-moi embrasser la
place et qu’il n’y paraisse plus. (Déroulant le bandage.) Petite
farceuse ! Où est-elle, cette brûlure ? Je ne la vois pas.
MRS. G. — Au bout du petit doigt. Là !… C’est une grosse, grosse
brûlure !
LE CAP. G. (baisant le petit doigt). — Bébé ! Laissez Hyder veiller
aux confitures. Vous savez que je ne tiens pas aux chatteries.
MRS. G. — Vrai-ment ?… Pip !
LE CAP. G. — Pas de ce genre en tout cas. Et maintenant, sauvez-
vous, Minnie, et laissez-moi à mes bas calculs. Je suis occupé.
MRS. G. (s’installant avec calme sur une chaise longue). — Je le
vois. Quel gâchis vous faites ! Pourquoi avez-vous apporté toutes ces
machines en cuir qui empestent la maison ?
LE CAP. G. — Pour faire joujou. Est-ce que cela vous ennuie, ma
chère ?
MRS. G. — Laissez-moi faire joujou aussi. Cela me ferait plaisir.
LE CAP. G. — Je crains que non, chaton… Ne pensez-vous pas que
ces confitures vont brûler, ou quoi que ce soit que font les confitures
lorsqu’une adroite petite femme de ménage ne les surveille pas ?
MRS. G. — Je croyais vous avoir entendu dire que Hyder pouvait
s’en occuper. Je l’ai laissé dans la verandah, en train de les remuer…
quand je me suis fait tant de mal.
LE CAP. G. (l’œil revenant au harnachement). — Po-oovre petite
femme !… Trois livres quatre onces et sept onces font trois livres
onze onces, et on peut réduire cela à deux livres huit onces, rien
qu’avec un peuu-tit peu de soin, sans rien affaiblir. La ferrure, c’est
de la blague dans des mains incompétentes. Quel besoin d’une
poche à fers quand un homme s’en va en éclaireur ? Il ne peut pas le
coller d’un coup de langue… comme un timbre-poste… ce fer !
Balivernes !
MRS. G. — Qu’est-ce qui est des balivernes ? Puhh ! Avec quoi
nettoie-t-on ce cuir ?
LE CAP. G. — Avec de la crème, du champagne et… Écoutez,
chère amie, avez-vous vraiment besoin de me parler à propos de
quelque chose d’important ?
MRS. G. — Non. J’ai fini mes comptes, et je pensais que cela
m’amuserait de voir ce que vous faisiez.
LE CAP. G. — Eh bien, amour, maintenant vous avez vu et… cela
ne vous ferait-il rien ?… c’est-à-dire… Minnie, je suis vraiment
occupé.
MRS. G. — Vous voulez que je m’en aille ?
LE CAP. G. — Oui, chère amie, pour un petit moment. Ce tabac va
coller à votre robe, et des affaires de sellerie ne vous intéressent
pas.
MRS. G. — Tout ce que vous faites m’intéresse, Pip.
LE CAP. G. — Oui, je le sais, je le sais, chère amie. Je vous dirai
tout ce qui concerne cela à quelque jour, lorsque j’aurai tiré la chose
au clair. En attendant…
MRS. G. — On va me renvoyer de la pièce comme un enfant
ennuyeux ?
LE CAP. G. — No-on. Ce n’est pas exactement cela que je veux
dire. Mais, vous comprenez, je vais être là à piétiner de côté et
d’autre, à changer ces choses de place en place, et je serai toujours
à vous gêner. Ne croyez-vous pas ?
MRS. G. — Est-ce que je ne peux pas le faire ? Laissez-moi
essayer.
Elle étend la main vers la selle de cavalier.
LE CAP. G. — Bonté divine, enfant, pas touche ! Vous allez vous
faire du mal. (Ramassant la selle.) Les numdahs ne sont pas faits
pour se voir maniés par des petites filles. Voyons, où voulez-vous
que je le mette ?
Il tient la selle levée au-dessus de sa tête.
MRS. G. (la voix altérée). — Nulle part. Pip, comme vous êtes
bon… et fort ! Oh ! qu’est-ce que c’est que cette vilaine barre rouge à
l’intérieur de votre bras ?
LE CAP. G. (baissant vivement la selle). — Rien. C’est une marque
quelconque. (A part.) Et Jack qui vient à l’heure du tiffin [23] avec
ses idées toutes faites !
[23] Second déjeuner, dans l’Inde.
MRS. G. — Je sais bien que c’est une marque, mais je ne l’avais

pas vue encore. Elle court tout du long du bras. Qu’est-ce que c’est ?
LE CAP. G. — Une coupure… si vous voulez savoir.
MRS. G. — Si je veux savoir ! Naturellement que je le veux ! Je ne
tiens pas à voir mon mari taillé en morceaux de cette façon-là.
Comment est-ce arrivé ? Est-ce un accident ? Racontez-moi, Pip.
LE CAP. G. (d’un air renfrogné). — Non, ce n’est pas un accident.
J’ai reçu cela… d’un homme… en Afghanistan.
MRS. G. — A la guerre ? Oh ! Pip, et vous ne me l’avez jamais dit !
LE CAP. G. — Je l’avais complètement oublié.
MRS. G. — Tenez votre bras en l’air ! Quelle horrible, vilaine
cicatrice ? Êtes-vous sûr que cela ne fait plus de mal maintenant ?
Comment cet homme vous a-t-il fait cela ?
LE CAP. G. (regardant d’un air désespéré à sa montre). — Avec un
coutelas. Je suis tombé… le vieux Van Loo plutôt… qui me tomba sur
la jambe, de sorte que je ne pouvais pas me sauver. Et alors cet
homme s’en vint et se mit en devoir de me tailler en tranches
pendant que j’étais les quatre fers en l’air.
MRS. G. — Oh ! taisez-vous ! C’est assez !… Eh bien, qu’arriva-t-il ?
LE CAP. G. — Je ne pouvais atteindre à ma fonte, et c’est alors
que Mafflin arriva fort à propos pour mettre fin à la petite fête.
MRS. G. — Comment ? Un paresseux comme lui ; je ne crois pas
cela.
LE CAP. G. — Non ? Je ne pense pas que l’homme eut beaucoup
de doute à cet égard. Jack lui trancha la tête.
MRS. G. — Tran-cha-la-tête ! « D’un seul coup », comme on dit
dans les livres ?
LE CAP. G. — Je ne suis pas sûr. J’étais trop intéressé à moi-même
pour en savoir long à ce propos. N’importe comment, la tête était
tranchée, et Jack donnait au vieux Van Loo des coups de poing dans
les côtes pour le faire se lever. Maintenant vous savez tout, chère
amie, et maintenant…
MRS. G. — Vous voulez que je m’en aille, naturellement. Vous ne
m’aviez jamais parlé de cela, quoique nous soyons déjà depuis si
longtemps mariés ; vous ne me l’eussiez jamais dit si je n’avais pas
découvert la chose ; vous ne me dites jamais quoi que ce soit sur
vous, ou ce que vous faites, et ce qui vous intéresse.
LE CAP. G. — Chérie, je suis toujours avec vous, dites-moi ?
MRS. G. — Toujours dans mes jupes, alliez-vous dire. Je sais que
vous y êtes ; mais votre pensée est toujours ailleurs.
LE CAP. G. (essayant de dissimuler un sourire). — Vraiment ? Je
ne m’en doutais pas. Je suis horriblement fâché.
MRS. G. (piteusement). — Oh ! ne vous moquez pas de moi ! Pip,
vous savez ce que je veux dire. Quand vous lisez une de ces choses
sur la cavalerie, par cet idiot de prince… Pourquoi ne reste-t-il pas
prince, celui-là, au lieu de faire le garçon d’écurie ?
LE CAP. G. — Le prince Kraft, un garçon d’écurie !… Oh ! ma
mère ! Ne faites pas attention, chère amie. Vous alliez dire ?
MRS. G. — Peu importe ; vous ne vous inquiétez pas de ce que je
dis. Seulement… seulement vous vous levez pour arpenter la pièce,
en regardant devant vous, et alors Mafflin arrive pour dîner, et une
fois que je suis dans le salon, je vous entends, vous et lui, causer,
causer, causer, de choses que je ne peux pas comprendre, et… oh !
je deviens si lasse et me sens si seule !… Je ne cherche pas à me
plaindre ni à être un sujet d’ennui, Pip ; mais c’est comme cela… oui,
c’est comme cela !
LE CAP. G. — Ma pauvre chérie ! Je n’y ai jamais pensé. Pourquoi
n’invitez-vous pas à dîner quelques gens agréables ?
MRS. G. — Des gens agréables ! Où donc les trouver ? D’horribles
toupies ! Et si je le faisais, cela ne m’amuserait pas. Vous savez que
je ne veux que vous.
LE CAP. G. — Et vous m’avez à coup sûr, amour ?
MRS. G. — Je ne vous ai pas ! Pip, pourquoi ne me faites-vous pas
entrer dans votre existence ?
LE CAP. G. — Plus que je ne fais ? Ce serait difficile, chère amie.
MRS. G. — Oui, je le suppose… à vos yeux. Je ne vous suis
d’aucune aide… nullement un compagnon ; et vous aimez mieux qu’il
en soit ainsi.
LE CAP. G. — N’êtes-vous pas quelque peu déraisonnable,
chaton ?
MRS. G. (frappant du pied). — Je suis la femme la plus
raisonnable du monde… lorsqu’on me traite d’une façon convenable.
LE CAP. G. — Et depuis quand vous ai-je traitée d’une façon qui
ne fût pas convenable ?
MRS. G. — Toujours… et depuis le commencement. Vous le savez
bien.
LE CAP. G. — Non, je ne le sais pas ; mais je ne demande qu’à
être convaincu.
MRS. G. (désignant le harnachement). — Là !
LE CAP. G. — Que voulez-vous dire ?
MRS. G. — Qu’est-ce que tout cela veut dire ? Pourquoi ne m’en
parle-t-on pas ? Est-ce si précieux ?
LE CAP. G. — J’oublie sa valeur exacte pour le gouvernement
quant à présent. Ce que cela veut dire, c’est ce que c’est beaucoup
trop lourd.
MRS. G. — Alors pourquoi y toucher ?
LE CAP. G. — Pour le rendre plus léger. Écoutez-moi, petit amour,
j’ai une idée et Jack en a une autre, mais nous sommes tous deux
d’accord que tout ce harnachement est d’environ trente livres trop
lourd. La question est de savoir comment le réduire sans en affaiblir
aucune partie, et en même temps comment permettre au cavalier de
porter tout ce dont il a besoin pour son propre confort —
chaussettes, chemises et choses de ce genre.
MRS. G. — Pourquoi ne les emballe-t-il pas dans une petite
malle ?
LE CAP. G. (l’embrassant). — Oh ! petit ange ! Les emballer dans
une petite malle, vraiment ! Les housards ne trimbalent pas de
malles, et c’est une chose on ne peut plus importante que de faire
opérer au cheval tout le transport.
MRS. G. — Mais pourquoi avez-vous besoin, vous, de vous
tracasser à ce sujet ? Vous n’êtes pas un simple cavalier.
LE CAP. G. — Non ; mais je commande à quelques douzaines
d’entre eux ; et le harnachement est presque tout, à l’heure qu’il est.
MRS. G. — Plus que moi ?
LE CAP. G. — Petite sotte ! Naturellement non ; mais c’est une
affaire dans laquelle je suis terriblement intéressé, attendu que si
moi ou Jack, ou moi et Jack, venons à bout de quelque espèce de
selle plus légère et tout cela, il est possible que nous arrivions à la
faire adopter.
MRS. G. — Comment ?
LE CAP. G. — Sanctionner en Angleterre, où l’on fera un modèle
poinçonné, un modèle que tous les selliers doivent copier ; et de la
sorte, elle sera employée par tous les régiments.
MRS. G. — Et cela vous intéresse ?
LE CAP. G. — Cela fait partie de ma profession, vous savez, et ma
profession est beaucoup pour moi. Tout, dans l’équipement d’un
soldat, est important, et si nous pouvons l’améliorer, cet équipement,
tant mieux pour le soldat et pour nous.
MRS. G. — Qui « nous » ?
LE CAP. G. — Jack et moi ; seulement les idées de Jack sont trop
radicales. Pour quel motif ce gros soupir, Minnie ?
MRS. G. — Oh ! rien… Et vous avez fait de tout cela un secret
pour moi ?
LE CAP. G. — Pas un secret, exactement, ma chère amie. Je ne
vous en ai rien dit parce que je ne pensais pas que cela vous
amuserait.
MRS. G. — Et suis-je faite seulement pour qu’on m’amuse ?
LE CAP. G. — Non, naturellement. Je veux dire simplement que
cela ne pouvait pas vous intéresser.
MRS. G. — C’est votre travail et… et si vous vouliez me le
permettre, je ferais tous les calculs. Si ces choses sont trop lourdes,
vous savez de combien, et il vous faut avoir une liste de choses
dressée d’avance pour arriver à l’allègement souhaité, et…
LE CAP. G. — J’ai bien mes deux listes de comparaison quelque
part dans la tête ; mais il est difficile de dire la légèreté que l’on peut
donner à une têtière, par exemple, avant d’en avoir fait faire
vraiment un modèle.
MRS. G. — Mais si vous lisiez tout haut la liste, je pourrais l’écrire
sous votre dictée, et l’épingler là en face, juste au-dessus de votre
table. Cela ne ferait-il pas l’affaire ?
LE CAP. G. — Ce serait tout ce qu’il y a de plus charmant, chère
amie, mais ce serait aussi vous donner de l’ennui pour rien. Je ne
peux pas travailler de cette manière-là. Je fais cela à vue de nez. Je
connais l’échelle de poids actuelle, et l’autre — celle à laquelle je
tâche de travailler — montera et descendra au point que je ne
pourrais être certain, même si je la couchais par écrit.
MRS. G. — Je suis si désolée. Je pensais que je pourrais vous
aider. N’y a-t-il rien autre en quoi je pourrais être utile ?
LE CAP. G. (faisant du regard le tour de la pièce). — Je ne vois
rien. Vous êtes pour moi d’une aide constante, vous savez.
MRS. G. — Oui ? Comment ?
LE CAP. G. — Vous êtes vous, naturellement, et tant que vous
êtes près de moi… je ne saurais expliquer exactement… mais c’est
dans l’air.
MRS. G. — Et c’est pourquoi vous vouliez me renvoyer ?
LE CAP. G. — C’est seulement quand j’essaie de faire du travail…
du travail de manœuvre comme ceci.
MRS. G. — Mafflin est préférable, alors, n’est-ce pas ?
LE CAP. G. (sans réfléchir). — Naturellement oui. Jack et moi
avons passé deux ou trois années penchés sur le même sillon à
propos de ce harnachement. C’est notre dada, et cela peut, à
quelque jour, rendre de réels services.
MRS. G. (après une pause). — Et c’est tout ce dont vous me tenez
écartée ?
LE CAP. G. — Vous n’en êtes pas très écartée maintenant. Prenez
garde que l’huile de ce mors ne passe sur votre robe.
MRS. G. — Je voudrais… je voudrais tant pouvoir effectivement
vous aider. Je crois que je le pourrais… en quittant cette pièce. Mais
ce n’est pas cela que je veux dire.
LE CAP. G. (à part). — Que Dieu m’accorde patience ! Je voudrais
qu’elle s’en aille. (Haut.) Je vous assure que vous ne pouvez rien
pour moi, Minnie, et il faut absolument que je m’y mette. Où est ma
blague ?
MRS. G. (se dirigeant vers la table à écrire). — La voilà, ours.
Dans quel gâchis vous tenez votre table !
LE CAP. G. — N’y touchez pas. Il y a de l’ordre dans mon
désordre, aussi étrange que cela puisse vous paraître.
MRS. G. (à la table). — Je veux voir… Est-ce que vous tenez des
comptes, Pip ?
LE CAP. G. (se penchant sur le harnachement). — Si vous voulez.
Êtes-vous en train de ravager dans les papiers de service ? Faites
attention.
MRS. G. — Pourquoi ? Je ne vais rien déranger. Bonté divine ! Je
n’avais pas idée que vous eussiez quoi que ce soit à faire avec tant
de chevaux malades.
LE CAP. G. — Je voudrais bien qu’il en soit autrement, mais ils
insistent pour tomber malades. Minnie, à votre place, je ne mettrais
vraiment pas le nez dans ces papiers-là. Il se peut que vous tombiez
sur quelque chose qui ne vous plaise pas.
MRS. G. — Pourquoi voulez-vous toujours me traiter en enfant ?
Je sais que je ne dérange rien de toutes ces sales choses-là.
LE CAP. G. (avec résignation). — Très bien ; alors, ne m’accusez
pas s’il vous arrive quoi que ce soit. Amusez-vous avec la table et
laissez-moi continuer avec le harnachement. (Glissant la main dans
la poche de son pantalon.) Oh ! diable !
MRS. G. (le dos tourné). — Pourquoi cela ?
LE CAP. G. — Rien. (A part.) Cela ne dit pas grand’chose, mais je
voudrais bien l’avoir déchiré.
MRS. G. (examinant tout ce qu’il y a sur la table). — Je sais que
je vais me faire détester par vous, mais je veux voir à quoi cela
ressemble, votre travail. (Une pause.) Pip, qu’est-ce que c’est que
des « boutons de farcin » ?
LE CAP. G. — Ha ! Vous voulez vraiment savoir ? Ce n’est rien de
joli.
MRS. G. — Ce Journal de Science Vétérinaire déclare que c’est
d’un « intérêt palpitant ». Expliquez-moi.
LE CAP. G. (à part). — Il se peut que cela détourne son attention.
Il donne une description longue, et dégoûtante à
dessein, de la morve et du farcin.
MRS. G. — Oh ! cela suffit. Ne poursuivez pas !
LE CAP. G.— Mais vous vouliez savoir… Alors ces machines-là
suppurent, coulent et se propagent…
MRS. G. — Pip, vous me faites mal au cœur ! Vous n’êtes qu’un
horrible et dégoûtant écolier.
LE CAP. G. (à genoux parmi les brides). — C’est vous qui me
l’avez demandé. Ce n’est pas ma faute si vous êtes là à me tracasser
pour vous raconter des horreurs.
MRS. G. — Pourquoi n’avez-vous pas dit non ?
LE CAP. G. — Juste Ciel, enfant ! Êtes-vous venue ici simplement
pour me tyranniser ?
MRS. G. — Moi, vous tyranniser ? Comment le pourrais-je. Vous
êtes si fort. (A deux doigts d’une crise.) Assez fort pour me prendre
dans vos bras et me mettre à la porte pour m’y laisser pleurer, n’est-
ce pas ?
LE CAP. G. — Il me semble que vous êtes un petit bébé
déraisonnable. Allez-vous tout à fait bien ?
MRS. G. — Est-ce que j’ai l’air malade ? (Retournant à la table.)
Qui est cette amie à la grande enveloppe grise avec le gros
monogramme dessus ?
LE CAP. G. (à part). — Ce n’était donc pas sous clef,
saperlipopette ! (Haut.) « Dieu l’a faite, qu’elle passe donc pour une
femme [24] . » Vous vous rappelez ce que c’est que les boutons de
farcin ?
[24] Shakespeare. Le Marchand de Venise.
MRS. G. (montrant l’enveloppe). — Ceci n’a rien à faire avec eux.

Je vais l’ouvrir. Le puis-je ?
LE CAP. G. — Certainement, si vous y tenez. Je préférerais que
non, cependant. Je ne demande pas à voir vos lettres à la petite
Deercourt.
MRS. G. — Vous faites aussi bien, monsieur. (Elle tire la lettre de
l’enveloppe.) Maintenant, puis-je regarder ? Si vous dites non, je vais
pleurer.
LE CAP. G. — Vous n’avez jamais pleuré à ma connaissance, et je
ne crois pas que vous le puissiez.
MRS. G. — Je m’en sens tout près aujourd’hui, Pip. Ne soyez pas
dur avec moi. (Elle lit la lettre.) Cela commence au milieu, sans
« Cher capitaine Gadsby », ou quoi que ce soit. Comme c’est drôle !
LE CAP. G. (à part). — Non, ce n’est pas « Cher capitaine
Gadsby », ou quoi que ce soit, maintenant. Comme c’est drôle !
MRS. G. — Quelle étrange lettre ! (Elle lit.) « Ainsi, le papillon a
fini par s’approcher trop près de la chandelle, et s’est vu passer de la
flamme dans la… dirai-je respectabilité ? Je le félicite, et j’espère qu’il
aura tout le bonheur qu’il mérite. » Qu’est-ce que cela veut dire ?
Vous félicite-t-elle à propos de notre mariage ?
LE CAP. G. — Oui, je le suppose.
MRS. G. (lisant toujours la lettre). — On dirait que c’est une de
vos amies particulières.
LE CAP. G. — Oui. C’était une excellente brave dame… une Mrs.
Herriott… femme d’un certain colonel Herriott. J’ai connu quelques-
uns de ses parents au pays, il y a de cela longtemps… avant de venir
par ici.
MRS. G. — Il y a des femmes de colonel qui sont jeunes… aussi
jeunes que moi. J’en ai connu une qui était plus jeune.
LE CAP. G. — Alors, ce ne pouvait être Mrs. Herriott. Elle était
assez âgée pour être votre mère, ma chère amie.
MRS. G. — Je me rappelle maintenant. Mrs. Scargill parlait d’elle
au tennis chez les Duffin, avant que vous ne veniez me chercher,
mardi. Le capitaine Mafflin disait que c’était une « bonne vieille
dame ». Savez-vous, je crois que Mafflin est très maladroit de ses
pieds.
LE CAP. G. (à part). — Ce brave Jack ! (Haut.) Pourquoi, chère
amie ?
MRS. G. — Il avait posé sa tasse à terre, et il a littéralement
marché dedans. J’ai eu ma robe toute éclaboussée de thé… la grise.
Je voulais vous le dire déjà auparavant.
LE CAP. G. (à part). — Il y a en Jack l’étoffe d’un stratégiste, bien
qu’il emploie des moyens un peu rudes. (Haut.) Vous ferez bien de
faire faire une nouvelle robe, alors. (A part.) Prions pour que cela
détourne son attention.
MRS. G. — Oh ! elle n’est pas tachée le moins du monde. Je
croyais seulement devoir vous le dire. (Revenant à la lettre.) Quelle
extraordinaire personne ! (Elle lit.) « Mais ai-je besoin de vous
rappeler que vous avez assumé une charge de tutelle » — qu’est-ce
que cela peut bien être, qu’une charge de tutelle ? — « qui, vous le
savez vous-même, peut aboutir à des Conséquences… »
LE CAP. G. (à part). — C’est le plus sûr de les laisser voir tout au
fur et à mesure qu’elles mettent le nez dessus ; mais il me semble
qu’il y a des exceptions à la règle. (Haut.) Je vous ai dit qu’il n’y
avait rien à tirer de bon du fait de remettre de l’ordre sur ma table.
MRS. G. (d’un air absent). — Que veut dire cette femme ? Elle
continue de parler de Conséquences — de « presque inévitables
Conséquences » avec un grand C — pendant une demi-page.
(Devenant écarlate.) Oh ! bonté divine ! Mais c’est abominable !
LE CAP. G. (promptement). — Croyez-vous ? Cela ne montre-t-il
pas une sorte d’intérêt maternel à notre égard ? (A part.) Dieu merci,
Harrie enveloppait toujours prudemment ce qu’elle voulait dire !
(Haut.) Est-il absolument nécessaire de continuer la lettre, ma
chérie ?
MRS. G. — C’est de l’impertinence — c’est simplement horrible.
Quel droit avait cette femme de vous écrire de cette façon ? Elle
n’eût pas dû le faire.
LE CAP. G. — Quand vous écrivez à la petite Deercourt, je
remarque que vous remplissez trois ou quatre feuillets. Ne pouvez-
vous pas laisser une vieille femme babiller sur du papier une fois par
hasard ? Elle n’a que de bonnes intentions.
MRS. G. — Cela m’est égal. Elle n’eût pas dû écrire, et si elle l’a
fait, vous eussiez dû me montrer sa lettre.
LE CAP. G. — Ne pouvez-vous pas comprendre pourquoi j’ai gardé
la lettre pour moi seul, ou faut-il entrer dans de longues
explications… comme j’ai fait pour les boutons de farcin ?
MRS. G. (d’un ton furieux). — Pip, je vous déteste ! C’est aussi
mal que ces idiotes de sacoches, là, sur le plancher. Peu importe si
cela m’eût plu ou non, vous eussiez dû me la donner à lire.
LE CAP. G. — C’est tout un. Vous l’avez prise vous-même.
MRS. G. — Oui, mais si je ne l’eusse pas prise, vous n’en eussiez
soufflé mot. Je crois que cette Harriet Herriott — c’est comme un
nom dans un livre — est une vieille fouine qui vient s’immiscer dans
ce qui ne la regarde pas.
LE CAP. G. (à part). — Tant que vous resterez bien persuadée
qu’elle est vieille, je ne me soucie guère de ce que vous pensez.
(Haut.) Fort bien, ma chère amie. Vous plairait-il de lui écrire pour le
lui dire ? Elle est à sept mille milles d’ici.
MRS. G. — Je n’ai pas besoin d’avoir rien à faire avec elle, mais
vous eussiez dû m’en parler. (Tournant à la dernière page de la
lettre.) Et elle prend des airs protecteurs à mon égard aussi. Je ne
l’ai jamais vue, moi ! (Elle lit.) « Je ne sais pas comment il en
retourne avec vous ; selon toute probabilité humaine jamais je ne le
saurai ; mais quoi que j’aie pu dire jadis, je prie pour elle plus que
pour vous, afin que tout aille bien. J’ai appris ce que c’est que la
souffrance, et je n’ose souhaiter que quiconque vous est cher
partage ma science. »
LE CAP. G. — Bon Dieu ! Ne pouvez-vous laisser cette lettre
tranquille, ou, tout au moins, ne pouvez-vous vous abstenir de la lire
à haute voix ? Je l’ai déjà parcourue. Remettez-la sur le bureau.
M’entendez-vous ?
MRS. G. (d’un air irrésolu). — Je… je n’en ferai rien ! (Elle regarde
G. en face.) Oh ! Pip, je vous en prie ! Je ne voulais pas vous fâcher…
Non, vraiment, je ne voulais pas. Pip, je suis si désolée, je sais que
je vous ai fait perdre votre temps…
LE CAP. G. (d’un air renfrogné). — Oui, vous me l’avez fait perdre.
Maintenant, voulez-vous être assez bonne pour vous en aller… s’il n’y
a plus rien dans mon cabinet où vous ne soyez impatiente de fourrer
le nez ?
MRS. G. (étendant les mains). — Oh ! Pip, ne me regardez pas
comme cela ! Je ne vous ai jamais encore vu regarder comme cela et
cela me fai-ait mal ! Je suis si désolée. Je n’aurais pas dû venir ici du
tout, et… et… et… (Sanglotant.) Oh ! soyez-moi bon ! Soyez-moi
bon ! Il n’y a que vous… au monde !
Elle s’abandonne sur la chaise longue, en se cachant le
visage dans les coussins.
LE CAP. G. (à part). — Elle ne sait pas comme elle m’a fouetté au
sang. (Haut, se penchant sur la chaise.) Je n’ai pas eu l’intention
d’être dur, ma chère amie… non, vraiment. Vous pouvez rester ici
aussi longtemps que voulez et faire ce que vous voulez. Ne pleurez
pas comme cela. Vous allez vous rendre malade. (A part.) Que diable
a-t-il pu lui arriver ? (Haut.) Ma chérie, qu’est-ce que vous avez ?
MRS. G. (le visage toujours caché). — Laissez-moi m’en aller…
laissez-moi m’en aller dans ma chambre. Seulement… seulement
dites-moi que vous n’êtes pas fâché contre moi.
LE CAP. G. — Fâché contre vous, amour ! Cela va sans dire que
non. C’était contre moi-même que j’étais fâché. C’est le
harnachement qui m’avait fait sortir de mon caractère… Ne vous
cachez pas le visage, chaton. Il faut que je l’embrasse.
Il se penche plus près, MRS. G. lui glisse le bras droit
autour du cou. Plusieurs intermèdes et beaucoup
de sanglots.
MRS. G. (tout bas). — Ce n’était pas des confitures que je voulais
vous parler quand je suis entrée pour vous dire…
LE CAP. G. — Peste soit des confitures et du harnachement !
(Intermède.)
MRS. G. (encore plus faiblement). — Mon doigt n’était pas brûlé
du tout. Je… je voulais vous parler de… de… de quelque chose
autre, et… je ne savais pas comment.
LE CAP. G. — Dites, alors. (La regardant au fond des yeux.) Hein ?
Quo-oi ? Minnie ! Voyons, ne vous en allez pas ! Vous ne voulez pas
dire ?
MRS. G. (hors d’elle, reculant jusqu’à la portière et se cachant le
visage dans ses plis). — Les… les Presque Inévitables
Conséquences !
Elle s’enfuit par la portière tandis que G. essaie de
l’attraper et s’en va se verrouiller dans sa chambre.
LE CAP. G. (les bras pleins de la portière). — Oh ! (Tombant
lourdement sur la chaise longue.) Je ne suis qu’une brute… un
cochon… un tyran et un galopin. Ma pauvre, pauvre petite chérie !
« Faite seulement pour qu’on l’amuse…? »
LA VALLÉE DE L’OMBRE
Connaissant le Bien et le Mal.
DÉCOR. — Le bungalow des Gadsby dans les plaines, en juin. Des

coolies de punkah endormis dans la verandah que LE CAP.
GADSBY arpente de haut en bas. Charrette du DOCTEUR sous le
porche. LE SOUS-AUMÔNIER erre de côté et d’autre partout et
avec inquiétude dans la maison. Trois heures quarante du matin.
34° de chaleur dans la verandah.
LE DOCTEUR (s’en venant dans la verandah et touchant G. à

l’épaule). — Vous feriez bien de rentrer la voir en ce moment.
LE CAP. G. (la couleur de la cendre d’un bon cigare). — Hein, quo-
oi ? Oh ! oui, sans doute. Qu’est-ce que vous disiez ?
LE DOCTEUR (syllabe par syllabe). — Al — lez… dans… la…
chambre… la… voir. Elle veut vous parler. (A part, d’un air bourru.)
Ensuite ce sera lui que j’aurai sur les bras.
LE SOUS-AUMÔNIER (dans la salle à manger à moitié éclairée). —
Est-ce qu’il n’y a pas ?…
LE DOCTEUR (d’un air farouche). — Chut, petit insensé.

An Introduction To Algebraic Geometry and Algebraic Groups 1st Edition Meinolf Geck Download PDF

Uploaded by

Copyright:

Available Formats

An Introduction To Algebraic Geometry and Algebraic Groups 1st Edition Meinolf Geck Download PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

An Introduction To Algebraic Geometry and Algebraic Groups 1st Edition Meinolf Geck Download PDF

Uploaded by

Copyright:

Available Formats

Full download ebook at ebookgate.

An Introduction to Algebraic Geometry and

Download more ebook from https://ebookgate.com

An Algebraic Introduction to Complex Projective

Liu Algebraic Geometry 1st Edition Qing Liu

Geometry of Time Spaces Non Commutative Algebraic

Actions and Invariants of Algebraic Groups 1st Edition

Computation with Linear Algebraic Groups 1st Edition

Algebraic models in geometry First Edition Yves Félix

Semidefinite Optimization and Convex Algebraic Geometry

Affine Algebraic Geometry Proceedings of the Conference

Books in the series

Algebraic geometry, in its classical form, is the study of algebraic

closed cones in the underlying aﬃne spaces. This is the approach

Finally, I wish to thank David Hézard, Gerhard Hiss, and Gunter

Lyon, February 2003

1 Algebraic sets and algebraic groups 1

2 Affine varieties and finite morphisms 102

3 Algebraic representations and Borel subgroups 165

4 Frobenius maps and finite groups of Lie type 224

4.3 Further applications of the Lang–Steinberg

In this ﬁrst chapter, we introduce the basic objects: algebraic sets

1.1 The Zariski topology on affine space

the polynomial ring k[X1 , . . . , Xn ], where the Xi are independent

1.1.1 Theorem (Hilbert’s basis theorem) If A is noetherian

Proof The second statement follows from the ﬁrst by induction on

By deﬁnition, we have deg(g) dh+1 , but the coeﬃcient of X dh+1 in

We shall ﬁx the following notation. Given x = (x1 , . . . , xn ) ∈ kn ,

any f ∈ k[X1 , . . . , Xn ] deﬁnes a function f˙ : kn → k, x → f(x). Note

1.1.4 Remark The following elementary properties are easily

Now let {Sλ }λ∈Λ be a family of subsets of k[X1 , . . . , Xn ]. Then it is

1.1.5 Lemma For any subsets S, S ⊆ k[X1 , . . . , Xn ], we have

V({f · g | f ∈ S, g ∈ S }) = V(S) ∪ V(S ).

If S, S are ideals in k[X1 , . . . , Xn ], then we also have V(S ∩ S ) =

Proof Clearly, we have V(S) ∪ V(S ) ⊆ V({f · g | f ∈ S, g ∈ S }).

have f · g ∈ S ∩ S , and so V(S ∩ S ) ⊆ V({f · g | f ∈ S, g ∈ S )} =

1.1.6 The Zariski topology We have seen in Remark 1.1.4 that

1.1.7 The closure of a set Given any subset V ⊆ kn (not nec-

Indeed, by Remark 1.1.4, we have V ⊆ V(I(V )) and so V̄ ⊆ V(I(V )).

I : {V ⊆ kn | V algebraic} → {I ⊆ k[X1 , . . . , Xn ] | I ideal}

is injective. The following example shows that I is not surjective.

1.1.8 Example Let f ∈ k[X1 , . . . , Xn ] be non-constant. Then the

The following result describes the vanishing ideal of a hyper-

1.1.9 Theorem (Hilbert’s nullstellensatz for hypersurfaces)

Hf = Hf1 ∪ · · · ∪ Hfr and I(Hf ) = (f1 · · · fr ),

In particular, if f is irreducible (or, more generally, separable), then

Proof Assume ﬁrst that f is irreducible. Relabelling the variables

f = al + al−1 Xn + · · · + a0 Xnl , where ai ∈ k[X1 , . . . , Xn−1 ],

Now let 0 = g ∈ I(Hf ). Assume, if possible, that f does not divide g.

f˜ := al (x ) + al−1 (x )Xn + · · · + a0 (x )Xnl ∈ k[Xn ].

Since a0 (x ) = 0 and l 1, this is a non-constant polynomial. Hence,

Hf = V({f1 · · · fr }) and, by Lemma 1.1.5, we have Hf = Hf1 ∪ · · · ∪

I(Hf ) = I(Hf1 ) ∩ · · · ∩ I(Hfr ) = (f1 ) ∩ · · · ∩ (fr ),

We now discuss some topological notions concerning algebraic

1.1.10 Definition Let Z = ∅ be a topological space. We say that

1.1.11 Proposition Let Z = ∅ be a noetherian topological space.

Proof First we show that Z can be written as a ﬁnite union of

Next we show that each closed irreducible subset Y ⊆ Z is con-

1.1.12 Proposition Let V ⊆ kn be a non-empty algebraic set.

Now let 0 = g ∈ I(Hf ). Assume, if possible, that f does not divide g.

Since a0 (x ) = 0 and l 1, this is a non-constant polynomial. Hence,

1.1.10 Definition Let Z = ∅ be a topological space. We say that

1.1.11 Proposition Let Z = ∅ be a noetherian topological space.

1.2.6 Example Let us consider the order LEX in k[X, Y ] with X

(LT(I)) := (LT(f) | 0 = f ∈ I) ⊆ k[X1 , . . . , Xn ].

Proof Let G = {f1 , . . . , fs } and 0 = f ∈ k[X1 , . . . , Xn ]. By Proposi-

1.2.9 Example (a) Let 0 = f ∈ k[X1 , . . . , Xn ] and I = (f).

(c) Let I = (f), where 0 = f ∈ k[X1 , . . . , Xn ]. Then a k-vector-

If I = k[X1 , . . . , Xn ], we have a HPI (t) = 0. If I = k[X1 , . . . ,

Theorem 1.2.14. Assume that V = ∅ so that I(V ) = k[X1 , . . . , Xn ].