Structure of Metric $1$-currents: approximation by normal currents and representation results

David Bate; Emanuele Caputo; Jakub Tak\'a\v{c}; Phoebe Valentine; Pietro Wald

REVIEW 3 major objections 2 minor 32 references

Structure of Metric $1$-currents: approximation by normal currents and representation results

T0 review · 3 major / 2 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that every metric 1-current on a complete quasiconvex metric space is a mass limit of normal 1-currents, settling the 1-dimensional flat chain conjecture in full generality.

desk verdict Major and likely-correct resolution of the 1D flat chain conjecture via a clean Banach-space isomorphism; two writing gaps need fixing before I'd bet on it. read the letter →

arxiv 2508.08017 v1 pith:VVTK3ZUW submitted 2025-08-11 math.MG math.APmath.FA

David Bate , Emanuele Caputo , Jakub Takáč , Phoebe Valentine , Pietro Wald This is my paper · ORCID

classification math.MGmath.APmath.FA MSC 49Q1528A7530L99

keywords metriccurrentsflatchainconjectureArens-Eellsspacenormalcurvefragmentsquasiconvexityrepresentationofpolyhedralapproximation

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper claims to settle the 1-dimensional flat chain conjecture: in any complete quasiconvex metric space, every metric 1-current — a generalized surface encoded by Lipschitz functions — can be approximated in mass by normal 1-currents, which have finite boundary mass. The proof is carried by a new Banach-space isomorphism theorem: the boundary map from metric 1-currents modulo cycles onto the Arens-Eells space is an isomorphism exactly when the space is quasiconvex, with optimal constants in terms of the quasiconvexity constant. A second main result removes a finite-dimensionality condition from earlier representation theorems: every metric 1-current on a complete separable metric space is an integral superposition of oriented 1-rectifiable sets, with mass exactly preserved. The bridge between the two is a structure theorem in Banach spaces, where any such current is shown to be the restriction to a Borel set of a boundaryless normal current.

What carries the argument

The Arens-Eells space Æ(X) — the completion of finitely supported zero-sum measures under a transportation-like norm, dual to the Lipschitz functions vanishing at a base point — together with the boundary operator ∂. The load-bearing step is showing that ∂ : M1(X)/ker(∂) → Æ(X) is an isomorphism if and only if X is quasiconvex, with constants governed by qc(X). For the representation theorem, the key machinery is a strict geodesic approximation theorem in spaces admitting a conical geodesic bicombing (a Lipschitz-continuous choice of geodesic between each pair of points), which supplies the analogue of the classical polyhedral approximation for normal 1-currents, plus a homotopy formula for

What would settle it

For a complete quasiconvex space $X$ and two points $x,y$, compute $m_{x,y}:=\inf\{M(T): T\in M_1(X),\ \partial T=\delta_y-\delta_x\}$. The isomorphism theorem implies $m_{x,y}=\mathrm{qc}(x,y)\,d(x,y)$. A single pair with $m_{x,y}>\mathrm{qc}(x,y)d(x,y)$, or with $m_{x,y}=\infty$ while a finite quasiconvex curve exists, would refute the quantitative claim and the approximation corollary built on it.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.2: for a complete separable metric space X, the boundary operator maps M1(X) into the Arens-Eells space Æ(X), and the induced operator from M1(X)/ker(∂) onto Æ(X) is a Banach-space isomorphism if and only if X is quasiconvex. In that case qc(X)^{-1}∥∂T∥_Æ ≤ ∥[T]∥ ≤ ∥∂T∥_Æ for every T, with the constants optimal. From this, Corollary 3.4 derives that every metric 1-current whose mass measure is inner regular by compact sets is the mass limit of normal 1-currents, proving the 1-dimensional flat chain conjecture for complete quasiconvex metric spaces. The paper also proves a Banach-space structure theorem: any such current is the restriction to a Borel set of a bo

Load-bearing premise

The main approximation theorem depends on the cited reduction lemma that a countable union of compact sets in a complete quasiconvex metric space can be enclosed in a closed, separable, quasiconvex subset; if that lemma does not apply, the passage from the separable case to full quasiconvex spaces collapses.

Editorial extensions

If this is right

