• Views 928
• Citations 0
• ePub 14
• PDF 312
`Journal of MathematicsVolume 2017, Article ID 8271562, 19 pageshttps://doi.org/10.1155/2017/8271562`
Research Article

## Differential Calculus on -Graded Manifolds

Department of Theoretical Physics, Moscow State University, Moscow 119999, Russia

Correspondence should be addressed to W. Wachowski; moc.liamg@hkavdalv

Received 31 July 2016; Accepted 3 November 2016; Published 17 January 2017

Academic Editor: Mauro Nacinovich

Copyright © 2017 G. Sardanashvily and W. Wachowski. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### 1. Introduction

This work addresses the differential calculus over -graded commutative rings and on -graded manifolds defined as local-ringed spaces. This differential calculus provides formalism of differential operators and Lagrangian theory in Grassmann-graded (even and odd) variables [1, 2].

Definition 1. Let be a commutative ring. A direct sum of -modulesis called the -graded -module. Its elements are called homogeneous of degree if .

Definition 2. A -ring is called -graded if it is an -graded -module (1) so that a product of homogeneous elements is a homogeneous element of degree . In particular, it follows that is a -ring, while and, accordingly, are -bimodules.

Any -graded -module (1) admits the associated -graded structure Accordingly, an -graded ring also is the -graded one (Definition 18). The converse is not true. For instance, Clifford algebras are -graded, but not -graded rings. In general, an -graded ring can admit different - and -graded structures (Theorem 26).

Remark 3. Hereafter, we follow the notation (resp., ) of a -ring endowed with an -graded (resp., -graded) structure. If there is no danger of confusion, the symbol further stands both for - and -degree.
We further restrict our consideration to -graded commutative rings.

Definition 4. An -graded -ring is said to be graded commutative ifIn this case, is a commutative -ring, and is an -ring.

Example 5. An -graded commutative ring is commutative if . Conversely, any commutative ring is an -graded commutative one , where .

An -graded commutative ring possesses an associated -graded commutative structurein accordance with Definition 19. The converse need not be true.

The differential calculus over -graded commutative rings (Section 4) is a straightforward generalization of the conventional differential calculus over commutative rings, including formalism of linear differential operators and the Chevalley–Eilenberg differential calculus over rings (Section 3) [35]. However, this is not a particular case of the differential calculus over noncommutative rings. One can generalize a construction of the Chevalley–Eilenberg differential calculus to a case of an arbitrary ring [57]. However, an extension of the notion of a linear differential operator to noncommutative rings meets difficulties [5]. A key point is that multiplication in a noncommutative ring is not a zero-order differential operator.

There are different notions of graded manifolds [8, 1013]. We follow the conventional definition of manifolds as local-ringed spaces and, by analogy with smooth manifolds [14, 15] and -graded manifolds [5, 8, 9], define an -graded manifold as a local-ringed space which is a sheaf in local -graded commutative rings on a finite-dimensional real smooth manifold (Definition 47).

Since -graded manifolds conventionally are sheaves in Grassmann algebras [8], we focus our consideration on local finitely generated -graded commutative rings of the following type (Remark 8).

Definition 6. An -graded commutative -ring is called the Grassmann-graded -ring if it is finitely generated in degree 1 (Definition 25) so that it is the exterior algebra of of a -module (Example 9).

The differential calculus on an -graded manifold is the differential calculus over its structure -graded commutative ring (Section 5). A key point is that derivations of the structure ring of graded functions on an -graded manifold, unlike the -graded one, are represented by sections of the smooth vector bundle (102) over its body manifold (Theorem 50). As a consequence, the Chevalley–Eilenberg differential calculus on an -graded manifold provides it with the de Rham complex (103) of graded differential forms.

Just this fact enables us to extend the differential calculus on -graded manifolds to nonlinear differential operators (Section 6). We follow conventional formalism of (nonlinear) differential operators on smooth fibre bundles in terms of their jet manifolds (Appendix B) [3, 4, 16]. We develop the technique of -graded bundles (Definition 52) and graded jet manifolds (Definition 55). Our goal is the differential calculus (123) of graded differential forms on an -graded infinite order jet manifold . A key point is that this ring is split into a bigraded variational bicomplex which provides Lagrangian theory in Grassmann-graded (even and odd) variables [1, 2, 9].

