🔢 mathematics

Quadratic flatness and Regularity for Codimension-One Varifolds with Bounded Anisotropic Mean Curvature

This paper establishes that the support of an $n$ -dimensional varifold in $\mathbf{R}^{n+1}$ with bounded anisotropic mean curvature and locally finite Hausdorff measure is $C^2$ -rectifiable and $C^{1,\alpha}$ -regular at almost every point of density one, by proving that it admits a quadratic flatness property characterized by the existence of two mutually tangent balls at almost all points.

Original authors: Sławomir Kolasiński, Mario Santilli

Published 2026-01-29

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Sławomir Kolasiński, Mario Santilli

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: Smoothing Out a Bumpy Surface

Imagine you have a piece of fabric (or a soap film) floating in space. In the real world, this fabric isn't always perfectly smooth; it might have wrinkles, folds, or even sharp creases. Mathematicians call these complex, potentially messy shapes varifolds.

For a long time, mathematicians knew how to prove that if this fabric is "balanced" in a very specific, standard way (like a soap bubble in a vacuum), it must be smooth almost everywhere. This is like knowing that a soap bubble naturally forms a perfect sphere.

However, this paper tackles a much trickier scenario: Anisotropy.

Think of anisotropy as the fabric having a "grain" or a "texture," like wood or a woven cloth. In this world, the fabric doesn't behave the same way in every direction. It might be easier to stretch it horizontally than vertically. Because of this "grain," the standard mathematical tools used to prove smoothness (which rely on perfect symmetry) stop working.

The authors, Kolasiński and Santilli, have developed a new way to prove that even with this "grainy" texture, if the fabric is under control (its curvature is bounded), it is still surprisingly smooth—specifically, it can be touched by two smooth balls from opposite sides at almost every point.

The Core Problem: The Missing Compass

In the standard world (isotropic), mathematicians have a "magic compass" called the monotonicity formula. This compass tells them that as you zoom in on a point on the fabric, the shape gets simpler and flatter, guaranteeing it's smooth.

In the "grainy" (anisotropic) world, this compass is broken. There is no monotonicity formula. Without it, the old methods fail, and mathematicians couldn't be sure if the fabric was actually smooth or if it was just a jagged mess that looked smooth from a distance.

The Solution: The "Double-Ball" Test

The authors introduce a new way to check for smoothness. Instead of relying on the broken compass, they use a geometric test involving balls.

Imagine trying to touch a surface with two smooth, round balls (like billiard balls).

The Test: Can you place one ball on the "top" side of the surface and another on the "bottom" side so that they both touch the surface at the exact same point, without cutting through it?
The Result: The paper proves that for these "grainy" fabrics, yes, you can almost always do this.

If you can fit two tangent balls against a surface at a point, it means the surface is locally very flat and well-behaved. It's not jagged or sharp at that specific spot.

The "Quadratic Flatness" Analogy

The paper uses a term called Quadratic Flatness. Here is a way to visualize that:

Imagine you are walking on a path.

Linear Flatness is like walking on a straight line.
Quadratic Flatness is like walking on a very gentle hill. If you look at a tiny patch of the hill, it looks almost flat, but if you zoom out, you see it curves slightly like a parabola (a "U" shape).

The authors prove that these "grainy" surfaces are quadratically flat. This means that if you zoom in close enough, the surface looks like a smooth, gently curving hill. It doesn't have sharp spikes or jagged edges. Because it is this smooth, it can be covered by a collection of smooth, curved sheets (mathematically called $\mathcal{C}^2$ submanifolds).

The Main Discoveries

The "Two-Ball" Theorem: For these specific types of surfaces, almost every point is a place where you can press two smooth balls against it from opposite sides. This proves the surface is structurally sound and smooth.
Covering the Surface: Because of this smoothness, the entire surface (except for a tiny, negligible amount of "dust") can be covered by a countable number of smooth, curved sheets.
Connecting to the Old Rules: The authors show that if you combine their new "Two-Ball" discovery with an older theorem by Allard (which says that if a surface is smooth and has a certain density, it is a smooth graph), you can prove that the surface is not just smooth, but $\mathcal{C}^{1,\alpha}$ regular.
- Translation: This means the surface is not just continuous; its slope changes smoothly. It's like a well-polished road rather than a bumpy dirt track.

Why This Matters (According to the Paper)

This work solves a long-standing puzzle in the "Calculus of Variations" (the math of finding the best shape for things).

The Obstacle: For years, people knew how to handle "perfectly symmetrical" surfaces but got stuck on "grainy" (anisotropic) ones because the old tools didn't work.
The Breakthrough: The authors didn't try to fix the old tools. Instead, they built a new bridge using maximum principles (a technique often used in physics to find the highest or lowest points of a function) and the theory of curvature for closed sets.
The Result: They proved that even without the "magic compass" (monotonicity formula), the "grainy" surfaces are still smooth and well-behaved, provided their curvature doesn't get too wild.

Summary in a Nutshell

Imagine a crumpled piece of paper with a specific texture. You want to know if it's smooth or jagged. The old rules said, "We can't tell because the texture messes up our measuring tape."

These authors said, "Let's try a different test." They proved that if you try to press two smooth balls against the paper, they will fit perfectly at almost every point. This proves the paper is actually smooth and curved, not jagged. They used this simple geometric idea to unlock a whole new understanding of how textured, complex shapes behave in mathematics.

Technical Summary: Quadratic Flatness and Regularity for Codimension-One Varifolds with Bounded Anisotropic First Variation

