We study the problem of existence of regions separating a given amount of volume with the least possible perimeter inside a Euclidean cone. Our main result shows that nonexistence for a given volume implies that the isoperimetric profile of the cone coincides with the one of the half-space. This allows us to give some criteria ensuring existence of isoperimetric regions: for instance, local convexity of the cone at some boundary point.
We also characterize which are the stable regions in a convex cone, i.e., second order minima of perimeter under a volume constraint. From this it follows that the isoperimetric regions in a convex cone are the euclidean balls centered at the vertex intersected with the cone.
Associated with isoparametric foliations of unit spheres, there are two classes of minimal surfaces $-$ minimal isoparametric hypersurfaces and focal submanifolds. By virtue of their rich structures, we find new series of minimizing cones. They are cones over focal submanifolds and cones over suitable products among these two classes. Except in low dimensions, all such cones are shown minimizing.
We show that every area-minimizing hypercone and every oriented Lawlor cone in [Law91] can be realized as a tangent cone at a point of some homologically area-minimizing singular compact submanifold. In particular this generalizes the result of N. Smale [Sma99].
We prove the existence of a perimeter-minimizing partition of R^n into regions of unit volume. We conclude with a short tribute to the late Manuel A. Fortes.
It has been 40 years since Lawson and Osserman introduced the three minimal cones associated with Dirichlet problems in their 1977 Acta paper [LO77]. The first cone was shown area-minimizing by Harvey and Lawson in the celebrated paper [HL82]. In this paper, we confirm that the other two are also area-minimizing. In fact, we show that every Lawson-Osserman cone of type (n, p, 2) constructed in [XYZ] is area-minimizing.
The generalized soap bubble problem seeks the least perimeter way to enclose and separate n given volumes in R^m. We study the possible configurations for perimeter minimizing bubble complexes enclosing more than two regions. We prove that perimeter minimizing planar bubble complexes with equal pressure regions and without empty chambers must have connected regions. As a consequence, we show that the least perimeter planar graph that encloses and separates three equal areas in R^2 using convex cells and without empty chambers is a "standard triple bubble" with connected regions.
This paper is the continuation of the previous one \cite{Cui2021}, where we re-proved the area-minimization of cones over Grassmannians of $n$-planes $G(n,m;\mathbb{F})(\mathbb{F}=\mathbb{R},\mathbb{C},\mathbb{H})$, Cayley plane $\mathbb{O}P^2$ from the point view of Hermitian orthogonal projectors, and gave area-minimizing cones associated to oriented real Grassmannians $\widetilde{G}(n,m;\mathbb{R})$. In this paper, we make a further step on showing that the cones, of dimension no less than $\mathbf{8}$, over minimal products of $G(n,m;\mathbb{F})$ are area-minimizing. Moreover, those cones …
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.
We prove that the density of a topologically nontrivial, area-minimizing hypercone with an isolated singularity must be greater than the square root of 2. The Simons' cones show that this is the best possible constant. If one of the components of the complement of the cone has nontrivial kth homotopy group, we prove a better bound in terms of k; that bound is also best possible. The proofs use mean curvature flow.
It is a well-known fact that there exists a standard minimal embedding map for the Grassmannians of $n$-planes $G(n,m;\mathbb{F})(\mathbb{F}=\mathbb{R},\mathbb{C},\mathbb{H})$ and Cayley plane $\mathbb{O}P^2$ into Euclidean spheres, then an natural question is that if the cones over these embedded Grassmannians are area-minimizing? In this paper, detailed descriptions for this embedding map are given from the point view of Hermitian orthogonal projectors which can be seen as an direct generalization of Gary R. Lawlor's(\cite{lawlor1991sufficient}) original considerations for the case of real p…
We consider $2$-dimensional integer rectifiable currents which are almost area minimizing and show that their tangent cones are everywhere unique. Our argument unifies a few uniqueness theorems of the same flavor, which are all obtained by a suitable modification of White's original theorem for area minimizing currents in the euclidean space. This note is also the first step in a regularity program for semicalibrated $2$-dimensional currents and spherical cross sections of $3$-dimensional area minimizing cones.
We prove that tangent cones at singular boundary points of a two-dimensional current almost area minimizing are unique. Following the ideas exposed by White in [8], the result is achieved by combining a suitable epiperimetric inequality and an almost-monotonicity formula for the mass at boundary points.
In this paper we study the area minimizing problem in some kinds of conformal cones. This concept is a generalization of the cones in Eulcidean spaces and the cylinders in product manifolds. We define a non-closed-minimal (NCM) condition for bounded domains. Under this assumption and other necessary conditions we establish the existence of bounded minimal graphs in mean convex conformal cones. Moreover those minimal graphs are the solutions to corresponding area minizing problems. We can solve the area minimizing problem in non-mean convex translating conformal cones if these cones are contain…
In this paper we continue to study the connection among the area minimizing problem, certain area functional and the Dirichlet problem of minimal surface equations in a class of conformal cones with a similar motivation from \cite{GZ20}. These cones are certain generalizations of hyperbolic spaces. We describe the structure of area minimizing $n$-nteger multiplicity currents in bounded $C^2$ conformal cones with prescribed $C^1$ graphical boundary via a minimizing problem of these area functionals. As an application we solve the corresponding Dirichlet problem of minimal surface equations unde…
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 obtain a characterization of the proximal normal cone to a prox-regular subset of a Riemannian manifold. Moreover, some properties of Bouligand tangent cones to prox-regular sets are described. We prove that for a prox-regular subset S of a Riemannian manifold, the metric projection P_S to S is locally Lipschitz on an open neighborhood of S and it is directionally differentiable at boundary points of S. Finally, a necessary condition for a curve to be a minimizing curve in a prox-regular set is derived.
We give partial boundary regularity for co-dimension one absolutely area-minimizing currents at points where the boundary consists of a sum of $C^{1,α}$ submanifolds, possibly with multiplicity, meeting tangentially, given that the current has a tangent cone supported in a hyperplane with constant orientation vector; this partial regularity is such that we can conclude the tangent cone is unique. The proof follows closely the boundary regularity result given by Hardt and Simon in [9].
We give partial boundary regularity for co-dimension one absolutely area-minimizing currents at points where the boundary consists of a sum of $C^{1,α}$ submanifolds, possibly with multiplicity, meeting tangentially, given that the current has a tangent cone supported in a hyperplane with constant orientation vector; this partial regularity is such that we can conclude the tangent cone is unique. The proof closely follows that giving the boundary regularity result of Hardt and Simon.
We give a proof by foliation that the cones over $\mathbb{S}^k \times \mathbb{S}^l$ minimize parametric elliptic functionals for each $k,\,l \geq 1$. We also analyze the behavior at infinity of the leaves in the foliations. This analysis motivates conjectures related to the existence and growth rates of nonlinear entire solutions to equations of minimal surface type that arise in the study of such functionals.
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 …
Hardt-Simon proved that every area-minimizing hypercone $\mathbf{C}$ having only an isolated singularity fits into a foliation of $\mathbb{R}^{n+1}$ by smooth, area-minimizing hypersurfaces asymptotic to $\mathbf{C}$. In this paper we prove that if a stationary $n$-varifold $M$ in the unit ball $B_1 \subset \mathbb{R}^{n+1}$ lies sufficiently close to a minimizing quadratic cone (for example, the Simons' cone $\mathbf{C}^{3,3}$), then $\mathrm{spt} M \cap B_{1/2}$ is a $C^{1,α}$ perturbation of either the cone itself, or some leaf of its associated foliation. In particular, we show that singul…
We prove a pair of sharp reverse isoperimetric inequalities for domains in nonpositively curved surfaces: (1) metric disks centered at the vertex of a Euclidean cone of angle at least $2π$ have minimal area among all nonpositively curved disks of the same perimeter and the same total curvature; (2) geodesic triangles in a Euclidean (resp. hyperbolic) cone of angle at least $2π$ have minimal area among all nonpositively curved geodesic triangles (resp. all geodesic triangles of curvature at most $-1$) with the same side lengths and angles.
The Fine Structure of the Singular Set of Area-Minimizing Integral Currents III: Frequency 1 Flat Singular Points and $\mathcal{H}^{m-2}$-a.e. Uniqueness of Tangent Cones
We show that any minimizing hypercone can be perturbed into one side to a properly embedded smooth minimizing hypersurface in the Euclidean space, and every viscosity mean convex cone admits a properly embedded smooth mean convex self-expander asymptotic to it near infinity. These two together confirm a conjecture of Lawson \cite[Problem 5.7]{Brothers86_OpenProblems}.
We study the formation of singularities for the mean curvature flow of monotone Lagrangians in $\C^n$. More precisely, we show that if singularities happen before a critical time then the tangent flow can be decomposed into a finite union of area-minimizing Lagrangian cones (Slag cones). When $n=2$, we can improve this result by showing that connected components of the rescaled flow converge to an area-minimizing cone, as opposed to possible non-area minimizing union of Slag cones. In the last section, we give specific examples for which such singularity formation occurs.
In this paper we consider the problem of minimizing the relative perimeter under a volume constraint in the interior of a conically bounded convex set, i.e., an unbounded convex body admitting an \emph{exterior} asymptotic cone. Results concerning existence of isoperimetric regions, the behavior of the isoperimetric profile for large volumes, and a characterization of isoperimetric regions of large volume in conically bounded convex sets of revolution is obtained.
Our goal is to generalize the Choe-Hoppe helicoid and Clifford cones in Euclidean space. By sweeping out $L$ indpendent Clifford cones in ${\mathbb{R}}^{2N+2}$ via the multi-screw motion, we construct minimal submanifolds in ${\mathbb{R}}^{L(2N+2)+1}$. Also, we sweep out the $L$-rays Clifford cone (introduced in Section 2.3) in ${\mathbb{R}}^{L(2N+2)}$ to construct minimal submanifolds in ${\mathbb{R}}^{L(2N+2)+1}$. Our minimal submanifolds unify various interesting examples: Choe-Hoppe's helicoid of codimension one, cone over Lawson's ruled minimal surfaces in ${\mathbb{S}}^{3}$, Barbosa-Dajc…
We prove existence of regions minimizing perimeter under a volume constraint in contact sub-Riemannian manifolds such that their quotient by the group of contact transformations preserving the sub-Riemannian metric is compact.
Analysis of singularities of area-minimizing currents, Part II: a uniform height bound, estimates away from branch points of rapid decay, and uniqueness of tangent cones
We prove some old and new isoperimetric inequalities with the best constant using the ABP method applied to an appropriate linear Neumann problem. More precisely, we obtain a new family of sharp isoperimetric inequalities with weights (also called densities) in open convex cones of $\mathbb{R}^n$. Our result applies to all nonnegative homogeneous weights satisfying a concavity condition in the cone. Remarkably, Euclidean balls centered at the origin (intersected with the cone) minimize the weighted isoperimetric quotient, even if all our weights are nonradial ---except for the constant ones. W…
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 …
In this paper we prove the existence of isoperimetric regions of any volume in Riemannian manifolds with Ricci bounded below assuming Gromov--Hausdorff asymptoticity to the suitable simply connected model of constant sectional curvature. The previous result is a consequence of a general structure theorem for perimeter-minimizing sequences of sets of fixed volume on noncollapsed Riemannian manifolds with a lower bound on the Ricci curvature. We show that, without assuming any further hypotheses on the asymptotic geometry, all the mass and the perimeter lost at infinity, if any, are recovered by…
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 establish a structure theorem for minimizing sequences for the isoperimetric problem on noncompact $\mathsf{RCD}(K,N)$ spaces $(X,\mathsf{d},\mathcal{H}^N)$. Under the sole (necessary) assumption that the measure of unit balls is uniformly bounded away from zero, we prove that the limit of such a sequence is identified by a finite collection of isoperimetric regions possibly contained in pointed Gromov--Hausdorff limits of the ambient space $X$ along diverging sequences of points. The number of such regions is bounded linearly in terms of the measure of the minimizing sequence. The result f…
If one considers an integral varifold $I^m\subseteq M$ with bounded mean curvature, and if $S^k(I)\equiv\{x\in M: \text{ no tangent cone at $x$ is }k+1\text{-symmetric}\}$ is the standard stratification of the singular set, then it is well known that $\dim S^k\leq k$. In complete generality nothing else is known about the singular sets $S^k(I)$. In this paper we prove for a general integral varifold with bounded mean curvature, in particular a stationary varifold, that every stratum $S^k(I)$ is $k$-rectifiable. In fact, we prove for $k$-a.e. point $x\in S^k$ that there exists a unique $k$-plan…
We prove the existence of global minimizers of Allen-Cahn equation in dimensions $8$ and above. More precisely, given any strictly area-minimizing Lawson's cones, there are global minimizers whose nodal sets are asymptotic to the cones. As a consequence of Jerison-Monneau's program we establish the existence of many counter-examples to the De Giorgi's conjecture different from the Bombierie-De Giorgi-Giusti minimal graph.
