MATHEMATI C S : P . A.

S MI TH P N
P ROP ERTI ES OF GROUP MANI FOLDS
By P . A. S MI TH
DEP ARTMENT OF MATHEMATI C S , C OLUMBI A UNI VERS I TY
C o m m u n i c a t e d No ve m be r 3 , 1 9 3 1
Le t Mbe a n n - d i m e n s i o n a l t o p o l o g i c a l m a n i f o l d , c o m p a c t o r n o t a n d
s u p p o s e t h a t t h e re c a n be d e f i n e d o ve r M a c o rre s p o n d e n c e T w h i c h
a s s o c i a t e s i n a c o n t i n u o u s m a n n e r a s i n g l e p o i n t Z t o e ve ry o rd e re d p a i r
X , Y,
-
i n s ym bo l s , X Y = Z. S u p p o s e f u rt h e r t h a t f o r o n e p o i n t E,
X E = EX = X f o r e ve ry p o i n t X .
Th e Fu n d a m e n t a l Gro u p r o f MI s Abe l i a n . - Th i s t h e o re m w a s p ro ve d
by S c h re i e r' f o r t h e s p e c i a l c a s e i n w h i c h T d e f i n e s a c o n t i n u o u s g ro u p .
A s i m p l e p ro o f i s t h e f o l l o w i n g : l e t a a n d
P
be t w o e l e m e n t s o f r; t h e y
a re o ri e n t e d c l o s e d c u rve s d e f i n e d by t h e e q u a t i o n s X = a ( s ) , X =
, ( t ) ,
w h e re s , t a re p o i n t s ra n g i n g o ve r t h e o ri e n t e d c i rc l e s o , T, re s p e c t i ve l y.
We m a y s u p p o s e t h a t a ( s o ) = , B( t o ) = E. No w t h e t o ru s a X r i s m a p p e d
o n Mby t h e c o n t i n u o u s s i n g l e - va l u e d c o rre s p o n d e n c e
t
d e f i n e d a s f o l l o w s :
t o t h e a rbi t ra ry p o i n t s X t o f a X T, t h e re i s m a d e t o c o rre s p o n d t h e
p o i n t a ( s )
j P ( t )
o f M. Un d e r
t ,
t h e i m a g e s o f t h e o ri e n t e d c u rve s a =
s o X r a n d b =
a X t o a re a a n d
P ,
re s p e c t i ve l y. On o - X
T t h e c u rve
a ba 1 bV' i s d e f o rm a bl e t o a p o i n t . Un d e r t t h i s d e f o rm a t i o n i s i m a g e d
by a d e f o rm a t i o n o f a , a - 1 t o a p o i n t . He n c e a a n d g a re p e rm u t a bl e ,
a n d r i s a be l i a n .
We s h a l l n o w a s s u m e t h a t ( X Y) Z = X ( YZ) f o r a rbi t ra ry p o i n t s X ,
Y, Z o f M. Th e n t h e re e x i s t s a u n i q u e l y d e t e rm i n e d n - d i m e n s i o n a l s u b-
m a n i f o l d M1 o f Mo ve r w h i c h T
d e f i n e s
a n n - p a ra m e t e r c o n t i n u o u s g ro u p G.
Mi s t h e g ro u p ( o r p a ra m e t e r) m a n i f o l d o f G. We s h a l l o u t l i n e t h e p ro o f .
Le t U be a n e i g h bo rh o o d o f E w h i c h i s a n n - c e l l . Th e s e t o f p o i n t s X U,
d e t e rm i n e s , f o r a f i x e d X , a s i n g u l a r i m a g e o f U o n M, a n d i f X l i e s i n a
s u i t a bl y re s t ri c t e d n e i g h bo rh o o d V o f E, t h e p o i n t s o f X U w i l l be u n i -
f o rm l y n e a r t h e c o rre s p o n d i n g p o i n t s o f U. By s i m p l e c o n t i n u i t y c o n -
s i d e ra t i o n s , i t f o l l o w s t h a t X U c o ve rs E w h e n e ve r X i s i n V. He n c e f o r
X i n V, t h e re i s a t l e a s t o n e X ' i n U s u c h t h a t X X '
=
E- t h a t i s , e a c h
X i n V h a s a " ri g h t - i t ve rs e ' i n U. We c a n i n t h e s a m e w a y c h o o s e a
n e i g h bo rh o o d W o f E s u c h 4 h a t e a c h p o i n t o f W h a s a ri g h t - i n ve rs e i n
V. Le t X be i n W, X ' a ri g h t - i n ve rs e o f X i n V, a n d X ' a ri g h t i n ve rs e
o f X ' . Fro m ( X X ' ) X '
=
X ( X ' X ' ) , w e h a ve EX ' = X E o r X ' =
X ,
s o t h a t X ' X
=
E. He n c e i f X Y
=
E, w e h a ve Y = X ' . He n c e e a c h
p o i n t o f W h a s a t ru e a n d u n i q u e i n ve rs e . I t n o w f o l l o w s re a d i l y t h a t
t h e s e t W` c o n s i s t i n g o f t h e i n ve rs e s o f t h e p o i n t s o f W, c o n t a i n s E a n d
i s h o m e o m o rp h i c w i t h W. Th u s t h e s e t
W,
= W + W` i s a c o n n e c t e d
o p e n s e t c o n t a i n i n g E, a n d s u c h t h a t
W, - '
= W1 . Th e s a m e i s t ru e o f
6 7 4 P ROC . N. A. S .
MATHEMATI C S : P . A. S MI TH
t h e s e t W1 W1 . . . W1 , h e n c e o f t h e s e t M1 = W1 +
WWI
+. . . a n d
s i n c e M1
Ml
= M1 , i t f o l l o w s t h a t T d e f i n e s a g ro u p o ve r M1 .
Th e p ro o f t h a t M1 i s u n i q u e o f f e rs n o d i f f i c u l t y.
A s i m p l e e x a m p l e s h o w s t h a t M1 n e e d n o t be i d e n t i c a l w i t h M. A
n e c e s s a ry a n d s u f f i c i e n t c o n d i t i o n t h a t M1 be i d e n t i c a l w i t h Mi s t h a t i f
X n
- X a n d
X n Y.
= E, t h e n t h e s e q u e n c e
Y.
h a s a t l e a s t o n e c o n -
ve rg i n g s u bs e q u e n c e . Th i s c o n d i t i o n i s a u t o m a t i c a l l y s a t i s f i e d w h e n M
i s c o m p a c t .
S u p p o s e n o w t h a t Mi s t h e g ro u p m a n i f o l d o f a g ro u p G. Fro m t h e
p re c e d i n g re s u l t s w e d e d u c e i m m e d i a t e l y t h a t i f Ni s a k - d i m e n s i o n a l
s u b- m a n i f o l d o f M c o n t a i n i n g E a n d w i t h t h e p ro p e rt y NN= N, t h e n
G d e f i n e s a g ro u p o ve r N- n a m e l y, a k - p a ra m e t e r s u bg ro u p o f G. I n
p a rt i c u l a r i f Ni s a s i m p l e c l o s e d c u rve j , t h e n j i s t h e g ro u p m a n i f o l d o f
a o n e - p a ra m e t e r s u bg ro u p g o f G. S u c h s u bg ro u p s a re o f f re q u e n t o c -
c u rre n c e . We s h a l l s a y t h a t a n u m be r o f t h e m g i , g 2 , . . . ,
g p
a re i n d e -
p e n d e n t i f t h e i r g ro u p m a n i f o l d s
j i , j 2 ,
. . . , j p ,
w h e n o ri e n t e d a n d re g a rd e d
a s e l e m e n t s o f r, s a t i s f y n o re l a t i o n o f t h e t yp e j l j 2 2 . . . = 1 . C o n -
c e rn i n g t h e s t ru c t u re o f a be l i a n g ro u p s , w e h a ve t h e t h e o re m t h a t a n
n - p a ra m e t e r a be l i a n g ro u p a d m i t s a t m o s t n i n d e p e n d e n t o n e - p a ra m e t e r
s u bg ro u p s . Th e p ro o f c o n s i s t s i n s h o w i n g t h a t i f j 1 , j 2 , . .. .
j n +l
a re m a n i -
f o l d s o f i n d e p e n d e n t o n e - p a ra m e t e r s u bg ro u p s , t h e n t h e p ro d u c t m a n i f o l d
i t X j 2 X . . .
j n +1
i s . m a p p e d o n Mi n a c o n t i n u o u s n o n - s i n g u l a r m a n n e r,
a t l e a s t . i n t h e n e i g h bo rh o o d o f E; t h i s c o n t ra d i c t s t h e i n va ri a n c e o f
d i m e n s i o n a l i t y.
We - re m a rk f i n a l l y t h a t a g ro u p m a n i f o l d Mi s o ri e n t a bl e . Fo r s u p p o s e
t h a t a n o ri e n t e d n - c e l l H c a n be i s o t o p i c a l l y d e f o rm e d o n M i n t o i t s
n e g a t i ve . Le t
Ht ( O
<
t
<
1 , H =
Ho
=
- H1 ) re p re s e n t t h e d e f o rm a t i o n ,
a n d l e t
X t re p re s e n t t h e s u c c e s s i ve p o s i t i o n s o f a d e f i n i t e p o i n t X o f H.
Fo r e a c h va l u e o f t t h e s e t
K g
= X - ' H1 i s a h o m e o m o rp h o f
H,
a n d h e n c e
a n o ri e n t e d c e l l c o n t a i n i n g E. S i n c e
X i
=
X o , i t f o l l o w s t h a t K o
= - K 1 .
I t i s c l e a r t h a t t h e d e f o rm a t i o n
H,
c a n be m o d i f i e d i f n e c e s s a ry s o t h a t
K g
i s a l w a ys w i t h i n a g i ve n n - c e l l L, n e i g h bo rh o o d o f E. Th u s K 1 d e f i n e s
a n i s o t o p i c d e f o rm a t i o n w i t h i n L o f a n o ri e n t e d n - c e l l i n t o i t s n e g a t i ve ,
w h i c h i s i m p o s s i bl e .
I
0 . S c h re i e r, Ha m b. Abh . , 4 , 1 5 - 3 2 ( 1 9 2 6 ) .
VOL. 1 7 , 1 9 3 1 6 7 5