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.

Based on large N Chern-Simons/topological string duality, in a series of papers [36, 21, 19], Labastida, Marino, Ooguri, and Vafa conjectured certain remarkable new algebraic structure of link invariants and the existence of infinite series of new integer invariants. In this paper, we provide a proof of this conjecture. Moreover, we also show these new integer invariants vanish at large genera.

We prove a lower bound for the first Steklov eigenvalue of embedded minimal hypersurfaces with free boundary in a compact n-dimensional Riemannian manifold which has nonnegative Ricci curvature and strictly convex boundary. When n=3, this implies an apriori curvature estimate for these minimal surfaces in terms of the geometry of the ambient manifold and the topology of the minimal surface. An important consequence of the estimate is a smooth compactness theorem for embedded minimal surfaces with free boundary when the topological type of these minimal surfaces is fixed.

Let M be a complete Riemannian manifold with Riemannian volume volg and f be a smooth function on M. A sharp upper bound estimate on the first eigenvalue of symmetric diffusion operator 􏰂 f = 􏰂 − ∇ f · ∇ was given by Wu (J Math Anal Appl 361:10–18, 2010) and Wang (Ann Glob Anal Geom 37:393–402, 2010) under a condition that finite dimensional Bakry–Émery Ricci curvature is bounded below, independently. They propounded an open problem is whether there is some rigidity on the estimate. In this note, we will solve this problem to obtain a splitting type theorem, which generalizes Li–Wang’s result in (J Differ Geom 58:501–534, 2001, J Differ Geom 62:143–162, 2002). For the case that infinite dimensional Bakry–Emery Ricci curvature of M is bounded below, we donotexpectanyupperboundestimateonthefirsteigenvalueof􏰂f withoutanyadditional assumption (see the example in Sect. 2). In this case, we will give a sharp upper bound estimate on the first eigenvalue of􏰂f under the additional assuption that |∇f| is bounded.We also obtain the rigidity result on this estimate, as another Li–Wang type splitting theorem.

This note surveys and compares results on the separation of variables construction for soliton solutions of curvature equations including the K\"ahler-Ricci flow and the Lagrangian mean curvature flow. In the last section, we propose some new generalizations in the Lagrangian mean curvature flow case.