1. Introduction
By its geometric nature, the description of gravity within the theory of general relativity stands out from all other field theories. The quest for a unified field theory, together with tensions posed on general relativity both by cosmological observations and its consistence with quantum theory, have therefore led to the development of a plethora of alternative gravity theories [
1]. The fact that all other forces of nature are modeled by gauge theories, so that the fields mediating these interactions are described by connections on principal bundles, motivates a similar approach to gravity, thus introducing a connection as a fundamental field to mediate the gravitational interaction. Further taking motivation from the idea that gravity is linked to the geometry of spacetime itself, the most straightforward choice is to consider a connection in the frame bundle of spacetime; i.e., an affine connection. Finally, taking into account that observations suggest to use a Lorentzian metric to describe the dynamics of fields and particles on spacetime, one arrives at the notion of metric-affine geometry, and hence the class of metric-affine theories of gravity [
2].
Particular subclasses of metric-affine geometries appear in various theories of gravity. Einstein–Cartan gravity [
3,
4], and the more general class of Poincaré gauge theories [
5,
6], make use of a metric-compatible connection. In general relativity, this is further specialized to the unique metric-compatible, torsion-free connection, which is the Levi–Civita connection. The latter constitutes one corner of the so-called “geometric trinity of gravity” [
7], which in addition comprises of the equivalent formulations of general relativity in terms of metric teleparallel [
8,
9] and symmetric teleparallel [
10] geometries. Combining the latter two, one arrives at a general teleparallel geometry, featuring both torsion and nonmetricity [
11]. Numerous modified gravity theories based on these geometries have been studied.
An important task in the study of gravity theories is determining exact solutions to their field equations. This task is often simplified by considering solutions with spacetime symmetries; i.e., invariance under the action of a symmetry group on the underlying spacetime manifold. For the class of metric-affine geometries, this notion of symmetry can be derived by realizing that they are particular classes of Cartan geometries, for which a more general notion of symmetry has been derived [
12]. This is the notion of symmetry we use in this article. It generalizes the more restricted notion for metric teleparallel geometries used in an earlier work [
13]. Here we focus on spherical symmetry, which is of particular importance, since it is typically assumed for non-rotating compact objects, such as stars, black holes or exotic objects like wormholes.
The study of metric-affine geometries with spherical symmetry has a long history. For the most general metric-affine geometry featuring torsion, nonmetricity and curvature, explicit expressions have been obtained for a parametrization in terms of torsion and nonmetricity [
14]. Particular spherically symmetric solutions of metric-affine gravity theories have been studied, e.g., in [
15,
16,
17,
18]. For the case of Poincaré gauge theory, in which only torsion and curvature are present, spherically symmetric geometries have been studied; e.g., in [
19,
20,
21,
22,
23,
24,
25,
26,
27,
28,
29,
30,
31]. Solutions of Einstein–Cartan theory have been discussed, e.g., in [
32,
33,
34,
35,
36]. For the case of teleparallel gravity, where only torsion is non-vanishing, see, e.g., [
13,
37,
38,
39,
40,
41,
42]. Additionally, for various other theories based on metric-affine geometry spherically symmetric solutions have been discussed [
43,
44,
45,
46,
47,
48,
49,
50,
51].
The aim of this article is twofold. Its primary aim is to provide a compendium of metric-affine geometries with spherical symmetry, ordered by the vanishing or non-vanishing of its characteristic tensorial properties—torsion, nonmetricity and curvature, and to provide explicit parametrizations which help to simplify the obtained expressions. These parametrized geometries may directly be inserted into the field equations of any gravity theory based on the corresponding subclass of metric-affine geometries, in order to find its spherically symmetric solutions. While such a parametrization has been provided already for the case of the symmetry group
of proper rotations [
14], we extend this result to the full orthogonal group
, including reflections. Another aim of this article is to demonstrate the method used for finding these spherically symmetric geometries, and thus to serve a didactic purpose. Using the same method, it is possible to determine metric-affine geometries satisfying other spacetime symmetries, such as planar or cosmological symmetry. We briefly display also, the most general metric-affine geometry with the latter kind of symmetry, to demonstrate how it follows from the spherically symmetric case which we study in detail.
We emphasize that it is not the aim of this article to determine exact or approximate solutions to the field equations of any specific gravity theory or class of gravity theories. We do not choose any specific theory or class of theories in this article, or consider any field equations. The object of our study is given purely by the metric-affine geometries underlying such gravity theories, and by the action of spacetime symmetries; in particular, the spherical symmetry—on these geometries. Choosing a gravity theory or class of theories and solving the corresponding field equations in spherical symmetry is an additional step, which is beyond the scope of this article.
The outline of this article is as follows. In
Section 2 we briefly review the notion of symmetry for metric-affine geometries, using both their metric-Palatini and tetrad/spin connection representations. We then derive the most general spherically symmetric metric-affine geometry in
Section 3, where by spherical symmetry we consider symmetry under proper, orientation-preserving rotations only. The properties of this geometry are discussed in
Section 4. We consider particular subclasses in
Section 5, by imposing additional constraints on the connection. Our results are extended to the full orthogonal group, including reflections, in
Section 6. As a potential physical application, we study orbital motion along the autoparallels of the affine connection in
Section 7. Finally, we provide an outlook towards cosmological symmetry in
Section 8, by displaying the most general metric-affine geometry obeying this symmetry. We end with a conclusion in
Section 9.
5. Special Cases
In the previous section, we have considered a fully general connection, which may have torsion, nonmetricity and curvature. We now turn our focus to more restricted connections, by imposing that one or more of these properties vanish. This will lead us to the cases
in
Section 5.1,
in
Section 5.2,
in
Section 5.3,
in
Section 5.4,
in
Section 5.5,
in
Section 5.6 and
in
Section 5.7, finally.
5.1. Torsion-Free:
In order to determine the most general torsion-free connection with spherical symmetry, it is most practical to use the parametrization we introduced in
Section 4.3. In this parametrization, one finds immediately that the torsion (
33), which reduces to the form (
39), vanishes if and only if
. The most general torsion-free metric-affine geometry we are looking for is thus determined by the parameter functions
determining the metric and parameter functions
determining the nonmetricity. Note that the connection can most conveniently be expressed through the relation (
35), with the disformation (
42) and the Levi–Civita connection (
43).
5.2. Metric-Compatible:
The converse case, compared to the previous one, is a general metric-compatible connection, while allowing for non-vanishing curvature and torsion; i.e., a Riemann-Cartan geometry. As in the torsion-free case, the parametrization introduced in
Section 4.3 immediately yields the desired result, in this case by choosing the parameters
. The resulting metric-affine geometry is thus parametrized by the parameter functions
determining the metric and the parameter functions
determining the torsion. Additionally, in this case the connection is expressed through the relation (
35), now with the contortion (
41) and the Levi–Civita connection (
43).
5.3. Torsion-Free Metric-Compatible:
For the sake of completeness, we mention that by choosing the parameter functions
one obtains the unique metric-compatible and torsion-free connection, which is, of course, the Levi–Civita connection (
43).
5.4. Flat:
There are different possibilities to derive flat, symmetric metric-affine geometries; i.e., symmetric metric-affine geometries with vanishing curvature. The most straightforward approach is to consider the general spherically symmetric connection derived in
Section 3.3, and to impose that its curvature vanishes. This results in a number of differential equations which are quadratic in the unknowns to be solved for, which may be involved, depending on the degree of symmetry imposed. Another strategy is to realize that the existence of a flat connection implies (on a simply-connected manifold) the existence of a global coframe
, which is in general different from the metric coframe
, and which may be constructed by choosing the coframe in a single spacetime point
x, and then using the path-independent parallel transport defined by the flat connection to obtain the coframe in any other spacetime point. It follows from this construction that the tetrad components are covariantly constant,
so that the connection coefficients are given by the Weitzenböck connection
where
is the inverse tetrad satisfying
and
. One may then obtain the symmetric coframe, and hence the flat symmetric connection, by inserting the Weitzenböck connection in the Lie derivative (
4) and solving the resulting equations for the tetrad. Taking into account that the tetrad transforms as a one-form, so that its Lie derivative with respect to a symmetry generator
is given by
one finds that
, i.e., the Weitzenböck connection obeys the symmetry, if and only if
where the connection coefficients are given by the definition (
49). Note that by construction, the Weitzenböck connection is necessarily a metric connection, though not with respect to the independent metric
, but with respect to the metric
defined by the parallely transported tetrad.
Observe that the metric
is not fully defined by the connection alone, but also depends on the choice on the tetrad
at the initial point
x of the construction above. The Weitzenböck connection does not depend on the initial tetrad, since any constant linear transformation cancels in its definition (
49). Hence, we are free to make a convenient choice. Using the fact that the symmetry group generating the spherical symmetry is
, we may distinguish two cases:
The action
is trivial. This case is topologically excluded, since in this case the parallel transport of the tetrad along the orbit of the symmetry group, which is topologically a sphere
, would yield a global frame on the sphere. However, this is impossible, since the sphere is not parallelizable. See [
13] for a detailed derivation of this contradiction.
If the action of the symmetry group on the tetrad is non-trivial, one can use the properties of to realize that the image of G under the map is again isomorphic to itself. Hence, one may always find a tetrad such that its temporal component is invariant under the group action, while its spatial components span an orthonormal basis for the rotation group. It then follows that for all .
Finally, note that the symmetry of the Weitzenböck connection, whose spin connection vanishes by definition, implies that
, as defined above, does not depend on the spacetime point,
, and so globally defines an element of the Lorentz group. This means that the metric
defined by this tetrad is symmetric under the action of the symmetry group, following the derivation in
Section 2.2.
In summary, we thus find that the tetrad
defines a metric
and a metric-compatible, flat Weitzenböck connection, both of which adhere to the spherical symmetry. The most general tetrad which satisfies these conditions depends on six free functions
and takes the form [
13]
The corresponding Weitzenböck connection then takes the general form (
28), where the parameter functions
are given by
We once again remark that despite being metric-compatible with respect to the metric
, this connection, in general, possesses non-vanishing nonmetricity with respect to the metric
, as we shall see in
Section 5.6. Additionally, its torsion is in general non-vanishing, unless a number of conditions is satisfied, which we discuss in the next section. However, one easily checks that its curvature indeed vanishes.
5.5. Flat Torsion-Free:
We now derive a number of conditions for the Weitzenböck connection of the tetrad (52) to be torsion-free. Recall that the torsion of the general spherically symmetric connection is given by the components (
33). In particular, we find the condition
Here only the last factor may vanish, since for vanishing
the tetrad (52) would be degenerate. Hence, we have
. Without loss of generality, we may set
. We then continue with the conditions
These conditions determine
up to a constant of integration, and further impose the integrability condition
on the remaining parameter functions. These conditions, together with the remaining torsion components
, finally yield the additional conditions
For any choice of the parameter functions and , one thus obtains a system of coupled, linear, inhomogeneous, first-order, partial differential equations for and . We will not attempt to construct a general solution scheme for these equations, since in general there will be no closed form for the solution.
5.6. Flat Metric-Compatible:
In order to determine the most general flat and metric-compatible connection, one may proceed similarly to the previously discussed case of a flat and torsion-free connection, imposing that the nonmetricity (
34) vanishes. For this purpose, it turns out to be simpler to express the nonmetricity in the components
of the metric, without substituting them with the parametrization (
23). In this case we may start with the conditions
, which imply
These are solved by
, where
is a constant of integration. To proceed, one may use the purely algebraic equations
, whose full expression we omit here for brevity. It turns out that these are not independent and may be solved, e.g., for the components
and
. The corresponding solution reads
In order to determine the final component
, one uses the remaining components of the nonmetricity (
34). Imposing that these vanish yields a set of first-order partial differential equations for
, which are solved by
with another constant of integration
. Finally, substituting this solution into the intermediate result (59) yields the full solution
We find that the most general flat, metric-compatible metric-affine geometry is determined by the parameter functions and the two constants of integration and . Note that for the metric reduces to the metric defined by the tetrad , while for general one obtains a constant multiple of this metric. It is obvious that the connection is compatible with this metric, by construction. It is remarkable, however, that this is not the only solution, and that also metrics with yield metric-compatible geometries.
5.7. Flat Torsion-Free Metric-Compatible:
Finally, and again for completeness, we also mention the case in which all three tensorial quantities which characterize the connection—torsion, nonmetricity and curvature—vanish. It is a well-known fact that this condition reduces the metric-affine geometry to Minkowski space, so that the metric is given by the Minkowski metric
and the connection by its Levi–Civita connection. However, this does not become immediately apparent if one calculates the curvature of the Levi–Civita connection (
43) of the spherically symmetric metric, which implements the conditions of vanishing torsion and nonmetricity, and attempts to solve for vanishing curvature. This is due to the fact that the condition of spherical symmetry commutes with coordinate transformations of the non-angular coordinates
, so that the most general spherically symmetric metric in arbitrary, spherical coordinates is given by
where the new coordinates take the form
Hence, the components of the most general metric, after imposing spherical symmetry via the conditions (
21), are given by
One easily checks that the curvature of the Levi–Civita connection induced by this metric indeed vanishes.
6. Reflection Symmetry
During the preceding sections, we have understood as the rotation group only the proper rotations, which form the connected Lie group
. Only for this connected group the infinitesimal treatment we used is equivalent to a treatment using finite group actions, as discussed in
Section 2. One may easily extend this analysis to the (general) orthogonal group
by also allowing for reflections. Since this group consists of two connected components, one must use the transformation laws (
1) and (
2) of the metric and affine connection under finite group actions for at least one reflection. It is convenient to consider the equatorial reflection (Note that it might seem a more straightforward and canonical choice to consider the point reflection, which in addition also replaces
by
. However, since the latter is simply a rotation around the polar axis, which is already covered by the symmetry under proper rotations, it is equivalent to the choice we make here).
Together with the Jacobian, whose non-vanishing components are given by
We find the following transformation rules for the metric and connection coefficients:
If the number of coordinate indices on or is odd, a factor is incurred.
Due to the coordinate change , all occurrences of are replaced by , while is retained. This also propagates to constructed triangular functions, such as .
With these transformation rules in mind, one finds that the most general spherically symmetric metric (
23) is also invariant under reflections. Hence, enlarging the symmetry group from
to
does not impose any constraints on the parameter functions
. However, the situation is different for the affine connection. Here imposing invariance of the connection coefficients (
28) under reflections imposes the additional constraints
Only connections whose parameter functions satisfy these constraints are also symmetric under .
The same discussion as shown above for the metric and affine connection can also be carried over to the formulation in terms of a tetrad and spin connection, as shown in
Section 2.2. Applying the appropriate symmetry conditions to the tetrad and spin connection displayed in
Section 3.4, one finds that these are invariant under reflections if and only if the conditions
are imposed, in full analogy to the metric-Palatini formulation.
It is also instructive to study how the additional conditions imposed by reflection symmetry affect the tensorial properties of the metric-affine geometry, which we discussed in
Section 4. For this purpose it is helpful to first rewrite the conditions in terms of the parameter functions
introduced in
Section 4.3, which yields
This means that only four of the formerly eight independent components of the torsion are left, while 10 of the formerly 12 independent components of the nonmetricity are left. One easily checks which components of the torsion (
39), nonmetricity (
40), contortion (
41) and disformation (
42) vanish as a consequence of these conditions, and how the non-vanishing components are parametrized by the remaining parameter functions.
A particular number of simplifications are also obtained for the curvature, which we discussed in
Section 4.4. For the components (
44), we find that all except for the last line vanish if reflection symmetry is imposed, while the latter simplifies to
Similarly, the second line of the components (
45) vanishes under reflection symmetry, while its first line as well as the components (
46) remain unchanged. Finally, the second half of the components (
47) also vanishes if reflection symmetry is imposed, while the first half slightly simplifies, similarly to the component (
70).
The restrictions imposed on the affine connection and its curvature can also be studied for the more specific classes of metric-affine geometries discussed in
Section 5. We first remark that for the torsion-free and metric-compatible geometries shown in
Section 5.1 and
Section 5.2 one immediately obtains the reflection invariant subclasses by imposing the conditions (
69) on the parameter functions. For the Levi–Civita connection shown in
Section 5.3, reflection symmetry automatically follows from the reflection symmetry of the metric (
23), so that no additional constraints are obtained in this case. In the flat (curvature-free) case discussed in
Section 5.4, one finds that reflection symmetry is imposed by the condition (More precisely, the condition obtained is
, but one may set
, as mentioned in
Section 5.5.)
, while the remaining parameter functions
remain unconstrained. Note that this condition is always satisfied in the flat, torsion-free case studied in
Section 5.5, while it must be imposed as an independent constraint in the flat, metric-compatible case shown in
Section 5.6. Of course, the Minkowski metric obtained in
Section 5.7 is invariant under reflections.
7. Autoparallel Motion
As an example for a potential physical application of our findings, we study the orbital motion of a hypothetical class of test particles which follow the autoparallels of the affine connection. Such kind of motion may arise from considering a generalized coupling of test matter to gravity, such as a generalized fluid, or generalized observer frames [
53,
54]. Hence, we will consider trajectories
which are subject to the autoparallel equation
where
are the coefficients of the most general spherically symmetric connection we derived in
Section 3.3. To further simplify the task at hand, we restrict ourselves to stationary metric-affine geometries, so that the functions parametrizing the connection depend only on
r and not on
t. Further, we will restrict ourselves to circular orbits parallel to the equatorial plane, which are of the form
with constant parameters
. It is well known that in Riemannian geometry, where the connection coefficients are given by the Levi–Civita connection, such orbits are necessarily coplanar with the center of spherical symmetry; hence
; i.e., they lie in the equatorial plane, due to the conservation of angular momentum. This follows from the spherical symmetry of the metric background geometry, which imposes the same symmetry on the test body Lagrangian, in conjunction with Noether’s first theorem. However, this line of argument does not hold for general autoparallel motion, which is not necessarily derived from a Lagrangian.
Inserting the ansatz (
72) into the autoparallel Equation (
71), we find the component equations
These equations can be interpreted as follows:
Equation (
73a) imposes the constancy of the lapse parameter
N. This equation could be absorbed by considering a more general parametrization of the trajectory, or a transformation of the time coordinate
.
Equation (73b) imposes the constancy of the radial coordinate
R. Its left hand side can be interpreted as the sum of radial gravitational and fictuous forces along the orbit, which vanishes once the orbit satisfies the autoparallel equation (
71).
Similarly to the previous one, Equation (73c) imposes the constancy of the azimuth angle
. The left hand side of this equation represents a force which is tangent to the sphere of radius
R and perpendicular to the trajectory
. It is in particular notable that such a force occurs also for motion in the equatorial plane,
, in case the connection coefficients satisfy
. In this case it follows that there are no autoparallel circular orbits in the equatorial plane. Additionally, note that the resulting perpendicular force acting on this orbit breaks reflection symmetry, since it imposes a preferred orientation. This is consistent with our findings from
Section 6, that reflection symmetry imposes
.
Finally, Equation (73d) imposes the constancy of the angular frequency . The corresponding term can be interpreted as a longitudinal force along the trajectory, leading to an acceleration with respect to the chosen parametrization.
Observe in particular that the Equation (73) do not admit a simultaneous solution unless there exists a constant radius R at which the (radial coordinate dependent) connection coefficients satisfy and . If these conditions are satisfied, one can solve the autoparallel equation for the remaining parameters .
It is also instructive to view this result in the light of the decomposition of the connection which we presented in
Section 4.3. We observe the following:
The coupled Equations (
73a) and (73b) are jointly influenced by the torsion components
and nonmetricity components
. These components affect both the lapse and the radial force along the studied orbit.
The transversal force Equation (73c) depends on the components of the torsion and of the nonmetricity, which vanish if reflection symmetry is imposed.
The last Equation (73d) depends on the torsion and nonmetricity components and , so that we can associate these with a longitudinal force along the orbit we studied.
In summary, we find that coupling test matter to torsion or nonmetricity influences both the orbital parameters and possible existence of circular orbits, including the possibility of shifting the orbit out of the equatorial plane if reflection symmetry breaking terms are present.
8. Cosmological Symmetry
The results we derived in the previous sections of this article can easily be extended from spherical to cosmological symmetry. For this purpose one introduces the additional symmetry generating vector fields
where we made use of the abbreviation
, and where
is the sign of the spatial curvature. Using the spherically symmetric metric-affine geometry we derived, it turns out to be sufficient to impose symmetry under the last generator
, since symmetry under the remaining generators then follows from their commutation relations. For the metric, this yields the well-known Robertson–Walker metric
which is parametrized by the lapse
and scale factor
. For the connection, one obtains the algebraic equations
which determine 15 components of
in terms of the remaining five components. These remaining independent components are constrained by the differential equations
The most general solution to these equations depends on 5 functions
. In terms of these, the parameter functions of the most general spherically symmetric connection are expressed as
Inserting these parameter functions in the general spherically symmetric connection (
28) finally yields its explicit form
If one also imposes reflection symmetry, as discussed in
Section 6, one obtains the additional condition
. One can now perform the same kind of analysis as in the case of spherical symmetry shown in the previous sections. We will not perform such calculations here, as they would exceed the scope of this article, whose aim is the discussion of the spherically symmetric case, and refer to [
55], where such kind of analysis for cosmology is performed in a different parametrization.
9. Conclusions
We showed how to construct the most general metric-affine geometry with spherical symmetry and studied its properties. We demonstrated that it is determined by four parameter functions which determine the metric, as well as 20 parameter functions which determine the connection. We further decomposed the latter into eight components determining the torsion and 12 components determining the nonmetricity. This decomposition allowed us to derive a simple parametrization for those metric-affine geometries where either of these two tensorial quantities vanishes, similarly to the parametrization found in [
14]. Furthermore, we calculated the curvature, and constructed the most general flat metric-affine geometries with spherical symmetry, whose connection is determined by six parameter functions. Finally, we gave conditions on the torsion-free case and determined the most general metric-affine geometry with vanishing nonmetricity. As an interesting result, we found a two-parameter family of metrics which are compatible with the most general flat connection.
By extending the symmetry group from the proper rotations to the full orthogonal group , we found that the metric automatically satisfies also this larger symmetry, so that no additional restrictions on its parameter functions are obtained, while we found six further constraints on the coefficients of the affine connection; hence leaving only 14 free functions parametrizing the affine connection, of which four determine the torsion, while 10 determine the nonmetricity. In the case of a flat affine connection, we obtained one condition on the parameter functions imposed by reflection symmetry, leaving five free functions parametrizing the connection coefficients. In particular, we saw that this condition is always satisfied if the connection is not only flat, but also torsion-free.
To demonstrate a possible physical application of our result, we studied circular orbits for a hypothetical class of test bodies which follow the autoparallels of the affine connection, and showed that circular orbits may not exist in general. Additionally, in contrast to purely Riemannian geometry with spherical symmetry, we found the possibility of circular orbits which are not coplanar with the center or spherical symmetry, but shifted with respect to the equatorial plane.
Given any gravitational theory based on the metric-affine geometry or one of its subclasses, defined by the vanishing of torsion, nonmetricity or curvature, one may use the corresponding spherically symmetric geometry as an ansatz to solve the field equations. The explicit expressions in different parametrizations, which are adapted to the particular subclass and which we provide in this article, may serve as utilities in this task. Hence, the work presented in this article should be seen as a basic ingredient towards the classification of spherically symmetric solutions to gravity theories based on metric-affine geometries; the second ingredient, which is the choice of such gravity theories and hence their field equations, finding the solutions and their physical properties, is left for future work.
Various modifications and generalizations of the calculations shown here are possible. Instead of spherical symmetry, one may consider, e.g., planar symmetry to study exact planar wave solutions, or cosmological symmetry. For the latter, we have provided the most general metric-affine geometry as well, which can serve as a starting point for such kinds of calculations, similarly to the work presented in [
55]. Another possibility is to consider other types of geometries based on Cartan geometry, which are relevant in physics and to which the notion of spacetime symmetries derived from Cartan geometry [
12] applies. Possible generalizations include bimetric geometries, where different branches exist depending on whether the two metrics can be simultaneously brought to diagonal form or not [
56], as well as Finsler geometries, where the geometry is defined on the tangent bundle instead of the spacetime manifold itself, and where spherical symmetry can be implemented via the action of the rotation group on distinguished tensor fields on the tangent bundle [
57]. Additionally, the connection between spacetime symmetries and conservation laws [
58] may be explored using the methods we discussed.