#### 2. Algebraic Preliminary

This section summarizes the relevant basics on commutative rings [1719] and graded commutative rings [5, 7, 8].

##### 2.1. Commutative Rings

An algebra is defined to be an additive group which additionally is provided with distributive multiplication. All algebras throughout are associative, unless they are Lie algebras and Lie superalgebras. By a ring is meant a unital algebra with a unit element . Nonzero elements of a ring constitute a multiplicative monoid. If it is a group, is called the division ring. A field is a commutative division ring. A ring is said to have no divisor of zero if an equality , , implies either or . For instance, this is a case of a division ring.

A subset of an algebra is said to be the left (resp., right) ideal if it is a subgroup of an additive group and (resp., ) for all , . If is both a left and right ideal, it is called the two-sided ideal. For instance, any ideal of a commutative algebra is two-sided. A proper ideal of a ring is said to be maximal if it does not belong to another proper ideal. Given a two-sided ideal , an additive factor group is an algebra.

Definition 7. A ring is called local if it has a unique maximal two-sided ideal. This ideal consists of all noninvertible elements of .

Any division ring, for example, a field, is local. Its unique maximal ideal consists of the zero element. A homomorphism of local rings is assumed to send a maximal ideal to a maximal ideal.

Remark 8. Local rings conventionally are defined in commutative algebra [18, 19]. This notion has been extended to -graded commutative rings, too [8]. Grassmann-graded rings in Definition 6 and Grassmann algebras in Definition 23 are local.

Given an algebra , an additive group is said to be the left (resp., right) -module if it is provided with a distributive multiplication by elements of such that (resp., ) for all and . If is a ring, one additionally assumes that for all . If is both a left module over an algebra and a right module over an algebra , it is called the -bimodule (the -bimodule if ). If is a commutative algebra, an -bimodule is said to be commutative if for all and . Any module over a commutative algebra can be brought into a commutative bimodule. Therefore, unless otherwise stated (Section 3.1), any -module over a commutative algebra is a commutative -bimodule, which is called the -module if there is no danger of confusion. A module over a field is called the vector space. If an algebra is a commutative bimodule over a commutative ring , it is said to be the -algebra. Any algebra can be regarded as a -algebra.

The following are constructions of new modules over a commutative ring from the old ones.

(i) A direct sum of -modules and is an additive group provided with an -module structure  Let be a set of -modules. Their direct sum consists of elements of the Cartesian product such that at most for a finite number of indices .

(ii) A tensor product of -modules and is an additive group which is generated by elements , , , obeying relations  It is endowed with an -module structure If a ring is treated as an -module, a tensor product is canonically isomorphic to via the assignment , , .

Example 9. Let be an -module. Let us consider an -graded moduleThis is an -graded -ring with respect to a tensor product . It is called the tensor algebra of an -module . Its quotient with respect to an ideal generated by elements , , is an -graded commutative algebra, called the exterior algebra of an -module .

(i) Given a submodule of an -module , the quotient of an additive group by its subgroup also is provided with an -module structure. It is called the factor module.

(ii) A set of -linear morphisms of an -module to an -module naturally is an -module. An -module is called the dual of an -module . There is a natural monomorphism .

A module over a commutative ring is called free if it admits a basis, that is, a linearly independent subset such that each element of has a unique expression as a linear combination of elements of with a finite number of nonzero coefficients from a ring . Any module over a field is free. Every module is isomorphic to the quotient of a free module. A module is said to be of finite rank if it is the quotient of a free module with a finite basis. One says that a module is projective if there exists a module such that is a free module.

Theorem 10. If is a projective module of finite rank, then its dual is so, and .

The forthcoming constructions of direct and inverse limits of modules over commutative rings also are extended to a case of modules over graded commutative rings.

