Stokes' theorem on positively graded groups

Francesca Tripaldi; Valentino Magnani

arxiv: 2605.23594 · v1 · pith:SGVEWZIDnew · submitted 2026-05-22 · 🧮 math.DG · math.MG

Stokes' theorem on positively graded groups

Valentino Magnani , Francesca Tripaldi This is my paper

Pith reviewed 2026-05-25 02:59 UTC · model grok-4.3

classification 🧮 math.DG math.MG

keywords Stokes theorempositively graded groupsCarnot groupsRumin complexspectral complexesintrinsic graphsde Rham complexcurrents

0 comments

The pith

Stokes formulae on adapted complexes in positively graded Lie groups depend only on the degree of the underlying submanifolds.

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

The paper shows that under geometric conditions adapted to homogeneous weights, Stokes-type integration formulae hold for the Rumin complex and for new spectral complexes built from the de Rham complex on positively graded Lie groups such as Carnot groups. The formulae turn out to be controlled entirely by the degree of the submanifolds rather than by additional geometric data. This recovers the classical Stokes theorem on locally smooth intrinsic graphs and re-expresses both complexes via the Leibniz rule plus integration over R-manifolds or spectral manifolds. A reader would care because the result supplies a degree-based calculus that works in geometries where ordinary differential forms and submanifolds do not behave as in Euclidean space.

Core claim

The corresponding Stokes formulae are governed entirely by the degree of the underlying submanifolds. In particular the spectral complexes recover the validity of Stokes theorem on locally smooth intrinsic graphs. Both the Rumin complex and the spectral complexes can be read directly from the classical de Rham complex through the Leibniz rule and integration over R-manifolds and spectral manifolds respectively. The paper also proposes a notion of current adapted to these subcomplexes.

What carries the argument

Spectral complexes associated with the homogeneous weight filtration of the de Rham complex, which reduce Stokes formulae to degree alone via integration over spectral manifolds.

If this is right

Stokes theorem holds on locally smooth intrinsic graphs via the spectral complexes.
Both the Rumin and spectral complexes admit direct interpretations inside the classical de Rham complex.
A new notion of current adapted to the subcomplexes is available for integration.
The validity of the formulae is independent of further geometric data beyond submanifold degree.

Where Pith is reading between the lines

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

The degree-governed approach may simplify boundary-value problems in sub-Riemannian settings where standard Stokes fails.
The proposed currents could be tested for compactness properties on compactly supported forms in graded groups.
The same weight-filtration construction might extend to other filtered manifolds once the R-manifold condition is suitably generalized.

Load-bearing premise

Integration must occur over R-manifolds or spectral manifolds whose definitions are adapted to the homogeneous weight filtration.

What would settle it

Exhibit a locally smooth intrinsic graph in a Carnot group on which the spectral-complex Stokes formula fails while the degree condition holds.

read the original abstract

This paper studies the validity of Stokes' theorem for differential subcomplexes naturally adapted to the noncommutative geometry of positively graded Lie groups, with particular emphasis on Carnot groups. We introduce geometric conditions under which Stokes-type formulae hold for the Rumin complex and for a new family of spectral complexes associated with the homogeneous weight filtration of the de Rham complex. In particular, the spectral complexes allow us to recover the validity of Stokes' theorem on locally smooth intrinsic graphs. This is achieved by showing that the corresponding Stokes' formulae are governed entirely by the degree of the underlying submanifolds. Our approach also reveals that both the Rumin complex and the spectral complexes can be interpreted directly in terms of the classical de Rham complex through the Leibniz rule and integration over suitable classes of submanifolds, namely R-manifolds and spectral manifolds, respectively. Finally, motivated by this interaction between homogeneous weights and degrees of submanifolds, we propose a notion of current naturally adapted to these subcomplexes.

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

The paper defines spectral complexes from the weight filtration on graded groups and shows Stokes reduces to submanifold degree alone.

read the letter

