Multicomplexes on Carnot Groups and Their Associated Spectral Sequence

The aim of this paper is to give a thorough insight into the relationship between the Rumin complex on Carnot groups and the spectral sequence obtained from the filtration on forms by homogeneous weights that computes the de Rham cohomology of the underlying group.


Introduction
Within the context of Carnot groups, an important algebraic construction that has had many different applications is that of the Rumin complex. Often denoted by (E * 0 , d c ), this is a subcomplex of the de Rham complex ( * , d) of the underlying Carnot group G which was developed as a more intrinsic choice than the entire de Rham complex on Carnot groups.
In an intrinsic construction, one would in fact expect the stratification of the Lie algebra (see Definitions 3.3,3.4) to play a significant role. Via such a stratification and the relative homogeneous group dilations, it is possible to introduce a concept of weights of forms. In other words, the stratified structure of the underlying Carnot group reflects on the space of smooth forms * and it can be expressed in terms of their weights. It is important to notice that by taking into consideration the whole de Rham complex ( * , d), the extra structure given by the stratification is entirely missed, Mathematisches Institut, University of Bern, Sidlerstrasse 5, 3012 Bern, Switzerland since all possible forms are considered. In this setting, the exterior differential d can be described as a left-invariant differential operator acting on * whose components have various homogeneous orders for the Heisenberg calculus (see Lemma 3.10 for a more precise formulation of this statement). This fact represents an obstacle towards the creation of a theory of (hypo)elliptic operators on forms on Carnot groups. Indeed, the notion of hypoellipticity for left-invariant differential operators on nilpotent Lie groups relies on the Rockland condition of their principal symbols, i.e. the component of the differential operator of highest Heisenberg order [2]. Since in the case of the exterior differential the Rockland condition is strongly linked to the de Rham cohomology of the underlying manifold, it is desirable to have a refinement of the de Rham complex on Carnot groups which is strongly linked to the Rockland condition [1].
The Rumin complex (E * 0 , d c ) was introduced as a way to obviate this issue by constructing an appropriate subcomplex that would only include a limited amount of forms. The specific choice of which forms to use is then dictated by the the stratification of the Lie algebra. This construction was particularly successful in the case of Heisenberg groups H 2n+1 . In [6,7], a complex on H 2n+1 was first defined via the following two differential ideals: -I * = {γ 1 ∧ θ + γ 2 ∧ dθ | γ 1 , γ 2 ∈ * }, the differential ideal generated by the contact form θ , and -J * = {β ∈ * | β ∧ θ = β ∧ dθ = 0}, the annihilator of I * .
By simply using the properties of the Lefschetz operator L given by the wedge product with the Kähler form dθ over K er θ , one can show that k /I k = 0 for k ≥ n + 1 and J k = 0 for k ≤ n, (1) so that the two subcomplexes ( * /I * , d Q ) and (J * , d Q ) are non-trivial in complementary degrees. Here d Q denotes the exterior differential d that descends to the quotients * /I * , and restricts to the subspaces J * respectively. Again, by exploiting the properties of the Lefschetz operator L, it is also possible to construct a second order differential operator, which Rumin denotes as D, that links the two previous subcomplexes. We then obtain a new complex of intrinsic forms that computes the de Rham cohomology of the group H 2n+1 : Since these differential ideals create a filtration on smooth forms 0 ⊂ J * ⊂ I * ⊂ * which is stable under d, one can apply the machinery of spectral sequences, which computes far more information than just the cohomology of the de Rham complex ( * , d). In [4], Julg studies precisely this construction over the Heisenberg group H 2n+1 and the 7-dimensional quaternionic Heisenberg group. It should be noted that in the latter case, the filtration by differential ideals J * l+1 ⊂ I * l ⊂ J * l is slightly more complicated, since there are three different contact 1-forms. In both groups, the 0 th -page quotients of the form J * l /I * l = E l, * 0 coincide with the spaces of intrinsic forms. Moreover, in the case of H 2n+1 , the non-trivial differentials ∂ 0 acting on the 0 th -page quotients k /I k for k ≤ n and J k for k ≥ n + 1 (see (1)) coincide with the first order differential operators d Q . Moreover, the only non-trivial differential ∂ 2 on the second page quotients in degree n coincides with the second order differential operator D in the complex (2). Even though on H 2n+1 there is a clear correspondence between the Rumin differentials d Q and D, and the differentials ∂ 0 and ∂ 2 of the spectral sequence associated to the filtration 0 ⊂ J * ⊂ I * ⊂ * , the same is not true already on the 7-dimensional quaternionic Heisenberg group. The biggest obstacle in this slightly more general case is the complication of having to deal with multiple non-trivial differentials ∂ r on corresponding quotients over different pages. For example, in the case of the 7-dimensional quaternionic Heisenberg group, already on 1-forms one has that both the operators ∂ 0 on E 0,1 0 = J 1 0 /I 1 0 and ∂ 2 on E 0,1 2 are non-trivial. In [9], Rumin generalises the construction of this subcomplex of intrinsic forms from Heisenberg groups to arbitrary Carnot groups G. The subspace of intrinsic Rumin forms E * 0 is now defined in terms of d 0 , the algebraic part of the exterior differential d, which coincides with the Chevalley-Eilenberg differential on forms. The notation d 0 is chosen to emphasise that this operator does not increase the weight of the form it acts on, i.e. given a differential form α of weight p, the weight of d 0 α is still p (assuming d 0 α = 0). Since d 0 • d 0 = 0, it is possible to consider the cohomology of the complex ( * , d 0 ). Once a metric on G is introduced, one can define the subspace E * 0 = K er d 0 ∩ I m d 0 ⊥ ⊂ * of Rumin forms. After defining the homotopical equivalence E between ( * , d) and a second subcomplex (E * , d), and the orthogonal projection The crucial point in this construction is the introduction of the operator d −1 0 , the inverse map of d 0 , which can only be defined once we have a metric on G.
We have therefore obtained an exact subcomplex (E * 0 , d c ) which is better adapted to the stratification of the Carnot group considered, and which computes the de Rham cohomology of the underlying manifold. Even though some connections between the Rumin complex and spectral sequences can easily be drawn, it is difficult to identify an abstract algebraic framework within which one should consider the Rumin complex in order to obtain a deeper understanding into the geometric intuition behind this construction.
By considering homogeneous weights on forms, it is possible to construct a decreasing filtration over * by the spaces F p of forms of weight ≥ p where T is the homogeneous dimension of the Carnot group G. It is easy to check that (3) is also stable under the action of the exterior differential d, i.e. d(F p ) ⊂ F p . It is then possible to consider its associated spectral sequence to compute the de Rham cohomology ( * , d) of the underlying Carnot group. Firstly, the first page quotients E p, * 1 coincide with the Rumin forms E * 0 (once we consider them as quotients K er d 0 /I m d 0 ). Moreover, Rumin points out that in some very special cases (for example on Heisenberg groups) the Rumin differential d c coincides with a differential in the weight spectral sequence (we refer to [10,11] for the precise statement).
In this paper, we extend the study of the relationship between the Rumin differentials d c and the differentials in the weight spectral sequence to full generality. More precisely, we prove the following result (Theorem 1.1). Theorem 1.1 Given an arbitrary Carnot group G, once a metric is fixed, the differential part of the Rumin differentials d c coincides with the sum of the differentials ∂ r that appear in the multicomplex spectral sequence generated by considering the filtration (3) by weights over the space of smooth forms.
We are able to prove this result by considering the weight filtration (3) within the context of multicomplexes. In Sect. 3, we show how the de Rham complex ( * , d) on an arbitrary Carnot group G is a multicomplex and the filtration given by its associated total complex is indeed the filtration by weights. We can then use the work of Livernet, Whitehouse and Ziegenhagen [5], where they present the formulae of the differentials ∂ r for r ≥ 1 for this spectral sequence. By comparing the explicit expressions of the ∂ r with the Rumin differentials d c , we are able to show in Sect. 4 that, morally, the Rumin differentials d c coincide with the sum r ≥1 ∂ r of all the differentials ∂ r that appear in the weight spectral sequence. It is important to notice that in the case of the Rumin complex (E * 0 , d c ), we are considering subspaces E * 0 = K er d 0 ∩ (I m d 0 ) ⊥ , and not quotients, and this is the central point where the introduction of a metric on G (or equivalently the definition of d −1 0 ) becomes necessary. It is therefore possible to view the Rumin complex within the more abstract framework of spectral sequences. Clearly, because of the filtration, the spectral sequence computes the cohomology of G, which can also be done by other simpler means. However, this is an algebraic machinery which also produces additional information on the structure of forms and their cohomology (for example, as pointed out in Sect. 4, at step 1 we obtain the Lie algebra cohomology of G with coefficients in C ∞ (G)). Morally, the idea behind the spectral sequence construction is to compute the de Rham cohomology of the underlying Carnot group by taking progressively smaller subcomplexes, whereas in the Rumin complex we consider all of these subcomplexes at the same time as acting on the first page of the spectral sequence.

