ScalingStacks

Definition 2.3 . [04HM]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition 2.3.

Let f:X→Bf:X\rightarrow B be a topological TnT^{n} fibration and let U⊂BU\subset B be an open contractible neighborhood of b∈Δb\in\Delta such that U∩Δ={b}U\cap\Delta=\{b\}, when n=2n=2; or else, when n=3n=3, such that UU satisfies (a)(a), (b)(b) or (c)(c) in point 22 of Assumption 2.2. Let Xb0X_{b_{0}} be a fibre over b0∈U−Δb_{0}\in U-\Delta. Consider the monodromy representation

ℳb:π1​(U−Δ,b0)→S​L​(H1​(Xb0,ℤ)).\mathcal{M}_{b}:\pi_{1}(U-\Delta,b_{0})\rightarrow SL(H_{1}(X_{b_{0}},\mathbb{Z})).

The image of ℳb\mathcal{M}_{b} is called the local monodromy group about XbX_{b} (also denoted by ℳb\mathcal{M}_{b}).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.