Calculus of Variations and Geometric Measure Theory

C. De Lellis - J. Hirsch - A. Marchese - L. Spolaor - S. Stuvard

Fine structure of the singular set of area minimizing hypersurfaces modulo $p$

created by marchese on 24 Jan 2022
modified by stuvard on 04 Feb 2022



Inserted: 24 jan 2022
Last Updated: 4 feb 2022

Year: 2022

ArXiv: 2201.10204 PDF


Consider an area minimizing current modulo $p$ of dimension $m$ in a smooth Riemannian manifold of dimension $m+1$. We prove that its interior singular set is, up to a relatively closed set of dimension at most $m-2$, a $C^{1,\alpha}$ submanifold of dimension $m-1$ at which, locally, $N\leq p$ regular sheets of the current join transversally, each sheet counted with a positive multiplicity $k_i$ so that $\sum_i k_i = p$. This completes the analysis of the structure of the singular set of area minimizing hypersurfaces modulo $p$, initiated by J. Taylor for $m=2$ and $p=3$ and extended by the authors to arbitrary $m$ and all odd $p$. We tackle the remaining case of even $p$ by showing that the set of singular points admitting a flat blow-up is of codimension at least two in the current. First, we prove a structural result for the singularities of minimizers in the linearized problem, by combining an epiperimetric inequality with an analysis of homogeneous minimizers to conclude that the corresponding degrees of homogeneity are always integers; second, we refine Almgren's blow-up procedure to prove that all flat singularities of the current persist as singularities of the Dir-minimizing limit. An important ingredient of our analysis is the uniqueness of flat tangent cones at singular points, recently established by Minter and Wickramasekera in \cite{MW}.