ScalingStacks

3.1.1 Cohomological interpretation of class [ ρ ] [03TR]

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

3.1.1 Cohomological interpretation of class [ρ][\rho]

In Section 2.2 we introduced an invariant [ρ]∈H1​(Bs​m,T𝐙⊗𝐑)[\rho]\in H^{1}(B^{sm},T^{{\bf Z}}\otimes{{\bf R}}) of a 𝐙{\bf Z}-affine structure. Here we will give an interpretation of [ρ][\rho] for integrable systems.

Let us consider X′=π−1​(Bs​m)X^{\prime}=\pi^{-1}(B^{sm}) which is a Lagrangian torus fibration over Bs​mB^{sm} (i.e. fibers are Lagrangian tori such that the fiber over x∈Bs​mx\in B^{sm} is isomorphic up to a shift to the torus Tx∗​Bs​m/(Tx∗​Bs​m)𝐙T_{x}^{*}B^{sm}/(T_{x}^{*}B^{sm})^{{\bf Z}}\,).

Any singular closed 11-chain cc on Bs​mB^{sm} with values in the local system

(Tx∗​Bs​m)𝐙≃H1​(Tx∗​Bs​m/(Tx∗​Bs​m)𝐙,𝐙)(T^{\ast}_{x}B^{sm})^{{\bf Z}}\simeq H_{1}(T_{x}^{*}B^{sm}/(T_{x}^{*}B^{sm})^{{\bf Z}},{{\bf Z}})

gives a 22-chain c¯\overline{c} on X′X^{\prime} with the boundary belonging to a finite collection of fibers π−1​(x(i)),1≤i≤N\pi^{-1}(x^{(i)}),1\leq i\leq N of the fibration π:X′→Bs​m\pi:X^{\prime}\to B^{sm}. Moreover, for every point x(i)x^{(i)} the part of ∂c¯\partial\overline{c} over x(i)x^{(i)} is homologous to zero in π−1​(x(i))\pi^{-1}(x^{(i)}). Therefore, there exists a collection of 22-chains c¯i,1≤i≤N\overline{c}_{i},1\leq i\leq N supportred on OPENπ−1​(x(i)))\pi^{-1}(x^{(i)})) such that the 22-chain c¯+∑1≤i≤Nc¯i\overline{c}+\sum_{1\leq i\leq N}\overline{c}_{i} is closed. In this way we obtain a group homomorphism Js:H1​(Bs​m,(T∗)𝐙)→H2​(X′,𝐙)/H20​(X′,𝐙)J_{s}:H_{1}(B^{sm},(T^{\ast})^{{\bf Z}})\to H_{2}(X^{\prime},{{\bf Z}})/H_{2}^{0}(X^{\prime},{{\bf Z}}), where H20​(X′,𝐙)⊂H2​(X′,𝐙)H_{2}^{0}(X^{\prime},{{\bf Z}})\subset H_{2}(X^{\prime},{{\bf Z}}) denotes the sum of images of H2​(π−1​(y),𝐙)H_{2}(\pi^{-1}(y),{{\bf Z}}) where y∈Bs​my\in B^{sm} (it is enough to pick one base point yy for any connected component of Bs​mB^{sm}). It is easy to see that ⟨[ρ],[c]⟩=⟨[ω],Js​([c])⟩\langle[\rho],[c]\rangle=\langle[\omega],J_{s}([c])\rangle, where [ω][\omega] is the class of the symplectic form ω\omega.

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