The Spectral Sequence Associated to a Multicomplex
In this section we will present the construction of the spectral sequence associated to a multicomplex. In particular, we are interested in the explicit formulation of the differentials ∂ r that appear at the r th-step of this spectral sequence. This discussion follows the one produced in [5], but with a slight modification in order to adapt the construction to the more mainstream approach adopted when discussing differential forms on Carnot groups. Indeed, in our paper we will be considering multicomplexes with differential maps d i : that are more commonly studied in homology theory.

Definition 2.1 A multicomplex (also called a twisted chain complex) is a
For C a multicomplex and (a, b) ∈ Z × Z, we write C a,b for the k-module in bidegree (a, b).
If the maps d i : C → C all vanish for i ≥ 1, we obtain a chain complex with an additional grading. Instead in the case where d i = 0 for i ≥ 2, we retrieve the usual notion of a bicomplex.
Given a multicomplex C, one could consider a priori different possible total complexes, however as already discussed in [5], we will focus on the following choice for the total complex.

Definition 2.2
For a multicomplex C, its associated total complex Tot C is the chain complex with The differential on Tot C is given for an arbitrary element c ∈ (Tot C) h by: Here (c) a denotes the projection of c ∈ (Tot C) h to C a, * = b,a+b=h C a,b .
In general, when working with (Tot C) h , it is not always possible to consider the direct product total complex a+b=h C a,b in degree h, as the formula (5) may involve infinite sums. However in this paper, we will apply this construction of the total complex Tot C to the space of differential forms on Carnot groups. As we will see, in this case the range for a, which will be referred to as weights, is finite and takes integer values between 0 and the Hausdorff dimension Q of the Carnot group considered. Therefore, in this particular setting the associated total complex takes the simpler form

