In this note we show that one open 4-dimensional ellipsoid embeds symplectically into another if and only if the ECH capacities of the first are no larger than those of the second. This proves a conjecture due to Hofer. The argument uses the equivalence of the ellipsoidal embedding problem with a ball embedding problem that was recently established by McDuff. Its method is inspired by Hutchings’ recent results on embedded contact homology (ECH) capacities but does not use them.

We introduce a technique based on Gaussian maps to study whether a surface can lie on a threefold as a very ample divisor with given normal bundle. We give applications, among which one to surfaces of general type and another to Enriques surfaces. In particular, we prove the genus bound g  17 for Enriques Fano threefolds. Moreover we find a new Enriques-Fano threefold of genus 9 whose normalization has canonical but not terminal singularities and does not admit Q-smoothings.

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.

In this paper, we prove a scalar curvature rigidity result for geodesic balls in Sn. This result contrasts sharply with the counterexamples to Min-Oo’s conjecture constructed in [7].

We introduce a gauge-theoretic integer valued lift of the Rohlin invariant of a smooth 4-manifold X with the homology of S1×S3. The invariant has two terms: one is a count of solutions to the Seiberg–Witten equations on X, and the other is essentially the index of the Dirac operator on a non-compact manifold with end modeled on the infinite cyclic cover of X. Each term is metric (and perturbation) dependent, and we show that these dependencies cancel as the metric and perturbation vary in a generic 1-parameter family.