The research conducted by me and my team-mates have produced one publication and two preprints. Within the context of the study of bubble sheet singularities, Kyeongsu Choi, Robert Haslhofer and the PI have derived a more refined estimate for the structure of ovals and the HIWM translators Fundamentally, this provides better understanding of these (implicitly defined) solution, which makes their analysis more tractable. Indeed, in the subsequent work we have used this more refined understanding (and more) to study the moduli space of translators: Previously, we knew that all translators belong to the HIMW family, which was a topological interval, but it remained open whether this family is in fact smooth, and parametrized by its tip curvature, This was the main aim of the above mentioned paper was to show that this was indeed a smooth family parametrized by its tip curvature. This required developing a theory for the linearized translator equation in well crafted spaces (to deal with the degeneracy of the ellipticity at infinity) and substituting geometric estimates (foliations and avoidance principles) with PDE estimates.We have also further explored these PDE substitutes, deriving a gradient estimate that replaces Hamilton Harnack inequality. Showing that non compact non collapsed mean convex flows asymptotic to a bubble sheet, which are not the bubble sheet are translators was achieved by Choi and Haslhofer, without the PI involvement.
With respect to the mean curvature flow approach to the the cosmic no-hair conjecture, rather than working with symmetry, we took the avenue of going from rigidity to stability to convergence. The first step of this was achieved in the preprint “mean curvature flow in de Sitter space, co-authored with Leonardo Senatore, where we show that in de Sitter space itself, every initial graphical, mean convex surface converges to the flat slicing of de Sitter space. This had produced a version of “extending pseudolcality” where the contrast of the non linearity of the equation and the expanding ambient space interact nicely. This should be thought of as a test case for the approach to the conjecture - the approach is to show the convergence to de Sitter space is by showing that the flow has to converge to the flat slicing of it. If it doesn’t work without assuming initial de Sitter, there is no hope. On the more analytical side, an MSc thesis of my student Nimrod Gabison (supported by the grant) dealt with the construction of mean curvature flow starting from graphical mean convex data on the entire, non compact, de Sitter space. I had hoped that this would lead to a pseudo-locality result which holds without an upper bound on H (a bound which is natural in this context) but this part was not yet achieved
Finally, conforming the the main topic of this grant of better understanding the singularity formation, in anticipation of some future application, together with Joshua Daniel Holgate with embarked on the study of backwards uniqueness of mean curvature flow past singularities. This is interesting both from the PDE standpoint, and is relevant so my remaining major conjecture for surfaces. compact This has resulted two achivements: backwards uniqueness, past singularities, for mean curvature flow with asymptotically conical singularities, and a maximal rate estimate for how far can two flows be close to a compact singularity without being the same. The former result is very significant (and quite surprising) as it’s the first instance of backwards uniqueness for any singular geometric flow that does not assume global self similarity. In particular, no other result for any geometric flow applied to compact initial data
