arxiv: 2605.02694 · v2 · submitted 2026-05-04 · 🧮 math.DG

Recognition: unknown

A note on the Slicing of (k+1)-Currents in the Heisenberg Group mathbb{H}^n in the case k=n

Colleen Ackermann, Giovanni Canarecci

Pith reviewed 2026-05-08 17:28 UTC · model grok-4.3

classification 🧮 math.DG MSC 49Q1553C17

keywords slicingcurrentsHeisenberg groupgeometric measure theoryopen problemCarnot group

0 comments

The pith

The case k equals n for slicing (k+1)-currents in the Heisenberg group H^n stays open, and this note adds discussion to encourage its resolution.

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

The paper presents a note that expands discussion of the unresolved instance k equals n in an earlier proposition on slicing (k+1)-currents inside the Heisenberg group. It supplies additional remarks without delivering a complete proof. A reader would care because the Heisenberg group models sub-Riemannian geometry, and settling the remaining case would clarify how currents can be sliced in that setting.

Core claim

This note expands on the open case k equals n regarding the slicing of (k+1)-currents in the Heisenberg group H^n, with the aim of fostering curiosity for a resolution of the question left by the referenced proposition.

What carries the argument

Slicing of (k+1)-currents in the Heisenberg group H^n when the dimension parameter k equals n, the case left open by the earlier proposition.

If this is right

Full resolution would complete the slicing theory for all relevant dimensions in the Heisenberg setting.
It would allow uniform statements about current slicing across the range of k from 0 to n.
The discussion may guide attempts to adapt Euclidean slicing techniques to the non-Euclidean group structure.

Where Pith is reading between the lines

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

The open case may link to questions about rectifiability or perimeter measures in Carnot groups more broadly.
Similar notes on other open slicing questions could help organize research priorities in sub-Riemannian geometric measure theory.

Load-bearing premise

That adding remarks on an unresolved slicing case without proving it will meaningfully advance interest in the problem.

What would settle it

A direct proof or counterexample that settles whether (k+1)-currents in H^n admit the expected slicing when k equals n, obtained independently of this note.

read the original abstract

This paper aims to expand on the open case $k=n$ regarding Proposition 3.6[1] and hopefully foster curiosity for its resolution.

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.

Desk Editor's Note private letter to a colleague

This note flags an open slicing case for k=n in Heisenberg group currents but adds no resolution, proofs, or new observations.

read the letter

The main takeaway is that this is a very short note that points out an open case for slicing (k+1)-currents in the Heisenberg group when k equals n, based on Proposition 3.6 from previous literature. It does not close the case or introduce any new methods or partial results. The authors do a decent job of being transparent about their aim, which is simply to expand on that specific open instance and try to generate some interest in solving it. In fields like geometric measure theory, where some problems linger, such notes can serve as useful markers for the community. That said, the soft spot is the lack of any substantive content beyond the statement of the problem. There is no derivation, no counterexample, no discussion of why the case differs from others, and apparently no new observations. This makes the paper feel more like a placeholder than a contribution that advances understanding. The soundness is not really testable because there are no claims to verify. For whom is this useful? Primarily for experts already immersed in the study of currents in Carnot groups who might want to be reminded of this particular gap. A casual reader or someone outside the subfield would get little from it. It does not have enough meat to warrant broad attention. I think it deserves peer review in the sense that a quick check by a referee could confirm whether the full text adds anything meaningful or if it's truly just the abstract expanded slightly. The authors are not overstating their results, so it could fit in a journal's notes section without much revision needed.

Referee Report

0 major / 2 minor

Summary. The manuscript is a short note whose stated purpose is to expand discussion of the open case k=n in Proposition 3.6 of the cited reference on slicing of (k+1)-currents in the Heisenberg group H^n, with the explicit goal of fostering curiosity toward a resolution rather than supplying a proof or new theorem.

Significance. If the note supplies even modest new perspective, partial observations, or a sharper formulation of the difficulties specific to k=n, it could usefully draw attention to an acknowledged gap in the slicing theory for Heisenberg currents. Absent any such content, the significance reduces to that of a pointer to an existing open problem.

minor comments (2)

