pith. sign in

arxiv: 2606.11185 · v1 · pith:K4D2OR2Gnew · submitted 2026-06-09 · 🧮 math.AP · math.DG

Boundary rectifiability and compactness of integral currents via BV functions

Giacomo Del Nin This is my paper

Pith reviewed 2026-06-27 12:14 UTC · model grok-4.3

classification 🧮 math.AP math.DG
keywords integral currentsinteger rectifiable currentsBV functionsDe Giorgi structure theoremcompactnessboundary rectifiabilitygeometric measure theory
0
0 comments X

The pith

An integer rectifiable current with finite mass and finite-mass boundary is integral.

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

The paper gives a new proof that any integer rectifiable current whose mass and boundary mass are both finite must in fact be an integral current. It obtains the result by applying De Giorgi's structure theorem for integer-valued BV functions to slices produced by a cylindrical projection argument. The same method supplies a fresh derivation of the compactness theorem for integral currents that rests ultimately on BV compactness. A reader would care because these two statements are basic tools in geometric measure theory, and the argument reduces them to properties of BV functions rather than to the full apparatus of currents. The proof therefore makes the results available from a different and possibly simpler starting point.

Core claim

If T is an integer rectifiable current with finite mass and finite mass boundary, then T is integral. The argument proceeds by reducing the question, via cylindrical projections, to the structure of integer-valued BV functions on lower-dimensional slices; De Giorgi's theorem then supplies the required integrality on those slices, which transfers back to the original current without loss of finite mass.

What carries the argument

The cylindrical projection argument that reduces integrality of the current to De Giorgi's structure theorem for integer-valued BV functions.

If this is right

  • Compactness of integral currents follows from the corresponding compactness result in BV.
  • Boundary rectifiability is automatic once the masses are finite.
  • The integrality statement holds in any dimension and codimension where the cylindrical projections are well-defined.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The method may extend to related classes such as varifolds or to questions of rectifiability for other objects whose slices are BV.
  • It suggests that certain regularity or closure properties in geometric measure theory could be reproved by first establishing analogous statements for BV functions.
  • If the projection technique preserves additional structure such as stationarity, the argument might apply to minimal currents as well.

Load-bearing premise

De Giorgi's structure theorem applies directly to the BV functions obtained from the cylindrical projections without extra assumptions or loss of finite mass.

What would settle it

An explicit integer rectifiable current with finite mass and finite-mass boundary that fails to have integer multiplicity on a positive-measure subset of its support.

Figures

Figures reproduced from arXiv: 2606.11185 by Giacomo Del Nin.

Figure 1
Figure 1. Figure 1: The cylindrical projection fx0,V , in the special case where k = 1, n = 3 and V is the span of the 1-vector τ0. In this case fx0,V identifies all the half-planes originating at V . This is similar to closing an open book and identifying all pages. proven simultaneously in a mutual induction on the dimension [Whi89]. Fleming gives a proof that is based on Federer’s structure theorem characterizing purely un… view at source ↗
Figure 2
Figure 2. Figure 2: Cylinder construction. On the left the current T × [[0, 1]]. On the right the projected current (πv)∗(∂(T × [[0, 1]])), which is made of three pieces: T and (Tv)∗T (thick line) and (πv)∗(∂T × [[0, 1]]) (dashed line). Given a vector v ∈ R n , we define the slanted projection πv : R n × R → R n πv((x, xn+1)) := x + vxn+1, x ∈ R n , xn+1 ∈ R. Observe that πv is the identity on the horizontal slice R n × {0}, … view at source ↗
Figure 3
Figure 3. Figure 3: The family of consecutively tangent balls Bi . (A.5) hold also for subsequences of Bi , i.e., we can find two interlaced sequences of natural numbers (ik),(jk) such that jk < ik < jk+1 < ik+1 and for which ˆ Bik |u − M| → 0 and ˆ Bjk |u − m| → 0. (A.6) We claim that for i large enough ui+1 ≤ ui + 1 10 . (A.7) Assume on the contrary that ui+1 ≥ ui + 1 10 for infinitely many i’s, then we can take the blowup … view at source ↗
read the original abstract

We present a new proof that an integer rectifiable current with finite mass, and whose boundary has also finite mass, is integral. We deduce the result from De Giorgi's structure theorem for integer-valued $BV$ functions and a cylindrical projection argument. As a consequence, we also give a new proof of the compactness of integral currents that is ultimately based on the $BV$ theory.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript presents a new proof that an integer rectifiable current with finite mass whose boundary also has finite mass is integral. The argument deduces the result from De Giorgi's structure theorem for integer-valued BV functions together with a cylindrical projection reduction. As a consequence it supplies a new proof of compactness for integral currents that ultimately rests on BV theory.

