A quantitative inequality for general area-minimizing hypercones

Abstract: Let $\mathbf{C}=\partial E\subset\mathbb{R}<sup>{n+1}$ be an area-minimizing hypercone. The cone may have nonisolated singularities. We prove that there is a constant $c_{\mathbf{C}}&gt;0$ such that [ \frac{\operatorname{Per}(F;B_R)-\operatorname{Per}(E;B_R)}{R^n} \geq c_{\mathbf{C}} \left(\frac{|F\triangle E|}{R^{n+1}}\right)^2 ] for every $R&gt;0$ and every set $F$ of locally finite perimeter with $F\triangle E\Subset 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.