Abstract

In the framework of proposed theory of spacetime deformation/distortion, we have a way to deform the spacetime through a nontrivial choice of the distortion-complex, displaying different connections, which may reveal different post-Riemannian spacetime structures as corollary. We extend this theory to address, in particular, the gauge model of the most general metric-affine gravity carrying both nontrivial torsion and nonmetricity. This model is constructed in the framework of the first order Lagrangian expressed in terms of the gauge potentials and their first derivatives. The equations of the standard theory, which have no propagating modes for torsion, can be equivalently replaced in modified framework by the modified equations, which in the limit of reducing the affine group leads to the modified Einstein-Cartan theory with dynamical torsion and beyond. In testing the modified framework for various particular cases, we use the Lagrange multipliers for extinguishing nonmetricity and torsion.

1. Introduction

We will not attempt a history of gauge theory of gravitation in general, but only of those that seem most relevant to the particular theory of this paper. From its historical development, the efforts in gauge treatment of gravity mainly focus on the quantum gravity and microphysics, with the recent interest, for example, in the theory of the quantum superstring or, in the very early universe, in the inflationary model. The papers on the gauge treatment of gravity provide a unified picture of gravity modified models based on several Lie groups [161]. However, currently no single theory has been uniquely accepted as the convincing gauge theory of gravitation which could lead to a consistent quantum theory of gravity. They have evoked the possibility that the treatment of spacetime might involve non-Riemannian features on the scale of the Planck length. This necessitates the study of dynamical theories involving post-Riemannian geometries. On the other hand, a general way to deform the spacetime metric with constant curvature has been explicitly posed by [6266]. The problem was initially solved only for 3D spaces, but consequently it was solved also for spacetimes of any dimension. It was proved that any semi-Riemannian metric can be obtained as a deformation of constant curvature matric, with this deformation being parameterized by a 2-form. A novel definition of spacetime metric deformations, parameterized in terms of scalar field matrices, is proposed by [67]. However, without care of the historical justice and authenticity, it also should be emphasized that the continuous deformations within the space of connections were studied by [17, 18]. This concept of a deformation seems to be a special case of a prolongation. A main idea is as follows: since any tensor-valued one-form transforms homogenously with respect to linear gauge transformations, its subtraction from a connection can be regarded as a continuous deformation within the space of connections. A more general approach is suggested by [68], whereas the authors present the extension to 4D of an euclidean 2D model that exhibits spontaneous generation of a metric. In this model gravitons emerge as Goldstone bosons of a global symmetry broken down to . They formulated microscopic theory without having to appeal to any particular spacetime metric and only assume the preexistence of a manifold endowed with an affine connection. Moreover, here it seems that not even a flat metric needs to be assumed. In this sense the microscopic theory is quasitopological. The vierbein appears as a condensate of the fundamental fermions. In spite of having nonstandard characteristics, the microscopic theory appears to be renormalizable. Recently, some clarifications are also collected in the book [69], where the authors have tried to collect the established results and to focus new investigations on the real loopholes of the theory. Only time will tell whether any of these intriguing theories is correct and which of the hypothesized hidden symmetries is actually realized in nature.

