ScalingStacks

Theorem 4.1 [03L2]

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

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

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

Then Ka,b,cK_{a,b,c} is a special Lagrangian 33-fold in ℂ3\mathbin{\mathbb{C}}^{3}. If a,ba,b are not both zero, then Ka,b,cK_{a,b,c} is a nonsingular embedded submanifold diffeomorphic to 𝒮1×ℝ2{\mathcal{S}}^{1}\times\mathbin{\mathbb{R}}^{2}. Also K0,0,cK_{0,0,c} is the union of the two special Lagrangian 33-planes

Πc+={(z,iz¯,t+ic):z∈ℂ,t∈ℝ}andΠc−={(z,−iz¯,t+ic):z∈ℂ,t∈ℝ},\begin{split}\Pi^{+}_{c}&=\bigl\{(z,i\bar{z},t+ic):z\in\mathbin{\mathbb{C}},\quad t\in\mathbin{\mathbb{R}}\bigr\}\\ \text{and}\qquad\Pi^{-}_{c}&=\bigl\{(z,-i\bar{z},t+ic):z\in\mathbin{\mathbb{C}},\quad t\in\mathbin{\mathbb{R}}\bigr\},\end{split} (9)

which intersect in the real line {(0,0,t+ic):t∈ℝ}\bigl\{(0,0,t+ic):t\in\mathbin{\mathbb{R}}\bigr\}. It is singular as an embedded submanifold, but nonsingular as an immersed submanifold.

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