By a directed set is meant a set with an order relation which satisfies the following conditions: (i) , for all ; (ii) if and , then ; (iii) for any , there exists such that and . It may happen that , but and .

A family of -modules , indexed by a directed set , is called the direct system if, for any pair , there is a morphism such that (i) ; (ii) , . A direct system of modules admits a direct limit.

Definition 11. This is an -module together with morphisms such that for all . A module consists of elements of a direct sum modulo the identification of elements of with their images in for all .

Theorem 12. Direct limits commute with direct sums and tensor products of modules. Namely, let and be two direct systems of -modules which are indexed by the same directed set , and let and be their direct limits. Then direct limits of direct systems and are and , respectively.

Theorem 13. A morphism of a direct system to a direct system consists of an order preserving map and -module morphisms which obey compatibility conditions . If and are direct limits of these direct systems, there exists a unique -module morphism such that

Theorem 14. A construction of a direct limit morphism preserves monomorphisms and epimorphisms. If all are monomorphisms (resp., epimorphisms), so is .

In a case of inverse systems of modules, we restrict our consideration to inverse sequences Its inverse limit is a module together with morphisms so that for all . It consists of elements , , of the Cartesian product such that for all . A morphism of an inverse system to an inverse system consists of -module morphisms which obey compatibility conditionsIf and are inverse limits of these inverse systems, there exists a unique -module morphism such that . A construction of an inverse limits morphism preserves monomorphisms, but not epimorphisms.

Example 15. In particular, let be an inverse system of -modules and an -module together with -module morphisms which obey compatibility conditions . Then there exists a unique morphism such that .

Example 16. Let be an inverse system of -modules and an -module. Given a term , let be an -module morphism. It yields the pull-back morphismswhich obviously obey the compatibility conditions (10). Then there exists a unique morphism such that .

Example 17. Let be an inverse sequence of -modules. Given an -module , modules constitute a direct sequence whose direct limit is isomorphic to .

##### 2.2. -Graded Commutative Rings

A -module is called -graded if it is decomposed into a direct sum of modules and , called the even and odd parts of , respectively. A -graded -module is said to be free if it has a basis composed by graded-homogeneous elements.

A morphism of -graded -modules is said to be an even (resp., odd) morphism if preserves (resp., changes) the -parity of all homogeneous elements. A morphism of -graded -modules is called graded if it is represented by a sum of even and odd morphisms. A set of these graded morphisms is a -graded -module.

Definition 18. A -ring is called -graded if it is a -graded -module , and a product of its homogeneous elements is a homogeneous element of degree . In particular, . Its even part is a -ring, and the odd one is an -bimodule.

Definition 19. A -graded ring is called graded commutative if Its even part belongs to the center of a ring .

Every -graded commutative -ring (Definition 4) possesses the associated -graded commutative structure (4). For instance, the exterior algebra of a -module in Example 9 is a -graded commutative ring.

Definition 20. A -graded commutative ring is called local if it contains a unique maximal -graded ideal.

If is a field, an exterior -algebra exemplifies a local -graded commutative ring. An ideal of its nilpotents is a unique maximal ideal of its noninvertible elements which also is -graded.

A -graded commutative ring can admit different -graded commutative structures in general (Example 21).

By automorphisms of a -graded commutative ring are meant automorphisms of a -ring which are graded -module morphisms of . Obviously, they are even, and they preserve a -graded structure of . However, there exist automorphisms of a -ring which do not possess this property in general. Then and are isomorphic, but different -graded commutative structures of a ring . Moreover, it may happen that a -ring admits nonisomorphic -graded commutative structures.

Example 21. Given a -graded commutative ring and its odd element , an automorphismof a -ring does not preserve its original -graded structure .

Given a -graded commutative ring , a -graded -module is defined as an -bimodule which is a -graded -module such that

The following are constructions of new -graded -modules from the old ones.

(i) A direct sum of -graded modules and a -graded factor module are defined just as those of modules over a commutative ring.

(ii) A tensor product of -graded -modules and is their tensor product as -modules such that In particular, the tensor algebra of a -graded -module is defined just as that (8) of a module over a commutative ring. Its quotient with respect to the ideal generated by elements is the exterior algebra of a -graded module with respect to the graded exterior product