It is well known that the notions of space and connections should be separated; see, for example, [13, 7072]. The curvature and torsion are in fact properties of a connection, and many different connections are allowed to exist in the same spacetime. Therefore, when considering several connections with different curvature and torsion, one takes spacetime simply as a manifold and connections as additional structures. Allowing minimal departure from semi-Riemannian geometry would consist in admitting torsion. The concept of a linear connection as an independent and primary structure of spacetime is the fundamental proposal put forward by Cartan’s geometrical analysis [4346], whereas he gave a beautiful geometrical interpretation of torsion representing a translational misfit. The Einstein-Cartan (EC) theory also called Einstein-Cartan-Sciama-Kibble theory is the minimal extension of the general relativity, which considers curvature and torsion as representing independent degrees of freedom. In the standard EC theory, the equation defining torsion is of algebraic type, and not a differential equation, and no propagation of torsion is allowed. Even at the textbook level it was common knowledge known from the weak interaction that the causality reasons do not respect a contact interaction. Therefore, many modifications of the EC theory have been proposed in recent years; see, for example, [37, 7379], but all these approaches are subject to many uncertainties. In particular, in [80] the authors analyze the functional renormalization group flow of quantum gravity on the EC theory space. The latter consists of all action functionals depending on the spin connection and the vielbein field (coframe) which are invariant under both spacetime diffeomorphisms and local frame rotations. They find evidence for the existence of at least one non-Gaussian renormalization group fixed point which seems suitable for the asymptotic safety construction in a setting where the spin connection and the vielbein are the fundamental field variables. The difference between Einstein’s general relativity and its Cartan extension is analyzed within the scenario of asymptotic safety of quantum gravity by [81], whereas it was found that the four-fermion interaction distinguishes the Einstein-Cartan theory from its Riemannian limit. However, modifications of EC theory are intricate. In a recent paper [82], we construct the two-step spacetime deformation (TSSD) theory which generalizes and, in particular cases, fully recovers the results of the conventional theory of spacetime deformation [6266]. Conceptually and techniquewise the TSSD theory is versatile and powerful and manifests its practical and technical virtue in the fact that through a nontrivial choice of explicit form of a world-deformation tensor, which we have at our disposal, in general, we have a way to deform the spacetime displaying different connections, which may reveal different post-Riemannian spacetime structures as corollary: (1) the Weitzenböck spacetime structure—() underlying a teleparallelism theory of gravity, see, for example, [23, 24, 38, 8393]; (2) the RC manifold—() underlying EC theory, for a comprehensive references, see, for example, [3437, 51, 52, 94]; (3) or even the most general linear connection of metric-affine gravity (MAG) taking values in the Lie algebra of the 4D-affine group, ; see, for example, [1518, 4250, 5557]. This represents the semidirect product of the group of 4D-translations and general linear 4D-transformations. Continuing along this line, in the present paper, we address the essential features of the gauge model of the most general MAG theory in context of TSSD-construction of post-Riemannian geometry, whereas to complete the TSSD theory, we build up the distortion-complex (DC) and show how it restores the world-deformation tensor, which still has been put in [82] by hand. A formulation of the major physical aspects of the modified gauge MAG theory will be given in the framework of the first order Lagrangian expressed in terms of the gauge potentials and their first derivatives. All the fundamental gravitational structures in fact, the metric as much as the coframes and connections, acquire a DC induced theoretical interpretation. There is another line of reasoning which supports the side of this model. We address the key problem of a dynamical torsion and show that the equations of the standard MAG theory can be equivalently replaced by the set of modified MAG equations in which the torsion, in general, is turned out to be dynamical. We define the physical conditions for the spacetime deformations when the spin-spin interaction becomes short-range propagating. As an application we have to test the general TSSD-MAG framework in some limit, namely, we have to put on Lagrange multipliers to recover the TSSD versions of different (sub)cases of Poincaré gauge theory (PG), Einstein-Cartan theory, teleparallel gravity (), and general relativity (GR). This allows amplifying and substantiating the assertions made in [82]. Moreover, imposing different physical constraints upon the spacetime deformations, in this modified framework we may reproduce the term in the well known Lagrangian of pseudoscalar-photon interaction theory, or terms in the Lagrangians of pseudoscalar theories [95100]. This paper is organized as follows. To start with, in Section 2 we complete the spacetime deformation theory [82] by introducing DC complex and showing how it restores the world-deformation tensor. We also briefly revisit the theory of TSSD to make the rest of the paper understandable. An outline of the key points of TSSD theory of relevance to gauge MAG theory is stated in Section 3. The concluding remarks are presented in Section 4. The appendices discuss some relevant topics on the TSSD theory and algebraic operations in use.

2. Spacetime Deformations and Beyond: Model Building

Let us consider a smooth deformation map , written in terms of the world-deformation tensor , general, , and flat, , smooth differential 4D-manifolds. The tensor, , can be written in the form , where the distortion-complex (DC) includes the invertible distortion matrix and the tensor and ). Here we use Greek alphabet () to denote the holonomic world indices related to and the second half of Latin alphabet () to stand for the world indices related to . The principle foundation of a world-deformation tensor comprises the following two steps [101]: (1) the basis vectors at given point () undergo distortion transformations by means of the matrix ; and (2) the diffeomorphism is constructed by seeking a new holonomic coordinates as the solutions of the first-order partial differential equations. Namely, where the conditions of integrability, , and nondegeneracy, , necessarily hold [102, 103]. For reasons that will become clear in the sequel, we write the norm of infinitesimal displacement on in terms of the spacetime structures of : The holonomic metric on the space can be recast in the form , with the components in dual holonomic basis . In order to relate local Lorentz symmetry to more general deformed spacetime, there is, however, a need to introduce the soldering tools, which are the linear frames and forms in tangent fiber bundles to the external general smooth differential manifold, whose components are the so-called tetrad (vierbein) fields. The has at each point a tangent space, , spanned by the anholonomic orthonormal frame field, , as a shorthand for the collection of the 4-tuplet , where . We use the first half of Latin alphabet () to denote the anholonomic indices related to the tangent space. The frame field, , then defines a dual vector, , of differential forms, , as a shorthand for the collection of the , whose values at every point form the dual basis, such that , where denotes the interior product; namely, this is a -bilinear map with denoting the -modulo of differential -forms on . In components . On the manifold, , the tautological tensor field, , of type is defined which assigns to each tangent space the identity linear transformation. Thus for any point and any vector , one has . In terms of the frame field, the give the expression for as , in sense that both sides yield when applied to any tangent vector in the domain of definition of the frame field. One can also consider general transformations of the linear group, , taking any basis into any other set of four linearly independent fields. The notation, , will be used below for general linear frames. Let us introduce the so-called first deformation matrices, and , as follows: where and is the metric on . With this provision, we build up a world-deformation tensor, , which yields local tetrad deformations and . The first deformation matrices , in general, are the elements of the quotient group . Here is the manifold of left cosets of the group over its subgroup . If we deform the cotetrad according to (4), we have two choices to recast metric as follows: either writing the deformation of the metric in the space of tetrads or deforming the tetrad field: where , following [82], is called second deformation matrix and reads . The deformed metric splits as where , and The anholonomic orthonormal frame field, , relates to the tangent space metric, , by , which has the converse because . The can be decomposed in terms of symmetric, , and antisymmetric, , parts of the matrix (or, respectively, in terms of and , where ) as where provided is the traceless symmetric part and is the skew symmetric part of the first deformation matrix. The anholonomy objects defined on the tangent space, , read where the anholonomy coefficients, , which represent the curls of the base members, are In particular case of constant metric in the tetradic space, the deformed connection can be written as The deformation comprises the following two 4D deformations and , where is the semi-Riemannian space and and are the corresponding world-deformation tensors. All magnitudes related to the space, , will be denoted with an over “”. According to (1), now we have and , provided In analogy with (3), the following relations hold: where , . So, , and The norm of the infinitesimal displacement on the can be written in terms of the spacetime structures of as The holonomic metric can be recast in the form The anholonomy objects defined on the tangent space, , read where the anholonomy coefficients, , which represent the curls of the base members, are The connection form in terms of the frame field is then determined by and the curvature by where the (anholonomic) Levi-Civita (or Christoffel) connection can be written as and is understood as the downindexed 1-form . In the usual Riemannian language involving the holonomic metric   (17) defined from the tetrads, the anholonomic Christoffel connection (22) transforms into where is the ordinary holonomic Levi-Civita connection. The corresponding curvature reduces to provided is the ordinary Riemann tensor: and hence, the Ricci tensor takes the form The norm   (2) can then be written in terms of the spacetime structures of and : provided Under a local tetrad deformation (28), a general spin connection transforms according to We have then two choices to recast metric as follows: In the first case, the contribution of the Christoffel symbols constructed by the metric reads As before, the second deformation matrix, , can be decomposed in terms of symmetric, , and antisymmetric, , parts of the matrix . So, where , is the traceless symmetric part, and is the skew symmetric part of the first deformation matrix. In analogy with (6), the deformed metric can then be split as where The inverse deformed metric reads where . Hence, the usual Levi-Civita connection is related to the original connection by the relation provided where is the covariant derivative. The contravariant deformed metric is defined as the inverse of . Hence, the connection deformation acts like a force that deviates the test particles from the geodesic motion in the space, . A metric-affine space is defined to have a metric and a linear connection that need not be dependent on each other. In general, the lifting of the constraints of metric compatibility and symmetry yields the new geometrical property of the spacetime, which are the nonmetricity 1-form and the affine torsion 2-form representing a translational misfit (for a comprehensive discussion see [3537, 94]). These, together with the curvature 2-form , symbolically can be presented as [8, 9] where is the covariant exterior derivative. If the nonmetricity tensor does not vanish, the general formula for the affine connection written in the spacetime components is where is the Riemann part and is the non-Riemann part—the affine contortion tensor. The torsion, given with respect to a holonomic frame, , is a third-rank tensor, antisymmetric in the first two indices, with 24 independent components. In the presence of curvature and torsion, the coupling prescription of a general field carrying an arbitrary representation of the Lorentz group will be with denoting the corresponding Lorentz generator. The Riemann-Cartan manifold, , is a particular case of the general metric-affine manifold , restricted by the metricity condition , when a nonsymmetric linear connection is said to be metric compatible. The Lorentz and diffeomorphism invariant scalar curvature, , becomes either a function of only or :

