OOANIIIF(Q)ILID>~
I
FRANKWWARNER
j
i
GE~METRiA mf:::]~;i~::\L
F. I. LL
[
!
1
London
This textbook fills a longstanding gap. The beginning graduate student finds it hard to learn the basic material on differentiable manifolds. All the books he is referred to give a cursory treatment and quickly move on to more specialized topics. For this reason, Professor Warner's book is especially welcome. Here is a clear, detailed, and careful development of the fundamental facts on manifold theory and Lie groups. Numerous problems extend the theory and help the student master the subject. An added bonus is the sheaftheoretic proof of the de Rham theorem and an elementary proof of the Hodge theorem. As far as I know, the latter proof is the only one in the literature easily accessible to the novice in analysis. 1. M. Singer
This book provides tho necessary foundation for students interested in any of the diverse areas of mathematics which require tho notion of a diKereatiable manifold. It is designed as a beginDiIl8graduatelevel textbook and presumos a good undergraduate training in algebra and analysis plus some knowledge of point set topolo&)', covering spates, and the fundamental group. It is also intended for use as a reference book since it illCludes a number of items which are difficult to ferret out of the literature, in particular. thecompleteand selfcontained proofs of the fundamental theorems of Hodge and de Rham. The core material is contained in Chapten 1, 2, and 4. This includes differentiable manifolds, tangent vecton, submanifolds, implicit function theorems, vector fields, distributions and the FrobeDius theorem, diKereatial forms, integration, Stokos' theorem, and de Rham cohomolo&),. Chapter 3 treats the foundations of Lie group theory, including the relationship between Lie groups and their Lie algebras, the exponential map, tho adjoint representation, and the closed subgroup theorem. Many examples are given, and many properties of tho classical groups are derived. The chapter concludes with a discussion of homogeneous manifolds. The standard reference for Lie group theory for over two decades has been Chevalley's Theory of Lie Groups, to which I am greatly indebted. For the de Rham theorem, which is the main goal of Chapter 5, axiomatic sheaf cohomolo&), theory is developed. In addition to a proof of the strong form of the de Rham theoremthe de Rham homomorphism given by integration is a ring isomorphism from the de Rham cohomolo&), ring to the differentiable singular cohomolo&), ringit is proved that there are canonical isomorphisms of all the classical cohomolo&), theories on manifolds. The pertinent parts of all these theories are developed in the text. The approach which I have followed for axiomatic sheaf cohomology is due to H. Cartan, who gave an exposition in his S/minaire 1950/1951. For the Hodge theorem, a complete treatment of the local theory of elliptic operators is presented in Chapter 6, using Fourier series as the basic tool. Only a slight acquaintaDCC with Hilbert spaces is presumed. I wish to thank Jerry Kazdan, who spent a large portion of the summer of 1969 educating me to the whys and wherefores of inequalities and who provided considerable assistance with the preparation of this chapter. I also benefited from notes on lectures by J. J. Kohn and Stephen Andrea, from sevoraJ papen of Louis Nirenberg, and from Partial Differential
'.
Equations by Bers, John, and Schechter, which the reader might wish to consult for further references to the literature. At the end of each chapter is a set of exercises. These are an integral part of the text. Often where a claim in a chapter has been left to the reader, there is a reminder in the Exercises that the reader should provide a proof of the claim. Some exercises are routine and test general understanding of the chapter. Many present significant extensions of the text. In some cases the exercises contain major theorems. Two notable examples are properties of the eigenfunctions of the Laplacian and the Peter Weyl theorem, which are developed in the Exercises for Chapter 6. Hints are provided for many of the difficult exercises. There are a few notable omissions in the text. I have not treated complex manifolds, although the sheaf theory developed in Chapter S will provide the reader with one of the basic tools for the study of complex manifolds. Neither have I treated infinite dimensional manifolds, for which I refer the reader to Lang's Introduction to Differentiable Manifolds, nor Sard's theorem and imbedding theorems, which the reader can find in Sternberg's Lectures on Differential Geometry. Several possible courses can be based on this text. Typical onesemester courses would cover the core material of Chapters I, 2, and 4, and then either Chapter 3 or S or 6, depending on the interests of the class. The entire text can be covered in a oneyear course. Students who wish to continue with further study in differential geometry should consult such advanced texts as Differential Geometry and Symmetric Spaces by Helgason, Geometry of Manifolds by Bishop and Crittenden, and Foundations of Differential Geometry (2 vols.) by Kobayashi and Nomizu. I am happy to express my gratitude to Professor 1. M. Singer, from whom I learned much of the material in this book and whose courses have always generated a great excitement and enthusiasm for the subject. Many people generously devoted considerable time and effort to reading early versions of the manuscript and making many corrections and helpful suggestions. I particularly wish to thank Manfredo do Carmo, Jerry Kazdan, Stuart Newberger, Marc Rieffel, John Thorpe, Nolan Wallach, HungHsi Wu, and the students in my classes at the University of California at Berkeley and at the University of Pennsylvania. My special thanks to Jeanne Robinson, Marian Griffiths, and Mary Ann Hipple for their excellent job of typing, and to Nat Weintraub of Scott, Foresman and Company for his cooperation and excellent guidance and assistance in the final preparation of the manuscript. Frank Warner
n
2 5 8 11 22
30
MANIFOLDS
Preliminaries Di1rerentiable Manifolds The Second Axiom of Countability Tangent Vecton and Differentials Submanifolds. Diffeomorphisms, and the Inverse Function Theorem Implicit Function Theorems Vector Fields Distributions and the Frobeaius Theorem Exercises
41
50
34
FORMS
Exercises
LIE GROUPS
82
89 92
101 102
110 112 117
98
109
120
132
Lie Groups and Their Lie Algebras Homomorphisms Lie Subgroups Coverings Simply Connected Lie Groups Exponential Map Continuous Homomorphisms Clesed Subgroups The Adjoint Representation Automorphisms and Derivations of Bilinear Operations Homogeneous Manifolds Exercises
and Forms
INTEGRATION
ON MANIFOLDS
100
105 107 114 116
Sheaves and Presheaves Cochain Complexes Axiomatic Sheaf Cohomology The Classical Cohomology Theories AlexanderSpanier Cohomology de Rham Cohomology Singular Cohomology tech Cohomology The de Rham Theorem Multiplicative Structure Supports Exercises
(ID
120 122 127 240 143 150 251 160 162 265
THE HODGE
THEOREM
The LaplaceBeltrami Operator The Hodge Theorem Some Calculus Elliptic Operators Reduction to the Periodic Case Ellipticity of the LaplaceBeltrami Operator Exercises BIBLIOGRAPHY INDEX OF NOTATION INDEX
After establishing some notational conventions which will be used throughout the book, we will begin with the notion of a differentiable manifold. These are spaces which are locally like Euclidean space and which have 'enough structure 10 that the basic concepts of calculus can be carried over. In this lint chapter we shall primarily be concerned with the analogs and implications for manifolds of the fundamental theorems of differential calculus. Later, in Chapter 4, we shall consider the theory of integration on manifolds. From the notion of directional derivative in Euc:lidean space we will obtain the notion of a tangent vector to a differentiable manifold. We wiD study mappings between manifolds and the effect that mappings have on tangent vectors. We wiD investigate the implications for mappings of manifolds of the classical inverse and implicit function theorems. We will see that the fUndamental existence and uniqueness theorems for ordinary differential equations translate into existence and uniqueness statements for integral curves of vector fields. The chapter closes with the Frobenius theorem, which pertains to the existence and uniqueness of integral manifolds of involutive distributions on manifolds.
PRELIMINARIES
1.1 Some Bale Notadon and TermfnolOlY Throughout this text we will describe sets either by listings of their elements, for example {aI, ... , a,,}, or by expressions of the form {x: P}, which denote the set of all x satisfying property P. The expression a e A means that a is an element of the set A.. If a set A is a subset of a set B (that is, a e B whenever a e A), we write A. c:: B. If A c:: Band B c:: A, then A equals B, denoted AB. The negations of e, c:: and  are denoted by" ¢, and "respectively. A set A is a proper subset of B if A c:: B but A " B.
2
We will denote the empty .t by 1lJ. We will often denote a collection {U.: ex e A} of sets U. indexed by the set A simply by {U.} if explicit mention of the index set is not necessal)'. The "';on of the sets in the collection {U.: ex e A} will be denoted U U. or simply U U.. Similarly, their iIIt.r.ction will be denoted
U
lILt
.u
n U. 
The expression f: A  B means that / is a WUlppillg the set A into the of set B. When describing a mapping by describing its etrect on individual elements, we use the special arrow .....; thus "the mapping m .....(m) of A / into B" means that/is a mapping of the set A into the set B taking the element m of A into the element/em) of B. If U c: A, then/I U denotes the restriction all to U, and /(U)  {b e B: /(41)  b for some a e U}. If C c: B, then /l(C) _ {a e A: /(41) e q. A mapping / is onetoone (also denoted 1 : 1), or injective, if whenever a and b are distinct elements of A, then/(a) v&/(b). A mapping/is onto, or surjective, if/(A)  B. If/: A  B and g: C  D, then the composition go/ is the map g
0/: /l(B n C) 
D
1(B
defined by go/(41)  g(f(a» for every a e/n C). For notational convenience, we shall not exclude the case in which /l(B n C)  1lJ. That is, given any two mappings / and g, we shall consider their composition go/ as being defined, with the understanding that the domain of go/ may well be the empty set. The cartesian product A x B 0/ two sets A and B is the set of aU pairs (a, b) of points a e A and be B. If /: A  C and g: B  D, then the cartesian product f x g 0/ the maps / and g is the map (a, b) .....(f(a), g(b» of Ax B into C x D. We shall denote the identity map on any set by "id." A diagram of maps such as
B+C
g
/\
is called commutative if g 0/_ h. We shall always use the term function to mean a mapping into the real numbers.
Manlfoltb Let d ~ 1 be an integer. and let JR'  {a: a  (~ ••••• a,) where the a,
Then JR' is the tidlmnuional Euclitktul 6JHlc.. In the cue d  1. we denote the real lln« JRI simply by JR. The Drigilt (0•...• 0) in Euclidean space of any dimension will be denoted O. The notations [a,b] and (a,b) denote as usual the intervals of the real line a ~ t ~ b and a < t < b respectively. The function r,: JR'  JR defined by r,(a)  a" where a  (411, ••• , a~ e JR', is called the ith (canonical) coordinal. functiolt on JR'. The canonical coordinate function rl on JR will be denoted simply by r. Thus ria)  a for each a e JR. If/: X _JR', then we let
I.r,o/.
where I. is called the ith COmpoMltlfimctiolt 0/ f. If /: JR  JR and 1 e JR. then we denote the tkrirxztiv.
.!.I U) _ ~
dr , lim/(t
all at
t by
dr,
Ilim/(t ....
110
+ It) /(t).
It
If f: JR"  JR., if 1 ~ i ~ It, and if the partial tkrivative all with rupect
ar, ,
r, at
(tl
, ••• ,
ttl)
t by h
"
... • "I' I,
+ h, "tl' ...
If P e JR', then B.(r) win denote the open ball of radius r about p. The open ball of radius r about the origin will be denoted simply by B(r). C(r) will denote the open cuN with sides of length 2r about the origin in IR'. That is, C(r)  {(aI, ...• a,) e IR': 141,1< r for all I}. We shall use C to denote the compl.x mmrber ji.ld and C" to denote compl." nspac«; CIt  {(ZI' ..• , z,,): z, e C for I ~i ~ It}. Unless we indicate otherwise, we shall always use the term neighborhood in the sense of opelt neighborhood. If A is a subset of a topological space, its dosure will be denoted by A. If qI is a function on a topological space X, the support of qI is the subset of X defined by supp II' We use the Kronecker inde"
qIl(1R 
{O}).
Differentiable
Manifolds
If ex .. (exl , ••• , ..) is a dtuple of nonnegative integers, then we set [ex] and
I ex"
~.)
arl·' ...
a,.
If ex 
a
ar,,·· .
a,.(f)
a·
I·
MANIFOLDS
Let U c IR" be open, and letf: U _IR. We say that of class C" on U (or simply that f is C"), for k a nonnegative integer, if the partial derivatives exist and are continuous on U
for [at] ~ k. In particular,fis CO iff is continuous. Iff: U  IR", thenf is differentiable of class C" if each of the component functions h == r, of is C". We say that f is COO if it is C" for all k ~ O. 1.3 Definitions A locally Euclidean space M of dimension d is a Hausdorff topological space M for which each point has a neighborhood homeomorphic to an open subset of Euclidean space IR". If qI is a homeomorphism of a connected open set U c M onto an open subset of IRtI, qI is called a coordinate map, the functions X~ = r, 0 qI are called the coordinate functions, and the pair (U,qI) (sometimes denoted by (U, Xl , ••• , x.J) is called a coordinate system. A coordinate system (U, qI) is called a cubic coordinate system if qI(U) is an open cube about the origin in IR". If me U and qI(m) == 0, then the coordinate system is said to be centered at m. 1.4 Definitions A differentiable structure' of class C" (1 ~ k ~ eo] on a locally Euclidean space M is a collection of coordinate systems {(U., qI.): at e A} satisfying the following three properties: (a) (b)
aJIar·
U U. ==
• &,A
M.
qI.o qI,l
(c) The collection' is maximal with respect to (b); (U,qI) is a coordinate system such that qI 0 qI.l and C" for all at e A, then (U,qI) e'.

_.
If '.  {(U•• ,J: ex E A} is any coUection of coordinate syatema satisfying properties (a) and (b). then there is a unique differentiable stJ:UCture' containing ' •. Namely. let
Then,
 {(U.,): ,.
,.1
and , ••
,1 ire
C· for all ,.
'i}.
contains ' •• clearly satisfies (a). and it is euily checked that' satisfies (b), Now' is maximal by construction. and so , is a differentiable structure containing ' •. Cearly' is the unique such ttruc:ture.
We mention two other fundamental types of differentiable ItrUc:tures on locally Euclidean spaces. types that we shall not treat in this text. Damely. the structure of class C· and the complex analytic Itructure. For a diJIerentiable structure 0/ class C·. one requires that the compolitiona in (b) are locally given by convergent power series. For a compkx QMlytic structure on a lddimensional locally Euclidean space. one requires that the coordinate systems have range in complex dspace C' and overlap holomOrphically. A dd_IUlonai diJIM'e"tiabk 1JUIIIifoklof cltw C·(limi1arly C· or complex analytic) is a pair (M,#) consiltins of a ddimensional. MCODdcountable. locally Euclidean space M together with • differentiable Itructure , of class C·. We shall usually denote the differentiable manifold (M,#) simply by M. with the understandins that when we apeak of the ··differentiable manifold M" we are considerins the locally Euclidean space M with some given differentiable structure'. Our attention will be restricted solely to the case of class C"". so by diJIere"tiable we will always mean diJIerllltiable 0/ class C"". We also use the terminology smooth to indicate differentiability of class C"". We often refer to differentiable manifolds simply as lIUUIi/olds. with differentiabtlity of class C"" always implicitly assumed. A manifold can be viewed as a triple consisting of an underlyins point set. a second countable locally Euclidean topolOgy for this set. and a differentiable structure. If X is a set. by a manifokl Itructure 011 X we shall mean a choice of both a second countable locally Euclidean topolOgy for X and a differentiable structure. . Even though we shall restrict our attention to the C"" case. many of our theorems do. however. have C· veniona for k < 00. which are asentia11y no more complicated than the ones we shall obtain. They limply require that one keep track of degrees of differentiability. for differentiating a C· f\mction may only yield a function of class Cal if I ~k < 00. Unless we indicate otherwise. we shall always use M and N to denote differentiable manifolds. and M' win indicate that M is a manifold of dimension d.
1.5 Examplea
(a) The standard differentiable structure on Euclidean space JR' is obtained by taking' to be the maximal collection (with respect to 1.4(b» containing (JR'.i). where i: JR'  JR' is the identity map.
MalJljolQS
real vector space. Then V bas a natural manifold structure. Indeed, if {e,} is a basis of V, then the elements of the dual basis {r,} are the coordinate functions of a global coordinate system on V. Such a global coordinate system uniquely determines a ditrerentiabh structure' on V. This differentiable structure is independent of the choice of basis, since ditrerent bases give C" overlapping coordinate systems. In fact, the change of coordinates is given simply by a constant nonsingular matrix.
(c)
Complex. IISpace C· is a real 2ndimensional vector space, and so, by Example (b), has a natural structure as a 2ndimensional real manifold. If {e,} is the canonical complex. basis in which e, is the atuple consisting of zeros except for a 1 in the ith spot, then {el
, ••• ,
is a real basis for C", and its dual basis is the canonical coordinate system on C". (d) The dsphere is the set
01+1
,
I
Let II  (0, ... ,0,1) and s  (0, ... ,0, 1). Then the standard ditrerentiable structure on S' is obtained by taking' to be the maximal collection containing (S'  n, p,.) and (S'  s, pJ, where P.. and P. are stereographic projections from nand s respectively.
(e) An open subset U of a ditrerentiable manifold (M,:' M) is itself a ditrerentiable manifold with ditrerentiable structure
'1
I}.
(f)
The gellerallinear group G/(II,IR) is the set of all n X II nonsingular real matrices. If we identify in the obvious way the points of IR "I with II x II real matrices, then the determinant becomes a continuous function on IR"I. G/(n,lR) receives a manifold structure as the open subset of IR "I where the determinant function does not vanish.
(g)
Product manifolds.
Let (Ml ,'1) and (M, ,'.) be ditrerentiable manifolds of dimensions d1 and d. respectively. Then x M. becomes a differentiable manifold of dimension d1 + d., with ditrerentiable structure' the maximal collection containing
u,
{(U.
V"
fII. x '1',:
U.
V,
)
I
Mflllijoids
1.6 De8nldo... Let U c: M be open. We say that I: U  IR is a C"" fimction on U (denof#J Ie C""(U» if 1 fP1 is C"" for each coordinate map fP on M. A continpous map ,,: ~ 7 Nis said to be differentiable olca C""(denof#J" e C""(M,N)orsimply"e CC) ifg is a C'" function on yl(domain of g) for all C"" fuDctions g defined on open sets in N. Equivalently. the continuous map" is C'" if and only if fP T1 is C'" for each coordinate map T on M and fP on N. Clearly the compositioD of two differentiable maps is again differentiable. Observe that a mapping ,,: M  N is CtCif and only if for each m e M there exists an open neighborhood U of m auch that U is C"".
0
0"
0"
"I
WI
ttl
1.8 DeftnidOD A partition 01 ""ity on M is a collection {qI,: I e I} of C"" functions on M such that (a) (b) The collection of supports {supp qI,: i e I} is locally finite. ~ qI,(p)  1 for all p e M, and qI,(p) ~ 0 for all p e M and I e I.
'd
A partition of unity {qI,: i e I} is subordinate to the cover {U.: at e A} if for each I there exists an at such that supp qI, c: U.. We say that it is subordinate to the cover {U,: I e I} with the same index set as the partition 01 ""Ity if supp qI, c: U, for each t et.
Second Axiom
0/ Countabllity
1.9 "",rna Let X be a topological 'pac. which Is locally compact (.ach point has at least OM compact Mighborhood), Hausdorff, and second countable (manifolds, for ."ample). Then X is paracompact. In fact, .ach open cover has a countable, locally finite r.fiMment consisting of open s.ts with compact closures.
PROOF We prove first that there exists a sequence {G,: iI, of open sets such that G, is compact,
2, ... }
(1)
G, c: Gl+l,
XUG,.
Let {U,: iI, 2, ... } be a countable basis of the topology of X consisting of open sets with compact closures. Such a basis can be obtained by starting with any countable basis and selecting the subcollection consisting of basic sets with compact closures. The fact that X is Hausdorff and locally compact implies that this subcollection is itself a basis. Now, let G1  U1• Suppose that
G.  U1U ••• U USt'
GO
Then letji+l be the smallest positive integer greater thanjl; such that
and define
Gi+l =
St+1
U,.
11
•••
jj
, I I I I I
,
•••
GJ
I
GJ
I
10
MtIIIlfo1d8
Let {U.: a e A} be an arbitrary open cover. The let G,  GIl is compact and contained in the open let GftI  G,.... For each i ~ 3 chOOllCa finite subcover of the open COVet {U. n (Gftl  G,...>: a e A} of G,  G'_l' and cboose a fiDite subcover of the open cover {U. n G.: a e A} of the compact set G•• This collection of open sets is easily seen to be a countable, locally finite refinement of the open cover {UJ, and consists of open seta with compact closures.
1.10 Lemma There exist I a ftOItMgfltlve C"" Jimction , on IR' which «JUIIu 1 on the closed cube C(l) and uro 011 the complement of the open cube
C(2).
PROOF
be the product
(h
(1)
° rJ ...
(h
° r~,
where h is a nonnegative C"" function on the real line which is 1 on [1,1) and zero outside of (2,2). To construct such an h, we start with the function (2)
f(t) 
f' I'.
t;
t>O t~O
> O.
rn
(4)
~~R~+Rl~
h(t)  get
f(t}
is nonnegative, C"", and takes the value 1 for t ~ 1 and the value zero for t ~ O. We obtain the desired function h by setting
+ 2)g(2 
t).
1.11 Theorem (ExJstence of Parddoas of Unity) Let M be a differentiable manifold and {U.: a e A} an open cover of M. Then there existl a countable partition of unity {,,: iI, 2, 3, ... } subordinate to the cover {UJ with supp " compactfor each I. If one doel not require compact supportl, then there il a partition of unity {,J subordinate to the cover {U.} (tlult is, supp ,. c: UJ with at mOlt countably many of the ,. not identically zero.
,ROOF
Let the sequence {G,} cover M as in 1.9(1), and set G.  e. For p e M, let I. be the largest integer such that p .eM  G, . Choose an a. such that p e U. , and let (V,T) be a COOrdinate system centered at p such that V c: U... n (G' .. I  G,) and such that T(V) contains + the closed cube C(2). Define
..
..
(1)
"" 
l
0
,OT
on V elsewhere
J
t
J
11
where fII is the fun~on 1.10(1). Then,," is a CO" function on M which has the value I 011 some open neighborhood Willofp, and has compact support lying in V c: U•• n (G'.+I _;. G. ). For each i ~ 1, choose a finite set of points p in M whose corresponding Willneighborhoods cover G.  G'_l' Order the corresponding "" functions in a sequence J  1, 2, 3. . . •. The supports of the form a locally finite family of subsets of M. Thus the function
"1'
"1
w
(3)
,,I~ 11
fII. .
00
is a welldefined CO" function on M, and moreover ,,(P) p e M. For each iI, 2, 3, ..• define
>0
for each
I
I
t
Then the functions {fII,: iI, 2, 3, •.. } form a partition of unity subordinate to the cover {U.} .with supp fII. compact for each t. If we let fII. be identically zero if no fII. has support in U., and otherwise let fII. be the sum of the fII. with support in U. , then {fII.} is a partition of unity subordinate to the cover {U.} with at most countably many of the fII. not identically zero. To see that the support of fII. lies in U., observe that if 091 is a loCallyfinite family of closed sets, then U A  U A. Observe, however. that the support of fII. is not necessarily compact.
Ae." Ae."
". ,,
f
I
CoroUary Let G be open in M, and let A be closed in M, with A'c: G. Then there exists a Coo function fII: M  IR such that (a) 0
s fIICp) s I for
all p e M.
There is a partition of unity {fII,lI'} subordinate to the cover {G, M  A} of M with supp fII c: G and supp 11' c: M  A. Then fII is the desired function.
"_
12
Mtmfollb
II
.:
I
i
! I
"V'.g)
+ 19) 
v(/) + Av(g)j,
 f(p)v{t)
+ g(p)l1(/).
4
whenever f and g are differentiable near p. and 1 is a real number. The fint property says that II acts linearly on functions. and the 8eCond says that II is a tUrivalion. This motivates our definition of tangent vectors on manifolds. They will be directional clerivativel. that is. linear derivations on functions. The operation of taking derivatives depends only on local properties of functions. properties in arbitrarily small neighborhoods of the point at which the derivative is being taken. In order to express most conveniently this dependence of the derivative on the local nature of functions, we introduce the notion of germs of functions. 1.13 De8DitioD. Let m E M. Functions f and g defined on open sets containing m are said to have the same prm at m if they agree on some neighborhood of m. Thil introduces an equivalence relation on the Ceo functions defined on neighborhoods of m, two functions being equivalent if and only if they have the same germ. The eguivalence classes are called P""'". and we denote the set of lermI at m by F", • Iff is a C"" function on a neighborhood of m, then f will denote its aerm The operations of addition. scalar multiplication, and multiplication of functions induce on 1", the structure of an algebra over IR. A &erm f bas a welldefined value f(m) at m, namely. the value at m of any representative of the germ. Let F", c: 1", be the set of germs which vanish at m. Then F", is an ideal in 1", • and we let F"," denote its ktb power. F,.· is the ideal of 1", consisting of all finite linear combinations of kfold products of elements of F",. These form a descending sequence of ideals 1", ::;,F", ::;,F",· ::;, F,.· ::;,.... 1.14 De1lnidOD tion of the algebra (a) (b)
v(f
1",. That is. for all r. 1 e 1 and 1 e IR. + la)  v(f) + 1v(l).
ffI
A tangent vector
II at
v(f· I)  f(m)v(l)
+ I(m)v(f).
M", denotes the set of tangent vectors to Mat m and is called the tangent space to Mat m. Observe that if we define (II + w)(f) and (1I1)(f)by
(1)
(II
.
I
I
+ w)(f) 
whenever II, we M", and A e IR, then II + wand 1I1again are tangent vectors at m. So in this way M", becomes a real vector space. The fundamental property of the vector space M'" • which we shall establish in 1.17. is that its dimension equals the dimension of M. This definition of tangent vector
____ _L
J!
13
is not suitable in the Ck case for 1 ~ k < co. (We will discuss the CJ: case further in 1.21.) We give this definition of tangent vector for several reasons. One reason is that it is intrinsic; that is, it does not depend on coordinate systems. Another reason is that it generalizes naturally to higher order tangent vectors, as we shall see in 1.26. 1.15 If e is the germ of a function with the constant value c on a neighborhood of m, and if v is a tangent vector at m, then v(c) .. 0, for
v(c) .. cv(I),
and
+ IV(I) ..
2v(I).
(The symbol
If v e M"" then v is a linear function on F", vanishing on F",I because of the derivation property. Conversely, if Ie (F",/F",I)*, we define a tangent vectorv(atm by setting vtCf) I({f  f(m)}) forf e F",. (Here f(m) denotes the germ of the function with the constant value f(m), and { } is used to denote cosets in F.,./F ",I.) Linearity of v( on F'" is clear. It is a derivation since v(f·g) .. I({(f  f(m»(ggem»~+ f(m)(a  gem»~ + (f  f(m»g(m)})  I({f ....  f(m.(m)}) g
Thus we obtain mappings of M", into (F",/F",I)*, and vice versa. It is easily checked that these are inverses of each other and thus are iso morphisms. 1.17 Theorem dim (F.,./F",I)  dim M. IRd,
The proof is based on the following calculus lemma [31]. Lemma (1)
If g is of class Cit (k ~ 2) on a convex open set U about pin then for each q e U, g(q) 
g(p) +
11or, "
i :g I
(r,(q)  rl(p»
+ I (r,(q)
'.J
 r,(p»h(q)
 rJ(p»f1(1
'n particular, if g e C.." then the second summation in (I) determines element of F"I since the integral as a function of q is of class COD •
Jo
 t) ~
or, urJ
al!
dt.
an
(1)+1((1''))
.
_._

•
14
Mllltifoltb
PROOF OF
... ~'~I
~ ~
ordinate
(I)
tolD
1
f au;r,
1.17 Let (U,f) be a coordinate system about m with eofunctions Xl, ••• , x. (4  dim M). Let f e F. . Apply f1, and compose with f to obtain
fl)
1 I
I
f
(1
f8(far,
fl)
I"'.,
•
1
(x.  x.(m»modF.1.
Hence ({XI  x.(m)}: 1 1, .•. ,tI} spans F.JF.I. Consequendy dim F"JF.I ~ 4. We claim that these elements are linearly independent. For suppose that
Now,
Thus
aa rl
for j  1•...• Corollary
(ID,(r,  r,(f{m»»
D(
0
cp(""
must an be zero.
dim M.  dim M.
1.18 In practice we win treat tangent vectOR as operating on functions rather than on their germs. If / is a differentiable function defined on a neighborhood of m, and v eM. , we define
(1)
v(f)  v(f).
Thus v(f)  vCg) whenever / and g agree on a neighborhood of m, and clearly (2) v(j + Ag)  v(f) + Av(g) (A e IR), v(j· g) /(m)v(g) + g(m)v(f).
where / + Ag and /. g are defined on the intersection of the domains of definition of/and g.
1.19 De8nfdon
functions
Xl' .••
Let (U.f) be a coordinate system with coordinate ,X, , and let me U. For each 1e (I, .•. ,d), we define
i .
IS
8 ( 8x(
IJ
(f) 
_8(fo ,1)
8r(
I.c.,
for each function / which is c on a neighborhood of m. We interpret (1) as the directional derivative of/at m in the x( coordinate direction. We also use the notation
Remarks on 1.l9 Clearly «%xJI ...)(f) depends only on the germ of/at m, and (a) and (b) of 1.14 are satisfied; so (O/OXi) is a tangent vector at m. Moreover, {(%x()I ...: iI, ... ,d} is a basis of M Indeed, it is the basis of M... dual to the basis {{XI  xl(m)}: i = I, ,d} of F"JF.I since
I...
(b)
If v eM., then
o~ • (x, 
.!.I
x,(m» 
6(1.
Simply check that both sides give the same results when applied to the functions (XI  xi(m». (c) Suppose that (U,!p) and (V,¥,) are coordinate systems about m, with coordinate functions Xl , ..• , Xd and Yl , ••• ,Y d respectively. Then it follows from remark (b) that
} ,
,
;
Observe that (%x() depends on !p and not only on X(. In particular, if Xl were equal to Y1 , it would not necessarily follow that 0/OX1 equals
.. .. •
8/0Y1 .
16
(d)
Mtuli/oltb
If we apply Definition 1.19 to the canonical coordinate system rl , ... ,r. on IR·, then the tangent vectors which we obtain are none other than the ordinary partial derivative operators (alar,).
1.21 Our proof of the finite dimensionality of F"JF.I certainly fails in the CJ:case for k < co since the remainder term in the lemma of 1.17 will not be a sum of products of CJ: functions, and the lemma doesn't even make sense in the Cl case. In fact, it turns out (see [21» that F"JF".I is always infinite dimensional in the CJ:case for I ~ k < co. There are various ways to define tangent vectors in the CJ: case in order that dim M.,.  dim M (all of which work in the ClIO case, too). One way is to define a tangent vector v at m as a mapping which assigns to each function (defined and differentiable of class CJ:on a neighborhood of m) a real number v{f) such that if (U,!p) is a coordinate system on a neighborhood of m. then there exists a list of real numbers (aI, ... , a.) (depending on !p) such that
v(J)  ~a,
1_1
,
j
a(/o ,1) f
ar,
.1.,.)
Then the space M. of tangent vectors again turns out to be finite dimensional, with a basis {(alax')I.}. 1.22 The DUl'erentlal Let,,: M  N be ClIO, and let III diffemltial 01 tp at m is the linear map
(I) dtp: M. Nyl.,.)
e M. The
defined as follows. If v e M". • then tbp(v) is to be a tangent vector at tp(m). so we describe how it operates on functions. Let g be a CrJO function on a neighborhood of tp(m). Define d,,(v)(g) by setting
(2) tbp(v)(g)  v(g
0
tp).
It is easily checked that dtp is a linear map of speaking. this map should be denoted dtp ,or omit the subscript m when there is no possibility is called nonsingular at m if dtp. is nonsingular, cons~sts of 0 alone. The dual map
1M".
M". into NyC.,.). Strictly simply dtp.,.. However, we of confusion. The map tp that is, if the kernel of (I)
•;
I
i
(\.~.
tli\()
N:
I ,
1.,.) 
M!
6tp(co)(v)  co(dtp(v»
1 I·
I: M
(5)
whenever coe N;I.) and ve M".. In the special case of a ClIO function IR, if v e M.,. and/(m)  ro, then
df(v) 
v(f).i...I. r, dr
I t
Tangent Vectors and Differentials In this case, we usually take df to mean the element of M! defined by (6) df(v)  v(j).
17
That is, we identify dfwith 6f(0), where 0) is the basis of the ldimensional space IR: dual to (d/dr)lr . Particular usage will be clear from the context.
0 ,,)
1 .1..1
(b) If (U, Xl" •• ,X.) is a coordinate system on M, and {dx,I",} is the basis of M! dual to {a/ax,I",}. If f: M function, then df", (c)
'I(lX,
mE U,
• I g[_
'3
then IR is a CtJO
'"
dx,I",.
or simply d(IP dIP dtp. It is a useful exercise to check the form that this equation takes when the maps are expressed in terms of the matrices obtained by choosing coordinate systems. (d) If ,,: M  Nand f: N  IR are CtJO,then 1J"(df..(,,,,)  d(/o ,,)"" for 1J"(df.,c,,,,)(v)  df(d,,(v»  d(/o "),,,(v) whenever v E M",. (e) A C.., mapping 0': (a, b)  M is called a smooth curve in M. Let t E (a, b). Then the tangent vector to the curt'e 0' at t is the vector
0 ,,) 0
d( IP 0
,,)'"
dIP"c""
d"", ,
dO'(:r
I)
E M~(t). 0'
at t by aCt).
L
1
18
MlIIIlfo/JI,
Now. if v is any element of M_. then v is the tanlent vector to a smooth curve in M. For one can simply choose a coordinate system (U,,). centered at m, for which
vd,(kO·
0
Then v is the tangent vector at 0 to the curve t ....,I(t. O••••• 0). One should observe that many curves can have the same tanpt vector. and that two smooth curves a and .,. in M for which a(t.> 'r'{t.)  m have the same tanaent vector at t. if and oaly if d(f
a) , _ d(f
I.
0
T) ,
'.
dr
dr
for all functions / which are COO on a neipborhood of m. If a happens to be a curve in the Euclidean space IR·. then
a(t) 
~I!.\ ar
dr
I .M ) V\t 
1 .U)
+ ... +
da·l..!.l u; ar.
dr
I
+ h)
h
 a(t)
·1
C
Thus with this identification our notion of tangent vector coincides, in this special case. with the geometric notion of a tangent to a curve in Euclidean space. 1.24 Theorem Ltt '" be a Coo mapping 0/ the connected manifold M into the manifold N. Suppose that for each m eM, ehp_ • O. Then '" is a constat map. Let n e ",(M). yl(n) is closed. We need oaly show that it is open. For this, let m e yl(n). Choose coordinate systems (U, Xl>' •• ,x.) and (V.y" ... ,Yo) about m and " respectively. so . that ",(U) c: V. Then on U, .
PROOF
0 d",(..!.)_ :i
8X1
(_1
() _ 1•... , I),
I, ...• c; )  1. . . . • I) .
19
Thus the functions I. •" are coastant on U. 1bia implies that ,,(U)  11; hence ,,1(11) is open and consequently M.
r<n) 
We shall now see that in a natural way the collection of all tangent vectors to a differentiable manifold itself forms a differentiable manifold called the tangent bundle. We have a similar dual object called the cotangent bundle formed from the linear functionals on the tangent spaces. 1.25 Tangent and Cotangent Bundles with differentiable Let
structure'.
Let M be a CO manifold
T(M)(1)
_Jl
U M••
•• Jl
Let (U.,) with coordinate functioas IRId and ~o: ("O)"'"l(U)_1R1d by (3)
~v) (Xl(w(V», ..•• x,(w(v»,
e'
,,0: TO(M) M. _
Define ~: ,,1(U)dx,(v»
dXl(V) ••.••
T(a:))
for all v e ,,1(U) and T e ("O)l(U). Note that, and ~. are both onetoone maps onto open subsets of 1R1d. The following steps outline the construction of a topology and a differentiable structure on T(M). The construction for T*(M) goes similarly. The proofs are left as exercises. (a) If (U,!p) and (V,,)
e', then.;p
~1
is Coo.
, •i
,
·
•
i
(b)
The collection {~1(W): W open in 1R1d, (U,!p) e.F} forms a basis for a topology on T(M) which makes T(M) into a 2ddimensional, second countable, locally Euclidean space. Let!F be the maximal collection, with respect to 1.4(b), containing
((,,1(U),~): (U,,)
(c)
e~.
Then
I ,
I
T(M) and T*(M) with these differentiable structures are called respectively the tangent bundle and the cotangent bundle. It will sometimes be convenient to write the points of T(M) as pairs (m,v) where m e M and v eM. (and similarly for T*(M».
'1
20
MaIfo/J8
c map, &Ileathe
il¥: T(M)
 T(N),
where il¥<m,v)  il¥.(v) wheDever ve M.. It i. euily checked that (4) haC map.
l.26t IDgber Order Taageat Vecton and Dfft'erentIaJa It is useful to look at M. as (F./F.I)*, for this point of view allows an immediate leneralizapon to hiaher order taDgeDt vectors. We dipess for a moment to live these definitions. Recall that F. i. the alpbra of lerma of functions at m. F. c: F. is the ideal of germs vanishing at m, and F.· (k an intepl' ~ 1) is the ideal of F. consisting of all finite linear combinations of kfold products of elements of F•. The vector space F.!F!+l is called the space of kth order dffferentillis at m, and we denote it by • M.. As before, f denotes the germ of lat m, and { } will denote cosets in F .!F!+l. Letlbe a differentiable function on a neiahborhood of m. We define the kth order differentilll ,pI 011at m by
(1)
dkJ
{f  f(DI}}.
A kth orthr tangent vector at m is a realliDear function on F. vanishinl on J?!+l and vanishing also on the set of germs of functions constant on a neiahborhood of m. The real linear space of kth order tangent vectors at m will be denoted by M••. We have a natural identification of M." with ("M.)* since any kth order tangent vector restricted to F. yields a linear function on F. vanishing on J?!+l, and hence yields an element of {"M,J*; and conversely an element of (AM.)* uniquely determines a linear function on F. vanishing on F!+1, and this extends uniquely to a kth order tangent vector by requirina it to annihilate pnna of constant functions. We can tie up this notion of hiaher order tangent vector with the usual notion of hiaher order derivative in Euclidean space by lookinl at the forms that these tangent vectors and dift'erentials take in a coordinate system. Let (U,qI) be a coordinate system about m with coordinate functions Xl, •.• ,X. such. that ,( U) is a convex open set in Euclidean space IR·. Let at  (~ ••••• Gt,J be a list of nonneptive integers. In addition to our conventions of 1.1, we let
t The material or this section will Dot be UIec:I elsewhere in the IkippecI without loss or continuity.
be
21
Hence
(4) Thus the collection (5)
spans tM",. The proof that these elements are linearly independent in t M", is the obvious generalization of the proof for the case k  2 which was treated in 1.17. Thus the collection (5) forms a basis oftM",. Consequently t M", is finite dimensional with dimension equal to the binomial coefficient
,!
(d
+~
with the same dimension. Since M",t is identified with (tM",)·, and these spaces are finite dimensional, we have a canonical isomorphism ofkM", with (M",~·, under which the element of dkj'etM"" considered as an element of (M",t)., satisfies
(6)
,
dkf(v) _
vcr).
qIl)
· .• ,
1
;
Let (7)
PL ax· '"
I_
0·([0
or·
I.
cpC""
. ·.
Since the derivative is linear, and since the value of 01l0x at m depends only on the germ off at m and vanishes if I is constant on a neighborhood of m or if lis an lot] + lfold product of functions which vanish at m, then is an [ot]th order tangent vector at m. It follows that
(o/ox)I",
(8)
is the basis of M ",t dual to the basis (5) of t M "'. If v is a kth order tangent vector at m, then (9) where
(10)
I
t
b.
[.)1
ax· ...
0,
at!
ax· .,'
As in the case of tint order tangent vectoR, we customarily think of tanlent vectors as operatinl on the functions themselves rather than their lerms; indeed, we define
(12)
whenever f order at m. Finally, just as there are natural mappinp oftanaent vecton and differentials associated with a differentiable map ,: AI _ N, 10 are there linear mappinp (13) dJ:,: M.J:_N~.), ~,: J:N.(.) _J:M.
defined by
(14)
whenever v e M.J: and g is a CrJO function on a neipborhood of ,(m). It is easily checked that (14) does indeed define the mappinp (13) and that the mappinp dJ:, and lJi, are dual. Our definition of a tint order tanpnt vector in this section aarees with Definition 1.14 in view of Lemma 1.16. Moreover, we have seen three interpretations of the tint order differential df of a function f; the interpretation (13) agrees with our original definition 1.22(1). the interpretation (6) aarees with 1.22(6). and we have the additional interpretation (1).
Let
tp:
M _ N be ClIO.
is an imbedding if tp is a onetoone immenion which is also a homeomorphism into; that is. tp is open as a map into y(M) with the relative topolegy,
tp is a diffeomorphism is CrJO.
(d)
if
tp
1.21 Remarks on 1.27 One can. for example. immerse the real line IR into the plane. as illustrated in the followinl figure. so that the tint case is an immersion which is not a submanifold. the second is a submanifold which is not an imbeddinl. and the third is an imbeddinl.
23
/.1
I I
Immersion, but Dot. SUbmaniCold
~,
0  ()
,  lim • .(1)
...+.
Imbedding

Observe that if (U,q» is a coordinate system, then q>: U  q>(U) is a diffeomorphism. The composition of diffeomorphisms is again a diffeomorphism. Thus the relation of being diffeomorphic is an equivalence relation on the collection of differentiable manifolds. It is quite possible for a locally Euclidean space to possess distinct differentiable structures which are diffeomorphic. (See Exercise 2.) In a remarkable paper, Milnor showed the existence of locally Euclidean spaces ($I is an example) which possess nondiffeomorphic differentiable structures [19). There are also locally Euclidean spaces which possess no differentiable structures at all [14). . If ." is a diffeomorphism, then d'Pm is an isomorphism since both (d'P d'P1)1,,(m) and (d'P1 d1p)lm are the identity transformations. The inverse function theorem gives us a local converse of thiswhenever d'Pm is an isomorphism, 'P is a diffeomorphism on a neighborhood of m. Before we recall the precise statement of the inverse function theorem, we give a definition which will be needed in the corollaries.
0 0
1.29 Deflnidon A set Yl, ... 'Yi of Ceo functions defined on some neighborhood of m in M is called an independent set at m if the differentials dYl' ... , dy, form an independent set in M! .
I:
Let
is nonsingular at E U, then there exists an open set V with roeVe U such that V maps V onetoone onto the open set fey), and V)1 is ceo.
II
'0
{~} 0'1
i.iI .....II
(fl
This is one of the results we shall assume from advanced calculus. For a proof. we refer the reader, for example, to (31) or [6).
r.
Corollary (a) AISII1f'N t/un ,,: M _ N 18 CfIO, that m eM, tmd t/un dyJ: M.  N.,(., 18 an Isomorphism. Then there 18 a Mighborhood U of m 8UCh that ,,: U  ,,(U) 18a di,ff.omorphism onto the o~n .t ,,(U) In N .. Observe that dim M  dim N, say d. Choose coordinate systems (V,III) about m and (W,,.) about ,,(m) with ¥<V) c: W. Let lII(m)  p 1 and ,(tp(m» IJ. The differential ()f the map 'r 0 ,,0 111IIII(V) is nonsingular at]. ThUi the inverse function theorem yields a diffeomorphism IX: 0  «(0) on a neighborhood 0 of p with 0 c: III(Y). Then ,.1 « III is the required diffeomorphism on the neighborhood U  1II1 of m.
PROOF
0
(i!>
Corollary (b) Suppou that dim M  d and that Yl>'" independent ut of functions at m. e M. Then the functions Ylf a coordiruzte system 011 a neighborhood of me.
,y,
•••
18 an ,y, form
me.
PROOF
Suppose that the Yi are defined on the open set U containing Define ,,: U  IR' by ,,(m)  (Yl(m) , ••• ,y,,(m» (m e U).
Then " is C", Now ~ is an isomorphism on (IR:'. ,). since .which implies that talces a basis to a basis. Consequently, the differential ehp•• (which is the dual of is an isomorphism. So the inverse function theorem implies that" is a diffeomorphism on a neighborhood V c: U of me, and consequently the functions Yl' ... ,y, yield a coordinate system when restricted to V.
6"1,,,•• ,
~(dri)
 d(ri
0 ,,)
dyi
6"1,,,•• ,)
Corollary (c:) Suppou that dim M  d and that Yl' ..• 'Y'f with I < d, is an independent set of functions at m. Then they form part of a coordiruzte system on a Mighborhood of m.
!
Submanifolds, Diffeomorphisms, Inverse Function TMorem 25
. ..;.
Let (U, Xl' ••• ,X.) be a coordinate system about m. Then , dy" dxl, •••• u.} spans M!. Choose d  / of the X, so that {dYlt ... , dYIt dx, •... ,dxc._,} is a basis of M:'. Then apply
PROOF
{dYl' ...
Corollary (b). Corollary (d) Let '1': M  N be ceo, tmd assume that d'l': Mm  N¥(ml is surjective. Let Xl' ...• XI form a coordinate system on some neighborhood of'l'(m). Then Xl 0 '1', ••• , XI 0'1' form part of a coordinate system on some neighborhood of m.
PROOF
..
The fact that d'l'm is surjective implies that the dual map 6tp1..(ml is injective. Thus the functions {x, 0 '1': i = 1, ... ,/} are independent at m since 6'1'{dx,)  d{x, '1'). The claim now follows from Corollary (c).
0
Corollary (e) Suppose that Yl' ... ' y" is a set of Ceo functions on a neighborhood of m such that their differentials span M!. Then a subset of the y,forms a coordinate system on a neighborhood ofm.
PROOF
M!,
Simply choose a subset whose differentials form a basis of and apply Corollary (b).
Corollary (f)
Let '1': M  N be ceo. and assume that d'l': Mm  N¥(ml is injective. Let Xl' ... , X" form a coordinate system on a neighborhood of 'I'{m). Then a subset of the functions {x, 0 'I'} forms a coordinate system on a neighborhood of m. In particular, 'I' is onetoone on a neighborhood of m.
PROOF The fact that d'l'm is injective implies that 6tp1,,(ml is surjective. This implies that {d(x, 0 '1') == 6'1'(dxi): i == 1, ... , k} spans M! . This corollary then follows from Corollary (e).
1.31 The situation often arises that one has a Ceo mapping, say '1', of a manifold N into a manifold M factoring through a submanifold (P,q» of M. That is, 'I'(N) C q>(P), whence there is a uniquely defined mapping '1'0 of N into P such that q>0 '1'0 == '1" The problem is: When is '1'0 of class ceo? This is certainly not always the case. As an example, let Nand P both be the real line, and let M be the plane. Let (IR,'I') and (1R,q» both be figure8 submanifolds with precisely the same image sets, but with the difference that as t  ± 00, 'I'(t) approaches the intersection along the horizontal direction, but q>(t) approaches along the vertical. Suppose also that '1'(0) =: q>(0)= O. Then '1'0 is not even continuous since 'I'ol( 1,1) consists of the origin plus two open sets of the form (<<,+ 00), (00,«) for some « > o.
26
MIlIIIfoIib
Suppou that ,,: N M 18C, that (P,,)
. "
····l··~· . .~.
.
18Q 6UbmJmiJoltJ
of M. tmd that" factDrS tlttwgh (P,,). that 18, ¥<N) c: ,(P). Since, 18 InjectiH, tMre 18 Q UIIitJw mtlppl"g '" of N '~, P",ch that , 0 ".  " • q,to
,_
1.32 Theorem
.
.
(a>
". is
c iflt
18 contlltutnu.
(b) '" 18 continuou.r if , 18 an imlJedding. Another important case in which ". is continuoUi occun when (P,,) is an integral manifold of an involutive distribution on M, as we shall _ in
1.~
Result (b) is obvioUi. So assume that '" is continuoUi. We prove that it is C. It suffices to show that P can be covered by eoordinate systems (U•.,.)such that the map.,. restricted to the open set ",1(U) is C", Let peP, and let (Y.,,) be a coordinate system ODa neighborhood or ,(p) in~. Then by Corollary (f) of 1.30 there exists a projection.". of IR' onto a suitable subspace (obtained by setting eertaiD of the coordinate functions equal to 0) such that the map.,.  .".0 " 0 , yields a coordinate system ODa neighborhood U of p. Then
PROOF
0"
.,. 0
".1 ",1(U)
which is C.
I ",1(U)
1.33 Further Remarks on Submanlfoldl Submanifolds (Nl.fl) and (N ••,.) of M will be called etpdVtllent if there exists a diffeomorphism IX: Nl  N. such that '1 
,.0«.
». ........
f1
.... ...
........ ...
II
, r~
M
.... "lIo.
N.
This is an equivalence relation on the collection of all submanifolds of M. Each equivalence class E has a unique representative of the form (A./) where A is a subset of M with a manifold structure such that the inclusion map I: A  M is a COO immersion. Namely, if (N.,) is any representative
I
Stlbmllllifoids. DiffeomorphiRns. Inverse Function TMorem
27
'.
'..,. ;r.
'¥(N). We induce a manifold Itructure on A by requiring '¥: N  A to be a diffeomorphism. With this manifold structure, (A,i) is a submanifold of Ai equivalent to (N.,¥). This is the only manifold structure on A with the property that (A.I) is equivalent to (N.,¥); thus this is the unique such representative of E. The conclusion ofsome theorems in the following sections state that there exist unique submanifolds satisfying certain conditions. Uniqueness means up to equivalence as defiDed above .. In particular. if the submanifolds of M are viewed as tubsets A c: M with manifold structures for which the inclusion maps are CfI> immersions. then uniqueness means unique subset with unique second countable locally Euclidean topology and unique differentiable structure. In the· case of a submanifold (A,I) of M where i is the inclusion map. we shall often drop the I and simply speak of the submanifold A c: M. Let A be a subset of M. Then generally there is not a unique manifold structure on A aucb that (A,I) is a submanifold of M. if there is one at all. For example, the diagrams in l.3l illustrate two distinct manifold structures on the fi~8 in the plane, each of which makes the figu~8 together with the inclusion map a submanifold of IRI. However. we have the following two uniqueness theorems which involve conditions on the topology on A.
(a) Let M be a differentiable manifold and A a subset of M. Fix a topology on A. Then there is at most one differentiable structure on A such that (A.i) is a submanifold of M, where i is the inclusion map.
(b)
Again let A be a subset of M. /fin the relative topology, A has a differentiable structure such that (A,i) is a submanifold of M, then A. has a uniquemanifold structure (that is, uniquesecond countable locally Euclidean topology together with a unique differentiable structure) such that (A.,i) is a submanifold of M.
We leave these to the reader as exercises. Result (a) follows from an application of Theorem l.32. Result (b) depends strongly on our assumption that manifolds are second countable, and for its proof you will need to use the proposition in Exercise 6 in addition to Theorem 1.32. 1.34 SUces Suppose that (U,'¥) is a coordinate system on M with coordinate functions Xl' ••• , X., and that c is an integer, 0 ::;: c ::;:d. Let a e '¥(U), and let
(1)
S{qeU:x4(q)~(a),ic+
l, ... ,d}.
{xIIS:jl,
...•
c}
forms a manifold which is a submanifold of M called a slice of the coordinate system (U.'¥).
_._
28
..
~;~
.......
...' ~,.
Mfllfifoltb
1.35 Proposition LIt ,,: Mo  N' I¥ 1111 ilnlMrsion, tmd let m E M. Then there exists II cubiccentered coordilulte system (Y,III) about ,,(m) tmd II neighborhood U of m such tlult " U is 1:1 f;!wJ ,,(U) is II slice of (Y,III) •
... OOP Let (W,.,.) be a centered coordinate system about tp(m) with coordinate functions Yl"" ,y,. By Corollary (f) of 1.30 we can renumber the coordinate functions so that
(1)
T _ ".
° .,.° "
is a coordinate map on a neighborhood Y' of m where ".: IR'IR· ia projection on the tint c coordinates. Define fUnctions {x,} on (". ° .,.)l(f(Y'» by setting (2)
Xi
_IY,
(I  1, .•• , c)
10"o0'"
\',y,o"oTdY,
0
(ic+
1, ... ,d).
(i  c
+ 1•...
, d)
for some constants au. By Corollary (b) of 1.30the {x,} form a coordinate system on a neighborhood of ,,(m). ~t Y be a neighborhood of ,,(m) on which the Xl, •••• x, form a cubic coordinate system. Denote the corresponding coordinate map by III. Let U  .,1(Y) ('\ V'. Then U and (Y.III) are the required neighborhood and coordinate system.
I ...
'
29
We emphasize that this proposition only says that there is a neighborhood U of m such that y(U) is a slice of the coordinate system (Y,IP). Even if (M,y) is a submanifold of N, it may well be that y(M) " Y is far from being a slice or even a union of slices. For an example, consider again the figure8 submanifold of the plane:
• 1ft
IM_
Ft'
However, in the case that (M,y) is an imbedded submanifold, the coordinate system (V,IP) can be chosen so that all of y(M) ("\ V is a single slice of V. Let us now consider the question of the extent to which the set of Ceo functions on a manifold determines the set of Ceo functions on a submanifold. Let (M,'P) be a submanifold of N. Then, of course, if fe C""(N), then f M is a Ceo function on M. (More precisely, f v is a Ceo function on M.) In general, however, the converse does not hold; that is, not all Ceo functions on M arise as the restrictions to M of Ceo functions on N. For the converse to hold, it is necessary and sufficient to assume that y is an imbedding and that y(M) is closed. We prove the sufficiency in the following proposition, and leave the necessity as Exercise 11 below.
1.36 Proposldon Let y: M  N be an imbedding such that y(M) is closed in N. If g e CIIO(M),then there exists fe Ceo(N) such that f y  g.
0
To simplify notation, we shall suppress the map 'P and consider MeN.
PROOF
.,.....,..~~
1
30
Mll1Iifoltb
ran.
tf
1.37 JmpUdt PUIldIOD Theorem Let U c: IR..... x IR' I¥ ~'" tmd let f: U  IR' I¥ CfIO. We denote the CImD"ica/ coordiMte system on IR.... X 1R4 by (rl ••..• r..... ~ •...• s,). Suppose that at the point (r, ,.r,) e U
o,
{~L..... ,}
is nonsingular. Then theJy exists an open neighborhood Y of r. In IR..... tmd an open nt!ighborhood W of s. in IR' such that Y x W c: U. tmd there exisu a C'" map g: Y  W such that for tlGCh (P4) e Y x W
(1)
I.
+~~_~R_
I •
Implicit Function TMorems 31
1.38 Theorem
that P  "l(n) is me P. ~n P has of M, where i is imbedding, and the
PROOF
Assume that ,,: Me  N' is C, tltat n is a point of N, noIHmpt)', iI1Id that dtp: M".  N¥(m) is surjective for all a unique manifold structure such that (P,i) is a submanifold the inclusion map. Moreover, i: P  M is actually an dimension of Pis c  d.
According to result (b) of 1.33, it is sufficient to prove that in the relative topology, P has a differentiable structure such that (P,i) is a submanifold of M of dimension c  d. For this it is sufficient to prove that if m e P, then there exists a coordinate system on a neighborhood U of m in M for which P ("\ U is a single slice of the correct dimension. Let Xl, ••• ,X. be a coordinate system centered at n in N. Then since dtp: Mm  N. is surjective, it follows from Corollary (d) of l.30 that the collection of functions {y(  x(
0
tp: iI,
... ,d},
forms part of a coordinate system about m e M. Complete to a coordinate system )'1' ••• ,)'. ')'11+1' ••• ,)'e on a neighborhood U of m. Then P ("\ U is precisely the slice of this coordinate system given by
)'1  )'. •••
= )'.
o.
In this theorem the inverse image of a point is shown to be a submanifold as long as the differential is surjective at each point of the inverse image. A point can be thought of as a Odimensional submanifold. We now generalize this theorem by proving that under suitable conditions the inverse images of higher dimensional submanifolds are themselves submanifolds.
1.39 Theorem Assume that tp: M  N· is Ceo and that (oe,cp) is a submanifold of N. Suppose that whenever m e tpl( cp(O»), then
(I) N.,(m)  dtp(Mm)
+ dcp(O.,I(.,(m)))
(not necessarily a direct sum). Then if P  'l'l( cp(O») and is nonempty P can be given a manifold structure so that (P,i) is a submanifold of M, where i is the inclusion map, with (2)
Moreover, if (O,cp) is an imbedded submanifold, then so is (P,i), and in this case there is a unique manifold structure on P such that (P,i) is a submanifold ofM.
In general, if (O,cp) is not an imbedding, P need not have the relative topology, and there is no unique manifold structure on P such that (P,i) is a submanifold. We leave it to the reader to supply examples.
32
Manifolds
The proof will consist of locally reducing this case to the case of Theorem 1.38. Let P EO. By Proposition 1.35. we can pick a neighborhood W of p aDd a centered coo.rdinate system (Y.,,) with coordinate functions Xl ••••• X, about "CbJ'llCh that IP(W) is the slice
PROQF
r
r~
x.+1
0
ft':
(}1•...,d c).
R'  R'_·_
a,).
So
(5) Let (6) and let (7) U  ",1(Y).
ft' 0
1{IP(W»  {O}.
"1 "
0" 0"
I U: U _
IR'o.
R·...
~
0
"1
"11(0)  ",l(IP(W».
T)
IN¥I""
deft'
T)(N"(,,.,)  t:/vJl(M".)
+ {O}.
Thus by 1.38. ,,l( 9(W» has a unique manifold structure such that (.,l( IP(W»,i) is a submanifold of M; and in this manifold structure,
r•
00
33
vr1( ,(W» has the relative topology and has dimension equal to dim M  dim N + dim O. Cover 0 by a countable collection {W~: i = 1,2,3, ... } of such sets. Then (9) p =
1(
~1
u ,,1( fP{lf,».
If i ~ j, the submanifolds vr and vrl( intersect in open subsets of each other. It follows that the union of the topologies on the various vrl( forms a basis for a topology onP. With this topology, P is a locally Euclidean space with dimension equal to dim M dim N + dim 0; and, moreover, P is second countable since (9) expresses P as a countable union of second countable open subsets. The manifold structures on the various vr1( are compatible on overlaps because of the uniqueness of the manifold structure on vr1( ,(W,» (or any open subset ofvr1( ,(W,») such that (vr1(,(WJ),i) is a submanifold of M (by result (b) of 1.33). Thus the collection of coordinate systems on P containing the coordinate systems on the various vr1( and maximal with respect to 1.4(b) forms a differentiable structure on P. That (P,i) is a submanifold of M now follows immediately from the fact that the (,,I(,(W,»,i) are submanifolds. If (0,,) is an imbedding, the coordinate neighborhood V can be chosen small enough so that ,(0) " V consists only of the single slice ,( W), and thus U "p = ,,1( ,(W». It follows in this case that P has the relative topology; hence (P,i) is an imbedding. The uniqueness of the manifold structure in this case is guaranteed by result (b) of 1.33.
,(WI»~
,(WI»
,(W,»
,(W,»
,(W,»
1.40 Examples
(a) The differential of the function 1(P) =
except at the origin. Thus the sphere Il(r"), for a constant r > 0, has a unique manifold structure for which it is a submanifold of IRd under the inclusion map. In particular, this is the same manifold structure as the one defined in Example 1.5(d). (b) We define a map" from the general linear group G/(d,lR) (Example 1.5(f» to the vector space of all real symmetric d X d matrices by
,,(A) = AA',
I r,(p)"
II
on IRII is surjective
where I is the d x d identity matrix. O(d) is a subgroup of GI(d,lR) under matrix multiplication called the orthogonal group. To apply 1.38 to conclude that O(d) has a unique manifold structure such that (O(d),i) is a submanifold of Gl(d,IR), and that in this manifold structure i is an imbedding and O(d) has dimension i(d(d  I», one
34
MlI1Iifoltb
need only check that ilyI. is surjective at each fI e O(tI). For this, it sufth:es to check that dtp, is surjective, since whenever fI e O(tI),
where '. (right trII1I8lt1tlon by 0') is the dift'eomorphism of G/(d,lR) defined by r.( T) = Ta. We leave the details to the reader u an exercise. VEcrOR PlELDS
1.41 De8DldoDl Smooth curves 0': (a,b)  M and their tangent vecton 6(t) were defined in l.23(e). We say that a mapping 0': [a,b] _ M is a smooth clIIVe In M if 0' extends to be a CO mapping of (a  ., b + s) into M for some, > O. The curve 0': [a,b]  M is said to be piecrNise smooth if there exists a partition a  OCt < «1 < ... < at. = b such that 0' [«, '«'+1] is smooth for each 1= 0, •.. , n  1. Observe that piecewise smooth curves are necessarily continuous. If 0': [a,b]  M is a smooth curve in M, then its tangent vector
6(1) =
dO'(:,D eM.w
0
is welldefined for each t e [a,b]. 1.42 De8DidODI A Hctor /kId X along a CUIW fI: [a,b]  M is a mapping X: [a,b]  T(M) which lifts 0'; that is, " X = 0'. A vector field
T(M)
i·
I
I
..
XCI)
/
"
[• I
•
~
lM.c•
j.
'AI
CJ(,)
Yector Flcrllb
35
X is called a smooth <CO) vector field along a if the mapping X: [a,b]T(M) is C", A vector field X 011 till open .t U In M is a lifting of U into T(M), that is, a map X: U  T(M) such that
" 0
X  identity map on U.
Again, for the vector field Xto be smooth (C.,) means that X e c«'( U,T(M». The set of smooth vector fields over U forms in the obvious way a vector space over IR and a module over the ring CO(U) of c«' functions on U. If X is a vector field on U and m e U, then X(m) (often denoted X.) is an element of M",. Iffis a C., function on U, then X(j) is the function on U whose value at m is X",(j).
1.43 Proposldon
equivalent: <a) X Is (b)
c.
if
{a,} is the
If
(U, Xl' ••• , X,) is a coordinate system on M, tmd collection of functions on U defined by
•a x] U!a,;,
'_1
then a, (c)
(Ix,
e C"(U).
C"(V), then X(j) e C"(V).
PllooF
<a) => (b) The fact that X is smooth implies that U is smooth; and since the composition of differentiable maps is again differentiable, it follows that dx, X U is smooth. (Recall that the dx, are coordinate functions on .".1(U) c T(M), 1.25(3).) But
0
xl
oXI
U
a,.
X(j) U e C"(U) where system on M for which
(c) => (a) To prove that X is C." it suffices to prove that X U is c«' where (U, Xl" •• , xtl) is an arbitrary coordinate system on M. To prove that X U is c«' , we need only check that X U composed with the canonical coordinate functions 1.25(3) on 71'~l(U) are C., functions. Now, X, 71' X U  x, and the, X U X(x,), all of which are c«' functions on U.
0 0
I I
I=
36
Mtlllifoltb
1.44 LIe Bracket If X and Yare smooth vector fields on M. a vector field [X.YJ called the LIe bnIck.t of X and Y by setting (I) 1.45 (b) (c) Proposition (a) [X.YJ i6",..d" Tff,ge mrooth Hclor!kld on M. COO(M). IMII fIX,gYJ /g[X,f] [X.l1.(f) X.( Yf) Y.(Xf).
we define
+ f(Xg)Y
 g(Yj)X.'
(d) ([X,YJ.Z]
+ ([Y.ZJ,x] + ([Z,X],Y] 
We leave the proof as an exercise. Part (d) is known as the Jacobi Itknlily. A vector space with a bilinear operation "Satisfying(c) and (d) is called a Li. algebra. 1.46 Deflnidon Let X be a smooth vector field on M. A smooth curve in M is an inlegral CII1W 0/ X if
6(t) I
..
i
tI
X(a(t»
1.47 Let X be a COO vector field on M, and let m e M. Let us now consider the question: Does there exist an integral curve of X through m, and if so, is there a unique one? A eurve v: (a,6)  M is an integral curve of X if and only if (1)
d"(:r I)  X(,,(t»
(t e(a,b».
Let us interpret this in coordinates. Suppose that 0 e (a,b) and ,,(0)  m. Choose a coordinate system (U,.:p) with coordinate functions Xl' ••• , X, about m. By 1.43(b),
(2) where the" are C'" functions on U. Moreover, for each I such that ,,(1) (3)
d (d
U,
,UI·
.
!
Vector Fields 37
0".
(a) 0 E (a(m),b(m»
(b)
x.
(c)
If p:
(c,d)M Is a smooth curve satisfying conditions (a) and (b), then (c,d) c (a(m),b(m» and p = " ... 1 (c,d).
We continue with the statement of the theorem after the following. Definition
(2)
For each
tE
!iJc = {m
M: t
(a(m),b(m»}
by setting
(3) (d) Xt(m) = " ...(1). For each m E M, there exists an open neighborhood an e > 0 such that the map (4) (t,p)
1+
V of m and
Xt(P)
V into M.
U~t
= M.
is a diffeomorphism with inverse X_t.
X,: ~t !?i_t
Let sand tbe real numbers. Then the domain of X, 0 X, is contained ill but generally not equal to ~Ht. However, the domain of X, 0 X, is ~,+t in the case in which sand t both hare the same Sign. Moreover, on the domain of X, 0 Xt we haoe (5) X.
0
X, = XHt .
..
t 38 Mtlllifoids We let (a(m),b(m» be the UDion of aU the open intervals which contain the origin and which are domains of integral curves of X satisfying the initial condition that the origin maps to m. That (a(m),b(m» " f1J (and hence part (f) holds) follows from an application of the fundamental existence theorem [11, THEOREM 4, p. 28] to the system 1.47(5). Now if at and {J are integral curves of X with domains the open intervals A and B (with A n B " f1J), and if at and {J have the same initial conditions at(I,)  {J(I,) at some point t, E A n B, then the subset of A n B on which at and {J agree is nonempty, open by the basic uniqueness theorem [11, THEOltEM 3, p. 28], and closed by continuity; and hence this subset is equal to A n B by the connectedness of A n B. It follows that there exists a curve )'. defined on (a(m),b(m» and satisfYing parts (a), (b), and (c). The existence of an e > 0 and a neighborhood Y of m such that the map (4) is defined on (e,e) x Vis the content of THEOREM 7 on p. 29 of [11]. That the map (4) is smooth (and hence part (d) holds) follows from THEOREM 9 on p. 29 of [11] on the differentiability of the solutions of 1.47(5) with respect to their initial values. Next We prove part (h). Let IE (a(m),b(m». Then 8 .... )'",(1 + 8) . is an integral curve of X with the initial condition 0 .... )'",(1) and with maximal domain (a(m)  I, b(m)  I). It follows from part (c) that
PROOF
II:
.0
(6)
"y.co(s) 
)'",(1
0
+ 8).
Now let m belong to the domain of X, X,. Then IE (a(m),b(m» and s E (a()' .. (I»,b()' .. (t»), so by (6).8+ IE (a(m),b(m». Thus mE !iI.... " and (5) follows from (7). It is easy to construct examples to show that the domain of X,O X, is generally not equal to !iI..... (Consider, for , example, the vector field alari on IRa  to} with s  1 and I  1.) If, however, s and I both have the same sign, and if m E!iI...." that is, if s + IE (a(m),b(m», then it follows that IE (a(m),b(m» and, by (6), s E (a()' .. (I».b()'",(I»); hence m is in the domain of X, X,. Parts (e) and (g) are trivial if I  0, so assume that I > 0 and that m E!iI,. (A similar argument will prove (e) and (g) if 1<0.) It . follows from part (d) and the compactness of [0,1] that there exists a neighborhood W of ),,,,([0,1» and an e > 0 such that the map (4) is defined and CO on (e.e) X W. Choose a positive integer" large enough so that tln E (e,e). Let ~  X". W, and let Wi  ~1(W). Then for i  2, ...• n we inductively define
0
and
at, 
X". I W'_i
W,  atei( WcJ.
Yeclor
Fields
39
is a COO map on the open set WCl c:: W. It follows that W. is an open subset of W. that W. contains m (since if X,/. composed with itself" times is applied to m, we obtain y",(t), which Jies in W), and that by part (h),
Gtj
(8)
atl° eta
0 •••
at.
I W.
 X,
I W•.
Consequently, W. c:: g,; hence g, is open, which proves part (e). Finally, X, is a I: I map of ~, onto g_,with inverse X_,. That X, is C'" (similarly for X_,) follows from (8), which locally expresses X, as a composition of C'" maps. Hence X, is a diffeomorphism from g, to e.; which proves part (g) and finishes Theorem 1.48.
1.49 DeflD1doDS A smooth vector field X on M is complete if g, ...M for aU t (that is, the domain of y", is ( eo.eo for each m « M). In this case, the transformations X, form a group of transformations of M parametrized by the real numbers called the Iparameter group of X. If X is not complete, the transformations X, do not form a group since their domains depend on I. In this case, we shall refer to the coJ1ection of transformations X, as the loeallparameter group of X. I.SO Remarks A simple example of a noncomplete vector field is obtained by considering the vector field a/arl on the plane with the origin removed.. If a > 0, the domain of the maximal integral curve through (a,O) is (a,+CX». In the case in which the manifold M is compact, .any COO vector field on M is complete. We leave the proof as an exercise.
'P (that is, X
Let 'P: M  N be COO. A smooth vector field X along C"'(M,T(N» and 'II' 0 x ...'P) has local C'" extensions in N if given m E M there exist a neighborhood U of m and a neighborhood Y of 'P(m) such that 'P(U) c:: Y, and there also exists a C'" vector field ~ on Y such that
E
1.51 DefinfdoD
(I)
1.52 Remark It is easy to prove that a C'" vector field X along an immersion 'P: M  N always has local C'" extensions in N. However, if 'P is not an immersion, such extensions generally do not exist. Consider the following example. We shall first define a smooth vector field X along a smooth curve at: IR  IR in the real line. Let
(I) at(t) ... la,
(that is, at ... ra where r is the canonical coordinate function on IR), and let (2) X(t)  i(t) ... dat(:r
D·
40
MflIIi/olds
da.
T(1R1) 
....T(1R1)
... ..
I I I I
I
I

,.. l,i
1R1
•
+1R1 I
•,
i
Since at is a homeomorphism, there is induced a vector field X on 1R1 so that the above diagram commutes. Now, X is a smooth vector field along at, but X is not a smooth vector field on 1R1. To show this, let u  t·. Then (3)
X.  X.e.) 
X(I) 
dat(:'
1 
dati dr
did
dr
.ttI
 31
dr
D

.It)
3U
I/
'
dr •
Thus (4)
X  3rl/'
dr'
at
and the function rll• is not differentiable at the origin. If we extend a mapping into the plane by setting (5)
to be
at(l) 
(t',O),
and again we let X(t)  Ii(t), then X is a smooth vector field along the onetoone CfID curve at in the plane, which admits no local CfID extension to a neighborhood of (0,0).
1.53 Proposldon Let m e Md, and let X be a smoolh vector field on M such that X(m) ~ O. Then there exists a coordinate system (U,,) with coordinatefunctions Xl, ••. , Xd on a neighborhood of m such that
(1)
X
IU 
..!..I u.
aXl
PROOF Choose a coordinate system (V,T) centered at m with coordinate functions Yl' ... ,y" such that (2)
"Yl ,. It follows from 1.48(d) that there exists an e > 0 and a neighborhood W of the origin in 1R'l such that the map aCt, a., ... , ad)  Xt(
T1
X,. 
':i
I.
is welldefined and smooth for (t, aI' ... , a,) e (e,e) x WeIR'.
41
Now.
a is nonsingular
arl X",
da(.!.I) 
..!.I
rl
aYl '"
da(.!.I)".!.1
ar,
aYI '"
(i ~ 2).
Thus by Corollary (a) of 1.30, qI  crl is a coordinate map on some neighborhood U of m. Let Xl ••••• X, denote the coordinate functions of the coordinate system (U.qI). Then since da(aa
. .
(t •••••••••• ,
)aXl
X.u
,•
we have
'
x]
..!.I u.
=
vector fields X on M
1.54 Definition Let qI: M  N be CO. Smooth and Y on N are called qIrelated if dql 0 X Yo qI.
1.55 Proposition Let qI: M  N be CfID. Let X and Xl be smooth vector fields on M, and let Y and YI be smooth vector fields on N. If X is .:prelated to Y, and if Xl is qIrelated to YI, then [X,Xl] is .:prelated to [Y. Yl].
PROOF
let m
We must show that dql 0 [X,Xl] = [Y, YI] Mandie C:"'(N). Then we must show that dql( [X,xl]m)(f)
qI.
For
this,
(I)
(2) dql([X,XI]m)(f)
= [Y, Yl];>(",,(f).
qI)
qI» XI)(f)
0
qI»
0
 Xllm {(dql
0
X)(f)
qI) 
qI)
 dql(Xllm>{Y(j»
DISTRIBUTIONS
THEOREM
1.56 Definitions Let c be an integer, I S; c S; d. A edimensional distribution 9 on a ddimensional manifold M is a choice of a cdimensional subspace 9(m) of M m for each m in M. !!} is smooth if for each m in M there is a neighborhood U of m and there are c vector fields Xl' ... , Xe of class C'" on U which span 9 at each point of U. A vector field X on M is said to belong to (or lie in) the distribution !i) (X E 9) if X me gem) for each
42
MtmJfold8
m eM. A smooth distribution II is called bwolutive (or compktely Integrabk) if [X, Y) e II whenever X and Yare smooth vector fields lying in !II. 1.57 De6nition A submanifold (N,,,) of M is an 1nt.".,,1 mtI1Iifold of a distribution II on M if (I) dyl(N,J  1I(,,(n» for each"
e N.
,
! ,
I
Our object in this section is to prove that a necessary and sufficient condition for there to exist integral manifolds of II through each point of M is that II be involutive. Perhaps a word of explanation is in order about the expression "completely Integrabk" sometimes used in place of "involutive." We have required integral manifolds to be submanifolds whose tangent spaces coincide with the subspaces determined by the distribution. One could define a weaker notion of integral manifold by requiring only that the tangent spaces of the submanifold be contained in but not necessarily equal to the distribution at each point. It is possible for a distribution !II to be "integrable" in the sense that it hu lowdim.ensional "integral manifolds," but not completely integrable in the IeDIe that II does not have integral manifolds of the maximal dimension. For us, unless specified otherwise. integral manifolds of distributions will always be taken to mean integral manifolds of maximal dimension. that is, u defined in 1.57. 1.59 Proposition each point of M there
PROOF
1.58 Remarks
~ ,~
plUHS
Let !II ~ a smooth distributio" on M IUCh that through Q1I Integral manifold of II. Then !II i6 /nfJolutive.
Let X and Y be smooth vector fields lying in !II. and let m e M. We must prove that [X. y)", e !II(m). Let (N,,,) be an integral manifold of !II through m, and suppose that f1{1Io)  m. Since tJ.p: N. !II(,,(n» is an isomorphism at each n in N, there exist vector fields~. on N such that
(I)
tJ.p tJ.p
0~
0 ".
dyJ([~.l]..) e !II(m).
1.60 Theorem (FrobeDfus) Let !II N a cdimmsional. inrJOlutive. ell) distribution on M~. Let m e M. Then there exists Q1I Integral mQIIifold of !II passing through m. Indeed. there exists a cubic coordinate system (U,'P) which is centered at m, with coordinate .functions x" ••• ,x, IUCh that the slices
(1) x,  constant
for all
t e {c
+ 1, ...•
d}
are integrall'1lllnij'olds of !II; ad if (N,,,) i6 a COlfMcted Integral mQIIifold of!ll such that ,,(N) c:: U, then f1{N) lin In OM of these slices.
__________________________________________________
.~ ~I~·
.f
43
,
·'
We sball prove the existence part of the theorem by induction on e. For the case e  I, choose a vector field X lying in g, defined on an open neighborhood of m, such that X(m) "0. Then Proposition 1.S3 yields a coordinate system (U,cp) about m, which can be taken to be cubic centered, for which X U  a/ax1• Hence the theorem holds for e  1. Now assume that the theorem holds for e  1; we prove it for a distribution g of dimension e. Since g is smooth, there exist smooth vector fields Xl' ... , Xc spanning g on a neighborhood. P of m. By 1.S3, there exists a coordinate system (V,]u ... ,].) centered at m, with V c: p. such that
ftOOF
(2)
a XdVa. Y1
Y,  X,  X.(Y1)X1
2, ... ,e).
Then the vector fields Y1,..., Yc are independent C spanning !I in V. Let S be the slice ]1  0, and let (4) (S)
fIJ
vector fields
z, ==
Yel S
(i
==
2, ... , e).
== 0
(i
== 2, ... , e),
the Z. are actually vector fields on S; that is, Z.(q) e S" whenever 1 dimensional distribution on S.
44
MfIIIl/olib We claim this is involutive. Indeed, the Z, are I.related (inclusion map of S in M) to the Y" and therefore, by 1.55, their Lie brackets are also i.related to the corresponding ~~~ets of the But [Y., Y/1, (1,1 ~ 2), has no component in the Y1 t:liieetiOD (apply to 11 and get 0). Therefore, there exist functions cu. such that
r..
c
(6)
[Y,'Y/1 
on Y, and thus
(7) [Z,,z/1 
..
•
I~/.~
..
I
I
__ I
f~/.
Z•.
f•
,
!
This proves that the distribution on S is involutive. By the induction hypothesis, there exists a centered coordinate system w..... , w. on some neighborhood ofm in S such that the slices defined by w,  con. stant for aU i E {c + 1, ... , d} are precisely the integral manifolds of the distribution spanned by Z., ... , Z. on this neighborhood. The functions (8)
"I 
w, 0 ff'
where ff': Y  S is the natural projection in the y coordinate system, are defined on some neighborhood of m in M, are independent at m, and they all vanish at m. Thus there is a cubiccentered coordinate system (U, 'P) with the coordinate functions "1' ... , ". on a suitable neighborhood U of m. We now prove that (9) y,("e+9') • 0 on U (I  1, ... , c; r  1, ... , d  c). From this it follows that the vector fields form a basis for !I at each point of U, and thus the slices (1) are integral manifolds To prove (9), fil'lt observe that (8) implies that
a/a"I,' .. , a/a"e
«e.
(10)
~ _ {I aYl 0
(J  1) (J  2, ... , d)
a aXl
so certainly (9) holds for iI. r E {I, ... , d  c}. By (11), ._ .(12)
45
aX1
• (Y<xe+r» = IcuYt(x.+t')
P.
(i
=
2, ...•
c;
r = 1, ...• d  c).
Slices x. 
_"
...•
JC. 
COIIIl
Fix a slice of U of the form X. = constant, ... , x, = constant. On such a slice, Y,(x.+t') is a function of Xl alone, and (14) becomes a system of c  1 homogeneous linear differential equations with respect to Xl. Such a system has a unique solution with given initial values [II]. Since the system is homogeneous, the 0 functions give a solution. But each such slice has a unique point in S f"'I U, and on S f"'I U,
(IS)
Y,(xc+r)
= Z,(we+r) = 0
(i
= 2,
•.. , c).
The first equality follows from (4) and (8), and the second from the fact that the integral manifolds of the distribution on S determined by the Z, are given by suitable slices in the w coordinate system. It follows from (14) and (15) that the functions Y,(xc+t') must be identically zero on U. Thus (9) holds, and the induction step is completed. Finatty, suppose that (N,,,,) is a connected integral manifold of !I such that ",(N) c U. Let 'IT be the projection of IR' onto the last d  c coordinates. Then vectors in !I are annihilated by d('IT 0 'P). Thus
d('IT
'P ",)1.
0
i!E
for each n E N. By 1.24, 'IT 0 'P 0 '" is a constant map since N is connected. Thus ",(N) is contained in one of the slices (I). 1.61 Remarks The classical version of the Frobenius theorem appears quite different from our version in 1.60. The classical Frobenius theorem can be formulated as follows.
46
Mtmi/oltb
Let U and V be open sets in IR· and IR" respectively. We use coordinates '" ... ,r. on IR· and I" ••• ,1" on IR". Let (1)
b: U
1·
!
I
V M(tt,m)
be a CO map of U x V into the set of all n x m real matrices. and let (r.,1.) e U x V. If
ab" I' (2) ab., ab., .. b1, b)  0 + ~ (ab" a" ar, aS aS
1_1 I I
(I  1•...•
,,; y.
P
1•...•
I.
m)
on U x V. then there exist neighborhoods U. of and a unique C«J map (3) such that if ar.,(r)  «(r.l) then (4) «a(r.) I.
r. in
U and V. of
in V
..
d«,lr  b(r.«(r.s»
for all (r,l) e U. x V•. Equation (4) is a socalled total differential equation. We specify in (I) what the differential of a map should be as a function of the graph, and in (2) we have a necessary and sufficient condition for the existence of such a map with the specified initial conditions. It can be shown that this version is equivalent to 1.60. For example, if we start with a cdimensional, involutive, C«J distribution ~ on M" and a point m e M. then we can obtain 1.60 from the classical version as follows. We can first choose a coordinate system (W ..,) about m with coordinate functions Ylt ...• y" and with T(W)  U X V c: IRc x lRtlc. for which there exist (:tie functions III on U x V (I  1•..•• c; j  I•...•d  c) such that the vector fields (5) span~on (6)
y,  
a
0
T 
aY'+I
(I  1•...•
c)
It turns out that the involutivity of ~ implies that (2) is satisfied. and from the map« one can obtain the desired coordinate system 1.60(1). Conversely. one can obtain the classical version from 1.60 in a similar way. We shall give in Chapter 2 yet another version of the Frobenius theorem in terms of differential forms and differential ideals.
Distributions tmd the Frobenius Theorem In 1.32 we factors through 1p.: N  P, and tant case occurs tion on M.
47
considered the situation in which a C«J map 1p: N  M a submanifold (P,'P) of M so that 1p = 'P 01pt where we sought sufficient conditions for 1pt to be C", An imporwhen (P,'P) is an integral manifold of an involutive distribu
1.62 Theorem Suppose that 1p: N  M" is C«J, thllt (pe,'P) is Il1I integrlll manifold of lin involutive distribution !I on M, tl1Id that 1p fllctors through (P,'P), that is, 1p(N) C 'P(P). Let 1p.: N  P be the (unique) mapping such that 'P 0 1p. = 1p.
(1)
Then
1p.
PROOF
Let P belong to an open set U in P, and let n e 1p.1(P). Using 1.60, we can obtain an open set 0 with P e 0 C U and a cubic coordinate system (V,T) centered at 'P(p) with coordinate functions X1' ••• ' X" such that the slices
(2) x.
= constant
Xe+1
for all i e {c
+ I, ...
, d}
are the integral manifolds of !I in V, and such that 'P( 0) is the slice (3)
= . . . = x" = o.
W is open. To prove that 1p. is continuous, we need only prove that C 0 C U. By the commutativity of (1) and the injectivity of 'P, it suffices to prove that 1p( W) lies in the slice (3) of V. Now, 1p is continuous and W connected; hence 1p(W) is connected. Moreover, 1p(W) has at least the point 1p(n) in common with the slice (3). So since 1p(W) lies in a component of 'P(P) f"'I V, it is sufficient to prove that components of 'P(P) f"'I V are contained in slices of the form (2). Let C be a component of 'P(P) f"'I V, and let 71": V  IR"e be defined by
1p.(W)
(4)
Then since P is second countable, and since 'P(P) f"'I V is a union of the slices (2) due to the fact that (P,'P) is an integral manifold of !I, it follows that 71"( 'P(P) f"'I V) consists of a countable number of points in IR"c. Thus 7I"(C)is a connected countable subset of IRcIe; hence 7I"(C)is a single point, and C lies in a single slice.
48
Mfllli/oltb
1.63 DeflDidon A maximal integral manifold (N.,,) of a distribution tI on a manifold M is a connected integral manifold of!6 whose image in M is not a proper subset of any other connected integral manifold of!6. 'Jl?at is. there does not exist a connected integral ~fold (NlO",) of!6 such that V'(N) is a proper subset of 'heN,).
1.64 Theorem
M". Let me M. TMn through m there passe8 a uniqw maximlll connected integral manifold 01!6. and every connected integral manifold oltl through m
Existence Let K be the set of all those points p in M for which there is a piecewise smooth curve joining m to p whose smooth portions
p
III
IDtep cune of •
are ldimensional integral curves of tI. that is. their tangent vectors belong to!6. By 1.60 and the second countability of M. there is a countable covering of M by cubic coordinate systems {(U,. Xl' ••••• xl): i  O. 1.2 •... } such that the integral manifolds of!6 in U, are the slices
(1)
X~+I 
constant
We shall assume that me U•. Now let p e K. Then there exists an index ill such that p e U'•• and there is a slice S'. of U'. of the form (I) containingp. Observe that S'. c K. It follows from 1.60 that the collection of all open subsets of all such S'. as p runs over K forms a basis for a locally Euclidean topolOgy on K. and that we obtain a differentiable structure on K if we take the maximal family of coordinate systems (with respect to 1.4(b» containing the collection (2) {(S'.'
Xl'·
1 S'.' ...•
Xc'· 1 S,):
p e K}.
We claim that K with this topology and differentiable structure is a connected differentiable manifold of dimension c. K is clearly connected since it is pathwise connected by construction. We have only to prove that the topology on K is second countable. For this. fix an i e (0. 1.2 •... ). We need only show that there are at most countably many slices of U, in K. Each point of U, which lies in K is joinable to m by a piecewise smooth curve whose range also lies in K. To each such curve from m to points in U, there corresponds (although not uniquely) afinite sequence (3) U•• U'a' •.•• U'.' U.
·
( ,
i
,
;
:
•' .
49
t r
t
t. i:
l
of the coordinate neighborhoods through which the curve passes in order. The curve thus begins in the slice of U. containing m, passes through some slice of U'l' then through some slice of U.. , and so on, until in a finite number of steps it reaches a slice in U,. Since there are at most countably many such sequences (3) from Uo to U" we need only show that for each such sequence there are at most countably many slices of U, reachable in the above manner. For this, we need only observe that for any J, k e (0, I, ... ) a single slice of U1 can intersect at most countably many slices of Ut; for if S is a slice of U1, then S f"'I Ut is an open submanifold of .~ and therefore consists of at most countably many components, each such component being ~ connected integral manifold of [I in Ut, and hence lying in a slice of Ut. This proves the '+__. u. second countability of X. (X,i), where i: X  M is the inclusion map, is now a submanifold of M and is a connected integral manifold of [I passing through m. Moreover, (X,i) is a maximal connected integral manifold of [I. For let (N,V') be any connected integral manifold of [I passing through m, and let p e V'(N). There is a piecewise smooth curve c: (0,1]  N joining V'l(m) to .,1(p). (Connected manifolds are pathwise connected.) Then V' c is a piecewise smooth ldimensional integral curve of !!d . connecting m to p. Thus p e X, and so V'(N) c: X, which proves that X is maximal. Thus we have proved the existence of a maximal connected integral manifold (X,i) of [I passing through m, and have proved that every connected integral manifold of [I through m has its image inX. Uniqueness (cJ. 1.33) Let (N,tp) be any other maximal connected integral manifold of [I passing through m. As we have observed above, V'(N) c: X; thus V' factors as follows:
0
11'11 is Coo by 1.62, and is 1: 1 and nonsingular since V' is 1: 1 and nonsingular. 11'0 is onto since the fact that (N,V') is a maximal integral manifold of [I through m implies that V'(N) cannot be a proper subset of X. It follows from Corollary <a>of 1.30 that 11'0 is a diffeomorphism. Thus (N,V') and (X,i) are equivalent, and the maximal connected integral manifold of [I through m is unique .
50
MfIIIl/oltb
2 The usual 4ifferentiable structure on the real line R was obtained by taking , to be the maximal collection containins the identity map. Let'l be the maximal collection (with respect to l.4(b» containins the map I ....II. Prove that , " but that (IR') and (IR' J are 4iffeomorph.ic.
'1.
3 Let {U.} be an open cover of a manifold M. Prove that there exists a refinement {V.} such that V. c: U. for each IX. 4 Use the fact that manifolds are regular and paracompact to prove that manifolds are normal topological spaces. Prove that if ,,: M _ N is Coo, onetoone. onto, and everywhere nonsingular. then" is a diffeomorphism. (This proposition depends strongly on the IecODd countability of M. Here is an outline for a proof. This map " is a diffeomorphism if and only if dtp is surjective everywhere. If dtp is not surjective at some point, then the dimension of M is less than the dimension of N. Let dim M  P and dim N  d. Assuming that p < d. one arrives at a contradiction u follows. Let (U,'P) be a coordinate system on N such that 'P(U)  IR·. Since" maps M onto N. the.range of 'P is all of IR·. Now we show that this yields a contradiction. One way is to use 1.35 to observe that the .range of 'P is a countable union of nowhere dense seta in IR·. and therefore, by the Baire category theorem, could not possibly be all of IR·. Another way is to use the fact that p < d to prove that the range of 'P 0 " has measure 0 in IR·. which also is a contradiction (where a set in IR· has measure 0 if it can be covered by a sequence of balls. the union of whose volumes is arbitrarily small). That the range of 'P has measure 0 in IR· follows from the second countability of M and the fact that a CS map IRlJ IR· has image of measure 0, and this, in tum, follows from the fact that a CS map IR· _ IR· takes sets of measure 0 to sets of measure O. To prove the latter, observe that if f: IR· _ IR· is CI, and if A is a compact set in IR·, then/has a Lipschitz constant KonA,
0"
0"
.'
i
1
0"
•i
I
I
I
, I
~
(x,]
e A).
so that/magnifies the volume of balls in A by at most X·, and hence takes sets of measure 0 in A into sets of measure 0.) 7 Prove 1.33(a) and (b).
ExerCW8
51
8 Obtain the classical implicit function theorem 1.37 from 1.38. , Let I: IRI  IR be defined by. I(x.y)  xl + xy
+ ,. + 1.
For which points p  (0.0). p ... (l.l). p ... (1.1) is fl(J(p» an imbedded submanifold in IRI?
10 Let M be a compact manifold of dimension n, and let f: M  IR" be CZ'. Prove that f cannot everywhere be nonlingular. 11 Find counterexamples to show that Proposition 1.36 would fail if either of the hypotheses closed or imbedded were deleted. In fact. one can prove more; namely. if (M.V') is a submanifold of N such that whenever g e C"'(M) there is a CZ' function I . on N such that f V' ... g. then V' is an imbedding and V'(M) is closed inN.
0
I
t
1
~
12 Supply the details for 1.4O(a) and (b). 13 Prove Proposition 1.45. 14 Is every vector field on the real line complete? 15 Prove that if (U. XIo •••• (iJ/iJx.,iJ/iJx/l ... 0 on U. x.) is a coordinate system on M. then
16 Let N c M be a submanifold. Let v: (lI,b)  M be a C'" curve such that ,,(a,b) c N. Show that it is not necessarily true that r(/) e N,,(,> for each I e (a,b). 17 Prove that any C'" vector field on a compact manifold is complete. 18 Prove that a C'" mapf: IRI _IRI l' cannot be onetoone. Supply the details of the equivalence of the two versions 1.60 and 1.61 of the Frobenius theorem.
20 Let cp: N  M be C ..., and let X be a C ...vector field on N. Suppose that dcp(X(P»  dcp(X(q» whenever cp(p)... cp(q). Is there a smooth vector field Y on M which is cprelated to X? 21 The torus is the manifold Sl x Sl. Consider Sl as the unit circle in the complex plane. We define a mapping cp: IR  Sl x Sl by setting cp(/) ... (el .. " .e.... where IX is an irrational number. Prove that (lR,cp) is a dense submanifold of Sl x Sl. This submanifold is known as the skew line on Ihe lOTUS.
CI~
22 Let ,,(/) be an integral curve of a vector field X on M. Suppose that r(/) ... 0 for some I. Prove that" is a constant map, that is, its range consists of one point.
23 A Riemannian structure on a differentiable manifold M is a smooth choice of a positive definite inner product ( , ). on each tansent space M., lDlooth in the sense that whenever X and Y are CO vector fields on M, then (X, y) i. a ClIO function on M. Prove that there exists a Riemannian structure on every differentiable manifold. You will need to use a partition of unity argument. A RJemaruaitm ma"ifold is a differentiable manifold together with a Riemannian structure. 24 Consider the product manifold M x N with the canonical projections "'I: M x NM and "'I: M x NN. (a> Prove that at: "'1 at are CO.
0
"'10
at
and
(b) Prove that the map V .... (tbr1(V),tbrl(v» is an isomorphism of (M x N)(•. ,., with M. E9N". . (c)
Let X and Y be CO vector fields on M and N respectiveJy. Then, by (b), X and Y canonically determine vector fields Z  (X,O) and ,  (0, Y) on M x N. Prove that [Z, Y]  o.
(d) Let ("'0.".) e M x N, and define injections i.. : M  M x N and i.. : N  M x N by setting i.. (m) == (mA), i.. (,,) = ("'0,,,).
Let ve (M x N)(..... ,. and let VI = h1(v) e M.. and hl(v) eN ... Letfe CIIO(M x N). Prove that v(f)  v1(jo i,.)
VI
=
+ VI(jo
i..>.
2
IDIIDcID
,I
i
i
There are a number of vector spaces and algebras naturally associated with the tangent space M",. Suitably smooth assignments of elements of these spaces to the points in M yield tensor fields and differential forms of various types. We shaU first develop some of the pertinent facts from multilinear algebra, and then beginning with 2.14 we shall apply these concepts to manifolds.
(1)
(v,
WI
+ VI' w) + W.) 
(Vl'W)
(VI'W)
(v,w1)
(v,w.)
v, VI'
VI E
QEIR) V
W
W, WI> WIE
The quotient space F( V, W)/ R( V, W) is called the tensor product of V and Wand is denoted by V ® W. The coset of V ® W containing the element (v,w) of F(V,W) is denoted by V ® w. It foUows from (1) that we have the foUowing identities in V ® W:
(VI V
® W + VI ® W ® WI + V ® WI a{v ® w)  av ® w  V ® aw.
VI V
I ,
I
55
2.2 The following properties of the tensor product are easily established, and are left to the reader as exercises, (a) Universal Mapping Property, Let cp denote the bilinear map (v,w) ..... v ® w of V x W into V ® W. Then whenever U is a vector space and 1: V x W  U is a bilinear map, there exists a unique linear map
t'\
i: V ®
W
i
I
I i 1
(I)
,
t
VxW
ri.._
I
0
~U
The pair consisting of V ® Wand cp is said to solve the universal mapping problem for bilinear maps with domain V x W, Moreover, V ® Wand cp are unique with this property in the sense that if X is a vector space and qi: V X W  X a bilinear map with the above universal mapping property, then there exists an isomorphism lit: V ® W X such that lit cp .. qi, (b) (c) (d)
(e)
Let {eo: i == 1,. , . ,c} and U:i == 1" " ,d} be bases for V and W respectively, Then {e. ®J;: i == 1" .' ,c and i == 1,., , ,d} is a basis of V e w. The tensor space Vr •• of type (r,s) associated with V V 0 .. , ® V ® V* ® . , , ® V*, '"~
r copies , cciPlea
T(V) ==
I Vr,.
(r, s ~ 0),
where Vo.o == lR, is called the tensor algebra of V. Elements of T(V) are finite linear combinations over lR of elements of the various Vr •• and are called tensors. T(V) is a noncommutative, associative, graded algebra under ® multiplication, where if u == ® ' , , ® ® "~ ® ' , . ® belongs to Vr1"1 and v == VI ® ' , , ® t'r. ® v: ® ' .. ® v~ belongs to Vr •••• ,
"1
"r1
":1
56
v is deJined by
®
VI
v
"1
® ••• ®
Uri
® • •• ®
Vr•
ui
® ••• ®
u.~
Vi
® ••• ®
V:.
tf~i;;;';;'L' ;\
and belongs to Vri+r•••i+•• , Tensors in a particular tensor space Vr•• are called homogeneous of degree (r,s). A homogeneous tensor (of degree (r,8), say) is called decomposable if it can be written in the form
VI
e ... ® e, ® vi e ... e V:
,r)andvjeV*
wherev,eV
(iI,
...
(jI, ...,s).
2.4 DefinidoDl
Let J( V) be the twosided ideal in C( V) generated by the set of elements of the form V ® V for v e Y, and set .
(1) 1~(V)  leV) f"'I Y~ ••.
....
I V~.oof
GO
T(V) .
It follows that (2) and is a graded ideal in C(V). The exterior algebra A(V) of V is the graded algebra C(V)/I(V). If we set
(3) A.(Y) Y~.oI1~(V) (k ~ 2), Ao(V) IR, AI(V) Y,
then (4) We shall denote multiplication in the algebra A(V) by A. This is called the wedge or exterior product. In particular, the residue class containing VI ® ••• ® v~ is VI A ••• A v~. 2.5
(I)
Definition
A multilinear map
h: Y
x ... x
V
(VI' •.. , Vr
e V),
for all permutations 1r in the permutation group Sr on r letters. Sgn 1r is the sign of the permutation 1r (+ 1 if 1r is even, I if 1r is odd). The vector space of all alternating multilinear functions
YX'''xV1R
[:
57
2.6 The following properties of the exterior algebra are left to the reader as exerCises: ;' (a) Ifu e A.,(V) and v e A,(V). thenu A v eAI:+I(V)andu A v  (I)"lv A u. (b) If e1, ••• , ed is a basis of V, then
(1)
is a basis of A(V), where CI> runs over all subsets of {I•.••• d}. including the empty set; where e. == e~A ••• A e'r with il < ... < ir when CI> is the subset {i1 ••••• ir} of {I•..•• d}; and where e.  1 when CI> == 0. In particular. ~(V)=: fR. (2) ~/(V) == to} (j> 0). Moreover. it follows that dim A(V) _ 2d. (3) dim A,,(V) _
(d\k _
k/
d! k!(d  k)!
(0 ~ k ~ d).
(Hint: Observe that the elements {e.} span A(V). To prove that they also are linearly independent. fint prove that el A ••• A ed is not zero in ~(V). For this. one must show that el ® ••• ® ed does not belong to I(V). Express an arbitrary element of I(V) in terms of the basis vectors eh ...• ed' and show that it could not equal el ® ••• ® ed. Then for linear independence of the entire set {e.}, multiply the equation I a.e.  0 by suitable products of the e, to land in ~(V), and conclude that the various a. are aU zero.) (c) Universal Mapping Property. Let cp denote the mapping (Vt ••••• VI") ..... A v., of V x ... x V (k copies) into A.,(V). Then cp is an alternating multilinear map. Now to each alternating multilinear map h of V x ... x V (k copies) into a vector space W, there corresponds uniquely a linear map h: A,,(V)  W such that h cp == h.
VI A •••
0
A.,(V) (4)
9'
VX"'KV
 ... ....... 
h
....... h
_ _.,
t copiea
The pair consisting of A,,( V) and cp is said to solve the universal wrpping problem for alternating multilinear maps with domain V x . .• x V; and this is the unique solution in the sense that if X is a vector space and ~: V x ... x V  X an alternating multilinear map also possessing the universal mapping property for alternating multilinear maps
58
(5)
of A(VJ· with the vector space ..4.,(V) of all alternating multilinear functions on V x ... x V (k copies). It follows from property (b) that ..4.,(V)_ to} for k > dim V. We shall now consider various dualities between the spaces Vr•• , A.,(V), A(V) and the corresponding spaces (V·)r .•, A.,(V·), A(V·) built on the dual space v· of V.
2.7 De8nldOD Let V and W be real finite dimensional vector spaces. A pairing of V and W is a bilinear map ( , ): V X W  IR. A pairing is called nonsingular if whenever w " 0 in W, there exists an element v e V
such that (v,w) "0, and whenever v" we W such that (v,w) " O.
(1) ,: V
It follows that , is 1: I. Similarly, there is a 1: 1 map w V·. Therefore V and W have the same dimension, and hence , is an isomorphism of V with W·. Thus a nonsingular pairing of V and W in a canonical way yields an isomorphism ,: V  w· and similarly an isomorphism W  V·. 2.8 De8nldon ..4 nonsingular pairing of (V·)r .• with Vr.•• This pairing is to be the bilinear map (V·)r .• x Vr.•  IR which on decomposable clements . and 17._".®···®".®" "r "1 .. _ "1 ® ... ® yields.the following:
(1)
r+l
(v·...) _ vt(..J
V~'("r+.)'
It is easily checked that there is a unique such bilinear map and that it is a nonsingular pairing. This pairing establishes an isomorphism (2) (V·)r .•~ (Vr•• )·. On the other hand, the obvious extension of the univcrsal mapping property 2.2(a) shows that there is a natural isomorphism
(3) (Vr ••)·
~
Mr ••(V)
• I
:i
'Y
Tensor tmd Exterior Algebras where Mr •• (Y) is the vector space of all multilinear functions V
59
Under the isomorphism (3). if (V,..•)·. then the corresponding multilinear function h in M,.••(V) aatisfies
(4)
'e
• eoP'lea
h(vl
•••••
v,.. v~ •••••
V:) 
V:).
A raonsingular pairing 0/ A.. V·) with A..(V). This ( pairing is to be the bilinear map of A.. V·) x A.,(v)  IR which on decom( posable elements A ••• A in A..CV·) and ..  ~ A ••• A.... in A..( V) yields
2.9 Defln1doD
v·  vt
v:
(1)
(v·...)  det(v~("i»' Again it is easily checked that there is a unique such bilinear map and that it is a nonsingular pairing. For k  O. the pairing is simply multiplication of real numbers. This pairing establishes an isomorphism
(2) A..(V·) ~ A..(V)·.
A.,( V).
S!: A ..( V)
A.,(V·) ~A ..(V).
Using the isomorphism (2). and observing that the dual space of a finite direct sum is canonically isomorphic to the direct sum of the dual spaces, we obtain isomorphisms (5) A(V*)  IA .. Y*) S!: IA ..(Y)· ~ A(Y)·, (
"0
1:0
...
...
== IAt(Y).
... "_0
Henceforth we shall make use of the identification (5) of A(V·) with A(V)· via the pairing (1) without further comment.
;8
60
A(y)* ~ A(Y).
The second of these is the natural isomorphism arising from the universal mapping property 2.6(c). The first, call it at for the moment, arose from our choice of the pairing 2.9(1). There is another pairing in common use, this one obtained by replacing 2.9(1) by (1) This pairing gives a different isomorphism of A( V*) with A( V)* , call it fJ. Now A(V*) is an algebra under wedge multiplication. Via the above isomorphisms we obtain two algebra structures fl.. and fl., on A(V). It is not difficult to see that if IE A.(V) and g E Af(V). then these induced algebra structures on A(V) take the form
(2)
I fl.. g(Vl
•••••
Vlt+e)
I ".f
and (3)
.... 1I ••••
, V.Ilt+e)
.buffle.
I fl., g(Vl'
==
(p
•••• 1
VJl+f)
....
U.···.V.IJI+')·
Here a permutation "E S..... is called a "p, IJ shu1lle" if ,,(I) < ,,(2) < ... < "ep) and ,,(p + I) < ... < ,,(p + q). It follows from (2) and (3) that (4)
IfI..,_(p+q)!/fI. p!q!
g.
'
For example. consider the case in whichp == q == 1. Let rand /) belong to V* == A1( V). and let e, WE V. Then r fl../) and r fl., /) E AI(V) and
(5)
whereas (6)
r fl., /) (v,w) == HY(v) 6(w)  r(w) 6(v».
We shall use only the pairing 2.9(1). It has the advantage of avoiding factors such as the I in (6).
• 1
:'f '.1'.',~
61
2.11 Unear Transformations or A(Y) End(A(V» will denote the vector space of all endomorphisms of A(V) (i.e. linear transformations from A(V) into A(V». Let U E A(V). Left multiplication by u is the endomorphism e(u) of A(V) defined by
(1)
e(u)v  u A v
(v
A(V».
The transpose ;(u) of e(u) is an endomorphism of A(V)*. Under our identification of A(V)* with A(V*), the transpose ;(u) can be considered as an endomorphism of A(V*), and this endomorphism is called interior multiplication by u. In terms of our pairing of A(V) with A(V*), i(u) is defined by
(2)
UA
w)
(v*
A(V*);
WE
A(V».
;(u)v* == (/(u)v*.I) == (v*. B(U). 1)  (v* .u) == v*(u). An endomorphism I of A(V) (or in general of any graded algebra) is (a) a derivation if I(u
A
(b) an antiderivation
(u
E Ap(V);
E A(V»,
(c)
of degree k if I: Aj(V)  AjH(V) for ail}. (We assume that ~(V) == {O} if 1< 0.)
It is easy to see that I E End A( V) is an antiderivation if and only if on decomposable elements we have
(3) l(vl A'"
A
Vi) ==
11
I (_l)'+lVI A'"
lev,)
A'"
AVj.
2.12
Proposition
PROOF
1/ u E V,
That the degree of i(u) is I if u E V is clear from the definition 2.11 (2). To prove that i(u) is an antiderivation, we check that 2.11 (3) holds. For this, it is sufficient to see that both sides of 2.11(3) give the same result when paired with an element of A( V) of the form A ••• A wi' That is, we must show that
"'I
(1)
(i(u)(v~
A' •• A
vr),
WI A •••
Wi)
A
== (t(1)4+lv~
A'"
i(u)v~
A'"
vr,
WI
A'"
Wi)'
62.
TnuDI'l
tmd Differential
ED"",
A WI) 
det(ot{w,}),
WI 
II. A

'_I
I (_1)C+I0:,(uxor
I
A'"
01. WI A'"
A WI)
T, .... J)
•
I
\
where
(2)
I(VI
A •••
A Ot) 
1(t1J) A
•••
l(oJ
and
1(1)  1.
Our isomorphisms 2.9(5) of A(V·) with A(V)· and of A(W·) with A(W)· are natural in the sense that (2) is the transpose of (1); that is.
(3)
(6/(w·),0)  (w·./(v»
(w· e A(W*);
0e
A(o».
(I) Tr.~(M)(2)
(3) A:(M) A·(M) 
tensor bundle of type (r,s) over M exterior k bundle over M exterior algebra bundle over M .
_II
... JI
In the cases in which k .. 0 and (r.s)  (0,0), the unions in (I) and (2) are disjoint unions of copies of the real lineone copy for each point in M. Tr••(M), A:(M), and A *(M) have natural manifold structures such that the canonical projection maps to !rI are Coo. If (U,tp) is a coordinate system on M with coordinate functions Yl' ... ,Y4' then the bases {alay,} of M .. and {dy,} of M!, for me U. yield bases of (M ..)r •• ' At(M!), and A(M!). For. example, the basis of At(M!) is {dY'l A ••• A dy,,,: II < ... < It}·
63
Using these bases, one can define maps of the inverse images of U in Tr.,(M), A: (M), and A*(M) under the respective projection maps to cp(U) x Euclidean spaces of the proper dimensions. By requiring these maps to be coordinate systems, one obtains the natural manifold structures on Tr.,(M), A:(M), and A *(M) just as we did previously in 1.25 for T(M) and T*(M) (which incidentally is simply At(M).
2.15 Definfdon A C<IOmapping of Minto Tr.,(M), A:(M), or A *(M) whose composition with the canonical projection is the identity map is called a (smooth) tensorfield 01 type (r,s) on M, a (differential) kform on M, or a (differential) form on M respectively. Since our tensor fields and differential forms will always be smooth in this sense, we shall drop the adjectives "smooth" and "differential" unless needed for emphasis. 2.16 Remarks A lifting at: M  Tr.,(M) is a smooth tensor field of type (r ,s) if and only if for each coordinate system (U, Y1>... ,Y.) on M, Y4. where the a,I ..... .:II ....,1. e C<IO(U). (In the classical tensor notation one 4 uses lower indices on tangent vectors, upper indices on functions and differentials, and the reverse on coefficients; thus the individual terms of (1) would appear as
Yh
(1)
at
I U  Iah ..... ..... I. aa e ... e aa e dYI e ... e dYI., ~II
I
ah
11
'. 1.
all ®
...
®
al' ® dyll
® ...
® dyl «, )
A lifting p: M  A:(M) is a differential kform if and only if for each coordinate system (U,Ylt ... ,Y..) on M, (2) where the b,I ..... are C<IO functions on U. 2.17 Deflnidons E1r(M) shall denote the set of all smooth kforms on M, and E*(M) the set of all differential forms. £G(M) can be identified with C<IO(M); indeed, the differentiable manifold A:(M) is simply M x IR, and smooth liftings of Minto M x IR are simply graphs of C<IO functions on M. Forms can be added, multiplied by scalars, and given a product (A). If co, cp e E*(M) and c e IR, then co + cp, cco, and co A cp are the forms which at m have the values co", + cp"" cco"" and COm A CPm respectively. In the case in which I is a Oform and co E E*(M), we write I A co simply as fi». E*(M) thus has the structure both of a module over the ring C<IO(M) and of a graded algebra over IR with wedge multiplication.
,t
64
l.18 Let co e I!'(M). Then co. e ~(M!>, and can be considered (via the duality 2.9(4» as an alternating multilinear function on M.. So if Xl> ••• ,Xa are vector fields on M, co(XI, ••. ,Xt) makes senseit is the function whose value at m is . ., (I) Thus, if we let X(M) on M, then (2) denote the Coo(M) module of smooth vector fields x ••• x X(M) _ Coo(M)
t
coplee
f!
co: X(M)
and is an alternating multilinear map of the module X(M) We stress that co is multilinear over the Coo(M) module X(M);
(3) co(XI, ... , X'_l
i
•
.•. , Xt)
 fco(X1,·
+ gco(X
1, •••
whenever f, g e Coo(M) and Xl' •.• , XII, X, Y, Xf+l' ..• , Xt e X(M). Conversely, it is useful to observe that any alternating Coo(M) multilinear map (2) of the module X(M) into Coo(M) defines a form; for we claim that if co is such a map, then co(X1, ••• , Xt)(m) depends only on the values of the vector fields X, at m. Assuming this for the moment, it follows that co defines an alternating multilinear function co.. on M .. , and hence defines an element of At(M!); namely, given (Vi' .•. ,Vt) e M .. x x M .. , choose Vl, .•. , Vt e X(M) such that V,(m)  V, (i  I, ,k), and define (4) By our claim, CO... (t'l, ••• ,val is welldefined, independent of the choice of the extensions V,. Thus co gives a lifting m H co", of M into A ·(M), and this is easily seen to be smooth; hence co is a form. For simplicity of notation, we illustrate the claim with the case in which co is a linear map of the module X(M) into C<I:(M). Let Xe X(M). We wish to show that co(X)(m) depends only on X(m). It suffices to show that co(X)(m) ... 0 if X(m)  o. Let (U, Xl' ••• ,Xci) be a coordinate system about m. Then on U, we have X  I a,(a,ax,) where the a,(m)  o. Now, let cp be a Coo function which takes the value 1 on a' neighborhood V c:: U of m and is zero on a neighborhood of M  U (see 1.10). Then the vector field X, which is cp(a,ax,) on U and 0 elsewhere is a COO vector field on M; the function 4, which is cpa, on U and 0 elsewhere belongs to coo.(M); and
_____
(S)
X
I '.x,+ (1 
cpl)X.
L
..
!
Thus
6S
(6)
cu(X)(m) ...
I I,(m)cu(X,)(m) + «(1 
cpl)(m»(cu(X)(~»
... O.
_
So cu(X)(m) ... 0 if X(m) ... 0, as was to be shown. Finally, we remark that via the duality 2.8(S), tensor fields can be given a similar interpretation. If Tis a tensor field of type (r,s), then we can consider Tas a map
(7)
T: £l(M) x •..
r copies
x X(M) 
C«'(M),
• coplfll
which is C;c(M) multilinear with respect to the C«'(M) modules £l(M) and X(M). Observe the simple form which formula (2) of 2.10(b) takes when cu, cpe £l(M) and X, Ye X(M). In this case, we have
..
i
(8)
Deflnidon If f e C«' (M), the differential of T(M) into IR which is linear on each tangent considered as a lform, df: M  At(M). The exterior derivative of the Oformf, and this exterior has an important extension to E*(M) given by the
2.19
df is a smooth mapping space. Thus df can be lform df is called the differentiation operator d
following.
2.20 Theorem (Exterior Dift'erentiadon) There exists a unique antiderivation d: E*(M)  E*(M) of degree + I such that
(1) (2)
Existence. Let p e M. Let E*(p) be the set of all smooth forms defined on open subsets of M containingp, with E"(P) the corresponding set of kforms. We fix a coordinate system (U, Xl>' •• ,x,,) about p. If cu e E*(p), then (3)
CUI(domaln
ao)"t· 
I a. h.
where the a. e C«'«domain cu) n U), where tJ) runs over all subsets of {I, , d}, and where the dx. are either h'l /I. ••• /I. dx, when tJ) ... {il < < ir} or the constant function I when tJ)  0. We define dcu at p by setting
(4)
We will have to show that the definition of dO). is independent of the choice of coordinates. But fint, we give the following properties: (a) (c)
0)
d(alO)l+
a.ru.>I. 
til' at p.
0) 0),
(d) d(~"
ruJl. 
d~l.
eE*(p»,
I
I
• ;
domain
ruJ.
I
r
euaeE·(p».
In view of properties (b) and (c), it suffices to check (d) for ~Idx'l " . . . "dx'r and eua g dxll " • . • "dxl, on some neighborhood of p. For the case r  s  0, property (d) is simply d(j' g)l.  dl.· g(p) + 1(P)' dg.; and the case in which only one of r or s is 0 is similar. Now suppose that r > 0 and s > O. If {/1, ••• ,Ir} "Ul'" . ,j,} " e, both sides are O. So assume that this intersection is empty. Then
(j
 a/' g dx"
where 11 < ... < Ir+. and a is the sign of the permutation that has been carried out. So we have that
d(O)l" ruJl.  deaf' g dx'l " ... " dx'r+)I.  a(dl•• g(p) + f(P) dg.) " dx,ll. " ... "dxIr+J.  (dl. " dx'll. " ... " dx,r1.)" (g(P) dxlll.. " .•• " dxIJ.) + ( W(j(p) dx'il. " ... " dx'rl.) " (dg. " dxlil. " ... " dxl.I.)  dWll." COal. + (IYwll." dCOal.·
(e) If lis a C<IO function on a neighborhood of p, then d(dJ)l.  O. For on (domain/) " U, dl I (aI/ax,) dx, so that
d(df)l. 
I d(!l.iJa x,
)l"
dx,l. 
'.1
dx,I.·
But (iJlj/iJxl Ox,)(P)  (iJlj/iJx, axl)(p), whereas dXII. " dx4. hll.. So d(dJ)j.  O.
h,l. "
Now we claim that the definition of d at p is independent of the coordinates chosen. For let d' be defined on E*(P) relative to another coordinate system, and let 0) e E·(p). Then 0) on (domain 0) " U is given by (3). and since d' must also satisfy properties (a)(e), it follows that
T
~
FOm18
67
a :.,:.
••
...
d'(cu)l~  d'<I a. dx'l A ••• A dxJI~ I d' (ae dx'l A ••• A dxJI~ I d'(ae)l. A dx .. l~ A ••• A dx'rl~ + I (ItIa.I~ dx'll~ A ••• A d'(dx't)l~
dx,J~
dx.
d(dcu)l~ J
I d(da.
dx.)I~  0
..
by properties (e) and (d). It follows that d is an antiderivation of £.(M) of degree +1 satisfying (1) and (2).
vanishes on a neighborhood W of p, then d' cui.  O. Choose a C"" function cpwhich is 0 on a neighborhood of p and 1 on a neighborhood of M  W. Then cpcu cu and d'(cu)l~  d'(cpcu)l.  d'(cp)l.
A
+ 1 satisfying
Uniqueness Let d' also be an antiderivation of £·(M) of degree (1) and (2). We first show that if cu e £*(M) and cu
o.
Now d' is defined only on elements of £.(M), that is, on globally defined forms on M. We wish to define d' on £.(p) for each p e M. If cu e £.(p), we can extend cu to a form on M having the same germ at p as does cu. Simply let cpbe a C"" function which is 1 on a neighborhood of p and has support in the domain of cu. Then cpcue £*(M) (cpcuis defined to be 0 outside of the domain of cu), and cpcuagrees with cu on a neighborhood of p. Thus we can define d'(cu)l~  d'(cpcu)I~. and by the above remarks this definition is independent of the extension chosen. Thus d'(cu)l~ is defined for all cu in £*(p) and clearly satisfies properties (a)(e). (In (d), extend CUI A cu. to a form on M by using CPWI A cpcu. for a suitable cp; and in (e). observe that d'(d!)I.d'(cp dj)l •... d'(d(cpj»I .... 0, since dcp(P) ... 0 and since d' satisfies (1) and (2).) The equations (5) now imply that whenever cu e £*(p). in particular whenever cu e £*(M), d'(cu)l~ ... d(cu)I.. This proves uniqueness. Observe that it is clear from the above proof that dcu U ... d(cu U) whenever U is an open set in M.
(1(X)cu)I.
1(X.)(cu.).
'!bat 1(X)cu is smooth follows easily from 2.16(2); and from 2.12 it follows that I(X): E·(M)  E·(M) is an antiderivation of depee 1.
2.22 Meet of MappfDp Let ,,: M  N be a smooth map, and let me M. Then we have the difl'erential dtp: M.  N",." its transpose 6y1: N;c.)  M!, and the induced algebra homomorphism 6y1: A(~c.».A(M!>. If cu is a form on N, then we can pull cu back to a form on M by setting
(1)
6y1(cu)l.  eJ"(cul,,c.,).
This is one of the particularly nice features of differential forms. Under a smooth mapping, they can be pulled back from the range to the domain of the map. Vector fields, on the other hand, do not display such pleasing behavior under mappings. 2023 Proposition (a) (c) Let ,,: M _ N'" a smooth map. TMn
eJ,,: E·(N)  E·(M) and iJ an algebra homomorphism. (b) 6y1 commutes witA d; tlurJ is, d(6y1(w»  6y1(dcu) (cu e E·(N».
6,,(w)(Xl, ... , XJ(m)  w"c.,(d,,(Xl(m», ... , dtp(X~(m») for cu e E~(N) and for vector fields Xl' ... , X~ on M.
PROOF Result (c) is clear from 2.13(3); and 2.13(2) and the definition 2.22(1) imply that eJ" is an algebra homomorphism. Before we check that 6y1(w) is ac:tually a smooth form for cu e E·(N), observe the following special case of (b): If fe C""(N), then eJ,,(f)  f e C"'(M), and l.23(d) implies that
0"
(1)
Now let cu e E·(N), and let m e M. Choose a coordinate system (U, Xl' •••• x.) about ,,(m) and a neighborhood V of m such that .,,( V) c: U. Then there are C'" functions a. on U such that
(2)
cu I U 6y1(w)
I a. dx'l
0"
A ••
A dxlyo
It follows that
(3)
I V  I a.
d(X'l
0 ,,)
d(x,.
0 ,,),
which is a smooth form on V. Hence eJ,,(w) eE·(M), and thus (a) is proved. To complete (b), we use (3):
r
f
I
(4) .
69
0 ,,)
I (d(a.
~
/I. •••
0 ,,)
0 ,,)
/I.
d(X'l
l
/I.
.:;.0
/I. •••
/I.
dx .. )I.
,,»1. ,,»1.
0
 ~(dQ)I.
Thus (b) is proved, and the proof is complete.
.r
'''0
(dX
( ) _, Yx,(.., .
,0
70
Teuorl _
Dlfferatilll
Fomu
In a similar way we define the Lie derivallve of a diffcrelltilll form cu with respecI 101M DeClOrield X, except that in this case we evaluate cu at X,(m) f and then pull back via 6X, to A(M!) where we take the difference with cu(m), divide by t, and take the limit as t  0... Thus we define (2)
(Lxcu) ..
lim
6X,(cux,c .. ,)  cu..
,
'''0
 d
dt ,..
(.aX (cu.z.c ,» . u, ..
Smoothness of L.zcu and of LxY is asserted in Proposition 2.25. The Lie derivative Lx can be extended to arbitrary tensor fields in the obvious way. If T is a tensor field of type (r,s). then (LxT) .. is the derivative at t  0 of the (M..)(r .•,valued function whose value at I is dX_'('" ® ••• ® "r) ® 6X,(~ if
2.25
® ••• ® ":)
Proposition
(a) (e)
LxfX(j)
Then
wlantnB fe
CO(M).
(b) LxY
[A!Y1for
+ do i(X).
, Y~ be CO DeCIOrfields Y~) Y(1 • Ly.Y"
Oil M.
+ I cu(Y1 •••••
(1
Y.+1 ,
••• ,
Y~).
(f)
(0
~ I (l)(Y,c.u(Yo •••••
..
Y" ••••
Y~)
YI.· .. ,YV• ,\
We leave result (a) as an exercise. For (b), we need only show that LxY(j)  [X,Y]ffor eachfe C""(M). Let m e M. Then
(LxY)(f) 
(1)
,»<fl]
71
Define a realvalued function H on a neighborhood of (0,0) in IRa by setting (2) Then by (a), H(t,u)  /(X_,(Y.(X,(m»».
.. ..
YXc(.,Uo X_,) 
aa r.
B(t,u),
(C.o)
art ara
iJlB
(0.0)
art
aaK I art
(0.0.0)
(0.0,0)'
...
Hence
(7)
r
Also K(O,u,s)  /(X,(Y.(m»). Hence
(8)
I art art
aaK
aKI a r,
(0,.,0)
 Xf(Y ..(m».
 Y",(Xf).
(0,0,0)
Part (b) now follows from (4), (6), (7), and (8). One immediate consequence of (b) is that Lx Y is a smooth vector field. For result (c), first consider Lx as a mapping of £·(M) into forms which are not apriori smooth, and observe that the derivation property follows immediately from adding and subtracting suitable terms before taking the limit in the definition 2.24(1). Next we check that Lx commutes with d when applied to functions; that is,
.....
'.
72
TMIIN'I
I
1
j
(9)
(I e CtO(M); m EM). (Lg{d/» ..  d(Lzf) .. Since both sides of (9) are elements of M:'. we need only prove that they have the same effect when applied to .~ arbitrary vector Y... in M... The righthand side gives' .. .
d(Lxf) ..(Y..)  Y..(Lxf)  y..
(10)
(.!..f....(fo x.»). dt
where loX. can be considered as a ClIO function on (e.e) x W. for some e > 0 and some neighborhood W of m in M (1.48(d». The lefthand s(de of (9) gives (11) (Lx(df) ..(Y..) 
{if
dt ....
(6X.(dlxICIII'»}(Y,,)
_if
dt ,_.
(d/(dX,(Y .. ») 
if
dt ....
(Y.. (lo
x,».
Now let Y be an extension of Y.. to a vector field on W. Then. according to Exercise 24(c) of Chapter 1. dldt and Y have canonical extensions to vector fields on (e.e) X W where they satisfy [did,. y] • o. This fact together with (10) and (11) implies (9). Finally. to see that the form Lxw is actually smooth and to check that Lx commutes with d on all of E·(M), simply express an arbitrary form w in local coordinates as in 2.16(2), and compute using equation (9). result (a). and the fact that Lx is a derivation. For result (d). observe that both Lx and I(X) 0 d + do i(X) are derivations on £·(M) which commute with d, and both have the same effect on functions. Then (d) follows from a simple computation in local coordinates. We shall leave (e) as an exercise. The proof is not difficultone simply has to be persistent enough in unwinding the definitions. Again. one checks the identity by restricting to a local coordinate system. Try it first for the case w  f dx1 A. dx. in a coordinate neighborhood. Finally. result (f) follows from (e) by using (d) and induction on p. For the case p  1. we have from (e) that (12) Ll",(w(YJ)  (Ll",w)(YJ
+ w[Yo.YJ.
Applying (a) and (d) to (12). one obtains Yow(YJ  «i(Yo) d  dW(Yo.YJ
0
p  1. Then (f) is obtained for p by again starting with (e) and applying
(d) and the induction hypothesis.
which is result (f) in the case p  1. Now assume that (f) holds for
DljferentillJ Itkals
73
DIFFEREN1lAL
mEALS
Our objective here is to give a version of the Frobenius theorem in terms of differential forms, and then to describe E. Cartan's useful method of obtaining maps by looking for their graphs. 2.26 DeflnidODS Let 9 be a pdimensional ce distribution on M. A qform 0) is said to annihilate !j if for each m E M
(1)
O).(vI,
0) 0)
•••
v.)  0
whenever
VI' •••
, 11. E
9(m).
A form parts of
(2)
annihilates 9}.
2.27 DeflnidOD A collection 0)1" •• ,0).. of Jforms on M is called independent if they form an independent set in M! for each m E M.
..
e
;;
2.28 ProposidoD
Then
(a) (b)
J(!!;) is an ideal In £*(M). J(!!;) is locally generated by d  P independent kforms. (Thai is, to each m E M there corresponds a neighborhood U of m and a set of independent lforms 0)10' •• ,O),,_p on U such that: (i) If 0) E J(!!;) , then 0) U belongs to the ideal in £*(U) generated by 0)1' ••• , O)... p. . (ii) If 0) E £*(M), and if there is a cover of M by sets U (as above) such that for each U in the cover, 0) U belongs to the ideal generated by 0)1> ••• , O),,_p, then 0) E J(!!;).)
(c)
c: £*(M) is an ideal locally generated by d : p independent lforms, then there exists a llII/que Coo distribution!!; of dimension p on M for which J  J(!!;).
If J
PROOF
Part (a) follows from the definition of J(!!;) and the definition of multiplication in £*(M). Let m E M. Since 9 is smooth and pdimensional, there exist Coo vector fields X....P+I' ••• ,X" defined and spanning 9 at each point of a neighborhood of m. This collection can be completed to a collection XI, ... ,X" of smooth vector fields forming a basis of M.. for each n in a neighborhood U of m. Let 0)1' ••• ,0)" be the dual Iforms; that is, (I(roneckerindex) for each n in U. Then
0)1'" • , O).... P
74
T",.", tIIId
Diff."",iIIl Form.r
I GeO»'. A •••
They are independent smooth Iforms on U. If 01 e J(!iI). 01 A Q1,P' here 4) runs over nonempty subsets {il' .•.• ip} c: w {I ••.•• d}. and where the ... must be identically zero unless {Is ••••• /p} "{I ••••• d  p} " (6. ,,:,~, ... belongs to the ideal in E*(U) generated b1 011 ••••• 01...... Conversely. if 01 is form such that for each such U in some covering of M. 01 U belongs to the ideal in E*(U) generated by 01...... 01...... then clearly 01 e J(9). This
I u
IU: I
For part (c).1etm e M. and let tbeindependent Iforms 0Ia ••••• Q1 ....~ generate J on a neighborhood U of m. Define !iI(m) to be the subspace of M. whose annihilator is the subspace of AI! spanned by the collection (Q1,(m):1  1••..• d  pl. It follows that!il is a smoothpdimensionaJ distribution on M and that J  J(9). Uniqueness of!il follows from the fact that !iI " !ill implies J(9) " J(91). 2.29 De8Dldon An ideal J c: E*(M) is called a diJIerentiai ideal if it is closed under exterior differentiation d; that is. (1) d(J) c: J.
proves (b).
J •,
t',
•• •·
2.30 Proposition
A C" distribution on M is lnvolutiH 1/ and only !iI tM ideal J(9) is a differential ideal.
1/
PllOOF Let 01 be a ,form in J(9). and let X••..•• X. be smooth vector fields lying in!il. Then 2.2S(f) together with the involutiveness of 9 implies that dco(X •••.•• X.) liE O. Hence dOl e J(9). and J(9) is a differential ideal. Conversely. suppose that J(9) is a differential ideal. Let Y. and YI be vector fields lying in 9. and let m e M. By 2.28(b). there are independent Iforms GIa ••••• 01..... generating J(9) on a neighborhood U of m. Extend these forms to M by multiplying by a C" function which is 1 on a neighborhood of m and has support in U. We shall denote the extended forms similarly by GIa ••••• 01...... By 2.2S(f).
(1)
for 1  1, ..•• d  p. The righthand side of (1) is identically zero on M since J(9) is a differential ideal and since 01, e J(9). Thus Q1,([Y YID(m)  0 for i 1, ...• d  p. Now 9(m) is the subspace •• of M. whose annihilator is the subspace of M! spanned by the collection (Q1,(m):1 1•..•• d  pl. Thus [Y••YI](m)e 9(m). and 9isinvolutive. 2.31 De8Dldon A submanifold (N.",) of M is an integral mtmi/old of till ideal J c: E*(M) if for every 01 e J. c5tp(Q1) O.A connected integral liE manifold of an ideal J is maximal if its image is not a proper subset of the image of any other connected integral manifold of the ideal. L
DiJlerentiid Itkals
7S
It now follows immediately that we have the following version of the Frobenius theorem 1.64 in terms of differential ideals.
Let J c: E*(M) be a differential ideal locally generated by d  P independent lforms. Let me M. Then there exists a unique maximal, connected, integral manifold 0/ J through m, and this Integral manifold has dimension p.
2.32 Theorem
2.33 We shall now consider a technique which in certain situations enables one to find a map by looking for its graph as an integral manifold of a differential ideal. This will have important applications in the theory of Lie groups in Chapter 3, and also has important applications in such areas as isometric imbeddings in Riemannian geometry. Suppose that f: Ne  Md is ClIO and that {cu,} is some collection of forms on M. Let"l and". denote the natural projections of N x M onto Nand M respectively. For each I, we define a form p, on N x M by setting
(1) p, .. lnrlJf(cu,)  lnr.(cu,).
Let J be the ideal in E*(N x M) generated by the p,. Now the graph of/is the submanifold (N,g) of N x M where
(2) g(n) .. (n,/(n».
, .
We claim that the graph is an integral manifold of the ideal J. For this, it suffices to show that c5g(p,) .. 0 for each i. Now'''1 g .. id, and g .. /, and thus it follows that
0 ". 0
g)(cui) .. lJ/(CUi) 
6/(cu,)
..
o.
Thus starting with a map f: N  M and a collection of forms on M, we have observed that the graph of/is an integral manifold of a certain ideal of forms on N x M. Now, suppose that we start with the manifold Md, and suppose that there exists a basis CUI' .•• , CUdof Iforms on M, that is, {cu,(m)} is a basis of AI! for each me M. (Such a basis does not generally exist, but it does exist in a number of interesting situations for which the following technique is quite useful.) Suppose also that we have a manifold Ne and a collection CX1, ... 'CXd of lforms on N and that we wish to find a map f: N  M such that
(3)
for I .. I, ... ,d. If the map / exists, then, as we have observed, its graph will be an integral manifold of a certain ideal of forms. So we attempt to find the graph from the ideal. We define forms p., on N x M by setting
(4) p,  lnr1(cx,) lnr.(cu,),
and we let J be the ideal in E*(N x M) which they generate. If J happens to be a differential ideal, then we can obtain the desired map / (at least locally) from an integral manifold of J. That is, one gets at/by looking for
~.
76
its graph as an .integral manifold of a suitable differential ideal. So suppose that J is a differential ideal. and let (ne.me) eN x M. Then since J is locally (in fact globally) generated b)' d independent Iforms. the Frobenius theorem guarantees that there is a maxim~.rfRq~~~! integral manifold I of J of dimension c through (ne,me). Lef IJ I. We claim that dtrl I, is 1: 1. For suppose that vel, and that dtrl(v) .. o. Then since ,..,(v)  0, it follows from (4) that roi_t:br.(v» .. 0 for 1 I •...• d; and this implies that dtr.(v) .. 0 since the ro, form a basis of Iforms on M. But now if both t:brl(v)  0 and dtr.(v) .. 0, then v .. O. Hence dtrl I, is I: 1. Thus "'I II: 1 N is locally a diffeomorphism. So there exist neighborhoods Y of (n,.me) in I and U of n, such that "'I Y: Y  U is a diffeomorphism. We define/: U  M by setting
1 I
(5)
Then/(n,) (6)
..
me,
"
o
, ,  ex,(v) 
I y)l(V»
6/(ro,)(v).
which proves (6). Thus we have obtained the desired map locally. That is, given n, e N and an arbitrary choice of me eM, then under the assumption that the ideal J .generated by (4) is a differential ideal, we have found an open neighborhood U of n, and a Ct/O map f: U  M such that /(raJ .. me and such that lJf(ro,)  «t U. Moreover. there is a unique such map. More precisely, if me eM, and if U is an)' connected open neighborhood of no in N for which there exists a Ct/O map f: U M such that /(ne)  m, and such that lJf(ro,) .. ex, U for t .. I, ... , d, then there is a unique such map on U. For let/be any other such map. Let (U,!) and (U,g) be the graphs of/and/over Urespectively. Thus
(7)
;(n)  (n,/(n»
and
g(n) .. (n./(n»
for n e U. Then. according to our remarks near the beginning of this section. not only is (U,g) an integral manifold of J through (n,.me). but so is (U.!). Now. the subset of U on which g and; agree is nonempty since it contains ne. and is closed by continuity. and is moreover open. For let i(n)  g(n). Then it follows from the uniqueness of integral manifolds that there exist sufficientl)' small neighborhoods Wand JJ' of n so that
(8) g(W) 
i(JJ').
that
JJ' and
gl Wil W.
DilferentW ldals
77
Hence, since U is connected, g .. I on U. wbich implies that I .. on U. ! This proves uniqueness. . In suitable situations one can conclude that trIll is a covering of N; and then if N is simply connected, one can conclude that there exists a unique ClIO map I: N  M such that I(no) .. mo and such that (3) holds. In Chapter 3 we shall make several concrete applications of this method for proving existence and uniqueness of certain maps. This technique was originally used by E. Cartan for the problem of finding local isometric imbeddings of Riemannian manifolds in Euclidean space. We summarize the results of this section in the following.
2.34 Theorem Let Ne and Md be differentiable manifolds, and let "'I and "'. be the canonical projections 01 N x M onto N and M respectively. Suppose that there exists a basis {cu,: I .. 1••.•• 4} lor the 1forms on M.
<a)
If I: N  M is
(1)
ClIO. then the graph 01I is an integral manifold the Ideal of forms on N X M generated by
01
11}.
(b)
If {ex,: I .. 1 •••••
N (2)
is a differential ideal. then given no e N and mo e M there exists a neighborhood U 01no and a ClIO map I: U  M such that I(no) .. mo and such that (3) (i .. l•...• d). Moreover. if U is any connected open set containing no lor which there exists a ClIO map I: U  M satislying both I(no) .. me and equation (3), then there exists a unique such map on U.
EXERCISES 1 Supply the proofs of 2.2(a}(e). 2 (a> Show that homogeneous tensors are generally not decomposable. (b) (e) (d) Show that if dim V ~ 3, then every homogeneous element in A(V) is decomposable. Let dim V> 3. Give an example of an indecomposable homogeneous element of A(V). Let ex be a differential form. Is ex " ex
ill
01
3
of
Supply the proofs of 2.6(a)(c). Derive the formulas (2), (3), and (4) of 2.10. 1(/ whenever
Ie, CO(M)
and X is a
co
vector
6 Let X and Y be ce vector fields on M with corresponding local Iparameter groups X. and Y.. Let m eM, and let {J(t) YV;Xv7Yv7XVi(m) for a sufficiently small •.
,(t)
r"""'!'!!c~
1({J(t»I({J(O». ,.... t If {J(t) were a smooth curve at t  0, then the righthand side' of (1) would simply be the eft'ect of the tangent vector to {J at t  0 applied to the function f. However, because of the ..(i. {J is not generally smooth at t  O. Thus the existence of the limit in (I) is part of the problem, and the problem asserts that this curve {J, even though it is not smooth at t  0, defines a tangent vector in M. in the usual way, and this vector is precisely lX,
lX,YlI..tlim
I
!
i
I i
;
f
L
t
YJI•.
7 Prove 2.2S(e). 8 Let M be connected, and let ,..: M x N  N be the natural projection. Prove that a pform cu on M x N is 67r(ex)or some pform f exon N if and only if i(X)cu = 0 and Lxcu  0 for every vector field X on M x N for which tbr(X(m,n»  0 at each point (m,n) e MxN. , Prove that the elements VI' • • • independent if and only if VI "
• Vp of ••• " Vp "
10 Prove that linearly independent sets {VI' •••• vp} and {WI ••••• wp} are bases of the same rciimensional subspace of a vector space V if and only if VI " ••• " V,. = CWI " ••• "wp where necessarily C ,,0; and in this case. C  det A where A  (a'l) and v,
I~~·
(a) dcu, 
'
11 Let J be an ideal of forms on M locally generated by r independent Jforms. Say J is generated by CUI' •••• CUpon U. Then the condition that J be a differential ideal is equivalent to each of:
1:cu'l "cuI
I
cup».
(b) If cu  cut" •.• "cup. then dcu  ex"cu (for each such (U, GIlt ••• , cup».
Exerci8u
79
,
i •
r
t
F
12 Let V be an ndimensional vector space, and let I be a linear transformation on V. Since A..( V) is onedimensional, the linear transformation which I induces on A ..(V) is simply multiplication by a constant. Define the .terminant of I to be this constant. If A is an n X n matrix, let VI' ••• ,v .. be a basis of V, and let 1 be the linear transformation on V whose matrix with respect to this basis is A. Then define the determinant of A to be the determinant of I. Prove that the determinant of A does not depend on the basis VI •••• ,V .. chosen. Using this definition. derive the standard properties of determinants. For example, derive the expansion det A ..
I I
t
,
I (sgn w)al.(l)
•
.•.
a...(..)
where A .. (aH), sgn 'fr is the sign of the permutation 'fr, and w runs over all permutations on n letters. Prove also that the determinant of the product of two matrices is the product of their determinants. 13 Let V be an ndimensional real inner product space. We extend the inner product from V to all of A(V) by setting the inner product of elements which are homogeneous of different degrees equal to zero, and by setting
(1)
(WI" ••• " Wp, VI " ••• "
. .
~ ~
vp)
..
det(w,.vl)
and then extending bilinearly to all of Ap(V). Prove that if el, ••• , e.. is an orthonormal basis of V. then the corresponding basis 2.6(1) of A(V) is an orthonormal basis for A(V). SinceA ..(V) is onedimensional. A..(V)  {O} has two components. An orientation on V is a choice of a component of A ..(V)  {O}. If V is an oriented inner product space. then there is a linear transformation
(2)
called star, which is welldefined by the requirement that for any orthonormal basis el •••• , e.. of V (in particular, for any reordering of a given basis),
(3)
*(el"···,,
ep)" if el
±ep+I""'"
e..,
"+"
" •••
s e;
80
(1)'"). v. we A,,(J1.
their inner product is
.(w A. .v) 
.(v A. .w).
by 1 e Y.
space. as in Exercise 13. Let A,,(Y) be the adjoint of left exterior multiplication That is. (y(v),w)  (v. 1 A. w)
Prove that
A. (.v».
(I)"" • (I
Let
1e V.
Ap+I(V)
_.
fA.
Ap+I(Y)
of left exterior multiplication by 1 with itself is an exact sequence; that is. the image of the first map is the kernel of the second. 16 Cartan Lemma Let P ~ d. and let 0)1•••• ,0)" be Iforms on M' which are linearly independent pointwise. Let 61••••• 6" be lforms on M such that
i
i
,
i
tt
Prove that there exist ClIO functions A.u on M with A'I  All such that (I  1•...• p).
I.
1
\J
t ~ I ,
.. ..
~"
'~~
Lie groups are without doubt the most important special class of differentiable manifolds. Lie groups are differentiable manifolds which are also groups and in which the group operations are smooth. Wellknown examples include the general linear group, the unitary group, the orthogonal group, and the special linear group. In this chapter we shall set the foundations for the study of Lie groups. Of central importance for Lie theory is the relationship between a Lie group and its Lie algebra of left invariant vector fields. We shall study the correspondence between subgroups and subalgebras and between homomorphisms of Lie groups and homomorphisms of their Lie algebras. We shall study the properties of the exponential mapping which is a generalization to arbitrary Lie groups of the exponentiation of matrices and which provides a key link between a Lie group and its Lie algebra. We shall investigate the adjoint representation, shall prove the closed subgroup theorem, and shall consider basic properties and examples of homogeneous manifolds. Along the way we shall derive many properties of the classical linear groups.
,
~ ~
1 •
4
1 ;
;
,
t
3.1 DeflnidOD
..
3.2 Remarks
(a) Let G be a Lie group. Then the map T ..... TI is C'D since it is the composition T ..... (e,T) .... TI of C'D maps. Also, the map (a,T) aT of G x G  G is Coo since it is the composition (a,T) .... (a,TI) aT' of C'D maps.
82
83
(b) The identity component of a Lie group is itself a Lie group; and the components of a Lie group are mutually diffeomorphic. (c) Since we have included second countability in the definition 1.4 of differentiable manifold, Lie groups for us will alwa.ysbe second countable. In particular, they can have at most countabl, many components. It should be observed, however, that if second countability is dropped from the definition of Lie group, then connected Lie groups (hence also those with countably man.y components) would still be second countable. We leave the proof of this as an exercise. You will need to use the fact that a connected Lie group is the union of powers of any neighborhood of its identity (see 3.18).
l
~~
...
.. ...
.,.
..
f·
iJ
,.
(e)
"
K becomes a Lie group. This Lie group is the group of affine motions of IR, for if we identify the element (s,t) of K with the affine motion x .....sx + t, then the multiplication in K is composition of affine motions. (i)
Let K be the product manifold G/(n,lR) x IR". We define a group structure on K by setting (A,V)(AI' VI) "'" (AA1, AV1 + v). With this group structure, K becomes a Lie group. This Lie group is the group of affine motions of IR", for if we identify the element (A,V) of K with the affine motion x ..... AX + v of IR", then the multiplication in K is composition of affine motions.
3.4 DefInition A Lie aI,ebra 9 over IR is a real vector space 9 together with a bilinear operator [ t ]: 9 X 9  9 (called the brllClut) such that for all x.y. z e g• . (a)
(b)
The importaDce of the concept of Lie algebra is that there is a special finite dimensional Lie algebra intimately associated with each Lie group. and that properties of the. Lie group are reftected in properties of its· Lie algebra. We shall see. for example. that the connected. simply connected Lie groups are' completely determined (up to isomorphism) by their Lie algebras. The stud.y of these Lie groups then reduces in large part to a study of their Lie algebras.
(d)
to
the reader as an
3.6 DeftDidcma Let a e G. Left translation by a and rilht tran.rlation by a are respectively the dift'eomorphisms I. and r. of G defined by
(1)
1.(.,.) 
U'T.
r.(.,.)  .,.a
for all.,. e G. If Vis a subset of G. we denote r.(J') and I.(J') by Va and (1V respectively. A vector field X (not assumed apriori to be smooth) on G is called left inVtlri""t if for each a e G. X is I.related to itself; that is. (2) tlI. 0 X _ XO I••
8S
The set of all left invariant vector fields on a Lie group G will be denoted by the corresponding lowercase German letter 9. 3.7 Proposldon tector fields. (e) ut G be a Lie group and 9 its let of left Invariant
9 is a real vector space, and the map «: 9  G. defined by «(X) .. X(e) is an isomorphism of 9 with the tangent space G. to G at the identity. Consequently, dim 9" dim G•.. dim G.
(b)
uft
(c)
The Lie bracket of two left invariant vector fields is Itself a left invariant vector field.
On
(d) 9 forms a Lie algebra under the Lie bracket operation fields.
sector
«is
PROOF That 9 is a real vector space and that « is linear is clear. injective, for if «(X) .. «( y), then for each a e G
(1)
hence X"'" Y. Moreover,« is surjective; for if x e G., we let X(a) "'" dl.(x) for each a e G. Then «(X) .. x, and X is left invariant since X('Ta) "'" dl.,,,lx) .. dl, dll1(x) dl.,(X(a» for all a and 'T in G. This proves part (a). For (b), let X e 9, and let f e C«>(G). We need only show that Xfe C«>(G). Now,
(2)
Thus we need to show that a t+ X,(f 0/11) is a C«>function on G. We do this by exhibiting this function as a suitable composition of C«> maps. Let cp: G x G  G denote group multiplication, cp(a,'T)"'" a'T. And let il and ill be the maps of G  G x G defined by I
(3)
Let Y be any C«>vector field on G such that Y(e)  X(e). Then (0, Y) is a smooth vector field on G x G, and [(0, Y)(f cp)] Il is a C«> function on G. Using part (d) of Exercise 24, Chapter 1, we obtain [(0, y)<f
0
cp)] il(a) "'" (0, Y)(".•,(f cp) .. OI1(fo cp il) + Y,(fo cp il1l) .. X,(f cp illI) "'" X,(f 111).
0 0 0 0 0 0 0
Thus a t+ X.(f 0/11) is a smooth function on G, which proves part (b) .
.;.
.
"
86
1M GTDIIIM Since. by (b). left invariant vector fields are smooth. their Lie brackets are defined. Now. if X is I.related to itself. and Y is I.related to itself. then according to 1.55. [X. Y] is I,,related to [X. Y). Thus the Lie bracket of two left invariant vector fields is again a left invariant vector field. Part (d) is now an immediate consequence of 1.45.
3.8 Deftnldon We define the Lie algebra of the Lie ".DllP G to be the Lie algebra 9 of left invariant vector fields on G. Alternatively. we could take as the Lie algebra of G the tangent space G. at the identity with Lie algebra structure induced b)' requiring the vector space isomorphism 3.7(a) of 9 with G. to be an isomorphism of Lie algebras. It will be convenient at times to consider the Lie algebra from this alternate point of view. In particular. we shall see (3.10 and 3.37) that the Lie algebras of the classical groups admit particularly nice interpretations in terms of their tangent spaces at the iden~ty.
3.9 Remarks on Vector Spaces a Manifolds In l.S(b) we observe that any finite dimensional real vector space V is. in a natural way, a di1ferentiable manifold. Let {e,} be a besis of V, and let {r,} be the dual basis. Now let p e V. Then there is a natural identification of the tangent space V. to Vat p with V itself. given by
(1)
Ia'a a • r,
++
I a,.,.
It is easily seen that this identification is independent of the basis chosen. We shall often make use of this identification in describing tangent vectors to a vector space as elements of the vector space itself. In particular. if a(t) is a smooth curve in V, then (2) 6(t.) _ lim a(t)  a(to) • ''''. t  to
3.10 Eumples
(a)
The real line IR is a Lie group under addition. The left invariant vector fields are simply the constant vector fields {)'(dldr):)' e IR}. The bracket of any two such vector fields is O.
(b) . The Gennal Linear Group. The set gl(n.lR) of all n x n real matrices is a real vector space of dimension nl. Matrices are added and multiplied by scalars componentwise. As we have already remarked. gl(n.lR) becomes a Lie algebra if we set [A.B]  AB  BA. The general linear group GI(n,lR) inherits its manifold structure as the open subset of gl(n.lR) where the determinant function does not vanish. and is a Lie group under matrix multiplication. Let X'I be the global coordinate function on gl(n.lR) which assigns to each matrix
87
its ijth entry. Then if (I, .,.e GI(n,IR), . X'I(O'.,.I) is a rational function of {XI:'(O')} and {XI:,("')} with nonzero denominator, which proves that the map (0',,,,) 0'7'1 is C"'. Now let 9 be the Lie algebra of GI(n,IR). Let ex:gl(n,IR).  gl(n,lR) be the canonical identification of the tangent space to gl(n,lR) at the identity matrix e with gl(n,lR) itself. Thus for v e gl(n,IR).,
(1)
p:
g
We claim that P is a Lie algebra isomorphism, and in this way we consider gl(n,lR) to be the Lie algebra of GI(n,IR). P is clearly a vector space isomorphism. We need only show that (3)
P([X,1']) [P(X),P(
Y»)
whenever X, Y e g. Now, (4) 1.)(.,.) .. X,~O'7') "'" I x.t(O')XI:~"')' I: Since Y is a left invariant vector field,
(X'I
0
(5)
(Y(X;I»(O')  dl.(Y.)(x'l)
.. X;I:(O')Y.(XI: I
I:
I X(t(O')«(YJI:I
I:
"'" I X,I:(O'){J(Y)I:I'
[X,Y).(xu)"
I:
X.(Y(xH»

 Y.(X(XH»
Y.(x.t){J(X)I:I}
 {J(Y),t{J(X)I:I}
Hence (J is a Lie algebra isomorphism. (c) Let V be an ndimensional real vector space. Let End(Y) denote the of all linear operators on V (the set of endomorphisms of y), and let Aut(V) c End(Y) denote the subset of nonsingular operators (the automorphisms). End(Y) is a real vector space of dimension nl, and it becomes a Lie algebra if we set
set
(7)
88
LMGroup' A basis of V determines a diffeomorphism of End(V) with gl(n,lR) sending Aut(V) onto GI(n,IR). It follows that Aut(V) inherits a manifold structure as an open subset of End( V) and is a Lie group under composition. Under the nat~~, i<i~ntification of End( V) with End(V).  Aut(V). (where e denotes IIlHaeiidty transformation on V), End( V) inherits a Lie algebra structure from the Lie algebra of Aut( V). This induced Lie algebra structure is precisely the one described in (7).
(d)
denote the set of all n x n complex matrices, and let be the subset of nonsingular ones. GI(n,C) is known as the complex general lineargroup. gl(n ,C) is a lnldimensional real vector space, with a basis consisting of the matrices 6~1 and ..!=i6iJ (i,j  1, ... , n) where 611 is the matrix all of whose entries are zero except for a I in the ijth spot; and gl(n,C) forms a Lie algebra if we set [A,B1  AB  BA. GI(n,C) inherits a manifold structure as an open subset of gl(n, C) and is a Lie group under matrix multiplication. With considerations entirely analogous to those in Example (b), one sees that the natural identification of the Lie algebra of GI(n,C) with gl(n,C) is a Lie algebra isomorphism. Thus we may consider gl(n,C) as the Lie algebra of GI(n,C). Let gl(n,C)
GI(n,C) c:: gl(n,C)
(e)
Similarly, in analogy with Example (c), if Vis a complex ndimensional vector space, and if End(V) denotes the set of complex linear transformations of V, and Aul(V) c End(V) denotes the nonsingular ones, then Aut( V) is a lnldimensional Lie group with Lie algebra End( V). Definition A form on G is called left invariant if 6/olJ) (0
3.11 (1)
(0
for each (1 E G. As in the case orleft invariant vector fields, it is not necessary to assume that left invariant forms are smooth, for smoothness is a consequence of the left invariance. We shall denote the vector space of left invariant pforms on G by ErIDV(G), and we let
41mO
(2)
E'*lDV(G) 
.0
E~lnv(G) .
Left invariant fforms are also known as MaurerCartanforms. The following proposition is the analog for left invariant forms of 3.7. The proofs are straightforward, and we leave them to the reader as an exercise.
I
t. .
i ...
89
i
l
....
,

(b) E~DV(G) is a subalgebrtl of the algebrtl E*(G) of all smooth forms on G• tIIId the map w  w(e) is an algebrtl isomorphism of E'~DV(G) onto A(G!'). In particular. this map gives a naturtll isomorphism of EflDv(G) with G! tIIId hence with g*. (In this way we shall consider EflDv(G) as the dual space of the Lie algebra of G.) (c)
.;.
If w is a left inVtlriant I/orm and X a left invariant fJectorfield. then w(X) is a constant function on G. tIIIdthis constant is precisely the effect w has on X when w is considered as till element of the dual space of 9 as in part (b). (We shall consider w(X) either as a constant function on G or as the corresponding real number, the particular choice depending on the context.)
If w e EflDV(G) tIIId x, Ye g, then it follows from 2.2S(f) that (I) dw(X,Y) .. w[X.Y]. ut {XI"" , X,} be a basis of 9 with dual basis {WI' ... , w,} for Etmv(G). Then there exist constants Cillo such that (2)
[X"XI]" IC'I~I:'
(d)
"
(e)
1:1
(The Cmo are called the structural constants of G with respect to the basis {X,} of g.) They satisfy
(3)
I (CH,.crl:.
r
...
O.
The exterior deriVtltives of the w, are given by the MaurerCarton equations (4) HOMOMORPIUSMS 3.13 DeftDidons A map .:p: G  H is a (Lie group) homomorphism if .:p is both Coo and a group homomorphism of the abstract groups. We call .:p an isomorphism if, in addition, .:p is a diffeomorphism. An isomorphism of a Lie group with itself is called an automorphism. If H  Aut(V) for some vector space V, or if H "'" GI(n,C) or GI(n,IR), then a homomorphism .:p: G  H is called a representation of the Lie group G. dw, ..
1<"
I cl...wl:
A WI'
90
lMGrouJM
If 9 and I) are Lie algebras, a map ,,: 9  I) is a (Llt a1,ebffl) Mmomorphism if it is linear and preserves brackets (,,[X, Y]  ["(X),,,(Y)] for all X, Ye g). If, in addition, " is 1: 1 and onto, then" is an isomorphism. An isomorphism of 9 with itself is calIe4·,AA>tIItOlPJ()rphi.ma.I)  End(V) If for some vector space V, or if I)  gl(n,C) or gl(n,IR), then a homomorphism ,,: 9  I) is called a rtplY#ntation of tht Lit a1gtbra g. Let ~: G  H be a homomorphism. Then lince ~ maps the identity of G to the identity of H, the differential t/fp of ~ is a linear transformation of G. into H.. By means of the natural identifications of the tangent spaces at the identities with the Lie algebras, this linear transformation d, of G. into H. induces a linear transformation of 9 into I) which we shall denote also by Thus
:..
•
d,.
(1)
d~: gI),
where if X e g, then d,(X) is the unique left invariant vector field on H iucb that
(2)
d~(X)(e) .. d,(X(t».
3.14 Theorem ut G mul H be Lit groups with Lit a1gebl'fl89 mull) respectioely, and Itt ,: G  H I¥ a Mmomorphism. Then
(a) (b)
u a Lit
algebffl Mmomorphism.
PROOF
Let Z ... d,(X). Then Z and X are f9related. For since , is a homomorphism, 1.(.) 0 , , 0 I.; hence
(1)
d1.(.) d,(X(t» ... d(l.(I1) ,)X(e) ... de, 1.)X(e) ... d,(X(O'».
0
This proves part (a). Now let X, Ye g. Then for part (b), we must show that
(2) [X, Y] 
""
By 1.55, [X, Y] is f9related to the left invariant vector field In particular, (3)
,
f
• i
I
i i
But [X, y], by Definition 3.13(2), is the unique left invariant vector field on H whose value at the identity is d,([X, Y](t». Thus (2) holds, and the theorem is proved.
'"
1
i
1
i
•
t
Let
,: G  H be a homomorphism. Then 6, pulls left invariant forms on H back to Jeft invariant forms on G, since whenever Q) is a left invariant form
· t
•
•
Homomorphisms
91
onH.
(1)
.:p)w
 6.:p~.(.)(w)  6.:p(w). Moreover. the mapping 6.:p: EllDv(ll)  EflDv(G). considered as a mapping of the dual space of I) to the dual space of g. is precisely the transpose of d.:p: 9 I); that is.
(2)
(&p(w»(X)w(d.:p(X»
(weE~IDV(H);
Xeg).
Recall that if {w1 ••••• wJ is a basis of EI1DV(Jl). then there are structural constants {cm,} (see 3.12(4» such that
,
•
(3)
dw, 
1<1:
IC/~I:
It. WI'
Now let W1 and W. be the canonical projections of G x H onto G and H respectively. Then the ideal J of forms on G x H generated by the collection of independent lforms
(5)
, d}
is a differential ideal; for using (4). we obtain for each i, (6) d(6wI &p(w,)  6w.(w,»
 I cll:I(67T I CII:I[{6wI
1<1: 1<1:
&P(WI:) 6w.(wl:)}
+ 6w.(w.,)
It.
{6WI &p(wi)
6w.(wi)}],
which belongs to the ideal J. Mpreover, observe that the Lforms (5) generating the differential ideal J are themselves left invariant lforms on G x H. This follows immediately from applying 6/(".f) to the forms (5), where (O'.E) e G x H, and from using the fact that WI 0 I(".f) == I" 0 WI and I(".f) "'" If W•• Note also that the basis {w,} of Eflnv(H) is a basis of the lforms on H in the sense of 2.33.
~. 0 0
To carry out the above construction of a differential ideal on G x H. it is sufficient to start simply with a homomorphism of the Lie algebras rather than a homomorphism of the Lie groups. Let G and H be Lie groups, and let '1': 9  1) be a homomorphism of their Lie algebras. 'I' has a transpose '1'*: Eflnv(H) EIlDv(G), namely,
(7)
('P*(w»(X)
"'" w(tp{X»
(weE!lnv(H);X
eg).
.;4
Let {CI)Jbe a basis of Ei.,,(If). Then we claim that the ideal J of forms on G x H generated by the collection of independent I·forms
(8)
{~"'l(y*(CI)J)  ~"',<CI)~,b,t:=
1:.... d}
is a differential ideal. This follows from a computation similar to (6) together with the observation that (9) To prove (9). it suffices to prove that both sides have the same effect on an arbitrary pair X. Y of left invariant vector fields on G:
(10) d(,,*(CI),»(X.Y) 
J f
t
,,*(CI)J(X.Y)
 CI),(tp{X),tp{Y»)
i .
.
~
 dCl),(tp{X),tp{Y»
 l<lI ICI~II"
Cl)1(tp{X),tp{Y»
Finally, observe that, in this case also, the forms (8) are left invariant on G x H. We shall make use of these ideals on G x H in proving existence and uniqueness of homomorphisms in various situations.
3.16 Theorem G be connected, and let .:p and" I¥ homomorphisms of G into H such that the Lie algebra homomorphisms d.:p and tltp of 9 into I) are identical. Then .:p  ".
ROOF
ut
(1) 6.:p  6,,: E!IIl..{H)E!lllv(G). Thus we have two C<» maps .:p and" of the connected manifold G into H, both agreeing at e E G, and both having the same effect of pulling back a basis of Iforms from H. Thus since the ideal of forms on G x H generated by the Iforms 3.15(5) is a differential ideal, it follows from 2.34(b) that .:p  y.
H is a Lie group;
(H •.:p)is a submanifold of G;