s.v. chmutov , s.v. duzhin and a. i. kaishev- the algebra of 3-graphs

8/3/2019 S.V. Chmutov , S.V. Duzhin and A. I. Kaishev- The Algebra of 3-Graphs

http://slidepdf.com/reader/full/sv-chmutov-sv-duzhin-and-a-i-kaishev-the-algebra-of-3-graphs 1/32

T h e a l g e b r a o f 3 - g r a p h s

S . V . C h m u t o v , S . V . D u z h i n , A . I . K a i s h e v

A b s t r a c t

W e i n t r o d u c e a n d s t u d y t h e s t r u c t u r e o f a n a l g e b r a i n t h e l i n e a r s p a c e s p a n n e d b y

a l l r e g u l a r 3 - v a l e n t g r a p h s w i t h a p r e s c r i b e d o r d e r o f e d g e s a t e v e r y v e r t e x , m o d u l o

c e r t a i n r e l a t i o n s . T h e r o l e o f t h i s o b j e c t i n v a r i o u s a r e a s o f l o w d i m e n s i o n a l t o p o l o g y i s

d i s c u s s e d .

0 I n t r o d u c t i o n

R e g u l a r g r a p h s o f d e g r e e 3 , i . e . g r a p h s i n w h i c h e v e r y v e r t e x i s i n c i d e n t w i t h e x a c t l y t h r e e

e d g e s , o f t e n o c c u r i n m a t h e m a t i c s . A p a r t f r o m g r a p h t h e o r y p r o p e r , w h e r e s u c h g r a p h s a r e

r e f e r r e d t o a s ` c u b i c ' , t h e y a p p e a r i n a n a t u r a l w a y i n t h e t o p o l o g y o f 3 - m a n i f o l d s , i n t h e

V a s s i l i e v k n o t i n v a r i a n t t h e o r y a n d i n c o n n e c t i o n w i t h t h e f o u r c o l o u r t h e o r e m . I t t u r n s

o u t t h a t i n a l l t h e s e a p p l i c a t i o n s 3 - v a l e n t g r a p h s a r e e n d o w e d w i t h a n a t u r a l s t r u c t u r e t h a t

c o n s i s t s i n x i n g , a t e v e r y v e r t e x o f t h e g r a p h , o n e o f t h e t w o p o s s i b l e c y c l i c o r d e r s i n t h e s e t

o f t h r e e e d g e s i s s u i n g f r o m t h i s v e r t e x .

I n t h e t h e o r y o f V a s s i l i e v i n v a r i a n t s 3 - v a l e n t g r a p h s c a n b e v i e w e d a s e l e m e n t s o f t h e

p r i m i t i v e s u b s p a c e P o f t h e g r a d e d H o p f a l g e b r a F a s s o c i a t e d w i t h t h e l t e r e d a l g e b r a o f

n i t e o r d e r i n v a r i a n t s . A m o n g t h e e l e m e n t s t h a t g e n e r a t e t h e a l g e b r a F ( c o n n e c t e d F e y n m a n

d i a g r a m s o r C h i n e s e c h a r a c t e r d i a g r a m s i n t h e t e r m i n o l o g y o f D . B a r - N a t a n B N 1 ] ) t h e r e a r e

t w o t y p e s o f r e l a t i o n s ( ` a n t i s y m m e t r y ' a n d ` I H X ' , o r , i n a n o t h e r c o o r d i n a t e s y s t e m , 1 - a n d

4 - t e r m r e l a t i o n s ) . T h e s e r e l a t i o n s , r e s t r i c t e d t o t h e s p a c e s p a n n e d b y t h e 3 - v a l e n t g r a p h s ,

l e a d t o t h e ` s p a c e o f 3 - g r a p h s ' . I n t h e s p a c e o f 3 - g r a p h s t h e r e i s a c o m m u t a t i v e m u l t i p l i c a t i o n

d e n e d b y t h e c o n n e c t e d s u m o f g r a p h s . A l t h o u g h s i m i l a r s t r u c t u r e s | a l g e b r a s o f F e y n m a n

d i a g r a m s a n d v a r i o u s m o d i c a t i o n s | h a v e b e e n s t u d i e d i n t h e l i t e r a t u r e ( s e e V a , B N 1 , K o n ,

V a i , C V , V o ] ) , n o b o d y , t o t h e b e s t o f o u r k n o w l e d g e , h a s e v e r d i s t i n g u i s h e d t h e a l g e b r a o f

3 - g r a p h s a s a s e l f - c o n t a i n e d o b j e c t . W e g i v e t h e e x a c t d e n i t i o n o f t h i s a l g e b r a i n s e c t i o n 1 .

I n s e c t i o n 2 w e g i v e t h e t a b l e s o f t h e 3 - g r a p h a l g e b r a i n s m a l l d i m e n s i o n s a n d i n s e c t i o n

3 w e d e s c r i b e t h e c o m p u t e r c a l c u l a t i o n s p e r f o r m e d t o o b t a i n t h e s e t a b l e s .

I n s e c t i o n 4 w e d i s c u s s t h e c o n s t r u c t i o n ( g o i n g b a c k t o P e n r o s e P e n ] a n d K o n t s e v i c h

K o n ] ) o f t h e f u n c t i o n s o n t h e a l g e b r a o f 3 - g r a p h s a s s o c i a t e d w i t h a L i e a l g e b r a w i t h a x e d

a d - i n v a r i a n t n o n - d e g e n e r a t e s y m m e t r i c b i l i n e a r f o r m . W e a l s o g i v e t h e t a b l e s o f t h e v a l u e s o f

s o m e o f t h e s e i n v a r i a n t s o n t h e g e n e r a t o r s o f s m a l l d e g r e e .

S e c t i o n 5 i s i n u e n c e d b y t h e b r i l l i a n t p a p e r b y B a r - N a t a n B N 2 ] a n d d e d i c a t e d t o t h e

f a m o u s f o u r - c o l o u r t h e o r e m . T h e t h e o r e m , c o n j e c t u r e d b y F . G u t h r i e i n 1 8 5 2 , w a s p r o v e d b y

S u p p o r t e d b y t h e f o l l o w i n g g r a n t s : R F B R ( 9 5 - 0 1 - 0 0 8 4 6 a ) , I N T A S ( 4 3 7 3 ) , N W O ( 4 7 . 0 3 . 0 0 5 ) .

1



K . A p p e l a n d W . H a k e n i n 1 9 7 6 . T h e i r p r o o f h e a v i l y r e l i e s o n a n e x t e n s i v e c o m p u t e r s e a r c h

a n d m a k e s u p a b o o k o f 7 4 1 p a g e s A H ] ( s e e a l s o S K ] ) . R e c e n t l y , a r i s e o f i n t e r e s t t o w a r d s t h e

f o u r c o l o u r t h e o r e m i s w i t n e s s e d ( K a i , S e ] ) . V a r i o u s a l g e b r a i c r e f o r m u l a t i o n s h a v e a p p e a r e d

( P e n , K a 1 , K a 2 , K a S , B N 2 ] ) . T h e r e i s a n a t t e m p t t o s i m p l i f y t h e A p p e l { H a k e n p r o o f R S S T ] ,

n o t u n s u c c e s s f u l , b u t b a s e d o n t h e s a m e , r a t h e r s t r a i g h t f o r w a r d , r e d u c t i o n o f t h e p r o b l e m t o

t h e c o m p u t e r s e a r c h t h r o u g h a l a r g e n u m b e r o f p a r t i c u l a r c o n g u r a t i o n s . O u r a i m i s t o s h o w

t h a t t h e a l g e b r a o f 3 - g r a p h s i s t h e r i g h t o b j e c t l e n d i n g c o n c e p t u a l c l a r i t y t o i n v e s t i g a t i o n s

a r o u n d t h e f o u r c o l o u r t h e o r e m .

I n s e c t i o n 6 w e d i s c u s s t h e r o l e o f 3 - g r a p h s i n t h e t h e o r y o f k n o t i n v a r i a n t s . T h e m o s t

i n t e r e s t i n g p h e n o m e n o n h e r e i s t h a t g r a p h m u l t i p l i c a t i o n a l l o w s t o i n t r o d u c e t h e s t r u c t u r e o f a

n o n - c o m m u t a t i v e a l g e b r a i n t h e s p a c e o f p r i m i t i v e e l e m e n t s o f t h e g r a d e d a l g e b r a F a s s o c i a t e d

w i t h t h e s p a c e o f V a s s i l i e v i n v a r i a n t s . T h i s m e a n s t h a t t h e s p a c e P f r e e l y g e n e r a t i n g t h e

a l g e b r a o f V a s s i l i e v i n v a r i a n t s i s i t s e l f e n d o w e d w i t h a n i n n e r m u l t i p l i c a t i o n .

F i n a l l y , i n s e c t i o n 7 w e s p e a k a b o u t t h e i n v a r i a n t s o f t h r e e d i m e n s i o n a l m a n i f o l d s ( h o m o l -

o g y s p h e r e s ) w h e r e t h e a l g e b r a o f 3 - g r a p h s | o n l y a s a l i n e a r s p a c e , n o t a s a n a l g e b r a | h a s

r e c e n t l y e m e r g e d i n t h e w o r k s o f T . O h t s u k i O h 1 ] a n d T . L e L e ]

T h e r e a d e r m a y n o t e t h a t w e h a v e n o t f o u n d a n y e x t r a o r d i n a r y a p p l i c a t i o n s o f t h e 3 - g r a p h

a l g e b r a | s u c h a s w o u l d l e a d t o n e w t h e o r e m s . B u t t h e s t r u c t u r e i t s e l f a n d t h e v a r i e t y o f

i t s c o n t a c t s w i t h v a r i o u s m a t h e m a t i c a l s u b j e c t s a r e s o i n t e r e s t i n g t h a t w e d e c i d e d t o p u b l i s h

t h e p r e s e n t t e x t a s i t i s . I n t h e r o w o f c o m b i n a t o r i a l s t r u c t u r e s o f l o w - d i m e n s i o n a l t o p o l o g y

i n c l u d i n g t h e a l g e b r a s o f c h o r d d i a g r a m s V a ] a n d F e y n m a n d i a g r a m s K o n , V a i ] , s p a c e s o f

C h i n e s e B N 1 ] a n d J a p a n e s e C V ] c h a r a c t e r s , V o g e l ' s - m o d u l e s V o ] , t h e a l g e b r a o f 3 - g r a p h s

i s t h e s i m p l e s t a n d , f r o m t h e g e n e r a l p o i n t o f v i e w , t h e m o s t n a t u r a l o b j e c t a n d t h e r e f o r e

d e s e r v e s t o b e s t u d i e d .

1 T h e d e n i t i o n o f t h e a l g e b r a

1 . 1 T h e s p a c e 3 - g r a p h s

W e b e g i n b y g i v i n g a n e x a c t d e n i t i o n o f t h e m a i n o b j e c t w e w i l l w o r k w i t h .

D e n i t i o n . A 3 - g r a p h i s a r e g u l a r 3 - v a l e n t g r a p h

1

w i t h a x e d r o t a t i o n . T h e r o t a t i o n

i s t h e c h o i c e o f a c y c l i c o r d e r o f e d g e s a t e v e r y v e r t e x , i . e . o n e o f t h e t w o c y c l i c p e r m u t a t i o n s

i n t h e s e t o f t h r e e e d g e s a d j a c e n t t o t h i s v e r t e x .

I n t h i s d e n i t i o n g r a p h s a r e a l l o w e d t o h a v e m u l t i p l e e d g e s a n d l o o p s . I n t h e c a s e o f

g r a p h s w i t h l o o p s t h e n o t i o n o f r o t a t i o n r e q u i r e s t h e f o l l o w i n g r e n e m e n t : t h e c y c l i c o r d e r i s

i n t r o d u c e d n o t i n t h e s e t o f e d g e s i n c i d e n t t o a g i v e n v e r t e x , b u t i n t h e c o r r e s p o n d i n g s e t o f

h a l f - e d g e s

A t o p o l o g y f r e e c o m b i n a t o r i a l d e n i t i o n o f t h e s e t o f h a l f - e d g e s c a n b e g i v e n a s f o l l o w s .

L e t E , V b e t h e s e t s o f e d g e s a n d v e r t i c e s , r e s p e c t i v e l y , o f t h e g r a p h u n d e r s t u d y . T h e n

t h e s e t o f h a l f - e d g e s i s a ` d o u b l e b e r i n g ' E

H

! V , t h a t i s a s e t H s u p p l i e d w i t h t w o

p r o j e c t i o n s : H ! E a n d : H ! V s u c h t h a t ( a ) t h e i n v e r s e i m a g e o f e v e r y e d g e

? 1

( e )

c o n s i s t s o f t w o e l e m e n t s , ( b ) t h e c a r d i n a l i t y o f e a c h s e t

? 1

( v ) e q u a l s t h e v a l e n c y o f t h e v e r t e x

1

N o t e t h a t t h e n u m b e r o f v e r t i c e s o f s u c h a g r a p h i s a l w a y s e v e n , a n d t h e n u m b e r o f e d g e s a m u l t i p l e o f

3 . H a l f t h e n u m b e r o f t h e v e r t i c e s w i l l b e r e f e r r e d t o a s t h e d e g r e e o f a 3 - g r a p h .

2



v , ( c ) f o r a n y p o i n t h 2 H t h e v e r t e x ( h ) i s o n e o f t h e t w o e n d p o i n t s o f t h e e d g e ( h ) . T h e n

t h e r o t a t i o n i s a c y c l i c p e r m u t a t i o n i n t h e i n v e r s e i m a g e o f e a c h v e r t e x

? 1

( v )

O n e c a n f o r g e t a b o u t e d g e s a n d v e r t i c e s a l t o g e t h e r a n d a d o p t t h e f o l l o w i n g c l e a r - c u t ,

a l t h o u g h l e s s p i c t o r i a l , d e n i t i o n o f a 3 - g r a p h : t h i s i s a s e t o f c a r d i n a l i t y 6 n e q u i p p e d w i t h

t w o p e r m u t a t i o n s , o n e w i t h t h e c y c l i c s t r u c t u r e ( 3 ) ( 3 ) ( 3 ) , a n o t h e r w i t h c y c l i c s t r u c t u r e

( 2 ) ( 2 ) ( 2 ) . T h e r e l a t i o n t o t h e p r e v i o u s d e n i t i o n c o n s i s t s i n t h a t H i s t h e s e t o f h a l f -

e d g e s , t h e r s t p e r m u t a t i o n c o r r e s p o n d s t o t h e r o t a t i o n i n t h e v e r t i c e s a n d t h e s e c o n d , t o t h e

t r a n s i t i o n f r o m o n e e n d p o i n t o f a n e d g e t o a n o t h e r .

D e n i t i o n . T w o 3 - g r a p h s a r e s a i d t o b e i s o m o r p h i c , i f t h e r e i s a o n e - t o - o n e c o r r e s -

p o n d e n c e b e t w e e n t h e i r s e t s o f h a l f - e d g e s w h i c h p r e s e r v e s t h e r o t a t i o n a n d i n d u c e s a u s u a l

g r a p h i s o m o r p h i s m | o r , i n o t h e r w o r d s , w h i c h p r e s e r v e s b o t h s t r u c t u r a l p e r m u t a t i o n s .

R e m a r k s . 1 . I t i s c o n v e n i e n t t o i n c l u d e t h e c i r c l e i n t o t h e s e t o f 3 - g r a p h s v i e w i n g i t a s

a g r a p h w i t h a z e r o n u m b e r o f v e r t i c e s .

2 A l t h o u g h 3 - g r a p h s a r e a b s t r a c t g r a p h s , w e s h a l l d r a w t h e m i n t h e p l a n e . S i n c e n o t

e v e r y g r a p h i s p l a n a r , t h e e d g e s i n t h e p i c t u r e s w i l l s o m e t i m e s i n t e r s e c t . W e w i l l i g n o r e s u c h

i n t e r s e c t i o n s a n d n o t c o n s i d e r t h e m a s v e r t i c e s o f t h e g r a p h . F u r t h e r m o r e , w e w i l l s u p p o s e

t h a t t h e h a l f - e d g e s a t e v e r y v e r t e x a r e o r d e r e d c o u n t e r c l o c k w i s e . T h e c h a n g e o f r o t a t i o n i n a

v e r t e x c a n b e d e p i c t e d a s f o l l o w s :

E x a m p l e s . 1 . H e r e i s a t y p i c a l e x a m p l e o f a 3 - g r a p h ( h a v i n g 8 v e r t i c e s a n d 1 2 e d g e s ,

i . e . o f d e g r e e 4 i n o u r s e n s e ) :

2 U p t o a n i s o m o r p h i s m , t h e r e a r e t h r e e d i e r e n t 3 - g r a p h s o f d e g r e e 1 :

& %

' $

s s

' $

s s

s s

D e n i t i o n . T h e s p a c e ?

n

i s t h e q u o t i e n t s p a c e o f t h e l i n e a r s p a c e o v e r Q g e n e r a t e d b y

c o n n e c t e d 3 - g r a p h s o f d e g r e e n ( i . e . h a v i n g 2 n v e r t i c e s ) , m o d u l o t h e f o l l o w i n g r e l a t i o n s .

A n t i s y m m e t r y r e l a t i o n ( A S ) :

= ?

3



K i r c h h o f r e l a t i o n ( I H X ) :

= +

