[Paper Review] Minimality for unions of 2-dimensional minimal cones with non-isolated singularities

Xiangyu Liang|arXiv (Cornell University)|Aug 29, 2018

Advanced Banach Space Theory18 references4 citations

TL;DR

This paper establishes that the almost orthogonal union of two 2-dimensional Almgren minimal cones with non-isolated singularities remains a minimal cone under broad conditions. Using a novel stopping time argument, $\epsilon$-decomposition, and measure estimates, the authors prove minimality, stability, and uniqueness for such unions, extending results beyond orthogonal planes to singular cones.

ABSTRACT

In this article we prove that for a large class of 2-dimensional minimal cones (including almost all 2-dimensional minimal cones that we know), the almost orthogonal union of any two of them is still a minimal cone. Comparing to existing results for minimality of almost orthogonal union of planes \cite{2p,2ptopo}, here we are dealing with unions of cones with non isolated singularities, which results in a series of essential difficulties, and new ideas are required. The proof in this article can be generalized to other types of minimalities, e.g. topological minimality, Reifenberg minimality, etc..

Motivation & Objective

• To classify new families of singularities for 2-dimensional Almgren minimal sets by constructing unions of known singularities in transversal directions.
• To address the challenge of non-isolated singularities in minimal cones, which complicates traditional minimality proofs.
• To extend the theory of almost orthogonal unions beyond planes to general 2D minimal cones with complex singular structures.
• To establish sliding and topological minimality, uniqueness, and stability for such unions under almost orthogonal conditions.
• To generalize techniques from orthogonal plane unions to cones with non-isolated singularities, requiring new analytical tools.

Proposed method

• Introduces a stopping time argument to control the behavior of competitors near singular regions, ensuring the process terminates in finite steps.
• Employs an $\epsilon$-decomposition technique to decompose competitors into regular and singular parts, enabling localized measure estimates.
• Uses measure estimates in regular and singular zones, including excess estimates, to compare the Hausdorff measure of competitors with the original cone.
• Applies a reduction argument to transform a competitor into a new competitor with smaller measure, leading to contradiction if minimality fails.
• Leverages Almgren uniqueness and stability theorems to show that any competitor with smaller measure contradicts the minimality of the union.
• Adapts the framework to prove sliding and topological minimality by replacing deformation-based arguments with $G$-topological competitor conditions.

Experimental results

Research questions

• RQ1 Under what conditions is the almost orthogonal union of two 2-dimensional minimal cones with non-isolated singularities itself a minimal cone?
• RQ2 How can one prove minimality when the singular set is not isolated, given the failure of standard regularity tools?
• RQ3 Can the uniqueness and stability of such unions be established using a stopping time and $\epsilon$-decomposition approach?
• RQ4 To what extent can the results on orthogonal unions of planes be generalized to cones with non-isolated singularities?
• RQ5 Is the almost orthogonal union of $G$-topologically unique and sliding-stable minimal cones itself $G$-topologically minimal and stable?

Key findings

• For a large class of 2-dimensional minimal cones, including almost all known ones, the almost orthogonal union of any two is a minimal cone.
• The $\epsilon$-process used in the proof must terminate in finite steps, as an infinite process would contradict the measure minimality of the union.
• The Hausdorff measure of any competitor $F_k$ eventually exceeds that of the union cone $C_k$, leading to a contradiction if minimality fails.
• Sliding stability and Almgren uniqueness are preserved under almost orthogonal unions, provided the cones are sliding stable and uniquely determined.
• The result generalizes to $G$-topological minimality, with analogous stability and uniqueness results holding under similar geometric conditions.
• The proof framework applies to other minimality notions, such as Reifenberg minimality, indicating broad applicability beyond Almgren minimality.