#### Abstract

Metric-affine geometry provides a nontrivial extension of the general relativity where the metric and connection are treated as the two independent fundamental quantities in constructing the spacetime (with nonvanishing torsion and nonmetricity). In this paper, we study the generic form of action in this formalism and then construct the Weyl-invariant version of this theory. It is shown that, in Weitzenböck space, the obtained Weyl-invariant action can cover the conformally invariant teleparallel action. Finally, the related field equations are obtained in the general case.

#### 1. Introduction

Extended theories of gravity have become a field of interest in recent years due to the lack of a theory which could fully describe gravity as one of the fundamental interactions together with other ones. Shortcoming of the current gravitation theory in cosmological scales, despite all the successes in solar system tests, is another reason for developing the idea of extending it and has confirmed the need to surpass Einstein’s general theory of relativity (GR) [1–3]. The extension can be made in different ways such as geometrical, dynamical, and higher dimensions or even a combination of them [4, 5]. In this paper, we will focus on geometric extension to gravity under the notion of metric-affine formalism.

Our current description of gravity is based, via theory of GR, on Riemannian geometry in which metric is the only geometrical object needed to determine the spacetime structure and connection is considered to be metric connection, the well-known Christoffel symbols. In such a context, as* a priori*, the connection is symmetric, that is, torsion-free condition, and is also assumed to be compatible with the metric . To enlarge this scheme, one can set the two presumptions aside and think of metric-affine geometry in which metric and connection are independent geometrical quantities. Therefore, connection is no longer compatible with the metric and torsion-free condition is relaxed; thus, in addition to Christoffel symbols, the affine connection would contain an antisymmetric part and nonmetric terms as well. The transition from Riemann to metric-affine geometry has led to metric-affine gravity (MAG), an extended theory of gravity which has been extensively studied during recent decades from different viewpoints, and a variety of non-Riemannian cosmology models are proposed based on it (e.g., see [6–11]).

The underlying idea of GR that explains gravity in terms of geometric properties of spacetime remains unaffected in MAG and just new concepts are added to this picture by introducing the torsion and nonmetricity tensors in description of gravity. Almost all of the spacetime geometries such as Riemann-Cartan, Weyl, and Minkowski geometries can be obtained by constraining the three aforementioned tensors [12, 13]; this is one of the peculiarities of metric-affine formalism.

In this paper, we study the conformally invariant metric-affine theory. The conformal theories of gravity are of great importance; for example, in the framework of quantum gravity it is proved that such theories are better to renormalize [14] and also, from the phenomenological point of view, it is shown that the solutions of conformal invariant theories (e.g., Weyl gravity) can explain the extraordinary speed of rotation curves of galaxies and also they can address the cosmological constant problem [15, 16]. Thus, considering the conformal invariance within the context of MAG seems to be worthwhile, which has been studied in some papers [17, 18]. (There are other choices of the conformal transformation of the torsion tensor which are studied in [19–22].) We first consider the action in its general format in MAG and then fix the degrees of freedom by imposing the conformal invariance.

The organization of the paper is as follows. The conventions and general aspects of metric-affine geometry are briefly reviewed in Section 2. In Section 3, the most general second order action in metric-affine formalism is presented in terms of free parameters. Weyl-invariant version of the action is investigated in Section 4 by determining the free parameters and the subject will be concluded in the fifth section. The field equations of the general action are presented in the Appendix.

#### 2. Metric-Affine Geometry

As mentioned, the main idea in MAG is the independence of metric and connection, both of which are being the fundamental quantities indicating the spacetime structure and carry their own dynamics in contrast with GR where metric is the only independent dynamical variable [23, 24]. Note that, in Palatini formalism of GR, such an assumption holds, but it brings nothing novel to the theory. In presence of the gravitational field, spacetime can be curved or twisted and these features of spacetime are characterized by curvature and torsion tensors defined in terms of the affine connection and its derivatives as and (square brackets and parentheses in relations show antisymmetrization and symmetrization over indices, respectively) These two definitions are obtained from the covariant derivatives commutator acting on a vector field, where denotes covariant derivative associated with the affine connection and for a tensor field is defined as It must be emphasized that the third index of the connection is conventionally chosen to be in the direction along which differentiation is done (the order of indices must be carefully considered since the connection coefficients are supposed not to be completely symmetric with nonvanishing torsion tensor) [23, 25].

Nonmetricity tensor is the other geometrical object defined as from which it is implied that inner product of vectors and so their length and the angle between them are not conserved when parallel transported along a curve in spacetime [4, 26].

Another difference that arose in this setup is the increase of dynamical degrees of freedom. Noting that the affine connection is independent of the metric and is not constrained in general, it thus contains 64 independent components in four-dimensional spacetime. As it is obvious by definitions given above, torsion and nonmetricity are rank-three tensors being antisymmetric in first and symmetric in last pair of indices, respectively. Due to these symmetry properties, the two quantities will constitute the 64 independent components of the affine connection (24 components of torsion tensor and 40 components of nonmetricity tensor). Thereby, the overall number of the independent components will become 74 by taking into account the 10 independent components of the metric, a symmetric second rank tensor, together with the connection.

It is straightforward to show that the affine connection can be expressed in the following form: where is the usual Christoffel symbol and the rest is a combination of torsion and nonmetricity tensors defined as follows: Accordingly, the affine curvature tensor will take the form of where indicates Riemann curvature tensor and braces are used to show covariant derivative in Riemann geometry. Contraction of (8) will result in two different rank-two tensors [4, 23]; one of them is the affine Ricci tensor obtained by contracting the first index with the last pair of indices and the other one is the so-called homothetic curvature tensor which resulted from contraction of the first two indices . Generation of the two second rank curvature tensors is due to the fact that the only symmetry of the affine curvature tensor is the antisymmetric property of the last pair of indices. However, there is just one independent affine Ricci scalar and the contraction of homothetic curvature tensor with metric gives rise to vanishing scalar because of its antisymmetric nature [4, 23]. Having more complete description of geometry, in the following section, we will focus on constructing the generic gravitational action based on metric-affine geometry.

#### 3. Metric-Affine Second Order Action

With independence of the metric and connection in MAG, the general gravitational action is expressed in terms of metric and connection and their derivatives. Also the coupling of matter action with connection in addition to metric and matter fields is allowed in the case of MAG which forms the dissimilarity between this approach and the Palatini method [23, 27]. In this paper, we limit our discussion to the geometrical part of the action, but what the form of the action is. Obviously, the first choice is to replace the Einstein-Hilbert (EH) action with its counterpart in metric-affine formalism, but this is not the only possibility and extension of EH action into a more general one through the metric-affine formalism can be done by considering torsion and nonmetricity tensors as well as curvature tensor in construction of the action. (In our study, only the geometrical part of the action is dealt with, so the inconsistency that is mentioned in [28, 29] does not appear in our consideration.) In order to construct the gravitational Lagrangian, we follow the approach of [23, 30] which is an effective field theory approach and appropriate scalar terms are constructed at each order by applying power counting analysis. To start with and in natural units , by choosing , all of the geometrical quantities, which are needed in construction of the action, are expressed in terms of length dimension and, consequently, to make the action dimensionless, the coupling constant is related to Planck length. The highest power of the length dimension in the scalars shows the order of action so the first term of the generalized action, which is the Ricci scalar that is replaced by the affine one, is of second order.

Restricting our discussion to second order action and considering symmetries of torsion and nonmetricity tensors, there will be four scalars written in terms of torsion tensor and its derivative, eight terms made up of the nonmetricity tensor and its derivative, and three terms constructed from the contraction of torsion and nonmetricity tensors. (Terms of higher orders have been presented in [31] and, for a less general case, in [23].) Accordingly, the generic second order gravitational action indimensions takes the following form: (a similar action has been studied in [31] with different approach in the context of scalar, vector, tensor theory. Note also that it is proved that, due to the symmetry properties, the other possible forms of nonvanishing scalars can be rewritten using the terms of this action) in which and ’s denote different coupling constants, stands for the determinant of metric, andcontains the Planck length, for example, in four dimensions . The relevant field equations can be obtained by varying the action with respect to metric and connection independently, and then one obtains after a trivial but rather lengthy calculation the field equations which are given in the Appendix. In the following section, we are going to fix the free parameters which appear in the action due to its general form of definition.

