Pith. sign in

REVIEW 3 minor 15 references

Boundary rectifiability and compactness of integral currents via $BV$ functions

T0 review · 0 major / 3 minor · reviewed 2026-06-27 · grok-4.3

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

Pith's one-line read An integer rectifiable current with finite mass and finite-mass boundary is integral.

desk verdict New proof of the classical integrality result for currents, via De Giorgi and cylindrical projections. read the letter →

arxiv 2606.11185 v1 pith:K4D2OR2G submitted 2026-06-09 math.AP math.DG

Giacomo Del Nin This is my paper · ORCID
classification math.APmath.DG
keywords integralcurrentsintegerrectifiableBVfunctionsDeGiorgistructuretheoremcompactnessboundaryrectifiabilitygeometricmeasuretheory
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

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.

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.

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.

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

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 · score 0.0 of 10

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.

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

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

assumptions (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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Boundary rectifiability and compactness of integral currents via $BV$ functions." pith.science (2026). https://pith.science/paper/K4D2OR2G

@misc{pith2026260611185,
  author       = {Pith},
  title        = {Pith review of: Boundary rectifiability and compactness of integral currents via $BV$ functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/K4D2OR2G}},
  note         = {Machine review of arXiv:2606.11185}
}
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.

Figures

Figures reproduced from arXiv: 2606.11185 by the authors.

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 unrectifiabl… view at source ↗
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}, and sends … view at source ↗
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 sequence c… view at source ↗

Discussion (0). Continue with ORCID to comment.

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

Show all 15 references
  1. [9]

    , TITLE =

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

    1960 doi

  2. [10]

    , TITLE =

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

    1966 doi

  3. [11]

    , TITLE =

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

    2008 doi

  4. [12]

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

    2008 doi

  5. [13]

    , title =

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

    2014

  6. [14]

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

    1999 doi

  7. [15]

    L'Enseign

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

    1936

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.