ScalingStacks

Example 4.4 . [04IZ]

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

Let X=ℂ3−{1+z1z2z3=0}X=\mathbb{C}^{3}-\{1+z_{1}z_{2}z_{3}=0\} with canonical coordinates z1,z2,z3z_{1},z_{2},z_{3} and the standard symplectic structure. Consider the T2T^{2}-action on XX given by (z1,z2,z3)↦(ei​θ1​z1,ei​θ2​z2,e−i⁡(θ1+θ2)​z3)(z_{1},z_{2},z_{3})\mapsto(e^{i\theta_{1}}z_{1},e^{i\theta_{2}}z_{2},e^{-i(\theta_{1}+\theta_{2})}z_{3}). We obtain f:X→ℝ3f:X\rightarrow\mathbb{R}^{3} given by f=(f1,f2,f3)f=(f_{1},f_{2},f_{3}) where

f1=log⁡|1+z1​z2​z3|f_{1}=\log|1+z_{1}z_{2}z_{3}|, f2=|z1|2−|z2|2f_{2}=|z_{1}|^{2}-|z_{2}|^{2}, f3=|z1|2−|z3|2f_{3}=|z_{1}|^{2}-|z_{3}|^{2}.

It is straightforward to check that the above functions Poisson commute, hence the fibres of ff are Lagrangian. It follows that ff is modeled on Example 4.3 near Crit⁡(f)\Crit(f). In particular, the discriminant locus is a cone over three points which coincides with the one in Example 4.3. This example has the topology of a positive fibration.

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