Significance. The central statement is a standard result in geometric measure theory. If the cylindrical-projection step transfers integrality and finite mass without hidden assumptions, the manuscript supplies a useful alternative route that links GMT directly to the BV framework. The approach is already recognized in the literature, and the explicit reliance on De Giorgi's theorem keeps the circularity burden low. The work therefore offers a modest but concrete contribution to the exposition of the subject.

minor comments (3)
  1. [§3] §3, line after (3.2): the statement that the projection 'preserves the integer rectifiability' would benefit from an explicit sentence confirming that the mass of the projected current remains finite when the original mass is finite.
  2. The notation for the slicing operator and the cylindrical projection is introduced without a displayed formula; adding one would improve readability for readers outside the immediate subfield.
  3. [§5] The compactness argument in §5 invokes the BV compactness theorem but does not restate the precise hypotheses needed on the approximating sequence; a one-sentence reminder would help.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of the manuscript, including the recognition that the approach offers a useful alternative route linking GMT to BV theory with low circularity. The report recommends minor revision but lists no specific major comments. We therefore provide no point-by-point responses below.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper deduces the main result (integer rectifiable currents of finite mass with finite-mass boundary are integral) directly from De Giorgi's structure theorem on integer-valued BV functions plus a cylindrical projection argument. Both are external, independently established results with no self-citation load-bearing on the central claim and no reduction of any prediction or definition to the paper's own fitted inputs or ansatzes. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the standard external result of De Giorgi's theorem without introducing new free parameters or invented entities.

axioms (1)
  • domain assumption De Giorgi's structure theorem for integer-valued BV functions
    The proof deduces the integrality result from this theorem as stated in the abstract.

pith-pipeline@v0.9.1-grok · 5573 in / 1029 out tokens · 25961 ms · 2026-06-27T12:14:18.196975+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

15 extracted references · 9 canonical work pages

  1. [1]

    Acta Math

    Ambrosio, Luigi and Kirchheim, Bernd , TITLE =. Acta Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/BF02392711 , URL =

    work page doi:10.1007/bf02392711 2000

  2. [2]

    On the differentiability of Lipschitz functions with respect to measures in the Euclidean space

    Alberti, G. and Marchese, A. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s00039-016-0354-y , URL =

    work page doi:10.1007/s00039-016-0354-y 2016

  3. [3]

    and Fusco, N

    Ambrosio, L. and Fusco, N. and Pallara, D. , TITLE =. 2000 , PAGES =

    2000

  4. [4]

    Jerrard, R. L. , TITLE =. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , FJOURNAL =. 2002 , NUMBER =

    2002

  5. [5]

    1983 , PAGES =

    Simon, Leon , TITLE =. 1983 , PAGES =

    1983

  6. [6]

    , TITLE =

    Solomon, B. , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 1984 , NUMBER =. doi:10.1512/iumj.1984.33.33022 , URL =

    work page doi:10.1512/iumj.1984.33.33022 1984

  7. [7]

    , TITLE =

    White, B. , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF02564671 , URL =

    work page doi:10.1007/bf02564671 1989

  8. [8]

    , TITLE =

    Federer, H. , TITLE =. 1969 , PAGES =

    1969

  9. [9]

    , TITLE =

    Federer, Herbert and Fleming, Wendell H. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1960 , PAGES =. doi:10.2307/1970227 , URL =

    work page doi:10.2307/1970227 1960

  10. [10]

    , TITLE =

    Fleming, Wendell H. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1966 , PAGES =. doi:10.2307/1994337 , URL =

    work page doi:10.2307/1994337 1966

  11. [11]

    Zurich Lectures in Advanced Mathematics

    De Lellis, C. , TITLE =. 2008 , PAGES =. doi:10.4171/044 , URL =

    work page doi:10.4171/044 2008

  12. [12]

    Krantz, S. G. and Parks, H. R. , TITLE =. 2008 , PAGES =. doi:10.1007/978-0-8176-4679-0 , URL =

    work page doi:10.1007/978-0-8176-4679-0 2008

  13. [13]

    , title =

    Simon, L. , title =. 2014 , url =

    2014

  14. [14]

    White, Brian , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1999 , NUMBER =. doi:10.2307/121100 , URL =

    work page doi:10.2307/121100 1999

  15. [15]

    L'Enseign

    de Rham, Georges , TITLE =. L'Enseign. Math. , VOLUME =. 1936 , PAGES =

    1936