arxiv: v1 [math.dg] 2 Jan 2019

Transcription

1 THE WEIL ALGEBRA OF A DOUBLE LIE ALGEBROID arxiv: v1 [math.dg] 2 Jan 2019 ECKHARD MEINRENKEN AND JEFFREY PIKE Abstract. Given a double vector bundle D M, we define a bigraded bundle of algebras W(D) M called the Weil algebra bundle. The space W(D) of sections of this algebra bundle realizes the algebra of smooth functions on the supermanifold D[1, 1]. We describe in detail the relations between the Weil algebra bundles of D and those of the double vector bundles D, D obtained from D by duality operations. In particular, we show that doublelinear Poisson structures on D can be described alternatively as Gerstenhaber brackets on W(D), vertical differentials on W(D ), or horizontal differentials on W(D ). We also give a new proof of Voronov s result characterizing double Lie algebroid structures. In the case that D = TA is the tangent prolongation of a Lie algebroid, we find that W(D) is the Weil algebra of the Lie algebroid, as defined by Mehta and Abad-Crainic. We show that the deformation complex of Lie algebroids, the theory of IM forms and IM multivector fields, and 2-term representations up to homotopy all have natural interpretations in terms of our Weil algebras. Contents 1. Introduction 1 2. Double vector bundles 5 3. Double-linear functions The Weil algebra W(D) Linear and core sections of A D Poisson double vector bundles Double Lie algebroids Applications 42 Appendix A. Some technical results for double vector bundles 49 References Introduction A well-known result of Vaintrob [53] states that the Lie algebroid structures on a given vector bundle A M are equivalent to cohomological vector fields Q on the graded supermanifold A[1]. In classical language, the smooth functions on A[1] are the sections of the exterior bundle A, and Vaintrob s observation says that Lie algebroids A are completely determined by the associated Chevalley-Eilenberg complex (Γ( A ),d CE ). If A is obtained by applying the Lie functor to a Lie groupoid G M, then the Chevalley- Eilenberg complex is the infinitesimal counterpart to the complex of groupoid cochains on G; 1

2 2 ECKHARD MEINRENKEN AND JEFFREY PIKE the van Est map of Weinstein-Xu [56] gives a cochain map from the groupoid complex to the Lie algebroid complex. We are interested in generalizations of this theory to double Lie algebroids, as introduced by Mackenzie [40]. A double Lie algebroid is a double vector bundle D B A for which all the sides are equipped with Lie algebroid structures, and with a certain compatibility condition between the horizontal and vertical Lie algebroid structures. As a simple example, the tangent bundle of any Lie algebroid is a double Lie algebroid. Double Lie algebroids are of major importance in second order differential geometry. They arise as the infinitesimal counterparts of double Lie groupoids, and as such appear in Poisson geometry and related areas of mathematics. Voronov [55] proved that a double Lie algebroid structure on D is equivalent to two commuting homological vector fields Q h,q v, of bidegrees (1,0) and (0,1) on the bigraded supermanifold D[1,1]. Put differently, C (D[1,1]) is a double complex, generalizing the Chevalley-Eilenberg complex of a Lie algebroid. One of the aims of this paper to give a classical description of this double complex, avoiding the use of super-geometry. For any double vector bundle D, we will construct a bigraded bundle ofalgebrasw(d)overm, whosespaceofsectionsw(d) = Γ(W(D))maybeseenasthesmooth functions on the supermanifold D[1, 1]. To explain our construction, let D be any double vector bundle with side bundles A, B. By results of Grabowski-Rotkiewicz [18], the compatibility of the two vector bundle structures is simply that the horizontal and vertical scalar multiplications commute. The submanifold on which the two scalar multiplications coincide is itself a vector bundle over M, called the core of D. We denote by M E = core(d) its dual bundle. There is a vector bundle Ê M whose space of sections consists of the smooth functions on D that are double-linear, i.e., linear both horizontally and vertically. It fits into an exact sequence 0 A B i Ê Ê E 0, where the map Ê E is given by the restriction of double-linear functions to the core, while the map iê is given by the multiplication of linear functions on A,B. The above sequence is the dual of the DVB sequence of Chen-Liu-Sheng [11]. Our definition of the Weil algebra bundle is as follows: Definition. TheWeil algebra bundle ofthedoublevector bundled isthebundleofbigraded supercommutative algebras W(D) = ( A B Ê)/ where is the quotient by the (fiberwise) ideal generated by elements of the form αβ iê(α β)

3 THE WEIL ALGEBRA OF A DOUBLE LIE ALGEBROID 3 for (α,β) A M B. Here, generators α A have bidegree (1,0), generators β B have bidegree (0,1), and generators ê Ê have bidegree (1,1). The bigraded supercommutative algebra W(D) = Γ(W(D)) will be called the Weil algebra of D. Double vector bundles come in triples, with cyclic permutation of the roles of the vector bundles A,B,E over M: D A B M D B with core(d) = E, core(d ) = A, core(d ) = B. The double vector bundle D is obtained by taking the dual of D as a vector bundle over B and interchanging the roles of horizontal and vertical structures; similarly D = (D ). (One has (D ) = D.) See Section 2. Accordingly, we have three Weil algebras W(D), W(D ), W(D ). A linear Liealgebroid structureof D as a vector bundleover A, also known as a VB-algebroid structure of D over A, is equivalent to a double-linear Poisson structure on D, and also to a VB-algebroid structure of D over E. (See [40].) Section 6 explains in detail how these structures are expressed in terms of the Weil algebras. In particular, one finds: Theorem I. Let D be a double vector bundle. Then the following are equivalent: (a) a VB-algebroid structure of D over A, (b) a vertical differential d v on W(D), (c) a horizontal differential d h on W(D ), (d) a Gerstenhaber bracket (of bidegree ( 1, 1)) on W(D ). Using cyclic permutations of D,D,D, one has similar results when starting out with a VB-algebroid structure of D over B or with a double-linear Poisson structure on D. Section 7 deals with the situation that D has any two of these structures; in particular we prove: Theorem II. Let D be a double vector bundle, with VB-algebroid structures over B as well as over A. Then the following are equivalent: (a) D is a double Lie algebroid, (b) the horizontal and vertical differentials d h,d v on W(D) commute, (c) the horizontal differential d h on W(D ) is a derivation of the Gerstenhaber bracket, (d) the vertical differential d v on W(D ) is a derivation of the Gerstenhaber bracket. The equivalence (a) (b) recovers Voronov s result [55] mentioned above; however, we will give a direct proof of this result, not using any super-geometry. More precisely, given vertical and horizontal VB-algebroid structures, the proof will give an explicit relationship between their compatibility (or lack thereof) and the supercommutator of the two differentials. Thus, for any double Lie algebroid we obtain a double complex E M (W(D),d h,d v ) D E A M