Problem Statement
The paper addresses a fundamental gap in the regularity theory of varifolds with anisotropic first variation. While Allard's seminal work [All72] established that varifolds with controlled Euclidean (isotropic) first variation possess strong regularity properties (specifically, that their support is locally a $C^{1,\alpha}$ graph near points of unit density), extending these results to the anisotropic setting has proven difficult. The primary obstacle is the absence of a monotonicity formula for varifolds associated with parametric elliptic integrands (anisotropic surface energies). Without this tool, standard techniques for proving rectifiability and flatness fail.

Specifically, the authors investigate codimension-one varifolds $V$ in $\mathbb{R}^{n+1}$ with bounded anisotropic mean curvature (with respect to a uniformly convex norm $\phi$ ). The central open problem is whether the support of such varifolds, $\text{spt}\|V\|$ , is rectifiable and regular (specifically $C^2$ or $C^{1,\alpha}$ ) without relying on the monotonicity formula. Previous work by De Philippis, De Rosa, and Ghiraldin [DPDRG18] established rectifiability under the "atomic condition," but a general quadratic flatness result (implying $C^2$ -rectifiability) for bounded anisotropic mean curvature remained unresolved.

Methodology
The authors develop a non-variational approach that bypasses the need for a monotonicity formula. Their methodology combines:

Maximum Principle Techniques: Utilizing barrier principles adapted for varifolds with bounded anisotropic mean curvature, drawing on the theory of $(n, h)$ -sets introduced by White [Whi10, Whi16] and extended to the anisotropic setting by De Rosa, Kolasinski, and Tione [DRKS20].
Curvature Theory for Arbitrary Closed Sets: Leveraging recent developments in the differential geometry of general closed sets (specifically the theory of principal curvatures and reach functions for arbitrary sets, as found in [HS22] and [San20b]).
Geometric Measure Theory: Employing the theory of the proximal unit-normal bundle $N(A)$ and the reach function $\mathbf{r}_A$ to analyze the local structure of the support.

Instead of using the monotonicity formula to derive flatness, the authors prove that the support of the varifold behaves as an $(n, h)$ -set. They then apply a barrier principle (Lemma 2.12) to derive estimates on the principal curvatures of the support. By integrating these curvature estimates over the normal bundle, they establish that the support is "quadratically flat," meaning it can be touched by two mutually tangent balls at almost every point.

Key Contributions and Results

Quadratic Flatness Theorem (Theorem 1.1 / 3.3):
The paper proves that if $V$ is an $n$ -dimensional varifold in an open subset of $\mathbb{R}^{n+1}$ with bounded anisotropic mean curvature ( $\|\delta_\phi V\| \le H \|V\|$ ) and the support has locally finite $\mathcal{H}^n$ -measure, then the support is $(\mathcal{H}^n, n)$ -rectifiable of class $C^2$ .
- Specifically: At $\mathcal{H}^n$ -almost every point $a$ in the support, there exist two mutually tangent balls (one from each side) that touch the support at $a$ .
- Implication: This implies that the support can be covered, up to a set of $\mathcal{H}^n$ -measure zero, by a countable union of $C^2$ -regular $n$ -dimensional submanifolds.
- Novelty: The authors note that even the first-order rectifiability of the support under these hypotheses is a new result. The proof relies on the hypothesis that $\mathcal{H}^n$ restricted to the projection of the normal bundle is a Radon measure, which is shown to be equivalent to the support having locally finite measure.
Regularity Theorem (Theorem 1.2):
By combining the new quadratic flatness result with Allard's local anisotropic regularity theorem [All86, 3.6], the authors establish higher regularity.
- Hypothesis: If $V$ is an integral varifold with bounded anisotropic mean curvature and if $\mathcal{H}^n$ on the support is absolutely continuous with respect to $\|V\|$ , then at $\mathcal{H}^n$ -almost every point of unit density ( $\Theta^n(\|V\|, a) = 1$ ), the support is a $C^{1,\alpha}$ -hypersurface.
- Mechanism: The quadratic flatness result verifies the "smallness assumptions" on the height excess required by Allard's theorem [All86], which were previously missing in the anisotropic setting.
Application to Sets of Finite Perimeter (Corollary 1.3):
The results are applied to sets of finite perimeter $E$ where the first variation of the anisotropic $\phi$ -perimeter is controlled. The corollary states that the reduced boundary $\partial^* E$ is $C^{1,\alpha}$ -regular almost everywhere and can be covered by countably many $C^2$ hypersurfaces.

Significance and Claims
The paper claims to resolve a long-standing open problem regarding the regularity of varifolds with bounded anisotropic mean curvature.

Overcoming the Monotonicity Barrier: The authors explicitly state that their approach is necessary because the powerful techniques from Allard's [All72] (relying on the monotonicity formula) are inaccessible in the anisotropic setting. They provide a "completely different approach" that successfully bridges this gap.
Sharpness and Generality: The result establishes $C^2$ -rectifiability for codimension-one varifolds with bounded anisotropic mean curvature, a setting where such regularity was previously unknown.
Correction of Literature: The paper notes (Remark 1.4) that a previous claim in [DRKS20] regarding the almost everywhere regularity of sets of finite perimeter under these conditions was erroneously believed to follow immediately from Allard's theorem; this paper provides the missing link (the quadratic flatness) required to make that claim rigorous.

In summary, the paper establishes that bounded anisotropic mean curvature is sufficient to guarantee that the support of a codimension-one varifold is $C^2$ -rectifiable and, under mild additional conditions, $C^{1,\alpha}$ -regular, thereby extending the core regularity theory of geometric measure theory to the anisotropic case without the aid of a monotonicity formula.