We give an a priori bound on the (n-7)-dimensional measure of the singular set for an area-minimizing n-dimensional hypersurface, in terms of the geometry of its boundary.
Using the weak solution of Inverse mean curvature flow, we prove the sharp Minkowski-type inequality for outward minimizing hypersurfaces in Schwarzschild space.
In this article we prove that all boundary points of a minimal oriented hypersurface in a Riemannian manifold are regular, that is, in a neighborhood of any boundary point, the minimal surface is a $\mathcal{C}^{1, \frac14}$ submanifold with boundary.
In this paper, we show that every $8$-dimensional closed Riemmanian manifold with $C^\infty$-generic metrics admits a smooth minimal hypersurface. This generalized previous results by N. Smale and Chodosh-Liokumovich-Spolaor. Different from their local perturbation techniques, our construction is based on a global perturbation argument in and a novel geometric invariant which counts singular points with suitable weights.
We extend the results of Hardt and Simon on area-minimizing cones to prove that isolated singularities of stationary one-sided area-minimizing hypersurfaces can be locally perturbed away on the side that they are minimizing.
We show that for a generic $8$-dimensional Riemannian manifold with positive Ricci curvature, there exists a smooth minimal hypersurface. Without the curvature condition, we show that for a dense set of 8-dimensional Riemannian metrics there exists a minimal hypersurface with at most one singular point. This extends previous work on generic regularity that only dealt with area-minimizing hypersurfaces. These results are a consequence of a more general estimate for a one-parameter min-max minimal hypersurface $Σ\subset (M,g)$ (valid in any dimension): $$\mathcal H^{0} (\mathcal{S}_{nm}(Σ)) +{\r…
A four dimensional conformally invariant energy is studied. This energy generalises the well known two-dimensional Willmore energy. Although not positive definite, it includes minimal hypersurfaces as critical points. We compute its first variation and by applying the Noether theorem to the invariances, we derive some conservation laws which are satisfied by its critical points and with good analytical dispositions. In particular, we show that its critical points are smooth. We also investigate other possible four dimensional generalisations of the Willmore energy, and give strong evidence tha…
Locally stable minimal hypersurface could have singularities in dimension $\geq 7$ in general, locally modeled on stable and area-minimizing cones in the Euclidean spaces. In this paper, we present different aspects of how these singularities may affect the local behavior of minimal hypersurfaces. First, given a non-degenerate minimal hypersurface with strictly stable and strictly minimizing tangent cone at each singular point, under any small perturbation of the metric, we show the existence of a nearby minimal hypersurface under new metric. For a generic choice of perturbation direction, we …
We study minimal hypersurfaces in manifolds of non-negative Ricci curvature, Euclidean volume growth and quadratic curvature decay at infinity. By comparison with capped spherical cones, we identify a precise borderline for the Ricci curvature decay. Above this value, no complete area-minimizing hypersurfaces exist. Below this value, in contrast, we construct examples.
We show that if an asymptotically flat manifold with horizon boundary admits a global static potential, then the static potential must be zero on the boundary. We also show that if an asymptotically flat manifold with horizon boundary admits an unbounded static potential in the exterior region, then the manifold must contain a complete non-compact area minimizing hypersurface. Some results related to the Riemannian positive mass theorem and Bartnik's quasi-local mass are obtained.
Consider an area minimizing current modulo $p$ of dimension $m$ in a smooth Riemannian manifold of dimension $m+1$. We prove that its interior singular set is, up to a relatively closed set of dimension at most $m-2$, a $C^{1,α}$ submanifold of dimension $m-1$ at which, locally, $N\leq p$ regular sheets of the current join transversally, each sheet counted with a positive multiplicity $k_i$ so that $\sum_i k_i = p$. This completes the analysis of the structure of the singular set of area minimizing hypersurfaces modulo $p$, initiated by J. Taylor for $m=2$ and $p=3$ and extended by the authors…
In this paper we study the spacelike-characteristic Cauchy problem for the Einstein vacuum equations. We prove that given initial data on a maximal compact spacelike hypersurface $Σ\simeq \overline{B(0,1)} \subset \mathbb{R}^3$ and the outgoing null hypersurface $\mathcal{H}$ emanating from $\partial Σ$, the time of existence of a solution to the Einstein vacuum equations is controlled by low regularity bounds on the initial data at the level of curvature in $L^2$. The proof uses the bounded $L^2$ curvature theorem by Klainerman, Szeftel and Rodnianski, the extension procedure for the constrai…
In this paper we show that every area minimizing cone C^{n-1} in R^n can be approximated by entirely smooth area minimizing hypersurfaces. This extensively uses hyperbolic unfoldings of such hypersurfaces and the resulting potential theory for the Jacobi field operator. Applications include the splitting theorem in scalar curvature geometry saying that any (n-1)-dim. homology class of a compact manifold M^n with positive scalar curvature can be represented by a smooth (!) compact hypersurface that admits a positive scalar curvature metric.
In this article we extend to generic $p$-energy minimizing maps between Riemannian manifolds a regularity result which is known to hold in the case $p=2$. We first show that the set of singular points of such a map can be quantitatively stratified: we classify singular points based on the number of almost-symmetries of the map around them, as done by Cheeger and Naber in 2013. Then, adapting the work of Naber and Valtorta, we apply a Reifenberg-type Theorem to each quantitative stratum; through this, we achieve an upper bound on the Minkowski content of the singular set, and we prove it is $k$…
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 R…
Let $\mathcal{H}$ denote the future outgoing null hypersurface emanating from a spacelike 2-sphere $S$ in a vacuum spacetime $(\mathcal{M},\mathbf{g})$. In this paper we study the so-called canonical foliation on $\mathcal{H}$ introduced by Klainerman and Nicolò and show that the corresponding geometry is controlled locally only in terms of the initial geometry on $S$ and the $L^2$ curvature flux through $\mathcal{H}$. In particular, we show that the ingoing and outgoing null expansions $\mathrm{tr} χ$ and $\mathrm{tr} \underlineχ$ are both locally uniformly bounded. The proof of our estimates…
In this paper we generalize the main result of [4] for manifolds that are not necessarily Einstein. In fact, we obtain an upper bound for the volume of a locally volume-minimizing closed hypersurface $Σ$ of a Riemannian 5-manifold $M$ with scalar curvature bounded from below by a positive constant in terms of the total traceless Ricci curvature of $Σ$. Furthermore, if $Σ$ saturates the respective upper bound and $M$ has nonnegative Ricci curvature, then $Σ$ is isometric to $\mathbb{S}^4$ up to scaling and $M$ splits in a neighborhood of $Σ$. Also, we obtain a rigidity result for the Riemannian…
Energy minimizing harmonic maps between manifolds are known to be smooth outside a rectifiable set of codimension $3$, called the singular set. The possibility that this set is not a manifold, but has arbitrarily many small gaps in it, is not excluded in general. Here we prove that some part of the singular set - characterized by topological and analytic properties of tangent maps - is a topological manifold. In the special case of maps into the sphere ${\mathbb S}^2$, we conclude that the whole top-dimensional part of the singular set is a manifold - this generalizes a similar result in two-d…
We show that in an $8$-dimensional closed Riemmanian manifold with $C^\infty$-generic metrics, every minimal hypersurface is smooth and nondegenerate. This confirms a full generic regularity conjecture of minimal hypersurfaces in dimension eight. This also enables us to generalize many generic geometric properties of (Almgren-Pitts) min-max minimal hypersurfaces, previously only known in low dimensions, to dimension eight.
A 7-dimensional area-minimizing embedded hypersurface $M$ will in general have a discrete singular set. The same is true if $M$ is stable, or has bounded index, provided $H^6(sing M) = 0$. We show that if $M_i$ are a sequence of such minimal hypersurfaces which are minimizing, stable, or have bounded index, then $M_i$ can limit to a singular $M$ with only very controlled geometry, topology, and singular set. We show one can always "parameterize" a subsequence $i'$ with controlled bi-Lipschitz maps $ϕ_{i'}$ taking $ϕ_{i'}(M_{1'}) = M_{i'}$. As a consequence, we prove the space of smooth, closed…
We prove a new logarithmic epiperimetric inequality for multiplicity-one stationary cones with isolated singularity by flowing in the radial direction any given trace along appropriately chosen directions. In contrast to previous epiperimetric inequalities for minimal surfaces (e.g. those of Reifenberg, Taylor and White), we need no a priori assumptions on the structure of the cone (e.g. integrability). Moreover, if the cone is integrable (not only through rotations), we recover the classical epiperimetric inequality. As a consequence we deduce a new $\varepsilon$-regularity result for almost …
We construct a branched center manifold in a neighborhood of a singular point of a $2$-dimensional integral current which is almost minimizing in a suitable sense. Our construction is the first half of an argument which shows the discreteness of the singular set for the following three classes of $2$-dimensional currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones.
We study the intrinsic geometry of area minimizing (and also of almost minimizing) hypersurfaces from a new point of view by relating this subject to quasiconformal geometry. For any such hypersurface we define and construct a so-called S-structure which reveals some unexpected geometric and analytic properties of the hypersurface and its singularity set. In this paper, this is used to prove the existence of hyperbolic unfoldings: canonical conformal deformations of the regular part of these hypersurfaces into complete Gromov hyperbolic spaces of bounded geometry with Gromov boundary homeomorp…
We construct Lipschitz $Q$-valued functions which approximate carefully integral currents when their cylindrical excess is small and they are almost minimizing in a suitable sense. This result is used in two subsequent works to prove the discreteness of the singular set for the following three classes of $2$-dimensional integral currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones.
We introduce a $\mathbb{Z}$--coefficient version of Guth's macroscopic stability inequality for almost-minimizing hypersurfaces. In manifolds with a lower bound on macroscopic scalar curvature, we use the inequality to prove a lower bound on areas of hypersurfaces in terms of the Gromov simplicial norm of their homology classes. We give examples to show that a very positive lower bound on macroscopic scalar curvature does not necessarily imply an upper bound on the areas of minimizing hypersurfaces.