ScalingStacks

Example 4.3 . [04IY]

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.3.

Consider ℂ3\mathbb{C}^{3} with canonical coordinates z1,z2,z3z_{1},z_{2},z_{3}. Define F⁡(z)=(b1,b2,b3)F(z)=(b_{1},b_{2},b_{3}), where

b1=Im⁡z1​z2​z3,b2=|z1|2−|z2|2,b3=|z1|2−|z3|2.\begin{array}[]{lll}b_{1}=\im z_{1}z_{2}z_{3},&b_{2}=|z_{1}|^{2}-|z_{2}|^{2},&b_{3}=|z_{1}|^{2}-|z_{3}|^{2}.\end{array} (15)

Here μ⁡(z1,z2,z3)=(b2,b3)\mu(z_{1},z_{2},z_{3})=(b_{2},b_{3}) is the moment map of a T2T^{2}-action, furthermore the above functions Poisson commute, so the fibres of FF are Lagrangian. The critical locus of FF is Crit(F)=⋃i​j{zi=zj=0}\Crit(F)=\bigcup_{ij}\{z_{i}=z_{j}=0\} and its discriminant locus is Δ={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\}, i.e. a cone over three points with vertex at 0∈ℝ30\in\mathbb{R}^{3}. The regular fibres are homeomorphic to ℝ×T2\mathbb{R}\times T^{2}. The singular fibre over 0∈Δ0\in\Delta is homeomorphic to ℝ×T2\mathbb{R}\times T^{2} after {p}×T2\{p\}\times T^{2} is collapsed to p∈ℝp\in\mathbb{R}. All the other singular fibres are homeomorphic to ℝ×T2\mathbb{R}\times T^{2} after a two cycle {p}×T2⊂ℝ×T2\{p\}\times T^{2}\subset\mathbb{R}\times T^{2} is collapsed to a circle. This is one of the examples of special Lagrangian fibrations by Harvey and Lawson [19].

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