R e m a r k s . 1 . H e r e a n d b e l o w u n n i s h e d f r a g m e n t s i n t h e p i c t u r e s d e n o t e g r a p h s t h a t

a r e i d e n t i c a l ( a n d a r b i t r a r y ) e v e r y w h e r e b u t i n t h i s e x p l i c i t l y s h o w n f r a g m e n t .

2 W e u s e t h e t i t l e ` K i r c h h o f r e l a t i o n ' b e c a u s e o f t h e f o l l o w i n g a n a l o g y . L e t u s v i e w t h e

p o r t i o n o f a g i v e n g r a p h a s a p i e c e o f a n e l e c t r i c a l c i r c u i t , w h e r e t h e v a r i a b l e v e r t e x

r e p r e s e n t s a n ` e l e c t r o n ' e w i t h a ` t a i l ' w h o s e e n d p o i n t i s x e d . S u p p o s e t h a t t h e e l e c t r o n m o v e s

t o w a r d s a n o d e o f t h e c i r c u i t :

e

\ t a i l "

T h e n t h e I H X r e l a t i o n e x p r e s s e s t h e w e l l - k n o w n K i r c h h o f r u l e : t h e s u m o f c u r r e n t s e n t e r i n g

a n o d e i s e q u a l t o t h e s u m o f c u r r e n t s g o i n g o u t o f i t . T h i s e l e c t r o t e c h n i c a l a n a l o g y i s v e r y

u s e f u l , e . g . i n t h e p r o o f o f t h e c o r r e c t n e s s o f g r a p h m u l t i p l i c a t i o n ( s e e b e l o w ) .

3 B y d e n i t i o n , ?

0

i s o n e - d i m e n s i o n a l a n d g e n e r a t e d b y t h e c i r c l e .

E x e r c i s e . C h e c k t h a t t h e f o l l o w i n g g r a p h i s e q u a l t o z e r o a s a n e l e m e n t o f t h e s p a c e ?

3

:

T

T

T

T

T

T

T

T

T

T

T

1 . 2 M u l t i p l i c a t i o n

I n t h e g r a d e d s p a c e

? = ?

0

?

1

?

2

?

3

: : : :

t h e r e i s a n a t u r a l s t r u c t u r e o f a c o m m u t a t i v e a l g e b r a .

D e n i t i o n . T h e p r o d u c t o f t w o 3 - g r a p h s x a n d y i s t h e 3 - g r a p h o b t a i n e d i n t h e f o l l o w i n g

w a y . C h o o s e a r b i t r a r i l y a n e d g e i n x a n d a n e d g e i n y . C u t e a c h o f t h e s e t w o e d g e s i n t h e

m i d d l e a n d a t t a c h t h e e n d p o i n t s t h a t a p p e a r o n o n e e d g e , t o t h e e n d p o i n t s a p p e a r i n g o n t h e

o t h e r .

x

y

x

y

= x y

T h e p r o d u c t o f 3 - g r a p h s c a n a l s o b e u n d e r s t o o d a s t h e r e s u l t o f i n s e r t i o n o f o n e g r a p h ,

s a y x , i n t o a n e d g e o f y

4



R e m a r k . T h e p r o d u c t o f t w o c o n n e c t e d g r a p h s m a y y i e l d a d i s c o n n e c t e d g r a p h , f o r

e x a m p l e :

s

s

s

s

=

s

s

s

s

T h i s h a p p e n s , h o w e v e r , o n l y i n t h e c a s e w h e n e a c h o f t h e t w o g r a p h s b e c o m e s d i s c o n n e c t e d

a f t e r c u t t i n g t h e c h o s e n e d g e , a n d i n t h i s c a s e b o t h g r a p h s a r e 0 m o d u l o r e l a t i o n s ( s e e l e m m a

2 i n S e c . 2 . 1 ) .

T h e o r e m . T h e p r o d u c t o f 3 - g r a p h s , v i e w e d a s a n e l e m e n t o f t h e s p a c e ? , i s c o r r e c t l y

d e n e d

N o t e t h a t , a s s o o n a s t h e c o r r e c t n e s s o f m u l t i p l i c a t i o n i s p r o v e d , o n e i m m e d i a t e l y s e e s

t h a t i t i s c o m m u t a t i v e .

T h e c l a i m t h a t t h e p r o d u c t i s c o r r e c t l y d e n e d c o n s i s t s o f t w o p a r t s . F i r s t , t h a t m o d u l o

t h e A S a n d I H X r e l a t i o n s t h e p r o d u c t 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 t w o e d g e s x a n d y

w h i c h a r e c u t a n d p a s t e d . S e c o n d , t h a t i t d o e s n o t d e p e n d o n t h e w a y t h e y a r e p u t t o g e t h e r

( c l e a r l y , t h e t w o l o o s e e n d s o f o n e g r a p h c a n b e g l u e d t o t h e t w o l o o s e e n d s o f a n o t h e r g r a p h

i n t w o d i e r e n t w a y s ) .

W e e s t a b l i s h t h e s e t w o f a c t s i n t h e f o l l o w i n g t w o l e m m a s . I n t h e s t a t e m e n t o f L e m m a 1 ,

b y a ` s u b g r a p h ' i s m e a n t a p a r t o f t h e 3 - g r a p h ( i . e . a s u b s e t o f i t s s e t o f h a l f - e d g e s ) a t t a c h e d

t o t h e r e m a i n i n g p a r t b y t w o e d g e s | l i k e a f a c t o r i n t h e p r o d u c t .

L e m m a 1 . ( a ) A ` t a i l ' c a n b e d r a g g e d t h r o u g h a s u b g r a p h :

x

y

0

=

x

y

0

( b ) A s u b g r a p h c a n b e c a r r i e d t h r o u g h a v e r t e x :

s

x

s

x

=

T a k i n g a c l o s e r l o o k a t t h e s e p i c t u r e s , t h e r e a d e r w i l l u n d e r s t a n d t h a t b o t h f o r m u l a t i o n s

o f L e m m a 1 h a v e e x a c t l y t h e s a m e m e a n i n g , t o w i t : t h e r e s u l t s o f i n s e r t i o n o f a 3 - g r a p h x

i n t o t h e a d j a c e n t e d g e s o f t h e 3 - g r a p h y , a r e e q u a l . S i n c e y i s c o n n e c t e d , t h i s i m p l i e s t h a t t h e

p r o d u c t 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 e d g e i n y

5



L e m m a 2 . T w o d i e r e n t w a y s t o g l u e t o g e t h e r t w o g r a p h s w i t h e d g e s c u t g i v e t h e s a m e

r e s u l t i n t h e s p a c e ? :

x

y

=

x

y

W e n o w p a s s t o t h e p r o o f o f L e m m a s 1 a n d 2 . L e m m a 1 i s a p a r t i c u l a r c a s e ( k = 1 ) o f

t h e f o l l o w i n g m o r e g e n e r a l a s s e r t i o n .

L e m m a 3 . I n t h e s p a c e ? t h e g e n e r a l K i r c h h o f l a w i s o b e y e d :

x

1

2

k

=

k

X

i = 1

x

1

i

k

P r o o f o f L e m m a 3 . F i x a h o r i z o n t a l l i n e i n t h e p l a n e a n d c o n s i d e r a n i m m e r s i o n o f

t h e g i v e n g r a p h i n t o t h e p l a n e , g e n e r i c w i t h r e s p e c t t o t h e p r o j e c t i o n o n t o t h i s l i n e . M o r e

e x a c t l y , w e a s s u m e t h a t ( 1 ) t h e p r o j e c t i o n s o f a l l v e r t i c e s o n t o t h e h o r i z o n t a l l i n e a r e d i s t i n c t ,

( 2 ) w h e n r e s t r i c t e d t o a n a r b i t r a r y e d g e , t h e p r o j e c t i o n h a s o n l y M o r s e c r i t i c a l p o i n t s , a n d

( 3 ) t h e i m a g e s o f a l l c r i t i c a l p o i n t s a r e d i s t i n c t a n d d i e r e n t f r o m t h e i m a g e s o f v e r t i c e s .

B i f u r c a t i o n p o i n t s a r e t h e i m a g e s o f v e r t i c e s a n d c r i t i c a l p o i n t s o f t h e p r o j e c t i o n . O u r

p r o o f o f L e m m a 3 p r o c e e d s b y i n d u c t i o n o n t h e n u m b e r o f b i f u r c a t i o n p o i n t s . I f t h e r e i s

o n l y o n e b i f u r c a t i o n p o i n t s , i t m u s t b e t h e i m a g e o f a v e r t e x , i n w h i c h c a s e t h e e q u a l i t y

t o b e p r o v e d c o i n c i d e s w i t h t h e I H X r e l a t i o n . S u p p o s e t h a t t h e l e m m a i s e s t a b l i s h e d f o r s

b i f u r c a t i o n p o i n t s . T h e ( s + 1 ) - t h b i f u r c a t i o n p o i n t f a l l s u n d e r o n e o f t h e s i x c a t e g o r i e s :

1 ) 2 ) 3 ) 4 ) 5 ) 6 )

I n t h e r s t t w o c a s e s t h e l e m m a f o l l o w s f r o m t h e I H X r e l a t i o n , i n c a s e s 3 a n d 4 | f r o m t h e

A S r e l a t i o n . C a s e s 5 a n d 6 b y a d e f o r m a t i o n o f t h e i m m e r s i o n a r e r e d u c e d t o a c o m b i n a t i o n

o f t h e p r e v i o u s c a s e s .

T h i s c o m p l e t e s t h e p r o o f o f L e m m a 3 .

6



E x a m p l e .

= +

= + + +

= + + +

T h e t w o l a s t s u m m a n d s c a n c e l o u t b e c a u s e o f t h e a n t i s y m m e t r y r e l a t i o n .

P r o o f o f L e m m a 2 . I f t h e 3 - g r a p h x i s a c i r c l e , t h e r e i s n o t h i n g t o p r o v 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 x c o n t a i n s a t l e a s t o n e v e r t e x o f d e g r e e 3 . C h o o s i n g t h e v e r t e x o f

x w h i c h i s n e a r e s t t o t h e r i g h t e x i t o f y , o n e c a n , b y L e m m a 1 , e e c t u a t e t h e f o l l o w i n g

m a n o e u v r e s :

x

y

=

y

=

y

= x

y

T h e r e f o r e ,

x

y

=

x

y

N o w , r o t a t i n g y t h r o u g h 1 8 0

i n t h e a m b i e n t p l a n e , w e g e t t h e r i g h t - h a n d s i d e o f t h e r e q u i r e d

e q u a l i t y . L e m m a 2 , a n d t h u s t h e c o r r e c t n e s s o f m u l t i p l i c a t i o n o f 3 - g r a p h s , a r e e s t a b l i s h e d .

T h e p r o d u c t o f 3 - g r a p h s i s e x t e n d e d t o t h e p r o d u c t o f a r b i t r a r y e l e m e n t s o f t h e s p a c e ?

i n t h e u s u a l w a y , b y l i n e a r i t y .

C o r o l l a r y . T h e p r o d u c t o f a r b i t r a r y e l e m e n t s o f ? i s c o r r e c t l y d e n e d

T h i s f o l l o w s f r o m t h e f a c t t h a t t h e p r o d u c t o f 3 - g r a p h s i s c o r r e c t a n d a l i n e a r c o m b i n a t i o n

o f e i t h e r A S o r I H X t y p e , w h e n m u l t i p l i e d b y a n a r b i t r a r y g r a p h , p r e s e r v e s i t s t y p e .

2 T h e Z o o

2 . 1 S o m e i d e n t i t i e s

W e w i l l p r o v e s e v e r a l i d e n t i t i e s e l u c i d a t i n g t h e s t r u c t u r e o f t h e 3 - g r a p h a l g e b r a . T h e y a r e

e a s y c o n s e q u e n c e s o f t h e d e n i n g r e l a t i o n s .

7



T h e r s t i d e n t i t y ( L e m m a 1 ) l i n k s t h e t w o o p e r a t i o n s d e n e d i n t h e s e t o f 3 - g r a p h s : t h e

i n s e r t i o n o f a t r i a n g l e i n t o a v e r t e x a n d t h e i n s e r t i o n o f a b u b b l e i n t o a n e d g e . T o i n s e r t a

b u b b l e i n t o a n e d g e o f a g r a p h i s t h e s a m e t h i n g a s t o m u l t i p l y t h i s g r a p h b y t h e e l e m e n t

b =

i

2 ?

1

. T h e c o r r e c t n e s s o f m u l t i p l i c a t i o n i n ? i m p l i e s t h a t t h e r e s u l t o f t h e b u b b l e

i n s e r t i o n d o e s n o t d e p e n d o n t h e e d g e c h o s e n , t h e n i t f o l l o w s f r o m L e m m a 1 t h a t t h e r e s u l t

o f t h e t r i a n g l e i n s e r 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 o f t h e v e r t e x .

L e m m a 1 . A t r i a n g l e i s e q u a l t o o n e h a l f o f a b u b b l e :

=

1

2

=

1

2

=

1

2

P r o o f o f L e m m a 1 .

= + = ?

T h e s e c o n d l e m m a d e s c r i b e s t w o c l a s s e s o f 3 - g r a p h s w h i c h a r e e q u a l t o 0 i n t h e a l g e b r a

? , i . e . m o d u l o t h e A S a n d I H X r e l a t i o n s .

L e m m a 2 . ( a ) A g r a p h w i t h a l o o p i s 0 i n ? :

s

= 0

( b ) I f t h e e d g e c o n n e c t i v i t y o f t h e g r a p h i s 1 , i . e . i t b e c o m e s d i s c o n n e c t e d a f t e r t h e

r e m o v a l o f a n e d g e , t h e n = 0 :

= = 0

P r o o f o f L e m m a 2 . ( a ) A g r a p h w i t h a l o o p i s z e r o b e c a u s e o f a n t i s y m m e t r y . I n d e e d ,

c h a n g i n g t h e r o t a t i o n i n t h e v e r t e x o f t h e l o o p y i e l d s a g r a p h w h i c h i s , o n o n e h a n d , i s o m o r p h i c

t o t h e i n i t i a l o n e , a n d o n t h e o t h e r h a n d , d i e r s f r o m i t b y a s i g n .

( b ) B y L e m m a 1 , i s e q u a l t o a g r a p h w i t h a l o o p :

= = = 0 ;

a n d t h e a s s e r t i o n f o l l o w s f r o m ( a ) .

8



2 . 2 T h e Y o u n g s t e r s

T h e f o l l o w i n g t a b l e s h o w s t h e b a s e s o f t h e l i n e a r s p a c e s ?

n

f o r n 1 1

n d i m ?

n

a d d i t i v e g e n e r a t o r s

1 1

2 1

3 1

4 2

5 2

6 3

7 4

8 5

9 6

1 0 8

1 1 9

9



T h e r e f o r e , t h e f o l l o w i n g e l e m e n t s c a n b e c h o s e n a s m u l t i p l i c a t i v e g e n e r a t o r s o f t h e a l g e b r a

