Skip to main content ☰ Contents You! < Prev ^ Up Next > \(\def\ann{\operatorname{ann}}
\newcommand{\Ass}{\operatorname{Ass}}
\def\Aut{\operatorname{Aut}}
\def\can{{\mathrm {can}}}
\def\char{\operatorname{char}}
\def\cp{\operatorname{CharPoly}}
\def\codim{\operatorname{codim}}
\def\coker{\operatorname{coker}}
\DeclareMathOperator*{\colim}{colim}
\def\cont{\operatorname{cont}}
\def\diam{\operatorname{diam}}
\def\dm{\operatorname{dim}}
\DeclareMathOperator{\edim}{embdim}
\def\End{\operatorname{End}}
\def\eval{\operatorname{eval}}
\def\Ext{\operatorname{Ext}}
\def\Frac{\operatorname{Frac}}
\def\Fun{\operatorname{Fun}}
\def\Gal{\operatorname{Gal}}
\def\gcd{\operatorname{gcd}}
\newcommand{\GL}{\operatorname{GL}}
\newcommand{\ht}{\operatorname{height}}
\def\Hom{\operatorname{Hom}}
\def\id{\operatorname{id}}
\def\im{\operatorname{im}}
\def\Inn{\operatorname{Inn}}
\def\ker{\operatorname{ker}}
\def\lcm{\operatorname{lcm}}
\def\Mat{\operatorname{Mat}}
\newcommand{\Min}{\operatorname{Min}}
\def\mp{\operatorname{MinPoly}}
\def\mSpec{\operatorname{mSpec}}
\def\MSpec{\operatorname{MSpec}}
\def\null{\operatorname{Nul}}
\DeclareMathOperator{\ns}{nullspace}
\newcommand{\opp}{\operatorname{opp}}
\def\Orb{\operatorname{Orb}}
\def\Out{\operatorname{Out}}
\def\Perm{\operatorname{Perm}}
\def\ptstab{\operatorname{PtStab}}
\def\rad{\operatorname{rad}}
\DeclareMathOperator{\range}{range}
\def\rank{\operatorname{rank}}
\def\res{\operatorname{res}}
\def\setstab{\operatorname{SetStab}}
\def\sign{{\operatorname{sign}}}
\newcommand{\SL}{\operatorname{SL}}
\def\Span{\operatorname{Span}}
\def\Spec{\operatorname{Spec}}
\def\Stab{\operatorname{Stab}}
\DeclareMathOperator{\Supp}{Supp}
\def\Syl{\operatorname{Syl}}
\def\Tor{\operatorname{Tor}}
\def\trace{\operatorname{trace}}
\def\uSpec{\operatorname{\underline{Spec}}}
\newcommand{\Ob}{\mathrm{Ob}}
\newcommand{\Set}{\mathbf{Set}}
\newcommand{\Grp}{\mathbf{Grp}}
\newcommand{\Ab}{\mathbf{Ab}}
\newcommand{\Sgrp}{\mathbf{Sgrp}}
\newcommand{\Ring}{\mathbf{Ring}}
\newcommand{\Fld}{\mathbf{Fld}}
\newcommand{\cRing}{\mathbf{cRing}}
\newcommand{\Mod}[1]{#1-\mathbf{Mod}}
\newcommand{\Cx}[1]{#1-\mathbf{Comp}}
\newcommand{\vs}[1]{#1-\mathbf{vect}}
\newcommand{\Vs}[1]{#1-\mathbf{Vect}}
\newcommand{\vsp}[1]{#1-\mathbf{vect}^+}
\newcommand{\Top}{\mathbf{Top}}
\newcommand{\Setp}{\mathbf{Set}_*}
\newcommand{\Alg}[1]{#1-\mathbf{Alg}}
\newcommand{\cAlg}[1]{#1-\mathbf{cAlg}}
\newcommand{\PO}{\mathbf{PO}}
\newcommand{\Cont}{\mathrm{Cont}}
\newcommand{\MaT}[1]{\mathbf{Mat}_{#1}}
\newcommand{\Rep}[2]{\mathbf{Rep}_{#1}(#2)}
\def\l{\lambda}
\def\lx{\lambda_x}
\newcommand{\a}{\alpha}
\def\b{\beta}
\def\d{\delta}
\def\e{\varepsilon}
\def\g{\gamma}
\def\t{\theta}
\def\s{\sigma}
\def\z{\zeta}
\def\vp{\varphi}
\newcommand{\A}{\mathbb{A}}
\newcommand{\B}{\mathbb{B}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\D}{\mathbb{D}}
\newcommand{\E}{\mathbb{E}}
\newcommand{\F}{\mathbb{F}}
\newcommand{\G}{\mathbb{G}}
\newcommand{\H}{\mathbb{H}}
\newcommand{\I}{\mathbb{I}}
\newcommand{\J}{\mathbb{J}}
\newcommand{\K}{\mathbb{K}}
\newcommand{\L}{\mathbb{L}}
\newcommand{\M}{\mathbb{M}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\O}{\mathbb{O}}
\newcommand{\P}{\mathbb{P}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\S}{\mathbb{S}}
\newcommand{\T}{\mathbb{T}}
\newcommand{\U}{\mathbb{U}}
\newcommand{\V}{\mathbb{V}}
\newcommand{\W}{\mathbb{W}}
\newcommand{\X}{\mathbb{X}}
\newcommand{\Y}{\mathbb{Y}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\ON}{\mathbb{ON}}
\def\cA{\mathcal A}
\def\cB{\mathcal B}
\def\cC{\mathcal C}
\def\cD{\mathcal D}
\def\cE{\mathcal E}
\def\cF{\mathcal F}
\def\cG{\mathcal G}
\def\cH{\mathcal H}
\def\cI{\mathcal I}
\def\cJ{\mathcal J}
\def\cK{\mathcal K}
\def\cL{\mathcal L}
\def\cM{\mathcal M}
\def\cN{\mathcal N}
\def\cO{\mathcal O}
\def\cP{\mathcal P}
\def\cQ{\mathcal Q}
\def\cR{\mathcal R}
\def\cS{\mathcal S}
\def\cT{\mathcal T}
\def\cU{\mathcal U}
\def\cV{\mathcal V}
\def\cW{\mathcal W}
\def\cX{\mathcal X}
\def\cY{\mathcal Y}
\def\cZ{\mathcal Z}
\newcommand{\fa}{{\mathfrak a}}
\newcommand{\fb}{{\mathfrak b}}
\newcommand{\fc}{{\mathfrak c}}
\newcommand{\fd}{{\mathfrak d}}
\newcommand{\fe}{{\mathfrak e}}
\newcommand{\fm}{{\mathfrak m}}
\newcommand{\fp}{{\mathfrak p}}
\newcommand{\fq}{{\mathfrak q}}
\newcommand{\fK}{{\mathfrak K}}
\newcommand{\fR}{{\mathfrak R}}
\def\sA{\mathscr A}
\def\sB{\mathscr B}
\def\sC{\mathscr C}
\def\sD{\mathscr D}
\def\sE{\mathscr E}
\def\sF{\mathscr F}
\def\sG{\mathscr G}
\def\sH{\mathscr H}
\def\sI{\mathscr I}
\def\sJ{\mathscr J}
\def\sK{\mathscr K}
\def\sL{\mathscr L}
\def\sM{\mathscr M}
\def\sN{\mathscr N}
\def\sO{\mathscr O}
\def\sP{\mathscr P}
\def\sQ{\mathscr Q}
\def\sR{\mathscr R}
\def\sS{\mathscr S}
\def\sT{\mathscr T}
\def\sU{\mathscr U}
\def\sV{\mathscr V}
\def\sW{\mathscr W}
\def\sX{\mathscr X}
\def\sY{\mathscr Y}
\def\sZ{\mathscr Z}
\def\tS{\tilde{S}}
\def\sdp{\rtimes}
\newcommand{\tensor}{\otimes}
\newcommand{\igen}[1]{\langle #1 \rangle}
\def\nsg{\unlhd}
\def\kval{{k-\mathrm{valued}}}
\def\kalg{{k-\mathrm{alg}}}
\newcommand\GG[2]{\Gal(#1/#2)}
\newcommand{\MF}[3]{\Mat_{#1\times #2}(#3)}
\newcommand{\vectwo}[2]{\begin{bmatrix} #1 \\ #2 \end{bmatrix}}
\newcommand{\vecthree}[3]{\begin{bmatrix} #1 \\ #2 \\ #3\end{bmatrix}}
\def\ob{{\mathfrak{ob}} }
\def\qed{\square}
\def\sse{\subseteq}
\def\ss{\subset}
\def\ssne{\subsetneq}
\def\sm{\setminus }
\def\inv{^{-1}}
\newcommand{\es}{\emptyset}
\newcommand{\Zm}[1]{\Z/({#1})}
\def\ov#1{\overline{#1}}
\def\xdots{x_1, \dots, x_n}
\def\adots{a_1, \dots, a_n}
\def\bdots{b_1, \dots, b_n}
\def\udots{u_1, \dots, u_n}
\newcommand{\leg}[2]{\left(\frac{{#1}}{{#2}}\right)}
\def\th{^{th}}
\def\htpy{\simeq_{\mathrm{htpc}}}
\def\textand{ \, \text{and} \, }
\def\textor{ \, \text{or} \, }
\def\textfor{ \, \text{for} \, }
\def\textfa{ \, \text{for all} \, }
\def\textst{ \, \text{such that} \, }
\def\textin{ \, \text{in} \, }
\def\fg{ \, \text{finitely generated} \, }
\newcommand{\op}{\mathrm{op}}
\newcommand{\xra}[1]{\xrightarrow{#1}}
\newcommand{\xora}[1]{\xtwoheadrightarrow{#1}}
\newcommand{\xira}[1]{\xhookrightarrow{#1}}
\newcommand{\xla}[1]{\xleftarrow{#1}}
\def\lra{\longrightarrow}
\def\into{\hookrightarrow}
\def\onto{\twoheadrightarrow}
\newcommand{\vv}[1]{\mathbf{#1}}
\newcommand{\lm}[2]{{#1}\,\l + {#2}\,\mu}
\renewcommand{\v}{\vv{v}}
\renewcommand{\u}{\vv{u}}
\newcommand{\w}{\vv{w}}
\newcommand{\x}{\vv{x}}
\renewcommand{\k}{\vv{k}}
\newcommand{\0}{\vv{0}}
\newcommand{\1}{\vv{1}}
\newcommand{\vecs}[2]{#1_1,#1_2,\dots,#1_{#2}}
\newcommand{\us}[1][n]{\vecs{\u}{#1}}
\newcommand{\vs}[1][n]{\vecs{\v}{#1}}
\newcommand{\ws}[1][n]{\vecs{\w}{#1}}
\newcommand{\vps}[1][n']{\vecs{\v'}{#1}}
\newcommand{\ls}[1][n]{\vecs{\l}{#1}}
\newcommand{\mus}[1][n]{\vecs{\mu}{#1}}
\newcommand{\lps}[1][n]{\vecs{\l'}{#1}}
\def\td{\tilde{\delta}}
\def\oo{\overline{\omega}}
\def\ctJ{\tilde{\mathcal J}}
\def\tPhi{\tilde{\Phi}}
\def\te{\tilde{e}}
\def\M{\operatorname{M}}
\newcommand{\homotopic}{\simeq}
\newcommand{\homeq}{\cong}
\newcommand{\iso}{\approx}
\newcommand{\dual}{\vee}
\DeclarePairedDelimiter{\abs}{|}{|}
\newcommand{\bv}{{\bar{v}}}
\newcommand{\bu}{{\bar{u}}}
\newcommand{\bw}{{\bar{w}}}
\newcommand{\by}{{\bar{y}}}
\newcommand{\ba}{{\bar{a}}}
\newcommand{\bb}{{\bar{b}}}
\newcommand{\bx}{{\bar{x}}}
\DeclarePairedDelimiterX\setof[2]{\{}{\}}{#1\,|\,#2}
\newcommand{\vx}{\underline{x}}
\renewcommand{mod}[1]{\text{(mod }{#1})}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Section 6.3 The Universal Covering and Galois Correspondence
Definition 6.3.1 .
An isomorphism of pointed covering spaces \(pi: (Yi,yi) \to (X,x_0)\) for \(i=1,2\) is a homeomorphism \(f:(Y1,y1) \to (Y2,y2)\) such that \(p2 \circ f = p1\text{.}\)
Theorem 6.3.2 . Covering Space Uniqueness Theorem.
Any two PC, LPC pointed covering spaces \(pi: (Yi,yi) \to (X,x_0)\) (for \(i=1,2\) ) of a pointed space \((X,x_0)\) satisfy\(p1∗(Y1,y1) = p2∗(Y2,y2)\) iff the pointed covering spaces are isomorphic.
Definition 6.3.3 .
Let \(X\) be a PC, LPC, SLSC space. The universal covering space of \(X\) is the unique covering space \(p:X̃ \to X\) such that \(X̃\) is SC.
Definition 6.3.4 .
A deck transformation of a covering space \(p:X̃ \to X\) is a homeomorphism \(f:X̃ \to X̃\) such that \(p \circ f = p\text{.}\)
Definition 6.3.5 .
A covering space \(p:X̃ \to X\) is normal if for all \(y,y' \in X̃\) with \(p(y) = p(y')\text{,}\) there is a deck transformation \(f:(X̃,y) \to (X̃,y')\text{.}\)
Theorem 6.3.6 .
Let \((X,x_0)\) be a PC, LPC, SLSC space, let \(G := \pi_1(X,x_0)\text{,}\) and let \(p: (X̃,x̃_0) \to (X,x_0)\) be the SC covering. Let \(r: (Z,z0) \to (X,x_0)\) be any PC covering space. Then:
Galois Correspondence Thm. The maps \(\{\text{subgroups }H \text{ of }G\} ↔\{\text{isomorphism classes of PC pointed coverings of }(X,x_0)\}\) defined by \(H \to (rH: (X̃/H,[x̃_0]H) \to (X,x_0))\) and \((t: (Y,y_0) \to (X,x_0)) \to Im t∗ = t∗(\pi_1(Y,y_0))\) are inverse bijections.
Universal Covering Thm. There is a covering space map \(q: X̃ \to Z\) such that \(r \circ q = p\text{.}\)
Action Thm. Let \(H := r∗(\pi_1(Z,z0))\) and let \(NG(H) :=\) the normalizer of \(H\) in \(G :=\{ g \in G | gHg-1 \sse H \}\text{.}\) The group of deck transformations of \(r: Z \to X\) is isomorphic to \(NG(H)/H\) and has a covering space action on \(Z\text{.}\) Moreover, (\(H\) is normal in \(G\) ) iff (\(G/H\) has a covering space action on \(Z\) inducing \(r\) ) iff (the covering space \(r:Z \to X\) is normal).
Example 6.3.8 .
Examples