4 4 ECKHARD MEINRENKEN AND JEFFREY PIKE realizing the space of smooth functions on D[1,1]. If D = Tg is the tangent bundle of a Lie algebra, viewed as a double Lie algebroid with A = g, B = 0, E = g, we have that W(Tg) = g g is the standard Weil algebra, with d h the Chevalley-Eilenberg differential for the g-module g and d v the Koszul differential. In this case, W(D ) = g g, with bracket extending the Lie bracket of the semi-direct product g g for the adjoint action and differential d h the Koszul differential, while W(D ) = g g, with bracket extending the pairing between g and g (this is a special case of Kosmann-Schwarzbach s big bracket [29, 31]), and with d v the Chevalley-Eilenberg differential for the g-module g. More generally, if D = TA is the tangent bundle of a Lie algebroid A, the double complex W(TA) coincides with the Weil algebra of the Lie algebroid A, as defined by Mehta [49] using super-geometry, and by Abad-Crainic [1] in a classical framework. In a forthcoming work, we will develop van Est homomorphisms for double Lie groupoids and VB-groupoids, generalizing the theory of [56, 1, 36]. Returning to a general double vector bundle, let A D be the exterior bundle of D viewed as a vector bundle over A. By considering the homogeneity of sections in the B-direction, one can define (Section 5) a distinguished subspace Γ lin ( A D,A) of linear sections. This space has a natural interpretation as part of a Weil algebra: Γ lin ( A D,A) = W,1 (D ). As a consequence of Theorem I above, a double-linear Poisson structure on D determines a degree 1 differential on Γ lin ( AD,A), while a VB-algebroid structure on D over A determines a Gerstenhaber bracket on Γ lin ( A D,A). For the double vector bundles TV, TV, T V where V M is a vector bundle, these spaces have well-known interpretations. For example W 1, (T V) = X lin (V), W1, (TV) = Ω lin (V) are the spaces of linear multi-vector fields on V and linear differential forms on V, with their natural Schouten bracket and the usual de Rham differential induced by the Poisson structure on T V and the VB-algebroid structure TV V, respectively. If V M is a Lie algebroid, one also has horizontal differentials on W(T V) and on W(TV), coming from the VB-algebroid structures T V V and TV TM, respectively. In Section 8, we will show that W 1, (T V) ker(d h ) = X IM (V), the space of infinitesimally multiplicative multi-vector fields on V, as introduced in [27]. Similarly, we recover the result of Bursztyn-Cabrera [5] that W 1, (TV) ker(d h ) = Ω IM (V), the infinitesimally multiplicative differential forms on V [5]. On the other hand, the graded space W,1 (T V), with the differential d h, may be identified with the deformation complex of Crainic-Moerdijk [14]: W,1 (T V) = C def (V). Further applications relate the Weil algebra to matched pairs of Lie algebroids [51], and to the notion of representations up to homotopy [2, 20, 22]. After completion of this work, Madeleine Jotz Lean informed us that she had independently obtained a geometric construction of the Weil algebra for split double Lie algebroids, using the ideas from [20, 35].

5 THE WEIL ALGEBRA OF A DOUBLE LIE ALGEBROID 5 Acknowledgments. It is a pleasure to thank Francis Bischoff, Henrique Bursztyn, Madeleine Jotz Lean, Yvette Kosmann-Schwarzbach, and Kirill Mackenzie for fruitful discussions and comments related to this paper. 2. Double vector bundles 2.1. Definitions. The concept of a double vector bundle (DVB) was introduced by Pradines [52]. A double vector bundle is described by a diagram (1) D B A where all arrows are vector bundles, and where the horizontal and vertical vector bundle structures are compatible. In the original definition, these compatibility conditions involved a long list of conditions, for example the interchange property (2) (d 1 + h d 2 )+ v (d 3 + h d 4 ) = (d 1 + v d 3 )+ h (d 2 + v d 4 ), relating the horizontal addition + h and the vertical addition + v (here the d 1,...,d 4 are elements of D for which these sums are defined). This was greatly simplified by Grabowski- Rotkiewicz [18] who found that vector bundle structures are completely determined by their scalar multiplications, and that the compatibility conditions for double vector bundles are satisfied whenever the corresponding scalar multiplications κ h t,κ v t commute. Similarly, a morphism of double vector bundles (DVB morphism) is a smooth map ϕ: D D intertwining both scalar multiplications. The submanifolds A,B of D are called the side bundles, and M is called the base. The projections to the side bundles combine into a DVB morphism M (3) ϕ: D A M B, where A M B has the double vector structure given by the two obvious scalar multiplications. (See also Section 2.2 below.) This map is a surjective submersion (see Lemma A.2 in Appendix A); hence the preimage of the base under this map is a submanifold core(d) = ϕ 1 (M) D called the core of the double vector bundle. It admits an alternative characterization as the submanifold on which the two scalar multiplications coincide (Lemma A.3): (4) core(d) = {d D t R: κ h t(d) = κ v t(d)}. The restriction of κ h t (or, equivalently, of κ v t ) is the scalar multiplication for a vector bundle structure on core(d) M. The core may be regarded as a subbundle of D, for the vertical vector bundle structure D A and also for the horizontal vector bundle structure D B. The core action on D is the vector bundle action core(d) M D D, given by (5) (ε,d) ε d = d+ h (a+ v ε) = d+ v (b+ h ε)

6 6 ECKHARD MEINRENKEN AND JEFFREY PIKE where (a,b) = ϕ(d). (One uses the interchange property (2) to check that the two expressions coincide, and that they define an action.) The action is free, with quotient map the map ϕ: D A M B considered above. From now on, we will reserve the notation for the dual bundle of the core. E = core(d) Remark 2.1. We would much prefer the letter C, since we will make extensive use of a cyclic symmetry interchanging the bundles A,B, and core(d) ; see Section 2.5 below. However, since C is commonly used to denote the core itself, this might cause confusion with the existing literature. An invertible morphism from D to itself is called a DVB automorphism; it is called a DVB gauge tranformation if it induces the identity on the base M. The gauge transformations are sections of a bundle of Lie groups Gau(D) M. Restriction to the side bundles and the core gives a group bundle homomorphism from Gau(D) to GL(A) M GL(B) M GL(E). This map is surjective, and its kernel has the following description: Proposition 2.2. For any double vector bundle D, the bundle of gauge transformations fits into a short exact sequence 1 A B E Gau(D) GL(A) M GL(B) M GL(E) 1. Here the action of ω A B E (regarded as a bilinear map A M B E ) on D is described in terms of the core action as See [21], or see Section 2.4 below. d ω(ϕ(d)) d Examples. Here are some examples of double vector bundles: (a) If A,B,E are vector bundles over M, then A M B M E is a double vector bundle A M B M E B A with core given by E. The horizontal and vertical scalar multiplications are given by κ h t(a,b,ε) = (ta,b,tε) and κ v t(a,b,ε) = (a,tb,tε), respectively. In particular, any vector bundle V M can be regarded as a double vector bundle in three ways, by playing the role of A,B or E. (b) If V M is any vector bundle, then its tangent bundle and cotangent bundle are double vector bundles TV V TM M with core(tv) = V (thought of as the vertical bundleof TV M ) and core(t V) = T M. The DVB structure on T V was first discussed in [45]. T V V M V M

