ScalingStacks

2.2 Monodromy representation and its invariant [03TN]

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

2.2 Monodromy representation and its invariant

With a given affine structure on YY we can associate a flat affine connection ∇a​f​f\nabla^{aff} (see [KN]). The corresponding parallel transport acts on tangent spaces by affine transformations. For a 𝐙{\bf Z}-affine structure the monodromy of ∇a​f​f\nabla^{aff} belongs to G​L​(n,𝐙)⋉𝐑nGL(n,{\bf Z})\ltimes{\bf R}^{n}, i.e. ∀y∈Y\forall y\in Y we have a monodromy representation

ρ:π1​(Y,y)→G​L​(n,𝐙)⋉𝐑n.\rho:\pi_{1}(Y,y)\to GL(n,{\bf Z})\ltimes{{\bf R}}^{n}\,\,.

Alternatively, we can define the monodromy representation by covering a loop in YY by 𝐙{\bf Z}-affine coordinate charts and composing the corresponding transition functions.

Notice that a 𝐙{\bf Z}-affine structure on YY gives rise to a class

[ρ]∈H1​(Y,T𝐙⊗𝐑)=H1​(Y,TY∇),[\rho]\in H^{1}(Y,T^{{\bf Z}}\otimes{{\bf R}})=H^{1}(Y,T_{Y}^{\nabla})\,\,\,,

where TY∇⊂TYT_{Y}^{\nabla}\subset T_{Y} is the subsheaf of ∇\nabla-flat sections11 1 Here we slightly abuse notations because YY is not necessarily connected.. De Rham representative of class [ρ][\rho] is given by a differential 11-form θ∈Ω1​(Y,TY)\theta\in\Omega^{1}(Y,T_{Y}) such that θ⁡(v)=v\theta(v)=v for any tangent vector vv. In affine coordinates one has θ=∑i∂/∂xi⊗d​xi\theta=\sum_{i}\partial/\partial x_{i}\otimes dx_{i}. Clearly ∇(θ)=0\nabla(\theta)=0.

We will need later an explicit formula for the 𝐑{\bf R}-valued pairing of [ρ][\rho] with a closed singular 1-chain with coefficients in the local system (T∗)𝐙=(T∗​Y)𝐙(T^{\ast})^{\bf Z}=(T^{*}Y)^{\bf Z}, the dual covariant lattice in T∗​YT^{\ast}Y. With any singular 11-chain cc with values in (T∗)𝐙(T^{\ast})^{\bf Z} we associate a real number j⁡(c)j(c) in the following way. Suppose that cc is given by a continuous map γ:[0,1]→Y\gamma:[0,1]\to Y and a section α∈Γ⁡([0,1],γ∗​(T∗)𝐙)\alpha\in\Gamma([0,1],\gamma^{\ast}(T^{\ast})^{\bf Z}). Parallel transport via the connection ∇a​f​f\nabla^{aff} gives rise to a map γ¯:[0,1]→Tγ⁡(0)​Y,γ¯​(0)=0\overline{\gamma}:[0,1]\to T_{\gamma(0)}Y,\,\,\,\overline{\gamma}(0)=0. Let α0=α⁡(0)∈(Tγ⁡(0)∗)𝐙⊂Tγ⁡(0)∗​Y\alpha_{0}=\alpha(0)\in(T_{\gamma(0)}^{\ast})^{{\bf Z}}\subset T^{*}_{\gamma(0)}Y. We define j⁡(c)=⟨α0,γ¯​(1)⟩j(c)=\langle\alpha_{0},\overline{\gamma}(1)\rangle. We extend j⁡(c)j(c) to an arbitrary singular 11-chain cc by additivity. Then the class [ρ][\rho] can be calculated as ⟨[ρ],[c]⟩=j⁡(c)\langle[\rho],[c]\rangle=j(c) for any closed 11-chain c∈C1​(Y,(T∗)𝐙)c\in C_{1}(Y,(T^{\ast})^{{\bf Z}}).

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