(iii) A graded morphism of -graded -modules is their graded morphism as -graded -modules which obeys the relationsThese morphisms form a -graded -module . A -graded -module is called the dual of a -graded -module .

In the sequel, we are concerned with -graded manifolds (Section 5). They are sheaves in Grassmann algebras which are defined as follows.

Definition 22. A -graded -ring is said to be finitely generated in degree 1 if it is a free -module of finite rank so that .

It follows that a -module has a decompositionwhere is the ideal of nilpotents of a ring . A surjection is called the body map.

Definition 23. A -graded commutative -ring is said to be the Grassmann algebra if it is finitely generated in degree 1 and is isomorphic to the exterior algebra (Example 9) of a -module , where is the ideal of nilpotents (19) of .

An exterior algebra of a free -module of finite rank is a Grassmann algebra. Conversely, a Grassmann algebra admits a structure of an exterior algebra by a choice of its minimal generating -module , and all these structures are mutually isomorphic if is a field (Theorem 26). Automorphisms of a Grassmann algebra preserve its ideal of nilpotents and the splitting (19), but need not the odd sector (Example 21).

A Grassmann algebra is local in accordance with Definition 20. Its ideal of nilpotents is a unique maximal ideal which is graded in accordance with the decomposition (19).

Remark 24. Let be a -graded commutative ring. A -graded -algebra is called the Lie -superalgebra if its product , called the Lie superbracket, obeys the rules Clearly, an even part of a Lie superalgebra is a Lie -algebra. Given an -superalgebra, a -graded -module is called a -module if it is provided with an -bilinear map

##### 2.3. -Graded Commutative Rings

Let be an -graded -ring (Definition 2). Seen as a -ring, it can admit different -graded structures. All these structures are isomorphic in the following case [20].

Definition 25. An -graded -ring is called finitely generated in degree 1 if the following hold: (i) ; (ii) is a free -module of finite rank; (iii) is generated by ; namely, if is an ideal generated by , then there is -module isomorphism , .

Theorem 26. Let be a field, and let and be -graded -rings finitely generated in degree 1. If they are isomorphic as -rings, there exists their graded isomorphism so that for all .

As was mentioned above, we restrict our consideration to -graded commutative rings (Definition 4), unless they are the differential graded ones (Section 2.4). They also possess the associated -graded commutative structure (4).

Definition 27. An -graded commutative ring is called local if it contains a unique maximal -graded ideal.

Certainly, if an -graded ring is local, the associated -graded ring is well. A Grassmann-graded ring over a field is local. The ideal of its nilpotents is a unique maximal ideal of its noninvertible elements which also is -graded.

Given an -graded commutative ring , an -graded -module is defined as a graded -bimodule which is an -graded -module such that and it also is a -graded module. A direct sum, a tensor product of -graded modules, and the exterior algebra of an -graded module are defined similarly to those of -graded modules (Section 2.2), and they also are a direct sum, a tensor product, and an exterior algebra of associated -graded modules, respectively.

By automorphisms of an -graded ring are meant automorphisms of a -ring which preserve its -gradation . They also keep the associated -structure of . However, there exist automorphisms of a -ring which do not possess these properties in general.

Let be a Grassmann-graded -ring (Definition 6). Its associated -graded commutative ring is a Grassmann algebra (Definition 23). Conversely, any Grassmann algebra admits the associated structure of a Grassmann-graded ring by a choice of its minimal generating -module . Given a generating basis for a -module , elements of a Grassmann-graded ring take a formWe agree to call the generating basis for the associated Grassmann algebra which brings it into a Grassmann-graded ring .

Given a generating basis for a Grassmann-graded ring , one can show that any -ring automorphism is a composition of automorphismswhere is an automorphism of a -module and are odd elements of and of morphismsAutomorphisms (24), where , are automorphisms of a Grassmann-graded ring . If , the automorphism (24) preserves the associated -graded structure of but does not keep its -graded structure . It yields a different -graded structure , where (24) is a basis for and the generating basis for . Automorphisms (25) preserve an even sector of , but not the odd one (Example 21). However, it follows from Theorem 26 that different - and -graded structures of a Grassmann-graded ring are mutually isomorphic if is a field. As a consequence, we come to the following.