2.1. Determination of and

Let be the 1-forms of corresponding connections assuming values in the Lorentz Lie algebra. The action for gravitational field can be written in the form where the integral, is the usual Einstein action, with the coupling constant relating to the Newton gravitational constant , is the phenomenological action of the spin-torsion interaction, and denotes the Hodge dual (Appendix B). The variation of the connection 1-form yields where here we used the abbreviated notations for the wedge product monomials, , defined on the space and The variation of the action describing the macroscopic matter sources with respect to the coframe and connection 1-form reads where is the dual 3-form relating to the canonical energy-momentum tensor, , by And is the dual 3-form corresponding to the canonical spin tensor, which is identical with the dynamical spin tensor , namely, The variation of the total action, , with respect to the , , and , gives the field equations as follows: The DC-members and can then be determined as follows: However, it should be emphasized that the standard Riemannian (and its extensions) space interacting quantum field theory cannot be a satisfactory ground for addressing the most important processes of rearrangement of vacuum state and gauge symmetry breaking in gravity at huge energies. The difficulties here arise because the Riemannian geometry, in general, does not admit a group of isometries and it is impossible to define energy-momentum as Noether local currents related to exact symmetries. This, in turn, posed severe problem of nonuniqueness of the physical vacuum and the associated Fock space. A definition of positive frequency modes cannot, in general, be unambiguously fixed in the past and future, which leads to , because the state is unstable against decay into many particle states due to interaction processes allowed by lack of Poincaré invariance. A nontrivial Bogolubov transformation between past and future positive frequency modes implies that particles are created from the vacuum and this is one of the reasons for . So, it is another line of reasoning which supports the side suggested in this section approach. Namely, the actual advantage of our approach compared to the more conservative direct constructions, using the vierbeins, metric, and various connections, is that it allows various generalizations and alternatives of the standard gravity. In this framework, in particular, we develop an alternative distortion gauge induced fiber-bundle formulation of gravitation—General Gauge Principle (GGP) [101]. In this, we restrict ourself to consider only the simplest spacetime deformation map, (). Whereas given the principal fiber bundle with the structure group , the local coordinates are , where and , the total bundle space is a smooth manifold and the surjection is a smooth map . The collection of matter fields of arbitrary spins takes values in standard fiber over where is a set of open coverings of . The action of the structure group on defines an isomorphism of the Lie algebra of onto the Lie algebra of vertical vector fields on tangent to the fiber at each called fundamental. Note that an invariance of the Lagrangian under spacetime diffeomorphisms in implies an invariance of under the group and vice versa if, and only if, the generalized local gauge transformations of the fields and their covariant derivative are introduced by finite local gauge transformations: Here denotes the covariant derivative agreed with the metric . For example, for the spinor field , where are the Dirac matrices, , , and . To involve a drastic revision of the role of gauge fields in the physical concept of the spacetime deformation/distortion, we generalize the standard gauge scheme by exploring a new special type of distortion gauge field, , which is assumed to act on the external spacetime groups. That is, we also consider the principle fiber bundle, , with the base space , the structure group , and the surjection . The matter fields take values in the standard fiber which is the Hilbert vector space where a linear representation of group is given. This space can be regarded as the Lie algebra of the group upon which the Lie algebra acts according to the law of the adjoint representation: . The GGP framework accounts for the gravitation gauge group generated by the hidden local internal symmetry . We pursue a principle goal to build up the world-deformation tensor, , where is the differential form of gauge field . We connect the structure group , further, to the nonlinear realization of the Lie group of distortion of the . The nonlinear realization technique or the method of phenomenological Lagrangians [104110] provides a way to determine the transformation properties of fields defined on the quotient space. In accord, we treat the distortion group and its stationary subgroup , respectively, as the dynamical group and its algebraic subgroup. The fundamental field is distortion gauge field (a) and, thus, all the fundamental gravitational structures in fact, the metric as much as the coframes and connections, acquire a distortion-gauge induced theoretical interpretation. We derive the Maurer-Cartan structure equations, where the distortion fields (a) are treated as the Goldstone fields. This framework explores the most important processes of rearrangement of vacuum state and a spontaneous breaking of gravitation gauge symmetry at huge energies.

