ScalingStacks

Example 2.8 . [03N0]

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

Example 2.8.

In [37, 38, 39] we study SL 3-folds in ℂ3{\mathbin{\mathbb{C}}}^{3} invariant under the U⁡(1){\rm U}(1)-action

ei​θ:(z1,z2,z3)⟼(ei​θ​z1,e−i​θ​z2,z3)for ei​θ∈U⁡(1).{\rm e}^{i\theta}:(z_{1},z_{2},z_{3})\longmapsto({\rm e}^{i\theta}z_{1},{\rm e}^{-i\theta}z_{2},z_{3})\quad\text{for ${\rm e}^{i\theta}\in{\rm U}(1)$.}

The three papers are surveyed in [40]. A U⁡(1){\rm U}(1)-invariant SL 3-fold NN may locally be written in the form

N={(z1,z2,z3)∈ℂ3:z1z2=v(x,y)+iy,z3=x+iu(x,y),|z1|2−|z2|2=2a,(x,y)∈S},\begin{split}N=\bigl\{(z_{1},z_{2},z_{3})\in{\mathbin{\mathbb{C}}}^{3}:\,&z_{1}z_{2}=v(x,y)+iy,\quad z_{3}=x+iu(x,y),\\ &|z_{1}|^{2}-|z_{2}|^{2}=2a,\quad(x,y)\in S\bigr\},\end{split} (2.6)

where SS is a domain in ℝ2{\mathbin{\mathbb{R}}}^{2}, a∈ℝa\in{\mathbin{\mathbb{R}}} and u,v:S→ℝu,v:S\rightarrow{\mathbin{\mathbb{R}}} satisfy (in a weak sense if a=0a=0) the nonlinear Cauchy–Riemann equations

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

If SS is simply-connected, as ∂u∂x=∂v∂y\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y} there exists a potential ff for u,vu,v with ∂f∂y=u\frac{\partial f}{\partial y}=u, ∂f∂x=v\frac{\partial f}{\partial x}=v, satisfying

((∂f∂x)2+y2+a2)−1/2∂2f∂x2+2∂2f∂y2=0.\Bigl(\Bigl(\frac{\partial f}{\partial x}\Bigr)^{2}+y^{2}+a^{2}\Bigr)^{-1/2}\frac{\partial^{2}f}{\partial x^{2}}+2\,\frac{\partial^{2}f}{\partial y^{2}}=0. (2.8)

In [37, 38], for suitable strictly convex domains S⊂ℝ2S\subset{\mathbin{\mathbb{R}}}^{2} and boundary data ϕ:∂S→ℝ\phi:\partial S\rightarrow{\mathbin{\mathbb{R}}}, we prove the existence of a unique f:S→ℝf:S\rightarrow{\mathbin{\mathbb{R}}} satisfying (2.8) and f|∂S=ϕf|_{\partial S}=\phi, and then u=∂f∂yu=\frac{\partial f}{\partial y}, v=∂f∂xv=\frac{\partial f}{\partial x} satisfy (2.7) (possibly in a weak sense if a=0a=0), and NN in (2.6) is special Lagrangian.

When v=y=a=0v=y=a=0, equations (2.7)–(2.8) become singular, and the SL 3-fold NN in (2.6) has a singularity at (0,0,z3)=(0,0,x+i​u​(x,0))(0,0,z_{3})=\bigl(0,0,x+iu(x,0)\bigr) in ℂ3{\mathbin{\mathbb{C}}}^{3}. In the simplest cases NN is locally modelled on the cone CC in (2.4) near (0,0,z3)(0,0,z_{3}), but there are also infinitely many other topological types of singularities not locally modelled on cones. Note that the existence and uniqueness results for NN are entirely independent of the singularities appearing in the interior of NN.

The following will be important in §3.6. Using the results of [37, 38, 39, 40], by choosing a suitable family ϕt:t∈(−ϵ,ϵ)\phi^{t}:t\in(-\epsilon,\epsilon) of boundary conditions for the potential ftf^{t}, we can construct a family Nt:t∈(−ϵ,ϵ)N^{t}:t\in(-\epsilon,\epsilon) of exact U⁡(1){\rm U}(1)-invariant SL 3-folds in ℂ3{\mathbin{\mathbb{C}}}^{3} of the form (2.6) with a=0a=0, with the following properties:

  • (i)

    NtN^{t} depends continuously on t∈(−ϵ,ϵ)t\in(-\epsilon,\epsilon) in a suitable sense, for instance as special Lagrangian integral currents in Geometric Measure Theory.

  • (ii)

    NtN^{t} is nonsingular for t<0t<0.

  • (iii)

    N0N^{0} has one singular point at (0,0,0)∈ℂ3(0,0,0)\in{\mathbin{\mathbb{C}}}^{3}, which has tangent cone Π1∪Π2\Pi_{1}\cup\Pi_{2}, where Π1,Π2\Pi_{1},\Pi_{2} are U⁡(1){\rm U}(1)-invariant special Lagrangian planes in ℂ3{\mathbin{\mathbb{C}}}^{3} intersecting non-transversely with Π1∩Π2=ℝ\Pi_{1}\cap\Pi_{2}={\mathbin{\mathbb{R}}}.

  • (iv)

    NtN^{t} for t>0t>0 has two singular points at (0,0,±z⁡(t))(0,0,\pm z(t)), where z⁡(t)z(t) depends smoothly on tt and z⁡(t)→0z(t)\rightarrow 0 as t→0t\rightarrow 0. Each singular point is locally modelled on the special Lagrangian T2T^{2}-cone CC in (2.4).

Thus, isolated singular points of SL 33-folds modelled on the T2T^{2}-cone CC in (2.4) can appear or disappear in pairs under continuous deformation.

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