Rectifiable-Reifenberg and the regularity of stationary and minimizing harmonic maps (Q509693)

In the paper, the authors prove some regularity of stationary and minimizing harmonic maps \(f : B_2(p) \subset M \to N\) between two Riemannian manifolds of dimension \(\leq n\) with \(N\) compact without boundary satisfying \[ |\text{sec}_{B_2(p)}| \leq K_M, \,\, \text{inj}(B_2(p))\geq K_M^{-1}, \] \[ |\text{sec}_{N}| \leq K_N, \,\, \text{inj}(N)\geq K_N^{-1}, \,\, \text{diam}(N) \leq K_N. \] The first main result in this paper is the following. If \(f : B_2(p) \subset M \to N\) is a stationary harmonic map satisfying geometric conditions above with \(\int_{B_2(p)} |\nabla f|^2\leq \Lambda\), then for each \(\epsilon>0\), there exists \(C_\epsilon(n, K_M, K_N, \Lambda, \epsilon) >0\) such that \[ \text{Vol}(B_r(S^k_{\epsilon, r}(f))) \leq C_\epsilon r^{n-k}, \] where the \(k^{\text{th}} (\epsilon, r)\)-stratification \(S^k_{\epsilon, r}(f)\) is defined by \[ S^k_{\epsilon, r}(f) = \{x \in B_1(p) : \text{for no \(r \leq s <1\) is \(B_s(x)\) a \((k+1, \epsilon)\)-symmetric ball}\} \] and \(B_r(x) \subset M\) is \((k,\epsilon)\)-symmetric ball if \(r< \text{inj}(x) \) and there exists a \(k\)-symmetric mapping \(\bar f: T_xM \to N\) such that \(\int_{B_r(x)}|f-\bar f|^2 < \epsilon\) by using the exponential map to identify \(\bar f\) as a function on \(M\). Recall that a mapping \(f : {\mathbb R}^n \to N\) is called \(k\)-symmetric if \(f(\lambda x) = f(x)\) for all \(\lambda >0\) and if there exists a \(k\)-plane \(V^k \subset {\mathbb R}^n\) such that for each \(x \in {\mathbb R}^n\) and \(y \in V^k\), \(f(x+y) = f(x)\). The authors also shows that the \(k^{\text{th}}\) \(\epsilon\)-stratification \(S^k_\epsilon(f) = \bigcap_{r>0} S^k_{\epsilon, r}(f)\) has the same volume growth and in particular, it is \(k\)-rectifiable and has bounded \(k\)-dimensional Hausdorff measure. As an application of those results mentioned above, the authors prove that the stratification \[ S^k(f) = \bigcup_{\epsilon >0}S^k_{\epsilon} = \{x \in B_1(p): \text{ no tangent cone at } x \text{ is }(k+1)\text{-symmetry}\} \] is \(k\)-rectifiable and the Hausdorff dimension \(\dim S^k(f) \leq k\). When \(f : B_2(p) \subset M \to N\) is a minimizing harmonic map satisfying the same geometric consitions above, the authors prove that the singular set \(S(f)\) of \(f\) is \((n-3)\)-rectifiable and there exists \(C(n, K_M, K_N, \Lambda)>0\) such that \[ \text{Vol}(B_r(S(f))\cap B_1(p)) \leq C r^{3}. \] In particular, the \((n-3)\)-dimensional Hausdorff measure of the set \(S(f) \cap B_1(p)\) satisfies \(\lambda^{n-3}(S(f) \cap B_1(p)) \leq C\).