Another simple proof of the 1-dimensional flat chain conjecture

Abstract: We provide a short proof of the 1-dimensional flat chain conjecture.

• The paper demonstrates that every metric 1-current in R^d corresponds to a flat chain of finite mass using Lipschitz-free space theory and the closed range theorem.
• It leverages functional analytic techniques to reduce the problem to a surjective divergence mapping, bypassing traditional geometric decompositions.
• The work underscores the power of duality in linking analytic properties with geometric measure theory, thereby streamlining the original conjecture.

A Short Proof of the 1-Dimensional Flat Chain Conjecture

Introduction

The subject of this paper is the 1-dimensional flat chain conjecture, which concerns the precise relationship between metric 1-currents and classical flat 1-chains in Euclidean spaces. This conjecture asserts that every metric 1-current in $\mathbb{R}^d$ corresponds, via the de Rham association, to a flat chain of finite mass. Previous proofs relied on deep results from geometric measure theory and functional analysis. This paper provides a self-contained, short proof leveraging Lipschitz-free space theory and a closed range theorem argument.

Background and Key Notions

Flat chains, introduced by Whitney and later developed by Federer and Fleming, serve as a foundational object in geometric measure theory, modeling generalized surfaces on which one can integrate differential forms. Ambrosio and Kirchheim extended these to metric currents, generalizing currents to arbitrary metric spaces, potentially lacking smooth structures.

Given $E = \mathbb{R}^d$, the space of metric 1-currents, denoted $M_1(\mathbb{R}^d)$, comprises bilinear functionals on bounded Borel functions and Lipschitz functions, subject to locality, continuity, and finite mass axioms. The mass and boundary of a metric current are defined analogously to their classical counterparts, with the boundary map taking values in the Lipschitz-free space $F(\mathbb{R}^d)$. The identification between 1-currents and flat 1-chains is mediated by associating to each metric current a de Rham current, acting on compactly supported smooth differential forms.

A central analytical tool in the proof is the structure of Lipschitz-free spaces. The predual $F(E)$ of the Banach space of Lipschitz functions vanishing at a basepoint linearizes the metric geometry of $E$. The duality between $F(E)$ and $\mathrm{Lip}_0(E)$ enables the analysis of boundaries of metric currents in functional analytic terms.

Structure of the Argument

The proof constructs a short, functional-analytic reduction. Given a metric 1-current $T$, its boundary $\partial T$ (interpreted as a continuous linear functional on $E = \mathbb{R}^d$0) is shown to be of divergence form: for some $E = \mathbb{R}^d$1,

$E = \mathbb{R}^d$2

The surjectivity of the divergence mapping $E = \mathbb{R}^d$3 from $E = \mathbb{R}^d$4 onto $E = \mathbb{R}^d$5 follows from duality arguments and the closed range theorem, given that its adjoint isometrically embeds Lipschitz functions into $E = \mathbb{R}^d$6 vector fields via gradients.

Once such $E = \mathbb{R}^d$7 is found, $E = \mathbb{R}^d$8 has zero boundary, i.e., is a normal current, which corresponds to a normal de Rham current—thus a flat chain by the classical result for normal currents. The $E = \mathbb{R}^d$9 component also corresponds to a flat chain, as smooth compacts supported approximations in $M_1(\mathbb{R}^d)$0 suffice to show that $M_1(\mathbb{R}^d)$1 is a limit of normal currents in the flat norm. Therefore, $M_1(\mathbb{R}^d)$2 is a sum of flat chains, hence itself a flat chain of finite mass.

Comparative Context and Implications

The one-dimensional flat chain conjecture was first proven by Schioppa and has seen several alternative proofs in recent literature, leveraging diverse perspectives including analytic decompositions, Banach space arguments, and metric geometry techniques. The current proof streamlines the argument, relying fundamentally on properties of Lipschitz-free spaces and the closed range theorem, rather than geometric measure decomposition or direct approximation arguments.

This approach parallels the growing trend of using functional analytic and topological methods in the structure theory of currents and their generalizations, highlighting the flexibility of operator-theoretic tools in the study of metric currents. The proof further clarifies the analytic underpinnings of the correspondence between vector field divergences and current boundaries, contributing to a deeper understanding of the duality structure in the theory of currents.

Notably, the proof can be adapted to other contexts where analogous duality and closed range properties hold, as exemplified in recent generalizations to quasiconvex metric spaces. However, counterexamples in alternative definitions of metric currents (such as Lang's) without finiteness hypotheses demonstrate the necessity of the technical framework used.

Conclusion

The paper gives a succinct proof that every metric 1-current in $M_1(\mathbb{R}^d)$3 corresponds, via the de Rham association, to a flat chain of finite mass, resolving the 1-dimensional flat chain conjecture through Lipschitz-free space duality and the closed range theorem. This perspective offers clarity and elegance, and may inspire further research into the analytic and algebraic structure of currents, their boundaries, and flat chains within and beyond the Euclidean setting.