In every complete quasiconvex metric space, the mass closure of normal 1-currents is the full space of metric 1-currents with inner regular mass measure; this is the 1-dimensional flat chain conjecture in the metric setting.
The boundary quotient M1(X)/ker(∂) is isomorphic to the Arens-Eells space up to the factor qc(X), so the Arens-Eells norm of a boundary controls, within a known factor, the minimal mass of any current with that boundary.
Every metric 1-current on a complete separable metric space is an integral superposition of oriented 1-rectifiable sets with exact mass equality, with no doubling or finite-dimensionality restriction.
In Banach spaces, every metric 1-current with inner regular mass is the restriction of a boundaryless normal current to a Borel set; for hyperplane-supported currents the set can be taken closed.
A strict approximation theorem holds for normal 1-currents in conical bicombing spaces, including Banach and CAT(0) spaces: they are flat-approximated by finite sums of geodesic currents without increasing mass.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the 1-dimensional flat chain conjecture is settled in this generality, the remaining obstacle for k ≥ 2 is likely the failure of strict polyhedral approximation in infinite-dimensional Hilbert spaces, which the paper notes in passing; a different filling mechanism would be needed for the same structure-theorem route.
The representation theorem plausibly implies that derivations on arbitrary complete separable metric measure spaces admit Alberti-type representations as superpositions of derivatives along curve fragments; the paper sketches this corollary and leaves a surjectivity question as a natural next step.
The isomorphism theorem gives a quantitative bridge between Lipschitz-free spaces and current boundaries; the optimal constant qc(X) may be useful for estimating Lipschitz-extension constants or for flat-distance computations.
A testable extension is to identify general conditions on the support of a metric 1-current under which the Borel set in the structure theorem can be taken closed; the paper guarantees closedness only for hyperplane-supported currents.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Big paper. The central idea—that the boundary operator induces an isomorphism M1(X)/ker ∂ ≅ Æ(X) exactly when X is quasiconvex—is tidy, and getting the optimal norm constants qc(X)^{-1} and 1 as a bonus. The corollary that normal currents are mass-dense in complete quasiconvex spaces is the long-awaited 1D flat chain conjecture, and the representation theorem drops Schioppa's finite-dimensionality hypothesis altogether. The geodesic approximation theorem in conical-bicombing spaces and the homotopy formula are carefully built, and the paper is transparent about which external results (Paolini-Stepanov, Bate et al., Krein-Shmul'yan) are doing what. The reliance on Bate et al. for a side case is independent and not circular.

My reservations are two, and both are about mismatches between what is stated and what is used. Corollary 3.4 reduces to a separable set F by invoking [20, Lemma 2.1], but the lemma is never stated. Existence of a closed separable quasiconvex set containing a given separable set is plausible (take the closure of the union of quasigeodesics through a countable dense set), but a referee shouldn't have to guess. If the lemma doesn't preserve quasiconvexity, the nonseparable case of the flat chain conjecture is not proved as written.

The second gap is more concrete. Theorem 6.3 applies Theorem 5.1 to a Banach space B, but Theorem 5.1 is stated only for closed, convex, bounded C with 0 in its interior. The proof of Theorem 6.3 contains no truncation or limiting argument to get from bounded C to all of B. This is not a trivial oversight: restriction of currents to Borel sets is delicate, and finite mass alone doesn't automatically let you pass to an exhaustion. Both gaps look fixable, but as written the proofs are incomplete.

A smaller issue: the abstract says "any complete and quasiconvex metric space," but the theorem inside carries an inner-regularity hypothesis on the mass measure. In nonseparable spaces that hypothesis is not automatic, and the paper's own footnote about Ulam numbers suggests the authors know the territory is subtle.

Verdict: this deserves a serious referee. I would send it to a strong journal and ask for the two gaps to be patched—state the lemma from [20] or give a direct argument, and either extend Theorem 5.1 to unbounded C or add the missing truncation argument. I expect the theorems are true, but the written proof needs one more pass.

Referee Report

3 major / 2 minor

