ScalingStacks

2.4 Examples of solitons for Lagrangian MCF [03N6]

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

2.4 Examples of solitons for Lagrangian MCF

We now give examples of solitons for Lagrangian MCF. We are interested in graded Lagrangians, and as in §2.3 there are no graded Lagrangian MCF shrinkers. The next example describes a family of LMCF expanders from Joyce, Lee and Tsui [43, Th.s C & D], generalizing the ‘Lawlor necks’ of Example 2.5.

Example 2.13.

Let m>2m>2, α⩾0\alpha\geqslant 0 and a1,…,am>0a_{1},\ldots,a_{m}>0, and define a smooth function P:ℝ→ℝP:{\mathbin{\mathbb{R}}}\rightarrow{\mathbin{\mathbb{R}}} by P⁡(0)=α+a1+⋯+amP(0)=\alpha+a_{1}+\cdots+a_{m} and

P(x)=1x2(eα​x2∏k=1m(1+akx2)−1),x≠0.P(x)=\textstyle\frac{1}{x^{2}}\bigl(e^{\alpha x^{2}}\prod_{k=1}^{m}(1+a_{k}x^{2})-1\bigl),\quad x\neq 0. (2.9)

Define real numbers ϕ1,…,ϕm\phi_{1},\ldots,\phi_{m} by

ϕk=ak​∫−∞∞d​x(1+ak​x2)​P⁡(x),\phi_{k}=a_{k}\int_{-\infty}^{\infty}\frac{{\rm d}x}{(1+a_{k}x^{2})\sqrt{P(x)}}\,,

For k=1,…,mk=1,\ldots,m define a function zk:ℝ→ℂz_{k}:{\mathbin{\mathbb{R}}}\rightarrow{\mathbin{\mathbb{C}}} by

zk​(y)=ei​ψk​(y)​ak−1+y2,where​ψk​(y)=ak​∫−∞yd​x(1+ak​x2)​P⁡(x).z_{k}(y)={\rm e}^{i\psi_{k}(y)}\sqrt{a_{k}^{-1}+y^{2}},\;\>\text{where}\;\>\psi_{k}(y)=a_{k}\int_{-\infty}^{y}\frac{{\rm d}x}{(1+a_{k}x^{2})\sqrt{P(x)}}\,.

Now write ϕ=(ϕ1,…,ϕm){\boldsymbol{\phi}}=(\phi_{1},\ldots,\phi_{m}), and define a submanifold LϕαL_{\boldsymbol{\phi}}^{\alpha} in ℂm{\mathbin{\mathbb{C}}}^{m} by

Lϕα={(z1(y)x1,…,zm(y)xm):y∈ℝ,xk∈ℝ,x12+⋯+xm2=1}.L_{\boldsymbol{\phi}}^{\alpha}=\bigl\{(z_{1}(y)x_{1},\ldots,z_{m}(y)x_{m}):y\in{\mathbin{\mathbb{R}}},\;x_{k}\in{\mathbin{\mathbb{R}}},\;x_{1}^{2}+\cdots+x_{m}^{2}=1\bigr\}.

Then LϕαL_{\boldsymbol{\phi}}^{\alpha} is a closed, embedded Lagrangian diffeomorphic to 𝒮m−1×ℝ{\mathbin{\cal S}}^{m-1}\times{\mathbin{\mathbb{R}}} and satisfying H=α​F⟂H=\alpha F^{\perp}. If α>0\alpha>0 it is an LMCF expander, and if α=0\alpha=0 it is one of the Lawlor necks Lϕ,AL_{{\boldsymbol{\phi}},A} from Example 2.5. It is graded, with Lagrangian angle

θLϕα((z1(y)x1,…,zm(y)xm))=∑k=1mψk(y)+arg(−y−iP(y)−1/2).\theta_{L_{\boldsymbol{\phi}}^{\alpha}}\bigl((z_{1}(y)x_{1},\ldots,z_{m}(y)x_{m})\bigr)=\textstyle\sum_{k=1}^{m}\psi_{k}(y)+\arg\bigl(-y-iP(y)^{-1/2}\bigr).

Note that the only difference between the constructions of Lϕ,AL_{{\boldsymbol{\phi}},A} in Example 2.5 and LϕαL_{\boldsymbol{\phi}}^{\alpha} above is the term eα​x2e^{\alpha x^{2}} in (2.9), which does not appear in (2.3). If α=0\alpha=0 then eα​x2=1e^{\alpha x^{2}}=1, and the two constructions agree.

As in [43, Th. D], LϕαL_{\boldsymbol{\phi}}^{\alpha} is asymptotically conical, with cone CC the union Π0∪Πϕ\Pi_{0}\cup\Pi_{\boldsymbol{\phi}} of two Lagrangian mm-planes Π0,Πϕ\Pi_{0},\Pi_{\boldsymbol{\phi}} in ℂm{\mathbin{\mathbb{C}}}^{m} given by

Π0={(x1,…,xm):xj∈ℝ},Πϕ={(ei​ϕ1x1,…,ei​ϕmxm):xj∈ℝ}.\Pi_{0}=\bigl\{(x_{1},\ldots,x_{m}):x_{j}\in{\mathbin{\mathbb{R}}}\bigr\},\;\>\Pi_{\boldsymbol{\phi}}=\bigl\{({\rm e}^{i\phi_{1}}x_{1},\ldots,{\rm e}^{i\phi_{m}}x_{m}):x_{j}\in{\mathbin{\mathbb{R}}}\bigr\}.

But in contrast to Example 2.5, for α>0\alpha>0 we do not have ϕ1+⋯+ϕm=π\phi_{1}+\cdots+\phi_{m}=\pi, so Πϕ\Pi_{\boldsymbol{\phi}} and CC are not special Lagrangian.

In [43, Th. D] we prove that for fixed α>0\alpha>0, the map Φα:(a1,…,am)↦(ϕ1,…,ϕm)\Phi^{\alpha}:(a_{1},\ldots,a_{m})\mapsto(\phi_{1},\ldots,\phi_{m}) gives a diffeomorphism

Φα:(0,∞)m⟶{(ϕ1,…,ϕm)∈(0,π)m:0<ϕ1+⋯+ϕm<π}.\Phi^{\alpha}:(0,\infty)^{m}\longrightarrow\bigl\{(\phi_{1},\ldots,\phi_{m})\in(0,\pi)^{m}:0<\phi_{1}+\cdots+\phi_{m}<\pi\bigr\}.

That is, for all α>0\alpha>0 and ϕ=(ϕ1,…,ϕm){\boldsymbol{\phi}}=(\phi_{1},\ldots,\phi_{m}) with 0<ϕ1,…,ϕm<π0<\phi_{1},\ldots,\phi_{m}<\pi and 0<ϕ1+⋯+ϕm<π0<\phi_{1}+\cdots+\phi_{m}<\pi, the above construction gives a unique LMCF expander LϕαL_{\boldsymbol{\phi}}^{\alpha} asymptotic to Π0∪Πϕ\Pi_{0}\cup\Pi_{\boldsymbol{\phi}}.

Motivated by the ideas of this paper, Imagi, Oliveira dos Santos and the author [31, Th. 1.1] prove a uniqueness theorem for these LMCF expanders when m⩾3m\geqslant 3. The case m=2m=2 was already proved by Lotay and Neves [47].

Theorem 2.14.

Suppose LL is a closed, embedded, exact, asymptotically conical Lagrangian MCF expander in ℂm{\mathbin{\mathbb{C}}}^{m} for m⩾2,m\geqslant 2, satisfying the expander equation H=α​F⟂H=\alpha F^{\perp} for α>0,\alpha>0, and asymptotic at rate ρ<2\rho<2 to a union Π1∪Π2\Pi_{1}\cup\Pi_{2} of two transversely intersecting Lagrangian planes Π1,Π2\Pi_{1},\Pi_{2} in ℂm{\mathbin{\mathbb{C}}}^{m}. Then LL is equivalent under a U⁡(m){\rm U}(m) rotation to one of the LMCF expanders LϕαL_{\boldsymbol{\phi}}^{\alpha} found by Joyce, Lee and Tsui [43, Th.s C & D], and described in Example 2.13.

Example 2.15.

In dimension m=1m=1, the unique connected Lagrangian MCF translator in ℂ{\mathbin{\mathbb{C}}}, up to rigid motions and rescalings, is the ‘grim reaper’

{x+iy∈ℂ:y∈(−π/2,π/2),x=−logcosy},\bigl\{x+iy\in{\mathbin{\mathbb{C}}}:y\in(-\pi/2,\pi/2),\quad x=-\log\cos y\bigr\},

with translating vector v=1∈ℂv=1\in{\mathbin{\mathbb{C}}}, which is sketched in Figure 2.1.

MCF translates in this direction ⟶\longrightarrow

Figure 2.1: ‘Grim reaper’ Lagrangian MCF translating soliton in ℂ{\mathbin{\mathbb{C}}}

Here is a family of LMCF translators from Joyce, Lee and Tsui [43, Cor. I]:

Example 2.16.

For given constants α>0\alpha>0 and a1,…,am−1>0,a_{1},\ldots,a_{m-1}>0, define

