We study three-dimensional Riemannian manifolds with nonnegative scalar curvature. We find new topological obstruction for such manifolds. Our method turns out to be useful in studying the positive mass conjecture in general relativity.

We prove that many aspects of the differential geometry of embedded Riemannian manifolds can be formulated in terms of multi-linear algebraic structures on the space of smooth functions. In particular, we find algebraic expressions for Weingarten’s formula, the Ricci curvature, and the Codazzi-Mainardi equations. For matrix analogues of embedded surfaces, we define discrete curvatures and Euler characteristics, and a non-commutative GaussBonnet theorem is shown to follow. We derive simple expressions for the discrete Gauss curvature in terms of matrices representing the embedding coordinates, and explicit examples are provided. Furthermore, we illustrate the fact that techniques from differential geometry can carry over to matrix analogues by proving that a bound on the discrete Gauss curvature implies a bound on the eigenvalues of the discrete Laplace operator.

Given a hyperbolic surface with geodesic boundary S, the lengths of a maximal system of disjoint simple geodesic arcs on S that start and end at @S perpendicularly are coordinates on the Teichm¨uller space T (S). We express the Weil-Petersson Poisson structure of T (S) in this system of coordinates, and we prove that it limits pointwise to the piecewise-linear Poisson structure defined by Kontsevich on the arc complex of S. At the same time, we obtain a formula for the first-order variation of the distance between two closed geodesics under Fenchel-Nielsen deformation.

In this paper, we proved the mass angular momentum inequality\cite{D1}\cite{ChrusLiWe}\cite{SZ} for axisymmetric, asymptotically flat, vacuum constraint data sets with small trace. Given an initial data set with small trace, we construct a boost evolution spacetime of the Einstein vacuum equations as \cite{ChOM}. Then a perturbation method is used to solve the maximal surface equation in the spacetime under certain growing condition at infinity. When the initial data set is axisymmetric, we get an axisymmetric maximal graph with the same ADM mass and angular momentum as the given data. The inequality follows from the known results\cite{D1}\cite{ChrusLiWe}\cite{SZ} about the maximal graph.

A hyperbolic 3-manifold M which fibers over the circle admits a flow called the suspension flow. We show that such a flow can be isotoped to be uniformly quasigeodesic in the hyperbolic metric on M; i.e., the flow lines lifted to hyperbolic space are K-bilipschitz embeddings of R (K > 1 fixed).