Next Article in Journal
Effective Identification and Authentication of Healthcare IoT Using Fog Computing with Hybrid Cryptographic Algorithm
Previous Article in Journal
GBVSSL: Contrastive Semi-Supervised Learning Based on Generalized Bias-Variance Decomposition
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Heaps of Linear Connections and Their Endomorphism Truss

by
Andrew James Bruce
Department of Mathematics, The Computational Foundry, Swansea University Bay Campus, Fabian Way, Swansea SA1 8EN, UK
Symmetry 2024, 16(6), 725; https://doi.org/10.3390/sym16060725
Submission received: 20 May 2024 / Revised: 6 June 2024 / Accepted: 7 June 2024 / Published: 11 June 2024
(This article belongs to the Section Mathematics)

Abstract

:
We examine the heap of linear connections on anchored vector bundles and Lie algebroids. Naturally, this covers the example of affine connections on a manifold. We present some new interpretations of classical results via this ternary structure of connections. Endomorphisms of linear connections are studied, and their ternary structure, in particular the endomorphism truss, is explicitly presented. We remark that the use of ternary structures in differential geometry is novel and that the endomorphism truss of linear connections provides a concrete geometric example of a truss.

1. Introduction and Preliminaries

1.1. Introduction

We need hardly mention that the notion of a connection in its various forms is of vital importance in differential geometry and geometric approaches to physics (see, for example, [1]). As an important example of the role of connections in modern mathematics, we point to the construction of characteristic classes of principal bundles via Chern–Weil theory (for an introduction, see [2], Chapter 11). In physics, connections are related to gauge fields and are vital in general relativity and other geometric approaches to gravity such as metric-affine gravity. Connections are also found in geometric approaches to relativistic mechanics, deformation quantisation and the BRST formalism. In short, connections are found throughout modern geometry and physics.
In this note, we study linear connections on anchored vector bundles, especially Lie algebroids, in the category of smooth real supermanifolds (in the sense of Berezin and Leĭtes; see [3]). Such connections, here formulated following Koszul as covariant derivatives, generalise affine connections on manifolds, so our results are directly restricted to the classical setting.
Heaps were first defined and studied by Prüfer [4] and Baer [5] as a set equipped with a ternary operation satisfying simple axioms, including a ternary generalisation of associativity. A heap can, loosely, be thought of as a group in which the identity has been discarded. Given some group, the ternary operation ( a , b , c ) a b 1 c defines a heap. For example, in an affine space, one can construct a heap operation as ( u , v , w ) u v + w . In the other direction, by selecting any element in a heap, one can reduce the ternary operation to a group operation such that the chosen element is the identity element. Our main reference for heaps and related structures is the book by Hollings and Lawson [6], which presents translations of Wagner’s original works on heaps and related ternary structures.
Via the above paragraph, it is clear that, as it forms an affine space, the set of affine/linear connections on a (super)manifold/vector bundle forms a heap. Informally, you cannot add two connections together, but you can combine three of them. We investigate the immediate consequences of this heap structure. An interesting observation is that the set of endomorphisms of linear connections forms a truss. The latter structures are ring-like algebraic structures in which the binary addition is replaced with a heap operation, together with some natural distributivity axioms (see [7,8,9,10,11]). We explicitly construct the endomorphism truss of linear connections on a Lie algebroid (or just an anchored vector bundle) in this note. We comment that the notion of endomorphisms of linear connections does not seem to be a widely studied or used concept in mathematical physics. Presumably, this is due to the fact that, in general relativity and very closely related theories, the connection of interest is the Levi-Civita connection. However, in theories such as metric-affine gravity and affine gauge theory, more general affine connections are considered (see [12] for a review of metric-affine theories). Thus, some of the ideas presented here may be of relevance in novel theories of gravity (see [13] for an introduction to gravity theories other than general relativity).
We remark that although we are working in supergeometry, none of the results of this note hinges on that fact. All the statements and results cover the classical setting of affine connections on manifolds. We assume the reader has some familiarity with supermanifolds and supervector bundles. However, we will work in a coordinate-free way with globally defined objects; thus, by forgetting the spurious sign factors, one will obtain the classical results. For details on supermanifolds, the reader may consult Carmeli et al. [14], for example. For details on (super) vector bundles, one may consult [15]. Local expressions for Lie algebroids can be found in the introductory section of [16]. We will often neglect the prefix ‘super’, and, unless explicitly stated, everything will be Z 2 -graded. In the examples we give, the Riemmanian manifold can be replaced with a pseudo-Riemannian manifold.

Arrangement

We continue this section with a brief description of the algebraic structures needed throughout this paper. In particular, heaps are recalled, as are Brzeziński trusses. The main content of this paper is found in Section 2. In that section, we recall the notion of linear connections on anchored vector bundles and Lie algebroids and present their heap structure. From there, we discuss metric compatibility, torsion and curvature, Lie derivatives and the dual connection from a heap perspective. The main result of this paper, the construction of the endomorphism truss of linear connections, is given at the end of that section. We end this paper in Section 3 with a few concluding remarks.

1.2. Algebraic Preliminaries

