On the existence of slice theorems - an der Fakultät für Mathematik!

unwieldycodpieceΗλεκτρονική - Συσκευές

8 Οκτ 2013 (πριν από 4 χρόνια και 5 μέρες)

290 εμφανίσεις

On the existence of
slice theorems
for moduli spaces
on ¯ber bundles
Dissertation zur Erlangung des akademischen Grades
Doktor der Naturwissenschaften
an der Formal- und Naturwissenschaftlichen FakultÄat
der UniversitÄat Wien,
eingereicht von
Hermann Schichl
Typeset by A
M
S-T
E
X
i
Abstract
After a short introduction to the ¯nite dimensional case of orbit spaces and a
summary of the most important results on Hilbert manifolds and smooth in¯nite
dimensional manifolds,we consider three orbit spaces related to the space Conn(E)
of connections on a ¯ber bundle E!M and its gauge group Gau(E).
This investigation is motivated by a decomposition of the space of metrics
Met(E) on the total space of the bundle into three parts on which Gau(E) acts,
one of them being Conn(E).For the orbit spaces related to Met(E) and to
Conn(E) £ Met(V E) the direct sum of the space of connections and the space
of ¯ber metrics on the vertical bundle,respectively,slice theorems will be proven,
which lead to strati¯cations of the orbit spaces.
For the orbit space related to the space of connections on E counterexamples will
show that,except for the trivial cases of zero dimensional ¯ber or zero dimensional
base,no such slice theorem can exist.
Kurzfassung
Nach einer kurzen EinfÄuhrung in OrbitrÄaume im endlichdimensionalen Fall und
einer Zusammenfassung der wichtigsten Ergebnisse Äuber Hilbert Mannigfaltigkeiten
und glatte unendlichdimensionale Mannigfaltigkeiten betrachten wir drei OrbitrÄau-
me,die mit den Konnexionen Conn(E) eines FaserbÄundels E!M und dessen
Eichgruppe Gau(E) zusammenhÄangen.
Dies ist motiviert durch die Zerlegung des Raumes der Metriken Met(E) auf
dem Totalraum des BÄundels in drei Teile,auf denen jeweils die Eichgruppe wirkt.
Einer dieser Teile ist der Raum der Konnexionen Conn(E).FÄur den Orbitraum zu
Met(E) und dem Orbitraum zu Conn(E) £ Met(V E),der direkten Summe der
RÄaume der Konnexionen und der Fasermetriken auf dem vertikalen BÄundel,wird
ein Scheibensatz bewiesen,der zu einer Strati¯zierung der OrbitrÄaume fÄuhrt.
FÄur den Orbitraum,der zum Raum der Konnexionen gehÄort,wird mit Hilfe von
Gegenbeispielen gezeigt,da¼ kein Scheibensatz existieren kann,ausgenommen in
den trivialen FÄallen von nulldimensionaler Basis oder nulldimensionaler Faser.
ii
iii
Preface
At ¯rst I would like to thank my supervisor Prof.Peter W.Michor from the
Institute of Mathematics of the University of Vienna for the possibility to write
this thesis,for the problem,the necessary papers,his support,and his patience.
Furthermore,I want to send special thanks to my former teacher Prof.Wolf-
gang Herfort from the University for Technology of Vienna for introducing me to
the theory of Hilbert spaces,especially Sobolev spaces,which was an important
background for this work.
Thanks,also,to my colleague Andreas Cap for much help and many fruitful
discussions,whenever questions arose while trying to solve the problem,and to Prof.
Dan Burghelea of Ohio State University for a special discussion and the reference
to the paper of J.Cerf.
Finally,I have to thank the Institute of Mathematics of the University of Vienna,
especially its head Prof.Harald Rindler,and the Erwin SchrÄodinger Institute of
Mathematical Physics,for a position and for providing me with all the means to
¯nish this thesis.
Vienna,November 17th 1996 Hermann Schichl
iv
Vorwort
Zuallererst mÄochte ich meinem Betreuer Prof.Peter W.Michor vom Institut
fÄur Mathematik der UniversitÄat Wien meinen besonderen Dank aussprechen fÄur
die MÄoglichkeit,bei ihm an einer Dissertation zu arbeiten,fÄur die Stellung des
Problems,die Versorgung mit der nÄotigen Literatur,seine UnterstÄutzung und nicht
zuletzt fÄur seine Geduld.
MeinemfrÄuheren Lehrer Prof.Wolfgang Herfort von der Technischen UniversitÄat
Wien mÄochte ich dafÄur danken,da¼ er mich,unter anderem,in die Theorie der
HilbertrÄaume,speziell der SobolevrÄaume,eingefÄuhrt hat,die als Hintergrund fÄur
die vorliegende Arbeit von besonderer Bedeutung war.
Weiters mÄochte ich mich bei meinemKollegen Andreas Cap fÄur seine bereitwillige
Hilfestellung und seine Diskussionsfreudigkeit bei vielen Fragen,die im Zusammen-
hang mit dieser Arbeit aufgetreten sind,und bei Prof.Dan Burghelea von der Ohio
State University fÄur seinen Hinweis auf die Arbeit von J.Cerf und eine instruktive
Diskussion bedanken.
Zuletzt gebÄuhren noch demInstitut fÄur Mathematik der UniversitÄat Wien,dabei
ganz besonders dem Institutsvorstand Prof.Harald Rindler,und dem Erwin SchrÄo-
dinger Institut fÄur Mathematische Physik Dank fÄur eine Stelle bzw.die zur Ver-
fÄugung Stellung von Mitteln,ohne die die Fertigstellung dieser Dissertation nicht
mÄoglich gewesen wÄare.
Wien,17.November 1996 Hermann Schichl
v
Contents
Abstract..............................i
Kurzfassung............................i
Preface..............................iii
Vorwort..............................iv
1 Introduction............................1
2 G{manifolds and Lie group actions..................3
3 Banach and Hilbert manifolds....................9
4 Smooth in¯nite dimensional manifolds................29
5 Slice theorems for Met(E)= Gau(E) and (Conn(E) £Met(V E))= Gau(E)..43
6 Conn(E)= Gau(E) and why no slice theorem exists............63
References.............................69
Lebenslauf.............................71
vi
1
1.Introduction
In modern mathematics and physics actions of Lie groups on manifolds and
the resulting orbit spaces (moduli spaces) are of great interest.For example,the
moduli space of principal connections on a principal ¯ber bundle modulo the group
of principal bundle automorphisms is the proper con¯guration space for Yang{Mills
¯eld theory (as e.g.outlined in [Gribov 1977],[Singer 1978],and [Narasimhan,
Ramadas 1979]).
Usually,when symmetries and invariance groups are considered,a problem re-
duces to the corresponding orbit space,and therefore the structure of these spaces
has to be investigated.This structure theory is quite complicated in general,since
these spaces usually are singular spaces and not again manifolds.In fact,only if the
action of the Lie group is free (i.e.all isotropy subgroups of single points are triv-
ial),the resulting orbit space bears a manifold structure and forms together with
the manifold and the quotient map a principal ¯ber bundle,whose structure is well
known.More often,the orbit space admits a strati¯cation into smooth manifolds
with an open and dense largest stratum,the set of principal orbits (see section 2).
This strati¯ed space can then be treated almost like a manifold when taking spe-
cial care.The existence of such a strati¯cation is usually shown by proving the
existence of slices at every point for the group action.
All these problems arise already,if both the Lie group and the manifold are ¯nite
dimensional.As shown in section 4,both notions can be very widely generalized to
in¯nite dimensions,and again the structure of the,now often in¯nite dimensional,
moduli spaces is interesting.For example the above mentioned con¯guration space
of Yang{Mills theory is constructed from in¯nite dimensional spaces.Again,a slice
theorem for the action is the way to prove existence of a (generalized) strati¯cation
of the moduli space.This slice theorem turns out to be more di±cult than in the
¯nite dimensional case,because of the lack of an inverse function theorem.In order
to reduce this problem to a very special inverse function theorem with very strong
prerequisites,an approach using Hilbert manifolds and Sobolev completions has to
be taken in order to construct the slice via inverse limits of Hilbert manifolds.
In spite of these technical di±culties,these in¯nite dimensional generalizations
are very interesting,since many problems in modern theoretical physics lead to
moduli spaces in the in¯nite dimensional setting.Not only the above mentioned
Yang{Mills theory is considered,but also the space of Riemannian metrics modulo
the group of di®eomorphisms,which appears in General Relativity,(principal) ¯ber
bundle connections modulo the gauge group arise from gauge theories,and also one
approach to quantization,the geometric quantization method,is taken via orbit
spaces,as described in [Kirillov 1982],[Kirillov 1990],and [Vizman 1994].
Also,very recent research in theoretical physics is connected to moduli spaces:
e.g.invariance of Euler numbers of moduli spaces of instantons on 4{manifolds
[Vafa,Witten 1990],moduli spaces of parabolic Higgs bundles,which are connected
to Higgs ¯elds [Maruyama,Yokogawa 1992],[Nakajima 1996].
In algebraic topology moduli spaces play an important role,either,[Maruyama
1996],[Simpson 1994],[Simpson 1995],and also the de¯nition of the famous Don-
aldson Polynomials involves moduli spaces ([Donaldson 1990]).
2
In this thesis,I will try to analyze the structure of some moduli spaces,which
are connected with the space of connections on a general ¯ber bundle with compact
¯ber and compact base space.In section 2 some known results about actions of
¯nite dimensional groups on ¯nite dimensional manifolds will be recalled,such that
the notion of slices will become clear.Then in sections 3 and 4 the basic facts
about Hilbert manifolds and about in¯nite dimensional smooth manifolds and Lie
groups will be introduced.Slice theorems for two moduli spaces will be shown in
section 5.In section 6,¯nally,counterexamples will show that there cannot exist
a slice theorem for the moduli space Conn(E)= Gau(E) of connections on a general
¯ber bundle modulo the gauge group.
The result is connected with a slice theorem for Met(M)= Di®(M),the orbit
space of metrics on a manifold with respect to the action of the group of di®eo-
morphisms proved by [Ebin 1968],another slice theorem proved by [Kondracki,
Rogulski 1986] for Conn(P)= Gau(P),the space of connections on a principal ¯ber
bundle modulo the gauge group,[Cerf] for F= Di®(R) the space of functions of ¯nite
codimension at critical points on R modulo the di®eomorphismgroup.For a general
survey on slice theorems and slices see [Isenberg,Marsden 1982],where a slice the-
orem for the space of solutions of Einstein's equations modulo the di®eomorphism
group is proven.
Finally,the non-existence of the slice theorem in the case connections on a ¯ber
bundle modulo the gauge group is connected to the fact,that C
1
(S
1
;R)= Di®(S
1
),
where the di®eomorphisms act by composition,admits in general no slices,except
when restricted to the space of functions of ¯nite codimension at critical points.
3
2.G{manifolds and Lie group actions
In this section,I want to introduce the basic facts about ¯nite dimensional Lie
groups acting on ¯nite dimensional manifolds (some of themwithout proofs).These
facts will be taken for motivation of the terms in in¯nite dimensions.Moreover,a
basic example will be discussed,which helps to understand the properties of slices
and sections.
Throughout this chapter all manifolds and groups are supposed to be ¯nite
dimensional,except if stated otherwise explicitly.
2.1.De¯nition.Let G be a Lie group,M a smooth manifold.A smooth action
of G on M is a C
1
mapping l:G£M!M (l(g;x) = l
g
(x) = l
x
(g) = gx),such
that
ex = x 8x 2 M
(g
1
g
2
)x = g
1
(g
2
x) 8g
1
;g
2
2 G;x 2 M:
We say that G acts on M,or M is a G{manifold.Furthermore,a G{action on M
is called
(1) linear,if M is a vector space,and the action is a representation.
(2) a±ne,if M is an a±ne space,and all the l
g
are a±ne transformations.
(3) orthogonal,if (M;°) is a Euclidean space,and the action is a subgroup of
O(M;°).
(4) isometric,if (M;°) is a Riemannian manifold,and every l
g
is an isometry.
(5) symplectic,if (M;!) is a symplectic manifold,and every l
g
is a symplecto-
morphism.
2.2.De¯nition.Let M be a G{manifold,x 2 M
The set G¢ x:= fgx j g 2 Gg is called the (G{)orbit of x.
The closed subgroup G
x
:= fg 2 G j gx = xg of G is called the isotropy
subgroup of x.
Then T
e
G =:g,T
0
(G=G
x
)'g= Lie(G
x
),and
G

l
x

M






G=G
x
p


where the mapping G=G
x
!M is an initial immersion with image G¢ x.
2.3.Lemma.
(1) G
gx
= gG
x
g
¡1
(2) G¢ x\G¢ y 6=;=) G¢ x = G¢ y
(3) T
x
(G¢ x) = T
e
(l
x
):g
Proof.Is clear.
42.4.De¯nition.For a G{manifold M,let M=G be the space of all G{orbits
equipped with the quotient topology;¼:M!M=G.Then M=G is called the
orbit space (moduli space) of M with respect to G.
The set of closed subgroups of G bears an equivalence relation H » H
0
:()
H = gH
0
g
¡1
for some g 2 G.The equivalence classes are called conjugacy classes.
The set of conjugacy classes admits a partial order (H) · (H
0
) if H µ gH
0
g
¡1
for some g 2 G.
For an orbit G¢ x,by Lemma 2.3(1),the isotropy subgroups G
gx
form a conju-
gacy class (G
x
),which is called the isotropy type of the orbit G¢ x.Two orbits are
said to be of the same type if their isotropy types coincide.
2.5.De¯nition.For two G{manifolds M,N and a smooth mapping f:M!N
we say f is equivariant i® f(gx) = g f(x).
2.6.De¯nition.Let M be a G{manifold.An orbit G¢ x is called a principal orbit,
if there exists an open neighborhood U of x in M with 8y 2 U:9f:G¢ x!G¢ y
G{equivariant,which is equivalent to 8y 2 U:9a 2 G:G
x
µ aG
y
a
¡1
.
x 2 M is called a regular point if G¢ x is a principal orbit,and is called singular
point otherwise.
M
reg
:= fregular pointsg,M
sing
:= fsingular pointsg.
2.7.De¯nition.Let x 2 M,M a G{manifold.A subset S of M is called a slice
at x,if there exists a G{invariant open neighborhood U of the orbit G¢ x and a
smooth equivariant retraction r:U!G¢ x,such that S = r
¡1
(x).
2.8.Proposition.Let M be a G{manifold and S a slice at x.Then
(1) x 2 S and G
x
¢ S µ S
(2) g ¢ S\S 6=;=) g 2 G
x
(3) G¢ S = fgyjg 2 G;y 2 Sg = U with U as in de¯nition 2.7.
Proof.Let r be the (smooth,equivariant) retraction.Then we know that r is a
submersion and S = r
¡1
(x).Thus G
y
µ G
x
8y 2 S.Therefore,rj
G¢y
:G¢ y!
G¢ x is also a submersion 8y,which implies that x is a regular value for r.That
su±ces to show that S = r
¡1
(x) is a sub-manifold of U and also of M.
Thus we have y 2 S;gy 2 S =) r(gy) = x = gr(x) = gx =) g 2 G
x
,which in
return implies (2).
Then g 2 G
x
;s 2 S =) r(gs) = gr(s) = gx = x =) G
x
¢ S µ S,which shows
(1).(3) can be shown as follows:y 2 U =) 9g 2 G:gr(y) = x =) r(gy) = gr(y) =
x =) gy 2 S.¤
2.9.Corollary.Let S be a slice at x for the G{manifold M.Then
(1) S is a G
x
{manifold
(2) For y 2 S is G
y
µ G
x
.
(3) If G¢ x is a principal orbit and G
x
compact,then G
x
= G
y
8y 2 S,i.e.all
orbits near G¢ x are principal,too.
(4) Two G
x
{orbits G
x
¢ s
1
and G
x
¢ s
2
are of the same type,i® the two G{orbits
G¢ s
1
and G¢ s
2
in M are of the same type.
(5) S=G
x
is isomorphic to G¢ S=G,an open neighborhood of G¢ x in the orbit
space M=G.
5
Proof.
(1) is clear
(2) is clear
(3) y 2 S =) G
y
µ G
x
(compact) =) G
y
is compact.G¢ x is principal =)
for y near x is G
x
conjugate to a subgroup of G
y
.Therefore G
x
= G
y
.
(4) K = G
x
,s 2 S,K acts on S.K
s
= G
s
(see Proposition 2.8(2)).G
x
s
1
=
G
x
s
2
=) K
s
1
is conjugate to K
s
2
in G
x
.Hence G
s
1
is conjugate to G
s
2
.
(5) follows from 2.8(2) and (3).
¤
2.10.Example.An elementary example will be useful to illustrate the properties
of slices a bit.
Take M = R
n
and G = SO(n) acting by rotations about 0 2 R
n
.The orbit
G¢ 0 = f0g,G
0
= G,and the slice S at zero may be chosen to be any open ball
centered at 0.For any other point x 2 R
n
G¢ x is the sphere of radius kxk
2
centered
at 0,G
x
= feg,and any su±ciently short line segment transversal to G¢ x through
x can be chosen as S.
2.11.Proposition.If S is a slice at x in a G{manifold M.Then there exists a G{
equivariant di®eomorphism G[S] = G£
G
x
S!G¢ S,which maps the\zero-section"

G
x
fxg onto G¢ x.
Proof.The map f:G[S]!G¢ S given by f:[(g;s)] 7!g ¢ s is smooth and has the
required properties.¤
2.12.De¯nition.An action l:G£M!M is called proper,if one,hence all,of
the following equivalent conditions is satis¯ed.
(1) (l;Id):G£M!M £M (g;x) 7!(gx;x) is proper
(2) g
n
x
n
!y and x
n
!x imply g
n
has a convergent subsequence.
(3) K;L ½ M compact =) fg 2 GjgK\L 6=;g is compact
M is then called a proper G{manifold.
Proof.(1) =)(2) is clear.Suppose (2) =)(3) does not hold.Then 9(g
n
) without
cluster point,g
n
K\L 6=;.Choose x
n
2 K with g
n
x
n
2 L.Without loss of
generality x
n
!x,g
n
x
n
!y,which is a contradiction.
(3) =)(1):(l;Id)
¡1
(L £K) = f(g;x):x 2 K;gx 2 Lg µ
closed
fg 2 G:gK\L 6=
;g £K which is compact.¤
2.13.Lemma.(M;°) a Riemannian manifold,l:G £ M!M an e®ective,
isometric action,such that
·
l(G) is closed in Isom(M;°).Then l is a proper action.
Now we have collected most of the important results and terms for the ¯rst
important theorem,which was proven by R.Palais in 1961.
2.14.Slice Theorem.Let M be a G{manifold,x 2 M such that G
x
is compact
and for all open neighborhoods U of G
x
in G there is an open neighborhood V of x
in M with fg 2 GjgV\V 6=;g µ U.Then there exists a slice at x.
Idea of proof.Take a Riemannian metric on M,and construct a G
x
{invariant metric
~°.Now construct a so called\almost slice"
~
S:
~
S:= exp

x
(T
x
(G¢ x)
?
\B(")).If
6you take an open neighborhood U of 0 in G=G
x
,such that there exists a section
Â:U!G with Â(0) = e.Then
f:U £
~
S!M (u;s) 7!Â(u) ¢ s is a di®eomorphism (maybe for somewhat smaller
U,
~
S) onto an open neighborhood of x in M.Using the assumption of the theorem,
you get a neighborhood V of x in M,such that S =
~
S\V is the required slice.
The complete proof can be found in [Palais 1961].
In the proof of the in¯nite dimensional slice theorem most of the\easy-to-
construct"things like the manifold G=G
x
,Â,and T
x
(G¢ x)
?
will make much more
di±culty,and constructing these will be the ¯rst crucial step in obtaining the slice
theorem.2.15.Theorem.In every proper G{manifold M,there exists a slice at every point
x 2 M.
Proof.G
x
is compact,since the action is proper.Now let U be an open neigh-
borhood of G
x
in G.Then there exists an open neighborhood V of G
x
with
G
x
¢ V = V.(G
x
¢ G
x
= G
x
;Thus 8(a;b) 2 G
x
£ G
x
exist open neighborhoods
A
a;b
of a in G and B
a;b
of b in G such that A
a;b
¢ B
a;b
µ U.Since G
x
is compact
G
x
½
open
S
ni=1
B
a;b
i
=:B
a
.Let A
a
:=
T
ni=1
A
a;b
i
.Then A
a
¢ B
a
µ U.Further-
more G
x
½
open
S
nj=1
A
a
j
and W:=
T
nj=1
B
b
i
is open in G,G
x
µ W,G
x
¢ W µ U,
V = G
x
¢ W.)
Now let U = G
x
U be a neighborhood of cosets.l
x
:G!G¢ x is a closed
mapping.Thus (G n U) ¢ x is closed in G¢ x,therefore in M.This implies the
existence of a neighborhood W of x such that W\(G n U) ¢ x =;.Without
loss of generality let W be compact.Then fg 2 G j gW\W 6=;g is compact
(2.12(3)).K:= fg 2 G n U j gW\W 6=;g is a compact subset of G n U.
k 2 K =) k x 2 (G n U) ¢ x =) k x 2 M n W (which is open).Therefore,
there exist neighborhoods Q
k
of k,V
k
of x such that Q
k
¢ V
k
µ M n W.Some
Q
k
1
:::Q
k
n
cover K,V:=
T
ni=1
V
k
i
is neighborhood of x in M,without loss of
generality V µ W.
Let gV\V 6=;.Then gW\W 6=;,and therefore g 2 U [ K.If g 2 K,then
there exists i such that g 2 Q
k
i
.But then gV µ Q
k
i
V µ Mn W µ Mn V and this
implies gV\V =;which is a contradiction.Therefore g 2 U.¤
2.16.Theorem (Palais 1961).For a proper G{manifold M,x 2 M the following
are equivalent
(1) G
x
is compact and there exists a slice at x.
(2) There exists a neighborhood U of x in M,s.t.fg 2 GjgV\V 6=;g has
compact closure in G.
Proof.in [Palais 1961].
2.17.Corollary.M proper G{manifold =) M=G is completely regular and
locally compact (hence T
2
).
2.18.Lemma.If M is a proper G{manifold,then there exists a principal orbit
type.
7
2.19.Theorem.M a proper G{manifold.Then the set of all regular points in M
is open and dense.
2.20.Theorem.M a proper G{manifold,x 2 M.Then x has a G{invariant
open neighborhood U,such that U contains only ¯nitely many orbit types.
2.21.Theorem.M a proper G{manifold,then the space M
sing
=G of all singular
G{orbits does not locally dissect M=G.
2.22.Corollary.M connected proper G{manifold.Then
(1) M=G is connected
(2) M has exactly one principal orbit type.
(3) The set of all principal orbits is open and dense.
Most of these facts essentially follow from the existence of slices.In in¯nite
dimensions analogous results can be likewise proven,if the existence of such slices
is ensured.
However,¯rst we will have to de¯ne most of the involved terms like manifold,
Lie group,tangent space,:::in in¯nite dimensions.The next two chapters are
devoted to this.
8
9
3.Banach and Hilbert manifolds
In this chapter I will give a brief excursion on Banach and Hilbert manifolds
which is in part excerpted from [Lang 1995].More detail can (e.g.) be found there.
3.1.De¯nition.A topological vector space is a vector space E over R equipped
with a topology such that the operations +:E £E!E (addition of vectors) and
¢:R£E!E (multiplication with scalars) are continuous.
Throughout our presentation all topological vector spaces will be Hausdor® and
locally convex (i.e.every neighborhood U of 0 2 E contains an open convex neigh-
borhood V of 0.)
The set of continuous linear maps':E!F (E and F being two topological
vector spaces) will be denoted by L(E;F),and we set L(E):= L(E;R).
The vector space of n{linear maps Ã:E£¢ ¢ ¢£E!F will be denoted L
n
(E;F),
and as above L
n
(E):= L
n
(E;R).
3.2.De¯nition.A locally convex topological space E will be called a Fr¶echet
space if its topology is metrizable (i.e.there exists a metric d:E £E!R
+0
,such
that every neighborhood U of 0 2 E contains a ball B
"
:= fv 2 Ejd(0;e) <"g.),
and it is complete (i.e.all Cauchy sequences converge).
A Fr¶echet space space E will be called a Banach space if its metric is de¯ned by
a norm k:k:E!R
+0
(i.e.d(v;w) = kv ¡wk).It is well known,that for Banach
spaces E;F the norm kAk:= sup
kxk
E
=1
kAxk
F
for A 2 L(E;F) makes L(E;F)
into a Banach space.
A Banach space is called a Hilbert space if the norm is de¯ned by an inner
product h:;:i:E £E!R (i.e.kvk =
p
hv;vi).
3.3.Proposition.Let E;F be Banach spaces,f 2 L(E;F).Assume G ½ F is an
(algebraic) linear complement to imf and G is closed in F.Then imf is closed in
F and F = imf ©G.
Proof.See [Palais 1965,proof of Theorem 1] ¤
3.4.De¯nition.Let E;F be two Banach spaces,and f:U
½
open
E!F be a
continuous map.We say that f is di®erentiable at a point x
0
2 U if there exists a
¸ 2 L(E;F) such that
lim
y!0
kf(x
0
+y) ¡f(x
0
) ¡¸(y)k
kyk
= 0:
¸ is then uniquely determined,and we set Df(x
0
):= ¸ and call it the derivative
of f at x
0
.If f is di®erentiable at every point x 2 U then we get a map Df:U!
L(E;F),and we say f is di®erentiable.
If Df is again continuous we say that f is of class C
1
.Maps of class C
p
for p ¸ 1
are then de¯ned inductively.The p{th derivative of f will be D
p
f:= D(D
p¡1
f),
a map of U to L(E;L(E;:::;L(E;F):::)),which can be identi¯ed with L
p
(E;F).
A map f is said to be of class C
p
if D
k
f exists for 1 · k · p,and is continuous.
The usual results like chain rule,and linearity hold as in the ¯nite dimensional
case.
103.5.De¯nition.Let E
1
;E
2
;F be Banach spaces,U
i
½
open
E
i
and f:U
1
£U
2
!F
be a continuous map.If (u;v) 2 U£V and we keep v ¯xed,then f(;v):U
2
!F,
and we de¯ne the partial derivative as
@
1
f(u;v):= D(f(;v))(u);
which is a map U £ V!L(E
1
;F).Similarly,we may de¯ne @
2
f.The total
derivative and the partials are related as follows.
Proposition.Let E
i
,F be Banach spaces,U
i
½
open
E
i
,and f:U
1
£¢ ¢ ¢ £U
n
!F
continuous.Then f is of class C
p
if and only if each partial derivative @
i
f:U
1
£
¢ ¢ ¢ £U
n
!L(E
i
;F) exists and is of class C
p¡1
.In that case for v = (v
1
;:::;v
n
) 2
U
1
£¢ ¢ ¢ £U
n
,and (w
1
;:::;w
n
) 2 E
1
£¢ ¢ ¢ £E
n
we have
Df(v) ¢ (w
1
;:::;w
n
) =
n
X
i=1
@
i
f(v) ¢ w
i
:
3.6.The inverse mapping theorem.The inverse mapping theoremis one of the
main reasons for considering Banach and Hilbert spaces (and the yet to be de¯ned
Banach and Hilbert manifolds),since in most of the smooth in¯nite dimensional
spaces of chapter 4 this theorem does not hold.This arises as the main di±culty in
proving theorems for these spaces,and long ways have to be taken to circumvent
this di±culty.Most of these ways lead to Banach and Hilbert completions of the
spaces.
Both the inverse function theorem and the existence theorem for di®erential
equations (which is extremely important also) are based on the following
Shrinking Lemma.Let E be a complete metric space,with distance function d,
and let f:E!E.Assume the existence of a constant 0 < C < 1,such that,for
any v;w 2 E,we have
d(f(v);f(w)) · Cd(v;w):
Then f has a unique ¯xed point x (x = f(x)).Given any point x
0
2 E,then
x = lim
n!1
f
n
(x
0
) with f
n
(v) = f(f
n¡1
(v)).
Inverse mapping theorem.Let E;F be Banach spaces,U
½
open
E,and let f:U!
F be a C
p
{map with p ¸ 1.Assume that for some point x
0
2 U,the derivative
Df(x
0
):E!F is a top-linear isomorphism (the inverse is continuous also).Then
f is a local C
p
{isomorphism at x
0
.(i.e.there exists an open neighborhood V of x
0
such that fj
V
is a C
p
{isomorphism onto an open subset of F.)
Proof.Since a top-linear isomorphism is C
1
,we may assume without loss of gen-
erality that E = F,and Df(x
0
) is the identity (Consider Df(x
0
)
¡1
± f instead of
f).Furthermore,we may assume that x
0
= 0 and f(x
0
) = 0.
Set g(x) = x ¡ f(x).Then Dg(x
0
) = 0,and by continuity there exists r > 0
such that,if kxk < 2r,we have kDg(x)k <
1
2
.Then kg(x)k ·
1
2
by the mean value
theorem.Thus g(
B
r
(0)) ½
B
r
2
(0).
Claim:For y 2
B
1
2
(0) there exists x 2
B
r
(0) such that f(x) = y.
Proof:Consider the map
g
y
= y +x ¡f(x):
11
If kyk ·
r
2
and kxk · r,then kg
y
(x)k · r,and hence g
y
may be viewed as a
mapping of the complete metric space
B
r
(0) into itself.g
y
is a contracting map,
since
kg
y
(v) ¡g
y
(w)k = kg(v) ¡g(w)k ·
1
2
kv ¡wk
by the mean value theorem for v;w 2
B
r
(0).By the Shrinking Lemma we ¯nd that
g
y
has a unique ¯xed point x,which is the solution we were looking for.
By this claim we obtain a local inverse f
¡1
.It is continuous,since
kv ¡wk · kf(v) ¡f(w)k +kg(v) ¡g(w)k · 2kf(v) ¡f(w)k:
Furthermore,f
¡1
is di®erentiable in B
r
2
(0) by the following argument:Let v
1
;v
2
2
B
r
(0),w
1
;w
2
2
B
r
2
(0),with f(v
i
) = w
i
.Then
kf
¡1
(w
1
) ¡f
¡1
(w
2
) ¡Df(v
2
)
¡1
(w
1
¡w
2
)k =
= kv
1
¡v
2
¡Df(v
2
)
¡1
(f(v
1
) ¡f(v
2
))k ·
· kDf(v
2
)
¡1
k kDf(v
2
)(v
1
¡v
2
) ¡f(v
1
) +f(v
2
)k =
= o(jv
1
¡v
2
j) = o(jw
1
¡w
2
j);
where the ¯rst o{term is correct,since f is di®erentiable,and the last equality
follows from the already proved continuity of f
¡1
.So the di®erentiability of f
¡1
is proved,and its derivative is D(f
¡1
)(y) = Df(f
¡1
(y))
¡1
for y 2 B
r
2
(0).Since
f
¡1
;Df are continuous and taking inverses is C
1
,D(f
¡1
) is continuous,so f
¡1
is
C
1
.By induction,it follows that f
¡1
is C
p
if f is.¤
3.7.The Implicit Mapping Theorem.Let E;F;G be Banach spaces,U
½
open
E,
V
½
open
F,and let f:U £V!G be a C
p
mapping.Let (u
0
;v
0
) 2 U £V,and assume
that
@
2
f(u
0
;v
0
):F!G
is a top-linear isomorphism.Let f(u
0
;v
0
) = C.Then there exists a continuous
map g:U
0
!V de¯ned on an open neighborhood U
0
of u
0
such that g(u
0
) = v
0
,
and such that
f(x;g(x)) = C
for all x 2 U
0
.If U
0
is taken su±ciently small then g is uniquely determined,and
is also of class C
p
.
Proof.Without loss of generality we may assume that @
2
f(u
0
;v
0
) is the identity
(simply replace f by @
2
f(u
0
;v
0
)
¡1
± f).Consider the map':U £ V!E £ F
'(x;y) = (x;f(x;y)).Then we compute
D'(u
0
;v
0
) =
µ
Id
E
0
@
1
f(u
0
;v
0
) @
2
f(u
0
;v
0
)

=
µ
Id
E
0
@
1
f(u
0
;v
0
) Id
F

;
which obviously is invertible.Hence,'is locally invertible by 3.6.Since we have
'
¡1
(x;z) = (x;h(x;z)) for some mapping h of class C
p
.We set g(x) = h(x;C).
Then g is also of class C
p
and
(x;f(x;g(x))) ='(x;g(x)) ='(x;h(x;C)) ='('
¡1
(x;C)) = (x;C):
12This proves the existence of g.For the uniqueness we suppose that g
0
is a continuous
map de¯ned near u
0
such that g
0
(u
0
) = v
0
and f(x;g
0
(x)) = C for all x near
u
0
.Then g
0
(x) is near v
0
for such x,and hence'(x;g
0
(x)) = (x;C).Since'is
invertible near (u
0
;v
0
),it follows that there is a unique point (x;y) near (u
0
;v
0
)
such that'(x;y) = (x;C).Let U
0
be a small ball on which g is de¯ned.If g
0
is
also de¯ned on U
0
,then the argument above shows that g and g
0
coincide on some
smaller neighborhood of u
0
.Let x 2 U
0
and let u
0
= x ¡ u
0
.Consider the set
ft 2 [0;1]jg(u
0
+tu
0
) = g
0
(u
0
+tu
0
)g.This set is nonempty,so let T be its least
upper bound.By continuity we get g(u
0
+Tu
0
) = g
0
(u
0
+Tu
0
).If T < 1 we can
apply the existence and uniqueness part we have already proved to show that g and
g
0
are equal in a neighborhood of u
0
+Tu
0
.Therefore,T = 1,and the uniqueness
is proved,as well as the theorem.¤
3.8.Banach Manifolds.Let M be a topological Hausdor® space.A chart on M
is a triple (U;u;E),where U
½
open
M and u:U!V
½
open
E is a homeomorphism onto
an open set in a Banach space E.
An atlas of class C
p
(0 · p · 1) is a set A = f(U
i
;u
i
;E
i
)ji 2 Ig of charts
satisfying the following conditions:
(1) fU
i
ji 2 Ig is a covering of M
(2) For each pair of indices (i;j) 2 I £I the map
u
j
± u
¡1
i
:u
i
(U
i
\U
j
)!u
j
(U
i
\U
j
)
is a C
p
di®eomorphism.
If p ¸ 1 we see by (2) that if U
i
\U
j
is nonempty E
i
'E
j
.Therefore,on each
connected component of M we can assume that all E
i
are equal,say E.In the
following we will assume that all E
i
are isomorphic,which is not a big assumption,
since we could prove all theorems for each connected component separately.
We say that two atlases A
1
and A
2
are C
p
equivalent if the atlas A
1
[ A
2
is a
C
p
atlas.An equivalence class of C
p
atlases is said to de¯ne the structure of a C
p
Banach manifold on M,and if all E
i
are isomorphic to the space E we say M is
modeled on E.If the modeling space E is a Hilbert space,we call M a Hilbert
manifold.
Let M and N be two Banach manifolds,and let f:M!N be a continuous
map.We shall say f 2 C
p
(M;N) if for all x 2 M,there exist charts (U;u) of M
with x 2 U and (V;v) of N with f(x) 2 N such that v ± f ± u
¡1
:u(U)!v(V )
is C
p
as a mapping of Banach spaces.A bijective mapping is said to be a C
p
di®eomorphism if f and f
¡1
are both C
p
.
Manifolds,mappings,:::of class C
1
will also be called smooth in the sequel.
3.9.Submanifolds,Immersions,Submersions.Let M be a C
p
Banach mani-
fold.A subset N ½ M is called submanifold of M if at each point x 2 N there exists
a chart (U;u) of M such that there are two Banach spaces E
1
;E
2
with E
1
£E
2
'E,
and u(U) = V
1
£V
2
with V
i
½
open
E
i
and u(N\U) = V
1
£f0g.
Then the collection of pairs (U\N;pr
1
±(uj
U\N
)) is an atlas of class C
p
for N.
This structure satis¯es a universal mapping property,which characterizes it:
Given any map f:Z!M from a manifold Z into M such that f(Z) is contained
in N.Let f
N
:Z!N be the induced map.Then f is C
p
if and only if f
N
is C
p
.
13
A submanifold N is always locally closed in M (i.e.every point x 2 N has an
open neighborhood U in M such that N\U is closed in U).We say that N is a
closed submanifold of M if N is a closed topological subspace of M.
Let f:Z!M be a C
p
map,and let z 2 Z.We say that f is an immersion at z
if there exists an open neighborhood V of z such that fj
U
induces an isomorphism
of V onto a submanifold of M.We call f an immersion if it is an immersion at
every point z 2 Z.An immersion f is called a (closed) embedding if it gives an
isomorphism onto a (closed) submanifold of M.
A mapping f:M!Z is called a submersion at a point x 2 M if there exists
a chart (U;u) at x and a chart (V;v) at f(x) such that u gives an isomorphism of
U on a product U
1
£U
2
(U
1
;U
2
open in some Banach spaces),and such that the
map vfu
¡1
:U
1
£U
2
!V is a projection.We say that f is a submersion if it is a
submersion at every point.Submersions are open mappings.
Acriterion for immersions and submersions will be given in 3.10 using the tangent
space:On every point x 2 M we consider triples (U;u;X) where (U;u) is a chart at x
and X 2 E.We call two such triples (U;u;X),(V;v;Y ) equivalent if and only
if D(vu
¡1
)(u(x)):X = Y.An equivalence class of such triples is called a tangent
vector of M at x.The set T
x
M of such tangent vectors is called the tangent space
of M at x.Each chart (U;u) determines a bijection of T
x
M to the modeling space
E of M by which T
x
M gets the structure of a Banach space.Using the tangent
spaces,we can interpret the derivative of a C
p
mapping f:M!N by means of
charts as a continuous linear mapping T
x
f:T
x
M!T
f(x)
N (essentially as in the
¯nite dimensional case).
Proposition.Let M and N be Banach manifolds of class C
p
(p ¸ 1),and let
f:M!N be a C
p
mapping.Take x 2 M.Then
(1) f is an immersion at x if and only if the map T
x
f is injective and splits
(i.e.it exists a top-linear isomorphism ®:T
f(x)
N!F
1
£ F
2
such that
® ± T
x
f induces a top-linear isomorphism of T
x
M onto F
1
£f0g.)
(2) f is a submersion at x if and only if the map T
x
f is surjective and its kernel
splits (i.e.is closed and has closed complement).
Proof.This is an immediate consequence of the inverse mapping theorem.¤
3.10.Partitions of unity.Unlike for ¯nite dimensional manifolds the existence
of partitions of unity is even in the Banach case not always satis¯ed.The problem
for constructing di®erentiable partitions of unity is the existence of a di®erentiable
norm.However,if we put strong restrictions on the topology of M,we will get the
existence:Theorem.Let M be a Banach manifold modeled on E which is locally compact,
and whose topology has a countable base.Then M admits partitions of unity:i.e.
for every open covering fV
i
g there exists a subordinate open covering fU
i
g of M
and a family of functions f
i
:M!R satisfying the following conditions
(1) For all x 2 M we have f
i
(x) ¸ 0.
(2) The support of f
i
is contained in U
i
.
(3) The covering is locally ¯nite (i.e.every x 2 M has a neighborhood which
intersects only ¯nitely many U
i
).
14
(4) For each x 2 M we have
P
i
f
i
(x) = 1.
Proof.The proof will be left out,but can be found in [Lang 1995,II x3].¤
However,since the only locally compact Banach spaces are ¯nite dimensional we
have not won too much.The proof can be carried over to the situation where M
is paracompact,and there is a di®erentiable norm on E which is equivalent to the
original one,but it is di±cult to check the existence of such a norm.However,in
one case we can always construct di®erentiable partitions of unity:
3.11.Theorem.Let M be a paracompact manifold of class C
p
modeled on a
separable Hilbert space H.Then M admits partitions of unity of class C
p
.
Proof.For this proof we will need a few de¯nitions and some lemmas.
De¯nition.A subset V of a metric space (X;d) is called scalloped,if there exist
open balls B
r
i
(x
i
) in X such that
V = B
r
0
(x
0
)\C(
B
r
1
)\¢ ¢ ¢\C(
B
r
n
):
where C(A) shall denote the set theoretical complement of A.
Lemma 1.Let (X;d) be a metric space and fB
r
i
(x
i
)g (i 2 N) a countable covering
of a subset W by open balls.Then there exists a locally ¯nite open covering fV
i
g
(i 2 N) of W such that V
i
½ B
r
i
(x
i
) for all i,and such that V
i
is scalloped for all
i.
Proof.De¯ne V
i
inductively by the following construction.Let V
1
:= B
r
1
(x
1
).
Then set r
0
ji
:= r
j
¡
1
i
,and let
V
i
:= B
r
i
(x
i
)\
i¡1
\
j=1
C(
B
r
0
ji
(x
j
));
replacing all balls of negative radius by the empty set.By construction,each V
i
is
scalloped and is contained in B
r
i
(x
i
).Take x 2 W,and let k be the smallest index
such that x 2 B
r
k
(x
k
).Then x 2 V
k
,because otherwise,x would be in C(V
k
).But
C(V
k
) = C(B
r
k
) [
k¡1
[
j=1
B
r
0
kj
(x
j
);
and thus x lies in some B
r
j
(x
j
) with j · k ¡1 which is a contradiction.
For proving the locally ¯niteness,take again x 2 W.Then x 2 B
r
k
(x
k
) for some
k.Let"> 0 be so small that B
"
(x) ½ B
r
k
(x
k
).For all su±ciently large i the
ball B
"
2
(x) ½
B
r
0
ki
(x
k
),and therefore by construction B
"
2
(x)\V
i
=;.Thus B
"
2
(x)
meets only ¯nitely many V
i

15
Lemma 2.Let U be an open ball in the Hilbert space H,and let V be a scalloped
open subset.Then there exists a C
1
-function Ã:H!R such that Ãj
C(V )
´ 0 and
Ãj
V
> 0.
Proof.Since V is scalloped,we have V = B
r
0
(x
0
)\
T
ni=1
C(
B
r
i
(x
i
)).For i =
1;:::;n choose a function'
i
:H!R such that
0 <'
i
(x) · 1 if x 2 C(
B
r
i
(x
i
))
'
i
(x) = 0 if x 2
B
r
i
(x
i
):
Let'
0
:H!R be a function such that'(x) > 0 on U and'(x) = 0 outside U.
Set
Ã(x):=
n
Y
i=0
'
i
(x):
Then à satis¯es the requirement.¤
Proposition.Let A
1
,A
2
be two nonempty,closed,disjoint subsets of a separable
Hilbert space H.Then there exists a smooth function Ã:H!R such that Ãj
A
1
´ 0
and Ãj
A
2
´ 1,and 0 · Ã(x) · 1 for all x (i.e.H is smoothly normal).
Proof.By the theorem of LindelÄof,we can ¯nd countably many open balls B
r
i
(x
i
)
(i 2 N) covering A
2
such that each B
r
i
(x
i
) is contained in C(A
1
).Let W =
S
i2N
B
r
i
(x
i
).By Lemma 1 we can ¯nd a locally ¯nite re¯nement fV
i
g of scalloped
open sets.By Lemma 2,we ¯nd functions'
i
positive on V
i
and zero outside of V
i
.
Let'=
P
i2N
'
i
(the sum is ¯nite at each point of W,since the V
i
are a locally
¯nite covering).Then'is positive on A
2
,and'j
A
1
´ 0.
Let U be the open neighborhood of A
2
on which'> 0.Then A
2
and C(U) are
disjoint closed sets.We then apply the construction above to get another function
¾:H!R which is positive on C(U) and is identically zero on A
2
.By setting
Ã:=
'
'+¾
we get the required function.¤
Proof of Theorem 3.11.Let B
r
(x) be an open ball in H.By
y 7!
y
p
r
2
¡hy;yi
B
r
(x) is di®eomorphic to H.Take any point x 2 M,and a neighborhood V of x.We
can ¯nd a chart (U;u) of M at x such that u(U) = H,and U 2 V.Given an open
covering of M we,therefore,can ¯nd an atlas f(U
®
;u
®
)g such that u
®
(U
®
) = H for
all ®,and the U
®
are subordinate to the given covering.By paracompactness,we
can ¯nd a re¯nement f
~
U
i
g of the covering fU
®
g which is locally ¯nite.Each
~
U
i
is
contained in some U
®(i)
.Let ~u
i
= u
i
j
~
U
i
.Again by paracompactness we ¯nd open
re¯nements fV
i
g and fW
i
g such that
W
i
½ V
i
½
V
i
½
~
U
i
:
16By construction ~u
i
(
W
i
) and ~u
i
(
V
i
) are closed in H.By the proposition,we can
¯nd functions'
i
on H with'
i
j
~u
i
(
W
i
)
= 1 and'
i
j
H¡~u
i
(V
i
)
= 0,being between 0
and 1,otherwise.Set Ã
i
='
i
± u
i
.Then Ã
i
is 0 on M ¡ V
i
and 1 on
W
i
.Set
à =
P
i
Ã
i
,and f
i
=
Ã
i
Ã
.Then the ff
i
g are the desired partition of unity.¤
Since partitions of unity are the only known means of gluing together local
mappings,this theorem gives a hint on the importance of Hilbert manifolds (i.e.
manifolds modeled on Hilbert spaces).A very important class of Hilbert spaces
will be considered in paragraph 3.21.
3.12.Vector bundles.The partitions of unity discussed above are an essential
tool when considering vector bundles.
Let M be a C
p
Banach manifold modeled on a Banach space B,let E be another
Banach manifold,and ¼:E!M be a C
p
map.Let F be a Banach space.Let
fU
i
g be an open covering of M,and for each i suppose that we have a mapping
¿
i

¡1
(U
i
)!U
i
£F satisfying the following conditions:
(1) The map ¿
i
is a C
p
di®eomorphism such that the following diagram com-
mutes:
¼
¡1
(U
i
)

¿
i




¼
U
i
£F





pr
1
U
i
In particular,we obtain an isomorphism on each ¯ber
¿
ix

¡1
(x)!F:
(2) For each pair of open sets U
i
,U
j
the map
¿
jx
¿
¡1
ix
:F!F
is a top-linear isomorphism.
(3) If U
i
and U
j
are two members of the covering,then the map of U
i
\U
j
into
L(F;F) given by
x 7!(¿
j
¿
¡1
i
)
x
is a C
p
mapping.
Then we call (U
i
;¿
i
) a trivializing covering for ¼ or E,and that f¿
i
g are its trivial-
izing maps.If x 2 U
i
,we say that (U
i
;¿
i
) trivializes at x.Two trivializing coverings
are called to be equivalent if their union is a trivializing covering.An equivalence
class of such trivializing coverings is said to give the quadruple (E;¼;M;F) the
structure of a vector bundle.M is called the base (space),E the total space,¼ the
bundle (or footpoint) projection.The Banach space F is called the standard ¯ber.
The space ¼
¡1
(x) is called the ¯ber over x.
Note the di®erence to the ¯nite dimensional case:(3) is implied by (2) there.In
the in¯nite dimensional case it has to be stated explicitly.
The maps ¿
ijx
= ¿
ix
± ¿
¡1
jx
,are called the transition functions associated with
the covering.They satisfy the so called cocycle condition
¿
kjx
± ¿
jix
= ¿
kix
;(i.p.¿
ijx
= ¿
¡1
jix
):
17
As in the ¯nite dimensional case,the cocycle of transition functions characterizes
the vector bundle.
A vector bundle (E;¼;M;F) is called trivializable if it is isomorphic to (M £
F;pr
1
;M;F).
Let (E;¼;M;F) and (E
0

0
;M
0
;F
0
) be two vector bundles.A C
p
vector bundle
morphism f between these bundles consists of a pair of C
p
mappings f
0
:M!M
0
and f:E!E
0
satisfying the following conditions:
(1) The diagram
E
f
¡¡¡¡!E
0
¼
??y
??y¼
0
M ¡¡¡¡!
f
0
M
0
is commutative for each x 2 M f
x
:E
x
!E
0
f(x)
,and the induced map is a
continuous linear map.
(2) For each x
0
2 M there exist trivializing maps
¿:¼
¡1
(U)!U £F
¿
0

0
¡1
(U
0
)!U
0
£F
0
at x
0
and f(x
0
) respectively,such that f
0
(U) is contained in U
0
,and such
that the map
U!L(F;F
0
)
x 7!¿
0
f
0
(x)
± f
x
± ¿
¡1
x
is C
p
.
We will usually write f:E!E
0
to denote a vector bundle morphism.
Let (E;¼;M;F) be a vector bundle,and f:N!M a C
p
map.Then
(f
¤
(E);f
¤
(¼);N;F) is a vector bundle called the pull back of E along f,and the
pair (f;¼
¤
(f)) is a vector bundle morphism.
f
¤
(E)
¼
¤
(f)
¡¡¡¡!E
f
¤
(¼)
??y
??y
¼
N ¡¡¡¡!
f
M
An important vector bundle is the tangent bundle of a manifold.Let M be a
manifold of class C
p
with p ¸ 1.Let TM be the disjoint union of the vector spaces
T
x
M from 3.9.Let ¼:TM!M map T
x
M to x,and set F = B the modeling
space of M.Take an atlas (U
i
;u
i
) of M.From the de¯nition of tangent vectors as
triples (U
i
;u
i
;X
i
) we immediately get a bijection
¿
i

¡1
(U
i
) = TU
i
!U
i
£F
18which commutes with the projection on U
i
,that is such that
¼
¡1
(U
i
)

¿
i




¼
U
i
£F





pr
1
U
i
is commutative.Furthermore,if we set for any two charts (U
i
;u
i
) and (U
j
;u
j
)
u
ij
= u
j
u
¡1
i
,then we obtain transition mappings
¿
ji
= ¿
j
¿
¡1
i
:u
i
(U
i
\U
j
) £F!u
j
(U
i
\U
j
) £F
by the formula
¿
ji
(x;X) = (u
ji
(x);Du
ji
(x) ¢ X)
for x 2 U
i
\U
j
and X 2 F.Since the derivative Du
ji
is of class C
p¡1
and is an
isomorphism at x,we ¯nd all conditions for a vector bundle satis¯ed.Therefore,
TM is a vector bundle of class C
p¡1
.
Given a C
p
map f:M!N,we can de¯ne Tf:TM!TN to be simply
T
x
f on each ¯ber T
x
M.It is easy to check that Tf is a vector bundle morphism
TM!TN of class C
p¡1
called the tangent map of f.Locally,the map is given as
Tf(x;X) = (f(x);Df(x) ¢ X).
Another useful de¯nition follows:A mapping f:E!E
0
between vector bundles
(E;¼;M;F) and (E
0

0
;M;F
0
) is called ¯ber preserving,if f(¼
¡1
(x)) ½ ¼
0
¡1
(x)
for all x 2 M.
3.13.Sections of bundles,vector ¯elds.Let M be a C
p
manifold,and take a
C
q
vector bundle (M;E;¼;F) over M (q · p).A C
r
section of E (r · q) is a C
r
map »:M!E with ¼ ± » = Id
M
.The set of all such sections will be denoted by
C
r
(E).
If E = TM such a section » of class C
p¡1
will be called a (time-independent)
vector ¯eld on M.The set of all vector ¯elds on M will be denoted by X(M).
Like in the ¯nite dimensional case,some constructions can be applied to vector
bundles,but more care has to be taken with the topology:V ©W,V ­W,V
¤
=
L(V;R),and ¤
n
V can e.g.be constructed.Sections of tensor products of TE and
TE
¤
are also called tensor ¯elds.
3.14.The existence theoremfor di®erential equations.There is an existence
theorem for the °ow of vector ¯elds similar to the ¯nite dimensional case.Since we
will only need the existence of local °ows,only that result will be mentioned.
Let f:J £U!E be a C
p
mapping (p ¸ 0),0 2 J an open interval in R and
U ½ E open (i.e.the local representation of a time-dependent vector ¯eld).
For a point x
0
2 U,an integral curve for f with initial condition x
0
is a mapping
of class C
r
(r ¸ 1)
®:J
0
!U
®(0) = x
0
®
0
(t) = f(t;®(t));
19
where 0 2 J
0
is an open subinterval of J.
A local °ow for f at x
0
is a mapping
®:J
0
£U
0
!U
®
x
(t) = ®(t;x);
where 0 2 J
0
is an open subinterval of J,and x
0
2 U
0
½ U is an open subset,and
®
x
is an integral curve for f with initial condition x.
Having these de¯nitions in mind,we ¯nd the following results,similar to the
¯nite dimensional case.
Proposition.In the situation above,let 0 < a < 1 be a real number such that
B
3a
(x
0
) lies in U.Assume that f is a continuous map bounded by a constant
L ¸ 1 on J £U and satis¯es a Lipschitz condition on U,uniformly with respect to
J,with constant K ¸ 1.If b <
a
LK
,then for each x 2
B
a
(x
0
) there exists a unique
local °ow
®:(¡b;b) £B
a
(x
0
)!U:
If f is of class C
p
,so is each integral curve ®
x
.
The local °ow ® is continuous,and the map x 7!®
x
of
B
a
(x
0
) into the space of
curves satis¯es a Lipschitz condition.
If we take f C
p
with p ¸ 1 then we get stronger results.
Theorem.Let f be a (local) vector ¯eld on U of class C
p
(p ¸ 1),and let x
0
2 U.
Then there exists a unique local °ow for f at x
0
.We can select a (maximal)
open subinterval J
0
of J containing 0 and an open subset U
0
of U containing x
0
,
such that the unique local °ow
®:J
0
£U
0
!U
is of class C
p
,and such that @
2
® satis¯es the di®erential equation
@
1
@
2
®(t;x) = @
2
f(t;®(t;x))@
2
®(t;x)
on J
0
£U
0
with initial condition @
2
®(0;x) = Id.Usually,® will then be denoted by
Fl
f
.
Proof.The proof can e.g.be found in [Lang 1995,IV.x1].It depends heavily on
the Shrinking Lemma,and on the Banach space norm.
3.15.Corollary.Let U,V be open sets in Banach spaces E,F respectively.Let
J be an open interval of R containing 0,and let g:J £U £V!F be a C
r
map
(r ¸ 1).Let (u
0
;v
0
) be a point in U £V.Then there exist open balls J
0
,U
0
,V
0
centered at 0,u
0
,v
0
respectively,and a unique map of class C
r
h:J
0
£U
0
£V
0
!V
such that h(0;u;v) = v and
@
1
h(t;u;v) = g(t;u;h(t;u;v))
for all (t;u;v) 2 J
0
£U
0
£V
0
.
Proof.This follows fromthe existence and uniqueness of the local °ow of the vector
¯eld on U £V G:J £U £V!E £F given by G(t;u;v) = (0;g(t;u;v)).Then
h(t;u;v) = pr
2
±Fl
G
(t;u;v).¤
203.16.Corollary.The function h from Corollary 3.15 satis¯es the equation
@
1
@
2
h(t;u;v) ¢ x = @
2
g(t;u;h(t;u;v)) ¢ x +@
3
g(t;u;h(t;u;v)) ¢ @
2
h(t;u;v) ¢ x
for all x 2 E.
Proof.This is just calculation,using the result above.¤
3.17.Corollary.Let J be an open interval of R containing 0 and take U
½
open
E.
Let f:J £ U!E be a continuous map,which is Lipschitz on U uniformly for
every compact subinterval of J.Let t
0
2 J and let'
1
,'
2
be two C
1
maps such
that'
1
(t
0
) ='
2
(t
0
) and satisfying the relation
'
0i
(t) = f(t;'
i
(t))
for all t 2 J.Then'
1
(t) ='
2
(t).
Proof.This follows directly fromthe existence and uniqueness result for di®erential
equations.¤
3.18.Integrable subbundles.Let V be a tangent subbundle over M.We say
V is integrable at a point x
0
if there exists a submanifold N of M containing x
0
such that the tangent map of the inclusion i:N!M induces a vector bundle
isomorphism of TN with the subbundle V restricted to N.Equivalent is,for each
y 2 N the tangent map T
y
j:T
y
N!T
y
M induces a top-linear isomorphism of
T
y
N onto V
y
.
We say that V is integrable if it is integrable at every point.
3.19.Frobenius'Theorem.Let M be a Banach manifold of class C
p
for p ¸ 2
and let S be a subbundle of TM.Then S is integrable if and only if S is involutive
(i.e.for each point z 2 M and vector ¯elds X,Y de¯ned on an open neighborhood
of z which lie in V,the bracket [X;Y ] also lies in S).
Proof.The part integrable =)involutive follows just by the functoriality of vector
¯elds and their relations under tangent maps.The converse is the di±cult direction.
The proof will be carried out locally.We ¯rst try to ¯nd a suitable description
of the bundle S in local terms.
Take z 2 M.We can then ¯nd a product decomposition of an open neighborhood
W of z,say U £ V,open subsets of Banach spaces E and F,respectively,such
that the point has coordinates (u
0
;v
0
) and such that Sj
W
can be written as the
image of an injective vector bundle map f:U £V £E,!U £V £E £F with
f(u
0
;v
0
):E,!E £F is the canonical embedding E,!E £f0g.Without loss of
generality we may assume that pr
1
±f(u;v) = Id
E
for all (u;v) 2 U £V.Thus we
may describe f by a C
p¡1
mapping (also called) f:U £V!L(E;F).
Further note that a subbundle S of TM is integrable at a point z 2 M if and only
if there exists an open neighborhood W of z and a di®eomorphism':U £V!W
of a product of open subsets of Banach spaces onto W such that the composition
T
1
(U£V ),!T(U£V )
T'
!TW is a bundle isomorphismonto Sj
W
,where T
1
(U£V )
is the subbundle of T(U£V ) whose ¯bers are T
x
U£0 µ T
x
U£T
y
V = T
(x;y)
(U£V ),
x 2 U,y 2 V.
21
Now take the local representations of a vector ¯eld X over W = U £V.Then
X 2 Sj
W
if and only if X
2
(u;v) = f(u;v) ¢ X
1
(u;v),where X
1
and X
2
are the
projections of X to E and F respectively.In other words,i® X is of the form
X(u;v) = (X
1
(u;v);f(u;v):X
2
(u;v)),for some C
p¡1
map X
1
:U £V!E.If X,
Y are vector ¯elds of this type,then [X;Y ] 2 Sj
W
if and only if
Df ¢ X ¢ Y
1
= Df ¢ Y ¢ X
1
;
which can be calculated from the local representation of [;].Having expressed
all data locally,the following result remains to be shown.
Proposition.Let U,V be open subsets of Banach spaces E,F respectively.Let
f:U £V!L(E;F) be a C
r
map (r ¸ 1).Assume that if X
1
;Y
1
:U £V!E
are two C
r
maps and that
Df ¢ (X
1
;f ¢ X
1
) ¢ Y
1
= Df ¢ (Y
1
;f ¢ Y
1
) ¢ X
1
:
Let (u
0
;v
0
) 2 U £V.Then there exist open neighborhoods U
0
½ U,V
0
½ V of u
0
,
v
0
respectively,and a unique C
r
map ®:U
0
£V
0
!V such that
@
1
®(u;v) = f(u;®(u;v));
and ®(u
0
;v) = v for all (u;v) 2 U
0
£V
0
.
Proof.By acting by a translation we can without loss of generality assume that
(u
0
;v
0
) = (0;0) 2 E £ F.Now set g(t;u;v) = f(tu;v) ¢ u.u 2 B
"
(0) ½ U a
small ball in E.Then by Corollary 3.15 we obtain h:J
0
£ E
0
£ V
0
!V with
initial condition h(0;u;v) = v for all u 2 E
0
,satisfying the di®erential equation
@
1
h(t;u;v) = f(tu;h(t;u;v)) ¢ u.Changing variables by t = at
0
and u = a
¡1
u
0
for
a small a > 0,we can assume that 1 2 J
0
,provided E
0
is small enough.
Set ®(u;v) = h(1;u;v).Then we have to calculate @
2
h(t;u;v).From Corollary
3.16 we obtain for any vector x 2 E,
@
1
@
2
h(t;u;v) ¢ x = t@
1
f(tu;h(t;u;v)) ¢ x ¢ u+
+@
2
f(tu;h(t;u;v)) ¢ @
2
h(t;u;v) ¢ x ¢ u +f(tu;h(t;u;v)) ¢ x:
Now let k(t) = @
2
h(t;u;v) ¢ x ¡tf(tu;h(t;u;v)) ¢ x.Then k(0) = 0,and using the
local version of the integrability for the ¯elds u and x,we get
Dk(t) = @
2
f(tu;h(t;u;v)) ¢ k(t) ¢ u:
By Corollary 3.17 we know that k(t) ´ 0 is the unique solution.Thus
@
1
h(t;u;v) = tf(tu;h(t;u;v));
and hence
@
1
®(u;v) = f(u;®(u;v)):
¤
22
Having this result,we can set':U
0
£ V
0
!U £ V as'(u;v) = (u;®(u;v)).
Then
D'(u
0
;v
0
) =
µ
Id 0
f(u
0
;v
0
) Id

;
which,obviously,is a top-linear isomorphism.Thus by the inverse mapping theorem
3.6'is a local di®eomorphism at (u
0
;v
0
).Furthermore,for (x;y) 2 E£F we have
@
1
'(u;v) ¢ (x;y) = (x;@
1
®(u;v) ¢ x) = (x;f(u;®(u;v)) ¢ x);
which shows that the bundle is integrable.¤
3.20.Corollary.Let M be a Banach manifold,S an involutive subbundle of TX.
Then for any x 2 M,there is a neighborhood W of x and a di®eomorphism':
U £ V!W (U,V open neighborhood in Banach spaces) such that'(0;0) = x,
and the composition T
1
(U £V ),!T(U £V )
T'
!TW is a bundle isomorphism onto
Sj
W
,where T
1
(U £V ) is the subbundle of T(U £V ) whose ¯bers are T
x
U £0 µ
T
x
U £T
y
V = T
(x;y)
(U £V ),x 2 U,y 2 V.
Proof.This is just a reformulation of the local version of V being integrable.
3.21.Sobolev spaces.These important spaces have been developed in [Sobolev
1936].Lets start with the space L
2
(R
m
;C
n
) of all Lebesgue square integrable
functions.This space is,as is well known,a Hilbert space with the inner product
hf;gi
0
:=
Z
hf(x);g(x)i dx:
De¯nition.The space of rapidly decreasing functions S(R
m
;C
n
) is the vector
space of all C
1
{functions f:R
m
!C
n
,which satisfy that for every multiindex ®
and every p 2 N
0
exists a c
®p
¸ 0 such that for all x 2 R
n
kxk
p
kD
®
f(x)k · c
®p
:
Obviously,S(R
m
;C
n
) ½ L
2
(R
m
;R
n
).
For all f 2 S(R
m
;C
n
) we de¯ne the Fourier transformation F
0
as
(F
0
f)(x):= (2¼)
¡
m
2
Z
e
¡ihx;yi
f(y) dy:
Having this,we get the well known result
Proposition.F
0
S(R
m
;C
n
) ½ S(R
m
;C
n
),and for every f 2 S(R
m
;C
n
) and every
multiindex ®
D
®
F
0
f = (¡1)
j®j
F
0
M
®
f;M
®
F
0
f = F
0
D
®
f;
where (M
®
f)(x) = x
®
f(x) componentwise.
F
0
is a bijective linear mapping of S(R
m
;C
n
) onto itself and
(F
¡1
0
g)(x) = (2¼)
¡
m
2
Z
e
ihx;yi
g(y) dy:
Furthermore,(F
0
f)(x) = (F
¡1
0
f)(¡x) for all f 2 S(R
m
;C
n
) and F
4
0
= Id.
The following describes the extension of F
0
to L
2
(R
m
;C
n
),which is well known,
also.
23
Theorem.F
0
and F
¡1
0
preserve the L
2
{norm,and there exist unique extensions
F,
~
F of F
0
and F
¡1
0
,respectively,as bounded unitary operators on L
2
(R
m
;C
n
),
and
~
F = F
¤
= F
¡1
,F
4
= Id.The operator F is called Fourier transformation on
L
2
(R
m
;C
n
).
Furthermore,the following are equivalent
(1) Ff ¢ Fg 2 L
2
(R
m
;C
n
),
(2) F
¡1
f ¢ F
¡1
g 2 L
2
(R
m
;C
n
),
(3) f ¤ g 2 L
2
(R
m
;C
n
),
and in that case f ¤ g = F
¡1
(Ff ¢ Fg).
De¯nition.In the following set for x 2 R
m
k
s
(x):= (1 +kxk
2
)
s
2
and
L
2s
(R
m
;C
n
):= ff 2 L
2
(R
m
;C
n
)jk
s
f 2 L
2
(R
m
;C
n
)g:
L
2s
(R
m
;C
n
) is a dense subspace of L
2
(R
m
;C
n
).
hf;gi
(s)
:=
Z
hf(x);g(x)ik
s
(x)
2
dx
for f;g 2 L
2s
(R
m
;C
n
) de¯nes an inner product on L
2s
(R
m
;C
n
).This inner product
makes L
2s
(R
m
;C
n
) to a separable Hilbert space,isomorphic to L
2
(R
m
;C
n
) by U
s
:
f 7!k
s
f:L
2s
(R
m
;C
m
)!L
2
(R
m
;C
n
).
The Sobolev space of order s is de¯ned by
H
s
(R
m
;C
n
):= ff 2 L
2
(R
m
;C
n
)jFf 2 L
2s
(R
m
;C
n
)g = F
¡1
L
2s
(R
m
;C
n
):
H
s
(R
m
;C
n
) is a dense subspace of L
2
(R
m
;C
n
).It is a separable Hilbert space by
de¯ning for f;g 2 H
s
(R
m
;C
n
)
hf;gi
s
:= hFf;Fgi
(s)
kfk
s
:=
p
hf;fi
s
:
Obviously,H
0
(R
m
;C
n
) = L
2
(R
m
;C
n
).
The functions in H
s
(R
m
;C
n
) are in a weak sense di®erentiable:
Theorem.
(1) Let s ¸ 1,w
j
= (±
j1
;:::;±
jm
),(M
j
g)(x) = x
j
g(x) and f
j;"
(x) = f(x+"w
j
)
for j = 1;2;:::;m,and ±
ij
denotes the Kronecker ± symbol.Then for all
f 2 H
s
(R
m
;C
n
) and j = 1;2;:::;m
lim
"!0
1
i"
(f
j;"
¡f) = F
¡1
M
j
Ff:
in the L
2
{sense.Is f 2 S(R
m
;C
n
),then the limit coincides with D
®
f
with ® = (±
j1
;:::;±
jm
).We write D
®
f for this limit in any case,even if
f =2 S(R
m
;C
n
).
24
(2) If ® is a multiindex with j®j · s,then the derivative D
®
f can be calculated
iteratively.The order of di®erentiation can be exchanged.
(3) If s 2 N
0
,then kfk
s
is equivalent to the norms
kfk
s;0
=
s
X
j®j·s
kD
®
fk
2
kfk
s;1
=
s
kfk
22
+
X
j®j=s
kD
®
fk
2
:
(4) For all g 2 H
j®j
(R
m
;C
n
) is hD
®
f;gi
0
= hf;D
®
gi
0
.
(5) The function D
®
f 2 L
2
(R
m
;C
n
) is uniquely determined by
hD
®
f;gi
0
= hf;D
®
gi
0
for all g 2 C
1
0
(R
m
;C
n
),the space of all functions R
m
!C
n
of compact
support.
(6) For s ¸ 0 are C
1
0
(R
m
;C
n
) ½ S(R
m
;C
n
) and C
1
0
(R
m
;R
n
) ½ H
s
(R
m
;C
n
)
dense subspaces with respect to the norm k k
s
.
De¯nition.The spaces L
2
(R
m
;R
n
),L
2s
(R
m
;R
n
),and H
s
(R
m
;R
n
) shall be just
the subspaces of almost everywhere real valued functions of the spaces L
2
(R
m
;C
n
),
L
2s
(R
m
;C
n
),and H
s
(R
m
;C
n
),respectively.The results above are true for the
spaces of real valued functions,also.
The result,which is one of the reasons for the importance of Sobolev spaces is
the3.22.Sobolev Lemma.Let s > k +
m
2
,then the inclusions H
s
(R
m
;C
n
) ½
C
k
(R
m
;C
n
) and H
s
(R
m
;R
n
) ½ C
k
(R
m
;R
n
) are continuous linear maps.
Proof.in [Sobolev 1938].
Analogously,we de¯ne the spaces H
s
(U;R
n
) for open subsets U of R
m
.
Next we will prove some useful results,which we will need in the next sections.
3.23.Lemma.Let D
n
denote the open unit ball in R
n
,and let f:D
n
!D
n
and
g:D
n
!R
k
be H
s
{maps (s >
n
2
+1) such that Df has everywhere maximal rank.
Then g ± f 2 H
s
(D
n
;R
k
),and the map (f;g)!g ± f is jointly continuous near
(f;g),as a map ±:H
s
(D
n
;D
n
) £H
s
(D
n
;R
k
)!H
s
(D
n
;R
k
).
Proof.Recall that by the Sobolev Lemma 3.22 H
s
(D
n
;D
n
) ½ C
1
(D
n
;D
n
) is
continuous.By induction,we will prove that ±:H
s
(D
n
;D
n
) £ H
r
(D
n
;R
k
)!
H
r
(D
n
;R
k
) is continuous.
For k = 0 we check
R
D
n
kg ± fk
2
.But
R
D
n
kg ± fk
2
=
R
f(D
n
)
kgk
2
1=j det(J(f))j
with J(f) the Jacobian of f.Since D
n
is compact,J(f) is bounded away fromzero.
Therefore,±(H
s
(D
n
;D
n
) £H
0
(D
n
;R
k
)) ½ H
0
(D
n
;R
k
).Take"> 0,f
0
such that
R
D
n
kf ¡f
0
k <"=(4 max
x2D
n
kD
x
gk
2
) (this is possible since the L
1
norm is weaker
25
than the H
s
norm) and (
R
D
n
kg ¡g
0
k)
2
<"=(4 max
x2D
n
f1=j det(J(f
0
))(x)jg).Fur-
ther choose ± such that max
x2D
n
f1=j det(J(f))(x)j;1=j det(J(f
0
))(x)jg <"=4±,and
pick g
1
2 C
1
(D
n
;R
k
) so that
R
D
n
kg
1
¡gk < ±.Then we compute
Z
D
n
kg ± f ¡g
0
± f
0
k
2
·
Z
D
n
kg ± f ¡g
1
± fk
2
+
Z
D
n
kg
1
± f ¡g
1
± f
0
k
2
+
+
Z
D
n
kg
1
± f
0
¡g ± f
0
k
2
+
Z
D
n
kg ± f
0
¡g
0
± f
0
k
2
·
Z
D
n
kg
1
¡gk
2
1
j det(J(f))j
+ max
x2D
n
kD
x
gk
2
Z
D
n
kf ¡f
0
k+
+
Z
D
n
kg
1
¡gk
2
1
j det(J(f
0
))j
+
Z
D
n
kg ¡g
0
k
1
j det(J(f
0
))j
<
"
4
+
"
4
+
"
4
+
"
4
<";
which proves the continuity of ±:H
s
(D
n
;D
n
) £H
0
(D
n
;R
k
)!H
0
(D
n
;R
k
).
For the inductive step we will need the following
3.24.Lemma.Let l >
n
2
,k · l.Let B be any bilinear map B:R
p
£ R
q
!
R
r
.Then
~
B:H
l
(B
n
;R
p
) £ H
k
(B
n
;R
q
)!H
k
(D
n
;R
r
) de¯ned by
~
B(f;g)(x) =
B(f(x);g(x)) is a continuous bilinear map.
Proof.In [Palais 1968,9.13] ¤
Next we assume the lemma for H
s
£H
r
!H
r
for r < s.We then prove it for
H
s
£H
r+1
!H
r+1
.Since g ± f 2 H
r+1
(D
n
;R
k
) if D(g ± f) 2 H
r
(D
n
;L(R
n
;R
k
))
we compute D(g ± f) = (Dg ± f) ¢ Df.But Dg 2 H
r
(D
n
;L(R
n
;R
k
)),thus
Dg ± f 2 H
r
(D
n
;L(R
n
;R
k
)) by the induction assumption.Furthermore,Df 2
H
s¡1
(D
n
;L(R
n
;R
n
)),and s¡1 ¸ r,so we ¯nd that by Lemma 3.24,(Dg±f)¢Df 2
H
r
(D
n
;L(R
n
;R
k
)).
Take (f
0
;g
0
) near (f;g) in H
s
(D
n
;D
n
) £H
r+1
(D
n
;R
k
).Then (f
0
;Dg
0
) is near
(f;Dg) in H
s
(D
n
;D
n
) £ H
r
(D
n
;L(R
n
;R
k
)),so Dg ± f is near Dg
0
± f
0
by the
induction assumption.Also Df
0
is near Df in H
s¡1
(D
n
;L(R
n
;R
n
)).Since we
have r · s¡1,s¡1 >
n
2
,(Dg
0
±f
0
)¢ Df
0
is near (Dg±f)¢ Df in H
r
(D
n
;L(R
n
;R
k
))
by Lemma 3.24.¤
3.25.Sobolev completions of spaces of vector bundle sections.To over-
come certain di±culties which arise while working with manifolds modeled on
Fr¶echet spaces (or on general convenient spaces (see section 4)),we construct Hilbert
manifold completions of these spaces in the following way.
For any vector bundle V over M construct the s-th jet bundle J
s
(V ),and endow
J
s
(V ) with an inner product h;i
s
.Taking any volume form dvol on M,we get
an inner product (;)
s
on C
1
(J
s
(V )),the space of smooth J
s
(V ){sections by
(a;b)
s
:=
Z
M
ha;bi
s
dvol:
Since there exists the natural map j
s
:C
1
(V )!C
1
(J
s
(V )),(;)
s
de¯nes an
inner product on C
1
(V ),also.
26
De¯ne H
s
(V ) as the Hilbert space completion of C
1
(V ) with respect to (;)
s
.
Taking other choices for dvol and h;i
s
changes the inner product,but any two
such constructed inner products are equivalent.
3.26.Lemma (Sobolev Lemma).Let s > k +
1
2
dim(M),then the inclusion
H
s
(V ) ½ C
k
(V ) is a continuous linear map.
Proof.See [Palais 1965],but follows essentially from the Sobolev Lemma 3.22.
3.27.Theorem.If V and W are vector bundles over M and f:V!W is
a smooth ¯ber preserving map,then for s >
1
2
dim(M),the map
~
f:H
s
(M;V )!
H
s
(M;W) de¯ned by
~
f(®) = f ±® is smooth,and its derivatives satisfy the formula
D
k
®
~
f(x
1
;:::;x
k
)(p) = D
k
®(p)
f(x
1
(p);:::;x
k
(p)),with p 2 M.
Proof.In [Palais 1968,11.3].¤
3.28.Di®erential operators.Let V and W be vector bundles over M,and let
D:C
1
(V )!C
1
(W) be a k-th order di®erential operator.Let V and W have
smooth inner products h;i
V
and h;i
W
,respectively,and let vol be a smooth
volume form on M so that H
0
(V ) and H
0
(W) have explicit inner products.
A k-th order di®erential operator D
¤
:C
1
(W)!C
1
(V ) is called an adjoint
of D if for all v 2 C
1
(V ),w 2 C
1
(W),
R
M
hDv;wi
W
dvol =
R
M
hv;D
¤
wi
V
dvol.
Every operator D has a unique adjoint.
For any x 2 M,and » 2 T
¤
x
,the symbol of D at »,¾
»
(D) is a linear map
V
x
!W
x
.It can be shown that
¾
»
(D
1
± D
2
) = ¾
»
(D
1
) ± ¾
»
(D
2
);and ¾
»
(D
¤
) = ¾
»
(D)
¤
;
where ¾
»
(D)
¤
:W
x
!V
x
is the adjoint of ¾
»
(D) (with respect to the given inner
products on V
x
and W
x
).
We say that D has injective symbol if ¾
»
(D) is an injective map for all » 6= 0,
and we call D elliptic,if ¾
»
(D) is an isomorphism for » 6= 0.
The equations above show that D
¤
± D is elliptic if and only if D has injective
symbol.
Any k-th order operator D extends uniquely from a map C
1
(V )!C
1
(W) to
a continuous linear map D
s
:H
s
(V )!H
s¡k
(W).
3.29.Proposition.If D is a k-th order elliptic operator from V to W.Then
(1) ker D = ker D
s
is a ¯nite dimensional subspace of C
1
(V ),and similarly
ker D
¤
= ker D
¤
s
is a ¯nite dimensional subspace of C
1
(W).
(2) H
s¡k
(W) = imD
s
©ker D
¤
,in particular imD
s
is closed in H
s¡k
(W).
Proof.The proof can be found in [Palais 1965,pp.178{179].¤
3.30.Proposition.If D has injective symbol then
(1) H
s¡k
(V ) = im(D
¤
± D)
s+k
+ker D
¤
± D.
(2) ker D
¤
± D = ker D and im(D
¤
± D)
s+k
= imD
¤
s
.
(3) imD
s+k
is closed in H
s
(W),and H
s
(W) = imD
s+k
©ker D
¤
s
.
27
Proof.(1) follows from 3.29(2) and the fact that D
¤
± D is selfadjoint.
(2):Let h;i
V;0
be the inner product on H
0
(V ) and h;i
W;0
be the one on
H
0
(W).Of course,ker(D
¤
± D) ¾ ker D.Also if D
¤
Dv = 0,0 = hD
¤
Dv;vi
V;0
=
hDv;Dvi
W;0
,so Dv = 0.Therefore ker D
¤
± D = ker D.Furthermore,im(D
¤
±
D)
s+k
½ imD
¤
s
,since (D
¤
± D)
s+k
= D
¤
s
± D
s+k
.By (1) it has only to be shown
that imD
¤
s
\ker D
¤
±D = f0g or that imD
¤
s
\ker D = f0g.If Dv = 0 and v = D
¤
w
then D±D
¤
w = 0,so 0 = hD±D
¤
w;wi
W;0
= hD
¤
w;D
¤
wi
V;0
,and so v = D
¤
w = 0,
which in turn implies (2).
(3):Since ker D
¤
s
is closed by Lemma 3.3 we need only show that H
s
(W) =
imD
s+k
©ker D
¤
s
is true in the algebraic sense.
Let w 2 H
s
(W) such that D
¤
s
w = 0 and w = D
s+k
v.Then 0 = hD
¤
s
±
D
s+k
v;vi
E;0
= hD
s+k
v;D
s+k
i
F;0
,so w = 0.Therefore,imD
s+k
\ker D
¤
s
= f0g.
D
¤
s
(H
s
(W)) = D
¤
s
± D
s+k
(H
s+k
(V )) by (2),H
s
(W) = D
¤
s
¡1
(D
¤
s
(H
s
(W))),and
thus
H
s
(W) = D
¤
s
¡1
(D
¤
s
± D
s+k
(H
s+k
(V ))) = ker D
¤
s
+imD
s+k
:
This implies (3).¤
28
29
4.Smooth infinite dimensional manifolds
Throughout this and the following chapters,I will use the term smooth manifold
in the sense of [Kriegl,Michor 1997].I will use the notion of FrÄolicher{Kriegl
calculus and of convenient vector spaces.
I will not de¯ne more than the most basic facts of the FrÄolicher{Kriegl calculus,
since that would exceed the goal of this thesis.However,the most important results
can be found in [FrÄolicher,Kriegl 1988] or [Kriegl,Michor 1997].Most of the results,
which are presented in this chapter are taken from[Kol¶a·r et al.1993],[Michor 1988],
[Michor 1991],and [Kriegl,Michor 1997].
First we will de¯ne a suitable generalization of Fr¶echet spaces which will ¯t
extraodinary well in a category theoretical way to in¯nite dimensional calculus.
These spaces will later serve for the local models of manifolds.
4.1.De¯nition.Let E be a locally convex vector space.A curve c:R!E will
be called di®erentiable if the derivative c
0
(t) = lim
h!0
1
h
(c(t +h) ¡c(t)) at t exists
for all t.A curve c is called smooth (or C
1
) if all iterated derivatives exist.The
set of all smooth curves will be denoted by C
1
(R;E).It will be equipped with
the bornologi¯cation of the topology of uniform convergence on compact sets,in all
derivatives separately.(Note:Smoothness is not primarily a topological concept,
but rather a concept of bounded sets,hence a bornological concept.Therefore,the
bornologi¯cation.)
A sequence fx
n
g in E is called Mackey{convergent to x if there exists a positive
sequence f¹
n
g in R with ¹
n
!0 and
1
¹
n
(x
n
¡x) is bounded.
The c
1
{topology on a locally convex vector space is the ¯nal topology with re-
spect to all smooth curves R!E.(Note:The c
1
{topology is in general not a
vector space topology on E.However,the ¯nest locally convex topology coarser
than the c
1
{topology is the bornologi¯cation of the original locally convex topol-
ogy.)
A locally convex vector space E is called convenient (or c
1
{complete) if one
of the following equivalent conditions is satis¯ed.(There are more equivalent con-
ditions than these,which can be found together with the proof of equivalence in
[Kriegl,Michor 1997,Theorem 1.22].)
(1) Any Mackey-Cauchy sequence converges (i.e.E is Mackey{complete).
(2) E is c
1
{closed in any locally convex space.
(3) For any smooth curve c
1
2 C
1
(R;E) there exists a curve c
2
2 C
1
(R;E)
with c
02
= c
1
(i.e.the existence of an antiderivative).
(4) If c:R!E is a curve such that`± c:R!R is smooth for all`2 E
¤
,
then c is smooth.
4.2.Theorem.The following constructions preserve c
1
{completeness:
(1) limits,
(2) direct sums,
(3) strict inductive limits of sequences of closed embeddings,
(4) formation of`
1
(X;),where X is a set together with a family Bof subsets
of X containing the ¯nite ones,which are called bounded,and`
1
(X;F)
30
denotes the space of all functions f:X!F bounded on all B 2 B,
supplied with the topology of uniform convergence on the sets in B.
Proof.See [Kriegl,Michor 1997,Theorem 1.23].
4.3.De¯nition.A mapping f:E ¶ U!F between convenient spaces,de¯ned
on a c
1
{open subset U of E is called smooth (C
1
) if it maps smooth curves in U
to smooth curves in F.
By C
1
(U;F) we will denote the space of all smooth maps U!F.This space
is locally convex,with pointwise linear structure and the bornologi¯cation of the
initial topology with respect to all mappings c
¤
:C
1
(U;F)!C
1
(R;F) for c 2
C
1
(R;U).Then C
1
(U;F) is a convenient vector space.
4.4.Proposition.A (multi)linear map f:E
1
£¢ ¢ ¢ £E
n
!F,where E
i
,F are
convenient spaces,is smooth if and only if f is bounded.
We equip the space L(E
1
;:::;E
n
;F) of all such maps with the topology of uni-
form convergence on bounded sets.Then L(E
1
;:::;E
n
;F) is a closed linear sub-
space of C
1
(E
1
£¢ ¢ ¢ £E
n
;F),hence convenient.
There are natural bornological isomorphisms
L(E
1
;:::;E
n
;F)'L(E
1
;:::;E
l
;L(E
l+1
;:::;E
n
;F)):
This is called the exponential law for the linear maps.
Proof.See [Kriegl,Michor 1997,Propostion 3.2]
4.5.Theorem(Cartesian closedness).The category of convenient vector spaces
and smooth mappings is cartesian closed.So there is natural bijection
C
1
(E £F;G)'C
1
(E;C
1
(F;G)):
Furthermore,the following canonical mappings are smooth.
ev:C
1
(E;F) £E!F;ev(f;x) = f(x)
ins:E!C
1
(F;E £F);ins(x)(y) = (x;y)
( )
^
:C
1
(E;C
1
(F;G))!C
1
(E £F;G)
( )
_
:C
1
(E £F;G)!C
1
(E;C
1
(F;G))
comp:C
1
(F;G) £C
1
(E;F)!C
1
(E;G);comp(f;g)(x) = f(g(x))
C
1
(;):C
1
(F;F
0
) £C
1
(E
0
;E)!C
1
(C
1
(E;F);C
1
(E
0
;F
0
))
(f;g) 7!(h 7!f ± h ± g)
Y
:
Y
C
1
(E
i
;F
i
)!C
1
(
Y
E
i
;
Y
F
i
)
Proof.See [Kriegl,Michor 1997,1.36]
The following lemma provides strong means for proving many results in the
FrÄolicher{Kriegl calculus.
31
4.6.Lemma.Uniform boundedness principle.Let E be a locally convex
vector space and let S be a point seperating set of bounded linear mappings with
common domain E.Then the following conditions are equivalent.
(1) If F is a c
1
{complete locally convex vector space and f:F!E is linear
and ¸ ± f is bounded for all ¸ 2 S,then f is bounded.
(2) If fb
n
g is an unbounded sequence in E with ¸(b
n
) bounded for all ¸ 2 S,
then there is some ft
n
g 2`
1
such that
P
t
n
b
n
does not converge in E for
the initial locally convex topology induced by S.
We then say that E satis¯es the uniform S-boundedness principle if these conditions
are satis¯ed.
A convenient vector space E satis¯es the uniform S-boundedness principle for
each point separating set S of bounded linear mappings on E if and only if there
exists no strictly weaker ultrabornological topology than the bornological topology of
E.
The space C
1
(U;E) satis¯es the uniform boundedness principle for the set S:=
fev
x
:x 2 Ug.
Proof.See [Kriegl,Michor 1997,3.21{3.25]
The importance of the FrÄolicher{Kriegl calculus is also due to the fact that the
function spaces in ¯nite dimensions are all convenient vector spaces.
4.7.Proposition.Let M be a smooth ¯nite-dimensional paracompact manifold.
Then the space C
1
(M;R) of all smooth functions on M is a convenient vector
space and satis¯es the uniform boundedness principle for the point evaluations.
The structure is e.g.given by the following description:The initial structure with
respect to the cone
C
1
(M;R)
c
¤
¡!C
1
(R;R)
for all c
¤
2 C
1
(R;M).
Proof.Other equivalent descriptions and the proof can be found in [Kriegl,Michor
1997,3.31].
By considering smooth spaces,which are the category theoretical basis of the
smooth calculus,many results can be proved by using the Cartesian closedness.
However,one cannot di®erentiate in smooth spaces,so I will not show the devel-
opment of the theory here,and rather give a cite:[Kriegl,Michor 1997,section
4].
A very important notion,as always in the theory of manifolds,is the existence
of smooth partitions of unity,since they are the only known means of gluing local
results together to yield global results.
4.8.De¯nition.A convenient vector space is said to be smoothly normal if for any
two closed disjoint subsets A
1
;A
2
½ X there is a smooth function f with fj
A
1
´ 0
and fj
A
2
´ 1.
It is called smoothly paracompact if it is paracompact and smoothly normal.
Then the vector space admits smooth bump functions (i.e.for any neighborhood
U of x there exists a smooth function f such that f(x) = 1 and the carrier carr(f) ½
U).
32
Note:A nuclear convenient space admits smooth bump functions.
4.9.De¯nition.A chart (U;u) on a set M is a bijection u:U!u(U) ½ E
U
from
a subset U ½ M onto a c
1
{open subset of a convenient vector space E
U
.For two
charts (U
®
;u
®
) and (U
¯
;u
¯
) on M the mapping u
®¯
:= u
®
± u
¯
:u
¯
(U
®
\U
¯
)!
u
®
(U
®
\U
¯
) is called the chart changing.
A family (U
®
;u
®
)
®2A
of charts is called an atlas of M,if fU