This paper introduces spectral complexes tied to the homogeneous weight filtration on positively graded Lie groups and claims that the Stokes formulae for the Rumin complex and these new complexes are governed entirely by the degree of the submanifolds. In particular, this allows recovery of Stokes' theorem on locally smooth intrinsic graphs. The construction is new in linking the complexes to the filtration and using the Leibniz rule to interpret them in terms of the classical de Rham complex. Integration over the defined R-manifolds and spectral manifolds supports this, and the final proposal of adapted currents follows from the same weight and degree considerations. The paper does well in keeping the approach free of additional assumptions on the grading. One soft spot is that the precise geometric conditions for the validity on intrinsic graphs may need careful examination to see how general they are in practice. That said, the argument structure shows no internal inconsistency or circularity, and the reduction to degree alone appears solid based on the described methods. The paper is aimed at researchers in differential geometry on Carnot groups and stratified spaces. It would be of interest to those extending analysis tools to sub-Riemannian settings or working with hypoelliptic operators. A reader familiar with prior work on the Rumin complex would get the most from the new spectral family and the degree principle. The work shows clear thinking and honest engagement with the literature. It deserves serious referee attention because the results are explicitly constructed and the central claim is a useful technical advance. I recommend that an editor send this to peer review.

Referee Report

0 major / 2 minor

Summary. The paper studies the validity of Stokes' theorem for differential subcomplexes naturally adapted to the noncommutative geometry of positively graded Lie groups, with emphasis on Carnot groups. It introduces geometric conditions under which Stokes-type formulae hold for the Rumin complex and for new spectral complexes associated with the homogeneous weight filtration of the de Rham complex. The central claim is that the corresponding Stokes' formulae are governed entirely by the degree of the underlying submanifolds, allowing recovery of the validity of Stokes' theorem on locally smooth intrinsic graphs. The approach interprets both complexes directly in terms of the classical de Rham complex via the Leibniz rule and integration over R-manifolds and spectral manifolds, and proposes a notion of current adapted to these subcomplexes.

Significance. If the derivations hold, the work extends Stokes' theorem to positively graded groups in a manner that recovers classical de Rham behavior through degree-dependent formulae and explicit integration rules. The introduction of spectral complexes and the proposal of adapted currents represent creative contributions that could impact sub-Riemannian geometry and geometric measure theory on Carnot groups. The parameter-free character (dependence only on degree) and the link to intrinsic graphs are notable strengths.

minor comments (2)

The abstract refers to 'R-manifolds' and 'spectral manifolds' whose precise definitions and adaptation to the homogeneous weight filtration are central; these should be introduced with explicit examples in an early section to support the geometric conditions claimed.
Verification of the claim that formulae depend only on degree requires checking the integration rules and Leibniz-rule interpretations against the filtration; without the full derivations, this cannot be confirmed.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the significance of our work and for recognizing the creative contributions of the spectral complexes and adapted currents. The recommendation is listed as uncertain, but no specific major comments were provided in the report. We address this below and remain available for further clarification.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper introduces R-manifolds and spectral manifolds as new classes adapted to the homogeneous weight filtration of the de Rham complex on positively graded groups. It then proves Stokes-type formulae for the Rumin and spectral complexes by explicit appeal to the Leibniz rule and integration over these classes, showing the formulae depend only on submanifold degree. This recovers the classical result on intrinsic graphs as a corollary. No equation or claim reduces a result to its own input by construction, no parameters are fitted and renamed as predictions, and no load-bearing step relies on a self-citation chain. The argument is a direct geometric construction with independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 3 invented entities

Abstract-only; standard differential-geometry background is assumed, while the paper introduces new complexes and manifold classes without external falsifiable evidence.

axioms (2)

standard math The classical de Rham complex satisfies the Leibniz rule and supports integration over submanifolds
Invoked to interpret both Rumin and spectral complexes directly in terms of de Rham.
domain assumption Carnot groups admit a Rumin complex adapted to their stratified structure
Taken as given for the Rumin-complex case.

invented entities (3)

spectral complexes no independent evidence
purpose: New family built from homogeneous weight filtration of de Rham complex
Introduced to obtain Stokes formulae governed solely by degree.
R-manifolds and spectral manifolds no independent evidence
purpose: Special classes of submanifolds over which integration recovers the complexes
Defined to link the new complexes back to classical de Rham.
adapted current no independent evidence
purpose: New notion of current compatible with the subcomplexes
Proposed as a closing construction motivated by the weight-degree interaction.

pith-pipeline@v0.9.0 · 5694 in / 1522 out tokens · 26045 ms · 2026-05-25T02:59:33.541808+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

46 extracted references · 46 canonical work pages

[1]