2.2. TSSD: Revisited

For the benefit of the reader, a brief outline of the key ideas behind the TSSD [82], as a guiding principle, is given in this section to make the rest of the paper understandable. Before we report on the physical foundation of post-Riemannian geometry, we may remark on the form of generic spacetime deformation, . When torsion is nonvanishing, the affine connection is no longer coincident with the Levi-Civita connection, and the geometry is no longer Riemannian, but one has a RC spacetime, , with a nonsymmetric, but metric-compatible, connection. Teleparallel gravity, in turn, represented a new way of including torsion into general relativity, an alternative to the scheme provided by the usual Einstein-Cartan-Sciama-Kibble approach. However, the gravitational coupling of the fundamental fields in teleparallel gravity is a very controversial subject [15, 111114]. The basic difficulty lies in the definition of the spin connection and consequently in the correct form of the gravitational coupling prescription. For a specific choice of the free parameters, teleparallel gravity becomes completely equivalent to GR. In this case it is usually referred to as the teleparallel equivalent of GR. From this point of view, curvature and torsion are simply alternative ways of describing the gravitational field and are consequently related to the same degrees of freedom of gravity. Teleparallel gravity attributes gravitation to torsion, but in this case torsion accounts for gravitation not by geometrizing the interaction, but by acting as a force. The fundamental difference between these two theories above was that, whereas in the former a torsion is a propagating field having as a source—the energy-momentum tensor, in the latter a torsion is not a propagating field having as a source—the total spin, a point which can be considered a drawback of this model. In fact, the two physical interpretations of torsion described above are clearly conflictive. This problem can be solved just only by experiment. Therefore, we have to separate, from the very outset, these two completely different cases. This reasoning supports our choice of a double deformation map. Namely, following [82], we assume that the spacetime deformation comprises the two ingredient deformations . Hence, local tetrad deformations   (13) are performed according to the following heuristic map, in two steps (two-step deformation map):

Thereby the first deformation proper matrix, (), satisfies the following peculiar condition: where is a valued Lorentz (i.e., traceless with respect to its indices and ) spin connection defined on the semi-Riemannian space. Under a local spacetime deformation , the tetrad changes according to A particular solution to (53) is then (see Appendix A) However, a general solution can be obtained by replacing in expression (55), where is any proper matrix with determinant 1 (). The solution (55) resembles the exponential of a bivector. The bivectors are isomorphic to skew-symmetric matrices which generate orthogonal matrices with determinant 1 through the exponential map. Therefore, bivectors are used to generate rotations in any dimension through the exponential map and are a useful tool for classifying such rotations. Recall that, in the case of spacetime rotations, the geometric algebra is , and the subspace of bivectors is . Accordingly, the exponential map (55) generates set of all arbitrary rotations (54) of the orthonormal frame in tangent space, which form the Lorentz group. On the other hand, the universality of gravitation allows the Levi-Civita connection to be interpreted as part of the spacetime definition. The form of the Riemannian connection (22), which is a function of tetrad fields and their derivatives, shows that the relative orientation of the orthonormal frame with respect to (parallel transported to ) is completely fixed by the metric. Since a change in this orientation is described by Lorentz transformations, it does not induce any gravitational effects; therefore, from the point of view of the principle of equivalence, there is no reason to prevent independent (due to arbitrary deformations (54)) Lorentz rotations of local frames in the space under consideration. If we want to use this freedom, the spin connection should contain a part which is independent of the metric, which will realize an independent Lorentz rotation of frames under parallel transport. In this way, we are led to a description of gravity which is not in semi-Riemannian space. If all inertial frames at a given point are treated on an equal footing, the spacetime has to have torsion, which is the antisymmetric part of the affine connection. By virtue of (53) or (55), a general deformed spin connection vanishes: In fact, a general linear connection, , is related to the corresponding spin connection, , through the inverse which is the the Weitzenböck connection revealing the Weitzenböck spacetime of the teleparallel gravity. Thus, can be referred to as the Weitzenböck deformation matrix. The Weitzenböck connection is a connection presenting a nonvanishing torsion, but a vanishing curvature. This recovers a particular case of the teleparallel gravity theory with the dynamical torsion. All magnitudes related to the teleparallel gravity will be denoted with an over “”. Equations (56) and (57) are simply different ways of expressing the property that the total—that is, acting on both indices—derivative of the tetrad vanishes identically. According to the TSSD-map, the next first deformation matrices contribute to corresponding ingredient parts according to (A.5)–(A.8). In particular, the tetrad changes according to and a general spin connection transforms according to

