Universal braids for elliptic fibrations: from character varieties to Coxeter's factor groups

Abstract: Let $π: M \to B$ be an elliptic fibration over $B = D<sup>2$ or $B = S<sup>2$ with $n$ nodal fibers over $Δ\subseteq B$. We study the universal liftable braids for $π$: those braids that admit a fiber-preserving lift to $M$ for all choices of coordinates on $(B,Δ)$. When $B = S<sup>2$, we show that nontrivial universal braids do not exist by proving a Zariski-density theorem on the $\mathrm{SL}_2$-character variety for $(S<sup>2,Δ)$. When $B = D<sup>2$ we classify when the subgroup of universal braids has finite index in the braid group $B_n = \mathrm{Mod}(D<sup>2,Δ)$, and relate these examples to Coxeter's factor groups of braid groups, which in turn are related to the platonic solids. Finally, we generalize the results derived in the finite-index cases by considering a canonical family of branched covers of the base $B$ associated to any elliptic fibration. The generalization naturally connects the universal braids to the integral Burau representation reduced modulo 3.