11
COVER in 6 SPACES 20 - - DEI : A MAP p : E - X Is A C0Vkr MIR IF EACH XEX Has AN OPEN N Bits U Such THAT p Yu ) Is A Distort U' ' ' ' w F ' ( Uk ¥ % w " " comp , came : Sa I EACH Sa O PKN In E , Ano I 2 pls , : Sa U Is A Homeomorphism For EACH a U X Such A- OPEN Set U Is Caceres EVENLY Converses AND Time Sa Ark Caulks SHEETS ExAnP I id : X - X Is A Cover , .ua For Any X ( obviously ) 2 E IR , X - S ' , p (a) = EZ 'T ' 'd 3 . E - - S ' , X - S ' , p :S ' - S ' plz ) - Z n Q a & IR N : Any Connection OPEN Jn SHEETS S ' & Uts ' IS Evenly Cover .es LP ( I i g s I INFINITELY MANY SHEETS g Sl ( F 7 4 E= Sn , X - IRP " , p : S " 112pm THE Quotient MAP This Is A Coven WITH 2 SHEERS ( BT Definition , REALLY ) 5 1122 - Six s ' Ca , pl ( ez " 'd , ehtif ) 1122 6 p : Cl EX = Cl - fo } THIS Is A Cover , ,→G : Use Polar Coors , ~ # Es w = ft i O , ft R , OE IR w , - eat GEIR ' , Cite lRtxs ' ft id to ( ee , eio ) TH 's I > A Coven , .eu Since 112 Rt X Is A Homeomorphism Ans IR I Is A Cover , AB DEI : The FiB Over ye Y Or A Continuous Mar f- X - Y Is f ' ( y ) Norte : For A Cover , # 6 Mae p , THE Fl Bens Ane Discrete UNIQUE ( 1kt , -6 Titan 1- - Suppose p : ( E , eo ) ( X , Xo ) Is A Covent .ve MAP Ans f : Yo ) s ( X , # o ) Is Continuous If I ' E. e , Y IS Connect .es , THRU There IS Aims OIC L let I : ( Y , yo ) ( E. e) Lp X. %) Is ( X. to ) PR : Suppose I , tf , Are Litres or f Aae Sto A = { ye 'll Fly ) - I f. Since yo EA , A to AIS CLOSED ? WE Assume E Hausdorff ( Not NECESSARY But It Simplifies THE AncrumErt ) Time MAP I , XI : Y - EXE IS Continuous Ares THE Diagonal D= { I e. e) I e c- E } Is Closer THEN A = I. XI) ' ( O ) Is closer A- Is OPEC : L to YEA Ans LEE U BE An Eu knit Counties N Bits OR fly ) . Write p ' ( a ) - LISA THERE Is A UNIQUE do Such THAT I , Cy ) Ily ) E Sao Tina V - - Ii ' ( Sao ) n i. ( Sao ) Is An OPEN N Bits Ok Y Ik 2- EV , THEN I , ft ) Ann Izft ) E Sao Since pot , ft ) = f I z )=poId7 )

COVER SPACES DEI XEX Has N Bits Such€¦ · THE Stare pointRun SkiAs I Since I Is LoopA. DEFINE OI From THE Ok Costars OF H To p-" (Xo) B, IT (HER) = I CD. Since E Is PATH Connects,

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: COVER SPACES DEI XEX Has N Bits Such€¦ · THE Stare pointRun SkiAs I Since I Is LoopA. DEFINE OI From THE Ok Costars OF H To p-" (Xo) B, IT (HER) = I CD. Since E Is PATH Connects,

COVER in 6 SPACES 20

--

DEI : A MAPp

: E - X Is A C0Vkr MIR IF EACH XEX Has AN OPEN N Bits U Such THAT

p

-

Yu ) Is A Distort U' ' ' ' w

F

'

( Uk¥

% w " "

comp , came :

Sa

I.

EACH Sa O PKN In E,

AnoI

2.

pls,

: Sa → U Is A Homeomorphism For EACH a

.

U X

Such A- OPEN Set U Is Caceres EVENLY Converses AND Time Sa Ark Caulks SHEETS.

ExAnP I.

id : X - X Is A Cover

, .ua For Any X ( obviously )

2.

E -

- IR,

X-

- S

'

, p(a) = EZ

'T ''d

3.

E-

- S'

,

X-

- S

'

, p :S

'

- S'

plz)

-

- Z

n

Q

a

&

IR N : Any Connection OPEN

JnSHEETS S

'

&Uts

'

IS Evenly Cover .es.

LP( I

i

g s

IINFINITELY MANY SHEETS

gSl

(

F7

4.

E= Sn,

X-

- IRP"

, p: S

"

→ 112pm THE Quotient MAP. This Is A Coven WITH 2 SHEERS

( BT Definition, REALLY )

.

5 .

1122 - Six s

'

Ca

,pl ↳ ( ez

" 'd

,

ehtif )

⑦ ① ⑦

⑦ 1122 →

⑦ € ① €

6.

p :Cl → EX = Cl - fo } THIS Is A Cover

, ,→G : Use Polar Coors, ~ # Es w = ft i O

,

ft R

,

OE IR

w , - eat GEIR'

,

Cite lRtxs '

ft id to ( ee

,

eio )

TH 's I > A Coven, .eu Since 112 → Rt X ↳ e× Is A Homeomorphism Ans IR → I Is A Cover

, AB.

DEI :The

FiB Over ye Y Or A Continuous Mar f-

. X -

Y Is f' '

(y

).

Norte :For A Cover

, # 6 Maep

,

THE Fl Bens Ane Discrete.

UNIQUE ( 1kt , -6 Titan

- 1- -

Suppose p

:( E

, eo) → ( X

, Xo

) Is A Covent.ve MAP Ans

f: Yo ) s ( X

, #

o

)Is Continuous

. If

I. →

'E.

e ,

Y IS Connect .es,

THRU There IS

Aims OICL let I : ( Y

, yo) → ( E.

e)

.

. Lp

X. %)Is ( X. to )

