\documentclass[12pt,titlepage]{article} \usepackage{amsmath} \usepackage{mathrsfs} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsthm} \usepackage{mathtools} \usepackage{graphicx} \usepackage{color} \usepackage{ucs} \usepackage[utf8x]{inputenc} \usepackage{xparse} \usepackage{hyperref} %----Macros---------- % % Unresolved issues: % % \righttoleftarrow % \lefttorightarrow % % \color{} with HTML colorspec % \bgcolor % \array with options (without options, it's equivalent to the matrix environment) % Of the standard HTML named colors, white, black, red, green, blue and yellow % are predefined in the color package. Here are the rest. \definecolor{aqua}{rgb}{0, 1.0, 1.0} \definecolor{fuschia}{rgb}{1.0, 0, 1.0} \definecolor{gray}{rgb}{0.502, 0.502, 0.502} \definecolor{lime}{rgb}{0, 1.0, 0} \definecolor{maroon}{rgb}{0.502, 0, 0} \definecolor{navy}{rgb}{0, 0, 0.502} \definecolor{olive}{rgb}{0.502, 0.502, 0} \definecolor{purple}{rgb}{0.502, 0, 0.502} \definecolor{silver}{rgb}{0.753, 0.753, 0.753} \definecolor{teal}{rgb}{0, 0.502, 0.502} % Because of conflicts, \space and \mathop are converted to % \itexspace and \operatorname during preprocessing. % itex: \space{ht}{dp}{wd} % % Height and baseline depth measurements are in units of tenths of an ex while % the width is measured in tenths of an em. \makeatletter \newdimen\itex@wd% \newdimen\itex@dp% \newdimen\itex@thd% \def\itexspace#1#2#3{\itex@wd=#3em% \itex@wd=0.1\itex@wd% \itex@dp=#2ex% \itex@dp=0.1\itex@dp% \itex@thd=#1ex% \itex@thd=0.1\itex@thd% \advance\itex@thd\the\itex@dp% \makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}} \makeatother % \tensor and \multiscript \makeatletter \newif\if@sup \newtoks\@sups \def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}% \def\reset@sup{\@supfalse\@sups={}}% \def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else% \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}% \else \append@sup#2 \@suptrue \fi% \expandafter\mk@scripts\fi} \def\tensor#1#2{\reset@sup#1\mk@scripts#2_/} \def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2% \reset@sup\mk@scripts#3_/} \makeatother % \slash \makeatletter \newbox\slashbox \setbox\slashbox=\hbox{$/$} \def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$} \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa \copy\slashbox \kern-\@tempdima \box\@tempboxa} \def\slash{\protect\itex@pslash} \makeatother % math-mode versions of \rlap, etc % from Alexander Perlis, "A complement to \smash, \llap, and lap" % http://math.arizona.edu/~aprl/publications/mathclap/ \def\clap#1{\hbox to 0pt{\hss#1\hss}} \def\mathllap{\mathpalette\mathllapinternal} \def\mathrlap{\mathpalette\mathrlapinternal} \def\mathclap{\mathpalette\mathclapinternal} \def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}} \def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}} \def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}} % Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2} \let\oldroot\root \def\root#1#2{\oldroot #1 \of{#2}} \renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}} % Manually declare the txfonts symbolsC font \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n} \SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n} \DeclareFontSubstitution{U}{txsyc}{m}{n} % Manually declare the stmaryrd font \DeclareSymbolFont{stmry}{U}{stmry}{m}{n} \SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n} % Manually declare the MnSymbolE font \DeclareFontFamily{OMX}{MnSymbolE}{} \DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n} \SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n} \DeclareFontShape{OMX}{MnSymbolE}{m}{n}{ <-6> MnSymbolE5 <6-7> MnSymbolE6 <7-8> MnSymbolE7 <8-9> MnSymbolE8 <9-10> MnSymbolE9 <10-12> MnSymbolE10 <12-> MnSymbolE12}{} % Declare specific arrows from txfonts without loading the full package \makeatletter \def\re@DeclareMathSymbol#1#2#3#4{% \let#1=\undefined \DeclareMathSymbol{#1}{#2}{#3}{#4}} \re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46} \re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12} \re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64} \re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6} \re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77} \re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77} \makeatother % \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE \makeatletter \def\Decl@Mn@Delim#1#2#3#4{% \if\relax\noexpand#1% \let#1\undefined \fi \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}} \def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}} \def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}} \Decl@Mn@Open{\llangle}{mnomx}{'164} \Decl@Mn@Close{\rrangle}{mnomx}{'171} \Decl@Mn@Open{\lmoustache}{mnomx}{'245} \Decl@Mn@Close{\rmoustache}{mnomx}{'244} \makeatother % Widecheck \makeatletter \DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}} \def\@widecheck#1#2{% \setbox\z@\hbox{\m@th$#1#2$}% \setbox\tw@\hbox{\m@th$#1% \widehat{% \vrule\@width\z@\@height\ht\z@ \vrule\@height\z@\@width\wd\z@}$}% \dp\tw@-\ht\z@ \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@ \setbox\tw@\hbox{% \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box \tw@}}}% {\ooalign{\box\tw@ \cr \box\z@}}} \makeatother % \mathraisebox{voffset}[height][depth]{something} \makeatletter \NewDocumentCommand\mathraisebox{moom}{% \IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{% \IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}% }{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}% \mathpalette\@temp{#4}} \makeatletter % udots (taken from yhmath) \makeatletter \def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.} \mkern2mu\raise4\p@\hbox{.}\mkern1mu \raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}} \makeatother %% Fix array \newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}} %% \itexnum is a noop \newcommand{\itexnum}[1]{#1} %% Renaming existing commands \newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}} \newcommand{\widevec}{\overrightarrow} \newcommand{\darr}{\downarrow} \newcommand{\nearr}{\nearrow} \newcommand{\nwarr}{\nwarrow} \newcommand{\searr}{\searrow} \newcommand{\swarr}{\swarrow} \newcommand{\curvearrowbotright}{\curvearrowright} \newcommand{\uparr}{\uparrow} \newcommand{\downuparrow}{\updownarrow} \newcommand{\duparr}{\updownarrow} \newcommand{\updarr}{\updownarrow} \newcommand{\gt}{>} \newcommand{\lt}{<} \newcommand{\map}{\mapsto} \newcommand{\embedsin}{\hookrightarrow} \newcommand{\Alpha}{A} \newcommand{\Beta}{B} \newcommand{\Zeta}{Z} \newcommand{\Eta}{H} \newcommand{\Iota}{I} \newcommand{\Kappa}{K} \newcommand{\Mu}{M} \newcommand{\Nu}{N} \newcommand{\Rho}{P} \newcommand{\Tau}{T} \newcommand{\Upsi}{\Upsilon} \newcommand{\omicron}{o} \newcommand{\lang}{\langle} \newcommand{\rang}{\rangle} \newcommand{\Union}{\bigcup} \newcommand{\Intersection}{\bigcap} \newcommand{\Oplus}{\bigoplus} \newcommand{\Otimes}{\bigotimes} \newcommand{\Wedge}{\bigwedge} \newcommand{\Vee}{\bigvee} \newcommand{\coproduct}{\coprod} \newcommand{\product}{\prod} \newcommand{\closure}{\overline} \newcommand{\integral}{\int} \newcommand{\doubleintegral}{\iint} \newcommand{\tripleintegral}{\iiint} \newcommand{\quadrupleintegral}{\iiiint} \newcommand{\conint}{\oint} \newcommand{\contourintegral}{\oint} \newcommand{\infinity}{\infty} \newcommand{\bottom}{\bot} \newcommand{\minusb}{\boxminus} \newcommand{\plusb}{\boxplus} \newcommand{\timesb}{\boxtimes} \newcommand{\intersection}{\cap} \newcommand{\union}{\cup} \newcommand{\Del}{\nabla} \newcommand{\odash}{\circleddash} \newcommand{\negspace}{\!} \newcommand{\widebar}{\overline} \newcommand{\textsize}{\normalsize} \renewcommand{\scriptsize}{\scriptstyle} \newcommand{\scriptscriptsize}{\scriptscriptstyle} \newcommand{\mathfr}{\mathfrak} \newcommand{\statusline}[2]{#2} \newcommand{\tooltip}[2]{#2} \newcommand{\toggle}[2]{#2} % Theorem Environments \theoremstyle{plain} \newtheorem{theorem}{Theorem} \newtheorem{lemma}{Lemma} \newtheorem{prop}{Proposition} \newtheorem{cor}{Corollary} \newtheorem*{utheorem}{Theorem} \newtheorem*{ulemma}{Lemma} \newtheorem*{uprop}{Proposition} \newtheorem*{ucor}{Corollary} \theoremstyle{definition} \newtheorem{defn}{Definition} \newtheorem{example}{Example} \newtheorem*{udefn}{Definition} \newtheorem*{uexample}{Example} \theoremstyle{remark} \newtheorem{remark}{Remark} \newtheorem{note}{Note} \newtheorem*{uremark}{Remark} \newtheorem*{unote}{Note} %------------------------------------------------------------------- \begin{document} %------------------------------------------------------------------- \section*{reconstruction of covering spaces from monodromy} \hypertarget{context}{}\subsubsection*{{Context}}\label{context} \hypertarget{topology}{}\paragraph*{{Topology}}\label{topology} [[!include topology - contents]] \hypertarget{bundles}{}\paragraph*{{Bundles}}\label{bundles} [[!include bundles - contents]] \hypertarget{contents}{}\section*{{Contents}}\label{contents} \noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak \noindent\hyperlink{Details}{Details}\dotfill \pageref*{Details} \linebreak \noindent\hyperlink{ElementaryDescription}{Elementary description}\dotfill \pageref*{ElementaryDescription} \linebreak \noindent\hyperlink{InTermsOfACoend}{In terms of a coend}\dotfill \pageref*{InTermsOfACoend} \linebreak \noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak \noindent\hyperlink{the_universal_covering_space}{The universal covering space}\dotfill \pageref*{the_universal_covering_space} \linebreak \hypertarget{idea}{}\subsection*{{Idea}}\label{idea} In [[topology]], the \emph{[[fundamental theorem of covering spaces]]} asserts that for $X$ a [[locally path-connected topological space|locally path-connected]] and [[semi-locally simply-connected topological space]], then the [[functor]] given by sending a [[covering space]] over $X$ to its [[monodromy]] [[permutation representation|permutation]] [[groupoid representation]] of the [[fundamental groupoid]] $\Pi_1(X)$ of $X$ \begin{displaymath} Fib \;\colon\; Cov(X) \longrightarrow Set^{\Pi_1(X)} \end{displaymath} is an [[equivalence of categories]] between the [[category of covering spaces]] and that of [[permutation representation|permutation]] [[groupoid representations]] of $\Pi_1(X)$. This means that there exists a functor the other way around \begin{displaymath} Rec \;\colon\; Set^{\Pi_1(X)} \longrightarrow Cov(X) \end{displaymath} which is an [[inverse functor]] up to [[natural isomorphism]]. This functor ``reconstructs'' a covering space $Rec(\rho)$ from a [[permutation representation]] $\rho$ of the [[fundamental groupoid]], such that the [[monodromy]] of $Rec(\rho)$ is [[natural isomorphism|naturally isomorphic]] to the original representation $Fib(Rec(\rho)) \simeq \rho$. \hypertarget{Details}{}\subsection*{{Details}}\label{Details} We give several equivalent discussions: \begin{enumerate}% \item An \hyperlink{ElementaryDescription}{Elementary description} using just basic [[point-set topology]]; \item A \hyperlink{InTermsOfACoend}{Description via Coends} using [[category theory|category theoretic]] tools. \end{enumerate} \hypertarget{ElementaryDescription}{}\subsubsection*{{Elementary description}}\label{ElementaryDescription} The following is a description of the reconstruction in terms of elementary [[point-set topology]]. \begin{defn} \label{ElementaryReconstructionCoveringSpace}\hypertarget{ElementaryReconstructionCoveringSpace}{} Let \begin{enumerate}% \item $(X,\tau)$ be a [[locally path-connected topological space|locally path-connected]] [[semi-locally simply connected topological space|semi-locally simply connected]] [[topological space]], \item $\rho \in Set^{\Pi_1(X)}$ a [[permutation representation]] of its [[fundamental groupoid]]. \end{enumerate} Consider the [[disjoint union]] [[set]] of all the sets appearing in this representation \begin{displaymath} E(\rho) \;\coloneqq\; \underset{x \in X}{\sqcup} \rho(x) \end{displaymath} For an [[open subset]] $U \subset X$ which is [[path-connected topological space|path-connected]] and for which every element of the [[fundamental group]] $\pi_1(U,x)$ becomes trivial under $\pi_1(U,x) \to \pi_1(X,x)$, and for $\hat x \in \rho(x)$ with $x \in U$ consider the subset \begin{displaymath} V_{U,\hat x} \coloneqq \left\{ \rho(\gamma)(\hat x) \;\vert\; x' \in U \,,\phantom{A} \gamma \,\text{path from}\, x \,\text{to}\, x' \right\} \;\subset\; E(\rho) \,. \end{displaymath} The collection of these defines a [[base for a topology]] (prop. \ref{ElementaryReconstructedCoveringSpaceWellDefined} below). Write $\tau_{\rho}$ for the corresponding topology. Then \begin{displaymath} (E(\rho), \tau_{\rho}) \end{displaymath} is a [[topological space]]. It canonically comes with the function \begin{displaymath} \itexarray{ E(\rho) &\overset{p}{\longrightarrow}& X \\ \hat x \in \rho(x) &\mapsto& x } \,. \end{displaymath} Finally, for \begin{displaymath} f \;\colon\; \rho_1 \longrightarrow \rho_2 \end{displaymath} a [[homomorphism]] of permutation representations, there is the evident induced function \begin{displaymath} \itexarray{ E(\rho_1) &\overset{Rec(f)}{\longrightarrow}& E(\rho_2) \\ (\hat x \in \rho_1(x)) &\mapsto& (f_x(\hat x) \in \rho_2(x)) } \,. \end{displaymath} \end{defn} \begin{prop} \label{ElementaryReconstructedCoveringSpaceWellDefined}\hypertarget{ElementaryReconstructedCoveringSpaceWellDefined}{} The construction $\rho \mapsto E(\rho)$ in def. \ref{ElementaryReconstructionCoveringSpace} is well defined and yields a [[covering space]] of $X$. Moreover, the construction $f \mapsto Rec(f)$ yields a homomorphism of covering spaces. \end{prop} \begin{proof} First to see that we indeed have a [[topological space|topology]], we need to check (by \href{topological+base#Recognition}{this prop.}) that every point is contained in some base element, and that every point in the intersection of two base elements has a base neighbourhood that is still contained in that intersection. So let $x \in X$ be a point. By the assumption that $X$ is [[semi-locally simplc connected space|semi-locally simply connected]] there exists an [[open neighbourhood]] $U_x \subset X$ such that every loop in $U_x$ on $x$ is contractible in $X$. By the assumption that $X$ is [[locally path-connected topological space]], this contains an open neighbourhood $U'_x \subset U_x$ which is [[path-connected topological space|path connected]]. As every subset of $U_x$, it still has the property that every loop in $U'_x$ based on $x$ is contractible as a loop in $X$. Now let $\hat x \in E$ be any point over $x$, then it is contained in the base open $V_{U'_x,x}$. The argument for the base open neighbourhoods contained in intersections is similar. Then we need to see that $p \colon E(\rho) \to X$ is a [[continuous function]]. Since taking pre-images preserves unions (\href{interactions+of+images+and+pre-images+with+unions+and+intersections#PreImagePreservesUnionsAndIntersections}{this prop.}), and since by semi-local simply connectedness every neighbourhood contains an open $U \subset X$ that labels a base open, it is sufficient to see that $p^{-1}(U)$ is a base open. But by the very assumption on $U$, there is a unique morphism in $\Pi_1(X)$ from any point $x \in U$ to any other point in $U$, so that $\rho$ applied to these paths establishes a bijection of sets \begin{displaymath} p^{-1}(U) \;\simeq\; \underset{\hat x \in \rho(x)}{\sqcup} V_{U,\hat x} \;\simeq\; U \times \rho(x) \,, \end{displaymath} thus exhibiting $p^{-1}(U)$ as a union of base opens. Finally we need to see that this continuous function $p$ is a covering projection, hence that every point $x \in X$ has a neighbourhood $U$ such that $p^{-1}(U) \simeq U \times \rho(x)$. But this is again the case for those $U$ all whose loops are contractible in $X$, by the above identification via $\rho$, and these exist around every point by semi-local simply-connetedness of $X$. This shows that $p \colon E(\rho) \to X$ is a covering space. It remains to see that $Rec(f) \colon E(\rho_1) \to E(\rho_2)$ is a homomorphism of covering spaces. Now by construction it is immediate that this is a function over $X$, in that this [[commuting diagram|diagram commutes]]: \begin{displaymath} \itexarray{ E(\rho_1) && \overset{Rec(f)}{\longrightarrow}&& E(\rho_2) \\ & \searrow && \swarrow \\ && X } \,. \end{displaymath} So it only remains to see that $Rec(f)$ is a [[continuous function]]. So consider $V_{U, y_2 \in \rho_2(x)}$ a base open of $E(\rho_2)$. By [[natural transformation|naturality]] of $f$ its pre-image under $Rec(f)$ is \begin{displaymath} Rec(f)^{-1}(V_{U, y_2 \in \rho_2(x)}) = \underset{y_1 \in f^{-1}(y_2)}{\sqcup} V_{U,y_1} \end{displaymath} and hence a union of base opens. \end{proof} \hypertarget{InTermsOfACoend}{}\subsubsection*{{In terms of a coend}}\label{InTermsOfACoend} The following is a description of the reconstruction functor in terms of tolls from [[category theory]]. Given a space $B$, let $|B|$ be $B$ retopologized with the discrete topology, and consider the [[pullback]] in [[Top]] of the [[path space]] $B^I$ to the [[product space]] ${\vert B \vert} \times B$: \begin{displaymath} \itexarray{ Path(B) & \to & B^I & \\ \downarrow & (pb) & \downarrow & \langle ev_0, ev_1 \rangle\\ |B| \times B & \underset{id \times id}{\to} & B \times B & } \end{displaymath} Let $\overline{Path}(B)$ be the [[quotient space]] of $Path(B)$ by the [[equivalence relation]] ``[[homotopy]] relative to the [[boundary]]''. We can think of $\overline{Path}(B)$ as a sum of spaces \begin{displaymath} \sum_{b \in B} \tilde{B}_b, \end{displaymath} fibered in the obvious way over $|B|$ (the set of all basepoints $b$), where $\tilde{B}_b$ is the space of paths in $B$ which begin at $b$, modulo homotopy-rel-boundary. The space $\tilde{B}_b$ can be thought of the universal covering space over the connected component of a point $b \in B$, considered as a space based at $b$. We have a [[span]] \begin{displaymath} \itexarray{ & & \overline{Path}(B) & & \\ & \swarrow & & \searrow & \\ |B| & & & & B } \end{displaymath} with an obvious (contravariant) composition action $comp$ of the fundamental groupoid $\Pi_1(B)$, itself regarded as a span \begin{displaymath} \itexarray{ & & \Pi_1(B) & & \\ & \swarrow & & \searrow & \\ |B| & & & & |B| } \end{displaymath} with a [[monad]] structure in the [[bicategory]] of [[span]]s. The [[action]] gives a map \begin{displaymath} comp: \Pi_1(B) \times_{|B|} \overline{Path}(B) \to \overline{Path}(B), \end{displaymath} of spans from $|B|$ to $B$. Now suppose given an object $F$ of $Set^{\Pi_1(B)}$, i.e., a covariant action of the fundamental groupoid, that is to say a span $F: 1 \to |B|$ equipped with an action $\alpha$ of the monad $\Pi_1(B): |B| \to |B|$ in $Span(Top)$. The data of a right-handed action $comp$ on $\overline{Path}(B)$ and the left-handed action $\alpha$ on $F$ gives rise to a two-sided [[bar construction]] \begin{displaymath} B(\overline{Path}(B), \Pi_1(B), F), \end{displaymath} which here is a [[simplicial object]] in the category of spans from $1$ to $B$, whose two face maps from degree 1 to degree 0 take the form: \begin{displaymath} \itexarray{ & F \times_{|B|} \Pi_1(B) \times_{|B|} \overline{Path}(B) & \\ & {}^{\mathllap{F \times_{|B|} comp}}\downarrow \downarrow^{\mathrlap{\alpha \times_{|B|} \overline{Path}(B)}} & \\ & F \times_{|B|} \overline{Path}(B) & } \end{displaymath} The [[coequalizer]] of this pair provides a canonical augmentation of the two-sided bar construction, and may be called the tensor product \begin{displaymath} \overline{Path}(B) \otimes_{\Pi_1(B)} F \end{displaymath} (the seemingly opposite placement of the two tensor factors, as compared against the span constructions above, is simply an artifact of the discrepancy between [[diagrammatic order]] of composition, and the traditional order in which right actions are covariant and left actions contravariant). As a span from $1$ to $B$, that is as a bundle over $B$, this tensor product is indeed a covering space over $B$, assuming that $B$ is [[locally connected topological space|locally connected]] and [[semi-locally simply connected topological space|semi-locally simply connected]]. Finally, the functor \begin{displaymath} \overline{Path}(B) \otimes_{\Pi_1(B)} -: Set^{\Pi_1(B)} \to Cov/B \end{displaymath} is under these conditions quasi-inverse to the fiber functor \begin{displaymath} Fiber: Cov/B \to Set^{\Pi_1(B)} \end{displaymath} and thus establishes the [[equivalence of categories]] known as the [[fundamental theorem of covering spaces]]. \begin{uremark} An abstract way of considering the functor $Fiber$ is that it is obtained by homming: \begin{displaymath} Fiber(p: E \to B)(b) = (Cov/B)(\tilde{B}_b, p) \end{displaymath} and this forces its [[left adjoint]] to be given by the tensor product construction described above. \end{uremark} \hypertarget{examples}{}\subsection*{{Examples}}\label{examples} \hypertarget{the_universal_covering_space}{}\subsubsection*{{The universal covering space}}\label{the_universal_covering_space} As a special case, consider the [[permutation representation]] $\Pi_1(B) \to Set$ given by the discrete fibration \begin{displaymath} cod: \Pi_1(B) \to |B| \end{displaymath} [[David Roberts]]: shouldn't such a discrete fibration then give rise to a functor $|B| \to Set$? If you mean $Mor(\Pi_1(B))$, then this could probably be described as the total tangent groupoid, which is the action groupoid for the action of $\Pi_1(B)$ on itself. [[Todd Trimble]]: I didn't make myself clear then. Recall that if $C$ is an internal category in a category $E$ (with $E = Set$ in this discussion), then one defines $E^C$ by taking its objects to be internal discrete fibrations, defined as arrows $F \to C_0$ equipped with the data of an action by the internal category $C$, considered as a monoid in spans from $C_0$ to $C_0$. (This is a standard usage of the term ``discrete fibration''; see Johnstone's Topos Theory for instance.) Looking over this again, I guess I really should have had $F = Mor(\Pi_1(B))$, and $|B|$ here means the underlying set of $B$. But hopefully my meaning is now clear. [[David Roberts]]: Yes, I see now. (as a span from $1$ to $|B|$) equipped with the obvious (covariant) action of the monad $\Pi_1(B)$ (as a span from $|B|$ to $|B|$). This is essentially the ``[[regular representation]]'' of the fundamental groupoid. The tensor product of the previous section, \begin{displaymath} \overline{Path}(B) \otimes_{\Pi_1(B)} cod, \end{displaymath} is a way of realizing the [[universal covering space]] over $B$. Here is a way of thinking of this construction which links it to the description of universal bundles by Roberts and Schreiber, which is based on considering tangent spaces of the fundamental groupoid. If the fundamental groupoid $G = \Pi_1(B)$ is connected, its universal bundle (as a fibration of groupoids) may be realized as the ``tangent groupoid at $b$'' or slice \begin{displaymath} T_b(G) := (b/G) \to G \end{displaymath} for a chosen basepoint $b \in B$. Note that this slice groupoid is the pullback \begin{displaymath} \itexarray{ (b/G) & \to & G^I & \\ \downarrow & & \downarrow & ev_0\\ \{b\} & \to & G & } \end{displaymath} with $I$ the groupoid $(0 \overset{\sim}{\to} 1)$. This is then a groupoid over $G$ by the restriction of $ev_1$. Since the set of arrows of $G$ is obtained as a quotient of the set of paths in $B$, it inherits naturally a topology (a quotient of the compact-open topology on $B^I$) which, together with the given topology on $G_0 = B$, makes $G$ a topological groupoid. Then we recover the universal covering space $B^{(1)}_b$ (I prefer this notation for the 1-connected cover, rather than the usual $\tilde{B}$, because it generalises to $B^{(n)}$ for $n$-connected covers - DR) over $B$ by pulling back along the functor $B \to G$, where we consider $B$ as a topological groupoid with only identity arrows. The assumptions on the topology of $B$ mean that $G$ is a [[locally trivial groupoid]] with discrete hom-spaces, which implies that $B^{(1)}_b$ is a locally trivial bundle with discrete fibres. Local path-connectedness implies that it is locally trivial, and the local condition on $\pi_1$ holds if and only if the fibres are discrete - this last result is due to Daniel Bliss. \begin{uremark} Another way to consider the topological conditions on $B$ is to realise that $\Pi_1(B)$, with its inherited topology, is equivalent to a topologically discrete groupoid (in some appropriate localisation of the 2-category of topological groupoids) if and only if $B$ is locally path-connected and semi-locally simply-connected. Otherwise one has to consider the pro-homotopy 1-type of $B$, as in the theory of algebraic fundamental groups (recall that varieties with appropriate topologies - e.g Zariski - are topologically badly behaved). \end{uremark} [[David Roberts]]: Is there a prodiscrete completion of a topological groupoid? Maybe we need to assume it is locally trivial, so it is weakly equivalent (in the said localised 2-category) to a groupoid enriched in $Top$, considered as being internal to $Top$. We could then talk about quotients by wide subgroupoids being topologically discrete. Or even quotients being discrete and having finite Leinster cardinality?? Hmm\ldots{} In this analysis, the universal covering space $E_b$ of (path-connected) $B$ is retrieved as the quotient of the space of paths which start at the basepoint $b$, modulo homotopy-rel-boundary; the projection to $B$ takes a class of a path $\phi$ to its terminal point $\phi(1)$. This last description is what one would find in any textbook on algebraic topology dealing with covering spaces. This covering space is, strictly speaking, universal among \emph{connected} covering spaces More generally, if $S \subset |B|$ is a set of basepoints (Thanks, Ronnie Brown! - DR), we can form the pullback \begin{displaymath} \itexarray{ (S/G) & \to & G^I & \\ \downarrow & & \downarrow & ev_0\\ S & \to & G & } \end{displaymath} which is again a groupoid over $G$ by restriction of $ev_1$. Then pullback of $(S/G) \to G$ along the inclusion $B \to G$ is a covering space which is the sum \begin{displaymath} B^{(1)}\langle S\rangle = \sum_{b\in S} B^{(1)}_b \end{displaymath} of connected, 1-connected covering spaces based at the points in $S$. Thus for not-necessarily-connected $B$, taking $S$ such that it intersects each component of $B$ once we can get a universal covering space of $B$ (universal among covering spaces $E \to B$ that induce isomophisms $\Pi_0(E) \to \Pi_0(B)$). This construction is functorlal (for general $S\subset |B|$), since a map $(B,S) \to (B',S')$ of pairs (remember we are giving $S,S'$ the discrete topology, not the subspace topology) induces a functor of (topological) groupoids $\Pi_1(B) \to \Pi_1(B')$, which by universality of the pulbacks in the above construction gives a map \begin{displaymath} B^{(1)}\langle S\rangle \to B'^{(1)}\langle S'\rangle \end{displaymath} covering the given map $B \to B'$. The dependence on basepoints is of course spurious; we can make this explicit by considering the colimit obtained by pasting together the universal covering spaces $B^{(1)}_b$ along isomorphisms induced by paths $b \to c$. But this is in effect how our tensor product construction of the universal covering space works: $\overline{Path}(B)$ is precisely the sum \begin{displaymath} \sum_{c \in |B|} B^{(1)}_c \end{displaymath} which can be viewed as a topological span from $|B|$ to $B$. The fundamental groupoid acts contravariantly on this sum, and the tensor product \begin{displaymath} \overline{Path}(B) \otimes_{\Pi_1(B)} (cod: \Pi_1(B) \to |B|) \end{displaymath} is the same thing as the coequalizer of the pair of arrows \begin{displaymath} \sum_{[\phi]: b \to c} \sum_c B^{(1)}_c \overset{\to}{\to} \sum_c B^{(1)}_c \end{displaymath} in $Top/B$, where one arrow is projection and the other is given by the action of pulling back along classes of paths; this coequalizer is a precise description of the pasting colimit alluded to above. It should be noted that this coequaliser is isomorphic to the covering space $B^{(1)}\langle S\rangle$ when $S$ has one point in each component of $B$, but the description as the tensor product is a priori functorial without reference to a set of basepoints. [[David Roberts]]: I think, though, due to the lifting theorems for covering spaces, that given a map $f:B \to B'$ and basepoint sets $S \subset |B|$, $S' \subset |B'|$ that are not necessarily preserved by $f$, there should be a unique lift of $B^{(1)}\langle S\rangle \to B'$ to $B'^{(1)}\langle S'\rangle$ anyway. This would also make this construction independent, up isomorphism, of the choice of basepoints and probably also functorial. [[David Roberts]]: It won't be functorial - the lift referred to isn't unique. The up-to-isomorphism is a non-canonical isomorphism. (David or Urs: please feel free to sprinkle your own sugar over this, by adapting or even copying what David wrote below based on your paper.) ([[David Roberts]]: unless someone feels the discussion below is essential, it can be deleted.) [[David Roberts]]: My personal favourite way of doing this is to topologise the fundamental groupoid, then form the following strict pullback of topological groupoids \begin{displaymath} \itexarray{ \widetilde{B} & \to & T_b\Pi_1(B) \\ \downarrow && \downarrow\\ B & \to &\Pi_1(B) } \end{displaymath} where $b\in B$ is a chosen basepoint and $T_b\Pi(B)$ is the tangent groupoid at the object $b$. This links the ideas that the tangent groupoid is the contractible cover of a groupoid, that the fundamental groupoid is the 1-type of a space and the Whitehead construction of connected covers (pull back the path-fibration along the inclusion of a space into the appropriate Postnikov section). The topology on the fundamental groupoid can either be constructed with the assumption that $B$ is locally path-connected and semi-locally simply-connected, or be given the quotient topology from the free path space $B^I$. With this inherited topology, the fundamental groupoid is equivalent (in the bicategory of topological groupoids and [[anafunctor]]s) to the same groupoid considered with the discrete topology if and only if $B$ satisfies the usual conditions for the universal covering space to exist. Thus even when $\Pi_1(B)$ is topologised, it still represents a 1-type for nice $B$. One thing which interests me, even though I have no idea about how to approach it, is how for general $B$ the topologised fundamental groupoid can be considered as a pro-homotopy type, that is, the limit of discrete groupoids, taken in the appropriate (bi)category of topological groupoids. I would like see several expositions of the construction of the universal covering space, since they illustrate different ideas. They seem tautologously related, but things show a bit more of the differences when one passes to bigroupoids. The universal covering space is \begin{itemize}% \item the source-fibre (at a basepoint) of the topologised fundamental groupoid \item the pullback of the tangent groupoid as described above \item The pullback of the map $(s,t):Mor(\Pi_1(B)) \to Obj(B)\times Obj(B)$ along the inclusion $\{b\}\times B \to B\times B$ \end{itemize} [[Todd Trimble|Todd]] I'll get back to writing more of what I had planned soon. I haven't had a chance to digest what you're writing yet, but I prefer to proceed without having to choose basepoints. I'd like to get you and Urs to have a look though when I get back to this within a few days. [[David Roberts|David]]: Of course - hence the theorem about functors from the fundamental groupoid and not the fundamental group. This is where the full tangent groupoid comes in: it is the pullback \begin{displaymath} \itexarray{ TG & \to & G^I & \\ \downarrow && \downarrow& dom\\ Obj(G) & \to & G & } \end{displaymath} or equivalently the slice $Obj(G)\downarrow id_G$ for an internal groupoid $G$ (internal in $Top$, but extensions to other categories work too). The tangent groupoid at a point $g$ is just the subgroupoid of this gotten by pulling back $TG \to Obj(G)$ along the inclusion $\{g\} \to Obj(G)$. I hadn't thought about applying this construction to my personal universal covering space recipe, so maybe we need to take the discrete topology on $Obj(G)$. That's what your pullback square above seems to indicate. Urs' and my paper arXiv:0708.1741 has stuff on tangent groupoids for anyone who interested in pitching in. [[!redirects reconstructing covering spaces from monodromy]] [[!redirects reconstructing a covering space from monodromy]] \end{document}