A semiheap (H) is a (possibly empty) set equipped with a ternary operation ( ( a , b , c ) [ a , b , c ] ) that is para-associative, i.e.,
[ [ a , b , c ] , d , e ] = [ a , [ d , c , b ] , e ] = [ a , b , [ c , d , e ] ] .
A semiheap is said to be abelian if [ a , b , c ] = [ c , b , a ] for all a , b and c H . If all the elements are bi-unitary, that is, [ a , b , b ] = a and [ b , b , a ] = a for all a and b H , then we have a heap. We recall that a left truss is an abelian heap together with an associative binary operation that distributes over the ternary operation (from the left), i.e.,
a · [ b , c , d ] = [ a · b , a · c , a · d ] .
Similarly, a right truss can be defined. If we have both left and right distributivity, then we speak of a truss. We divert the reader to the original literature on trusses for more details (see [7,8,9,10,11]). A video lecture outlining the theory of trusses, including motivation and a historical perspective, is available in [17].

2. The Ternary Structure of Connections

2.1. Connections on Anchored Vector Bundles

Let us recall the definition of an anchored vector bundle [18], here adapted to the setting of supergeometry.
Definition 1. 
A vector bundle (in the category of supermanifolds) π : A M , where π is a smooth, subjectivesubmersion; see Section 5.2 in [14] for details on this notion in supergeometry) is said to be an anchored vector bundle if it is equipped with a vector bundle homomorphism (over the identity) ( ρ : A T M ), which is referred to as the anchor.
The C ( M ) module of sections of a vector bundle is Z 2 -graded, i.e.,
Sec ̲ ( A ) = Sec 0 ( A ) C ( M ) Sec 1 ( A ) .
We generally consider homogeneous sections, i.e., either even or odd, in definitions and proofs. The statements extend to inhomogeneous sections via linearity. By minor abuse of notation, we also write
ρ : Sec ̲ ( A ) Vect ( M ) ,
for the associated (even) homomorphism of C ( M ) modules. When convenient, we write ρ u : = ρ ( u ) , where u Sec ̲ ( A ) . We denote the Grassmann parity (or degree) of sections (as well as functions, tensors, etc.) using “tildes”, i.e., u ˜ Z 2 = { 0 , 1 } .
Example 1. 
The tangent bundle ( T M ) of a supermanifold (M), is an anchored vector bundle, with the anchor being the identity map. The sections of the tangent bundle are vector fields on the supermanifold (M).
Example 2. 
Let τ : E M be a vector bundle over the supermanifold (M). Then, as fibre products exist in the category of supermanifolds, A : = T M × M E is also a vector bundle over M. The anchor is the projection onto the first factor (a little care is needed, as we have a locally ringed space, but this can be made sense of using local coordinates, for example). Sections are clearly Sec ̲ ( A ) = Vect ( M ) C ( M ) Sec ̲ ( E ) . Then, on pure tensor products, ρ ( X u ) = X .
Definition 2. 
A linear connection on an anchored vector bundle ( A , ρ ) is an R -bilinear map, i.e.,
: Sec ̲ ( A ) × Sec ̲ ( A ) Sec ̲ ( A ) ,
such that
1. 
u v ˜ = u ˜ + v ˜ ;
2. 
f u v = f u v ; and
3. 
u ( f v ) = ρ u ( f ) v + ( 1 ) u ˜ f ˜ f u v ,
for all f C ( M ) , and u , v Sec ̲ ( A ) .
We will denote the set (or affine space) of linear connections on ( A , ρ ) as C ( A ) .
Remark 1. 
1. 
In this note, we only consider Grassmann even connections. Odd connections are not a truly separate notion, as uncovered in [19].
2. 
The existence of Lie algebroid connections and, therefore, anchored vector bundles is established in [20], for example, using a partition of unity. For real supermanifolds (as locally ringed spaces), we always have partitions of unity.
3. 
There is the related notion of an A-valued connection ( ^ : Sec ̲ ( A ) × Sec ̲ ( E ) Sec ̲ ( E ) ). As we will want to discuss torsion, linear connections, as defined above, are needed.
4. 
Linear connections can be reformulated as odd vector fields on a particular bi-graded supermanifold built from the initial anchored vector bundle (see [21] for details). We avoid graded/weighted geometry in this note and stick to a more classical presentation.
Example 3. 
A real vector space (V; non-super for simplicity) can be considered as an anchored vector bundle over a single point, where the anchor is the zero map. A linear connection on (V) is simply an R -bilinear map ( : V × V V ).
Example 4. 
Let π : A M be an arbitrary vector bundle (in the category of supermanifolds). This vector bundle can be considered an anchored vector bundle by setting the anchor to be the zero map. As the zero vector field can be considered as both even and odd, this choice is consistent. We refer to such structures as zero-anchored vector bundles. Then, a linear connection on a zero vector bundle is an even R -bilinear map such that
f u v = ( 1 ) u ˜ f ˜ u ( f v ) = f u v ,
that is, a linear connection in this context is a bilinear form on the C ( M ) module ( Sec ̲ ( A ) ).
Example 5. 
Given a vector bundle connection ( ¯ : Vect ( M ) × Sec ̲ ( A ) Sec ̲ ( A ) on ( A , ρ ) ), one has a canonically associated linear connection by setting u v : = ¯ ρ ( u ) v .
Definition 3. 
The ternary operation on the affine space of linear connections on an anchored bundle is defined as
[ ( 1 ) , ( 2 ) , ( 3 ) ] : = ( 1 ) ( 2 ) + ( 3 ) ,
for arbitrary ( i ) C ( A ) (here, i = 1 , 2 , 3 ).
The ternary operation does, indeed, produce another linear connection. Note, of course, that the sum or difference of two linear connections is not a linear connection. The reader can easily verify the following proposition (see Section 1.2).
Proposition 1. 
Let ( A , ρ ) be an anchored vector bundle. Then, the set of linear connections ( C ( A ) ) is an abelian heap, with the ternary operation being defined by (2).
From the general theory of heaps, we know that if we fix some connection ( ( 0 ) C ( A ) ), then we have an associated abelian group structure on C ( A ) given by
( 1 ) ( 0 ) ( 2 ) : = [ ( 1 ) , ( 0 ) , ( 2 ) ] ,
and the inverse operation is given by
( ) 1 : = [ ( 0 ) , , ( 0 ) ] .
The identity element is the chosen connection ( ( 0 ) ). All such abelian groups associated with a different choice of reference connection are isomorphic.
Example 6. 
Let ( M , g ) be a Riemannian manifold. Then, we have the canonical Levi-Civita connection on the tangent bundle ( T M ), which we denote as 0 . We consider the tangent bundle an anchored vector bundle where the anchor is the identity map. Thus, the set of affine connections on ( M , g ) is canonically an abelian group, with the group product and inverse being
( 1 ) · ( 2 ) : = [ ( 1 ) , 0 , ( 2 ) ] , ( ) 1 : = [ 0 , , 0 ] .
If ( i ) are metric connections, i.e., g = 0 , then, due to the linearity of the metric, [ ( 1 ) , ( 2 ) , ( 3 ) ] is also a metric connection, that is, metric connections form a subheap of the heap of all affine connections. In turn, we also have a subgroup of metric connections. We will discuss this in a little more detail in Section 2.2. Moreover, given an arbitrary affine connection (), we note that
= [ , 0 , 0 ] = 0 + ( 0 ) ,
which gives a “heapy” origin to the well-known fact that any affine connection on a Riemannian manifold is the Levi-Civita connection plus a tensor of type ( 1 , 2 ) .
Remark 2. 
The previous example directly generalises to even and odd Riemannian supermanifolds, as we, again, have a canonical Levi-Civita connection.
A section ( u Sec ̲ ( A ) ) is said to be auto-parallel if there exists a linear connection ( C ( A ) ) such that u u = 0 . We denote the set of all such linear connections as C ( A , u ) . The following proposition is evident.
Proposition 2. 
Let ( A , ρ ) be an anchored vector bundle. The set ( C ( A , u ) ) for any section ( u Sec ̲ ( A ) ) is closed under ternary operation (2).

2.2. Metric Compatibility

A Riemannian metric on an anchored vector bundle ( π : A M ) is a smooth assignment of an (even) inner product to the fibres.
| : Sec ̲ ( A ) × Sec ̲ ( A ) C ( M ) .
By even, we mean that u | v ˜ = u ˜ + v ˜ . It is possible to consider odd Riemannian metrics, but in order to keep close to the classical Riemannian geometry, we restrict our attention to even structures. Note that the existence of an even Riemannian metric requires that Rank ( A ) = n | 2 m . We refer to an anchored vector bundle equipped with a Riemannian metric as a Riemannian anchored bundle.
A linear connection ( C ( A ) ) is said to be metric-compatible if
ρ u v | w = u v | w + ( 1 ) u ˜ v ˜ v | u w
for all u , v and w C ( A ) (see [22]).
Example 7. 
Consider a Riemmanian manifold ( M , g ) . The tangent bundle ( T M ) is then a Riemannian anchored bundle (the anchor is the identity map). The metric compatibility condition reduces to the ‘classical’ metric compatibility condition.
Proposition 3. 
Let ( 1 ) , ( 2 ) and ( 3 ) C ( A ) be metric-compatible connections on a Riemannian anchored bundle. Then, [ ( 1 ) , ( 2 ) , ( 3 ) ] is also a metric-compatible connection.
Proof. 
Let ( 1 ) , ( 2 ) and ( 3 ) C ( A ) be metric-compatible connections on a Riemannian anchored bundle, and let u , v and w Sec ̲ ( A ) be arbitrary sections. Using the linear nature of the inner product (metric), together with the metric compatibility condition (3), we observe that
[ ( 1 ) , ( 2 ) , ( 3 ) ] u v | w + ( 1 ) u ˜ v ˜ v | [ ( 1 ) , ( 2 ) , ( 3 ) ] u w = u ( 1 ) v | w + ( 1 ) u ˜ v ˜ v | u ( 1 ) w u ( 2 ) v | w ( 1 ) u ˜ v ˜ v | u ( 2 ) w + u ( 3 ) v | w + ( 1 ) u ˜ v ˜ v | u ( 3 ) w = ρ u v | w ρ u v | w + ρ u v | w = ρ u v | w .
This is precisely the metric compatibility condition for [ ( 1 ) , ( 2 ) , ( 3 ) ] . □
Corollary 1. 
The subset of metric-compatible connections ( C M C ( A ) C ( A ) ) on a Riemannian anchored bundle forms an abelian subheap of ( C ( A ) , [ , , ] ) .

2.3. Torsion and Curvature

To discuss torsion and curvature in the setting of anchored vector bundles, we require a bracket on the space of sections. We focus on the situation of Lie algebroids, though one can relax the Jacobi identity and the compatibility of the anchor with the bracket, if desired. For completeness, we define a Lie algebroid following Pradines (see [18]), modified to the setting of supergeometry. The reader may also consult Mackenzie for further details [23].
Definition 4. 
An anchored vector bundle ( A , ρ ) is a Lie algebroid if the space of sections Sec ̲ ( A ) comes equipped with an R -bilinear map, i.e., a Lie bracket,
[ , ] : Sec ̲ ( A ) × Sec ̲ ( A ) Sec ̲ ( A ) ,
that satisfies the following:
1. 
[ u , v ] ˜ = u ˜ + v ˜ ;
2. 
[ u , v ] = ( 1 ) u ˜ v ˜ [ v , u ] ;
3. 
[ u , f v ] = ρ u ( f ) v + ( 1 ) u ˜ f ˜ f [ u , v ] ; and
4. 
[ u , [ v , w ] ] = [ [ u , v ] , w ] + ( 1 ) u ˜ v ˜ [ v , [ u , w ] ]
for all u , v and w Sec ̲ ( A ) and f C ( M ) .
The above conditions imply that the anchor is a homomorphism of Lie algebras, i.e.,
ρ [ u , v ] = [ ρ ( u ) , ρ ( v ) ] .
Example 8. 
The tangent bundle of a supermanifold ( T M ) is a Lie algebroid, with the anchor being the identity map and the Lie bracket being the standard commutator of vector fields.
Example 9. 
Let g = g 0 g 1 be a supervector space. Then, associated with this via the ‘manifoldcation’ functor, is the linear supermanifold (here, thought of as a vector bundle over a point ( g man )). The important aspect of the construction is that g Sec ̲ ( g man ) . If g is a Lie algebra, then g man is a Lie algebroid with zero anchor.
General Lie algebroids are, loosely, a mixture of the two above examples. For further examples, the reader may consult [23]. The mantra here is that whatever can be done with the tangent bundle can be done in the setting of Lie algebroids. In particular, we have the notion of torsion. The torsion tensor of a linear connection on a Lie algebroid ( A , ρ , [ , ] ) is given by
T ( u , v ) : = u v ( 1 ) u ˜ v ˜ v u [ u , v ] ,
for all u , v Sec ̲ ( A ) .
Remark 3. 
The Fundamental Theorem of Riemannian Lie Algebroids states that there is a unique connection on a Riemannian Lie algebroid characterised by the two properties of vanishing torsion and metric compatibility. Such connections, following the classical nomenclature, are known as Levi–Civita connections.
Proposition 4. 
Let ( 1 ) , ( 2 ) and ( 3 ) C ( A ) be connections on a Lie algebroid ( A , ρ , [ , ] ) . Then,
T [ ( 1 ) , ( 2 ) , ( 3 ) ] = T ( 1 ) T ( 2 ) + T ( 3 ) .
Proof. 
Directly, given any u , v Sec ̲ ( A ) ,
T [ ( 1 ) , ( 2 ) , ( 3 ) ] ( u , v ) = [ ( 1 ) , ( 2 ) , ( 3 ) ] u v ( 1 ) u ˜ v ˜ [ ( 1 ) , ( 2 ) , ( 3 ) ] v u [ u , v ] = u ( 1 ) v ( 1 ) u ˜ v ˜ v ( 1 ) u [ u , v ] u ( 2 ) v + ( 1 ) u ˜ v ˜ v ( 2 ) u + [ u , v ] + u ( 3 ) v ( 1 ) u ˜ v ˜ u ( 3 ) v [ u , v ] = T ( 1 ) ( u , v ) T ( 2 ) ( u , v ) + T ( 3 ) ( u , v ) .
Remark 4. 
The above proposition shows that torsion can be considered a heap homomorphism from the heap of connections to the heap of vector-valued two forms.
Corollary 2. 
1. 
The subset of torsion-free connections ( C T F ( A ) C ( A ) ) forms an abelian subheap of ( C ( A ) , [ , , ] ) .
2. 
T [ ( 1 ) , ( 2 ) , ( 3 ) ] + T [ ( 3 ) , ( 1 ) , ( 2 ) ] + T [ ( 2 ) , ( 3 ) , ( 1 ) ] = T ( 1 ) + T ( 2 ) + T ( 3 ) .
Example 10. 
Continuing Example 6, the torsion-free connections on a Riemannian manifold ( M , g ) form an abelian subheap of the abelian heap of all affine connections. Moreover, the set of torsion-free connections canonically comes with an abelian group structure.
Following Brzeziński, from Definition 2.9 and Proposition 2.10 of [9], we know that there is a subheap relation ( C T F ( A ) on C ( A ) ) defined by ( 1 ) C T F ( A ) ( 2 ) if there exists a C T F ( A ) such that [ ( 1 ) , ( 2 ) , ] C T F ( A ) . In fact, if two connections are equivalent, then [ ( 1 ) , ( 2 ) , ] C T F ( A ) for all C T F ( A ) . It is known that such a relation defines an equivalence relation.
We then observe from Proposition 4, assuming we have equivalent connections, that T [ ( 1 ) , ( 2 ) , ] = T ( 1 ) T ( 2 ) = 0 . Thus, the torsion tensors for two equivalent connections must be equal. In other words, connections with the same torsion are representatives of the same equivalence class within the heap of linear connections. As a standard, we will denote an equivalence class via a chosen representative as [ ] .
Example 11. 
Let ( M , g ) be a Riemannian manifold. We have a canonical torsion-free affine connection ( ( 0 ) ), i.e., the Levi-Civita connection. Then, we can canonically choose ( 0 ) + T , where T is an even skew-symmetric ( 1 , 2 ) tensor, as a representative of any equivalence class of affine connections.
The curvature tensor of a connection on a Lie algebroid is given by
R ( u , v ) w : = u v w ( 1 ) u ˜ v ˜ v u w [ u , v ] w ,
for arbitrary u , v and w Sec ̲ ( A ) .
Proposition 5. 
Let ( 1 ) , ( 2 ) and ( 3 ) C ( A ) be connections on a Lie algebroid ( A , ρ , [ , ] ) . Then,
R [ ( 1 ) , ( 2 ) , ( 3 ) ] ( u , v ) w = R ( 1 ) ( u , v ) w + R ( 2 ) ( u , v ) w + R ( 3 ) ( u , v ) w + 2 [ u , v ] ( 2 ) w + i j ( 1 ) i j [ u ( i ) , v ( j ) ] w ,
for arbitrary u , v and w Sec ̲ ( A ) .
Proof. 
Via direct calculation,
R [ ( 1 ) , ( 2 ) , ( 3 ) ] ( u , v ) w = [ u ( 1 ) , u ( 2 ) , u ( 3 ) ] [ v ( 1 ) , v ( 2 ) , v ( 3 ) ] w ( 1 ) u ˜ v ˜ [ v ( 1 ) , v ( 2 ) , v ( 3 ) ] [ u ( 1 ) , u ( 2 ) , u ( 3 ) ] w [ u , v ] ( 1 ) , [ u , v ] ( 2 ) , [ u , v ] ( 3 ) w = u ( 1 ) , v ( 1 ) w [ u , v ] ( 1 ) w + u ( 2 ) , v ( 2 ) w + [ u , v ] ( 2 ) w [ u , v ] ( 2 ) w [ u , v ] ( 2 ) w + u ( 3 ) , v ( 3 ) w [ u , v ] ( 3 ) w + i j ( 1 ) i j [ u ( i ) , v ( j ) ] w = R ( 1 ) ( u , v ) w + R ( 2 ) ( u , v ) w + R ( 3 ) ( u , v ) w + 2 [ u , v ] ( 2 ) w + i j ( 1 ) i j [ u ( i ) , v ( j ) ] w .
Setting = ( 1 ) = ( 2 ) = ( 3 ) allows for a quick check.
R ( u , v ) w = 3 R ( u , v ) w + 2 [ u , v ] w 2 [ u , v ] w = 3 R ( u , v ) w 2 R ( u , v ) w = R ( u , v ) w ,
so the proposition is consistent.
Corollary 3. 
Let ( i ) C ( A ) be flat connections; then,
R [ ( 1 ) , ( 2 ) , ( 3 ) ] ( u , v ) w = 2 [ u , v ] ( 2 ) w + i j ( 1 ) i j [ u ( i ) , v ( j ) ] w .
Specifically, the connection [ ( 1 ) , ( 2 ) , ( 3 ) ] need not be flat.
The above corollary tells us that, in general, the heap structure on connections on a Lie algebroid does not close on the subset of flat connections. This is not surprising, as the curvature tensor is not first-order in the connection but second-order. Thus, we do not have the analogue of the particularly nice result for torsion (see Proposition 4).
Example 12. 
Consider a manifold (M) equipped with three affine connections ( ( i ) C ( T M ) = : C ( M ) ). Then, the Riemannian curvature can be written with respect to a coordinate basis as
R σ μ ν ρ ( 1 , 2 , 3 ) = i = 1 3 R σ μ ν ρ ( i ) + i , j = 1 , i j 3 ( 1 ) i j μ Γ ν σ ρ ( i ) ν Γ μ σ ρ ( j ) + Γ μ λ ρ ( i ) Γ ν σ λ ( j ) Γ ν λ ρ ( j ) Γ μ σ λ ( i ) ,
where Γ represents the Christoffel symbols of the affine connections. The second term is interpreted as a mixed curvature built from all three connections.

2.4. Lie Derivatives of Connections

The Lie derivative of a linear connection on a Lie algebroid is defined as
( L u ) ( v , w ) = L u ( v w ) L u v w ( 1 ) u ˜ v ˜ v L u w ,
where L u v : = [ u , v ] . Note that the Lie derivative of a connection is, itself, not a connection but a tensor. The linear property of the ternary product means that the following is evident.
Proposition 6. 
Let ( 1 ) , ( 2 ) and ( 3 ) C ( A ) be linear connections on a Lie algebroid ( A , ρ , [ , ] ) . Then,
( L u [ ( 1 ) , ( 2 ) , ( 3 ) ] ) ( v , w ) = ( L u ( 1 ) ) ( v , w ) ( L u ( 2 ) ) ( v , w ) + ( L u ( 3 ) ) ( v , w )
for all u , v and w Sec ̲ ( A ) .
Remark 5. 
The above proposition shows that the Lie derivative with respect to a given section can be considered as a heap homomorphism from the heap of connections to the heap of vector-valued two forms.

2.5. The Dual Connection

Given a linear connection ( C ( A ) ) on a Lie algebroid, the dual connection is defined as
¯ u v : = ( 1 ) u ˜ v ˜ v u + [ u , v ] .
The reader can quickly check that this defines another linear connection on A.
Example 13. 
Consider a Lie superalgebra ( g ), in particular g man , as a Lie algebroid, with the anchor being the zero map and the Lie bracket as the bracket. Then, u v : = [ u , v ] defines a linear connection.
Proposition 7. 
The dual map ¯ : C ( A ) C ( A ) is a heap homomorphism, i.e.,
[ ( 1 ) , ( 2 ) , ( 3 ) ] ¯ = [ ¯ ( 1 ) , ¯ ( 2 ) , ¯ ( 3 ) ] .
Proof. 
Let u , v Sec ̲ A be arbitrary (but homogeneous) sections of a Lie algebroid; then,
[ ( 1 ) , ( 2 ) , ( 3 ) ] ¯ u v = ( 1 ) u ˜ v ˜ v ( 1 ) u ( 1 ) u ˜ v ˜ v ( 2 ) u + ( 1 ) u ˜ v ˜ v ( 3 ) u + [ u , v ] = ( ( 1 ) u ˜ v ˜ v ( 1 ) u + [ u , v ] ) ( ( 1 ) u ˜ v ˜ v ( 2 ) u + [ u , v ] ) + ( ( 1 ) u ˜ v ˜ v ( 3 ) u + [ u , v ] ) = ¯ u ( 1 ) v ¯ u ( 2 ) v + ¯ u ( 3 ) v = [ ¯ ( 1 ) , ¯ ( 2 ) , ¯ ( 3 ) ] u v .