Definition 2.3
Given a multicomplex C and its associated total complex D := Tot C, we can define for each h the following subcomplexes By definition, as the value of p varies, the subcomplexes F p D form a filtration of Tot C, that is D is a filtered complex.

Remark 2.4 It should be noted that
so that an arbitrary element x ∈ F p D can be written as where u ∈ F p+r D and (x) p+i denotes the projection of x to C p+i, * .
Let us now consider the spectral sequence associated to this filtered complex F p D. For r ≥ 0, the r th-page of the spectral sequence is a bigraded module E p, * r (D) with a map δ r of bidegree (r , 1 − r ) for which δ r • δ r = 0. Moreover, we have that the spaces E p, * r can be expressed as the quotients where the r -cycles are given by and the r -boundaries are given by Expanding on the expressions for Z p, * r (D) and B p, * r (D), one can introduce the following definition. Definition 2.5 Let x ∈ C p, * and let r ≥ 1. We define the graded submodules Z p, * r and B p, * r of C p, * as follows: x ∈ Z p, * r ⇐⇒ for 1 ≤ j ≤ r − 1 there exists z p+ j ∈ C p+ j, * such that, Remark 2. 6 In order to justify the first definition, let us consider an arbitrary element x ∈ C p, * . Then there exists an element x ∈ F p D such that x = (x) p . Moreover, if we consider the expression (8), we will have where ξ p+ j = (x) p+ j for 1 ≤ j ≤ r − 1 and u ∈ F p+r D. We then have that By imposing z p+ j = −ξ p+ j ∈ C p+ j, * we then recover the expression in (9). On the other hand, given an element c ∈ Z and since an element e ∈ Z p+1, * which are exactly the expressions in (10). Proof Let x ∈ B p, * r with c p−k ∈ C p−k, * for 0 ≤ k ≤ r − 1 satisfying equations (10). Define Moreover, for an arbitrary n ∈ N, we have Given an element x ∈ Z p, * r = F p D ∩ d −1 (F p+r D), we have that in particular dx ∈ F p+r D, which means that (dx) n = 0 for 0 ≤ n ≤ r − 1. Therefore It is then sufficient to take z p+n−i = −x p+n−i to see that they satisfy (9) in Definition 2.5 and hence (x) p ∈ Z p, * r . By a similar argument, one can show that ψ is surjective.
Let us now show that ψ is injective. Given x = (x) p + w ∈ K er ψ with w ∈ F p+1 D, then (x) p ∈ B p, * r and hence by (10) where x ∈ Z p, * r , and the elements z p+ j ∈ C p+ j, * satisfy (9) for all 1 ≤ j ≤ r − 1.