So, is referred to as a valued deformation-related frame connection, which represents the deformed properties of the frame only. Then, it follows that the affine connection, , related to (28) and (58) tetrad deformations, transforms through where, according to (A.7), we have , also the procedure can be inverted , and is a more general valued spin connection. For our convenience, hereafter the notation, , will be used for general linear frames where , or in components, , and also the procedure can be inverted , provided The affine connection (61) can then be rewritten in the abbreviated form Since the first deformation matrices and are arbitrary functions, the transformed general spin connections and , as well as the affine connection (65), are independent of tetrad fields and their derivatives. In what follows, therefore, we will separate the notions of space and connections, the metric-affine formulation of gravity. A metric-affine space is defined to have a metric and a linear connection that need not be dependent on each other. The lifting of the constraints of metric-compatibility and symmetry yields the new geometrical property of the spacetime, which are the nonmetricity 1-form and the affine torsion 2-form representing a translational misfit (for a comprehensive discussion see [3537, 94]). These, together with the curvature 2-form , symbolically can be presented as [8, 9] where is the covariant exterior derivative. It is well known that, due to the affine character of the connection space [115], one can always add a tensor to a given connection without spoiling the covariance of derivative (A.17). Let us define then a translation in the connection space. Suppose a point in this space will be a Lorentz connection, , presenting simultaneously curvature and torsion written in the language of differential forms as where denotes the covariant differential in the connection . Now, given two connections and , the difference is also a 1-form assuming values in the Lorentz Lie algebra, but transforming covariantly, whereas its covariant derivative is . The effect of adding a covector to a given connection , therefore, is to change its curvature and torsion 2-forms: Since is a Lorentz-valued covector, it is necessarily antisymmetric in the first two indices. Presenting , we may define , such that Turning to the connection appearing in the covariant derivative (A.17): , a translation in the connection space with parameter corresponds to Since has always the form of a contortion tensor (69), the above connection is equivalent to , with being another contortion tensor: . There are actually infinitely many choices for , each one defining a different translation in the connection space and consequently yielding a connection with different curvature and torsion.

3. Outline of the Key Points of TSSD Gauge MAG Theory

