Global regularity for minimal sets near a \(\mathbb{T}\)-set and counterexamples (Q2449578)

The author studies the global regularity of \(2\)-dimensional minimal sets in \(\mathbb{R}^3\) and \(\mathbb{R}^4\) that look like a \(\mathbb{T}\)-set at infinity in \(\mathbb{R}^3\) and \(\mathbb{R}^4\). A \(\mathbb{T}\)-set is the cone over the skeleton of a regular tetrahedron centered at the origin. He discusses two kinds of minimal sets, i.e. sets that minimize the Hausdorff measure among two classes of competitors. An Almgren competitor (Al-competitor) for the closed set \(E\) in \(\mathbb{R}^n\) is a closed set \(F\subset \mathbb{R}^n\) that can be written as \(F= \varphi (E)\) where \(\varphi :\mathbb{R}^n\to \mathbb{R}^n\) is a Lipschitz map for which there exists a compact ball \(B\subset \mathbb{R}^n\) such that \(\varphi_{|B^C}=id\) and \(\varphi(B)\subset B\). The competitors of second type are the toplogical competitors and have been introduced by the author. A closed set \(F \subset \mathbb{R}^n\) is a topological competitor of dimension \(d<n\) for a given closed set \(E\subset \mathbb{R}^n\) if there exists a ball \(B\subset \mathbb{R}^n\) such that 1) \(F\backslash B=E\backslash B\), 2) for every Euclidean \((n-d-1)\)-sphere \(S\subset\mathbb{R}^n\backslash (B\cup E)\), if \(S\) represents a nonzero element in the singular homology group \(H_{n-d-1}(\mathbb{R}^n\backslash E;\mathbb{Z})\), then it is also nonzero in \(H_{n-d-1}(\mathbb{R}^n\backslash F;\mathbb{Z})\). The author shows that a minimal set in \(\mathbb{R}^n\) is a cone. The solution of the problem is obtained if one proves that every minimal cone \(C\) satisfies the following property: (0.8) there exists \(\epsilon = \epsilon_C>0\), such that for every minimal set \(E\) , if \(d_{0,1}(C,E)<\epsilon\), then there exists \(x\in E\cap B(0,1)\) whose density \(\theta(x)\) is the same as that of \(C\) at the origin. The ball centered in \(x\) with radius \(r\) is \(B(x,r)\) and for two closed sets \(E\) and \(F\) the distance \(d_{x,r}(E,F) ={{1}\over {r}} \max\{\sup \{d(y,F):y\in E\cap B(x,r)\}, \sup\{d(y,E):y\in F\cap B(x,r)\}\}\). In the present paper the author treats the property \((0.8)\) for the minimal cones \(\mathbb{T}\) under the two definitions for ''minimal''. In section 1, the property \((0.8)\) is discussed for \(\mathbb{T}\)-sets in \(\mathbb{R}^3\) where the set \(E\) in \((0.8)\) is an Almgren minimal set. In section 2, the author discusses the property \((0.8)\) for \(\mathbb{T}\)-sets in \(\mathbb{R}^4\), with topological minimal sets.