? u p t o d e g r e e 1 1 ( n o t a t i o n s i n t h e l o w e r l i n e m e a n : b | ` b u b b l e ' , w

i

| ` w h e e l s ' , d |

` d o d e c a h e d r o n ' ) :

n 1 4 6 7 8 9 1 0 1 1

b w

4

w

6

w

7

w

8

w

9

w

1 0

d w

1 1

C o n j e c t u r e . T h e a l g e b r a ? i s g e n e r a t e d b y p l a n a r g r a p h s .

2 . 3 R e l a t i o n s

T h e r e a d e r m i g h t h a v e n o t e d t h a t t h e p r e v i o u s t a b l e o f m u l t i p l i c a t i v e g e n e r a t o r s d o e s n o t

c o n t a i n t h e e l e m e n t s w

2

4

o f d e g r e e 8 a n d w

4

w

6

o f d e g r e e 1 0 . T h i s i s n o t a c c i d e n t a l . I t t u r n s

o u t t h a t t h e f o l l o w i n g r e l a t i o n s h o l d i n t h e a l g e b r a ? :

w

2

4

=

5

3 8 4

b

8

?

5

1 2

b

4

w

4

+

5

2

b

2

w

6

?

3

2

b w

7

;

w

4

w

6

=

3 0 5

2 7 6 4 8

b

1 0

?

2 9 3

8 6 4

b

6

w

4

+

1 4 5

7 2

b

4

w

6

?

3 1

1 2

b

3

w

7

+ 2 b

2

w

8

?

3

4

b w

9

O . D a s b a c h D a s ] h a s p r o v e d t h e g e n e r a l f a c t t h a t t h e p r o d u c t o f a n a r b i t r a r y p a i r o f

h o m o g e n e o u s e l e m e n t s o f ? o f p o s i t i v e d e g r e e b e l o n g s t o t h e i d e a l g e n e r a t e d b y b

S i n c e t h e r e a r e n o n - t r i v i a l r e l a t i o n s b e t w e e n t h e g e n e r a t o r s , t h e a l g e b r a o f 3 - g r a p h s , i n

c o n t r a s t t o t h e a l g e b r a o f F e y n m a n d i a g r a m s ( s e e S e c . 6 ) , i s n o t f r e e a n d h e n c e d o e s n o t

p o s s e s s t h e s t r u c t u r e o f a H o p f a l g e b r a .

C o n j e c t u r e 1 . T h e m a p p i n g ? ! ? o f m u l t i p l i c a t i o n b y t h e b u b b l e ( x ! b x ) h a s n o

k e r n e l .

T h i s i s a n o l d c o n j e c t u r e : i n t h e c o n t e x t o f V a s s i l i e v i n v a r i a n t s , i t w a s s t a t e d s e v e r a l t i m e s

b y v a r i o u s m a t h e m a t i c i a n s , b e g i n n i n g f r o m 1 9 9 2 , a n d s t o o d s e v e r a l u n s u c c e s s f u l a t t e m p t s o f

p r o o f . W e g e n e r a l i z e i t a s f o l l o w s .

C o n j e c t u r e 2 . T h e a l g e b r a ? d o e s n o t h a v e z e r o d i v i s o r s .

3 C o m p u t a t i o n s

T h e e x p e r i m e n t a l d a t a r e p o r t e d i n t h e p r e v i o u s s e c t i o n w e r e o b t a i n e d b y c o m p u t e r c a l c u l a -

t i o n s . T h e C / C + + p r o g r a m s , a u x i l i a r y s h e l l - s c r i p t s a n d d a t a l e s a r e a v a i l a b l e b y a n o n y m o u s

f t p f r o m m a t h . b o t i k . r u ( s e e F t p ] ) .

T h e m a i n o b j e c t d e a l t w i t h b y o u r p r o g r a m s i s a r e g u l a r t h r e e - v a l e n t g r a p h w i t h o u t l o o p s

n o r m u l t i p l e e d g e s , g i v e n b y i t s i n c i d e n c e m a t r i x o f 0 ' s a n d 1 ' s . T h e m a t r i x r e p r e s e n t a t i o n

1 0



p r e s u p p o s e s a c e r t a i n n u m b e r i n g i n t h e s e t o f v e r t i c e s . I f a < b < c a r e t h e n u m b e r s o f v e r t i c e s

a d j a c e n t t o a g i v e n o n e , t h e n w e a s s u m e t h a t t h e r o t a t i o n i n t h i s v e r t e x i s d e n e d b y t h e

c y c l e ( a b c ) . I f t h e l i s t o f a l l g r a p h s w i t h a x e d n u m b e r o f v e r t i c e s x

1

, x

2

, . . . , x

N

i s f o u n d ,

t h e n a n y 3 - g r a p h y o f t h e s a m e o r d e r w i l l b e e q u a l , i n a l g e b r a ? , t o x

i

( t o d e t e r m i n e t h e

n u m b e r i a n d t h e s i g n o n e h a s t o n d a n i s o m o r p h i s m o f a b s t r a c t g r a p h s y a n d x

i

a n d t h e n

t o c o u n t t h e n u m b e r o f v e r t i c e s w h e r e t h i s i s o m o r p h i s m v i o l a t e s t h e c y c l i c o r d e r o f e d g e s ) .

T h e c o m p u t a t i o n o f g e n e r a t o r s a n d r e l a t i o n s i n t h e a l g e b r a ? u p t o d e g r e e 1 0 ( g r a p h s w i t h

2 0 v e r t i c e s ) w a s c a r r i e d o u t i n t w o s t e p s :

1 . P r e p a r a t i o n o f m a t e r i a l . A t t h i s s t a g e w e c o m p i l e t h e l i s t o f a l l r e g u l a r 3 - v a l e n t

g r a p h s o f a g i v e n o r d e r .

S i n c e e v e r y g r a p h w i t h m u l t i p l e e d g e s , i . e . c o n t a i n i n g a b u b b l e , a s w e l l a s e v e r y g r a p h

w i t h a t r i a n g l e , c a n b e r e p r e s e n t e d a s a p r o d u c t o f g r a p h s o f s m a l l e r d e g r e e , i t i s s u c i e n t t o

h a v e t h e l i s t o f a l l c o n n e c t e d g r a p h s w i t h o u t l o o p s n o r m u l t i p l e e d g e s .

T h e l i s t o f 3 - g r a p h s i s c r e a t e d b y t h e p r o g r a m g r 3 g w h i c h c o n s i s t s o f t w o m a i n m o d u l e s :

t h e g e n e r a t o r o f t h e ` r a w ' s t r e a m o f g r a p h s b a s e d o n a b a c k t r a c k i n g a l g o r i t h m , a n d t h e

l t e r w h i c h t h r o w s a w a y t h e g r a p h s i s o m o r p h i c t o t h o s e a l r e a d y c h o s e n . W e a r e o b l i g e d t o

I . A . N e s t e r o v w h o i n t h e s u m m e r o f 1 9 9 5 w r o t e a p r o t o t y p e v e r s i o n o f t h i s p r o g r a m a n d

o b t a i n e d t h e l i s t s o f 3 - g r a p h s u p t o 1 6 v e r t i c e s .

2 . S e t t i n g u p a n d s o l v i n g t h e e q u a t i o n s . W h e n m a k i n g t h e e q u a t i o n s f o r t h e g r a p h s

o f a g i v e n o r d e r w e a s s u m e t h a t , f o r a l l s m a l l e r o r d e r s , w e a l r e a d y k n o w t h e s e t o f g e n e r a t o r s

a n d p o l y n o m i a l e x p r e s s i o n s o f a l l g r a p h s t h r o u g h t h e g e n e r a t o r s .

T h e p r o g r a m r e l g r n d s t h e K i r c h h o f r e l a t i o n s a m o n g t h e g r a p h s o f a g i v e n o r d e r . A s

s o o n a s a g r a p h w i t h a t r i a n g l e a p p e a r s w h i l e w r i t i n g o u t t h e e q u a t i o n s , i t i s e x p r e s s e d t h r o u g h

t h e g r a p h s o f s m a l l e r o r d e r , a c c o r d i n g t o L e m m a 1 o f S e c . 2 . 1 . B e f o r e r u n n i n g t h e p r o g r a m ,

o n e h a s t h e o p t i o n o f c h o o s i n g t h e s u p p o s e d n e w g e n e r a t o r s . I f n o a s s u m p t i o n s a b o u t t h e

n e w g e n e r a t o r s a r e m a d e , t h e p r o g r a m w i l l p i c k u p a n y a p p r o p r i a t e e l e m e n t s a s s u c h .

A f t e r t h e s y s t e m o f l i n e a r e q u a t i o n s i s s e t u p , t h e p r o g r a m b e g i n s s o l v i n g i t . A t t h i s s t a g e ,

t w o o b j e c t i v e s a r e p u r s u e d : ( 1 ) n d t h e e x p r e s s i o n o f a l l g r a p h s t h r o u g h t h e g e n e r a t o r s o f

d e g r e e s s m a l l e r t h a n o r e q u a l t o t h e c u r r e n t d e g r e e , ( 2 ) n d , i f a n y , t h e r e l a t i o n s b e t w e e n t h e

g e n e r a t o r s .

I n t h e m o s t d i c u l t c a s e | f o r g r a p h s w i t h 2 0 v e r t i c e s | t h e c o m p u t a t i o n s w e r e o r g a n i z e d

a s f o l l o w s :

1 T h e l i s t o f a l l 3 - g r a p h s w a s c o m p i l e d i n J u n e 1 9 9 6 o n a n e t w o r k o f 4 0 w o r k s t a t i o n s i n

t h e U n i v e r s i t y o f A i z u , J a p a n . O n e o f t h e c o m p u t e r s ( t h e f a s t e s t w e h a d ) w a s g e n e r a t i n g t h e

r a w s t r e a m o f g r a p h s , a l l t h e o t h e r s w e r e b u s y l t e r i n g i t w i t h r e s p e c t t o i s o m o r p h i s m . T h e

c o m p u t a t i o n s t o o k a b o u t o n e w e e k , w h i c h a l l o w e d u s t o u s e t h e m a n u a l d y n a m i c p a r a l l e l i z i n g

| a m e t h o d u n u s u a l i n m u l t i p r o c e s s o r p r a c t i c e .

2 M a k i n g a n d s o l v i n g t h e s y s t e m o f e q u a t i o n s w a s p e r f o r m e d i n M a y 1 9 9 7 u s i n g t h e

m o s t p o w e r f u l c o m p u t e r w e g o t a c c e s s t o : a d u a l P e n t i u m P r o 2 0 0 w i t h 2 5 6 M b o f m e m o r y .

W e t h a n k B . S e g a l ( C E R N , G e n e v a ) f o r h i s h e l p .

1 1



T h e l i s t s o f 3 - g r a p h s w i t h 2 0 v e r t i c e s a r e a v a i l a b l e a t F t p ] ( s e e a l s o C u b ] ) . F o r e a c h

d e g r e e w e g i v e t h e l i s t s o f a d j a c e n c y m a t r i c e s a n d t h e p o l y n o m i a l s t h a t e x p r e s s t h e g r a p h s

t h r o u g h t h e g e n e r a t o r s .

A p a r t f r o m t h e s o f t w a r e f o r n d i n g t h e g e n e r a t o r s a n d r e l a t i o n s , t h e s a m e f t p - s e r v e r a l s o

c o n t a i n s t w o p r o g r a m s s l _ i n v a n d s o _ i n v w h i c h s e r v e t o n d t h e i n v a r i a n t s o f a g i v e n g r a p h

a s s o c i a t e d w i t h L i e a l g e b r a s ( s e e n e x t s e c t i o n ) . B o t h p r o g r a m s a r e b a s e d o n t h e s i m p l e s t

a l g o r i t h m o f c h e c k i n g a l l p o s s i b l e v e r t e x m a r k i n g s ( f o r s l ) o r e d g e m a r k i n g s ( f o r s o ) a n d

c a l c u l a t i n g t h e n u m b e r o f c o m p o n e n t s o f t h e c o r r e s p o n d i n g p l a n e c u r v e s .

T h e d e s c r i p t i o n o f t h e m u l t i p l i c a t i v e s t r u c t u r e o f t h e g r a p h a l g e b r a i n d e g r e e 1 1 w a s

o b t a i n e d i n d i r e c t l y . F i r s t o f a l l , w e l e a n e d u p o n a r e c e n t r e s u l t o f J a n K n e i s s l e r K n ] t h a t

d i m ?

1 1

= 9 . T h e n , u s i n g t h e s l - a n d s o - i n v a r i a n t s , w e h a v e c h e c k e d t h a t a c e r t a i n s e t o f 9

m o n o m i a l s o f d e g r e e 1 1 i n t h e g e n e r a t o r s t h a t w e f o u n d i s l i n e a r l y i n d e p e n d e n t .

4 T h e a l g e b r a o f g r a p h s a n d L i e a l g e b r a s

H a v i n g a t o n e ' s d i s p o s a l a s e t o f h o m o m o r p h i s m s i n t o t h e g r o u n d e l d i s a l w a y s h e l p f u l i n

t h e s t u d y o f a n a l g e b r a .

B e l o w , w e d e s c r i b e t h e c o n s t r u c t i o n , g o i n g b a c k t o R . P e n r o s e a n d M . K o n t s e v i c h ( s e e

a l s o B N 2 ] ) , o f a f u n c t i o n o n t h e a l g e b r a o f 3 - g r a p h s a s s o c i a t e d w i t h a m e t r i z e d L i e a l g e b r a .

M o r e e x a c t l y , s u p p o s e t h a t g i s a L i e a l g e b r a a n d B a n o n - d e g e n e r a t e a d - i n v a r i a n t s y m m e t r i c

b i l i n e a r f o r m g g ! C . T h e n w e c a n d e n e a C - v a l u e d f u n c t i o n o n t h e s e t o f 3 - g r a p h s w h i c h

s a t i s e s t h e A S a n d I H X r e l a t i o n s a n d t h e r e b y d e s c e n d s t o t o a l i n e a r f u n c t i o n K

B

g

: ? ! C

M o r e o v e r , i t t u r n s o u t t h a t f o r a s i m p l e L i e a l g e b r a g ( s a y , w i t h t h e K i l l i n g f o r m a s B ) t h i s

f u n c t i o n , d i v i d e d b y t h e d i m e n s i o n o f g , y i e l d s a n a l g e b r a h o m o m o r p h i s m ? ! C

4 . 1 C o n s t r u c t i o n o f t h e i n v a r i a n t K

B

g

F i r s t , w e d e n e t h e t e n s o r J 2 g g g . T h e L i e b r a c k e t o f t h e g i v e n L i e a l g e b r a ; ] c a n b e

r e g a r d e d a s a n e l e m e n t o f t h e s p a c e g

g

g . T h e i d e n t i c a t i o n o f g

a n d g w i t h t h e h e l p o f

t h e x e d b i l i n e a r f o r m B t a k e s t h i s t e n s o r i n t o a n e l e m e n t o f g g g w h i c h w e d e n o t e b y J

D u e t o t h e p r o p e r t i e s o f t h e c o m m u t a t o r ; ] a n d t h e f o r m B , t h e t e n s o r J i s s k e w - s y m m e t r i c

w i t h r e s p e c t t o t h e p e r m u t a t i o n s o f t h e t h r e e t e n s o r f a c t o r s i n g g g . T h i s f a c t w i l l s o o n

b e m a d e u s e o f .