The abstract promises to 'expand on the open case,' yet the manuscript provides no explicit statement of Proposition 3.6, no indication of why k=n is singular, and no partial observation or reformulation that would constitute expansion. Adding a self-contained paragraph recalling the proposition and the precise obstruction at k=n would make the note more useful.
The single citation [1] is referenced but not listed in a bibliography; a complete reference list should be supplied.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their review and for correctly identifying the limited scope and intent of our short note. We address the referee's observations below.

read point-by-point responses

Referee: The manuscript is a short note whose stated purpose is to expand discussion of the open case k=n in Proposition 3.6 of the cited reference on slicing of (k+1)-currents in the Heisenberg group H^n, with the explicit goal of fostering curiosity toward a resolution rather than supplying a proof or new theorem.

Authors: This characterization is accurate. The manuscript was deliberately written as a concise note whose sole aim is to expand the discussion of the open case and to encourage further investigation, without claiming any new theorem or complete resolution. revision: no
Referee: If the note supplies even modest new perspective, partial observations, or a sharper formulation of the difficulties specific to k=n, it could usefully draw attention to an acknowledged gap in the slicing theory for Heisenberg currents. Absent any such content, the significance reduces to that of a pointer to an existing open problem.

Authors: The note does supply a modest new perspective by isolating the k=n case and providing a sharper formulation of the concrete obstacles that prevent the standard slicing arguments from extending directly to this dimension. While these observations are not a proof, they constitute a focused expansion of the discussion that goes beyond merely pointing to the open problem. revision: no

Circularity Check

0 steps flagged

No significant circularity; paper contains no derivation chain

full rationale

The manuscript is a brief note whose sole purpose is to highlight the unresolved case k=n in Proposition 3.6 of the cited reference [1] and to invite further work. No theorems, proofs, equations, or quantitative predictions are asserted. Consequently there are no load-bearing steps that could reduce to self-definition, fitted inputs, or self-citation chains. The reference to prior work is used only to identify an acknowledged open problem, not to derive or justify any new claim within the present text.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities. The work relies on the background of geometric measure theory in Heisenberg groups as cited in prior literature.

pith-pipeline@v0.9.0 · 5317 in / 931 out tokens · 15947 ms · 2026-05-08T17:28:46.477604+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

49 extracted references

[1]

2019 , publisher =

Andrei Agrachev and Davide Barilari and Ugo Boscain , title =. 2019 , publisher =

2019
[2]

Katz , title =

Luigi Ambrosio and Mikhail G. Katz , title =. Commentarii Mathematici Helvetici , volume =
[3]

Mathematische Zeitschrift , volume =

Luigi Ambrosio and Stefan Wenger , title =. Mathematische Zeitschrift , volume =
[4]

Calculus of Variations and Partial Differential Equations , volume =

Annalisa Baldi and Bruno Franchi , title =. Calculus of Variations and Partial Differential Equations , volume =
[5]

Advances in Mathematics , volume =

Zolt. Advances in Mathematics , volume =
[6]

Annales Academi

Zolt. Annales Academi
[7]

Publicacions Matem

Zolt. Publicacions Matem
[8]

2019 , publisher =

Stefano Biagi and Andrea Bonfiglioli , title =. 2019 , publisher =

2019
[9]

2001 , publisher =

Dmitri Burago and Yuri Burago and Sergei Ivanov , title =. 2001 , publisher =

2001
[10]

2007 , publisher =

Ovidiu Calin and Der-Chen Chang and Peter Greiner , title =. 2007 , publisher =

2007
[11]

2014 , publisher =

Giovanni Canarecci , title =. 2014 , publisher =

2014
[12]

2018 , publisher =

Giovanni Canarecci , title =. 2018 , publisher =

2018
[13]

Differential Geometry and its Applications , volume =

Giovanni Canarecci , title =. Differential Geometry and its Applications , volume =
[14]

The Journal of Geometric Analysis , volume =

Giovanni Canarecci , title =. The Journal of Geometric Analysis , volume =
[15]

2023 , publisher =

Giovanni Canarecci , title =. 2023 , publisher =

2023
[16]

Pauls and Jeremy T

Luca Capogna and Donatella Danielli and Scott D. Pauls and Jeremy T. Tyson , title =. 2007 , publisher =

2007
[17]

