[Paper Review] Uniqueness of tangent cones to boundary points of two-dimensional almost-minimizing currents

Jonas Hirsch, Michele Marini|arXiv (Cornell University)|Sep 29, 2019

Nonlinear Partial Differential Equations5 references4 citations

TL;DR

This paper establishes the uniqueness of tangent cones at singular boundary points of two-dimensional almost-minimizing currents in R^{2+n} by adapting White's epiperimetric inequality and almost-monotonicity formula techniques. The key result proves that blow-ups at boundary points converge uniquely to a single area-minimizing cone, extending prior uniqueness results from area-minimizing to almost-minimizing currents in the boundary setting.

ABSTRACT

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.

Motivation & Objective

• To establish the uniqueness of tangent cones at singular boundary points of two-dimensional almost-minimizing currents.
• To extend White's approach—originally developed for area-minimizing currents—to the case of almost-minimizing currents with boundary.
• To prove that blow-ups at boundary points converge uniquely to a single area-minimizing cone, even when the current is only almost-minimizing.
• To adapt the epiperimetric inequality and almost-monotonicity formula to the boundary setting, where the current meets a C^{1,α} boundary.

Proposed method

• Derive an almost-monotonicity formula for the mass of the current at boundary points, which controls the decay of the flat distance during blow-ups.
• Establish an epiperimetric inequality for almost-minimizing currents by constructing a comparison surface that bounds the same boundary as a competitor, using White's method.
• Use the epiperimetric inequality to control the difference between the current and a comparison cone, ensuring a uniform decay rate in the flat norm.
• Combine the almost-monotonicity formula and epiperimetric inequality to prove the uniqueness of the tangent cone via iterative decay estimates.
• Adapt the proof strategy from White (2003) and Hirsch & Marini (2020) to the boundary case, where the current intersects a C^{1,α} hypersurface.
• Employ the flat distance between currents as a key tool to measure convergence and quantify the decay of the distance to a cone during blow-up.

Experimental results

Research questions

• RQ1 Does the tangent cone at a singular boundary point of a two-dimensional almost-minimizing current depend on the choice of blow-up sequence, or is it unique?
• RQ2 Can White's epiperimetric inequality technique be extended to the case of currents with boundary, particularly when the current meets a C^{1,α} boundary?
• RQ3 Is the almost-monotonicity formula for the mass at boundary points sufficient to ensure convergence to a unique tangent cone?
• RQ4 Can the decay of the flat distance between the current and a comparison cone be quantified using the epiperimetric inequality in the boundary setting?
• RQ5 Under what conditions does the almost-minimality condition (1.1) imply the existence of a unique tangent cone at boundary points?

Key findings

• The tangent cone at every boundary point of a two-dimensional almost-minimizing current is unique, meaning all blow-up sequences converge to the same area-minimizing cone.
• An epiperimetric inequality holds for almost-minimizing currents at boundary points, ensuring that the mass difference between the current and a competitor is controlled by the boundary mass difference.
• An almost-monotonicity formula for the mass at boundary points is derived, which controls the decay of the flat distance during blow-ups.
• The combination of the epiperimetric inequality and almost-monotonicity formula leads to a uniform decay estimate, implying uniqueness of the tangent cone.
• The result extends White's uniqueness result for area-minimizing currents to the broader class of almost-minimizing currents with C^{1,α} boundary.
• The proof relies on a careful construction of comparison surfaces and the use of flat distance to quantify convergence, valid under the almost-minimality condition (1.1).