On Invariant Operations on a Manifold with a Linear Connection and an Orientation

: We prove a theorem that describes all possible tensor-valued natural operations in the presence of a linear connection and an orientation in terms of certain linear representations of the special linear group. As an application of this result, we prove a characterization of the torsion and curvature operators as the only natural operators that satisfy the Bianchi identities.


Introduction
Since the very early days of differential geometry, the idea of natural operation played a mayor role in the development the theory. As an example, let us point out the applications of this notion of naturalness in the inception of general relativity (cf. [1]). In the course of the years, there also appeared some striking mathematical results, such as Gilkey's characterization of Pontryagin forms on Riemannian manifolds [2,3] or his proof of the uniqueness of the Chern-Gauss-Bonnet formula [4]. By the end of the last century, the modern development of this theory was summarized in the monograph by Kolář-Michor-Slovák [5]. That book contained all of the main results and techniques that were known so far, and thus became the standard reference in the subject since then.
On the other hand, the notion of covariance or naturalness is, in some sense, ubiquitous in physics and mathematics. For that reason, the renewed interest in this theory of natural operations that has been raised in recent years is not surprising, with the appearance of new results and applications in contact geometry [6], homotopy theory [7,8], Riemannian and Kähler geometry [9][10][11][12], general relativity [13], or quantum field theory [14,15].
In this paper, we focus our attention on the vector space of tensor-valued natural operations that can be performed in the presence of a linear connection and an orientation. Our main result, Theorem 8, establishes that such a vector space is isomorphic to the space of invariant maps between certain linear representations of the special linear group. Thus, the description of these spaces can, in certain cases, be completely achieved using classical invariant theory. As an example of this philosophy, in the final section, we characterize the torsion and the curvature as the only natural tensors satisfying the Bianchi identities (Corollary 13 and Theorem 15).
These results generalize analogous statements that were recently proven in [16], where we studied natural tensors associated with a linear connection. This was also the situation considered in a landmark paper by Slovák [17], whose results were included-and expanded-in [5]. Nevertheless, the non-specialist may find it difficult to understand the precise meaning of some statements of this book due to the functorial language and the generality of its setting.
For this reason, we outlined in [16] the foundations of an alternative approach, which we hope will be accessible to a wider audience. The present paper lays out complete proofs of the main results of this approach, whose novelties are a systematic use of the language of sheaves, ringed spaces, and a more elementary-yet equivalent (cf. [18])-notion of the natural bundle. In our opinion, the heart of the matter in this theory is the existence of an analogue of a Galois theorem (cf. [18], Thm. 1.6), which allows the use of group theory to infer theorems in many areas of differential geometry, in many of which (such as Fedosov, contact, or Finsler geometry) this idea is still to be exploited.

The Category of Ringed Spaces
In this section, we firstly introduce the category of ringed spaces, which is a framework adequate for our purposes: It will allow us to treat certain "infinite dimensional" spacessuch as the ∞-jet space or a countable product of vector spaces-and quotients of smooth manifolds by the actions of groups on equal footing as usual smooth, finite-dimensional manifolds.
Secondly, we state Theorem 4, which is an important characterization of differential operators as the morphisms of sheaves that transform smooth families of sections into smooth families of sections.

Definition 1.
A ringed space is a pair (X, O X ), where X is a topological space and O X is a sub-algebra of the sheaf of real-valued continuous functions on X.
A morphism of ringed spaces ϕ : Any smooth manifold X is a ringed space, where O X = C ∞ X is the sheaf of smooth real-valued functions. If X and Y are smooth manifolds, a morphism of ringed spaces X → Y is just a smooth map.
By analogy with this example, on any ringed space (X, O X ), the sheaf O X will be called the sheaf of smooth functions, and morphisms of ringed spaces X → Y will be often referred to as smooth morphisms.

