In this article, we continue the work in Guan-Li and study a normalized hypersurface flow in the more general ambient setting of warped product spaces. This flow preserves the volume of the bounded domain enclosed by a graphical hypersurface, and monotonically decreases the hypersurface area. As an application, the isoperimetric problem in warped product spaces is solved for such domains.

We propose a geometric inequality for two-dimensional spacelike surfaces in the Schwarzschild spacetime. This inequality implies the Penrose inequality for collapsing dust shells in general relativity, as proposed by Penrose and Gibbons. We prove that the inequality holds in several important cases.

The Gauss-Bonnet theorem and the Cohn-Vossen inequality show that the only complete surface with positive curvature is either the sphere, RP2, or the plane. In higher dimension, the curvature tensor is far more complicated. There are several commonly used partial components of the curvature tensor that had been studied for the whole century. The simplest one is the scalar curvature which is the average of all curvatures at one point. It appeared in the Hilbert action for general relativity. This was studied extensively in connection with general relativity.

Given an element in the first homology of a rational homology 3-sphere Y, one can consider the minimal rational genus of all knots in this homology class. This defines a function Θ on H1(Y;Z), which was introduced by Turaev as an analogue of Thurston norm. We will give a lower bound for this function using the correction terms in Heegaard Floer homology. As a corollary, we show that Floer simple knots in L-spaces are genus minimizers in their homology classes, hence answer questions of Turaev and Rasmussen about genus minimizers in lens spaces.

We introduce a quantum trace map for an ideally triangulated hyperbolic knot complement S^3∖K. The map assigns a quantum operator to each element of Kauffmann Skein module of the 3-manifold. The quantum operator lives in a module generated by products of quantized edge parameters of the ideal triangulation modulo some equivalence relations determined by gluing equations. Combining the quantum map with a state-integral model of SL(2,C) Chern-Simons theory, one can define perturbative invariants of knot K in the knot complement whose leading part is determined by its complex hyperbolic length. We then conjecture that the perturbative invariants determine an asymptotic expansion of the Jones polynomial for a link composed of K and K. We propose the explicit quantum trace map for figure-eight knot complement and confirm the length conjecture up to the second order in the asymptotic expansion both numerically and analytically.