For any smooth Riemannian metric on an (n+1)-dimensional compact manifold with boundary (M,∂M) where 3≤(n+1)≤7, we establish general upper bounds for the Morse index of free boundary minimal hypersurfaces produced by min-max theory in the Almgren-Pitts setting. We apply our Morse index estimates to prove that for almost every (in the C-infinity Baire sense) Riemannan metric, the union of all compact, properly embedded free boundary minimal hypersurfaces is dense in M. If ∂M is further assumed to have a strictly mean convex point, we show the existence of infinitely many compact, properly embedded free boundary minimal hypersurfaces whose boundaries are non-empty. Our results prove a conjecture of Yau for generic metrics in the free boundary setting.

The weak mean curvature is lower semicontinuous under weak convergence of varifolds, that is, if ¹k ! ¹ weakly as varifolds then k ~H¹ kLp(¹)· lim infk!1 k ~H¹k kLp(¹k). In contrast, if Tk ! T weakly as integral currents, then ¹T may not have a locally bounded ¯rst variation even if k ~H¹Tk kL1(¹k) is bounded. In 1999, Luigi Ambrosio asked the question whether lower semi- continuity of the weak mean curvature is true when T is assumed to be smooth. This was proved in [AmMa03] for p > n = dim T in Rn+1 using results from [Sch04]. Here we prove this in any dimension and codimension down to the desired exponent p = 2. For p = n = 2, this corresponds to the Willmore functional. In a forthcoming joint work [RoSch06], main steps of the pre- sent article are used to prove a modi¯ed conjecture of De Giorgi that the sum of the area and the Willmore functional is the ¡-limit of a di®use Landau-Ginzburg approximation.

We prove that a constrained Willmore immersion of a 2–torus into the conformal 4–sphere S4 is of “finite type”, that is, has a spectral curve of finite genus, or of “holomorphic type” which means that it is super conformal or Euclidean minimal with planar ends in R4 = S4\{1} for some point 1 2 S4 at infinity. This implies that all constrained Willmore tori in S4 can be constructed rather explicitly by methods of complex algebraic geometry. The proof uses quaternionic holomorphic geometry in combination with integrable systems methods similar to those of Hitchin’s approach [19] to the study of harmonic tori in S3.

Given a Riemannian manifold and a closed submanifold, we find a geodesic segment with free boundary on the given submanifold. This is a corollary of the min–max theory which we develop in this article for the free boundary variational problem. In particular, we develop a modified Birkhoff curve shortening process to achieve a strong “Colding–Minicozzi” type min–max approximation result.

Given a compact orientable surface, we determine a complete set of relations for a function defined on the set of all homotopy classes of simple loops to be a geometric intersection number function. As a consequence, Thurston’s space of measured laminations and Thurston’s compactification of the Teichm¨uller space are described by a set of explicit equations. These equations are polynomials in the max-plus semi-ring structure on the real numbers. It shows that Thurston’s theory of measured laminations is within the domain of tropical geometry.