At low energies the spacetime group associated with the matter fields is the Poincaré group. An extension of the Poincaré gauge theory of gravity constructed in the RC geometry, to the most general spacetime symmetry gauge theory, the MAG theory, has been developed by Hehl and collaborators [17, 18]. The MAG theory has the most general type of covariant derivative: in addition to curvature and torsion, the MAG also has nonmetricity, that is, a nonmetric compatible connection. Hence parallel transport no longer preserves length and angle. Note that there are only indications (but no conclusive evidence) for assuming invariance of physical systems under the action of the entire affine group and that in MAG one is far from actually calculating -matrix elements. Although the theoretical structure of this theory has been developed, we do not yet have much understanding of what new physics are allowed by the MAG theory. One source of improved understanding is exact solutions; see, for example, [116118] and references therein. But due to the highly nonlinear nature of theory, exact solutions are not easily found unless they have a great deal of symmetry. However, to carry in full generality through the extension of TSSD-ideas as applied to more general metric-affine gravity, it reasonable as a next step to gauge immediately the parameter affine group , which lacks a metric structure altogether, and to introduce the metric subsequently. General affine invariance adds dilation and shear invariance as physical symmetries to Poincaré invariance, and both of these symmetries are of physical importance. Dilation invariance is a crucial component of particle physics in the high energy regime. Shear invariance was shown to yield representations of hadronic matter; the corresponding shear current can be related to hadronic quadrupole excitations. From this in the framework of the gauge theory of the affine group with a metric supplemented, as a physically meaningful field theory, it is speculated that the invariance under affine transformations played an essential part at an early stage of the universe, such that todays Poincaré invariance might be a remnant of affine invariance after some symmetry breaking mechanism. Thus MAG encompasses the PG as a subcase. The rather comprehensive gauging of the affine group was done in [17, 18], where a rigorous mathematical justification of the relevant spacetime structures and equations with more details is to be found. But a brief outline of the key points of relevance to the context of TSSD can be stated here, in which some conventions and results will be borrowed from the presentation given in [17, 18, 42]. To this aim, one enlarges at any point of the base manifold a tangent space to an affine tangent space by allowing freely translating elements of to different points . The collection of all affine tangent spaces forms the affine bundle . An affine frame of at is a pair (whereas before ) consisting of a linear frame and a point . The origin of is that point for which the affine frame reduces to the linear frame . The transformation behavior of an affine frame under an affine transformation with and reads The affine group acts transitively on the affine tangent spaces : any two affine frames of some can be related by a unique affine transformation. Consequently, the notion of an affine frame should be enlarged to include all -representations needed. The gauging is accomplished by the introduction of the generalized affine connection as a prescription , which maps infinitesimally neighbouring affine tangent spaces , , where , by an -transformation onto each other. The generalized affine connection consists of a -valued 1-form and an -valued one-form , both of which generate the required -transformation. The two affine tangent spaces get now related by an affine transformation according to the prescription Introducing origins in , that is, by soldering to , one losts translational invariance in but gained a local one-to-one correspondence between translations in and diffeomorphisms on . However, one can introduce translational invariance by demanding diffeomorphism invariance instead and continue to work with this modified notion of translation invariance. The diffeomorphisms themself, as horizontal transformations in their active interpretation, cannot be gauged according to the usual gauge principle and thus do not furnish their own gauge potential. In the Lagrangian formulation of a general metric-affine theory it was assumed that the matter fields are described in terms of manifields. Actually, the matter fields are supposed to be represented by vector- or spinor-valued -forms. However, in MAG one goes beyond Poincaré invariance, assuming that matter fields might undergo not only Poincaré transformations but also the more general linear transformations. In this case, the unavailability of local Lorentz frames poses no problem in the context of boson fields. They are naturally constructed so as to be capable of carrying the action of , instead of the Lorentz group, whether in a local frame or holonomically. However, this is not true of the conventional fermion fields one uses to represent matter, and a linear action should nevertheless be realized, through the use of infinite-component linear field representations of the double covering of the linear, affine, and diffeomorphism groups. More general spinor representations than the Poincaré-representations have to be constructed. Such representations of the matter fields corresponding to the affine group must exist. Otherwise it does not make sense to demand -invariance of a nonvacuum field theory. The construction of the spinor representations of fermionic matter fields in MAG, the so-called manifields, is illustrated in [17, 18]. These representations turn out to be infinite dimensional, due to the noncompactness of the gauge (sub)group . Fermions are then assigned to spinor manifields. The restriction of to reduces the manifield representations to the familiar spinor representations. The actual gauging of the affine group introduced, in addition to the matter fields , the gravitational gauge potentials and . Following the common practice, we will use as gauge potential the translation invariant in place of the translational part of the affine connection, simply because it has the immediate interpretation as a reference (co)frame. Expanded in a holonomic frame, the components of and differ just by a Kronecker symbol, as is clear from the definition of . Also the homogeneous transformation behavior of will turn out to be quite convenient. For the action of the -gauge potential, below the shorthand notation is used instead of . The introduction of a metric into MAG is mandatory since we are interested in a realistic macroscopic gravity theory that contains GR in some limit. So, it was assumed as a metric of the general form with coefficients which are independent of the coframe . The gauge potentials become true dynamical variables if one has to add to the minimally coupled matter Lagrangian a gauge Lagrangian . Here, we restrict ourself considering only first order Lagrangian , which must be expressed in terms of the gauge potentials and their first derivatives. The total action reads then If , as a -form, represents a matter field (fundamentally a representation of the or of some of its subgroups), its first order Lagrangian will be embedded in metric-affine spacetime by the minimal coupling procedure, that is, exterior covariant derivatives feature in the kinetic terms of the Lagrangian instead of only exterior ones. Just as ordinary stress is the analogue of the (Hilbert) energy-momentum density, in MAG, one has, in addition, the spin current and the dilation plus shear currents inducing the torsion and nonmetricity fields, respectively. Both spin and dilation plus shear are components of the hypermomentum current, symmetric for dilation plus shear and antisymmetric for spin: . And these currents ought to couple to the corresponding post-Riemannian structures. In accord, the material currents are defined as follows: where is the metric (and symmetric) energy-momentum current of matter (Hilbert current), whereas one believes that should be the dual 3-form relating to the canonical energy-momentum tensor, , by where we used the abbreviated notations for the wedge product monomials, , and denotes the Hodge dual (Appendix B). The canonical energy-momentum density is identical with the dynamical tetrad energy-momentum density , where , and the canonical tensor is generally not symmetric. The relation between the tetrad dynamical energy-momentum tensor and the metric dynamical energy-momentum tensor for matter fields is . The canonical hypermomentum current , which couples to the linear connection, can be decomposed according to with as (dynamical) spin current, , as dilation current, and as symmetric and tracefree shear current, which is a bit more remote from direct observation than the other currents. From variation of a total action (73), we find the matter and the gauge field equations as follows: where we take into account that the variation of with respect to the affine connection in MAG is equivalent to the variation with respect to the torsion (or contortion) or spin connection: (). Note that, using the Noether identities, the zeroth field equation can be shown to be redundant, provided the matter equations hold. In first, the canonical energy-momentum of the translational gauge potential can be written in standard form Thus, the equations of the standard MAG theory written in the framework of the first order Lagrangian, which is expressed in terms of the gauge potentials and their first derivatives, can be recovered for : Consequently, the (2nd) equation defines a nondynamical torsion, such that torsion at a given point in spacetime does not vanish only if there is matter at this point, represented in the Lagrangian density by a function which depends on torsion. Unlike the metric, which is related to matter through a differential field equation, torsion does not propagate. However, equations (79) can be equivalently replaced by the set of modified MAG equations for : where in which the torsion is dynamical if only . Actually, in testing the general MAG equations (77), we desire, in some limit, to recover the field equation for different (sub)cases; then we have to put on Lagrange multipliers, whereas, in the case of TSSD-PG, one has to kill nonmetricity; TSSD-EC is the TSSD-PG with the curvature scalar as gravitational Lagrangian; in the case of TSSD-teleparallel gravity () in a Weitzenböck spacetime, one has to remove nonmetricity and curvature; and, finally, in the case of GR in a Riemannian space, curvature scalar as Lagrangian, one has to remove nonmetricity and torsion. To recover, for example, GR, let us in (68) choose as the torsion of the connection ; that is, . In this case, , and we are left with the torsionless, a valued Lorentz spin connection of general relativity: . Then, one can choose for the missing piece of the gauge field Lagrangian the corresponding 4-form of the curvature scalar [8, 9] and take Lagrange multipliers for extinguishing nonmetricity and torsion: where æ is the coupling constant relating to the Newton gravitational constant , is the curvature tensor of the independent field variable , and is the eta basis consisting in the Hodge dual of exterior products of tetrads by means of the Levi-Civita object (Appendix B).

The RC manifold, , is a particular case of general metric-affine manifold , restricted by the metricity condition, when a nonsymmetric linear connection is said to be metric compatible. Taking the antisymmetrized derivative of the metric condition gives an identity between the curvature of the spin connection and the curvature of the Christoffel connection where we take into account (65), so Hence, the relations between the scalar curvatures for the manifold read This means that the Lorentz and diffeomorphism invariant scalar curvature, , becomes either a function of only or a function of only. Certainly, it can be seen by noting that the Lorentz gauge transformations can be used to fix the six antisymmetric components of to vanish. Then in both cases diffeomorphism invariance fixes four more components out of the six , with the four components being nondynamical, obviously, leaving only two dynamical degrees of freedom. This shows the equivalence of the vierbein and metric formulations holds. To recover the TSSD- theory, one can choose for the missing piece the EC Lagrangian (here without cosmological constant): provided is equal to . The variation of the total action (73), given by the sum of the gravitational field action with the Lagrangian (86) and the macroscopic matter sources , with respect to the , 1-form and , gives where . The metricity condition yields , and hence . Consequently, the field equations (87) become where is the dual 3-form corresponding to the canonical spin tensor, which is identical with the dynamical spin tensor ; namely, provided and that According to (85), the relations between the Ricci scalars read To obtain some feeling for the tensor language then we may recast the first equation in (88) into the form Making use of the relation, gives We may evaluate the second equation in (88) as Taking into account the relation we then obtain It is remarkable that the torsion (98), in a natural way, can be made a short-range propagating torsion. Actually, from the above equations, we see that it is the spin and spacetime deformations and that define the torsion : which through the field equation, in turn, defines Einstein’s field tensor . A generic spacetime deformation, , consists of two ingredient deformations of the orthonormal frame. While the deformation matrix implies a peculiar condition (53), the choice of the is not fixed yet. This allows us to impose a physical constraint upon the spacetime deformation : where is a generalization of the d’Alembertian operator for covariant derivatives defined on the RC manifold, . Then, the modified EC equations (95) and (98) reduce to which describe the short-range propagating torsion and spin-spin interaction. At large distances (Compton length), torsion vanishes . Note that the short-range propagating torsion is of fundamental importance from a view point of microphysics.

We may impose some other physical constraints upon the spacetime deformation , which will be useful for the theory of electromagnetism and charged particles: with as a scalar or pseudoscalar function of relevant variables. Then which recovers the term in the Lagrangian of pseudoscalar-photon interaction theory [95100], such that the nonmetric part of the Lagrangian can be put in the well known form of the framework: where have the usual meaning for electromagnetism. This is equivalent, up to integration by parts in the action integral (modulo a divergence), to the Lagrangian According to (105), the gravitational constitutive tensor [119] of the gravitational fields (e.g., metric , (pseudo) scalar field , etc.) reads Specifying the physical meaning of the constrains (99), (101), and (102), will be an interesting topic for another investigation elsewhere. Here we finally concentrate on the other (sub)case when and the connection vanishes, which characterizes teleparallel gravity. In this case, the resulting connection has the form where is the contortion tensor written in terms of the Weitzenböck torsion . The particle equation of motion then becomes the force equation of teleparallel gravity. Hence, the Weitzenböck covariant derivative of the tetrad field vanishes identically: . This is the so-called distant, or absolute parallelism condition. As a consequence of this condition, the corresponding Weitzenböck spin connection also vanishes identically: . Of course, these relations above are true only in one specific class of frames. In fact, since is the Weitzenböck spin connection, if it vanishes in a given frame, it will be different from zero in any other frame related to the first by a local Lorentz transformation. The teleparallel gravity becomes consistent and fully equivalent with GR, even in the presence of spinor fields if we write the minimal coupling prescription as with the teleparallel Fock-Ivanenko derivative written in the form , where the teleparallel spin connection, , reads . Field equations can be derived from the least action, , with the Lagrangian of teleparallel gravity, where we take Lagrange multipliers for extinguishing nonmetricity and curvature. This holds when the deformation vanishes identically (): where the three irreducible pieces of the torsion under -decomposition are The projective transformation with arbitrary 1-form field , leaves the Hilbert-Einstein type Lagrangian invariant, which leads to the connection determined up to a 1-form. Projectively related connections have the same (unparametrized) geodesics. So, only projectively invariant matter Lagrangians would be allowed. This necessitates abandoning this constraint, at the very least replacing semi-Riemannian geometry by Weyl’s. Namely, to remove this constraint from the gravitational Lagrangians (82) and (86), following [120, 121], we may lift the Lagrange multiplier and add a dilaton type massless scalar field to in the context of the Weyl 1-form , which is of the type of a gauge potential for dilations anyways: respectively, provided the trace of a connection is closely related to the Weyl 1-form [17, 18], as In case if matter is present and supplies energy-momentum and hypermomentum currents, then the hypermomentum, via the second field equation (77), turns out to be proportional to the post-Riemannian pieces of the connection.

