Table of Contents
Fetching ...

A PDE perspective on the flat chain conjecture

Andrea Marchese

TL;DR

The paper surveys progress on the flat chain conjecture, which posits an equivalence between metric currents and flat chains with finite mass in $\mathbb{R}^d$, with complete proofs in the 1D and top-degree cases and open status for intermediate dimensions $1<k<d$. It foregrounds a PDE regularity perspective, linking flat-chain membership to Lipschitz-regularity estimates and decomposability-bundle structure, and showcases a new 1D proof that avoids Alberti representations by leveraging a Poincaré-type framework. A central theme is a Lusin-type regularity program for gradients and $k$-forms, whose validity would imply the full conjecture, alongside a counterexample by Takáč demonstrating limits of stronger conjectures without finite mass. The work highlights how a shift from geometric-width constructions to PDE closability arguments yields powerful insights, with partial progress for higher dimensions and ongoing interest in a Lusin-type theorem for $k$-forms as a path to resolution. Overall, the paper clarifies connections between geometric measure theory and PDE regularity, outlining concrete avenues and obstacles toward a complete proof or refutation of the flat chain conjecture in intermediate dimensions.

Abstract

This survey summarizes recent progress on the flat chain conjecture, which asserts the equivalence between metric currents and flat chains with finite mass in the Euclidean space. In particular, we focus on recent work showing that the conjecture is equivalent to a Lipschitz regularity estimate for a certain PDE.

A PDE perspective on the flat chain conjecture

TL;DR

The paper surveys progress on the flat chain conjecture, which posits an equivalence between metric currents and flat chains with finite mass in , with complete proofs in the 1D and top-degree cases and open status for intermediate dimensions . It foregrounds a PDE regularity perspective, linking flat-chain membership to Lipschitz-regularity estimates and decomposability-bundle structure, and showcases a new 1D proof that avoids Alberti representations by leveraging a Poincaré-type framework. A central theme is a Lusin-type regularity program for gradients and -forms, whose validity would imply the full conjecture, alongside a counterexample by Takáč demonstrating limits of stronger conjectures without finite mass. The work highlights how a shift from geometric-width constructions to PDE closability arguments yields powerful insights, with partial progress for higher dimensions and ongoing interest in a Lusin-type theorem for -forms as a path to resolution. Overall, the paper clarifies connections between geometric measure theory and PDE regularity, outlining concrete avenues and obstacles toward a complete proof or refutation of the flat chain conjecture in intermediate dimensions.

Abstract

This survey summarizes recent progress on the flat chain conjecture, which asserts the equivalence between metric currents and flat chains with finite mass in the Euclidean space. In particular, we focus on recent work showing that the conjecture is equivalent to a Lipschitz regularity estimate for a certain PDE.

Paper Structure

This paper contains 10 sections, 5 theorems, 10 equations.

Key Result

Theorem 2.1

Let $1 \leq k < d$, and let $T \in \mathscr{F}_{k}(K)$ with $\mathbb{M}(T)<\infty$. For every $\varepsilon>0$ there exists a normal current $T' \in \mathscr{N}_{k}(K)$ and a Borel set $E\subset K$ such that

Theorems & Definitions (17)

  • Definition 2.1: Current
  • Definition 2.2: Mass
  • Definition 2.3: Boundary
  • Definition 2.4: Normal current
  • Definition 2.5: Flat norm, see § 4.1.12 of Federer1969
  • Theorem 2.1: Structure of flat chains, see Theorem 1.1 of AlbertiMarchese2023
  • Definition 2.6: Metric current AmbrosioKirchheim2000
  • Definition 2.7: Decomposability bundle, see Section 6.1 of AlbertiMarchese2016
  • Definition 2.8: $k$-Tangent bundle, see Definition 4.1 of AlbertiMarchese2023
  • Theorem 2.2: Characterization of flat chains, see Theorem 1.2 of AlbertiMarchese2023
  • ...and 7 more