7 THE WEIL ALGEBRA OF A DOUBLE LIE ALGEBROID 7 (c) Suppose V M is a subbundle of a vector bundle W Q. Then the normal and conormal bundle of V in W are double vector bundles ν(w,v) V ν(q,m) M ν (W,V) V (W N /V) with core(ν(w,v)) = W M /V and core(ν (W,V)) = ν (Q,M). (d) Let M 1,M 2 be submanifolds of a manifold Q, with clean intersection [25]. Then there is a double normal bundle with base M = M 1 M 2, ν(q,m 1,M 2 ) ν(m 1,M) M ν(m 2,M) M The core is TQ M /(TM 1 M +TM 2 M ). Note that the rank of the core equals the excess of the clean intersection. More details on this example will be given in a forthcoming work. Given a double vector bundled as in (1), one can switch the roles of the horizontal and vertical scalar multiplications. This defines the flip (6) flip(d) A B A more interesting way of obtaining new double vector bundles is by taking dual bundles, horizontally or vertically. We will denote these by D h and D v, respectively: D h E B M Also common are the notations D B, D A (e.g., [43]) or DB, D A (e.g., [22]). The horizontal and vertical scalar multiplication on D h are characterized by the property M D v A E M κ h t (φ),d = t φ,d = κv t (φ),κv t (d), for φ D h, d D in the same fiber over B. Similarly, for ψ D v, d D in the same fiber over A, κ h t (ψ),κh t (d) = t ψ,d = κv t (ψ),d. One finds core(d h ) = A, core(d v ) = B. Clearly, flip(d v ) = flip(d) h. In Example 2.2(b), T V is the vertical dual of TV, while in Example 2.2(c), ν (W,V) is the horizontal dual of ν(w,v).

8 8 ECKHARD MEINRENKEN AND JEFFREY PIKE 2.3. Splittings. Let D be a double vector bundle over M, with side bundles A,B and with core(d) = E. A splitting (or decomposition) of D is a DVB isomorphism D A M B M E, inducing the identity on A,B,E. Here the DVB structure on the right hand side is as in Example 2.2(a). A splitting amounts to a DVB morphism ψ: A M B D that is right inverse to the map ϕ: D A M B from (3): Indeed, such a map ψ extends to a DVB isomorphism A M B M E D, (a,b,ε) ε ψ(a,b), using the core action. Example 2.3. Let V M be a vector bundle, and TV its tangent bundle regarded as a DVB. A splitting of TV is equivalent to a linear connection on V, with the DVB morphism ψ: V M TM TV as the horizontal lift for the connection. (Cf. [23, Example 2.12].) Theorem 2.4. Every double vector bundle admits a splitting. The set of splittings is an affine space, with sections of A B E as its space of translations. This result was stated in [22] with a reference to [18]; a detailed proof was given in the Ph.D. thesis of del Carpio-Marek [15]. (The recent paper [24] by Heuer and Jotz Lean generalizes this result to n-fold vector bundles.) In the appendix (see Theorem A.4), we will present a somewhat shorter argument. From Theorem 2.4, we see in particular that every double vector bundle D is a fiber bundle over its base manifold M, with bundle projection q = κ h 0 κv 0 : D M. Its fibers D m = q 1 (m) are double vector spaces (i.e., double vector bundles over a point). Given a smooth map f: N M, the pullback (as a fiber bundle) f D = N M D N D becomes a double vector bundle; in the case of an embedding as a submanifold this is also denoted as a restriction D N. In particular, given two double vector bundles D 1,D 2 over the same base M, we may define the direct sum D 1 D 2 M as the restriction of D 1 D 2 to the diagonal The associated principal bundle. Given a double vector bundle D as in (1), let A 0 = R n 1, B 0 = R n 2, E 0 = R n 3 where n 1,n 2,n 3 are the ranks of A,B,E respectively. Let D 0 be the double vector space (7) D 0 = A 0 B 0 E 0 with the horizontal and vertical scalar multiplications κ h t(a,b,ε) = (a,tb,tε), κ v t(a,b,ε) = (ta,b,tε). Given m M, a DVB isomorphism from the fiber D m to the fixed double vector space D 0 is a frame for the double vector space D m. Any two such frames are related by the action of Gau(D 0 ). This group has the following description: Lemma 2.5. [21] The group of DVB automorphisms of D 0 = A 0 B 0 E0 is a semi-direct product (8) Gau(D 0 ) = ( GL(A 0 ) GL(B 0 ) GL(E 0 ) ) (A 0 B 0 E 0),

9 THE WEIL ALGEBRA OF A DOUBLE LIE ALGEBROID 9 with the obvious action of GL(A 0 ) GL(B 0 ) GL(E 0 ) on D 0, and with ω A 0 B 0 E 0 acting as (9) (a,b,ε) (a,b,ε+ω(a,b)). Definition 2.6. Given a double vector bundle D, we define its frame bundle P M to be the principal G = Gau(D 0 )-bundle, with fibers P m the set of DVB isomorphisms D m D 0. Remark 2.7. In[33], thesemi-direct product(8) is regarded as adouble Lie group, andageneral theory of double principal bundles for double Lie groups is developed. Many constructions with double vector bundles may be expressed in terms of bundles associated to P. In particular, D is itself an associated bundle for the action (9), (10) D = (P D 0 )/G while the Lie group bundle Gau(D) is the associated bundle for the adjoint action of G = Gau(D 0 ) on itself. The exact sequence for Gau(D) in Proposition 2.2 is now immediate from the description of Gau(D 0 ) in Lemma 2.5. A splitting of D is equivalent to a reduction of the structure group of P to the subgroup GL(A 0 ) GL(B 0 ) GL(E 0 ) G; the fibers Q m of the reduction Q P are all those DVB isomorphisms D m D 0 that also preserve the splittings. In other words, a splitting amounts to a section of the bundle P/(GL(A 0 ) GL(B 0 ) GL(E 0 )). The group Gau(D 0 ) has a canonical involutive automorphism g g, given as the identity on GL(A 0 ) GL(B 0 ) GL(E 0 ) and as minus the identity on A 0 B 0 E 0. Let D 0 be equal to D 0 as a double vector space, but with the new action of elements g Gau(D 0 ) given by the old action of g. This new action of elements ω A 0 B 0 E 0 differs from (9) by a sign: (a,b,ε) (a,b,ε ω(a,b)). Let D = (P D0 )/G. Lemma 2.8. There is a canonical DVB isomorphism D D that is the identity on the side bundles but minus the identity on the core. Proof. The isomorphism is induced by the Gau(D 0 )-equivariant isomorphism of double vector spaces D0 D 0, (a,b,ε) (a,b, ε) Triality of double vector bundles. By cyclicpermutation oftheroles ofa 0,B 0,E 0, the action (9) of Gau(D 0 ) on D 0 = A 0 B 0 E0 gives rise to similar actions on D 0 = B 0 E 0 A 0 and D 0 = E 0 A 0 B0. The associated double vector bundles D = (P D 0)/G, D = (P D 0 )/G, and D = (P D 0 )/G are of the form D A B M The bundles D,D are closely related to the horizontal and vertical duals: D B E M D E A M

