ScalingStacks

Theorem 4.3 [03L4]

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 4.3

Let a,b,c∈ℝa,b,c\in\mathbin{\mathbb{R}}, and define a subset La,b,cL_{a,b,c} in ℂ3\mathbin{\mathbb{C}}^{3} by

La,b,c={(z1,z2,z3)∈ℂ3:|z1|2−|z2|2=a,|z1|2−|z3|2=b,Im(z1z2z3)=c}.\begin{split}L_{a,b,c}=\bigl\{(z_{1},z_{2},z_{3})\in\mathbin{\mathbb{C}}^{3}:\,&|z_{1}|^{2}-|z_{2}|^{2}=a,\\ &|z_{1}|^{2}-|z_{3}|^{2}=b,\quad\mathop{\rm Im}(z_{1}z_{2}z_{3})=c\bigr\}.\end{split} (12)

Then La,b,cL_{a,b,c} is a special Lagrangian 33-fold in ℂ3\mathbin{\mathbb{C}}^{3}. Moreover

  • (i)

    L0,0,0L_{0,0,0} has one singular point at 00.

  • (ii)

    If α>0\alpha>0 then Lα,α,0L_{\alpha,\alpha,0} has singular set {(α1/2​ei​θ,0,0):θ∈[0,2​π)}\bigl\{(\alpha^{1/2}{\rm e}^{i\theta},0,0):\theta\in[0,2\pi)\bigr\}.

  • (iii)

    If α>0\alpha>0 then L−α,0,0L_{-\alpha,0,0} has singular set {(0,α1/2​ei​θ,0):θ∈[0,2​π)}\bigl\{(0,\alpha^{1/2}{\rm e}^{i\theta},0):\theta\in[0,2\pi)\bigr\}.

  • (iv)

    If α>0\alpha>0 then L0,−α,0L_{0,-\alpha,0} has singular set {(0,0,α1/2​ei​θ):θ∈[0,2​π)}\bigl\{(0,0,\alpha^{1/2}{\rm e}^{i\theta}):\theta\in[0,2\pi)\bigr\}.

All other La,b,cL_{a,b,c} are nonsingular embedded submanifolds diffeomorphic to T2×ℝT^{2}\times\mathbin{\mathbb{R}}.

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