MathSciDoc: An Archive for Mathematician ∫

We study the limit of quasilocal energy defined in [7] and [8] for a family of spacelike 2-surfaces approaching null infinity of an asymptotically flat spacetime. It is shown that Lorentzian symmetry is recovered and an energy-momentum 4-vector is obtained. In particular, the result is consistent with the Bondi–Sachs energy-momentum at a retarded time. The quasilocal mass in [7] and [8] is defined by minimizing quasilocal energy among admissible isometric embeddings and observers. The solvability of the Euler-Lagrange equation for this variational problem is also discussed in both the asymptotically flat and asymptotically null cases. Assuming analyticity, the equation can be solved and the solution is locally minimizing in all orders. In particular, this produces an optimal reference hypersurface in the Minkowski space for the spatial or null exterior region of an asymptotically flat spacetime.

We apply the mean curvature flow to deform symplectomorphisms of $\mathbb{CP}^n$. In particular, we prove that, for each dimension $n$, there exists a constant , explicitly computable, such that anypinched symplectomorphism of $\mathbb{CP}^n$ is symplectically isotopic to a biholomorphic isometry.

We construct gradient K\"ahler-Ricci solitons on Ricci-flat K\"ahler cone manifolds and on line bundles over toric Fano manifolds. Certain shrinking and expanding solitons are pasted together to form eternal solutions of the Ricci flow. The method we employ is the Calabi ansatz over Sasaki-Einstein manifolds, and the results generalize constructions of Cao and Feldman-Ilmanen-Knopf.

An almost K\"ahler structure on a symplectic manifold (N,ω) consists of a Riemannian metric g and an almost complex structure J such that the symplectic form ω satisfies ω(⋅,⋅)=g(J(⋅),⋅) . Any symplectic manifold admits an almost K\"ahler structure and we refer to (N,ω,g,J) as an almost K\"ahler manifold. In this article, we propose a natural evolution equation to investigate the deformation of Lagrangian submanifolds in almost K\"ahler manifolds. A metric and complex connection $\hn$ on TN defines a generalized mean curvature vector field along any Lagrangian submanifold M of N . We study the evolution of M along this vector field, which turns out to be a Lagrangian deformation, as long as the connection $\hn$ satisfies an Einstein condition. This can be viewed as a generalization of the classical Lagrangian mean curvature flow in K\"ahler-Einstein manifolds where the connection $\hn$ is the Levi-Civita connection of g . Our result applies to the important case of Lagrangian submanifolds in a cotangent bundle equipped with the canonical almost K\"ahler structure and to other generalization of Lagrangian mean curvature flows, such as the flow considered by Behrndt \cite{b} in K\"ahler manifolds that are almost Einstein.

We study the limit of quasilocal mass defined in [4] and [5] for a family of spacelike 2-surfaces in spacetime. In particular, we show the limit coincides with the ADM mass at spatial infinity. The limit for coordinate spheres of a boosted slice of the Schwarzchild solution is computed explicitly and shown to give the expected energymomentum four-vector

In an upcoming paper by Lee and Wang, we construct examples of two-dimensional Hamiltonian stationary self-shrinkers and self-expanders for Lagrangian mean curvature flows, which are asymptotic to the union of two Schoen-Wolfson cones. These self-shrinkers and self-expanders can be glued together to yield solutions of the Brakke flow - a weak formulation of the mean curvature flow. Moreover, there is no mass loss along the Brakke flow. In this paper, we generalize these results to higher dimensions. We construct new higher-dimensional Hamiltonian stationary cones of different topology as generalizations of the Schoen-Wolfson cones. Hamiltonian stationary self-shrinkers and self-expanders that are asymptotic to these Hamiltonian stationary cones are constructed as well. They can also be glued together to produce eternal solutions of the Brakke flow without mass loss. Finally, we show that the same conclusion holds for those Lagrangian self-similar examples recently found by Joyce, Tsui and the first author.

There have been many attempts to define the notion of quasilocal mass for a spacelike 2-surface in spacetime by the Hamilton-Jacobi analysis. The essential difficulty in this approach is to identify the right choice of the background configuration to be subtracted from the physical Hamiltonian. Quasilocal mass should be nonnegative for surfaces in general spacetime and zero for surfaces in flat spacetime. In this letter, we propose a new definition of gauge-independent quasilocal mass and prove that it has the desired properties.

The definition of quasi-local mass for a bounded space-like region in space-time is essential in several major unsettled roblems in general relativity. The quasi-local mass is expected to be a type of flux integral on the boundary two-surface $ \sum = \partial \Omega $ and should be independent of whichever space-like region $\sum $ bounds. An important idea which is related to the Hamiltonian formulation of general relativity is to consider a reference surface in a flat ambient space with the same first fundamental form and derive the quasi-local mass from the difference of the extrinsic geometries. This approach has be taken by Brown-York [4][5] and Liu-Yau [16][17] (see also related works [12], [15], [6], [14], [3], [9], [28], [32]) to define such notions using the isometric embedding theorem into the Euclidean three space. However, there exist surfaces in the Minkowski space whose quasilocal mass is strictly positive [19]. It appears that the momentum information needs to accounted for to reconcile the difference. In order to fully capture this information, we use isometric embeddings into the Minkowski space as references. In this article, we first prove an existence and uniqueness theorem for such isometric embeddings. We then solve the boundary value problem for Jang’s [13] equation as a procedure to recognize such a surface in the Minkowski space. In doing so, we discover new expression of quasi-local mass for a large class of “admissible” surfaces (see Theorem A and Remark 1.1). The new mass is positive when the ambient space-time satisfies the dominant energy condition and vanishes on surfaces in the Minkowski space. It also has the nice asymptotic behavior at spatial infinity and null infinity. Some of these results were announced in [29].

We construct examples of shrinkers and expanders for Lagrangian mean curvature flows. These examples are Hamiltonian stationary and asymptotic to the union of two Hamiltonian stationary cones found by Schoen and Wolfson in [SW]. The Schoen-Wolfson cones $ C_{p,q}$ are obstructions to the existence problems of special Lagrangians or Lagrangian minimal surfaces in the variational approach. It is known that these cone singularities cannot be resolved by any smooth oriented Lagrangian submanifolds. The shrinkers and expanders that we found can be glued together to yield solutions of the Brakke motion - a weak formulation of the mean curvature flow. For any coprime pair$ (p, q)$ other than (2, 1), we construct such a solution that re- solves any single Schoen-Wolfson cone $ C_{p,q}$. This thus provides an evidence to Schoen-Wolfson’s conjecture that the (2, 1) cone is the only area-minimizing cone. Higher dimensional generalizations are also obtained.

In this note, we show that the solution to the Dirichlet problem for the minimal surface system in any codimension is unique in the space of distance-decreasing maps. This follows as a corollary of the following stability theorem: if a minimal submanifold $\sum$  is the graph of a (strictly) distance-decreasing map, then  $\sum$ is (strictly) stable. It is known that a minimal graph of codimension one is stable without assuming the distance-decreasing condition. We give another criterion for the stability in terms of the two-Jacobians of the map which in particular covers the codimension one case. All theorems are proved in the more general setting for minimal maps between Riemannian manifolds. The complete statements of the results appear in Theorem 3.1, Theorem 3.2, and Theorem 4.1.