Gioacchino Antonelli, Daniela Di Donato, Sebastiano Don, and Enrico Le Donne,Characterizations of uniformly dif- ferentiable co-horizontal intrinsic graphs in Carnot groups, Ann. Inst. Fourier (Grenoble)74(2024), no. 6, 2523–2621. MR 4810245

work page 2024
[2]

4, 517–536

Gabriella Arena, Raul Serapioni, et al.,Intrinsic regular submanifolds in Heisenberg groups are differentiable graphs, Calculus of Variations and Partial Differential Equations35(2009), no. 4, 517–536

work page 2009
[3]

Math.223(2010), no

Annalisa Baldi, Bruno Franchi, Nicoletta Tchou, and Maria Carla Tesi,Compensated compactness for differential forms in Carnot groups and applications, Adv. Math.223(2010), no. 5, 1555–1607. MR 2592503

work page 2010
[4]

Giovanni Canarecci,Sub-Riemannian currents and slicing of currents in the Heisenberg groupH n, J. Geom. Anal.31 (2021), no. 5, 5166–5200. MR 4244901

work page 2021
[5]

Corni and Magnani V.,Area of intrinsic graphs in homogeneous groups, arXiv:2311.06638, November 11, 2023

F. Corni and Magnani V.,Area of intrinsic graphs in homogeneous groups, arXiv:2311.06638, November 11, 2023

work page arXiv 2023
[6]

thesis, Universit` a di Bologna, 2021

Francesca Corni,Low codimensional intrinsic regular submanifolds in the heisenberg group≂ n, Ph.D. thesis, Universit` a di Bologna, 2021

work page 2021
[7]

Francesca Corni, Fares Essebei, and Valentino Magnani,A minimal regularity for the area formula in the Engel group, arXiv preprint arXiv:2602.00346 (2026)

work page arXiv 2026
[8]

Francesca Corni and Valentino Magnani,Symmetry results for the area formula in homogeneous groups, J. Math. Anal. Appl.546(2025), no. 2, Paper No. 129238, 17. MR 4853462

work page 2025
[9]

Jacek Cygan,Subadditivity of homogeneous norms on certain nilpotent Lie groups, Proc. Amer. Math. Soc.83(1981), no. 1, 69–70. MR 619983

work page 1981
[10]

Daniela Di Donato,Intrinsic differentiability and intrinsic regular surfaces in Carnot groups, Potential Anal.54(2021), no. 1, 1–39. MR 4194533

work page 2021
[11]

Marco Di Marco, Antoine Julia, Sebastiano Nicolussi Golo, and Davide Vittone,Submanifolds with boundary and Stokes’ theorem in Heisenberg groups, Trans. Amer. Math. Soc.378(2025), no. 7, 4955–4990. MR 4919585

work page 2025
[12]

Band 153, Springer- Verlag New York, Inc., New York, 1969

Herbert Federer,Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, vol. Band 153, Springer- Verlag New York, Inc., New York, 1969. MR 257325

work page 1969
[13]

Veronique Fischer and Michael Ruzhansky,Quantization on nilpotent lie groups, Springer International Publishing, Cham, 2016

work page 2016
[14]

Math.429(2023), Paper No

V´ eronique Fischer and Francesca Tripaldi,An alternative construction of the Rumin complex on homogeneous nilpotent Lie groups, Adv. Math.429(2023), Paper No. 109192, 39. MR 4613357

work page 2023
[15]

Bruno Franchi, Marco Marchi, and Raul Paolo Serapioni,Differentiability and approximate differentiability for intrinsic Lipschitz functions in Carnot groups and a Rademacher theorem, Anal. Geom. Metr. Spaces2(2014), 258–281. MR 3290378

work page 2014
[16]

Bruno Franchi and Pierre Pansu,Currents in Heisenberg groups, arXiv preprint arXiv:2511.18895 (2025). 43

work page arXiv 2025
[17]

Ann.321(2001), no

Bruno Franchi, Raul Serapioni, and Francesco Serra Cassano,Rectifiability and perimeter in the Heisenberg group, Math. Ann.321(2001), no. 3, 479–531. MR 1871966 (2003g:49062)

work page 2001
[18]

,On the structure of finite perimeter sets in step 2 Carnot groups, J. Geom. Anal.13(2003), no. 3, 421–466. MR 1984849 (2004i:49085)

work page 2003
[19]

Math.211(2007), no

,Regular submanifolds, graphs and area formula in Heisenberg groups, Adv. Math.211(2007), no. 1, 152–203. MR 2313532

