ScalingStacks

Theorem 6.11 . [04KG]

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

Theorem 6.11.

Given any pair (U,Γnor)(U,\Gamma_{\mathrm{nor}}) of subsets of ℝn\mathbb{R}^{n}, diffeomorphic to (Dn,Dn−1)(D^{n},D^{n-1}) and with Γnor=U∩{b1=0}\Gamma_{\text{nor}}=U\cap\{b_{1}=0\}, a sequence ℓ={ℓk}k∈ℕ∈ℒZ¯nor\ell=\{\ell_{k}\}_{k\in\mathbb{N}}\in\mathscr{L}_{\bar{Z}_{\text{nor}}} and integers m2,…,mnm_{2},\ldots,m_{n} such that

∫[d​bj]ℓ1=mj,for allj=2,…,n,\int_{[db_{j}]}\ell_{1}=m_{j},\quad\text{for all}\ j=2,\ldots,n, (56)

there exists a smooth symplectic manifold (X,ω)(X,\omega) and a stitched Lagrangian fibration f:X→Uf:X\rightarrow U satisfying the following properties:

  • (i)

    the coordinates (b1,…,bn)(b_{1},\ldots,b_{n}) on UU are action coordinates of ff with μ=f∗​b1\mu=f^{\ast}b_{1} the moment map of the S1S^{1} action;

  • (ii)

    the periods {d​b1,…,d​bn}\{db_{1},\ldots,db_{n}\}, restricted to U±U^{\pm} correspond to bases γ±={γ1,γ2±,…,γn±}\gamma^{\pm}=\{\gamma_{1},\gamma_{2}^{\pm},\ldots,\gamma_{n}^{\pm}\} of H1​(X,ℤ)H_{1}(X,\mathbb{Z}) satisfying conditions (a) and (b) prior to Proposition 6.5;

  • (iii)

    there is a Lagrangian section σ\sigma of ff, such that (Z¯nor,ℓ)(\bar{Z}_{\text{nor}},\ell) are the invariants of (X,f,U,σ,γ+)(X,f,U,\sigma,\gamma^{+}).

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