Greenleaf , title =

Laurence Corwin and Frederick P. Greenleaf , title =. 1990 , publisher =

1990
[18]

David B. A. Epstein and J. W. Cannon and D. F. Holt and S. V. F. Levy and M. S. Paterson and W. P. Thurston , title =. 1992 , publisher =

1992
[19]

1969 , publisher =

Herbert Federer , title =. 1969 , publisher =

1969
[20]

Fleming , title =

Herbert Federer and Wendell H. Fleming , title =. Annals of Mathematics , volume =
[21]

Communications on Pure and Applied Mathematics , volume =

Gerald Budge Folland and Elias Menachem Stein , title =. Communications on Pure and Applied Mathematics , volume =
[22]

Mathematische Annalen , volume =

Bruno Franchi and Raul Serapioni and Francesco. Mathematische Annalen , volume =
[23]

Advances in Mathematics , volume =

Bruno Franchi and Raul Serapioni and Francesco. Advances in Mathematics , volume =
[24]

Communications in Contemporary Mathematics , volume =

Bruno Franchi and Maria Carla Tesi , title =. Communications in Contemporary Mathematics , volume =
[25]

Quaderni dell'Unione Matematica Italiana, Topics in mathematics, Bologna, Pitagora , volume =

Bruno Franchi and Francesca Tripaldi , title =. Quaderni dell'Unione Matematica Italiana, Topics in mathematics, Bologna, Pitagora , volume =
[26]

Progress in Mathematics , volume =

Mikhael Gromov , title =. Progress in Mathematics , volume =
[27]

1986 , publisher =

Mikhael Gromov , title =. 1986 , publisher =

1986
[28]

Annali della Scuola Normale Superiore di Pisa - Classe di Scienze , volume =

Bernd Kirchheim and Fransceso. Annali della Scuola Normale Superiore di Pisa - Classe di Scienze , volume =
[29]

Advances in Mathematics , volume =

Adam Kor. Advances in Mathematics , volume =
[30]

Inventiones mathematicae , volume =

Adam Kor. Inventiones mathematicae , volume =
[31]

Journal of Geometric Analysis , volume =

Urs Lang , title =. Journal of Geometric Analysis , volume =
[32]

Communications in Analysis and Geometry , volume =

Urs Lang and Stefan Wenger , title =. Communications in Analysis and Geometry , volume =
[33]

Journal of the European Mathematical Society , volume =

Enrico Le Donne and S. Journal of the European Mathematical Society , volume =
[34]

Lee , title =

John M. Lee , title =. 2011 , publisher =

2011
[35]

Journal of the European Mathematical Society , volume =

Valentino Magnani , title =. Journal of the European Mathematical Society , volume =
[36]

1995 , publisher =

Pertti Mattila , title =. 1995 , publisher =

1995
[37]

1980 , publisher =

Charles Richard Francis Maunder , title =. 1980 , publisher =

1980
[38]

2009 , publisher =

Frank Morgan , title =. 2009 , publisher =

2009
[39]

Communications in Partial Differential Equations , volume =

Frank Morgan , title =. Communications in Partial Differential Equations , volume =
[40]

Annals of Mathematics , volume =

Pierre Pansu , title =. Annals of Mathematics , volume =
[41]

Journal of Differential Geometry , volume =

Michel Rumin , title =. Journal of Differential Geometry , volume =
[42]

Geometry and Functional Analysis , volume =

Michel Rumin , title =. Geometry and Functional Analysis , volume =
[43]

1983 , publisher =

Leon Simon , title =. 1983 , publisher =

1983
[44]

Metric and Differential Geometry, Springer Basel , volume =

Christina Sormani , title =. Metric and Differential Geometry, Springer Basel , volume =
[45]

Strichartz , title =

Robert S. Strichartz , title =. Contemporary Mathematics, Providence, RI , volume =
[46]

The Journal of Geometric Analysis , volume =

Robert Young , title =. The Journal of Geometric Analysis , volume =
[47]

Groups, Geometry and Dynamics (EMS) , volume =

Robert Young , title =. Groups, Geometry and Dynamics (EMS) , volume =
[48]

, publisher =

, title =. , publisher =
[49]

, volume =

, title =. , volume =