Abstract:Introduction. In this paper we study the sets of rank one and rank zero for harmonic maps between two Riemannian manifolds. The rank one sets are generalizations of nonsingular nodal sets of harmonic functions, while the rank zero sets are generalizations of critical sets, or more specific, critical nodal sets, of harmonic functions. Nodal sets and critical nodal sets are studied intensively for harmonic functions, or in general, solutions of general elliptic equations of the second order. In [22], Lin derived an optimal bound for the geometric measure of nodal sets for analytic solutions in terms their frequency. A less optimal bound was obtained for nonanalytic solutions in [19] by Hardt and Simon. In the same paper, Hardt and Simon proved that for classical solutions with relatively high order derivatives critical nodal sets are countable unions of subsets of correspondingly smooth (n — 2)-dimensional submanifolds. Thus, they are countably (n — 2)-rectifiable. See also [6]. This result was generalized to weak solutions in [15]. It is proved that for weak solutions, as long as they do not vanish to infinite order, the critical nodal sets are countable unions of subsets of C (n — 2)-dimensional submanifolds. Hence they are also countably (n 2)-rectifiable. Concerning the size of critical nodal sets, R. Hardt and the authors obtained a uniform estimate on the measure of critical nodal sets in terms of the frequency of solutions in [17]. See also a paper by M. and T. Hoffmann-Ostenhof, N. Nadirashvili and R. Hardt [21]. In this paper we will generalize those results to rank one and rank zero sets of harmonic maps. In [26] Sampson showed that when an open subset is mapped into an geodesic by a harmonic map then the whole domain is mapped into the geodesic. We will show in this paper that for a given harmonic map either the whole domain is mapped into a geodesic or the set of points where the differential has rank one is countably (n — l)-rectifiable. In the latter case we also obtain a measure estimate on this set. Rank zero sets were first studied by Gromov and Schoen [14] for minimizing harmonic maps when the image is in a singular space with the so-called nonpositive curvature property. They showed that such sets have codimensions at least two. Later on this result was generalized to arbitrary smooth harmonic maps between two smooth manifolds by S. Yamada [30]. In this paper we will show that rank zero sets of minimizing harmonic maps are countably (n 2)-rectifiable and have bounded (n — 2)-dimensional Hausdorff measure. Our method is similar to that in [17]. The main results are as follows.

Level sets of nonsmooth functions, part 1: Lipschitz and piecewise-differentiable rank theorems

Level proximal subdifferential, variational convexity, and pointwise Lipschitz smoothness

Homology and Robustness of Level and Interlevel Sets

On Some Universal Morse–Sard Type Theorems

Extension of Lipschitz Functions Revisited

A new linking theorem for Lipschitz functionals and its application

Order isomorphisms of sup-stable function spaces: continuous, Lipschitz, c-convex, and beyond

Lipschitz Smoothings of Polyhedral Manifolds

Generalized Sublevel Estimates for Form-Valued Functions and Related Results for Radon-like Transforms

A Singular Integral Measure for $C^{1,1}$ and $C^1$ Boundaries

Existence of Extremal Functions for a Family of Caffarelli-Kohn-Nirenberg Inequalities

Low-action holomorphic curves and invariant sets

Frobenius Theorem in Banach Space and an Extremum Principle of Real Functional under the Constraints of $c^1$ Submanifold in Banach Space

Rank Zero and Rank One Sets of Harmonic Maps

Log-Lipschitz and Hölder regularity imply smoothness for complex analytic sets

Some variants of the generalized Borel Theorem and applications

Properties of Lipschitz smoothing heat semigroups

A Bridge Between Dubovitskiĭ–Federer Theorems and the Coarea Formula

Lipschitz continuity and Bochner-Eells-Sampson inequality for harmonic maps from $\mathrm{RCD}(K,N)$ spaces to $\mathrm{CAT}(0)$ spaces

A three term sublevel set inequality

Lower semicontinuity, Stoilow factorization and principal maps