work page 2007
[20]

Bruno Franchi and Raul Paolo Serapioni,Intrinsic Lipschitz graphs within Carnot groups, J. Geom. Anal.26(2016), no. 3, 1946–1994

work page 2016
[21]

01, 67–99

Bruno Franchi, Nicoletta Tchou, and Maria Carla Tesi,Div–curl type theorem, h-convergence and stokes formula in the Heisenberg group, Communications in Contemporary Mathematics08(2006), no. 01, 67–99

work page 2006
[22]

Bruno Franchi and Maria Carla Tesi,Wave and Maxwell’s equations in Carnot groups, Commun. Contemp. Math.14 (2012), no. 5, 1250032, 62

work page 2012
[23]

Rumin: an Introduction, Quaderni dell’Unione Matematica Italiana, Topics in mathematics, Bologna, Pitagora (2015), 75–122

Bruno Franchi and Francesca Tripaldi,Differential Forms in Carnot Groups After M. Rumin: an Introduction, Quaderni dell’Unione Matematica Italiana, Topics in mathematics, Bologna, Pitagora (2015), 75–122

work page 2015
[24]

2, 383–412

Eero Hakavuori, Ville Kivioja, Terhi Moisala, and Francesca Tripaldi,Gradings for nilpotent Lie algebras, Journal of Lie Theory32(2022), no. 2, 383–412

work page 2022
[25]

3, 231–236

Waldemar Hebisch and Adam Sikora,A smooth subadditive homogeneous norm on a homogeneous group, Studia Math.96 (1990), no. 3, 231–236. MR 1067309

work page 1990
[26]

Antoine Julia, Sebastiano Nicolussi Golo, and Davide Vittone,Lipschitz functions on submanifolds of Heisenberg groups, Int. Math. Res. Not. IMRN (2023), no. 9, 7399–7422. MR 4584704

work page 2023
[27]

Antoine Julia and Pierre Pansu,Flat compactness of normal currents, and charges in Carnot groups, arXiv preprint arXiv:2303.02012 (2023)

work page arXiv 2023
[28]

Enrico Le Donne,Metric Lie groups: Carnot-Carath´ eodory Spaces from the Homogeneous Viewpoint, Springer Nature Switzerland, Cham, 2025

work page 2025
[29]

1, 155–289

Enrico Le Donne and Francesca Tripaldi,A Cornucopia of Carnot groups in low dimensions, Analysis and Geometry in Metric Spaces10(2022), no. 1, 155–289

work page 2022
[30]

2, 528–535

Muriel Livernet, Sarah Whitehouse, and Stephanie Ziegenhagen,On the spectral sequence associated to a multicomplex, Journal of Pure and Applied Algebra224(2020), no. 2, 528–535

work page 2020
[31]

Filippa Lo Biundo,Distributional spectral complexes and biLipschitz invariance, in preparation

work page
[32]

Valentino Magnani,Blow-up of regular submanifolds in Heisenberg groups and applications, Cent. Eur. J. Math.4(2006), no. 1, 82–109. MR 2213028

work page 2006
[33]

,Non-horizontal submanifolds and coarea formula, J. Anal. Math.106(2008), 95–127. MR 2448983

work page 2008
[34]

,Towards differential calculus in stratified groups, J. Aust. Math. Soc.95(2013), no. 1, 76–128

work page 2013
[35]

,Towards a theory of area in homogeneous groups, Calc. Var. Partial Differential Equations58(2019), no. 3, 58:91. MR 3947860

work page 2019
[36]

,Rotational symmetries and spherical measure in homogeneous groups, J. Geom. Anal.32(2022), no. 4, Paper No. 119, 31. MR 4375063

work page 2022
[37]

Reine Angew

Valentino Magnani and Davide Vittone,An intrinsic measure for submanifolds in stratified groups, J. Reine Angew. Math. 619(2008), 203–232 (English)

work page 2008
[38]

Marco Di Marco and Davide Vittone,Submanifolds with boundary in sub-Riemannian Heisenberg groups, (2025)

work page 2025
[39]

58, Cambridge University Press, 2001

John McCleary,A user’s guide to spectral sequences, no. 58, Cambridge University Press, 2001

work page 2001
[40]

91, American Mathe- matical Soc., 2002

Richard Montgomery,A Tour of Subriemannian Geometries, Their Geodesics and Applications, no. 91, American Mathe- matical Soc., 2002

