Regularity of area minimizing currents mod \(p\) (Q2216464)

Regularity of area minimizing currents mod(p) have had an important role in several classical problems of geometric measure theory and mathematical physics. Several authors studied the regularity of area [\textit{C. De Lellis} and \textit{E.N. Spadaro}, Ann. of Math. (2), 183, No. 2, 499--575 (2016; Zbl 1345.49052); \textit{C. De Lellis} and \textit{E.N. Spadaro}, Geom. Funct. Anal., 24, No. 6, 1831--1884 (2014; Zbl 1307.49043); \textit{C. De Lellis} and \textit{E. N. Spadaro}, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 14, No. 4, 1239--1269 (2015; Zbl 1343.49073); \textit{T. De Pauw} and \textit{R. Hardt}, Am. J. Math., 134, No. 1, 1--69 (2012; Zbl 1252.49070); \textit{T. De Pauw} and \textit{R. Hardt}, J. Math. Anal. Appl., 418, No. 2, 1047--1061 (2014; Zbl 1347.49073); \textit{L. Simon}, J. Diff. Geom. 38, No. 3, 585--652 (1993; Zbl 0819.53029); \textit{L. Spolaor}, Adv. Math., 350, 747--815 (2019; Zbl 1440.49048)]. The principal objective in this paper is to establish a first general partial regularity theorem for area minimizing currents mod(p), for every p, in any dimension and codimension. More precisely, the authors prove that the Hausdorff dimension of the interior singular set of an m-dimensional area minimizing current mod(p) cannot be larger than \(m-1\).