In this paper, we prove a general existence theorem for properly embedded minimal surfaces with free boundary in any compact Riemannian 3‐manifold M with boundary ∂M. These minimal surfaces are either disjoint from ∂M or meet ∂M orthogonally. The main feature of our result is that there is no assumptions on the curvature of M or convexity of ∂M. We prove the boundary regularity of the minimal surfaces at their free boundaries. Furthermore, we define a topological invariant, the filling genus, for compact 3‐manifolds with boundary and show that we can bound the genus of the minimal surface constructed above in terms of the filling genus of the ambient manifold M. Our proof employs a variant of the min‐max construction used by Colding and De Lellis on closed embedded minimal surfaces, which were first developed by Almgren and Pitts.

Let ($M$,$ω$) be a connected, symplectic 4-manifold. A$semitoric integrable system$on ($M$,$ω$) essentially consists of a pair of independent, real-valued, smooth functions$J$and$H$on$M$, for which$J$generates a Hamiltonian circle action under which$H$is invariant. In this paper we give a general method to construct, starting from a collection of five ingredients, a symplectic 4-manifold equipped a semitoric integrable system. Then we show that every semitoric integrable system on a symplectic 4-manifold is obtained in this fashion. In conjunction with the uniqueness theorem proved recently by the authors, this gives a classification of semitoric integrable systems on 4-manifolds, in terms of five invariants.

No abstract uploaded!

We prove the existence of embedded minimal surfaces of arbitrary genus g ≥ 3 in any flat 3-torus. In fact, we construct a sequence of such surfaces converging to a planar foliation of the 3-torus. In particular, the area of the surface can be chosen arbitrarily large.

We show that closed hypersurfaces in Euclidean space with nonnegative scalar curvature are weakly mean convex. In contrast, the statement is no longer true if the scalar curvature is replaced by the kth mean curvature, for k greater than 2, as we construct the counterexamples for all k greater than 2. Our proof relies on a new geometric argument which relates the scalar curvature and mean curvature of a hypersurface to the mean curvature of the level sets of a height function. By extending the argument, we show that complete noncompact asymptotically flat hypersurfaces with nonnegative scalar curvature are weakly mean convex and prove the positive mass theorem for such hypersurfaces in all dimensions.