ψj​(y)=∫−∞yd​t(1aj+t2)​P⁡(t),where​P​(t)=1t2​(∏k=1m−1(1+ak​t2)​eα​t2−1),\psi_{j}(y)=\int_{-\infty}^{y}\frac{{\rm d}t}{(\frac{1}{a_{j}}+t^{2})\sqrt{P(t)}}\,,\;\>\text{where}\;\>P(t)=\frac{1}{t^{2}}\bigg(\prod_{k=1}^{m-1}(1+a_{k}t^{2})e^{\alpha t^{2}}-1\bigg),

for j=1,…,m−1j=1,\ldots,m-1 and y∈ℝy\in{\mathbin{\mathbb{R}}}. Then

L=\displaystyle L= {(x11a1+y2ei​ψ1​(y),…,xm−11am−1+y2ei​ψm−1​(y),12y2−12∑j=1m−1xj2\displaystyle\bigl\{\bigl(x_{1}\textstyle\sqrt{\frac{1}{a_{1}}\!+\!y^{2}}\,e^{i\psi_{1}(y)},\ldots,x_{m-1}\sqrt{\frac{1}{a_{m-1}}\!+\!y^{2}}\,e^{i\psi_{m-1}(y)},\textstyle{\textstyle\frac{1}{2}}y^{2}\!-\!{\textstyle\frac{1}{2}}\sum_{j=1}^{m-1}x_{j}^{2}
−iα∑j=1m−1ψj(y)−iαarg(y+iP(y)−1/2)):x1,…,xm−1,y∈ℝ}\displaystyle-\textstyle\frac{i}{\alpha}\sum_{j=1}^{m-1}\psi_{j}(y)-\textstyle\frac{i}{\alpha}\arg(y+iP(y)^{-1/2})\bigr):x_{1},\ldots,x_{m-1},y\in{\mathbin{\mathbb{R}}}\bigr\} (2.10)

is a closed, embedded Lagrangian in ℂm{\mathbin{\mathbb{C}}}^{m} diffeomorphic to ℝm,{\mathbin{\mathbb{R}}}^{m}, which is a Lagrangian MCF translator with translating vector (0,…,0,α)∈ℂm(0,\ldots,0,\alpha)\in{\mathbin{\mathbb{C}}}^{m}.

Define ϕ1,…,ϕm−1∈ℝ\phi_{1},\ldots,\phi_{m-1}\in{\mathbin{\mathbb{R}}} by

ϕj=∫−∞∞d​t(1aj+t2)​P⁡(t).\phi_{j}=\int_{-\infty}^{\infty}\frac{{\rm d}t}{(\frac{1}{a_{j}}+t^{2})\sqrt{P(t)}}\,.

Then ϕ1,…,ϕm−1∈(0,π)\phi_{1},\ldots,\phi_{m-1}\in(0,\pi) with ϕ1+⋯+ϕm−1<π\phi_{1}+\cdots+\phi_{m-1}<\pi, and ψj​(y)→ϕj\psi_{j}(y)\rightarrow\phi_{j} as y→∞y\rightarrow\infty, and ψj​(y)→0\psi_{j}(y)\rightarrow 0 as y→−∞y\rightarrow-\infty. For fixed α>0,\alpha>0, the map (a1,…,am−1)↦(ϕ1,…,ϕm−1)(a_{1},\ldots,a_{m-1})\mapsto(\phi_{1},\ldots,\phi_{m-1}) is a 1-1 correspondence from (0,∞)m−1(0,\infty)^{m-1} to {(ϕ1,…,ϕm−1)∈(0,π)m−1:ϕ1+⋯+ϕm−1<π}\bigl\{(\phi_{1},\ldots,\phi_{m-1})\in(0,\pi)^{m-1}:\phi_{1}+\cdots+\phi_{m-1}<\pi\bigr\}.

The phase function θL\theta_{L} of LL in (2.10) is a monotone decreasing function of yy only, with limits π\pi as y→−∞y\rightarrow-\infty and ∑j=1m−1ϕj\sum_{j=1}^{m-1}\phi_{j} as y→+∞y\rightarrow+\infty. Thus, by choosing ∑j=1m−1ϕj\sum_{j=1}^{m-1}\phi_{j} close to π,\pi, the phase variation of LL can be made arbitrarily small.

We can give the following heuristic description of LL in (2.10). If y≫0y\gg 0 then ψj​(y)≈ϕj\psi_{j}(y)\approx\phi_{j} and 1aj+y2≈y\sqrt{\frac{1}{a_{j}}+y^{2}}\approx y, and the terms −iα∑j=1nψj(y)−iαarg(y+iP(y)−1/2)-\frac{i}{\alpha}\sum_{j=1}^{n}\psi_{j}(y)-\frac{i}{\alpha}\arg(y+iP(y)^{-1/2}) are negligible compared to 12​y2{\textstyle\frac{1}{2}}y^{2} in the last coordinate. Thus, the region of LL with y≫0y\!\gg\!0 is in a weak sense approximate to

{(x1yei​ϕ1,…,xm−1yei​ϕm−1,12y2−12∑j=1m−1xj2):x1,…,xm−1∈ℝ,y>0}.\bigl\{\bigl(x_{1}ye^{i\phi_{1}},\ldots,x_{m-1}ye^{i\phi_{m-1}},\textstyle{\textstyle\frac{1}{2}}y^{2}-{\textstyle\frac{1}{2}}\sum_{j=1}^{m-1}x_{j}^{2}\bigr):x_{1},\ldots,x_{m-1}\in{\mathbin{\mathbb{R}}},\;y>0\bigr\}.

But this is just an unusual way of parametrizing

Πϕ={(y1ei​ϕ1,…,ym−1ei​ϕm−1,ym):yj∈ℝ}∖{(0,…,0,ym):ym⩽0},\Pi_{\boldsymbol{\phi}}=\bigl\{\bigl(y_{1}e^{i\phi_{1}},\ldots,y_{m-1}e^{i\phi_{m-1}},y_{m}\bigr):y_{j}\in{\mathbin{\mathbb{R}}}\bigr\}\setminus\bigl\{(0,\ldots,0,y_{m}):y_{m}\leqslant\penalty 0\bigr\},

the complement of a ray in a Lagrangian plane. Similarly, the region of LL with y≪0y\ll 0 is in a weak sense approximate to

Π0={(y1,…,ym−1,ym):yj∈ℝ}∖{(0,…,0,ym):ym⩽0}.\Pi_{0}=\bigl\{(y_{1},\ldots,y_{m-1},y_{m}):y_{j}\in{\mathbin{\mathbb{R}}}\bigr\}\setminus\bigl\{(0,\ldots,0,y_{m}):y_{m}\leqslant\penalty 0\bigr\}.

So, LL can be roughly described as asymptotic to the union of two Lagrangian planes Π0,Πϕ≅ℝm\Pi_{0},\Pi_{\boldsymbol{\phi}}\cong{\mathbin{\mathbb{R}}}^{m} which intersect in an ℝ{\mathbin{\mathbb{R}}} in ℂm{\mathbin{\mathbb{C}}}^{m}, the ymy_{m}-axis {(0,…,0,ym):ym∈ℝ}\bigl\{(0,\ldots,0,y_{m}):y_{m}\in{\mathbin{\mathbb{R}}}\bigr\}. To make LL, we glue these Lagrangian planes by a kind of ‘connect sum’ along the negative ymy_{m}-axis {(0,…,0,ym):ym⩽0}\bigl\{(0,\ldots,0,y_{m}):y_{m}\leqslant\penalty 0\bigr\}. Under Lagrangian mean curvature flow, Π0,Πϕ\Pi_{0},\Pi_{\boldsymbol{\phi}} remain fixed, but the gluing region translates in the positive ymy_{m} direction, as though Π0,Πϕ\Pi_{0},\Pi_{\boldsymbol{\phi}} are being ‘zipped together’.

A slightly more accurate description of the ends of LL for large yy is that LL approximates Π~ϕ\tilde{\Pi}_{\boldsymbol{\phi}} when y≫0y\gg 0 and Π~0\tilde{\Pi}_{0} when y≪0y\ll 0, where Π~ϕ\tilde{\Pi}_{\boldsymbol{\phi}} and Π~0\tilde{\Pi}_{0} are the non-intersecting affine Lagrangian planes in ℂm{\mathbin{\mathbb{C}}}^{m}

Π~ϕ={(y1ei​ϕ1,…,ym−1ei​ϕm−1,ym−iα(ϕ1+⋯+ϕm−1)):yj∈ℝ},Π~0={(y1,…,ym−1,ym−i​πα):yj∈ℝ}.\begin{split}\tilde{\Pi}_{\boldsymbol{\phi}}&=\bigl\{\bigl(y_{1}e^{i\phi_{1}},\ldots,y_{m-1}e^{i\phi_{m-1}},y_{m}\!-\!\textstyle\frac{i}{\alpha}(\phi_{1}\!+\!\cdots\!+\!\phi_{m-1})\bigr):y_{j}\!\in\!{\mathbin{\mathbb{R}}}\bigr\},\\ \tilde{\Pi}_{0}&=\bigl\{\bigl(y_{1},\ldots,y_{m-1},y_{m}-\textstyle\frac{i\pi}{\alpha}\bigr):y_{j}\in{\mathbin{\mathbb{R}}}\bigr\}.\end{split} (2.11)

We will discuss these Lagrangian MCF translators further in Example 3.32.

Castro and Lerma [12] give more examples of Lagrangian MCF translators in ℂ2{\mathbin{\mathbb{C}}}^{2}. Neves and Tian [58] prove some nonexistence results.

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