In case of translational gauge with the most general term , quadratic in the field equation then becomes where is linear in , and the energy-momentum current of the gauge field. This can be considered as a starting point for turning to the Lagrangians with the quadratic ansatz for the kinetic term, that is, quadratic in the field strengths. Note that recently the authors of [122] show that the inverse of the so-called Barbero-Immirzi parameter multiplying the pseudoscalar curvature, because of the topological Nieh-Yan form, can only be appropriately discussed if torsion square pieces are included. Using more conservative direct constructions, they establish the exact relations between both approaches by applying the topological Euler and Pontryagin forms in a Riemann-Cartan space expressed for the first time in terms of irreducible pieces of the curvature tensor. Only in a Riemann-Cartan spacetime, that is, in a spacetime with torsion, parity violating terms can be brought into the gravitational Lagrangian in a straightforward and natural way. They conclude that Riemann-Cartan spacetime is a natural habitat for chiral fermionic matter fields. However, the standard EC theory is invariant under the spacetime diffeomorphisms and local transformations acting in the tangent space. In our approach we suggest extending the to local group. This group is surely not the invariance of the action of standard theory, and so it takes the latter into diverse other ones, still invariant under spacetime diffeomorphisms.

4. Concluding Remarks

The actual advantage of present approach is twofold. To complete the TSSD theory [82], at first, we build up the distortion-complex and show how it restores the world-deformation tensor, which still has been put in it by hand. In this approach we suggest to extend the group of standard EC theory to local group. The latter is surely not the invariance of the action of standard EC theory, and so it takes the latter into diverse other ones still invariant under spacetime diffeomorphisms. All the fundamental gravitational structures in fact, the metric as much as the coframes and connections, acquire a DC induced theoretical interpretation. Through a nontrivial choice of explicit form of a DC which we have at our disposal, we have a way to construct various generalizations and alternatives of the standard gravity. Secondly, we extend the geometrical ideas of the TSSD theory to study, in the framework of the first order Lagrangian, the physical foundation of the gauge model of more general metric-affine gravity theory with a dynamical torsion. It is remarkable that, in the framework of the first order standard Lagrangian, the equations of the standard MAG theory, in which the equation defining torsion is the algebraic type and in fact no propagation of torsion is allowed, can be equivalently replaced by the modified equations in which the torsion, in general, is dynamical. In testing the too general MAG equations (77) in some limit, we have to put on Lagrange multipliers to recover the field equation for different (sub)cases: in the case of TSSD-PG, one has to kill nonmetricity; TSSD-EC is the TSSD-PG with the curvature scalar as gravitational Lagrangian, whereas the special physical ansatz for the spacetime deformations yields the short-range propagating spin-spin interaction.

Appendices

A. TSSD: More Details

For a local spacetime deformation we have Since we are interested only in a peculiar condition (53) to be held, then it is completely satisfactory for further consideration to write the first deformation matrix, in the form of a particular solution to (53). To derive the particular solution to (53), we recall that, for an arbitrary matrix , where denotes the determinant and the trace. According to it, in matrix notation , (53) becomes which gives A particular solution to (53) is then (55). The first deformation matrices contribute to corresponding ingredient part, , of the general deformation tensor, or The tetrad changes according to The corresponding second deformation matrices read where .

If the nonmetricity tensor does not vanish, the general formula for the affine connection written in the spacetime components is [94] Here is the non-Riemann part—the affine contortion tensor, where the torsion, given with respect to a holonomic frame, , is a third-rank tensor, antisymmetric in the first two indices, with 24 independent components. We may introduce the contortion tensors related to the deformation-related frame connection (60) and the spin connection (62): where is referred to as the the Ricci coefficients of rotation. Both the contortion tensor and spin connection are antisymmetric in their first two indices. The Levi-Civita spin connection is related to the Ricci rotation coefficients, with ; thus, The relations between the corresponding torsion and contortion tensors read where So, the affine connection (65) reads where . In the presence of curvature and torsion, the coupling prescription of a general field carrying an arbitrary representation of the Lorentz group will be

B. Some Algebraic Operations

Since the 4D-dimensional teleparallel manifold is diffeomorphic to , one can choose an orientation on and restrict the frames to agree with that orientation so that only transformations with values in are allowed. The metric then defines the Hodge dual of differential forms. The following algebraic operations are defined.

The Hodge dual map . This is a -linear map , which acts on the wedge product monomials of the basis 1-forms as where are understood as the downindexed 1-forms and is the total antisymmetric pseudotensor. A further relation involving Hodge duality reads , while for differential forms of the same degree , equation holds.

The eta basis is consisting in the Hodge dual of exterior products of tetrads by means of the Levi-Civita object: , which yields such that

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The author would like to thank W.-T. Ni for drawing attention to the pseudoscalar-photon interaction theory. This paper was only made possible through substantial support of the anonymous referees whose helpful and knowledgable comments and suggestions are much appreciated.