ScalingStacks

Proposition 4.10 . [04J8]

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

Proposition 4.10.

Let ℱ=(X,ω,f,B)\mathcal{F}=(X,\omega,f,B) be a Lagrangian fibration of positive type and Fb¯=f−1​(b¯)F_{\bar{b}}=f^{-1}(\bar{b}) a smooth fibre. Then there is a basis of H1​(Fb¯,ℤ)H_{1}(F_{\bar{b}},\mathbb{Z}) and local coordinates (b1,b2,b3)(b_{1},b_{2},b_{3}) on BB around b¯\bar{b}, such that the corresponding period 1-forms are:

λ1=λ0+d​H,λ2=2​π​d​b2,λ3=2​π​d​b3\displaystyle\lambda_{1}=\lambda_{0}+dH,\quad\lambda_{2}=2\pi db_{2},\quad\lambda_{3}=2\pi db_{3} (19)

where HH is a smooth function on BB such that H⁡(0)=0H(0)=0 and λ0\lambda_{0} is multi-valued 1-form blowing up at Δ⊂B\Delta\subset B, where

Δ={b1=0,b2=b3≥0}∪{b1=b2=0,b3≤0}∪{b1=b3=0,b2≤0}.\Delta=\{b_{1}=0,b_{2}=b_{3}\geq 0\}\cup\{b_{1}=b_{2}=0,b_{3}\leq 0\}\cup\{b_{1}=b_{3}=0,b_{2}\leq 0\}.

In the basis λ1,λ2,λ3\lambda_{1},\lambda_{2},\lambda_{3} of Λ\Lambda and for suitable generators of π1​(B−Δ)\pi_{1}(B-\Delta) satisfying g1​g2​g3=Ig_{1}g_{2}g_{3}=I (cf. Figure 3), the monodromy representation of ℱ\mathcal{F} is generated by the matrices:

T1=(100−110001)T_{1}=\begin{pmatrix}1&0&0\\ -1&1&0\\ 0&0&1\end{pmatrix}, T2=(100010101)T_{2}=\begin{pmatrix}1&0&0\\ 0&1&0\\ 1&0&1\end{pmatrix}, T3=(100110−101)T_{3}=\begin{pmatrix}1&0&0\\ 1&1&0\\ -1&0&1\end{pmatrix}.

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