2.6. The Endomorphism Truss of Connections

Definition 5. 
Let ( A , ρ ) be an anchored vector bundle. Then, an anchored vector bundle endomorphism is a vector bundle map (over the identity) ( ϕ : A A ) that preserves the anchor, i.e., ρ = ρ ϕ . Furthermore, if ( A , ρ , [ , ] ) is a Lie algebroid, then an anchored vector bundle endomorphism is a Lie algebroid endomorphism if ϕ [ u , v ] = [ ϕ ( u ) , ϕ ( v ) ] for all u , v Sec ̲ ( A ) .
Example 14. 
Consider the tangent bundle of a supermanifold ( T M ) equipped with an idempotent endomorphism, i.e., a vector bundle map over the identity ϕ : T M T M such that ϕ ϕ = ϕ . Then, we consider T M ϕ : = ( T M , ϕ ) as an anchored vector bundle. Due to the idempotent condition, ϕ is also an endomorphism of  T M ϕ .
For this subsection, we need only discuss anchored vector bundles; there is no real change at all when extending to Lie algebroids. In particular, the Lie bracket plays no role in the following.
Definition 6. 
Let ( A , ρ ) be an anchored vector bundle. An endomorphism of the set of connections ( Φ = ( ϕ , ω ) : C ( A ) C ( A ) ) consists of the following two parts:
1. 
An anchored vector bundle endomorphism ( ϕ : A A );
2. 
An even ( 1 , 2 ) tensor, thought of as a C ( M ) -linear map ( ω : Sec ̲ ( A ) × Sec ̲ ( A ) Sec ̲ ( A ) )
and is defined as
( Φ ) u v : = ϕ ( u ) v + ω ( u , v )
for arbitrary u , v Sec ̲ ( A ) . Composition is defined in the obvious way, i.e., if Φ = ( ϕ , ω ) and Φ = ( ϕ , ω ) , then Φ Φ : = ( ϕ ϕ , ω + ω ) . The identity endomorphism is 1 = ( 1 , 0 ) , where 0 is the zero map on sections, i.e., the map sends any pair of sections to the zero section. We denote the monoid of endomorphisms of connections as End ( C ( A ) ) .
For completeness, we explicitly check that Φ is, indeed, a connection on ( A , ρ ) . Firstly, Φ is (Grassmann) even, i.e.,
( Φ ) u v ˜ = u ˜ + v ˜ .
Secondly,
( Φ ) f u v = ϕ ( f u ) v + ω ( f u , v ) = f ϕ ( u ) v + f ω ( u , v ) = f ϕ ( u ) v + ω ( u , v ) .
Thirdly,
( Φ ) u f v = ϕ ( u ) f v + ω ( u , f v ) = ρ ϕ ( u ) ( f ) v + ( 1 ) u ˜ f ˜ f ϕ ( u ) v + ω ( u , v ) = ρ u ( f ) v + ( 1 ) u ˜ f ˜ f ϕ ( u ) v + ω ( u , v ) .
Thus, compared with Definition 2, we see that Φ is a linear connection. Moreover, quick calculations show we do, indeed, have a heap morphism, i.e.,
Φ [ ( 1 ) , ( 2 ) , ( 3 ) ] u v = ϕ ( u ) ( 1 ) v + ω ( u , v ) ϕ ( u ) ( 2 ) v ω ( u , v ) + ϕ ( u ) ( 3 ) v + ω ( u , v )   = [ Φ ( 1 ) , Φ ( 2 ) , Φ ( 3 ) ] u v .
Remark 6. 
We can also consider automorphisms by insisting that ϕ : A A is invertible. Then, Φ 1 : = ( ϕ 1 , ω ) . Also note that the gauge group ( Gau ( A ) ) is the group of vertical automorphisms of the vector bundle; there is no compatibility condition with the anchor or brackets. The action is defined a ( ψ ) u v : = ψ ( u ψ 1 ( v ) ) , where ψ Gau ( A ) .
Proposition 8. 
Let ( A , ρ ) be an anchored vector bundle. Then, the End ( C ( A ) ) set is a truss.
Proof. 
This follows from general facts about endomorphisms of abelian heaps (see Section 3.7 in [9]). We explicitly construct [ Φ ( 1 ) , Φ ( 2 ) , Φ ( 3 ) ] via its evaluation. Specifically,
[ Φ ( 1 ) , Φ ( 2 ) , Φ ( 3 ) ] u v : = [ Φ ( 1 ) , Φ ( 2 ) , Φ ( 3 ) ] u v = ϕ ( 1 ) u v ϕ ( 2 ) u v + ϕ ( 3 ) u v + ω ( 1 ) ( u , v ) ω ( 2 ) ( u , v ) + ω ( 3 ) ( u , v ) .
Thus, we have the structure of an abelian heap on the End ( C ( A ) ) set. The binary product is given as
Φ Φ u v : = ϕ ϕ u v + ω ( u , v ) + ω ( u , v ) .
Defining Φ [ Φ ( 1 ) , Φ ( 2 ) , Φ ( 3 ) ] : = [ Φ Φ ( 1 ) , Φ Φ ( 2 ) , Φ Φ ( 3 ) ] , we have the left distributivity property. Explicitly,
Φ [ Φ ( 1 ) , Φ ( 2 ) , Φ ( 3 ) ] u v : = [ Φ Φ ( 1 ) , Φ Φ ( 2 ) , Φ Φ ( 3 ) ] u v = ϕ ϕ ( 1 ) u v ϕ ϕ ( 2 ) u v + ϕ ϕ ( 3 ) u v + ω ( 1 ) ( u , v ) + ω ( u , v ) ω ( 2 ) ( u , v ) + ω ( u , v ) + ω ( 3 ) ( u , v ) + ω ( u , v ) .
The right distributivity property follows similarly. □
For completeness, given a Lie algebroid, the torsion transform is expressed as
T Φ ( u , v ) = T ( ϕ ( u ) , v ) + T ( u , ϕ ( v ) ) u ϕ ( v ) + ( 1 ) u ˜ v ˜ v ϕ ( u ) + [ ϕ ( u ) , v ] + [ u , ϕ ( v ) ] [ u , v ] + ω ( u , v ) ( 1 ) u ˜ v ˜ ω ( v , u ) ,
and the curvature transforms as
R Φ ( u , v ) w = R ( ϕ ( u ) , ϕ ( v ) ) w + ϕ ( u ) ω ( v , w ) ( 1 ) u ˜ v ˜ ω ( v , ϕ ( u ) w ) ( 1 ) u ˜ v ˜ ϕ ( v ) ω ( u , w ) + ω ( u , ϕ ( v ) w ) + ω ( u , ω ( v , w ) ) ( 1 ) u ˜ v ˜ ω ( v , ω ( u , w ) ) ω ( [ u , v ] , w ) .
Note that if ω = 0 , i.e., we are only considering bundle endomorphisms (over the identity), then R Φ ( u , v ) w = R ( ϕ ( u ) , ϕ ( v ) ) w .
Example 15. 
Consider the tangent bundle ( T M ) of a supermanifold. As a Lie algebroid, the anchor is the trivial map, and the Lie bracket is the standard Lie bracket of vector fields. We denote the set of affine connections as C ( M ) . We fix ϕ : T M T M to be the identity map. Then, any even ( 1 , 2 ) tensor defines a “restricted” endomorphism of C ( M ) or a “general shift” via
X Y X Y + ω ( X , Y ) .
The truss structure is defined as
[ ω ( 1 ) , ω ( 2 ) , ω ( 3 ) ] : = ω ( 1 ) ω ( 2 ) + ω ( 3 ) ,
the binary product being the addition of tensors, i.e., ω ω = ω + ω . The distributivity of the binary product over the ternary product is evident, i.e.,
ω [ ω ( 1 ) , ω ( 2 ) , ω ( 3 ) ] : = ω ( 1 ) + ω ω ( 2 ) + ω + ω ( 3 ) + ω ,
and similarly for the right distributivity. The torsion transforms as
T Φ ( X , Y ) = T ( X , Y ) + ω ( X , Y ) ( 1 ) X ˜ Y ˜ ω ( Y , X ) .
The Riemannian curvature transforms as
R Φ ( X , Y ) Z = R ( X , Y ) Z + X ω ( Y , Z ) ( 1 ) X ˜ Y ˜ ω ( Y , X Z ) ( 1 ) X ˜ Y ˜ Y ω ( X , Z ) + ω ( X , Y Z ) + ω ( X , ω ( Y , Z ) ) ( 1 ) X ˜ Y ˜ ω ( Y , ω ( X , Z ) ) ω ( [ X , Y ] , Z ) .
Remark 7. 
General shifts in affine connections (see Example 15) are well-known in the literature and are studied in the context of metric-affine gravity (MAG) (see, for example, [24] and references therein). The new aspect here is the realisation that there is a truss behind these shifts.