10 10 ECKHARD MEINRENKEN AND JEFFREY PIKE Proposition 2.9. There are canonical DVB isomorphisms D = flip(d h ), D = flip(d v ) that are the identity on the side bundles and on the core. Proof. We have that D0 h = E 0 B 0 A 0, with the G-action where GL(A 0) GL(B 0 ) GL(E 0 ) acts in the obvious way, while ω A 0 B 0 E 0 acts as (e,b,α) (e,b,α ω(b,e)); here the sign is obtained from the G-equivariance of the pairing D h 0 B0 D 0 R, ( (e,b,α),(a,b,ε) ) ε(e)+α(a). The horizontal and vertical scalar multiplications are given by κ h t (e,b,α) = (te,b,tα) and κ v t (e,b,α) = (e,tb,tα), respectively. The double vector space flip(dh 0 ) = B 0 E 0 A 0 has a similar description, with the role of horizontal and vertical scalar multiplication interchanged; the action of ω A 0 B 0 E 0 reads as (b,e,α) (b,e,α ω(b,e)). Now flip(d0 h) has the same description, with the opposite sign in front of ω. But this is just D 0. Remark We recover the result of Mackenzie[41] and Konieczna and Urbański[28], showing that there is a canonical DVB isomorphism ((D h ) v ) h = ((D v ) h ) v that is the identity on the side bundles and on the core; indeed, by iteration of Proposition 2.9 we see that both are identified with D. As a special case, if D = T V we have that D v = TV, (D v ) h = TV, ((D v ) h ) v = T V, and we recover the canonical DVB isomorphism (11) T (V ) = flip(t V) of Mackenzie-Xu [45]. Example Consider D = TV as a double vector bundle with sides A = V and B = TM. The natural pairing between tangent and cotangent vectors identifies D v = T V, while the tangent prolongation of the pairing V M V R identifies D h = TV. The three double vector bundles D,D,D are therefore, TV TM flip(t(v )) V flip(t V) V V M TM M V M Put differently, there is a canonical DVB isomorphism D flip(t(v )) that is the identity on the side bundles and minus identity on the core V, and a canonical DVB isomorphism D = flip(d v ) flip(t V) that is the identity on the side bundles and minus the identity on the core T M.

11 THE WEIL ALGEBRA OF A DOUBLE LIE ALGEBROID 11 Example For D = ν(w,v), the normal bundle of a subbundle V M of a vector bundle W Q, the three double vector bundles D,D,D are ν(w,v) ν(q,m) flip(ν(w,v o )) V o flip(ν (W,V)) V V M ν(q,m) M V o M where V o N is the set of vectors in W M annihilating V. There is a canonical DVB isomorphism ν (W,V) = flip(ν (W,V o )) equal to the identity on the side bundles and on the core. (Note that this generalizes the previous example, by taking W = V V, with V embedded diagonally.) 3. Double-linear functions For any vector bundle V M, the fiberwise linear functions on V are identified with the sections of the dual bundle V. We will similarly associate to any double vector bundle D a vector bundle whose space of sections are the functions on D that are double-linear, i.e., linear for both scalar multiplications Double-linear functions. Throughout this discussion, we will find it convenient to present D as an associated bundle D = (P D 0 )/G with D 0 = A 0 M B 0 M E 0 and G = Gau(D 0 ) as in (8). Consider the G-action on Ê 0 = (A 0 B 0) E 0, where GL(A 0 ) GL(B 0 ) GL(E 0 ) acts in the natural way, while elements ω A 0 B 0 E 0 = Hom(E 0,A 0 B 0 ) act as (ν,e) (ν ω(e),e). The projection Ê0 E 0 is G-equivariant, with kernel A 0 B 0. Taking associated bundles, we obtain a vector bundle Ê = (P Ê0)/G with an exact sequence of vector bundles over M, (12) 0 A B i Ê Ê E 0. Proposition 3.1. The space of sections of Ê is canonically isomorphic to the space of doublelinear functions on D. Under this identification, the quotient map to E is given by restriction of double-linear functions to core(d) = E, and the inclusion map iê is given by the multiplication of pull-backs of linear functions on A and on B. Proof. Itsufficestoprovetheseclaimsforthedoublevector spaced 0. UsingaTaylorexpansion, we see that the double-linear functions on D 0 = A 0 B 0 E0 are Ê0 = (A 0 B 0 ) E 0, where E 0 is interpreted as linear functions on E0 and A 0 B 0 as linear combinations of products of linear functions on A 0,B 0.

12 12 ECKHARD MEINRENKEN AND JEFFREY PIKE In terms of this interpretation through double-linear functions, the exact sequence (12) was discussed by Chen-Liu-Sheng [11] as the dual of the DVB sequence. A central result of their paper is that the double vector bundle may be recovered from this sequence: Proposition 3.2. [11] The double vector bundle D is the sub-double vector bundle of D = A M B M Ê consisting of all (a,b, ε) A M B M Ê such that i ( ε) = a b. A splitting of D is equivalent Ê to a splitting of the exact sequence (12). An alternative way of proving this result is to verify the analogous statement for the double vector space D 0 = A 0 B 0 E 0. Remark 3.3. A direct consequence is that every double vector bundle D comes with a DVB morphism (13) D Ê (where the vector bundle Ê is regarded as a double vector bundle with zero side bundles). In terms of the associated bundle construction, this is induced by the map D 0 = A 0 B 0 E0 Ê 0 = (A 0 B 0 ) E0, (a,b,ε) a b+ε. Remark 3.4. The inclusion D D dualizes to a surjective DVB morphism D = B M Ê M A D. Replacing D with D (thus D with D ), this shows that every double vector bundle also arises as a quotient of a split double vector bundle. Using a similar construction for the bundles D, D, we obtain bundles  and B, with inclusion maps (14) iê: A B Ê, i  : B E Â, i B: E A B, and exact sequences obtained from (12) by cyclic permutation of A,B,E. Remark 3.5. Since a splitting of D is equivalent to a splitting of D,D, we see that a splitting of D is equivalent to a splitting of any one of the three vector bundle maps  A, B B or Ê E The three pairings. In what follows, we will denote elements of the bundles Â, B,Ê by â, b, ê, and their images in A,B,E by a, b, e. Proposition 3.6. There are canonical bilinear pairings (15) with the properties (16) (17), E : B M  E,, A : Ê M B A,, B :  M Ê B, b, iâ(µ) E = µ(b), µ B E, b B, i B (ν), â E = ν(a), ν E A, â Â,

13 THE WEIL ALGEBRA OF A DOUBLE LIE ALGEBROID 13 and similar properties obtained by cyclic permutations of A, B, E. The pairings are related by the identity (18) b,â (e)+ ê, b (a)+ â,ê (b) = 0. E A B Proof. Using the associated bundle construction, it suffices to define the corresponding pairings for the double vector space D 0, and check that they are G-equivariant. We have Put  0 = (B 0 E 0 ) A 0, B0 = (E 0 A 0 ) B 0, Ê 0 = (A 0 B 0 ) E 0. (19), E 0 : B 0 Â0 E 0, (ν,b), (µ,a) E 0 = µ(b) ν(a); This is clearly equivariant for the actions of GL(A 0 ), GL(B 0 ), GL(E 0 ). For the action of ω A 0 B 0 E 0, observe that in the pairing between ω.(µ,a) = (µ ω(a),a), ω.(ν,b) = (ν ω(b),b), the terms involving ω cancel. The properties (16) and (17) hold by definition. Furthermore, given â = (µ,a) Â0, b = (ν,b) B 0, ê = (ρ,e) Ê0 the three terms in (18) are µ(e,a) ν(b,e), ρ(a,b) µ(e,a) and ν(b,e) ρ(a,b), hence their sum is zero. Replacing D with flip(d) reverses the role of A and B. Hence, the three inclusion maps (14) are unchanged, but the three pairings (23) all change sign. On the other hand, for D we have: Proposition 3.7. The bundles Â, B,Ĉ for D are canonically isomorphic to those for D. Under this identification, replacing D with D changes the signs of the inclusion maps (14) and also of the pairings (23). Proof. Let Â, B,Ê be the corresponding bundles for D. The Gau(D 0 )-equivariant isomorphism Ê 0 Ê0, (ν,c) ( ν,c) gives the desired isomorphism Ê Ê, and similar for Â, B. One readily checks that these isomorphisms give sign changes for the inclusions and pairings Geometric interpretations. The bundles Â, B,Ê and the pairings between them have various geometric interpretations, in terms of functions and vector fields on D. We begin by recalling analogous interpretations for vector bundles V M. The space X(V) [r] of vector fields on V that are homogeneous of degree r for the scalar multiplication is trivial if r < 1, while the core and linear vector fields (20) X(V) [ 1] := X core (V), X(V) [0] =: X lin (V) are identified with sections of V and infinitesimal automorphisms of V, respectively. On the other hand, C (V) [0] = C (M) and C (V) [1] = Γ(V ). The pairing V M V R is realized as the map X(V) [ 1] C (V) [1] C (V) [0] given by Lie derivative, X f L X f. We can also take a dual viewpoint ( Fourier transform ), using the identifications C (V ) [0] = C (M), C (V ) [1] = Γ(V), X(V ) [ 1] = Γ(V ). Here, we realize the pairing V M V R as minus the Lie derivative, h Z L Z h. (Working with

14 14 ECKHARD MEINRENKEN AND JEFFREY PIKE multi-vector fields, it is convenient to think of these pairings as Schouten brackets 1 between 1-vector fields and 0-vector fields.) For a double vector bundle, let X(D) [k,l] be the space of vector fields on D that are homogeneous of degree k horizontally and of degree l vertically. Let Γ(D,A) be the sections of D as a vector bundle over A, and Γ lin (D,A) the subspace of sections that are homogeneous of degree 0 horizontally, i.e., such that the corresponding map A D is κ h t-equivariant. Linear sections of D over B are defined similarly. We have (21) Γ lin (D,A) = X(D) [0, 1], Γ lin (D,B) = X(D) [ 1,0] while X(D) [ 1, 1] is identified with Γ(E ) (the core sections of D over A, or equivalently the core sections of D over B). Proposition 3.8. The space of sections of Ê is canonically isomorphic to (a) the space C (D) [1,1] of double-linear functions on D, (b) the space Γ lin (D,B) of linear sections of D over B, (c) the space Γ lin (D,A) of linear sections of D over A, (d) the space X(D ) [0, 1] of vector fields on D of homogeneity (0, 1), (e) the space X(D ) [ 1,0] of vector fields on D of homogeneity ( 1,0). Similar descriptions hold for sections of Â, B. Proof. It suffices to prove these descriptions for the double vector spaces D 0 = A 0 B 0 E0. We have already remarked that Ê0 is the space of double-linear functions on D 0. For (b), note that sections of D 0 = B 0 E 0 A 0 over B 0 are smooth functions B 0 E 0 A 0 ; such a function defines a linear section if and only if its first component is a constant map B 0 E 0, while its second component is a linear map B 0 A 0. Hence, we obtain Γ lin(d 0,B 0) = (A 0 B 0 ) E 0 = Ê 0. Theproof of (c) is similar, and by the counterparts of (21) for D 0,D 0 the properties (b),(c) are equivalent to (d),(e). Remark 3.9. In the work of Gracia-Saz and Mehta [22, Section 2.4], the isomorphism Γ(Â) = Γ lin (D,B) is used as the definition of Â. (22) Using these geometric interpretations, the three inclusion maps (14) are realized as iê: C (D) [1,0] C (D) [0,1] C (D) [1,1], f g fg iâ: C (D) [0,1] X(D) [ 1, 1] X(D) [ 1,0], g Z gz i B: X(D) [ 1, 1] C (D) [1,0] X(D) [0, 1], Z f fz 1 Recall that the Schouten bracket on multi-vector fields on a manifold Q makes X (Q)[1] into a graded super-lie algebra, in such a way that the bracket extends the usual Lie bracket of vector fields and satisfies [X,f] = L X(f) for vector fields X and functions f. In particular we have [X,Y] = ( 1) (k 1)(l 1) [Y,X], [X,[Y,Z]] =[[X,Y],Z] +( 1) (k 1)(l 1) [Y,[X,Z]] for X X k (D), Y X l (D), Z X m (D). The map X [X, ] is by graded derivation of the wedge product: [X,Y Z] =[X,Y] Z +( 1) (k 1)l Y [X,Z].

15 while the three pairings (15) are (23) THE WEIL ALGEBRA OF A DOUBLE LIE ALGEBROID 15, E X(D) [0, 1] X(D) [ 1,0] X(D) [ 1, 1], (X,Y) [X,Y], A C (D) [1,1] X(D) [0, 1] C (D) [1,0], (h,x) L X h, B X(D) [ 1,0] C (D) [1,1] C (D) [0,1], (Y,h) L Y h. The identity (18) just amounts to L [X,Y] = [L X,L Y ]. A similar discussion applies to the vector fields and functions on D or on D Applications to vector bundles I. We illustrate the concepts above with various double vector bundles associated to a vector bundle V M. In this context, we will encounter the jet bundle J 1 (V) and the Atiyah algebroid At(V). The fibers J 1 (V) m of the jet bundle consist of equivalence classes of sections of V, where two sections are equivalent if their values at m as well as their derivatives at m coincide. Given a section σ, we denote by j 1 (σ) m its equivalence class. Letting m vary, one obtains the jet prolongation j 1 (σ) Γ(J 1 (V)). The jet bundle comes with a quotient map J 1 (V) V, j 1 (σ) σ, which defines a short exact sequence (24) 0 T M V i J 1 (V ) J 1 (V) V 0 with i J 1 (V)(df σ) = j 1 (fσ) fj 1 (σ). On the other hand, At(V) is the Lie algebroid having the infinitesimal automorphisms X lin (V) (cf. (20)) as its space of sections. The anchor a(δ) of a section δ is given by restriction of such a vector field to M V. We obtain a short exact sequence (25) 0 V V i At(V ) a At(V) TM 0; letting σ X(V) [ 1] denotethevertical vector fieldcorrespondingtoσ Γ(V), andidentifying sections τ Γ(V ) with the corresponding linear functions, we have that i At(V) (σ τ) = τσ. The Atiyah algebroid comes with a natural representation on V given by ( δ σ) =[δ,σ ]. The dual representation on V is defined by (26) L a(δ) τ,σ = τ, δ σ + δτ, σ ; equivalently, it is realized by the Lie derivative of δ on linear functions Tangent bundle of V. For D = TV we have A = V, B = TM, E = V. One finds that that (27) Â = J 1 (V), B = At(V), Ê = J 1 (V ), In terms of Γ(Â) = X(D) [ 1,0], Γ( B) = X(D) [0, 1], Γ(Ê) = C (D) [1,1], these identifications are given by j 1 (σ) (σ ) T, δ δ v, j 1 (τ) τ T, where X X T is the tangent lift of a (multi-)vector field, while X X v is the vertical lift; the section τ Γ(V ) is regarded as a linear function on V. (Recall that for a manifold Q, the tangent lift f T C (TQ) of a function f C (Q) is the exterior differential df regarded as a function on TQ, while the vertical lift is the pullback. The tangent lifts of functions and vector fieldsextendtoalinear mapx (Q) X (TQ) insuchaway that (X Y) T = X T Y v +X v Y T,

16 16 ECKHARD MEINRENKEN AND JEFFREY PIKE with Schouten bracket relations [X T,Y T ] = [X,Y] T, [X T,Y v ] = [X,Y] v, [X v,y v ] = 0. See e.g. [12, 19].) Using (22) and (23), we obtain the three inclusions iê(τ df) = i J 1 (V )(df τ), iâ(df σ) = i J 1 (V )(df σ), i B(σ τ) = i At(V) (σ τ) and the three pairings δ, j 1 (σ) V = δ σ, j 1 (τ), δ V = δ τ, j1 (σ), j 1 (τ) T M = d τ,σ for σ Γ(V), τ Γ(V ), δ Γ(At(V)). As a sample computation, note that iê(τ df) maps to f T τ v = (fτ) T f v τ T, which coincides with the image of i J 1 (V )(df τ) = j 1 (fτ) fj 1 (τ). The exact sequences (12) are just the standard exact sequences for the jet bundles and the Atiyah algebroid. Remark The E = V-valued pairing between  = J1 (V) and B = At(V) was observed by Chen-Liu in [10, Section 2]. Let us also note that by Remark 3.5, a splitting of D = TV is equivalent to a splitting of any one of the exact sequences for J 1 (V ), J 1 (V) or At(V); in turn, these are equivalent to a linear connection on the vector bundle V Cotangent bundle of V. A similar discussion applies to the double vector bundle T V. We will use the following notations for cotangent bundles T Q. Given X X(Q), let φ X C (T Q) be defined by the pairing with covectors. The standard Poisson structure on T Q is described by the condition {φ X,φ Y } = φ [X,Y] for any two such vector fields. For any φ C (T Q), the derivation {φ, } is its Hamiltonian vector field; in particular, X T = {φ X, } is the cotangent lift of the vector field X. One has the identity (fx) T = fx T φ X (df) v for f C (Q). For D = T V, we have that A = V, B = V, E = TM with  = J 1 (V), B = J 1 (V ), Ê = At(V). IntermsoftheidentificationsoftheirspacesofsectionswithX(D) [ 1,0], X(D) [0, 1], C (D) [1,1], these isomorphisms are given by j 1 (σ) {φ σ, }, j 1 (τ) {τ, }, δ φ δ. Using (22) and (23), we find that the three pairings are the same as for TV (with the order of the two entries interchanged), while each of the three inclusion maps changes sign. This is consistent with T V = flip(tv), see Proposition 3.7. The three exact sequences (12) are essentially the standard exact sequences for the jet bundles and the Atiyah algebroid, except for a sign change of the three inclusion maps. 4. The Weil algebra W(D) Let D beadoublevector bundleover M, with sidebundlesa,b and with E = core(d). We will define a bundle of commutative bigraded superalgebras, which plays the role of the exterior powers of D. We begin by discussing the counterpart to the symmetric powers. Throughout, it will be convenient to regard D as an associated bundle (P D 0 )/G with D 0 = A 0 B 0 E 0.

17 THE WEIL ALGEBRA OF A DOUBLE LIE ALGEBROID The algebra of double-polynomial functions. A smooth function on a double vector bundle D will be called a(homogeneous) double-polynomial of bidegree (r, s) if it is homogeneous of degree r for the horizontal scalar multiplication, and of degree s for the vertical scalar multiplication. The space of such functions is denoted S r,s (D) = C (D) [r,s] ; their direct sum over all r,s 0 is denoted S(D). Lemma 4.1. The space S r,s (D) of double-polynomial functions on D of bidegree (r,s) is the space of sections of a vector bundle S r,s (D) M. Proof. ThespaceS r,s (D 0 )ofdouble-polynomialfunctionsofbidegree(r,s) onthedoublevector space D 0 is a subspace of the space of ordinary polynomials of degree at most r + s, and in particular is finite-dimensional. Clearly, this space is G-invariant, and the sections of the vector bundle S r,s (D) = (P S r,s (D 0 ))/G are the double-polynomial functions of bidegree r,s. We hence obtain a bigraded algebra bundle S(D) = r,s Sr,s (D). By applying a similar construction to thedoublevector bundlesd andd, wealso havethebigradedalgebrabundles S(D ) M and S(D ) M. Proposition 4.2. The algebra bundle S(D) is the bundle of bigraded commutative algebras given as S(D) = ( A B Ê)/ where the generators α A, β B, ê Ê have bidegrees (1,0), (0,1), (1,1), respectively. Here the kernel of the quotient map is the ideal generated by elements of the form αβ iê(α β) for (α,β) A M B. Proof. The claim is immediate for the double vector space D 0 = A 0 B 0 E0 ; the general case follows by the associated bundle construction. TheconstructionofS(D)isfunctorial: advb morphismd 1 D 2, withbasemapf: M 1 M 2, defines algebra morphismss(d 2 ) F(m) S(D 1 ) m, hence a comorphism of bigraded algebra bundles S(D 1 ) S(D 2 ). The induced pullback on sections is simply the pullback of double-polynomial functions. If M 1 = M 2 = M, with base map the identity, then the comorphism of algebra bundles may be seen as an ordinarymorphismofalgebra bundless(d 2 ) S(D 1 ). For example, thedescription of S(D) as a quotient of S( D) = A B Ê may be seen as functorially induced by the inclusion D D Definition and basic properties of W(D). The Weil algebra bundle is obtained from the description of S(D), given in Proposition 4.2, by replacing commutativity with supercommutativity: Definition 4.3. The Weil algebra bundle W(D) is the bundle of bigraded supercommutative algebras given as W(D) = ( A B Ê)/,

18 18 ECKHARD MEINRENKEN AND JEFFREY PIKE where the generators α A, β B, ê Ê have bidegrees (1,0), (0,1), (1,1) respectively. Here the kernel of the quotient map is the ideal generated by elements of the form with (α,β) A M B. αβ iê(α β) In the definition above, denotes the usual tensor product of superalgebras. For x W p,q (D) we write x = p+q for the total degree; thus supercommutativity means x 1 x 2 = ( 1) x 1 x 2 x 2 x 1. The bigraded algebra of sections W(D) = Γ(W(D)) is called the Weil algebra of D. In super-geometric terms, it is the algebra of smooth functions on the supermanifold D[1,1]. Similar to the construction of S(D), a DVB morphism D 1 D 2 with base map F: M 1 M 2 induces a comorphism of bigraded superalgebra bundles W(D 1 ) W(D 2 ), hence a morphism of bigraded superalgebras W(D 2 ) W(D 1 ). The definition gives a number of straightforward properties of W(D): (a) In degree p 1, q 1, W p,q (D) coincides with S p,q (D): W 0,0, (D) = M, W 1,0 (D) = A, W 0,1 (D) = B, W 1,1 (D) = Ê. (b) A choice of splitting D = A M B M E gives an algebra bundle isomorphism W(D) = A B E. (c) W(D) = (P W(D 0 ))/G. Since W(D 0 ) = A 0 B 0 E 0, this may be used as an alternative definition of W(D). Replacing D with D and D, we have three bigraded algebra bundles W(D),W(D ),W(D ) over M, where the roles of A,B, and E are cyclically permuted. In particular, W 1,1 (D) = Ê, W1,1 (D ) = Â, The pairings (15) between these bundles extend to (28) W1,1 (D ) = B., E : W p,1 (D ) M W 1,q (D ) p+q 1 E,, A : W p,1 (D) M W 1,q (D ) p+q 1 A,, B : W p,1 (D ) M W 1,q (D) p+q 1 B. Here, E is the unique extension of the given pairing such that α, â E = α(a), b, β E = β(b) for the cases p = 0,q = 1 and p = 1,q = 0, and such that the following bilinearity property holds: λx, y E = λ x,y E, x, yλ E = x,y E λ for λ E, x W,1 (D ), y W 1, (D ) (with the same base points). The discussion for the pairings, A,, B is similar. In Section 5, we will give geometric interpretations of these pairings.

19 THE WEIL ALGEBRA OF A DOUBLE LIE ALGEBROID 19 Remark 4.4. The description of the Weil algebra bundle for D is obtained from that for D by replacing the sign of the inclusion map iê. That is, W(D ) has the same generators, but the defining relation becomes αβ = iê(α β). The map on generators α α, β β, ê ê extends to an isomorphism of algebra bundles W(D ) W(D) Derivations. For a vector bundle V M, the graded bundle Der( V ) of fiberwise superderivations of V is the free V -module generated by contractions. Thus Der( V ) = V V as a bundle of graded super-lie algebras, where the elements 1 v have degree 1. Given a double vector bundle D, we are interested in the structure of the bigraded bundle Der(W(D)) = r,s Der r,s (W(D)). Here Der r,s (W(D)) M is the bundle of fiberwise superderivations of bidegree (r,s) of the algebra bundle W(D) M: its space of sections are bundle maps δ: W(D) W(D) of bidegree (r, s) with the superderivation property δ(xy) = δ(x)y +( 1) δ x xδ(y) for homogeneous elements x,y, where δ = r +s and x are the total degrees of δ and x. As first examples, we have three types of contraction operators ι h (â) Der 1,0 (W(D)), ι v ( b) Der 0, 1 (W(D)), ι(ε) Der 1, 1 (W(D)) defined by elements â Â, b B, and ε E respectively. To describe them, we consider the action on generators α A,β B,ê Ê (in the fiber over the given base point in M). We put ι h (â): α α(a), β 0, ê â,ê B ι v ( b): α 0, β β(b), ê ê, b A ι(ε): α 0, β 0, ê ε(e). (One readily checks that these formulas are compatible with the defining relation of the Weil algebra.) Here a A is the image of â, and similarly for b,e. One has the super-commutation relation (29) [ι v ( b), ι h (â)] = ι ( ) b,â E as one verifies by evaluating on generators; the other super-commutations between contraction operators are all zero. Furthermore, we have the relations (30) ι h (iâ(β ε)) = βι h (ε), ι v (i B(ε α)) = αι v (ε) for α A, β B, ε E. We have the following description of the structure of Der(W(D)): Proposition 4.5. The bundle Der(W(D)) is fiberwise generated, as a W(D)-module, by the contraction operators of the form ι h (â), ι v ( b), ι(ε), subject to the relations (30).