R e c a l l t h a t w e c a n v i e w a 3 - g r a p h a s a s e t H o f c a r d i n a l i t y 6 n ( ` t h e s e t o f h a l f - e d g e s ' ) ,

e n d o w e d w i t h t w o p a r t i t i o n s : i n t o 3 - e l e m e n t s u b s e t s , e a c h w i t h a x e d c y c l i c o r d e r o f i t s

e l e m e n t s , a n d i n t o 2 - e l e m e n t s u b s e t s . T h e 3 - e l e m e n t s u b s e t s c o r r e s p o n d t o t h e v e r t i c e s o f t h e

g r a p h a n d f o r m t h e v e r t e x p a r t i t i o n , w h i l e t h e 2 - e l e m e n t s u b s e t s c o r r e s p o n d t o i t s e d g e s a n d

f o r m t h e e d g e p a r t i t i o n

C o n s i d e r t h r e e l i n e a r s p a c e s :

N

H

g | t h e t e n s o r p r o d u c t o f 6 n c o p i e s o f t h e L i e a l g e b r a g , w h o s e f a c t o r s c o r r e s p o n d

t o t h e h a l f - e d g e s o f t h e g r a p h ,

N

V

( g g g ) | t h e t e n s o r p r o d u c t o f 2 n c o p i e s o f t h e s p a c e g g g , w h o s e f a c t o r s

c o r r e s p o n d t o t h e v e r t i c e s o f t h e g r a p h ,

1 2



N

E

( g g ) | t h e t e n s o r p r o d u c t o f 3 n c o p i e s o f t h e s p a c e g g , w h o s e f a c t o r s c o r r e s p o n d

t o t h e e d g e s o f t h e g r a p h .

T h e v e r t e x p a r t i t i o n o f t h e s e t H d e n e s a n i s o m o r p h i s m :

N

V

( g g g ) !

N

H

g . T h e

e d g e p a r t i t i o n d e n e s a n i s o m o r p h i s m :

N

H

g !

N

E

( g g ) . A p a r t i c u l a r c h o i c e o f t h e

i s o m o r p h i s m i s x e d b y c h o o s i n g a s p e c i c o r d e r o f t h e t h r e e h a l f - e d g e s a r o u n d e a c h v e r t e x

| w e w i l l s u p p o s e t h a t i t i s a r b i t r a r y , b u t a g r e e i n g w i t h t h e r o t a t i o n i n G . I n t h e s a m e

w a y , a p a r t i c u l a r c h o i c e o f t h e i s o m o r p h i s m d e p e n d s o n t h e p r e f e r r e d o r d e r i n g o f t h e t w o

h a l f - e d g e s t h a t c o r r e s p o n d t o o n e a n d t h e s a m e e d g e o f t h e g r a p h | f o r o u r p u r p o s e t h i s

o r d e r w i l l p r o v e i r r e l e v a n t , a n d w e x i t a r b i t r a r i l y .

N o w c o n s i d e r t h e c o m p o s i t i o n o f t h e s e t w o i s o m o r p h i s m s a n d t h e m a p p i n g t o t h e g r o u n d

e l d i n d u c e d b y t h e b i l i n e a r f o r m B : g g ! C :

O

V

( g g g )

!

O

H

g

!

O

E

( g g ) ! C

T h e v a l u e K

B

g

( G ) o f t h e f u n c t i o n K

B

g

o n a g r a p h G , b y d e n i t i o n , i s e q u a l t o t h e v a l u e o f

t h e c o m p o s i t i o n m a p p i n g o n t h e e l e m e n t J J J . D e s p i t e t h e a r b i t r a r i n e s s i n h e r e n t

i n t h e c o n s t r u c t i o n o f t h e i s o m o r p h i s m s a n d , t h e n a l r e s u l t i s u n i q u e l y d e n e d d u e t o

t h e f a c t t h a t t h e t e n s o r J i s i n v a r i a n t u n d e r e v e n p e r m u t a t i o n s , w h i l e t h e b i l i n e a r f o r m B i s

s y m m e t r i c .

S p e a k i n g p i c t o r i a l l y , w e s u s p e n d a c o p y o f t h e t e n s o r c u b e o f g w i t h t h e d i s t i n g u i s h e d

e l e m e n t J a t e v e r y v e r t e x o f t h e g r a p h , t h e n t a k e t h e p r o d u c t o v e r a l l v e r t i c e s a n d c o m p u t e

t h e c o m p l e t e c o n t r a c t i o n o f t h e r e s u l t i n g t e n s o r o f r a n k 6 n , a p p l y i n g t h e b i l i n e a r f o r m B t o

e v e r y p a i r o f f a c t o r s t h a t c o r r e s p o n d t o t h e e n d p o i n t s o f o n e e d g e :

g g

g

g g

g

g

g

g

g

g

g

H

H

H

? ? ? ? !

C

N o t e t h a t f o r e v e r y 3 - g r a p h o f d e g r e e n w e b u i l d o n e a n d t h e s a m e e l e m e n t i n t h e 6 n - t h

t e n s o r p o w e r o f t h e L i e a l g e b r a | b u t t h e m a p p i n g o f t h i s s p a c e i n t o t h e g r o u n d e l d , d e n e d

b y a s p e c i c p a i r i n g o f t h e t e n s o r f a c t o r s , d e p e n d s o n t h e c h o i c e o f a p a r t i c u l a r g r a p h .

V e r i c a t i o n o f r e l a t i o n s .

T h e A S r e l a t i o n f o l l o w s t h e f a c t t h a t t h e t e n s o r J c h a n g e s s i g n u n d e r o d d p e r m u t a t i o n s

o f t h e t h r e e f a c t o r s i n g g g

T h e I H X r e l a t i o n i s a c o r o l l a r y o f t h e J a c o b i i d e n t i t y i n g

1 3



C h a n g i n g t h e b i l i n e a r f o r m . T h e b i l i n e a r f o r m B p r e s e r v e s a l l t h e r e q u i r e d p r o p e r t i e s

w h e n m u l t i p l i e d b y a c o n s t a n t . A d i r e c t t r a c i n g o f t h e a b o v e d e s c r i b e d c o n s t r u c t i o n s h o w s

t h a t t h e c o r r e s p o n d i n g f u n c t i o n K

B

g

c h a n g e s i n t h e f o l l o w i n g w a y :

K

B

g

( G ) =

? n

K

B

g

( G )

f o r G 2 ?

n

M u l t i p l i c a t i v i t y . F o r a s i m p l e r - d i m e n s i o n a l L i e a l g e b r a g a n d a n y c h o i c e o f t h e a d -

i n v a r i a n t n o n - d e g e n e r a t e s y m m e t r i c b i l i n e a r f o r m B t h e f u n c t i o n

1

r

K

B

g

: ? ! C

i s m u l t i p l i c a t i v e .

T h i s f a c t f o l l o w s f r o m t h e p r o p e r t i e s o f t h e C a s i m i r o p e r a t o r o f a s i m p l e L i e a l g e b r a .

T o p r o v e i t , w e n e e d s o m e p r e l i m i n a r y r e m a r k s . F i r s t o f a l l , n o t e t h a t t h e c o n s t r u c t i o n

o f t h e f u n c t i o n K

B

g

i s v a l i d n o t o n l y f o r 3 - g r a p h s , b u t a l s o f o r g r a p h s w h i c h , a p a r t f r o m 3 -

v a l e n t , a l s o h a v e u n i v a l e n t v e r t i c e s . I n t h i s c a s e w e c o n t r a c t o n l y t h o s e p a i r s o f f a c t o r s i n

t h e b i g t e n s o r p r o d u c t t h a t c o r r e s p o n d t o t h e e d g e s c o n n e c t i n g t h e 3 - v a l e n t v e r t i c e s | a n d

a s a r e s u l t , i n s t e a d o f a n u m b e r , w e g e t a n e l e m e n t o f t h e s p a c e

U

g , w h e r e U i s t h e s e t o f

u n i v a l e n t v e r t i c e s . T h e e l e m e n t t h u s o b t a i n e d i s a l w a y s a d - i n v a r i a n t . I n p a r t i c u l a r , i f t h e

a l g e b r a i s s i m p l e a n d i f t h e g r a p h h a s o n l y t w o u n i v a l e n t v e r t i c e s , t h e n t h e r e s u l t i n g t e n s o r

m u s t b e p r o p o r t i o n a l t o t h e q u a d r a t i c C a s i m i r e l e m e n t c 2 g g . W e r e c a l l t h a t t h e C a s i m i r

e l e m e n t f o r a g i v e n f o r m B i s t h e e l e m e n t o f g g w h i c h c o r r e s p o n d s t o B 2 g

g

a n d t o

i d 2 g

g u n d e r i s o m o r p h i s m s i n d u c e d b y t h e f o r m B . O n e u s u a l l y c o n s i d e r s t h e C a s i m i r

e l e m e n t f o r t h e K i l l i n g f o r m , b u t f o r u s t h i s i s n o t i m p o r t a n t . W h a t m a t t e r s i s t h a t t h e v a l u e

o f t h e b i l i n e a r f o r m B : g g ! C o n t h e c o r r e s p o n d i n g C a s i m i r e l e m e n t i s a l w a y s e q u a l t o

t h e t r a c e o f t h e i d e n t i t y o p e r a t o r , i . e . t o t h e d i m e n s i o n o f t h e L i e a l g e b r a .

W e p a s s t o t h e p r o o f o f t h e a s s e r t i o n . C u t a n a r b i t r a r y e d g e o f t h e g r a p h G

1

a n d c o n s i d e r

t h e t e n s o r t h a t c o r r e s p o n d s t o t h e o b t a i n e d g r a p h w i t h t w o u n i v a l e n t v e r t i c e s . T h i s t e n s o r

i s p r o p o r t i o n a l t o t h e C a s i m i r e l e m e n t c 2 g g w i t h c o e c i e n t

1

r

K

B

g

( G

1

) . S i m i l a r l y , f o r

t h e s e c o n d g r a p h G

2

w e g e t t h e t e n s o r

1

r

K

B

g

( G

2

) c . N o w , i f w e p u t t o g e t h e r o n e p a i r o f

u n i v a l e n t v e r t i c e s o f t h e g r a p h s G

1

a n d G

2

t h u s c u t , t h e n t h e p a r t i a l c o n t r a c t i o n o f t h e e l e m e n t

c c 2 g g g g w i l l g i v e a n e l e m e n t p r o p o r t i o n a l t o c 2 g g , w h i l e t h e c o e c i e n t s

i n v o l v e d g e t m u l t i p l i e d . T h i s p r o v e s t h e m u l t i p l i c a t i v i t y o f t h e f u n c t i o n

1

r

K

B

g

4 . 2 H o w t o c o m p u t e s l

N

- a n d s o

N

- p o l y n o m i a l s

F o r t h e c l a s s i c a l L i e a l g e b r a s s l a n d s o t h e i n v a r i a n t j u s t c o n s t r u c t e d a d m i t s a n e l e g a n t

c o m b i n a t o r i a l i n t e r p r e t a t i o n , w h i c h w e w i l l n o w d e s c r i b e . T h e p r o o f f o r s l

N

( o r , w h i c h i s t h e

s a m e t h i n g , f o r g l

N

) c a n b e f o u n d , e . g . , i n B N 2 ] a n d C D 2 ] . T h e p r o o f f o r s o

N

i s b a s e d o n

s i m i l a r c o n s i d e r a t i o n s . S e e a l s o P e n ] , B N 1 ] .

1 4



C o m p u t i n g K

B

g

f o r g = s l

N

s u p p l i e d w i t h t h e b i l i n e a r f o r m B ( x ; y ) = t r ( x y ) A

v e r t e x m a r k i n g o f a 3 - g r a p h G i s a n a s s i g n m e n t o f n u m b e r s 1 t o t h e v e r t i c e s o f G . I f t h e

n u m b e r o f v e r t i c e s i s 2 n , t h e n t h e t o t a l n u m b e r o f v e r t e x m a r k i n g s i s 2

2 n

. F o r e v e r y m a r k i n g

c o n s i d e r a p l a n e c u r v e o b t a i n e d f r o m t h e g r a p h i m m e r s i o n b y t h i c k e n i n g i t s e d g e s , i . e . b y

r e p l a c i n g e v e r y e d g e b y t w o p a r a l l e l l i n e s . I n t h e v i c i n i t y o f a v e r t e x t h e b e h a v i o u r o f t h e

l i n e f o l l o w s o n e o f t h e t w o p a t t e r n s , d e p e n d i n g o n t h e s i g n o f t h i s v e r t e x ( w e r e c a l l t h a t t h e

r o t a t i o n a g r e e s w i t h t h e o r i e n t a t i o n o f t h e p l a n e ) :

i

+

i

?

L e t b e t h e n u m b e r o f n e g a t i v e v e r t i c e s i n t h e m a r k i n g a n d b ( ) t h e n u m b e r o f

c o n n e c t e d c o m p o n e n t s o f t h e c u r v e o b t a i n e d . T h e n

K

s l

N

( G ) =

X

2 M V

( ? 1 )

N

b ( )

w h e r e M V i s t h e s e t o f a l l v e r t e x m a r k i n g s . T h e s u m c o n s i s t s o f 2

2 n

t e r m s .

I f t h e p a r a m e t e r N i s v a r i a b l e , t h e n K

s l

N

( G ) i s a p o l y n o m i a l i n N . W e w i l l c a l l i t s l -

p o l y n o m i a l a n d d e n o t e b y s l ( G )

T h e p o l y n o m i a l s l ( G ) i s d i v i s i b l e b y t h e d i m e n s i o n o f t h e L i e a l g e b r a N

2

? 1 a n d t h e

q u o t i e n t i s a m u l t i p l i c a t i v e f u n c t i o n o n t h e a l g e b r a o f 3 - g r a p h s , w h i c h w e c a l l t h e r e d u c e d

s l - p o l y n o m i a l a n d d e n o t e b y

e

s l ( G )

C o m p u t i n g K

B

g

f o r g = s o

N

s u p p l i e d w i t h t h e b i l i n e a r f o r m B ( x ; y ) = t r ( x y ) T o

c o m p u t e t h e v a l u e o f t h e s o - p o l y n o m i a l o n a g i v e n 3 - g r a p h , o n e h a s t o p e r f o r m t h e s i m i l a r

a c t i o n s w i t h e d g e s i n s t e a d o f v e r t i c e s . H e r e i s t h e p r e c i s e d e s c r i p t i o n .

A n e d g e m a r k i n g o f a 3 - g r a p h i s a n a s s i g n m e n t o f n u m b e r s 1 t o t h e e d g e s o f t h e g r a p h .

F o r e v e r y e d g e m a r k i n g c o n s i d e r t h e p l a n e c u r v e w h i c h i s o b t a i n e d f r o m t h e g r a p h i m m e r s i o n

b y t h i c k e n i n g t h e e d g e s , w i t h t h e e d g e s m a r k e d b y ? 1 t w i s t e d i n t h e w a y s h o w n b e l o w :

i

+

i

?

I n t h e n e i g h b o u r h o o d o f t h e v e r t i c e s w e t a k e t h e d i r e c t c o n n e c t i o n o f t h e l i n e s , l i k e i n t h e

p o s i t i v e v e r t i c e s f o r s l

N

. D e n o t i n g b y t h e n u m b e r o f n e g a t i v e e d g e s i n t h e e d g e m a r k i n g

a n d b y b ( ) t h e n u m b e r o f c o n n e c t e d c o m p o n e n t s o f t h e c u r v e o b t a i n e d , w e c a n w r i t e t h e

f o r m u l a :

K

s o

N

( G ) =

X

2 M E

( ? 1 )

N

b ( )

w h e r e M E i s t h e s e t o f a l l e d g e m a r k i n g s . T h e s u m c o n s i s t s o f 2

3 n

s u m m a n d s .

D i v i d i n g t h e s o - p o l y n o m i a l b y t h e d i m e n s i o n o f t h e a l g e b r a N ( N ? 1 ) = 2 , w e o b t a i n t h e

r e d u c e d s o - p o l y n o m i a l e s o ( G ) , w h i c h i s a n a l g e b r a h o m o m o r p h i s m ? ! Z N

1 5



4 . 3 V a l u e s o n g e n e r a t o r s o f s m a l l d e g r e e

I n t h e f o l l o w i n g t a b l e w e q u o t e t h e v a l u e s o f s l - a n d s o - p o l y n o m i a l s o n t h e g e n e r a t o r s o f ?

d e s c r i b e d i n S e c . 2 . T h i s d a t a w a s f o u n d b y c o m p u t e r ( s e e S e c . 3 ) . F o r t h e a l g e b r a s o t h e

p o l y n o m i a l s a r e e x p r e s s e d t h r o u g h t h e v a r i a b l e M = N ? 2

d e g r e e e l e m e n t

e

s l - p o l y n o m i a l

e s o - p o l y n o m i a l

1 b 2 N 2 M

4 w

4

2 N

4

+ 2 4 N

2

2 M

4

? 6 M

3

+ 6 0 M

2

? 4 8 M

6 w

6

2 N

6

+ 6 4 N

4

+ 9 6 N

2

2 M

6

? 1 0 M

5

+ 1 6 0 M

4

? 3 6 8 M

3

+ 8 1 6 M

2

? 5 7 6 M

7 w

7

2 N

7

+ 1 2 8 N

5

+ 1 2 8 N

3

2 M

7

? 1 2 M

6

+ 3 0 8 M

5

? 8 1 6 M

4

+ 1 3 2 8 M

3

? 7 6 8 M

8 w

8

2 N

8

+ 2 5 6 N

6

+ 2 5 6 N

4

+ 3 8 4 N

2

2 M

8

? 1 4 M

7

+ 5 8 8 M

6

? 1 6 8 8 M

5

+ 3 2 1 6 M

4

? 4 2 5 6 M

3

+ 9 1 5 2 M

2

? 6 9 1 2 M

9 w

9

2 N

9

+ 5 1 2 N

7

+ 5 1 2 N

5

+ 5 1 2 N

3

2 M

9

? 1 6 M

8

+ 1 1 2 8 M

7

? 3 3 7 6 M

6

+ 7 1 0 4 M

5

? 1 1 2 0 0 M

4

+ 1 2 6 7 2 M

3

+ 1 2 2 8 8 M

2

? 1 8 4 3 2 M

1 0 w

1 0

2 N

1 0

+ 1 0 2 4 N

8

+ 1 0 2 4 N

6

2 M

1 0

? 1 8 M

9

+ 2 1 8 4 M

8

? 6 6 5 6 M

7

+ 1 0 2 4 N

4

+ 1 5 3 6 N

2

+ 1 4 8 8 0 M

6

? 2 6 4 3 2 M

5

+ 3 6 0 9 6 M

4

? 3 5 8 4 0 M

3

+ 1 1 1 3 6 0 M

2

? 9 5 2 3 2 M

1 0 d 2 N

1 0

+ 2 2 N

8

+ 2 2 8 N

6

? 2 3 2 N

4

2 M

1 0

? 1 8 M

9

+ 8 8 M

8

? 1 8 8 M

7

+ 1 2 5 4 M

6

+ 1 0 3 8 M

5

? 4 9 4 8 M

4

? 2 1 8 3 2 M

3

+ 6 0 1 4 4 M

2

? 3 5 5 2 0 M

1 1 w

1 1

2 N

1 1

+ 2 0 4 8 N

9

+ 2 0 4 8 N

7

2 M

1 1

? 2 0 M

1 0

+ 4 2 6 8 M

9

+ 2 0 4 8 N

5

+ 2 0 4 8 N

3

? 1 3 0 7 2 M

8

+ 3 0 2 4 0 M

7

? 5 8 2 4 0 M

6

+ 9 1 0 0 8 M

5

? 1 1 0 0 8 0 M

4

+ 9 7 5 3 6 M

3

+ 2 9 0 8 1 6 M

2

? 3 3 1 7 7 6 M

5 G r a p h a l g e b r a a n d t h e f o u r c o l o u r t h e o r e m

T h e f o u r c o l o u r t h e o r e m a s s e r t s t h a t e v e r y p l a n a r m a p c a n b e p a i n t e d w i t h f o u r c o l o u r s s o

t h a t r e g i o n s t h a t h a v e a c o m m o n p i e c e o f b o u n d a r y a r e c o l o u r e d d i e r e n t l y . F o r e x a m p l e :

1 6



O f c o u r s e , i t i s s u p p o s e d t h a t a c o u n t r y c a n n o t b e a d j a c e n t t o i t s e l f , a s i n t h e f o l l o w i n g

p i c t u r e :

w h e r e t h e l i g h t c o u n t r y i s i t s o w n n e i g h b o u r .

T h e g o a l o f t h i s s e c t i o n i s t o s h o w t h a t t h e a l g e b r a o f 3 - g r a p h s h a s a c l o s e r e l a t i o n t o t h e

f o u r c o l o u r a n d h e l p s t o u n d e r s t a n d i t s a l g e b r a i c m e a n i n g .

5 . 1 P r e l i m i n a r y r e s u l t s

L e m m a 1 ( A . C a y l e y C a ] , A . K e m p e K e ] , 1 8 7 9 ) . I t i s e n o u g h t o p r o v e t h e f o u r c o l o u r

t h e o r e m f o r m a p s w i t h t h e p r o p e r t y : t h e r e i s n o p o i n t w h e r e m o r e t h a n t h r e e v e r t i c e s m e e t .

P r o o f . S u p p o s e t h a t w e k n o w h o w t o c o l o u r a n y m a p s a t i s f y i n g t h e a s s u m p t i o n s o f t h e

l e m m a . L e t u s b e g i v e n a m a p w h e r e a t s o m e p o i n t m o r e t h a t t h r e e c o u n t r i e s m e e t . A d d i n g

s m a l l a u x i l i a r y c o u n t r i e s a r o u n d e v e r y s u c h p o i n t

p r o d u c e s a m a p w h i c h s a t i s e s t h e a s s u m p t i o n s o f t h e l e m m a . A c o l o u r i n g o f t h i s m a p

e v i d e n t l y i n d u c e s a r e q u i r e d c o l o u r i n g o f t h e i n i t i a l m a p . T h e l e m m a i s p r o v e d .

L e t G b e t h e b o u n d a r y g r a p h o f t h e m a p , i . e . t h e g r a p h w h o s e e d g e s a r e t h e b o u n d a r i e s

o f t h e c o u n t r i e s , w h i l e t h e v e r t i c e s a r e t h e p o i n t s w h e r e t h e b o u n d a r i e s m e e t . A c c o r d i n g t o

t h e p r e v i o u s l e m m a , G c a n b e a s s u m e d t o b e a r e g u l a r t h r e e - v a l e n t g r a p h . T h e r e f o r e , t h e

C a y l e y { K e m p e l e m m a e l u c i d a t e s t h e r e a s o n w h y t h e 3 - g r a p h s a r i s e i n c o n n e c t i o n w i t h t h e

f o u r c o l o u r t h e o r e m .

D e n i t i o n . A n e d g e 3 - c o l o u r i n g o f a t h r e e - v a l e n t g r a p h i s a c o l o u r i n g o f t h e s e t o f i t s

e d g e s w i t h t h r e e c o l o u r s , s u c h t h a t t h e t h r e e e d g e s m e e t i n g a t a n y v e r t e x h a v e d i e r e n t

c o l o u r s .

L e m m a 2 ( P . T a i t T a ] , 1 8 8 0 ) T h e c o l o u r i n g s o f a p l a n e m a p w i t h f o u r c o l o u r s a n d a

x e d c o l o u r o f o n e c o u n t r y a r e i n o n e - t o - o n e c o r r e s p o n d e n c e w i t h t h e e d g e 3 - c o l o u r i n g s o f t h e

b o u n d a r y g r a p h .

1 7



P r o o f . S u p p o s e w e h a v e a f o u r c o l o u r e d m a p . I d e n t i f y i n g t h e f o u r c o l o u r s w i t h t h e f o u r

e l e m e n t s 0 , a , b , c o f t h e K l e i n g r o u p Z

2

Z

2

, w e a r e a b l e t o c o n s t r u c t a n e d g e 3 - c o l o u r i n g

o f t h e b o u n d a r y g r a p h G u s i n g t h e t h r e e c o l o u r s a , b a n d c a c c o r d i n g t o t h e r u l e : i f t w o

c o u n t r i e s h a v e c o l o u r s a n d , t h e n t h e e d g e b e t w e e n t h e m i s c o l o u r e d w i t h +

+

a

b

c

0 a

c

b

a

c

b

T h e i n v e r s e p r o b l e m | c o n s t r u c t a m a p c o l o u r i n g f r o m a g i v e n e d g e 3 - c o l o u r i n g o f t h e

b o u n d a r y g r a p h | i s s o l v e d b y t r a v e l l i n g w i t h a m a g i c b r u s h . W e t a k e a b r u s h o f t h e x e d

c o l o u r a n d s t a r t a t t h e c h o s e n c o u n t r y . T h e a l g o r i t h m i s : p a i n t t h e c u r r e n t c o u n t r y w i t h t h e

c u r r e n t c o l o u r o f t h e b r u s h , t h e n c r o s s a n a r b i t r a r y b o r d e r a n d a d d t h e c o l o u r o f t h e b o r d e r t o

t h e c u r r e n t c o l o u r o f t h e b r u s h . D u r i n g t h e t r a v e l , t h e b o r d e r s m a y b e c h o s e n a r b i t r a r i l y |

w i t h t h e o n l y u l t i m a t e p u r p o s e o f v i s i t i n g a l l c o u n t r i e s .

T h e f a c t t h a t t h i s c o n s t r u c t i o n i s c o r r e c t a n d g i v e s a m a p p i n g i n v e r s e t o t h e o n e p r e v i o u s l y

d e n e d i s e n s u r e d b y t h e p r o p e r t i e s o f g r o u p a d d i t i o n i n Z

2

Z

2

. T h i s p r o v e s t h e l e m m a .

A n i m p o r t a n t m o m e n t i n t h e h i s t o r y o f t h e f o u r c o l o u r t h e o r e m w a s i n t h e y e a r 1 8 9 8 , w h e n

P . H e a w o o d H e ] i n t r o d u c e d t h e s i g n o f a v e r t e x f o r a n e d g e 3 - c o l o u r i n g o f a p l a n e g r a p h .

D e n i t i o n . A v e r t e x o f a p l a n e t h r e e - v a l e n t g r a p h i s a s s i g n e d t h e s i g n ` p l u s ' , i f g o i n g

a r o u n d t h i s v e r t e x c o u n t e r c l o c k w i s e t h e t h r e e c o l o u r s a r e e n c o u n t e r e d i n o n e x e d o r d e r , s a y

a , b , c . I f t h e c o l o u r s a p p e a r i n t h e o p p o s i t e o r d e r | a , c , b , t h e n t h e v e r t e x i s a s s i g n e d a

̀ m i n u s '

a

b

c

i

+

a

c

b

i

?

T h e f o l l o w i n g t h e o r e m w a s d i s c o v e r e d i n t h e 1 9 5 0 ' s b y R . P e n r o s e w h o s t a t e d i t i n P e n ]

w i t h t h e r e m a r k t h a t h i s p r o o f o f t h i s s i m p l e f a c t w a s t o o c o m p l i c a t e d t o b e p u b l i s h e d . B e l o w ,

w e g i v e a n e l e g a n t p r o o f d u e t o L . K a u m a n K a 1 ] ( s e e a l s o K a 2 , K a S ] ) .

2

T h e o r e m . T h e p r o d u c t o f t h e s i g n s o f a l l v e r t i c e s d o e s n o t d e p e n d n e i t h e r o n t h e p a r -

t i c u l a r e d g e 3 - c o l o u r i n g , n o r o n t h e c h o i c e o f t h e g r a p h w i t h 2 n v e r t i c e s a n d e q u a l s ( ? 1 )

n

P r o o f . L e t V b e t h e s e t o f v e r t i c e s o f t h e g r a p h G , # ( V ) = 2 n , a n d l e t "

v

s t a n d f o r

t h e s i g n o f t h e v e r t e x v . T h e n

Y

v 2 V

"

v

=

Y

( v

1

v

2

) 2 c

"

v

1

"

v

2

, w h e r e t h e l a s t p r o d u c t i s t a k e n o v e r a l l

2

W e h a v e p r o p o s e d t h i s t h e o r e m a s a p r o b l e m a t t h e R u s s i a n m a t h e m a t i c a l o l y m p i a d f o r h i g h s c h o o l

s t u d e n t s i n 1 9 9 5 K v ] . T h e s t u d e n t s f o u n d a t l e a s t t w o s o l u t i o n s , d i e r e n t f r o m K a u m a n ' s p r o o f ( a n d f r o m

e a c h o t h e r ) .

1 8



c - e d g e s ( v

1

; v

2

) , t h a t i s a l l t h e e d g e s d y e d w i t h c o l o u r c . T h e t o t a l n u m b e r o f c - e d g e s i s e q u a l

t o # ( c ) = # ( V ) = 2 = n . T h e y f a l l i n t o t w o c l a s s e s : c

=

a n d c

| a c c o r d i n g t o w h e t h e r t h e

s i g n s a t b o t h e n d p o i n t s a r e e q u a l o r d i e r e n t .

c

=

:

a

b

c

i

+

a

b

i

?

a

b

a

b

a

b

c

:

a

b

c

i

+

b

a

i

+

a

b

b

a

b

a

T h e r e f o r e , t h e p r o d u c t o f t h e s i g n s o f a l l v e r t i c e s i s

( ? 1 )

# ( c

=

)

= ( ? 1 )

2 n

( ? 1 )

# ( c

)

= ( ? 1 )

n

( ? 1 )

# ( c

)

I t r e m a i n s t o s h o w t h a t t h e n u m b e r # ( c

) i s e v e n . T h i s c a n b e d o n e b y t h e f o l l o w i n g

t r i c k d u e t o K a u m a n . R e s o l v i n g a l l t h e c - e d g e s a s s h o w n i n t h e p i c t u r e a b o v e , w e o b t a i n a

s e t o f c i r c l e s c o l o u r e d w i t h c o l o u r s a a n d b . C i r c l e s o f t h e s a m e c o l o u r d o n o t i n t e r s e c t . T h e

n u m b e r o f e d g e s o f t y p e c

i s e q u a l t o t h e n u m b e r o f i n t e r s e c t i o n s b e t w e e n t h e a - c i r c l e s a n d

b - c i r c l e s . B y J o r d a n ' s t h e o r e m e v e r y c i r c l e d i v i d e s t h e p l a n e i n t o t w o c o n n e c t e d c o m p o n e n t s ,

h e n c e t h i s n u m b e r i s e v e n . H e r e i s a n e x a m p l e :

a b

c

c

a b

a b

a b

b a

a b

T h e t h e o r e m i s p r o v e d .

5 . 2 T h e n u m b e r o f c o l o u r i n g s o f a 3 - g r a p h

T h e f o u r c o l o u r t h e o r e m c a n b e s t a t e d a s a p r o p e r t y o f t h e f o l l o w i n g f u n c t i o n d e n e d o n t h e

s e t o f p l a n e g r a p h s :

( G ) =

X

e d g e

3 - c o l o u r i n g s G

Y

v 2 V

"

v

I n d e e d , a c c o r d i n g t o t h e p r e v i o u s t h e o r e m , a l l t h e t e r m s o f t h i s s u m a r e t h e s a m e a n d e q u a l

t o ( ? 1 )

n

. T h e r e f o r e , u p t o a s i g n , ( G ) i s e q u a l t o t h e n u m b e r o f e d g e 3 - c o l o u r i n g s o f G . T h e

f o u r c o l o u r t h e o r e m i s t h u s e q u i v a l e n t t o t h e f a c t t h a t ( G ) 6= 0 f o r a n y p l a n e g r a p h G

N o t e t h a t t h e H e a w o o d s i g n o f t h e v e r t e x "

v

i s w e l l - d e n e d n o t o n l y f o r p l a n e g r a p h s , b u t

a l s o f o r a l l 3 - g r a p h s , i . e . g r a p h s w i t h r o t a t i o n . I n t h i s c a s e t h e s i g n "

v

i s + 1 , i f a n d o n l y i f

t h e c y c l i c o r d e r o f c o l o u r s a t t h e v e r t e x v a g r e e s w i t h t h e r o t a t i o n . W e c a n , t h e r e f o r e , e x t e n d

t h e d o m a i n o f t h e f u n c t i o n ( G ) t o t h e s e t o f 3 - g r a p h s .

1 9



P r o p o s i t i o n 1 . T h e f u n c t i o n s a t i s e s t h e r e l a t i o n s

( A S ) :

0

@

1

A

= ?

0

@

1

A

;

( I H X ) :

!

=

!

+

!

a n d h e n c e d e s c e n d s t o t h e a l g e b r a ?

R e m a r k . I t i s n a t u r a l t o s e t t h e v a l u e o f o n t h e c i r c l e ( t h e u n i t o f t h e a l g e b r a o f

3 - g r a p h s ) e q u a l t o 3 .

P r o o f o f p r o p o s i t i o n 1 . T h e v a l i d i t y o f t h e A S r e l a t i o n i s o b v i o u s . I n f a c t , t h e c h a n g e

o f r o t a t i o n i n o n e v e r t e x o f a 3 - g r a p h G l e a d s t o t h e c h a n g e o f s i g n o f o n e v e r t e x i n e v e r y

e d g e 3 - c o l o u r i n g a n d h e n c e t o t h e c h a n g e o f s i g n i n e v e r y t e r m i n t h e s u m t h a t d e n e s ( G )

L e t u s p r o v e t h e I H X r e l a t i o n . W i t h o u t l o s s o f g e n e r a l i t y w e c a n a s s u m e t h a t t h e m i d d l e

e d g e i n t h e l e f t h a n d s i d e o f t h e r e l a t i o n h a s c o l o u r c . T h e n t h e c o n g u r a t i o n f o r m e d b y t h e

r e m a i n i n g f o u r e d g e s b e l o n g s e i t h e r t o t h e c l a s s c

=

o r t o t h e c l a s s c

( s e e s u b s e c t i o n 5 . 1 ) . I n

t h e r s t c a s e t h e c o l o u r i n g o f t h e g r a p h o n t h e l e f t i n d u c e s a c o l o u r i n g o f t h e r s t s u m m a n d

o n t h e r i g h t , i n t h e s e c o n d c a s e , a c o l o u r i n g o f t h e s e c o n d s u m m a n d . E v e r y t e r m o f t h e s u m

t h a t d e n e s ( G ) i s t h u s r e p r e s e n t e d i n e i t h e r o f t h e t w o s u m m a n d s o n t h e r i g h t . T h e r e a r e

a d d i t i o n a l t e r m s i n t h e r i g h t h a n d s i d e | t h o s e t h a t d o n o t c o r r e s p o n d t o a n y t h i n g o n t h e

l e f t | b u t t h e y a p p e a r i n m u t u a l l y c a n c e l l i n g p a i r s :

a

b

a

c

b

i

+

i

+

a

b

a

c

b

i

?

i

+

T h i s p r o v e s o u r a s s e r t i o n .

C o r o l l a r y . T h e n u m b e r o f c o l o u r i n g s ( G ) o f a 3 - g r a p h G w h i c h r e p r e s e n t s a z e r o i n

t h e a l g e b r a ? , i s e q u a l t o 0 .

3

R e m a r k s . 1 . H e r e ' s a n e x a m p l e o f a g r a p h G w h i c h i s d i e r e n t f r o m 0 i n ? b u t h a v i n g

( G ) = 0 :

H

H

H

H

H

H

H

H

H

H

H

H

H

H

3

T h i s i m p l i e s t h e f o l l o w i n g a p r i o r i n o n - e v i d e n t f a c t : a p l a n e g r a p h c a n n o t b e e q u a l t o z e r o i n ? . I t w o u l d

b e i n t e r e s t i n g t o n d a p r o o f o f t h i s f a c t w i t h o u t r e s o r t t o t h e f o u r c o l o u r t h e o r e m .

2 0



2 T h e f u n c t i o n : ? ! Z s a t i s e s a r e l a t i o n w h i c h i s s t r o n g e r t h a n I H X , a l t h o u g h n o t

h o m o g e n e o u s i n t h e s e n s e o f t h e g r a d u a t i o n i n ? :

( L ) :

!

=

!

?

!

I t c a n b e p r o v e d s i m i l a r l y t o t h e I H X r e l a t i o n .

T h i s r e l a t i o n w a s k n o w n t o L a g r a n g e ( a n d p r o b a b l y t o E u l e r ) a s t h e i d e n t i t y a ( b

c ) = b ( a ; c ) ? c ( a ; b ) f o r t h e v e c t o r p r o d u c t o f v e c t o r s i n r e a l 3 - s p a c e

4

. I t w a s r e d i s c o v e r e d

b y R . P e n r o s e P e n ] i n t h e c o n t e x t o f g r a p h t h e o r y a n d L i e a l g e b r a s . T h e n i t w a s a g a i n

r e d i s c o v e r e d i n C V ] i n t h e c o n t e x t o f V a s s i l i e v i n v a r i a n t s a n d i n G a r ] i n c o n n e c t i o n w i t h t h e

i n v a r i a n t s o f 3 - m a n i f o l d s .

I n g e n e r a l , t h e r e l a t i o n ( L ) t a k e s y o u o u t s i d e o f t h e c l a s s o f c o n n e c t e d g r a p h s . W e s e t

t h e v a l u e o f ( G ) o n a d i s c o n n e c t e d g r a p h G t o b e e q u a l t o t h e p r o d u c t o f i t s v a l u e s o n t h e

c o n n e c t e d c o m p o n e n t s .

W i t h t h e s e r e l a t i o n s a t h a n d , o n e i s t e m p t e d t o t r y a n a p p r o a c h t o t h e f o u r c o l o u r t h e o r e m

b a s e d o n i n d u c t i o n o n t h e n u m b e r o f v e r t i c e s . S u p p o s e t h a t t h e t h e o r e m i s t r u e f o r a l l p l a n e

g r a p h s w i t h l e s s t h a n 2 n v e r t i c e s a n d l e t G b e a p l a n e g r a p h w i t h 2 n v e r t i c e s . U s i n g r e l a t i o n s

( L ) , ( A S ) a n d ( I H X ) , w e c a n r e p r e s e n t ( G ) a s a l i n e a r c o m b i n a t i o n o f s e v e r a l t e r m s o f t h e

f o r m ( G

i

) , w h e r e G

i

' s a r e p l a n e g r a p h s w i t h f e w e r t h a n 2 n v e r t i c e s . I f w e m a n a g e t o n d

s u c h a d e c o m p o s i t i o n w h e r e

e i t h e r a l l g r a p h s h a v e t h e s a m e n u m b e r o f v e r t i c e s m o d u l o 4 a n d a l l t h e c o e c i e n t s h a v e

t h e s a m e s i g n ( p o s i t i v e o r n e g a t i v e ) ,

