E. Bompiani ( E d.)
Problemi di geometria differenziale in grande Lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.), held in Sestriere (Torino), Italy, July 31-August 8, 1958
C.I.M.E. Foundation c/o Dipartimento di Matematica “U. Dini” Viale Morgagni n. 67/a 50134 Firenze Italy
[email protected]
ISBN 978-3-642-10894-5 e-ISBN: 978-3-642-10895-2 DOI:10.1007/978-3-642-10895-2 Springer Heidelberg Dordrecht London New York
©Springer-Verlag Berlin Heidelberg 2011 st Reprint of the 1 ed. C.I.M.E., Florence, 1958. With kind permission of C.I.M.E.
Printed on acid-free paper
Springer.com
CENTRO INTERNATIONALE MATEMATICO ESTIVO (C.I.M.E)
Reprint of the 1st ed.- Sestriere, Italy, July 31-August 8, 1958
PROBLEMI DI GEOMETRIA DIFFERENZIALE IN GRANDE
C.B. Allendoerfer:
Global Differential Geometry of imbedded manifolds ........................................................................... 1
P. Libermann:
Pseudo-groupes infinitesmaux……................................... 39
C.B. Allendoerfer: Global Differential Geometry of imbedded manifolds
1
- 2 -
Lemma (Morrey) . With eaoh point P of Xn are associated n fu notions 4>
i
(i
= 1, . .. , nJ wioh are
0'" over Xn and have linearly in-
dipendent gradients at P . This lemma is an important result in its own. right . Then 4>i (p) have independent gradients in N(P). Oover Xn with
N(P i )
i
= 1. . . q
, This gives
4>i~(i
= 1 . . . n,
~
= 1 . . . q) .
Take the-
se as ooordinates in Enq . This is an imbedding whioh i s 0'" and 10cally one-to one . Hence it induoes a 0'" Riemann metric. The res ult now follows from the above theorem of Boohner.
'3. ISOIIETRIO IMBEDDING . When Xn has a Riemann. metric, we may f urther require that the given metrio coinoide with that induced by the imbedding, 1. e. that the imbedding be isometric . The results are Janet (1926)
If Xn is
0"',
it oan be looally imbedded with
preservation of the metrio in En(n+1)/2 . Nash-Kuiper
(195~
- Annals of Mathematics)
If Xn is 0 1 and
dompaot, and if it oan be differentiably imbedded in EN (N ~ lit1), then it has a 0 1 isometrio imbedding in EN , This result is effioieni regarding dimension, but i9 true only for 0 1; the case of the torus in E3 shews it · •• be false $tr O? Nash (1956 - Annals . of Mathematios) . I f Xn is O(h) (3 ~ h ~ (0)
a~d 1. oo.paot , it has an isometrio O(h) imbedding in an Euclidean spaoe of dimension (n/2) · (3n+11) . When Xnis non-compact, t he dimension required is 3n 3/2 + 7n 2
~ 11n/2 . The cases of 02 and
0'" are open .
4. RIGID IWBEDDING . If an isometric imbedding is unique to wi thin motion 1n the euolidean spaoe, it is said to be "rigid" , Suff i cie nt
2
- 3 -
cunditions for rigid imbedding will be given later in this series of lectures ,
5. NOTATIONS FOR IMBEDDED MANIFCLDS Local coordinates in En +N Lo~al
coordinates in Xn
AIsc: p,/IJ,
7"
Let Xn be imbedded in En+N
r = 1 ... n+N)
ya (a,
~,
xi (i,
j, k
= 1. . . n)
= n+1. .. n+N.
The imbedding is given locally by the functions
Then (1 )
These are a base for the tangent vectors to Xn , and so any tangent veator .is a linear combination of the dxi . It will be convenient to choose an orthonormal base for the tangent vectors, e,?- , such that 1
a In this notation a
= 8lJ ..
e~ e<:1
repreBen~s
J
the Euclidean
oompo~ent
.f the vector,
and i enumerates the vector . Then (2 )
where ¢i
= Ia
dyQ et?-1
=I a
~ea/r;)xil dx j
.~. 1
Thus ¢i is a linear differential form In particular ds 2
(3)
=Ia
dye dya
=I
¢i ¢1
We also introduce an orthonormal frame of normal vectors e~ sU:Jh that
3
- 4 -
=0
! a. e Cli ea.u
!
Cl Cl a. eu e p
= Sup
It follows at once that
r
(4)
de
u
= ~i e j + ~ui e u
= ~ju . e J. + ~pu
e
P
where we have suppressed the upper index a. are linear differential forms . From the .orthogonality of the chosen frames, we have see n t h a t
6.
EQUA~IONS
geometr1 ~'
OF STRUCTURE . These are the basic equations of own
From (2) we derive
Nence
By differentiating (4) and substituting back for dei and d e ~ from (4), we further derive d~k
i + ~~
(6)
A ~~ + ~ku A ~ui = 0
d~u
1
+ ~j
1\ ~i + (if'p .1\
~p
1
=0
d~u
+ ~cr.
A ~jP
~1'
=0
P
J
+ ~u l'
1\
4
P
- 5 -
7.
CONSEQUENCES.
(a) Let us consider the second equation of (5)
w~
A 4>i = 0
•
Since 4>i are linearly independent :
= bO'
b O'
Mereover
ij
ji
since
The b~. are the coefficients of the second fund~ment~L form. lJ (b)
Define
Curv~ture .
n~ J
= -wiO' A wU:J = dw~J
+ wik
t\
w~ J
Then
n~J = -n~1 These are the curvature forms . They satisfay the further identities : Ricci Bianchi (c) The
w~ are uniquely determined by 4>i, and hence also the n~ J
J
Since 4>i give the metric, w~ and n~ are called "intrinsic". ~y oo ntrest wi and O'
wP
O'
are not intrinsic .
Theorem : There exist unique
w]
which are B~ew-symmetric and sati-
sfy
(d) For a hypersurface there is only one second fundamental form
5
- 6 b ij · Because of (6) the expressions bijb kl - bilb kj are uniquely determined by n~, and hence are intrinsic. J
Theorem: If rank (b ij ) )0 3, the b ij are uniquely determined to within sign; 1. e. the imbedding is rigid (locally). Proof : Put b ij into the diagonal fQrm
Then assume A1 j 0; A2 j 0; A3 j O. Also AiAj are known. So AfA~A~ is known;since A A j 0, A is known to within sign. From A1 A1. all 2 3 1 other Ai are determined . This theorem is due to Beeg (1895). A generalisation for Xnc: En +N (N > 1) is included in my thesis (Amer,Jour.Math , 1939)
6
CHAPTER II THE THEOREM OF GAUSS-BONNET 1, ELEMENTARY CASES . (a) . The simplest form of the G, B. theorem is the familiar formula for the angle sum for a plane triangle . For later purposes ccnconsider the following proof
Draw the auter
,,
normals to the edge. at the vertices, and thus form the ouhr
a 1 , a 2,
~nlLes
a 3 , From an interior point draw· normals
to the edges and form angles ~1' ~2' ~3 ' Clearly ai
= ~i
; ~fli
= 2~
(b) , I f the triangle has sides whibh are differentiable curves, the
f~rmula
lao1 +!. 1
f
becomes
k ds
Ci
= 2~
If C is a simple closed curve, this
Jc
k ds
= 2~
~"
et ~
The prlof is not elementary and is due to H,Hopf , (0), If the triangle,is on a sphere, with great circle boundaires, we have this familiar formula
where Yi are the interior angles: Yi
=
~-ai '
Henoe
(d) If the edges are differentiables ourves, the formula becomes
7
- 8 -
J:°i
La. i + !
K ds +.!!!!
g
r
2
= 277
)
where Kg is the geodesio ourvature . (e) , Finally for an arbritary triangle on a surface (1 )
where KT is the gaussian ourvature, dA the element of area, and R the interior of the triangle. I oall this (1) the
G~u33-Bonnet t~.or'.
for
~
;oLiedron
(really a triangle here!) •
2. THE G.B . THEOREV FOR A COVrACT SURFACE . 2
Let X be a oompaot differentiable manifold of 2 dimension , There exists a differentiable triangulation . Applr (1) to eaoh triang1e and sum. Then V
= no.
of vertioes
=0
E
= no .
of edges
= ffITdA
F = no. of
!a. i = 277(E - V)
!IK~ds !ffKTdA !277
fa~ee
= 277. F
Then 277(E-V) +
II! T dA = 2n . F
or
where
( 7)
X.
is the Euler-Poinoare oharacteristio . Or better
II
K dA =,i2 T 2
X)
where 0 2 is the surface area of a unit 2-aphere .
8
- 9 3. THE INDEX THEOREM FOR A UNIT VECTOR FIELD . On X2 (c.e~pact) consider a unit vector field, u, lIhich is continous and differentiable except possibly a finite number of points P. Such vectcr fields can alllays be defined . We now discuss the in-
dex of the singularity
u at a singular point P.
~f
Consider a neighbourhoed of P, say R, which is bounded by a differentiable curve C e 1 , e 2 , At a point,
On R choose a differentiable frame : en C we
Q,
can write
where u 1 u 1 + u 2u 2
=1
.
Let ¢ be the positive angle from e 1
~9
u- Then
It is evident that
fcd¢
= 2w . I
where I is some integer.
In order to put our eepression for d¢ in a form invariant wit h respeot to the oh.loe of the frame, lie define
At once lie have : dtjJ
= Du
+
",1 2
Hence 2w I
= f c d¢ = Ic Du +
HOllever
and so 2w I =
Ic Du
+ 9
II,R 012
f c ",12
•
- 10 -
A direot oaloulation shows that
Thus from the/theorem of Stokes, I does not depend on C, as long as C enoloses a single singularity P. Hence we oall I the index
of the
siniu~ar.ity
of u at P
Let us now consider all of
X, Surround eaoh Pi with a Ci' whose interior is R . • Then from 1
Stokes
lie
have
also from 0) ~
(4)
f.
'1
Du
+
~
JJR K
-1 'T'
dA
= 211. n •
Combining these two equations gives us
This shows that II is independent of the veotor field u . Also from (2) II
= X.
We may prooeed in the opposite direotion. By a simple example we show that II
=l
. Then
from (4) - with a modifioation to han-
dle disoontinuities of u on C like outer angles - we prove (1), This is the best proof of (1) . Also direotly from (5) ve (3). This proves all our results .
10
w~
oan deri-
- 11 -
4. THE G, -B . THEOREII FOR A OOIlP.AOT IMBEDDED SURFAOE . Let X be oompaot and be imbedded in E3 . As before we oheese a looal frame suoh that e 1 and e 2 are tangent te X2 and e 3 is the outer normal. Then the Gauss map
(where
a2
is the unit 2- sphere in E~) is defined by the normal ve-
otor field e 3 , Frem a theorem of Kroneoker (see Hadamard, Appendix to vol . 2, Tannery "theorie des Funotions") the degree D ef this map (an integer) is given by the fermula ;
or D
= in II
X
2 KTdA
From a theorem of H , H~pf (llath Annalen 1925, pp.340-367) D
-12
Therefore we have another proof of (2), namely
JJ X2K T dA = 271 X'. . The above assumes, of oourse, that X2 is differentiable (0 0 ) is e~.ugh) . The situation ohanges if X2 is a polyedron with ourved faoes and edges . In the most elementary oase, let X2 be a reotilinear tetrahedron - what should the theorem be? It will olearly be a generalization of the angle-sum theorem fer a triangle . To obtain this, we prooeed for the triangle . We draw outer normals to the three faoes at eaoh vertex . There three normals are the edges of a trihedral angle, whioh oan be measured as a s.lid angle (the t.tal solid angle at a point is ohosen to be 471) . Oall these solid angles a 1 . Then the proof given for a triangle shows
11
- 12 -
that
Since
X= 2
for the BUl'face of a tetrahedron this is c,onsistent
with (2) above. If the polyhedron has curved edges and faces , the formula becomes (6 )
where
~
depends in a way
whi~h
will not be disoussed here on the
outer dihedral angle at each point of the corresponding edge . Formula (6) is important for another reason - it is the polyhedral G. -B , formula in a space of dimension 3 ' It remaina unchanged even when the polyhedron lies in a gener~l
x3-
there 1s no jnte,ra~
0-
ver the interior of the polyhedron . This is markedly diffel'ent from the case of two dimensions , and is characteristic of .dd dimensions of higher dimension .
5. THE GENERAL CASE OF THE G, -B. THEOREY, We have seen that there are three appreaches to the G, -B. theorem fol' a compact manifold : (a) Derive the polyhedral G. B, Theorem for dimension n . Triangulate Xn , and apply the polyhedral formula to each simplex
I
add up
and use various combinatorial relationships. (b) Derive the formula for the index at a singuLarity of a unit vector field on Xn , prove by a simple example as ' above that
X
~I =
and thus establish G.B .. (c) Imbed Xn in some euclidean space , ann use the results of Hopf and Kroneoker regarding the degree of the normal map to prove the theorem. Before discussing these methods of proof, we should first try
12
- 13 -
to guess the form of the result t4 be proved . We proceed on the assumption that X is a hypersurfa c e - We wish to find an appropriate generalization for K . It is m4st reasonable to define K
T
= det , (b, . ), since this is the expression suggested by the IJ
Gaussian map. Remember that sec6nd order minors of (b ij ) are intrinsic . Hence for n even, the Laplace expansion of det(b .. ) giIJ
ves us the following intrinsic expressi6n for ATdV : Ei
It dV T
"
,0
= 2 (s~ ' ;ln n 2 (n /2).
11 A ' "
i2
1\
A
/1
. 01n-l
in
(n eve n ) J
where dV is the volume element of Xn , Since this expression is intrinsic, it makes sense even if xn is not a hypersurface - so we adopt it in general. This leads us to
t~e
conjecture
( 7)
When n 1s odd, we are in a little diffioulty. The det(b ij )
~an
not be expressed intrinsically, and other considerations (which .appear later.) suggest that for n odd we define KT
X!
=0
. Since
0 for an odd dimensional compact manifold, we have (7) tri-
viall·y verified for n odd as well. I shall return to the questiO n of n odd a little later Let us now discuss various methods for proving (7). (a) The polyhedral formula of G. B., for Xn was proved by Allendoerfer-Weil (Trans . Am . Wath . Soc . 1943). The formula for the integrands for the faces of various dimensions, and the methods of combining outer angles of various dimensions when the polyhedra are added together are much too complicated to present there _ Reuders must be referred to the paper mentioned above . (b) On Xn (n even Or odd) define a unit vector field u whic h is continuous except at a finite number of points, p ., To det'.ine 1
13
- 14 -
the index fr u at P, proceed as abu'e . Choose a differentiable (n-l)-sphere S in Xn such that P lies in its interi.r R (a cell) In R choose a c.ntinuous frame e 1 ... e n . Then we wish to find an (n-l)-form depending on u, d1T=
JSn-l 1T
~~
and
KdV
n~
such that :
except at P
7'
n
1T
+ -fRK 7' d V =.Q. .I 2
}
n even,
will then be analogous tn the form Du used before . The expres-
sion for
1T
is very complicated and is
giv~n
by Chern (Annals of
Math 1944, p. 747) . This expression also appears (but not explicitly) in
Allend~erfer-Weil
and is discussed further in Allendoer-
fer (Bull.Am Math , Soc . 194S). For n odd, we have the formulas d1T = 0
JSn- l 1T -- -On •I 2 Proceeding as described for n=2 , we then derive
JXn K7' d V =.2!: 2 o =
LI ,
LI
n even n odd
Thus LI does not depend on u . A special example shows that in each case LI =
t . Hence
(7) is proved.
(c) When Xn can be imbedded as a hyper surface, the result (7) follows as for n=2 from the results of Kronecker and Hopf. The
probl~m there is the case where Xn is imbedded in En +N (N > 1) This problem was solved
>
independently by Allendoerfer (Am , J8urn
of Math . 1940) and Fenchel (J.Lond.n Math.Soc . 1940). We assume n even and N odd - the latter being no restriction.
14
- 15 At each point of Xn construct the SN-1 (unit sphere) in the normal space . !he points on all these SN-1 lie on a "tube", T, which is a hypersurface in En+N. A calculation shows that
where t U are local coordinates in the normal space and dS is the volume element of SN-1 , Therefore
JXn JSN- 1
det(tUb:,".)dSdV IJ
Xn
= -
on+N-1
t
X (tube)'
The integration over·S N- 1 can be carried through explicitly (see H, Weyl - Am . Journ . of Yath. 1939, although the results are actually due to Killing) . The result is
lBut
t (tube) = 2..1 (X n ),
so we arrive again at our result (7)
When this result was published, it seemed toc cover a special class of Xn, namely those which could be imbedded in En +N , From the theorem of Nash it is now clear that this proof is valid in all generality ,.
6. RELATED RESULTS OF CHERN
(Chern-Lashof
Am , Jourri . of Yath .
1957). Consider n even or odd \I 1\
and
The following the.rems are proved (a)
15
compac t COO "•
- 16 J < 3.0 n +N- 1) then Xn is h.meomorphic to an
(b)
n-sphere . (c)
If
J = 2 On+N-1, the X lies in an Bn+1 and is a convex
hypersurface in En+1. The c.nverse is als. true. These theorems generalise results of Wilnor and others for a closed curve in E2; IIKI ds ~ 2~
(a)
7.
(b)
If
IIKI ds < 4~ , the curve is n.t knotted
(c)
If
IIKI ds = 2~ ,Convel plane curve.
RELATED RESULTS OF WILNOR . Let Xn (n odd) b.e a cupact hyp·ersurface in Eo+1, Then Xn is
the b,undary .f a region R. The the.rem .f ij.pf (Wath . Ann -1926) sh.ws that 1
On where
t, (R)
1
Idet(b .. )dV ='t,(R) l.J
is the inner characteristio of R.
Wiln.r (Comm . Wath,Helv . -1956) sh.wed that f(R)
where
til is
.=
t'(X n ) mod 2
the semi-characteristio
x·= ~'-~1+" ' ±~k =~ it.
where
~i
n = 2k+1
[~ • +~ 1 +. .. +~ k 1
are the Betti numbers. Hence mod 2
Wilnor has further results on "immersions". His results have been generalized for n.n-hypersurfaces by Kervaire (Wath.Ann,-1956).
16
- 17 8. FINAL REMARKS . (a) Refer back to the formula : d Du
=
K dA r
This appears to violate Stokes theorem which would have required the left side to be zero . The reason it is not a contradictioniis that Du is singular at a point P in R. Nevertheless dDu is regular everywhere in R. This gives a clue which we shall exploit later to derive integers out of pairs of differential forms. (b) "For those who understand fiber bundles" : The form v above really belongs to the tangent bundle, and is regular there . dv
=-
K dA r
is tho inverse of a form on X with respect to the
projection map p . The pair (v, KrdA) are called "transgressive" .
17
CHAPTER III INTEGRALS OF DIFFERENTIAL FORMS 1. First we recalt s.me elementary n.tions
.n
X.n .
If
dw
If
w
Since
ddw
Poincar~
that da
= w.
=0 = da
I
Let w be an r-form
is "cl.sed"
W
w is "derived".
= 0, a derived f.rm is closed .
Lemma : If dw
= 0,
then locally there exist a such
The maxime regi.n in which a exist will be specified
later The.rem
: If
wn is derived on a c.mpact In I then
'tr suppose wn
=d
a n - 1 , Then by St.kes
But. (}X n is zer. ,
2.
INT~GRAL
I xn wn = O.
JXn wn = f!dxn a n - 1
FORWULAS ON Xn .
The above the.rem permits us t. derive many f.rmulas inv.lving integrals on Xn . We give a simple example . The.rem (Wink.wski). Let X2 be a convex surfa~e in E3 . Then I(H+pK)dA
=0
, where p fa the supp.rt functl.n .f the tangent
plane . Take e 1 and e 2 as tangent vect.rs and e 3 as the .uter n.rmal. Define x t. be the position vector .f a p.int .n X2 . Define a linear form B by the scalar triple produot :
Then
A direct calculati.n sh.ws that dB
= 2(H+pK)dA 19
~
Since de is derived.
Jx de = O.
19 -
Henoe the thetreD.f,lltws.
Ftr the prtblem tf Winkt.ski disoaseed in his leotures by Calabi,a similar methtd (Chern,Amer.Jtur.Wath.1957) shtw~ the unicity d
the stlutitn fir the oaee If 1 2C &3. Sinoe the IOly
80-
nalysis required is the thetrem tf Sttkes, this result requires tnly weak ctnditi.ns tn the differentiability .f the funotitns inv.lved . This result can be integrated as a unioity
t~etrem
f.r a
certain system .f partial differential equati.ns whioh was previ.usly kn.wn .nly f.r the analytloal oase. This system .f equati.ns is imptrtant in hydrtdyn.mics and Sttkee has used this meth.d .f differential getmetry tt derive imptrtant unicity thetrems tf this kind in applfed mathematios.
3. THE THEOREV OF DE RHAW. Let c r be a sm .. th (1. e. Coo, singular) ohain in a ctmpact Then f .
J.or wr
defines a sm.th ctchain,
The ctbtundary .f f, of, is an, r+l c.ohain suoh that
Hence
=J
Theore. : If w is ol.sed, f
or
F.r in this oas~ of: O.
wr is a ctoyole.
Further, if wr : da r - 1, then
and
Hence og : f
Theore.
If w is derived, then f
20
: Jor wr
is a c.b.undary.
- 20 -
AIsl there is the the.rem :see Whitney,
~e.metric
Integrati.n f.r
pr .. t)
n.or ••
If f
= fc
aP
f
Let B(X,R) be the
g
= f /3q , then the cup-pr.duct cg
p
cohlm.lt~y
V g
= Jc
a P" /3q p+q
f
algebra derived fr.m the sml.th f.rms
whlse respective differences are derived . Fir each w define the singular ctchain hw by h,w . c
= Jc w
Then the ab.ve argument may be summarized by the statement : h induces a htmlm.rphism h .n c.htm.l.gy classes h"
B(X,R)'" H(X,Il)
The the.rem .f de Rham states that h' is an algebraic is.morphism .f H(X,R) .nt. tbe singular c.htm.l.gy algebra (cup-product)
H(X,R) .f X. De Rham stated the the.rem s.mewhat differently, Clnsider the h.m.l.gy with integral otefficiente in X, Then fir dimensi.n r there is a set .f r-cycles zl" , zp which f.rm a h.m.l.gy basis f.r the spaoe .f r cycles. Given anr-ftrm wr , the integrals
f
wI' 2i
are called the fundamental peri.ds tf w , De Rham stated (1) If dw
= 0,
and if its fundamental peri.ds are all zer.,
then w is der!ved. (2) Given a set .f fundamental peri.ds th.re exisu a cl.sed f.rm w whioh realises these peri.ds , The the.rem .f De Rham Is the fundatitn .f much subsequent w.rk .n otnnectl.ns between ge.metry and t.ptllgy. It has, however, a fundamental weakness! , i.e . it refers .nly the c.h.mology with real c.efficiente. In .ther w.rds usir.g differential forms
21
- 21 -
it permits us to describe that portion of the homology of X which does not involve torsion . The really
int~resting
geometric homo-
logy, however, is that of homology with integral coefficients involving torsion , It is the object of the next lecture to describe my approach to a generalization of de Rham theorem which handles this situation .
22
CHAPTER IV COHOMOLOGY WITH INTEGRAL COEFFICIENTS Tbis &bapter is based on the paper "On the Cohomology of sm •• th manifolds" Allendoerfer-Eells; Comm.Vath . Helv . 1958 . In our proof of the formula for the index of the singularity of a vector field, we have already seen the basic index, which indeed gave rise t. this the.ry, namely : In order to get an integer in terms of the integrals of differential forms, we can (and indeed must) use singuLar differential forms . We will use a paLr of such forms are regular, d~
=e
,
and
Ic
e - ~c w
(e,~)
such that/where they
= I . We begin with a very
simple example of such a pair. In the plane let ~
Then gular, dw
~
- 1 -"-11
xdy - ydx x 2 + Y2
is regular except at the origin; and where it is re-
= O.
Moreover
Jc w =
o {
i f C does not include 0 •
± 1 if C inoludes 0, the sign depending of the orientation of C.
As an elementary example (to fix the ideas), let us to consider tbe integral coh,mology of a compact X2 . We triangulate X2 into simplices U1 ... u p , and define a 2,dimensional cochain by scribing the values (integers)
ai
= f ,ui
. We wish to show how
can be realized by differential forms. Consider a simplex
U
and neighbourhoods
23
p ~ e
f
- 23 Define c.ordinates x, y in U3 so that 0
€
~"
Then define
ru -. - Trr 1 We need
:0
extend its domain of definition over all X 2 , To do so
¢
we use the standard "bump function"
¢
00
is C
of U3 and
Define
on
U3
on
x-u 3 •
Then w is 0 00 on X - 0 and singular at 0, Also define is in fact 000 on X, since at 0 Then
e Can
dw
= e,
which
be taken to be zero.
Je-IG.I=l ~
~O"
But for any other simplex of the triangulation, p
Je-f w=o p
top
0
In this way define a pair (e, ,w,) for each simplex ~l" 1
1
the preassigned cochain have the integral values a,
1
define
~
= f,~,. 1
Let Then
= ~ia,w, 1 1
The pair (J,~) then realizes the cochain f in the sense that
2, THE GENERAL CASE. This some method olearly works for n-dimensional cochains in Xn , where we choose
24
- 24 -
Adx • n
For ooohains of dimenehn r (1'r<11,
fit
DI!tst modify this oon-
struotion . Let Bn - r be the unit ball in En - r . Let be 0 the e1lipuid :
Let D :ixilx·l)l} Let 0' = 0 -
~Bn-r
D1= D .. 'aB n - r .
These are disjoint sets in En_f).n-r. There exist a "bump funothn" tjJ in En_ ~Bn-r suoh that 1) 2)
3)
is OaJ in En_ Bn - r
tjJ 0
tjJ
Define
~
={
tjJ , 1
I
.-1
Q ill st
1 in
wr - 1
0'
as above in Er_ O. Let 1T : En .. Er (the verti-
oa1 projeotion) . Then 1T';;;r-1 is a closed form on
",r-1
=
{:
J!j-
-
En - r , Let
in In _ En-r
J";;;
in En - rJ if
Ixl>l
Henoe smooth in En _ Bn-r
8r
=
f:
w
in
En _ Bn - r
in En- r, i f
I, I>1
Henoe smooth in En _fJa n - r . Then {
0 if
(T
dues not i nterseot Bn - r
± otherwise
From pairs of forms of this kind we oan build a pair (~,~)J representing a given r-ooohain by the methqd explained above.
25
- 25 -
3. SYSTEMATIC DISCUSSION. We now begin a systematio treatment of suoh pairs. Let
(8r,~r-1) be a pair of forms on Xn suoh that (1) 8 r is smooth exoept on a singular set a smooth, locally finite
polyh~dron
e(8) which lies on
of dimension
(2) ~r is smooth exoept on a singular set
e(8) to be a olosed subset of
Define
n-r-1.
e(~) whioh lies on
a smooth, looally finite polyhedron of dimension quire that
~
~ n-r ,
{We re-
e(~)J.
a chain c is admissible for the pair (e,~))if
=J
Define: R [(8,w),oJ
c
8 ..
I
1)0
w
called the "residue".
We then further require that
(3)
R[(8,~),cJ
be an integer for every admissible chain c
Then (8,w) are called a (Z,r) pair (Z standing for the integers).
Remark. Instead of the integers Z , we can consider any integral subdomain of the reals A, in particular Z , or Z . Then 2 p we have (A, r) pairs. The theory to follow still holds, but for simplioity in exposition we consider Inly Z We shall need the following deformation theorem : If 0t (O~t~l) is a smooth deformation If Co whioh is admissible for
(8,~),
then R[(e,~),ooJ = R[(8,~),c1].
Now we wish to construot a oohomology algebra of our pairS
(8, ~) Define
where
26
_ 26 _
V
e(8 2 )
= e(w1 ) V
e(w 2 )
e(8 1 + 8 2 ) = e(8 1 ) e(w 1 + ( 2 ) a-( 8, w) :
( a 8, a CAl )
Uhfortunat~ly
se
fo'!'
these do not form a Z-modu1e, fot the inver-
of (8,w) is not defined if e(w)
f¢
To get around this difficulty we intr.duce the equivalence classes :
(6 1 ,w1 )
~
(8 2 ,w2 )
R[(8 1 ,CAl 1 ),c]
for all
0
if
= R[(8 2 ,w 2 ),c]
J
admissible for both pairs . This is an equivalence rela-
tion : symmetry and reflexivity are trivial. The transitivity requires the above deformation theorem. Denote such an equivalence class by [8,w]. These do form a Z-module. For the differential operator we define . d [8,w]
= [0,8]
. Then
dd
=0 .
To introduce produots we oonsider [8 11\ 8 2, w1 A8 2 ] with singularities e(8 11\ 8 2 )
= e(8 1 ) IJ e(8 2 )
e(w 1 1\8 2 )
= e(w 1 ) V e(8 2 )
The dimensions of these singularities are larger than that allowed by our definition of a(Z,r) pair above . We can deal with this problem either by oonsidering improper integrals for chains which intersect the Singularities or by reducing the dimensions of the singularities by 100al deformations of the forms. We omit tne details.
27
- 27 In summary we now have a cohomology algebra of classes of
[e, wjl
which
'lie
write
H(x, Z).
We can now state the basic theorem :
The:-e is an isomorph.ism : H(X,Z)
~
H(X, Z).
The proof is a slight modification of the modern proof of de Rham's theorem using sheaves(see the book of Hirzebruch). This requires the proof of a Poincar6 lemma : If
d [e,w] = 0 , then locally there exists a ['T1,~] such that
re,w] = d ['T1,~] This can be proved by the standard deformation argument, but the position of the singularities must be watched closely . It is at this point that we need the hypbthesis that the
~ingularities
lie on polyhedra.
3 , REFORMULATION
We can reformulate the theorem in another way ,
Let us recall that for the integral homology of X there are two kinds of fundamental cycles (1)
The ordinary cycles
tfc = 0 •
(2)
The cycles mod p : chains c such thatlO0
= m.c',
where
m
is an integer . These are "cycles mod m". We can find a base of the homology of a given dimension in X of the form C
where c Co) j
(1" ) 1 ..... 1
are ordinary cycles and
C
(1'. )
a.
( T. )
c. J
1
1
1
are cycles mod Ti
Further an integral cochain is uniquely determined if we know its values (integers) on each of these chains. We call the integrals of a pair [e,w] over the chains its fundamental periods, Hence the theorem can be stated :
28
- 28 _
(1) If d[e,w]
= 0,
and if all its fundamental periods are zero,
then (e,w] is derived . (2) Given a set of fundamental peritds there is a closed [e,~l
whose integrals have the presoribed values .
4. THE THEOREM USING A TRIANGULATION, When we triangulate X, the theorem has other interesting aspeots, Let K denote the complex of the triangulation and K' the dual oomplex . Then we choose the singularities of
e and
~ to lie on K·,
Let_Cr(K,Z) be the module of classes tf pairs (9,w] and Cr(K,Z). the module of Simplicial cochains of K with integral coefficients. Theorem . Then the map h
h([e,w])
=J e
c
o
is an isomorphism onto, satisfying dh
=
-14.
sinoe i f the residues of (e,w) are all zero, from the
argum~nt
(ctnstruction) given in
h .~~ 1'+1 = ~
Aist
12
-
Jw
(bc
It is an isomorphism
(e,w] = 0: it is onto above ,
e
Cr +1
and
h(O,eJ.C rt1 =
- ~e 1'+1
Therefore h induces an isomorphism ofOr(X,Z)HHr(K,Z)
= Hr(X,Z) .
Coronrsries : I . Every cthomoltgy olass of nr(K,Z) has a representative
(e,w) with e defined (regular) and closed on I . This
e is
the form given by the de Rham theorem for a coho-
mology class having integral periods on ordinary cycles . The form
w
giv~s
us the opportunity of determining its values on the chai ns
which are cycles mod p .
29
- 29 -
2. Any smooth olosed r-form on X is derivable from a smooth (r-l)-form with singularities lying on an (n-r)-oyole .
5. THE CASE OF A RIEMANN VETRIC . Suppose that our Xn is a smloth (or analytio) olmpaot manifold, oarrying a smooth (or analytio) Riemann struoture . Using a teohnique due to de Rham we oan introduoe for x
"Gre~n's
r
forms", whioh are symmetrio double forms
y, satisfying d g !x,y) x r
= Sy g r +l(x,y),
By an argument similar to that of de Rham (se the lie
gr(x,y)
pape~
for details)
prove :
Theore. : Every oohomology olass of Hr(X,Z) oan be represented by a (Z,r)-pair (B,w) suoh that B is harmonio on X; moreover B is
unique in its oohomology olass This theorem is, then, a generalization of Hodge's theorem . It suggests that the methods of Hodge oan be adapted to use this theorem to obtain information on the torsion of algebraio varieties
30
CHAPTER V PONTRJAGIN CLASSES ON
xn
1. TANGENT CLASSES. We recall that O~ as defined earlier are defined in each coorJ
dinate neighborhood . They are not global forms, but certain combinations of them are global - we call these invariant forms. We have already seen one example of an ' invariant form : i
A 0 i n-1 . n
This is an invariant under proper orthogonal transformations of the underlying frame and hence is well-defined on an orientable manifold. Other examples are 4k
= Tr (0 II
0
~ n
A" J: A U)
2k factors (The trace of a product of an odd number of 0 is identically zero).
64k is a form of degree 4k, having the properties (1) It is invariant under change of frame, and hence is globally defined . (2)
d(6 4k )
=0
.
This is a consequence of Bianchi's identity . Hence 6 4k represents a cohomology class with real ooefficients.
(3) This cohomology class is independent of the metric, and ir.deed of the oonnection (A.Weil) . Hence it depends only on the differential
structur~
of X .
(4) Its values on a set of fundamental cycles of X are integers
31
- 31 -
(Putrjagin) . (5) Considered as forms in the bundle of tangent frames, 6 4k are derived (Weil). If the bundle of frames has a cross-seotion, i. e . Xn is parallelisable, this oohomology class is zero. These olasses are called the tangent Pontrjagin Charaoteristic classes of Xn . Similar olasses oan be defined for any bundle on Xn ,
2 . THE NORMAL CLASSES . We reoall the equations of struoture of XnC
En+N
~
dw~ + w~ /I w~ + wk 1 O' 1 J
A wO'
:;:
i
0
dwC; + wO' 1 j
A wj + wO' A wP = 0 P i i
dwO' + w,:"
wT = 0 A wj + wO'Ii T
P
P
P
J
where nk = i
- wkO' A wO'i auP
We define the • normal ourvature" nO' = dWO' + wO' T P P
A wT = P
- we: II w~ J
This satisfies tae Bianohi identity , In terms of these forms we oan also.4efin' forms invariant under orthogonal transformations in the normal spaoe . Consider first Xn
e
E2n (n even). Then we oan form O'
.. A n n-1 O'n
n= 2 n / 2 (n/2)!
A proof identioal to that for G. B. shows that '
~ J n = LI
xn
32
- 32 -
where I are now the indices of the singularities of a unit normal vector field . This invariant is called the Whitney invariant; it appears to depend upon the imbedding. If ~I
= 0,
there exists a
global field of normals to Xn . For XnC En+N, lie can aleo define the normal Pontrjagin classes by means of the invariant forms 4k ~ N •
These are also closed and hence define cohomology classes . They are invariants of the differential structure of Xn as a result of the theorem (proof by Kobayashi) :
Theor,. :
Preof
since
Since
=
33
CHAPTER VI STIEFEL-WHITNEY CLASSES 1 . INTRODUCTION . This chapter is based upon an unpublished manuscript "A generalization of the Gauss-Bonnet Theorem" by James Eells which is itself an extension of my own paper (Annals of Math . 195Q). The Stiefel-Whitney classes Wr(X) are cohomology X with se) for
coe~ficients l~r
, By
(mod 2 if r is even and < n, t~e
ol~9ses
int~gers
of
otherwi-
theory of chapter IV there should be forms
(e,w) which represent them . The purpose of this chapter is to derive such a pair .f forms . We assume that X has a Riemann metric. For every r we define the r-th Gauss curvature form nCr) and the r-th geodesic curvature
~ (r) , These are sm .. th forms on the bundle S
form
n-r
(X) of or-
thonormal (n-r)-frames on X . l(X) = (x,e 1 · ·· e +1) rn-r whi ch is smooth except for a smooth (n - r)-poly.hedron e(f r _1 ). Let Take any smooth (n-r+1)-frame, f
be a smooth extension (x,e 1 , .. e ) defined on X except for a r n-r smooth (n-r+l)-subpolyhedron of e(f . ) . Then (r"n(r), f* l"'(r-l» r-l r · r- l' is a (Z,r) pair" on X and f
The above is a congruence mod 2 when r is even and < n . For r
= n,
it is in fact our previous formula for the index of a unit vector field on Xn .
2. BASIC DEFINITIONS . We proceed t. the definition of nCr) 6nd
35
- 34 -
e1··,e n+N, Let Vr
n +N, n
den.te the pairs (X,f), where X is an .riented
m-plane thr.ugh 0 in En+N and f is an (n-r)-frame at 0 in X , and Vi is Note that Vn +N is the "Grassmann spaoe G +N n!l-N,n n ,n n ,n the Stiefel. manifold .f n-frames at 0 in En +N = V n+N,n Then we have the o.set maps V
n+N
Eaoh
= Jtl
ma~
.... Vr
n +N ,.n
n+N, n
.,j., , .....
Vn+N,n, ~ Gn+N,n is an
Vn
n +N, n
ass.oi~ted
= Gn +N, n bundle .f the principal
bundle V
n+N,n
.... G
n+N,n
with fibre V n,n-r Define ~~ to be the Maurer-Cartan forms for En +N; namely let J
u be an orth.g.nal matrix in.E ntN , then ~~ : -~i is the matrix C<)
= u-1du
.
Define i,j
= 1. .. n.
Then
= 0 where
~(r)
fir r .dd,
is a constant depending only .n r .
Th.or,. : nCr) is a Rn +N invariant f.rm on Vrl\+N,n Next we define ~(r-l) t. be invariant .n Vr - 1 and such that 'l' n+N,n d~(r-l) = nCr) The expressi.n for ~(r-l) is far t. o.mp11oated to present here it is a generalization of the form .f the G-B the.rem,
36
~ment1oned
earlier in the
pr~of
- 35 Summary: The invariant forms n(r), ~(r-1) constitute a transgressive pair in the (r-1)-sphere bundle Vr-1 .. Vr n +N, n n +N, n •
3; THE UNIVERSAL STIEFEL· WHITNEY CLASSES. Consiqer the Grassmann space G +N and the Schubert cell den ,n composition into varieties (a 1 " . a n ) Each (a 1 .. . a n ) is the closure of the union of two oriented cells (a ... a )± . These symbols all
n
so stand for the cochain which is +1 on (a 1 , · , an)±J and zero on a11 other cells . For each
r(l
let
w
r
r
r
and wr the corresponding coohain ,
wr
is a cocycle if r is odd or r
=n
is a cocycle mod ~ if r is even) On
1
n
Gn+N,n define the singular maps
F
P
G
.. vP
n+N, n n +N, n
with singularities on the dual complex K+ of G
p=r
r-1
(For such
J
It.
cln-
structiln see Chern, Annals 1946) • Let
w
= F"r
n(r)
Then (w,~) is a (Z,r) pair In G suon that for any integral 'r n+N,n r-chain, a r , If K we have
Proof by direct calculatiln .
37
- 36 -
Theorea : The cohomology class with
Z (Z2) coefficients of the
pair (w,¢) corresponds to the r-th universal Stiefel-Whitney class.
4. THE TANGENT CLASSES
Suppose XnC En +N Let T
~
X ... G
be the tangent map, defined by letting
n tN, n
T(x) be that oriented n-plane in Gn +N ,n whioh is parallel to the tangent space to X at x " The tangent classes of X are those induoed by T'f, We obtain the desired theorem by the composition f
P
=
To'i'
P
and finally write on Xn
=J
f~ n(r) - r f· A:.(r-l) c r 1c t-l 't'
There are similar results for the normal classes using the normal curvature forms defined in V .
38
CENTRO INTERNAZIONALE MATEMATICO ESTIVO (C.I.M.E.)
P.LIBERMANN
PSEUDO-GROUPES INFINITESIMAUX
ROMA - Istituto Matematico dell'Universita - 1958
39
PSEUDO-GROUPES INFINITESIMAUX par Paulette Libermann
1. INTRODUCTION. Cet expos6oomprend d'abord un rappel d'un certain nombre de notions olassiques en Geometrie Diff6rentielle : les varietes diff6rentiables, lesespacesfibrds sont definis k l'aide des pseudogroupes de transformations, oe qui est le point de vue de C.Ehresmann; la notion de jet infinitesimal permet en particulier de d6finir celle de vecteur tangent
s
une variete et de diff6ren-
tielle d'une fonction numerique; j'indique le lien entre la theorie de C.Ehresmann et celle de C.Chevalley. La notion de jet local et d'espace etale permet de definir les faiseaux qui ont et6 introduits par H.Cartan. Je ne rappelle que tres brievement la d6finition des G-structures et des connexions infinitesimales et je renvoie
a
de nombraux travaux
au
cette theorie est exposee
(C.Ehresmann, S .. Charn, A.Liohnarowicz). J'aborde .ensuite la definition des pseudogroupes
infinit6-
simaux at des faisoeaux d'algebres de Lie assooies. J'expose oertains des resultats que j 'ai obtenus dans oette theonie ob j'utilise notamment l'operateur "derivee de particulier le theoreme
Lie~.
Je demontre en
suivant dn kC.Ehresmann (et demontre
par celui-oi en utilisant d'autres methodes) : le groupe des automorphismes d'une
G~struoture
determine la connexion afrine theorem~
telle que 1e choix de la torsion ~Bsociee
est un groupe de Lie; ce
dtait d6ja d4mDntre dans un oertain nombre de cas par-
ticuliers : G
~
On' Un etc.
41
- 2 P.Libermann
2. NOTION DE VARIETE'DIFFERENTIABLE Paul' toute application f d'un ensemble U sur f(U), les ensembles U et f (U) seront, appeles res'p ecti vement source et but de f . Etant donnes trois ensembles E,E',E",f une application U c:: V, de but
de souroe
V
c:
E',f' une
appli~ ,ation
de source
U'CE', d,e bU,t V'CE", Ie compase de f et f' est l'application f'f : x_f' (f(x)) dont la source (eventuellement vide) est 1'image rsciproque par f de V Un pseudogroupe de
n u' .
transforma~ions
r
dans un espace topolo-
gique E est un ensemble de transformations terifiant les axiomes suivants : 1) tout
f~r
est une application biunivoque dont la source et Ie
but appartiennent
a¢
(OU ~ est l'ensemble des ouverts d'une to-
polagie sur E, appelee topoLogie sous-Jacente a r). 2) $i U =
U U., l 1
pour qu'une application biunivoque f de source U,
de but f (u)e E, appartienne a r, i l faut et 11 suffit que sa restriction
a
chaque U. appartienne
a
r .
1
3) 8i
fE r , alors
r1,
r ; si f, f"
r, alors f'fE r .
4) L'application identique de E appartient
a
r
Remarquons que si toutes les applioations fEr ont pour source E', on a alors un groupe de transformations. Soisnt E et E' deux espaces topologiques et soit sur E un pseudogroupe
r .
Une carte LocaLe de E sur E' est homeomorphisme
f dont la source U est un ouvert de E. Au couple (f ,f ) de deux 1 2 c a I' tee 10 cal e s f e t f deE sur E' est a 8 'S 0 c i e l' aut 0 mol' phi s me 1
local W
- - T12
2
de E (ou cnangement de carte LocaLe) tel que f (x)
f (x') soit equivalent a 2
x' =
'P21 (x)
c'est-a-dire
:cp
21
1
=
=(f )
-1
2
Un ensemble de cartes locales dont les buts recouvrent E' est un atlas de E sur E'. Cet atlas est dit compa,ibLe avec r si le s changements de cartes locales appartiennent
42
a
r . Op demontre
f
- 3 P.Libermann
[11], [14] que tout atlas
de E sur E' oompatible avec rest
.4
A'
oontenu dans un atlas complet
A'
est identique Unev~riiti
topologique
a
compatible avec r (c'est-a-dire
tout atlas compatible avec r et contenant
A').
topoLogiquev , de dimension n, est un espace n
s~par~
t~l
qu'il existe un atlas de l'espace
que Rn sur V , compatible avec Ie pseudogroupe
Jl n
n
num~ri-
de ses auto-
morphismes locaux (on suppose Rn muni de sa topologie canonique c'est.a-dire telle que les ouverts de Rn soient les sous-ensembles U de Rn v~rifiant la condition: tout
x€
U est Ie centre
d'une boule ouverte contenue dans ~. A toute carte locale est
assooi~ un systeme de ooordonees Loc~Les (x1, ... ,xn) et les changements de cartes locales s'expriment par les
(1)
Y
Ie j acobien
i
I 'clY~ I
~quations
(i
= 1, ... ,n),
etant different de O.
'3 x~
Une vari~t~ Vest dite differenti~bLe, de olasse Cr , s'il n
existe un atlas de Rn sur V
n
compatible avec Ie pseudogroupe ~~
des automorphismes looaux de classe Cr de Rn G'est-a-dire si dans les equations (1)
d~finissant
les changements de coordonnees 10-
cales, les f i sont des fonctions r fois continument differentiaw bles. On definit ainsi les variates de olasse COO et C (analytiques reelles). De meme on definit les
vari~tes
analytigues com-
plexes Wn par un atlas de l'espace num~rique complexe Cn sur Wn compatible avec Ie pseudogroupe des automorphismes locaux analytiques complexes de Cn; remarquone que West muni d'une structun
re de
variet~
analytique
r~elle
de dimension 2n.
3. ES.PACES FIBRES DIFFERENTIABLES A GROUPE STRUCTURAL DE LIE. On ne donner a pas ici la definition la plus
43
g~n~rale
des e-
- 4 -
P.Libermann
spaces fibres (voir par ex. [11), [12), [26], [7)) mais on ne considerera que des varietes munies d'une structure d'espace fibre
a
groupe structural de Lie [11] T [12]. Soient : B et F deux varietes differentiables, G un groupe d'automorphisme de F tel que l' application (s, y) .... sy de G X F dans F soit deux fois differentiable; Ie groupe G est alors muni d' une structure de groupe de Lie. Considerons sur B X F Ie pseudogroupe fG des automorphismes des ouverts
UX F (ou U est un ou-
vert quelconque de B) definis par : (x,y) .... (x,s x y) ou x .... s x
est
une application deux fois differentiables de U dans G. Un espace
.!l..lli,
topo~ogique
de base B, de groupe
E est muni d'une structure d'espace G, de fibre type F si les
structura~
conditions suivantes sont realisees :
1) II existe un recouvrement de B par des ouverts U. (qui 1
seront appeles ouverts distingues pour 11'1 structure fibree) et une famille fi de cartes locales, de sources Ui '" F, telles que les buts f. (U. X F) recouvrent E. 1 1 2) Ces cartes locales constituent un at~as c011lp~et de BX F
r
Bur E compatible avec Ie pseudogroupe
G
defini precedemment.
En particulier l'espace produit BX F est un espace fibre (appeIe espace fibre triviaL) de groupe structural reduit a l'identite. On demontre que l'espace fibre E considere precedemment est un espace separe [12); en prenant les restrictions des f
i
a des ou-
verts homeomorp.hes a Rn~ RP (ou n = dim. B, p = dim. F), on verifie que E est une variete
differentiab~e
de di.ension n + p .
De 11'1 definition de E, il resulte que Ie changement de cartes 10cales correspondant a f
i
(de source U. X F) et f . (de source U X F), 1
c'est-a-dire l'automorphisme local: (x',y')
J
j
= f. 1
crit .
44
(f .lex, y) s'eJ
- 5 P.Libermann
X'
( 2)
= x
y' = sjiy I!
ou
x
E
u.1 tI
y,y'
U. J
et
6. F
sj i E G .
x hi et h j de r. et r. 9. F sont des homeomorphi1 x x J smes de F sur des sous-espaces Fi et Fj de E, definis respeotix x vement par y - r.(x,y) y-r.(x,y).
[X)"
Les restrictions
1
J
On a : f . (x, y)
J
= f.
J
-1
f.(x,y) J
et h j
y) = f.(x,sji X 1
X
ji . = his I X x
Fi et Fj coincident : ce sous e spa,c e qui x x ne depend que de x et que lion designera par F sera appele fibre
donc les sous-espaces
x
au-dessus de x, Les fibres, qui sont des sous-varietes de dimension p de E, forment une partition de E et l' espace quotient de
E par cette partition s'identifie
a B;
finie de E sur B telle que
l'applioation p ainsi de, est la projection ca-
nonique de E sur B . Si hi est un homeomorphisme de F sur Fi,llensemble des hox meomorphismes de F sur Fest: H = hiG , d'apres ce qui precede, x x x Nous allons montrer que l'ensemble H de tous les H quand x parx
court Vest un espace fibre appele espace fibre principaL asn
a
socii!
u.x 1
F
E ; en effet soi t fi une carte locale dans E, de source
considerons l'application
1
i
i
: (x,s) - h s x
de
U .XG 1
dans H ; la relation his = h j s' est equivalente a : x = x' X x' ji s' = s s . On verifie que les f. forment un atlas complet de 1 x B)( G sur H compatible avec le pseudogroupe r ou G est Ie G y r groupe des translations a gauphe de G; donc H est un espace fibre differentiable de base B, fibre type F, groupe structural G . Y L'espace fibre E sera represente par Ie symbole E(B,F,G,H) et H par le symbcle H(B,G,G ,H ).
Y
1
Plus generalement on designera par espace fibre principal
45
- 6 P.Lbermann
tout espaoe fibre dont les fibres sont homeomorphes
a
un
group~
G et dont le groupe structural est le groupe des translations
a
gauohe de Gi on demontre qu'un tel espaoe fibre est isomorphe
a
l'espace fibre prinoipal assooie a un espaoe fibre. Une seotion dans un espaoe fibre E(B,F,G,H), de projeotion p, est
un~
applioation oontinue
V>: B - E telle que
PIP soi t
l'identite. L'etude de l'existenoe de seotions dans un espaoe fibre oonduit
a
la theorie des obstaoles (voir des exemples dans (1)).
Une struoture fibree subordonnee a
la structure E(B,F,G,H)
est une struoture fibree E(B,F,G',R') ou G' est un sous-groupe de Gi alors H' est un sous-eepaoe de H. On demontre (11) que l' existenoe d'une tel Ie struoture subordonnee (probleme de la reduction du groupe structural dans la terminologie de Steenrod est equivalente
[26V
a l'existenoe d'une seotion dans l'espace fibre
RIG', de base B, dont les fibres sont isomorphes a l'espaoe homogene GIG'. On trouvera des exemples d'espaces fibres dans la suite de oet expose.
4. ESP ACES ETALES . FAISCEAUX. Un espaoe topolo.g ique E' est dit etale (14), (15) dans un espace topologique E s'il existe une applioation p de E' dans E verifiant la propriete : tout x' Eo E' U tel que la restriction de pace
possed.e un voisinage ouvert
voisi~age
soit un homeomorph i-
sme. L'ensemble des inverses des restrictions de p jouissant de cette propriete forme un atlas oomplet de E sur E' compatible ayeo le pseudogroupe r
des applioations identiques des ouverts o de E. Inversement soit un atlas oomplet de E sur E' compatible avec Ie pseudogroupe roi si fi et fj sont deux oartes looa l es de
46
- 7 P.Libermann
buts 0 '
i
et 0 '
j'
dans
0'
i
n0 '
f- 1
les applications
j
~e
t f- 1 j
co!ncident, d'ou une application bien d~termin~e de E' dans E dont la restriction a. 0 '
i
est (f )-1 . Done pour que E' soit i
etaLe dans E, iL faut et iL suffit qu'iL existe un atLas compLet de E sur E' compatibLe avec Le pseudogroupe des appLications identiqueJ 4e! ouverts de E. Etant donnee une application continue f d'un ouvert 0 d'un espace topologique E dans un espace topologique EI, on appelle jet local (ou
~)
en x de f et on note
/'f (ou x € D) la x classe des applications continues d'un ouvert de E dans E' qui coincident avec f dans un vOisinage ouvert de x ; on designera source (resp.but) de jAf Soit
A
Ie point
x(resp.f(x».
x
J (E,E') l'ensemble de tous les jets locaux de E dans
E'; soit f, de source 1 I application jAf : x
looale de E dans
UC E
~
/f x
une application continue dans E'; de
U
dans
JA(E,EI) est une carte
JA(E,EI); l'ensemble de oes oartes looales est
un atlas de E sur JA(E,EI)
compatible avec Ie pseudogroupe des
applicatione identiques des ouverts de E oar
jAf x
= jAx
fl
en-
I
JA(E,E') une topologie
tratne x' = x. Cet atlas transporte sur
A.
engendree par les buts des cartes jAf
tout ouvert de J (E,E')
est Ie but d'une carte looale ou une reunion de tels buts : ~A spaoe J (E,E'), muni de cette topoLogie, est etaLe sur E par l'application a qui a. tout source. L'espace
X ~ JA(E,E') fait correspondre sa
JA(E,E') n'est pas separe en general .
Soit L(E,E') une classe locale d'applications de E dans E, o'est-a.-dire un ensemble d'applications d'ouverts de E dansIE' rifiant la oondition : si U =
Ui U., 1
pour qu'une application con-
tinue de U dans E' appartienne a. L(E,E'), il faut et il suffit que sa restriction a. chaque ouvert de U. appartienne
47
~
1
a
L(E,E').
- 8 -
P.Libermann
L' ensemble
~
des jets locaux correspond ant
a
tous les f £ L(E, L')
est un espaoe etale sur E : o'est un sous-ensemble ouvert de A. J (E, E') j si f E L(E, E') a pour source U, l' application
est une seotion s de
~
tion oontinue de U dans
aU.dessus de U
l
(o'est-~-dire
A. x
x- j f
une applica-
telle que as soit l'application iden-
tique de.U)j inversement s.oit s un.e seotion .de<'€ au-dessus d'un ouvert U " Ej l' applioation g A.
de J (E,E') sur E' qui
x'" f3s(x) (ou f3 est l' application
a tout jet looal fait correspondre son
but) est une application oontinue de E dans E' dont la restriction
a
un voisinage de chacun de ses points appartient
a
L(E,E') done
gf L(E, E') et l' ensemble r(~ ,U) des sections de ~ au-des sus de U s'identifie
a l'ensemble L (E,E') des fonctions
pour sourc e U.'
U
fE L(E,E') ayant
~'e space e·t al e ~ est appel e un f ai scea u 10 r s que
est muni d'une structure algebrique verifiant les conditions suivantes : 1) pour ohaque x E E, l'image reciproque a- 1 (x) =
~ lC
est mu-
ni d'une struoture algebrique (les structures algebriques de tous les ~x sont homologuee). 2) les lois de composition interne et definis)
exter~e
(non part out
sur~ determinees par la structure algebrique des ~
x
sont oontinues. 8i ~ est un faisoeau, elors l'ensemble
ref, U)
des sections
de ~ au~dessus de U est muni d'une structure algebrique homologue
a
celle des ~
rc! ,U)
dans
r(!
x
et si
V<:' U, 11 exiSte un homomorphisme de
,V).
Considerons inversement une classe locale L(E,E') d'applications munie d'une structure algebrique definie par des lois de composition interne et ext erne telles que pour toute loi interne 1e compose fTg soit defini dans l'intersection des sources de f
48
- 9 P.Libermann
et g, pour toute 10l ext erne Ie compose
w.L
f soi t defini dans la
consid~re l'espace etale fdefini par lea
source de f ; 8i l'JD
jets looaux des f€ L(E,E'), chaque ~
x
est muni d'une structure
algebrique homc10&ne at lIon verifie que! est un faisceau; example
composition ~dans L(E,E') correspond une loi A ' A . A de composition int.erne dans"e definie par: j f T j g = j (rot'g). x x L Qn dE:1ii.ni t. ain~'i des faisceaux de groupes, d' anneaux, de mo~
la lei
par
j~
+-
dules, d' algebras
de
Lie etc.
Exemples de f3isceaux 1) Sur une 78ri6te differentiable,
les germes de fonctions
numeriques forment un faisceau d'anneaux. 2) Sur une variete analytique complexe les germ~s de fonctions
holomorphes (k valeurs
co~plexes)
forment egalement un faisceaux
d'anneaux (ae d~rnior faisceau est separe): l"ensemble des
3)
~
x
s'identifie ~
enti.res convergentes au voisinage de x.
D~rlJS
Si rest UD espace muni d'une structure algebrique et E
un espace
tcpol(Jgi~'J.e,
Ie produit E)( F muni de la topologie pro-
duit de la topologle discrete sur F et de la topologie sur E est un faiscwau
appel~
faisceau constant.
5. JETS INFINITESEIAUX. VECTEURS TANGENTS A UNE VARIETE [13], [15]. Soient V
n
et V
!n
deux Yaridtes de classe Cr et f une appli-
cation d'un voisinl.lge de
xE
Vn dans Vm. Si If'st
'P'
sont des
cartes loaalss sur V et V au voisinage 'e x et f(x), ~ f corn m respond l'applioation I = "f,-l d'un ouvert de Nn dans Rm; f est dite de clas8~ Cp(p~ r) si f s'exprime par les equations iiI n i y = f (x , .. ,x ) (i :: 1, ... ,m) ou les f sont des fonctions de classe
cP
On de8i~n0 par jet infinitesi1lla,L d'ordre sou s-jet
(s ~ p) de l'applioation f, de ~ x, de but f(x) et on note
49
- 10 -
P.Libermann s j f la classe de toutes les applications g d'un ouvert de V x n dans V dont la source contient x, verifiant : g(x) = f(x) et m
q~e
telles
g s'exprime
vees partielles d'ordre
a ~
l'aide de fonctions gi dont les deris prennent en x les memes valeurs que
celles de meme esp~ce des fi. On verifie que la notion de jet (ainsi que celle de classe de differentiabilite d'une application) est independante du
de coordonnees choisi.
syst~me
Soient ; f une applicatlon d'un ouvert de V dans V , h une n m application d'un ouvert de V dans une variete V . Les derivees m q d'ordre s de l'application composee hf sont des polynomes par rapport aux derivees d'ordre
~
s de h et f, d'ou la loi de com-
position entre jets:
.
1
i
n
Par exemple si f s'exprime par les equations: yl = f (x , .. ,x) et h
.
1
m
par les equations : zj = hJ(y , ... ,y ), le jet
j
1
Xo
(hf)
est defini par x
On designera par dans V
. Soit
m
m
1
o
J
••
J X
J
0 .
1
n
o
0
z , .. , z ,
JS(V ,V la variete de tous les s-jets de V n m n s s Z t: J (V n , Vm), ,Af;! source x, de ·but y et soit
JS(Rn,V )(resp.Js(R m, V ) de source 0, de n m s S but x (resp.y); X et Y sont supposes inversibles c'est-a-dire
XS(rsp.Y S ) un jet de
s -1 s s Z X est
sont les jets d' applications biunivoques. Lejet (y) un jet de source et but 0 appartenant te un isomorphisme de L'ensembLe
source x, de flJDme but
y
a
J~(Rn,Rm); il en resul-
d.s jets de JS(V ,V ) de meme
sur L'enUlIIbLe L
s
m,n
n m s n m des jets de J (R ,R )
de source et but O. On peut en deduire une stru c ture fibree de JS~V ,V ) de base n
m
V X V , dont les fibres sont isomorphes n
m
50
a
- 11 P.Libermann
On designera par pS-vitesse dans V , d'origine x un s-jet p
de R
..
n
dans V , de source 0, de but x. Il resul te de ce qui pren
cede que l'ensemble des pS-vitesses d'origine x est isomorphe a
LS
n, p
En particulier un vecteur d'origine x sur Vest un jet du n
premier ordre de R dans V de source 0, but x; l'ensemble des n' veoteurs d'origine x sur V est donc isomorphe a L1 qui s'in n,l n n dentifie a l'espace vectoriel R ; en effet si f est · une applica_ n i tion d'1iln voisinage UC R de 0 dans R definie par ; x = fi(t) (i = 1, .. , n), Ie vecteur j1f peut etre represents par; xi = ait i Ofi 0 (ou a = (~t) _ ); dono l'ensemQle des vecteurs d'origine x E V ·oe t-o n
T
est un eSFace veotoriel gent
a
Vn
x
(de dimension n) appels espaoe tan-
~ x. Les a i sont les compos antes du vecteur relative-
ment au systeme de coordonnees. Sur V
n
une nS-vitesse inversible est un s-repere; en parti-
culier l'ensemble des
rep~res
est isomorphe au groupe
du premier ordre d'origine xE V
n
L1 (ensemble des jets inversibles de L1
n
n,n
qui n'est autre que Ie groupe lineaire homogene GL(n,R).
a Vest n
L'espace T(V ) des vecteurs tangents n
un espace fi-
br~ de symbo~e (V ,R n ,L 1,H) dont L'espace fibr~ principaL asson
ci~
n
est L'espace H(V ) de tous Les reperes sur V • n
n
On designera par pS-covitesse dans V, d'orig·ine x, un s-jet n
de V dans RP, de source x, de but O. Pour p :: S = 1 on ales ·Il covecteurs et pour p = n , s = 1, on a lee coreperes du 1er ordre (sL Ie jet est suppose inversible). Si X (resp.X') est un vecteur (resp ..covecteur) d'origine x sur V , Ie jet compose X'X est un scalaire designe par produit n
interieur de X et X' et note i(X)X' ou <X, X'> ; L'espace T*
x
des covecteurs d'origine x est donc L'espace vectorieL duaL de T . x 51
)
- 12 P.Libermann
i
La variete
(V ) des covecteurs de V n
est un espace fitl
n
dont l'espace fibre principal associe est l'espace
~
H (V ) des n
coreperes de V . n
La differentieLLe en x d'ordre s d'une application f de Vn designe
dans RP est la pS-covitesse
la translation de RP amenant f(x) en O. En particulier si fest une fonction numerique (application de Vn dans R), la differen1 d f (que l'on designeta par dxf est le jet : j~(tf(x)f). x Soit (x1, ... ,xn) un systeme de coordonnees locales au voisi-
tielle
nage de
xE
V ; le produit interieur d'un vecteur X d'origine x, n
de composantes
1
n
i ( X) d f
(4)
x
= L (. af
a1(i
Les differentielles forment donc une base de d f
(5)
X
d fest: x
et de la differentielle
X (x), ... ,X (x) xi)
x
dx 1 , ... ,dx n des fonctions x x T~ et l'on a x
x
1
J'"
1
X
n
= L:~(x) d xi. ax1
x
Le vecteur X , d' origine x, defini tune application:
= i(~)d
f de l'ensemble des fonctions de classe C1 (dex finies au voisinage de x) dans R; cette application est 1ineaif - Xf
re et verifie : X(fg) = g(x)Xf + f(x)Xg. Qn retrouve la definition d'un vecteur tangent donnee par C.Chevalley
[9) dans l e cas
ana1ytique. On definira un tenseur de type (p,q),
d~o~igine
x comme un
element du produit tensoriel : T e ... ® . ~ QI) T' ® ••• ®T* ~ ;.; x ~...--.J p facteurs q facteurs tenseurs de type (p,q) sur Vest un L'ensemble T~P,q
espace fibre [22). On a : T(l,o)(V) = T(V ); T(o,l)(V ) = TIf(V ). n n n n On considerera en particulier les tenseurs covariants antisy~etriques;
un tenseur covariant antisymetrique d'ordre q est
52
- 13 P.Libermann
une q-forme
ext~riuure.
p-forme
et d'une
13
p
i3
(6 )
p"'q
On
q~forme
;::(J!\e
p
Ie produit
d~finit
13
q
q
dlune
Ext~rieur
de m~me origine xi o'est une .
=(-l)pqeAe. q p
Ce pr'oduit etant dist,r:i.butif par rapport 3. l "addition definit dans
l'esp~ce
vectoriel des formes exterieures
~'origine
x une
algepre app.alee aLgebra e,xterieure relativement e. Til. Pour plus x de d~tails voir Bourbaki [3], A Lichnerowicz [22) et la conferenoe de Allendoerfer [11. L,a def.:i..n.ition du produg
int~rieur
s'
~tend
rieures : si X est un vecteur d / origine x, une ap.plic"ltion
lin~aire
(p~i)-formcs
la condition suivante . 8i 13 est une fj
=a
4
II a P
A
~tre
i(l) 9st
d~finie
par
decomposable
ou les a k sont des t .. formes, on a
:
'1tA a 1\
p (~l)k+i<X ak>aiA .. .Aa • ., sig,nifiant que Ie terme situe au-dessous doit i'~~P
(Ie signe
d'origine x,
p~forme
i(X)e ~ I
(7 )
I'op~rateur
de I: espace vectoriel des p·,formes d'o,",
rigine x dans l'espace des
1
aux formes exte ...
A
supprimd). On verifie 11'1 relation. i(X)i(X)
=0
Pour une definition plus generale du produit interieur, voir Bourbaki [3)
Soit P 11'1 projection canonique de T(V ) sur sa base V n
te application f d'un cuvert U de V application r'igine
f
I
de p
., 1
dans
Tau-
dans V se prolonge en une m
n
(U)
n
T(V )
~
m
etant un vecteur d'o-
x ~ U, X" :: r1(X)
done d origin~ f(x),
est Ie jet compose (jinX; X' est x llapplication f1 est la differentielle au
sens de C Chevalley [9).< De mel11e f se prolonge en une applicatIon f* (transposee de fI) d'un ouvert de . T~(V m) dans T*(V n ) : pour tout ooveoteur
II-
wf(x) d'orig~ne {(x). { (W}(x)' est Ie covecteur:
53
- 14 -
P. Li:' erIiluflt;
"'X - "'fcx) S1f )C • -
l
On pe
de mIme Ie prolongement da faux tensBUfB de ty -
i~f init
1~&I(cDque.
c n p3rtiaulier aux forrueu ext6rieares.
6. CHAMPS DE VECTEURS . FORMBSDIFFERENTIELLES. OPERATEURDERIVEt
Sur une varicitd V • un champ de vecteurs I (ou transformati on !1
injini tis ima.L el cs t space T(1) d0 s
un
relhvement oontinu x
X
x
de V
dans 1'0-
n
tangents; a ' est dODO une section de l'e-
vec t~ urs
n
~
space fibrd T(V ). n
On d6finit de mime un champ en puticulier une p-jorme
tenseurs de typequel c onque;
~e
fonotien oontinue : x ~ (t.!)
OU (UJ)
""p x ' p
ne x. L 'e nsemble des formes est. muni d ' une
Btruotu~e
duit ext6rieur de
p
est une p .. formed'ori~i-
X
I>
diff~rentiel1e6
d ' alg~bre
mani~re
exterieure west un t'!
dijjerentie~~e
ext6rieures sur V
n
ext6risure {on d6finit Ie pro-
6vidente) . On d6finit Ie produit int6-
rieur d ' un champ de veateurs
X et d ' une p-forme diff6rentielle
ext6rieure w i a est la (p-l)-forme diff6rentiel1e ext6rieure : p
x ~ i(X )(w ~ )
x
•
x Pour les formes diff6rentiel1ea ext6rieures, on d6finit l ' apdr3p
teur d (ou differ e ntiation ext6rieure); yoir Allendoerfer [1), Lichner.owicz (22), at cet operateur jouit des propri6tes : 1) d augments Ie degre d ' une unite
2) d est ·lineaira 3) d(.w " w ) - dw /I. w p q p q
4) dd
=
0
61 fest une
O~forme
(o'est .. a. .. dire une fonction numerique),
la forme df est la fonction continue diff6rentielle
bll
~
x
~
d f (ou d f e st la x
x
x, de f d6finie dans §,5) , 8i xl) . . " xn
54
SOLt
des
- 15 P.Liberm'lnn
coordonnees locales au voisinage d'un point de V , df peut s en
crire localement : df = 2: 1!.- dxi. (lx i
On peut definir de meme un champ
~oca~
de tenseurs : c'est
un relevement oontinu d'un ouvert U ('lppele source du champ) d'lns I' espace des tenseurs de tYP,e donne. En particulier on designera par transform'ltion infinitesim'lle locale (ou plus brievement t.i.l.) un champ local de vecteurs. On supposera dans l'l suite de cet expose que tous les champs et toutes les applications sont de classe em (beaucoup ~es r'sul~ tats enonces sont valables sous des hYgotheses moins restrictives une application biunivoque de cl'lsse e sera designee par diffeomorPhls Soit fun diffeomorphisme de source
UCV, but f(U)C,V; f n . n
transforme tout champ de vecteurs X de source W en une t.i.l. X' (de source
f(Uf'\ W) : X' = 'fI Xf -1 (ou fI est Ie prolongement de
faux vecteurs defini dans §5); toute forme differentielle west transformee en une forme w'; f(x) ~ w (j1f)-1; de meme f se prox x longe a tout autre champ local de tenseurs de type quelconque. A tout
de vecteurs X (que l'on suppose d'abord defini
ch~mp
globalement sur V ) est associe "op'rateur ddrivde de Lie e(X) n
que l'on peut definir de l'l maniere suivante : La solution du systeme differential defini sur la variete V par Ie champ X n
definit une application: que f(x,o) = x
(x,t)
~
f(x,t) de VnXR dans Vn telle
= X", quel que soit x . Pour t suffiot t =0 samment voisin de 0, chaque application f~ (definie par f t (x) =
= f(x,t)
et
-af (~
) est un
diffeomorphism~
pe de transformations
a
et X detinit un noyau de grou-
un parametre (Ie champ sera dit integra-
'Ole si X d.efinit un groupe, ce qui a lieu notamment pour tout champ si Vn est compacte). Si T est un champ de tenseurs sur Vn , il est transforme par f t en Tt ; par aefinition
55
- 16 P.Libermann
e(X)T
(8 )
e(X)T est un champ de tenseurs de
m~me type que T.
En particulier
on demontre (voir E.Carhn [4] et H.Cartan (5]) que 1 'on a :
e(X)Y = -e(y)X = (X, yl,
(9)
OU [X, y] est Ie crochet des deux champs X et Y. Si au voisinage d'un point X (resp. y) a pour composantes Xi (resp.y i ), [X,Y] a pour composantes
Zi = L(Xi oyi _ yj j
ox j
OX~).
ox J
De mame pour une forme differentielle exterieure w sur V
n
on demontre la relation
8(x)w
( 10)
= i(X)dw
+ di(X)w
(OU i(X) est l'operateur produit interieur). L'operateur e(X) jouit des proprietes suivantes
e(X) d
= e(X)e(y)
e.(Y) e(x)
dx, y] = e(x) iCy)
i (y) e(x)
e[x,Y] (11 )
= de (X)
e(AX)w
= Ae(X)w
+ (e(X)A)w
ou
A est
une fonction numerique.
Pour toute fonction numerique f, on a e(X)f x
= i(X)df
j
en chaque
V, (i(X)dr) n'est autre que X f (voir §5); (i(X)df) ne n x x x depend que du vecteur X alors que [X,Y] et (e(X)w) (ou west x x x une forme de degre ~1) est fonction du jet j!X du relevement €
X de V
n
On
dans T(V ). n
defi~it
de mame l'operateur derivEe de Lie pour les t.i. 1.
X car X definit un noyau de groupe de transformations au voisinage de chaque point de sa source. Si X a pour source
U
c: V
n
,
pour un champ local de tenseurs T, de source U', e(X) T a pour iilource (eventuellement vide) U AU'. SoH X une t. i. 1. sur V , n
56
- 17 P.Libermann
de souroe
/'xx
U!I x . Le jet LocaL
du reHvementX de V dans n T(V ) sera appele ger1lte de t. i. L.; oe germe dHinit un germe de n
groupe
~
un
param~tre.
On definit de mIme un germe de tenseur
de type queloonque. Un ger1lte en x de t.i. L. definit un operateur
deriuee de Lie pour Les ger1ltes en x de tenseurs; par definition : 8(jA.X)/'-T = /(8(X)T) x x x X et Ie ohamp de tenaeurs T sont definis au voisinage de x.
(12) o~
On definit en partioulier A.
=j
x
8(j~X)(j~Y) = / x [X, y)
et
(8(X)w).
Sur l'operateur derivee de Lie en oaloul tensoriel olassique, voir K. Yano [27).
7.
pSEUDOGROUPES INFINITESIMAUX. FAISCEAUX D'ALGEBRES DE LIE
ASSOCIES [21).
¢
DEFINITION 1 :
etant l'ensemble des ouverts d'une topolo-
gie (; sur V , on designera par pseudogroupe infini Us i1llaL, de n
topologie sous~jaoente ~ un ensemble E de t.i.l. verifiant les axiomes suivants : 1) tout Xli: E
U Ii ¢.
a pour souroe
2) si X et X', de souroes U et U' appartiennent a E, alors Ie oroohet [X, X'
1
et 130 t. i.l. pX + /-LX'
(quelles que soient les
oonstantes reelles p et /-L), de souroe Uf'\U', (eventuellement vide), appartiennent 3)
U
si
partienne
a
E
~
= VU i
i
, pour que 130 t. 1. L
E, i1 faut et il suffit que sa restriction
Ui appartienne
a
a
a
ohaque
E.
L'ensemble des noyaux de groupes dant
X, de SOUFce U, ap-
a
un parametre oorrespon-
tous les X€ E engendre par composition et reunion un pseu-
dogroupe P(E). Inversement soit
r
un pseudogroupe de transforma-
57
- 18 -
P.Libermann
tions sur V ; on d'signera par pseudogroupe infinitesimat attach~
ar
n
et l'on notera
t'simal tel que
Q(r)
Ie plus grand pseudogroupe infini_
p(~(r))C r, en prenant pour r et !l(r) la meme
topologie sous-jacente. Soit E un
pseu~ogroupe
J "- (E) l'ensem-
infinit'simal et soit
ble des germes de t.1.1. definis par tous
lesX~
E. L'espace J"-(E)
est 'tal' sur E (cfr.§4); des axiomes pr'c'dents, il r'sulte que J "- (E) des germes de source x est une algebre de Lie;
l'ensemble
x
la loi de composition (X, Y)
~ lx, y)
'tant continue, J"-(E) est un
faisceau d'atgebres de Lie que l'on d'signera par faisceau associe
a E.
Si tout X~ E est une t. i.
let
globale, E est une algebre de Lie
JA.(E) est. Ie faisceau constant V x~ . Nous ne supposerons n
pas cette condition r'alis'e dans 111. suite. Le. pseudogroupe infini-
prolong~
t'simal E sur Vn se
en un
ps.udogroup~
infinit'simal .E(P,q)sur
la vari't' T (p, q) (V ) des tenseurfj de type (p,' q); en effet tou~ X€.E defini\ n
un noyau de groupe de transformations f
t
se prolongeant en transfor-
mations
f(P, q) sur T(P, q) (V) ce qui d'termine une t.1.1. X(p, q) t n sur cette derniere vari't'; X(p,q) sera appel' prolongement de X.
On v'rifie que les prolongements de tous les pseudogroupe infinit'simal
que de E; pour tout et
J~(p,q)(E(P,q))
Xf E
forment un
E(P,q) appel' protongement hoLoedri-
) . . T (P, q) (VIes algebres de LIe J "-(E) . p,q n x sont isomorphes (x est suppos' la projection x()~
de x (p, q) sur V ) . n On peut defini r de meme Ie prolongement de E
~
s . J (V n ' Vn),
espace des s-jets de V dans V n n On d'signera p'>r JS(E) l'ensemble des s-jets des relevements loc'>ux de V
n
d'>ns T(V ) d'termin's par tous les
X ~ E; de I,>
n
d'finition de E, il r'sulte que pour tout
x4 V
n
l'ensemble
JS(E) de t ous l es jets de source x forme un esp'>ce vectoriel et x
58
- 19 P.Libermann
cet espace est de dimension finie
d; en effet JS(E) est un x x sous-espace vectoriel de ds(V ), espace vectoriel des s-jets de x n source x de taus les relevements 10caux de V dans T(V ) et n
n
est de dimension finie: Sl. x 1 , ... ,x n
sont des coord on-
nees locales sur V dans un voisinage U de x, une t.i.l. X n lin n 1 n composantes X (x , ... ,x ), ... , X (x , ... ,x'): le jet jSX x 1 n est defini pOlr les scalaires (x , ... , x ) ,
01
pour
x
oo.t
+ ,",
+ a..
X
)
""vec a +... +a = ~d = O,l, ... ,s). n 1 a. x COXl)o.l ... (ox"') ~ 8i s'> s, dim. JS'(E) > dim. JS(E) et par suite dim./(E) x x x dim.Js(E). x L'espace vectoriel JS(E) n'est pas en general une algebre
~
x
de Lie car le crochet definit une application de JS(E)i JS(E)
x
dans J s - 1 (E) x
j Sx x
JSY x
et
:
x
js-1[X, y] est determine par les jets x . , 1 j y [X,y] a comme composantes L(X jOX ). puisque ox j ox J le jet
2.I:.._
DEFINITION 2. Le pseudogroupe infinitesimal E est dit com-
plet d'ordre q si E est l'ensemble des solutions de Jq(E), q etant le plus petit entier a jouir de cette propriete. Alors E est 1 'en'semble des solutions de
J q ' (E) pour q" >' q.
Au voisinage d'un point de V , Jq(E) est l'ensemble des son
lutions d'un systeme
Lq
d'equations aux derivees partielles d'or-
dre q, lineaire, homogene par rapport aux Xi at. a leurs derivees CD
partieJles, les coefficients etant des fonctions C
des coordon-
nees locales: Ie system.e Iq est compLete11lent integrable c'esta-dire
a
tout jet
a q determine par L q , correspond au mains une
solution de L q . 8i s < q, JS(E) est defini localement par un systeme si
L S obtenu en supprimant dans Iq les equations d'ordre >s;
s > q, JS(E) est defini localement par un systeme L S obtenu
59
-
20 -
P.Libermann
par ddrivations tot ales successives des equations de Iq aux
qUe
les on ajoute dventuellement de nouvelles equations pour Ie ren_ dre completement intdgrable. En chaque point x, dim JS(E) = x dim ~s(V ) - pS ou pS est Ie rang en x du systeme IS considere x n x x comme systeme lineaire; si pS est independant de x, Ie pseudogroux pe infinitesimal est appele pseudolroupe infinit~simaL de Lie : J q ( E ) est a lor sun e sou s - v a r i e t
e
d q (V n )
(e spa c e des q -j e t s
de tous les relevements de V dans T(V )). n n DEFINITION 3. Un pseudogroupe infinitesimal est dit de type fini, de degre r s'11 existe un entier r tel que Jr(E) soit iso-
a
morphe
r
1
J - (E) (et non
a
J
r-2
(E)).
8i E est de type fini, de degre r, Jr (E) est ddfini 10ca18ment par un systeme I r dans lequel (ainsi que dans ses prolongements), les derivees d'ordre
r'~
r s'expriment en fonction des
derivees d'ordre r-1; tout jet a r - 1 E J r - 1 (E) determine donc un seul jet local de mame source; ce jet local doit necessairement appartenir
a iCE);
donc E est compLet d/ord,.., q ,
l' algebre de Lie /'(E) est isomorphe a x
Jr~l(E) x
r~1.
De plus
pour tout
x (:
V ;
J"'(E} est do~c de dimension finie. x Inversement supposons qu'un pseudogroupe infinitesimal E
n
soit tel qu'en chaque x ~ V , dim JA(El soit un entier fini et n x bornd m . Comme dim JS(E) croIt avec s et que par suite x
x
dim JS(E) ~ dim JA(E), il existe un entier r x
tel que dim J S ' (E) = x precedent montre d'ail-
x
x
_ . rX-l - hm J (E) pour sl~r . Le raisonnemen,t x x leurs que dim J r x- 1 : 'm . En cha~ue, x, les· espaees vectoriels JrX(E) r
-1
x
x
et J x (E' etant de 1I~lIle dimellsi'oD, sont isomorphes. 8i x Jr(E) est isomorphe a J r - 1 (E). Dlo\.! :
x
I"
::
r
M9.x X x E. V ~
THEOREME 1.
Pour qu'un pseudogrovpe infinitlsimaL E soit de type fini, 60
-21P.Liberm'l.nn
iL faut et iL suffit qu'en tout
XE
V ,
n
L'aLgebre de Lie /'-(V } x
n
soit de dimension finie et bornee. On designer'l. p'l.r dim. E, Ie nombre d = min dim JA(E}. Par e')clOy.. x xemple si E est une algebre de Lie, Ie nambre d est 130 dimension au sens usuel de E. Soit que
r
sim~l
r
un pseudagroupe de transformations sur V ; nous dirons n
.
est de type fini, de degre r si son pseudogroupe infiniteattach~
est de type fini, de
a
dim E, ce qui correspond
. degr~
r; par
d~finition
l'l. definition usuelle si
r
dim
r
est un grou-
pe de Lie G.
r
Soient
infinitesimal contenu dans
un pseudogroupe de type £ini, E son pseudogroupe le plus grand groupe de transformations
att'l.Ch~"
r :
l'ensemble f
de tous les champs de vecteurs sur
V n qui definissent un groupe 8 un parametre,
saus-groupe de } est
l'ensemble de toutes les t.i. xeE definies globalement et inte-
g r 'l. b 1 e s (c f . § 6 ). L' 301 g e b red e lJ i e /J d a st. i.
XE E
d 6f in i e s g 10-
balement (dont les germes en x forment une sous-algebre de Lie de JA(E}) est de dimension finie puisque E, etant de type £ini, x
A
dim. J (E) est finie. Or R. Palais a 1I)0ntre [25] que si ~ est de x
dimension finie, g en est une sous-algebre de Lie et qu'alors
Jr
est un groupe de Lie. Remarquons que: dim g i ~im4 ~ dim E . On a done Ie theoreme suivant (generalisant un theoreme dn a C. Ehresmann (16]-): THEOREME 2.
Si un pseudogroupe
toutes Les pe de Lie
j
r
transform~tions
et dim
j .s
dim
est de type fini, aLars Le groupe de gLobaLes appartenant
r. 61
ar
=
est un grou-
- 22 P.Libermann
8. APPLICATIONS AUXG-STRUCTURES, (21). Rappelons que sur une variete V
n
une G-structure ou structu-
re infitesimale reguliere du 1er ordre (13), (8), [1Sl, (9) est une structure fibree subordonnee a 1a structure fibree T(V iR n , n
1
L ,H) de la variete des vecteurs tangents 9. V n
n
(cf.§5); cette
structure fibree subordonnee a pour symbole T(V ,Rn,G,HI) ob G, 1
sous groupe de L
n
1a
n
= GL(n,R)
est suppose Itre un groupe de Lie;
variete H' (V ) sera appele variete des reperes distingue! n
pour la G-structure; la variete des coreperes distingues sera designee par HI~(Vn)' Par exemple si G est Ie groupe orthogonal On on a les structures riemanniennes (C.Ehresmann et N.Steenrod ont montre qu'il existe toujours de te11es structures sur V ); si n
n = 2p, 1 e sst r u c t u res cor res p 0 n dan taG = GL( p, C) e t G = U
P
igroupe unitaire) sont respectivement les structures presque complexes et presque hermitiennes; sur une variete V2p il n'existe pas toujours de telles G-structures (par exemple la sphere S n'en admet pas si pI 1 ou
pI
Soit une variete V une n
2p
3).
~-structure
(J'
;
dans un ouvert U C-V
n
tel que p-1(U) soit homeomorphe aUX G (p designant la projection canonique de H'(V ) sur V ), la structure n
n
(J'
est definie par une
forme differentielle w c'est-a-dire une section locale; x ~ h- 1 x
de H11 (V ) au dessus de U; w eet la suite de n formes de Pfaff 1
w , .•• , w
n n
lineairement independantes dont la .restriction
a
chaque
XE U definit Ie corepere distingue h- 1 . x
L'application transposee de p(cf.§5) fait correspondre
a
la
forme w la forme w(x,s:)definie dans p-l(U) ; west la suite -1
wi = ~s~(x)wi, t-
-n
(iw , •. • ,w ) ou
les
s~(x) 1
etant des fonctions dif-
ferentiables de x, definissant en chaque point de U une matri ce appartenant
a
G.
62
- 23 P.Libermann
Une G-structure est dite intdgrable si au voisinage de to" point de VelIe peut&tre ddfinie par 101 forme w n
= dx = (dx 1 , ..
.. ,dx n ); par exemple les structures riemanniennes intdgrables sont les structures localement euclidiennes; les structures presque complexes intdgrables sont les structures complexes (ddfinies localement
a
par
d~l, ... ,dz n ob les zj sont des fonctions
valeurs complexes ) .
a
Une connexion infinitdsimale vectorielle associee
une G-
structure sur Vest ddfinie par un champ diffdrentiable de nn
elements de contact dans T(V ,Rn,G,H') transversal aux fibres n
(cf.C.Ehresmann[12]); comme G est un groupe de Lie, il existe toujours des connexions infinitdsimales associees a une G-structure; une telle connexion peut encore &tre definie par une apalication
11
de l'espace T(H') des vecteurs tangents
a
H'(V) dans n
T (G) (espace tangent en e a l3. varidte du groupe G). Looalement e
11
est definie par des formes wi j
a
valeurs dans L(G) (Algebre de
Lie de G). A la connexion vectorielle, correspond une connexion affine definie par une application
11'
de T(H') dans Te(,)(Ob
est Ie groupe affine dontG est Ie plus grand sant fixe 0)
Cette connexion affine peut etre
sous-~roupe
~efinie
f
lais-
par l'en-
semble des formes wi et w~; elle peut etre egalement definie par l'ensemble des (13 )
wk = Iski
J
wi et
-k w
(k,
t
ob test la matrice inverse de s . Voir
a
£. =
1, .. , n)
ce sujet [7], (18), [22].
L'ensemble des formes Oi definies par (i = l,,,.,n)
(14)
definit la torsion de la connexion; aux formes respondent les formes
Ok=
dW k
don c les fonctio n s
63
- 24 P.Liberm"lnn i d ' f' , ()i., i j Tjk e lnles p"lr II = ~ Tjkw
h
d'terminent en chaque point
~ w
u,
tenseur appel' tenseur de torsion. On definit de
~eme
les formes de courbure et Ie tenseur de
cou.rbure p·n 1,00', n)
Par differenti"ltion des equations (13) et (14) on obtient les equ"ltions suivantes qui generalisent les identites de Bianchi
dD i
+ 2Jlj 1\
- ~wj
j
(16 )
j
k'
dD i + 2Jl A j
j
=0
t\ Di
j
Lw
WI
k,
(i,j
k
i 1\ D j, ki
= 1,00.,n).
=0 i
Considerons les formes : ID~, ~(D~t\ D, - D," J
~,4,
J
I
I
... ; elle sont inv'lori"lntes p'lor les changements de
corep~res
et par suite sont definies globalement sur V ; des equations (16) n
il
r~sulte
qu'elles sont fermees etdefinissent par consequent
des classes de aohomologie. A.Weyl a montre que ces cLasses de
coho~oLoeie
pendantes de La connexion affine associee
a
sont inde-
La G-structure; on
obtient ainsi les cl'losses caracterietiques de S.Chern dans Ie cas hermitien. On designera par automorphisme infinitesimal local d'une G-structure une t,1.1. X (cf. §7) definissllnt un noyau de groupe de transformations f t qui soient des automorphismss 10caux de 1"1 G-structure; pour qu'il en soit ainsi, i.l faut et i l suffit que 1"1 restriction du
rel~vement
a
H'*(V ) n
(ensemble corep~res distingues ) I(
de X dans l'espace H (V ) de tous les n
eoit un champ 10c"l1 de vecteurs tangents a
corep~res
HI~(V). Dans un ou ver t n
If
.il tel que HI (V ) soit homemorphe a U){ G, 1"1 G-structure peut n
etre definie par une forme
w
=
(w 1
,00 .,w n );
64
les f t doivent tran-
- 25 P.Libermann k o~ = IsJ(x,t)w k
stormer les wJ en wj
(t)
la matrice sJ ddfin it k
un element de G. Donc la derivee de Lie (cf.§6) 8(X)w j , egale
a :
par d Elf i nit ion
a IU~(x)wk o~ a
tient
.1.... (wj
1i m
t-:'o t
-\ wj) do it H r e ega 1 e d! aut rep 6 r t
(t )
. la matrice uJ(x) k
= lim t
-0
i
.
.
_(Il J (x,t) - sJ(x,o)) appart .k -' "Jr
l'algebre de Lie L(G) (9]. On verifie que I' ensemble des
X satrsfaisant cette condition est un pseudogroupe infinitesimal.
:
D'o~
THEOREME 3. Etant donnee) sur une varilfte V } une G-structure finie dans un ouvert U c: V
n
qu'une t. i. L
X,
,
n
de-
u}
n
1
par va forme w = (w , ... , w ) pour
de source U', U appartienne au pseudogroupe in-
finitesimal} ensemble des automorphismes infinitesimaux locaux de
e(x) wj
u} i l faut e t il suff it que . les de r i vee s deL i e conditions . i j (17) e(X)w J = Iu (x)w
ou
v If r i fie n t l e s
j
les
ui j
~'algebre
a
definissent en chaque point une matrice appartenant de Lie L(G).
On en deduit l'algebre de Lie ~
des automorphismes infini-
tesimaux globaux de la G-structure, ce qui generalise la notion de champ de vecteurs de KiLLing: ces champsont ete d~termines
pour les structures riemanniennee et
d~finis
et les
k~hlerienn~s;
conditions classiquee pour ces champs peuvent ee retrouver comme cas particulier du
th~oreme
3.
Supposons la G-structure
= (dx 1 , ... ,dx n ) .
18 forme dx
I
oxj
dx k
int~grable,
On a alors : e(X)dx j
et les conditions (17) deviennent :
oxk d'o~
d~finie
localement par
= di(X)dx j
IM dx k oxk
:
THEOREME 3a .
65
=
=
- 26 P.Libermann
dx = ( dx 1 , ... ,dx n ), pour que X (de composantes X1 , ... ,X n)
un automorphisme infinitesimaL LocaL de . oxj que La matrHe-L(G).
SOH
iL faut et iL suffit
u
d e'f'u~sse . en chaque point un eLement de
ox k
oxj
Les - - verifient donc un systeme ~ d' quat ions lineaires, oxk homogenes a coefficients constants definiss~nt L(G) comme sousespace vectoriel de l' "Ilgebre de Lie de toutes les n x n matrices : (18 )
(a
=
1, ... , n 2 - p,
0
l! P = dim. G).
Les paj doivent etre tels que si deux matrices a et b verik
fient (18), il en est de meme de leur crochet c = ab - b"l. L'ensemble des solutions du systeme
~
(considere comme sy-
steme d'equations "lUX derivees partielles) definit localement le pseudogroupe infinitesimal E, ensemble des automorphismes infinitesimaux de 130 G-structure integrable. L'espace Jq(E) (of.§7) est defini localement par le prolongement
~
, les derivees d'ordre s(s
~
me L; dans L
q
d'ordre q du syste-
q
q) s'expriment en
fonction de certaines derivees de meme ordre. Done pour que E soit de type fini,
il faut et il suffit qu'il existe un nombre
r tel que les derivees d'ordre r du systeme
~
r
s'annulent. Dane
ce cas nous dirons que le groupe G est de type fini,
de degr€ r.
G sera dit de type infini : dans ce dernier
Dans Ie cas contra ire
cas,le faisceau d'algebres de Lie
J~(E) dafini dans §7 est un
faisoeau d'algebres de Lie de dimension inJinie. Examples : 1) 8i G est Ie groupe orthogonal, le systeme
d'ol!
=0
et 0
n
est de
d~gra
66
~
s'ecrit
2. 11 en est de meme du grou-
- 27 P.Libermann
pe unitaire. 2) 8i n
=
2m
et
G
= GL(m, C),
on a les structures complexes. Le
--=
' sys t eme s I "ecrl t : Clzj 0 Cl-z k et les composantes du champ de vecteurs doivent etre des fonetio-fls a-
nalytiques complexes; lIon retrouve le resultat de 8.Bochner (2] ; le groupe ; G est ~lors de type infini; en chaque point llalgebre A. de Lie J (E) est de dimension infinie. Par contre si lIon se borx
ne aux automorphismes infinitesimaux globaux, 8.Bochner a montre qulils formaient une algebre de Lie de dimension finie quand 130 variete Vest compacte. n
3) 8i n
= 2m
et G est le groupe symplectique, la G-structure in-
tegrable est une structure sympleetique
clest-~-dire
definie par
una forme differentielle exterieure 0 , partout de rang 2m, et telle que dO = O. J I ai montre par d I aut res methodes [20] que la dualite par rapport
a 0
transforme llensemble des automorphismes
infinitesimaux en llensemble des formes de Pfaff fermees. Done meme si la variete est compaete, lalgebre de Lie des automorphismes infinitesimaux globaux est de dimension infinie. Nous nous interesserons eo particulier aux G-structures pour lesquelles G est de degre 2. En effet nous allons demontrer Ie theoreme : THEOREME 4,
Pour que toutes Les connexions structure (non
necessaire~ent
~ffines ~ssociees
a une
G-
inte2rabLe) et ayant meme torsion
cotncident, iL faut et iL suffit que G soit de degre 2 . Considerons en effet sur une variete V
n
une G-structure et
une connexion affine associee; loealement eette connexion est definie par llensemble de formes wj et
67
w~
; les
w~
etant
a
va-
-
28 -
P.Libermann
leurs dans l'algebre de Lie L(G) verifient les relations (18)
~pajwj = 0 k k
. La torsion etant definie par les formes ,
"w
k'
~w
OJ = dw j _
J, k
toute connexion affine ayant meme torsion definie localement par l'ensemble des wj et 2
,
ekj =
1
+ rAJ w , avec
(a
kl
., n -p ; 1 = 1, . . . ,n) et
=
1, ..
car la condition lk entraine 111 symetrie des indices inferieurs. Done la co
= Aj
~ Aj wll\ wk = o kl dition imposee est equivalente
a
la suivante :
~
admet un prolon-
gement du 2e ordre tel que toutes les derivees secondes soient nulles. Done G est de degre 2. Par exemple, pour
le~
structures presque quaternioniennes
Ie choix de la torsion determine la connexion affine [181, done Ie groupe lineaire quaternionien est de degre 2 et Ie pseudogrou-
pe des automorphismes Locaux des structures int!grabLes (c~est a-dire quaternioniennes) est for~e de transformations affines. COROLLAIRE DU
THEORE~E
4.
Si Le choix de La torsion determine La connexion affine as-
sociee
a une
G-structure, H en est de 1II2me pour toute :G"-stru_
cture teLLs que G' soit un
sous~groupe
En effet l' algebre de Lie L(G')
de G
c:. L(G);
dans Ie, systemede-
finissant L(G') Ies derivees secondes sont nulles. Cette propriete avait ete demontree pour G
= 0n
par C.Ehre-
smann et S.Chern.
THEOREME 5.
Pour que G soit de degre 2, iL faut que: di'll!
G.:s ri(n-1). 2 En effet L(G) est def1nie par les equations (18) dont Ie rang
est n 2 -p o Par suite s1 t est Ie rang du systeme
( 19 )
2: p aj k
o2X j
=0
,
68
- 29 P.Libermann
_
(n2_p)n > n2(nt1)
p ~ n(n-l) 2
2
a
II est fisante;
remarquer que la condition indiquee n'est pas suf-
par exemple Ie groupe G, so us-groupe de GL(2m, R), repro-
duisant une forme d'Hermite
zl z l t ... t zmzm
a
un facteur reel
pres est un groupe de degre 3; or sa dimension pest egale m2 t 1
et
p < 2m(2m-1)
si
a
m > 1.
2
COROLLAIRE DU THEOREME 5.
Tout sous-groupe de degre 2 de GL(n,R) contenant Le groupe orthogonaL 0
n
co~ncide
avec 0 . n
Ce corollaire s'applique egalement au groupe Ok laissant inn
variante une forme quadrati que de rang n, de signature k, car Ok
n
a aussi pour dimension
n(n-1). E.Cartan et H.Weyl ont d'autre 2
part montre que les seuls groupes G tels que l'on puisse associer
a
une G-structure quelconque una connexion unique sans tor-
sion sont les groupes Ok (0 ~ k £ n). n
Soit sur une
vari~te
V
n
une G-structure non integrable,
finie dans un ouvert U par la forme
w
=
(w 1 , ... ,w n ).
de-
Soit X una
t. i.l. dont la source est contenu dans U ; on ,peut montrer que 2
Ie jet j X peut Itre defini par ses x
ij
= i(X)w j
"compo~antes
Pfaffiennes"
, i j et kj telles que k kl
Si l'on pose
(ce qui revient
a
k d Xj = Hjw , dk j = Lk j w k kl k . k j dw = w avec Aj =0 J + Aj LA kl w " kl lk prendre une connexion a courbure nulle), on a
69
- 30 P.Libermann
(20)
et les equations (17) s'ecrivent :
Lpa~(X~
(21 )
+
2A~lXl) = 0
.
Les oonditions d'integrabilite de ce systeme (exprimant que les formes dl j et dX j sont des differentielles exactes) s'exprik
ment au moyen d'un systeme
sP
d'equations lineaires par rapport
aux Xj , dont Ie systeme homogene associe est Ie systeme (18). kl Donc s1 G est de degre 2, ou bien ~ est un systeme de Cramer, ou bien on introduit de nouvelles conditions de comptabilite; mais de toute fayon les
X~l
s'expriment en fonction des
Xj et
x~; donc l'ensemble E des automorphismes inf1nitesimaux locaux de la G-structure est un pseudogroupe infinitesimal de degre 2. On en deduit en utilisant les theoremes 2 et 4, Ie theoreme suivant (demontre autrement par C. Ehresmann [16)). THEOREME 6.
Le pseudogroupe rdes automorphismes Locaux de toute G-structure teLLe que Le choix de La torsion ddtermine La connexion af-
fine associie est unpseudogroupe de type fini. de degri
~
2 et
par suite Le pLus grand groupe~ convenu dans r est un groupe de Lie dont La dimension est infirieure ou .gaLe
a rr
+ dim G.
Ce theoreme qui ne suppose pas la variete Vn compacte ni meme complete (c'est-a-dire telle que tout ohamp global de vecteurs soit integrable) comporte oomme oas particulie.l'B. un certain nomb red ere suI tat s c la s s i que sen ge om e t r i e d 1 f fer e n tie 11 e ; par exemple si G .= 0, on ales reBultats de M.yers et Steenrod [23); n
de meme ce theoreme permet de montrer que Ie groupe des automorphismes d'une structure presque hermitienne, presque quaternionienne etc. est un groupe de Lie. Le meme type de raisonnement permet de demontrer que le groupe des automorphismes de toute
70
- 31 P.Libermann
G-structure pour laquelle G est de type fini est un groupe de Lie. On peut retrouver egalement les resultats de Kobayashi(17): si G
= e,
on a un parallelisme absolu defini par n champs de ve-
cteurs lineairement independants en ohaque point X(1)'" "X(n); un automorphlsme infinitesimal local Y de la structure est defini par .
[X(il' y) (22)
=0
~(yj~ J
dx j
(i=1, ... ,n)
.
dyk
XJ - ) (i) dx J
=0
o'est-il-dire (i,k
= l,
.. . ,n).
Comme les XCi) sont lineairement independants, Ie rang de dyk dyk ce systeme considere oomme lineaire en J e s t n : les J . dx dx s'expriment en fonction des yJ; on a donc un pseudogroupe r de degre 1 et Ie pI us grand groupe
j
contenu dans
de transformation sans points fixes (do9-o dim
r
r
est un groupe
~ n).
La donnee d'une connexion affine sur V definit un parallen
lisme sur la variete des reperes, on en deduit Ie theoreme de Nomizu (24): Ie groupe des automorphismes d'uie connexion affine est un groupe de Lie .
71
- 32 P.Libermann
BIBLIOGRAPHIE
(lJ
C.B.ALLENDOERFER - C.I.M.E. 1958
[2J
S.BOCHNER - Proc.lnt.Cong. 1950
[3J
N.BOURBAKI - Alg~~re III - Paris, Hermann
(4J
E.CARTAN - "LeQons sur les invariants intdgraux", Paris Hermann 1922
[5J
H.CARTAN - Colloq. :L'opologie-Bruxelles 1950, p.15-28.
[6J
H.CARTAN - Seminaire de l'E.N.S. 1950-51 (Mimeographie)
[7J
S.CHERN - "Topics in differential geometry" Inst.Adv.Study, Princeton 1951 (Mimeographie)
[8J
S.CHERN - COlloq.lnt C.N.R.S. Geom.Diff.Strasbourg 1953, p.119-136
[9J
C.CHEVALLEY - "Theory of Lie groups" Princeton University Press, 1946
(10J
P.DEDECKER - These, Memoire Soc. Roy. des Sciences,Liege t.XIX, 1957
[11J
C.EHRESMANN - Co1loq.lnt. C.N.R.S. Top.A1g.Paris, 1947, p.29-55
[12J
C.EHRESMANN - Co11oq.Topologie, Bruxe1les, 1950 p.29-55
(13J
C.EHRESMANN - C.R.Acad.So.Paris,t.233,1951, p.598,777, 108.1; t. 234, 1952, p.587
[14J
C.EHRESMANN - "Strnctures locales" Rio de Janeiro, 1952 (Mimeographie) Anna1i di Matematioa, 1954 t. 36, p. 133-142.
[15]
C.EHRESMANN - Co110q.lnt.C.N.R.S. Geom.Diff.Strasbourg, 1953, p. 97-110
(16]
C. EHRESMANN - C. R. Acad.Sc. Paris, t. 246 .. 1958, p. 360-362
(17J
S.KOBAYASHI - Co11oq.Top.Strasbourg, 1954-1955(Mimaographie)
(18J
P.LIBERMANN - These.Strasbourg 1953, Anna1i di Matematioa, 36,1954
(19J
P.LIBERMANN - Bu11.Soo.Math.Franos, 83,1955 p.195-224
[20J
P.LIBBRMANN - C.R.Acad.So. Paris, t.242,1956,p.1114.
[21J
P.LIBERMANN - C.R.Aoad.So.Paris.t.246,1958,p.4,531, 1365
73
- 33 P.Libermann
(22)
A.LICHNEROWLCZ - "Th~orie globale des connexions et grodpeltd 'her lonomie", Roma, Ed1zioni Cremonese,1956
(23)
S.MYERS and N.STEENROD - Annals of Math. Vol.40,1939,p.400
(24)
K. NOMJ;ZU ... Proo. Amer. Math. Soo. vol. 4,1953, p.816
(25)
R. , PA~AIS
(26)
N.STEENROD
... Mem.Amer.Math.Soo.,22,1956 ~
"The topology of fibre bundles" Prinoeton University Presl~ 1951
(27)K.YANO - "The theory of Lie derivatives" Amsterdam, 1958
74