Summary. The paper proves a Banach-space isomorphism theorem for metric 1-currents: in a complete separable metric space X, the boundary operator induces an isomorphism from M1(X)/ker(d) onto the Arens-Eells space AE(X) if and only if X is quasiconvex, with optimal constants. From this it derives mass approximation of metric 1-currents by normal 1-currents in complete quasiconvex spaces, assuming the mass measure is inner regular by compact sets. In a second thread, the paper generalizes to Banach spaces the Alberti-Marchese restriction theorem for 1-dimensional flat chains, using a strict polyhedral approximation theorem for normal 1-currents in spaces with a conical geodesic bicombing. This is then used to prove an integral representation of arbitrary metric 1-currents on complete separable metric spaces as superpositions of curve fragments, removing a finite-dimensionality condition from earlier work of Schioppa.

Significance. The results are potentially significant. The 1-dimensional flat chain conjecture has been open in this generality, and the isomorphism theorem relating metric 1-currents to the Arens-Eells space is elegant and likely to be influential. The representation theorem would complete a program of Schioppa and Paolini-Stepanov. The proofs are detailed and draw in a natural way on external theorems (Arens-Eells duality, Krein-Shmul'yan, Paolini-Stepanov decomposition, Bate-Eriksson-Bique-Soultanis fragment calculus); there is no evident circularity. However, three load-bearing points need to be addressed before the advertised statements are fully supported: the inner-regularity hypothesis is omitted from the abstract, the reduction to the separable case relies on an unstated external lemma, and Theorem 6.3 applies a theorem beyond its stated hypotheses.

major comments (3)

[Abstract; §1 (Theorem 1.3); §3 (Corollary 3.4)] The abstract states the flat chain conjecture is proved in any complete quasiconvex metric space, but Corollary 3.4 and Theorem 1.3 assume the mass measure of T is inner regular by compact sets. This is not automatic for arbitrary complete metric spaces, and no argument is given that the hypothesis can be dropped. Since the advertised conclusion is exactly the unrestricted version, this is a gap between statement and proof. Either prove automatic inner regularity in this setting or qualify the abstract and introduction.
[§3, Proof of Corollary 3.4; also used in Lemma 5.4] The reduction 'By [20, Lemma 2.1], there is a closed, separable, quasiconvex set F containing S' is load-bearing: it is the only step passing from a possibly nonseparable complete quasiconvex space to the separable setting of Theorem 3.2. The lemma is not stated, and the cited paper is about weak BLD mappings and Hausdorff measure. If Lemma 2.1 only provides a closed separable set without quasiconvexity, the nonseparable case is not proved. The same reduction is used in Lemma 5.4. Please state the lemma or supply a direct proof that quasiconvexity can be preserved under this closure/separable reduction.
[§6, Proof of Theorem 6.3; §5, Theorem 5.1] Theorem 5.1 is stated for C closed, convex, bounded with 0 in int(C), but the proof of Theorem 6.3 invokes it with C equal to the whole separable Banach space B, which is unbounded. No truncation or limiting argument is supplied. Since Lemmas 5.2-5.4 have boundedness hypotheses and are used in the proof of Theorem 5.1, the representation theorem is not fully justified as written. Please either extend Theorem 5.1 to unbounded C (the arguments appear likely to go through for C=B) or add an explicit truncation/reduction step.

minor comments (2)

[§6, first paragraph of proof of Theorem 6.3] The sentence 'We may suppose supp(T') is contained in a hyperplane' should explicitly state that B is enlarged to dimension at least 2, since Theorem 5.1 assumes dim B > 1.
[§5, Lemma 5.4] The diagonal argument concluding M(P_n) -> M(T) is terse. It relies on lower semicontinuity of mass under flat convergence together with M(P_n) <= M(N_n); making this explicit would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main derivation chain is independent, and the cited auxiliary results are external or non-load-bearing.

full rationale