3. Concluding Remarks

In this note, we have presented the heap structure on a set of linear connections on a Lie algebroid. Some preliminary consequences, such as the torsion and curvature of a triple product of connections, have been presented. A key result here is the explicit construction of the endomorphism truss of linear connections.
We remark that the results of this note extend verbatim to the algebraic setting of (left) connections on anchored modules and Lie–Rinehart pairs over associative supercommutative, unital superalgebras. Indeed, we have avoided using local descriptions in any calculations. With a little effort, we expect the results presented here to generalise to the setting of almost commutative Lie algebroids (see [25]).

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Acknowledgments

The author thanks Tomasz Brzeziński for comments on earlier drafts of this paper. Furthermore, the author gratefully acknowledges the three referees whose comments and suggestions have improved the presentation of this work.

Conflicts of Interest

The author declares no conflicts of interest.

References

  1. Mangiarotti, L.; Sardanashvily, G. Connections in Classical and Quantum Field Theory; World Scientific Publishing Co., Inc.: River Edge, NJ, USA, 2000; p. x+504. [Google Scholar] [CrossRef]
  2. Nakahara, M. Geometry, Topology and Physics, 2nd ed.; Graduate Student Series in Physics; Institute of Physics (IOP): London, UK, 2003; p. 573. [Google Scholar] [CrossRef]
  3. Berezin, F.A.; Leĭtes, D.A. Supermanifolds. Soviet Math. Dokl. 1975, 16, 1218–1222. Available online: http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dan&paperid=39282&option_lang=eng (accessed on 6 June 2024).
  4. Prüfer, H. Theorie der Abelschen Gruppen. Math. Z. 1924, 20, 165–187. [Google Scholar] [CrossRef]
  5. Baer, R. Zur Einführung des Scharbegriffs. J. Reine Angew. Math. 1929, 160, 199–207. [Google Scholar] [CrossRef]
  6. Hollings, C.D.; Lawson, M.V. Wagner’s Theory of Generalised Heaps; Springer: Cham, Switzerland, 2017; p. xv+189. ISBN 978-3-319-63620-7. [Google Scholar] [CrossRef]
  7. Brzeziński, T. Towards semi-trusses. Rev. Roum. Math. Pures Appl. 2018, 63, 75–89. [Google Scholar]
  8. Brzeziński, T. Trusses: Between braces and rings. Trans. Am. Math. Soc. 2019, 372, 4149–4176. [Google Scholar] [CrossRef]
  9. Brzeziński, T. Trusses: Paragons, ideals and modules. J. Pure Appl. Algebra 2020, 224, 106258. [Google Scholar] [CrossRef]
  10. Brzeziński, T.; Rybołowicz, B. Modules over trusses vs modules over rings: Direct sums and free modules. Algebr. Represent. Theor. 2020, 25, 1–23. [Google Scholar] [CrossRef]
  11. Brzeziński, T. Lie trusses and heaps of Lie affebras. Proc. Sci. 2002, 406, 307. [Google Scholar] [CrossRef]
  12. Heisenberg, L. Review on f( Q ) gravity. Phys. Rep. 2024, 1066, 1–78. [Google Scholar] [CrossRef]
  13. Koyama, K. Gravity beyond general relativity. Int. J. Mod. Phys. D 2018, 27, 1848001. [Google Scholar] [CrossRef]
  14. Carmeli, C.; Caston, L.; Fioresi, R. Mathematical Foundations of Supersymmetry; EMS Series of Lectures in Mathematics; European Mathematical Society (EMS): Zürich, Switzerland, 2011; p. xiv+287. ISBN 978-3-03719-097-5. Available online: http://www.ems-ph.org/books/book.php?proj_nr=132 (accessed on 6 June 2024).
  15. Balduzzi, L.; Carmeli, C.; Cassinelli, G. Super Vector Bundles. J. Phys. Conf. Ser. 2011, 284, 012019. [Google Scholar] [CrossRef]
  16. Bruce, A.J. Homological sections of Lie algebroids. Differ. Geom. Appl. 2021, 79, 101826. [Google Scholar] [CrossRef]
  17. North Atlantic Noncommutative Geometry Seminar, Enter Truss (Brzeziński, T.). 2021. Available online: https://www.youtube.com/watch?v=F0MiZMxjQlk (accessed on 6 June 2024).
  18. Pradines, J. Représentation des jets non holonomes par des morphismes vectoriels doubles soudés. C. R. Acad. Sci. Paris Sér. A 1974, 278, 1523–1526. [Google Scholar]
  19. Bruce, A.J.; Grabowski, J. Odd connections on supermanifolds: Existence and relation with affine connections. J. Phys. A Math. Theor. 2020, 53, 455203. [Google Scholar] [CrossRef]
  20. Křižka, L. Moduli spaces of Lie algebroid connections. Arch. Math. 2008, 44, 403–418. Available online: http://hdl.handle.net/10338.dmlcz/127126 (accessed on 6 June 2024).
  21. Bruce, A.J. Connections adapted to non-negatively graded structures. Int. J. Geom. Methods Mod. Phys. 2019, 16, 1950021. [Google Scholar] [CrossRef]
  22. Boucetta, M. Riemannian geometry of Lie algebroids. J. Egypt. Math. Soc. 2011, 19, 57–70. [Google Scholar] [CrossRef]
  23. Mackenzie, K.C.H. General Theory of Lie Groupoids and Lie Algebroids; London Mathematical Society Lecture Note Series, 213; Cambridge University Press: Cambridge, UK, 2005; p. xxxviii+501. [Google Scholar] [CrossRef]
  24. Iosifidis, D. Linear Transformations on Affine-Connections. Class. Quantum Grav. 2020, 37, 085010. [Google Scholar] [CrossRef]
  25. Ngakeu, F. Graded Lie Agebroids of Poisson Almost Commutative Algebras. Afr. Diaspora J. Math. 2017, 20, 95–107. Available online: https://projecteuclid.org/journals/african-diaspora-journal-of-mathematics/volume-20/issue-2/Graded-Lie-Agebroids-of-Poisson-Almost-Commutative-Algebras/adjm/1515467141.full (accessed on 6 June 2024).
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Bruce, A.J. Heaps of Linear Connections and Their Endomorphism Truss. Symmetry 2024, 16, 725. https://doi.org/10.3390/sym16060725

AMA Style

Bruce AJ. Heaps of Linear Connections and Their Endomorphism Truss. Symmetry. 2024; 16(6):725. https://doi.org/10.3390/sym16060725

Chicago/Turabian Style

Bruce, Andrew James. 2024. "Heaps of Linear Connections and Their Endomorphism Truss" Symmetry 16, no. 6: 725. https://doi.org/10.3390/sym16060725

APA Style

Bruce, A. J. (2024). Heaps of Linear Connections and Their Endomorphism Truss. Symmetry, 16(6), 725. https://doi.org/10.3390/sym16060725

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop