In 1960s, Almgren initiated a program to find minimal hypersurfaces in compact manifolds using min-max method. This program was largely advanced by Pitts and Schoen-Simon in 1980s when the manifold has no boundary. In this paper, we finish this program for general compact manifold with nonempty boundary. As a result, we prove the existence of a smooth embedded minimal hypersurface with free boundary in any compact smooth Euclidean domain. An application of our general existence result combined with the work of Marques and Neves shows that for any compact Riemannian manifolds with nonnegative Ricci curvature and convex boundary, there exist infinitely many embedded minimal hypersurfaces with free boundary which are properly embedded.

We determine a global structure of the moduli space of self-dual metrics on 3CP2 satisfying the following three properties: (i) the scalar curvature is of positive type, (ii) they admit a non-trivial Killing field, (iii) they are not conformal to the LeBrun’s self- dual metrics based on the ‘hyperbolic ansatz’. We prove that the moduli space of these metrics is isomorphic to an orbifold R3/G, where G is an involution of R3 having two-dimensional fixed locus. In particular, the moduli space is non-empty and connected. We also remark that Joyce’s self-dual metrics with torus symmetry appear as a limit of our self-dual metrics. Our proof of the result is based on the twistor theory. We first determine a defining equation of a projective model of the twistor space of the metric, and then prove that the projective model is always birational to a twistor space, by determining the family of twistor lines. In determining them, a key role is played by a classical result in algebraic geometry that a smooth plane quartic always possesses twenty-eight bitangents.

We construct many new non-liftable three-dimensional Calabi–Yau spaces in positive characteristic. The technique relies on lifting a nodal model to a smooth rigid Calabi–Yau space over some number field as introduced by one of us jointily with D. van Straten.

Let M be a closed orientable 3-manifold admitting an H2 × R or gSL2(R) geometry, or equivalently a Seifert fibered space with a hyperbolic base 2-orbifold. Our main result is that the connected component of the identity map in the diffeomorphism group Diff(M) is either contractible or homotopy equivalent to S1, according as the center of 1(M) is trivial or infinite cyclic. Apart from the remaining case of non-Haken infranilmanifolds, this completes the homeomorphism classifications of Diff(M) and of the space of Seifert fiberings SF(M) for compact orientable aspherical 3-manifolds. We also prove that when M has an H2×R or gSL2(R) geometry and the base orbifold has underlying manifold the 2sphere with three cone points, the inclusion Isom(M) ! Diff(M) is a homotopy equivalence.

Using the weak solution of Inverse mean curvature flow, we prove the sharp Minkowski-type inequality for outward minimizing hypersurfaces in Schwarzschild space.