Carnot Groups and Their Multicomplexes
In this section we introduce the concept of a stratified group, or Carnot group, and present the main properties induced by its stratification, namely the concept of weights of forms and the decomposition of the exterior differential d in terms of these weights. Finally, we show how these properties can be used to give the de Rham complex ( * , d) the structure of a multicomplex.

Definition 3.1 (The spaces of h-vectors and h-covectors)
We will denote by 1 g * the dual space of a given Lie algebra g, which is the vector space of all linear functionals on the elements of g and its also referred to as the space of 1-covectors.
Given a basis {X 1 , . . . , X n } of g, one can consider its dual basis {θ 1 , . . . , θ n } for which θ i | X j = δ i j for any i, j = 1, . . . , n. Here · | · denotes the duality product, that is the action of the linear functional θ i ∈ 1 g * on the element X j ∈ g. Moreover, one can also introduce an inner product ·, · on 1 g * such that this dual basis {θ 1 , . . . , θ n } is orthonormal. We will denote the exterior algebras of g and 1 g * as * g = n h=0 h g and * g * = n h=0 h g * , are the spaces of h-vectors and h-covectors respectively. In particular, we stress that the inner product defined on 1 g * extends canonically to each h g * , making their bases orthonormal too.
Finally, in order to relate the spaces h g and h g * , we will also consider the following maps * : h g → h g * such that X * | Y = X , Y ∀ Y ∈ h g and * : h g * → h g such that θ * | α = θ, α ∀ α ∈ h g * .
In both cases, we will refer to X * ∈ h g * and θ * ∈ h g * as the dual of X ∈ h g and θ ∈ h g * respectively.

Definition 3.2 (Grading) We say that a Lie algebra g is graded when it admits a vector space decomposition
and all but finitely many of the subspaces V j s are {0}.

Definition 3.3 (Stratification)
We say that a Lie algebra g is stratified when g admits a grading in which the first layer V 1 generates the whole Lie algebra. In other words, every element of g can be written as a linear combination of iterated Lie brackets of various elements of V 1 . In this case, a stratification (or Carnot grading) of step s for the Lie algebra g can be expressed as

Definition 3.4 (Carnot groups)
A stratified or Carnot group G of nilpotency step s is a connected, simply-connected Lie group whose Lie algebra g of dimension n is equipped with a step s stratification.
It should be stressed that in the case of a grading on g, one can define homogeneous dilations δ λ : G → G on the underlying Lie group for any λ > 0. These dilations represent group homomorphisms and can be used to introduce the concept of homogeneous weights on the space of differential forms. Even though such homogeneous weights can be defined for any grading, since we will be exclusively working on Carnot groups G, we will only be considering the homogeneous weights that originate from the stratification of their Lie algebra g.

