Workshop on Branched Covers & Galois Theory

• Branched covers are continuous, surjective maps between manifolds that behave like covering maps away from a closed branch locus modeling singularities such as z ↦ zⁿ.
• Fox completion provides a canonical method to extend non-manifold settings to singular (G,X)-manifolds, facilitating classification via monodromy and Galois correspondences.
• Galois correspondences in branched coverings reveal subgroup structures within fundamental group sequences, impacting the study of Riemann surfaces and higher-dimensional manifolds.

A branched covering is a continuous surjective map between topological spaces, usually manifolds, which is a covering map away from a closed set (the branch locus), modeling local singularities such as z ↦ zⁿ. Branched covers are fundamental in the study of Riemann surfaces, 3- and 4-manifolds, singular geometric structures, and orbifolds. The Fox completion construction yields a canonical approach to non-manifold situations and especially to singular $(G,X)$-manifolds. Modern developments encompass classification via monodromy and Galois theory, analytic and topological invariants, and geometric structure on singular spaces.

1. Spreads, Fox Completion, and Branched Covering Structures

A spread is a continuous map $p:X \to Y$ between locally connected $T_1$-spaces such that the connected components of the preimages $p^{-1}(U)$ of open sets $U\subset Y$ form a basis for the topology of $X$. A spread is complete if for every $y\in \overline{p(X)}$ and every compatible sequence of nested components over neighborhoods of $y$, the intersection is nonempty. Fox's theorem ensures every spread admits a unique (up to isomorphism) complete completion, and this process is functorial.

A "branched covering à la Fox" is a complete, surjective spread $p:X\to M$ with both ordinary loci ($Ord(X)\subset X$, $Ord(M)\subset M$) open, dense, and locally connected ("portly"). The branch locus is $B = M\setminus Ord(M)$, a closed set of empty interior. Locally, away from $B$, the map is a covering; at $b\in B$, the local model is the Fox completion of the universal cover of $U\setminus\{b\}$ for $U$ small and connected.

2. Galois Correspondence and Fundamental Group Sequences

Given a branched covering $p:\widetilde M \to M$ with branch locus $B$, the deck transformation group $\Gamma = \mathrm{Deck}(p)$ acts totally discontinuously on each fiber $p^{-1}(b)$. If $M\setminus B$ is semi-locally simply connected, then $p$ is Galoisian (i.e., $\Gamma$ acts transitively on each fiber), and there is an exact sequence: $$1 \longrightarrow \pi_1(\widetilde M) \longrightarrow \pi_1(M\setminus B) \xrightarrow{\ \rho\ } \Gamma \longrightarrow 1.$$ Intermediate covers correspond bijectively to subgroups of $\Gamma$, and normal subgroups correspond to intermediate Galois covers. This clarifies the subgroup structure of the monodromy representation and encodes the behavior of the fibers above branch points, even in wild settings.