work page 2002
[41]

Frank Morgan,Geometric measure theory, fifth ed., Elsevier/Academic Press, Amsterdam, 2016, A beginner’s guide, Illustrated by James F. Bredt. MR 3497381

work page 2016
[42]

11, 985–990

Michel Rumin,Differential geometry on CC spaces and application to the Novikov-Shubin numbers of nilpotent Lie groups, Comptes Rendus de l’Acad´ emie des Sciences-Series I-Mathematics329(1999), no. 11, 985–990

work page 1999
[43]

19, Ann´ ee 2000–2001, S´ emin

,Around heat decay on forms and relations of nilpotent Lie groups, S´ eminaire de Th´ eorie Spectrale et G´ eom´ etrie, Vol. 19, Ann´ ee 2000–2001, S´ emin. Th´ eor. Spectr. G´ eom., vol. 19, Univ. Grenoble I, 2001, pp. 123–164. MR MR1909080 (2003f:58062)

work page 2000
[44]

,An introduction to spectral and differential geometry in Carnot-Carath´ eodory spaces, Rend. Circ. Mat. Palermo (2) Suppl.75(2005), 139–196. MR MR2152359 (2006g:58053)

work page 2005
[45]

Francesca Tripaldi,Spectral complexes from truncated multicomplexes, arXiv preprint, arXiv:2602.01214 (2026)

work page arXiv 2026
[46]

Sigma10(2022), Paper No

Davide Vittone,Lipschitz graphs and currents in Heisenberg groups, Forum Math. Sigma10(2022), Paper No. e6, 104. MR 4377000 (V. Magnani)Dipartimento di Matematica, Universit `a di Pisa, Largo Bruno Pontecorvo 5, 56127, Pisa, Italy Email address:valentino.magnani@unipi.it (F. Tripaldi)Department of Pure Mathematics, University of Leeds, Woodhouse, LS2 9JT ...

work page 2022

[1] [1]

Gioacchino Antonelli, Daniela Di Donato, Sebastiano Don, and Enrico Le Donne,Characterizations of uniformly dif- ferentiable co-horizontal intrinsic graphs in Carnot groups, Ann. Inst. Fourier (Grenoble)74(2024), no. 6, 2523–2621. MR 4810245

work page 2024

[2] [2]

4, 517–536

Gabriella Arena, Raul Serapioni, et al.,Intrinsic regular submanifolds in Heisenberg groups are differentiable graphs, Calculus of Variations and Partial Differential Equations35(2009), no. 4, 517–536

work page 2009

[3] [3]

Math.223(2010), no

Annalisa Baldi, Bruno Franchi, Nicoletta Tchou, and Maria Carla Tesi,Compensated compactness for differential forms in Carnot groups and applications, Adv. Math.223(2010), no. 5, 1555–1607. MR 2592503

work page 2010

[4] [4]

Giovanni Canarecci,Sub-Riemannian currents and slicing of currents in the Heisenberg groupH n, J. Geom. Anal.31 (2021), no. 5, 5166–5200. MR 4244901

work page 2021

[5] [5]

Corni and Magnani V.,Area of intrinsic graphs in homogeneous groups, arXiv:2311.06638, November 11, 2023

F. Corni and Magnani V.,Area of intrinsic graphs in homogeneous groups, arXiv:2311.06638, November 11, 2023

work page arXiv 2023

[6] [6]

thesis, Universit` a di Bologna, 2021

