## LIE ALGEBROIDS GENERATED BY COHOMOLOGY OPERATORS

## Dennise Garc´ ıa-Beltr´n a

Departamento de Matem´ aticas, Universidad de Sonora Blvd. Encinas y Rosales, Edificio 3K-1 Hermosillo, Son 83000, M´xico e

## Jos´ A. Vallejo e

Facultad de Ciencias, Universidad Aut´noma de San Luis Potos´ ı o Lat. Av. Salvador Nava s/n Col. Lomas San Luis Potos´ ı, SLP 78290, M´xico e

## Yurii Vorobiev

Departamento de Matem´ aticas, Universidad de Sonora Blvd. Encinas y Rosales, Edificio 3K-1 Hermosillo, Son 83000, M´xico e

Abstract. By studying the Fr¨licher-Nijenhuis decomposition of cohomology o operators (that is, derivations D of the exterior algebra Ω( M ) with Z -degree 1 and D 2 = 0), we describe new examples of Lie algebroid structures on the tangent bundle TM (and its complexification T C M ) constructed from pre-existing geometric ones such as complex, product or tangent structures. We also describe a class of Lie algebroids on tangent bundles associated to idempotent endomorphisms with nontrivial Nijenhuis torsion.

## 1. Introduction

In this paper, we present an algebraic approach to the study of the relationship between Lie algebroids and cohomology operators which is based on the Fr¨lichero Nijenhuis calculus (various approaches to this issue can be found, for example, in [6, 12, 16, 17]).

Our idea comes from the relation between the exterior differential and the Lie bracket of vector fields on a manifold M . As a first-order differential operator on the (sections of) exterior algebra, Ω( M ) = ΓΛ T ∗ M , the exterior differential can be characterized by giving its action on generators:

$$\begin{cases} \mathrm d f ( X ) = X f, \\ \mathrm d \alpha ( X, Y ) = X \alpha ( Y ) - Y \alpha ( X ) - \alpha ( [ X, Y ] ), \end{cases}$$

where f ∈ C ∞ ( M ,α ) ∈ Ω( M ,X,Y ) ∈ X ( M ) are arbitrary. The action is then extended to the whole of Ω( M ) as a derivation of Z -degree 1. Notice that the cohomology property d 2 = 0 is equivalent to the Jacobi identity for [ , ]. This setup allows us to reverse the definitions. Starting from the exterior differential

1991 Mathematics Subject Classification. Primary: 58F15, 58F17; Secondary: 53C35. Key words and phrases. Lie algebroids, cohomology operators, product structures, complex structures, tangent structures, sprays.

The second author was partially supported by a CONACyT project CB-179115.

d on Ω( M ), we could define the Lie bracket on X ( M ) as follows: given X,Y ∈ X ( M ), their bracket is the unique element [ X,Y ] ∈ X ( M ) such that,

$$\alpha ( [ X, Y ] ) = X \alpha ( Y ) - Y \alpha ( X ) - \mathrm d \alpha ( X, Y ),$$

for any α ∈ Ω ( 1 M ). In particular, if α = d f , for f ∈ C ∞ ( M ), the preceding formula along with d 2 = 0 gives

$$[ X, Y ] f = \mathrm d f ( [ X, Y ] ) = X \mathrm d f ( Y ) - Y \mathrm d f ( X ) = X ( Y f ) - Y ( X f ),$$

so the defined bracket certainly coincides with the Lie one. Again, the Jacobi identity is readily seen to be equivalent to the coboundary condition d 2 = 0.

The correspondence between brackets and cohomology operators can be extended to the setting of Lie algebroids. Recall that a Lie algebroid on a manifold M consists of a vector bundle E over M , together with a vector bundle map q : E → TM over M (called the anchor map), and a Lie bracket on sections [ [ , ] ] : Γ E × Γ E → Γ E satisfying the Leibniz rule

$$[ A, f B ] = f [ A, B ] + q A ( f ) B,$$

for all A,B ∈ Γ E f , ∈ C ∞ ( M ). It can be thought as a replacement of the tangent bundle TM , joint with the Lie bracket on vector fields, by the new bundle E and the bracket [ [ , ] ] on its sections. For a comprehensive reference on Lie algebroids, see [17]. The relevance of Lie algebroids in Mechanics is explained in detail in works such as [23, 4, 18] and references therein.

We first describe a class of Lie algebroids arising from an idempotent endomorphism with nontrivial Nijenhuis torsion, and then construct new examples of Lie algebroids. More precisely, the paper is organized as follows: Section 2 of this paper contains a brief r´sum´ of the Fr¨licher-Nijenhuis calculus for derivations of the e e o exterior algebra over a vector bundle. In section 3 we will recall how, given a Lie algebroid E on M , one can construct a cohomology operator on ΓΛ E ∗ , and study its Fr¨licher-Nijenhuis decomposition. o It turns out that this decomposition can be described within the framework of Lie algebroid connections [10, 17, 2]. In section 4 we will follow the reverse path, constructing Lie algebroids on the tangent bundle E = TM from a given cohomology operator D on Ω( M ). Our main tool here will be again the Fr¨licher-Nijenhuis decomposition of derivations, which we apply in o section 5 to the case of idempotent endomorphisms with nonzero Nijenhuis decomposition of the tangent bundle. In section 6, on the framework of our approach, we discuss Lie algebroids associated to regular foliations. Finally, sections 7 to 9 are devoted to introducing new examples of Lie algebroids canonically associated to a generalized foliation, and to complex, product and tangent manifolds (the latter, with the aid of a connection defined through a semispray).

## 2. The Fr¨ olicher-Nijenhuis decomposition

The proofs of the results stated in this section are slight generalizations of those corresponding to the real case, which can be found, e.g., in [19] or [15].

Let M be a differential manifold with tangent bundle TM . Its complexified bundle is then T M C = TM ⊕ iTM . Complex vector fields are of the form Z = X + iY , with X,Y ∈ Γ TM , and complex 1 -forms are constructed as the duals Ω 1 C ( M ) = Γ ( T ∗ C M ) /similarequal ( Γ T ∗ M ) ⊕ i ( Γ T ∗ M ) /similarequal Ω ( 1 M ) ⊕ i Ω ( 1 M ). By taking exterior products we obtain the complex k -forms Ω k C ( M ) = Γ ( Λ k T ∗ C M ) /similarequal Ω ( k M ) ⊕ i Ω ( k M ),

and tensoring by T M C we get vector-valued complex p -forms, Ω ( p C M TM ; ) = Γ ( Λ p T ∗ C M ⊗ T M C ). We will denote Ω C ( M ) = ∞ ⊕ k =0 Ω ( k C M ).

A derivation of degree l ∈ Z is a C -endomorphism of Ω C ( M ) such that

$$D \colon \Omega _ { \mathbb { C } } ^ { k } ( M ) \rightarrow \Omega _ { \mathbb { C } } ^ { k + l } ( M ),$$

and, for any homogeneous form α and arbitrary β ,

$$D ( \alpha \wedge \beta ) = D ( \alpha ) \wedge \beta +$$

where | α | denotes the degree of α . The vector space (and C ∞ ( M ) -module) of such derivations is denoted Der l Ω ( C M ), and then Der Ω C ( M ) = ⊕ l ∈ Z Der Ω ( l C M ) is a Z -graded Lie algebra endowed with the (graded) commutator of derivations

$$[ D _ { 1 }, D _ { 2 } ] = D _ { 1 } \circ D$$

where | D 1 | , | D 2 | denote the degree of D 1 , D 2 , respectively.

Any complex vector-valued ( k +1) -form K ∈ Ω k +1 C ( M TM ; ), defines a derivation of degree k , called the insertion of K and denoted ı K : if ω ∈ Ω ( p C M ) and Z j ∈ Γ ( TM ⊕ iTM ), with j = 1 , ..., k + , then p

$$\begin{array} {$$

where S k +1 ,p -1 are shuffle permutations and sgn denotes the signature.

A derivation D ∈ DerΩ ( C M ) such that it vanishes on functions, D f ( ) = 0 for all f ∈ Ω ( 0 C M ), is called a tensorial (or algebraic) derivation. They all are insertions.

Proposition 2.1. Let D ∈ Der k Ω ( C M ) be a tensorial derivation. Then, there exists a unique vector-valued complex form K ∈ Ω k +1 C ( M TM ; ) such that

$$D = \imath _ { K }.$$

The K in this proposition can be obtained simply by making D act on complex valued 1 -forms d f . If K ∈ Ω k +1 C ( M TM ; ), L ∈ Ω l +1 C ( M TM ; ), their corresponding insertions are ı K ∈ Der k Ω ( C M ), ı L ∈ Der l (Ω C ( M )), so their graded commutator is again a derivation [ ı K , ı L ] ∈ Der k + l Ω ( C M ). Moreover, this new derivations is obviously tensorial so, applying proposition 2.1, there exists a unique vector-valued complex ( k + +1) l -form determined by it.

Definition 2.2. Given K ∈ Ω k +1 C ( M TM ; ), L ∈ Ω l +1 C ( M TM ; ), their RichardsonNijenhuis bracket is defined as the element [ K,L ] RN ∈ Ω k + +1 l C ( M TM ; ) such that

$$[ \imath _ { K }, \imath _ { L } ] = \imath _$$

The bracket of vector fields on M can be clearly extended by C -linearity to complex vector fields; the same occurs with the exterior differential d, which can be extended by C -linearity to a derivation d ∈ Der 1 Ω ( C M ) (we will use the same notation for d and this extension). Then, given a K ∈ Ω k +1 C ( M TM ; ), as ı K ∈ Der k Ω ( C M ) and d ∈ Der 1 Ω ( C M ), their graded commutator will be again a derivation, called the Lie derivative along K ,

$$\mathcal { L } _ { K } \coloneqq [ \imath _ { K }, \mathrm d ] = \imath _ { K } \circ \mathrm d - ( - 1 ) ^ { k } \mathrm d \circ \imath _ { K }.$$

As a consequence of the Jacobi identity for the graded commutator of derivations, and the nilpotency of d, we get the following.

Proposition 2.3. For any K ∈ Ω ( C M TM ; ) , the graded commutator of the derivations L K and d vanishes.

Thus, there exist tensorial derivations, of type ı K for K ∈ Ω ( k C M TM ; ), and derivations commuting with the exterior differential d, such as Lie derivatives. The Fr¨licher-Nijenhuis decomposition theorem states that any other derivation is a sum o of two of these.

Theorem 2.4 (Fr¨licher-Nijenhuis) o . Let D ∈ Der k Ω ( C M ) . Then, there exists a unique couple ( K,L ) , K ∈ Ω ( k C M TM ; ) and L ∈ Ω k +1 C ( M TM ; ) , such that

$$D = \mathcal { L } _ { K } + \imath _ { L }.$$

A useful consequence is the following result.

Corollary 2.5. Let D ∈ Der k Ω ( C M ) . Then

- (1) D is tensorial if and only if K = 0 .
- (2) D commutes with d if and only if L = 0 .

Example 1. The Fr¨licher-Nijenhuis decomposition of the exterior differential is o

$$d = \mathcal { L } _ { I d },$$

(where Id : TM → TM is the identity morphism) as it should be for a derivation that commutes with d .

If K ∈ Ω ( k C M TM ; ) and L ∈ Ω ( l C M TM ; ), then [ L K , L L ] is again a derivation and it commutes with d, because of the Jacobi identity. Thus, according to Corollary 2.5, it must be of the form L R ∈ Der k + l (Ω C ( M TM ; )) for a unique R ∈ Ω k + l (Ω C ( M TM ; )).

Definition 2.6. Given K ∈ Ω ( k C M TM ; ) and L ∈ Ω ( l C M TM ; ), their Fr¨lichero Nijenhuis bracket is the unique element [ K,L ] FN ∈ Ω k + l C ( M TM ; ) such that

$$[ \mathcal { L } _ { K }, \mathcal { L } _ { L } ] = \mathcal { L } _ { [ K, L ] _ { F N } }.$$

Along with the Fr¨licher-Nijenhuis bracket we have the notion of Nijenhuis toro sion: if N ∈ Ω ( 1 C M TM ; ) is a vector-valued 1 -form, it is defined as the vector-valued 2 -form T N = 1 2 [ N,N ] FN . Explicitly, we have

- (1) T N ( X,Y ) = [ NX,NY ] -N NX,Y [ ] -N X,NY [ ] + N 2 [ X,Y , ] for any X,Y ∈ X ( M ).
- 3. From Lie algebroids to cohomology operators

Suppose that ( E,q, [ [ , ] ]) is a Lie algebroid. Let us define an operator D : Γ ( Λ p E ∗ ) → Γ ( Λ p +1 E ∗ ) by putting

$$\begin{cases} D f ( A ) = q A ( f ) \\ D \alpha ( A, B ) = q A ( \alpha ( B ) ) - q B ( \alpha ( A ) ) - \alpha ( [ A, B ] ), \end{cases}$$

for any f ∈ C ∞ ( M ,α ) ∈ Γ ( Λ 1 E ∗ ) , A, B ∈ Γ E , and extending its action to Γ ( Λ · E ∗ ) as a derivation of Z -degree 1.

Proposition 3.1. D is a cohomology operator, that is,

$$D ^ { 2 } = \frac { 1 } { 2 } [ D, D ] = 0, \\. \quad \, \quad \, \cdots \cdots \cdots$$

where [ , ] denotes the graded commutator of derivations.

This is a very well-known construction (see chapter 7 in [17], for instance), sometimes called the De Rham differential of the Lie algebroid (because one recovers the usual exterior differential d, when E = TM endowed with the Lie bracket on vector fields and the identity as anchor map). The operator D is a derivation of Γ ( Λ · E ∗ ), so it can be decomposed ` la Fr¨licher-Nijenhuis. a o Let us see how this can be done in a particular, but instructive, case.

Example 2. When E = TM , we have a Lie algebroid ( TM,q, [ [ , ] ]) and a derivation D ∈ DerΩ( M ) . Recall (see [11] ) that given a bilinear operation ◦ on the sections of a vector bundle E (such as [ [ , ] ] on Γ TM ), and a bundle endomorphism ϕ (such as q : Γ TM → Γ TM ), the contracted bracket of the operation is given by A ◦ ϕ B = ϕ X ( ) ◦ Y + X ◦ ϕ Y ( ) -ϕ X ( ◦ Y ) , for A,B ∈ E . In our case, the contracted bracket of the Lie bracket of vector fields by the anchor map of the algebroid is

$$[ X, Y ] _ { q } = [ q X, Y ] + [ X, q Y ] - q [ X, Y ].$$

Now, a computation using the Fr¨licher-Nijenhuis o decomposition D = L K + i L , where K ∈ Ω ( 1 M TM ; ) and L ∈ Ω ( 2 M TM ; ) , shows that

$$K = q,$$

and

$$L ( X, Y ) & = [ X, Y ] _ { q } - [ X, Y ].$$

Indeed, we have that K is given by

$$K X ( f ) = D f ( X ) = q X ( f ),$$

for each f ∈ C ∞ ( M ) , X ∈ X ( M ) , and also

$$( 5 ) \quad \ \ ( D - \mathcal { L } _ { q } ) ( \alpha ) ( X, Y ) = ( i _ { L } \alpha ) ( X, Y ) = \alpha ( L ( X, Y ) ).$$

This is enough to characterize i L , as it is determined by its action on 1 -forms (on functions it vanishes by definition): Developing the left-hand side in (5) ,

$$( D \alpha ) ( X, Y ) = q X ( \alpha ( Y ) ) - q Y ( \alpha ( X ) ) - \alpha ( \left [ X, Y \right ] ),$$

and, from the definition of L q α ,

$$( \cdot )$$

$$& ( \mathcal { L } _ { q } \alpha ) ( X, Y ) \\ & = q X ( \alpha ( Y ) ) - \alpha ( [ q X, Y ] ) - q Y ( \alpha ( X ) ) + \alpha ( [ q Y, X ] ) + \alpha ( q [ X, Y ] ) \\ & = q X ( \alpha ( Y ) ) - q Y ( \alpha ( X ) ) - \alpha ( [ q X, Y ] ) - \alpha ( [ X q, Y ] ) + \alpha ( q [ X, Y ] ),$$

thus:

$$\alpha ( L ( X, Y ) ) = \alpha ( [ q X, Y ] + [ X, q Y ] - q [ X, Y ] - [ X, Y ] ).$$

As this is valid for arbitrary α ∈ Ω ( 1 M ) , X,Y ∈ X ( M ) , we get (4) .

The question now is how to obtain an analog result for an arbitrary Lie algebroid ( E,q, [ [ , ] ]), where D ∈ Der Γ ( Λ · E ∗ ) and we do not have a Lie derivative operator at our disposal. We can proceed by choosing a connection ∇ on E ; then, a proof analogous to that of the classical Fr¨licher-Nijenhuis theorem (see [20]), shows that o D must decompose itself as

$$D & = \nabla _ { K } + \imath _ { L }$$

for certain tensor fields K ∈ Γ ( E ∗ ⊗ TM ) and L ∈ Γ ( Λ 2 E ∗ ⊗ E ). We briefly describe the proof of this result here, as we will make use of some of its intermediate steps below.

Theorem 3.2. Let π : F → M be a smooth vector bundle over the differential manifold M . Let D ∈ Der Γ ( Λ F ) , and let ∇ be a linear connection on F ∗ . Then, there exist unique tensor fields K ∈ Γ ( F ⊗ TM ) and L ∈ Γ ( Λ 2 F ⊗ F ∗ ) , such that

$$D & = \nabla _ { K } + \imath _ { L }.$$

Proof. Let α , . . . , α 1 k ∈ Γ( F ∗ ) be smooth sections. The map f → ( Df )( α , . . . , α 1 k ), where f ∈ C ∞ ( M ), is a derivation so it defines a vector field on M , which we denote by K α ,.. . , α ( 1 k ). The map from Γ( F ∗ ) ×··· × Γ( F ∗ ) to X ( M ) defined by ( α , . . . , α 1 k ) → K α ,.. . , α ( 1 k ) is C ∞ ( M ) -linear and skew-symmetric, therefore it defines a section K ∈ Γ(Λ k F ⊗ TM ) that satisfies ∇ K f = Df for every f ∈ C ∞ ( M ). The operator D - ∇ K is a derivation of degree k that acts trivially on C ∞ ( M ); therefore it is a C ∞ ( M ) -linear endomorphism of Γ(Λ F ) which is determined by its action on the sections of degree 1. Then, if s ∈ Γ( F ), the map s → ( D -∇ K ) s defines a morphism from Γ( F ) into Γ(Λ k +1 F ) so there is a section L ∈ Γ(Λ k +1 F ⊗ F ∗ ) such that ( D -∇ K ) s = ı L s . The operator ı L is a derivation of degree k that acts trivially on C ∞ ( M ) and as D -∇ K on the sections of F . Then, D = ∇ K + ı L . /square

The decomposition (6) above follows, of course, taking F = E ∗ . From the proof, we get that K : Γ E → Γ TM is such that, for any A ∈ Γ E and f ∈ C ∞ ( M ),

$$K ( A ) ( f ) = D f ( A ) = q A ( f ),$$

so K = , as before. q

The following result will be useful when doing explicit computations.

Lemma 3.3. Let K : E → TM be a vector bundle morphism, and let ∇ be a connection on E . If α ∈ Γ E ∗ and A,B ∈ Γ E , then,

$$( \nabla _ { K } \alpha ) ( A, B ) = K A ( \alpha ( B ) ) - \alpha ( \nabla _ { K A } B ) - K B ( \alpha ( A ) ) + \alpha ( \nabla _ { K B } A ).$$

Proof. Consider a basis of sections of Γ E , { s a } r a =1 (with r = rank E ), and let { η b } r b =1 be the dual basis. Also, let { ∂ i } m i =1 be a local basis of local vector fields on M (with dim M = m ). Then, we have the local expressions A = A s a a , B = B s b b , and K = K η j c c ⊗ ∂ j . We can write

$$\nabla _ { K } = \nabla _ { K _ { c } ^ { j } \eta ^ { c } \otimes \partial _ { j } } = K _ { c } ^ { j } \eta ^ { c } \wedge \nabla _ { \partial _ { j } },$$

and compute

$$( \nabla _ { K } \alpha ) ( A, B ) = ( K _ { c } ^ { j } \eta ^ { c } \wedge \nabla _ { \partial _ { j } } \alpha ) ( A, B )$$

- = K j c ( η c ( A )( ∇ ∂ j α )( B ) -η c ( B )( ∇ ∂ j α )( A ))
- = K j c ( A c ( ∇ ∂ j ( α B ( )) -α ( ∇ ∂ j B )) -B c ( ∇ ∂ j ( α A ( )) -α ( ∇ ∂ j A )))
- = ∇ K A ∂ j c c j ( α B ( )) -K A α j c c ( ∇ ∂ j B ) -∇ K B ∂ j c c j ( α A ( )) + K B α j c c ( ∇ ∂ j A . )

Notice that KA = K A ∂ j c c j , so we can rearrange the preceding expression, using also the C ∞ ( M ) -linearity of α , as

$$( \nabla _ { K } \alpha ) ( A, B ) & = \nabla _ { K A } ( \alpha ( B ) ) - \alpha ( \nabla _ { K A } B ) - \nabla _ { K B } ( \alpha ( A ) ) - \alpha ( \nabla _ { K B } A ) \\ & = K A ( \alpha ( B ) ) - K B ( \alpha ( A ) ) + \alpha ( \nabla _ { K B } A - \nabla _ { K A } B ). \\ & \quad \square$$

Now, we can find L in the decomposition (6). Let us start with:

$$( D - \nabla _ { q } ) ( \alpha ) ( A, B ) = ( \imath _ { L } \alpha ) ( A, B ) = \alpha ( L ( A, B ) ).$$

Now, on the one hand,

$$( D \alpha ) ( A, B ) = q A ( \alpha ( B ) ) - q B ( \alpha ( A ) ) - \alpha ( \mathbb { [ } A, B \mathbb { ] } ),$$

and on the other, from lemma 3.3

$$\nabla _ { q } \alpha ( A, B ) = q A ( \alpha ( B ) ) - \alpha ( \nabla _ { q A } B ) - q B ( \alpha ( A ) ) + \alpha ( \nabla _ { q B } A ).$$

Thus,

$$\alpha ( L ( A, B ) ) = ( D - \nabla _ { q } ) ( \alpha ) ( A, B ) = \alpha ( \nabla _ { q A } B - \nabla _ { q B } A - [ A, B ] ),$$

hence:

$$L ( A, B ) = \nabla _ { q A } B - \nabla _ { q B } A - [ A, B ].$$

Remark 1. Let ( E,q, [ [ , ] ]) be a Lie algebroid over M . Let V → M another vector bundle over M . An E -connection on V , δ , is an R -bilinear map δ : Γ E × Γ V → Γ V , whose action is denoted δ A, s ( ) = δ A s , such that, for any f ∈ C ∞ ( M ),

$$& \delta _ { f A } s = f \delta _ { A } s \\ & \delta _ { A } ( f s ) = ( q A ) ( f ) s + f \delta _ { A } s.$$

An E -connection is simply an E -connection on E itself (see [10, 17, 2] for references on Lie algebroid connections and their applications). In this case, it is possible to define the torsion of δ as the E -valued 2 -form Tor δ ∈ Ω ( 2 E E ; ) given by the usual expression, but using the Lie algebroid bracket instead of the Lie one:

$$\text{Tor} \, \delta ( A, B ) \coloneqq \delta _ { A } B - \delta _ { B } A - [ A, B ].$$

Notice that each linear connection ∇ on E determines an E -connection δ ∇ . Simply define

$$\delta _ { A } ^ { \nabla } B \coloneqq \nabla _ { q A } B.$$

The torsion of this connection is then

$$\text{Tor} \, \delta ^ { \nabla } ( A, B ) = \nabla _ { q A } B - \nabla _ { q B } A - \left [ A, B \right ],$$

which is precisely our expression (9).

We summarize these calculations in the following result.

Theorem 3.4. Let ( E,q, [ [ , ] ]) be a Lie algebroid and D ∈ Der Γ ( Λ · E ∗ ) be the derivation defined in (2) . Then, given any linear connection ∇ on E , D can be written as

$$D = \nabla _ { q } + \imath _ { L ^ { \nabla } },$$

where L ∇ ∈ Γ ( Λ 2 E ∗ ⊗ E ) , the torsion of the E -connection δ ∇ , is given by

$$L ^ { \nabla } ( A, B ) = \nabla _ { q A } B - \nabla _ { q B } A - [ A, B ],$$

for A,B ∈ Γ E .

An equivalent formulation of this result can be obtained in the particular case of a Lie algebroid on the tangent bundle, which offers an alternative interpretation of the contracted bracket [ X,Y ] q in terms of the torsion of the TM -connection δ ∇ in (10).

Observe that if E = TM , then, given any symmetric linear connection ∇ on TM , the torsion of the corresponding TM -connection δ ∇ is given by

$$\dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \ delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta\delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \dots \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \ delta \ delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \dia \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \Delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta
T \text{or} \delta \delta ^ { \nabla } = & L ^ { \nabla } ( X, Y ) \\ = & L ^ { \nabla } _ { q } ( X ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \ nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } ) - \nabla _ { Y } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( \nabla _ { q } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ) ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla } ( Y ^ { \nabla } _ { Y } - \nabla$$

for any X,Y ∈ X ( M ).

Just apply that ∇ is torsionless, and the properties of any covariant derivative.

## 4. From cohomology operators to Lie algebroids

Suppose we have a smooth vector bundle π : E → M , and a derivation D ∈ Der Γ ( Λ E ∗ ) such that D 2 = 0. Then, we can define a mapping q : Γ E → Γ TM as follows,

$$q ( A ) ( f ) \coloneqq D f ( A ),$$

for any f ∈ C ∞ ( M ), A ∈ Γ E .

Let us define also a bracket on the sections of E in the following way: if A,B ∈ Γ E , then their bracket [ [ A,B ] ] is the section of E characterized by

$$\alpha ( \left [ A, B \right ] ) = D ( \alpha ( B ) ) ( A ) - D ( \alpha ( A ) ) ( B ) - D \alpha ( A, B ),$$

for any α ∈ Γ E ∗ . The following result is well-known.

Proposition 4.1. The triple ( E,q, [ [ , ] ]) is a Lie algebroid.

Remark 2. It follows from proposition 3.1 and proposition 4.1, that there exists a one to one correspondence between Lie algebroids on E and cohomology operators in Γ ( Λ E ∗ ), that is, derivation D of degree one on Γ ( Λ E ∗ ) such that D 2 = 0. For various formulations of this results see, for example, [16] and [6].

Let us delve into the structure of this Lie algebroid when E = TM . In this case, last proposition can be reformulated: Let D be a derivation, D ∈ Der Γ ( Λ · T ∗ M ), such that D 2 = 0, then it has a Fr¨licher-Nijenhuis decomposition o D = L K + ı L , where K ∈ Ω ( 1 M TM ; ) and L ∈ Ω ( 2 M TM ; ). Then, the triple ( E,q, [ [ , ] ]) is a Lie algebroid with

$$q = K$$

and

$$( 1 1 ) & & [ X, Y ] = [ X, Y ] _ { K } - L ( X, Y ),$$

where the contracted bracket is given in (3).

Formula (11) can be deduced by observing that D is precisely the operator associated to the Lie algebroid by the construction in the previous section. In particular, that tells us that the distribution Im K is involutive, because (as the anchor map of a Lie algebroid is a Lie algebra morphism) [ KX,KY ] = K X,Y [ [ ] ] ∈ Im K . Notice (see [11]) that when the Nijenhuis torsion of K vanishes, then [ , ] K is a Lie bracket.

Taking the action of K on both sides of (11), we get

$$K L ( X, Y ) = K [ K X, Y ] + K [ X, K Y ] - K ^ { 2 } [ X, Y ] - K [ X, Y ].$$

But, as K = q is a Lie algebroid anchor, it is a Lie algebra morphism, so

$$[ K X, K Y ] - K [ K X, Y ] - K [ X, K Y ] + K ^ { 2 } [ X, Y ] = - K L ( X, Y ),$$

or, more succintly, in terms of the Nijenhuis torsion of K ,

$$T _ { K } ( X, Y ) = - K L ( X, Y ).$$

This expression allows us to prove the following result: Let D ∈ Der Ω( 1 M ) be such that D 2 = 0 and its Fr¨licher-Nijenhuis decomposition has the form o D = L K (i.e, L = 0).

Proposition 4.2. The derivation D = L K induces a Lie algebroid structure on (sections of) TM with anchor map q = K and bracket

$$[ X, Y ] _ { K } = [ K X, Y ] + [ X, K Y ] - K [ X, Y ],$$

if and only if K is integrable (i.e, T K = 0 ).

Proof. The condition T K = 0 follows from (12) above. On the other hand, the sufficiency is guaranteed by the identities D 2 = 1 2 [ D,D ] and [ L K , L L ] = L [ K,L ] FN and by proposition 4.1. /square

Remark 3. The 'if' part of this proposition was given as theorem 3.7 in [12] and as exercise 40 in [5].

/negationslash

Recall that, given a bundle map N : TM → TM , when T N = 0, N is called a Nijenhuis tensor. As every Nijenhuis tensor induce a Lie algebroid, then, any complex structure ( K 2 = -I ), tangent structure ( K 2 = 0) or product structure ( K 2 = I ), defines a Lie algebroid on TM . Let us see what happens when a term L = 0 is non trivial. Still demanding that D = L K + ı L be of square zero; we will do this in two steps, assuming in the first one that K is invertible. If K : Γ TM → Γ TM is an invertible endomorphism, the vector-valued 2 -form L ∈ Ω ( 2 M TM ; ) is determined by

$$\Phi _ { - 1 }$$

(13) L X,Y ( ) := -K T K ( X,Y , ) for any X,Y ∈ Γ TM , and then, the bracket [ [ , ] ] : Γ TM → Γ TM is (14) [ [ X,Y ] ] := [ X,Y ] K + K -1 T K ( X,Y , )

for all X,Y ∈ Γ TM .

Lemma 4.3. The bracket (14) satisfies

$$[ X, Y ] = K ^ { - 1 } [ K X, K Y ].$$

Proof. It is a straightforward computation:

$$r r o o j. \ n i s a s a n g u n u o r w a r c o m p u a u o n \colon & [ X, Y ] = & [ X, Y ] _ { K } + K ^ { - 1 } T _ { K } ( X, Y ) \\ & = & [ K X, Y ] + [ X, K Y ] - K [ X, Y ] \\ & \quad + K ^ { - 1 } ( [ K X, K Y ] - K [ K X, Y ] - K [ X, K Y ] + K ^ { 2 } [ X, Y ] ) \\ & = & K ^ { - 1 } [ K X, K Y ] \\ & \quad & \sqcap$$

/square

Proposition 4.4. The triple ( TM,K, [ [ , ] ]) , with the bracket defined in (14) , is a Lie algebroid.

Proof. That ( Γ TM, [ [ , ] ]) is a Lie algebra is immediate (Jacobi's identity results by applying Lemma 4.3), and K is a morphism of C ∞ ( M ) -modules, so we only need to check the Leibniz rule:

$$\begin{array} { r c l } \text{to check use Lemnz true} \\ [ X, f Y ] & = & [ X, f Y ] _ { K } + K ^ { - 1 } T _ { K } ( f X, Y ) \\ & = & [ K X, f Y ] + [ X, f K Y ] - K [ X, f Y ] + f K ^ { - 1 } T _ { K } ( X, Y ) \\ & = & f [ X, Y ] _ { K } + K X ( f ) Y + X ( f ) K Y - X ( f ) K Y + f K ^ { - 1 } T _ { K } ( X, Y ) \\ & = & f [ X, Y ] + K X ( f ) Y. \end{array}$$

/square

Every Lie algebroid induced by an invertible endomorphism is isomorphic to the trivial Lie algebroid:

Proposition 4.5. The Lie algebroids ( TM,K, [ [ , ] ]) (given by proposition 4.4) and the trivial one ( TM,Id, [ , ]) are isomorphic.

Proof. The desired isomorphism is φ = K -1 : Γ TM → Γ TM , since

$$K \circ \phi = K \circ K ^ { - 1 } = I d \,,$$

and

$$\phi ( [ X, Y ] ) & = K ^ { - 1 } ( [ X, Y ] ) = K ^ { - 1 } ( [ K \circ K ^ { - 1 } ( X ), K \circ K ^ { - 1 } ( Y ) ] ) = [ \phi ( X ), \phi ( Y ) ] \\ & \text{by lemma 4.3.}$$

$$by lemma 4.3.$$

To summarize, we have the following result which, in particular, applies to almost-complex or almost-product structures.

Theorem 4.6. Let K : TM → TM be an invertible bundle endomorphism. Then, a derivation of the form

$$D = \mathcal { L } _ { K } + \imath _ { L } \in \text{Der} ^ { 1 } \Omega ( M ),$$

(with L ∈ Ω ( 2 M TM ; ) ) has vanishing square if and only if

$$L = - K ^ { - 1 } T _ { K }.$$

In this case, the Lie algebroid structure on TM determined by D is isomorphic to the trivial one.

In the next step, we consider the general situation of a derivation of Z -degree 1, D = L K + i L , where K is not necessarily invertible. We ask ourselves under which conditions on K and L , it defines a Lie algebroid structure. From the Fr¨lichero Nijenhuis decomposition D = L K + i L and the general properties of the Fr¨lichero Nijenhuis and Richardson-Nijenhuis brackets (see [15, 19, 21]), we get:

$$\Lambda _ { \Lambda } & = \frac { 1 } { 2 } [ D, D ] = \frac { 1 } { 2 } [ \mathcal { L } _ { K } + \imath _ { L }, \mathcal { L } _ { K } + \imath _ { L } ] \\ & = \frac { 1 } { 2 } \mathcal { L } _ { [ K, K ] _ { F N } } + \imath _ { [ K, L ] _ { F N } } + \mathcal { L } _ { \imath _ { L } K } + \frac { 1 } { 2 } \imath _ { [ L, L ] _ { R N } }, \\ \Lambda \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \cdot \cdot$$

so D 2 = 0 is equivalent to the conditions

$$\infty \, \lambda \, - \infty \, \text{equivalent to one common} \\ ( 1 5 ) & \quad \begin{cases} \frac { 1 } { 2 } [ K, K ] _ { F N } + \imath _ { L } K = 0 \\ [ K, L ] _ { F N } + \frac { 1 } { 2 } [ L, L ] _ { R N } = 0. \end{cases} \\ \text{The first of these is already known, it comes from the imposit} \\ \text{algebroid bracket be of the form } [ X. Y ] = [ X. Y ] _ { K } - L ( X. Y ) \, \text{and}$$

 The first of these is already known, it comes from the imposition that the Lie algebroid bracket be of the form [ [ X,Y ] ] = [ X,Y ] K -L X,Y ( ) and is nothing more than equation (12). A straightforward computation shows that, in fact, it is also equivalent to D f 2 = 0, for any f ∈ C ∞ ( M ). The second condition is much more difficult to satisfy. In the following sections we will construct some solutions out of structures on the tangent bundle of a manifold M with geometric relevance.

## 5. Lie algebroids associated to idempotent endomorphisms

Let TM → M be the tangent bundle over the connected manifold M , and let N : TM → TM be an idempotent endomorphism (that is, such that N 2 = N ). Then, N has locally constant rank and ker N , Im N are vector (sub)bundles such that TM = ker N ⊕ Im N (see [14]). We will assume that Im N is an involutive distribution and write down proofs in the real case for simplicity, but the results are valid in the complex case as well.

Lemma 5.1. Under the above assumptions, the following holds:

$$( 1 6 ) & & N [ N X, N Y ] = [ N X, N Y ].$$

Proof. As Im N is involutive, there exists a Z ∈ Γ TM such that [ NX,NY ] = NZ , and by applying N to both sides of this equation,

$$N [ N X, N Y ] = N ^ { 2 } Z = N Z = [ N X, N Y ]$$

Consider now the Nijenhuis torsion of N (1). In our case, it can be rewritten as

$$T _ { N } ( X, Y ) = [ N X, N Y ] - N [ N X, Y ] - N [ X, N Y ] + N [ X, Y ].$$

By applying N to both sides, we get

$$N T _ { N } ( X, Y ) = N [ N X, N Y ] - N ^ { 2 } [ N X, Y ] - N ^ { 2 } [ X, N Y ] + N ^ { 2 } [ X, Y ],$$

and, using lemma 5.1 along with the property N 2 = N ,

$$( 1 7 ) \ N T _ { N } ( X, Y ) = [ N X, N Y ] - N [ N X, Y ] - N [ X, N Y ] + N [ X, Y ] = T _ { N } ( X, Y ).$$

This suggest to define the vector-valued 2 -form

$$L \coloneqq - T _ { N }.$$

The pair ( N,L ) is a solution to equations (15).

Proposition 5.2. Let N : TM → TM be an idempotent endomorphism with Im N involutive, and L ∈ Ω ( 2 M TM ; ) defined by (18) . Then NL = -T N , also

$$\begin{cases} [ N, L ] _ { F N } = 0 \\ [ L, L ] _ { R N } = 0 \end{cases}$$

Proof. The first affirmation is a direct consequence of definition (18). As L = -1 2 [ N,N ] FN , and (Ω ( ∗ M TM , ; ) [ , ] FN ) is a graded Lie algebra (see [19]), we have

$$[ N, L ] _ { F N } = - \frac { 1 } { 2 } [ N, [ N, N ] _ { F N } ] _ { F N } = 0.$$

Moreover, as L ∈ Ω ( 2 M TM ; ), it follows that [ L, L ] RN ∈ Ω ( 3 M TM ; ), i L ∈ Der 1 Ω( M ), and i [ L,L ] RN ∈ Der 2 Ω( M ); thus, i [ L,L ] RN is completely characterized by its action on 0 -forms (smooth functions) and 1 -forms. But i [ L,L ] RN is a tensorial derivation, so it vanishes on C ∞ ( M ). Now, given an α ∈ Ω ( 1 M ) it is

$$i _ { [ L, L ] _ { R N } } \in \Omega ^ { 3 } ( M ) \text{ so, whenever } X, Y, Z \in \Gamma T M,$$

$$\iota _ { N } \in \mathcal { A } ( I \lambda ) \, \text{so, whenever } \Lambda, \, I, \, Z \in \mathcal { A } ( I \lambda ), \\ ( i _ { [ L, L ] _ { R N } } \alpha ) ( X, Y, Z ) & = \alpha ( [ L, L ] _ { R N } ( X, Y, Z ) ) \\ & = 2 i _ { L } ^ { 2 } \alpha ( X, Y, Z ) \\ & = 2 \bigcirc i _ { L } \alpha ( L ( X, Y ), Z ) \\ & = 2 \bigcirc \alpha ( L ( L ( X, Y ), Z ) ) \\ & = 2 \bigcirc \alpha ( T _ { N } ( T _ { N } ( X, Y ), Z ) ) = 0, \\ \Big \rangle \text{ denotes cyclic sum in } ( X. Y. Z ) ) \text{ because}$$

(here /clockwise denotes cyclic sum in ( X,Y,Z )) because

T

N

(

T

N

(

X,Y ,Z

)

)

=[

NT

N

(

X,Y ,NZ

)

]

-

N NT

[

N

(

X,Y ,Z

)

]

-

N T

[

N

(

X,Y ,NZ

)

] +

N

2

[

T

N

(

X,Y ,Z

)

]

=

N NT

[

N

(

X,Y ,NZ

)

]

-

N T

[

N

(

X,Y ,Z

)

]

-

N T

[

N

(

X,Y ,NZ

)

] +

N T

[

N

(

X,Y ,Z

)

]

$$= & N [ T _ { N } ( X, Y ), N Z ] - N [ T _ { N } ( X, Y ), Z ] - N [ T _ { N } ( X, Y ), N Z ] + N [ T _ { N } ( X, Y ), Z ] = 0,$$

where we have used lemma 5.1, equation (17), and the property N 2 = N . /square

Combining (15) with proposition 5.2, we arrive at the following result

Theorem 5.3. Let N ∈ Ω ( 1 M TM ; ) be such that N 2 = N and Im N is involutive. Then, defining L as in (18) , the derivations given by D 1 = L N + ı L , and D 2 = ı L ∈ Der Ω( 1 M ) are cohomology operators, that is, D 2 1 = 0 = D 2 2 .

Note that when N is a Nijenhuis tensor, automatically Im N is involutive, since in this case [ N X ,N Y ( ) ( )] = N N X ,Y ([ ( ) ] + [ X,N Y ( )] -N X,Y ([ ])) for every X,Y ∈ Γ TM . And if it holds that Ker N and Im N are involutive, it follows that N is Nijenhuis tensor.

Corollary 5.4. Let N ∈ Ω ( 1 M TM ; ) be such that N 2 = N and T N = 0 . Then, the derivation given by D = L Id -N ∈ Der Ω( 1 M ) is a cohomology operator, that is, D 2 = 0 .

Proof. First we observe that ( Id -N ) 2 = Id -N , moreover using the identity [ Id, N ] FN = -[ N,Id ] FN , we get

$$\cdot \quad \cdot \quad & \cdot \quad \\ T _ { I d - N } = & [ I d - N, I d - N ] _ { F N } \\ = & [ I d, I d ] _ { F N } - [ N, I d ] _ { F N } - [ I d, N ] _ { F N } + [ N, N ] _ { F N } \\ = & 0$$

Then simply apply theorem 5.3.

/square

Applying formula (11), the Lie algebroid induced by the operator D 1 = L N + ı L of Theorem 5.3 can be explicitly described as follows.

Theorem 5.5. Let N ∈ Ω ( 1 M TM ; ) be such that N 2 = N and Im N is involutive. Then, there exists a Lie algebroid structure ( TM,q, [ | , | ]) with anchor map q = N and bracket

$$| X, Y | = [ X, Y ] _ { N } + T _ { N } ($$

We remark that the bracket on TM constructed this way, is given by the sum of the deformed bracket [ · , · ] N and the torsion T N . Another useful expresion for this bracket is

$$( 2 0 ) \quad \left | X, Y \right | = \left [ N X,$$

## 6. Relation with the foliated exterior differential

Let F be a regular foliation on a manifold M and T F ⊂ TM its tangent bundle. Denote by j : T F → ↪ TM the canonical injection. To any such a foliation we can associate a Lie algebroid in two equivalent ways.

- (a) The space of tangent sections Γ ( T F ) is closed with respect to the Lie bracket of vector fields on M , by the integrability of F , so it carries a natural (foliated) bracket [ · , · ] F which is just the restriction of the Lie bracket to F . Then,

$$( E = T \mathcal { F }, [ \cdot, \cdot ] _ {$$

is a Lie algebroid, called the Lie algebroid of the foliation F (see, for example, [10]). In this case the corresponding cohomology operator is the foliated exterior differential d F : Γ ( Λ p T ∗ F ) → Γ ( Λ p +1 T ∗ F ), which gives rise to the foliated DeRham cohomology.

- (b) Let H be an Ehresmann connection on ( M, F ) complementary to T F , that is, TM = H ⊕F . Denote by γ the associated projection on F , γ : H ⊕F → F , so H = ker γ and F = Im γ . It follows that γ is a vector-valued 1 -form, and then the curvature of the connection is defined as the Nijenhuis torsion

$$R = \frac { 1 } { 2 } [ \gamma, \gamma ] _ { F$$

On the whole TM we can construct the Lie algebroid structure given by Theorem 5.5. In this case, the explicit expression of the bracket can be easily computed from (20):

$$\begin{array} {$$

The anchor map, as we know, is given by q = γ . Obviously, this algebroid structure coincides with the previous one when restricted to Γ ( T F ), independently of the chosen connection γ .

In what follows, we offer an interpretation of the foliated cohomology within the framework described in item (b). The splitting induced by γ , TM = H ⊕ T F , define a bigrading on Ω( M ). A differential form ω on a foliated manifold is said to be of type ( p, q ) if it has degree p + q and ω X ,. . . , X ( 1 p + q ) = 0 whenever the arguments contain more than q vector fields in Γ ( T F ), or more than p in H . According to this bigrading, we have a decomposition of the exterior differential on M ,

$$d & = d _ { 1, 0 } + d _ { 2, - 1 } + d _ { 0, 1 } \,,$$

(see [22]), where d i,j : Ω p,q ( M ) → Ω p + i,q + j .

Remark 4. Denoting by h : Γ ( Λ T ∗ F ) → Γ ( Λ H 0 ) the natural identification, we notice that d 0 1 , is a γ -dependent extension of the foliated exterior differential, that is,

$$\left ( d _ { 0, 1 } \circ h \right ) \omega = \left ( h \circ d _ { \mathcal { F } } \right ) \omega \,,$$

for all ω ∈ Γ ( Λ T ∗ F ).

The Fr¨licher-Nijenhuis decomposition of the operators appearing in the decomo position (21) can be readily computed from the results in section 2:

$$& d _ { 1, 0 } = \, \mathcal { L } _ { \text{Id} - \gamma } + \imath _ { 2 R } \\ & d _ { 0, 1 } = \, \mathcal { L } _ { \gamma } - \imath _ { R } \\ & d _ { 2, - 1 } = \, - \imath _ { R } \,.$$

From (21) and d 2 = 0, it follows that

$$d _ { 0, 1 } ^ { 2 } = 0 = d _ { 2, - 1 } ^ { 2 } \,.$$

Moreover, the derivation d 1 0 , is a cohomology operator if and only if the curvature of the connection γ vanishes.

Theorem 6.1. The cohomology operator associated to the Lie algebroid on TM described in item (b) above, is given by

$$D = d _ { 0, 1 } \,.$$

Moreover, the Lie algebroid of the foliation F and the restriction to T F of the Lie algebroid associated to a connection γ on TM , coincide. Thus, the complexes associated to the cohomology operators d F and d 0 1 , | Γ ( Λ H 0 ) are isomorphic.

Proof. The first statement is just a consequence of Theorem 3.1 and example 2. The second one follows from preceding results, along with remark 4. /square

Remark 5. Notice that, once this equivalence has been established, given the Lie algebroid structure N : TM → TM , with N idempotent, we could define the associated foliated cohomology independently of any regularity condition on F , just using the decomposition

$$d = \mathcal { L } _ { I d } = ( \mathcal { L } _ { I d - \gamma } + 2 \imath _ { R } ) + ( \mathcal { L } _ { \gamma } - \imath _ { R } ) - \imath _ { R } \,.$$

## 7. Complex Lie algebroids associated to complex structures

Recall that an almost-complex structure on a manifold M is a vector-valued 1 -form J ∈ Ω ( 1 M TM ; ) such that J 2 = -Id TM . In order to diagonalize the endomorphism J , we work in the complexified tangent bundle T C M , and extend by C -linearity all real endomorphisms and differential operators on TM (with a little abuse of notation, we will denote these extensions by the same symbols as their real counterparts). The Lie bracket of vector fields can also be extended by C -linearity.

The almost-complex structure J is said to be integrable if its Nijenhuis torsion vanishes, that is, if for every X,Y ∈ X ( M ),

$$T _ { J } ( X, Y ) = \frac { 1 } { 2 } [ J, J ] _ { F N } ( X, Y ) = [ J X, J Y ] - J [ J X, Y ] - J [ X, J Y ] - [ X, Y ] = 0.$$

The Newlander-Nirenberg theorem states that this happens if and only if M has he structure of a complex manifold.

From the condition J 2 = -Id TM , we know that J has the eigenvalues ± i . If we define the projection operators

$$p ^ { \pm } \coloneqq \frac { 1 } { 2 } ( \text{Id} \mp i J ) \, \colon T ^ { \mathbb { C } } M \to T ^ { \mathbb { C } } M,$$

we get the usual properties

$$( p ^ { \pm } ) ^ { 2 } & = p ^ { \pm } \\ p ^ { + } + p ^ { - } & = \text{Id} _ { T ^ { \text{c} } M } \\ p ^ { + } \circ p ^ { - } & = 0 = p ^ { - } \circ p ^ { + } \,,$$

$$\psi$$

which determine the subbundle decomposition T C M = T + M ⊕ T -M , where

$$\Gamma T ^ { \pm } M = \{ Z \in \Gamma T ^ { \mathbb { C } } M \, \colon J Z = \pm i Z \}.$$

The elements of Γ T + M are called holomorphic vector fields, and those of Γ T -M anti-holomorphic. Notice that Im p ± = T ± M , and ker p ± = T ∓ M , and that if Z ∈ Γ T + M , then its complex conjugate ¯ Z ∈ Γ T -M (and vice versa).

We will need the following technical results.

Lemma 7.1. Let J ∈ Ω ( 1 M TM ; ) be an almost-complex structure on M , and let T J be its Nijenhuis torsion. If T J = 0 , then its complex extension also satisfies T J = 0 .

Proof. Let Z = X + iY, W = X ′ + iY ′ . A straightforward computation shows that

$$\mathcal { T } _ { J } ( Z, W ) & = [ J Z, J W ] - J [ J Z, W ] - J [ Z, J W ] - [ Z, W ] \\ & = T _ { J } ( X, X ^ { \prime } ) - T _ { J } ( Y, Y ^ { \prime } ) + i ( T _ { J } ( Y, X ^ { \prime } ) + T _ { J } ( X, Y ^ { \prime } ) ) \\ & \quad \square$$

Proposition 7.2. An almost-complex structure J ∈ Ω ( 1 M TM ; ) is integrable if and only if [ T + M,T + M ] ⊂ T + M , that is, the distribution defined by the holomorphic vector fields is involutive.

Proof. Consider first the case of J ∈ Ω ( 1 M TM ; ) integrable. By the preceding lemma, if T J = 0, then also T J = 0. If Z, W are holomorphic vector fields, we have JZ = iZ and JW = iW , so

$$0 = \mathcal { T } _ { J } ( Z, W ) & = [ i Z, i W ] - J [ i Z, W ] - J [ Z, i W ] - [ Z, W ] \\ & = - [ Z, W ] - i J [ Z, W ] - i J [ Z, W ] - [ Z, W ] \\ & = - 2 ( [ Z, W ] + i J [ Z, W ] ),$$

1

that is J Z, W [ ] = -i [ Z, W ] = i Z, W [ ], so [ Z, W ] is holomorphic. Reciprocally, assume that [ Z, W ] is a holomorphic vector field whenever Z, W are. Given arbitrary vector fields X,Y ∈ Γ TM , we can rewrite them in the form X = Z + ¯ , Z Y = W + ¯ W for some Z, W ∈ Γ T + M . Then, it is readily proved that T J ( Z, W ¯ ) = T J ( ¯ Z,W ) = 0, and

$$T _ { J } ( X, Y ) = \mathcal { T } _ { J } ( Z, W ) + \mathcal { T } _ { J } ( \bar { Z }, \bar { W } ).$$

But for holomorphic vector fields we already know that T J ( Z, W ) = -2([ Z, W ] + iJ Z, W [ ]), and, as [ Z, W ] is holomorphic by assumption, J Z, W [ ] = [ i Z, W ]. Therefore T J ( Z, W ) = -2([ Z, W ] + i 2 [ Z, W ]) = 0. A similar calculation shows that T J ( ¯ Z,W ¯ ) = 0, and we conclude that J is integrable. /square

We are now ready to construct a complex Lie algebroid canonically associated to a complex manifold. Recall (see [24]) that a complex Lie algebroid over the manifold M is given by a complex vector bundle E over M endowed with a complex

Lie algebra structure on its space of sections Γ E , together with a bundle map q : E → T C M (the anchor map) satisfying the Leibniz rule

$$[ A, f B ] = f [ A, B ] + ( q A ) ( f ) B,$$

for any A,B ∈ Γ E , and f : M → C smooth. The main example of a complex Lie algebroid is given by the inclusion q : T + M ↪ → T C M of the subbundle of holomorphic vector fields on a complex manifold. Notice that the vector bundle in this case, E = T + M , is not T C M .

Remark 6. We want to make use of the property ( p + 2 ) = p + of the projection operator p + = 1 2 (Id -iJ ), and the results in section 5 to construct an algebroid where p + will be the anchor map, and the whole T C M the corresponding bundle. However, as Im p + must be involutive, proposition 7.2 forces us to restrict ourselves to complex manifolds.

Our main result is, then, the following.

Theorem 7.3. Let J ∈ Ω ( 1 M TM ; ) be a complex structure on the manifold M . There exists a complex Lie algebroid structure on M , ( T C M,q, [ [ , ] ]) , where the anchor map is q = p + = 1 2 ( Id -iJ ) , and the bracket

$$[ Z, W ] = [ Z, W ] _ { p ^ { + } } = \frac { 1 } { 2 } ( [ Z, W ] - i [ Z, W ] _ { J } ).$$

Proof. First of all, notice that given a complex structure J on M , there is a relation

$$\mathcal { T } _ { p ^ { + } } = - \frac { 1 } { 4 } \mathcal { T } _ { J }, \\ \dots$$

which can be proved by a direct computation. According to the results on section 5, the idempotent endomorphism p + will induce a Lie algebroid T C M → T C M where the anchor map is precisely q = p + , and the bracket [ [ Z, W ] ] = [ Z, W ] p + - T p + . However, the above comment implies that T p + = 0, so the bracket is simply

$$[ Z, W ] = [ Z, W ] _ { p ^ { + } }.$$

A further straightforward computation shows that

$$[ Z, W ] _ { p ^ { + } } = \frac { 1 } { 2 } ( [ Z, W ] - i [ Z, W ] _ { J } ).$$

$$\bar { W } ] _ { p ^ { + } } = \frac { 1 } { 2 } ( [ Z, W ] - i [ Z, W ] _ { J } ).$$

Notice that this Lie algebroid is different to that obtained by applying proposition 4.2, where the resulting bracket would be [ | Z, W | ] = [ Z, W ] J (that is, the C -linear extension of [ , ] J to T C M ).

Remark 7. The proof extends trivially to the case of an endomorphism J ∈ Ω ( 1 M TM ; ) such that J 2 = -/epsilon1 2 Id TM with /epsilon1 ∈ R -{ } 0 .

## 8. Lie algebroids associated to product structures

Consider now an almost-product structure on the manifold M , that is, a vector bundle endomorphism P : TM → TM such that P 2 = Id TM . It has locally constant rank and it defines two projection operators associated to its eigenvalues λ = ± 1, p ± := 1 2 (Id ± P ). We have a decomposition of the tangent bundle analogous to that of the complex case, TM = T + M ⊕ T -M , where, this time, T ± M = Im p ± .

A basic result is that the complementary distributions T ± M are integrable if and only if P is integrable, in the sense of having vanishing Nijenhuis torsion (see [9]),

that is, T ± M are integrable if and only if P is a product structure. In this case, both T ± M are involutive, as we will assume. A simple computation shows that

$$T _ { p ^ { \pm } } = \frac { 1 } { 4 } T _ { P }, \quad \cdot \quad \cdot$$

thus, in the case of a product structure we have T p -= 0.

Of course, given a product structure on M we can construct a Lie algebroid, induced by the operator D = L P , applying proposition 4.2. The bracket is then the contracted one,

$$\left \lfloor X, Y \right \rfloor = [ X, Y ] _ { P }.$$

As we know, the Lie algebroid obtained in this way is isomorphic to the trivial one on TM (recall proposition 4.5). The results in section 5 show that we can define another Lie algebroid structure.

Theorem 8.1. Let P ∈ Ω ( 1 M TM ; ) be a product structure on the manifold M . There exists a Lie algebroid structure on M , ( TM,q, [ [ , ] ]) , where the anchor map is q = p -= 1 2 (Id -P ) , and the bracket

$$[ X, Y ] = [ X, Y ] _ { p - } = \frac { 1 } { 2 } ( [ X, Y ] - [ X, Y ] _ { P } ).$$

Proof. The statement is actually a corollary to theorem 5.3. The last equality is just a trivial computation. /square

Remark 8. The theorem applies also to the case of an operator P ∈ Ω ( 1 M TM ; ) such that P 2 = /epsilon1 2 Id TM , with /epsilon1 ∈ R -{ } 0 .

## 9. The Lie algebroid associated to a tangent structure and a connection

Let us recall some facts about the geometry of the tangent bundle (see [13]). Let π : TM → M be the tangent bundle of a manifold M , and let τ : TTM → TM be the second tangent bundle. Then, we have a short exact sequence of vector bundles

$$0 \longrightarrow T M \times _ { M } T M \stackrel { \iota } { \longrightarrow } T T M \stackrel { j } { \longrightarrow } T M \times _ { M } T M \longrightarrow 0,$$

where

∣ is the natural injection, and j = ( τ, π ). The vertical sub-bundle V TM = ker π ∗ can be expressed in either form

$$\iota ( u, w ) = \frac { \text{d} } { \text{d} t } ( u + t w ) \Big | _ { t = 0 } \\ \text{and} \ j = ( \tau, \pi ). \\ \text{lle} \ \mathcal { V } T M = \ker \pi _ { * } \text{ can be express}$$

$$\text{Im} \iota = \mathcal { V } T M = \ker j,$$

and the vector-valued form J ∈ Ω ( 1 TM TTM ; ) defined by

$$J = \iota \circ j,$$

is called the vertical endomorphism. It is immediate to prove the following properties:

$$2$$

$$\overline { 2 }$$

$$J ^ { 2 } & = 0 \\ \ker J = \mathcal { V } T M = \text{Im} J \\ T _ { J } & = \frac { 1 } { 2 } [ J, J ] _ { F N } = 0.$$

Thus, J defines a (canonical) tangent structure on TM . It has locally constant rank equal to dim M . We also have the (canonical) Liouville vector field on TM , C ∈ X ( TM ), defined as

$$C = \iota \circ \Delta,$$

where ∆ : TM → TM × M TM is the diagonal ∆( v ) = ( v, v ). The Liouville vector field has the property

$$\mathcal { L } _ { C } J = - J.$$

A (nonlinear) connection Γ on TM is a vector-valued form Γ ∈ Ω ( 1 TM TTM ; ) such that

$$J \circ \Gamma = J = - \Gamma \circ J.$$

A basic property of a connection is that it defines an almost product structure on TM , that is,

$$\Gamma ^ { 2 } = \text{Id} _ { T T M },$$

in such a way that the eigenbundle corresponding to the eigenvalue λ = -1 is precisely the vertical distribution. In other words, if we define the projectors

$$\Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \} \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \. \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \   \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \ \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \, \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \, \Phi _ { \mu } \, \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \, \Phi _ { \mu } \quad \Phi _ { \mu } \, \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \ \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \quad \Phi _ { \mu } \ \Phi _ { \mu } \quad \Phi _ { \mu } \quad 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0. \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \, 0 \$$

we have V TM = Im , and v TTM = Im v ⊕ Im . h

Notice that the vertical distribution is integrable (Im v is involutive), while, in general, the horizontal distribution is not (in fact, a necessary and sufficient condition for this is the vanishing of the curvature of the connection). Thus, we expect to be able to apply the results of section 5 in order to construct a Lie algebroid structure where the vector bundle is E = TTM , and the anchor map v .

Theorem 9.1. Let M be a manifold, and J the canonical tangent structure on TM . Let Γ ∈ Ω ( 1 TM TTM ; ) be a connection on TM . Then, there exists a Lie algebroid structure on TM , ( TTM,q, [ [ , ] ]) , where the anchor map is q = v = 1 2 (Id TTM -Γ) and the bracket

$$( 2 2 ) & & [ A, B ] = \frac { 1 } { 2 } \left ( [ A, B ] - [ A, B ] _ { \Gamma } \right ) + \frac { 1 } { 4 } T _ { \Gamma } ( A, B ).$$

Proof. This is just a corollary to theorem 5.3. Simply notice that, as a quick calculation shows,

$$T _ { v } ( A, B ) = \frac { 1 } { 4 } T _ { \Gamma } ( A, B ),$$

for all A,B ∈ X ( TM ), and

$$r \, \text{all} \, A, B \in \mathcal { A } \, ( \mathcal { I } \, M ), \, \text{ana} \\ [ A, B ] _ { v } = & [ v A, B ] + [ A, v B ] - v [ A, B ] \\ = & \frac { 1 } { 2 } ( [ A - \Gamma A, B ] + [ A, B - \Gamma B ] - [ A, B ] + \Gamma [ A, B ] ) \\ = & \frac { 1 } { 2 } ( [ A, B ] - [ \Gamma A, B ] - [ A, \Gamma B ] + \Gamma [ A, B ] ) \\ = & \frac { 1 } { 2 } ( [ A, B ] - [ A, B ] _ { \Gamma } ).$$

The easiest method for obtaining connections on TM is to choose a semispray. A semispray (or a second-order differential equation, see [1]) on M is a vector field on TM S , ∈ X ( TM ), such that it is also a section of the second tangent bundle TTM → TM . Vector fields S ∈ X ( TM ) which are semisprays can be characterized with the aid of the canonical structures on TM as those satisfying

$$J \circ S = C.$$

It is well known (see [1, 9]) that for any semispray S , the endomorphism Γ = -L S J is a connection on TM , with associated projectors

$$\tilde { h } = \frac { 1 } { 2 } ( \text{Id} _ { T T M } - \mathcal { L } _ { S } J ) \\ v = \frac { 1 } { 2 } ( \text{Id} _ { T T M } + \mathcal { L } _ { S } J ). \\ \tilde { \ } \text{mod to non non-zero}$$

Remark 9. This intimate relation between semisprays and connections has been used in Physics to study such topics as the inverse problem for Lagrangian dynamics [7], degenerate Lagrangian systems [3], or the geometry and mechanics of higher order tangent bundles [8].

We have the following result.

Theorem 9.2. Let M be a manifold, and J the canonical tangent structure on TM . Let S ∈ X ( TM ) be a semispray on M . Then, there exists a Lie algebroid structure on TM , ( TTM,q, [ [ , ] ]) , where the anchor map is q = v = 1 2 (Id TTM + L S J ) and the bracket

$$& ( 2 4 ) & & [ A, B ] = \frac { 1 } { 2 } \left ( [ A, B ] - \bigcirc _ { A, B, S } [ A, \mathcal { L } _ { S } B ] _ { J } \right ) + \frac { 1 } { 4 } T _ { \mathcal { L } _ { S } J } ( A, B ). \\ & \nolimits _ { \dots } \tilde { t } \ n \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\ & \nolimits _ { \dots } \tilde { t } \ n \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \colon \nu \sim \nu / \tau / \nolimits \nu \infty }$$

Proof. Rewrite (22) taking into account (23) so, for any X ∈ X ( TM ),

$$\mu _ { \begin{array} { c } ( \mathcal { L } _ { S } J ) X \\ = [ S, J X ] - J [ S, X ] \\ = [ S, X ] _ { J } - [ J S, X ] \\ = [ S, X ] _ { J } - [ C, X ]. \\ \end{array} } } \mu _ { \begin{array} { c } ( \mathcal { L } _ { S } J ) X \\ = [ S, J X ] _ { J } - [ C, X ]. \\ \end{array} } } \mu _ { \begin{array} { c } ( \mathcal { L } _ { S } J ) X \\ = [ S, J X ] _ { J } - [ C, X ]. \\ \end{array} } }$$

That is, Γ X = [ C, X ] -[ S, X ] J . A long but otherwise straightforward computation leads to (24). /square

## Acknowledgments

The authors express their gratitude to J. V. Beltr´n and J. Monterde (both at a the Universitat de Val`ncia, Spain), for many useful discussions. e

