Abstract
We consider a short time existence problem motivated by a conjecture of Joyce (Conjectures on Bridgeland stability for Fukaya categories of Calabi–Yau manifolds, special Lagrangians, and Lagrangian mean curvature flow. arXiv:1401.4949, 2014). Specifically we prove that given any compact Lagrangian \(L\subset \mathbb {C}^n\) with a finite number of singularities, each asymptotic to a pair of non-area-minimising, transversally intersecting Lagrangian planes, there is a smooth Lagrangian mean curvature flow existing for some positive time, that attains L as \(t \searrow 0\) as varifolds, and smoothly locally away from the singularities.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A long-standing open problem in the study of Calabi-Yau manifolds is whether given a Lagrangian submanifold, one can find a special Lagrangian in its homology or Hamiltonian isotopy class. Special Lagrangians are always area minimising, so one way to approach the existence problem is to try to minimise area among all Lagrangians in a given class. This minimisation problem turns out to be very subtle and fraught with difficulties. Indeed Schoen and Wolfson [14] showed that when the real dimension is 4, given a particular class one can find a Lagrangian minimising area among Lagrangians in that class, but that the minimiser need not be a special Lagrangian. Later Wolfson [20] found a K3 surface and a Lagrangian sphere in this surface such that the area minimiser among Lagrangians in the homology class of the sphere, is not special Lagrangian, and the area minimiser in the class is not Lagrangian.
An alternative way of approaching the problem is to consider mean curvature flow. Mean curvature flow is a geometric evolution of submanifolds where the velocity at any point is given by the mean curvature vector. This can also be seen as the gradient descent for the area functional. Smoczyk showed in [15] that the Lagrangian condition is preserved by mean curvature flow if the ambient space is Kähler–Einstein, and consequently mean curvature flow has been proposed as a means of constructing special Lagrangians. In order to flow to a special Lagrangian, one would need to show that the flow exists for all time. This however can’t be expected in general, as finite time singularities abound. See for example Neves [13]. For a nice overview on what is known about singularities of Lagrangian mean curvature flow, we refer the reader to the survey paper of Neves [12].
A natural question is whether it might be possible to continue the flow in a weaker sense once a singularity develops and, in doing so, to push through the singularity. Since all special Lagrangians are zero-Maslov class, and the Maslov class is preserved by Lagrangian mean curvature flow, of particular interest is the mean curvature flow of zero-Maslov class Lagrangians. In this case, the structure of singularities is relatively well understood. Indeed Neves [11] has shown that a singularity of zero-Maslov class Lagrangian mean curvature flow must be asymptotic to a union of special Lagrangian cones. We note that in \(\mathbb {C}^2\) every such union is simply a union of Lagrangian planes, and so the case we consider in the theorem below is not necessarily overly restrictive. In this paper we consider the simplest such singularity, namely that where the singularities are each asymptotic to the union of two non-area-minimising, transversally intersecting Lagrangian planes. Specifically we prove the following theorem which serves as a partial answer to Problem 3.14 in [8].
Theorem
(Short-time existence) Suppose that \(L\subset \mathbb {C}^n\) is a compact Lagrangian submanifold of \(\mathbb {C}^n\) with a finite number of singularities, each of which is asymptotic to a pair of transversally intersecting planes \(P_1 + P_2\) where neither \(P_1 + P_2\) nor \(P_1 - P_2\) are area minimizing. Then there exists \(T > 0\) and a Lagrangian mean curvature flow \((L_t)_{0<t<T}\) such that as \(t \searrow 0\), \(L_t \rightarrow L\) as varifolds and in \(C^\infty _\mathrm{loc}\) away from the singularities.
We remark that the assumptions \(L \subset \mathbb {C}^n\) and L compact are made to simplify the analysis in the sequel, however since the analysis is all of an entirely local nature we may relax this to \(L \subset M\) for some Calabi-Yau manifold M, and to L non-compact provided, in the latter case, that we impose suitable conditions at infinity.
In the one-dimensional case all curves are Lagrangian. Ilmanen–Neves–Schulze considered the flow of planar networks, that is finite unions of embedded line segments of non-zero length meeting only at their endpoints, in [5]. They showed that there exists a flow of regular networks, that is networks where at any meeting point exactly three line segments come together at angles of \(2\pi /3\), starting at any initial non-regular network. To do so they performed a gluing procedure to get an approximating family of regular initial conditions, and proved uniform estimates on the corresponding flows, allowing them to pass to a limit of flows to prove the result. The proof here is based heavily on their arguments, and many of the calculations we do are similar to those in that paper. To prove the short-time existence, we construct a smooth approximating family \(L^s\) of initial conditions via a surgery procedure. Specifically we take a singularity asymptotic to some non-area-minimising pair of planes \(P_1 + P_2\), cut it out and glue in a piece of the Lagrangian self-expander asymptotic to those planes at a scale determined by s. For full details see Sect. 7. Each of these approximating Lagrangians is smooth, and hence standard short time existence theory gives a smooth Lagrangian mean curvature flow \(L^s_t\) corresponding to each s. As \(s\rightarrow 0\) the curvature of \(L^s\) blows up so the existence time of the flows \(L^s_t\) guaranteed by the standard short time existence theory goes to zero. Instead we are able to prove uniform estimates on the Gaussian density ratios of \(L^s_t\), which combined with the local regularity result of Brian White [19] provides uniform curvature estimates, interior in time, on the flows \(L^s_t\), from which we obtain a uniform time of existence allowing us to pass to a limit of flows and prove the main result.
There are two key components in the proof of the estimates on the Gaussian density ratios. The first is a stability result for self-expanding solutions to Lagrangian mean curvature flow. More specifically we show that if a Lagrangian is weakly close to a Lagrangian self expander in an \(L^2\) sense, then it is close in a stronger \(C^{1,\alpha }\) sense. The proof of this stability result depends crucially on a uniqueness result for zero-Maslov smooth self-expanders asymptotic to transverse pairs of planes due to Lotay and Neves [10] and Imagi et al. [6]. The second component is a monotonicity formula for the self-expander equation, which allows us to show that the approximating family of initial conditions that we construct in the proof, which are self-expanders in a ball, remain weakly close to the self-expander for a short time. The combination of these results tells us that the evolution of the approximating flows is close to the evolution of the self-expander near the singularity. Since self-expanders move by dilation, we have good curvature control on the self-expander, and hence estimates on the Gaussian densities of the approximating flow.
Organisation The paper is organised as follows. In Sect. 2 we recall key definitions and results. In Sect. 3 we derive evolution equations and monotonicity formulas for geometric quantities under the flow. In Sect. 4 we prove the Stability result mentioned above. Section 5 contains the proof of the main theorem which gives uniform estimates on the Gaussian density ratios of the approximating family near the singularity. From this we get uniform estimates, interior in time, on the curvature of the approximating family which allows us to appeal to a compactness argument. Section 6 contains the proof of the short time existence result itself. Section 7 details the construction of the approximating family used in the proof of the main theorem. Finally the appendix, Sect. A, contains miscellaneous technical results, including Ecker–Huisken style curvature estimates for high-codimension mean curvature flow.
2 Preliminaries
2.1 Mean curvature flow
Let \(M^n \subset \mathbb {R}^{n+k}\) be an n-dimensional embedded submanifold of \(\mathbb {R}^{n+k}\). A mean curvature flow is a one parameter family of immersions \(F:M\times [0,T)\rightarrow \mathbb {R}^{n+k}\) such that the normal velocity at any point is given by the mean curvature vector, that is
Of particular interest to us are self-expanders. These are submanifolds \(M \subset \mathbb {R}^{n+k}\) satisfying the elliptic equation
where \((\cdot )^\perp \) is the projection to the normal space. In this case one can show that \(M_t = \sqrt{2t}M\) is a solution of mean curvature flow.
A fundamental tool in the analysis of mean curvature flow is the Gaussian density. We first define the backwards heat kernel \(\rho _{(x_0,t_0)}\) as follows
Next, for a mean curvature flow \((M_t)_{0\le t<T}\) we define the Gaussian density ratio centred at \((x_0,t_0)\) and at scale r by
this is defined for \(0 < t_0 \le T\), \(0 < r \le \sqrt{t_0}\) and any \(x_0 \in \mathbb {R}^{n+k}\). Huisken in [4] proved the following monotonicity formula.
Theorem 2.1
(Monotonicity Formula) If \((M_t)_{0\le t<t_0}\) is a mean curvature flow, then
In particular, it follows that \(\Theta (x_0,t_0,r)\) is non-decreasing in r. Consequently we can define the Gaussian density as
One can show that \((x_0,t_0)\) is a regular point of the flow if and only if \(\Theta (x_0,t_0) = 1\). The following local regularity theorem of White [19] says that if the density ratios are close to 1, then that is enough to get curvature estimates.
Theorem 2.2
(Local regularity) Let \(\tau > 0\). There are constants \(\varepsilon _0(n,k) > 0\) and \(C_0(n,k,\tau ) < \infty \) such that if \(\partial M_t \cap B_{2r} = \emptyset \) for \(t \in [0,r^2)\) and
then
where A(x, t) is the second fundamental form of \(M_t\) at the point x.
Finally, we introduce what it means for two manifolds to be \(\varepsilon \)-close in \(C^{1,\alpha }\). Given an open set \(U\subset \mathbb {R}^{n+k}\) and two n-dimensional submanifolds \(\Sigma \) and L defined in U, we say that \(\Sigma \) and L are 1-close in \(C^{1,\alpha }(W)\) for any \(W \subset U\) with \(\mathrm {dist}(W, \partial U) \ge 1\) if for all \(x \in W\), \(B_1(x) \cap \Sigma \) and \(B_1(x) \cap L\) are both graphical over some common n-dimensional plane, and if u and v denote the respective graph functions then \(\Vert u - v\Vert _{1,\alpha } \le 1\). We then say that \(\Sigma \) and L are \(\varepsilon \)-close in W if after rescaling by a factor \(1/\varepsilon \), \(\Sigma \) and L are 1-close in \(\varepsilon ^{-1}W\) for any W with \(\mathrm {dist}(\varepsilon ^{-1}W, \varepsilon ^{-1}\partial U) \ge 1\).
2.2 Lagrangian submanifolds and Lagrangian mean curvature flow
We consider \(\mathbb {C}^n\) with the standard complex coordinates \(z_j = x_j + iy_j\). We will often identify \(\mathbb {C}^n\) with \(\mathbb {R}^{2n}\). We let J denote the standard complex structure on \(\mathbb {C}^n\) and \(\omega \) the standard symplectic form on \(\mathbb {C}^n\), defined by
We say that a smooth n-dimensional submanifold of \(\mathbb {C}^n\) is Lagrangian if \(\omega |_L = 0\). We also consider the closed n-form \(\Omega \), called the holomorphic volume form, defined by
On any oriented Lagrangian a simple computation shows that \(\Omega |_L = e^{i\theta _L} \mathrm {vol}_L\), where \(\mathrm {vol}_L\) is the volume form on L. We call \(e^{i\theta _L}:L\rightarrow S^1\) the Lagrangian phase, and \(\theta _L\) the Lagrangian angle, which may be a multi-valued function. We henceforth suppress the subscript L. In the case that \(\theta \) is a single valued function, we say that the Lagrangian L is zero-Maslov. An equivalent condition is \([d\theta ] = 0\), that is, \(d\theta \) is cohomologous to 0. If \(\theta \equiv \theta _0\) is constant, then we say that L is special Lagrangian. In this case L is calibrated by \(\mathrm {Re}(e^{-i\theta _0}\mathrm {vol}_L)\), and hence is area-minimising in its homology class.
We also consider the Liouville form \(\lambda \) on \(\mathbb {C}^n\) defined by
A simple calculation verifies that \(d\lambda = 2\omega \). If there exists some function \(\beta \) such that \(\lambda |_L = d\beta \) then we say that L is exact. In this paper we will be more interested in local exactness, that is when the Liouville form \(\lambda \) only has a primitive in some open set. It can be shown that any smooth Lagrangian is locally exact.
The following remarkable property of smooth Lagrangians relates the Lagrangian angle and mean curvature vector (see for example [16])
Consequently we see that the smooth minimal Lagrangians are exactly the smooth special Lagrangians.
A Lagrangian mean curvature flow in \(\mathbb {C}^n\) is a mean curvature flow \((L_t)_{0\le t<T}\) with \(L_0\) Lagrangian. As proved by Smoczyk [15], it turns out that the Lagrangian condition is preserved by the mean curvature flow.
3 Evolution equations and monotonicity formulas
In this section we compute evolution equations for different geometric quantities under the flow, and then use these to prove a local monotonicity formula for a primitive of the expander equation.
Lemma 3.1
Let \((L_t)_{0\le t<T}\) be a Lagrangian mean curvature flow in \(\mathbb {C}^n\). The following evolution equations hold.
-
(i)
\(\frac{d\theta _t}{d t} = \Delta \theta _t\), where \(\theta _t\) is the Lagrangian angle for \(L_t\). Note that since only derivatives of \(\theta _t\) appear here, this does not require the assumption that the flow is zero-Maslov.
-
(ii)
In an open set where the flow is zero-Maslov and exact with \(\beta _t\) a primitive for the Liouville form, \(\frac{d\beta _t}{d t} = \Delta \beta _t - 2\theta _t\).
-
(iii)
\(\left( \frac{d \rho _{(x_0,t_0)}}{d t} + \Delta \rho _{(x_0,t_0)}\right) - |\vec {H}|^2\rho _{(x_0,t_0)}= - \left| \vec {H} - \frac{(x_0 - x)^\perp }{2(t_0 -t)}\right| ^2\rho _{(x_0,t_0)}\).
Remark
In particular, from part (iii) we have
Proof
(i) Differentiating the holomorphic volume form \(\Omega \) and using Cartan’s formula we have
On the other hand
Comparing real and imaginary parts we have (i).
(ii) Using Cartan’s formula again and denoting the Liouville form by \(\lambda _t\), we have
Hence
By possibly adding a time-dependent constant to \(\beta _t\) this implies
Hence it only remains to show that \(\vec {H}\lrcorner \lambda _t = \Delta \beta _t\). We first show that \(\nabla \beta _t = (Jx)^T\). Indeed we have \(d\beta _t = \lambda _t\), thus for a tangent vector \(\tau \)
With this in hand we now choose normal coordinates at a point x, and denote the coordinate tangent vectors by \(\{\partial _1,\dots ,\partial _n\}\). Then we calculate
where \(h_{ij}\) is the second fundamental form. Taking the trace of each side we have
(iii) We may assume without loss of generality that \(x_0 = 0\) and \(t_0 = 0\), and we will suppress the subscripts of \(\rho \). We first calculate
Then we have
where \(p^{ij}\) denotes the matrix of the projection onto \(T_xM\). We therefore calculate
which establishes the claim. \(\square \)
Remark
From the above evolution equations we see that both the zero-Maslov condition, and local exactness are preserved by the flow. Indeed that the zero-Maslov condition is preserved follows easily, and for local exactness we observe
So by the fundamental theorem of calculus we have
where the right hand side is exact if \(\lambda _0\) is.
Let \(\phi \) be a cut-off function supported on \(B_3\) with \(0\le \phi \le 1\), \(\phi \equiv 1\) on \(B_2\) and the estimates \(|D\phi | \le 2\) and \(|D^2\phi | \le C\). We then have the following lemma.
Lemma 3.2
Suppose that \((L_t)\) are exact in \(B_3\) and define \(\alpha _t := \beta _t + 2t\theta _t\). Then
where \(C = C(\phi )\).
Remark
Note that it follows from Lemma 3.1 that
This is the motivation for why we might expect \(\alpha _t\) to satisfy some sort of monotonicity formula in the first place.
Proof
We calculate
where \(\chi _{B_3{\setminus } B_2}\) denotes the indicator function on \(B_3 {\setminus } B_2\). Then
Using Young’s inequality we estimate the last term on the set \(\{\phi > 0\}\) as follows
where we used that
This is true of any compactly supported smooth (or even \(C^2\)) function. Thus we arrive at
We now just differentiate under the integral and use Green’s identity to get
So we are left with precisely the desired inequality since \(\nabla \alpha _t = \nabla \beta _t + 2t\nabla \theta _t = Jx^\perp - 2tJ\vec {H}\). \(\square \)
4 Stability of self-expanders
In this section we prove a dynamic stability result for Lagrangian self-expanders. More specifically we show that if a Lagrangian submanifold is asymptotic to some pair of planes and is almost a self-expander in a weak sense, then the submanifold is actually close in a stronger topology to some self-expander. Let \(P_1\), \(P_2\subset \mathbb {C}^n\) be Lagrangian planes intersecting transversally such that neither \(P_1 + P_2\) nor \(P_1 - P_2\) are area minimising. We denote by \(P := P_1 + P_2\). We will need the following uniqueness result, proved by Lotay and Neves [10] in dimension 2 and Imagi et al. [6] in dimensions 3 and higher.
Theorem 4.1
There exists a unique smooth, zero-Maslov class Lagrangian self-expander asymptotic to P.
Theorem 4.2
Fix R, r, \(\tau > 0\), \(\alpha \), \(\varepsilon _0 < 1\), and \(C, M < \infty \). Let \(\Sigma \) be the unique smooth zero-Maslov Lagrangian self-expander asymptotic to P. Then for all \(\varepsilon > 0\) there exists \(\tilde{R} \ge R\), \(\eta \), \(\nu > 0\) each dependent on \(\varepsilon _0\), \(\varepsilon \), r, R, \(\tau \), \(\alpha \), C, M and P such that if L is a smooth Lagrangian submanifold which is zero-Maslov in \(B_{\tilde{R}}\) and
-
(i)
\(|A|\le M\) on \(L\cap B_{\tilde{R}}\),
-
(ii)
\(\int _L \rho _{(x,0)}(y,-r^2)d\mathcal {H}^n \le 1 + \varepsilon _0\) for all x and \(0 < r \le \tau \),
-
(iii)
\(\int _{L\cap B_{\tilde{R}}} |\vec {H} - x^\perp |^2d\mathcal {H}^n \le \eta \),
-
(iv)
The connected components of \(L\cap A(r,\tilde{R})\) (where \(A(r, \tilde{R}) := \overline{B_{\tilde{R}}}{\setminus } B_r\)) are in one to one correspondence with the connected components of \(P \cap A(r, \tilde{R})\) and
$$\begin{aligned} \mathrm {dist}(x, P) \le \nu + C\mathrm {exp}\left( \frac{-|x|^2}{C}\right) , \end{aligned}$$for all \(x \in L\cap A(r, \tilde{R})\);
then L is \(\varepsilon \)-close to \(\Sigma \) in \(C^{1,\alpha }(\overline{B}_{\tilde{R}})\).
Proof
Seeking a contradiction, suppose that the result were not true. Then there would exist sequences \(\nu _i \searrow 0\), \(\eta _i \searrow 0\), \(R_i \rightarrow \infty \) and \(L_i\) such that each \(L_i\) is a smooth Lagrangian submanifold of \(\mathbb {C}^n\) that is zero-Maslov in \(B_{R_i}\), satisfying
-
(1)
\(|A^{L_i}| \le M\) on \(L_i\cap B_{R_i}\),
-
(2)
\(\int _{L_i} \rho _{(x,0)}(y,-r^2)d\mathcal {H}^n \le 1 + \varepsilon _0\) for all x and \(0 < r \le \tau \),
-
(3)
\(\int _{L_i\cap B_{R_i}} |\vec {H} - x^\perp |^2 d\mathcal {H}^n \le \eta _i\)
-
(4)
The connected components of \(L_i\cap A(r,R_i)\) are in one to one correspondence with the connected components of \(P\cap A(r,R_i)\) and
$$\begin{aligned} \mathrm {dist}(x,P) \le \nu _i + C\exp \left( \frac{-|x|^2}{C}\right) \end{aligned}$$for all \(x \in L_i\cap A(r,R_i)\),
-
(5)
\(L_i\) is not \(\varepsilon \)-close to \(\Sigma \) in \(C^{1,\alpha }(B_{R_i})\).
By virtue of (1), (4), and a suitable interpolation inequality, it follows that for some \(\rho > 0\), outside of \(B_\rho \), \(L_i\) and \(\Sigma \) are both \(\varepsilon /4\)-close to P in \(C^{1,\alpha }\). Hence, in order that (5) is satisfied, we conclude that for large i, \(L_i\) is not \(\varepsilon \)-close to \(\Sigma \) in \(C^{1,\alpha }(B_\rho )\).
On the other hand, by (1) and (2) we may extract a subsequence of \(L_i\) that converges in \(C^{1,\alpha }_\mathrm{loc}\) for all \(\alpha < 1\) to some limit \(L_\infty \), a \(C^{1,1}\) zero-Maslov Lagrangian submanifold. The estimate (2) passes to the limit and tells us that \(L_\infty \) has unit multiplicity everywhere, and bounded area ratios. Since \(L_\infty \) is \(C^{1,1}\) we can define mean curvature in a weak sense, and (3) implies
By standard Schauder theory for elliptic PDE, this immediately implies that \(L_\infty \) is in fact smooth and satisfies the expander equation in the classical sense. Consequently \(L_\infty \) is a smooth, zero-Maslov class Lagrangian submanifold, and (4) implies that \(L_\infty \) is asymptotic to P. Theorem 4.1 then implies that \(L_\infty = \Sigma \), which contradicts (5). \(\square \)
5 Main theorem
Suppose, as in the previous section, that \(P := P_1 + P_2\) is a pair of transversely intersecting Lagrangian planes such that neither \(P_1 + P_2\) nor \(P_1 - P_2\) are minimising, and that \(\Sigma \) is a zero-Maslov Lagrangian self-expander asymptotic to P. We assume the existence of a family \((L^s)_{0<s\le c}\) of compact Lagrangians, each exact and zero-Maslov in \(B_4\) satisfying the following properties. The existence of such a family will be established in Sect. 7.
-
(H1)
The area ratios are uniformly bounded, i.e. there exists a constant \(D_1\) such that
$$\begin{aligned} \mathcal {H}^n(L^s\cap B_r(x)) \le D_1 r^n \quad \forall r > 0, \quad \forall s \in (0,c], \quad \forall x. \end{aligned}$$ -
(H2)
There is a constant \(D_2\) such that for every s and \(x \in L^s\cap B_4\)
$$\begin{aligned} |\theta ^s(x)| + |\beta ^s(x)| \le D_2(|x|^2 + 1), \end{aligned}$$where \(\theta ^s\) and \(\beta ^s\) are, respectively, the Lagrangian angle of \(L^s\) and a primitive for the Liouville form on \(L^s\).
-
(H3)
For any \(\alpha \in (0, 1)\), the rescaled manifolds \(\tilde{L}^s := (2s)^{-1/2}L^s\) converge in \(C^{1,\alpha }_\mathrm{loc}\) to \(\Sigma \). Moreover the second fundamental form of \(\tilde{L}^s\) is bounded uniformly in s and without loss of generality we can assume that
$$\begin{aligned} \lim _{s\rightarrow 0} (\tilde{\theta }^s + \tilde{\beta }^s) = 0 \end{aligned}$$locally on \(\tilde{L}^s\). (Note that \(\tilde{L}^s\) is exact in the ball \(B_{4(2s)^{-1/2}}\) so we can make sense of \(\tilde{\beta }^s\) in the limit.)
-
(H4)
The connected components of \(P \cap A(r_0\sqrt{s}, 4)\) are in one to one correspondence with the connected components of \(L^s\cap A(r_0\sqrt{s}, 4)\), and each component can be parametrised as a graph over the corresponding plane \(P_i\)
$$\begin{aligned} L^s \cap A(r_0\sqrt{s},3) \subset \{x + u_s(x) | x \in P\cap A(r_0\sqrt{s}, 3)\} \subset L^s\cap A(r_0\sqrt{s}, 4), \end{aligned}$$where the function \(u_s:P\cap A(r_0\sqrt{s}, 3) \rightarrow P^\perp \) is normal to P and satisfies the estimate
$$\begin{aligned} |u_s(x)| + |x|\left| \overline{\nabla }u_s(x)\right| + |x|^2|\overline{\nabla }^2 u_s(x)| \le D_3\left( |x|^2 + \sqrt{2s}e^{-b|x|^2/2s}\right) , \end{aligned}$$where \(\overline{\nabla }\) denotes the covariant derivative on P, and \(b > 0\).
We will denote by \((L^s_t)_{t\in [0,T_s)}\) a smooth solution of Lagrangian mean curvature flow with initial condition \(L^s\). For \(x_0 \in \mathbb {R}^{2n}\) and \(t > 0\) we define
We introduce a slightly modified notion of the Gaussian density ratios, which we will continue to refer to as the Gaussian density ratios, of \(L^s_t\) at \(x_0\), denoted \(\Theta _t^s(x_0,r)\) and defined as
defined for \(t < T_s\). The monotonicity formula of Huisken tells us that
for all \(\rho \ge r\). In particular choosing \(\rho ^2 = t+r^2\) we have
We also define
We will denote by \(\tilde{\Theta }^s_t(x_0,r)\) the Gaussian density ratios of \((\tilde{L}^s_t)\), that is
One of the primary reasons for modifying the Gaussian density ratios is that our new ratios behave well under the above rescaling. Indeed we can calculate
The primary goal of this section is now to prove the following result.
Theorem 5.1
Let \(\varepsilon _0 > 0\). There are \(s_0\), \(\delta _0\) and \(\tau \) depending on \(D_1, D_2, D_3\), \(\Sigma \) and \(r_0\) such that if
then
for every \(x_0 \in B_1\).
We start by proving estimates like the one in the above theorem hold for a short time or far from the origin.
Lemma 5.2
(Far from the origin estimate) Let \(\varepsilon _0 > 0\). There are \(\delta _1 > 0\), \(K_0 < \infty \) such that if \(r^2 \le t \le \delta _1\) and \(s > 0\), then
for all \(x_0 \in A(K_0\sqrt{2t}, 1)\).
Proof
We first claim that there is a \(K_0 < \infty \) such that if \(y_0 \in \mathbb {R}^{2n}\) has \(|y_0| \ge K_0\), then for any \(\lambda > 0\) and s we have
Indeed if this were not the case, then there would exist sequences \(y_i\), \(\lambda _i\) and \(s_i\) with \(|y_i| \rightarrow \infty \) such that
First we note that \(\lambda _i\) must be unbounded since, for some universal constant C we have
so it is easily seen that if \(\lambda _i\) were bounded then (5.2) would fail for large i. Next from the estimate (H4) we have that
for every \(x \in A(r_0\sqrt{2s}, 4)\) and hence
on \(B_3\cap L^s\), since on \(B_{r_0\sqrt{2s}}\) we have \(|A| \le C(2s)^{-1/2}\) where C is a curvature bound for \(\Sigma \). We rescale and define
so that on \(\hat{L_i}\) we have the estimate
Consequently \(|A|\rightarrow 0\) uniformly on compact sets centred at \(y_i\), so it follows that locally \(\hat{L_i} - y_i \) converges to a plane, but this contradicts (5.2).
We next observe that (H1) ensures that we may choose \(\delta _1 > 0\) small enough such that for any \(x_0 \in B_1(0)\) and \(l \le 2\sqrt{\delta _1}\) we have
By the monotonicity formula we have that for any \(r^2, t \le \delta _1\)
provided that \(|x_0| \ge K_0\sqrt{r^2 + t}\), so imposing the additional requirement that \(r^2 \le t\) this gives precisely the desired result. \(\square \)
Remark
We observe that increasing \(K_0\) will only weaken the hypotheses, and so we may do so freely if necessary without changing the conclusions. This will be important in the next lemma, and also in the proof of the main theorem where we will assume that \(K_0\) is at least 1.
Lemma 5.3
(Short-time estimate) Let \(\varepsilon _0 > 0\). There are \(s_1 > 0\) and \(q_1 \in (0,1)\) such that if \(s \le s_1\), \(r^2 \le q_1 s\) and \(t \le q_1s\) then
for all \(x \in B_1\).
Proof
Fix \(\alpha \in (0,1)\) and let \(q_1 = q_1(\Sigma , \varepsilon _0, \alpha )\) be as in Lemma 8.2. We may assume without loss of generality that \(q_1 < 1\). By Lemma 5.2 we need only prove the estimate for \(x \in B_{K_0\sqrt{2t}}\). We fix \(\alpha \in (0,1)\) and seek to apply Lemma 8.2 with \(R = K_0\sqrt{q_1} + 1\), which we can assume is at least 2 by increasing \(K_0\), and the rescaled flow \(\hat{L}_t := (2s)^{-1/2}L^s_{2st}\). This is a mean curvature flow with initial condition \(\tilde{L}^s\). By (H3) we know that \(\tilde{L}^s \rightarrow \Sigma \) in \(C^{1,\alpha }_\mathrm{loc}\). In particular, letting \(\varepsilon = \varepsilon (\varepsilon _0, \Sigma , \alpha )\) from Lemma 8.2, if s is small enough we can ensure that \(\tilde{L}^s\) is \(\varepsilon \)-close to \(\Sigma \) in \(C^{1,\alpha }(B_R(0))\). The conclusion of Lemma 8.2 then says that for \(r^2, t \le q_1\) and \(x \in B_{K_0\sqrt{q_1}}\) we have
or in other words
for all \(r^2, t \le q_1s\) and \(x\in B_{K_0\sqrt{2sq_1}}\). However since \(t\le q_1s\) this holds for all \(x \in B_{K_0\sqrt{2t}}\). \(\square \)
The next lemma shows that in an annular region, and for short times, we retain control on both the distance to P and the Gaussian density ratios that is uniform in s.
Lemma 5.4
(Proximity to \(P = P_1+P_2\)) There are constants \(C_1\), and \(r_1\) such that for any \(\nu > 0\) there are \(s_2, \delta _2 > 0\) such that the following holds. If \(s \le s_2\) and \(t \le \delta _2\) then we have the estimate
and if in addition \(r \le 2\), then
Remark
Note in particular that \(r_1\) does not depend on \(\nu \), which will be important later.
Proof
We consider \(t\le \delta _2\) and \(s\le s_2\) (both \(\delta _2\) and \(s_2\) to be chosen) and define
Clearly \(l \le 1/2\) and also from (H4) we have that if \(s_2\), \(\delta _2\) are chosen small enough, then \(\Sigma ^{(s,t)}\cap A(r_0, 3(s+t)^{-1/8})\) is graphical over \(P \cap A(r_0, 3(s+t)^{-1/8})\). Moreover if \(v_{(s,t)}\) is the function arising from this graphical decomposition then we have by scaling the estimate of (H4) that
Let \(c > 0\) be a constant that will be chosen later. If \(s_2(D_3, r_0, c)\) and \(\delta _2(D_3, r_0, c) > 0\) are small enough and \(r_1(P,c) \ge \max \{r_0, 1\}\) is chosen to be large enough then we can ensure that
on \(A(r_1, 3(s+t)^{-1/8})\). Indeed \(x \in A(r_1, 3(s+t)^{-1/8})\) implies that \(|x|^2 \le 9(s+t)^{-1/4}\), and so \(\sqrt{2(s+t)}|x|^2 \le 9\sqrt{2}(s_2 + \delta _2)^{1/4}\) can be bounded in terms of \(s_2\) and \(\delta _2\). From now on we fix some \(y_0 \in \tilde{L}^s_t\cap A\left( 3r_1 + 1, (s+t)^{-1/8}\right) \). Since \(y_0\sqrt{2(s+t)}\) is a regular point of \((L^s_t)\), the monotonicity formula implies
where
We first estimate I. If \(|x| \ge 3(s+t)^{-1/8} \ge 3|y_0|\) then
so
Therefore by choosing \(C_1 = C_1(D_1, n)\) we can estimate
since l is bounded independent of s and t, and the estimate (H1) is scale invariant, so in particular is satisfied by \((3l)^{-1/2}\Sigma ^{(s,t)}\).
Next we estimate J. Similarly as before we find that for \(|x| \le r_1 \le |y_0|/3\) we have
Thus
hence by possibly increasing \(C_1\) if necessary we have
Finally we deal with K. We denote by \(a_i\) the orthogonal projection of \(y_0\) onto \(P_i\) and by \(b_i\) the orthogonal projection of \(y_0\) onto \(P_i^\perp \). We suppose without loss of generality that
We will also denote by \(\Sigma ^{(s,t)}_i\) the component of \(\Sigma ^{(s,t)}\cap A(r_1, 3(s+t)^{-1/8})\) that is graphical over \(\Pi _i := P_i\cap A(r_1, 3(s+t)^{-1/8})\), and by \(v^i_{(s,t)}\) the corresponding graph function. Since we have that \(P_1\cap P_2 = \{0\}\) it follows that for some \(c = c(P) > 0\) we have that \(|b_2| \ge c|y_0|\). Notice that since \(|b_2| \le |y_0|\) we have that \(c \le 1\). Suppose that \(x \in \Sigma ^{(s,t)}_2\), and denote by \(x'\) the orthogonal projection onto \(P_2\). Then we have
Moreover by (5.4), if \(r_1\) is chosen large enough (and in particular larger than 1),
so
Consequently, denoting by \(g_{ij} := \delta _{ij} + D_iv^2_{(s,t)}\cdot D_jv^2_{(s,t)}\) the induced metric on the graph, we can estimate
where we used (5.4) to estimate the gradient terms arising in the surface measure. Combining this with the estimates for I and J we have that
Increasing \(r_1\) for the last time if necessary, we can ensure that
Therefore we have that
Therefore it follows that \(|b_1 - v^1_{(s,t)}|^2/4l\) is bounded on \(\Pi _1\) independently of l, s and t, thus we can estimate
on \(\Pi _1\) where C is independent of s and t. Moreover because the matrix \((D_iv^1_{(s,t)}\cdot D_jv^1_{(s,t)})\) has non-negative eigenvalues we have that \(\sqrt{\det (g_{ij})} \ge 1\), so we can estimate
where we used (5.5). Next, from the Taylor expansions for square root and determinant, we have \(\sqrt{1 + x} = 1 + x/2 + O(x^2)\) and \(\det (I + A) = 1 + \mathrm {tr}(A) + O(|A|^2)\), which implies
where the last line follows from the fact that \(|\overline{\nabla }v^1_{(s,t)}|\) is bounded on \(A(r_1, 3(s+t)^{-1/8})\) by (5.4). Putting the above two estimates together we find
Therefore since
we can estimate, by integrating both sides against \((4\pi l)^{n/2}\exp (-|x' - a_1|^2/4l)\) over \(\Pi _1\)
Note that here we used the fact that the integral of \((4\pi l)^{n/2}\exp (-|x' - a_1|^2/4l)\) over \(\Pi _1\) can be bounded below by a constant, on account of the fact that l is bounded independently of s and t, and the outer radius in the definition of \(\Pi _1\) is bounded below by \(3(s_2 + \delta _2)^{-1/8}\) which, by choice of \(s_2\) and \(\delta _2\), we can assume to be greater than \(2r_1\) say. Since \(b_1\) is also constant we rearrange to obtain the above identity. We want to now control the integral terms on the right hand side. First we observe that \(|a_1| \ge c|y_0|\) for some constant depending only on P. This follows from the fact that we assumed \(y_0\) was closer to \(P_1\) than \(P_2\), and hence lies in some fixed conical neighbourhood of \(P_1\). Moreover for any \(0 \le l \le 1\) we have for any x, \(a_1 \in \mathbb {R}^{2n}\)
Furthermore for \(x \in \Pi _1\) we have \(|x| \ge 1\), so by (5.4)
Hence for some \(C_1 = C_1(D_1, D_3, P)\) we have
In the first line we used the fact that integrating \(|x'|^2\) against \((4\pi l)^{n/2}\exp (-|x'-a_1|^2/4l)\) over \(\mathbb {R}^n\) can be bounded in terms of the scale l, which we observed earlier is bounded by 1 / 2. Similarly, using (5.4) again, we can estimate
So an entirely analogous calculation establishes the estimate
Therefore from (5.6) we have
so choosing \(s_2\) and \(\delta _2\) depending on \(D_1, D_2, P, r_0, \nu \) and b we have that for all \(s \le s_2\) and \(t \le \delta _2\) we have
We next want to show that by possibly increasing \(r_1\), and decreasing \(s_1\) and \(\delta _1\) if necessary, that we also have the estimate
for any \(r \le 2\). We have
Applying the monotonicity formula we have
so we find, recalling that \(l = t/2(s+t)\)
Therefore by splitting up the integral as before and estimating exactly analogously we have
We want to estimate the exponential terms and pull out an exponential factor in \(|a_1|\) so we estimate
where we used the fact that l and r are both bounded independently of s and t. Therefore putting this together we have
Evidently an appropriate choice of \(r_1\), \(s_2\) and \(\delta _2\) yields the required result. \(\square \)
The following two Lemmas show that we have additional control in annular regions, specifically on normal deviation, curvature, Lagrangian angle and the primitive for the Liouville form.
Lemma 5.5
Let \(F^s_t: L^s\rightarrow \mathbb {R}^{2n}\) be the normal deformation such that \(L^s_t = F^s_t(L^s)\). We also define \(\tilde{F}^s_t := (2(s+t))^{-1/2}F^s_t\) so that \(\tilde{L}^s_t = \tilde{F}^s_t(L^s)\). Then there exist \(r_2\), \(\delta _3\), \(s_3\) and \(K < \infty \) such that if \(t \le \delta _3\) and \(s \le s_3\) then
Proof
By the proximity lemma 5.4 we may choose \(r_2 \ge 1\), \(\delta _3\) and \(s_3\) such that if \(t \le \delta _3\) and \(s \le s_3\) then
for all \(r \le 2\sqrt{2(s+t)}\) and \(x \in A\left( r_2\sqrt{2(s+t)}, \sqrt{2}(s+t)^{3/8}\right) \). Hence by White’s regularity theorem (Theorem 2.2) we can find a C such that
whenever \(F^s_t(p) \in A\left( 2r_2\sqrt{2(s+t)}, \sqrt{2(s+t)}(s+t)^{-1/8}/2\right) \). Therefore, choosing a larger \(r_2\) and smaller \(s_3\), \(\delta _3\) if necessary we obtain, by the fundamental theorem of calculus,
whenever
which establishes the result. \(\square \)
Lemma 5.6
There are \(\delta _4 > 0\) and \(s_4 > 0\) such that for \(0<s \le s_4\) and \(t<\delta _4\)
Proof
The estimate is clearly true for \(t = 0\) by assumption (H2). Moreover, by (H4) we can assume that for s sufficiently small, each of the \(L^s\) is the graph of a function with small gradient in the region A(1 / 4, 4). Applying Lemma 8.1 we find that \(L^s\) remains graphical with small gradient in A(2 / 7, 7 / 2) for some short time, which implies that \(|\theta ^s_t| \le C\) for \(\delta _4\) chosen small enough.
That \(|A^s_t|\) is bounded follows from Lemma 8.1 and Corollary 8.4, since Lemma 8.1 implies small gradient for a short time, which allows us to apply Corollary 8.4 to get uniform curvature bounds for some short time in A(1 / 3, 3).
Since \(|\theta ^s_t|\) and \(|A^s_t|\) are both bounded, we have from the evolution equations of \(\beta ^s_t\) (see Lemma 3.1) that
Hence for some suitable short time, \(|\beta ^s_t|\) also remains bounded in A(1 / 3, 3). \(\square \)
The last of the technical lemmas in this section uses the monotonicity formula of Sect. 3 to show that after waiting for a short time dependent on s, we can find times at which the scaled flow \(\tilde{L}^s_t\) is close to a self-expander in an \(L^2\) sense. We later use this in the proof of the main theorem to get estimates on the density ratios via the stability result.
Lemma 5.7
Let \(a > 1\). Let \(q_1\) be as given by Lemma 5.3, and set \(q := q_1/a\). Then for all \(\eta > 0\) and \(R > 0\) there exist \(\delta _5 > 0\), \(s_5 > 0\) such that for all \(s \le s_5\) and \(qs \le T \le \delta _5\) we have
Proof
Fix \(R > 0\), \(\eta > 0\). Suppose \(s \le s_5\) and \(qs \le T \le \delta _5\), with \(\delta _5\) and \(s_5\) yet to be determined. Furthermore, we set \(T_0 := R^2(s + aT) + aT\). Throughout the proof, we denote by C a constant which depends on a, R and q, but not on T or s. We estimate
Now supposing that \(s_5\) and \(\delta _5\) are small enough we can ensure that \(R\sqrt{2(s+t)} \le 2\). Moreover on \(B_{R\sqrt{2(s+t)}}\) we have
Since \(T_0 - t = R^2(s + aT) + aT - t \ge R^2(s + aT) \ge R^2(s + t)\), it follows that
Hence we can continue estimating (5.8) using the localized monotonicity formula of Lemma 3.2 (\(\phi \) denotes the cut-off function given in that lemma which is 1 on \(B_2\) and 0 outside of \(B_3\))
Now using the localized monotonicity a second time we have the estimate
so
hence
Now \(T_0 - T \le C(s+T)\), with C depending only on R and a, so estimating the terms in front of the integrals we have
We first estimate B. Notice that by Lemma 5.6 we have
Hence, we can estimate
We note that \(T_0 \le (R^2(1/q + a) + a)T= CT\), \(T_0 \le C(s+T)\) and \(T_0 \ge R^2(s + aT)\) so we can estimate
where we can estimate the supremum by a uniform constant because \(L^s_t\) all have bounded area ratios with a uniform constant. Moreover \(T_0 \le R^2\delta _5(1/q + a) + a\delta _5\) so that by possibly decreasing \(\delta _5\) we can ensure that \(B \le \eta /2\).
We next estimate A,
First recall that if \(\beta ^s\) is primitive for the Liouville form on some \(L^s\), then \(\beta ^s_l := l^{-2}\beta ^s\) is primitive for the Liouville form on \(l^{-1}L^s\). From here on we supress the subscript 0 of the \(\beta ^s\) and \(\theta ^s\) since we only ever integrate over the manifolds \(L^s_0\), and we instead use a subscript l to denote the rescaling factor of the \(\beta ^s\). We define
then
since \(T \ge qs\), so we can absorb \((s+T)/T\) into the constant. Define
Notice that from the definition of \(T_0\) we can find \(C > 0\) independent of T and s such that \(l^{-2}T_0 \in [C^{-1}, C]\). We want to show that by possibly again decreasing \(s_5\) and \(\delta _5\), we can ensure
Seeking a contradiction, suppose that this is not the case. Then we can find sequences \(s_i\) and \(T_i\) both converging to 0 with \(qs_i \le T_i\) and such that
After possibly extracting a subsequence which we don’t relabel, we may assume that \(l_i^{-2}T_0 \rightarrow T_1\). We split the rest of the proof into two cases.
Case 1 Suppose that (after possibly extracting a further subsequence) we have that \(\sigma _i \rightarrow \sigma > 0\). Then by (H3) we have
in \(C^{1,\alpha }\). Therefore we have
because \(|\tilde{\theta }^{s_i} + \tilde{\beta }^{s_i}|\) is bounded by \(D_2(1 + |x|^2)\) on \(B_{3(2s_i)^{-1/2}}\), which means that since \(l_i^{-2}\sigma _i^{-1}T_0 \rightarrow \sigma ^{-1}T_1 > 0\) the contribution to the integral outside some fixed large ball is small uniformly in i. Moreover by (H3) we have \(\lim _{i\rightarrow \infty }|\tilde{\theta }^{s_i} + \tilde{\beta }^{s_i}|^2 = 0\) locally, so inside this large ball the integral can be made as small as desired.
Case 2 Suppose now that after possibly passing to subsequence, which we do not relabel, we have \(\sigma _i \rightarrow 0\). Then, with \(r_0\) defined as in property (H4) of the family \(L^s\), we find
because \(|\tilde{\theta }^{s_i} + \tilde{\beta }^{s_i}|^2 \rightarrow 0\) locally, and \(\rho \) is bounded. So to estimate \(\lim _{i\rightarrow \infty }F(T_i,s_i)\) we need only control the integral in the annulus \(A(r_0\sqrt{\sigma _i/2},3l_i^{-1})\). We first notice that by (H4), provided i is large enough, \(l_i^{-1}L^{s_i}\cap A(r_0\sqrt{\sigma _i/2}, 3l_i^{-1})\) is graphical over P, and if \(v_i\) is the function arising from this decomposition we have the estimate
In the graphical region, the normal space to the graph is spanned by the vectors \(n_j := (-\overline{\nabla }v^j_i, e_j)\) for \(j = 1,\dots ,n\) where \(e_j\) denotes the vector in \(\mathbb {R}^n\) whose jth entry is 1, and all other entries are 0, and \(v^j_i\) is the jth coordinate of \(v_i\). Then given an orthonormal basis for the normal space \(\nu _1,\dots ,\nu _n\) we have \(\nu _j = \sum _{k=1}^n\alpha _{jk}n_k\), where \(\alpha _{jk}\) are fixed real numbers denoting the coefficients in the basis expansion of \(\nu _j\) in terms of the \(n_k\). It then follows that
where C depends only on the \(\alpha _{jk}\). Now
from which it follows that
Therefore
Using this estimate we can control \(\beta ^{s_i}_{l_i}\) independently of i on the annular region \(A(r_0\sqrt{\sigma _i/2}, 3l_i^{-1}) \cap l_i^{-1}L^{s_i}\). Indeed suppose that \(x \in A(r_0\sqrt{\sigma _i/2}, 3l_i^{-1}) \cap l_i^{-1} L^{s_i}\), then there is a corresponding \(x' \in A(r_0\sqrt{\sigma _i/2}, 3l_i^{-1}) \cap P\) such that \(x = x' + v_i(x')\). Define
Note that \(x_i\) of course depends on the original choice of x as well as i. We may now define a curve in \(l^{-1}_iL^{s_i}\) by setting
By the fundamental theorem of calculus we can write
and furthermore
so
Now \(\beta ^{s_i}_{l_i}(x_i) = \sigma _i\tilde{\beta }^{s_i}(\sigma ^{1/2}_ix_i)\), moreover since \(|x_i|\) is bounded independently of i or the original choice of |x| we have from property (H3) of \(L^s\) that
uniformly in x. Thus
uniformly in x as \(\tilde{\theta }^{s_i}\) is bounded and \(\sigma _i \rightarrow 0\). Therefore we may bound the term \(\beta ^{s_i}_{l_i}(x_i)\) by some sequence \(b_i\) with \(b_i \rightarrow 0\). Consequently we have the estimate
on \(A\left( r_0\sqrt{\sigma _i/2}, 3l_i^{-1}\right) \cap l_i^{-1}L^{s_i}\), hence
where we again used the fact that \(l_i^{-2}T_0 \rightarrow T_1 > 0\), so that outside of some large ball the contribution to the integral is very small. This limit being zero is a contradiction, so we are done. \(\square \)
We may now embark on the proof of Theorem 5.1. Changing scale, to prove the main theorem it would in fact suffice to show the following (which is very slightly stronger due to the bound on the scale of the density ratios),
Theorem
(Rescaled main theorem) There exist \(s_0\), \(\delta _0\) and \(\tau \) such that if \(t \le \delta _0\), \(r^2 \le \tau \) and \(s \le s_0\), then
for all \(x_0\) with \(|x_0| \le (2(s+t))^{-1/2}\).
Let \(q_1\) be defined as in Lemma 5.3, and recall that \(q_1 < 1\). If we set \(\tau := q_1/(2(q_1 + 1))\), then the rescaled version of Lemma 5.3 implies
Lemma
(Rescaled short-time existence) If \(s \le s_1\), \(t \le q_1 s\) and \(r^2 \le \tau \) then
\(|y_0| \le (2(s+t))^{-1/2}\).
Similarly the rescaled Lemma 5.2 tells us that
Lemma
(Rescaled far from origin) If \(r^2 \le \tau \) and \(q_1s \le t \le \delta _1\)
whenever \(K_0 \le |y_0| \le (2(s+t))^{-1/2}\).
Thus to prove the rescaled main theorem, it suffices to show that for appropriately chosen \(s_0, \delta _0\) and \(\tau \) the following holds true: if \(r^2 \le \tau \), \(s \le s_0\), \(t \le \delta _0\) and \(t \ge q_1 s\) then
whenever \(|y_0| \le K_0\). This is what we now show.
Proof of Theorem 5.1
For each s we define
We now claim that we can find \(\delta _0 > 0\) and \(s_0 > 0\) such that \(T_s \ge \delta _0\) for all \(s \le s_0\). Indeed, with \(\tau = q_1/(2(q_1+1))\) as above, we choose \(a > 1\) with \(a < (1 + 2\tau )\). Let \(C_0\) be the constant of White’s local regularity theorem (Theorem 2.2), and set
We next let \(r_3 := \max \{r_0, r_1, r_2, 1\}\), where \(r_0\), \(r_1\), and \(r_2\) are as in, respectively, the construction of the approximating family, Lemmas 5.4 and 5.5. Let \(R := \sqrt{1+ 2q_1}K_0 + r_3\) and note that \(R \ge 2\). Next fix \(\alpha \in (0,1)\) as in the proof of Lemma 5.3, and \(\varepsilon = \varepsilon (\Sigma , \varepsilon _0, \alpha )\) as given by Lemma 8.2. We apply the stability result, Theorem 4.2 with \(R = R\); \(r = r_3\); \(C = \max \{C_1, C\}\) the constants from Lemma 5.4, and the construction of the approximating family respectively; \(M = \tilde{C}\); \(\tau = \tau \); \(\Sigma = \Sigma \) and \(\varepsilon = \varepsilon \). Thus we obtain \(\tilde{R} \ge R\), \(\eta > 0\) and \(\nu \ge 0\) as in the theorem. Apply Lemma 5.7 with \(\eta = \eta /2\) and \(R = \tilde{R}\). This gives \(s_5\) and \(\delta _5\) such that the lemma holds. Next apply Lemma 5.4 with \(\nu \) to obtain \(s_2\) and \(\delta _2\). We now let \(s_0 := \min \{s_1,s_2,s_3,s_4,s_5\}\) and \(\delta _0 := \min \{\delta _1, \delta _2, \delta _3, \delta _4, \delta _5\}\). We finally possibly decrease \(s_0\) and \(\delta _0\) slightly to ensure that
This will ensure that in the annular region \(A(r_3, \tilde{R})\) we have all of the estimates of the intermediate lemmas of this section. We now claim that these \(s_0\) and \(\delta _0\) are the required constants. Specifically we claim that for all \(s \le s_0\) we have \(T_s \ge \delta _0\). Indeed, suppose that this were not the case and that for some \(s \le s_0\) we have \(T_s < \delta _0\). Our goal is to show that the hypotheses of Theorem 4.2 are satisfied by \(\tilde{L}^s_t\) for some t close to \(T_s\), so that we can conclude \(\tilde{L}^s_t\) is \(C^{1,\alpha }\) close to \(\Sigma \). Lemma 8.2 will then give density ratio bounds for times past \(T_s\), resulting in a contradiction. To this end we define \(T := T_s/a\), then since \(T < T_s\) we have for all \(t \in [T, T_s)\)
for all \(r^2 \le \tau \) and \(x \in B_{K_0}\). In fact, as has already been observed, the same is true for all \(|x| \le (s+t)^{-1/8}\), so in particular for all \(|x| \le 2\tilde{R}\). Let \(\hat{L}^s_l\) denote the Lagrangian mean curvature flow with initial condition \(\tilde{L}^s_T\). Let \(\sigma ^2 = 2(s + T)\), then we can write \(\tilde{L}^s_T = \sigma ^{-1}L^s_T\). Then we may write \(\hat{L}^s_l\) as
This implies the density ratio control
for all l such that \(T + \sigma ^2l \in [T, T_s)\), \(r^2 \le \tau \) and \(x \in B_{2\tilde{R}}\). By White’s local regularity theorem (Theorem 2.2) we get curvature bounds of the form
or, scaled back to the original scale this means
on \(B_{\sigma \tilde{R}}\) for all \(t < T_s\) with \(T \le t \le T + 2(s+T)\tau = (1 + 2\tau )T + 2\tau s\). Notice in particular that
so the above estimate always holds up to time \(T_s\). Let \(t_0 := T(a+1)/2\). Then from (5.14) we see
Recall that \(T \ge q_1s\) and \(q_1 < 1\) so
on \(B_{\sigma \tilde{R}}\), where \(\tilde{C}\) is defined as in (5.13). Similarly, if \(t > 0\) is such that \(t_0 + t \le T_s\) then
In other words, for each \(t \in [t_0, T_s)\) we have
which implies that for each \(t \in [t_0, T_s)\) we have
This means that \(\tilde{L}^s_t\) satisfies condition (i) of Theorem 4.2 with \(M = \tilde{C}\) and \(\tilde{R} = \tilde{R}\) for every \(t \in [t_0, T_s)\). Next, applying Lemma 5.7, we may select \(t_1 \in [t_0, T_s)\) with
So \(\tilde{L}^s_{t_1}\) also satisfies condition (iii) of Theorem 4.2. Condition (iv) of Theorem 4.2 holds for \(\tilde{L}^s_{t_1}\) by Lemma 5.4, and condition (ii) holds by definition of \(T_s\) as \(t_1 < T_s\). Hence Theorem 4.2 implies that \(\tilde{L}^s_{t_1}\) is \(\varepsilon \)-close to \(\Sigma \) in \(C^{1,\alpha }(B_{\tilde{R}})\). Redefine \(\hat{L}^s_l\) to be the Lagrangian mean curvature flow with initial condition \(\tilde{L}^s_{t_1}\). As before we know that we can write
Then Lemma 8.2 applied to \(\hat{L}^s_l\) says that
for \(|x| \le \tilde{R} - 1\). Since \(\tilde{R} \ge R = \sqrt{1 + 2q_1}K_0 + r_3\) and \(r_3 \ge 1\), this means that the same is true for \(|x| \le \sqrt{1 + 2q_1}K_0\). Rescaling, this is equivalent to
for \(r^2\), \(l \le q_1\) and \(|x| \le \sqrt{1 + 2q_1}K_0\). Or in other words
for \(r^2 \le q_1/(1 + 2q_1) = \tau \), \(|x| \le K_0\) and \(t_1 \le t \le (1 + 2q_1)t_1 + 2q_1s\). However, \((1 + 2q_1)t_1 + 2q_1s > at_1 > aT = T_s\), which contradicts the definition of \(T_s\). \(\square \)
6 Short-time existence
In this section we prove the following short time existence result using Theorem 5.1.
Theorem 6.1
Suppose that \(L\subset \mathbb {C}^n\) is a compact Lagrangian submanifold of \(\mathbb {C}^n\) with a finite number of singularities, each of which is asymptotic to a pair of transversally intersecting planes \(P_1 + P_2\) where neither \(P_1 + P_2\) nor \(P_1 - P_2\) are area minimizing. Then there exists \(T > 0\) and a Lagrangian mean curvature flow \((L_t)_{0<t<T}\) such that as \(t \searrow 0\), \(L_t \rightarrow L\) as varifolds and in \(C^\infty _\mathrm{loc}\) away from the singularities.
Proof
For simplicity we suppose that L has only one singularity at the origin. The case where L has more than one follows by entirely analogous arguments. By standard short time existence theory for smooth compact mean curvature flow, for all \(s \in (0,c]\) there exists a Lagrangian mean curvature flow \((L^s_t)_{0 \le t \le T_s}\) with \(T_s > 0\). We claim that there exists a \(T_0 > 0\) such that \(T_s \ge T_0\) for all s sufficiently small, and that furthermore, we have interior estimates on |A| and its higher derivatives for all \(t > 0\), which are independent of s. By virtue of Lemma 8.1, we can apply Corollary 8.4 on small balls everywhere outside \(B_{1/3}\) to get uniform curvature bounds outside of \(B_{1/2}\) up to time \(\min \{T_s,\delta \}\) where \(\delta > 0\) is independent of s. Uniform estimates on the higher derivatives then immediately follow by standard parabolic PDE theory.
To obtain the desired bounds on \(B_{1/2}\) we use Theorem 5.1. Let \(\varepsilon _0 > 0\) be the constant of Brian White’s local regularity theorem. Then Theorem 5.1 says that there exist \(s_0\), \(\delta _0\) and \(\tau \) such that for all \(s \le s_0\), \(t \le \delta _0\), \(r^2 \le \tau t\) and \(x_0 \in B_{1/2}\) we have
This implies that for all \(s \le s_0\), \(t\le \delta _0\) and \(r^2 \le \tau t\) we have \(\Theta ^s(x_0, t, r) \le 1 + \varepsilon _0\). We now fix \(s \le s_0\), \(t_0 < \min \{\delta _0, T_s\}\), and \(\rho \le \min \{1/4, \sqrt{t_0}\}\). Then it follows that \(B_{2\rho }(x_0) \subset B_1\), and furthermore that
for all \(r \le \tau \rho ^2\), and \((x,t) \in B_{2\rho }(x_0) \times (t_0 - \rho ^2 , t_0]\). Then it immediately follows from White’s theorem that
for all \((x,t) \in B_\rho (x_0) \times (t_0 - \rho ^2, t_0]\), where C depends only on \(\tau \) and \(\varepsilon _0\). These estimates are then uniform in s for \(s \le s_0\). Moreover, these curvature bounds, along with those outside of the ball \(B_{1/2}\), imply that \(T_s \ge \min \{\delta , \delta _0\}\).
Because the estimates are independent of s, they pass to the limit in the varifold topology when we take a subsequential limit of the flows and so we obtain a limiting flow \((L_t)_{0<t<T_0}\), for which \(L_t \rightarrow L\) as varifolds.
Note that away from the singularities, we can obtain uniform curvature estimates on |A| thanks to Corollary 8.4, so it follows that \((L_t)\) attains the initial data L in \(C^\infty _\mathrm{loc}\) away from the singular points. \(\square \)
7 Construction of approximating family
In this section, we consider a Lagrangian submanifold L of \(\mathbb {C}^n\) with a singularity at the origin which is asymptotic to the pair of planes P considered in Sect. 4. We approximate L by gluing in the self-expander \(\Sigma \) which is asymptotic to P at smaller and smaller scales in place of the singularity. We will show that this yields a family of compact Lagrangians, exact in \(B_4\), which satisfy the hypotheses (H1)-(H4) given in Sect. 5 which are required to implement the analysis in that section.
Since L is conically singular we may write \(L\cap B_4\) as a graph over \(P\cap B_4\) (possibly rescaling L so that this is the case). We may further apply the Lagrangian neighbourhood theorem (its extension to cones was proved by Joyce, [7, Theorem4.1]), so that we may identify \(L\cap B_4\) with the graph of a one-form \(\gamma \) on P. Recall that the manifold corresponding to the graph of such a one-form is Lagrangian if and only if the one-form is closed.
Moreover, since we have assumed that L is exact inside \(B_4\), there exists \(u\in C^\infty (P\cap B_4)\) such that \(\mathrm {d}u=\gamma \). Since we know that \(\gamma \) must decay quadratically, we can choose a primitive for \(\gamma \) which has cubic decay, i.e.,
We saw in Theorem 4.1 that there exists a unique, smooth zero-Maslov self-expander asymptotic to P. We may also identify the self-expander outside a ball of radius \(r_0\) with the graph of a one-form over P and, since a zero-Maslov class Lagrangian self-expander is globally exact, there exists a function \(v\in C^\infty (P\backslash B_{r_0})\) such that the self-expander is described by the exact one-form \(\psi =\mathrm {d}v\) on \(P\backslash B_{r_0}\). Further, Lotay and Neves proved [10, Theorem 3.1]
We will glue \(\Sigma _s:=\sqrt{2s}\Sigma \) into the initial condition L to resolve the singularity. Our new manifold, \(L^s\), will be the rescaled self-expander \(\Sigma ^s\) inside \(B_{r_0\sqrt{2s}}\), the manifold L outside \(B_{4}\) and will smoothly interpolate between the two on the annulus \(A(r_0\sqrt{2s},4)\).
To do this, we will glue together the primitives of the one-forms corresponding to these manifolds, before taking the exterior derivative. This gives us a one-form that will describe \(L^s\) on the annulus \(A(r_0\sqrt{2s},4)\), which ensures \(L^s\) is still Lagrangian and is exact in \(B_4\). We will then show that this family satisfies the properties (H1)-(H4).
Let \(\varphi :\mathbb {R}_+\rightarrow [0,1]\) be a smooth function satisfying \(\varphi \equiv 1\) on [0, 1] and \(\varphi \equiv 0\) on \([2,\infty )\). Consider the one-form given by, for \(r_0\sqrt{2s}\le |x|\le 4\), \(0<s\le c\)
where we have that \(r_0\sqrt{2s}<s^{1/4}<2s^{1/4}<4\) holds for all \(s\le c\). Notice that in particular we must have \(c<1\). Then \(\gamma _s(x)\equiv \psi _s(x):=\sqrt{2s}\psi (x/\sqrt{2s})\), the one-form corresponding to the rescaled self-expander \(\Sigma _s\) for \(|x|<s^{1/4}\) and \(\gamma _s\equiv \gamma \) for \(|x|>2s^{1/4}\). Notice that since \(\gamma _s\) is exact, it is closed and therefore its graph corresponds to an exact Lagrangian.
We define the smooth exact Lagrangian \(L^s\) by
-
\(L^s\cap B_{r_0\sqrt{2s}}=\Sigma _s\cap B_{r_0\sqrt{2s}}\),
-
\(L^s\cap A(r_0\sqrt{2s},4)=\)graph \(\gamma _s\),
-
\(L^s\backslash B_4=L\backslash B_4\).
We will now show that \(L^s\) satisfies (H1)-(H4).
For (H1), notice that both the self-expander and the initial condition individually satisfy (H1), and so for the rescaled self-expander, we have that
Since \(L^s\) interpolates between \(\Sigma _s\) and L on a compact region, \(L^s\) satisfies (H1).
We see that (H2) is satisfied because the Lagrangian angle of the initial condition L and the self-expander \(\Sigma \) are bounded, as is that of the rescaled self-expander \(\Sigma _s\) by Lemma 3.1 (i) and the maximum principle, since the Lagrangian angle of P is locally constant. When we interpolate between the two, we may consider the formula for the Lagrangian angle of a Lagrangian graph, as seen in [1, p. 5]. This tells us that a Lagrangian graph in \(\mathbb {C}^n\) (over \(\mathbb {R}^n\)) given by \((x_1,...,x_n,u_1(x),...,u_n(x))\), where \(u:\mathbb {R}^n\rightarrow \mathbb {R}, u_i:=\frac{\partial u}{\partial x_i},\) has Lagrangian angle
where the \(\lambda _i\)’s are the eigenvalues of the Hessian of u. Since the eigenvalues of the Hessian of u are some non-linear function of the second derivatives of u, if the \(C^2\) norm of u is small we have that the Lagrangian angle of the graph is close to that of the Lagrangian angle of the plane that u is a graph over. So we can uniformly bound the Lagrangian angle of the graph. Since in our case, the Lagrangian angle of \(\gamma _s\) is given by the sum of arctangents of the eigenvalues of the Hessian of the function \(w_s\), and, as we will show when we prove (H4), the \(C^2\) norm of \(w_s\) is small, this means that we can uniformly bound the Lagrangian angle of the graph \(\gamma _s\), and so the Lagrangian angle of \(L^s\).
On the initial condition, since \(\lambda =Jx\), we have that \(\mathrm {d}\beta _L=\lambda |_L=(Jx)^T\). Therefore, \(\beta _L\) is bounded quadratically, and so is the primitive for the Liouville form of \(L^s\backslash B(2s^{1/4})\). On the self-expander, applying the maximum principle to Lemma 3.1 (ii), we have \(\beta _s\) (the primitive of \(\lambda |_{\Sigma _s}\)) is bounded by \(\beta _P\), and so \(|\beta ^s(x)|\le |\beta _P(x)|\le C|x|^2\) for \(|x|<s^{1/4}\). So it remains to check this still holds where we interpolate. We perform a calculation similar to that in the proof of Lemma 3.1 (ii). We have that, for \(L^s_t\) the manifold described by the graph of the one-form \(t\mathrm {d}w_s\),
Since \(\mathrm {d}\lambda =\omega \) and \(J\nabla w_s\lrcorner \omega =\mathrm {d}w_s\) and possibly adding constant to \(\beta ^s_t\) dependent on s and t, we have that
where \(\mathrm {d}\beta ^s_t\) is equal to the restriction of the Liouville form \(\lambda \) to graph of \(t\gamma _s\). Integrating, we find that
where \(\beta _P\) is the primitive for \(\lambda \) on P. Now, \(w_s\) is bounded independently of s by \(D(1+|x|^2),\) using (7.1) and (7.2), as is \(\langle x,\nabla w_s\rangle \), using Cauchy–Schwarz and the estimates (7.1) and (7.2) so we find that \(\beta ^s\) is bounded independently of s on the annulus \(A(s^{1/4},2s^{1/4})\). Therefore, we have that
and so (H2) is satisfied.
To show that (H3) is satisfied, recall that we define \(L^s\) as \(L^s\cap B_{r_0\sqrt{2s}}=\Sigma _s\cap B_{r_0\sqrt{2s}}\), \(L^s\backslash B_4=L\backslash B_4\) and we interpolate smoothly between the two, which exactly happens when \(s^{1/4}\le |x|\le 2s^{1/4}\). Therefore when we rescale by \(1/\sqrt{2s}\), we have that \(\tilde{L}^s\cap B_{r_0}\equiv \Sigma \). So it remains to check convergence outside this ball.
On the annulus \(r_0\le |x|\le 4/\sqrt{2s}\), \(\tilde{L}^s\) is identified with the graph of the following one-form
From this expression, noticing that
we see that as \(s\rightarrow 0\), \(\tilde{\gamma }_s\rightarrow \mathrm {d}v=\psi \), the one-form whose graph is identified with \(\Sigma \). This says that, outside \(B_{r_0}\), \(\tilde{L}^s\rightarrow \Sigma \) as \(s\rightarrow 0\) smoothly. Therefore we actually have stronger than the required \(C^{1,\alpha }_\mathrm{loc}\) convergence.
Finally, we check that the second fundamental form of \(\tilde{L}^s\) is uniformly bounded in s. We have that the second fundamental form of \(\Sigma \) must be bounded, and if A is the second fundamental form of L, rescaling L by \(1/\sqrt{2s}\) means that the second fundamental form scales by \(\sqrt{2s}\). Since \(\sqrt{2s}<1\), we can uniformly bound both second fundamental forms so that \(\tilde{L}^s\), which is a combination of both \(\Sigma \) and \(1/\sqrt{2s}L\), has second fundamental form uniformly bounded in s.
To see (H4), first notice that since we can write \(L^s\cap A(r_0\sqrt{2s},4)\) as a graph over \(P\cap A(r_0\sqrt{2s},4)\), we have that \(L^s\) has the same number of connected components as P in the annulus \(A(r_0\sqrt{2s},4)\). We now must estimate \(\gamma _s\). Firstly, note that we have
where we have used (7.2).
We will need different estimates on \(2s\nabla ^{2}v(x/\sqrt{2s})\) and \(2s\nabla ^{3}v(x/\sqrt{2s})\), which we find as follows.
where \(\tilde{b}=b/2\) and \(\tilde{C}= Ce^{-1/2}/\sqrt{b}\), since the function \(y\mapsto ye^{-by^2/2}\) is bounded independently of y (by \(e^{-1/2}/\sqrt{b}\)) on \(\mathbb {R}\), and so \(\tilde{C}\) is independent of s.
A similar calculation, this time noticing the uniform boundedness of the function \(y\mapsto ye^{-by/2}\) for \(y>0\) we can show that
where we make C (which remains independent of s) larger if necessary and b smaller (which does not affect the previous estimates).
We have, using the definition in (7.3),
and, using that \(s^{3/4}=\sqrt{s}s^{1/4}< \sqrt{s}\) since \(s<1\), (7.1) and (7.4) imply that
where we have made C larger.
Now consider
Using that on the support of \(\varphi '\) and \(\varphi ''\) we have (\(s<1\)) \(\sqrt{s}<s^{1/4}\le \sqrt{2}\sqrt{2s}/|x|\), and applying the estimates (7.4) and (7.5)
Finally, performing a similar computation to those above and combining (7.4), (7.5) and (7.6) we find that
Combining (7.7), (7.8) and (7.9), we have that
where \(D_3\) is a constant independent of s. Therefore (H4) is satisfied.
References
Chau, A., Chen, J., He, W.: Lagrangian mean curvature flow for entire Lipschitz graphs. Calc. Var. Part. Differ. Equ. 44(1–2), 199–220 (2012)
Ecker, K., Huisken, G.: Mean curvature evolution of entire graphs. Ann. Math. (2) 130(3), 453–471 (1989)
Ecker, K., Huisken, G.: Interior estimates for hypersurfaces moving by mean curvature. Invent. Math. 105(3), 547–569 (1991)
Huisken, G.: Asymptotic behavior for singularities of the mean curvature flow. J. Differ. Geom. 31(1), 285–299 (1990)
Ilmanen, T., Neves, A., Schulze, F.: On short time existence for the planar network flow (2014). arXiv:1407.4756
Imagi, Y., Joyce, D., Oliveira dos Santos, J.: Uniqueness results for special Lagrangians and Lagrangian mean curvature flow expanders in \({C^{m}}\) (2014). arXiv:1404.0271
Joyce, D.: Special Lagrangian submanifolds with isolated conical singularities. V. Survey and applications. J. Differ. Geom. 63(2), 279–347 (2003)
Joyce, D.: Conjectures on bridgeland stability for Fukaya categories of Calabi–Yau manifolds, special Lagrangians, and Lagrangian mean curvature flow (2014). arXiv:1401.4949
Lawson Jr., H.B., Osserman, R.: Non-existence, non-uniqueness and irregularity of solutions to the minimal surface system. Acta Math. 139(1–2), 1–17 (1977)
Lotay, J.D., Neves, A.: Uniqueness of Langrangian self-expanders. Geom. Topol. 17(5), 2689–2729 (2013)
Neves, A.: Singularities of Lagrangian mean curvature flow: zero-Maslov class case. Invent. Math. 168(3), 449–484 (2007)
A. Neves. Recent progress on singularities of Lagrangian mean curvature flow. In: Surveys in Geometric Analysis and Relativity. Adv. Lect. Math. (ALM), vol. 20, pp. 413–438. Int. Press, Somerville (2011)
Neves, A.: Finite time singularities for Lagrangian mean curvature flow. Ann. Math. (2) 177(3), 1029–1076 (2013)
Schoen, R., Wolfson, J.: Mean Curvature Flow and Lagrangian Embeddings (2002) (Preprint)
Smoczyk, K.: A canonical way to deform a Lagrangian submanifold (1996). arXiv:dg-ga/9605005
Thomas, R.P., Yau, S.-T.: Special Lagrangians, stable bundles and mean curvature flow. Commun. Anal. Geom. 10(5), 1075–1113 (2002)
Wang, M.-T.: Long-time existence and convergence of graphic mean curvature flow in arbitrary codimension. Invent. Math. 148(3), 525–543 (2002)
Wang, M.-T.: The mean curvature flow smoothes Lipschitz submanifolds. Commun. Anal. Geom. 12(3), 581–599 (2004)
White, B.: A local regularity theorem for mean curvature flow. Ann. Math. (2) 161(3), 1487–1519 (2005)
Wolfson, J.: Lagrangian homology classes without regular minimizers. J. Differ. Geom. 71(2), 307–313 (2005)
Acknowledgments
Both authors would like to thank Jason Lotay and Felix Schulze for their help, guidance and feedback. We would also like to thank our reviewer for a careful reading of this paper, and many helpful comments and corrections.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by F. C. Marques.
T. Begley and K. Moore were supported by EPSRC Grant EP/H023348/1 at the Cambridge Centre for Analysis.
Appendix
Appendix
We collect in the appendix a few technical results about Mean curvature flow in high codimension that were used throughout the paper. The first is a graphical estimate. Specifically, if the initial manifold can be written locally as a graph with small gradient in some cylinder, then the submanifold remains graphical in a smaller cylinder and we retain control on the gradient. To state this more rigorously we first introduce some notation. The notation and statement of the result are as in [5]. Given any point \(x\in \mathbb {R}^{n+k}\) we write \(x = (\hat{x}, \tilde{x})\), where \(\hat{x}\) is the projection onto \(\mathbb {R}^n\) and \(\tilde{x}\) is the projection onto \(\mathbb {R}^k\). We define the cylinder \(C_R(x_0)\subset \mathbb {R}^{n+k}\) by
Furthermore, we write \(B^n_r(x_0) = \{(\hat{x}, \tilde{x}_0)\in \mathbb {R}^{n+k}| |\hat{x} - \hat{x}_0| < r\}\).
Lemma 8.1
Let \((M^n_t)_{0\le t<T}\) be a smooth mean curvature flow of embedded n-dimensional submanifolds in \(\mathbb {R}^{n+k}\) with area ratios bounded by D. Then for any \(\eta > 0\), then there exists \(\varepsilon \), \(\delta > 0\), depending only on n, k, \(\eta \), D, such that if \(x_0\in M_0\) and \(M_0\cap C_1(x_0)\) can be written as \(\mathrm {graph}(u)\), where \(u:B^n_1(x_0)\rightarrow \mathbb {R}^k\) with Lipschitz constant less than \(\varepsilon \), then
is a graph over \(B^n_\delta (x_0)\) with Lipschitz constant less than \(\eta \) and height bounded by \(\eta \delta \).
The proof can be found in [5]
Next we prove that if an initial manifold M is close to some smooth manifold \(\Sigma \) in \(C^{1,\alpha }\), then one gets estimates on the density ratios that are independent of M.
Lemma 8.2
Let \(\Sigma \) be a smooth manifold with bounded curvature and let \((M_t)_{t\in [0,T)}\) be a solution of mean curvature flow. Fix \(\varepsilon _0 > 0\), \(\alpha < 1\). There are \(\varepsilon = \varepsilon (\Sigma , \varepsilon _0, \alpha ) > 0\) and \(q_1 = q_1(\Sigma , \varepsilon _0, \alpha ) > 0\) such that for every \(R \ge 2\), if \(M_0\) is \(\varepsilon \)-close to \(\Sigma \) in \(C^{1,\alpha }(B_R)\) then for every \(r^2,t\le q_1\) and \(y\in B_{R-1}\) we have
Proof
This follows immediately from Lemma 8.1. Indeed the curvature bound on \(\Sigma \) means that there is a uniform radius r such that for any \(x\in \Sigma \), \(\Sigma \cap C_r(x)\) is (after maybe rotating) a graph with small gradient over the tangent plane to \(\Sigma \) at x. By requiring that \(\varepsilon \) is small enough we can therefore ensure that any \(M_0\) which is \(\varepsilon \)-close to \(\Sigma \) in \(C^{1,\alpha }(B_r(x))\) is also a graph with small gradient. It only remains to apply Lemma 8.1. \(\square \)
1.1 Local curvature estimates for high codimension graphical MCF
In [2] Ecker and Huisken proved celebrated curvature estimates for entire graphs moving by mean curvature in codimension one, they then localised these in [3] to prove interior estimates for hypersurfaces moving by mean curvature flow. Analogous results in higher codimension have been proved by Mu-Tao Wang in [17] and [18] respectively. In light of examples of Lawson and Osserman [9] one needs to assume an additional ‘K local Lipschitz condition’, such a condition is in fact satisfied by any \(C^1\) manifold at small enough scales, so for our purposes there will be no problems applying the estimates. We would like to use the estimates derived in [18] without the time localisation, so we will briefly outline the changes to the proof, though all calculations remain analogous to those used by Wang or Ecker-Huisken. We first introduce the notation used by Wang in [17, 18]. We consider a mean curvature flow \((M_t)_{t\in [0,T)}\) and suppose that locally \(M_t\) is given by the graph of some function \(u_t:U \subset \mathbb {R}^n\rightarrow \mathbb {R}^k\) over \(\mathbb {R}^n\). As shown by Wang, if we define \(*\Omega \) to be the Jacobian of the projection of \(M_t\) onto \(\mathbb {R}^n\), then one can calculate that
where \(\lambda _i\) are the eigenvalues of \(\sqrt{(du_t)^Tdu_t}\). Moreover, for \(\varepsilon > 0\) small (depending only on the dimensions n and k), we have that if
(this is precisely the K local Lipschitz condition of [18] with \(K = 1/(1+\varepsilon )\)) then \(*\Omega \) satisfies the evolution inequality
Indeed this follows immediately from calculations in the proof of Theorem B in [17]. To simplify notation slightly we define \(\eta := *\Omega \), then one can estimate (following [17])
We also recall the evolution of the second fundamental form under mean curvature flow yields the differential inequality
where C is a dimensional constant. We see that these estimates precisely tell us that we are in the correct setting to apply Lemma 4.1 of [18] with the choices \(h = |A|\) and \(f = \eta ^p\). Following the proof of Lemma 4.1 we find that with \(\varphi \) defined as
with \(\kappa > 0\) to be determined, we have the following evolution inequality for \(g = \varphi (\eta ^{-2p})|A|^2\)
We then introduce the cut-off function \(\xi := (R^2 - r)^2\) where \(R > 0\) is a fixed radius and r(x, t) satisfies
then following [3] we arrive at
It is possible now to also localise in time as in [3], which would get us to the estimates in [18], but for our purposes this is unnecessary, so instead we now suppose that \(m(T) := \sup _{0\le t\le T} \sup _{\{x\in M_t|r(x,t)\le R^2\}} g\xi \) is attained at some time \(t_0 > 0\), then at a point where m(T) is attained we have
Multiplying by \(\xi /C\kappa \) we have
We now choose
We also fix \(\theta \in (0,1)\) and observe that in the set \(\{x\in M_t|r(x,t)\le \theta R^2, \, t\in [0,T]\}\) we have \(\varphi \ge 1\) (since \(\eta ^{-2p} \ge 1\)) and \(\xi \ge (1-\theta )^2R^4\) so
Finally as \(\eta ^{-2p} \ge 1\) and \(\kappa \le 1/2\) we have that \((1 + 1/\kappa \eta ^{-2p}) \le 2/\kappa \), so the estimate
holds in the set \(\{x\in M_t|r(x,t)\le \theta R^2, \, t\in [0,T]\}\). The preceding discussion establishes the following theorem
Theorem 8.3
(High codimension interior estimate) Let \(R > 0\) and suppose that \(K_{R^2} := \{(x,t)\in M_t | r(x,t) \le R^2 \}\) is compact and can be written as a graph over some plane for \(t\in [0,T]\). Suppose further that if the graph function is denoted by u, that
where \(\varepsilon > 0\) depends only on n and k. Then for any \(t\in [0,T]\) and \(\theta \in (0,1)\) we have
If we denote by \(\cdot ^T\) projection onto the plane over which \(M_t\) is graphical, then it’s easy to see that
for \(x = F(p,t)\) some point in \(M_t\). Therefore, defining \(r(x,t) := |x^T|^2\) we have
With this choice of r we have the following corollary
Corollary 8.4
Under the assumptions of Theorem 8.3, with the particular choice \(r(x,t) = |x^T|^2\) we have the estimate
where \(B_R(y_0)\) denotes a ball centred at \(y_0\) with radius R in the plane.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Begley, T., Moore, K. On short time existence of Lagrangian mean curvature flow. Math. Ann. 367, 1473–1515 (2017). https://doi.org/10.1007/s00208-016-1420-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-016-1420-3