PR :Suppose I

,tf

,

Are Litres or f Aae Sto A

= { ye 'll Fly ) -

-

I f. Since yo EA,

A

to.

AISCLOSED ? WE Assume E Hausdorff ( Not NECESSARY But It Simplifies THE Ancrum Ert ).

Time MAP I,

XI : Y - EXE IS Continuous Ares THE Diagonal D= { Ie.

e) I e c- E } Is Closer.

THEN A

= I.XI)

- '

( O ) Is closer.

A-IsOPEC : L to YEA Ans LEE U BE An Eu knit

Counties N Bits

OR fly ).

Writep

' '

( a) -

- LISA .

THERE IsA UNIQUE

doSuch THAT I

,

Cy ) -

-Ily ) E Sao

.

Tina V-

- Ii'

( Sao )n

i. ( Sao ) Is

An OPEN N Bits

Ok

Y .

Ik 2- EV,

THEN I,

ft ) Ann Izft ) E Sao.

Since pot ,

ft ) = f I z )=poId7 )

Page 2: COVER SPACES DEI XEX Has N Bits Such€¦ · THE Stare pointRun SkiAs I Since I Is LoopA. DEFINE OI From THE Ok Costars OF H To p-" (Xo) B, IT (HER) = I CD. Since E Is PATH Connects,

AND SINCEP

Isao Is I-nsect.ve,

It Follows THAT I,

I t ) =IzCZ ) Ann HENCE ZEA

.

THUS 21

VE A Am A Is OPEN

.Since Y Is Connect .es

,

WE Have.

A -

- Y Am So I,

=I .

"

Pn into THE

+7 p: ( E

, e) → ( X

,

Xo ) ISA Cover, ,u6

,THEN RACH PAT # 8 : ( I

, o ) - ( X

,xo ) Has A UNIQUE

.

LIFT J : ( I, o

) - ( E,

eo ) .

\I • Jus'

1¥ : UNIQUENESS Follows From The PRE vous Result

.

#To Show Existence

,

Coven THE Ihra ok Ok 8 By Every

#

BBCoverts Open Stars.

Since THIS SET Is Compact,

we

[ ⑧TFAaFine A Partition O ' toc t,

a. -

-

a tu =

IOk I Such

#

THAT 8 ( Es - i

,

t ;) c UI Ano U;

Is Evenly Cove neo.

¥8Is.

BaeSee Vs

-

- Nets,

t ;) .

THEN 8--8,

-

re.

- . - Tn

.

NoneP! ←THAT 8

,

Lifts To 8,

:( to ,t,

)→ ( E,

ed Since

p

)

p

- i

( u,)

Is A COVERING. THEN Tz Litts Tb

a8

Fi . [ t,

.to ) - ( E,

I, Ct.) )

. Procera

.usIN Doctoral

X ⑦

WE ( 1kt EACH 8;

Tho Is Are Tmrw J -

- I,

.. -

- .fr

Is A LIFT Of 8.

, ,

C outer, .eu/t0inoTfe-iTHan

-- -

Supposep

:( E

,

e ) - ( X,

Xo ) ISA Cover

miceMar Are THA F : Y XI - X Iss A Homotopy

.

Ik THE re Is A LIFT Fo -

- Ye E Of fo : Y → X,

THE There Is A Lier F : YXI - E

Such THE F- ( s

, D= Its )

.

Prior : I.

Ik ALL Of X Is Kueny Cookies,

THEN The Result Is CLEAN.

2.

For EACH

YE

Y

,

Then, Is An Open NB His Ny

ok

yAnn A Partition O

-

- to Lt

, c .

. -

a tu -

-

l

Ok I S - at THAT F ( Ny x C

to -

,

,t ) ) Is Corra

, # Es Ix AN Every Cover .es OPEN Sfo Us

E X

( By Compactness Ok I ).

LETTy (E) = Fly it )

.

THIS IS A PATH In X.

USING THE SAME Aram,

As IN THE PATH LIKING Titan,

WE Have A Lift Ey : Ny XI → E Ok Fy

= Ny

XI . By

UNIQUENESS Of LIFTING,

Ey,

An 's Fy, A Greek ON ( Ny,

n Ny,

) XI . It Follows THAT Fly

, t ) =

Ey (y

't ) Is WELL - Dasan .esA- s Continuous

.

, ,

⇐ :Suppose to

,

8,

:( I

, o) - ( X. yo ) WITH Lifts To ,F ,

:( I, o ) - ( E

,

e ).

Ix 80=8,

rel f 915,

THE,

Jo = f,

rel fo,

R.

In Particular,

Told -

-

I,

C ' ).

Pryor ;Ix Sos

Its E

f f p

By UNIQUENESS,

Els,

D= 5. Cs ),

ie.

