On the Mathematics of Coframe Formalism and Einstein-Cartan Theory -- A Brief Review

This article is a review of what could be considered the basic mathematics of Einstein-Cartan theory. We discuss the formalism of principal bundles, principal connections, curvature forms, gauge fields, torsion form, and Bianchi identities, and eventually, we will end up with Einstein-Cartan-Sciama-Kibble field equations and conservation laws in their implicit formulation.


Introduction
The formulation of torsion gravity and the consequent coupling with spin rely on a different formulation compared to the one of original works on General Relativity. This formulation regards geometrical objects called principal bundles. In this context, we can formulate General Relativity (or Einstein-Cartan-Sciama-Kibble (ECSK) theory in the presence of torsion) with a principal connection, which can be pulled back to the base manifold in a canonical way giving birth to a so called gauge field and consequently to the well-known spin connection. This process shows the possibility of formulating General Relativity as a proper gauge theory rather than using the affine formulation and Christoffel symbols Γ. What permits the equivalence of the two formulations is a bundle isomorphism called tetrads or vierbein, which is supposed to respect certain compatibility conditions. Then, we can define the associated torsion form and postulate the Palatini-Cartan action as a functional of such tetrads and spin connection. This leads to ECSK field equations.
We will first set up all the abstract tools of principal bundles, tetrads, and principal connection; secondly, we will derive the Einstein-Cartan-Sciama-Kibble theory in its implicit version; and finally, we will discuss conservation laws coming from local SO (3,1) and diffeomorphism invariance of ECSK theory.
Throughout the article, we will give theorems and definitions. However, we would like to stress that hypotheses for such theorems will often be slightly redundant: we will take spaces and functions to be differentiable manifolds and smooth, even though weaker statements would suffice. This is because we prefer displaying the setup for formalizing the theory rather than presenting theorems and definitions with weaker hypotheses that we will never use for the theory. Nontheless, we will sometimes specify where such hypotheses are strengthened. In spite of this, the discussion will be rather general, probably more general than what is usually required in formulating ECSK (Einstein-Cartan-Sciama-Kibble) theory.

Bundle Structure
The introduction of a metric g and an orthogonality relation via a minkowskian metric η are two fundamental ingredients for building up a fiber bundle where we want the orthogonal group to act freely and transitively on the fibers. This will allow us to have a principal connection and to see the perfect analogy with an ordinary gauge theory ( [1] chapter III).
Such a construction underlies the concept of principal bundle, and tetrads will be an isomorphism from the tangent bundle 1 T M to an associated bundle V.

G-Principal Bundle
We give some definitions 2 .
Definition 1 (G-principal bundle 3 ). Let M be a differentiable manifold and G be a Lie group.
A G-principal bundle P is a fiber bundle π : P → M together with a smooth (at least continuous) right action P : G × P → P such that P acts freely and transitively on the fibers 4 of P and such that π(Pg(p)) = π(p) for all g ∈ G and p ∈ P .
We need to introduce a fundamental feature of fiber bundles.
Definition 2 (Local trivialization of a fiber bundle). Let E be a fiber bundle over M, a differentiable manifold, with fiber projection π : E → M , and let F be a space 5 .
A local trivialization (U, φU ) of E, is a neighborhood U ⊂ M of u ∈ M together with a local diffeomorphism.
1 Disjoint union of tangent spaces: T M = ∪ x∈M {x} × TxM 2 References [2,3,4] are recommended for further details. 3 We give the definition based on our purposes; in general, we can release some hypotheses. In particular, G needs to be only a locally compact topological group and M needs to be a topological Hausdorff space. This definition is a version with a stronger hypothesis than the one contained in Reference [5]. 4 Fibers are π −1 (x) ∀x ∈ M . 5 In the present case, F will be a differentiable manifold, a vector space, a topological space, or a topological group. Furthermore, if we write "space", we mean one among these. This definition implies π −1 (u) ≃ F ∀u ∈ U .
Definition 3 (Local trivialization of a G-principal bundle). Let P be a G-principal bundle.
A local trivialization (U, φU ) of P is a neighborhood U ⊂ M of u ∈ M together with a local diffeomorphism.
φU : U × G → π −1 (U ) (2) such that π(φU (u, g)) = u ∈ U for all u ∈ U and g ∈ G and such that Observation 1: A fiber bundle is said to be locally trivial in the sense that it admits a local trivialization for all x ∈ M , namely there exists an open cover {Ui} of M and a set of diffeomorphisms φi such that every {(Ui, φi)} is a local trivialization 6 .
Here, we recall the similarity with a differentiable manifold. For a manifold when we change charts, we have an induced diffeomorphism between the neighborhoods of the two charts, given by the composition of the two maps.
Thus, having two charts (Ui, ϕi) and (Uj, ϕj), we define the following: At a level up, we have an analogous thing when we change trivialization. Of course, here, we have one more element: the element of fiber.
Taking two local trivializations (Ui, φi) and (Uj, φj) and given a smooth left action T : G → Diffeo(F ) of G on F , we then have where the maps gij : Ui ∩ Uj → G are called the transition functions for this change of trivialization and G is called the structure group. Such functions obey the following transition functions conditions for all x ∈ Ui ∩ Uj: The last condition is called the cocycle condition.
Theorem 1 (Fiber bundle construction theorem). Let M be a differentiable manifold, F be a space, and G be a Lie group with faithful smooth left action T : Given an open cover {Ui} of M and a set of smooth maps, defined on each nonempty overlap, satisfying the transition function conditions. Then, there exists a fiber bundle π : E → M such that -its structure group is G, and -it is trivializable over {Ui} with transition functions given by tij.
A proof of the theorem can be found in Reference [6] (Chapter 1).

