ScalingStacks

Proposition 6.1 [03LF]

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

Proposition 6.1

Let u,v:ℝ2→ℝu,v:\mathbin{\mathbb{R}}^{2}\rightarrow\mathbin{\mathbb{R}} be continuous, and let a∈ℝa\in\mathbin{\mathbb{R}}. Define

N={(z1,z2,z3)∈ℂ3:Re(z1z2)=u(Re(z3),Im(z1z2)),Im(z3)=v(Re(z3),Im(z1z2)),|z1|2−|z2|2=a}.\begin{split}N=\Bigl\{(z_{1}&,z_{2},z_{3})\in\mathbin{\mathbb{C}}^{3}:\mathop{\rm Re}(z_{1}z_{2})=u\bigl(\mathop{\rm Re}(z_{3}),\mathop{\rm Im}(z_{1}z_{2})\bigr),\\ &\mathop{\rm Im}(z_{3})=v\bigl(\mathop{\rm Re}(z_{3}),\mathop{\rm Im}(z_{1}z_{2})\bigr),\quad|z_{1}|^{2}-|z_{2}|^{2}=a\Bigr\}.\end{split} (31)

Then

  • (a)

    If a=0a=0, then NN is a singular special Lagrangian 33-fold in ℂ3\mathbin{\mathbb{C}}^{3} if u,vu,v are differentiable and satisfy

    ∂u∂x=−2​(u2+y2)1/2​∂v∂yand∂u∂y=∂v∂x,\frac{\partial u}{\partial x}=-2\bigl(u^{2}+y^{2}\bigr)^{1/2}\frac{\partial v}{\partial y}\quad\text{and}\quad\frac{\partial u}{\partial y}=\frac{\partial v}{\partial x}, (32)

    except at points (x,0)(x,0) in ℝ2\mathbin{\mathbb{R}}^{2} with u⁡(x,0)=0u(x,0)=0, where u,vu,v need not be differentiable. The singular points of NN are those of the form (0,0,z3)(0,0,z_{3}), where z3=x+i​v​(x,0)z_{3}=x+iv(x,0) for x∈ℝx\in\mathbin{\mathbb{R}} with u⁡(x,0)=0u(x,0)=0.

  • (b)

    If a≠0a\neq 0, then NN is a nonsingular special Lagrangian 33-fold in ℂ3\mathbin{\mathbb{C}}^{3} if and only if u,vu,v are differentiable on all of ℝ2\mathbin{\mathbb{R}}^{2} and satisfy

    ∂u∂x=−(4​u2+4​y2+a2)1/2​∂v∂yand∂u∂y=∂v∂x.\frac{\partial u}{\partial x}=-\bigl(4u^{2}+4y^{2}+a^{2}\bigr)^{1/2}\frac{\partial v}{\partial y}\quad\text{and}\quad\frac{\partial u}{\partial y}=\frac{\partial v}{\partial x}. (33)

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