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.

In this paper, we introduce the first Aeppli-Chern class for complex manifolds and show that the $(1,1)$- component of the curvature $2$-form of the Levi-Civita connection on the anti-canonical line bundle represents this class. We systematically investigate the relationship between a variety of Ricci curvatures on Hermitian manifolds and the background Riemannian manifolds. Moreover, we study non-K\"ahler Calabi-Yau manifolds by using the first Aeppli-Chern class and the Levi-Civita Ricci-flat metrics. In particular, we construct explicit Levi-Civita Ricci-flat metrics on Hopf manifolds $\S^{2n-1}\times \S^1$. We also construct a smooth family of Gauduchon metrics on a compact Hermitian manifold such that the metrics are in the same first Aeppli-Chern class, and their first Chern-Ricci curvatures are the same and nonnegative, but their Riemannian scalar curvatures are constant and vary smoothly between negative infinity and a positive number. In particular, it shows that Hermitian manifolds with nonnegative first Chern class can admit Hermitian metrics with strictly negative Riemannian scalar curvature.

We show that a compact Kaehler manifold with nonpositive holomorphic sectional curvature has nef canonical bundle. If the holomorphic sectional curvature is negative then it follows that the canonical bundle is ample, confirming a conjecture of Yau. The key ingredient is the recent solution of this conjecture in the projective case by Wu-Yau.

This work introduces a rigorous and practical approach for automatic N-RoSy field design on arbitrary surfaces with user defined field topologies. The user has full control of the number, positions and indices of the singularities, the turning numbers of the loops, and is able to edit the field interactively. We formulate N-RoSy field construction as designing a Riemannian metric, such that the holonomy along any loop is compatible with the local symmetry of N-RoSy fields. We prove the compatibility condition using discrete parallel transport. The complexity of N-RoSy field design is caused by curvatures. In our work, we propose to simplify the Riemannian metric to make it flat almost everywhere. This approach greatly simplifies the process and improves the flexibility, such that, it can design N-RoSy fields with single singularity, and mixed-RoSy fields. To demonstrate the effectiveness of our approach, we apply our design system to pen-and-ink sketching and geometry remeshing.

Automatically discovering high-level facade structures in unorganized 3D point clouds of urban scenes is crucial for applications like digitalization of real cities. However, this problem is challenging due to poor-quality input data, contaminated with severe missing areas, noise and outliers. This work introduces the concept of adaptive partitioning to automatically derive a flexible and hierarchical representation of 3D urban facades. Our key observation is that urban facades are largely governed by concatenated and/or interlaced grids. Hence, unlike previous automatic facade analysis works which are typically restricted to globally rectilinear grids, we propose to automatically partition the facade in an adaptive manner, in which the splitting direction, the number and location of splitting planes are all adaptively determined. Such an adaptive partition operation is performed recursively to generate a hierarchical representation of the facade. We show that the concept of adaptive partitioning is also applicable to flexible and robust analysis of image facades. We evaluate our method on a dozen of LiDAR scans of various complexity and styles, and the image facades from the eTRIMS database and the Ecole Centrale Paris database. A series of applications that benefit from our approach are also demonstrated.

This work presents a technique that allows quick conversion of acquired low-quality data from consumer-level scanning devices to high-quality 3D models with labeled semantic parts and meanwhile their assembly reasonably close to the underlying geometry. This is achieved by a novel structure recovery approach that is essentially local to global and bottom up, enabling the creation of new structures by assembling existing labeled parts with respect to the acquired data. We demonstrate that using only a small-scale shape repository, our part assembly approach is able to faithfully recover a variety of high-level structures from only a single-view scan of man-made objects acquired by the Kinect system, containing a highly noisy, incomplete 3D point cloud and a corresponding RGB image.

We present a method for organizing a heterogeneous collection of 3D shapes for overview and exploration. Instead of relying on quantitative distances, which may become unreliable between dissimilar shapes, we introduce a qualitative analysis which utilizes multiple distance measures but only in cases where the measures can be reliably compared. Our analysis is based on the notion of quartets, each defined by two pairs of shapes, where the shapes in each pair are close to each other, but far apart from the shapes in the other pair. Combining the information from many quartets computed across a shape collection using several distance measures, we create a hierarchical structure we call categorization tree of the shape collection. This tree satisfies the topological (qualitative) constraints imposed by the quartets creating an effective organization of the shapes. We present categorization trees computed on various collections of shapes and compare them to ground truth data from human categorization. We further introduce the concept of degree of separation chart for every shape in the collection and show the effectiveness of using it for interactive shapes exploration.

This work presents Sketch2Scene, a framework that automatically turns a freehand sketch drawing inferring multiple scene objects to semantically valid, well arranged scenes of 3D models. Unlike the existing works on sketch-based search and composition of 3D models, which typically process individual sketched objects one by one, our technique performs co-retrieval and co-placement of 3D relevant models by jointly processing the sketched objects. This is enabled by summarizing functional and spatial relationships among models in a large collection of 3D scenes as structural groups. Our technique greatly reduces the amount of user intervention needed for sketch-based modeling of 3D scenes and fits well into the traditional production pipeline involving concept design followed by 3D modeling. A pilot study indicates that the 3D scenes automatically synthesized by our technique in seconds are comparable to those manually created by an artist in hours in terms of visual aesthetics.