20 20 ECKHARD MEINRENKEN AND JEFFREY PIKE Proof. The three types of contraction operators define a W(D)-module morphism (31) W(D) (Â M B M E ) Der(W(D)) whose kernel contains elements of the form (32) 1 iâ(β ε) β ε, 1 i B(ε α)+α ε with α A, β B, ε E. We have to show that this morphism is surjective, and that its kernel is the W(D)-submodule generated by (32). It suffices to prove this for the double vector space D 0 = A 0 B 0 E0. Here W(D 0) is simply a tensor product A 0 B 0 E 0, and hence Der(W(D 0 )) = W(D 0 ) (A 0 B 0 E0 ). Since Â0 = A 0 (B0 E 0 ), B 0 = B 0 (E0 A 0 ) it is immediate that the module map (31) (with D replaced by D 0 ) is surjective. Its kernel contains elements of the form (32); hence it also contains the W(D 0 )-submodule generated by elements of this form. But this submodule is a complement to the submodule W(D 0 ) (A 0 B 0 E0 ), and is therefore the entire kernel of (31). Corollary 4.6. The bundle Der r,s (W(D)) is zero if r < 1 or s < 1, while Der 1,0 (W(D)) = Â, Der0, 1 (W(D)) = B, Der 1, 1 (W(D)) = E Extension of the contraction operations. Using the relations (30), the horizontal contractions extend to an isomorphism of left B -modules (33) ι h : W,1 (D ) Der 1, 1+ (W(D)), x ι h (x) and the vertical contractions to an isomorphism of left A -modules (34) ι v : W 1, (D ) Der 1+, 1 (W(D)), y ι v (y); here ι h (ε) = ι v (ε) = ι(ε) for ε E. The horizontal and vertical contractions are related to the canonical pairings (28): Proposition 4.7. For x W,1 (D ) and z W 1, (D), (35) ι h (x)z = x,z B. For y W 1, (D ) and z W,1 (D), (36) ι v (y)z = ( 1) ( y +1)( z +1) z,y A. Proof. For (36), note first that the two sides agree on elements y W 1,q (D ) and z W p,1 (D) for p,q 1. Hence it suffices to check that the right hand side is linear in the argument y for the left A -module structureand linear in the argument z for the right A -module structure. Indeed, replacing y with αy changes the right hand side to ( 1) y ( z +1) z, αy A = ( 1) y z z, y A α = ( 1) ( y +1)( z +1) α z, y A. Similarly, replacing z with zα for α A changes the right hand side to ( 1) ( y +1) z zα,y A = ( 1) y z α z, y A = ( 1) ( y +1)( z +1) z, y A α as required. The argument for (35) is similar Applications to vector bundles II. Continuing the discussion from Section 3.4, we have the following description of the Weil algebras and contraction operators for the tangent bundles and cotangent bundles of vector bundles V M.

21 THE WEIL ALGEBRA OF A DOUBLE LIE ALGEBROID Tangent bundle of V. Consider D = TV. The Weil algebra W(TV) is generated by functions f C (M) (bidegree (0,0)) and their de Rham differentials df (bidegree (0,1)), together with sections τ Γ(V ) (bidegree (1,0)) and their 1-jets j 1 (τ) Γ(J 1 (V )) (bidegree (1,1)), subject to relations of C (M)-linearity and the relation that τ df = j 1 (fτ) fj 1 (τ). Here we used that iê(τ df) = i J 1 (V )(τ df). The contraction operators are computed from the pairings, for example: ι v (δ)j 1 (τ) = j 1 (τ),δ V = δ τ Cotangent bundle of V. Consider D = T V. The Weil algebra W(T V) is generated by functions f C (M) (bidegree (0,0)), sections σ Γ(V) (bidegree (0,1)), sections τ Γ(V ) (bidegree (1, 0)), and infinitesimal automorphisms δ Γ(At(V)) (bidegree (1, 1)), subject to relations of C (M)-linearity and the relation that the product τσ in the Weil algebra, for τ Γ(V ) and σ Γ(V), equals the section iê(τ σ) = i At(V) (σ τ) = τ σ Γ(At(V)). Again, the various contraction operators may be computed from the pairings. 5. Linear and core sections of A D We have already encountered the linear and core sections of a double vector bundle D over its side bundles. We will now consider the generalization to the exterior algebra bundles, and relate it to the Weil algebra bundles. Throughout, D will denote a double vector bundle with sides A,B and with core(d) = E Linear and core sections of AD A. Given a double vector bundle D, we denote by n A D A its exterior powers as a vector bundleover A. The horizontal scalar multiplications κ h t : D D are vector bundle endomorphisms of D A, hence they extend to algebra bundle endomorphisms κ h t of A D A. Definition 5.1. A section σ: A n AD is homogeneous of degree k if it satisfies σ(κ h t(a)) = t k ( n κ h t)(σ(a)) for all t R; the space of such sections is denoted Γ( n A D,A) [k]. Definition 5.2. The spaces of core sections and linear sections of n AD over A are defined as follows: Γ core ( n AD,A) = Γ( n AD,A) [ n], Γ lin ( n AD,A) = Γ( n AD,A) [ n+1]. The spaces Γ core ( n B D,B) and Γ lin( n BD,B) are defined similarly. The core sections Γ core ( AD,A) are a supercommutative graded algebra under the wedge product, and Γ lin ( AD,A) is a graded module over this algebra. The significance of these spaces is clarified by the following result.

22 22 ECKHARD MEINRENKEN AND JEFFREY PIKE Proposition 5.3. The space Γ( n A D,A) [k] is zero if k < n, and for k = n is given by (37) Γ core ( n A D,A) = Γ( n E ). The space of linear sections fits into a short exact sequence (38) 0 Γ( n E A ) Γ lin ( n AD,A) Γ( n 1 E B) 0. Proof. Recall thatwhend isviewedasavector bundleovera, itsrestrictiontothesubmanifold M is the direct sum E B. Hence, the restriction to M A gives a map Γ( A D,A) Γ( (E B)) = Γ( E B). We claim that the restriction of core sections gives the isomorphism (37), while restriction of linear sections gives a map from Γ lin ( n A D,A) onto Γ( n 1 E B), with kernel Γ( n E A ) spanned by products of core sections with linear functions on the base A. Using the associated bundle construction, it suffices to prove these claims for the double vector space D 0 = A 0 B 0 E0. We have Γ( n A 0 D 0,A 0 ) = C (A 0, j E0 i B 0 ), i+j=n The elements of j E 0 n j B 0 M (regarded as constant sections of n A 0 D 0 ) are homogeneous of degree j. To obtain a section that is homogeneous of degree k, we must multiply by a polynomial on A 0 of degree k+j. Thus, Γ( n A 0 D 0,A 0 ) [k] = j j E 0 n j B 0 k+j A 0 where the sum is over all j with 0 j n and k +j 0. In particular, this space is zero if k < n, and is equal to n E0 for k = n. Specializing to k = n+1 this shows (39) Γ lin ( n A 0 D 0,A 0 ) = ( n E 0 A 0 ) ( n 1 E 0 B 0). Hence, the map Γ lin ( n A 0 D 0,A 0 ) n 1 E 0 B 0 is surjective, with kernel n E 0 A Interpretation in terms of Weil algebras. The linear and core sections of A D A are graded subspaces of Weil algebras, as follows. Proposition 5.4. There is a canonical isomorphism Γ core ( A D,A) = W,0 (D ) = Γ( E ) as graded algebras, together with an isomorphism of graded left modules over this algebra, Γ lin ( A D,A) = W,1 (D ). Similarly, there is a canonical isomorphism of graded algebras, Γ core ( B D,B) = W 0, (D ) = Γ( E ) with an isomorphism of right modules over this algebra, Γ lin ( B D,B) = W 1, (D ). Proof. It suffices to prove the claim for the double vector space D 0 = A 0 B 0 E0. But W,0 (D 0 ) = E0, W0, (D 0 ) = E0 as graded algebras. Furthermore, the isomorphism of graded left E0 -modules W,1 (D 0) = ( E0 A 0) ( 1 E0 B 0 )