A quantitative inequality for general area-minimizing hypercones
Abstract
Let C=∂ E⊂ℝn+1 be an area-minimizing hypercone. The cone may have nonisolated singularities. We prove that there is a constant cC>0 such that (Per(F;BR)−Per(E;BR))/Rn ≥ cC ((|F△ E|)/(Rn+1))2 for every R>0 and every set F of locally finite perimeter with F△ ESubset BR. This extends the unweighted quantitative inequality from regular area-minimizing hypercones to general area-minimizing hypercones. We follow the calibration argument in the author's earlier work on regular cones. The main change is the construction of the vector fields. The pointwise asymptotic estimates for positive Jacobi fields used in the regular case do not directly apply here. We use the minimal foliations constructed by Zhihan Wang on the two sides of the cone. On each leaf, we integrate projection kernels with a positive Jacobi field as the weight. The kernel construction gives the required divergence bound. Wang's weak Harnack inequality and growth estimates give the integral bounds needed to prove linear growth of the vector fields.
Related
- A Generalized Lai--Wei Construction and New Families of Area-Minimizing Hypercones
- Lawlor's curvature criterion and topologically trivial area-minimizing hypercones of Hsiang type
- On a conjecture of Almgren: area-minimizing submanifolds with fractal singular sets
- On Simon's area-minimizing hypersurfaces with fractal singular sets
- L2 Curvature Bounds for Area-Minimizing Currents Mod(2)
BibTeX
@misc{niu2026quantitative,
title = {{A quantitative inequality for general area-minimizing hypercones}},
author = {Gongping Niu},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.24958},
eprint = {2609.24958},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.24958},
}
RIS
TY - UNPB
TI - A quantitative inequality for general area-minimizing hypercones
AU - Gongping Niu
PY - 2026
DA - 2026/09/21
PB - arXiv
DO - 10.48550/arxiv.2609.24958
UR - https://arxiv.org/abs/2609.24958
AB - Let C=∂ E⊂ℝ^n+1 be an area-minimizing hypercone. The cone may have nonisolated singularities. We prove that there is a constant c_C>0 such that (Per(F;B_R)−Per(E;B_R))/R^n ≥ c_C ((|F△ E|)/(R^n+1))^2 for every R>0 and every set F of locally finite perimeter with F△ ESubset B_R. This extends the unweighted quantitative inequality from regular area-minimizing hypercones to general area-minimizing hypercones. We follow the calibration argument in the author's earlier work on regular cones. The main change is the construction of the vector fields. The pointwise asymptotic estimates for positive Jacobi fields used in the regular case do not directly apply here. We use the minimal foliations constructed by Zhihan Wang on the two sides of the cone. On each leaf, we integrate projection kernels with a positive Jacobi field as the weight. The kernel construction gives the required divergence bound. Wang's weak Harnack inequality and growth estimates give the integral bounds needed to prove linear growth of the vector fields.
ER -