A recent trend in interactive modeling of 3D shapes from a single image is designing minimal interfaces, and accompanying algorithms, for modeling a specific class of objects. Expanding upon the range of shapes that existing minimal interfaces can model, we present an interactive image-guided tool for modeling shapes made up of extruded parts. An extruded part is represented by extruding a closed planar curve, called base, in the direction orthogonal to the base. To model each extruded part, the user only needs to sketch the projected base shape in the image. The main technical contribution is a novel optimization-based approach for recovering the 3D normal of the base of an extruded object by exploring both geometric regularity of the sketched curve and image contents. We developed a convenient interface for modeling multi-part shapes and a method for optimizing the relative placement of the parts. Our tool is validated using synthetic data and tested on real-world images.

We study the two main types of trajectories of the ABC ow in the near-integrable regime: spiral orbits and edge orbits. The former are helical orbits which are perturbations of similar orbits that exist in the integrable regime, while the latter exist only in the non-integrable regime. We prove existence of ballistic (i.e., linearly growing) spiral orbits by using the contraction mapping principle in the Hamiltonian formulation, and we also nd and analyze ballistic edge orbits. We discuss the relationship of existence of these orbits with questions concerning front propagation in the presence of ows, in particular, the question of linear (i.e., maximal possible) front speed enhancement rate for ABC ows.

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.

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

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 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.

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 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 study integral and pointwise bounds on the curvature of gradient shrinking Ricci solitons. As applications, we discuss gap and compactness results for gradient shrinkers.

We show that it is possible to perturb arbitrary vacuum asymptotically flat spacetimes to new ones having exactly the same energy and linear momentum, but with center of mass and angular momentum equal to any preassigned values measured with respect to a fixed affine frame at infinity. This is in contrast to the axisymmetric situation where a bound on the angular momentum by the mass has been shown to hold for black hole solutions. Our construction involves changing the solution at the linear level in a shell near infinity, and perturbing to impose the vacuum constraint equations. The procedure involves the perturbation correction of an approximate solution which is given explicitly.

There have been many attempts to define quasilocal energy/mass for a spacelike 2-surface in a spacetime by the Hamilton–Jacobi method. The main difficulty in this approach is the subtle choice of the background configuration to be subtracted from the physical Hamiltonian. Quasilocal mass should be positive for general surfaces, but on the other hand should be zero for surfaces in the flat spacetime. In this paper, we survey the work in a series of papers [6, 25–27] in which a new notion of quasilocal mass/energy–momentum is proposed and investigated. In particular, the notion of energy observed by a 'quasilocal observer' will be discussed.

Quasilocal mass in general relativity is a notion defined for a closed space like 2-surface in spacetime. In this note, we explain the definition in [23] and [24] from a mathematical viewpoint, emphasizing the connection to differential geometry and nonlinear partial differential equations. We also discuss a minimax interpretation of the definition and compare with other notions of quasilocal mass.

In this note, we discuss the mean curvature flow of graphs of maps between Riemannian manifolds. Special emphasis will be placed on estimates of the flow as a non-linear parabolic system of differential equations. Several global existence theorems and applications to isotopy problems in geometry and topology will be presented. The results are based on joint works of the author with his collaborators I. Medo\v{s}, K. Smoczyk, and M.-P. Tsui.

This note discusses the recent work of Huang-Schoen-Wang [13] on specifying total conserved quantities of a vacuum initial data set.

We discuss the concepts of energy and mass in relativity. On a finitely extended spatial region, they lead to the notion of quasilocal energy/mass for the boundary 2-surface in spacetime. A new definition was found in [27] that satisfies the positivity, rigidity, and asymptotics properties. The definition makes use of the surface Hamiltonian term which arises from Hamilton-Jacobi analysis of the gravitation action. The reference surface Hamiltonian is associated with an isometric embedding of the 2-surface into the Minkowski space. We discuss this new definition of mass as well as the reference surface Hamiltonian. Most of the discussion is based on joint work with PoNing Chen and Shing-Tung Yau.

We prove a sharp inequality for hypersurfaces in the ndimensional Anti-deSitter-Schwarzschild manifold for general $n \ge  3$. This inequality generalizes the classical Minkowski inequality [19] for surfaces in the three dimensional Euclidean space. The proof relies on a new monotonicity formula for inverse mean curvature flow, and uses a geometric inequality established in [4].

We study the space of Killing fields on the four dimensional AdS spacetime AdS 3,1 . Two subsets S and O are identified: S (the spinor Killing fields) is constructed from imaginary Killing spinors, and O (the observer Killing fields) consists of all hypersurface orthogonal, future timelike unit Killing fields. When the cosmology constant vanishes, or in the Minkowski spacetime case, these two subsets have the same convex hull in the space of Killing fields. In presence of the cosmology constant, the convex hull of O is properly contained in that of S . This leads to two different notions of energy for an asymptotically AdS spacetime, the spinor energy and the observer energy. In [10], Chru\'sciel, Maerten and Tod proved the positivity of the spinor energy and derived important consequences among the related conserved quantities. We show that the positivity of the observer energy follows from the positivity of the spinor energy. A new notion called the "rest mass" of an asymptotically AdS spacetime is then defined by minimizing the observer energy, and is shown to be evaluated in terms of the adjoint representation of the Lie algebra of Killing fields. It is proved that the rest mass has the desirable rigidity property that characterizes the AdS spacetime.