Definition 3.5 (Weights of covectors)
Given θ ∈ 1 g * , we say that θ has pure weight p if θ * ∈ V p , where V p denotes the p th -layer of the stratification (12) on g. If this is the case, we will write w(θ) = p.
In general, given an h-covector ξ ∈ h g * , we say that ξ as pure weight p and write w(ξ ) = p, if ξ can be expressed as a linear combination of covectors θ i 1 ∧ · · · ∧ θ i h such that w(θ i 1 ) + · · · + w(θ i h ) = p. Definition 3.6 (Metric adapted to the stratification) In the case of a Carnot group, without loss of generality, one can consider an orthonormal basis {X 1 , . . . , X n } which is adapted to the stratification (12), that is In particular, this implies that that the subspaces V i and V j are orthogonal whenever i = j. Moreover, its dual basis {θ 1 , . . . , θ n } with θ i | X j = δ i j , will also be an orthonormal basis of 1 g * which reflects the stratification in terms of weights. In fact, for any j = 1, . . . , m 1 we have w(θ j ) = 1, and given 1 ≤ i ≤ s we have that w(θ k ) = i for any k = m i−1 + 1, . . . , m i . Proposition 3.7 Let us consider ξ, η ∈ h g * two arbitrary h-covectors. If w(ξ ) = w(η), then they are orthogonal, that is ξ, η = 0.
Proof Let us first consider the case of h = 1. Given ξ, η ∈ 1 g * such that w(ξ ) = i and w(η) = j with i = j, then by definition we have ξ * ∈ V i and η * ∈ V j . Therefore, ξ, η = ξ * | η = 0, and indeed, as already mentioned in the previous remark, the subspaces V i and V j are orthogonal.
If h > 1, given ξ, η ∈ h g * with different weights, then without loss of generality one can take ξ = θ i 1 ∧ · · · ∧ θ i h and η = θ j 1 ∧ · · · ∧ θ j h with This means that there is at least an index l ∈ {1, . . . , h} such that w(θ i l ) = w(θ j l ), that is θ * i l ∈ V i and θ * j l ∈ V j belong to different layers and therefore As a consequence, the space h g * of h-covectors can be expressed as a direct sum of subspaces which depend on the weight: Moreover, it should be noted that the nilpotency of the Carnot group G translates into the fact that the range of the possible weights is finite. Given its n-dimensional Lie algebra g, the maximal weight will be attained by the n-covectors, and w(θ 1 ∧ · · · ∧ θ n ) = w(θ 1 ) + · · · + w(θ n ) = Q coincides with the Hausdorff dimension of the underlying Carnot group G. If we assign weight zero to 0-covectors 0 g * = R, then all the possible weights will be contained in the discrete set {0, . . . , Q} ⊂ N.
All the considerations we have made so far for h-covectors can be extended to smooth h-forms, so we can express the space of smooth forms in G as a multicomplex.
In the case of a Lie group G, one can consider the subcomplex of the de Rham complex consisting of the left-invariant differential forms. A left-invariant h-form is uniquely determined by its value at the identity, where it defines a linear map h g → R, by identifying the tangent space at the identity with the Lie algebra g. In other words, we can think of a left-invariant h-form as an element of h g * .
Moreover, in the case of a connected Lie group G, we can identify the tangent space T x G to G at any point x ∈ G with g by means of the isomorphism d L x , where L x denotes the left-translation by x. For θ ∈ h g * and f ∈ C ∞ (G), we can regard x )θ . This then gives rise to an isomorphism where h denotes the space of smooth h-forms.

Definition 3.8 Weights of smooth forms
Given α ∈ 1 , we say that α has pure weight p if and we will write w(α) = p.
In general, given an h-form β ∈ h , we say that β has pure weight p and write w(β) = p, if β can be expressed as a linear combination of h-forms θ j 1 ∧· · ·∧θ j h ⊗ f j for which each θ j 1 ∧ · · · ∧ θ j h has weight p and hence belongs to p,− p+h g * .
For the sake of brevity, from now on we will use the most commonly used notation for an arbitrary smooth h-form α = j f j θ j 1 ∧ · · · ∧ θ j h expressed in terms of a basis of left-invariant forms {θ 1 , . . . , θ n } (for example the one considered in Definition 3.6).