The paper's central claim, Theorem 3.2 / Corollary 3.4, is derived from the Arens–Eells space, the Krein–Shmul'yan theorem, and the Paolini–Stepanov decomposition of normal 1-currents. The proof of the quasiconvex direction establishes the isomorphism by showing the adjoint is an isomorphism via the lower bound ||∂*f|| ≥ qc(X)^{-1} Lip(f), which is a genuine argument and does not presuppose the theorem. The non-quasiconvex direction uses Lemma 3.3, which is proved from the Paolini–Stepanov acyclic decomposition; again, this is external to the paper. Corollary 3.4's reduction to a closed separable set F uses [20, Lemma 2.1] (Hajłasz–Malekzadeh–Zimmerman), which is not a self-citation; even if its statement were insufficiently detailed, an unverified external lemma is a correctness risk, not a circular step. Lemma 5.4 invokes Corollary 3.4, but Corollary 3.4 was already proved in Section 3 before being used in Section 5, so this is a forward dependency rather than a circular one. The self-citations that do appear ([8] for *-upper gradients, [10] for a Borel-measurability lemma) are auxiliary technical tools and are not used to define or assume the flat-chain-conjecture conclusion. Thus the derivation chain does not reduce by construction to its own inputs.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The paper introduces no fitted parameters or new entities. It relies on the standard theory of metric currents, several external representation/decomposition theorems, and standard functional analysis. The heaviest dependencies are the Paolini-Stepanov theorems and the Bate et al. *-upper gradient result.

assumptions (7)

domain assumption Paolini-Stepanov representation: every normal 1-current N equals ∫ JγK dη with M(N) = ∫ ℓ(γ) dη ([25, Thm 3.1]).
Invoked in Theorem 4.5 (Step 1) and implicitly in Lemma 3.3 to decompose currents into elementary curves. External published theorem.
domain assumption Paolini-Stepanov decomposition: any normal 1-current splits as cycle + acyclic current with controlled mass ([24, Prop 3.8, Thm 5.1]).
Used in Lemma 3.3 to write T = C + T0 and to select T0 with ∂T0 = m and M(T0) ≤ M(T).
domain assumption Bate-Eriksson-Bique-Soultanis *-upper gradient approximation ([8, Thm 1.6]) and the inequality |T(f,π)| ≤ ∫ |f| Π |Dπ_i|_* d∥T∥ (Corollary 2.8 in this paper).
Used in Lemma 3.1 to show M1(X) = {0} for purely 1-unrectifiable X. External result from a paper with overlapping authors.
standard math Kreĭn-Shmul'yan characterization of Æ(X) via sequential weak* continuity ([14, Cor. 12.8]).
Used in Lemma 2.3 to identify ∂T ∈ Lip0(X)* with an element of Æ(X) in separable spaces.
standard math Closed range theorem and bipolar theorem ([14, Ch. 5-6]).
Used in the adjoint argument in Theorem 3.2 to conclude ∂ is an isomorphism from properties of ∂*.
domain assumption Hajłasz-Malekzadeh-Zimmerman [20, Lemma 2.1]: a σ-compact set in a complete quasiconvex metric space is contained in a closed separable quasiconvex set.
Used in Corollary 3.4 to reduce to the separable case. The lemma is quoted but not stated, so its exact content is an assumption.
domain assumption Weaver derivation to current correspondence: D ∈ X(µ) induces a metric 1-current T with T(f,π) = ∫ f Dπ dµ ([28, Thm 3.7]).
Used in Corollary 6.5 to connect the representation theorem to Alberti representations.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Structure of Metric $1$-currents: approximation by normal currents and representation results." pith.science (2026). https://pith.science/paper/VVTK3ZUW

@misc{pith2026250808017,
  author       = {Pith},
  title        = {Pith review of: Structure of Metric $1$-currents: approximation by normal currents and representation results},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VVTK3ZUW}},
  note         = {Machine review of arXiv:2508.08017}
}

abstract

We prove the $1$-dimensional flat chain conjecture in any complete and quasiconvex metric space, namely that metric $1$-currents can be approximated in mass by normal $1$-currents. The proof relies on a new Banach space isomorphism theorem, relating metric $1$-currents and their boundaries to the Arens-Eells space. As a by-product, any metric $1$-current in a complete and separable metric space can be represented as the integral superposition of oriented $1$-rectifiable sets, thus dropping a finite dimensionality condition from previous results of Schioppa [Schioppa Adv. Math. 2016, Schioppa J. Funct. Anal. 2016]. The connection between the flat chain conjecture and the representation result is provided by a structure theorem for metric $1$-currents in Banach spaces, showing that any such current can be realised as the restriction to a Borel set of a boundaryless normal $1$-current. This generalizes, to any Banach space, the $1$-dimensional case of a recent result of Alberti-Marchese in Euclidean spaces [Alberti-Marchese 2023]. The argument of Alberti-Marchese requires the strict polyhedral approximation theorem of Federer for normal $1$-currents, which we obtain in Banach spaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 28 canonical work pages