Theorem 28. Given a Grassmann-graded ring over a field , there exists a finite-dimensional vector space over so that is isomorphic to the exterior algebra of (Example 9) seen as a Grassmann-graded ring generated by .

##### 2.4. Differential -Graded Rings

If an -graded ring also is a cochain complex, we come to the following notion [5, 17].

Definition 29. An -graded -ring is called the differential graded ring (henceforth, DGR) if it is a cochain complex of -moduleswith respect to a coboundary operator which obeys the graded Leibniz ruleThe cochain complex (26) is called the de Rham complex of a DGR . It also is said to be the differential graded calculus over a -ring .

Given a DGR , one considers its minimal differential graded subring which contains . Seen as a -ring, it is generated by elements , , and consists of monomials , , whose product obeys the juxtaposition rule in accordance with equality (27). A complex is called the minimal differential graded calculus over . Its cohomology is said to be the de Rham cohomology of .

One can associate a DGR to any Lie -algebra as follows [5, 21]. Let a -ring be a -module so that acts on on the left by endomorphisms (cf. Remark 24). For instance, and . A -multilinear skew-symmetric mapis called the -valued -cochain on a Lie algebra . These cochains form a -module . Let us put . We obtain the cochain complexwith respect to the Chevalley–Eilenberg coboundary operators where the caret    denotes omission. Complex (31) is called the Chevalley–Eilenberg complex of a Lie algebra with coefficients in a ring . It is a DGR with respect to the exterior product of skew-symmetric maps (30).

A construction of the Chevalley–Eilenberg complex is extended to Lie superalgebras [5, 21].

#### 3. Differential Calculus over Commutative Rings

Conventional technique of the differential calculus over commutative rings includes formalism of linear differential operators and the Chevalley–Eilenberg differential calculus [35].

##### 3.1. Differential Operators on Modules over Commutative Rings

As was mentioned above, throughout is a commutative ring without a divisor of zero. Let be a commutative -ring, and let and be -modules. A -module of -module homomorphisms can be endowed with two different -module structuresWe refer to the second one as an -module structure. Let us put , .

Definition 30. An element is called the linear -order -valued differential operator on if for any tuple of elements of . A set of these operators inherits the - and -module structures (33).

In particular, linear zero-order differential operators obey a condition and, consequently, they coincide with -module morphisms . A linear first-order differential operator satisfies a relation Of course, an -order differential operator is of -order. Therefore, there is a direct sequenceof linear -valued differential operators on an -module . Its direct limit is an -module of all linear -valued differential operators on .

In particular, let . Any linear zero-order -valued differential operator on is defined by its value . Then there is an -module isomorphism via the association , where is given by an equality . A linear first-order differential operator on fulfils a condition

Definition 31. It is called a -valued derivation of if ; that is, it obeys the Leibniz rule

If is a derivation of , then is well for any . Hence, derivations of constitute an -module , called the derivation module of .

If , the derivation module of also is a Lie algebra over a ring with respect to a Lie bracket

##### 3.2. Jets of Modules

A linear -order differential operator on an -module is represented by a zero-order differential operator on a module of -order jets of (Theorem 33).

Given an -module , let be a tensor product of -modules and . We put Let us denote by a submodule of generated by elements

Definition 32. A -order jet module of a module is defined as the quotient of a -module by . We denote its elements .

In particular, a first-order jet module consists of elements modulo the relations

A -module is endowed with the - and -module structures There exists a module morphismof an -module to an -module such that , seen as an -module, is generated by elements , . One can show the following [3, 4].

Theorem 33. Any linear -order -valued differential operator on an -module uniquely factorizes as through the morphism (44) and some -module homomorphism . The correspondence defines an -module isomorphism

Due to monomorphisms , , there exist -module epimorphisms of jet modules Thus, there is an inverse sequenceof jet modules. Its inverse limit is an -module together with -module morphisms

