Abstract
Identifying any conformally round metric on the 2-sphere with a unique cross section of the standard lightcone in the \(3+1\)-Minkowski spacetime, we gain a new perspective on 2d-Ricci flow on topological spheres. It turns out that in this setting, Ricci flow is equivalent to a null mean curvature flow first studied by Roesch–Scheuer along null hypersurfaces. Exploiting this equivalence, we can translate well-known results from 2d-Ricci flow first proven by Hamilton into a full classification of the singularity models for null mean curvature flow in the Minkowski lightcone. Conversely, we obtain a new proof of Hamilton’s classical result using only the maximum principle.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
A classical result for 2d-Ricci flow states that any metric on a 2-surface converges under renormalized Ricci flow to a metric of constant scalar curvature: This was first proven by Hamilton [1]. In the case of surfaces of genus 0 this was initially proven for metrics of strictly positive scalar curvature. This assumption was eventually removed by Chow [2]. Their techniques rely heavily on establishing a Harnack inequality and an entropy bound. Their approach also gives an independent proof of the uniformization theorem, c.f. [3]. Due to the difficulty of this approach, the conformally round case was later revisited and several new proofs were given utilizing the uniformization theorem [4,5,6].
In this paper, we gain a new geometric perspective on 2d-Ricci flow on topological spheres by uniquely embedding any conformally round metric on the 2-sphere into the past-pointing standard lightcone in the \(3+1\)-Minkowski spacetime. This idea of identifying any metric conformal to a given Riemannian metric as a unique cross section of a null hypersurface within a spacetime satisfying the Einstein Vacuum Equations was first proposed by Fefferman–Graham [7] to study conformal invariants. In the context of Lorentzian geometry, Hamilton’s initial restriction to metrics of strictly positive scalar curvature translates to a physically reasonable assumption on the representing codimension-2 surface in the Minkowski spacetime. From the Gauß equation, we are moreover able to conclude the equivalence of Ricci flow and null mean curvature flow along the lightcone first studied by Roesch–Scheuer [8]. As defined by Roesch–Scheuer, null mean curvature flow
describes the evolution proportional to the projection of the mean curvature vector with respect to the null generator \({\underline{L}}\) of the null hypersurface, where \(\vec {{\mathcal {H}}}\) is the codimension-2 mean curvature vector in the ambient spacetime (M, g) and L is a null vector such that \(\{{\underline{L}},L\}\) forms an appropriate null frame of the normal space of the surface. This projection along the null hypersurface greatly reduces the difficulty of the general codimension-2 problem and essentially transforms it into a scalar valued parabolic equation. This was utilized by Roesch–Scheuer in the detection of marginally outer trapped surfaces. No such surfaces exist in the Minkowski spacetime as they arise as the cross section between the null hypersurface and a (black hole) horizon. Due to the equivalence to Ricci flow, we can conclude that the flow extinguishes in finite time along the lightcone and provide a full characterization of the singularity models of the flow (Corollary 11), each corresponding to a member of the restricted Lorentz group \({\text {SO}}^+(3,1)\). Conversely, understanding conformal Ricci flow as an extrinsic curvature flow along the lightcone gives rise to a new proof of Hamilton’s classical result (Theorem 12). The main ingredient to this approach will be a choice of gauge for the null frame giving rise to a scalar valued second fundamental form for cross sections of the lightcone. Then any conformally round metric has constant scalar curvature if and only if this scalar valued second fundamental form is pure trace (Proposition 7). Studying the evolution of this geometric object along the flow will allow us to adopt techniques utilized in the study of 3d-Ricci flow and mean curvature flow (cf. [9, 10]).
This observation extends to higher dimensions, as it turns out that null mean curvature flow as defined above is equivalent to the Yamabe flow in the conformal class of the round metric for arbitrary dimension. See Sect. 6 for a more detailed discussion and references.
This paper is structured as follows:
In Sect. 2 we fix some notation and recall the well-known null structure equations in the Minkowski spacetime. In Sect. 3 we compute all necessary geometric objects on the standard Minkowski lightcone and fix our choice of null gauge. In Sect. 4 we establish the equivalence between Ricci flow in the conformal class of the round sphere and null mean curvature flow along the standard Minkowski lightcone, and prove Corollary 11. In Sect. 5 we prove Theorem 12, establishing a new proof of Hamilton’s classical result. We close with some comments on the Yamabe flow in the higher dimensional case in Sect. 6.
2 Preliminaries
Throughout this paper, \({\mathbb {R}}^{3,1}\) will always refer to the \(3+1\)-dimensional Minkowski spacetime \(({\mathbb {R}}^{3,1},\eta )\), where \({\mathbb {R}}^4\) is equipped with the flat metric \(\eta \) of signature \((-+++)\). In polar coordinates, \({\mathbb {R}}^{3,1}\) is given as \({\mathbb {R}}\times (0,\infty )\times {\mathbb {S}}^2\) with
where \(\,{\text {d}}\Omega ^2\) denotes the standard round metric on \({\mathbb {S}}^2\). The standard lightcone centered at the origin in the Minkowski spacetime is given as the set
and we denote the components \({C(0)_+:=C(0)\cap \{t\ge 0\}}\), \({C(0)_{-}:=C(0)\cap \{t\le 0\}}\) as the future-pointing and past-pointing standard lightcone (centered at the origin and with time-orientation induced by \(\partial _t\)), respectively.
In the following, \((\Sigma ,\gamma )\) will always denote a 2-surface with Riemannian metric \(\gamma \), and we are in particular interested in such surfaces arising as closed, orientable, spacelike codimension-2 surfaces in \({\mathbb {R}}^{3,1}\) (usually restricted to the lightcone). As usual, we define the vector valued second fundamental form \(\vec {{\text {II}}}\) of \(\Sigma \) in \({\mathbb {R}}^{3,1}\) as
for tangent vector fields \(V,W\in \Gamma (T\Sigma )\), where \({\overline{\nabla }}\) denotes the Levi-Civita connection on the Minkowski spacetime. The codimension-2 mean curvature vector of \(\Sigma \) is then defined as \(\vec {{\mathcal {H}}}={\text {tr}}_\gamma \vec {{\text {II}}}\), where \({\text {tr}}_\gamma \) denotes the metric trace on \(\Sigma \) with respect to \(\gamma \), and we denote its Lorentzian length by \({\mathcal {H}}^2:=\eta (\vec {{\mathcal {H}}},\vec {{\mathcal {H}}})\). Let \(\{{\underline{L}},L\}\) be a null frame of \(\Gamma (T^\perp \Sigma ))\), i.e., \(\eta ({\underline{L}},{\underline{L}})=\eta (L,L)=0\), with \(\eta ({\underline{L}},L)=2\). Then \(\vec {{\text {II}}}\) and \(\vec {{\mathcal {H}}}\) admit the decomposition
Here, the null second fundamental forms \({\underline{\chi }}\) and \(\chi \) with respect to \({\underline{L}}\) and L, respectively, are defined as
for tangent vector fields \(V,W\in \Gamma (T\Sigma )\), and the null expansions \({\underline{\theta }}\) and \(\theta \) with respect to \({\underline{L}}\) and L, respectively, as
In particular
and if \({\mathcal {H}}^2\) is constant along \(\Sigma \), i.e., \(\vec {{\mathcal {H}}}\) has constant Lorentzian length along \(\Sigma \), we call \(\Sigma \) a surface of constant spacetime mean curvature (STCMC), cf. Cederbaum–Sakovich [11]. Finally, we define the connection one-form \(\zeta \) as
and together with \({\underline{\chi }}\), \(\chi \), we collect the following well-known identities:
Lemma 1
Proof
The first identity follows by virtue of the definition of \({\underline{\chi }}\) and \(\chi \). Writing
we notice that
as \({\underline{L}}\) is null along \(\Sigma \). One can derive \(a_i^j\), \(a_{{\underline{L}}}\), and the equation for \({\overline{\nabla }}_{\partial _i}L\) in a similar manner. \(\square \)
We denote the Riemann curvature tensor, Ricci curvature and scalar curvature on \((\Sigma ,\gamma )\) by \({\text {Rm}}\), \({\text {Ric}}\), \({\text {R}}\), respectively, where we use the following conventions:
We use \(\nabla \) for the Levi–Civita connection on \((\Sigma ,\gamma )\) and \(\nabla ^k\) for the k-th tensor derivative. We use \(\left| \cdot \right| :=\left| \cdot \right| _{\gamma }\) and \(\langle \cdot ,\cdot \rangle :=\langle \cdot ,\cdot \rangle _\gamma \) for all respective tensor norms and inner products induced by \(\gamma \), where we will usually omit \(\gamma \) for convenience when it is clear from the context. By slight abuse of notation, we will denote the gradient of a function f on \((\Sigma ,\gamma )\) by \(\nabla f\). We denote the trace free part of a (0, 2)-tensor T on a surface as \(\mathring{T}:=T-\frac{1}{2}{\text {tr}}_\gamma T\gamma \).
We briefly recall the well-known Gauß and Codazzi Equations in the case of a codimension-2 surface in \({\mathbb {R}}^{3,1}\), which can be directly computed from Lemma 1.
Proposition 2
(Gauß Equations)
Proof
It suffices to prove the first equation, as the others then follow directly by taking a metric trace. As \({\mathbb {R}}^{3,1}\) is flat, we find that
\(\square \)
Proposition 3
(Codazzi Equations)
Proof
The first equation follows from
The second follows by an analogue computation. \(\square \)
In the following, we will always consider null vector fields \({\underline{L}}\) such that their integral curves are geodesics, i.e.,
Under this additional assumption, the propagation equations, also known as the Raychaudhuri optical equations (cf. [8, Lemma 3.2]), along a (local) deformation
with \(\varphi \in C^2(\Sigma )\), simplify in \({\mathbb {R}}^{3,1}\) to the following:
Lemma 4
(Propagation Equations)
-
(i)
\(\frac{\,{\text {d}}}{\,{\text {d}}t}\gamma _{ij}=2\varphi {\underline{\chi }}_{ij}\), \(\frac{\,{\text {d}}}{\,{\text {d}}t}\gamma ^{ij}=-2\varphi {\underline{\chi }}^{ij}\), \(\frac{\,{\text {d}}}{\,{\text {d}}t}\,{\text {d}}\mu =\varphi {\underline{\theta }}\,{\text {d}}\mu \),
-
(ii)
\(\frac{\,{\text {d}}}{\,{\text {d}}t}{\underline{\chi }}_{ij}=\varphi ({\underline{\chi }})^2_{ij}\),
-
(iii)
\(\frac{\,{\text {d}}}{\,{\text {d}}t}L=-2\nabla \varphi -2\varphi \zeta ^k\partial _k\),
-
(iv)
\(\frac{\,{\text {d}}}{\,{\text {d}}t}\chi _{ij}=-2{\text {Hess}}_{ij}\varphi -2(\,{\text {d}}\varphi _i\otimes \zeta _j+\,{\text {d}}\varphi _j\otimes \zeta _i)-\varphi \left( 2\nabla _i\zeta _j+2\zeta _i\otimes \zeta _j-(\chi {\underline{\chi }})_{ij}\right) \),
-
(v)
\(\frac{\,{\text {d}}}{\,{\text {d}}t}{\underline{\theta }}=-\varphi \vert {\underline{\chi }}\vert ^2\),
-
(vi)
\(\frac{\,{\text {d}}}{\,{\text {d}}t}\theta =-2\Delta \varphi -2\gamma (\nabla \varphi ,\zeta )-\varphi \left( \vert \vec {{\text {II}}}\vert ^2+2{\text {div}}\zeta +2\left| \zeta \right| ^2\right) \).
3 Null geometry on the standard Minkowski lightcone
For the sake of simplicity, we will keep the discussion of null geometry to the standard Minkowski lightcone. For the interested reader, we refer to [8, 12] for a more complete and general introduction to null geometry. For our purpose, it is most convenient to introduce the null coordinates \(v:= r+t\), \(u:= r-t\) on \({\mathbb {R}}^{3,1}\). Then \(\eta \) can be written as
with \(r=r(u,v)=\frac{u+v}{2}\). Now, all past-pointing standard lightcones in the Minkowski spacetime are given by the sets \(\{v={\text {const.}}\}\) (and similarly all future-pointing lightcones are given by \(\{u={\text {const.}}\}\)). From now on, we will work on the null hypersurface \({\mathcal {N}}=\{v=0\}=C(0)_-\), i.e., the past-pointing standard lightcone centered at the origin, but all identities derived for \({\mathcal {N}}\) will also analogously hold on all level sets of v and u respectively. Note that \({\mathcal {N}}\) has the induced degenerate metric
and is generated by the geodesic integral curves of \({\underline{L}}:=2\partial _u\). Note that \({\underline{L}}\) is past-pointing and consistent with assumption (4). Recall that the null generator \({\underline{L}}\) of a null hypersurface is both tangential and normal to \({\mathcal {N}}\), and by choice of \({\underline{L}}\) we have \({\underline{L}}(r)=1\). Thus, r restricts to an affine parameter along \({\mathcal {N}}\). In particular, we can represent any spacelike cross section \(\Sigma \) of \({\mathcal {N}}\) (which intersects any integral curve of \({\underline{L}}\) exactly once) as a graph over \({\mathbb {S}}^2\), i.e., \(\Sigma =\Sigma _\omega =\{\omega =r\}\subseteq {\mathcal {N}}\). In particular, \(\Sigma \) has the induced metric
so \((\Sigma ,\gamma )\) is conformally round. Conversely, for any conformally round metric \(\gamma _\omega =\omega ^2\,{\text {d}}\Omega ^2\) there exists a unique spacelike cross section \(\Sigma _\omega \) such that \((\Sigma _\omega ,\gamma _\omega )\) embeds into \({\mathcal {N}}\), where we will omit the subscript \(\omega \) in the following when it is clear from the context. This observation is similar to an idea developed by Fefferman–Graham [7], and their construction indeed yields the standard lightcone in the \(3+1\)-Minkowski spacetime in the case of the round 2-sphere.
We now want to represent the extrinsic curvature of a spacelike cross section \((\Sigma ,\gamma )\) of \({\mathcal {N}}\) as a codimension-2 surface with respect to a particular null frame. Recall that the null generator \({\underline{L}}\) is both tangent and normal to \({\mathcal {N}}\), in particular \({\underline{L}}\) is normal to any spacelike cross section \((\Sigma ,\gamma )\). We further consider a normal null vector field L along \(\Sigma \) such that \(\eta ({\underline{L}},L)=2\). This uniquely determines L such that \(\{{\underline{L}},L\}\) form a frame of the normal bundle \(T^\perp \Sigma \) of \(\Sigma \). Note that L is future-pointing.
We now remark that the standard round spheres \(\{\Sigma _s\}_{s\in (0,\infty )}\) form a level-set foliation with respect to the integral curves of the null generator \({\underline{L}}\). It is easy to verify that for any leaf \(\Sigma _s\), we have \(L=2\partial _v\) and find
From this background foliation, we can explicitly compute all extrinsic curvature quantities for any spacelike cross section \(\Sigma \), cf. [12, Proposition 1]Footnote 1:
Proposition 5
For any spacelike cross section \((\Sigma ,\gamma )\) of \({\mathcal {N}}\), we find
-
(i)
\(\gamma =\omega ^2\,{\text {d}}\Omega ^2\),
-
(ii)
\({\underline{\chi }}=\frac{1}{\omega }\gamma \),
-
(iii)
\({\underline{\theta }}=\frac{2}{\omega }\),
-
(iv)
\(\chi =\frac{1}{\omega }(1+\left| \nabla \omega \right| ^2)\gamma -2{\text {Hess}}\, \omega \)
-
(v)
\(\theta =2\left( \frac{1}{\omega }+\frac{\left| \nabla \omega \right| ^2}{\omega }-\Delta \omega \right) \),
-
(vi)
\(\zeta =-\frac{\,{\text {d}}\omega }{\omega }\),
where \({\text {Hess}}\) and \(\Delta \) denote the Hessian and Laplace–Beltrami operator on \((\Sigma ,\gamma )\), respectively.
Remark 1
The fact that the null second fundamental form \({\underline{\chi }}\) depends only pointwise on \(\omega \) together with the background foliation of round spheres gives
and thus
by the twice contracted Gauß equation, Proposition 2, which can also be directly verified from (iii) and (v) in Proposition 5. Since \(\Sigma \) is 2-dimensional, we can therefore express the Riemann tensor of the surface as
We would like to emphasize here that \({\mathcal {H}}^2\) refers by definition to the signed Lorentzian length of the mean curvature tensor and can therefore be (locally) negative despite the suggestive power of 2 as an exponent.
In particular, we always have
so \(\vert \mathring{\vec {{\text {II}}}}\vert ^2=0\) although \(\mathring{\vec {{\text {II}}}}\not =0\), and the property of \(\vec {{\text {II}}}\) being pure trace is instead more accurately captured by \(\vert \mathring{\chi }\vert ^2=0\). Along \({\mathcal {N}}\), this is made precise by the following proposition.
Proposition 6
Let \((\Sigma ,\gamma )\) be a spacelike cross section of \({\mathcal {N}}\) with \(\mathring{\chi }=0\). Then \({\mathcal {H}}^2\) is constant and strictly positive along \(\Sigma \). In particular, \(\gamma \) is a metric of constant scalar curvature.
Remark 2
Note that
where \({{\text {Hess}}}_{{\mathbb {S}}^2}\) denotes the Hessian on \(({\mathbb {S}}^2,\,{\text {d}}\Omega ^2)\). One can also verify by computation in coordinates that \(\mathring{{\text {Hess}}}_{{\mathbb {S}}^2}\left( \frac{1}{\omega }\right) =0\) if and only if \(\omega \) is of the form
for \(\vec {x}\in {\mathbb {S}}^2\) and a fixed vector \(\vec {a}\in {\mathbb {R}}^3\), which are exactly the metrics of constant scalar curvature on \({\mathbb {S}}^2\). Hence, the converse statement of Proposition 6 is also true. It is a well-known fact that all such metrics can be obtained from the round metric by a suitable Möbius transformation, cf. [12, Proposition 6], [13, Sect. 5.2]. Moreover, the metrics (9) describe exactly the images of round spheres (as cross sections of \({\mathcal {N}}\)) after a suitable Lorentz transformation in \({\text {SO}}^+(3,1)\) in the Minkowski spacetime, which leave the lightcone \({\mathcal {N}}\) invariant. These observations illustrate once again the well-known fact that the Möbius group is isomorphic to the restricted Lorentz group \({\text {SO}}^+(3,1)\).
Proof of Proposition 6
Combining the Codazzi equation for \(\chi \) from Proposition 3 with the explicit form of \(\zeta \) from Proposition 5, we find
Multiplying the equation by \({\underline{\theta }}=\frac{2}{\omega }>0\), we get
Hence \(\nabla \left( {\underline{\theta }}\chi \right) \) is totally symmetric and since \({\text {tr}}_\gamma {\underline{\theta }}\chi ={\mathcal {H}}^2\), we find
by assumption. Therefore \({\mathcal {H}}^2\) is constant, in particular \(\gamma \) is a metric of constant scalar curvature by the Gauß equation (5). Finally, the Gauß–Bonnet Theorem ensures the positivity of \({\text {R}}\) and hence \({\mathcal {H}}^2\). \(\square \)
Motivated by this, we will choose the symmetric (0, 2)-form \(A:= {\underline{\theta }}\chi \) as a scalar valued representation of the vector valued second fundamental form \(\vec {{\text {II}}}\). This can be regarded as a choice of gauge. Rephrasing Proposition 6 in terms of A, we see that we can prove the following identity in complete analogy to the properties of the scalar valued second fundamental form h of an embedded, orientable surface in \({\mathbb {R}}^3\), cf. [9, Lemma 8.15].
Proposition 7
Let \((\Sigma ,\gamma )\) be a spacelike cross section of \({\mathcal {N}}\). Then \(\nabla A\) is totally symmetric, i.e.,
In particular, we find
and \(\mathring{A}=0\) if and only if \({\mathcal {H}}^2\) is a strictly positive constant.
We further derive the propagation equations for the geometric objects A and \({\mathcal {H}}^2\) from Lemma 4 and Proposition 5:
Lemma 8
Proof
From Lemma 4 (iv) and (v), and \({\underline{\chi }}=\frac{1}{2}{\underline{\theta }}\gamma \), we compute
We now observe that the remaining terms on the right hand side exactly combine into \(-2{\text {Hess}}_{ij}\left( {\underline{\theta }}\varphi \right) \) due to the explicit formulas for \({\underline{\theta }}\) and \(\zeta \) stated in Proposition 5. Taking a trace, where \(\frac{\,{\text {d}}}{\,{\text {d}}t}\gamma ^{ij}=-\varphi {\underline{\theta }}\gamma ^{ij}\), completes the proof. \(\square \)
We close this section by establishing a null version of the Simons’ identity for A in the \(3+1\)-Minkowski lightcone \({\mathcal {N}}\) which will be crucial for our later analysis.
Lemma 9
(Null Simons’ Identity)
Proof
In the following lines, we will make frequent use of the Codazzi equation for A, Lemma 7, and the fact that for any symmetric (0, 2)-tensor T, we have that
Thus, we compute
where we have used (6) in the second to last line. Taking a trace with respect to the kl entries yields the claim. \(\square \)
4 2d-Ricci flow along the standard Minkowski lightcone
We will now investigate null mean curvature flow restricted to the (past-pointing) standard lightcone \({\mathcal {N}}\) in the \(3+1\)-Minkowski spacetime. Recall that along the standard lightcone in the \(3+1\)-Minkowski spacetime null mean curvature flow is defined as
as first studied by Roesch–Scheuer in a more general case [8]. Note that since \({\underline{L}}(r)=1\), the above is equivalent to the following evolution equation for \(\omega \)
Recall that \(\mathring{{\text {Ric}}}=0\) in dimension 2, so 2d-Ricci flow agrees with the Yamabe flow [14] and naturally preserves the conformal class of the metric. More explicitly, in our case
where \({\mathcal {K}}\) denotes the Gauß curvature. Note that by the twice contracted Gauß equation (5) and the explicit form of \({\underline{\theta }}\), we have that \(\theta =2\omega {\mathcal {K}}\). Therefore, 2-dimensional Ricci flow in the conformal class of the round sphere is equivalent to null mean curvature flow on the past-pointing standard lightcone in the \(3+1\)-Minkowski spacetime. Since 2d-Ricci flow and its renormalized equation are fully understood in this case, we find the following corollary as a consequence of the Gauß equation (5), Remark 2, and a classical result of 2d-Ricci flow first proven by Hamilton [1], where the initial restriction to metrics of strictly positive scalar curvature in the case of surfaces of genus 0 was later removed by Chow [2]:
Theorem 10
(Hamilton and Chow, [2, Corollary 1.3]) If g is any metric on a Riemann surface, then under Hamilton’s Ricci flow, g converges to a metric of constant curvature.
Corollary 11
Let \((\Sigma _0,\gamma _0)\) be a spacelike cross section of the past-pointing standard lightcone \({\mathcal {N}}\) in the \(3+1\)-Minkowski spacetime. Then the solution of null mean curvature flow starting from \(\Sigma _0\) extinguishes in the tip of the cone in finite time and the renormalization by volume converges to a surface of constant spacetime mean curvature, which exactly arise as the image of a round sphere of a Lorentz transformation in \({\text {SO}}^+(3,1)\) consisting of a Lorentz boost with boost vector
for a vector \(\vec {a}\in {\mathbb {R}}^3\) and a rotation determined by the choice of coordinates on \({\mathbb {S}}^2\).
Conversely, we will show in the next section that by studying null mean curvature flow along the standard Minkowski lightcone a new proof for renormalized 2d-Ricci flow arises.
5 A new proof of Hamilton’s Theorem
With this approach to 2d-Ricci flow, we give a new proof of Hamilton’s classical result:
Theorem 12
(cf. [1]) Let \((\Sigma _0,\gamma _0)\) be a surface with conformally round metric \(\gamma _0\) and strictly positive scalar curvature. Then a solution of renormalized Ricci flow exists for all time and the metrics \(\gamma _t\) converge to a smooth metric \(\gamma _\infty \) of constant scalar curvature in \(C^k\) for all \(k\in {\mathbb {N}}\) as \(t\rightarrow \infty \).
Note that the assumption of strictly positive scalar curvature translates by the Gauß equation (5) to the assumption that the mean curvature vector \(\vec {{\mathcal {H}}}\) is spacelike everywhere. Throughout this section, we will use the extrinsic objects A, \({\mathcal {H}}^2\) evolving under null mean curvature flow on the standard lightcone in the \(3+1\)-Minkowski spacetime, but will frequently exploit its equivalence to 2d-Ricci flow to switch freely between the frameworks of null mean curvature flow and 2d-Ricci flow. A key tool in the proof will be to first study the evolution of \(\vert \mathring{A}\vert ^2\) along the unnormalized flow which can be combined into the evolution of \({\mathcal {H}}^2\) to yield a crucial gradient estimate. Translating these to the renormalized flow will then yield the proof of Theorem 12.
Remark 3
Note that there does not seem to be a direct connection between \(\mathring{A}\) and the auxiliary term \(M=\mathring{{\text {Hess}}}f\) in the modified renormalized flow in [1, 5], where f solves
![](http://media.springernature.com/lw132/springer-static/image/art%3A10.1007%2Fs00526-022-02415-0/MediaObjects/526_2022_2415_Equ110_HTML.png)
To see this, consider any stationary point of the renormalized flow where f is necessarily constant while \(\mathring{A}=0\) holds for all functions \(\omega \) of the form (9) arising from Lorentz transformations.
We start by computing the relevant evolution equations for the unnormalized flow.
Proposition 13
For a smooth solution to null mean curvature flow, we find
Proof
For \(\varphi =-\frac{1}{2}\theta \), the evolution equation for \({\mathcal {H}}^2\) is immediate form Lemma 8. Combining the evolution equation for A from Lemma 8 with the null Simons’ identity, Lemma 9, we have
Hence
\(\square \)
Therefore, as we already know from Ricci flow, cf. [10, Corollary 2.11], the positivity of \({\mathcal {H}}^2\) is preserved under the flow by the parabolic maximum principle [10, Proposition 2.9]. In particular, the flow exists only for finite time, as \({\mathcal {H}}^2\rightarrow \infty \) in finite time.
Proposition 14
Remark 4
In particular, any upper bound on \(\frac{\left| A \right| ^2}{\left( {\mathcal {H}}^2\right) ^2}\) is preserved under the flow, so for a sequence (p, t) of points and times, we have that \(\left| A \right| ^2\rightarrow \infty \) if and only if \({\mathcal {H}}^2\rightarrow \infty \).
Proof
By Proposition 13, we have that
Note that
Thus
Moreover,
Therefore, we conclude that
Now notice that
so that
The claim follows from using the last identity in the evolution equation. \(\square \)
We would like to point out the similarity to the evolution of the corresponding quantities for mean curvature flow in Euclidean space, where the second fundamental form h and mean curvature H are replaced here by A and \({\mathcal {H}}^2\) in the evolution equations. However, the presence of the additional good term \(-{\mathcal {H}}^2\frac{\vert \mathring{A}\vert ^2}{\left( {\mathcal {H}}^2\right) ^2}\) will allow us to prove a scale breaking estimate similar to work of Huisken (cf. [9, Theorem 8.6]) for mean curvature flow without any pinching condition and without the need to employ a Stampacchia iteration.
Theorem 15
Let \(\{\Sigma _t\}_{t\in [0,T_{max})}\) be a family of closed, topological 2-spheres with strictly positive scalar curvature evolving under Ricci flow in the form of null mean curvature flow. Then, for any \(\sigma \in [0,1]\), there exists \(C=C(\Sigma _0,\sigma )\), such that
for all \(0\le t<T_{max}\).
Proof
We define \(f_0:= \frac{\vert \mathring{A}\vert ^2}{\left( {\mathcal {H}}^2\right) ^2}\), and hence \(f_0=\frac{\left| A \right| ^2}{\left( {\mathcal {H}}^2\right) ^2}-\frac{1}{2}\) as \({\text {tr}}_\gamma A={\mathcal {H}}^2\). By Proposition 14 the evolution of \(f_0\) is given by
We now consider \(f_\sigma := ({\mathcal {H}}^2)^\sigma f_0\) for some \(\sigma \in [0,1]\). Then
Similar to before, we compute that
and
Therefore, we have that
for \(\sigma \in [0,1]\). Thus the claim follows by the parabolic maximum principle. \(\square \)
Using this estimate, we establish a gradient bound, that will allow us to conclude that the ratio between the minimum and maximum of \({\mathcal {H}}^2\) and therefore \({\text {R}}\) converges to 1 as \(t\rightarrow T_{max}\). We will state this in the framework of Ricci flow.
Theorem 16
Let \(\{\Sigma _t\}_{t\in [0,T_{max})}\) be a family of closed, topological 2-spheres with strictly positive scalar curvature evolving under Ricci flow. For any \(\eta >0\), there exists \(C_{\eta }>0\) only depending on \(\eta \) and \(\Sigma _0\), such that
for all \(t\in [0,T_{max})\).
Remark 5
As \({\mathcal {H}}^2=2{\text {R}}\) by the Gauß Equation (5), it suffices to proof
From this, we get the crucial gradient estimate
for any \(\eta >0\) and t sufficiently close to \(T_{max}\). This estimate allowed Hamilton to conclude that the ratio of \({\text {R}}_{min}\) ad \({\text {R}}_{max}\) converges to 1 in the 3-dimensional case using the Theorem of Bonnet–Myers, cf. [10, Lemma 3.22]. We now established this estimate for 2-dimensional Ricci flow and can argue analogously. Compare also the corresponding result by Huisken for mean curvature flow of convex surfaces, cf. [9, Corollary 8.16].
Corollary 17
As \(t\rightarrow T_{max}\),
Proof of Theorem 16
We fix any \(\sigma \in (0,1]\), and by Theorem 15, there exists C only depending on \(\Sigma _0\) (and our fixed choice of \(\sigma \)), such that
Using Young’s Inequality, we find that for any \(\varepsilon >0\), there exists \(C_\varepsilon >0\) (only depending on \(\varepsilon \) and \(\Sigma _0\)), such that
We define
Computing the evolution of (17) and abbreviating \(\frac{\,{\text {d}}}{\,{\text {d}}t}\) as \(\partial _t\), we find that
Recall that \(\left| \nabla A\right| ^2\ge \frac{3}{4}\left| \nabla {\mathcal {H}}^2\right| ^2\) as stated in Proposition 7. Hence, for any \(0<\varepsilon \le \frac{1}{8}\) we find
and thus we have
for any \(0<\varepsilon \le \frac{1}{8}\). Also recall that by Proposition 13, we have
and since \({\mathcal {H}}^2=2R\) and we are evolving the surface under Ricci flow, there exists a fixed constant \(C>0\) such that
cf. [10, Chapter 3]. We now look at a new maximum of \(f:=\frac{\left| \nabla {\mathcal {H}}^2\right| ^2}{G_\varepsilon {\mathcal {H}}^2}\) at a time and point (t, p). In particular, we have that
at (t, p). So at (t, p) it holds that
Moreover, direct computation yields
Hence, using (18), (19), (20), and (21), we see that at (t, p)
so after rearranging, we have that
at any new maximum. We conclude that
and in particular
After using Young’s inequality again, the proof now follows for any \(\eta >0\) by taking a square root and choosing \(0<\varepsilon <\frac{1}{8}\) sufficiently small. \(\square \)
We briefly recall some properties of n-dimensional Ricci flow renormalized by volume (cf. [10, Chapter 3.6]), i.e.,
where , such that along any solution we have that
Given a solution of Ricci flow \(\gamma (t)\), \(t\in [0,T)\), the metrics \({\widetilde{\gamma }}(\,{\widetilde{t}}\,):= c(t)\gamma (t)\), with
satisfy (22) with initial condition \({\widetilde{\gamma }}(0)=\gamma (0)\), so we can always renormalize a given solution of Ricci flow. Moreover, we have the following transformation laws for evolution equations by Hamilton:
Lemma 18
(Hamilton, see [10, Lemma 3.26]) If an expression \(X=X(\gamma )\) formed algebraically from the metric and the Riemann curvature tensor has degree k, i.e., \(X(c\gamma )=c^kX(\gamma )\), and if under the Ricci flow
then the degree of Y is \(k-1\) and the evolution under the normalized Ricci flow \(\frac{\partial }{\partial {\widetilde{t}}}{\widetilde{\gamma }}_{ij}=-2\widetilde{{\text {Ric}}}_{ij}+\frac{2}{n}{\widetilde{r}}{\widetilde{\gamma }}_{ij}\) of \({\widetilde{X}}:=X({\widetilde{\gamma }})\) is given by
Recall that by [10, Remark 3.27], this lemma also extends to the corresponding partial differential inequalities if Y is of degree \(k-1\), and is further also applicable to arbitrary tensor derivatives of such expressions as used frequently throughout [10, Chapter 3].
Remark 6
In this section, as before, we will only look at the case when \(n=2\) and \(\gamma (t)\) is conformal to the round sphere for each t. Thus \({\widetilde{\gamma }}(\,{\widetilde{t}}\,)\) is conformally round, and by the Gauß–Bonnet Theorem
is positive and remains constant along the flow.
From now on, will assume without loss of generality that
for all \(t\in [0,T_{max}), x\in \Sigma _t\) (this is ultimately satisfied for t sufficiently close to \(T_{max}\) due to Corollary 17). Note that due to the relation between \({\mathcal {H}}^2\) and \({\text {R}}\) via the Gauß equation (5), combining Proposition 13 with the fact that \({\text {R}}_{max}\rightarrow \infty \) as \(t\rightarrow T\), we find that \({\text {R}}_{max}\ge (T-t)^{-1}\). In particular,
In the following, we will switch freely between the framework of (renormalized) 2-d Ricci flow and null mean curvature flow along the past-pointing standard lightcone. Recall that most importantly, bounds for \({\mathcal {H}}^2\) and its derivatives correspond directly to bounds on the scalar curvature and its derivatives via the Gauß equation (5). In our analysis of the renormalized flow we will closely follow the outline of Hamilton’s strategy presented in [10, Chapter 3] for 3-dimensional Ricci flow, and include the proofs for the sake of completeness. We start by establishing the following lemma:
Lemma 19
For the renormalized flow (22), we have that
-
(i)
\({\widetilde{T}}=\infty \),
-
(ii)
\( \lim \limits _{{\widetilde{t}}\rightarrow \infty }\frac{\widetilde{{\mathcal {H}}}^2_{min}}{\widetilde{{\mathcal {H}}}^2_{max}}=1 \)
-
(iii)
There exists \(C_1>0\) such that \(\frac{1}{C_1}\le \widetilde{{\mathcal {H}}}^2_{min}(\,{\widetilde{t}}\,)\le \widetilde{{\mathcal {H}}}^2_{max}(\,{\widetilde{t}}\,)\le C_1\) for all \({\widetilde{t}}\),
-
(iv)
\({\text {diam}}({\widetilde{\gamma }}(\,{\widetilde{t}}\,))\le C_2\)
-
(v)
,
-
(vi)
\(\left| {\widetilde{\nabla }}\widetilde{{\mathcal {H}}}^2 \right| ^2\le C_4e^{-\delta {\widetilde{t}}}\),
-
(vii)
\(\widetilde{{\mathcal {H}}}^2_{max}-\widetilde{{\mathcal {H}}}^2_{min}\le C_5e^{-\delta {\widetilde{t}}}\),
for constants \(C_1,C_2,C_3,C_4,C_5\) independent of t.
Proof
In the following, \(C,{\widetilde{C}}\) will always denote positive constants independent of t that may vary from line to line.
-
(i)
By substitution rule, we find that
$$\begin{aligned} \int \limits _0^{{\widetilde{t}}(t_0)}{\widetilde{r}}({\widetilde{\tau }})\,{\text {d}}{\widetilde{\tau }}=\int \limits _0^{t_0}r(\tau )\,{\text {d}}\tau . \end{aligned}$$Combining this formula for \(t\rightarrow T\) with (24), we can conclude (i) since \({\widetilde{r}}\) is constant.
-
(ii)
Follows immediately from Corollary 17.
-
(iii)
By the Bishop–Gromov volume comparison, we have that
$$\begin{aligned} {\text {Vol}}({\widetilde{\gamma }}(0))={\text {Vol}}({\widetilde{\gamma }}(\,{\widetilde{t}}\,))\le C{\text {diam}}({\widetilde{\gamma }}(\,{\widetilde{t}}\,))^2, \end{aligned}$$and recall that by the Bonnet–Myers Theorem
$$\begin{aligned} {\text {diam}}({\widetilde{\gamma }}(\,{\widetilde{t}}\,))\le C\left( \widetilde{{\mathcal {H}}}_{max}^2\right) ^{-\frac{1}{2}}. \end{aligned}$$(25)Thus, \(\widetilde{{\mathcal {H}}}_{max}^2\) is uniformly bounded from above. Now note that \({\widetilde{\Sigma }}_{{\widetilde{t}}}\) is a topological sphere, in particular simply connected. Hence, Klingenberg’s injectivity radius estimate yields that
$$\begin{aligned} {\text {inj}}({\widetilde{\gamma }}(\,{\widetilde{t}}\,))\ge C\left( \widetilde{{\mathcal {H}}}_{max}^2\right) ^{-\frac{1}{2}}, \end{aligned}$$and therefore
$$\begin{aligned} {\text {Vol}}({\widetilde{\gamma }}(0))={\text {Vol}}({\widetilde{\gamma }}(\,{\widetilde{t}}\,))\ge C\left( \widetilde{{\mathcal {H}}}_{max}^2\right) ^{-1}, \end{aligned}$$so \(\widetilde{{\mathcal {H}}}_{max}^2\) is also uniformly bounded from below. Since the inequality (23) is preserved under rescaling, we have that the scalar curvature is uniformly bounded and we can therefore pick some constant \(C>0\) such that (iii) is satisfied.
-
(iv)
Follows directly from (iii) via (25).
We prove (v) and (vi) simultaneously. We define \(\Psi := \frac{\left| \nabla {\mathcal {H}}^2\right| ^2}{{\mathcal {H}}^2}+K\vert \mathring{A}\vert ^2\) for some positive constant K to be determined later. Recall that along the unnormalized flow, we have that
for some fixed constant C, and we find that
by direct computation via Proposition 13 and \(\left| \nabla A\right| ^2\ge \frac{3}{4}\left| \nabla {\mathcal {H}}^2\right| ^2\) proven in Proposition 7. Thus \(\Psi \) is of degree \(-2\) and satisfies the evolution equation
Note that
We now choose \(K:= 2C>0\), so we can conclude that \((\partial _t-\Delta )\Psi \le 0\). In particular, \({\widetilde{\Psi }}\) satisfies
By the maximum principle, we can now conclude that
![](http://media.springernature.com/lw176/springer-static/image/art%3A10.1007%2Fs00526-022-02415-0/MediaObjects/526_2022_2415_Equ111_HTML.png)
so (v) and (vi) follow since \(\widetilde{{\mathcal {H}}}^2\) is uniformly bounded. Lastly (vii) follows form (iv) and (vi). \(\square \)
In particular \(\left| \widetilde{{\text {R}}}-{\widetilde{r}} \right| \le Ce^{-\delta {\widetilde{t}}}\), so we know that the evolution speed of the renormalized flow (22) is integrable. We thus acquire uniform bounds and \(C^0\) convergence of the metric due to a Lemma by Hamilton (cf. [10, Lemma 6.10]):
Corollary 20
Let \(\gamma (t)\) be a solution of 2d-Ricci flow with \({\text {R}}>0\). Then the renormalized flow (22) exists for all time, and there exists a constant \(C>0\) such that
and \(\widetilde{\gamma } (\,\widetilde{t}\,)\) converges uniformly to a limiting metric \({\widetilde{\gamma }}(\infty )\) on compact sets as \({\widetilde{t}}\rightarrow \infty \).
Remark 7
Since the renormalized metrics are also conformally round, i.e., \({{\widetilde{\gamma }}(\,{\widetilde{t}}\,)={\widetilde{\omega }}^2(\,{\widetilde{t}}\,)\,{\text {d}}\Omega ^2}\), Corollary 20 in particular yields a uniform bound on the conformal factors \({\widetilde{\omega }}(t)\) depending only on \({{\widetilde{\omega }}}(0)\).
To complete the proof of Theorem 12, it remains to show that \({\widetilde{\gamma }}(\infty )\) is in fact smooth and that the renormalized flow converges in \(C^k\) for any k. In particular, due to Lemma 19 (ii), \({\widetilde{\gamma }}(\infty )\) is then a metric of constant scalar curvature. We thus require bounds for the derivatives of the renormalized metrics, and by a standard argument it suffices to bound the derivatives of the Riemann tensor. However, for \(n=2\), the Riemann tensor and its derivatives are fully determined by the scalar curvature and its derivatives. By the Gauß equation (5), it thus suffices to find appropriate bounds for \(\widetilde{{\mathcal {H}}}^2\) and its derivatives.
Lemma 21
For all \(k\in {\mathbb {N}}\), there exist \(C_k, \delta _k>0\), such that
Proof
Since \(n=2\), there exists a fixed constant C, such that \(\left| \nabla ^k{\mathcal {H}}^2 \right| ^2=C \left| \nabla ^k{\text {Rm}} \right| ^2\), and thus the evolution of \(\left| \nabla ^k{\mathcal {H}}^2 \right| ^2\) along the unnormalized flow can be estimated by
where C(k) denotes a constant only depending on k, cf. [10, Chapter 3].
We will proof the statement by strong induction, where in the following \(C_k,C_{k+1}\) will be constants only depending on k which may vary from line to line. The statement is true for \(k=1\) as proven in Lemma 19 (vi).
We now assume that the statement is true for all \(1\le l\le k\), and proceed from k to \(k+1\). We define \(f:=\left| \nabla ^{k+1}{\mathcal {H}}^2 \right| ^2+K{\mathcal {H}}^2\left| \nabla ^{k}{\mathcal {H}}^2 \right| ^2\), where K is a positive constant to be determined later. Then f is of degree \(-k-3\) and according to (26) its evolution under Ricci flow is given by
where we have used Young’s inequality in the last line and collected all remaining terms in \(C_k(K,{\mathcal {H}}^2,\nabla ^{1\le l \le k}{\mathcal {H}}^2)\). In particular, we used the estimate
We now choose \(K:=C_{k+1}\), and thus we find that
where \(C_k({\mathcal {H}}^2,\nabla ^{1\le l \le k}{\mathcal {H}}^2)\) is in fact a sum of products of derivatives with at least order 1 and at most order k such that the factors only depend on k, and possibly \({\mathcal {H}}^2\), and \(C_k({\mathcal {H}}^2,\nabla ^{1\le l \le k}{\mathcal {H}}^2)\) is of degree \(-k-4\). Hence, the evolution of \({\widetilde{f}}\) along the renormalized flow is given by
for some \({\widetilde{C}},{\widetilde{\delta }}>0\) by induction, as \(\widetilde{{\mathcal {H}}}^2\) is uniformly bounded by Lemma 19. Now choosing \(\delta <\min ({\widetilde{\delta }},k+3)\), we find that
So by the maximum principle, there exists \(C_0>0\) such that
Since exponential decay wins over linear growth, there exists an appropriate constant \(C_k>0\) for any choice \(0<\delta _k<\delta \) such that
This concludes the proof. \(\square \)
From this, we can conclude the uniform convergence in \(C^k\) for any \(k\in {\mathbb {N}}\) and Theorem 12 is proven.
6 Comments
We close with some comments on the higher dimensional case. Since the general structure of the standard lightcone derived in Sect. 3 extends directly to higher dimensions (up to some possibly dimension dependent constants), the geometric intuition developed in Sect. 3 also holds for the standard lightcone in the \(n+1\) dimensional Minkowski spacetime, \(n\ge 3\). In particular, the Gauß equation yields
From this, we can similarly establish that null mean curvature flow is proportional to the Yamabe flow [14] for the conformal class of the round metric on \({\mathbb {S}}^{n-1}\) in all dimensions \(n-1\ge 2\). More precisely, the metrics evolve under renormalized null mean curvature flow as
![](http://media.springernature.com/lw259/springer-static/image/art%3A10.1007%2Fs00526-022-02415-0/MediaObjects/526_2022_2415_Equ28_HTML.png)
Since not all metrics on \({\mathbb {S}}^{n-1}\) are necessarily conformally round in higher dimension \(n-1\ge 3\) they can thus not be embedded isometrically into the standard Minkowski lightcone.
Similar to the 2-dimensional case, renormalized Yamabe flow has been subject to thorough investigation using various different methods. The case of the conformal class of the round sphere was first treated separately by Chow [15] under the additional assumption of positive Ricci curvature, which is preserved under the flow. A uniform approach for locally conformally flat metrics was later provided by Ye [16]. Schwetlick–Struwe [17] performed a precise blow-up analysis and showed that singularities arising in the blow-up procedure can by ruled out by employing the positive mass theorem (cf. [18]) if the initial energy is less than some uniform bound depending on the Yamabe invariant of the initial metric and the Yamabe energy of the round sphere. The general approach by Brendle [19, 20] leads to a short proof of the conformally round case [21]. We suspect that the techniques developed in this paper could be applied to gain a new proof of this result, possibly under similar restrictions as Chow [15]. This is subject of future work.
Notes
Note the different sign conventions \(k=-{\underline{L}}\), \(s_l=-\zeta \).
References
Hamilton, R.S.: The Ricci flow on surfaces. Math. Gen. Relativ. Contemp. Math. 71, 237–262 (1988)
Chow, B.: The Ricci flow on the \(2\)-sphere. J. Differential Geom. 33(2), 325–334 (1991)
Chen, X., Lu, P., Tian, G.: A note on uniformization of Riemann surfaces by Ricci flow. Proc. Am. Math. Soc. 134(11), 3391–3393 (2006)
Andrews, B., Bryan, P.: Curvature bounds by isoperimetric comparison for normalized Ricci flow on the two-sphere. Calc. Var. Partial. Differ. Equ. 39, 419–428 (2009)
Bartz, J., Struwe, M., Ye, R.: A new approach to the Ricci flow on \({\mathbb{S} }^2\). Annali Della Scuola Normale Superiore Di Pisa-classe Di Scienze 21, 475–482 (1994)
Struwe, M.: Curvature flows on surfaces. Annali Della Scuola Normale Superiore di Pisa-classe Di Scienze 1(2), 247–274 (2002)
Fefferman, C., Graham, C.R.: Conformal invariants. In: Élie Cartan et les Mathématiques D’aujourd’hui - Lyon, 25-29 Juin 1984. Astérisque, pp. 95–116 (1985)
Roesch, H., Scheuer, J.: Mean curvature flow in null hypersurfaces and the detection of MOTS. Commun. Math. Phys. 390, 1–25 (2022)
Andrews, B., Chow, B., Guenther, C., Langford, M.: Extrinsic Geometric Flows. American Mathematical Society, Providence, Rhode Island (2020)
Chow, B., Lu, P., Ni, L.: Hamilton’s Ricci Flow. American Mathematical Society, Providence, Rhode Island (2010)
Cederbaum, C., Sakovich, A.: On the center of mass and foliations by constant spacetime mean curvature surfaces for isolated systems in general relativity. Calc. Var. and Partial Differential Equ. 60(6), 1–57 (2021)
Mars, M., Soria, A.: The asymptotic behavior of the Hawking energy along null asymptotically flat hypersurfaces. Class. Quantum Gravity 32(18), 185020 (2015)
Wang, Y.-K.: A spacetime Alexandrov Theorem. (Doctoral thesis) (2014). https://academiccommons.columbia.edu/doi/10.7916/D8MG7MN2
Hamilton, R.S.: Lectures on geometric flows. unpublished (1989)
Chow, B.: The Yamabe flow on locally conformally flat metrics with positive Ricci curvature. Commun. Pure Appl. Math. 45, 1003–1014 (1992)
Ye, R.: Global existence and convergence of Yamabe flow. J. Differential Geom. 39, 35–50 (1994)
Schwetlick, H., Struwe, M.: Convergence of the Yamabe flow for energies. J. die reine und angewandte Mathematik 562, 59–100 (2003)
Schoen, R., Yau, S.T.: On the proof of the positive mass conjecture in general relativity. Commun. Math. Phys. 65(1), 45–76 (1979)
Brendle, S.: Convergence of the Yamabe flow for arbitrary initial energy. J. Differential Geom. 69(2), 217–278 (2005)
Brendle, S.: Convergence of the Yamabe flow in dimension \(6\) and higher. Invent. Math. 170, 541–576 (2007)
Brendle, S.: A short proof of the Yamabe flow on \(S^n\). Pure Appl. Math. Q. 3(2), 499–512 (2007)
Acknowledgements
I would like to express my sincere gratitude towards my PhD supervisors Carla Cederbaum and Gerhard Huisken for their continuing guidance and helpful discussions.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
I am unaware of any conflict of interests.
Availability of data and materials
I have no associated data or materials.
Additional information
Communicated by A. Neves.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wolff, M. Ricci flow on surfaces along the standard lightcone in the \(3+1\)-Minkowski spacetime. Calc. Var. 62, 90 (2023). https://doi.org/10.1007/s00526-022-02415-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-022-02415-0