ScalingStacks

Theorem 5.4 [03LB]

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

Theorem 5.4

Define f′:ℂ3→ℝ3f^{\prime}:\mathbin{\mathbb{C}}^{3}\rightarrow\mathbin{\mathbb{R}}^{3} by f′​(z1,z2,z3)=(a,Rec,Imc)f^{\prime}(z_{1},z_{2},z_{3})=(a,\mathop{\rm Re}c,\mathop{\rm Im}c), where

a\displaystyle a =|z1|2−|z2|2\displaystyle=|z_{1}|^{2}-|z_{2}|^{2} (27)
andc\displaystyle\text{and}\quad c ={z3+z¯1​z¯2/|z1|,a=0 and z1,z2≠0,z3,a=z1=z2=0,z3+z¯1​z¯2/|z1|,a>0,z3+z¯1​z¯2/|z2|,a<0.\displaystyle=\begin{cases}z_{3}+\bar{z}_{1}\bar{z}_{2}/|z_{1}|,&\text{$a=0$ and\/ $z_{1},z_{2}\neq 0$,}\\ z_{3},&\text{$a=z_{1}=z_{2}=0$,}\\ z_{3}+\bar{z}_{1}\bar{z}_{2}/|z_{1}|,&\text{$a>0$,}\\ z_{3}+\bar{z}_{1}\bar{z}_{2}/|z_{2}|,&\text{$a<0$.}\end{cases} (28)

Then f′f^{\prime} is continuous and piecewise smooth, and (f′)−1​(a,Rec,Imc)=Na,c′(f^{\prime})^{-1}(a,\mathop{\rm Re}c,\mathop{\rm Im}c)=N^{\prime}_{a,c}, where Na,c′N^{\prime}_{a,c} is given in Definition 5. Hence, f′f^{\prime} is a piecewise smooth special Lagrangian fibration of ℂ3\mathbin{\mathbb{C}}^{3}.

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