o r t h e s i g n s o f s o m e c o e c i e n t s d i e r f r o m t h e o t h e r s , b u t t h e n c o r r e s p o n d i n g g r a p h s

h a v e a d i e r e n t n u m b e r o f v e r t i c e s m o d u l o 4

| t h e n w e c a n i n f e r b y i n d u c t i o n t h a t ( G ) 6= 0 . A n d , i n d e e d , t h e r e q u i r e d d e c o m p o s i t i o n s

c a n b e f o u n d , i f t h e g r a p h G c o n t a i n s a b i a n g l e , a t r i a n g l e o r a q u a d r a n g l e P e n ] :

!

= ? 2

!

!

= ?

!

!

=

!

+

!

A n e a s y a r g u m e n t i n v o l v i n g E u l e r c h a r a c t e r i s t i c s h o w s t h a t a n y p l a n e g r a p h c o n t a i n s a

c y c l e w i t h t h e n u m b e r o f s i d e s l e s s t h a n o r e q u a l t o 5 . H e n c e , t o p r o v e t h e f o u r c o l o u r

4

T o u n d e r s t a n d t h e c o n n e c t i o n b e t w e e n t h e t w o f o r m u l a t i o n , o n e h a s t o v i e w b o t h s i d e s o f L a g r a n g e ' s

i d e n t i t y w i t h v a r i a b l e a b c a s e l e m e n t s o f t h e f o u r t h t e n s o r p o w e r o f t h e L i e a l g e b r a s o

3

2 1



t h e o r e m , i t r e m a i n s t o n d a r e l a t i o n f o r g r a p h s w i t h a p e n t a g o n . T h e b e s t f o r m u l a t h a t w e

c o u l d o b t a i n ( a n d l a t e r f o u n d i n P e n ] ) r e a d s :

!

=

!

+

!

+

!

+

!

a n d d o e s n o t l e a d t o t h e p r o o f o f t h e f o u r c o l o u r t h e o r e m , b e c a u s e t h e g r a p h s i n t h e r i g h t

s i d e h a v e n u m b e r s o f v e r t i c e s , d i e r e n t m o d u l o 4 , a n d h e n c e t h e c o r r e s p o n d i n g v a l u e s o f

h a v e d i e r e n t s i g n s .

5 . 3 3 - c o l o u r i n g s a n d t h e L i e a l g e b r a s o

3

T h r e e - s p a c e R

3

e n d o w e d w i t h t h e o p e r a t i o n o f v e c t o r p r o d u c t c a n b e v i e w e d a s t h e L i e

a l g e b r a s o

3

( R )

5

F o r t h e a d - i n v a r i a n t n o n - d e g e n e r a t e f o r m B ( x ; y ) = ?

1

2

t r ( x y ) t h e f u n c t i o n

K

B

s o

3

, c o n s t r u c t e d i n S e c t i o n 4 , c o i n c i d e s w i t h t h e n u m b e r o f c o l o u r i n g s . I n d e e d , t h e f o l -

l o w i n g t h r e e m a t r i c e s c o n s t i t u t e a b a s i s o f s o

3

, o r t h o n o r m a l w i t h r e s p e c t t o t h e b i l i n e a r f o r m

B :

a =

0

@

0 0 0

0 0 ? 1

0 1 0

1

A

; b =

0

@

0 0 1

0 0 0

? 1 0 0

1

A

; c =

0

@

0 ? 1 0

1 0 0

0 0 0

1

A

T h e c o m m u t a t i o n r e l a t i o n s a ; b = c , b ; c = a , c ; a = b i m p l y t h a t t h e t e n s o r J , a s s i g n e d t o

e a c h v e r t e x o f t h e g r a p h , c a n b e w r i t t e n a s

J = a b c + b c a + c a b ? b a c ? c b a ? a c b

T h e c o n t r a c t i o n o f t h e 3 n - t h p o w e r o f t h i s t e n s o r i n a c c o r d a n c e w i t h t h e r u l e o f S e c . 4 . 1

i s e q u i v a l e n t t o c o u n t i n g t h e e d g e 3 - c o l o u r i n g s o f a g r a p h ( s i g n s a t b o t h e n d p o i n t s o f a n e d g e

m u s t c o i n c i d e ; e v e r y v e r t e x g i v e s a f a c t o r o f + 1 o r ? 1 d e p e n d i n g o n t h e c y c l i c o r d e r o f t h e

t h r e e ` c o l o u r s ' a , b , c ) . T h e r e f o r e , t h e c o l o u r i n g c o u n t i n g f u n c t i o n i s a p a r t i c u l a r c a s e o f

t h e g e n e r a l c o n s t r u c t i o n o f a f u n c t i o n o n t h e g r a p h a l g e b r a a s s o c i a t e d w i t h b y a m e t r i z e d L i e

a l g e b r a . T h e g e n e r a l m u l t i p l i c a t i v i t y p r o p e r t y p r o v e d i n S e c . 4 . 1 n o w i m p l i e s t h e f o l l o w i n g

a s s e r t i o n .

P r o p o s i t i o n . T h e f u n c t i o n ( ) = 3 i s m u l t i p l i c a t i v e , i . e . r e p r e s e n t s a n a l g e b r a h o m o -

m o r p h i s m ? ! R

I n t h e t e r m i n o l o g y i n t r o d u c e d i n t h i s s e c t i o n w e c a n s t a t e t h e f o u r c o l o u r t h e o r e m l i k e

t h i s : t h e v a l u e o f t h e s o

3

- i n v a r i a n t o n a n y p l a n e 3 - g r a p h i s d i e r e n t f r o m 0

6 G r a p h a l g e b r a a n d V a s s i l i e v i n v a r i a n t s

W e w i l l e x p l a i n t h e c o n n e c t i o n o f t h e g r a p h a l g e b r a w i t h n i t e o r d e r k n o t i n v a r i a n t s , d i r e c t l y

s t a r t i n g f r o m V a s s i l i e v ' s l t r a t i o n i n t h e l i n e a r s p a c e g e n e r a t e d b y t h e i s o t o p y c l a s s e s o f k n o t s .

A m o r e t r a d i t i o n a l i n t r o d u c t i o n t o t h e t h e o r y o f V a s s i l i e v i n v a r i a n t s c a n b e f o u n d , e . g . i n

B N 1 , C D 1 , C D L ] . T h e r e a d e r m a y w i s h t o c o n s u l t t h e s e r e f e r e n c e s f o r t h e d e t a i l s a n d p r o o f s

w h i c h a r e h e r e o m i t t e d .

5

I n s t e a d o f s o

3

o n e c a n u s e t h e C - i s o m o r p h i c L i e a l g e b r a s l

2

2 2



6 . 1 S i n g u l a r k n o t s a n d V a s s i l i e v ' s l t r a t i o n

D e n i t i o n . A s i n g u l a r k n o t i s a s m o o t h e m b e d d i n g K : S

1

! R

3

, w h i c h i s a n i m m e r s i o n

e v e r y w h e r e b u t i n a n i t e n u m b e r o f s i m p l e d o u b l e p o i n t s ( i . e . p o i n t s o f t r a n s v e r s a l s e l f -

i n t e r s e c t i o n o f t w o b r a n c h e s o f t h e c u r v e ) . W e d e n o t e b y K

n

t h e s e t o f a l l s i n g u l a r k n o t s w i t h

n d o u b l e p o i n t s .

H e r e i s a n e x a m p l e o f a k n o t w i t h t w o d o u b l e p o i n t s :

E v e r y d o u b l e p o i n t o f a s i n g u l a r k n o t c a n b e r e s o l v e d i n t w o w a y s :

p o s i t i v e l y

?

?

?

@

@

@ I

s

? !

?

?

?

@

@

@

@ I

a n d

n e g a t i v e l y

?

?

?

@

@

@ I

s

? !

@

@

@ I

?

?

?

?

N o t e t h a t b o t h o p e r a t i o n s a r e c o r r e c t l y d e n e d o n i s o t o p i c c l a s s e s o f k n o t s a n d d o n o t

d e p e n d o n t h e o r i e n t a t i o n c h o s e n o n t h e k n o t .

T h e c o m p l e t e r e s o l u t i o n o f a s i n g u l a r k n o t K 2 K

n

i s t h e l i n e a r c o m b i n a t i o n o f 2

n

n o n -

s i n g u l a r k n o t s

( K ) =

X

"

1

; : : : ; "

n

= 1

( ? 1 )

"

K

"

1

; : : : ; "

n

;

w h e r e " s t a n d s f o r t h e n u m b e r o f m i n u s o n e s i n t h e s e q u e n c e " = ( "

1

; : : : ; "

n

) , a n d t h e s m o o t h

k n o t K

"

1

; : : : ; "

n

i s o b t a i n e d f r o m K b y t h e r e s o l u t i o n o f e v e r y d o u b l e p o i n t p

i

| p o s i t i v e l y o r

n e g a t i v e l y d e p e n d i n g o n t h e s i g n "

i

E x a m p l e .

= ? ? +

L e t X b e t h e l i n e a r s p a c e , s a y o v e r C , f r e e l y g e n e r a t e d b y t h e i s o t o p y c l a s s e s o f ( n o n -

s i n g u l a r ) k n o t s i n R

3

I n X , w e c o n s i d e r t h e d e c r e a s i n g l t r a t i o n

X = X

0

X

1

X

2

X

3

: : : ;

w h e r e X

n

i s t h e s u b s p a c e g e n e r a t e d b y c o m p l e t e r e s o l u t i o n s o f s i n g u l a r k n o t s w i t h n d o u b l e

p o i n t s , i . e . t h e l i n e a r s p a n o f t h e s e t ( K

n

)

T h e q u o t i e n t s p a c e X

n

= X

n + 1

a l l o w s a c o m b i n a t o r i a l d e s c r i p t i o n i n t e r m s o f F e y n m a n d i a -

g r a m s

2 3



D e n i t i o n . A F e y n m a n d i a g r a m o f d e g r e e n i s a r e g u l a r t h r e e - v a l e n t g r a p h o n 2 n v e r -

t i c e s w i t h a d i s t i n g u i s h e d o r i e n t e d c y c l e , c a l l e d W i l s o n l o o p , a n d a x e d r o t a t i o n ( c y c l i c o r d e r

o f e d g e s ) i n a l l t h e v e r t i c e s t h a t d o n o t b e l o n g t o t h e W i l s o n l o o p .

D e n i t i o n . T h e s p a c e o f F e y n m a n d i a g r a m s F

n

i s t h e l i n e a r s p a c e , g e n e r a t e d b y a l l

F e y n m a n d i a g r a m s o f d e g r e e n m o d u l o S T U r e l a t i o n s :

S

=

T

?

U

E x a m p l e . U p t o a s i g n , t h e r e e x i s t 4 d i e r e n t n o n - z e r o F e y n m a n d i a g r a m s o f d e g r e e 2 :

;

w h e r e a s t h e S T U r e l a t i o n s e n s u r e t h a t d i m F

2

= 2

R e m a r k . S T U r e l a t i o n s i m p l y A S a n d I H X r e l a t i o n s f o r t h e i n n e r v e r t i c e s o f a F e y n m a n

d i a g r a m ( ` i n n e r ' m e a n s ` n o t b e l o n g i n g t o t h e W i l s o n l o o p ' ) B N 1 ] .

F e y n m a n d i a g r a m s a r e r e l a t e d t o s i n g u l a r k n o t s b y m e a n s o f t h e f o l l o w i n g c o n s t r u c t i o n .

D e n i t i o n . T h e F e y n m a n d i a g r a m ' ( K ) o f a s i n g u l a r k n o t K : S

1

! R

3

i s t h e c i r c l e S

1

e n d o w e d w i t h t h e c o l l e c t i o n o f n c h o r d s t h a t c o n n e c t t h e p a i r s o f p o i n t s h a v i n g e q u a l i m a g e s

u n d e r t h e m a p p i n g K

E x a m p l e . F o r t h e s i n g u l a r k n o t t h a t a p p e a r e d a s a n e x a m p l e a b o v e , w e h a v e :

'

=

I n t h e d i r e c t s u m o f l i n e a r s p a c e s

F =

1

n = 0

F

n

t h e r e i s a c o r r e c t l y d e n e d m u l t i p l i c a t i o n : e a c h o f t h e t w o W i l s o n l o o p s i s c u t a t s o m e i n n e r

p o i n t , t h e n t h e y a r e p u t t o g e t h e r t o f o r m t h e W i l s o n l o o p o f t h e p r o d u c t . L e t

e

F b e t h e

q u o t i e n t a l g e b r a o v e r t h e i d e a l , g e n e r a t e d b y t h e F e y n m a n d i a g r a m

i

T h e o r e m . T h e a s s i g n m e n t ( K ) ! ' ( K ) 2

e

F

n

e x t e n d s t o a c o r r e c t l y d e n e d l i n e a r

m a p p i n g X

n

!

e

F

n

, w h o s e k e r n e l c o i n c i d e s w i t h X

n + 1

. T h i s y i e l d s a l i n e a r s p a c e i s o m o r p h i s m

X

n

= X

n + 1

=

F

n

T h i s f a c t i s o n e o f t h e p o s s i b l e r e f o r m u l a t i o n s o f t h e f a m o u s K o n t s e v i c h ' s t h e o r e m ( s e e

B N 1 , C D 3 ] f o r a p r o o f ) .

2 4



6 . 2 C o n n e c t e d F e y n m a n d i a g r a m s a n d 3 - g r a p h s

I n t h e F e y n m a n a l g e b r a F t h e r e i s a n a t u r a l l y d e n e d c o m u l t i p l i c a t i o n ( b o t h t h e m u l t i p l i c a -

t i o n a n d t h e c o m u l t i p l i c a t i o n a g r e e w i t h t h e c o r r e s p o n d i n g o p e r a t i o n s i n t h e s p a c e o f k n o t s

K , s e e B N 1 , C D 1 , C D L ] ) . I n f a c t , F i s a c o m m u t a t i v e a n d c o c o m m u t a t i v e H o p f a l g e b r a .

I t i s w e l l - k n o w n t h a t a c o m m u t a t i v e a n d c o c o m m u t a t i v e H o p f a l g e b r a c o i n c i d e s w i t h t h e

s y m m e t r i c a l g e b r a o v e r i t s s p a c e o f p r i m i t i v e e l e m e n t s , o r , i n o t h e r w o r d s , i t c a n b e v i e w e d a s

t h e a l g e b r a o f p o l y n o m i a l s i n t h e p r i m i t i v e e l e m e n t s . F o r a g r a d e d a l g e b r a t h e p r i m i t i v e s p a c e

i s a l s o g r a d e d : P =

1

n = 1

P

n

, w h e r e P

n

= P \ F

n

. I n t h e c a s e o f t h e a l g e b r a F t h e s u b s p a c e

P

1

i s o n e - d i m e n s i o n a l a n d g e n e r a t e d b y t h e e l e m e n t

i

. T h e q u o t i e n t a l g e b r a

e

F = F = (

i

) i s

a l s o a H o p f a l g e b r a , w h o s e p r i m i t i v e s p a c e i s n a t u r a l l y i d e n t i e d w i t h t h e d i r e c t s u m

1

n = 2

P

n

B y c o n s t r u c t i o n , t h e s p a c e o f p r i m i t i v e e l e m e n t s P , c o n s i d e r e d b y i t s e l f , d o e s n o t p o s s e s s

a n y s t r u c t u r e o f a n a l g e b r a . P r i m i t i v e e l e m e n t s o n l y g e n e r a t e t h e a l g e b r a F i n t h e s a m e

w a y a s t h e v a r i a b l e s x

1

; : : : ; x

n

g e n e r a t e t h e p o l y n o m i a l a l g e b r a R x

1

; : : : ; x

n

] . H o w e v e r , t h e

l i n k b e t w e e n t h e s p a c e P a n d t h e a l g e b r a o f 3 - g r a p h s ? a l l o w s t o i n t r o d u c e i n P a n a t u r a l

( n o n - c o m m u t a t i v e ) m u l t i p l i c a t i o n . W e s h a l l n o w d e s c r i b e h o w t h i s i s d o n e .

I t i s k n o w n B N 1 ] t h a t t h e p r i m i t i v e s p a c e o f t h e F e y n m a n a l g e b r a c o i n c i d e s w i t h t h e

s u b s p a c e s p a n n e d b y t h e c o n n e c t e d F e y n m a n d i a g r a m s

A F e y n m a n d i a g r a m i s s a i d t o b e c o n n e c t e d , i f t h e g r a p h o b t a i n e d b y t h e r e m o v a l o f t h e

W i l s o n l o o p i s c o n n e c t e d . H e r e a r e e x a m p l e s o f a c o n n e c t e d a n d a d i s c o n n e c t e d F e y n m a n

d i a g r a m s :

T h e r e l a t i o n b e t w e e n t h e l i n e a r s p a c e s ? a n d P i s e x p r e s s e d b y t w o f a c t s :

1 T h e r e i s a l i n e a r i n c l u s i o n i : ?

n

! P

n + 1

, d e n e d o n t h e g e n e r a t o r s a s f o l l o w s : w e c u t

a n a r b i t r a r y e d g e o f t h e g r a p h a n d a t t a c h a W i l s o n l o o p t o t h e t w o r e s u l t i n g e n d p o i n t s . T h e

o r i e n t a t i o n o f t h e W i l s o n l o o p c a n b e c h o s e n a r b i t r a r i l y .

2 T h e r e i s a p r o j e c t i o n : P

n

! ?

n

, w h i c h c o n s i s t s i n i n t r o d u c i n g t h e r o t a t i o n i n

t h e v e r t i c e s o f t h e W i l s o n l o o p a c c o r d i n g t o t h e r u l e ` f o r w a r d { s i d e w a y s { b a c k w a r d s ' a n d t h e n

f o r g e t t i n g t h e f a c t t h a t t h e W i l s o n l o o p w a s d i s t i n g u i s h e d .

T h e c o m p o s i t i o n h o m o m o r p h i s m ? ! ? i n t h e s e q u e n c e

?

i

? ! P

? ! ?

c o i n c i d e s w i t h t h e m u l t i p l i c a t i o n b y t h e b u b b l e g ! b g

T h e m u l t i p l i c a t i v e s t r u c t u r e o f t h e g r a p h a l g e b r a i m p l i e s t h a t t h e r e i s a n a c t i o n ? P ! P

w h i c h g i v e s r i s e t o a n o p e r a t i o n P P ! P

W e r s t d e n e t h e a c t i o n

0

: ? P ! P . F o r t w o g i v e n e l e m e n t s g 2 ? a n d p 2 P w e

c o n s t r u c t i t s p r o d u c t g

0

p u s i n g t h e s a m e i d e a o f t h e c o n n e c t e d s u m . M o r e s p e c i c a l l y , w e

c u t a n a r b i t r a r y e d g e o f t h e g r a p h g . T h e n w e c u t a n e d g e i n p n o t l y i n g o n t h e W i l s o n l o o p

a n d a t t a c h t h e n e w e n d p o i n t s o f P t o t h o s e o f g , l i k e w e d i d f o r t h e a l g e b r a ? i t s e l f . T h e

g r a p h t h a t r e s u l t s i s g

0

p ; i t h a s o n e W i l s o n l o o p a n d i s c o n n e c t e d , h e n c e i t b e l o n g s t o P

N o w d e n e t h e m u l t i p l i c a t i o n o f c o n n e c t e d F e y n m a n d i a g r a m s p ; q 2 P b y t h e r u l e

p q = ( p )

0

q ;

2 5



w h e r e : P ! ? i s t h e h o m o m o r p h i s m o f f o r g e t t i n g t h e W i l s o n l o o p d e n e d a b o v e .

E x a m p l e . T h e o p e r a t i o n i s , i n g e n e r a l , n o n - c o m m u t a t i v e :

= ;

=

T h e s e t w o e l e m e n t s o f t h e s p a c e P a r e d i e r e n t ; t h e y c a n b e d i s t i n g u i s h e d , e . g . , b y t h e

s l

2

- i n v a r i a n t d e n e d a n d s t u d i e d i n C V ] .

T h e c o r r e c t n e s s o f t h e d e n i t i o n s g i v e n c a n b e v e r i e d b y t h e a r g u m e n t s s i m i l a r t o t h o s e

u s e d i n S e c . 1 f o r t h e a l g e b r a ? .

C o n j e c t u r e . T h e a l g e b r a o f p r i m i t i v e e l e m e n t s P h a s n o d i v i s o r s o f z e r o .

7 T h e a l g e b r a o f 3 - g r a p h s a n d h o m o l o g y 3 - s p h e r e s

T h e g o a l o f t h i s s e c t i o n i s t o s h o w t h a t t h e a l g e b r a o f 3 - g r a p h s i s c l o s e l y r e l a t e d t o t h e

n i t e o r d e r i n v a r i a n t s o f i n t e g r a l h o m o l o g y 3 - s p h e r e s , r e c e n t l y i n t r o d u c e d b y T . O h t s u k i

O h 1 ] . M o r e p r e c i s e l y , i n t h e i n n i t e - d i m e n s i o n a l l i n e a r s p a c e M f r e e l y g e n e r a t e d b y h o m o l o g y

s p h e r e s , t h e r e i s a l t r a t i o n

M M

0

M

1

M

2

M

3

: : : :

I t t u r n s o u t t h a t M

3 n

= M

3 n + 1

= M

3 n + 2

, w h i l e t h e q u o t i e n t M

3 n

= M

3 ( n + 1 )

i s i s o m o r p h i c t o

t h e s p a c e s p a n n e d b y a l l ( p o s s i b l y d i s c o n n e c t e d ) 3 - g r a p h s w i t h 2 n v e r t i c e s , v i e w e d m o d u l o A S

a n d I H X r e l a t i o n s . I n t h i s s p a c e t h e r e i s a n a t u r a l m u l t i p l i c a t i o n , d e n e d b y d i s j o i n t u n i o n o f

g r a p h s , a n d c o m u l t i p l i c a t i o n , t o g e t h e r m a k i n g u p t h e s t r u c t u r e o f a H o p f a l g e b r a . T h e s p a c e

o f c o n n e c t e d 3 - g r a p h s , i . e . o u r a l g e b r a ? , s e r v e s a s t h e p r i m i t i v e s p a c e o f t h i s H o p f a l g e b r a .

W e d o n o t k n o w o f a n y t o p o l o g i c a l a p p l i c a t i o n s o f t h e 3 - g r a p h a l g e b r a ? i n t h e c o n t e x t o f

t h r e e - m a n i f o l d s , a n d i n t h i s s e c t i o n ? w i l l m a n i f e s t i t s e l f o n l y a s a l i n e a r s p a c e .

7 . 1 D e h n s u r g e r y

S u p p o s e t h a t M i s a c l o s e d o r i e n t e d 3 - d i m e n s i o n a l m a n i f o l d a n d L = L

1

L

n

a l i n k i n M

L e t N ( L

j

) b e a r e g u l a r t u b u l a r n e i g h b o u r h o o d o f t h e c o m p o n e n t L

j

. C h o o s e a s e c t i o n f

j

o f

t h e u n i t n o r m a l b u n d l e @ N ( L

j

)

=

S

1

L

j

! L

j

. I t s h o m o t o p y c l a s s i s u n i q u e l y d e t e r m i n e d

b y a n i n t e g e r | t h e l i n k i n g n u m b e r b e t w e e n f

j

a n d L

j

. S i n c e w e a r e o n l y i n t e r e s t e d i n t h e

h o m o t o p y c l a s s e s o f t h e s e c t i o n s , w e w i l l u s e t h e s a m e l e t t e r f

j

t o d e n o t e b o t h t h e s e c t i o n

a n d i t s l i n k i n g n u m b e r w i t h L

j

. A p a i r L = ( L ; f ) , w h e r e f = ( f

1

; : : : ; f

n

) , i s r e f e r r e d t o a s a

f r a m e d l i n k i n M

2 6



D e n i t i o n . D e h n s u r g e r y i s a m e a n s o f c o n s t r u c t i n g a n e w m a n i f o l d M

L

s t a r t i n g f r o m

M a f r a m e d l i n k L i n M ( s e e M F , P S , R o ] ) . T h e c o n s t r u c t i o n o f M

L

p r o c e e d s a s f o l l o w s .

T a k e a s o l i d t o r u s T = S

1

D

2

w i t h a d i s t i n g u i s h e d m e r i d i a n = f g @ D

2

. C u t t h e

n e i g h b o u r h o o d s N ( L

j

) o f a l l c o m p o n e n t s o f t h e l i n k L o u t o f M a n d p a s t e i n s t e a d a c o p y o f

t h e s o l i d t o r u s T o v e r a d i e o m o r p h i s m o f b o u n d a r i e s h

j

: @ T ! @ N ( L

j

) , w h i c h t a k e s a x e d

m e r i d i a n @ T i n t o t h e s e c t i o n f

j

:

M

L

= ( M n N ( L

j

) )

h

j

T

j

;

w h e r e T

j

i s t h e j - t h c o p y o f T

T h e d i e o m o r p h i s m c l a s s o f t h e m a n i f o l d M

L

i s d e n e d b y M a n d L a n d d e p e n d s n e i t h e r

o n t h e c h o i c e o f t h e s e c t i o n s f

j

w i t h i n t h e h o m o t o p y c l a s s e s s p e c i e d n o r o n t h e c h o i c e o f t h e

p a r t i c u l a r d i e o m o r p h i s m s h

j

P . L i c k o r i s h L i ] ( s e e a l s o W a , P S , M F ] ) h a s p r o v e d t h a t a n y c l o s e d o r i e n t e d 3 - d i m e n s i o n a l

m a n i f o l d c a n b e o b t a i n e d f r o m S

3

b y a D e h n s u r g e r y a l o n g a s u i t a b l e f r a m e d l i n k i n S

3

F r a m e d l i n k s i n S

3

t h a t l e a d t o o n e a n d t h e s a m e m a n i f o l d w e r e d e s c r i b e d b y R . K i r b y K i r ] .

7 . 2 I n t e g r a l h o m o l o g y 3 - s p h e r e s

D e n i t i o n . A n i n t e g r a l h o m o l o g y 3 - s p h e r e ( h o m o l o g y 3 - s p h e r e f o r s h o r t ) i s a c l o s e d o r i -

e n t e d t h r e e - m a n i f o l d M , w h o s e i n t e g r a l h o m o l o g y c o i n c i d e s w i t h t h a t o f t h e s p h e r e : H

0

( M ) =

Z , H

1

( M ) = H

2

( M ) = 0 , H

3

( M ) = Z

T h e c l a s s o f h o m o l o g y 3 - s p h e r e s i s c l o s e d w i t h r e s p e c t t o t h e o p e r a t i o n o f D e h n s u r g e r y

a l o n g a l g e b r a i c a l l y s p l i t 1 - f r a m e d l i n k s .

D e n i t i o n . A f r a m e d l i n k L = ( L ; f ) i n s i d e a h o m o l o g y 3 - s p h e r e M i s c a l l e d a l g e -

b r a i c a l l y s p l i t 1 - f r a m e d , i f a l l t h e f r a m i n g s f

j

a r e 1 a n d a l l t h e p a i r w i s e l i n k i n g i n d i c e s o f

t h e c o m p o n e n t s o f L a r e z e r o .

R e m a r k . S i n c e w e w o r k w i t h h o m o l o g y 3 - s p h e r e s , t h e n o t i o n o f t h e l i n k i n g i n d e x i s

c o r r e c t l y d e n e d .

T h e f o l l o w i n g t w o l e m m a s a r e i m p o r t a n t .

L e m m a 1 O h 1 ] . L e t M b e a h o m o l o g y 3 - s p h e r e . A f r a m e d l i n k L i n M i s a n a l g e -

b r a i c a l l y s p l i t 1 - f r a m e d l i n k , i f a n d o n l y i f f o r a n y s u b l i n k L

0

L t h e r e s u l t o f t h e D e h n

s u r g e r y M

L

i s a h o m o l o g y 3 - s p h e r e .

L e m m a 2 O h 1 ] . A n y h o m o l o g y 3 - s p h e r e M c a n b e o b t a i n e d f r o m S

3

b y t h e D e h n s u r g e r y

a l o n g a n a l g e b r a i c a l l y s p l i t 1 - f r a m e d l i n k L i n S

3

: M = S

3

L

2 7



7 . 3 F i n i t e o r d e r i n v a r i a n t s

L e t M b e t h e l i n e a r s p a c e ( f o r s i m p l i c i t y , o v e r C ) s p a n n e d b y t h e d i e o m o r p h i s m c l a s s e s o f

h o m o l o g y 3 - s p h e r e s . W i t h a g i v e n h o m o l o g y 3 - s p h e r e M a n d a n a l g e b r a i c a l l y s p l i t 1 - f r a m e d

l i n k L i n M w e a s s o c i a t e a l i n e a r c o m b i n a t i o n o f h o m o l o g y 3 - s p h e r e s

( M ; L ) : =

X

L L

( ? 1 )

# L

M

L

2 M ;

w h e r e t h e s u m m a t i o n r a n g e s o v e r a l l s u b l i n k s L

0

o f t h e l i n k L , i n c l u d i n g t h e e m p t y o n e ; # L

0

d e n o t e s t h e n u m b e r o f c o m p o n e n t s o f t h e s u b l i n k L

0

N o t a t i o n . B y M

m

w e d e n o t e t h e s u b s p a c e o f M , g e n e r a t e d b y a l l l i n e a r c o m b i n a t i o n s

( M ; L ) , w h e r e L i s a n a r b i t r a r y l i n k w i t h m c o m p o n e n t s :

M

m

: = f ( M ; L ) # L = m g

T h e s u b s p a c e s M

m

f o r m a d e c r e a s i n g l t r a t i o n

M M

0

M

1

M

2

M

3

D e n i t i o n . W e s a y t h a t a f u n c t i o n v : M ! C i s a n i n v a r i a n t o f o r d e r m , i f v

M

m + 1

0

a n d v

M

m

6 0

T h e l i n e a r s p a c e s , g e n e r a t e d b y i n v a r i a n t s o f d i e r e n t o r d e r s , f o r m a n i n c r e a s i n g l t r a t i o n

i n t h e s p a c e o f a l l i n v a r i a n t s . T h e f a m o u s C a s s o n i n v a r i a n t p r o v i d e s a n e x a m p l e o f a n i t e

o r d e r i n v a r i a n t | i t s o r d e r i s 3 ( s e e O h 1 ] ) . I n O h 2 ] O h t s u k i d e n e d a s e r i e s o f i n v a r i a n t s

n

, g e n e r a l i z i n g t h e C a s s o n i n v a r i a n t , e q u a l t o

1

= 6 . A . K r i c k e r a n d B . S p e n c e K r S ] s h o w e d

t h a t

n

h a s o r d e r 3 n . T h u s , f o r e v e r y m d i v i s i b l e b y 3 t h e r e i s a n o n - t r i v i a l i n v a r i a n t o f o r d e r

m . O n t h e o t h e r h a n d , i t i s p r o v e d i n G O ] t h a t M

3 n

= M

3 n + 1

= M

3 n + 2

. T h e r e f o r e , t h e

o r d e r o f a n y n o n - z e r o i n v a r i a n t o f h o m o l o g y 3 - s p h e r e s i s a m u l t i p l e o f 3 .

D e n i t i o n . T h e L e m a p p i n g L e ] f r o m t h e s e t o f 3 - g r a p h s i n t o t h e l i n e a r s p a c e M i s

d e n e d a s f o l l o w s . L e t G b e a r e g u l a r 3 - v a l e n t ( p o s s i b l y d i s c o n n e c t e d ) g r a p h w i t h 2 n v e r t i c e s ,

e n d o w e d w i t h a r o t a t i o n . W e c a n e m b e d G i n t o 3 - s p a c e a n d c h o o s e a g e n e r i c p r o j e c t i o n o f

t h e s p a c e o n t o a p l a n e , s u c h t h a t t h e r o t a t i o n o f t h e g r a p h a g r e e s w i t h t h e o r i e n t a t i o n o f t h e

p l a n e . C o n s i d e r a v e r t e x m a r k i n g ( "

1

; : : : ; "

2 n

) w h e r e e a c h "

i

i s e i t h e r ` + ' o r ` ? ' . S t a r t i n g

w i t h t h e m a r k e d g r a p h G

"

1

; : : : ; "

2 n

, w e c o n s t r u c t a f r a m e d l i n k L

"

1

; : : : ; "

2 n

( G ) S

3

, c o n s i s t i n g

o f 3 n c o m p o n e n t s t h a t c o r r e s p o n d t o t h e g r a p h e d g e s . E a c h c o m p o n e n t i s u n k n o t t e d a n d

r e p r e s e n t s a t h i n o v a l s t r e t c h i n g a l o n g t h e c o r r e s p o n d i n g e d g e . I n t h e v i c i n i t y o f a v e r t e x ,

t h e t h r e e o v a l s t h a t m e e t b e h a v e a s a B o r r o m e a n l i n k , i f t h e m a r k i s p o s i t i v e , a n d a s a t r i v i a l

l i n k , i f t h e m a r k i s n e g a t i v e :

i

+

i

?

2 8



W e t a k e t h e f r a m i n g s o f a l l c o m p o n e n t s o f t h e l i n k t h u s c o n s t r u c t e d t o b e e q u a l t o 1 . T h e

f r a m e d l i n k t h a t r e s u l t s i s d e n o t e d b y L

"

1

; : : : ; "

2 n

( G ) . H e r e i s a n e x a m p l e :

G

"

1

; : : : ; "

2 n

= i

?

i

+

i

+

i

+

i

+

i

+

i

+

i

?

L

"

1

; : : : ; "

2 n

( G ) =

I t i s e a s y t o s e e t h a t L

"

1

; : : : ; "

2 n

( G ) i s a n a l g e b r a i c a l l y s p l i t 1 - f r a m e d l i n k . W e a r e n a l l y i n

a p o s i t i o n t o w r i t e t h e f o r m u l a t h a t d e n e s t h e L e m a p p i n g a s a n a l t e r n a t i n g s u m o f 2

2 n

h o m o l o g y s p h e r e s o b t a i n e d b y D e h n s u r g e r y a l o n g t h e c o n s t r u c t e d l i n k s :

L e ( G ) =

X

"

1

; : : : ; "

2 n

"

1

"

2 n

S

3

L

"

1

; : : : ; "

2 n

( G )

I n g e n e r a l , t h e L e m a p p i n g i s n o t c o r r e c t l y d e n e d | t h e e l e m e n t L e ( G ) g i v e n b y t h e