Coframe Bundle and Minkowski Bundle
It is clear now that having E as a fiber bundle over M with fibers isomorphic to F and F ′ as a space equipped with the smooth action T ′ of G, implies the possibility of building a bundle E ′ associated to E, which shares the same structure group and the same transition functions gij. By the fiber bundle construction theorem, we have a new bundle E ′ over M with fibers isomorphic to F ′ . This bundle is called the associated bundle to E. Depending on the nature of the associated bundle 7 , we have the following two definitions: Definition 4 (Associated G-principal bundle). Let π : E → M be a fiber bundle over a differentiable manifold M , G be a Lie group, F ′ be a topological space, and P be a smooth right action of G on F ′ . Let also E ′ be the associated bundle to E with fibers isomorphic to F ′ . If F ′ is the principal homogeneous space 8 for P, namely P acts freely and transitively on F ′ , then E ′ is called the G-principal bundle associated to E.
Definition 5 (Associated bundle to a G-principal bundle). Let P be a G-principal bundle over M, F ′ be a space, and ρ: G→ Diffeo(F ′ ) be a smooth effective left action of the group G on F ′ .
We then have an induced right action of the group G over P × F ′ given by We define the associated bundle E to the principal bundle P , as an equivalence relation: where Observation 2: The new bundle, given by the latter definition, is what we expected from a general associated bundle: a bundle with the same base space, different fibers, and the same structure group.
Idea: We take a G-principal bundle P as an associated bundle to T M , and we build a vector bundle associated to P with a fiber-wise metric η. We shall call this associated bundle V.
First of all, we display the G-principal bundle as the G-principal bundle associated to T M .
A coframe at x ∈ M is the linear isometry.
equivalently xe a forms an ordered orthonormal basis in T * x M . An orthonormal frame is defined as the dual of a coframe.
Observation 3: Locally, coframes can be identified with local covector fields. A necessary and sufficient condition for identifying them with global covector fields (namely a coframe for each point of the manifold) is to have a parallelizable manifold, namely a trivial tangent bundle.
Definition 7 (Orthonormal coframe bundle). Let (M, g) be a differentiable n-dimensional manifold with pseudo-riemannian metric g and T * M be its cotangent bundle (real vector bundle of rank n).
We call the coframe bundle F * O (M ) the G-principal bundle where the fiber at x ∈ M is the set of all orthonormal coframes at x and where the group G = O(n − 1, 1) acts freely and transitively on them.
The dual bundle of this is the orthonormal frame bundle, and it is denoted by FO(M ), made up of orthonormal frames (dual of orthonormal coframes). iii. We stress that this bundle V is not canonically isomorphic to T M ; in general, there is no canonical choice of a representative of xe of the equivalence class [xe, v] ∈ V, of which the inverse xe −1 (v) gives rise to a canonical identification of a vector in TxM . Namely, fixed a v ∈ V , not all choices of xe give rise to a fixed vector X ∈ TxM . As a matter of fact, the reference metric fixed on V does not allow in general the existence of a canonical soldering (Section 7). In Reference [7], it is shown how to define the Minkowski bundle without deriving it from FO(M ); the authors refer to that as fake tangent bundles.
iv. If the manifold is parallelizable, we have the bundle isomorphism e : T M → V, which is given by the identity map over M and xe : TxM → V ∀x ∈ M . It can be regarded as a V-valued 1-form e ∈ Ω 1 (M, V). We can identify e with an element of Ω 1 (M, V ), thus with global sections of the cotangent bundle such that, at each point in M , the corresponding covectors xe a obey η ab xe a xe b = g.
We are now ready to define tetrads.

