ScalingStacks

Example 5.7 (The leg) . [04JZ]

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 5.7 (The leg).

Consider the following affine symplectomorphism of (ℂ2,ωℂ2)(\mathbb{C}^{2},\omega_{\mathbb{C}^{2}})

Φ:(u1,u2)↦(−u2,u1−1).\Phi:(u_{1},u_{2})\mapsto(-u_{2},u_{1}-1). (37)

The surface Σ\Sigma is sent by Φ∘Γ0\Phi\circ\Gamma_{0} to Σ′={v2+1=0}\Sigma^{\prime}=\{v_{2}+1=0\}. The amoeba of Σ′\Sigma^{\prime} is just a straight line. The resulting fibration ff is

f⁡(z1,z2,z3)=(|z1|2−|z2|22,log⁡|z3|,log⁡|γ⁡(z1,z2)−1|).f(z_{1},z_{2},z_{3})=\left(\frac{|z_{1}|^{2}-|z_{2}|^{2}}{2},\,\log|z_{3}|,\,\log|\gamma(z_{1},z_{2})-1|\right). (38)

The discriminant locus is {0}×ℝ×{0}⊂ℝ3\{0\}\times\mathbb{R}\times\{0\}\subset\mathbb{R}^{3}, a horizontal line in the plane {0}×ℝ2\{0\}\times\mathbb{R}^{2}. The fibration is a piecewise smooth version of the generic singular fibration in Example 4.5. Notice that this fibration is invariant under the Hamiltonian T2T^{2}-action

(ei​θ1,ei​θ2)⋅(z1,z2,z3)=(ei​θ1​z1,e−i​θ1​z2,e2​i​θ2​z3),(e^{i\theta_{1}},e^{i\theta_{2}})\cdot(z_{1},z_{2},z_{3})=(e^{i\theta_{1}}z_{1},\,e^{-i\theta_{1}}z_{2},\,e^{2i\theta_{2}}z_{3}), (39)

whose moment map is

(z1,z2,z3)↦(|z1|2−|z2|22,|z3|2).(z_{1},z_{2},z_{3})\mapsto\left(\frac{|z_{1}|^{2}-|z_{2}|^{2}}{2},\,|z_{3}|^{2}\right).

There are other choices of symplectomorphisms Φ\Phi giving piecewise smooth generic fibrations. Although not very different from the previous one, we will write other two for convenience, since we will need them in the next example. The first one is

Φ:(u1,u2)↦(u1−1,u2−2).\Phi:(u_{1},u_{2})\mapsto(u_{1}-1,u_{2}-\sqrt{2}). (40)

It gives the fibration

f⁡(z1,z2,z3)=(|z1|2−|z2|22,log⁡|γ⁡(z1,z2)−1|,log⁡|z3−2|),f(z_{1},z_{2},z_{3})=\left(\frac{|z_{1}|^{2}-|z_{2}|^{2}}{2},\,\log|\gamma(z_{1},z_{2})-1|,\,\log\left|z_{3}-\sqrt{2}\right|\right), (41)

whose discriminant locus is the vertical line {0}×{0}×ℝ⊂ℝ3\{0\}\times\{0\}\times\mathbb{R}\subset\mathbb{R}^{3}. Also in this case it is clearly invariant under a T2T^{2} action. The last choice of Φ\Phi is

Φ:(u1,u2)↦12​(u1−u2,u1+u2),\Phi:(u_{1},u_{2})\mapsto\frac{1}{\sqrt{2}}(u_{1}-u_{2},\,u_{1}+u_{2}), (42)

giving

f⁡(z1,z2,z3)=(|z1|2−|z2|22,log⁡|γ⁡(z1,z2)−z3|,log⁡|γ⁡(z1,z2)+z3|),f(z_{1},z_{2},z_{3})=\left(\frac{|z_{1}|^{2}-|z_{2}|^{2}}{2},\,\log|\gamma(z_{1},z_{2})-z_{3}|,\,\log|\gamma(z_{1},z_{2})+z_{3}|\right), (43)

whose discriminant is the slope +1 diagonal through zero in {0}×ℝ2\{0\}\times\mathbb{R}^{2}. The T2T^{2} action in this case is given by

(ei​θ1,ei​θ2)⋅(z1,z2,z3)=(ei⁡(θ2+θ1)​z1,ei⁡(θ2−θ1)​z2,e2​i​θ2​z3),(e^{i\theta_{1}},e^{i\theta_{2}})\cdot(z_{1},z_{2},z_{3})=(e^{i(\theta_{2}+\theta_{1})}z_{1},\,e^{i(\theta_{2}-\theta_{1})}z_{2},\,e^{2i\theta_{2}}z_{3}), (44)

whose moment map is

(z1,z2,z3)↦(|z1|2−|z2|22,|z1|2+|z2|22+|z3|2).(z_{1},z_{2},z_{3})\mapsto\left(\frac{|z_{1}|^{2}-|z_{2}|^{2}}{2},\,\frac{|z_{1}|^{2}+|z_{2}|^{2}}{2}+|z_{3}|^{2}\right).

In the above examples, the reduced spaces are all 2-dimensional. Using Remark 5.3 we can construct variations of (38) by replacing the last component of (38) with any function depending on t=|z1|2−|z2|22t=\frac{|z_{1}|^{2}-|z_{2}|^{2}}{2}, s=|z3|2s=|z_{3}|^{2} and u1=z1​z2u_{1}=z_{1}z_{2}, subject to the condition that all the maps GtG_{t} have 11-dimensional level sets. A choice providing an example of a smooth fibration is given by G=log⁡|u1−1|G=\log|u_{1}-1|, which gives us Example 4.5. One can do more. In fact, one can take a function GG which gives an interpolation between the piecewise smooth fibration in (38) and the smooth one in Example 4.5. This can be done by taking GG depending also on ss, such that GG is equal to log⁡|γ⁡(z1,z2)−1|\log|\gamma(z_{1},z_{2})-1| when ss is big and equal to log⁡|u1−1|\log|u_{1}-1| when ss is small. We will say more about this later on, as this idea is useful in an important step of the main construction of the paper.

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