A fundamental problem in geometric measure theory is to understand the local structure of -dimensional area-minimizing rectifiable currents of codimension at least 2. Almgren's 1983 theory provides a powerful general framework establishing the sharp Hausdorff dimension upper bound for the singular set (subsequently made more accessible by De Lellis–Spadaro). The work of White, Chang, and Micallef–White gives a remarkably complete structure theory when is -dimensional, in which case the singularities are isolated. In higher dimensions, however, the local structure of and the nature of its singularities remain much more subtle, particularly at branch points, where one tangent cone is a plane.
In a series of papers with Brian Krummel, we develop a new framework for this problem in arbitrary dimension . Its geometric philosophy differs from the classical theory: it unifies decay estimates at branch points with the dimension and structure of the singular set, as well as with the structure of . A central conceptual novelty is the introduction of a new intrinsic frequency function, called the planar frequency. Unlike the frequency used in the classical theory, planar frequency is defined directly in terms of geometric quantities integrated over the current, without first constructing auxiliary center manifolds at branch points. The approximate monotonicity of planar frequency provides quantitative control of the rate at which approaches planes and leads to a natural decomposition of the singular set according to planar decay.
I will describe this framework and some of its main consequences. Among these are a more direct proof of Almgren's bound, -almost everywhere uniqueness of tangent cones, and a detailed asymptotic description of at typical branch points. In particular, at -almost every branch point there is a unique tangent plane, an intrinsic rational invariant—the branching order —and a unique, nonzero, -homogeneous cylindrical multi-valued tangent function. Together, these provide an asymptotic normal form for at with quantitative decay for the remainder. Corollaries of this normal form include a locally finite decomposition of the singular set into disjoint, locally compact, locally -rectifiable sets with locally finite measure, and a sharp branching order criterion under which a branch point is classical; that is, near , the support of is homeomorphic to an -disk and admits a parameterization, while the entire singular set is an -dimensional submanifold consisting only of branch points with the same density and branching order as . This is a natural higher-dimensional analogue of the Chang–Micallef–White structural description in dimension .
A central theme of the talk will be how planar frequency avoids the need to construct center manifolds uniformly across all branch points as in the classical framework. Instead, it identifies precisely the regime in which a center manifold becomes necessary and reduces its use to a canonical case. This reduction is crucial for our asymptotic normal form and also leads to substantial technical simplifications over the classical approach.
I will also briefly comment on related contemporaneous work of De Lellis, Minter, and Skorobogatova.