[20]

Hajł asz, S

P. Hajł asz, S. Malekzadeh, and S. Zimmerman. Weak BLD mappings and Hausdorff measure.Nonlinear Anal., 177:524–531, 2018. STRUCTURE OF METRIC 1-CURRENTS 41

work page 2018
[1]

On the structure of flat chains with finite mass

G. Alberti and A. Marchese. On the structure of flat chains with finite mass.arXiv:2311.06099, 2023

work page Pith review arXiv 2023
[2]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savaré.Gradient flows in metric spaces and in the space of probability measures. Lectures in Mathematics ETH Zürich. Birkhäuser Verlag, Basel, second edition, 2008

2008
[3]

Ambrosio and B

L. Ambrosio and B. Kirchheim. Currents in metric spaces.Acta Math., 185(1):1–80, 2000

work page 2000
[4]

The superposition principle for local 1-dimensional currents

L. Ambrosio, F. Renzi, and F. Vitillaro. The superposition principle for local 1-dimensional currents. arXiv:2503.18157, 2025

work page Pith review arXiv 2025
[5]

Arroyo-Rabasa and G

A. Arroyo-Rabasa and G. Bouchitté. Structural properties of one-dimensional metric currents: SBV- representations, connectedness and the flat chain conjecture.In the arXiv repository system, 2025

work page 2025
[6]

Geometric and analytic structures on metric spaces homeomorphic to a manifold

G. Basso, D. Marti, and S. Wenger. Geometric and analytic structures on metric spaces homeomorphic to a manifold.arXiv:2303.13490, 2023

work page Pith review arXiv 2023
[7]

D. Bate. Structure of measures in Lipschitz differentiability spaces.J. Amer. Math. Soc., 28(2):421–482, 2015

work page 2015

Show all 32 references

[8]

D. Bate, S. Eriksson-Bique, and E. Soultanis. Fragment-wise differentiable structures.arXiv:2402.11284, 2024

2024 arXiv
[9]

D. Bate, I. Kangasniemi, and T. Orponen. Cheeger’s differentiation theorem via the multilinear Kakeya inequality.Pure Appl. Funct. Anal., 8(6):1587–1602, 2023

2023
[10]

Bate and J

D. Bate and J. Weigt. Alberti representations, rectifiability of metric spaces and higher integrability of measures satisfying a pde.arXiv:2501.02948, 2025

2025 arXiv
[11]

Bonicatto, G

P. Bonicatto, G. Del Nin, and E. Pasqualetto. Decomposition of integral metric currents.J. Funct. Anal., 282(7):Paper No. 109378, 28, 2022

2022
[12]

M. R. Bridson and A. Haefliger. Metric spaces of non-positive curvature, volume 319 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1999

1999
[13]

Cavallucci and A

N. Cavallucci and A. Sambusetti. Packing and doubling in metric spaces with curvature bounded above. Math. Z., 300(3):3269–3314, 2022

2022
[14]

J. B. Conway.A course in functional analysis, volume 96 ofGraduate Texts in Mathematics. Springer- Verlag, New York, second edition, 1990

1990
[15]

De Philippis and F

G. De Philippis and F. Rindler. On the structure ofA-free measures and applications.Ann. of Math. (2), 184(3):1017–1039, 2016

2016
[16]

Descombes and U

D. Descombes and U. Lang. Convex geodesic bicombings and hyperbolicity.Geom. Dedicata, 177:367–384, 2015

2015
[17]

Eriksson-Bique and E

S. Eriksson-Bique and E. Soultanis. Curvewise characterizations of minimal upper gradients and the construction of a Sobolev differential.Anal. PDE, 17(2):455–498, 2024

2024
[18]

Federer.Geometric measure theory, volume Band 153 ofDie Grundlehren der mathematischen Wis- senschaften