Remark 3.9
The space of smooth forms * inherits the direct sum decomposition of * g * given by the weight. In order to highlight this relationship, we will use the following notation where a,b denotes the space of smooth a + b = h-forms of weight a. Lemma 3.10 Given a Carnot group G of nilpotency step s, the decomposition of differential forms based on weights (13) induces a decomposition of the exterior de Rham differential d which can be easily expressed, for an arbitrary h-form α ∈ p,− p+h of pure weight p, as where each d i denotes the part of d which increases the weight of the form α by i, that is In particular, the operator d 0 is algebraic.
Proof Given an arbitrary h-form of weight p, α = j f j θ h j with θ h j ∈ p,h− p g * , the exterior differential applied to α will have the following expression: By considering the orthonormal basis {X 1 , . . . , X n } of Definition 3.6, we obtain a very explicit expression for the first addend, that is For each i = 1, . . . , s we see that Regarding the second addend, one can easily see that unless dθ h i vanishes, then w(dθ h j ) = w(θ h j ) = p, that is it keeps the weight constant. In the case of Carnot groups, one can prove this by either using the group's dilations [3], or the relationship between the stratification of a Carnot group and the lower central series {g (i) } of its Lie algebra [12]. Indeed, once we fix an orthonormal basis {X 1 , . . . , X n } as in Definition 3.6, we get that, for a left-invariant 1-form θ ∈ 1 g * of pure weight p The same result extends to any left-invariant h-form θ h ∈ h g * by using the Leibniz rule of the exterior differential d.
If we use the notation d 0 to indicate this second addend, we get Proof As already shown in Remark 3.9, each a,b is a C ∞ (G)-module with bidegree (a, b) ∈ Z×Z. Moreover, we have already established the existence of the differential maps d i : * → * of bidegree |d i | = (i, 1 − i) in the previous lemma, so we are then left to show (4) holds. This equality follows directly from the fact that ( * , d) is a complex, that is d 2 α = 0 for any smooth form α ∈ p,− p+h . In fact, is we expand this formula by gathering all the different terms according to their weight we get Furthermore, for each n = 0, . . . , 2s we have i+ j=n d i d j α ∈ p+n,− p−n+h+2 , that is each addend has different weight. Since we know that forms of different weight are orthogonal, this implies that each addend will be zero.
The de Rham complex ( * , d) on a Carnot group G of nilpotency step s and Hausdorff dimension Q is a multicomplex, and therefore we can study its associated total complex Tot for which In particular, we will be interested in the spectral sequence associated to the its filtration defined in (7) which is given by (15) Remark 3.12 As pointed out by the referee, the same statement holds on Carnot-Carathéodory spaces and not just Carnot groups. Namely, its associated finite filtration gives the de Rham complex ( * , d) the structure of a multicomplex, and therefore the explicit expression of the differentials ∂ r (see Theorem 2.9, Remark 4.4 below) can also be obtained in this more general setting. The comparison between this construction and the Rumin complex on Carnot-Carathéodory spaces [8] requires, however, more technical details that will be addressed in a future paper.