In particular, let us consider a module together with the morphisms (44) which obey compatibility conditions , . Then it follows from Example 15 that there exists an -module morphismso that . The inverse sequence (48) yields a direct sequencewhere is the pull-back -module morphism (11). Its direct limit is an -module (Example 17).

Theorem 34. One has the isomorphisms (46) of the direct systems (36) and (51) which leads to an -module isomorphismof their direct limits in accordance with Theorem 14.

Proof. Any element factorizes as through the morphism (50) and an -module homomorphism (Example 16) in accordance with the commutative diagram

##### 3.3. Chevalley–Eilenberg Differential Calculus over Commutative Rings

Since the derivation module of a commutative -ring is a Lie -algebra, one can associate to the following DGR (59), called the Chevalley–Eilenberg differential calculus over .

Given a Lie -algebra , let us consider the Chevalley–Eilenberg complex (31) of with coefficients in a ring regarded as a -module [5, 7]. This complex contains a subcomplex of -multilinear skew-symmetric mapswith respect to the Chevalley–Eilenberg coboundary operator (32):Indeed, it is readily justified that if (56) is an -multilinear map, (57) is well. In particular, It follows that ; that is, is an -valued derivation of .

Let us define an -graded -moduleIt is provided with the structure of an -graded -ring with respect to a product where denotes the sign of a permutation. This product obeys relationsBy the first one, is an -graded commutative ring. Relation (61) shows that is a DGR (Definition 29), called the Chevalley–Eilenberg differential calculus over a -ring .

Since and, consequently, , we have the interior product , , . It is extended asto a DGR , and obeys a relation With the interior product (62), one defines a derivation of an -graded ring for any . Then one can think of elements of as being differential forms over .

The minimal Chevalley–Eilenberg differential calculus over a ring consists of the monomials , . Its de Rham complexis called the de Rham complex of a -ring .

##### 3.4. Differential Calculus over

Let be a smooth manifold (Remark 35) and an -ring of real smooth functions on . The differential calculus on a smooth manifold is defined as that over a ring .

Remark 35. Throughout the work, smooth manifolds are finite-dimensional real manifolds. We follow the notion of a manifold without boundary. A smooth manifold customarily is assumed to be Hausdorff and second-countable topological space. Consequently, it is a locally compact countable at infinity space and a paracompact space, which admits the partition of unity by smooth real functions. Unless otherwise stated, manifolds are assumed to be connected.

Similarly to a sheaf of continuous functions (Example A.3), a sheaf of smooth real functions on is defined. Its stalk at has a unique maximal ideal of germs of functions vanishing at . Therefore, is a local-ringed space (Definition A.2). Though a sheaf exists on a topological space , it fixes a unique smooth manifold structure on as follows.

Theorem 36. Let be a paracompact topological space and a local-ringed space. Let admit an open cover such that a sheaf   restricted to each is isomorphic to a local-ringed space . Then is an -dimensional smooth manifold together with a natural isomorphism of local-ringed spaces and .

One can think of this result as being an equivalent definition of smooth real manifolds in terms of local-ringed spaces. A smooth manifold also is algebraically reproduced as a certain subspace of the spectrum of a real ring of smooth real functions on [7, 14].

Moreover, the well-known Serre–Swan theorem (Theorem 37) states the categorial equivalence between the vector bundles over a smooth manifold and projective modules of finite rank over the ring of smooth real functions on . This theorem originally has been proved in the case of a compact manifold , but it is generalized to an arbitrary smooth manifold [7, 22].

Theorem 37. Let be a smooth manifold. A -module is a projective module of finite rank iff it is isomorphic to the structure module of global sections of some smooth vector bundle over .

In particular, the derivation module of a real ring coincides with a -module of vector fields on , that is, the structure module of sections of the tangent bundle of . Hence, it is a projective -module of finite rank. Its -dual is the structure module of the cotangent bundle of which is a module of one-form on and, conversely, (Theorem 10). It follows that the Chevalley–Eilenberg differential calculus over a real ring is exactly the DGR of exterior forms on , where the Chevalley–Eilenberg coboundary operator (57) coincides with the exterior differential. Accordingly, the de Rham complex (65) of a real ring is the de Rham complex of a DGR of exterior forms on . The cohomology of is called the de Rham cohomology of a manifold .