H. Federer.Geometric measure theory, volume Band 153 ofDie Grundlehren der mathematischen Wis- senschaften. Springer-Verlag New York, Inc., New York, 1969

1969
[19]

Federer and W

H. Federer and W. H. Fleming. Normal and integral currents.Ann. of Math. (2), 72:458–520, 1960

1960
[21]

Heinonen, P

J. Heinonen, P. Koskela, N. Shanmugalingam, and J. T. Tyson.Sobolev spaces on metric measure spaces, volume 27 ofNew Mathematical Monographs. Cambridge University Press, Cambridge, 2015. An approach based on upper gradients

2015
[22]

Kleiner and U

B. Kleiner and U. Lang. Higher rank hyperbolicity.Invent. Math., 221(2):597–664, 2020

2020
[23]

U. Lang. Injective hulls of certain discrete metric spaces and groups.J. Topol. Anal., 5(3):297–331, 2013

2013
[24]

Paolini and E

E. Paolini and E. Stepanov. Decomposition of acyclic normal currents in a metric space.J. Funct. Anal., 263(11):3358–3390, 2012

2012
[25]

Paolini and E

E. Paolini and E. Stepanov. Structure of metric cycles and normal one-dimensional currents.J. Funct. Anal., 264(6):1269–1295, 2013

2013
[26]

T. D. Pauw. Quantified compactness in lipschitz-free spaces of[−1, 1]n. arXiv:2504.19100, 2025

2025 arXiv
[27]

Schioppa

A. Schioppa. Derivations and Alberti representations.Adv. Math., 293:436–528, 2016

2016
[28]

Schioppa

A. Schioppa. Metric currents and Alberti representations.J. Funct. Anal., 271(11):3007–3081, 2016

2016
[29]

S. K. Smirnov. Decomposition of solenoidal vector charges into elementary solenoids, and the structure of normal one-dimensional flows.Algebra i Analiz, 5(4):206–238, 1993

1993
[30]

A. Song. Hyperbolic groups and spherical minimal surfaces.arXiv:2402.10869, 2024

2024 arXiv
[31]

Weaver.Lipschitz algebras

N. Weaver.Lipschitz algebras. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, second edition, 2018

2018
[32]

S. Wenger. Compactness for manifolds and integral currents with bounded diameter and volume.Calc. Var. Partial Differential Equations, 40(3-4):423–448, 2011

2011

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.

[1] [20]

Hajł asz, S

P. Hajł asz, S. Malekzadeh, and S. Zimmerman. Weak BLD mappings and Hausdorff measure.Nonlinear Anal., 177:524–531, 2018. STRUCTURE OF METRIC 1-CURRENTS 41

work page 2018

[2] [1]

On the structure of flat chains with finite mass

G. Alberti and A. Marchese. On the structure of flat chains with finite mass.arXiv:2311.06099, 2023

work page Pith review arXiv 2023

[3] [2]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savaré.Gradient flows in metric spaces and in the space of probability measures. Lectures in Mathematics ETH Zürich. Birkhäuser Verlag, Basel, second edition, 2008

2008

[4] [3]

Ambrosio and B

L. Ambrosio and B. Kirchheim. Currents in metric spaces.Acta Math., 185(1):1–80, 2000

work page 2000

[5] [4]

The superposition principle for local 1-dimensional currents

L. Ambrosio, F. Renzi, and F. Vitillaro. The superposition principle for local 1-dimensional currents. arXiv:2503.18157, 2025

work page Pith review arXiv 2025

[6] [5]

Arroyo-Rabasa and G

A. Arroyo-Rabasa and G. Bouchitté. Structural properties of one-dimensional metric currents: SBV- representations, connectedness and the flat chain conjecture.In the arXiv repository system, 2025

work page 2025

[7] [6]

Geometric and analytic structures on metric spaces homeomorphic to a manifold

G. Basso, D. Marti, and S. Wenger. Geometric and analytic structures on metric spaces homeomorphic to a manifold.arXiv:2303.13490, 2023

work page Pith review arXiv 2023

[8] [7]

D. Bate. Structure of measures in Lipschitz differentiability spaces.J. Amer. Math. Soc., 28(2):421–482, 2015

work page 2015