Francesca Corni,Low codimensional intrinsic regular submanifolds in the heisenberg group≂ n, Ph.D. thesis, Universit` a di Bologna, 2021

work page 2021

[7] [7]

Francesca Corni, Fares Essebei, and Valentino Magnani,A minimal regularity for the area formula in the Engel group, arXiv preprint arXiv:2602.00346 (2026)

work page arXiv 2026

[8] [8]

Francesca Corni and Valentino Magnani,Symmetry results for the area formula in homogeneous groups, J. Math. Anal. Appl.546(2025), no. 2, Paper No. 129238, 17. MR 4853462

work page 2025

[9] [9]

Jacek Cygan,Subadditivity of homogeneous norms on certain nilpotent Lie groups, Proc. Amer. Math. Soc.83(1981), no. 1, 69–70. MR 619983

work page 1981

[10] [10]

Daniela Di Donato,Intrinsic differentiability and intrinsic regular surfaces in Carnot groups, Potential Anal.54(2021), no. 1, 1–39. MR 4194533

work page 2021

[11] [11]

Marco Di Marco, Antoine Julia, Sebastiano Nicolussi Golo, and Davide Vittone,Submanifolds with boundary and Stokes’ theorem in Heisenberg groups, Trans. Amer. Math. Soc.378(2025), no. 7, 4955–4990. MR 4919585

work page 2025

[12] [12]

Band 153, Springer- Verlag New York, Inc., New York, 1969

Herbert Federer,Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, vol. Band 153, Springer- Verlag New York, Inc., New York, 1969. MR 257325

work page 1969

[13] [13]

Veronique Fischer and Michael Ruzhansky,Quantization on nilpotent lie groups, Springer International Publishing, Cham, 2016

work page 2016

[14] [14]

Math.429(2023), Paper No

V´ eronique Fischer and Francesca Tripaldi,An alternative construction of the Rumin complex on homogeneous nilpotent Lie groups, Adv. Math.429(2023), Paper No. 109192, 39. MR 4613357

work page 2023

[15] [15]

Bruno Franchi, Marco Marchi, and Raul Paolo Serapioni,Differentiability and approximate differentiability for intrinsic Lipschitz functions in Carnot groups and a Rademacher theorem, Anal. Geom. Metr. Spaces2(2014), 258–281. MR 3290378

work page 2014

[16] [16]

Bruno Franchi and Pierre Pansu,Currents in Heisenberg groups, arXiv preprint arXiv:2511.18895 (2025). 43

work page arXiv 2025

[17] [17]

Ann.321(2001), no

Bruno Franchi, Raul Serapioni, and Francesco Serra Cassano,Rectifiability and perimeter in the Heisenberg group, Math. Ann.321(2001), no. 3, 479–531. MR 1871966 (2003g:49062)

work page 2001

[18] [18]

,On the structure of finite perimeter sets in step 2 Carnot groups, J. Geom. Anal.13(2003), no. 3, 421–466. MR 1984849 (2004i:49085)

work page 2003

[19] [19]

Math.211(2007), no

,Regular submanifolds, graphs and area formula in Heisenberg groups, Adv. Math.211(2007), no. 1, 152–203. MR 2313532

work page 2007

[20] [20]

Bruno Franchi and Raul Paolo Serapioni,Intrinsic Lipschitz graphs within Carnot groups, J. Geom. Anal.26(2016), no. 3, 1946–1994

work page 2016

[21] [21]

01, 67–99

Bruno Franchi, Nicoletta Tchou, and Maria Carla Tesi,Div–curl type theorem, h-convergence and stokes formula in the Heisenberg group, Communications in Contemporary Mathematics08(2006), no. 01, 67–99

work page 2006

[22] [22]

Bruno Franchi and Maria Carla Tesi,Wave and Maxwell’s equations in Carnot groups, Commun. Contemp. Math.14 (2012), no. 5, 1250032, 62

work page 2012

[23] [23]

Rumin: an Introduction, Quaderni dell’Unione Matematica Italiana, Topics in mathematics, Bologna, Pitagora (2015), 75–122

Bruno Franchi and Francesca Tripaldi,Differential Forms in Carnot Groups After M. Rumin: an Introduction, Quaderni dell’Unione Matematica Italiana, Topics in mathematics, Bologna, Pitagora (2015), 75–122

work page 2015

[24] [24]

2, 383–412

Eero Hakavuori, Ville Kivioja, Terhi Moisala, and Francesca Tripaldi,Gradings for nilpotent Lie algebras, Journal of Lie Theory32(2022), no. 2, 383–412

work page 2022

[25] [25]

3, 231–236

Waldemar Hebisch and Adam Sikora,A smooth subadditive homogeneous norm on a homogeneous group, Studia Math.96 (1990), no. 3, 231–236. MR 1067309

work page 1990

[26] [26]

Antoine Julia, Sebastiano Nicolussi Golo, and Davide Vittone,Lipschitz functions on submanifolds of Heisenberg groups, Int. Math. Res. Not. IMRN (2023), no. 9, 7399–7422. MR 4584704

work page 2023

[27] [27]

Antoine Julia and Pierre Pansu,Flat compactness of normal currents, and charges in Carnot groups, arXiv preprint arXiv:2303.02012 (2023)

work page arXiv 2023

[28] [28]

Enrico Le Donne,Metric Lie groups: Carnot-Carath´ eodory Spaces from the Homogeneous Viewpoint, Springer Nature Switzerland, Cham, 2025

work page 2025

[29] [29]

1, 155–289

Enrico Le Donne and Francesca Tripaldi,A Cornucopia of Carnot groups in low dimensions, Analysis and Geometry in Metric Spaces10(2022), no. 1, 155–289

work page 2022

[30] [30]

2, 528–535

Muriel Livernet, Sarah Whitehouse, and Stephanie Ziegenhagen,On the spectral sequence associated to a multicomplex, Journal of Pure and Applied Algebra224(2020), no. 2, 528–535

work page 2020

[31] [31]

Filippa Lo Biundo,Distributional spectral complexes and biLipschitz invariance, in preparation

work page

[32] [32]

Valentino Magnani,Blow-up of regular submanifolds in Heisenberg groups and applications, Cent. Eur. J. Math.4(2006), no. 1, 82–109. MR 2213028

work page 2006

[33] [33]

,Non-horizontal submanifolds and coarea formula, J. Anal. Math.106(2008), 95–127. MR 2448983

work page 2008

[34] [34]

,Towards differential calculus in stratified groups, J. Aust. Math. Soc.95(2013), no. 1, 76–128

work page 2013

[35] [35]

,Towards a theory of area in homogeneous groups, Calc. Var. Partial Differential Equations58(2019), no. 3, 58:91. MR 3947860

work page 2019

[36] [36]

,Rotational symmetries and spherical measure in homogeneous groups, J. Geom. Anal.32(2022), no. 4, Paper No. 119, 31. MR 4375063

work page 2022

[37] [37]

Reine Angew

Valentino Magnani and Davide Vittone,An intrinsic measure for submanifolds in stratified groups, J. Reine Angew. Math. 619(2008), 203–232 (English)

work page 2008

[38] [38]

Marco Di Marco and Davide Vittone,Submanifolds with boundary in sub-Riemannian Heisenberg groups, (2025)

work page 2025

[39] [39]

58, Cambridge University Press, 2001

John McCleary,A user’s guide to spectral sequences, no. 58, Cambridge University Press, 2001

work page 2001

[40] [40]

91, American Mathe- matical Soc., 2002

Richard Montgomery,A Tour of Subriemannian Geometries, Their Geodesics and Applications, no. 91, American Mathe- matical Soc., 2002

work page 2002

[41] [41]

Frank Morgan,Geometric measure theory, fifth ed., Elsevier/Academic Press, Amsterdam, 2016, A beginner’s guide, Illustrated by James F. Bredt. MR 3497381

work page 2016

[42] [42]

11, 985–990

Michel Rumin,Differential geometry on CC spaces and application to the Novikov-Shubin numbers of nilpotent Lie groups, Comptes Rendus de l’Acad´ emie des Sciences-Series I-Mathematics329(1999), no. 11, 985–990

work page 1999

[43] [43]

19, Ann´ ee 2000–2001, S´ emin

,Around heat decay on forms and relations of nilpotent Lie groups, S´ eminaire de Th´ eorie Spectrale et G´ eom´ etrie, Vol. 19, Ann´ ee 2000–2001, S´ emin. Th´ eor. Spectr. G´ eom., vol. 19, Univ. Grenoble I, 2001, pp. 123–164. MR MR1909080 (2003f:58062)

work page 2000

[44] [44]

,An introduction to spectral and differential geometry in Carnot-Carath´ eodory spaces, Rend. Circ. Mat. Palermo (2) Suppl.75(2005), 139–196. MR MR2152359 (2006g:58053)

work page 2005

[45] [45]

Francesca Tripaldi,Spectral complexes from truncated multicomplexes, arXiv preprint, arXiv:2602.01214 (2026)

work page arXiv 2026

[46] [46]

Sigma10(2022), Paper No

Davide Vittone,Lipschitz graphs and currents in Heisenberg groups, Forum Math. Sigma10(2022), Paper No. e6, 104. MR 4377000 (V. Magnani)Dipartimento di Matematica, Universit `a di Pisa, Largo Bruno Pontecorvo 5, 56127, Pisa, Italy Email address:valentino.magnani@unipi.it (F. Tripaldi)Department of Pure Mathematics, University of Leeds, Woodhouse, LS2 9JT ...

work page 2022