Let be a vector bundle and its structure module. An -order jet manifold of (Appendix B) also is a smooth vector bundle, and its structure module is exactly the -order jet module of a -module (Definition 32) [3, 4].

In view of this fact and by virtue of Theorem 33, a liner -order differential operator (Definition 30) on a projective -module of finite rank with values in a projective -module of finite rank is represented by a linear bundle morphism over of a jet bundle to a vector bundle , where and are smooth vector bundles whose structure modules and are isomorphic to and , respectively, in accordance with Theorem 37.

This construction is generalized to a case of nonlinear differential operators [3, 4, 16].

Definition 38. Let and be smooth fibre bundles. A bundle morphism over is called the -valued -order differential operator on . This differential operator sends each section of to the section of .

Jet manifolds of a fibre bundle constitute the inverse sequence (B.7) whose inverse limit is an infinite order jet manifold (Definition B.1). Then any -order -valued differential operator on a fibre bundle (Definition 38) is defined by a continuous bundle map For instance, differential operators in Lagrangian theory on fibre bundles, for example, Euler–Lagrange operators, are represented by certain exterior forms on finite order jet manifolds [4, 16].

The inverse sequence (B.7) of jet manifolds yields the direct sequence of DGRs of exterior forms on finite order jet manifoldswhere are the pull-back monomorphisms. Its direct limit (Definition 11) consists of all exterior forms on finite order jet manifolds modulo the pull-back identification. In accordance with Theorem 13, is a DGR which inherits operations of the exterior differential and the exterior product of DGRs .

Theorem 39. The cohomology of the de Rham complexof a DGR equals the de Rham cohomology of a fibre bundle .

Proof. The result follows from the fact that is a strong deformation retract of any jet manifold and, consequently, the de Rham cohomology of equals that of [23].

One can think of elements of as being differential forms on an infinite order jet manifold . A DGR is split into a variational bicomplex. Its cohomology provides the global first variational formula for Lagrangians and Euler–Lagrange operators of a Lagrangian formalism on a fibre bundle [1, 16, 24, 25].

#### 4. Differential Calculus over -Graded Commutative Rings

The differential calculus over -graded commutative rings is defined similarly to that over commutative rings, but it differs from the differential calculus over noncommutative rings (Remark 43). It also provides the differential calculus over a -graded commutative ring endowed with a fixed -graded structure (Remark 44).

Let be a commutative ring without a divisor of zero and an -graded commutative -ring. Let and be -graded -modules. An -graded -module of -graded -module homomorphisms can admit the two -graded -module structurescalled - and -module structures, respectively. Let us put

Definition 40. An element is said to be the linear -valued -graded differential operator of order on iffor any tuple of elements of . A set of these operators inherits the -graded -module structures (70).

For instance, zero-order -graded differential operators obey a condition that is, they coincide with graded -module morphisms . A first-order -graded differential operator satisfies a condition

Graded differential operators on an -graded -module form a direct system of -graded -modules.Its limit is a -graded module of all -valued graded differential operators on .

In particular, let . Any zero-order -valued -graded differential operator on is defined by its value . Then there is a graded -module isomorphism via the association , where is given by the equality . A first-order -valued -graded differential operator on fulfils a condition

Definition 41. It is called the -valued -graded derivation of if , that is, if it obeys the graded Leibniz rule

Any first-order -graded differential operator on falls into a sum of a zero-order graded differential operator and an -graded derivation . If is an -graded derivation of , then is so for any . Hence, -graded derivations of constitute an -graded -module , called the graded derivation module.

If , the -graded derivation module also is a Lie -superalgebra (Remark 24) with respect to the superbracket

Example 42. Let be a Grassmann-graded ring provided with an odd generating basis . Its -graded derivations are defined in full by their action on the generating elements . Let us consider odd derivations