Principal Connection
Is there any difference?
In the ordinary formulation of General Relativity (as in the original Einstein's work, for instance), we have objects called Γs, which are coefficients of a linear connection ∇ and thus determined by a parallel transport of tangent vectors.
The biggest advantage of treating O(3, 1) as an "explicit symmetry" of the theory is that we have obtained the possibility of defining a principal connection, which is the same kind of entity we have in an ordinary gauge theory 9 .

Ehresmann Connection
If we consider a smooth fiber bundle π : E → M , where fibers are differentiable manifolds, we can of course take tangent spaces at points e ∈ E. Having the tangent bundle T E, we may wonder if it is possible to separate the contributions coming from M to the ones from the fibers.
This cannot be done just by stating T E = T M ⊕ T F , unless E = M × F is the trivial bundle. Namely, we cannot split directly vector fields on M from vector fields on the fibers F .
We can formalize this idea: use our projection π for constructing a tangent map π * = dπ : T E → T M , and consider its kernel.
Definition 9 (Vertical bundle). Let M be a differentiable manifold and π : E → M be a smooth fiber bundle.
We call the sub-bundle V E = Ker(π * : T E → T M ) the vertical bundle.
Following this definition, we have the natural extension to the complementary bundle of the vertical bundle, which is somehow the formalization of the idea we had of a bundle that takes care of tangent vector fields on M .
Definition 10 (Ehresmann connection). Let M be a differentiable manifold and π : E → M be a smooth fiber bundle.
Consider a complementary bundle HE such that T E = HE ⊕ V E. We call this smooth sub-bundle HE the horizontal bundle or Ehresmann connection.
Thus, vector fields will be called vertical or horizontal depending on whether they belong to Γ(V E) or Γ(HE), respectively.

Ehresmann Connection and Horizontal Lift
We recall the case of the linear connection ∇; it was uniquely determined by a parallel transport procedure.
In the case of a principal connection, we have an analogous.
If E is smooth, then a lift is horizontal if every tangent toγ lies in a fiber of HE, namelẏ 9 Think of (U (1), Aµ) for electromagnetism.
It can be shown that an Ehresmann connection uniquely determines a horizontal lift. Here, it is the analogy with parallel transport.

Connection Form in a G-Principal Bundle
We now focus on the case where the smooth fiber bundle is a G-principal bundle with smooth action P.
Here, we need a group G, that we generally take to be a matrix Lie group. We then have the corresponding algebra g, a matrix vector space in the present case.
The action P defines a map σ : g → Γ(V E) called the fundamental map 10 , where at p ∈ P , for an element ξ ∈ g, it is given via the exponential map Exp : g → G.
The map is vertical because Thus, the vector σp(ξ) is vertical and it is called the fundamental vector. Before proceeding, we need some Lie group theory.
Recall of Lie machinery 11 : Let G be a Lie group (a differentiable manifold) with g as its Lie algebra and ∀g, h ∈ G. We define: -Lg : G → G and Rg : G → G, such that Lgh = gh and Rgh = hg are the left and right actions, respectively; -the adjoint map Adg : G → G via such left and right actions is Adg := Lg • R g −1 , namely Adgh = ghg −1 . It also acts on elements of the algebra ξ ∈ g as Adg : g → g via the exponential map 12 where the last two equalities hold in the present case of matrix Lie groups. This is not to be confused with the adjoint action ad : g × g → g, which is generated by the derivative of the adjoint map with g = e tχ and χ ∈ g, such that adχξ = [χ, ξ]; -the Maurer-Cartan form is the left invariant g-valued 1-form θ ∈ Ω 1 (G, g) defined by its values at g.
For any left invariant vector field v, it holds ∀g ∈ G that θg(v(g)) = v(e). Therefore, left invariant vector fields are identified by their values over the identity thanks to the Maurer-Cartan form θ. So we can state ( [8]) that this identification v(e) → v defines an isomorphism between the space of left invariant vector fields on G and the space of vectors in TeG, thus, the Lie algebra g. For matrix Lie groups, it holds that θg = g −1 dg.
By definition, the action of an element of the group on P is Pg : P → P , and therefore, it defines a tangent map Pg * : T P → T P , for which the following Lemma holds: 10 It turns out that it is an isomorphism, since P is regular. 11 In this section, we take inspiration and follow [9]. 12 We stress that the exponential map is not an isomorphism for all Lie groups; thus, the elements generated by the exponential map belong, in general, to a connected subgroup of the total group, which is usually homeomorphic to its simply connected double cover. More in general, the isomorphism is between a subset of the algebra containing 0 and a subset of the group containing the identity. Moreover, for a compact, connected, and simply connected Lie group, the algebra always generates the whole group via the exponential map.
we then use the fact that Pg • P e tξ • P g −1 = P g −1 e tξ g = P Ad g −1 e tξ and the identity for matrix groups Adge tξ = e tAdg ξ to get the following: It is time to define what we were aiming to define at the beginning of the section: the connection form.
Definition 12. Let P be a smooth G-principal bundle and HE ⊂ T P be an Ehresmann connection. We call the g-valued 1-form ω ∈ Ω 1 (P, g), satisfying the connection 1-form.
Proof. Suppose v = σ(ξ), since the other case left is trivial. We can carry out some calculations on the left-hand side, and following from the definition of pull-back and Lemma 1, we have Then, we only need to manipulate the right-hand side as Both times, we used just the given definition of connection 1-form (Equation (19)).

Remark 1.
This last Proposition is called G-equivariance. It can be imposed instead of by assuming that HE is an Ehresmann connection, and then HE can be shown to be such an Ehresmann connection.
Another fundamental concept is given in the following: Definition 13 (Tensorial form). Let ρ : G → Aut(V ) be a representation over a vector space V and α ∈ Ω k (P, V ) be a vector valued differential form. We call α a tensorial form if it is the following: -horizontal, i.e., α(v1, ..., v k ) = 0 if at least one vi is a vertical vector field, and -equivariant, i.e., for all g ∈ G, P * g α = ρ(g −1 ) • α. We define horizontal and equivariant forms as maps belonging to Ω k G (P, V ). Observation 5: The connection form ω is not, in general, horizontal; thus, it is not a tensorial form, ω / ∈ Ω 1 G (P, g). This will be clear when taking into account how the gauge field transforms under a change of trivialization in Section 4.

Curvature Forms
Given our connection 1-form ω, we can proceed in two ways: the first consists in taking a map called the horizontal projection and in defining the curvature as this projection applied on the exterior derivative of ω. In this way, we naturally see that curvature measures the displacement of the commutator of two vectors from being horizontal.
We will proceed in a different way though. We will define the curvature through a structure equation.
In Equation (23), [ω ∧ ω] denotes the bilinear operation on the Lie algebra g called differential Lie bracket. It is defined as follows: where u and v are vector fields. It follows straightforwardly that, if we take two general horizontal vector fields u, v ∈ Γ(HE) and we use the ordinary formula 13 for the exterior derivative of a 1-form We see that Ω measures how the commutator of two horizontal vector fields is far from being horizontal as well.

For an Ehresmann Connection HE
. This is what a covariant differentiation will do instead.
The idea of a covariant exterior derivative for a connection HE is, given such an Ehresmann connection HE, the one of projecting vector fields onto this horizontal bundle and then feed our ordinary exterior derivative with such horizontal vector fields.
First of all, we define a map acting as a pull-back. Namely that, given a map h : T P → HE such that, for all vertical vector fields v, we get h • v := hv = 0 (called the horizontal projection), we define the dual map h * : T * P → HE * such that, for α ∈ Ω 1 (P, V ) and V a vector space, we have Definition 15 (d h ). Let P be a G-principal bundle, V be a vector space, and α ∈ Ω k (P, V ) be an equivariant form. We define the exterior covariant derivative d h as a map d h : where v0, ..., v k are vector fields.
It depends on the choice of our Ehresmann connection HE, which reflects onto the horizontal projection h; that is why we have the index h .
Observation 7: We can make our covariant derivative depend only on ω, if we restrict it to only forms in Ω k G (P, V ) and if we consider the representation of the algebra induced by the derivative of ρ that we denote dρ : g → End(V ). Then, we have dρ • ω ∈ Ω k P, End(V ) .

For a Connection Form ω
Definition 16 (dω). Let P be a G-principal bundle, V be a vector space, and α ∈ Ω k G (P, V ) be a tensorial form. We define the exterior covariant derivative dω as a map dω : Remark 2.
-We observe that d 2 ω α ̸ = 0 for a general α ∈ Ω k G (P, V ), but it is easy to show that it holds 15 Thus, for a flat connection such that Ω = 0, we have d 2 ω α = d 2 α = 0. 13 Here, we regard ω(u) as a function ω(u) : P → g belonging to the algebra of smooth functions to g, C ∞ (P, g). 14 For a general k-form: 15 See the first Bianchi identity in Equation (57) for the proof.
-We have observed that ω / ∈ Ω 1 G (P, g). Therefore, dωω is not well defined. However, we can consider d h ω ∈ Ω 2 G (P, g), and this is precisely our curvature Ω = dω + 1 2 [ω ∧ ω], where the anomalous 1 2 factor comes from the "non-tensoriality" of ω. As a matter of fact, there is no representation that would make the 1 2 term arise if we considered dωω instead. -The fact that dω is not well defined for non-tensorial forms does not mean that ω defines a less general derivative than what d h does. As a matter of fact, HE could be defined starting from ω, as we mentioned above, since HE = Ker ω.

Make It Clear
Definition 17 (Gauge field). Let P → M be a G-principal bundle, G be a Lie group with g as the respective Lie algebra, {U β } be an open cover of M , and s β : U β → P be a section.
We define the gauge field as the pull-back of the connection form ω ∈ Ω 1 (P, g) as We notice that, under a change of trivialization, such a gauge field changes via the action of the adjoint map.
In fact, we have the following: Lemma 2. The restriction of ω to π −1 (U β ) agrees with where g β : π −1 (U β ) → G is the map induced by the inverse of the trivialization map φ β defined in Equation (2), and with Ad g −1 β , we intend for the adjoint map at the group element given by g β (p) −1 at a point p ∈ π −1 (U β ).
The proof comes from the observation that Equations (19) and (30) coincide in π −1 (U β ) for both a horizontal (for which they are zero) and a vertical vector field.
Thanks to this, we easily have the following: Proposition 2. Let G be a matrix Lie group. Then it holds the following transformation for a gauge field: Proof. Using Equations (29) and (30) for all x ∈ U β ∩ Uγ, which reduces to the assert for matrix Lie groups.
Observations 8: i. We observe that a local gauge transformation of the gauge field corresponds to a change of trivialization chart.
ii. Non-tensoriality of ω was given by the fact that it is, in general, not horizontal. For the gauge field A, we can generalize to forms on M the concept of tensoriality/non-tensoriality by noticing that a form obtained by the pull-back of a tensorial form, denoted with t ∈ Ω 1 G (P, V ), would transform differently compared to A, namely as The Maurer-Cartan form θ reflects the non-horizontality of ω to the gauge field, from Equation (30).
iii. A difference of two gauge fields like A−A ′ transforms as Equation (33). In fact, the transformation rule is one of a tensorial form, since the Maurer-Cartan forms simplify.
iv. We notice that (iii) is a particular case of a more general one. Indeed, it is possible to show with proof in Reference [2] (Chapter 5) that Ω k G (P, V ) ∼ = Ω k (M, P ×ρ V ). This is essentially due to the fact that, thanks to the equivalence relation of the associated bundle and the gluing condition of sections on overlaps, the pull-backs by sections s β : U β → P give a one-to-one correspondence between these two spaces. Therefore, we can obtain forms with a tensorial transformation like Equation (33) just by taking the pull-back of tensorial forms on P ; these will be forms on M with values into the associated bundle P ×ρ V .
v. Observations (iii) and (iv) ensure that an object built with gauge fields A β ∈ Ω 1 (U β , g) (which transform on overlaps by Equation (31)) will be in Ω 2 (M, P × Ad g); see Observation 9.
Definition 18 (Field strength). Let P → M be a G-principal bundle, G be a Lie group with g as the respective Lie algebra, {U β } be an open cover of M , and s β : U β → P be a section.
We define the field strength as the pull-back of the curvature form Ω ∈ Ω 2 G (P, g) as which, by definition of Ω, is Similarly to what we have done for the gauge field, we can show 16 that the field strength transforms as where the last equality holds for matrix Lie groups with g and g −1 in G. This is indeed the transformation of a tensorial form, as in Equation (33).
Observation 9: Thanks to our previous observation, i.e., there is a canonical isomorphism between Ω k G (P, V ) and Ω k (M, P ×ρV ), we can relate Ω and F β with a form 17 FA ∈ Ω 2 (M, adP ). Namely there is a canonical isomorphism sending Ω ∈ Ω 2 G (P, g) to FA ∈ Ω 2 (M, adP ). Indeed, given the transformation law for the field strength in Equation (36), we see that {F β } are horizontal and equivariant and, thus, form a global section belonging to Ω 2 (M, adP ), which is usually denoted as FA. The notation FA stresses that it is obtained from gauge fields in Ω 1 (U β , g). In the case of a trivial bundle, it is also possible to define a global gauge field A ∈ Ω 1 (M, g).

2nd Bianchi Identity
Definition 19. The collection of gauge fields defines an exterior covariant derivative for bundle-valued forms on M . We denote such a map with Consider dA : Ω k (M, P ×ρ V ) → Ω k+1 (M, P ×ρ V ) as the exterior covariant derivative and FA ∈ Ω 2 (M, ad P ) as the field strength.
Then, we have the following: This is the second Bianchi identity.

Affine Formulation
In the usual formulation of General Relativity, one defines a covariant derivative ∇, which is a map among tensors. Then, one can define curvature and torsion and eventually get the field equations for ECSK theory or General Relativity by setting torsion to zero.
One may wonder if this latter formulation is equivalent to the one we have been implementing through principal bundles and principal connection.
The answer is positive and is given in the next two sections.

Affine Covariant Derivative
We We define a local connection as a Λ 2 V-valued differential form ω β ∈ Ω 1 (U β , Λ 2 V). Then we define the space of local connections as In literature these local connections are also called spin connections. We come now to the following Proposition.

Proposition 4. There exists an isomorphism
induced by the reference metric η.
Proof. Given η = diag(1, 1, 1, −1), consider a basis of V given by {vi} 4 i=1 . A basis for Λ 2 V is obtained by taking the wedge product. Then the proof is an immediate consequence of the fact that the elements Li j induced by the map η : correspond to a basis of the Lie algebra.
This isomorphism allows to obtain a different approach to the bundle-valued derivative defined in Equation (37) Notice that this is denoted in the very same way of the exterior covariant derivative for differential forms on principal bundles. However, the distinction will be always evident.
We can further define another kind of derivative that "takes care" of internal indices only; in particular, this will not be necessarily a map between differential forms.

Definition 22.
Given ω ∈ AM and ϕ ∈ Γ(V) restricted to the same neighbourhood, we define (Dω)µ as (Dωϕ) a µ = (∂µϕ a + ω ac and, for α ∈ Ω k (M, V), we have, Equation (45) shows that it does not map α to a differential form. The antisymmetry of ω ensures the metric compatibility condition for this derivative. In fact, it is easy to check that (Dωη) ab µ = 0 for each µ, a, b. Now, we immediately apply the inverse of a tetrad to Dωϕ and identify it with ∇. In fact, we take a vector field X ∈ Γ(T M ), feed the tetrad e with it, then apply 18 Dω to get Dω(ιX e), and finally pull it back with the inverse of the tetradē.
We define the Christoffel symbols Γ σ µν as and, thus, we get which is the covariant derivative well known in General Relativity. We can also see what the curvature form is in terms of the commutator of two of these derivatives, Fω and it is given by where A [µ B ν] = AµBν − Aν Bµ is our convention for the antisymmetrization. The fact that Fω is a 2-form shows that F ab µν = −F ab νµ ; furthermore, it also holds F ab µν = −F ba µν .

Riemann Curvature Tensor
We can now consider the commutator of two affine covariant derivatives and use Equation (49), getting We identify the Riemann tensor It follows the antisymmetry of the Riemann tensor in the indices µν and ωσ, but it is important to note that we cannot ensure any symmetry in the Ricci curvature instead due to the presence of torsion.

Torsion
Here, we start focusing on the importance of torsion, which arises quite naturally as curvature does.

Torsion Form
Definition 23 (Solder form/soldering of a G-principal bundle). Let π : P → M be a smooth Gprincipal bundle over a differentiable manifold M , ρ : G → Aut(V ) be a representation, and G be a Lie group.
We define the solder form, or soldering, as the vector-valued 1-form θ ∈ Ω 1 G (P, V ) such that θ : T M → P ×ρ V is a bundle isomorphism, whereθ ∈ Ω 1 (M, P ×ρ V ) is the associated bundle map induced by the isomorphism of Ω 1 G (P, V ) ∼ = Ω 1 (M, P ×ρ V ). Observations 10: -The choice of the solder form is not unique, in general.
-We can observe that, taking P = FO(M ), ρ as the fundamental representation of O(3, 1), and V as the vector space with reference metric η,θ corresponds to our definition of tetrads. The different choices of soldering give rise to different tetrads.
-In the case that P = FO(M ) and that the associated bundle is simply chosen to be T M , the solder form is called canonical or tautological. Since the associated bundle T M sets the bundle isomorphismθ to be the identity map id : T M → T M .
-In Observations 4, we mentioned that the Minkowski bundle cannot be canonically identified with the tangent bundle itself; indeed, we fixed a reference metric η, which cannot be pulled back by the identity map to give the metric on T M in general, and thus, the solder form is not canonical.
The soldering of the principal frame bundle allows us to define the torsion form 19 .

Torsion in a Local Basis
We would like to express the torsion form in terms of tetrads and the gauge field. In Reference [10], a formula is given and it is obtained by applying the previous definition of the torsion form in a local basisΘ a = (dωe) a = de a + ω ab η bc ∧ e c , where ω ∈ AM is a local connection.

1st Bianchi Identity
Proposition 5. Following our previous definitions, we have which is called the first Bianchi identity.
The last equality holds because of tensoriality of θ and the second remark in Remark 2.
This proposition is a natural consequence of the property of the covariant differential expressed in Equation (28).
Proposition 6. We have the following formula: and, in components, it reads where C σ µν = 0 in a holonomic basis for X and Y and ∇ is the covariant derivative 20 . 19 Torsion can be defined for every principal bundle, but physics arises when considering the frame bundle. 20 See Reference [11] for references about this.
We have now set up all the background for building our theory and for discussing field equations of ECSK theory.

Field Equations and Conservation Laws
We present here field equations for ECSK theory 21 . Thus, we will neither assume the possibility of a propagating torsion (and we will always keep non-identically vanishing Riemann curvature [15]) nor display a lagrangian for a totally independent torsion field; rather, we will only set the Palatini-Cartan lagrangian for gravity, as done in Reference [16], and a matter lagrangian as the source. This theory is known as Einstein-Cartan-Sciama-Kibble gravity (ECSK).
In the present case, torsion reduces to an algebraic constraint. This is a consequence of making torsion join the action of the theory as only contained in the Ricci scalar because of a non-torsion-free connection and not with an independent coupling coefficient. In works like References [17,18,20,19], torsion is present as an independent part (independent coupling coefficient) of the action and it does propagate. This is why the ECSK is considered as the most immediate generalization of General Relativity with the presence of torsion.
Therefore, we wish to eventually obtain an action of two independent objects, tetrads and connection, where this latter action should give rise to equations for curvature when varying tetrads and for torsion when varying the connection.
We will focus more on the geometrical side of these equations and we will not dwell on deepening matter interaction (couplings, symmetry breaking, etc.), as done for instance in References [21,22,25,23,24].

ECSK Equations
ECSK theory with cosmological constant belongs to the Lovelock-Cartan family, which describes the most general action in four dimensions such that this action is a polynomial on the tetrads and the spin connection (including derivatives), is invariant under diffeomorphisms and local Lorentz transformations, and is constructed without the Hodge dual 22 .
The variational problem is given by an action of the kind where the Palatini-Cartan action is We work in a system of local connections in AM . The wedge product is defined over both spacetime and internal indices as a map 23 ∧ : Ω k (M, Λ p V) × Ω l (M, Λ q V) → Ω k+l (M, Λ p+q V) and the trace is a map Tr : Λ 4 V → R, normalized such that (for vi elements of a basis in V ) The choice of the normalization of the trace works as a choice of orientation for M (since the determinant of a matrix in O(3, 1) may be ±1). Therefore, we reduce the total improper Lorentz group O(3, 1) to the only orientation preserving part, which is still not connected, SO (3,1). This gives an invariant volume form on M . In this way, we consider sections of Λ k T * M ⊗ Λ p V.
Later on, we will make explicit some indices and keep implicit some others; for this purpose, we will specify what kind of wedge product we are dealing with, even though it will be evident because it will be among the implicit indices. 21 Some classical works about ECSK theory and General Relativity with torsion, like References [12,13,14]. 22 See Reference [26] for details. 23 Such that, for α ∈ Ω k (M, Λ p V) and β ∈ Ω l (M, Λ q V), we have α ∧ β = (−1) (k+p)(l+q) β ∧ α.
We recall the definition of Fω and deduce the identity for its variation where we stress that, despite ω being non-tensorial, δω is instead, and thus dωδω is well defined. The action for the matter is of the kind where L is an invariant lagrangian density form with the proper derivative order in our variables, φ is a matter field, and κ is a constant. Such matter lagrangian is supposed to be source for both curvature and torsion equations, namely it will be set for fulfilling some conditions fitting the theory.
Therefore, varying the actions in Equations (65) and (67) which is equivalent to where the wedge product here is only between differential forms. Setting Λ = 0 and in performing the derivative, Equation (69) can be rewritten as where we have setQ = dωe. These are equations for the ECSK theory in their implicit form 25 , where T and Σ are related to, respectively, the energy momentum and the spin tensor, once pulled back.
By making all the indices explicit, as given in Reference [21], and properly setting κ according to natural units 26 , Equation (70) takes the following form

Gµν
= 8πTµν Observations 11: i. Tµν is not symmetric, as expected from the non-symmetry of the Ricci curvature Rµν .
ii. We stress that, even though e is an isomorphism, the map e ∧ · : is not an isomorphism, in general. In fact, taking δL δe = 0 (with Λ = 0) in Equation (68) does not imply Fω = 0, which would imply a flat connection.
iv. It is interesting to note that, requiring a totally antisymmetric spin tensor, sets the total antisymmetry of the torsion tensor. Namely, in the case of a totally antisymmetric Σ, we need to couple the only totally antisymmetric part of torsion into the geometrical lagrangian. This is further discussed in Reference [21].

Conservation Laws
We have two symmetries, i.e., local Lorentz transformations and diffeomorphisms. They are continuous symmetries, and as such, we expect two conservation laws. Since we are dealing with local symmetries, we shall not find two conserved currents but rather two relations for the variations of the matter lagrangian w.r.t. e and ω.
These relations directly imply the Bianchi identities of Equations (38) and (57), but we could also do the converse, namely assuming Equations (38) and (57) and then deriving such conservation laws. This means that conservation laws are a consequence of symmetry on the one hand, implemented via the following symmetries (respectively diffeomorphisms and local SO(3, 1)) δ ξ e a = L ξ e a = ι ξ de a + dι ξ e a δ ξ ω ab = L ξ ω ab = ι ξ dω ab + dι ξ ω ab , where ξ is the generator vector field, δΛe a = Λ ab η bc e c δΛω ab = −dωΛ ab Λ ∈ so(3,1), or a direct consequence if we impose field equations and, thus, gravitational dynamics and Bianchi identities on the other hand. We will follow the shortest derivation, namely to implement the Bianchi identities of Equations (38) and (57) on field Equation (70).
Thanks to Bianchi identities, left hand side of field Equation (70) can be rewritten in the following way: where ιa = ιē a and e b = η bc e c . However, because of the same field in Equation (70), they reduce to In References [27] and [28], a more detailed discussion can be found. These are conservation laws for ECSK theory.

Conclusions
We have set up all the mathematical background for building ECSK theory, eventually achieving field equations and conservation laws. In ECSK theory, torsion is only an algebraic constraint and it does not propagate. This is a natural consequence of inserting torsion into the theory without an independent coupling coefficient but simply generalizing the Einstein-Hilbert action (or Palatini action in our formulation) R √ −gd 4 x to a non-torsion-free connection ∇ (or spin connection in our case). In this case, the Ricci scalar contains both curvature and torsion.
It is possible to immediately recover General Relativity by imposing the zero torsion condition, which, in the considered theory, translates to letting the matter field φ generate a null contribution to the spin tensor Σµν σ . The most natural matter fields which would fit with the theory are spinors; indeed, spinors are the way in which we can have a non-vanishing spin tensor which is also dynamical because of equations of motion for the spinor field.
This review does not want to substitute the well-known literature but to just give a self-contained and mathematically rigorous introduction to ECSK theory, providing also some references for deepening knowledge in the present subjects. Also, we intentionally did not dive too deeply into physical applications to cosmology (like done in References [29,30,31,32,33,34]), that might be a valid argument for writing another review article.