Limits of Ringed Spaces
This category possesses limits; nevertheless, in what follows, only the following particular case appear. Definition 2. The inverse limit of a sequence of smooth manifolds and smooth maps between them The underlying topological space is the inverse limit of the topological spaces X k , i.e., the set is endowed with the minimum topology for which the canonical projections π k : X ∞ → X k are continuous. -Its sheaf of smooth functions is the direct limit O ∞ := lim That is to say, for any open set U ⊆ X ∞ , a continuous map f : U → R lies in O ∞ (U) if and only if, for any point x ∈ U, there exist k ∈ N, an open neighborhood π k (x) ∈ V k ⊆ X k , and a smooth map f k : V k → R such that the following triangle commutes: Later, we will need the following two properties regarding the smooth structure of this inverse limit: Universal property of the inverse limit: For any smooth manifold Y, the projections π k : X ∞ → X k induce a bijection that is functorial on Y, where C ∞ (_, _) denotes the set of morphisms of ringed spaces.
Proof. The projections π k are smooth maps, so one inclusion is trivial. As for the other, let ϕ : Y → X ∞ be a continuous map such that π k • ϕ is smooth for any k ∈ N. Let f ∈ O ∞ (U) be a smooth function and let y ∈ ϕ −1 (U). On a neighborhood V of ϕ(y), there exists an smooth map f k : X k → R such that f = f k • π k , and therefore: which is smooth because π k • ϕ is a smooth map. Proposition 1. Let Z be a smooth manifold. A continuous map ϕ : X ∞ → Z is smooth if and only if it locally factors through a smooth map defined on some X k .
Proof. Let ϕ : X ∞ → Z be a smooth map; let x ∈ X ∞ be a point and let (U, z 1 , . . . , z n ) be a coordinate chart around ϕ(x) in Z. Each of the functions z 1 • ϕ, . . . , z n • ϕ ∈ O ∞ (ϕ −1 U) locally factors through some X j ; as they are a finite number, there exists k ∈ N and an open neighborhood V of x such that all of them, when restricted to V, factor through X k . Hence, The converse is obvious because the composition of morphisms of ringed spaces is a morphism of ringed spaces.
As examples, the space J ∞ F of ∞-jets of sections of a fiber bundle F is defined as the inverse limit of the sequence of k-jets fiber bundles: In addition, if N 0 , N 1 , N 2 , . . . is a countable family of finite-dimensional R-vector spaces, the vector space ∏ ∞ i=1 N i is, by definition, the inverse limit of the projections:

Quotients by the Action of Groups
Let G be a group acting on a ringed space X . Let us denote by X/G the quotient topological space and by π : X → X/G the quotient map. Definition 3. The quotient ringed space (X/G, O X/G ) is the ringed space whose underlying topological space is the quotient topological space X/G and whose sheaf of smooth functions is defined, on any open set U ⊆ X/G as: where O X (π −1 (U)) G stands for the set of maps f ∈ O ∞ X (π −1 (U)) such that f (g · p) = f (p) for any g ∈ G and p ∈ π −1 (U) .
It is then routine to check that the quotient map π : X → X/G is a morphism of ringed spaces that satisfies the following property: Universal property of the quotient: For any ringed space Y, the quotient map π : X → X/G induces a functorial bijection:

Morphisms of ringed spaces
Corollary 2 (Orbit reduction). Let G be a group acting on a ringed space X, and let f : X → Y be a surjective morphism of ringed spaces that, locally on Y, admits smooth sections passing through any point of X.
If the orbits of G coincide with the fibers of f , then the corresponding mapf : X/G → Y is an isomorphism of ringed spaces.
Proof. The hypothesis on the fibers assures that the induced morphismf : X/G → Y is bijective. The inverse mapf −1 is also a morphism of ringed spaces because it locally coincides with the projection into the quotient of any smooth section of f .
There is also the following corollary, whose proof is routine: Corollary 3. Let G be a group acting on two ringed spaces X and Y, and let H ⊆ G be a subgroup that acts trivially on Y.
Then, the universal property of the quotient restricts to a bijection:

Differential Operators
Let F → X and F → X be fiber bundles over a smooth manifold X .