p r e v i o u s f o r m u l a m a y d e p e n d b o t h o n t h e i m m e r s i o n o f G i n t o s p a c e a n d o n i t s p r o j e c t i o n

o n t o t h e p l a n e . H o w e v e r , t h e f o l l o w i n g t h e o r e m h o l d s .

T h e o r e m L e , G O ] .

1 ) F o r a n y c h o i c e o f t h e e m b e d d i n g a n d t h e p r o j e c t i o n t h e i m a g e L e ( G ) o f a g r a p h G w i t h

2 n v e r t i c e s b e l o n g s t o M

3 n

L e t : M

3 n

! M

3 n

= M

3 ( n + 1 )

b e t h e n a t u r a l p r o j e c t i o n o f l i n e a r s p a c e s . T h e n

2 ) T h e m a p p i n g L e i s d e n e d c o r r e c t l y , i . e . t h e i m a g e L e ( G ) d o e s n o t d e p e n d o n

t h e s p e c i c e m b e d d i n g o f t h e g r a p h G i n t o 3 - s p a c e n o r o n i t s p r o j e c t i o n o n t o t h e p l a n e .

3 ) T h e m a p p i n g L e s a t i s e s A S a n d I H X r e l a t i o n s .

4 ) T h e m a p p i n g L e d e s c e n d s t o a n i s o m o r p h i s m o f t h e l i n e a r s p a c e g e n e r a t e d b y ( d i s -

c o n n e c t e d ) 3 - g r a p h s m o d u l o A S a n d I H X r e l a t i o n s , o n t o t h e q u o t i e n t s p a c e M

3 n

= M

3 ( n + 1 )

T h e i n v e n t i o n o f t h e L e m a p p i n g w e n t t h r o u g h s e v e r a l s t e p s . F i r s t O h t s u k i O h 1 ] s t u d i e d

t h e m a p p i n g

G ! ( S

3

; L

+ ; : : : ; +

( G ) )

a n d p r o v e d i t s s u r j e c t i v i t y . A l t h o u g h t h i s m a p p i n g d o e s n o t a g r e e w i t h A S a n d I H X r e l a t i o n s ,

i t p r o v i d e s a m e a n s t o p r o v e t h a t t h e q u o t i e n t s M

m

= M

m + 1

a r e n i t e - d i m e n s i o n a l . T h e n

G a r o u f a l i d i s a n d O h t s u k i G O ] i n t r o d u c e d t h e m a p p i n g

G !

X

"

1

; : : : ; "

2 n

"

1

"

2 n

( S

3

; L

"

1

; : : : ; "

2 n

( G ) ) ;

2 9



w h e r e ( S

3

; L

"

1

; : : : ; "

2 n

( G ) ) i s t h e a b o v e d e n e d c o m b i n a t i o n o f 2

3 n

h o m o l o g y s p h e r e s ( t h u s t h e

w h o l e s u m c o n s i s t s o f 2

5 n

t e r m s ) , a n d p r o v e d t h a t i t s a t i s e s b o t h A S a n d I H X r e l a t i o n s .

F i n a l l y , L e L e , L e m m a 5 . 1 ] n o t i c e d t h a t t h e f o r m u l a o f G a r o u f a l i d i s a n d O h t s u k i c a n b e

s i m p l i e d a n d r e w r i t t e n i n t h e f o r m d i s p l a y e d i n t h e f r a m e a b o v e .

T h e m o s t d i c u l t p a r t o f L e ' s t h e o r e m | t h e i n j e c t i v i t y o f t h e m a p p i n g L e | w a s

p r o v e d i n L e ] ( s e e a l s o B G R T ] ) .

R e f e r e n c e s

A H ] K . I . A p p e l , W . H a k e n , E v e r y p l a n a r m a p i s f o u r c o l o r a b l e , C o n t e m p . M a t h . 9 8 ,

A m e r . M a t h . S o c . , P r o v i d e n c e , 1 9 8 9 .

B G R T ] D . B a r - N a t a n , S . G a r o u f a l i d i s , L . R o z a n s k y , D . P . T h u r s t o n , T h e

A r h u s i n v a r i a n t o f

r a t i o n a l h o m o l o g y 3 - s p h e r e s I : A h i g h l y n o n t r i v i a l a t c o n n e c t i o n o n S

3

. P r e p r i n t

q - a l g / 9 7 0 6 0 0 4 , J u n e 1 9 9 7 .

B N 1 ] D . B a r - N a t a n , O n t h e V a s s i l i e v k n o t i n v a r i a n t s , T o p o l o g y , 3 4 ( 1 9 9 5 ) 4 2 3 { 4 7 2 .

B N 2 ] D . B a r - N a t a n , L i e a l g e b r a s a n d t h e f o u r c o l o r t h e o r e m ,

A r h u s U n i v e r s i t y p r e p r i n t ,

A u g u s t 1 9 9 5 , a n d q - a l g / 9 6 0 6 0 1 6 p r e p r i n t , J u n e 1 9 9 6 . T o a p p e a r i n C o m b i n a t o r i c a .

C a ] A . C a y l e y , O n t h e c o l o u r i n g o f m a p s , P r o c . R o y a l G e o g r a p h i c a l S o c . ( N e w S e r i e s ) ,

1 ( 1 8 7 9 ) 2 5 9 { 2 6 1 .

C D 1 ] S . C h m u t o v , S . D u z h i n . A n u p p e r b o u n d f o r t h e n u m b e r o f V a s s i l i e v k n o t i n v a r i a n t s

| J o u r n a l o f K n o t T h e o r y a n d i t s R a m i c a t i o n s . 3 ( 1 9 9 4 ) , 1 4 1 { 1 5 1 .

C D 2 ] S . C h m u t o v , S . D u z h i n . A l o w e r b o u n d f o r t h e n u m b e r o f V a s s i l i e v k n o t i n v a r i a n t s

P r e p r i n t , 2 1 p a g e s ( f t p : / / f t p . b o t i k . r u / p u b / l o c a l / z m r / l b . p s . g z ) . A c c e p t e d f o r

p u b l i c a t i o n i n ` T o p o l o g y a n d A p p l i c a t i o n s ' ( S e p t e m b e r 1 9 9 7 ) .

C D 3 ] S . C h m u t o v , S . D u z h i n . T h e K o n t s e v i c h i n t e g r a l . P r e p r i n t o f M a x P l a n c k I n s t i -

t u t f u r M a t h e m a t i k , B o n n , A u g u s t 1 9 9 7 , 2 7 p p . , A v a i l a b l e a s P o s t S c r i p t l e a t

f t p : / / f t p . b o t i k . r u / p u b / l o c a l / z m r / k i . p s . g z

C D L ] S . C h m u t o v , S . D u z h i n , S . L a n d o . V a s s i l i e v k n o t i n v a r i a n t s I . I n t r o d u c t i o n . | A d v .

i n S o v i e t M a t h . , 2 1 . S i n g u l a r i t i e s a n d C u r v e s , V . I . A r n o l d e d . ( 1 9 9 4 ) 1 1 7 { 1 2 6 .

C V ] S . C h m u t o v , A . V a r c h e n k o , R e m a r k s o n t h e V a s s i l i e v k n o t i n v a r i a n t s c o m i n g f r o m

s l

2

, T o p o l o g y 3 6 ( 1 9 9 7 ) 1 5 3 { 1 7 8 .

C u b ] G . R o y l e . W W W - p a g e h t t p : / / w w w . c s . u w a . e d u . a u / ~ g o r d o n / c u b i c s / c o n t a i n i n g

t a b l e s o f 3 - g r a p h s , O c t o b e r 1 9 9 6 .

D a s ] O . D a s b a c h , P r i v a t e c o m m u n i c a t i o n , J u l y 1 9 9 7 .

F t p ] A . I . K a i s h e v , P r o g r a m s a n d d a t a a v a i l a b l e b y a n o n y m o u s f t p f r o m t h e s e r v e r

f t p : / / m a t h . b o t i k . r u / , d i r e c t o r y p u b / a 3 g

G a r ] S . G a r o u f a l i d i s , R e i n v e n t i n g t h e w h e e l , H a r v a r d U n i v e r s i t y p r e p r i n t , F e b r u a r y 1 9 9 7 .

3 0



G O ] S . G a r o u f a l i d i s , T . O h t s u k i , O n n i t e t y p e i n v a r i a n t s o f 3 - m a n i f o l d s I I I : M a n i f o l d

w e i g h t s y s t e m s , p r e p r i n t ( M a r c h , 1 9 9 7 ) , t o a p p e a r i n T o p o l o g y .

H e ] P . J . H e a w o o d , M a p - c o l o u r t h e o r e m , Q u a r t e r l y J . o f P u r e a n d A p p l i e d M a t h . , 2 4

( 1 8 9 0 ) 3 3 2 { 3 3 8 .

K a 1 ] L . H . K a u m a n , M a p c o l o r i n g a n d t h e v e c t o r c r o s s - p r o d u c t , J . C o m b . T h e o r y . B , 4 8

( 1 9 9 0 ) 1 4 5 { 1 5 4 .

K a 2 ] L . H . K a u m a n , M a p c o l o r i n g , q - d e f o r m e d s p i n n e t w o r k s a n d T u r a e v { V i r o i n v a r i a n t s

f o r 3 - m a n i f o l d s , I n t . J . o f M o d . P h y s . B , 6 ( 1 9 9 2 ) 1 7 6 5 { 1 7 9 4 .

K a S ] L . H . K a u m a n , H . S a l e u r , A n a l g e b r a i c a p p r o a c h t o t h e p l a n a r c o l o r i n g p r o b l e m ,

C o m m . M a t h . P h y s . , 1 5 2 ( 1 9 9 3 ) 5 6 5 { 5 9 0 .

K a i ] P . C . K a i n e n , I s t h e f o u r c o l o r t h e o r e m t r u e ? , G e o m b i n a t o r i c s , 3 ( 1 9 9 3 ) N o . 2 , 4 1 { 5 6 .

K e ] A . B . K e m p e , O n t h e g e o g r a p h i c a l p r o b l e m o f t h e f o u r c o l o u r s , A m e r . J . o f M a t h . , 2

( 1 8 7 9 ) 1 9 3 { 2 0 0 .

K i r ] R . C . K i r b y , T h e c a l c u l u s o f f r a m e d l i n k s i n S

3

, I n v e n t . M a t h . , 4 5 ( 1 9 7 8 ) 3 5 { 5 6 .

K n ] J . K n e i s s l e r , T h e n u m b e r o f p r i m i t i v e V a s s i l i e v i n v a r i a n t s u p t o d e g r e e t w e l v e .

P r e p r i n t q - a l g 9 7 0 6 0 2 2 , a l s o a v a i l a b l e a t h t t p : / / r h e i n . i a m . u n i - b o n n . d e / ~ j k / ,

J u n e 1 9 9 6 .

K o n ] M . K o n t s e v i c h , F e y n m a n d i a g r a m s a n d l o w - d i m e n s i o n a l t o p o l o g y , F i r s t E u r o p e a n

C o n g r e s s o f M a t h e m a t i c s I I 9 7 { 1 2 1 , B i r k h a u s e r , B a s e l 1 9 9 4 .

K r S ] A . K r i c k e r , B . S p e n c e , O h t s u k i ' s i n v a r i a n t s a r e o f n i t e t y p e , p r e p r i n t o f Q u e e n M a r y

a n d W e s t e l d C o l l e g e , L o n d o n a n d p r e p r i n t q - a l g / 9 6 0 8 0 0 7 , J u l y 1 9 9 6 .

K v ] X X I R u s s i a n m a t h e m a t i c a l o l y m p i a d f o r h i g h - s c h o o l s t u d e n t s . K v a n t , 1 9 9 5 , N o . 5 ,

4 6 { 4 9 ( s e e a l s o K v a n t p r o b l e m b o o k , P r o b l e m M 1 5 0 9 ) . I n R u s s i a n .

L e ] T . T . Q . L e , A n i n v a r i a n t o f i n t e g r a l h o m o l o g y 3 - s p h e r e s w h i c h i s u n i v e r s a l f o r

a l l n i t e t y p e i n v a r i a n t s , i n S o l i t o n s , G e o m e t r y , a n d T o p o l o g y : O n t h e C r o s s r o a d ,

( V . B u c h s t a b e r a n d S . N o v i k o v , e d s . ) , A M S T r a n s l a t i o n S e r i e s 2 , 1 7 9 , A m e r i c a n

M a t h e m a t i c a l S o c i e t y , P r o v i d e n c e ( 1 9 9 7 ) 7 5 { 1 0 0 .

L i ] W . B . R . L i c k o r i s h , A r e p r e s e n t a t i o n o f o r i e n t a b l e c o m b i n a t o r i a l 3 - m a n i f o l d s , A n n .

M a t h . 7 6 ( 1 9 6 2 ) 5 3 1 { 5 3 8 .

M F ] S . V . M a t v e e v , A . T . F o m e n k o , A l g o r i t h m i c a n d c o m p u t e r m e t h o d s i n t h r e e -

d i m e n s i o n a l t o p o l o g y . M o s c o w U n i v e r s i t y P u b l i s h e r s , 1 9 9 1 . I n R u s s i a n .

O h 1 ] T . O h t s u k i , F i n i t e t y p e i n v a r i a n t s o f i n t e g r a l h o m o l o g y 3 - s p h e r e s , J . o f K n o t T h e o r y

a n d i t s R a m i c a t i o n s , 5 ( 1 9 9 6 ) 1 0 1 { 1 1 5 .

O h 2 ] T . O h t s u k i , A p o l y n o m i a l i n v a r i a n t o f i n t e g r a l h o m o l o g y 3 - s p h e r e s , M a t h . P r o c .

C a m b . P h i l . S o c . , 1 1 7 ( 1 9 9 5 ) 8 3 { 1 1 2 .

3 1



P S ] V . V . P r a s o l o v , A . B . S o s s i n s k y , K n o t s , L i n k s , B r a i d s a n d 3 - M a n i f o l d s . T r a n s l a -

t i o n s o f M a t h e m a t i c a l M o n o g r a p h s , 1 5 4 . A m e r i c a n M a t h e m a t i c a l S o c i e t y , P r o v i -

d e n c e ( 1 9 9 7 ) .

P e n ] R . P e n r o s e , A p p l i c a t i o n s o f n e g a t i v e d i m e n s i o n a l t e n s o r s , I n : C o m b i n a t o r i a l m a -

t h e m a t i c s a n d i t s a p p l i c a t i o n s ( e d . D . J . A . W e l s h ) , N e w Y o r k , L o n d o n : A c a d e m i c

P r e s s , 1 9 7 1 .

R o ] D . R o l f s e n , K n o t s a n d L i n k s . P u b l i s h o r P e r i s h , 1 9 7 6 .

R S S T ] N . R o b e r t s o n , D . P . S a n d e r s , P . S e y m o u r , R . T h o m a s , T h e f o u r - c o l o u r t h e o r e m , J

C o m b . T h e o r y . B , 7 0 ( 1 9 9 7 ) 2 { 4 4 .

S K ] T . L . S a a t y , P . C . K a i n e n , T h e f o u r - c o l o r p r o b l e m . A s s a u l t s a n d c o n q u e s t , S e c o n d

e d i t i o n . D o v e r P u b l i c a t i o n s , I n c . , N e w Y o r k , 1 9 8 6 .

S e ] P . S e y m o u r , P r o g r e s s o n t h e f o u r - c o l o r t h e o r e m , P r o c . o f t h e I n t e r n a t i o n a l C o n g r e s s

o f M a t h e m a t i c i a n s , ( Z u r i c h , 1 9 9 4 ) , B i r k h a u s e r , B a s e l , 1 9 9 5 , 1 , 1 8 3 - 1 9 5 .

T a ] P . G . T a i t , R e m a r k s o n t h e c o l o u r i n g o f m a p s , P r o c . R o y a l S o c . E d i n g b u r g h , 1 0

( 1 8 8 0 ) 7 2 9 .

V a ] V . A . V a s s i l i e v , C o h o m o l o g y o f k n o t s p a c e s , T h e o r y o f S i n g u l a r i t i e s a n d I t s A p p l i c a -

t i o n s ( e d . V . I . A r n o l d ) , A d v a n c e s i n S o v i e t M a t h . , 1 ( 1 9 9 0 ) 2 3 { 6 9 .

V a i ] A . V a i n t r o b , M e l v i n - M o r t o n c o n j e c t u r e a n d p r i m i t i v e F e y n m a n d i a g r a m s , U n i v e r s i t y

o f U t a h p r e p r i n t , a l s o k n o w n a s q - a l g / 9 6 0 5 0 2 8 , M a y 1 9 9 6 .

V o ] P . V o g e l , A l g e b r a i c s t r u c t u r e s o n m o d u l e s o f d i a g r a m s , I n s t i t u t d e M a t h e m a t i q u e s

d e J u s s i e u , P r e p u b l i c a t i o n 3 2 , A u g u s t 1 9 9 5 , 4 5 p a g e s .

W a ] A . D . W a l l a c e , M o d i c a t i o n s a n d c o b o u n d i n g m a n i f o l d s , C a n a d . J . M a t h . , 1 2 ( 1 9 6 0 ) ,

5 0 3 { 5 2 8 .

3 2

s.v. chmutov , s.v. duzhin and a. i. kaishev- the algebra of 3-graphs

Documents