The Rumin Differentials as the Differentials of the Spectral Sequence on this Multicomplex
The purpose of this section is to shed light into the relationship between the differential operators that appear in the Rumin complex (E * 0 , d c ) of a Carnot group and the various differentials which appear in the various pages of the spectral sequence obtained from the weight filtration on forms. We will not get into the details of the construction of the subcomplex (E * 0 , d c ), and we will only give a short presentation of its main properties and focus in particular on the explicit formulation of the differentials d c . For a more detailed presentation we refer to Rumin's paper [9] or the expository article [3].
0 is given in Definition 4.2. Moreover, the operator d here is the exterior de Rham differential, and the projection , as well as the differential operator P presented in Definition 4.3.
(E * 0 , d c ) is conjugated to the de Rham complex ( * , d), that is it computes the same cohomology as the de Rham cohomology of the underlying Carnot group G.
The map d 0 in Rumin's construction is exactly the operator defined in (14), i.e. the part of the exterior differential d that does not change the weight of the forms. It is important to stress the fact that d 0 coincides with the action of d on left-invariant forms, which means not only that ( * , d 0 ) is a complex, but also that the quotient K er d 0 /I m d 0 is the Lie algebra cohomology of the Carnot group G with coefficients in C ∞ (G). Moreover, seen within the context of the spectral sequence that originates from considering the filtration by weights (15), these quotients coincide with the quotients E p, * 1 that appear from the multicomplex ( * , d). By Proposition 2.8 and Definition 2.5, we know Within the context of the Rumin complex however, we would like to consider these forms as subspaces of differential forms, and not quotients. In order to achieve this, it is sufficient to introduce a metric on G and consider instead the subspace K er d 0 ∩(I m d 0 ) ⊥ . There are many different ways of defining subspaces of differential forms. For example, one may consider the kernel of a linear map defined over * , such as the de Rham Laplace operator.
The notation E * 0 to denote such subspaces was indeed inspired by the language of spectral sequences, however it may be slightly confusing within this context since each E h 0 corresponds to so that by taking an arbitrary β ∈ h+1 g * with β = 0, there exists a unique α ∈ h g * ∩ (K er d 0 ) ⊥ such that d 0 α = β + ξ , with ξ ∈ (I m d 0 ) ⊥ . Therefore, we can define Just like we did for the operator d 0 in (14), one can extend this operator to the space of all smooth forms h = ( h g * ). It is important to notice that d −1 0 also preserves the weight of the form, so that

Definition 4.3 (The operator P)
The definition of the operator P is based on the following differential operator: where here we are using the splitting of the exterior differential d that was already presented in Lemma 3.10. It is clear that by the nilpotency of the Carnot group G conside, there exists an We then define the differential operator P as follows:

Remark 4.4
Let us point out that once we introduce a metric on G, then for any r ≥ 1, the condition x ∈ Z p, * r of (9) can be rephrased in terms of the operator d −1 0 once we require the elements z p+ j ∈ C p+ j, * to be orthogonal to the K er d 0 .
In other words, given x ∈ Z p, * r , we have that there exist z p+ j ∈ C p+ j, and so on. If we introduce the multi-index notation where I j m = (i 1 , . . . , i m ) ∈ N m + for which |I j m | = i 1 + i 2 + · · · + i m = j, then for any j = 1, . . . , r − 1, we have the expression For example, in the case where j = 4, we would have Remark 4.5 By using the explicit expression (18) of the z p+ j ∈ C p+ j, * ∩ K er d 0 ⊥ in terms of x found in Remark 4.4, it is possible to obtain the following expression for the r th -differential of the spectral sequence: For example, for r = 2 we will have In the case of r = 3, we will have Theorem 1.1 Given an arbitrary Carnot group G, once a metric is fixed, the differential part of the Rumin differentials d c coincides with the sum of the differentials ∂ r that appear in the multicomplex spectral sequence generated by considering the filtration by weights over the space of smooth forms.
Proof The claim follows once we consider the explicit expression of the Rumin differentials Given an arbitrary h-form α ∈ h , we have that Moreover, given an arbitrary form β ∈ h ∩ I m d −1 0 , that is β = d −1 0 ξ for some ξ ∈ h+1 , we have that where we are using the same multi-index notation that was introduced in Remark 4.4.
If we compare this final formula with the explicit expression for the r th-differentials of the spectral sequence (19), we can see the clear relationship between the operator d E applied to E 0 α and the differentials ∂ r .
It is however crucial to highlight that even though the explicit formulation of the operators coincide, the operators d c and ∂ r act on different spaces.
As already pointed out, we have a clear correspondence between Rumin forms E h 0 = K er d 0 ∩ (I m d 0 ) ⊥ and p E p, * 1 . Indeed, in the special case of a form α ∈ Z p,− p+h 1 (an h-form of weight p that belongs to K er d 0 ) for which the Rumin differential of E 0 α has only differential order 1, then Compare this to the action of ∂ 1 on the same α ∈ Z