Definition 4.
A differential operator is a morphism of ringed spaces P : J ∞ F → F such that the following triangle commutes: Let us denote by F and F the sheaves of smooth sections of F and F , respectively.

Definition 5.
A family of sections {s t : U t → F} t∈T is smooth if T is a smooth manifold and the following conditions are satisfied: The map s : U → F, defined as s(t, x) := s t (x), is smooth.
A morphism of sheaves φ : F → F is regular if, for any smooth family of sections {s t : U t → F} t∈T , the family {φ(s t ) : U t → F } t∈T is also smooth.
Any differential operator P : J ∞ F → F defines a morphism of sheaves and the chain rule proves that it is a regular morphism of sheaves.
The following statement is a particular case of a deep result due to J. Slovák (see [5], Sect. 19.7, or [19] for a proof of the specific statement below): Theorem 4 (Peetre-Slovák). If F → X and F → X are fiber bundles over a smooth manifold X, then the assignment P → φ P explained above establishes a bijection:

Natural Operations in the Presence of an Orientation
The purpose of this section is twofold: On the one hand, we present the notion of natural operation (Definition 7); our definition strongly differs from the standard one (cf. [5]), although it is equivalent to it ( [18]). On the other hand, we prove a general result-Theorem 6-that relates these natural operations with certain smooth equivariant morphisms.

Natural Bundles
Let Diff (X) denote the set of diffeomorphisms τ : U → V between open sets of a smooth manifold X .
If π : F → X is a bundle over X , a lifting of diffeomorphisms is a map: between open sets in X , then τ * : F U → F V is a diffeomorphism covering τ; that is to say, making the following square commutative

Definition 6.
A natural bundle over a smooth manifold X is a bundle F → X together with a lifting of diffeomorphisms satisfying the following properties:

1.
Functorial character: Local character: For any diffeomorphism τ : U → V and any open subset U ⊂ U,

3.
Regularity: If {τ t : U t → V t } t∈T is a smooth family of diffeomorphisms between open sets on X, then the family {(τ t ) * : F U t → F V t } t∈T is also smooth. A sub-bundle E of a natural bundle F is said to be natural if it is a natural bundle and its lifting of diffeomorphisms is the restriction of the lifting of diffeomorphisms of F. A morphism of natural bundles is a morphism of bundles ϕ : F → F that commutes with the lifting of diffeomorphisms; that is, such that for any diffeomorphism τ : U → V, the following square commutes: The tangent and cotangent bundles, or, more generally, the bundles of (r, s)-tensors T s r , are examples of natural bundles. The sub-bundle of k-forms Ω k ⊂ T 0 k is a natural sub-bundle of the bundle of k-covariant tensors T 0 k . If F → X is a natural bundle, its k-jet prolongation J k F is also a natural bundle for all k ∈ N. Thus, if τ : U → V is a diffeomorphism, its liftings to these jet spaces J k F allow the definition of a lifting to the ∞-jet space-in other words, a morphism of ringed spaces Let π : F → X and π : F → X be natural bundles over X, and let F and F be their sheaves of smooth sections, respectively. Definition 7. A differential operator P : J ∞ F −→ F is natural if it is a morphism of ringed spaces that commutes with the lifting of diffeomorphisms.
A morphism of sheaves φ : F → F is natural if it is a regular morphism of sheaves that commutes with the action of diffeomorphisms on sections; that is to say, if for any diffeomorphism τ : U → V between open sets of X, the following square commutes: Theorem 5. The choice of a point p ∈ X allows the definition of a bijection: where Diff p stands for the group of germs of diffeomorphisms τ between open sets of X such that τ(p) = p.
Proof. In this context, where both F and F are natural bundles, the bijection of Theorem 4 specializes to a bijection: Then, a standard argument-using that the pseudogroup Diff (X) acts transitively on X-allows one to prove that restriction to the fiber of the point p establishes a bijection: To be precise, if f p : J ∞ p F → F p is a Diff p -equivariant map, the corresponding differential operator P : J ∞ F → F is defined, over the fiber of any other point q ∈ X, as the composition The choice of a different τ produces the same P due to the Diff p -equivariance of f p , whereas the smoothness of P is a consequence of the smoothness assumptions on the liftings on F and F .

Natural Operations in the Presence of an Orientation
Let us now explain how to generalize Theorem 5 to the case of natural operations that depend on an orientation.
First of all, we observe that the orientation bundle Or X → X is a natural bundle: The lifting of a diffeomorphism τ at a point p is the identity in the case that det τ * ,p is positive, and the other map otherwise.
On the other hand, let us also observe that the direct product F × F of natural bundles is also a natural bundle with the obvious lifting of diffeomorphisms. Theorem 6. Let F and F be natural bundles over X, and let F and F be their sheaves of smooth sections, respectively.
The choice of a point p ∈ X and an orientation or p at p produces a bijection: where Or X denotes the sheaf of orientations on X, and SDiff p stands for the group of germs at p of diffeomorphisms τ such that τ(p) = p and det τ * .p > 0.
Proof. Due to Theorem 5, the choice of a point p allows the definition of a bijection: As the action of the group Diff p on the ringed space J ∞ p Or X is transitive, a general statement about ringed spaces-Proposition 7 below-permits us to conclude.

Proposition 7.
Let G be a group acting on three ringed spaces X, Y, and Z.
If the action on Y is transitive, then the choice of a point δ ∈ Y allows the definition of a bijection: where I δ ⊆ G denotes the isotropy group of δ.

Proof.
For any smooth map f : X × Y −→ Z , the restriction to the subspace X × {δ} defines a smooth I δ -equivariant mapf : Conversely, any smooth I δ -equivariant mapf : X −→ Z can be extended to a smooth G-equivariant map as follows: where g ∈ G is any element such that x = g · δ .
Finally, it is not difficult to check that this extension is well defined, as well as that both assignments are mutually inverse.

Invariants of Linear Connections and an Orientation
This section is devoted to proving Theorem 8, which is a description of the space of natural tensors associated to a linear connection and an orientation.
Let ∇ be the germ of a linear connection at a point p ∈ X, and let∇ be the germ of the flat connection at p ∈ X corresponding, via the exponential map, to the flat connection of T p X.

Definition 8.
For any integer m ≥ 0, the m-th normal tensor of ∇ at p is∇ m p T. In a system of normal coordinates (x 1 , . . . , x n ) for ∇ at p: Definition 9. The space N m of normal tensors of order m at p is the vector subspace of (m + 2, 1)tensors T at p satisfying the following symmetries: 1.
They are symmetric in the last m covariant indices:

2.
The symmetrization of the m + 2 covariant indices is zero: Normal tensors∇ m p T lie in N m [20] (Prop. 3.4). Thus, it makes sense to consider the following maps for any m ≥ 0: where Conn → X denotes the bundle of linear connections on X (not necessarily symmetric). These maps φ m are compatible in the sense that the following diagrams commute: and hence, they define a morphism of ringed spaces between the corresponding inverse limits: that can be related via a short, exact sequence of groups: where Gl := Diff 1 is surjective, its fibers are the orbits of NDiff ∞ p , and it admits smooth sections passing through any point of J ∞ p Conn. As a consequence, φ ∞ induces a Gl-equivariant isomorphism of ringed spaces: Proof. By [20] (Thm. 3.6), the Diff m+2 p -equivariant maps are surjective, regular projections whose fibers are the orbits of NDiff m+2 p for any m ≥ 0. Let us explain how these facts imply the statement above that deals with formal developments of connections. Firstly, as φ m is Diff m+2 p -equivariant and surjective for all m, it follows that φ ∞ is Diff ∞ p -equivariant and surjective. Next, let us check that the fibers of φ ∞ are the orbits of NDiff ∞ p . On the one hand, so that both formal developments are in the same orbit of NDiff ∞ p .
As for the existence of smooth sections, let us choose a local coordinate system centered at p. For any given formal development j ∞ p ∇, the proof of [20] (Thm. 3.6) shows how these coordinates define a global section σ m of φ m that passes through j m p ∇. These sections are easily checked to be compatible with the projections J m+1 p Conn → J m p Conn and ∏ m+1 i=0 N i → ∏ m i=0 N i for all m, so that they, in turn, define a morphism of ringed spaces that is a section of φ ∞ and passes through j ∞ p ∇. Finally, the last assertion of the statement is a consequence of Corollary 2.
Theorem 8. Let X be a smooth manifold and let C and Or X denote the sheaves of connections and orientations on X, respectively.
Let F be a natural sub-bundle of the bundle of (r, s)-tensors T s r and let F be its sheaf of smooth sections.
If we fix a point p ∈ X and an orientation or p at p, there exists an R-linear isomorphism    Natural morphisms of sheaves Observe that the action of SDiff p over J ∞ p Conn and F p coincides with that of SDiff ∞ p , so that, in the formula above, we may consider SDiff ∞ p -equivariant maps instead. In addition, notice that the following sequence of groups is exact: The subgroup NDiff ∞ p acts by the identity over T p so that Corollary 3, in conjunction with the exact sequence above, assures the existence of an isomorphism: Now, the Reduction Theorem above allows us to replace this quotient ringed space with an infinite product of vector spaces via the isomorphism: Finally, in the last step, we make use of the equivariance by homotheties h λ : T p X → T p X of ratio λ > 0. As h λ −1 ∈ Sl, the equivariance of these maps t implies In view of this property of the smooth maps t, the Homogeneous Function Theorem stated below (to be precise, Formula (7)) allows us to conclude with the isomorphism: where d 0 , . . . , d k are non-negative integers running over the solutions of the equation

Homogeneous Function Theorem. Let
If there are no natural numbers d 1 , . . . , d r ∈ N ∪ {0} satisfying this equation, then f is the zero map.

Proof.
Firstly, if f is not the zero map, then we observe w ≥ 0 because, otherwise, (4) is contradictory when λ → 0.
As the a 1 , . . . , a k are positive, there exist a neighborhood of zeros, V 0 ⊂ R, and a neighborhood of the origin V ⊂ π k (U) such that, for any (e 1 , . . . , e k ) ∈ V and any λ ∈ V 0 that are positive, the vector (λ a 1 e 1 , . . . , λ a k e k ) lies in V.
On that neighborhood V, the function f satisfies the homogeneity condition: f (λ a 1 e 1 , . . . , λ a k e k ) = λ w f (e 1 , . . . , e k ) (6) for any positive real number λ ∈ V 0 . Differentiating this equation, we obtain analogous conditions for the partial derivatives of f ; v.gr.: If the order of derivation is big enough, the corresponding partial derivative is homogeneously of negative weight and, hence, zero. This implies that f is a polynomial; the homogeneity condition (6) is then satisfied for any positive λ ∈ V 0 if and only if its monomials satisfy (5).

An Application
Finally, as an application of Theorem 8, in this section, we compute some spaces of vector-valued and endomorphism-valued natural forms associated to linear connections and orientations, thus obtaining characterizations of the torsion and curvature operators (Corollary 13 and Theorem 15).

Invariant Theory of the Special Linear Group
Let V be an oriented R-vector space of finite dimension n, and let Sl(V) be the real Lie group of its orientation-preserving R-linear automorphisms.
Our aim is to describe the vector space of Sl(V)-invariant linear maps: For any permutation σ ∈ S p , there exist the so-called total contraction maps, which are defined as follows: e σ(1) ) . . . ω p (e σ(p) ) .
Moreover, let Ω ∈ Λ n V * be a representative of the orientation, and let e be the dual n-vector; that is to say, the only element in Λ n V such that Ω(e) = 1. For any permutation σ ∈ S p+kn , the following linear maps are also Sl(V)-invariant: (ω 1 , . . . , ω p , e 1 , . . . , Classical invariant theory proves that these maps suffice to generate the vector space under consideration.

Theorem 9. The real vector space
where k is a non-negative integer such that 0 ≤ k ≤ p/n. In particular, for p < n, the vector space of Sl(V)-invariant linear maps coincides with the vector space of Gl(V)-invariant linear maps.
In the applications, we will also require the following facts: Proposition 10. Let E and F be (algebraic) linear representations of Sl(V).

•
There exists a linear isomorphism Hom Sl(V) (E, F) = Hom Sl(V) (E ⊗ F * , R). • If W ⊆ E is a sub-representation, then any equivariant linear map W → F is the restriction of an equivariant linear map E → F.

Uniqueness of the Torsion and Curvature Operators
Definition 10. Let E → X be a natural vector bundle. An E-valued natural k-form (associated to linear connections and orientations) is a regular and natural morphism of sheaves where Ω k denotes the sheaf of differential k-forms on X and E stands for the sheaf of smooth sections of E.
Theorem 8 implies, in particular, that the space of E-valued natural forms associated to linear connections and orientations is a finite-dimensional real vector space. Moreover, as the exterior differential commutes with diffeomorphisms, it induces R-linear maps: where it should be understood that, if ω is an E-valued natural k-form, the differential dω : C × Or X → Ω k+1 ⊗ E is defined, on each section (∇, or), with respect to the linear connection on E induced by ∇.

Definition 11.
A closed E-valued natural k-form (associated to linear connections and orientations) is an element in the kernel of the map above.

Vector-Valued Natural Forms
The torsion tensor of a linear connection can be understood as a vector-valued natural 2-form; that is to say, as a regular and natural morphism of sheaves where D stands for the sheaf of vector fields on X.
To be precise, the value of that tensor on a linear connection ∇ and an orientation or on an open set U ⊆ X is so that, in particular, it is independent of the orientation.
On the other hand, if I : D → D denotes the identity map and c 1 1 stands for the trace of the first covariant and contravariant indices, the tensor H := c 1 1 (Tor) ∧ I defines another vector-valued natural 2-form: Lemma 11. If dim X ≥ 3, then Tor and H are a basis of the R-vector space of vector-valued natural 2-forms.
Proof. Looking at Theorem 8, we first compute the non-negative integer solutions of There is only one solution, namely d 0 = 1, d i = 0, for i > 0, so Theorem 8 assures that the vector space under consideration is isomorphic to the space of Sl-equivariant linear maps: N 0 = Λ 2 T * p X ⊗ T p X −→ Λ 2 T * p X ⊗ T p X . Thus, the problem is reduced to a question of invariants for the special linear group, and we can invoke Theorem 9 and Proposition 10 to obtain generators for this vector space.
According to those results, if dim X > 3, then the space of Sl-equivariant linear maps that we are considering coincides with the space of Gl-equivariant linear maps, which, in turn, are proved in [16] (Lemma 3.5) to be spanned by H and Tor.
If dim X = 3, there may exist another generator; namely, the map ϕ : Λ 2 T * p X ⊗ T p X −→ Λ 2 T * p X ⊗ T p X, which, in coordinates around p, reads: where Ω = dx 1 ∧ dx 2 ∧ dx 3 and e is its dual 3-vector. If Γ k ij denote the Christoffel symbols, then a trivial computation allows us to express as well as the linear relation ϕ = Tor + H.

Theorem 12.
If dim X ≥ 3, then the exterior differential is an injective R-linear map: Proof. It is a consequence of both Lemma 11 and the fact that dH and dTor are R-linearly independent [16] (Theorem 3.6).
The so-called first Bianchi identity for the torsion tensor describes its differential in terms of the curvature, R, and the identity map, I: It is the following equality of vectorvalued natural 3-forms: d Tor = R ∧ I .
Therefore, an immediate corollary of Theorem 12 is: The torsion tensor is characterized as the only vector-valued natural 2-form ω that satisfies the first Bianchi identity, i.e., such that d ω = R ∧ I.

Endomorphism-Valued Natural Forms
In this section, we restrict our attention to symmetric linear connections. As in the case of the torsion tensor, the curvature tensor can also be thought of as an endomorphism-valued natural 2-form; that is to say, as a (regular and natural) morphism of sheaves R : C s × Or X −→ Ω 2 ⊗ E nd(D) , whose value on a symmetric linear connection ∇ and an orientation or defined on an open set U ⊂ X are the following endomorphism-valued 2-form R ∇ on U: Definition 12. An endomorphism-valued natural 2-form ω satisfies the first Bianchi identity if, for any symmetric linear connection ∇, any orientation or and any vector fields D 1 , D 2 , D 3 : The curvature tensor satisfies the first Bianchi identity. Moreover, if Ric s and Ric h denote the symmetric and skew-symmetric parts of the Ricci tensor Ric, then the following tensors also satisfy the first Bianchi identity:

Lemma 14.
If dim X > 3, then the tensors C 1 , C 2 , and R are a basis of the R-vector space of endomorphism-valued natural 2-forms that satisfy the first Bianchi identity.
If dim X = 3, then that vector space has dimension four.
Proof. Let R be the vector space of endomorphism-valued 2-forms at a point that satisfies the first Bianchi identity. Theorem 8 describes the space of the natural 2-forms under consideration as the vector space: where d 1 , . . . , d k are non-negative integers verifying the equation: The only solution to this equation is d 1 = 1, d 2 = . . . = d k , so that the vector space to analyze is the space of Sl-equivariant linear maps: First of all, recall that the maps induced by the tensors R, C 1 , and C 2 are a basis of the space of Gl-equivariant linear maps N s 1 −→ R; see [16] (Lemma 3.11). A systematic application of Theorem 9 now allows us to find generators for the space of Sl-equivariant maps.
If dim X > 5, then the vector space of Sl-equivariant maps coincides with the space of Gl-equivariant maps and, hence, is generated by these three elements.
In case dim X = 4, there is another possible generator: the map N s 1 → R defined as However, as any tensor in N s 1 is symmetric in the first two indices, it readily follows that this map is identically zero.
If dim X = 3, let us first describe the Sl-equivariant endomorphisms T 1 3 → T 1 3 . To this end, let x 1 , x 2 and x 3 be coordinates centered at p such that Ω = dx 1 ∧ dx 2 ∧ dx 3 is positively oriented, and let e be its dual 3-vector.
Using Ω and e, we can construct 16 generators, and they can all be expressed as a permutation of the factors of T 1 3 followed by one of these four maps: As the first two covariant indices of N s 1 are symmetric, the following maps are identically zero: (a), (b), and raising the first two indices at (c) and (d).
That leaves eight non-zero generators. However, this symmetry also makes raising indices 1, 3 and 2, 3 indistinguishable, hence reducing to just four generators.
The last step is to check which of these maps take values in R. Out of these four generators, only the following two produce tensors that are skew-symmetric in the first two covariant indices: and the skew-symmetrization of the remaining two is a linear combination of these. None of these two tensors satisfy the first Bianchi identity, but the linear combination ϕ := 3ϕ 1 − ϕ 2 does.
Finally, all that is left to prove is that ϕ is R-linearly independent of R, C 1 , and C 2 . In order to do that, it is enough to find a symmetric linear connection and an orientation on a 3-manifold X such that the aforementioned tensors on X are R-linearly independent.
The following example works: Let ∇ be the linear connection on R 3 whose only non-zero Christoffel symbols in cartesian coordinates are Assume that dx 1 ∧ dx 2 ∧ dx 3 is positively oriented, and denote T ij := dx i ⊗ ∂ x j . Direct computation gives the following linearly independent tensors, thus finishing the proof: Proof. The curvature tensor R is always a closed natural 2-form, so, by the previous Lemma, it is enough to analyze the R-linear span of the differentials of C 1 , C 2 , and, in dimension 3, of ϕ.
If dim X = 3, a direct computation, using the same example as in the previous Lemma, proves that dC 1 , dC 2 , and dϕ are R-linearly independent tensors: