ScalingStacks

Theorem 5.2 [03L8]

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

Define f:ℂ3→ℝ3f:\mathbin{\mathbb{C}}^{3}\rightarrow\mathbin{\mathbb{R}}^{3} by f⁡(z1,z2,z3)=(a,Rec,Imc)f(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} (24)
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} (25)

Then ff is continuous and piecewise smooth, and f−1​(a,Rec,Imc)=Na,cf^{-1}(a,\mathop{\rm Re}c,\mathop{\rm Im}c)=N_{a,c}, where Na,cN_{a,c} is given in Definition 5. Hence, ff 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.