Exploring the Structure of Higher Algebroids111This research was supported by the Polish National Science Center under the grant DEC-2012/06/A/ST1/00256.
Abstract
The notion of a higher-order algebroid, as introduced by Jóźwikowski and Rotkiewicz in their work Higher-order analogs of Lie algebroids via vector bundle comorphisms (SIGMA, 2018), generalizes the concepts of a higher-order tangent bundle and a (Lie) algebroid. This idea is based on a (vector bundle) comorphism approach to (Lie) algebroids and the reduction procedure of homotopies from the level of Lie groupoids to that of Lie algebroids. In brief, an alternative description of a Lie algebroid is a vector bundle comorphism , defined as the dual of the Poisson map associated with the Lie algebroid . The framework of comorphisms has proven to be a suitable language for describing higher-order analogues of Lie algebroids from the perspective of the role played by (Lie) algebroids in geometric mechanics. In this work, we uncover the classical algebraic structures underlying the somewhat mysterious description of higher-order algebroids through comorphisms. For the case , we establish a one-to-one correspondence between higher-order Lie algebroids and pairs consisting of a two-term representation (up to homotopy) of a Lie algebroid and a morphism to the adjoint representation of this algebroid.
MSC 2020:
58A20, 58A50, 17B66, 17B70
Keywords:
higher algebroids, representations up to homotopy, graded manifolds, graded bundles, VB-algebroids, Lie algebroids
1 Introduction
In [JR18] the notion of a higher algebroid was introduced, based on extensive studies of examples we would like to refer to as higher algebroids (HAs, for short) [JR13, JR15]. Our intuitive thinking was that a higher algebroid should represent a geometric and algebraic structure that generalizes higher-order tangent bundles in a similar manner as algebroids generalize tangent bundles. In the first order, the algebroid structure is defined on a vector bundle (VB, for short), with the most obvious example being the tangent bundle . In higher orders, is replaced by the higher-order tangent bundle , which for is no longer a vector bundle but a graded bundle, in the terminology introduced in [GR11]. It is referred to as an -graded manifold in [JR18]. In a graded bundle there exists a distinguished class of graded fiber coordinates, taking over linear coordinates, with transition functions represented as homogeneous polynomials. In a particular case of polynomials of degree one (linear maps), one gets vector bundles as a special case. From various perspectives discussed in [JR18], it became apparent that the structure of a higher algebroid should be defined on a graded bundle.
The most common way to motivate the concept of a Lie algebroid comes from the reduction of the tangent bundle of a Lie groupoid . As a geometric object, the Lie algebroid of is the set , consisting of tangent vectors in the direction of the source fibration of and based at – the base of . The structure of the tangent bundle , induces a certain structure on , leading to the notion of a Lie algebroid. Typically, the structure of a Lie algebroid is expressed by means of a bracket operation on the space of sections of a vector bundle and a VB morphism called the anchor map. However, it is obvious that this approach has no direct generalization to higher-order case, because there is no bracket operation on the space of sections of , since is not a vector bundle for and, in particular, its sections cannot be added.
In light of the above, it is natural to consider the reduction of the -order tangent bundle as a prototype of a higher-order algebroid of order . The reduction map takes a -velocity represented by a curve , lying in a single fiber of the foliation , to the -velocity based at a point in . A natural problem arises: how to characterize the structure on inherited from the groupoid multiplication. In [JR15] we proposed an answer to this question by reducing the natural map .
In the first order, one reduces the canonical involution which results in a relation and leads to an alternative definition of the structure of a Lie algebroid as a pair consisting of a vector bundle and a relation of a special kind . This viewpoint on Lie algebroids was first introduced in [GU99]. It turns out that is the dual of the Poisson map associated with the linear Poisson tensor on .333Linear Poisson structures on the dual bundle are in a one-to-one correspondence with Lie algebroid structures on . As is a VB morphism, the dual is a VB comorphism, see Definition 2.4. The comorphism approach to (Lie) algebroids is also very natural from the perspective of variational calculus. The relation was recognized as a ’tool’ in constructing admissible variations in geometric mechanics [GG08].
Based on the properties of the reduction of and its potential applications in variational calculus, we introduced higher algebroids in [JR18] as pairs consisting of a graded bundle of order , equipped with a vector bundle comorphism . This comorphism relates the vector bundles and and satisfies certain natural axioms.444In the comorphism approach, it is natural to consider generalizations of the notion of a Lie algebroid obtained by relaxing its axioms. In the literature on geometric mechanics, these generalizations are known as ’almost Lie’ algebroids (where the Jacobi identity is not assumed), ’skew’ algebroids (where neither the Jacobi identity nor the anchor-bracket compatibility is required), and ’general’ algebroids (where, in addition, the skew-symmetry of the bracket is not required). We recall from [JR18] a detailed formulation of these axioms in Definition 2.7.
The definition of HAs given in [JR18], which we consider to be very natural from many perspectives, also appears to be quite mysterious. The goal of the present work was to unveil the vector bundle morphisms, brackets, and other operations hidden within the comorphism description of HAs. A complete solution is achieved in the case of .
Our solution situates Lie HAs within the realm of representations up to homotopy (representations u.t.h., in short) of Lie algebroids, the concept introduced in [AC12]. The idea is to represent Lie algebroids using cochain complexes of vector bundles. Such a complex is given ’an action’ of a Lie algebroid represented by an -connection which is flat only ’up to homotopy’ governed by higher order homotopy operators. When the complex consists of only one term, this notion reduces to a genuine representation of a Lie algebroid on a vector bundle. An important example for us is the notion of the adjoint representation whose proper generalization from the field of Lie algebras to that of Lie algebroids is found within the framework of representations up to homotopy. As explained in [AC12], the adjoint representation of a Lie algebroid is manifested by ’an action up to homotopy’ on the two-term complex , where is the anchor map. On the other hand, it was found in [GSM10] that 2-term representations u.t.h. have an elegant description by means of VB-algebroids — Lie algebroid objects in the category of vector bundles. It this correspondence the adjoint representation of a Lie algebroid is nothing more but the VB-algebroid structure on – the tangent prolongation of the Lie algebroid . Our solution also recognizes this point of view.
Our results.
The main result is presented in Theorem 3.26 and Corollary 3.27 where we establish a one-to-one correspondence between higher algebroids of order two and morphisms between representations u.t.h. of Lie algebroids of a specific nature as presented in the diagram:
where is a fixed linear connection on a vector bundle . On the left is a Lie HA structure defined on a graded bundle characterised by a special type of relation denoted as , which is a subset of . In this correspondence, is the reduction of the graded bundle to degree , with the Lie algebroid structure inherited from . Furthermore, the vector bundle is introduced as the core of , as explained in Section 2. On the right-hand side, we have a representation u.t.h. of the Lie algebroid defined on a two-term cochain complex . Additionally, there is a morphism denoted as that connects this representation to the adjoint representation of in the sense of [AC12, Definition 3.3], and further, is of special type: the 1-form component of vanishes and so is a map of cochain complexes and, moreover, is the identity on in degree 0.
Following the ideas of [GSM10, DJLO15], we found that such a morphism corresponds to a VB-algebroid morphism to the adjoint representation of represented as the VB-algebroid (see Corollary 3.27). This construction makes the choice of a linear connection unnecessary. In summary, order-two Lie HAs are characterised by VB-algebroid morphisms from a VB-algebroid to the tangent prolongation of a Lie algebroid , such that is the identity on the underlying algebroid , and on the core bundle, which is also identified with the vector bundle .
These results are obtained in a few steps which we discuss below.
Map .
In any order , we discover a canonical morphism of graded bundles denoted by (see Definition 3.1), which is associated with any almost Lie -order algebroid555In the case when , the existence of a morphism is already guaranteed by the weaker assumption that is a skew algebroid. . Here, is the almost Lie algebroid (AL algebroid, for short) obtained from by means of the reduction to order one, and is the -order prolongation of – a graded bundle with the HA structure naturally induced from the AL algebroid structure on (see (2.34) and (2.36)). The existence of this map is of crucial importance as it allows to relate properties of an abstract higher algebroid with much better recognized HA studied in details in [JR15]. We recall that if is the Lie algebroid of a Lie groupoid then is the -order HA of . We conjecture (in Conjecture 3.5) that if is a Lie HA then the structure map is a morphism of HAs. We were able to prove this in the case .
The structure of the graded bundle of a HA ).
In general, a graded bundle of order two is obtained from its components: the vector bundle (the order-one reduction of ), and its core vector bundle, denoted by , by gluing transition functions that are homogeneous polynomials of degree 2. In what follows, the vector bundles and , are denoted by and , respectively.
With the help of the map we can recover the graded bundle as the quotient of the graded bundle , see Lemma 3.6. Here, is the second-order prolongation of and denotes the graded bundle of order 2 obtained from the vector bundle by assigning weight two to the linear functions on .
Structure maps of HAs.
By focusing solely on the graded bundle structure of we encounter equations (2.21). Our objective is to attribute a geometrical interpretation of the local structure functions , , , etc. present in (2.21). It turned out that the functions do not correspond to any geometric object, highlighting that such an interpretation is not always straightforward. However, when we combine with there emerges a three-argument operation, denoted by , on the space of sections of the vector bundle with values in , where is the core of , see (3.20) and (3.22). The meaning of the other structure functions666We will use the symbol to refer to the structure functions , , etc. present in (2.21). proved to be more straightforward. These include: (i) a skew-symmetric bracket on and a VB morphism defining a skew algebroid structure on , (ii) a morphism of graded bundles (the second-order anchor map) , which is the base of the comorphism , (iii) a vector bundle morphisms , (iv) a map , (v) a skew symmetric map .
There is also another interesting structure map (see (3.33)), which becomes relevant when studying tensorial properties of the aforementioned structure maps. Moreover, the symmetric part of , denoted by , together with the VB morphisms and (the core of ), allows us to recover the second-order anchor map , see Lemma 3.12 and Theorem 3.13. This resolves the problem of presenting axioms of a skew order-two HA entirely in terms of VB morphisms and VB differential operators.
Definitions of all these structure maps are given in Subsection 3.2. Most of them are obtained through algebroid lifts , , associated with the HA and Lie brackets of vector fields on . The definition of algebroid lifts, as seen in (2.29), relies on the characteristic property of a VB comorphism: unlike a typical VB morphism, it induces a map between the spaces of sections.
We also introduce a structure map , being some modifications of the map , see (3.25). While it carries the same information as , it has better algebraic properties and helps to formulate our results more concisely. Additionally, we define maps , , , in Definition 3.10, which appear in the Leibniz-type formulas for above-mentioned structure maps (Theorem 3.13). The vanishing of these maps is also included as an axiom of AL HAs or Lie HAs, see Theorems 3.16 and 3.20. Moreover, for greater precision in formulating certain results, we found it useful to decompose some of these maps, such as , , and , into their symmetric and anti-symmetric parts.
Most of the structure maps mentioned above are multi-differential operators on certain vector bundles. We provide a detailed description of the tensorial properties of these structure maps and prove that a system of such maps allows to reconstruct the skew HA , see Theorem 3.13. This approach can also be extended to -order HAs for , as discussed in Remark 3.9.
In the next step, we characterize the axioms of an almost Lie HA (Theorem 3.16) and Lie HA (Theorem 3.20) in terms of the above mentioned structure maps. In other words, we formulate necessary and sufficient conditions that the structure maps , , etc. should satisfy for the related HAs to be, respectively, almost Lie and Lie. Throughout our analysis, we heavily rely on Theorem 2.11, which provides characterizations of AL and Lie axioms for higher algebroids through algebroid lifts.
HAs over a point.
In case when the base is a point we find a complete description of order-two skew and Lie higher algebroids, see Theorem 3.15: An order-two skew HA over a point has to split, meaning where and . Furthermore, in the Lie case, there is a one-to-one correspondence between such Lie HAs and Lie module morphisms from the adjoint module of the Lie algebra to the -module .
Main result.
The reformulated axioms of Lie HAs and the description of order-two HAs over a point by means of representations of Lie algebras may suggest a relation between HAs and representations of Lie algebroids. Note however that there is no concept of the adjoint representation within the framework of representations on VBs. It is the setting of representations u.t.h. of Lie algebroids in which the correct generalization of the concept of the adjoint representation of a Lie algebra is possible. The construction of a Lie algebroid representation out of a Lie HA imitates the construction of the adjoint representation given in [AC12]. It is obtained by means of the structure maps of a Lie HA mentioned earlier. There exist also an obvious map between the complexes and which, thanks to the properties of the structure maps of a Lie HA, turns out to be a morphism to the adjoint representation of . Conversely, if a representation u.t.h. of on a two-term complex of the form is given, and a morphism of complexes is given that also serves as a morphism of representations, then we can extract the structure maps from it and construct a skew HA structure on the graded bundle described in Lemma 3.6. It can be then verified that these maps satisfy the axioms of AL and Lie HA given in Theorems 3.16 and 3.20.
Examples.
Given a Lie algebroid , there are two natural morphisms to the adjoint representation of a Lie algebroid . One is the identity morphism on the adjoint representation. The other one is obtained from the double of a vector bundle, described in [AC12], which is a representation of the Lie algebroid on a 2-term complex of the form . We illustrate HAs corresponding to these two cases in Examples 3.30 and 3.29, respectively.
Organization of the paper.
Section 2 begins by collecting notations and fundamental constructions concerning graded bundles, double vector bundles and VB-algebroids. We also introduce a functor, denoted by , which is a generalization of the linearisation functor discovered in [BGG16] and which is used in the definition of the morphism (Definition 3.1). We recall also basic definitions from [JR18, JR15] (VB comorphism, higher-order algebroid, prolongations of AL algebroids) and give a definition of algebroid lifts in a slightly different way than in [JR18, Definition 4.8], more convenient for computations which we perform in Section 4. Theorem 2.11 extends Proposition 4.9 from [JR18] to the AL case. In Lemma 2.14 we express the compatibility of algebroid lifts obtained by means of HAs and the reduction of to a lower weight. We also list a few canonical inclusions used in the paper and describe their relationships.
Section 3 is devoted to a detailed analysis of mathematical structures standing behind a comorphism that defines a HA structure. W begin with the definition and properties of the map , which connects an arbitrary HA with the -order prolongation of its first-order reduction . We provide coordinate formulas for and , see Example 3.3.
From this point on, we focus solely on the case . In Lemma 3.6 we find an explicit construction of a graded bundle which hosts an order-two HA . Subsequently, we introduce several canonical maps associated with this HA referring to them as "the structure maps of ". Most of these maps are differential operators defined on (the product of) the spaces of sections or with values in . The term "structure functions" is reserved to functions , , etc. which are given in Example 2.8 as a local representation of a general order-two HA. These functions depend on the chosen coordinate system on the graded bundle . Although we work in the case we present analogs of the structure maps in any order, see Remark 3.9. In Theorem 3.13 we provide an equivalent description of skew, order-two HAs in terms of the aforementioned structure maps. In Theorem 3.15 we discuss the special case when the base of is a single point (an order-two analog of a (Lie) algebra) and give a characterization of such structures. It turns out that the Lie condition is very rigorous and all such Lie HAs correspond to morphisms of Lie algebra modules, where represents the adjoint module of the Lie algebra .
We subsequently examine the conditions in Definition 2.7 characterizing AL and Lie HA and translate them to the level of the structure maps, see Theorem 3.16 and Theorem 3.20. Moving forward, in Lemma 3.25 we recognize that data describing order-two Lie HAs gives rise to a representation u.t.h. of the Lie algebroid on the structure map considered as a two-term complex of vector bundles and also induces a morphism to the adjoint representation of . Remarkably, this data is also sufficient for recovering a HA structure , as demonstrated in Theorem 3.26. Furthermore, we formulate VB-algebroid version of this correspondence in Corollary 3.27 and illustrate the obtained relationship in Examples 3.30 and 3.29. We also briefly recall the correspondence between representations u.t.h. and VB-algebroids —- providing the necessary facts on this subject to demonstrate our results.
In Appendix 4 we give proofs for various results, including part (a) of Theorem 3.13, Theorem 3.15, Conjecture 3.5 in the case and complete the proof of Theorem 3.16 , where more detailed calculations, including those in coordinates, are carried out. Some of these calculations are supported by additional lemmas. One can also find there a brief recollection on representations up to homotopy, guided by [AC12]. For more in-depth information, interested readers should refer to the existing literature [AC12, GSM10, BGV18, GSJLMM18].
Historical remarks.
The studies on HAs, as understood in this paper, were initiated by M. Jóźwikowski and the author of present manuscript in [JR13], and continued in [JR15, JR18]. Prior to this, higher-order analogues of Lie algebroids was the subject of [Vor10] by T. Voronov who proposed that such analogues should be -manifolds of spacial kind generalizing Vaintrob approach to Lie algebroids [Vai97]. The most recent studies are due to A. Bruce, K. Grabowska and J. Grabowski [BGG16] whose idea was to imitates the canonical inclusion on the abstract level of graded bundles having as a prominent example of -order analogue of a Lie algebroid. As we pointed in [JR18], all these approaches lead to different mathematical objects. This distinctiveness is further evident from the classification of order-two (Lie) HAs given in this work.
Acknowledgments.
The author is grateful to Michał Jóźwikowski for his insightful comments on the organization and editing of this work, and for many fruitful discussions regarding the research.
2 Preliminaries
2.1 Graded bundles
We shall review basic constructions associated with graded bundles that will be used in the present work. For further details, we refer to [GR11] and additional works [BGR16, JR18, Vor02].
A fundamental example of a graded bundle is the -order tangent bundle . The elements of are -order tangency classes of curves in .777 is also called the -velocity represented by the curve Then is the tangent bundle of but for , is not a vector bundle; however, the fibers are still equipped with a special structure, namely, a natural action of the monoid of real numbers ,
where . Thus, in the terminology of [GR11], is a homogeneity structure, i.e., a manifold equipped with a smooth action of . On the other hand, local coordinates on induce adapted coordinates 888, given by , denotes the -lift of , see [Mor70]. Hence, denotes the -lift of the coordinate function . on which are naturally graded by numbers . On they transform as
where , . In general, the gradation of coordinates leads to the concept of a graded bundle i.e., a smooth fiber bundle in which we are given a distinguished class of fiber coordinates, called graded coordinates. Each graded coordinate is assigned its weight and transition functions preserve this gradation. An important assumption is made that weights are non-negative integers. (The index in indicates that all weights are , in which case we say that the graded bundle is of order . Graded bundles of order are nothing more than vector bundles.)
It has been shown that both the concept of a homogeneity structure and a graded bundle are equivalent [GR11]. A graded bundle associated with a homogeneity structure can be conveniently encoded by means of the weight vector field defined as . In graded coordinates 999This notation means that are functions defined (locally) on the base of the graded bundle while are fiber coordinates in this bundle. Moreover, the (abundant) notation indicates that the function has weight , i.e., is a homogeneous function (with respect to ) of weight . we have . A morphism between graded bundles and , colloquially described as a map preserving the gradation of coordinates, can be given a short, precise meaning as a smooth map such that the corresponding weight vector fields, and , are -related. Equivalently, this can be described as a smooth map intertwining the corresponding homogeneity structures, i.e., for every , where .
In this work, we frequently encounter multi-graded structures like , (the tangent bundle of a graded bundle of order ) or (-order tangent bundle of , where is a vector bundle). In all these examples, there are present two (compatible) graded bundle structures. Such structures can be described as – a manifold equipped with two weight vector fields , and the condition of compatibility can be expressed as . Equivalently, the last condition can be stated as for any , where are the homogeneity structures with weight vector field , for . Moreover, the bases of the graded bundles , where , carry induced graded bundle structures. In this paper, we shall mostly encounter the case when one of these graded bundle structures has order 1 (like in ot ) and will refer to them as weighted vector bundles.101010Weighted structures, e.g. weighted algebroids, where intensively studied in [BGG15a, BGG16]. They can be presented as a diagram like
(2.1) |
where indicates the order of the graded bundle ; is a VB morphism and is a morphism of graded bundles. In the special case , we recover the notion of a double vector bundle (DVB, in short), e.g. [Mac05].
Given a graded bundle of order and an integer we may consider a natural projection, denoted by , where is a graded bundle of order over obtained from by removing from the atlas for all coordinates of weights greater than . The graded bundle obtained this way is denoted by [BGR16] and called the reduction of to order . Taking we arrive at the tower of affine bundle projections
We have , and we write shortly for .
A complementary construction is obtained by setting to zero all fiber coordinates in the bundle of weight less than a given number . The resulting submanifold, denoted by , is a graded subbundle of with the same base . In case , is called the core of and denoted by . The core can be endowed with a natural VB structure. This way we obtain a functor , where is the category of graded bundles of order , and is the category of vector bundles. In the case of multi-graded structures , we write , indicating that and for . The core of the graded bundle is denoted in the same way as . (It will be usually clear which weight field of we are referring to.)
There is an obvious graded bundle structure on the product of the graded bundles and , defined by where . If have the same base , then is a graded subbundle of .
Given a positive integer and a vector bundle we write for the graded bundle , where is the Euler vector field of . Then, for example, refers to a graded bundle of order two. It is the graded bundle associated with the graded vector bundle , where , are VBs over .
2.2 Double vector bundles and VB-algebroids
As we already mentioned, a structure of a DVB on a manifold is a pair of VBs and such that for any and holds
where (respectively, ) denotes the multiplication by scalars in the vector bundle (resp., ). The bases and carry induced VB structures over a common base giving rise to a diagram
(2.2) |
There is also a third vector bundle over , known as the core of the DVB , defined as the intersection of the kernels of the VB morphisms and , . From the perspective of graded manifolds, DVBs are -graded manifolds admitting coordinates only in weights , , and . From this perspective, the core is the core of the graded bundle , where (resp., ) is the Euler vector field of the vector bundle (resp., ), and it will be denoted simply as .
There is a well-defined action , denoted by , which arises from the affine bundle structure of over its order-one reduction, . A section gives a so-called core section of the VB , given by where , . A section is called linear if it is a VB morphism from to . The subspace of linear sections (resp. core sections) is denoted by (resp., ).
A decomposition of a DVB as in (2.2) is a DVB morphism from to its split form which is the identity on each component: the side bundles , and the core . Decompositions are in bijective correspondence with inclusions (also referred to as decompositions) , which are DVB morphisms inducing the identity on the side bundles and . Decompositions are also in bijective correspondence with horizontal lifts , which are defined as splittings of the short exact sequence
(2.3) |
of -modules where projects to its base map, which turns out to be a section of .
The foundation on DVBs were laid by J. Pradines [Pra75]. Double structures such as DVBs, as well as double Lie groupoids and algebroids where extensively studied by K. C. H. Mackenzie and his collaborators (see [Mac05] and references therein). In this paper, we shall deal with VB-algebroids – a pair of an algebroid and a VB structures, in compatibility, defined on a common manifold.
The compatibility condition can be stated in various equivalent ways, presenting such a structure as a Lie algebroid object in the category of vector bundles (the origins of the notion of VB-algebroids) or as a vector bundle object in the category of Lie algebroids (LA-vector bundles). See [GSM10] for definitions and the equivalence of both concepts.
Following the ideas from [GR09], one can formulate the compatibility condition as follows: a VB-algebroid structure on a manifold is a pair of VBs , , and a Lie algebroid structure on the vector bundle , such that for each the map , , is an algebroid morphism, see [BGV18, Definition 2.10].
It follows that is a DVB; carries an induced algebroid structure. Moreover, the anchor map is a DVB morphism, and is a graded Lie algebra, concentrated in degrees (the space of core sections) and (the space of linear sections), with respect to the Lie bracket on .
2.3 Linearisation of graded bundles and the functor
We define a functor . It is slightly more general then the functor of linearisation introduced in [BGG16]. Actually, is the composition of the tangent functor with the functor . The construction of the functor is given in two steps. In the first step, we set to zero all coordinates for of weight . After shifting in weight by , the target is obtained from the latter by removing coordinates of weight .
Definition 2.1 (Functor ).
Let be a weighted vector bundle as in (2.1), where and is a vector bundle. Let denote the kernel of the VB morphism . Although is not a combination with non-negative coefficients, it is a weight vector field on the submanifold . We define the graded bundle as the reduction of the graded bundle from order to ,
(2.4) |
In other words, we set to zero the coordinates of weight and then we remove the coordinates of weight . Consider the following diagrams:
In the diagram on the left, the projection is a fiber-wise linear isomorphism, so is the pullback of the vector bundle with respect to the projection .
In the diagram on the right, is recognized as a weighted vector bundle whose weight vector fields are inherited from and . The base of the graded bundle is identified as the core of the DVB . If are graded coordinates on the weighted VB , then the adapted coordinates on are obtained by omitting those with , and the coordinates of weight are assigned a new weight .
Lemma 2.2.
Let be a graded bundle of order . There are canonical isomorphism of weighted vector bundles:
-
(i)
If is a graded bundle of order , then .
-
(ii)
If is a vector bundle, then .
Proof.
Only (ii) needs a proof, as (i) follows directly from the construction of and the linearisation functor.
For the proof of (ii), observe that the inclusion is realized by the mapping
(2.5) |
where curves and are such that . Indeed, the image of the mapping (2.5) is the subbundle . In the standard local coordinates on , it is given by the vanishing coordinates of weight , i.e., .
Finally, we realize that the canonical projection defined locally by removing coordinates of weight , i.e., the coordinates , coincides with the projection
From (2.5) we easily find that the obtained isomorphism , denoted by , has the formula
(2.6) |
where , , , are the coordinates for inherited from . ∎
2.4 Natural inclusions and isomorphisms I
For later use, we shall fix the natural inclusions:
(2.7) |
and
(2.8) |
so where is the -th tangent lift of the curve . In coordinates,
(2.9) |
(2.10) |
where . In addition to , given a vector bundle , there is a canonical VB isomorphism of the core bundle of and the vector bundle which is defined by
(2.11) |
The compatibility with the map is expressed by the commutative diagram
(2.12) |
A graded bundle embeds naturally into its linearisation via the digitalisation map
(2.13) |
in the adapted coordinates , where , , on induced from , as mentioned earlier. Moreover, covers the identity over . This map is induced from the weight vector field considered as a map , where denotes the vertical subbundle of . In other words, the weight vector field is projectable with respect to the canonical projection . Moreover, in the special case , the map coincides with composed with the inverse of the isomorphism , where is the isomorphism established in Lemma 2.2 (ii). The isomorphism coincides with the isomorphism found in ([BGG15b, Example 2.2.3], [BGR16]) and is given by
for .
Lemma 2.3.
Let , for , be graded bundles of order and let be a -morphisms. Then the linearisation of intertwines the canonical inclusions :
Proof.
The map is the unique map which makes the following diagram commutative:
where . The weight vector fields , are -related as is a -morphism ( [GR11, Theorem 2.3]). Hence , and the thesis follows directly from the definition of the diagonalisation map. ∎
2.5 Vector bundle comorphisms
We shall recall the definition of a comorphism between vector bundles from [JR18] where one can also find more information and references on the origins and generalizations of this concept.
Definition 2.4.
A vector bundle comorphism (VB comorphism, for short), from a vector bundle to a vector bundle , is a relation , for which there exist a base map and a VB morphism covering the identity on such that
where is the pullback of the vector bundle with respect to the map . We say that the base map (which is uniquely defined) covers , and we depict this in the following diagram:
Thus, is the union of graphs of linear maps between the corresponding fibers, where varies in . There is a one-to-one correspondence between VB comorphisms and VB morphisms between the dual bundles. A VB comorphism gives rise to a mapping between the spaces of sections,
The map satisfies
(2.14) |
and any such map gives rise to a VB comorphism .
VB comorphisms form a category denoted by . A morphism from to , where and are VB comorphism and , are vector bundles, is given by a pair of VB morphisms such that ([JR13, Definition 2.3 and Proposition 2.6]). It is denoted by .
A VB comorphism is weighted of order if the total spaces are given a structure of a graded bundle of order with respect to which is a graded subbundle of the product .
We shall need the following result in Section 3. Roughly speaking, it states that is also a functor on the category of weighted vector bundle comorphisms.
Lemma 2.5.
Let be weighted, order , vector bundles and let denotes the corresponding VB projections. Let be a weighted, order , VB comorphism covering . Then is a VB comorphism covering :
Moreover, if is a morphism between weighted VB comorphisms and then is the same.
Proof.
Note that is a weighted vector subbundle of , hence is a weighted vector subbundle of . Let us trace the subsequent steps of the construction of the weighted vector bundle , as in Definition 2.1. We have where are as in (2.1) for . Hence, is a VB comorphism covering . The goal is obtained from by the reduction to order of the base map . Since the projections are fiber-wise linear isomorphisms, remains a VB comorphism.
For the last part of Lemma, we have already noticed that the functor preserves the products and inclusions. By [JR18, Proposition 2.6] , hence , so is a morphism in the category . ∎
The core acts naturally on the graded bundle . This action is denoted by and gives rise to a VB comorphism,
(2.15) |
where is the vector represented by the curve . In coordinates on , where ’s have weights , and , the associated map on sections is given by , where and is a local frame of . Since is an affine bundle modelled on the pullback of the core , there is a map
(2.16) |
where is the unique vector such that .
Lemma 2.6.
The mapping associated with the VB comorphism (2.15),
(2.17) |
is a -module isomorphism. Moreover, if , for , are graded bundles of order and is a -morphism then weight vector fields are -related if and only if the corresponding sections are -related. If and covers the identity, then the last condition means that .
Proof.
Let , for . The vector fields are represented by the families of curves where and . The sections are -related if and only if for any pair such that . Note that , hence if are -related then . Thus, are -related. The proof in the converse direction is very similar and is left to the reader. ∎
2.6 Higher algebroids
It is well-known that a Lie algebroid can be represented as a linear Poisson tensor on , the total space of the dual vector bundle. This, in turn, gives rise to a VB morphism which is a Poisson map and retains all the information about the algebroid structure on . The dual of is a VB comorphism which was a starting point in the concept of HAs originated in [JR13].
A general algebroid structure on a vector bundle can be encoded as a VB comorphism of a special kind, see [JR18], Proposition 2.15. In this correspondence should be also a vector subbundle of , and the induced VB morphism between the core bundles should be the identity,
(2.18) |
Let us recall that the core of the DVB is the subbundle of the vertical bundle of , and it is naturally identified with the vector bundle itself. Moreover, algebroid morphisms are in a one-to-one correspondence with -morphisms . The above concept of an algebroid has a direct analogue in higher-order, which we shall recall now.
Definition 2.7.
[JR18] A general (-order) higher algebroid (HA, in short) is a graded bundle of order together with a weighted VB comorphism from to (covering a mapping ) such that the relation , being the reduction to order one of , equips with an algebroid structure:
(2.19) |
In addition:
-
(i)
If is a symmetric relation, then the HA is called skew.111111This is equivalent to saying that the bracket on is skew-symmetric, see [JR18].
-
(ii)
If is skew and, in addition, the diagram
(2.20) is commutative, i.e., is a morphism in , then we call an almost Lie higher algebroid;
-
(iii)
Both vector bundles, and in the diagram (2.19), carry a canonical algebroid structure.121212 The -tangent lift of gives an algebroid structure on . If is a skew HA and is a subalgebroid of the product of these algebroids then is called a Lie HA.131313This condition can be restated as the dual VB morphism is a Poisson map, e.g. [Gra12]. Moreover, a Lie HA has to be AL, i.e., the condition (iii) implies (ii), see [JR18].
A morphism between higher algebroids and is a morphism of graded bundles such that is a -morphism. Higher algebroids with -morphisms form a category. The reduction of a HA to a lower order , gives a HA denoted by which is skew (resp. AL, Lie) if was so.
Example 2.8 ([JR18] HAs of order , in coordinates).
Let be local graded coordinates on a graded bundle of order . Taking into account only the graded bundle structure of , we obtain the following system of equations for . (We have underlined the coordinates on in order to distinguish them from the coordinates on .)
(2.21) |
for some structure functions . The condition corresponds to (2.18) and it ensures that the order-one reduction of gives a (general) algebroid structure on . If is a skew HA then and since is a symmetric relation. The structure functions satisfy certain equations reflecting the axioms of a higher-order algebroid. These equations are derived in Appendix, Subsection 4.3.
2.7 Reformulation of the definition of a HA in terms of algebroid lifts
We shall review the construction of higher lifts of sections of a vector bundle. This notion is used in various parts of this work, such as in the definition of algebroid lifts (see (2.29)), which facilitate the convenient description of the axioms of HAs (see Theorem 2.11).
Fix and let be a section of a vector bundle . We can interpret as a linear function on , the linear dual of . Let . Then the -lift of is a function on , commuting with , the homogeneity structure on . Therefore, can be interpreted as a section of the linear dual of the vector bundle , which is identified with the vector bundle via the non-degenerate pairing
(2.22) |
obtained as -lift of the pairing . The section of obtained this way is denoted by and called the -lift of the section . In standard coordinates on , and on , where , the -lift of the function is obtained using the general Leibniz rule, and has the form
It follows that the family , where and , forms a local frame of sections of the vector bundle . Moreover, , hence
(2.23) |
as the composition of functions and . From this it is straightforward to verify that this construction of is equivalent to the one presented in [JR18]. We have
(2.24) |
for , and . This is simply the Leibniz rule for the iterated derivative.
Definition 2.10 (Vertical lifts).
Let . We define a VB comorphism ,
(2.25) |
covering the natural projection by
(2.26) |
where is a curve in and is a curve in such that where .
Note that for we recover the map (2.5). It is clear that (2.26) does not depend on the choice of representatives and .
The -lift of the section can be presented as the composition of the complete lift with the vertical lift :
(2.27) |
A simple coordinate-based proof is left to the reader.
A (general) algebroid structure on the vector bundle can be lifted by means of -tangent functor to the vector bundle (see [JR18]). The lifted structure is called -order tangent lift of and denoted as . The algebroid bracket on satisfies
(2.28) |
for any integers such that , and any sections . Additionally, if . Moreover, if is a skew/AL/Lie algebroid, then so is .
Assume that is Lie. From (2.28), we observe that assigning the weight to a section of the form , where and , turns the Lie subalgebra of generated by homogeneous sections into a graded Lie algebra concentrated in weights . This Lie algebra has a Lie subalgebra generated by homogeneous sections of non-positive weights. It is of finite rank over .
Using the structure of a higher algebroid on a graded bundle one can define algebroid lifts of a section as follows:
(2.29) |
The notation is slightly different from that in [JR18] where the algebroid -lift of a section was denoted by and it is related as . Thanks to this correction, the vector field has weight and the equation (4.6) in [JR18] simplifies to
(2.30) |
for any and such that .
Any vector field of weight has a form
and has a well defined projection on , denoted by . Similarly, a vector field of weight is projectable onto , the projection is denoted by , see Lemma 4.1. Below is a reformulation of axioms of higher-order algebroids in terms of algebroid lifts.
Theorem 2.11.
Let be a graded bundle of order .
-
(i)
Assume that the order-one reduction of is a trivial VB of rank , i.e., it admits a trivialization , and let be the corresponding frame of . A general HA is provided by a graded bundle morphism and a collection of homogeneous vector fields , where , , such that the projection of each vector field onto coincides with . Moreover, the vector fields which define – the order-one reduction of , are the projections of and onto .
-
(ii)
A skew HA is almost Lie if and only if for any section and the vector fields and are -related.
- (iii)
Proof.
-
(i)
The sections form a frame for , hence their pullbacks form a frame for the pullback vector bundle . To set a comorphism , this amounts to defining a VB morphism from the VB to the tangent bundle of , covering the identity . This is done by assigning vector fields to the sections from the local frame. We send to . In other words, . Then the obtained comorphism is weighted, as the vector fields are homogeneous and preserves the weight.
The condition (2.18) corresponds to the fact that coincides with the projection of onto .
-
(ii)
The commutativity of the diagram (2.20), corresponding to the almost Lie axiom, can be reformulated as follows: For any section , the vector fields and are -related (see the proof of [JR18, Proposition 4.9]). In particular, in any AL HA , for any section and , the vector fields and are -related. (The latter are algebroid lifts with respect to the HA structure on .) On the other hand, if and then
Therefore, if the vector fields and are -related, then the same is true if we replace with . Hence, the thesis (ii) holds since sections of the form , where , span as -module. The proof of (iii) is presented in [JR18].
∎
Remark 2.12.
It suffices to verify the conditions given in Theorem 2.11 locally. Moreover, it is sufficient to take the sections of the vector bundle to be the elements of a frame of local sections. In this way, the almost Lie axiom and Lie axiom can be reduced (locally) to a finite number of equations:
-
(AL axiom)
The vector fields and are -related for any .
-
(Lie axiom)
for any such that .
Remark 2.13.
There is also a dual construction of the algebroid lifts associated with a HA , which coincides with the construction presented in [GU99] for Lie algebroids, i.e., when . Given a section considered as a linear function on , we have -lifts for . As we mentioned (see (2.22)), the vector bundles and are in natural duality, hence the dual of is a weighted vector bundle morphism of the form
By pulling back via we obtain linear functions on , thus vector fields on . It is evident (by working fiberwise) that this way we recover our algebroid lifts, i.e,
Let be a HA and be its reduction to order , where . The following lemma states that algebroid lifts and obtained using and , respectively, are compatible in some natural sense.
Lemma 2.14.
Let and . Then the vector field is projectable onto and its projection is .
Proof.
We shall use the construction of -lifts of a section , as defined in (2.27). We have
where the section is defined by where is a curve in . Hence, the vector field is the composition of maps with the VB morphism induced by . The thesis follows from the commutativity of the diagram
∎
2.8 Prolongations of an almost Lie algebroid
Let be a Lie groupoid with source and target maps denoted by , respectively. We consider a foliation on defined by -fibers , the distribution tangent to the leaves of , related objects like and the right action of on itself, where . The Lie algebroid of is usually defined as the vector bundle equipped with a map called the anchor, defined as and the Lie bracket on inherited from the Lie bracket of right-invariant vector fields on . (Such vector fields are in a one-to-one correspondence with sections of .) Another, yet equivalent construction of the Lie algebroid structure on , is provided by the reduction map ,
(2.33) |
which is a fiber-wise VB isomorphism obtained from the collection of maps . The Lie algebroid structure on is defined by means of the VB comorphism which is obtained as the reduction of . The advantage of the latter over the standard construction of the Lie functor is that it can be easily generalized to higher orders. This is obtained by means of the higher-order reduction map , defined analogously to , by the collection of maps .
Definition 2.15.
[JR15, Definition 3.3, Lemma 3.4] The -order Lie algebroid of a Lie groupoid is the graded bundle together with a VB comorphism where is the restriction of to subject to the natural inclusions and .
Actually, is a Lie HA in the sense of Definition 2.7 ([JR18, Proposition 4.13] and [JR15, Section 5]).
In [JR15] we introduced a slightly bigger class of examples of HAs obtained by means of the construction called the prolongation of an almost Lie algebroid . We will outline this construction, highlighting a possible more general context for certain constructions.
A pair of a vector bundle and a VB morphism covering the identity is called an anchored vector bundle. A curve is called admissible if the tangent lift of the curve coincides with the curve , i.e., . The subset of , defined as
(2.34) |
is called the -order prolongation of the anchored vector bundle (see [Pop04]). According to [BGG15b, Theorem 2.2.7], we have
(2.35) |
and
where is considered as a subset of via . It follows that the constructions of the sets here and in [JR15, Definition 4.1] are equivalent, see also [BGG15b] or [JR15, Theorem 4.5 (viii)], or [Mar15]. In particular, , considered as subsets of .
Define -order anchor map as . It is a graded bundle morphism.
2.9 Canonical inclusions II
Here, we highlight some natural embeddings induced by the anchored bundle structure on a vector bundle .
In addition to the inclusion from the definition of (2.34), there are inclusions defined by the restriction of to :
We should prove that the image is in , considered as a subset of . Let where is an admissible path in . Then . For any , the path is admissible, hence the curve lies in , so as we claimed. Using (2.10) we find that
(2.37) |
where , . Recall, , is a coordinate chart for induced from .
The rank of the graded bundle is where . Since is an inclusion and the ranks of the VBs and are the same, it induces an isomorphism of the core bundles. We define an isomorphism using the diagram
(2.38) |
i.e., coincides with . In the special case , the map coincides with , due to (2.12).
The following statement concerns the structure of the prolongation of an AL algebroid:
Lemma 2.16.
Let be an AL algebroid. The following diagram of isomorphisms is commutative
In particular, for we have a commutative diagram
where is the algebroid -lift of the vector field , associated with the HA . Moreover, the core of the anchor map can be identified with under the isomorphisms and .
Proof.
In view of (2.32), it suffices to check that the first diagram is commutative for sections from the local frame of . Due to the definition of , this problem reduces to verifying that the vector fields and are -related, where we can take . From (2.11), we see that . The vector field denotes the algebroid lift of with respect to , the -order prolongation of the algebroid . From the definition of algebroid lifts and (2.23) we obtain
The last equality follows from the fact that is the identity on the core bundle; hence, the same holds for , as well as for and .
For the last statement, concerning the case , note that the inclusions and induce the identity on the cores. Hence, coincides with , which can be identified with , as claimed. ∎
3 Structure of higher algebroids
In this section is a HA of order and is its reduction to order one.
3.1 Morphism .
We shall construct a canonical VB morphism from -order prolongation of an AL algebroid (see Preliminaries) to a given -order HA whose order-one reduction coincides with .
Definition 3.1.
Let be a HA of order . We apply the functor to the relation and define the relation to be the intersection of with subject to the natural inclusions and isomorphisms: , and (defined in Preliminaries):
Theorem 3.2.
Let be an AL HA and let be its order-one reduction. Then
-
(a)
is (the graph of) a -morphism, ,
-
(b)
intertwines the anchor morphisms: .
Proof.
First, we shall prove that if then . Then we shall show that is a mapping, and this will complete the proof of (a) and (b). Indeed, in vie of the characterisation of graded bundle morphisms [GR11], we only need to add that the relation is invariant with respect to the homogeneity structure on . This is because the inclusions , are graded bundle morphisms.
Take , let us denote by (resp., ) the images of (resp. ) in (resp., ) and consider the diagram
- •
-
•
The parallelogram on the left also commutes as , see [JR15, Theorem 4.5 (ix)].
-
•
The parallelogram on the right also commutes. This follows from a more general Lemma 2.3.
As , so , hence and are related by means of . However, due to the commutativity of the left and right parallelograms, both and are images of and , respectively, under the canonical inclusions of into and , respectively. Moreover, these images are -related, due to the commutativity of the top trapezoid. Since intertwines the canonical inclusions, , we get , as was claimed.
Now we shall prove (a), i.e., that the relation is a mapping. We shall proceed by induction on .
Obviously, is the identity mapping. Let and assume that is a mapping. The graph of is invariant with respect to the homogeneity structure of , hence is a morphism of graded bundles.
Step A. We shall fist prove that for any there is at least one such that .
We know from Lemma 2.5 that is a VB comorphism covering . Set , where and . Consider the diagram
We shall check first that the definition of is correct, i.e.,
(3.1) |
This amounts to show that the compositions and coincide. According to our inductive hypothesis, is equal to , hence (3.1) reduces to the commutativity of the square diagram on the left (pointed by the circular arrow ). The map is the restriction of to , see [JR15, Theorem 4.5 (ix)], hence it suffices to prove that the following diagram is commutative.
The inclusions are compatible with projections , i.e., the following diagram on the left is commutative:
The diagram on the right is not commutative in general, however for we have (by [JR15, Theorem 4.5 (viii)]): . This is enough for our claim (3.1).
Now we prove that is in . Consider the diagram
The subset of of those elements for which coincides with . We are given and such that and . It follows that .
Step B. We shall prove that for a given there is at most one such that . This will finish the proof of (a) and (b).
Assume are in for . Using the inductive hypothesis, we know that , hence , considered as elements of , are in the same fiber of the vector bundle . As and is a VB comorphism over , we must have as we claimed. ∎
Example 3.3 ( and in coordinates).
We shall provide an explicit coordinate expression for , assuming is given a general local form as in (2.21). According to the procedure given in the Definition 2.1, to get , in the first step we set and . Then we eliminate coordinates of weight , i.e., the coordinates and . In this way we arrive at the VB comorphism over given by
(3.2) |
Let , and let be the image of under the canonical inclusions (see (2.37), (2.6), (2.13)):
and
(Recall that , , , are coordinates for inherited from the adapted coordinates on . The coordinate system for is inherited from the adapted coordinate system on the tangent bundle of .) By plugging these expressions to (3.2) we find that if and only if
hence is an affine bundle morphism covering the identity given by
(3.3) |
where is the decomposition into symmetric and anty-symmetric part, namely
(3.4) |
In order three, additional equations for appear. Let be graded coordinates on a graded bundle where the coordinates have order 3. The additional equations for , extending those for , are of the form (we have omitted expressions that do not account for ): and
for some functions on of weight . Now we set to zero the coordinates of weight , i.e., , and eliminate the coordinates of weight , and . This way we get, in addition to (3.2), the following equations defining :
(3.5) |
which is a VB comorphism over :
Let , and let in and in denote their images subject to the inclusions and . We have
(3.6) |
where, due to the definition of ,
where
(3.7) |
Now assume that , are -related. We shall show that the first equation for in (3.5) is satisfied automatically. It amounts to show that given above coincides with
The last equality is due to (3.3) as the reductions of , to order 2 are -related. By comparing the coefficients at and at we see that the first equation in (3.5) is equivalent to the equations (4.13a) and (4.16b) considered in Appendix, which are true in any order-two AL HA. The second equation for gives
from which, using (3.6), we find a complete formula for ,
(3.8) |
Remark 3.4.
In deriving the formula for the mapping we did not use the assumption from Theorem 3.2 that is AL. Actually, is a well defined mapping for any skew HA .
Conjecture 3.5.
Let be a Lie HA. Then is a HA morphism.
It suffices to prove that is a -morphism. Recall, is the identity on , hence it remains to verify that the diagram
(3.9) |
is commutative. We already know that the bottom triangle is commutative (see Theorem 3.2). Therefore, we now need to prove that
(3.10) |
for any and such that , where . In other words, this means that the algebroid -lifts with respect to and are related for all . We shall prove Conjecture 3.5 for by direct computations. See Appendix, Subsection 4.3.
3.2 Higher algebroids in order two
In this subsection, we shall look closer at higher algebroids of order two. First, we shall describe the structure of the graded bundle , see Lemma 3.6. Then, we shall derive a number of structure maps which fully determine and reformulate the definition of a skew HA in terms of these structure maps and relations between them, see Theorem 3.13. We shall examine skew and Lie HAs in which the base is a point, see Theorem 3.15. We shall also find the relations between the structure maps and the conditions under which becomes an almost Lie (Theorem 3.16) and a Lie HA (Theorem 3.20). Finally, we will describe the relation between order-two HAs and Lie algebroid representations up to homotopy, see Theorem 3.26. We assume that is a skew HA.
Throughout this subsection, we denote by the order-one reduction of , i.e., , and – the core of . We set as a system of graded coordinates on and fix local frames of and of such that
(3.11) |
3.2.1 The structure of the graded bundle of a skew HA of order two
Define
(3.12) |
as the core of the map , see Definition 3.1, where the core of is identified with under the isomorphism , see (2.38). . Consider the map defined on the product (over ) of graded bundles and by
(3.13) |
(We recall that stands for the graded bundle defined on the total space of the VB by assigning weight to linear functions on .) The map is a surjective morphism of graded bundles, hence can be identified as the quotient of by the equivalence relations , where
Since covers the identity , the elements and project to the same element in . As is an affine bundle, we can write . In other words, is in the graph of the map , which is a subset of , the core of the graded bundle . Therefore, what we need to define is only the map .
Lemma 3.6.
Let be a skew, order-two HA.
- (i)
-
(ii)
A choice of local frames and of and , respectively, gives rise to a graded coordinate system for (considered as the quotient of ), defined by . The composition coincides with the map which, in the introduced coordinates , read as
Definition 3.7.
We call an adapted system of graded coordinated on a HA . It is uniquely defined once we set a system of local frames , , and is characterised by the equality .
Proof.
Set , . We have already shown that there is a well defined bijection between and the quotient defined as the set of equivalence classes of the following equivalence relation: if and only if there exists such that . It is also evident that this bijection is an isomorphism of graded bundles since it is a special case of the following more general construction: given a graded bundle of order and a vector subbundle of the core , the quotient which is the orbit space of the action on of the subbundle of the core, inherits a graded bundle structure from .
Recall that and denote the dual frames to and , respectively. Then forms a graded coordinate system on . The introduced equivalence relation on this space reads as: if and only if , , . Therefore, the functions are well-defined on the quotient , and is a graded coordinate system on this quotient.
3.2.2 The structure maps of a skew HA of order two
The subspace of vector fields of weight is a locally free -module canonically isomorphic to the space of sections of the core bundle . We shall often identify these spaces without further comment. In coordinates as in (3.11), the isomorphism takes to , see Lemma 2.6.
The reduction of to order one yields a skew algebroid, whose structure maps will be denoted by and . We assume that has a local form introduced in (2.21). Then
where is a local frame of sections of which is dual to the frame . The core of the anchor map provides a VB morphism
(3.14) |
In more detail, is the composition of with the isomorphism , see (2.9).
The next mapping is a VB morphism defined by -linear map
(3.15) |
where , see (2.29) for algebroid lifts. (It will turn out soon that , the core of the map .) In a similar manner we define
(3.16) |
which is a skew-symmetric mapping and
(3.17) |
called the action of on . The system of equations (2.21) describing results in the following formulas for the algebroid lifts :
(3.18) |
From this, we can easily derive the coordinate expressions for the introduced mappings :
(3.19) |
where is given in (3.4), and the minus sign in the last line arises from our preference for working with left actions. Note that coincides with as , see (3.3).
The symmetric part of is involved141414The assignment does not give rise to a globally defined map. Change to gives another assignment. in the canonical map (see equations (3.3)). It turns out that the remaining structure functions alone do not define any geometric mapping. Instead, it is the functions
(3.20) |
that give a mapping
(3.21) |
A coordinate-free definition of is
(3.22) |
It is just a matter of direct computation of Lie brackets to show (3.21). Introduce
(3.23) |
so . The skew-symmetric part of satisfies
(3.24) |
Further decomposition of by means of the Schur decomposition (where is the kernel of the total symmetrization map) yields no additional information as due to the Jacobi identity for vector fields. It will be convenient to work with
(3.25) |
and its symmetric part
(3.26) |
instead of and . In local coordinates we have where
(3.27) |
Note that satisfies
(3.28) |
due to (3.24).
Example 3.8.
We shall describe the structure maps of – the second order prolongation of an AL algebroid . In standard coordinates on it is given locally by the equations , hence form a coordinate chart for . The coordinate description of is
(3.29) |
where are defined in (3.7) and
(3.30) |
We find that defined in (3.15), coincides with the identity on , with respect to the isomorphism given in Lemma 2.16,
Moreover, is Lie, so is a Lie algebra morphism. Hence, , see Theorem 2.11. Thus we may write up to the isomorphism . Similarly, , and from (3.28) and the Jacobi identity. Moreover, by Lemma 2.16.
Remark 3.9.
We can analogously define the following structure maps for any order HA :
where and are such that . In particular, defines a VB morphism
Moreover, we have the structure maps
and
(3.31) |
defined as the core of the anchor map composed with the isomorphism given in (2.7). If is Lie then, due to Theorem 2.11, , so all the structure maps with fixed coincide with .
Let us assume that is a Lie algebroid. Then is a Lie HA. The map gives the identification which coincides with , and
while .
We introduce a few additional maps, denoted by , , , , , associated with a skew HA of order two. It will turn out that if is AL then all these maps, except for , vanish. If is Lie then also is zero. These maps will be used in formulation of tensor-like properties of the structure maps we have already introduced.
Definition 3.10.
Let be a skew HA, , . We define
(3.32) | ||||
(3.33) | ||||
(3.34) | ||||
(3.35) |
where or .
Lemma 3.11.
The maps , , , , introduced in Definition 3.10 have the following properties:
-
(i)
The maps and are tensorial in both arguments, so they give rise to the VB morphisms and , respectively. Moreover, .
-
(ii)
The map is tensorial in , bot not in , in general. We have . Moreover, .
-
(iii)
is a derivation, hence the codomain of is correctly defined. Moreover, is tensorial in , but it is not tensorial in , in general. Namely,
In coordinates,
(3.36) |
The skew-symmetric part of , , is expressed in terms of the other structure maps:
(3.37) |
The symmetric part of , , writes in coordinates as151515 It is tempting to consider a mapping . However, one can easily check that it does not give rise to a globally defined map.
(3.38) |
where are defined in (3.7). Moreover, the condition (compare with Theorem 3.2) is equivalent to the conjunction and .
The proof is given in Appendix, subsection 4.2.
It turns out that the map corresponds to a certain graded bundle morphism. A slightly more general result holds:
Lemma 3.12.
(a) Let be an anchored vector bundle, and let be a VB morphism . Then, symmetric maps satisfying
(3.39) |
are in a one-to-one correspondence with graded bundle morphisms . The corresponding graded bundle morphism has the local form
(3.40) |
where and , and (respectively, ) is a local frame of sections of the vector bundle (respectively, ).
The proof is given in Appendix, subsection 4.2.
The structure maps defined above, , , , and are not -linear in general, but satisfy certain tensor-like identities presented in the following result.
Theorem 3.13 (order-two skew HAs).
(a) Let be a skew higher algebroid of order two, , . Let , , . Then
-
•
The map is skew-symmetric and
-
•
The map satisfies
-
•
The symmetric map satisfies
- •
(b) Conversely, let be a skew algebroid and be a vector bundle. Then a system of the following maps:
-
(i)
VB morphisms and covering the identity on ,
-
(ii)
a skew-symmetric map satisfying (• ‣ 3.13),
- (iii)
-
(iv)
a symmetric map satisfying (• ‣ 3.13),
- (v)
define a skew order-two HA on the graded bundle (see Lemma 3.6) uniquely. (Note that the maps , , , , which appear in the Leibniz-type identities of the structure maps listed here, can be expressed in terms of the aforementioned maps, see Definition 3.10 and Lemma 3.11.)
Proof.
The proof of part (a) – regarding the tensor-like properties of the structure maps , , , , and listed above – is technical and has been moved to Appendix, Subsection 4.2.
Proof of part (b): Let be a skew algebroid, and assume the structure maps listed above, , , , , and , are given.
Given the VB morphisms and , the construction of the graded bundle as the quotient of is well-founded, see Lemma 3.6. We shall now present the construction of the graded bundle morphism .
There is a graded bundle morphism corresponding to and , as explained in Lemma 3.12. Define a map
(3.41) |
where and project to the same point in , and denotes the action of the core bundle on . We shall show that this map factors through the action of the graph of , the subbundle of the core bundle , giving rise to a map from the quotient graded bundle , constructed in Lemma 3.6. It remains to show that
does not depend on . Indeed, the change in the core is equal to
since and by the definition of . A direct calculation from the coordinate formulas (3.38) and (3.40) shows that the resulting map is indeed given by the desired formula:
where is the adapted coordinate system on the quotient, so and , see Definition 3.7.
We show now how to recover the comorphism , which covers the graded bundle and governs the HA structure on the graded bundle . All the local structure functions , , , , , , , can be derived from the structure maps listed above once we fix a graded coordinate system on . (All these functions are defined locally, over an open subset .) Without loss of generality, we may assume that is an adapted coordinate system (Definition 3.7), so .
The local structure functions , , and are derived from the map . Next, and are derived from the maps and , respectively, by means of (3.19). Finally, is determined from , see (3.27).
The structure functions establish a HA structure over the base , through the equations (2.21), where . Moreover, the comorphism determines all the structure maps , , , , , and which are defined on sections of the vector bundles and . Also the other structure maps present in the formulation of our theorem, the maps , , and are determined by , as explained in Definition 3.10.
These maps are consistent with the restrictions of the corresponding maps given at the outset as the latter are local operators and satisfy the same Leibniz-type identities. For example, by (3.19), where on the RHS, denotes the given structure map restricted to . Moreover, both and satisfy the same Leibniz-type identities given in (• ‣ 3.13) and (• ‣ 3.13), because coincides with , and similarly for and . Therefore, , for any and .
Therefore, if , then and coincide with , which is defined by the restrictions of the structure maps to the sections over . Therefore, is globally well-defined. ∎
Remark 3.14.
The map in the formulation of part (b) of Theorem 3.13 can be replaced by the VB morphism , defined in (3.35). Indeed, the map is related to via the formula given in Lemma 3.11, . Hence, the Leibniz-type identity (• ‣ 3.13) follows from the Leibinz rule of the bracket on . Note also that the anchor is uniquely determined by the bracket on .
3.2.3 HAs over a point
We shall study HAs in which the base is a point. Any such structure is fully described by a weight-respecting mapping (see Theorem 2.11)
(3.42) |
where the algebra is defined as the order-one reduction of . Let be a basis of the vector space , be the corresponding dual basis and let be a graded coordinate system for in which the weight and . To define a HA it amounts to provide vector fields for such that
(3.43) | ||||
(3.44) |
where are the structure constants for , i.e., , see Theorem 2.11. It follows that (resp. ) are homogeneous functions on of weight (resp., ). The obtained (general) HA is AL if and only if the bracket is skew-symmetric.
Order two.
The map covers , hence it gives a canonical section of the bundle projection . In case , is an affine bundle projection, hence the mapping yields a canonical splitting
where , and where . We are going to describe the structure of the graded, finite dimensional Lie algebra . In standard graded coordinates on , vector fields of non-positive weight , where, have the following form
where are some constants, and . The Lie algebra acts faithfully on the linear subspace , spanned by homogenous functions of weight . It has a -basis consisting of the functions and we have . By examining the action of the vector fields , , , we easily find the following decomposition (compare with a more general Lemma 4.1),
(3.45) |
The formula for the Lie bracket on will be given in the proof of Theorem 3.15, see (4.9).
We shall describe algebroid lifts , where , by means of the structure maps of . Then it will be straightforward to verify the condition given in Remark 2.12, ensuring that is a Lie HA.
Theorem 3.15.
The structure of a skew, order-two HA over a point is fully determined by the linear maps , , , , . The associated algebroid lifts are given (with respect to the isomorphisms listed in (3.45)) by
A skew HA is Lie if and only if is a Lie algebra, equips with a -module structure, is a -module morphism, and the mapping is given by
Hence, order-two Lie higher algebroids over a point are in a one-to-one correspondence with -module morphisms .
The proof is straightforward but somewhat lengthy, so it has been moved to Appendix, Subsection 4.2.
Order greater than two.
The graded bundle hosting a higher Lie algebroid over a point of order greater than two need not split in a canonical way. A simple example is provided by a non-split graded space such that – a vector space of dimension 0. In this case, the VB comorphism must be the zero map, i.e., is the zero map for any , as the domain is zero-dimensional. A concrete example of this is , where is a fixed point on a manifold , and the linear coordinates on are assigned weight , while the weight of is .
Following the example given in [JR18, Section 6], a graded Lie algebra , where , equipped with a graded Lie algebra morphism such that , gives rise to a split Lie higher algebroid of order .
3.2.4 AL HAs of order two
There are a few relations among the structure maps of a skew HA that we introduced above, ensuring that it is an almost Lie algebroid.
Theorem 3.16 (order-two AL HAs).
Let be a skew order-two HA. Then is AL if and only if
() | |||
() | |||
() | |||
() | |||
() |
Corollary 3.17.
An order-two AL HA on a graded bundle is defined by:
-
•
an AL algebroid structure on the vector bundle ;
-
•
VB morphisms , , and ,
-
•
maps and that satisfy the aforementioned Leibniz-type identities,
such that conditions () and () are satisfied, and the images of the maps and lie in the kernel of the VB morphism .
Proof.
Assume is an AL HA. Then follows from (), and the identity
follows from (3.37) and (). Therefore, , due to (). Clearly,
Conversely, from Theorem 3.16 and Remark 3.14, it follows that the maps listed in Corollary 3.17 define a skew HA (with ).
The identity (3.2.4) holds by the assumption , (), and (). Hence , and () follows from the assumption .
Remark 3.18.
The equation () implies that is -linear in both arguments. Also the difference between left and right hand side in () is -linear in and thanks to (). Moreover, in this case, also and are -linear in all arguments, see (• ‣ 3.13), (• ‣ 3.13). Therefore, it is enough to check the condition listed in Theorem 3.16 for arguments from local frames , of and , respectively.
Remark 3.19.
Note that in the AL case, (3.41) simplifies to , giving rise to the -order anchor map .
Proof of Theorem 3.16.
Let be an almost Lie HA. Point () is part of the definition of an AL algebroid. We shall show (3.2.4). From Theorem 3.2 (b) and Lemma 3.11 we obtain and (). We shall show (3.2.4) from which the condition follows, hence (), see again Lemma 3.11.
It is well known that if , , and is a differentiable mapping such that the vector fields are -related for then and -are -related, as well. Hence, using Theorem 2.11, we find that the vector fields and are -related. On the other hand, is a vector field of weight corresponding to the section while as is a Lie HA (see Example 2.9). The latter corresponds to the section , see Lemma 2.16. Hence, using Lemma 2.6 and (3.14), we find that . This completes the proof of (3.2.4).
Consider as the vector field on . Then the vector fields and are -related, see Lemmas 2.6, 2.16 and the definition of . Due to the AL-assumption on , the vector fields and are -related, so the corresponding Lie brackets, i.e., the vector fields and are -related, as well. Since is Lie, the latter vector field corresponds to and () follows.
For (), due to the AL-assumption, is -related with
Hence, the sections and are -related. Therefore,
due to (3.2.4) and ().
On the other hand, we assume that the structure maps of satisfy the conditions ()-() and shall show that the vector fields and , both of weight , are -related for . This implies that is almost Lie due to Theorem 2.11.
Let . The vector field is projectable onto and its projection coincides with the -algebroid lift , see Lemma 2.14. Similarly, is also a vector field projectable onto and it coincides with the tangent algebroid -lift . Thus the case reduces to the condition that is AL, and we are done.
The proof in the case is given in Appendix, Subsection 4.3 where we perform direct calculations using coordinates. ∎
3.2.5 Lie HAs of order two
In the following result, we provide conditions (referred to as the axioms of Lie HAs) on the structure maps introduced earlier, ensuring that a given AL HA is a Lie HA.
Theorem 3.20 (Lie HAs of order two).
Let be an AL HA. Then is Lie if and only if
is a Lie algebroid, | () | ||
() | |||
() | |||
() | |||
() |
Remark 3.21.
The condition () can be replaced with
() |
Indeed, vanishing of follows from (3.28), () and (). Thus, () follows from (), () and ().
Remark 3.22.
It is a straightforward calculation to show that, in an AL HA, the mapping , as well as the Jacobiator (3.46), is a tensor. Moreover, if is AL, then also the difference between LHS and RHS of the remaining conditions (), () and () is also tensorial. Hence, it is enough to verify all the conditions given in Theorem 3.20 on sections from local frames of the VBs and .
Remark 3.23.
The structure of a Lie HA is fully determined by the Lie algebroid structure on , along with the maps , , and , such that the following compatibility conditions hold: (), (), (), and (). Indeed, we define a skew HA on the graded bundle described in Lemma 3.6 by setting via (), so that , and , , see Theorem 3.13. The resulting skew HA is AL (see Corollary 3.17), and Lie as () follows from ().
Proof.
Assume that is a Lie HA, hence is a Lie algebroid, hence () holds. According to Theorem 2.11, an almost Lie HA is Lie if and only if
(3.47) |
for , and and . We shall show first that (3.47) implies the remaining conditions () – ().
The condition () can be rewritten in the form
and it follows from (3.47) with and the Jacobi identity for vector fields. The conditions () and () can be equivalently written as (3.47) with and . Indeed,
(see (3.25)), and this equality is true thanks to (3.47) with .
Conversely, assume that the conditions ()-() hold. Then, for , we write
Similarly, for :
The case is more complicated. Denote , so . We shall show first that is annihilated by . We have
(We have used the compatibility of algebroid lifts with respect to and its order-one reduction , as guaranteed by Lemma 2.14.) The latter is (as is Lie) and this coincides with the projection of onto . Hence, the vector field is vertical with respect to the projection , as we claimed. Hence, by Lemma 4.1(v), i.e., can be considered a VB morphism .
We know that , hence From condition () we find that for any section we have . For and , the Lie bracket of vector fields on reads as
see Lemma 4.1. We take . Vanishing of for any implies .
We follow a similar idea in the case . Consider , so , and refer to the exact sequence (4.1) in Lemma 4.1. We aim to show that is in the kernel of the projection . Indeed, the vector fields are tangent to the submanifold (as they have weight and is given in by the equations ), so . Thus, . Analogously to the case , we have , as . Hence we know, that , i.e., it has a form
for some functions on . Next, we notice that for any section we have
Indeed, and
Therefore, for any . On the other hand, for any , we have
up to isomorphisms given in Lemma 4.1. Therefore, . ∎
3.2.6 HAs of order two and representations up to homotopy of Lie algebroids
The notion of the representation up to homotopy of Lie algebroids was introduced in [AC12]. Some recollection on this subject is given in Appendix, Subsection 4.4. In our case of interest (2-term representations), the definition given in [AC12] boils down to the following data: a Lie algebroid , a 2-term complex of vector bundles over concentrated in degrees and , -connections on , for , and -form such that
-
(i)
for any ;
-
(ii)
, and where denotes the curvature of an -connection , see (4.22);
-
(iii)
the covariant derivative of vanishes, i.e., where is the -connection on induced by and , see (4.25).
(Note that and , where denotes an operation on -forms induced by the composition of maps, see (4.23).) All this data can be gathered together to a so called the structure operator , determined by the triple (also denoted by ) defined by means of the wedge product, as , see (4.28). The compatibility conditions (i) - (iii) can be shortly written as , see Appendix. A morphism to consists of a morphism of complexes (i.e., ) and a 1-form such that
-
(i)
,
-
(ii)
.
These conditions can be shortened to and can be rewritten in a more explicit form as
(3.48) |
(3.49) |
(3.50) |
The advantage of the framework of representations u.t.h. of Lie algebroids is that it is more flexible and contains generalizations of some important concepts from the theory of Lie algebras. The example is the adjoint representation. It is modelled on the complex
and the -connections on this complex is induced by a linear connection on the vector bundle in the following way161616Two choices of connections on leads to isomorphic representations.
(3.51) | ||||
(3.52) |
The curvatures of the -connections and are expressed in the terms of the following -form, called the basic curvature , as , , where
(3.53) |
see [AC12]. The structure operator for the adjoint representation of a Lie algebroid is denoted by .
From order-two Lie HA to 2-term representations.
Let be a Lie HA of order two. Recall that it is determined by the Lie algebroid structure on the vector bundle (being the order-one reduction of ), and the structure maps , , , see Remark 3.23. We shall define a Lie algebroid representation u.t.h. on the complex , in degree 0, – degree 1. Our construction mimics the adjoint representation of a Lie algebroid.
Definition 3.24.
Let us choose a linear connection on the vector bundle and define:
-
•
an -connection on :
where , ;
-
•
an -connection on :
-
•
an two-form :
We assume that in both constructions, the adjoint representation and the representation on the complex , we have chosen the same linear connection on . Then, the -connections defined above and in the adjoint representation, also coincide. Moreover,
(3.54) |
where is given in (3.53). Indeed, by comparing the formulas for and , for (3.54) we need to show that
(3.55) |
This can be rewritten as
and it is true due to the AL assumption (see (), () in Theorem 3.16).
Lemma 3.25.
An order-two Lie higher algebroid gives rise, as explained in Definition 3.24, to a representation u.t.h. of the Lie algebroid (the order-one reduction of ) on the complex
(3.56) |
with the structure operator given by . Two choices of the connection on the vector bundle result in isomorphic representations. Moreover, gives rise to a morphism from the constructed representation to the adjoint representation of .
Proof.
It is straightforward to check that is an -connection. Indeed, using tensor-like properties of described in Theorem 3.13, we get
Similarly, we check that is a derivative endomorphism,
The -connections and are compatible with . Indeed,
Here, we used () and () which are true in any Lie HA. In analogy to [AC12, Proposition 2.11] we shall prove that
-
(i)
and ;
-
(ii)
, i.e., is closed with respect to the -connection on induced by and .
Recall that the curvature of is , hence
i.e., due to (3.54). For the curvature of we apply to (3.53) and get
On the other hand,
We have analogous expressions , , and for . We should show that
We see that the expressions , and cancel, due to (). Similarly for the two expressions denoted by . Next, the expressions cancel due to (), and similarly for . Finally, for we have
hence equals . Similarly, cancels with the sum of and . Here we used Theorem 3.16: () and ().
We shall prove the second claim that the 2-form is closed. We shall use (3.54) and the equality which is proved in [AC12]. We have
by (3.55). The proof that is a structure operator is completed.
Let us assume that we have chosen two linear connections and on the vector bundle . We define and , . Note that . Then establishes an isomorphism between the representations u.t.h. of the Lie algebroid , induced from a given HA , defined by means of the linear connections and , respectively. Indeed, the equation (3.48) writes as
The RHS is and the same is LHS as . The second equation (3.49) writes as
and both sides are equal to due to the definitions of and the -connection on (see Definition 3.24). The third equation (3.50) is a consequence of a similar result for the adjoint representation. Namely, if , , , then is an isomorphism between the adjoint representations of the Lie algebroid associated with the linear connections and , respectively. We have
hence, from (3.54) and (3.55), we find that
Hence, (3.50) can be written in our case as:
and it follows from the same equation (3.50) applied to the adjoint representation, i.e., with , , and replaced with , , and , respectively.
Recovering HA.
Assume we are given a Lie algebroid , the structure operator , which provides a representation u.t.h. of on the complex . Let be a morphism to the adjoint representation , where is a chosen linear connection on . We assume that and , where , are the components of :
We shall show how to recover the structure of a Lie HA on the graded bundle constructed in Lemma 3.6 by means of the VB morphism given already. The structure map of the HA are taken from the diagram above, as . The structure map is recovered by means of the formula given in Definition 3.24,
We easily check the tensor-like properties of the action :
-
•
, as is -linear in .
-
•
due to the properties of -connections.
We shall show that the compatibility conditions given in Theorem 3.20, which ensure Lie HA structure are satisfied.
Obviously, () is true due to the commutativity of the diagram above. Since the conditions (3.48), (3.49), (3.50) simplify to:
-
(i)
The -connections on the vector bundle , being part of the structure operators and , coincide;
-
(ii)
;
-
(iii)
.
We have
due to the formula (3.52) for . It proves (). Next,
by the compatibility with , so () is true. It remains to prove that satisfies (), see Remark 3.23.
We replace with , see (iii), and with , and find that , where
We expand the last bracket using the formula (3.51) for and replace with (3.53), and after cancelling similar terms we get
thanks to the formula for given in (3.52). The proof of () is completed. We have obtained the following result.
Theorem 3.26.
Let be a Lie algebroid and let us fix a vector bundle , a linear connection on and a VB morphism over .
Assume, in addition, that we are given a representation u.t.h. of the Lie algebroid on the complex , and a morphism from this to the adjoint representation such that and . Here, , , are the components of .
Then, there exists a unique HA structure on the graded bundle constructed in Lemma 3.6, such that the representation u.t.h. of the Lie algebroid , and the morphism , described in Lemma 3.25, are the given ones. This establishes a one-to-one correspondence between order-two Lie HA structures on the graded bundle and morphisms of the above form.
3.2.7 HAs, VB-alegbroids and representations up to homotopy
A brief account of VB-algebroids is given in Preliminaries.
Recall that the constructions from Definition 3.24 and the adjoint representation depend on the choice of a linear connection on the vector bundle . However, there is a way to avoid this choice. The motivation comes from description of 2-term representations in a framework of VB-algebroids, as discovered in [GSM10]. In this framework, the adjoint representation of is the VB-algebroid – the tangent prolongation of the algebroid .
Corollary 3.27.
A Lie HA can be described by means of the following data:
-
(i)
a VB-algebroid structure on a DVB whose side bundles are and and the core is also ;
-
(ii)
a VB-algebroid morphism from to (the adjoint representation of ) such that is the identity on the side bundle and also on the core bundle :
(3.57)
We proceed with the proof by recalling the correspondence between 2-term representations and VB-algebroids. Details are nicely presented in [GSJLMM18].
Let be a DVB with the core , as in (2.2). As shown in [GSM10], a VB-algebroid structure on the DVB , as in (2.2), together with a horizontal lift , i.e., a splitting of the short exact sequence (2.3), gives rise to a representation u.t.h. of the Lie algebroid . (Recall that such horizontal lifts are in bijective correspondence with decompositions of the DVB , and with the inclusions .) We shall review this construction. First of all, it is a representation on the 2-term complex , where is the core of the anchor map . (Note that and .) The -connections on and , denoted by and are the following (see [GSJLMM18]):
(3.58) |
where , and denotes 1-1 correspondence between derivative endomorphism of and linear vector fields on . The last component, -form is defined as
(3.59) |
A DVB morphism between decomposed vector bundles, , covering , is uniquely defined by restrictions of to the side bundles and the core and a 1-form ,
(3.60) |
If and then defines a graded VB morphism , . Note that .
Theorem 3.28.
Let be a Lie algebroid.
-
(i)
[GSM10] Let be a DVB as in (2.2), and be a horizontal lift. (It gives rise to a decomposition .) Then the formulas (3.58) and (3.59) establish a one-to-one correspondence between algebroid structures on that provide a VB-algebroid structure on the DVB and 2-term representations u.t.h. of the Lie algebroid on the complex .
-
(ii)
[DJLO15] Let the decomposed DVBs , carry VB-algebroid structures and assume that the Lie algebroids , are the same. Then a DVB morphism such that , is a VB-alegbroid morphism if and only if , where , and , is a morphism between the associated 2-term representations.
Proof of Corollary 3.27.
Let us assume that we are given a VB-algebroid morphism , as above. Denote . Let be any linear connection on . This corresponds to a decomposition of the DVB . Thanks to presence and properties of , the DVB has a decomposition, induced by , as well. Indeed, is an affine bundle morphism from to covering . It is fiber-wise bijective since is the identity on the core bundle . Hence, there exists a unique decomposition such that .
In our case, the VB-algebroid structure on the DVB , given in (3.57), induces a representation of the Lie algebroid on the complex . Besides, as a morphism of VB-algebroids, induces a morphism of 2-term representations, as described in Theorem 3.28. In our case, vanishes, since respects the decompositions of and . Therefore, is of the form described in Theorem 3.26, i.e., , , .
We shall prove that the -connection on in the complex is the same as in the adjoint representation. According to (3.58), these -connections on the core bundles of and , denoted by and , respectively, are given by
where . We have since is a Lie algebroid morphism (covering the projection ), the corresponding decompositions of DVBs and are -related () and induces the identity on the core bundles. It follows that .
Hence, due to Theorem 3.26, we get a HA structure on a certain canonically constructed graded bundle , defined in Lemma 3.6. We shall prove that the obtained HA does not depend on the choice of the linear connection on . It amounts to showing that the structure map
does not depends on the choice of . (The -connection on associated with the VB-algebroid in (3.57) is the -connection denoted by in (3.58).) Let be another linear connection on , so . From [GSJLMM18, Remark 2.12], we find that
where is as above and is the difference of the decompositions of the DVB induced by the linear connections and . We have , hence . Moreover,
what finishes the proof of our claim, , as , see Definition 3.24. ∎
Example 3.29.
We shall describe the representation u.t.h. of associated with the HA – the prolongation of a Lie algebroid . From Example 3.8, it follows from that this is a representation on the complex , and the -connections defined in Definition 3.24, denoted by and , coincide. Moreover, the 2-form given in Definition 3.24 is the curvature of the -connection . Indeed, we know from [AC12] that while , see (3.54), so as in our case.
Now consider the linearisation of the graded bundle as a DVB, where we shall recognize a VB-algebroid structure and a morphism to the adjoint representation corresponding to the HA structure on , as described in Corollary 3.27. It was shown in [BGG15b, Theorem 2.3.8] that and that it carries a natural weighted algebroid structure. In the special case , we find that
and the DVB carries a canonical structure of a VB-algebroid. Note that the side bundles and the core of are naturally identified with the VB . Moreover, the Lie algebroid structure on the vector bundle , where is the projection onto the first factor, is a special case of the construction called the prolongation of a Lie algebroid, see [Mar01] and [BGG16]. The morphism of VB-algebroids has a straightforward form, is induced by the projection onto the second factor:
We shall illustrate now the procedure of reconstructing an HA from a given representation a Lie algebroid and a morphism to the adjoint representation.
Example 3.30.
We shall reconstruct a HA out of the adjoint representation of a Lie algebroid and the morphism being the identity on . According to Lemma 3.6, is the quotient where the relation is induced by the graph of . Note that order-one reduction of is , and its core is . We can geometrically describe the graded bundle as follows:
Take and in . Then if and only if , , and , where is consider as an element of via the isomorphism between and . (Recall, consists of such that .)
The structure maps of the HA are easy to describe: , and , according to the definition of , see (3.52). Since is a Lie HA we have , and .
3.3 Final remarks and questions
The results presented in this paper (e.g. Theorems 3.26, 3.15) are the source of new examples of order-two graded bundles and HAs, eg. Example 3.30, and raise questions about the classification of HAs under certain natural assumptions. This represents one potential direction for further development based on the findings of this paper.
Another avenue of research on HAs involves exploring how HAs of order are related to representations u.t.h. of Lie algebroids.
In light of the paper [BO19] on the integration of 2-term representations of Lie algebroids, a natural question arises about the integration of HAs. What higher-order groupoids are and how they relate to HAs?
Recall that HAs were introduced as geometric-algebraic structures providing a proper language to formulate a geometric formalism of higher-order variational calculus (generalizing the first-order case). We hope this work will encourage further developments in the area of HAs and higher-order geometric mechanics.
4 Appendix
In what follows, denotes graded coordinates on a graded bundle . In the case , we continue using the notation from Subsection 3.2 and Example 2.8. In particular, , , and , denote local frames of the VBs and , respectively; are graded coordinates on compatible with the chosen frames , .
4.1 Vector fields of non-positive weight on graded bundles
In the following lemma, we study the structure of the space of vector fields of non-negative weight on a graded bundle .
Lemma 4.1.
Let be a graded bundle of order and let denotes the Lie algebra of non-positively graded vector fields on .
-
(i)
The Lie subalgebra of linear vector fields on the total space of a vector bundle coincides with the Lie algebra of derivative endomorphisms of the dual bundle, .
-
(ii)
A vector field of weight zero is projectable onto for any , in particular on .
-
(iii)
is an abelian extension by of the Lie subalgebra of consisting of pairs such that and project onto the same vector field on :
(4.1) where the projection is given by and the kernel of can be canonically identified with the space of VB morphisms .
-
(iv)
There is a short exact sequence of graded Lie algebras
(4.2) where denotes the subspace of of those vector fields which are vertical with respect to the projection .
-
(v)
In case , the homogeneous part of weight of (4.2) reads as
Proof.
Point (i) is well known, see e.g. [KSM02] or [EVT19, Remark 2.1]. For the proof of (ii), write a vector field in a general local form
where functions are homogenous of weight . It follows that the function does not depend on coordinates of weights greater than , so it is the pullback of a function on .
Obviously, annihilates and defines a projection of the vector field onto , which is . A very similar proof works for the projections where . For the proof of (iii) write in the form
It follows that the vector field restricted to the submanifold is tangent to it and . Besides, , hence and project to the same vector field on . Moreover, the kernel of the projection consists of vector fields of the form which can be identified with a VB morphism from , where .
4.2 Leibniz-type identities of the structure maps of HAs
Proof of Lemma 3.12.
Let and be local frames of sections of the vector bundle , related by . Let be a frame of the vector bundle . The graded bundle morphism has the local form
where . On the other hand, a map satisfying the Leibniz-type identity (3.39) is locally determined by the VB morphism and local functions , where , as follows:
In the given correspondence, corresponds to the core VB morphism , via the isomorphism . To complete the proof, we shall show that the change, , of local frames of results in the same transition functions for the local functions as for . By calculating the differential of , we find that the local coordinates on transform as , ,
It follows that if then , and
On the other hand,
Therefore, the transformations for are the same as those for , as we claimed. ∎
The following three lemmas concern the calculus with algebroid lifts introduced in (2.29). The first one, Lemma 4.2, is the most general – we do not assume any HA structure.
Lemma 4.2.
Proof.
(i) Recall that the vector field is constructed in two steps. First, we take the vertical lift of where , and then we compose it with , see (2.29). We shall describe by means of its flow.
We take and in (2.25) and read from (2.26) that the vertical lift sends to . Hence, the vector field is given by
where , , is the flow of the vector field . Hence,
as we claimed.
(ii): First of all, note that the function has weight ; hence, it is the pullback of a function on the base , and it is enough to verify the equality (4.4) at a point .
The tangent vector is represented by the curve , which is equal to if , where is the homogeneity structure on . Hence,
Assume that the image of in is represented by a curve , , i.e.,
Then as -velocity in , hence
Therefore,
Let be local coordinates on around such that . It is enough to prove (4.4) for . If then . Hence, the left and right hand sides of (4.4) coincide with . ∎
Lemma 4.3.
Let be an AL HA.
-
(i)
For and , the following identities hold
for any .
-
(ii)
where and are the VB morphisms given in Remark 3.9.
Proof.
Proof of (i): Denote for time being. We know from Theorem 2.11 that the vector fields and are -related, hence for any function we have . We take , use (4.3) and get
as . This proves the first equality.
The second one follows from Lemma 2.14. Indeed, consider the reduction of to weight . We find that the vector field is projectable onto and its projection is hence the equality follows from the previous one by replacing with .
Proof of (ii): The claim follows from the commutativity of the following diagram
where the arrow in the middle, labelled by , denotes a relation: if the vector fields and are -related. Actually, this relation restricted to the lowest degree becomes a mapping . Moreover, and are defined by means of algebroid lifts, as in Remark 3.9. It follows from Lemma 2.16 that the composition of maps in the lower row is the identity on . All maps in the diagram are -linear, hence they give rise to VB morphisms. The square on the left is commutative due to Theorem 2.11 and the AL assumption. The square on the right is also commutative and it is a more general fact: can be replaced there with any graded bundle morphism , as stated in Lemma 2.6. ∎
Recall, that for , the formula (2.31) gives
(4.5) |
We shall need the following lemma for proving tensor-like properties of some structure maps associated with a skew HA .
Lemma 4.4.
Let be a skew HA. Let , and . Then
-
(i)
, where is given in Lemma 2.6,
-
(ii)
,
-
(iii)
,
-
(iv)
.
Remark 4.5.
We consider and as functions on using the pullbacks of by and , respectively. Note that if is AL, then , hence (ii) coincides in this case with Lemma 4.3 (i) with . It is tempting to add in (iii) the equality , but this requires the assumption (), see Lemma 4.3. In the AL case, point (iv) simplifies to .
Proof.
In general, the -lift has weight , the anchor map preserves the gradings on and , while the vector field , where , has weight . Hence whenever .
Clearly, the equation (i) is -linear in , so it is enough to show (i) for from a frame of local sections of . We have , so
(4.6) |
Similarly, using (4.5), we find that (ii) and (iii) are -linear in . Thus it is enough to verify these equalities for . This is straightforward: we use the formulas for and find that , which coincides with due to (3.19), thereby proving (ii). Next, , and all three expressions in (iii) are equal to .
It remains to prove (iv). We claim that the left and right hand sides of (iv) are -linear in , and their difference is also -linear in . Indeed, consider (iv) with replaced with and expand as in (4.5). Note that has weight 1 and so it is killed by , hence while
Similarly, using point (iii) and a weight argument, we obtain
and, in the same way, . It proves our claim, and thus it is enough to check (iv) with and . We have
hence kills above expressions. By applying we get
(4.7) |
and we are done. ∎
Proof of Lemma 3.11 and Theorem 3.13 part (a).
The formulas and come from the definitions of the corresponding maps, compare (3.35) with (3.16), (3.15) and (3.17). The other properties of the maps and given in Lemma 3.11 follow immediately from the properties of the maps and given in Theorem 3.13, which we are going to prove first.
- •
- •
-
•
Proof of the properties of the map given in Lemma 3.11:
Let for time being, so is a function on of weight two. From (4.5) and the definition (3.33) of we get
by a weight argument, hence is tensorial in its first argument. Also
by Lemma 4.4(ii) and (iii), hence we get (iii). Set , , so . By inspecting weights and using and Lemma 4.4(iii) we find that
while
hence is a derivation. The coordinate formula (3.36) for follows directly from (3.18) and (4.6):
The formula (3.38) for follows immediately from (3.36). The skew-symmetric part of is derived from (3.33):
and this coincides with the formula (3.37) due to the definition of and Lemma 4.4(i). The direct computation of using (3.3) gives
and comparing it with
as read from Example 3.8, gives the desired equivalence: if and only if and , see (3.7) and (3.38).
-
•
Proof of (• ‣ 3.13) and (• ‣ 3.13): The map defined in (3.22) satisfies
() () () where . We expand as in (4.5) and using Lemma 4.4 we get
where is defined in (3.33). Summing up these three equalities, we get (). The equalities () and () can be derived in a very similar way and we omit the proof. The direct use of the definition of (see (3.25)) and the properties of and lead to
where and , , and are as in Definition 3.10. From this, the equations (• ‣ 3.13) and (• ‣ 3.13) follow immediately.
∎
Proof of Theorem 3.15.
First, we shall describe the structure of the Lie algebra with respect to the decomposition given in (3.45). We write , , , where , , , , , and . We have
(4.9) |
For example, the formula for can be derived as follows. A vector is idenified with the vector field , and an endomorphism , such that , is identified with the vector field . Then, . In a similar way we derive the remaining formulas.
The formulas for algebroid lifts , where , given in the formulation of our theorem, define vector fields which have the form as in (3.43) since the projection of onto is and the bracket is skew-symmetric. Therefore, these vector fields define an AL higher algebroid.
Conversely, let be a skew HA defined by means of algebroid lifts given above. Let us temporarily denote by , , , the maps associated with , defined in Subsection 3.2 by formulas (3.15), (3.16), (3.17), (3.26), respectively. We shall show that , , , .
The definitions of and coincide, hence . For the proof of the equality we have
due to the skew-symmetry of and the formulas (4.9) for the bracket on . For we write
due to the formulas for the bracket restricted to . The proof of is a bit longer. First, we calculate
(4.10) |
hence
Thus , which is obtained by symmetrizing in , coincides, due to the skew-symmetry of , with the symmetrization of , and the latter simplifies to , as was claimed.
4.3 Equations for AL and Lie HAs
We shall use Theorem 2.11 to write equations for structure functions corresponding to almost Lie HAs. The obtained equations will be used to complete the proof of Theorem 3.16.
AL HAs.
Let be an AL HA and let , be as in Subsection 3.2. The vector fields for are given in (3.18). The formulas for -algebroid lifts are easily derived from (2.31) by notting that is equal to , and for , respectively. Thus
(4.12) |
(Note that and . The above formulas for can also be obtained from (3.18) and (3.29).) We check whether vector fields and are -related, where . Straightforward calculations leads to the following system of equations (referred to as AL HA equations):
(4.13a) | |||||
(4.13b) | |||||
(4.13c) | |||||
(4.13d) | |||||
(4.13e) |
where
(4.14) |
(The equations (4.13a), (4.13b) correspond to the cases and , respectively; while (4.13c) (4.13d) and (4.13e) correspond to the case . Note also that the equations (4.13a), (4.13b), (4.13c), and (4.13d) follows immadiately from (), (), (), and (), respectively.) Note that
(4.15) |
The equation (4.13b) can be replaced with
(4.16a) | |||||
(4.16b) |
where is given in (3.7).
Completion of the proof of Theorem 3.16.
We shall prove that if a skew HA satisfy the conditions listed in Theorem 3.16, then it is almost Lie. It amounts to proving that the vector fields and , see (3.18) and (4.12), are -related for . We have already proved this for , so it remains to prove this for , i.e., to verify the equations (4.13c,4.13d 4.13e).
The equation (4.13c) means , which is true since the algebroid is AL. Next, the condition (4.13d) means , and it follows from ().
The proof of (4.13e) is a bit more involved. We claim that
(4.17) |
where is given in (3.23) and is the same structure map but associated with the HA . Indeed, implies and from we find that
We shall show that (4.17) gives (4.13e). We shall work with an adapted coordinate system for (see Definition 3.7), so . The general idea is to express entirely in terms of the structure functions and its derivatives and then compare with , which is easily seen to be of this form. From the expression for in (3.21) we find that
hence
We replace with
and similarly for and get
(4.18) |
As by (4.16b) the condition (4.13e) can be equivalently written as
It remains to show that the last expressions coincides with . This a direct calculation of the brackets of vector fields. Namely, from (4.15) we get
On the other hand, the following identity holds
which can be verified by expanding and using (3.7) and (4.14), and then grouping and cancelling similar terms. On the LHS is the part of the expression (4.18) involving second derivatives. After plugging the RHS to (4.18) we shall easily recognize the desired formula. ∎
Lie HAs.
Proof of Conjecture 3.5 in the case .
Let be a local basis of sections of and denote – the –algebroid lifts, . Using (3.18) and Example 3.8 we find that
(4.20) |
It remains to show that the vector fields and , given in (3.18), are -related. As is the identity on we only need to show that
(4.21) |
for where is given in (3.3). For , this equation is satisfied automatically. For , it results in equation (4.19c). For , the equation (4.21) can be expressed as a combination of (4.19b) and (4.19d). ∎
4.4 Representations up to homotopy of Lie algebroids
We shall review some calculus and sign conventions concerning representations up to homotopy of Lie algebroids. We follow the presentation given in [AC12].
Let be a Lie algebroid. Then is known as the algebra of -differential forms. In the case the tangent algebroid, , it is simply the algebra of differential forms on the manifold . There is an algebroid de Rham differential, called -differential , which is a derivation of such that
-
(i)
, for , ;
-
(ii)
, where , .
It is well known that a Lie algebroid can be equivalently described by means of — a degree 1 derivation on , see [Vai97].
Let be a vector bundle over the same base . An -connection on is a mapping , such that
for . Recall that the curvature of an -connection on is the tensor given by
(4.22) |
where , .
The space of -valued -differential forms is defined as . In the setting of representations u.t.h., the vector bundle is -graded, i.e., , where is, so called, the vector bundle of homogenous vectors of degree . Given graded vector bundles , over the same manifold , let , where denotes the bundle homomorphism from to that increase the degree by . In other words, the fiber over is a collection of linear maps . In the special case we write for . An element is said to be of total degree . There is an important operation, called the wedge product
associated with a degree preserving graded vector bundle morphism . It is given by
(4.23) |
where the summation is over all -shuffles, . The left -module structure on is given by the wedge product associated with the isomorphism and is denoted by . On the other hand, the isomorphism gives rise to the right -module structure on , that makes a symmetric -bimodule,
thanks to the sign in (4.23). We shall frequently encounter the case of the wedge product associated with the composition of homomorphisms which will be denoted by . We have
(4.24) |
for -valued -forms , , . The operation turns into a graded associative algebra. The graded commutator on is defined by . Another case is the wedge product associated with the evaluation map which will be denoted in the same way as where , , since the evaluation map is a special case of the composition of maps, thanks to the isomorphism .
Definition 4.6.
[AC12] A representation up to homotopy of a Lie algebroid consists of a -graded vector bundle and an operator, called the structure operator,
of total degree one which satisfies and the graded derivation rule
for , . A morphism linking two representations u.t.h. is a degree zero -module map which commutes with the structure operators and .
There is a one-to-one correspondence between -forms of total degree and operators of degree which are -linear in the graded sense. The operator is given by . The equation (4.24) implies that , where , .
A cochain complex is a -graded vector bundle equipped with an endomorphism such that , i.e., a differential on . Such a differential can be consider as a -form with values in , and gives rise to an operator , . It satisfies and
The sign comes from (4.23). Given two complexes , and we get the induced -form defined as
which takes values in , where is the total degree of . We have the complex with the differential obtained by specializing to the case which reads as
where , , and stands for the degree of . It follows immediately from (4.24) that
In the case we can write .
Besides, an -connection on a vector bundle induces an operator on of degree one defined by means of Koszul formula. This formula can be derived from the conditions:
-
(i)
for -forms ;
-
(ii)
the graded derivation rule: .
Given -connections , on the graded vector bundles , respectively, we get an -connection on given by
(4.25) |
where , and is a section of . The corresponding operator on is given by
To prove it one shows that satisfies the graded derivation rule and that it reduces to the formula (4.25) when is a -form.
The structure operator of a representation u.t.h. can be decomposed into a sequence of -valued -forms and an -connection giving an equivalent description. A precise statement is the following:
Proposition 4.7.
[AC12, Proposition 3.2 and Definition 3.3] The structure operator on a -graded vector bundle can be equivalently given by a series of maps:
-
•
A degree operator on making a complex, i.e., .
-
•
An -connection on , i.e., for .
-
•
A 2-form such that .
-
•
A sequence of -valued -forms, 171717Note that has total degree 1such that for each
(4.26)
A morphism from to is given by a sequence of -forms such that is a map of complexes and for each
(4.27) |
References
- [AC12] C. A. Abad and M Crainic. Representations up to homotopy of Lie algebroids. Journal für die Reine und Angewandte Mathematik, 663:91–126, 2012.
- [BGG15a] A. J. Bruce, K. Grabowska, and J. Grabowski. Graded bundles in the category of Lie groupoids. Symmetry, Integrability and Geometry: Methods and Applications, 11, 2015.
- [BGG15b] A. J. Bruce, K. Grabowska, and J. Grabowski. Higher-order mechanics on graded bundles. J. Phys. A: Mathematical and Theoretical, 48(20):205203, 2015.
- [BGG16] A. J. Bruce, K. Grabowska, and J. Grabowski. Linear duals of graded bundles and higher analogues of (Lie) algebroids. J. Geom. Phys., 101:71–99, 2016.
- [BGR16] A. J. Bruce, J. Grabowski, and M. Rotkiewicz. Polarisation of graded bundles. SIGMA Symmetry Integrability Geom. Methods Appl., 12:106, 2016.
- [BGV18] A. J. Bruce, J. Grabowski, and L. Vitagliano. Representations up to homotopy from weighted Lie algebroids. Journal of Lie Theory, 28(3), 2018.
- [BO19] O. Brahic and C. Ortiz. Integration of 2-term representations up to homotopy via 2-functors. Transactions of the American Mathematical Society, 372(1):503–543, 2019.
- [DJLO15] T. Drummond, M. Jotz Lean, and C. Ortiz. VB-algebroid morphisms and representations up to homotopy. Differential Geometry and its Applications, 40:332–357, 2015.
- [EVT19] C. Esposito, L. Vitagliano, and A. Tortorella. Infinitesimal Automorphisms of VB-Groupoids and Algebroids. The Quarterly Journal of Mathematics, 70(3):1039–1089, 2019.
- [GG08] K. Grabowska and J. Grabowski. Variational calculus with constraints on general algebroids. J. Phys. A, 41(17):175204, 2008.
- [GR09] J. Grabowski and M. Rotkiewicz. Higher vector bundles and multi-graded symplectic manifolds. J. Geom. Phys., 59:1285–1305, 2009.
- [GR11] J. Grabowski and M. Rotkiewicz. Graded bundles and homogeneity structures. J. Geom. Phys., 62:21–36, 2011.
- [Gra12] J. Grabowski. Modular classes of skew algebroid relations. Transform. Groups, 17:989–1010, 2012.
- [GSJLMM18] A. Gracia-Saz, M. Jotz Lean, K. C. H. Mackenzie, and R. A. Mehta. Double Lie algebroids and representations up to homotopy. Journal of Homotopy and Related Structures, 223:287–319, 2018.
- [GSM10] A. Gracia-Saz and R. Mehta. Lie algebroid structures on double vector bundles and representation theory of Lie algebroids. Advances in Mathematics, 223:1236–1275, 2010.
- [GU99] J. Grabowski and P. Urbański. Algebroids – general differential calculi on vector bundles. J. Geom. Phys., 31:111–141, 1999.
- [JR13] M. Jóźwikowski and M. Rotkiewicz. Higher algebroids with applications to variational calculus. arXiv:1306.3379v1, 2013.
- [JR15] M. Jóźwikowski and M. Rotkiewicz. Models for higher algebroids. J. Geom. Mech., 7:317–359, 2015.
- [JR18] M. Jóźwikowski and M. Rotkiewicz. Higher-order analogs of Lie algebroids via vector bundle comorphisms. SIGMA Symmetry Integrability Geom. Methods Appl., 14:135, 2018. arXiv:1708.03174.
- [KSM02] Y. Kosmann-Schwarzbach and K. C. H Mackenzie. Differential operators and actions of Lie algebroids, volume 315 of Contemporary Mathematics, pages 213–233. Amer. Math. Soc., 2002.
- [Mac05] K. C. H. Mackenzie. General theory of Lie groupoids and Lie algebroids. Cambridge University Press, 2005.
- [Mar01] E. Martínez. Geometric formulation of mechanics on Lie algebroids. In Proceedings of the VIII Fall Workshop on Geometry and Physics, volume 2, pages 209–222. Publicaciones de la RSME, 2001.
- [Mar15] E. Martínez. Higher-order variational calculus on Lie algebroids. J. Geom. Mech., 7(1):81–108, 2015.
- [Mor70] A. Morimoto. Liftings of tensor fields and connections to tangent bundles of higher-order. Nagoya Math. J., 40:99–120, 1970.
- [Pop04] Paul Popescu. On higher order geometry on anchored vector bundles. Open Mathematics, 2(5):826–839, 2004.
- [Pra75] J. Pradines. Fibrés vectoriels doubles et calcul des jets non holonomes. PhD thesis, 1975.
- [Vai97] A. Yu. Vaintrob. Lie algebroids and homological vector fields. Russian Mathematical Surveys, 52(2):428, 1997.
- [Vor02] Th. Th. Voronov. Graded manifolds and Drinfeld doubles for Lie bialgebroids, volume 315 of Contemporary Mathematics, pages 131–168. Amer. Math. Soc., 2002.
- [Vor10] Th.Th. Voronov. Q-manifolds and higher analogs of Lie algebroids. AIP Conf. Proc., 1307:191–202, 2010.