ScalingStacks

Example 4.2 . [04IX]

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

Example 4.2.

Consider ℝ4\mathbb{R}^{4} with standard coordinates (x1,x2,y1,y2)(x_{1},x_{2},y_{1},y_{2}) and let D4⊆ℝ4D^{4}\subseteq\mathbb{R}^{4}. Let D1×S1D^{1}\times S^{1} have coordinates (r,θ)(r,\theta). Define V=D4×D1×S1V=D^{4}\times D^{1}\times S^{1} with the standard symplectic structure and F⁡(xi,yi,r,θ)=(b1,b2,b3)F(x_{i},y_{i},r,\theta)=(b_{1},b_{2},b_{3}) where

b1=x1​y1+x2​y2,b2=x1​y2−x2​y1,b3=r3.\begin{array}[]{lll}b_{1}=x_{1}y_{1}+x_{2}y_{2},&b_{2}=x_{1}y_{2}-x_{2}y_{1},&b_{3}=r_{3}.\end{array} (14)

The reader may verify that μ=(b2,b3)\mu=(b_{2},b_{3}) is the moment map of a Hamiltonian action of T2T^{2} and that FF is a T2T^{2} invariant Lagrangian fibration of VV over D2×D1D^{2}\times D^{1}. The singular fibres are homeomorphic to ℝ×S1×S1\mathbb{R}\times S^{1}\times S^{1} after {p}×S1×S1\{p\}\times S^{1}\times S^{1} is collapsed to {p}×S1\{p\}\times S^{1}.

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