Let T be the Teichm¨uller space of marked genus g, n punctured Riemann surfaces with its bordification T the augmented Teichm ¨uller space of marked Riemann surfaces with nodes, [Abi77,Ber74]. Provided with the WP metric, T is a complete CAT(0) metric space, [DW03,Wol03, Yam04]. An invariant of a marked hyperbolic structure is the length ℓ of the geodesic α in a free homotopy class. A basic feature of Teichm¨uller theory is the interplay of two-dimensional hyperbolic geometry, Weil-Petersson (WP) geometry and the behavior of geodesic-length functions. Our goal is to develop an understanding of the intrinsic local WP geometry through a study of the gradient and Hessian of geodesic-length functions. Considerations include expansions for the WP pairing of gradients, expansions for the Hessian and covariant derivative, comparability models for the WP metric, as well as the behavior of WP geodesics, including a description of the Alexandrov tangent cone at the augmentation. Approximations and applications for geodesics close to the augmentation are developed. An application for fixed points of group actions is described. Bounding configurations and functions on the hyperbolic plane is basic to our approach. Considerations include analyzing the orbit of a discrete group of isometries and bounding sums of the inverse square exponential-distance.

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.

In this paper we study the Dirichlet problem for fully nonlinear second-order equations on a riemannian manifold. As in our previous paper [HL4], we define equations via closed subsets of the 2-jet bundle where each equation has a natural dual equation. Basic existence and uniqueness theorems are established in a wide variety of settings. However, the emphasis is on starting with a constant coefficient equation as a model, which then universally determines an equation on every riemannian manifold which is equipped with a topological reduction of the structure group to the invariance group of the model. For example, this covers all branches of the homogeneous complex Monge-Amp`ere equation on an almost complex hermitian manifold X. In general, for an equation F on a manifold X and a smooth domain  X, we give geometric conditions which imply that the Dirichlet problem on is uniquely solvable for all continuous boundary functions. We begin by introducing a weakened form of comparison which has the advantage that local implies global. We then introduce two fundamental concepts. The first is the notion of a monotonicity cone M for F. If X carries a global Msubharmonic function, then weak comparison implies full comparison. The second notion is that of boundary F-convexity, which is defined in terms of the asymptotics of F and is used to define barriers. In combining these notions the Dirichlet problem becomes uniquely solvable as claimed. This article also introduces the notion of local affine jet-equivalence for subequations. It is used in treating the cases above, but gives results for a much broader spectrum of equations on manifolds, including inhomogeneous equations and the Calabi-Yau equation on almost complex hermitian manifolds. A considerable portion of the paper is concerned with specific examples. They include a wide variety of equations which make sense on any riemannian manifold, and many which hold universally on almost complex or quaternionic hermitian manifolds, or topologically calibrated manifolds.

We prove that generalized conifolds and orbifolded conifolds are mirror symmetric under the SYZ program with quantum corrections. Our work mathematically confirms the gaugetheoretic assertion of Aganagic–Karch–Lust–Miemiec, and also provides a supportive evidence to Morrison’s conjecture that geometric transitions are reversed under mirror symmetry.

We prove exponential estimates for plurisubharmonic functions with respect to Monge-Amp`ere measures with H¨older continuous potential. As an application, we obtain several stochastic properties for the equilibrium measures associated to holomorphic maps on projective spaces. More precisely, we prove the exponential decay of correlations, the central limit theorem for general d.s.h. observables, and the large deviations theorem for bounded d.s.h. observables and H¨older continuous observables.