F : Fo=F, rel fo

, B.

, ,

IXI Is

X e.g :p:S

's S'

Pati it

,

( s

'

,

,) →

it

,

G'

,, )

2- is Z

'

Colts 292 )

Coy :THE MAP pit : IT

,

( E,

Eu ) → IT

,

( X. xo ) Is INJECTIVE.

2 # Z

PI : If 8 ISA Loor - Ar eo With pot = n*

,

THE VISA Litt Of pot t

neo Is A lift Orn

×,

⇒ 8=4%6/90 ,

Page 3: COVER SPACES DEI XEX Has N Bits Such€¦ · THE Stare pointRun SkiAs I Since I Is LoopA. DEFINE OI From THE Ok Costars OF H To p-" (Xo) B, IT (HER) = I CD. Since E Is PATH Connects,

I :WHAT

Is The Into orp*

? 22

More THAT A Loop Ar Xo Lhenna To A Loop Ar lo

Is Ceuta,

# ex IN THE IMAGE.

It A loop

REPRESENTS AN ELEMENT OR THE Image Ofp*

,

THEN It Is Homo Topic To A Loot Hau

, noSuch

A LIFT t So by Hon.no Tony

(IR Tim 6 THE Loop ITSELF Hrs Suck A Lift

.

Prof ;THE Num

Beer Ok SHEETS Ok A Coven p :

( E,

eo ) → ( X,

Xo ),

bit't E A mo X PATH Connects

,

Eu-

Ms Tite DuDEx Orp*

( it

,

( E,

ed ) Ih .

it,

( X, Xo )

.

Pp ,

If 8 Is A Looe A- Xo

,

Aas It CLI EIt -

-

P 't ( it

,

( E,

ed ),

THEN The L net I. I Has

THE Stare Run point As I Since I Is ALoop

.

DEFINE OI From THE Ski Ok Costars OFH

Top

- "

(Xo ) B

, IT ( HER ) = I CD.

Since E Is PATH Connects,

OI Is Sunset 'VE

( eo ( An . Beto , nice To Any Point Du p

- '

( Xo) BT A PATH

gPROJECT

, .ve To A Loop 8 Ar Xo)

.

Be Ix OI ( HCA ) -

- OI ( It Ird ) THEN I,

-85

'

Liners TOA Loop IN E Bases A- e.

[ r,) fire )

-

'

E H.

"

( IET in 6 Criterion-

-

Supposep ,

( E,

e) → ( X,

Xo ) Is A Coven, ,u6 Spree Ana f-

.

( Y,

- b) → ( X. *

.) Is Continuous

WITH

Y PATH Convectors Anne(

octicy PATH Connkctko.

THRU A LIFT I '

- ( Y

, yo) → ( E,

to )

Exists ⇒ f

*( it

,CY

, % I ) Ep * (

it ,( E

,

ed ).

Prooi i ( ⇒ ) It I Exists,

THE , pot-

- t ⇒f

*I it

,

(4%1) E pale ,

CE,

e )).

⇐ ) Suppose f

* ( it,

CY, yo

) ) E p

* I it

,

( X. xD ).

( Er

yE

Y Ams Lk - 8 Be A Pair

Frum YoTo

y.

THEN

ft Has A Unions ( yetFIT Starts

.io AtEo.

Define I ly ) =It ( I )

.

It 8'

IsAnother S- oh

PATH THE ~ Is'll f 85

' ISA Loop ho Ar x

.

With [ hole f * ( it

,

CY, ) f P * ( It

,

l Kieu) ).

This Three Is A Homotopy ht From he To A door h,

WHICH Lifts Tb A Loop I,

In E Bases

AT Eo. THE Homotopy Lifts To It .

Since I,

Is A Loop A- Eo,

So Is To Any By UNIQUENESS

OK LIFTS,

To Is It'

. ED- '

VIA THE Garmon Mars

Po, no

FT Ci ) = FT'

Cl ).

S.

I Is Wku - Deena?

Continuity Of I IS Not D)

RE , ever

,

.USE Lock PATH Connectivity

.

, ,

Not i IR Y IS Simply Connects,

lifts Aunts Exist.

CLASSIFYING COVERING SPIES-

-

WE Know pet

: IT,

( E

,

e) → IT

,

( X. Xo ) Is INJECTIVE.

QI : DOES Even, Subgroup Ok IT

,

( Xix.

) Arise Aspit

( it,

C Eeo ) ) For Some Cohen ? Existence

QI : Can Two Different Coven was I

, ,

XT Give THE Sanne SUBerror ? UNIQUENESS

Ix Particular,

CAN THE Trivia So B Group Be REALIZE Titis way ? THAT Is

,

Does

X Have A Simply Connectors Cover ?-

-

Page 4: COVER SPACES DEI XEX Has N Bits Such€¦ · THE Stare pointRun SkiAs I Since I Is LoopA. DEFINE OI From THE Ok Costars OF H To p-" (Xo) B, IT (HER) = I CD. Since E Is PATH Connects,

e.g: XE St

.

IT,

( s

'

) -

-Z Tite SOB Groom Are Ln > For Some n

>o

.

23

For n > 0

,

( Er Xn -

- S

'

WITHPn

: Xn - St Gwen B,

Putz )= Zh.

THE ,

Pit : it,

( Xn ) - it

,

( x ) Is Tite Mme x to nx AnySo

p*( it

,

( xn ) )-

- Ln >.

IT F- O

,Take Xo

= IR.

Ik n # m THEN Xu t Xm Ane Distinct (

oven , nib Spaces.

WHEN Can . X Have A Sammy Connect.es

Cover ?

NECESSARY Condition: Each x

ex Has A N Bits U Such THAT IT

,

( U,

X ) → IT,

( X. x ) Is

TRIVIAL.

THIS Iss CALLIES Skin , LOCAL Sinn PIE CONNECTIVITY Ok X

.

WHT? Suppose

p: I → X Is A Coven

rub With I,

(5) = O.

It Xf X Fins An Runny

Cookies N Bim Uone X Are L Et I BE A SHEET

.

It 8 Is A Loop IN U,

Lift It To

J cUT i I Is NULL Homo Topic Du I ANDTHEN

p o f Nuri Homotopy ) Is A Noel Homotopy OF

8 ex X.

ej: X LOCALLY Simply CONNECTS

X LOCALLY CONTRACTIBLE (eg :

CEKL Complexes )

Prof :IK X IS PATH CONNECTED

,

LOCALLY PATH Correcter,

AND LOCALLY Simply CONNECTS,

THEN X HAS A Simply Correcter Cover I.

PR : Dean,

I-

- { (8) It Is A PATH In X Start,

- is Ar Xo }.

Here [ 8) Denotes THE

Homo Tom Class rel So

, B or t

.THIS Is Just A Set

. Define p : I → X B

, plus ) KD.

Since X I 'S PATH Connected,

P IS SURJECTIVE

.

WHAT'S THE Tbrocoot On I ? Suppose E ME I.

( E- U Be A N Bits IN X ok VCD . LET

↳,

U ) = { [ Vici) /u

Is A PATH IN U BEGINNING A- Tcl ) }

.

WE MAT As WELL Assume HIS

PATH CONNECT Es Anos Simply CONNECTED

.

×

;#U

Claim: THE SE 's

Lt,

US Form A Basis For A Tb Poway,

On I.

For Tins,

It Suffices TO SHOW

THA - Ex Lto,

US n LK,

Ui ) €0,

THE - Titters Exists G) c. I Ams A N Bits V ok all ) S- CH

THAT La,

V ) E ( to,

Uo ) n Lt, ,

US.

Suppose G) c- Lto,

MD n Lt,

,U ,)

.

r r

tin:

in:"

.

n: a.

.

.

It Foceows Kasia,

THAT < r

,

Hon USE Cro,

do > n Lt,

,

U,

).

to

Now, p

( Ct,

U ) ) = THE PATH Connects Component Of U Contai

, - tix 6 Hi ) AND SINCE

PATH Components Are OPEN, p

Is Aw OPEN MAP .Since

p( 58

, u

) ) EU, p

Is Continuous.

PIS I'

.

LEE XE X.

Since X IS Looney Simply Connects,

X HasA PATH Connected,

Sunny Connection N Blinn U. THEN

p

- '

( a) = Ugg

,

Lt

,US wait 8107

-

-

Xo,

Kil-

- X.

Giono

Two Such Lk,

u >,

Ct, ,h7

,

we See Easier,

Thar Gro ),

US n Lead,

a) = ¢ ⇐Cro ) -

- EH.

⇒p

- '

( u) Is A Dishonor UNION O " OPE - Stars . lldorhkoukn

,p 1cg

,

a >

ISA

Homeomorphism.

Page 5: COVER SPACES DEI XEX Has N Bits Such€¦ · THE Stare pointRun SkiAs I Since I Is LoopA. DEFINE OI From THE Ok Costars OF H To p-" (Xo) B, IT (HER) = I CD. Since E Is PATH Connects,

It PH so : TAKE As Basement Eo-

- (2×0).

Time PAH th I rt ) Is 24

APATH

From eo To (8)

,

WHEN ,e rt : si -

Hts ).

×,

K "

I IS Simply Connie cries.

.

Lies a BE A Loop

In I#

--

-

-

Ar e. .

Liar 8 -

-

pox.

By Viviane LIFTING F -

- a bus all )-

-

fn×o) tFci)

-

- (8) ⇒8=7×0

.

This Impress THATp #

( ft ) ) =

(7×0) For ALL a Ann Slack

pit IS INJECT

've

, T

,

( I,

e.) = O.

,

Note : THIS Is A Grint Constructor;

Be IT

Is USELESS the Practice.

e.g: X

-

-

S

'

us

'

Is

.

.g

.

.

Ab

I

5 •5

'

a

WHA Dox,

I Look LIKE?

.

:;IC

Wku ,It Is THE Homo Tora

Classes OF MAPS

!> as Ab

is@

. . .

rb rb→ •STARTING As WRAGE Point

.

n

ya ya § ya

-

I;•

•• •

a. . .

nb nb

. '

TbTHE Gnash Shows THE First

FEW ITERATES, ÷,as:Ab÷ , .

But It IS INFINITE.

' I.ya g

-II•a°

onAb

ro -

!7 @ 7 !

Existence

PRI :Suppose X Is PATH Connects

,

LOCALLY PATH CONNECT Es

,

And Skin, LOCALLY

Sima CONNECTED.

THE- For Even Subareas It

E I,

( X,

Xo)

,

Tiner ISA Couture Senatep

: XH - X

With

pit( I

,( X

,xD ) = It For A Suitably Chosen To C- X

It.

Pilot : LET NX BE THE Snarly Conniecries C oven Construct Es Above AND DEFINE A Rhino

~ f-

,[ 8) n [ 8

'

) Ix ND-

- 8 'll ) Amo [ 8.8

' - '

I E- It.

THIS Is AN Eau valence

RELATIONPRECISELY BECAUSE H IS A Subgroup .

( Er XH BE THE Quotient Of I BY This

RELATION.

None : Ik 8117--8 'll ),

THEN [ r ) no { 8

'

I ⇒ [ t -

n )-

- ( 8

'

.

n ) Foe A Printn .

IN

Particular,

Ile Two Points IN Basic N

Bling28

,

U ) t C 8

'

,

ha'

> Are IDE~tifi.se,

THEN THE WHORE

NBites Ark IDENTIFIES

. It Follows THAT THE Protection X #→ X [ Vb tis

Tl ' ) Is A

Coutee, no

.

Lfo To EXH BE THE Equivalence Class Of (4×0).

Tina THE Into Ok

Px-

- IT,( XH

,

E) → it,

( X, xD IS It : It 8 Is A Loop In X A- Xo

,

Its LIFT Tb I

Start Wb At (4×0) Ears A- [ 8) So THE IMAGE OK THIS Lifters PATH In XH Is A loop

⇐ Cr ) n End ⇐ CHEH. ,

Page 6: COVER SPACES DEI XEX Has N Bits Such€¦ · THE Stare pointRun SkiAs I Since I Is LoopA. DEFINE OI From THE Ok Costars OF H To p-" (Xo) B, IT (HER) = I CD. Since E Is PATH Connects,

Ominous 25

Dk : Am Isoxnonritissn Ok Coven

, .usSpaces

p ,

:X,

- X,

Pi .

In → X Is A Homeomorphism

f: I

,

→ The Wit't

p ,

-

- Prof .

Prof : It X IS PATH Corvettes AND LOCALLY PATH CONNECTED

,

THEN Two PATH Connects

Covens I,

,

ITa

Auk Isomorphic VIA f -

-I

,

- In Taxi .no I,

C- pi

'

( Xo) To The pi

'

(Xo )

⇒p , *

( it,TX

,,

= path ,ID

.

PRo : ⇒ Existence ok f ⇒ p ,

-

- pot,

Pa-

-

p , of

'

' '

⇒p ,

*( it

,

( I, it ,

)) =

Pz #( I

,

( Th,

I. ) )

⇐ ) Suppose THE Subban oops Ane EQUAL.

USING THE Chenab C Ritter , on,

WE ( Ift P , To

A HaeI ,

i ( I, ,

It - ( Iz,

IT With Prof, =p ,

- Similarly, we Ger

Fi . ( In,

→ AT, ,⇒

WITHp ,

of e

-

-

Pa.

By UNIQUENESS OK LIFTS,

F. of .

-

- idxzAndproof,

=

idI

,

Since These

Composites Fix BASE Points .

$0

,f ,

t PT Ark Inverse Isomorphisms.

, ,

-

1117in.

THEN Is A Bisection BTWN BASE Point Pick> KevinISOM one Hisar CLASSES Ok PATH Connects

Couture Spacespi

.

( I,

E) → ( X, %) Ann THE SE

.

- Of Subgroups Ok IT,

( X,xD

.

Ik BASE points

Ark IGNORED,

THIS BIJECTION IS A Combs Poop EnceBtwn Iso CLASSES

Ok Covers Are CONJUGACY

CLASSES Of SUB Groups Of IT,

C X, Xo )

.

PR'

.

It Only REMAINS To Daouk THE Last STATEMENT.

WE Claim Their CHANGING BASE Point

To Withinp

- I

(Xo

) Corresponds Exactly To CHANG , NbPit

( IT,

TX,

To A Couture SUB Grasp.

( is I,

BE Another Boss Point Ihip

- '

( Xo) t lies I BE A PATH From

ToTo I

,

. Tita I

Proves To A Loop 8 IN X,

Reena Entire AN Evan Err GE IT

,

( X, %)

.

SE- Hi

=

pet( it

,I I

,

Ii ) ).

NoneThat IfI Is A Love At To,

F- '

I 8 Is A Loop A- I,

Ams Ssg- '

Hog EH

, .

Similarly,

g.

H, g-

'

s Ho ⇒ Hi

-

-

g

- '

Hog . Conversely,

To CHANGE Ho To Hi -

-

g-

'

Hog,

CHorse A Loop 8

themes quit.net

g.

( let THIS To I Startin A- To Any lkr I,

= JC

,)

.

ThenIt

,

-

- PAH,

TX,

#d), ,

↳ : A Sinn Pl > Connie cites Covin, .us

SPACE Is A Coven OK Kueny OTHEN COVERING SPACE Of

X.

Such A SPACE Is CAUSES THE UNIVERSAL Cover lIt

IS UNIQUE UP To Isomorphism .

).

THE Action ON THE Fiber-

- --

-

( top

:Xd X BE A Covenant Space

. A PATH V IN X HasA UNIQUE Lift I Start in 6 At A

Given Point Inp

- '

( 8101 ). DEE

, reLy :

p

- ' '

( Hd ) →

p

"

( Kill By Lyft ) = Jci ) wit 't Flo ) -

- Z.

THIS It A Bisector :L

ji IS Its Diverse

.

For 8 .

n,

WEHave (

y.

n = (

yLy .

This Rkuensn

Is Bae,

So Rennie Ly By Its Inverse

p

- '

I Kill →

P

- '

( no ) )- THEN Ly .

n

-

- ly . Ln.

Tai> Die Enos

ONLY On Homerton Class t So we GETA Homomorphism

IT,

( X,

Xo ) → Permm(p

- '

( Xo ))

,

(8) to Ly .

Can TH is THE Act' Ii tTH Oe TIE Fiske .

Page 7: COVER SPACES DEI XEX Has N Bits Such€¦ · THE Stare pointRun SkiAs I Since I Is LoopA. DEFINE OI From THE Ok Costars OF H To p-" (Xo) B, IT (HER) = I CD. Since E Is PATH Connects,

Wk Can Riecovknp

: IT -

X From THIS Action As Follows.

LET XJ →X Be THE 26

UNIVERSAL Covin Constructs Earlier.

LET F-p

- '

(Xo ) Are Dare

, me hi.

Tho XF →

X B,

h ( [ 8 ),

= JLI ),

Winery J IS A LIFT Ok 8 Start, # b A- Io

.

h IS Continuous & Kuku A Loon

Homeomorphism Since A N Bite Ok ( C 8),

XT ) In . Tho XF Consists Ok Pains ( ( 8-

n)

,

XT )w

'T 't

yA PATH In A Small

N BHO Of Jli ).

h IS SURJECTIVE SINCE X IS PATH CONNECTED.

h Is

Almost Ckntainky Not Extractive . Suppose h ( (8),

XT ) =h ( I 8

'

),

Kj ) . Then 8 t 8

'

Auk

PATHS From Xo Tf THE Stink Endpoint AND To

-

- Ly

'

. g- I ( To )

.

( Er D= 8

!8

"

,

A Loop IN.

THEN

h HH,

To ) -

-

h ( [ did,

Lahti ).

Conversely,

For Au Looe d weHave hkrl

,

E) -

. hat -81,41×51 ).

So

,

h Induces A Mae Rox Fln-

X Witten ( 181,

Io ) - ( C d. 8) ↳ I IT ),

CNET.CL/,xol.Cn-uTtnsQuotikm-XpWitEnefit ,

( X. xo ) - Perm ( F) IS THE Action

.

NKi Xp ANAKES Sense For Aux Action f OF it

,

( X. xo ) ONA SE.

- F : The -

X,

( ED,

→ 8C 's

ISAC oven.

Now,

Ie - Tf Is A Bisection t Titus A Homeomorphism Since h IS A Loca Homeomorphism.

SINCE It TAKES FIB Rns To FIBERS

,

It Is An I > oinonrttism.

,

DECK Transformations

--

( Etp

:I - X Be A Cove rave Are Denote By G ( E) Tine Set or Acc Isomorphisms I - X

.

THIS Is A Grier UNDER Composition,

CALLED THE Group Or Deck TRANSFORMATIONS.

eg.

. piIR → St

,

G ( IRIE & Since THE Isomorphisms Auk Those Translations 4th at in

,

ME I.

p: S

'

→ St,

Z ↳ En,

G ( I ) I In ( Rotations Of S

"

Throw it AirlocksIt KH

Nork THAT Bt UNIQUE Cacti . -16

,

A DECK TRANS formation IS Completely DET Enna

, .niz⇒ By WHEN ,e

It Stuns A SINGLE Point

,

Assuming I PATH CONNECTED.

Die.

.

A Cover we p :

I - X Is Caccia Norma Ix For knew

XEX Are RACH I

,

I 't p

-

'

( x

!

Twerk Is A DECK Transformation TAKING I Tho I !

Note - Example p: I → S

'

v S

'

Tacks Acc Norse, In

- -

i

••?

*

# yiIT THE Wks Gie Point . None

••• it

,

TX) IZ Amspi

: it

,

(D) → it ! sis

'

)

IX

a

.

Is Ca ) to fab ) c Fe

• a

°

THE wk Is 1¥ DECK

TRANSFORMATIONS~

X Taeko I Too I

'

Since 5*6 ]

Lovers Be A Loop Ar I

'

,

But There

ARE No Nontrivial ONES

.

Page 8: COVER SPACES DEI XEX Has N Bits Such€¦ · THE Stare pointRun SkiAs I Since I Is LoopA. DEFINE OI From THE Ok Costars OF H To p-" (Xo) B, IT (HER) = I CD. Since E Is PATH Connects,

Pip .

.

( E -

p: ( I

, Io ) - ( X. xoI Be A Nick Cover

was A - s Let It -

- path,( I

,

Eit,

( X. xo )27

I .

THE Cover, no Sister Is Noun

.mn ⇒ HOT,

( X,

Xo)

.

2.

G ( f) IS Isa .name#cTbNlH)/H,

Wineries ht ( H ) Is THE Normalizer Ur It Ie IT,

( Xx ,

).

IN Particular,

G ( I ) I T,

( X. x. DIH IT I Is Norma Are Foe THE Univision Coven The X

Cox ) = it

,

( X. xo)

.

PR :RECALL THAT CHANGING BASE

point To Ep

- '

(Xo ) A I

, Ep- '

(Xo ) Correspond Tb Constantin

Ok H By (8) f it

,

( X, xo ) where 8 Lifts Th A PATH I From EAT

, .

So,

[ 8) t NCH ) #

Pet (Hi

( F. Folk

pit( It

,

( I,

I,

) ),

WHICH Be Tune Lik two Criterion Is Kaurava

.

- To THE

Existence 0k A DECK Transformation TAKING To A IT .

So THE Cover, - co Is

No name

⇐ NCH ) -

- it

,

( X. xo)

.

Now Dee, we Q : NCH ) → Gtx ) By 4 ( Cst )

-

- T,

Withers T TAKES To TTX,

.

THEN yeIs

A Homomorphism : It 8

'

⇒ T

'

TAKING To TF ! Tinea ,8.8

'

Lifts A JT. ( I

. ) )

,

A Pato

From Io Tbt ( I! ) IT t

'

( xo )⇒ It

'

Cunmssponns To [ 8) fr'

).

Its Sortie ⇐ weAm Its KENNEL

Consists Of CLASSES ( 8 ) ( IK Tini 6 Tf Loops In I,

ie.

Ker U =H

.

, ,

More GENERALLY,

WE Have THE IDEA Ok A Group Action

.

LE-

G Be A Grove Are Y

A SPACE.

AN Action Of G On Y Is A Homomorphisme : G → Home

o( Y )

i urineg

:Y -

y

Fore (g) E Home

.

CY )

.

Note: g

,

(Sz

Cy

,) =

⑨, gal

C ylI

g, ,gzC

.

G,

Y E Y

.

WE USUAL it Assume

fInitiative

.

USE Kuc CONDITION For ACTIONS

--

--

EACH

yE

Y Has A NB Hs U S- CH THA Are IMAGES

g( h ) Foer

gf

G Ark Distant,

'

ie.

g.( lil

n gz( Ulfd⇒ g ,

-

- 92 .

egoG ( K ) A crime on TT

: Suppose Tl CI Protects Honnieonnonritucaccy A X.

Ik

g. ( Ti) n g.( I ) # ¢

,

Titian g.( I ) =

ga( Ir ) For Some I

,

Iaf U - B- r

Since I,

,xT Lie In

Somep

- '

(x ) Are

p

- '

(x ) n

UN Consists OK AS

an Guy Point,

I,

-

- In.

THENg

? gz Fixes THIS

Point Ann So91=92 .

,

Given AN Action,

We Cnn Form Time Quotient Snack 4/8: yn GG )

,g

t G. Time Points

Ok

4/6 Are Tine Orbits Gy-

- 9 gyI

gEG }

.

Eg: For A Norman Coven

. .ie I → X

,

NXIGCX) I X.

eg.

.

Zz Acts On Sh ;X te

- X 5/212 = IRP

"

AN - Titis Action SATI sneaks THE Condition

Since It X IS Ite THE Orfu Orren Highness meeee U, g

( uln

U = 0.

Page 9: COVER SPACES DEI XEX Has N Bits Such€¦ · THE Stare pointRun SkiAs I Since I Is LoopA. DEFINE OI From THE Ok Costars OF H To p-" (Xo) B, IT (HER) = I CD. Since E Is PATH Connects,

;the G Actinic on Y

Is Nick,

Titta , 28

I. pi

Y →4/6 y

1- Gy Is A Norma Cove rink Space.

2. Ik

Y IS PATH Connections,

THEN 6=614 ).

3.

G I IT,

(4/6) /py( it,

( Y ) ) It Y PATH Connkctkntloctccy PATH Connection

.

PRIOR : I.

LET U CY BE An OPEN Ski SATISFY,

-16 THE Condition . THENp

IDK notifies Au THE

Distant Homeomorphic Stars { scull gEG } To A Smock Open Ster

p(a) C

'

1/6 .

By Definition

OF THE Quotient Topo Loot

,

P Restricts Tb A Homeomorphism Fru. . n

g( U ) TO

p( U ) For Kaew

g fG

.

THOS, P

! Y - Y 16 Is A Cover in 6.

Each't

gtf Acts As A DECK TRANSFORMATION t THE Covering

Is Norm Sinceregzgj

'

Tacksg

,

( ht Tf gzlu ).

G E GET ) with EQUAL# T Ie

Y Is PATH

CONNECTED Since EE f E Gl Y ) THEN For Any ,

y EY,

yAns fly ) Are

In THE Same OrbitAre

Tinker IsA

gE

G Wit 't

gly ) ' fly )⇒ f

=gSince DE ex TRANS Formations Are Unico Bey

Dieskau was

By Action 0nA SING- k Point

. , ,

eg: 2h A crime On S

"

Xt - x

Titis Is A Cover # GS

"

- 5/22 = IRP

"

Ann Since it,

( Sn Ko,

we Have

it,

( IRPME ti ( key it

,

Csn ) I 2h.

( Et G= Symmetry Group Of This Grin

.

G Corra, us A COPY

es :

1122r.ua

Or 2×21 : ( X,

y) to

( Xtnn,

ytln ); Can This Soooooo H

.

x But THE arts Mork : ✓ I > THE Course Reelection : TRANSLATE

UP I UNit t REFLECT Across Ukraine L INK .

ONLY THE IDENT Takes A Savanna To Its BeeS

- Titis Action Is Nick.

None THE Follow, .ro :

I.

111246 Is THE Kkk, a

Bottle

2. It Has INDEX 2 In

G tso Ho G.

IRYH -

- T Ans IR t - IR ?16 Is A 2

'

.

I

→ K

Coven

GALOIS Correspondence

Univ . I ← it,

(5) -

- o Fibers

Cover

, F Gell

Flc

)u

,→ a

,

( x

'

) -

-H x

! RIH

×61×1 ) INCHYH

I LIK GA cars

I-

-

G Ht he L ⇒Gal ( He )

u

X

'

N . name0 Coal ( HK )

X ← tix )-

- 6I

Gall LIK )

K

Is:f.

.name#ei....Sc-.Esmwo:oiir.n.BLl-H--fgeGalIEIkl/

*

, #

" 'EH

F -

Page 10: COVER SPACES DEI XEX Has N Bits Such€¦ · THE Stare pointRun SkiAs I Since I Is LoopA. DEFINE OI From THE Ok Costars OF H To p-" (Xo) B, IT (HER) = I CD. Since E Is PATH Connects,

Ci 29

Did ;A Grant Is A I - Dimensions C W - Complex .

A TREE Is A CONTRACT

, Brie Gannett.

PRI : Every CONNECT Es Guns It X Count, .us A MAX

, xmx Three (A Trick CONTAINING ALL

Ukrticesok X ).

In Fact,

Every TREE Is Container IWA Maxims TREE.

Pryor : ACTUALLY Prove THE Following: ( ET Xo CX BE AN Arbitrary SUBGRAPH

.

WE Will Construct

A Subban,

no

Y C X ConIFA,

Nino Are Uk races Or X Such THE Xo IS ADKfoninm.com RETRACT

Ok Y

. TA kink X = { Xo } Y leans THE RESULT.

First CONSTRUE XoC X,

C -

.-

BY LETTING Xi+ ,

BR OBTAINED

From Xi By ATTACHING Closures EI Ok All Robes• •

X :

KE X-

Xi Huan .io A- LEAST ONE ENDPOINT In Xi.

••Nork Thx U Xi Is OPEN IN X Since A NB Itn Of A Point Xo BeIH Xi Is Contai

-

i Es In Xi

# .

Also U Xi Is Closer• • • •

Since It Is A Union Ok Closer EDGES Am X HAS THE. .

WEAK Tfpoeooy.

Since X Is Connie cries,

U Xi

= X.

.•

• °

Now,

SET Yo -

- X ,.

Assume Yi C Xi Has BEEN Constructs•

.

To Contain Au VENTI CES In Xi.

( RT

Yin Bk OBRA,

.IE - X,

Xz-

- X

From Yi By Antoine ING ONE EDGE CONNECTING

EACH Ukntfx. .

Ok Xiu'

Xi Tb Yi.

LET 4=0 Yi

.

THEN Yin Retracts TO

Yi.

DOING THIS Retraction OVEN ( ¥ '

,

¥ ) Yikes>

@ D

A thorn-

crow Y → Xo.

,

Y,

PRI: L E #X Be A Connect Es Grant Arlo ( RE T BE A

AdAxim TREE

.

THE - IT ,( Xl Is A Fekete Group w . - it Basis I fa ) Connes Pons, as

Tf Eats EaIn XT

.

Pilot :Fix Xo ET

.

EACHla Determines A Loop EH X By CHOOSING A PATH 82 From X -

To ONE

END O 'c

la,

THEN Axons la,

THEN BACK To Xo Aonb A PatMa ( to Ars

MaLIE INT )

.

( It ta -

.

8,

-

la .

Ma .

Since T Is Simply Connecting Cfa) Darkness Owe ON

G. THE Quotient Mar X → XIT IS A Homerton Eau .UA Canice Since ÷TE fxo )

.

But Xlt Is A Content with ONE Vkrtkx;

THA Is,

Xl TISA WRs

OYEOf Greeks Am IT

,

( X HT) Is A FREE Group With Basis G. view By Time Into .es Ok ffa )

.

, ,

Page 11: COVER SPACES DEI XEX Has N Bits Such€¦ · THE Stare pointRun SkiAs I Since I Is LoopA. DEFINE OI From THE Ok Costars OF H To p-" (Xo) B, IT (HER) = I CD. Since E Is PATH Connects,

1¥ : Every Coverline Space ok A Grant Is A GRAPH

.

30

PRIOR :l E '

P: I → X Be A Cover

.

For Tite Vertices Ok I WE Taek Xo ?

p

"

( Xo ).

None

THATX Is A

Quotient XI Xoall

Ia Wit a RACH In Connors Poms , -6 Tb An Kobe I - X

.

APPLYING PATH LIFTING The Etch IL → X WE Get A UNIQUE LIFT IN £ PASSING THROUGH

EACH Point In

p

- '

I x) For XE Is

.THESE Lifts Dee we THE Eso .es In I

.

Since I → X

IS A LOCAL ltosnihonronr Hasan

,

THE RESULTING Tf polo on ON I Is THE SAME AsITS ORIGINAL 'T

Poway,

Ttm ? Every Suborns 0¥ A Knee Group Is FREE.

PRI :Given A Free Group F

,

Choose A Grant X With IT

,

X EF.

Ix G E F Is A

S - A Group,

Tatem Is A Coven. - is Setae pix → X wit 't

p

*( I.

( It ) =G ⇒ I,

(5) I 6.

Since I Is A Grant,

IT,

(F) IS FREE ⇒

G IS FREE.

, ,

No ;

THIS Is A D- rear ALGEBRAIC RESULT Proven Via Topology !