ScalingStacks

Example 5.1 . [02ZI]

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

Define F:ℂ3→ℝ×ℂF:\mathbb{C}^{3}\rightarrow\mathbb{R}\times\mathbb{C} by F⁡(z1,z2,z3)=(a,c)F(z_{1},z_{2},z_{3})=(a,c) with 2​a=|z1|2−|z2|22a=|z_{1}|^{2}-|z_{2}|^{2} and

c={z3a=z1=z2=0z3−z¯1​z¯2/|z1|a≥0,z1≠0z3−z¯1​z¯2/|z2|a<0.c=\begin{cases}z_{3}&a=z_{1}=z_{2}=0\\ z_{3}-\bar{z}_{1}\bar{z}_{2}/|z_{1}|&a\geq 0,z_{1}\not=0\\ z_{3}-\bar{z}_{1}\bar{z}_{2}/|z_{2}|&a<0.\end{cases}

It is easy to see that if a≠0a\not=0, then F−1​(a,c)F^{-1}(a,c) is homeomorphic to ℝ2×S1\mathbb{R}^{2}\times S^{1}, while if a=0a=0, then F−1​(a,c)F^{-1}(a,c) is a cone over T2T^{2}: essentially, one copy of S1S^{1} in ℝ2×S1\mathbb{R}^{2}\times S^{1} collapses to a point. In addition, all fibres of this map are special Lagrangian, and it is obviously only piecewise smooth. The discriminant locus is the entire plane given by a=0a=0.

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