#### 4. Conformal Invariance of the Action

The action in the form of (9) has free parameters that must be fixed. This can be done by imposing some constraints or initial conditions where we use the conformal invariance condition. The first extension of Einstein’s gravity was done by Weyl in 1919 and then developed by Cartan and Dirac (for review see [2, 3, 32, 33]). In [19], conformal invariance was considered in Riemann-Cartan geometry where the torsion plays the role of an effective Weyl gauge field. Conformal torsion gravity and conformal symmetry in teleparallelism were studied in [34].

Under the conformal transformation of metric of the form
the nonmetricity, which is associated with, transforms as
where is a scalar function of . However, the conformal transformation of the torsion tensor is somehow ambiguous and different forms of transformation are considered, namely,* weak* conformal transformation under which the torsion tensor remains unchanged and* strong* conformal transformation in which the torsion tensor transforms similar to (10); namely, one has [17]. Being interested in conformal invariance of the action, we choose the weak form which preserves the antisymmetric part of the affine connection. In accordance with all what is mentioned above, one can easily show that the affine connection is not changed under the conformal transformation of the form (10).

It is straightforward to show that, under conformal transformation, the action (9) transforms in the following way: in which . The conformal invariance of the action results in vanishing of the additional terms at the above relation, which leads one to write Inserting (13) in (9) leads to This is the general form of the Weyl-invariant metric-affine gravity (WMAG), noting that a compensating Weyl scalar is needed to cancel out the factor which appears in (12).

More simplification can be done if one is interested in the reduced form of metric-affine space; for example, in Einstein-Weyl-Cartan space, one has , where is a vector field [22]. By applying this condition to (14), it turns to the following simple form:

We would like to mention that (15) is expressible in a special form when the affine curvature scalar and covariant derivative are redefined in terms of the Riemannian part plus a particular combination of torsion and nonmetricity square-terms by using (6), (7), and (8). Therefore, the affine curvature scalar takes the form of And, in Einstein-Weyl-Cartan space, it becomes With the same procedure, one obtains and substituting (17) and (18) in (15) results in Now by imposing the torsion-free condition on (19) and setting , up to a compensating Weyl scalar, it becomes similar to what is studied as a conformally invariant extension of Einstein-Hilbert action [35].

It is worth noting that when the action in (14) is transferred to Weitzenböck space by setting the curvature and nonmetricity to zero [13], it reduces to which is similar to the one used in teleparallel theories of gravity [29, 36]. For example, in [37], from the tetrad and scalar field analysis of torsion, it is shown that such an action with specific coefficients of , , , and can indeed be a conformally invariant teleparallel action.

#### 5. Conclusion

In this paper, we have first studied the general form of second order metric-affine action which is constructed from all the possible forms of 15 scalar terms made up of affine curvature, torsion, and nonmetricity tensors. The Weyl-invariant extension is obtained by imposing conformal invariance as a condition on the action. The resultant action reduces to the conformally invariant teleparallel action in transition to Weitzenböck space [37]. Studying conformally invariant torsion theories is important because, aside from the conformal invariance property, they can address some important issues of theoretical physics (e.g., see [38]). Torsion theories may be viewed as a rank-3 mixed symmetry tensor field. From the spacetime symmetry and group theoretical point of view, it is proved that linear conformal quantum gravity in flat and de Sitter backgrounds should contain such mixed symmetry tensor field of rank-3 [39–41].

Our obtained action (9) and its Weyl-invariant extension cover the theories made up from Riemann curvature equipped with the torsion and nonmetricity, albeit studying the Weyl invariance of such theories needs some modifications; however, as discussed, in our method, the Weyl invariance can only be obtained by fixing the coefficients, which we have considered as a special case.

#### Appendix

#### Field Equations of the General Action

In this appendix, we obtain the related field equations of (9) in 4 dimensions. At first, let us variate the action with respect to the metric, which leads to where stands for matter action.

Variation of the action with respect to the connection yields the following equation:

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

The authors would like to thank M. V. Takook for his helpful guidelines. This work was supported in part by Islamic Azad University, Central Tehran Branch.