h. hofer, k. wysocki and e. zehnder- unknotted periodic orbits for reeb flows on the three-sphere
TRANSCRIPT
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
1/23
U N K N O T T E D P E R I O D I C O R B I T S F O R R E E B F L O W S O N T H E
T H R E E - S P H E R E
H . H O F E R , K . W Y S O C K I , A N D E . Z E H N D E R
F o r L o u i s a n d P e t e r w i t h a d m i r a t i o n a n d g r a t i t u d e .
A b s t r a c t . I t i s w e l l k n o w n t h a t a R e e b v e c t o r e l d o n S
3
p o s s e s s e s a p e r i o d i c
s o l u t i o n . S h a r p e n i n g t h i s r e s u l t w e s h a l l s h o w i n t h i s n o t e t h a t e v e r y R e e b
v e c t o r e l d X o n S
3
p o s s e s s e s a p e r i o d i c o r b i t w h i c h i s u n k n o t t e d a n d h a s s e l f -
l i n k i n g n u m b e r e q u a l t o ? 1 . I f t h e c o n t a c t f o r m i s n o n - d e g e n e r a t e , t h e n t h e r e
i s e v e n a p e r i o d i c o r b i t P w h i c h , i n a d d i t i o n , h a s a n i n d e x ( P ) 2 f 2 ; 3 g , a n d
w h i c h s p a n s a n e m b e d d e d d i s c w h o s e i n t e r i o r i s t r a n s v e r s a l t o X . T h e p r o o f s
a r e b a s e d o n a t h e o r y f o r p a r t i a l d i e r e n t i a l e q u a t i o n s o f C a u c h y - R i e m a n n
t y p e f o r m a p s f r o m p u n c t u r e d R i e m a n n s u r f a c e s i n t o R S
3
, e q u i p p e d w i t h
s p e c i a l a l m o s t c o m p l e x s t r u c t u r e s r e l a t e d t o t h e c o n t a c t f o r m o n S
3
C o n t e n t s
1 . I n t r o d u c t i o n a n d r e s u l t s 1
2 . D e a l i n g w i t h t h e c o v e r i n g - n u m b e r 6
3 . P r o o f f o r o v e r t w i s t e d c o n t a c t s t r u c t u r e s 1 2
4 . P r o o f f o r t i g h t c o n t a c t s t r u c t u r e s 1 6
5 . T h e d e g e n e r a t e c a s e 2 0
R e f e r e n c e s 2 2
1 . I n t r o d u c t i o n a n d r e s u l t s
W e c o n s i d e r t h e t h r e e s p h e r e ( S
3
; ) e q u i p p e d w i t h a c o n t a c t f o r m . R e c a l l
t h a t , b y d e n i t i o n , a c o n t a c t f o r m i s a o n e - f o r m h a v i n g t h e p r o p e r t y t h a t d
i s a v o l u m e - f o r m . T h e t w o d i m e n s i o n a l k e r n e l , = k e r T S
3
, c o n s t i t u t e s t h e
c o n t a c t s t r u c t u r e d e n e d b y . T h e r e s t r i c t i o n o f d o n t o i s n o n - d e g e n e r a t e
s o t h a t ( ; d ) i s a s y m p l e c t i c p l a n e e l d . T h e c o n t a c t f o r m a l s o d e t e r m i n e s t h e
s o c a l l e d R e e b v e c t o r e l d X
= X . I t i s u n i q u e l y d e n e d b y
i
X
d = 0 a n d i
X
= 1 : ( 1 . 1 )
T h e R e e b v e c t o r e l d i s t r a n s v e r s a l t o t h e c o n t a c t s t r u c t u r e , s o t h a t t h e t a n g e n t
b u n d l e T S
3
n a t u r a l l y s p l i t s :
T S
3
= R X
: ( 1 . 2 )
1
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
2/23
2 H . H O F E R , K . W Y S O C K I , A N D E . Z E H N D E R
I f '
t
i s t h e o w o f X , t h e n ( '
t
)
= . C o n s e q u e n t l y , t h e l i n e a r i z e d o w T '
t
: T S
3
! T S
3
l e a v e s t h e s p l i t t i n g ( 1 . 2 ) i n v a r i a n t
T '
t
( m ) :
m
!
'
t
( m )
; ( 1 . 3 )
m o r e o v e r , t h e m a p i s s y m p l e c t i c w i t h r e s p e c t t o d .
A n o w h e r e v a n i s h i n g v e c t o r e l d o n S
3
n e e d n o t a d m i t p e r i o d i c s o l u t i o n s , s e e 1 6 ]
a n d 1 7 ] . H o w e v e r , e v e r y R e e b v e c t o r e l d o n S
3
p o s s e s s e s a p e r i o d i c s o l u t i o n , s e e
1 0 ] . T h e a i m o f t h i s n o t e i s t o p r o v e m o r e : e v e r y R e e b v e c t o r e l d o n S
3
p o s s e s s e s
a p e r i o d i c o r b i t w h i c h i s u n k n o t t e d a n d w h i c h h a s s o m e a d d i t i o n a l p r o p e r t i e s . I n
o r d e r t o f o r m u l a t e t h e r e s u l t s w e r s t i n t r o d u c e s o m e n o t a t i o n s .
A s s u m i n g S
3
t o b e e q u i p p e d w i t h a n o r i e n t a t i o n w e s h a l l c o n s i d e r o n l y c o n t a c t
f o r m s s a t i s f y i n g d > 0 . L e t X b e t h e a s s o c i a t e d R e e b v e c t o r e l d a n d
= k e r n ( ) t h e a s s o c i a t e d c o n t a c t s t r u c t u r e . W e r s t r e c a l l t h e c o n c e p t o f a s e l f -
l i n k i n g n u m b e r s l ( x ) 2 Z o f a n a d m i s s i b l e l o o p x : S
1
! S
3
. T h e l o o p x i s c a l l e d
a d m i s s i b l e i f i t h a s t h e f o l l o w i n g p r o p e r t i e s
x i s t r a n s v e r s a l t o a n d x = y
, ( 1 . 4 )
w h e r e y : S
1
! S
3
i s a n e m b e d d e d l o o p a n d : S
1
! S
1
i s a s m o o t h m a p . A
t y p i c a l e x a m p l e i s a p e r i o d i c o r b i t ( x ; T ) o f t h e R e e b v e c t o r e l d X . I n t h i s c a s e
t h e l o o p x
T
, d e n e d b y x
T
( e
2 i t
) = x ( T t ) i s a d m i s s i b l e . T h e i n t e g e r s l ( x ) f o r
a g i v e n a d m i s s i b l e l o o p x i s n o w d e n e d a s f o l l o w s . W e c h o o s e a s m o o t h m a p
u : D ! S
3
, w i t h t h e d i s c D = f z 2 C j j z j 1 g , s a t i s f y i n g
u j @ D = x ; @ D = S
1
:
T h e n w e c h o o s e a n o w h e r e v a n i s h i n g s e c t i o n Z o f u
. I t i n d u c e s a s e c t i o n a l o n g
x
n o w h e r e t a n g e n t t o x . N o w w e p u s h x i n t o t h e d i r e c t i o n o f Z t o o b t a i n a n e w
l o o p x
0
d i s j o i n t o f x . T h e l o o p s x a n d x
0
h a v e n a t u r a l o r i e n t a t i o n s i n d u c e d f r o m
t h e o r i e n t a t i o n o f S
1
a s t h e b o u n d a r y o f D . T h e o r i e n t e d i n t e r s e c t i o n n u m b e r o f x
0
w i t h u w i l l b e d e n o t e d b y s l ( x ) . S i n c e w e a r e o n S
3
, t h i s i n t e g e r d o e s n o t d e p e n d
o n t h e c h o i c e s i n v o l v e d a n d i s c a l l e d t h e s e l f - l i n k i n g n u m b e r o f t h e l o o p x .
I f x : R ! S
3
i s a T - p e r i o d i c s o l u t i o n o f _ x = X ( x ) f o r s o m e T > 0 , w e d e n e t h e
l o o p x
T
: S
1
! S
3
b y
x
T
( e
2 i t
) = x ( t T ) : ( 1 . 5 )
S i n c e x
T
i s t r a n s v e r s a l t o w e c a n d e n e t h e s e l f - l i n k i n g n u m b e r s l ( x ; T ) i n t h e
o b v i o u s w a y . T h e s m a l l e s t p o s i t i v e n u m b e r T
0
s a t i s f y i n g x ( T
0
) = x ( 0 ) i s c a l l e d t h e
m i n i m a l p e r i o d o f x . T h e p o s i t i v e i n t e g e r T = T
0
i s c a l l e d t h e c o v e r i n g n u m b e r o f t h e
p e r i o d i c s o l u t i o n ( x ; T ) a n d a b b r e v i a t e d i n t h e f o l l o w i n g b y c o v ( x ; T ) . T h e i m a g e
o f a p e r i o d i c s o l u t i o n ( x ; T ) w i l l b e d e n o t e d b y P
x
; i t i s a n e m b e d d e d c i r c l e i n S
3
.
P
x
h a s a n a t u r a l o r i e n t a t i o n a n d w e d e n e t h e s e l f - l i n k i n g n u m b e r s l ( P
x
) b y
s l ( P
x
) = s l ( x ; T
0
) : ( 1 . 6 )
A p e r i o d i c o r b i t ( x ; T ) i s c a l l e d u n k n o t t e d i f T = T
0
a n d i f P
x
i s t h e b o u n d a r y o f
a n e m b e d d e d d i s c . S i n c e i n t h i s c a s e w e c a n i d e n t i f y P
x
a n d ( x ; T
0
) w e w i l l j u s t s a y
t h a t P
x
i s u n k n o t t e d . I t w i l l a l s o b e c o n v e n i e n t i n t h e f o l l o w i n g t o d e n o t e b y P a
p e r i o d i c o r b i t w h o s e p e r i o d i s m i n i m a l . W i t h t h e s e n o t a t i o n s o u r r s t r e s u l t i s t h e
f o l l o w i n g .
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
3/23
U N K N O T T E D P E R I O D I C O R B I T S F O R R E E B F L O W S O N T H E T H R E E - S P H E R E 3
T h e o r e m 1 . 1 . I f i s a n y c o n t a c t f o r m o n S
3
, t h e a s s o c i a t e d R e e b v e c t o r e l d
X p o s s e s s e s a p e r i o d i c o r b i t P w h i c h i s u n k n o t t e d a n d h a s s e l f - l i n k i n g n u m b e r
s l ( P ) = ? 1 .
W e w o u l d l i k e t o m e n t i o n a n a p p l i c a t i o n t o H a m i l t o n i a n v e c t o r e l d s X
H
i n
( R
4
; !
0
) , w i t h t h e s t a n d a r d s y m p l e c t i c f o r m !
0
. O n a r e g u l a r e n e r g y s u r f a c e S =
f x 2 R
4
j H ( x ) = c o n s t g t h e o w l i n e s o f X
H
a r e t h e i n t e g r a l c u r v e s o f t h e
c a n o n i c a l l i n e b u n d l e k e r n e l ( !
0
j S ) T S . A s s u m i n g t h e h y p e r s u r f a c e S t o
b e o f c o n t a c t t y p e a n d d i e o m o r p h i c t o S
3
w e c o n c l u d e f r o m t h e o r e m 1 . 1 t h a t
S c a r r i e s a n u n k n o t t e d p e r i o d i c o r b i t . W e a l s o c o n c l u d e f r o m t h e o r e m 1 . 1 t h a t
t h e r e a r e s p h e r e l i k e h y p e r s u r f a c e s i n R
4
o n w h i c h t h e H a m i l t o n i a n o w c a n n o t
b e c o n j u g a t e d t o a R e e b o w . I n d e e d , K . C i e l i e b a k c o n s t r u c t e d i n 3 ] s p h e r e l i k e
h y p e r s u r f a c e s S ( R
4
; !
0
) w h o s e H a m i l t o n i a n o w s h a v e o n l y k n o t t e d p e r i o d i c
o r b i t s . I n h i s c o n s t r u c t i o n , t h e h y p e r s u r f a c e S i s e v e n o f c o n f o l i a t i o n t y p e , t h a t i s ,
t h e r e e x i s t s a o n e - f o r m o n S s a t i s f y i n g !
0
j S = d a n d d 0 ( i n c o n t r a s t
t o t h e c o n t a c t c o n d i t i o n d > 0 ) . S i n c e e v e r y c o m p a c t t h r e e m a n i f o l d a d m i t s
c o n t a c t f o r m s , t h e o r e m 1 . 1 a n d a l s o t h e o r e m 1 . 4 b e l o w g i v e n e c e s s a r y c o n d i t i o n s
f o r a 3 - m a n i f o l d t o b e d i e o m o r p h i c t o S
3
. F o r a c h a r a c t e r i z a t i o n o f t h e t i g h t S
3
w e r e f e r t o 1 1 ] .
W e n e x t r e s t r i c t t h e c l a s s o f c o n t a c t f o r m s u n d e r c o n s i d e r a t i o n . W e c a l l t h e
c o n t a c t f o r m n o n - d e g e n e r a t e i f a l l t h e p e r i o d i c o r b i t s ( x ; T ) o f t h e a s s o c i a t e d
R e e b v e c t o r e l d s a r e n o n - d e g e n e r a t e . T h i s r e q u i r e s , t a k i n g a t r a n s v e r s a l s e c t i o n
o f P
x
, t h a t t h e l i n e a r i s a t i o n s o f t h e P o i n c a r e s e c t i o n m a p a n d a l l i t s i t e r a t e s d o n o t
c o n t a i n 1 i n t h e i r s p e c t r a . T h e r e a r e m a n y n o n - d e g e n e r a t e c o n t a c t f o r m s a s t h e
f o l l o w i n g r e s u l t f r o m 1 2 ] s h o w s .
P r o p o s i t i o n 1 . 2 . F i x a c o n t a c t f o r m o n S
3
. T h e r e e x i s t s a d e n s e s e t R
C
1
( S
3
; ( 0 ; 1 ) ) s o t h a t f o r e v e r y f 2 R t h e c o n t a c t f o r m f i s n o n - d e g e n e r a t e .
W i t h a n o n - d e g e n e r a t e p e r i o d i c o r b i t ( x ; T ) o f a R e e b v e c t o r e l d X o n S
3
w e
c a n a s s o c i a t e a n o t h e r i n t e g e r - v a l u e d i n d e x a s f o l l o w s . A g a i n w e t a k e a d i s c m a p
u : D ! S
3
e x t e n d i n g x
T
a n d c h o o s e a n o w h e r e v a n i s h i n g s e c t i o n Z o f u
. T h i s
s e c t i o n c a n b e u s e d t o d e n e a s y m p l e c t i c t r i v i a l i z a t i o n o f u
. T h i s w a y w e o b t a i n
a s m o o t h f a m i l y o f s y m p l e c t i c m a p s ( z ) :
x
T
( z )
! C , f o r z 2 S
1
= @ D . I f '
t
i s
t h e o w o f X , t h e m a p s
L ( t ) : = T '
t
( x ( 0 ) ) j
x ( 0 )
:
x ( 0 )
!
x ( t )
( 1 . 7 )
a r e s y m p l e c t i c a n d w e d e n e
L ( t ) = ( e
2 i t
)
L ( t T ) ( 1 )
? 1
; 0 t 1 : ( 1 . 8 )
T h i s i s a n a r c o f l i n e a r s y m p l e c t i c m a p s i n C s t a r t i n g a t t h e I d e n t i t y a t t i m e t = 0
a n d e n d i n g a t t i m e t = 1 a t a s y m p l e c t i c m a p w h i c h d o e s n o t h a v e 1 i n i t s s p e c t r u m .
F o r s u c h a r c s L ( t ) o n e c a n d e n e a M a s l o v - t y p e i n d e x a s f o l l o w s .
D e n o t e b y t h e c o l l e c t i o n o f a l l a r c s o f l i n e a r s y m p l e c t i c m a p s : 0 ; 1 ] ! S p ( 1 )
s t a r t i n g a t I d a n d s a t i s f y i n g 1 62 ( ( 1 ) ) . D e n o t e b y G t h e s e t o f s m o o t h a r c s
s t a r t i n g a n d e n d i n g a t I d . T h e h o m o t o p y c l a s s e s i n G r e p r e s e n t
1
( S p ( 1 ) ) . W e
o b s e r v e t h a t G o p e r a t e s o n v i a
G ! : ( ; ) 7! ;
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
4/23
4 H . H O F E R , K . W Y S O C K I , A N D E . Z E H N D E R
w h e r e ( ) ( t ) = ( t ) ( t ) . G i v e n 2 w e d e n e t h e a r c
? 1
2 b y
? 1
( t ) =
( t )
? 1
. W e r e c a l l t h a t t h e r e i s a n a t u r a l i s o m o r p h i s m
M
:
1
( S p ( 1 ) ) ! Z , c a l l e d
M a s l o v i s o m o r p h i s m , m a p p i n g t h e l o o p t ! e
2 i t
I d ] o n t o 1 . T h i s i n d u c e s a h o -
m o t o p y i n v a r i a n t m a p
M
: G ! Z . T h e f o l l o w i n g p r o p o s i t i o n i s a s p e c i a l c a s e o f
a r e s u l t i n 1 4 ] .
P r o p o s i t i o n 1 . 3 . T h e r e e x i s t s a u n i q u e m a p : ! Z h a v i n g t h e f o l l o w i n g p r o p -
e r t i e s :
i s h o m o t o p y i n v a r i a n t .
F o r 2 a n d 2 G w e h a v e ( ) = ( ) + 2
M
( ) .
( ) + (
? 1
) = 0 .
( ) = 1 f o r t h e a r c ( t ) = e
i t
I d ; t 2 0 ; 1 ] .
T h e i n d e x ( x ; T ) 2 Z o f a n o n - d e g e n e r a t e p e r i o d i c o r b i t ( x ; T ) o f t h e R e e b
v e c t o r e l d X a s s o c i a t e d w i t h o n S
3
i s d e n e d b y ( x ; T ) = ( L ) , w h e r e L 2 i s
t h e s y m p l e c t i c a r c i n t r o d u c e d i n ( 1 . 8 ) a b o v e . S i n c e w e a r e o n S
3
, t h e d e n i t i o n d o e s
n o t d e p e n d o n t h e c h o i c e s i n v o l v e d i n t h e c o n s t r u c t i o n . R e c a l l t h a t i f T = T
0
i s t h e
m i n i m a l p e r i o d , w e c a n i d e n t i f y ( x ; T
0
) a n d P
x
. O u r s e c o n d r e s u l t i s a s f o l l o w s .
T h e o r e m 1 . 4 . A s s u m e t h e c o n t a c t f o r m o n S
3
i s n o n - d e g e n e r a t e . T h e n t h e
a s s o c i a t e d R e e b v e c t o r e l d X p o s s e s s e s a n u n k n o t t e d p e r i o d i c o r b i t P h a v i n g t h e
f o l l o w i n g p r o p e r t i e s . T h e o r b i t P s p a n s a n e m b e d d e d d i s c w h o s e i n t e r i o r i s t r a n s v e r -
s a l t o X . M o r e o v e r , P h a s s e l f - l i n k i n g n u m b e r s l ( P ) = ? 1 a n d i n d e x ( P ) 2 f 2 ; 3 g .
I f t h e c o n t a c t f o r m i s o v e r t w i s t e d w e n d a n u n k n o t t e d p e r i o d i c o r b i t P w i t h s e l f -
l i n k i n g n u m b e r ? 1 a n d i n d e x ( P ) = 2 .
I t i s a n o p e n q u e s t i o n w h e t h e r f o r a n o n - d e g e n e r a t e t i g h t c o n t a c t f o r m t h e r e
a l w a y s e x i s t s a n u n k n o t t e d p e r i o d i c o r b i t P h a v i n g s e l f - l i n k i n g n u m b e r ? 1 a n d
i n d e x ( P ) = 3 . W e p o i n t o u t t h a t i f ( P ) = 3 i n t h e o r e m 1 . 4 a n d i f , m o r e o v e r ,
t h e p e r i o d T
0
i s m i n i m a l a m o n g a l l p e r i o d i c s o l u t i o n s o f X t h e n t h e p e r i o d i c o r b i t
P i s t h e b i n d i n g o r b i t o f a n o p e n b o o k d e c o m p o s i t i o n o f S
3
i n t o s p e c i a l e m b e d d e d
p l a n e s . E v e r y p l a n e o f t h i s d e c o m p o s i t i o n i s a g l o b a l s u r f a c e o f s e c t i o n f o r t h e R e e b
o w o n S
3
n P . I t f o l l o w s t h a t t h e c o n t a c t s t r u c t u r e c o n s i d e r e d i s t i g h t . T h i s i s
a s p e c i a l c a s e o f r e s u l t s i n 1 1 ] a n d 1 2 ] .
I n o r d e r t o p r o v e t h e o r e m 1 . 1 a n d t h e o r e m 1 . 4 w e n e e d s o m e r e s u l t s o n p s e u d o -
h o l o m o r p h i c c u r v e s d e s c r i b e d n e x t . W e c o n s i d e r a c o m p a c t t h r e e - m a n i f o l d e q u i p p e d
w i t h t h e c o n t a c t f o r m , a s s o c i a t e d c o n t a c t s t r u c t u r e a n d R e e b v e c t o r e l d X . W e
n o w c h o o s e a n a l m o s t c o m p l e x s t r u c t u r e J : ! c o m p a t i b l e w i t h t h e s y m p l e c t i c
s t r u c t u r e d o n i n t h e s e n s e t h a t ( h ; k ) ! d ( h ; J k ) d e n e s a n i n n e r p r o d u c t
o n . O n t h e f o u r - m a n i f o l d R S
3
w e n e x t d e n e a s p e c i a l , R - i n v a r i a n t a l m o s t
c o m p l e x s t r u c t u r e a s s o c i a t e d w i t h a n d J a s f o l l o w s .
~
J ( a ; m ) ( h ; k ) = ( ? ( m ) ( k ) ; J ( m ) k + h X ( m ) ) ; ( 1 . 9 )
w h e r e : T M = R X ! i s t h e p r o j e c t i o n a l o n g X a n d ( h ; k ) 2 T
( a ; m )
( R S
3
) .
A n i t e e n e r g y p l a n e i s a s m o o t h m a p ~ u = ( a ; u ) : C ! R M s a t i s f y i n g , i n t h e
c o o r d i n a t e s z = s + i t , t h e f o l l o w i n g p a r t i a l d i e r e n t i a l e q u a t i o n o f C a u c h y - R i e m a n n
t y p e :
~u
s
+
~
J ( ~u ) ~u
t
= 0 ; ( 1 . 1 0 )
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
5/23
U N K N O T T E D P E R I O D I C O R B I T S F O R R E E B F L O W S O N T H E T H R E E - S P H E R E 5
a n d t h e e n e r g y r e q u i r e m e n t 0 < E ( ~u )
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
6/23
6 H . H O F E R , K . W Y S O C K I , A N D E . Z E H N D E R
i s a n i n j e c t i v e i m m e r s i o n . T h e n e v e r y a s y m p t o t i c l i m i t ( x ; T ) o f ~u i s s i m p l y c o v e r e d ,
c o v ( x ; T ) = 1 . T h e s e l f - l i n k i n g n u m b e r o f ( x ; T ) i s s l ( x ; T ) = ? 1 . M o r e o v e r ,
P
x
= x ( R ) i s u n k n o t t e d a n d P
x
\ u ( C ) = ; .
O u r m a i n r e s u l t ( T h e o r e m 1 . 1 ) w i l l f o l l o w i m m e d i a t e l y f r o m T h e o r e m 1 . 7 a n d
P r o p o s i t i o n 1 . 5 i n v i e w o f t h e f o l l o w i n g e x i s t e n c e r e s u l t .
T h e o r e m 1 . 8 . L e t b e a c o n t a c t f o r m o n S
3
a n d J a c o m p a t i b l e a l m o s t c o m p l e x
s t r u c t u r e o n t h e a s s o c i a t e d c o n t a c t s t r u c t u r e . T h e n t h e r e e x i s t s a n o n - c o n s t a n t
n i t e e n e r g y p l a n e ~u : = ( a ; u ) : C ! R S
3
s u c h t h a t u i s a n i n j e c t i v e i m m e r s i o n .
T h e p r o o f s o f t h e t h e o r e m s w i l l b e b a s e d o n t h e t e c h n i q u e s o f p s e u d o h o l o m o r p h i c
c u r v e s i n s y m p l e c t i z a t i o n s o f c o n t a c t m a n i f o l d s d e v e l o p p e d i n 1 0 ] { 1 5 ] .
2 . D e a l i n g w i t h t h e c o v e r i n g - n u m b e r
T h e a i m o f t h i s s e c t i o n i s t o p r o v e T h e o r e m 1 . 6 a n d T h e o r e m 1 . 7 o f t h e i n t r o -
d u c t i o n .
T h e o r e m 2 . 1 . A s s u m e ~u : = ( a ; u ) : C ! R S
3
i s a n e m b e d d e d n i t e e n e r g y p l a n e
w i t h n o n - d e g e n e r a t e a s y m p t o t i c l i m i t ( x ; T ) . I f ( ~u ) 3 t h e n u ( C ) \ P
x
= ; a n d
u : C ! M n P
x
i s a n e m b e d d i n g t r a n s v e r s a l t o t h e R e e b v e c t o r e l d X .
W e b e g i n t h e p r o o f w i t h
L e m m a 2 . 2 . A s s u m e t h e n i t e e n e r g y p l a n e ~u : = ( a ; u ) : C ! R S
3
i s n o n -
d e g e n e r a t e a n d s a t i s e s ( ~u ) 3 . I f R > 0 i s s u c i e n t l y l a r g e ,
u : C n B
R
! S
3
n P
x
a n d i s a n e m b e d d i n g .
P r o o f . S e t t i n g z = e
2 ( s + i t )
w e k n o w f r o m p r o p o s i t i o n 1 . 5 t h a t u ( s ; t ) : = u ( e
2 ( s + i t )
)
! x ( T t ) a s s ! 1 a n d w e c a n s t u d y t h e m a p u i n t h e c o n v e n i e n t l o c a l c o o r d i n a t e s
S
1
R
2
o f a t u b u l a r n e i g h b o r h o o d o f P = P
x
S
3
i n t r o d u c e d i n 1 3 ] . I n t h e s e
c o o r d i n a t e s S
1
f 0 g c o r r e s p o n d s t o P a n d f 0 g R
2
R R
2
c o r r e s p o n d s t o t h e
c o n t a c t p l a n e s a l o n g P . F o r t h e p e r i o d w e h a v e T = k T
0
w h e r e k = c o v ( x ; T ) . W e
s e t t h e m i n i m a l p e r i o d T
0
= 1 f o r n o t a t i o n a l c o n v e n i e n c e . W o r k i n g i n t h e c o v e r i n g
s p a c e R o f S
1
= R = Z t h e m a p ~ u : R
2
! R R R
2
h a s t h e f o l l o w i n g p r e s e n t a t i o n
i n t h e s e l o c a l c o o r d i n a t e s , w h e r e s s
0
i s l a r g e :
~u ( s ; t ) = ( a ( s ; t ) ; # ( s ; t ) ; z ( s ; t ) ) ( 2 . 1 )
a n d
a ( s ; t ) = s + a
0
+ ( s ; t )
# ( s ; t ) = k t + ( s ; t )
z ( s ; t ) = e
R
s
s
0
( ) d
e ( t ) + r ( s ; t )
:
( 2 . 2 )
T h e f u n c t i o n s ; a n d r a r e p e r i o d i c i n t o f p e r i o d 1 . M o r e o v e r , a s s ! 1 ,
r ( s ; t ) ! 0 w i t h a l l i t s d e r i v a t i v e s , u n i f o r m l y i n t . T h e f u n c t i o n s a n d c o n v e r g e
e x p o n e n t i a l l y f a s t t o z e r o t o g e t h e r w i t h a l l t h e i r d e r i v a t i v e s . I n a d d i t i o n , ( s ) ! ,
w h e r e i s a n e g a t i v e e i g e n v a l u e w i t h n o r m a l i z e d e i g e n f u n c t i o n e ( t ) = e ( t + 1 ) 2 R
2
o f a l i n e a r s e l f a d j o i n t o p e r a t o r . I t i s o f t h e f o r m h 7! ? J ( t )
_
h ? A ( t ) h i n L
2
( S
1
; R
2
)
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
7/23
U N K N O T T E D P E R I O D I C O R B I T S F O R R E E B F L O W S O N T H E T H R E E - S P H E R E 7
o n t h e d o m a i n H
1 ; 2
( S
1
; R
2
) . C l e a r l y e ( t ) 6= 0 . T h e m a t r i x f u n c t i o n s A ( t ) a n d
J ( t ) a r e p e r i o d i c i n t w i t h p e r i o d
1
k
. I n a b s t r a c t t e r m s o n e m a y c o n s i d e r e a s a
d i s t i n g u i s h e d s e c t i o n o f x
T
s o t h a t e ( t ) 2
x ( k t )
. F o r d e t a i l s w e r e f e r t o 1 3 ] .
C o n s i d e r i n g t h e e i g e n f u n c t i o n e ( t ) w e a s s u m e t h a t 1 j k i s t h e s m a l l e s t
i n t e g e r s a t i s f y i n g
e ( 0 ) = e
?
j
k
f o r s o m e > 0 ( 2 . 3 )
a n d s h o w t h a t
j
k
=
1
l
( 2 . 4 )
f o r a n i n t e g e r l a n d
e ( t ) = e
?
t +
1
l
; t 2 R : ( 2 . 5 )
S i n c e e ( t ) i s a n e i g e n f u n c t i o n o f a r s t o r d e r d i e r e n t i a l e q u a t i o n w h o s e c o e c i e n t s
a r e
1
k
- p e r i o d i c w e c o n c l u d e f o r m ( 2 . 3 ) t h a t e ( t ) = e (
j
k
+ t ) s o t h a t e ( t ) =
m
e ( m
j
k
+
t ) f o r e v e r y i n t e g e r m a n d t 2 R . S e t t i n g m = k a n d r e c a l l i n g e ( t + 1 ) = e ( t ) w e
c o n c l u d e f r o m e ( t ) =
k
e ( t ) t h a t = 1 . I t r e m a i n s t o v e r i f y t h a t
k
j
i s a n i n t e g e r .
A r g u i n g b y c o n t r a d i c t i o n w e a s s u m e
k
j
= l +
r
j
a n d 1 r j ? 1 . T h e n l
j
k
= 1 ?
r
k
a n d
e ( t ) = e ( l
j
k
+ t ) = e ( 1 ?
r
k
+ t ) = e ( ?
r
k
+ t ) :
S e t t i n g t =
r
k
w e o b t a i n e ( 0 ) = e (
r
k
) c o n t r a d i c t i n g t h e c h o i c e o f t h e i n t e g e r j , w h i c h
i s t h e s m a l l e s t s u c h i n t e g e r . H e n c e ( 2 . 4 ) a n d ( 2 . 5 ) a r e p r o v e d .
W e n e x t s h o w t h a t t h e a s s u m p t i o n ( ~u ) 3 i m p l i e s t h a t l = 1 . W e r e c a l l t h e
d e n i t i o n o f t h e w i n d i n g n u m b e r w i n d
1
( ~u ) 2 Z a s s o c i a t e d w i t h a n o n - d e g e n e r a t e
n i t e e n e r g y p l a n e ~ u , i n t r o d u c e d i n 1 4 ] . R e c a l l i n g t h a t T S
3
= R X w e t a k e t h e
t u b u l a r n e i g h b o r h o o d V = ( U ) o f t h e p e r i o d i c o r b i t P , w h e r e i s a d i e o m o r -
p h i s m
: U j P ! V = ( U ) S
3
( 2 . 6 )
o f a n e i g h b o r h o o d U o f t h e z e r o s e c t i o n o f j P s a t i s f y i n g , a t e v e r y p 2 P , t h a t
( 0
p
) = p . M o r e o v e r , t h e b r e w i s e d e r i v a t i v e o f a t 0
p
i s t h e i n c l u s i o n o f
p
i n t o
T
p
S
3
. F o r l a r g e s w e c a n r e p r e s e n t u ( s ; t ) u n i q u e l y a s
u ( s ; t ) = ( x ( k ( s ; t ) ) ; w ( s ; t ) ) ; ( 2 . 7 )
w i t h w ( s ; t ) 2
x ( k ( s ; t ) )
. T h e f u n c t i o n s a t i s e s ( s ; t + 1 ) = ( s ; t ) + 1 a n d
( s ; t ) ! t a s s ! 1 . W e o b t a i n t h e d i s t i n g u i s h e d n o w h e r e v a n i s h i n g s e c t i o n v o f
x
T
b y
v ( t ) = l i m
s ! 1
w ( s ; t )
j w ( s ; t ) j
2
x ( k t )
: ( 2 . 8 )
L e t D = f z j j z j 1 g a n d c h o o s e a d i s c m a p ' : D ! S
3
s a t i s f y i n g ' ( e
2 i t
) = x ( k t ) .
T h e n c h o o s e a n o w h e r e v a n i s h i n g s e c t i o n Z o f '
s o t h a t 0 6= Z ( z ) 2
' ( z )
. T h e
w i n d i n g n u m b e r o f ~ u i s d e n e d a s
w i n d
1
( ~u ) = w i n d
?
v j 0 ; 1 ] ; Z j 0 ; 1 ]
= w i n d ( f ) : ( 2 . 9 )
H e r e , w i n d ( f ) 2 Z i s t h e w i n d i n g n u m b e r o f t h e f u n c t i o n f : S
1
! C n f 0 g d e n e d
b y v ( t ) = f ( t ) Z ( t ) 2
x ( k t )
, w h e r e 0 t 1 . T h e c o m p l e x m u l t i p l i c a t i o n i n i s
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
8/23
8 H . H O F E R , K . W Y S O C K I , A N D E . Z E H N D E R
d e n e d b y t h e a l m o s t c o m p l e x s t r u c t u r e J . I n v i e w o f i t s h o m o t o p y i n v a r i a n c e , t h e
i n t e g e r w i n d
1
( ~u ) d o e s n o t d e p e n d o n t h e c h o i c e o f t h e n o n - v a n i s h i n g s e c t i o n Z o f
'
, a n d s i n c e w e a r e o n S
3
i t i s a l s o i n d e p e n d e n t o f t h e c h o i c e o f t h e d i s c m a p '
s a t i s f y i n g ' ( e
2 i t
) = x ( k t ) . I n p a r t i c u l a r , w e c a n h o m o t o p e ' t o a s p e c i a l d i s c m a p
g i v e n b y ( z ) =
0
( z
k
) , w h e r e
0
: D ! S
3
s a t i s e s
0
( e
2 i t
) = x ( t ) . T h i s w a y
w e n d a s e c t i o n Z o f
s a t i s f y i n g , i n a d d i t i o n , Z ( t ) = Z ( t +
1
k
) . O b s e r v e t h a t ,
i n t h e l o c a l c o o r d i n a t e s ( 2 . 2 ) , w e h a v e v ( t ) = ( t ) e ( t ) w i t h 0 6= ( t ) 2 R . S i n c e
w i n d ( f ) = w i n d ( f ) w e c o n c l u d e f r o m e ( t +
1
l
) = e ( t ) a n d
1
l
= j
1
k
t h a t
w i n d ( v j 0 ; 1 ] ; Z j 0 ; 1 ] ) = l w i n d
?
v j 0 ;
1
l
] ; Z j 0 ;
1
l
]
: ( 2 . 1 0 )
T h e i n v a r i a n t s w i n d
1
( ~u ) a n d ( ~u ) c a n b e c o m p a r e d w i t h e a c h o t h e r i n a s y m p l e c t i c
t r i v i a l i s a t i o n o f '
. O n e n d s 0 w i n d
1
( ~u ) ? 1
1
2
( ~u ) ? 1 , s e e 1 4 ] . C o n s e -
q u e n t l y , t h e a s s u m p t i o n ( ~u ) 3 i m p l i e s w i n d
1
( ~u ) = 1 a n d w e c o n c l u d e t h a t b o t h
i n t e g e r s o n t h e r i g h t h a n d s i d e o f ( 2 . 1 0 ) a r e e q u a l t o 1 . I n p a r t i c u l a r , l = 1 a n d w e
h a v e p r o v e d t h a t , i f ( ~u ) 3 , t h e n
e ( t +
j
k
) 6= e ( t ) ( 2 . 1 1 )
f o r a l l t 2 R , > 0 a n d 1 j k ? 1 .
F r o m t h e a s y m p t o t i c f o r m u l a ( 2 . 2 ) o n e e a s i l y d e d u c e s f o r l a r g e R t h a t u ( C n
B
R
) \ P = ; a n d u : C n B
R
! S
3
n P i s a n i m m e r s i o n , w e r e f e r t o 1 3 ] f o r a p r o o f .
W e s h a l l s h o w t h a t u j C n B
R
i s i n j e c t i v e . A r g u i n g b y c o n t r a d i c t i o n w e a s s u m e
u ( s
j
; t
j
) = u ( s
0
j
; t
0
j
) ( 2 . 1 2 )
f o r s e q u e n c e s s a t i s f y i n g
( s
j
; t
j
) 6= ( s
0
j
; t
0
j
) a n d s
j
! 1 ; s
0
j
! 1 : ( 2 . 1 3 )
I n v i e w o f t h e p e r i o d i c i t y i n t w e m a y a s s u m e t
j
! t
2 0 ; 1 ) a n d t
0
j
! t
0
2 0 ; 1 ) .
S i n c e # ( s
j
; t
j
) = # ( s
0
j
; t
0
j
) m o d 1 w e d e d u c e f r o m ( 2 . 2 ) , a s j ! 1 , t h a t k ( t
? t
0
) =
0 m o d 1 s o t h a t
t
? t
0
=
j
k
a n d j 2 f 0 ; 1 ; : : : ; k ? 1 g :
S i n c e z ( s
j
; t
j
) = z ( s
0
j
; t
0
j
) w e c o n c l u d e f r o m ( 2 . 2 ) , a s j ! 1 , t h a t e ( t
) = e ( t
+
j
k
) ,
f o r s o m e > 0 . C o n s e q u e n t l y , b y ( 2 . 1 1 ) , w e n d j = 0 a n d = 1 s o t h a t t
= t
0
.
T a k i n g n o r m s , k z ( s
j
; t
j
) k = k z ( s
0
j
; t
0
j
) k , w e d e d u c e f r o m ( 2 . 2 ) t h a t s
j
? s
0
j
! 0 .
S u m m a r i z i n g ,
s
j
? s
0
j
! 0 a n d t
j
? t
0
j
! 0 : ( 2 . 1 4 )
S i n c e u i s a n i m m e r s i o n o n e c o n c l u d e s f r o m ( 2 . 2 ) , ( 2 . 1 4 ) a n d u ( s
j
; t
j
) = u ( s
0
j
; t
0
j
)
t h a t ( s
j
; t
j
) = ( s
0
j
; t
0
j
) , i f j i s l a r g e , c o n t r a d i c t i n g ( 2 . 1 3 ) . W e h a v e p r o v e d t h a t
u : C n B
R
! S
3
n P i s a n i n j e c t i v e i m m e r s i o n f o r R s u c i e n t l y l a r g e . I n v i e w o f
t h e a s y m p t o t i c b e h a v i o u r ( 2 . 2 ) i t m u s t b e a n e m b e d d i n g . T h e p r o o f o f L e m m a 2 . 2
i s c o m p l e t e .
L e m m a 2 . 3 . A s s u m e ~u : = ( a ; u ) : C ! R S
3
i s a n i n j e c t i v e , n o n - d e g e n e r a t e
n i t e e n e r g y p l a n e s a t i s f y i n g ( ~u ) 3 . T h e n
~u
c
( C ) \ ~u ( C ) = ; ; c 6= 0 ;
w h e r e ~u
c
( z ) = ( a ( z ) + c ; u ( z ) ) .
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
9/23
U N K N O T T E D P E R I O D I C O R B I T S F O R R E E B F L O W S O N T H E T H R E E - S P H E R E 9
P r o o f . G i v e n 0 < r
0
< r
1
t h e r e e x i s t s a n R
1
> 0 s u c h t h a t f o r a l l R R
1
t h e
f o l l o w i n g h o l d s t r u e . I f z ; z
0
2 C s a t i s f y j z j = R , j z
0
j R , t h e n ~ u
c
( z ) 6= ~u ( z
0
) f o r
e v e r y c 2 R i n r
0
j c j r
1
. I n d e e d , a r g u i n g i n d i r e c t l y w e n d a s e q u e n c e c
j
i n
r
0
j c
j
j r
1
, s e q u e n c e s z
j
; z
0
j
w i t h j z
0
j
j j z
j
j a n d j z
j
j ! 1 s a t s i f y i n g
~u
c
j
( z
j
) = ~u ( z
0
j
) : ( 2 . 1 5 )
O u t s i d e a l a r g e b a l l B
R
0
t h e m a p u i s a n e m b e d d i n g , i n v i e w o f L e m m a 2 . 2 . T h e r e -
f o r e , w e m a y a s s u m e t h a t j z
0
j
j R
0
. R e c a l l a ( z ) ! 1 a s j z j ! 1 . S i n c e j z
j
j ! 1
a n d c
j
i s b o u n d e d w e c o n c l u d e f r o m ( 2 . 1 5 ) t h a t a ( z
0
j
) = a ( z
j
) + c
j
! 1 . T h i s ,
h o w e v e r , i s n o t p o s s i b l e s i n c e t h e s e q u e n c e z
0
j
i s b o u n d e d , a n d t h e c l a i m i s p r o v e d .
A s a c o n s e q u e n c e , t h e r e i s a w e l l d e n e d i n t e r s e c t i o n n u m b e r i n t ( ~ u
c
; ~u ) i f c 6= 0 .
I t i s d e n e d b y r e s t r i c t i n g t h e m a p s t o s u c i e n t l y l a r g e b a l l s . B y t h e e x c i s i o n
a n d t h e h o m o t o p y p r o p e r t y o f t h e i n t e r s e c t i o n n u m b e r , t h e i n t e g e r i n t ( ~ u
c
; ~u ) i s
i n d e p e n d e n t o f c f o r c 6= 0 . B y t h e p o s i t i v i t y o f t h e l o c a l i n t e r s e c t i o n n u m b e r s o f
p s e u d o h o l o m o r p h i c c u r v e s , i n t ( ~ u
c
; ~u ) 0 . M o r e o v e r , ~ u
c
( C ) \ ~u ( C ) = ; f o r c 6= 0
i f a n d o n l y i f i n t ( ~ u
c
; ~u ) = 0 . W e s h a l l p r o v e t h a t i n t ( ~ u
c
; ~u ) = 0 . A r g u i n g b y
c o n t r a d i c t i o n w e n d a s e q u e n c e c
j
! 0 , c
j
6= 0 a n d s e q u e n c e s z
j
; z
0
j
s u c h t h a t
~u
c
j
( z
j
) = ~u ( z
0
j
) : ( 2 . 1 6 )
S i n c e o u t s i d e a b a l l u i s a n e m b e d d i n g ( L e m m a 2 . 2 ) w e m a y a s s u m e t a k i n g a
s u i t a b l e s u b s e q u e n c e , t h a t z
0
j
! z
0
0
. S i n c e ( ~u ) 3 , t h e m a p u : C ! S
3
i s a n
i m m e r s i o n i n v i e w o f C o r o l l a r y 4 . 2 i n 1 3 ] . T h e r e f o r e , j z
0
0
? z
j
j " i f j i s l a r g e , f o r
a s u i t a b l e " > 0 . S i n c e a ( z
j
) = a ( z
j
) ? c
j
i s b o u n d e d , a l s o t h e s e q u e n c e z
j
m u s t b e
b o u n d e d . H e n c e , f o r a s u b s e q u e n c e , z
j
! z
0
, s o t h a t b y ( 2 . 1 6 ) ~ u ( z
0
) = ~u ( z
0
0
) . S i n c e
z
0
6= z
0
0
t h i s c o n t r a d i c t s o u r a s s u m p t i o n t h a t ~ u i s i n j e c t i v e . T h e p r o o f o f L e m m a
2 . 3 i s c o m p l e t e .
I n o r d e r t o c o m p l e t e t h e p r o o f o f t h e o r e m 2 . 1 w e o b s e r v e t h a t L e m m a 2 . 3 i m -
p l i e s t h a t t h e m a p u : C ! S
3
i s i n j e c t i v e . W e h a v e s e e n t h a t t h e a s s u m p t i o n
( ~u ) 3 i m p l i e s w i n d
1
( ~u ) = 1 a n d c o n c l u d e , u s i n g C o r o l l a r y 4 . 2 i n 1 4 ] , t h a t
d i m
R
T u ( z ) ( C ) = 2 f o r e v e r y z 2 C . R e c a l l i n g T S
3
= R X w i t h t h e p r o -
j e c t i o n : T S
3
! a l o n g X , t h e m a p u i s a n i m m e r s i o n t r a n s v e r s a l t o t h e R e e b
v e c t o r e l d X . I f f o l l o w s t h a t u ( C ) \ P = ; . I n d e e d a r g u i n g i n d i r e c t l y w e a s s u m e
u ( z
0
) 2 P . T h e n u ( C ) i n t e r s e c t s t h e s o l u t i o n P o f X t r a n s v e r s a l l y i n u ( z
0
) . D e n -
i n g t h e l o o p s S
R
b y S
R
( t ) = u ( R e
2 i t
) w e k n o w t h a t S
R
( t ) ! x ( T t ) a s R ! 1 i n
C
1
( S
1
) . H e n c e t h e r e i s a n o p e n n e i g h b o r h o o d B
"
( z
0
) s a t i s f y i n g u ( B
"
( z
0
) ) \ S
R
6= ;
i f R > 0 i s l a r g e . T h i s c o n t r a d i c t s t h e i n j e c t i v i t y o f u . I n v i e w o f t h e a s y m p t o t i c
b e h a v i o u r o f u a s j z j ! 1 i t f o l l o w s t h a t t h e i n j e c t i v e i m m e r s i o n u : C ! S
3
n P i s
a n e m b e d d i n g . T h i s n i s h e s t h e p r o o f o f t h e o r e m 2 . 1 . 2
T h e o r e m 2 . 4 . L e t ~u = ( a ; u ) : C ! R S
3
b e a n o n - c o n s t a n t n i t e e n e r g y p l a n e .
A s s u m e
u : C ! S
3
i s a n i n j e c t i v e i m m e r s i o n . T h e n e v e r y a s y m p t o t i c l i m i t ( x ; T ) o f ~u i s s i m p l y c o v e r e d ,
c o v ( x ; T ) = 1 . I n a d d i t i o n , P
x
= x ( R ) i s u n k n o t t e d a n d h a s s e l f - l i n k i n g n u m b e r
s l ( x ; T ) = ? 1 .
W e p o i n t o u t t h a t t h e t h e o r e m d o e s n o t r e q u i r e t h e c o n t a c t f o r m t o b e n o n -
d e g e n e r a t e .
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
10/23
1 0 H . H O F E R , K . W Y S O C K I , A N D E . Z E H N D E R
P r o o f . R e c a l l i n g t h e p r o j e c t i o n : T S
3
= R X ! w e c o n c l u d e f r o m t h e
d i e r e n t i a l e q u a t i o n ( 1 . 1 0 ) f o r ~ u t h a t
T u
i = J ( u )
T u : ( 2 . 1 7 )
H e n c e
T u ( z ) : C !
u ( z )
i s c o m p l e x l i n e a r a n d s i n c e u i s a n i m m e r s i o n w e h a v e
T u ( z ) 6= 0 f o r e v e r y z 2 C : ( 2 . 1 8 )
W e s h a l l u s e t h i s t o s h o w t h a t u d o e s n o t i n t e r s e c t a n y o f i t s a s y m p t o t i c l i m i t s .
A s s u m e ( x ; T ) i s a n a s y m p t o t i c l i m i t o f ~ u . T h e n t h e r e e x i s t s a s e q u e n c e R
k
! 1 ,
s o t h a t
u ( R
k
e
2 i t
) ! x
T
( t ) = x ( T t ) ( 2 . 1 9 )
i n C
1
( R ) a s k ! 1 . S e t t i n g P
x
= x ( R ) w e c l a i m t h a t
u ( C ) \ P
x
= ; : ( 2 . 2 0 )
A r g u i n g i n d i r e c t l y w e a s s u m e t h a t u ( z
0
) 2 P
x
. T h e n u i n t e r s e c t s P
x
a t u ( z
0
)
t r a n s v e r s a l l y i n v i e w o f ( 2 . 1 8 ) . I f k i s l a r g e w e t h e r e f o r e c o n c l u d e f r o m ( 2 . 1 9 ) t h a t
S
k
( R ) \ u ( B
"
( z
0
) ) 6= ; , w i t h S
k
( t ) = u ( R
k
e
2 i t
) . T h i s c o n t r a d i c t s t h e p o s t u l a t e d
i n j e c t i v i t y o f u a n d p r o v e s t h e c l a i m ( 2 . 2 0 ) .
L e t D = f z j j z j 1 g . G i v e n a d i s c m a p v : D ! S
3
s a t i s f y i n g
v ( e
2 i t
) = x
T
( t ) ;
t h e s e l f - l i n k i n g n u m b e r o f ( x ; T ) i s d e n e d b y
s l ( x ; T ) = i n t ( v ; y
T
) ; ( 2 . 2 1 )
w h e r e t h e l o o p y
T
i s o b t a i n e d b y p u s h i n g x
T
i n t o t h e d i r e c t i o n o f a n o w h e r e v a n -
i s h i n g s e c t i o n Z o f v
! D , s o t h a t x
T
( R ) \ y
T
( R ) = ; . I n t r o d u c i n g D
R
k
=
f z j j z j R
k
g w e d e n e t h e m a p s w
k
: D
R
k
! S
3
b y w
k
( z ) = v (
z
R
k
) . C l e a r l y
i n t ( w
k
; y
T
) = i n t ( v ; y
T
) s o t h a t s l ( x ; T ) = i n t ( w
k
; y
T
) f o r e v e r y k . F o r l a r g e k t h e
m a p s w
k
a n d u
k
: = u j D
R
k
: D
R
k
! S
3
a r e h o m o t o p i c t h r o u g h m a p s n o t i n t e r -
s e c t i n g y
T
o n t h e i r b o u n d a r i e s . C o n s e q u e n t l y , b y t h e h o m o t o p y p r o p e r t y o f t h e
i n t e r s e c t i o n n u m b e r w e o b t a i n f o r k l a r g e e n o u g h
s l ( x ; T ) = i n t ( u
k
; y
T
) ; u
k
= u j D
R
k
: ( 2 . 2 2 )
C o n s i d e r n o w t h e n o w h e r e v a n i s h i n g s e c t i o n Z
k
o f u
k
! D
R
k
d e n e d b y
Z
k
( z ) =
T u ( z ) (
@
@ s
) ; z = s + i t ;
a n d t h e s e c t i o n W
k
a l o n g @ D
R
k
d e n e d b y
W
k
( z ) =
T u ( z ) (
@
@ r
) ; j z j = R
k
w h e r e r i s t h e r a d i a l c o o r d i n a t e z = r e
i '
2 C . F o r k l a r g e e n o u g h W
k
i s h o m o t o p i c ,
a s v e c t o r e l d n o t t a n g e n t i a l t o u
k
( @ D
R
k
) , t o t h e o u t w a r d p o i n t i n g t a n g e n t v e c t o r
t o t h e e m b e d d e d d i s c u
k
( D
R
k
) a t i t s b o u n d a r y . A l o n g @ D
R
k
w e c a n w r i t e , u s i n g
t h e c o m p l e x m u l t i p l i c a t i o n i n d e n e d b y t h e a l m o s t c o m p l e x s t r u c t u r e J ,
W
k
( z ) = f
k
( z ) Z
k
( z ) ; j z j = R
k
; ( 2 . 2 3 )
w i t h a f u n c t i o n f
k
: @ D
R
k
! C n f 0 g h a v i n g w i n d i n g n u m b e r
w i n d ( f
k
) = 1 : ( 2 . 2 4 )
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
11/23
U N K N O T T E D P E R I O D I C O R B I T S F O R R E E B F L O W S O N T H E T H R E E - S P H E R E 1 1
W e c l a i m t h a t f o r k l a r g e e n o u g h t h e r e e x i s t s a C
1
- s m a l l d e f o r m a t i o n o f u
k
=
u j D
R
k
: D
R
k
! S
3
t h r o u g h i m m e r s i o n s i n t o t h e d e f o r m e d m a p v
k
: D
R
k
! S
3
s a t i s f y i n g t h e f o l l o w i n g p r o p e r t i e s :
v
k
( @ D
R
k
) = P
x
v
k
: @ D
R
k
! P
x
h a s d e g r e e c o v ( x ; T )
v
k
i s a n i m m e r s i o n
v
k
(
_
D
R
k
) \ P
x
= ; :
( 2 . 2 5 )
T o p r o v e t h i s c l a i m w e i d e n t i f y a c l o s e d t u b u l a r n e i g h b o r h o o d U o f P
x
= P w i t h
P D a n d d e n e b y ,
: S
1
D ! P D ; ( t ; z ) 7! ( x ( T t ) ; z ) ( 2 . 2 6 )
t h e c o v ( x ; T ) - f o l d c o v e r i n g m a p . D e n i n g t h e s u b s e t A
k
= f z 2 C j j z j
R
k
a n d u
k
( z ) 2 U g w e c a n l i f t t h e m a p u
k
j A
k
t o t h e m a p ^ u
k
: A
k
! S
1
D
s o t h a t u
k
=
u
k
. I n v i e w o f ( 2 . 2 0 )
u
k
( A
k
) \ ( S
1
f 0 g ) = ; : ( 2 . 2 7 )
F o r k l a r g e e n o u g h , t h e l o o p s
k
: t 7! u
k
( R
k
e
2 i t
) a n d : t 7! ( t ; 0 ) ; t 2 0 ; 1 ] a r e
C
1
- c l o s e . H e n c e w e n d a f a m i l y
; 2 0 ; 1 ] , o f d i e o m o r p h i s m s o f S
1
D ,
w h i c h a r e C
1
- c l o s e t o t h e i d e n t i t y m a p , c o m p a c t l y s u p p o r t e d i n t h e i n t e r i o r o f
S
1
D a n d s a t i s f y i n g
1
(
k
) = . N o t e t h a t c o r r e s p o n d s t o x
T
i n o u r t u b u l a r
n e i g h b o r h o o d . S i n c e
1
i s a d i e o m o r p h i s m w e c o n c l u d e
( S
1
f 0 g ) \
1
u
k
( A
k
n @ D
R
k
) = ; :
W e n o w d e n e a C
1
- s m a l l i s o t o p y o f i m m e r s i o n s
~
: D
R
k
! S
3
, 2 0 ; 1 ] b y
~
( z ) = u
k
( z ) ; z 2 D
R
k
n A
k
~
( z ) =
u
k
( z ) ; z 2 A
k
:
( 2 . 2 8 )
T h e n v
k
( z ) =
~
1
( z ) ; z 2 D
R
k
h a s t h e d e s i r e d p r o p e r t i e s .
A l o n g t h e a b o v e d e f o r m a t i o n
~
o f u
k
, t h e s e c t i o n s Z
k
r e s p . W
k
c a n b e d e f o r m e d
a s n o w h e r e v a n i s h i n g s e c t i o n s o f a l o n g v
k
r e s p . i t s b o u n d a r y . W e s h a l l d e n o t e
t h e s e n e w s e c t i o n s b y t h e s a m e l e t t e r s . W e m a y a s s u m e t h a t W
k
i s a n o u t w a r d
p o i n t i n g t a n g e n t v e c t o r e l d t o t h e i m m e r s e d d i s c v
k
a t t h e b o u n d a r y v
k
( @ D
R
k
) .
I n v i e w o f t h e c o n t i n u o u s d e f o r m a t i o n w e s t i l l h a v e W
k
= f
k
Z
k
a n d w i n d ( f
k
) = 1 .
S i n c e Z
k
i s a n o w h e r e v a n i s h i n g s e c t i o n o f v
k
, t h e l o o p y
T
i s h o m o t o p i c i n t h e
c o m p l e m e n t o f P
x
t o t h e l o o p o b t a i n e d f r o m x
T
b y p u s h i n g i t i n t o t h e d i r e c t i o n
o f Z
k
. T h e r e f o r e , w e m a y a s s u m e t h a t y
T
i s o b t a i n e d f r o m x
T
b y p u s h i n g s l i g h t l y
i n t o t h e d i r e c t i o n o f Z
k
, s o t h a t , b y d e n i t i o n o f t h e s e l f - l i n k i n g n u m b e r ,
s l ( x ; T ) = i n t ( v
k
; y
T
) : ( 2 . 2 9 )
S i n c e , b y ( 2 . 2 5 ) , v
k
(
_
D
R
k
) \ P
x
= ; , t h e c u r v e c
k
: = v
k
j @ D
R
k
? "
k
f o r s o m e s m a l l
"
k
> 0 i s h o m o t o p i c i n S
3
n P
x
t o a c o n s t a n t m a p . T h e c u r v e c
k
m a y b e v i e w e d
a s o b t a i n e d f r o m x
T
b y p u s h i n g i t i n t o t h e d i r e c t i o n o f ? W
k
. F o r t h e h o m o l o g y
c l a s s e s y
T
] a n d c
k
] i n H
1
( S
3
; P
x
; Z ) w e h a v e t h e r e l a t i o n
c
k
] = y
T
] + w i n d ( f
k
) @
k
] ; ( 2 . 3 0 )
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
12/23
1 2 H . H O F E R , K . W Y S O C K I , A N D E . Z E H N D E R
w h e r e
k
i s a n y s u c i e n t l y s m a l l d i s c t r a n s v e r s a l t o P
x
w i t h o r i e n t a t i o n i n d u c e d
b y . S i n c e c
k
] = 0 w e d e d u c e f r o m ( 2 . 3 0 )
i n t ( v
k
; y
T
) = ? w i n d ( f
k
) i n t ( v
k
; @
k
] ) : ( 2 . 3 1 )
R e c a l l t h a t w i n d ( f
k
) = 1 a n d o b s e r v e t h a t i n t ( v
k
; @
k
] ) = c o v ( x ; T ) f o r a s u f -
c i e n t l y s m a l l d i s c
k
. S i n c e s l ( x ; T ) = i n t ( v
k
; y
T
) , i n v i e w o f ( 2 . 2 9 ) , w e h a v e
p r o v e d
s l ( x ; T ) = ? c o v ( x ; T ) : ( 2 . 3 2 )
I f T
0
i s t h e m i n i m a l p e r i o d o f ( x ; T ) s u c h t h a t T = c o v ( x ; T ) T
0
w e h a v e , s i n c e w e
a r e o n S
3
, t h e f o r m u l a
s l ( x ; T ) = c o v ( x ; T )
2
s l ( x ; T
0
) : ( 2 . 3 3 )
C o n s e q u e n t l y , i n v i e w o f ( 2 . 3 2 ) ,
? c o v ( x ; T ) = c o v ( x ; T )
2
s l ( x ; T
0
) ;
i m p l y i n g t h a t c o v ( x ; T ) = 1 a n d s l ( x ; T ) = ? 1 . I n p a r t i c u l a r ( x ; T ) = ( x ; T
0
)
i s s i m p l y c o v e r e d . S i n c e ( x ; T
0
) i s t h e C
1
- l i m i t o f u n k n o t t e d l o o p s , i t m u s t b e
u n k n o t t e d a s w e l l . T h i s c o m p l e t e s t h e p r o o f o f t h e o r e m 2 . 4 .
3 . P r o o f f o r o v e r t w i s t e d c o n t a c t s t r u c t u r e s
W e c o n s i d e r S
3
e q u i p p e d w i t h t h e c o n t a c t f o r m w h i c h d e t e r m i n e s t h e c o n t a c t
s t r u c t u r e a n d t h e R e e b v e c t o r e l d X . W e h a v e t o d i s t i n g u i s h t w o c l a s s e s o f
c o n t a c t f o r m s a c c o r d i n g t o t h e i r i n d u c e d s t r u c t u r e s w h i c h c a n b e e i t h e r t i g h t o r
o v e r t w i s t e d , s e e 5 , 6 , 8 ] . R e c a l l t h a t a c o n t a c t s t r u c t u r e i s c a l l e d o v e r t w i s t e d , i f
t h e r e e x i s t s a n e m b e d d e d d i s c D S
3
s u c h t h a t T
m
D 6
m
f o r a l l m 2 @ D a n d
T @ D j @ D . I f n o s u c h d i s c e x i s t s , t h e c o n t a c t s t r u c t u r e i s c a l l e d t i g h t . W e
m e n t i o n t h a t t h e c o n t a c t s t r u c t u r e s o n S
3
h a v e b e e n c l a s s i e d b y Y a . E l i a s h b e r g i n
4 , 6 ] . I n t h i s s e c t i o n w e s h a l l p r o v e t h e o r e m 1 . 4 f o r o v e r t w i s t e d c o n t a c t s t r u c t u r e s .
B y a s s u m p t i o n , i s a n o n - d e g e n e r a t e c o n t a c t f o r m i n d u c i n g a n o v e r t w i s t e d
c o n t a c t s t r u c t u r e . H e n c e , a r g u i n g a s i n 1 0 ] w e n d a n o v e r t w i s t e d d i s c D
S
3
w h o s e c h a r a c t e r i s t i c f o l i a t i o n T D \ c o n t a i n s p r e c i s e l y o n e s i n g u l a r i t y , e 2
i n t e r i o r ( D ) , w h i c h i s p o s i t i v e l y e l l i p t i c . M o r e o v e r , t h e b o u n d a r y @ D i s t h e o n l y
l i m i t c y c l e f o r t h e c h a r a c t e r i s t i c f o l i a t i o n o f D . I n a d d i t i o n , w e m a y a s s u m e t h a t
D d o e s n o t c o n t a i n a p e r i o d i c o r b i t f o r X . T h i s c a n b e a c h i e v e d b y a C
1
- s m a l l
p e r t u r b a t i o n d i s j o i n t f r o m @ D . W e c h o o s e a n a l m o s t c o m p l e x s t r u c t u r e J
0
o n
c o m p a t i b l e w i t h d a n d t a k e t h e a s s o c i a t e d R - i n v a r i a n t a l m o s t c o m p l e x s t r u c t u r e
~
J
0
o n R S
3
d e n e d b y ( 1 . 9 ) . I t i s d e t e r m i n e d b y a n d J
0
.
W e s t u d y d i s c m a p s ~ u = ( a ; u ) : D ! R S
3
, w i t h t h e c l o s e d d i s c D : = f z 2 C j
j z j 1 g , s a t i s f y i n g , i n t h e c o o r d i n a t e s z = s + i t , t h e p a r t i a l d i e r e n t i a l e q u a t i o n
~u
s
+
~
J
0
( ~u ) ~u
t
= 0 o n D ( 3 . 1 )
a n d t h e b o u n d a r y c o n d i t i o n s
~u ( @ D ) f 0 g ( D n f e g ) R S
3
T h e w i n d i n g n u m b e r o f u j @ D : @ D ! D n f e g
i s e q u a l t o 1 .
( 3 . 2 )
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
13/23
U N K N O T T E D P E R I O D I C O R B I T S F O R R E E B F L O W S O N T H E T H R E E - S P H E R E 1 3
T h e d i s c D i s o r i e n t e d i n s u c h a w a y t h a t t h e u n i q u e s i n g u l a r i t y e o f t h e c h a r -
a c t e r i s t i c f o l i a t i o n i s p o s i t i v e . F o r a s u i t a b l e c h o i c e o f J
0
n e a r e w e c a n a c h i e v e
t h a t t h e a s s o c i a t e d s t r u c t u r e
~
J
0
i s i n t e g r a b l e n e a r ( 0 ; e ) 2 R S
3
, h e n c e a c o m p l e x
s t r u c t u r e . T h e r e f o r e , b y a c l a s s i c a l r e s u l t d u e t o B i s h o p , t h e r e i s a 1 - p a r a m e t e r
f a m i l y o f e m b e d d e d h o l o m o r p h i c d i s c s s a t i s f y i n g ( 3 . 1 ) a n d ( 3 . 2 ) e m e r g i n g f r o m t h e
s i n g u l a r i t y ( 0 ; e ) , w h i c h h a v e t h e p r o p e r t y t h a t t h e d i s c s ~ u ( D ) a r e m u t u a l l y d i s j o i n t
a n d t h e b o u n d a r i e s ~ u ( @ D ) = ( 0 ; u ( @ D ) ) f o l i a t e a p u n c t u r e d n e i g h b o r h o o d o f e i n
D , s e e 1 , 2 , 5 , 1 0 ] .
S t i l l f o l l o w i n g 1 0 ] , t h i s l o c a l f a m i l y c a n b e c o n t i n u e d b y m e a n s o f a n i m p l i c i t
f u n c t i o n t h e o r e m t o a ( e s s e n t i a l l y u n i q u e ) m a x i m a l 1 - p a r a m e t e r f a m i l y B o f e m -
b e d d e d , m u t u a l l y d i s j o i n t d i s c m a p s s a t i s f y i n g ( 3 . 1 ) a n d ( 3 . 1 ) . T h e b o u n d a r y
u ( @ D ) D f o r e v e r y ~ u = ( a ; u ) 2 B i s t r a n s v e r s a l t o t h e s i n g u l a r f o l i a t i o n o f D
b y t h e m a x i m u m p r i n c i p l e . B , h o w e v e r , i s n o t a c o m p a c t f a m i l y , s i n c e o t h e r w i s e
t h e r e w o u l d b e a d i s c i n B t o u c h i n g t h e b o u n d a r y @ D w h i c h i s a l e a f o f t h e s i n g u -
l a r f o l i a t i o n o n D . T h i s w o u l d c o n t r a d i c t t h e m a x i m u m p r i n c i p l e . A n a l y s i n g t h e
f a i l u r e o f c o m p a c t n e s s o n e c o n c l u d e s t h a t e v e n a r e p a r a m e t r i s a t i o n o f t h e d i s c s i n
B b y M o e b i u s t r a n s f o r m a t i o n s d o e s n o t p r e v e n t t h e g r a d i e n t s j r ~u j o f ~u 2 B f r o m
e x p l o d i n g . I n v i e w o f t h e g r a d i e n t b o u n d s n e a r t h e b o u n d a r y @ D , t h e g r a d i e n t s
b l o w u p a t n i t e l y m a n y p o i n t s ? i n t e r i o r ( D ) . A b u b b l i n g o a n a l y s i s o f t h e s e
s i n g u l a r i t e s b a s e d o n r e s c a l i n g m e t h o d s , a n d c a r r i e d o u t i n d e t a i l i n 1 0 ] a n d 1 1 ] ,
e s t a b l i s h e s t h e e x i s t e n c e o f a c o m p l i c a t e d s t r u c t u r e o f v a r i o u s k i n d s o f n i t e e n e r g y
s u r f a c e s ~ u = ( a ; u ) i n t o R S
3
a l l h a v i n g n o t i d e n t i c a l l y v a n i s h i n g
T u . T h e
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
14/23
1 4 H . H O F E R , K . W Y S O C K I , A N D E . Z E H N D E R
g e o m e t r i c r e a l i s a t i o n i n S
3
i s i l l u s t r a t e d b y t h e f o l l o w i n g p i c t u r e t o g e t h e r w i t h i t s
a s s o c i a t e d g r a p h .
T h e t o p p a r t o f t h e g r a p h r e p r e s e n t s a m a p ~ u : = ( a ; u ) : D n ? ! R S
3
, w h e r e
? 6= ; i s a n i t e s e t o f p o i n t s i n i n t e r i o r ( D ) , w h i c h s o l v e s t h e f o l l o w i n g p r o b l e m :
~u
s
+
~
J
0
( ~u ) ~u
t
= 0 o n D n ?
a j @ D = 0
u : @ D ! D n f e g h a s w i n d i n g n u m b e r 1
0 < E ( ~u )
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
15/23
U N K N O T T E D P E R I O D I C O R B I T S F O R R E E B F L O W S O N T H E T H R E E - S P H E R E 1 5
W e s h a l l p r o v e n o w t h a t a t l e a s t o n e o f t h e b o t t o m n i t e e n e r g y p l a n e s ~ u h a s a n
a s y m p t o t i c l i m i t ( x ; T ) w i t h i n d e x ( ~u ) = 2 . F r o m ( 1 . 1 3 ) w e r e c a l l t h a t ( ~u ) 2 .
A r g u i n g i n d i r e c t l y w e s h a l l t h e r e f o r e a s s u m e t h a t ( ~u ) 3 f o r a l l b o t t o m n i t e
e n e r g y p l a n e s . W e c a n c e l n o w i n t h e g r a p h a l l e l e m e n t s a t t h e b o t t o m r e p r e s e n t i n g
a n i t e e n e r g y p l a n e a n d w r i t e a t t h e l o w e r e n d s o f t h e r e m a i n i n g g r a p h t h e i n d e x
o f t h e c o r r e s p o n d i n g a s y m p t o t i c l i m i t w h i c h , b y a s s u m p t i o n i s a t l e a s t 3 . W e n o w
s t u d y t h e b o t t o m e l e m e n t s o f t h e n e w g r a p h . T h e s e e l e m e n t s a r e t r e e s w i t h o n e
p o s i t i v e p u n c t u r e h a v i n g a n i n d e x
+
a n d a p o s i t i v e n u m b e r o f n e g a t i v e p u n c t u r e s
h a v i n g c o r r e s p o n d i n g i n d i c e s 3 . T o t h i s s i t u a t i o n w e c a n a p p l y t h e f o l l o w i n g
s p e c i a l c a s e o f T h e o r e m 5 . 8 i n 1 4 ] f o r m u l a t e d a s
L e m m a 3 . 1 . L e t ~u :
_
S ! R S
3
b e a p u n c t u r e d n i t e e n e r g y s p h e r e w i t h n o t
i d e n t i c a l l y v a n i s h i n g
T u . T h e n
( ~u ) =
+
?
?
w i n d
( ~u ) + 4 ? 2 # ?
0
? # ?
1
: ( 3 . 4 )
H e r e
+
i s t h e s u m o f a l l - i n d i c e s o f t h e p o s i t i v e p u n c t u r e s i n ? w h i l e
?
i s
t h e s u m o v e r a l l n e g a t i v e p u n c t u r e s . F u r t h e r m o r e , w i n d
( ~u ) 0 i s a n o n - n e g a t i v e
i n t e g e r i n t r o d u c e d i n 1 4 ] . F i n a l l y , ?
0
i s t h e s e t o f p u n c t u r e s i n ? h a v i n g e v e n
- i n d e x , w h i l e ?
1
i s t h e s e t h a v i n g o d d - i n d e x , ? = ?
0
?
1
. A p p l y i n g L e m m a 3 . 1
t o o u r s i t u a t i o n , o b s e r v i n g t h a t
?
3 ( # ? ? 1 ) , w e e s t i m a t e t h e - i n d e x o f t h e
p o s i t i v e p u n c t u r e b y
+
?
+ 4 ? 2 # ?
3 ( # ? ? 1 ) + 4 ? 2 # ?
# ? + 1
2 + 1
= 3 :
W e n o w i t e r a t e t h e p r o c e d u r e s t a r t i n g i n t h e n e x t r o u n d a g a i n w i t h n e g a t i v e p u n c -
t u r e s h a v i n g a l l - i n d i c e s 3 .
A f t e r a n i t e n u m b e r o f s t e p s o n l y t h e t o p p i e c e o f t h e g r a p h r e m a i n s , n a m e l y
t h e p i e c e r e p r e s e n t i n g t h e s o l u t i o n ~ u : D n ? ! R S
3
o f t h e p r o b l e m ( 3 . 3 ) . W e
r e c a l l t h a t i t i s a n e m b e d d i n g . B y t h e i n d u c t i v e c o n s t r u c t i o n , i t s p u n c t u r e s ? a r e
n e g a t i v e a n d h a v e - i n d i c e s a t l e a s t 3 . N o t e t h a t o u r c o n s t r u c t i o n i s i n d e p e n d e n t
o f t h e c h o i c e o f t h e a l m o s t c o m p l e x s t r u c t u r e J
0
o n . C h o o s i n g n o w a g e n e r i c
s t r u c t u r e J w e h a v e a r r i v e d a t a c o n t r a d i c t i o n w i t h t h e f o l l o w i n g r e s u l t f r o m 1 5 ] ,
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
16/23
1 6 H . H O F E R , K . W Y S O C K I , A N D E . Z E H N D E R
T h e o r e m 1 . 1 5 , p r o v e d b y m e a n s o f F r e d h o l m t h e o r y . D e n o t e b y J t h e s e t o f a l l
a l m o s t c o m p l e x s t r u c t u r e s o n c o m p a t i b l e w i t h d .
L e m m a 3 . 2 . G i v e n a n a l m o s t c o m p l e x s t r u c t u r e J
0
2 J a n d a n e m b e d d e d d i s c
D a s a b o v e . T h e n t h e r e e x i s t s a J 2 J i n e v e r y C
1
n e i g h b o r h o o d o f J
0
, w h o s e
a s s o c i a t e d a l m o s t c o m p l e x s t r u c t u r e
~
J o n R S
3
d e n e d b y ( 1 . 9 ) h a s t h e f o l l o w i n g
p r o p e r t y . T h e r e e x i s t s n o e m b e d d e d s o l u t i o n
~u = ( a ; u ) : D n ? ! R S
3
o f t h e m i x e d b o u n d a r y v a l u e p r o b l e m ( 3 . 3 ) s a t i s f y i n g
T u ( z ) 6= 0 f o r s o m e z ,
i f ? 6= ; a n d i f a l l t h e c o r r e s p o n d i n g a s y m p t o t i c l i m i t s ( x
j
; T
j
) a r e n o n - d e g e n e r a t e
a n d h a v e i n d i c e s
( x
j
; T
j
) 3 :
W i t h t h i s c o n t r a d i c t i o n w e h a v e e s t a b l i s h e d t h e e x i s t e n c e o f a n i t e e n e r g y p l a n e
~u : = ( a ; u ) : C ! R S
3
h a v i n g a n a s y m p t o t i c l i m i t w i t h i n d e x ( x ; T ) = 2 . N o w , a
n i t e e n e r g y p l a n e ~ u i s e i t h e r s o m e w h e r e i n j e c t i v e o r ~ u = ~v
P , w i t h a s o m e w h e r e
i n j e c t i v e n i t e e n e r g y p l a n e ~ v a n d a h i g h e r d e g r e e c o m p l e x p o l y n o m i a l P , s e e 1 4 ] .
I f ( ~u ) = 2 , t h e l a t t e r i s n o t p o s s i b l e s i n c e t h e a s y m p t o t i c l i m i t o f ~ v w o u l d h a v e a n
i n d e x a t l e a s t 2 i n v i e w o f ( 1 . 1 3 ) , a n d c o n s e q u e n t l y ~ u w o u l d h a v e a n i n d e x a t l e a s t
2 d e g ( P ) 4 . H e n c e ~ u i s s o m e w h e r e i n j e c t i v e a n d w e c a n a p p l y L e m m a 3 . 1 t o t h e
n i t e e n e r g y p l a n e ~ u : C = S
2
n f 1 g ! R S
3
. W e h a v e ?
1
= ; a n d # ?
0
= 1 s o
t h a t
( ~u ) = 2 w i n d
( ~u ) + 2 : ( 3 . 5 )
H e n c e , i n v i e w o f w i n d
0 , w e c o n c l u d e w i n d
( ~u ) = 0 . T h i s i m p l i e s , i n v i e w o f
t h e p r o p e r t i e s o f w i n d
i n 1 4 ] t h a t u : C ! S
3
i s a n i m m e r s i o n . C o n s e q u e n t l y ~ u
i s a n i m m e r s i o n . N e a r f 1 g i t i s a n e m b e d d i n g b y L e m m a 2 . 2 . A s s u m e t h a t ~ u h a s
s e l n t e r s e c t i o n s . T h e n t h e y a r e n e c e s s a r i l y i s o l a t e d a n d m o r e o v e r h a v e p o s i t i v e i n -
t e r s e c t i o n i n d i c e s , s i n c e w e a r e d e a l i n g w i t h p s e u d o h o l o m o r p h i c c u r v e s , s e e 1 8 , 2 0 ] .
B y t h e b u b b l i n g o a n a l y s i s , ~ u c a n b e a p p r o x i m a t e d b y a r e s c a l e d f a m i l y o f d i s c
m a p s a n d w e c o n c l u d e t h a t a l s o t h e d i s c s i n t h i s f a m i l y p o s s e s s s e l n t e r s e c t i o n s i f
t h e y a r e s u c i e n t l y c l o s e t o ~ u , b y t h e p o s i t i v i t y o f t h e i n t e r s e c t i o n i n d e x . T h i s ,
h o w e v e r , c o n t r a d i c t s t h e f a c t , t h a t , b y o u r c o n s t r u c t i o n b a s e d o n t h e B i s h o p f a m i l y
B , t h e d i s c s a r e a l l e m b e d d e d . W e h a v e p r o v e d t h a t ~ u i s a n i n j e c t i v e i m m e r s i o n . I n
v i e w o f i t s a s y m p t o t i c b e h a v i o u r d e s c r i b e d i n L e m m a 2 . 2 t h e m a p ~ u i s a n e m b e d -
d i n g . S i n c e ( ~u ) = 2 , t h e o r e m 1 . 4 i s n o w a n i m m e d i a t e c o n s e q u e n c e o f t h e o r e m 1 . 6
a n d t h e o r e m 1 . 7 . T h i s n i s h e s t h e p r o o f o f t h e o r e m 1 . 4 i n t h e o v e r t w i s t e d c a s e .
2
F o r l a t e r u s e w e p o i n t o u t a n a - p r i o r i b o u n d f o r t h e p e r i o d T o f t h e d i s t i n g u i s h e d
p e r i o d i c s o l u t i o n o f X f o u n d a b o v e , n a m e l y
T = E ( ~u ) =
Z
C
u
d
1
2
Z
D
j d j : ( 3 . 6 )
T h e b o u n d f o l l o w s f r o m t h e b u b b l i n g o a n a l y s i s , t h e p r o o f i s c o n t a i n e d i n 1 0 ] .
4 . P r o o f f o r t i g h t c o n t a c t s t r u c t u r e s
O n S
3
t h e t i g h t c o n t a c t s t r u c t u r e s a r e w e l l u n d e r s t o o d d u e t o t h e w o r k o f
Y a . E l i a s h b e r g a n d E . G i r o u x s e e 5 , 6 , 7 , 8 , 9 ] . C o n s i d e r t h e r o u n d s p h e r e
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
17/23
U N K N O T T E D P E R I O D I C O R B I T S F O R R E E B F L O W S O N T H E T H R E E - S P H E R E 1 7
S
3
= f z 2 C
2
j j z j
2
= 1 g e q u i p p e d w i t h i t s s t a n d a r d c o n t a c t f o r m
0
=
~
0
j S
3
,
w h e r e t h e L i o u v i l l e { f o r m
~
0
o n C
2
i s , i n t h e c o o r d i n a t e s z
j
= a
j
+ i p
j
g i v e n b y
~
0
=
1
2
2
X
j = 1
( q
j
d p
j
? p
j
d q
j
) : ( 4 . 1 )
I f i s a n y t i g h t c o n t a c t f o r m o n S
3
s u c h t h a t t h e v o l u m e f o r m d i s c o m p a t i b l e
w i t h t h e g i v e n o r i e n t a t i o n S
3
, t h e n t h e r e e x i s t s a n o r i e n t a t i o n p r e s e r v i n g d i e o -
m o r p h i s m : S
3
! S
3
s u c h t h a t
= f
0
f o r a s m o o t h f u n c t i o n f : S
3
! ( 0 ; 1 ) .
T h i s i s p r o v e d i n E l i a s h b e r g 6 ] .
I n o r d e r t o p r o v e t h e o r e m 1 . 4 i n t h e t i g h t c a s e , w e c a n t h e r e f o r e a s s u m e t h a t
o u r t i g h t c o n t a c t f o r m o n S
3
i s g i v e n b y
= f
0
; ( 4 . 2 )
f o r a s m o o t h p o s i t i v e f u n c t i o n f o n S
3
. W e a s s u m e , i n a d d i t i o n , t o b e n o n -
d e g e n e r a t e a n d d e n o t e b y X
t h e a s s o c i a t e d R e e b v e c t o r e l d . U s i n g a m o d i c a t i o n
o f a c o n s t r u c t i o n i n 1 2 ] w e s h a l l e s t a b l i s h a n e m b e d d e d n i t e e n e r g y p l a n e ~ u w h o s e
a s y m p t o t i c l i m i t h a s a n i n d e x ( ~u ) 2 f 2 ; 3 g .
W e c h o o s e a f u n c t i o n f
E
o n S
3
, d e n e d b y
f
E
( z ) =
?
2
X
j = 1
j z
j
j
2
r
2
j
?
1
2
; ( 4 . 3 )
w i t h p o s i t i v e r e a l n u m b e r s 0 < r
1
< r
2
s u c h t h a t r
2
1
= r
2
2
i s i r r a t i o n a l a n d
f ( z ) < f
E
( z ) ; z 2 S
3
; ( 4 . 4 )
w h e r e f i s g i v e n i n ( 4 . 2 ) . W e d e n o t e b y X
E
t h e R e e b v e c t o r e l d d e n e d b y t h e
c o n t a c t f o r m
E
= f
E
0
: ( 4 . 5 )
T h e v e c t o r e l d X
E
h a s p r e c i s e l y 2 n o n - d e g e n e r a t e , i n f a c t e l l i p t i c , p e r i o d i c o r b i t s
P
0
a n d P
1
h a v i n g m i n i m a l p e r i o d s T
0
< T
1
a n d i n d i c e s
( P
0
) = 3 a n d ( P
1
) = 2 k + 1 5 ; ( 4 . 6 )
w h e r e t h e i n t e g e r k 2 i s d e t e r m i n e d b y k 0 i f j a j 1 :
( 4 . 7 )
F o r e v e r y a 2 R , t h e c o n t a c t f o r m
a
: = h ( a ; )
0
o n S
3
d e t e r m i n e s t h e a s s o c i a t e d
R e e b v e c t o r e l d X
a
. B y c o n s t r u c t i o n ,
a
= ; X
a
= X
i f a ? 2 a n d
a
=
E
; X
a
= X
E
i f a 2 . T h e c o n t a c t s t r u c t u r e i s , o f c o u r s e , i n d e p e n d e n t o f a . W e
n e x t c h o o s e a s m o o t h f a m i l y a 7! J
a
o f a l m o s t c o m p l e x s t r u c t u r e s o f , c o m p a t i b l e
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
18/23
1 8 H . H O F E R , K . W Y S O C K I , A N D E . Z E H N D E R
w i t h d
a
a n d s u c h t h a t J
a
d o e s n o t d e p e n d o n a i n j a j 2 . W i t h
J w e d e n o t e t h e
a s s o c i a t e d a l m o s t c o m p l e x s t r u c t u r e o n R S
3
d e n e d b y
J ( a ; z ) ( ; k ) = ( ?
a
( z ) k ; J
a
( z )
a
k + X
a
( z ) ) : ( 4 . 8 )
F i n a l l y , w e d e n e t h e s p e c i a l a l m o s t c o m p l e x s t r u c t u r e
~
J o n R S
3
a s f o l l o w s . W e
s e t
~
J ( a ; z ) =
J ( a ; z ) i f j a j 1 . I f j a j
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
19/23
U N K N O T T E D P E R I O D I C O R B I T S F O R R E E B F L O W S O N T H E T H R E E - S P H E R E 1 9
e n e r g y p l a n e s w h i c h a r e , a s j z j ! 1 , a l l a s y m p t o t i c t o t h e s a m e p e r i o d i c o r b i t P
0
o f X
E
. T h e f a m i l y F i s n o n - c o m p a c t a n d c o n t a i n s e l e m e n t s ~ u = ( a ; u ) : C ! R S
3
h a v i n g a r b i t r a r y n e g a t i v e R - c o m p o n e n t s a :
s u p
~u 2 B
?
m a x
z
j r ~u ( z ) j
= 1 ; i n f
~u 2 B
( m i n
z
a ( z ) ) = ? 1 : ( 4 . 1 0 )
A b u b b l i n g o a n a l y s i s o f t h e s i n g u l a r i t i e s o f F , c a r r i e d o u t i n 1 2 ] , g i v e s r i s e t o a
t r e e o f g e n e r a l i z e d e n e r g y s p h e r e s w h i c h i s i l l u s t r a t e d i n t h e f o l l o w i n g p i c t u r e :
T h e t o p p a r t o f t h e g r a p h r e p r e s e n t s a n e m b e d d e d ( s i n c e P
0
i s s i m p l y c o v e r e d )
g e n e r a l i z e d e n e r g y s p h e r e
~u = ( a ; u ) : S
2
n ? ! R S
3
( 4 . 1 1 )
w i t h o n e p o s i t i v e p u n c t u r e , 1 , a s y m p t o t i c t o t h e d i s t i n g u i s h e d p e r i o d i c s o l u t i o n
P
0
o f X
E
, a n d a p o s i t i v e n u m b e r o f n e g a t i v e p u n c t u r e s w h i c h a r e a l l a s y m p t o t i c t o
n o n - d e g e n e r a t e p e r i o d i c s o l u t i o n s o f X
. T h e b o t t o m p a r t s o f t h e g r a p h r e p r e s e n t
n i t e e n e r g y p l a n e s ( n o t n e c e s s a r i l y e m b e d d e d ) ~ u : ( a ; u ) : C = S
2
n f 1 g ! R S
3
,
f o r t h e - e q u a t i o n , h e n c e a s y m p t o t i c t o p e r i o d i c s o l u t i o n s o f X
. A l l i n t e r m e d i a t e
p a r t s r e p r e s e n t n i t e e n e r g y s p h e r e s ~ u : S
2
n ? ! R S
3
f o r t h e - e q u a t i o n , h a v i n g
o n e p o s i t i v e p u n c t u r e a n d a p o s i t i v e n u m b e r o f n e g a t i v e p u n c t u r e s , a l l a s y m p t o t i c
t o p e r i o d i c s o l u t i o n s o f X
.
W e s h a l l p r o v e n o w t h a t t h e r e i s a t l e a s t o n e n i t e e n e r g y p l a n e a t t h e b o t t o m
o f t h e g r a p h w h o s e - i n d e x i s e i t h e r 2 o r 3 . A r g u i n g i n d i r e c t l y w e c a n a s s u m e
t h a t a l l t h e n i t e e n e r g y p l a n e s a t t h e b o t t o m h a v e i n d i c e s 4 . S t a r t i n g a t t h e
b o t t o m w e w o r k o u r w a y u p i n t h e g r a p h a s w e a l r e a d y d i d i n t h e o v e r t w i s t e d
c a s e a n d c o n c l u d e i n d u c t i v e l y t h a t a l l t h e n e g a t i v e p u n c t u r e s o f t h e e n e r g y s p h e r e s
h a v e i n d i c e s a t l e a s t 4 . H e r e w e u s e L e m m a 3 . 1 i n o r d e r t o e s t i m a t e t h e p o s i t i v e
p u n c t u r e o f t h e m i d d l e p a r t s i n t h e g r a p h a s f o l l o w s :
+
4 ( # ? ? 1 ) + 4 ? 2 # ?
= 2 ( # ? )
4 :
A f t e r n i t e l y m a n y s t e p s w e a r r i v e a t t h e t o p p i e c e o f t h e g r a p h . I t r e p r e s e n t s t h e
g e n e r a l i z e d n i t e e n e r g y s p h e r e ~ u i n ( 4 . 1 1 ) h a v i n g o n e p o s i t i v e p u n c t u r e w i t h i n d e x
( P
0
) = 3 a n d ( a s w e j u s t h a v e p r o v e d ) a p o s i t i v e n u m b e r o f n e g a t i v e p u n c t u r e s ,
h a v i n g a l l a n i n d e x a t l e a s t 4 . T h i s w i l l l e a d t o a c o n t r a d i c t i o n . W e c a n c h o o s e t h e
a l m o s t c o m p l e x s t r u c t u r e
~
J t o b e , i n a d d i t i o n , g e n e r i c , s e e 1 5 ] . S i n c e ~ u : S
2
n ? !
R S
3
i s a n e m b e d d i n g , t h e l i n e a r i z e d m a p a l o n g ~ u i s a F r e d h o l m m a p h a v i n g a
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
20/23
2 0 H . H O F E R , K . W Y S O C K I , A N D E . Z E H N D E R
n o n - n e g a t i v e F r e d h o l m i n d e x F r e d ( ~ u ) 0 . D e n o t i n g b y
?
( ~u ) t h e s u m o v e r a l l
- i n d i c e s a s s o c i a t e d w i t h t h e n e g a t i v e p u n c t u r e s , a n d b y ( P
0
) t h e i n d e x o f t h e
p o s i t i v e p u n c t u r e , t h e F r e d h o l m i n d e x i s g i v e n b y
F r e d ( ~ u ) = ( P
0
) ?
?
( ~u ) ? ( S
2
) + # ? 0 : ( 4 . 1 2 )
T h e f o r m u l a i s p r o v e d i n 1 5 ] . C o n s e q u e n t l y , i n v i e w o f ( S
2
) = 2 , ( P
0
) = 3 a n d
?
( ~u ) 4 ( # ? ? 1 ) w e a r r i v e a t t h e c o n t r a d i c t i o n
3
?
( ~u ) ? ( # ? ? 1 ) + 1
4 ( # ? ? 1 ) ? ( # ? ? 1 ) + 1
= 3 ( # ? ? 1 ) + 1
4 :
I n v i e w o f t h i s c o n t r a d i c t i o n , t h e r e e x i s t s a n i t e e n e r g y p l a n e ~ u f o r w i t h a s y m p -
t o t i c i n d e x ( x ; T ) 2 f 2 ; 3 g . A r g u i n g n o w a s i n t h e o v e r t w i s t e d c a s e o n e s h o w s ,
u s i n g L e m m a 3 . 1 , t h a t ~ u i s a n i m m e r s i o n . A g a i n , i n v i e w o f t h e a s y m p t o t i c b e -
h a v i o u r i n t h e n o n - d e g e n e r a t e c a s e , ~ u h a s t o b e a n e m b e d d i n g . I n d e e d , o t h e r w i s e
t h e i s o l a t e d s e l n t e r s e c t i o n s h a v e p o s i t i v e i n t e r s e c t i o n i n d i c e s . B u t , b y t h e b u b b l i n g
o a n a l y s i s i n 1 2 ] , ~ u c a n b e a p p r o x i m a t e d b y a s e q u e n c e o f r e s c a l e d g e n e r a l i z e d
n i t e e n e r g y p l a n e s , w h i c h w o u l d h a v e s e l n t e r s e c t i o n s t o o . T h i s w o u l d c o n t r a d i c t
t h e f a c t , t h a t b y t h e i r c o n s t r u c t i o n b a s e d o n e l e m e n t s o f F , t h e y a r e e m b e d d i n g s .
T o s u m u p , w e h a v e e s t a b l i s h e d t h e e x i s t e n c e o f a n e m b e d d e d n i t e e n e r g y
p l a n e ~ u : C ! R S
3
f o r t h e - e q u a t i o n h a v i n g a n o n - d e g e n e r a t e a s y m p t o t i c l i m i t
w i t h i n d e x ( x ; T ) 2 f 2 ; 3 g . H e n c e t h e o r e m 1 . 4 i s c o n s e q u e n c e o f t h e o r e m 1 . 6 a n d
t h e o r e m 1 . 7 . T h e p r o o f o f t h e o r e m 1 . 4 i n t h e t i g h t c a s e i s c o m p l e t e .
F o r l a t e r u s e w e s h o u l d m e n t i o n t h a t t h e r e i s a n a - p r i o r i b o u n d f o r t h e m i n i m a l
p e r i o d T o f t h e s p e c i a l a s y m p t o t i c o r b i t f o u n d a b o v e i n t e r m s o f t h e p a r a m e t e r r
1
o c c u r i n g i n t h e d e n i t i o n ( 4 . 3 ) o f t h e f u n c t i o n f
E
, s e e 1 2 ] .
5 . T h e d e g e n e r a t e c a s e
T h e r e s u l t s i n t h e p r e v i o u s s e c t i o n s f o r n o n - d e g e n e r a t e c o n t a c t f o r m s o n S
3
w i l l
n o w b e u s e d i n o r d e r t o p r o v e t h e o r e m 1 . 8 b y a n a p p r o x i m a t i o n a r g u m e n t .
T h e o r e m 5 . 1 . L e t b e a c o n t a c t f o r m o n S
3
a n d J a c o m p a t i b l e a l m o s t c o m p l e x
s t r u c t u r e o n t h e a s s o c i a t e d c o n t a c t s t r u c t u r e . T h e n t h e r e e x i s t s a n i t e e n e r g y
p l a n e ~u = ( a ; u ) : C ! R S
3
s u c h t h a t u i s a n i n j e c t i v e i m m e r s i o n .
T h e m a i n r e s u l t ( t h e o r e m 1 . 1 ) f o l l o w s i m m e d i a t e l y f r o m t h e o r e m 5 . 1 i n v i e w o f
p r o p o s i t i o n 1 . 5 a n d t h e o r e m 1 . 7 .
P r o o f . L e t b e a c o n t a c t f o r m o n S
3
. B y p r o p o s i t i o n 1 . 2 w e n d a s e q u e n c e
f
k
: S
3
! ( 0 ; 1 ) o f s m o o t h f u n c t i o n s c o n v e r g i n g i n C
1
t o t h e c o n s t a n t f u n c t i o n
f
0
1 s o t h a t t h e c o n t a c t f o r m s
k
= f
k
a r e n o n - d e g e n e r a t e . T h e a s s o c i a t e d
c o n t a c t s t r u c t u r e s
k
= c o i n c i d e . C h o o s e a J o n c o m p a t i b l e w i t h a n d
c h o o s e a s e q u e n c e J
k
c o m p a t i b l e w i t h
k
s o t h a t f o r t h e a s s o c i a t e d a l m o s t c o m p l e x
s t r u c t u r e
~
J
k
o n R S
3
t h e c o n s t r u c t i o n s i n t h e s e c t i o n s 3 a n d 4 c a n b e c a r r i e d
o u t . T h e n t h e r e e x i s t s a s e q u e n c e o f e m b e d d e d n o n - d e g e n e r a t e n i t e e n e r g y p l a n e s
~u
k
= ( a
k
; u
k
) : C ! R S
3
w i t h i n d i c e s ( ~u
k
) 3 . I n v i e w o f t h e o r e m 1 . 7 , a n d t h e
-
8/3/2019 H. Hofer, K. Wysocki and E. Zehnder- Unknotted Periodic Orbits for Reeb Flows on the Three-Sphere
21/23
U N K N O T T E D P E R I O D I C O R B I T S F O R R E E B F L O W S O N T H E T H R E E - S P H E R E 2 1
a - p r i o r i e s t i m a t e s m e n t i o n e d a t t h e e n d o f s e c t i o n 3 a n d 4 w e n d a c o n s t a n t c > 0
s u c h t h a t
~
J
k
T ~u
k
= T ~u
k
i
c
? 1
E ( ~u
k
) c
u
k
: C ! S
3
i s a n e m b e d d i n g .
( 5 . 1 )
M o r e o v e r , i f P
k
i s t h e n o n - d e g e n e r a t e a s y m p t o t i c l i m i t o f ~ u
k
, w e h a v e
u
k
( C ) \ P
k
= ; : ( 5 . 2 )
D e n o t e b y
0
> 0 a c o n s t a n t s m a l l e r t h a n t h e s m a l l e s t p e r i o d o f t h e p e r i o d i c
s o l u t i o n s o f X
a n d a l s o s m a l l e r t h e n c
? 1
. R e p a r a m e t e r i z i n g t h e s o l u t i o n s ~ u
k
w e
m a y a s s u m e , i n a d d i t i o n t o ( 5 . 1 ) ,
i n f
z
a
k
( z ) = a
k
( 0 ) = 0
Z
D
u
k
d
k
=
Z
C
u
k
d
k
?
0
;
( 5 . 3 )
w h e r e D = f z j j z j 1 g . W e o b s e r v e t h a t
Z
D
u
k
d
k
" c
? 1
?
0
: ( 5 . 4 )
A s s u m e ( a t r s t ) t h a t t h e g r a d i e n t s o f ~ u
k
r e m a i n u n i f o r m l y b o u n d e d o n c o m p a c t
s u b s e t s o f C . T h e n , p o s s i b l y p a s s i n g t o a s u b s e q u e n c e , ~ u
k
! ~u i n C
1
l o c
( C ) u s i n g
t h e s t a n d a r d c o m p a c t n e s s r e s u l t s , s e e f . e . i n 1 1 ] . C l e a r l y , i n v i e w o f ( 5 . 4 ) , t h e m a p
~u = ( a ; u ) i s a n o n c o n s t a n t n i t e e n e r g y p l a n e f o r t h e s t r u c t u r e
~
J h a v i n g d - e n e r g y
a t l e a s t " a n d h e n c e a t l e a s t
0
. W e s h a l l p r o v e t h a t u i s a n i n j e c t i v e i m m e r s i o n . I n
o r d e r t o p r o v e t h a t u i s a n i m m e r s i o n w e c o n s i d e r t h e s e c t i o n
T u o f t h e b u n d l e
H o m
C
( T C ; u
) ! C : ( 5 . 5 )
B y t h e s i m i l a r i t y p r i n c i p l e , t h i s s e c t i o n e i t h e r v a n i s h e s i d e n t i c a l l y o r h a s i s o l a t e d
z e r o e s h a v i n g a l l a p o s i t i v e i n d e x . F o r n o n c o n s t a n t n i t e e n e r g y p l a n e s t h e s e c t i o n
d o e s n o t v a n i s h i d e n t i c a l l y , s e e 1 4 ] . L e t R > 0 a n d a s s u m e t h a t
T u d o e s n o t
v a n i s h o n @ D
R
. S i n c e u
k
j D
R
c o n v e r g e s i n C
1
t o u j D
R
i t f o l l o w s t h a t t h e
w i n d i n g n u m b e r s w
k
o f t h e n o w h e r e v a n i s h i n g s e c t i o n s (
k
T u
k
) j @ D
R
c o i n c i d e
w i t h t h e w i n d i n g n u m b e r w o f (
T u ) j @ D
R
. S i n c e
k
T u
k
( z ) 6= 0 f o r e v e r y
z 2 C w e c o n c l u d e w
k
= 0 a n d h e n c e w = 0 . C o n s e q u e n t l y
T u ( z ) 6= 0 f o r
z 2 D
R
, s e e 1 4 ] . T h i s a r g u m e n t s h o w s t h a t
T u ( z ) 6= 0 f o r e v e r y z 2 C .
C o n s e q u e n t l y , u : C ! S
3
i s a n i m m e r s i o n . T o p r o v e t h a t u i s i n j e c t i v e w e a r g u e b y
c o n t r a d i c t i o n a n d a s s u m e u ( z ) = u ( z
0
) f o r z 6= z
0
. H e n c e w e n d a n u m b e r c 2 R
s a t i s f y i n g
~u
c
( z ) = ~u ( z
0
) ; z 6= z
0
:
I n v i e w o f t h e s t a n d