## References

- [1] W. Ambrose, R. S. Palais and I. M. Singer, Sprays , An. Acad. Bras. Cie. 32 (1960), 163-178. Available from http://vmm.math.uci.edu/PalaisPapers/Sprays(withAmbrose&amp;Singer).pdf .
- [2] A. D. Blaom, Geometric structures as deformed infinitesimal symmetries , Trans. Amer. Math. Soc. 358 (2006), 3651-3671.
- [3] F. Cantrijn, J. Cari˜ena, J. Crampin and L. Ibort, n Reduction of degenerate Lagrangian systems , J. Geom. Phys. 3 (1986) 353-400.
- [4] J. Clemente-Gallardo, Applications of Lie algebroids in mechanics and control theory , in 'Nonlinear control in the Year 2000', Lect. Not. in Control and Inf. Sci. 258 (2001) 299-313.
- [5] M. Crainic and R. L. Fernandes, Lectures on integrability of Lie brackets , Geometry and Topology Monographs, vol 17, (2011), p. 1-107. Available from: http://msp.org/gtm/2011/17/gtm-2011-17-001s.pdf

- [6] M. Crainic and I.Moerdijk, Deformations of Lie brackets: cohomological aspects , preprint, arXiv: math.DG/0403434, (2005). Available from: http://arxiv.org/pdf/math/0403434v2.pdf
- [7] M. Crampin, On the differential geometry of the Euler-Lagrange equations, and the inverse problem of Lagrangian dynamics , J. Phys. A: Math. Gen. 14 (1981) 2567-2575.
- [8] L. De Andr´ es, M. De Le´n and P. R. Rodrigues, o Connections on tangent bundles of higher order associated to regular Lagrangians , Geometriae Dedicata 39 1 (1991) 17-28.
- [9] M. De Le´ on and P. R. Rodrigues, Methods of Differential Geometry in Analytical Mechanics , North-Holland Mathematics Studies 158 , Elsevier, Amsterdam, 1998.
- [10] R. L. Fernandes, Lie Algebroids, Holonomy and Characteristic Classes , Adv. in Math. 170 1 (2002) 119-179.
- [11] J. Grabowski, Courant-Nijenhuis tensors and generalized geometries , in 'Groups, geometry and physics', Monograf´ ıas de la Real Academia de Ciencias de Zaragoza 29 (2006), 101-112. Available from: http://arxiv.org/abs/math/0601761 .
- [12] J. Grabowski, Brackets , Int. J. of Geom. Methods in Mod. Phys. 10 8 (2013) 1360001 (45 pages).
- [13] J. Grifone, Structure presque-tangent et connexions , Ann. Inst. Fourier 22 1 (1972), 287-334. Available from: https://eudml.org/doc/74069 .
- [14] D. Husem¨ oller, M. Joachim, B. Jur˘ co and M. Schottenloher, Basic Bundle Theory and K -Cohomology Invariants , Lecture Notes in Physics 726 , Springer-Verlag, Berlin, 2008.
- [15] I. Kol´˘, P. W. Michor and J. Slov´k, ar a Natural operations in differential geometry , 2nd edition, Springer-Verlag, New York, 1994.
- [16] Y. Kosmann-Schwarzbach and F. Magri, Possion-Nijenhuis structures , Annales de l'I.P.H., section A, vol 53, no 1, Elsevier (1990), p.35-81. Available from:
- http://archive.numdam.org/ARCHIVE/AIHPA/AIHPA\_1990\_\_53\_1/AIHPA\_1990\_\_53\_1\_35\_0/AIHPA\_1990\_\_53\_1\_35\_0.pdf London Math. Soc.
- [17] K. C. H. Mackenzie, General Theory of Lie Groupoids and Lie algebroids , Lec. Notes 213 , Cambridge UP, Cambridge, 2005.
- [18] E. Mart´ ınez, Lie Algebroids in Classical Mechanics and Optimal Control , SIGMA 3 (2007) 050 (17 pages).
- [19] P. W. Michor, Remarks on the Fr¨licher-Nijenhuis bracket o , Proceedings of the Conference on Differential Geometry and its Applications, Brno (1986), Springer-Verlag, Berlin, 1987. Available from: http://www.mat.univie.ac.at/ ~ michor/froe-nij.pdf .
- [20] J. Monterde and A. Montesinos, Integral curves of derivations , Ann. of Global Anal. and Geom. 6 2, (1988), 177-189.
- [21] A. Nijenhuis and R. Richardson, Deformation of Lie algebra structures , J. Math. Mech. 17 (1967), 89-105.
- [22] I. Vaisman, Cohomology and Differential Forms , Marcel Dekker Inc., New York, 1973.
- [23] A. Weinstein, Lagrangian Mechanics and Groupoids , in 'Mechanics Day', Fields Inst. Comm. 7 , AMS Publishing (1996), 207-232. Available from: http://math.berkeley.edu/ ~ alanw/Lagrangian.tex .
- [24] A. Weinstein, The Integration Problem for Complex Lie Algebroids , in 'From Geometry to Quantum Mechanics', Progress in Mathematics 252 , pp 93-109, Birkh¨user, Boston, 2007. a

E-mail address

: dennise.gb@fc.uaslp.mx

E-mail address

: jvallejo@fc.uaslp.mx

E-mail address : yurimv@guaymas.uson.mx
D. García-Beltrán J. A. Vallejo Yu. Vorobiev
Lie algebroids generated by cohomology operators
By studying the Fr\"olicher-Nijenhuis decomposition of cohomology operators
(that is, derivations $D$ of the exterior algebra $\Omega (M)$ with
$\mathbb{Z}-$degree $1$ and $D^2=0$), we describe new examples of Lie algebroid
structures on the tangent bundle $TM$ (and its complexification
$T^{\mathbb{C}}M$) constructed from pre-existing geometric ones such as
foliations, complex, product or tangent structures. We also describe a class of
Lie algebroids on tangent bundles associated to idempotent endomorphisms with
nontrivial Nijenhuis torsion.