_{1}

^{*}

Viewing gravitational energy-momentum as equal by observation, but different in essence from inertial energymomentum naturally leads to the gauge theory of volume-preserving diffeomorphisms of an inner Minkowski space which can describe gravitation at the classical level. This theory is quantized in the path integral formalism starting with a non-covariant Hamiltonian formulation with unconstrained canonical field variables and a manifestly positive Hamiltonian. The relevant path integral measure and weight are then brought into a Lorentz- and gauge-covariant form allowing to express correlation functions—applying the De Witt-Faddeev-Popov approach—in any meaningful gauge. Next the Feynman rules are developed and the quantum effective action at one loop in a background field approach is renormalized which results in an asymptotically free theory without presence of other fields and in a theory without asymptotic freedom including the Standard Model (SM) fields. Finally the BRST apparatus is developed as preparation for the renormalizability proof to all orders and a sketch of this proof is given.

In [

As both are conserved this view has led us to look for two different symmetries which through Noether’s theorem generate two different conserved four vectors—one symmetry obviously being space-time translation invariance yielding the conserved inertial energy-momentum vector. To generate an additional conserved four-vector the field concept has proven to be crucial as only fields can carry the necessary inner degrees of freedom to allow for representations of additional inner symmetry groups—in our case an inner translation group yielding the conserved gravitational energy-momentum vector.

Gauging this inner translation group has then naturally led to the gauge field theory of volume-preserving diffeomorphisms of, at the classical level, thereby generalizing the Yang-Mills approach for compact Lie groups acting on a finite number of inner field degrees of freedom (also see [2,3] for the mathematical framework). The resulting theory is a consistent classical gauge theory and its gauge fields can be coupled in a universal way to any other field.

In [

For the theory’s viability there remains the problem of a consistent quantization. Not only will we have to deal with the usual short distance divergencies of space-time integrals in a perturbation expansion [5,6], but due to the non-compactness of the gauge group we will face additional divergent integrals over inner space which have to be regularized in a way respecting the relevant symmetries (inner Lorentz and scale invariance)—generalizing thereby the finite sums over structure constants appearing in the perturbation series for the Yang-Mills case to the present one.

The solution is related to noting that the classical gauge theory of volume-preserving diffeomorphisms of M^{4} has a linearly realized inner scale invariance which necessarily has to be a symmetry of the quantum effective action as well [

Technically we will quantize in the path integral formalism starting with a Hamiltonian formulation of the theory with unconstrained, though neither Lorentznor gauge-covariantly looking canonical field variables and a manifestly positive Hamiltonian. Over various steps the relevant path integral measure and weight are brought into a Lorentzand gauge-covariant form allowing us to express correlation functions first in the Minkowski-plusaxial gauge and applying the De Witt-Faddeev-Popov approach in any meaningful gauge. Next the Feynman rules are developed and the quantum effective action at one loop in a background field approach is renormalized which results in an asymptotically free theory without presence of other fields and in a theory without asymptotic freedom if including the Standard Model (SM) fields. Finally the BRST apparatus is developed as preparation for the renormalizability proof to all orders and a sketch of this proof is given.

The notations and conventions used follow closely those of Steven Weinberg in his classic account on the quantum theory of fields [5,6]. They are presented in the Appendix.

In this section we quantize the gauge theory of volumepreserving diffeomorphisms of M^{4} starting with a Hamiltonian formulation of the classical theory equivalent to its Lagrangian formulation in the Minkowski-plus-axial gauge. This allows us to express all quantum amplitudes of interest as path integrals over unconstrained canonical field variables which live in certain functional spaces ensuring the positivity of the Hamiltonian. These integrals look neither Lorentznor gauge-invariant. We then show that they can be transformed into explicitly Lorentzand gauge-invariant expressions to be evaluated in the Minkowski-plus-axial gauge resulting in a ghost-free, covariant and unitary quantum field theory with a positive field energy operator.

Our starting point is the Hamiltonian formulation of the classical gauge theory of volume-preserving diffeomorphisms of in terms of a minimal set of unconstrained canonical field variables and with a manifestly positive Hamiltonian as developed in [

The independent canonical field variables of the theory are together with their conjugate field variables, defined on the product of space-time and an inner momentum Minkowski space, where and—in total twelve field variables without constraints apart from the reality conditions,

.

The Hamiltonian specifying the field dynamics is given in terms of the Hamiltonian density [

To ensure its positivity the field variables have support on, where

denote the forward and backward light cones in inner momentum space. The non-local functionals

of the independent canonical variables with and also have support on. Their explicit functional form is specified in Equations (18) and (19) below. is a parameter which carries dimension of length ensuring the dimensionlessness of all expressions when counting dimensions w.r.t. inner space.

The energy of a field is positive if its support is limited to the forward and backward light cones Equation (2) in inner space—a condition which after expanding the fields into free waves in inner space is equivalent to the more physical one that for all free wave states the square of the gravitational energy-momentum vector K which equals the invariant mass squared is positive.

Finally we note that singling out the -field components is a pure matter of convention—we could have as well singled out the - or -field components as will become clear further down.

So is manifestly positive definite and specifies a consistent classical field dynamics in terms of the regular equal-time Poisson brackets

for the unconstrained canonical field variables and, as discussed in [

together with a Hamiltonian density for generic “matter” fields with conjugates is our starting point for the path integral quantization. Note that the unconstrained gauge field variables we start with are defined on K-space to manifestly implement the support condition on the fields ensuring a positive Hamiltonian and not on -space on which the “matter” fields are defined from the outset for convenience.

The Green functions of the quantized theory are defined as unconstrained path integrals over,

, , with gauge and matter field measures

and weight

Through a series of canonical field transformations and Gaussian integrations we next turn these unconstrained, but neither Lorentznor gauge-covariantly looking path integrals into Lorentzand gauge-covariant ones.

The first step is to bring into a form symmetric in all three -indices, which, however, will obscure the positivity of the Hamiltonian. It is related to the - matrix

which is real and symmetric with eigenvalues 1, 1 and

. Here is the Minkowski square.

Because is symmetric there exists an orthogonal -matrix, such that

. Rotating the field variables

and using the same transformation for all the terms appearing in Equation (1) we can rewrite the Hamiltonian density in the symmetric form

where we have applied the usual sum convention for. Note that starting with the - or -field component singled out instead of the -field components in the definition of the Hamiltonian Equation (1) above and accordingly diagonalized as

or respectively it becomes obvious that the support for all field components has to be restricted to to ensure positivity of the Hamiltonian.

Due to the orthogonality of resulting in the gauge and “matter” field measures transform into

and the weight into

The second step is to Fourier-transform all the fields in inner space which is a canonical transformation. Omitting the -coordinates for notational simplicity we have

where the reality condition on

ensures that the fields over -space are real.

Note that the support condition on does not translate into a simple condition on which is the reason why we had to start with Fourier-transformed fields to uncover a condition sufficient for the Hamiltonian to be positive. The appropriate functional spaces over which path integrals are to be evaluated are then defined such that their Fourier-transformed elements have support on.

Fourier-transformation of a typical term in Equation (8) yields

where we have introduced

which is an additional field defined as a functional of the canonical variables.

We formally take as the zero component of a four vector in inner space. As a consequence the fulfil the unimodularity constraints in inner space

and analogously for

As a result we can re-write the Hamiltonian density in a form which is Lorentz-invariant in inner space

where

and where the additional fields are non-local functionals of and given by

The fulfil the unimodularity constraint

which is easily proven using Equations (15) and (16).

Inverse Fourier-transforming and rotating and in inner space gives the explicit non-local functional forms of appearing in

of Equation (1) in terms of the original canonical variables we have used above.

Adding a trivial integration over and its conjugate field by means of including delta functions in the gauge field measures which enforce the unimodularity conditions Equations (15) and (16) on and the gauge and “matter” field measures become

with the weight

which is a Lorentz-invariant expression in inner space. Note that the -functions in the integration measures above do ensure that we integrate over gauge fields and their conjugates belonging to the gauge algebra only.

To keep the formulae below simple we next introduce the covariant derivative

as in [

in a compact form.

The third step is to turn the path integrals above into Lorentz-invariant expressions as well in space-time applying the usual trick to treat as a new independent variable which we can integrate over [

after a shift of integration variables

. Apart from a field-independent normalization factor this is the gauge weight factor Equation (22) with given by Equation (24) in terms of,.

The fourth step is to perform the corresponding integrations for fixed and which is possible because is quadratic in. After a shift of integration variables we find

Above we have introduced

and used that is an element of the gauge algebra as is easily verified.

As a result Green functions are given as path integrals over, and—assuming that the integrations over are Gaussian as well—with the gauge field measure

and gauge field weight

The last step is to introduce the variable which vanishes identically in the Minkowski-plus-axial gauge and to finally recast the path integrals in a manifestly Lorentzand gauge-invariant fashion in both space-time and inner space with gauge field measure

and gauge field weight

where

is the Lagrangian density of the gauge theory of volumepreserving diffeomorphisms of and

are the covariant field strength components [

Note that the measure Equation (30) is the gaugeinvariant functional measure on the space of gauge fields living in the gauge algebra. Also note that the path integrals are to be evaluated over functional spaces which are defined such that their Fourier-transformed elements have support on.

In this section we define the quantum gauge field theory of volume-preserving diffeomorphisms of in general gauges based on the De Witt-Faddeev-Popov (FP) method introducing the ghost fields related to these gauges and the generating functional for Green functions.

Following closely [

where are a set of gauge and matter fields,

is a volume element and is a functional of the satisfying the gauge-invariance requirement

denote the fields after an infinitesimal gauge transformation with local gauge parameters [

Indeed, with fields taken as and, and setting

the integral Equation (34) yields the Green functions of the gauge theory of volume-preserving diffeomorphisms of in the Minkowski-plus-axial gauge as defined above. Here we have used the fact that

is field-independent and reduces to an overall normalization factor in the Minkowski-plus-axial gauge.

Next, let us check the gauge-invariance requirement Equation (35). Under local gauge transformations we have [

Calculating

we find that the functional trace of the logarithm of the above Jacobian vanishes—yielding in Equation (39). As a result the gauge field measure is gaugeinvariant and the condition Equation (35) is fulfilled.

Now we are in a position to freely change the gauge as path integrals of the form Equation (34) are actually independent of the gauge-fixing functional and depend on the choice of the functional only through an irrelevant constant. The proof of this crucial theorem is found e.g. in [

As a result the generating functional for the Green functions of the gauge theory of volume-preserving diffeomorphisms of in an arbitrary gauge and in the presence of “matter” fields is given by

where we have introduced the external sources and—transforming as a vector in inner space—for the “matter” and gauge fields respectively.

In order to further evaluate the generating functional above we choose

to be quadratic in the gauge-fixing functional which transforms as a vector in inner space and reexpress the functional determinant as the Gaussian integral

Above we have introduced the ghost fields and which are independent anti-commuting classical variables. The -functions ensure that both sets of variables obey the same constraints as the gauge parameters and that the corresponding operators and are elements of the gauge algebra which proves crucial in defining the BRST-symmetry operation later.

What is the condition to represent above as a Gaussian integral as in Equation (43)?

The condition is that for in the gauge algebra is in the gauge algebra as well. Then

is an endomorphism of.

Defining the scalar product

on and restricting ourselves to vector-valued functions in which are square-integrable in the sense of the scalar product above the corresponding function space becomes a Hilbert space. For being a selfadjoint endomorphism of with a complete system of orthonormal eigenvectors we indeed have Equation (43) with the -functions automatically taken account of in the Gaussian integration.

Finally we can write the generating functional for the Green functions of the gauge theory of volume-preserving diffeomorphisms of in an arbitrary gauge as

where

is the modified FP gauge-fixed action for the gauge theory of volume-preserving diffeomorphisms of.

Equation (46) defines the quantum gauge field theory of volume-preserving diffeomorphisms of and is the starting point for the evaluation of matrix elements at the quantum level.

In this section we derive the perturbative expansion of the generating functional for the Green functions of the quantum gauge field theory of volume-preserving diffeomorphisms of M^{4} and its Feynman rules in Lorentz-covariant Minkowski gauges. We then use power counting to demonstrate the superficial renormalizability of the quantum gauge field theory of volume-preserving diffeomorphisms of M^{4}. Finally we analyze the asymptotic states of the theory and are led to introduce additional quantum numbers related to the inner degrees of freedom of the theory.

Working in Minkowski gauges with inner metric we use Equation (46) as the starting point for perturbation theory. Splitting the action

into the part quadratic in the gauge and ghost fields and the interaction part we can rewrite Equation (46) for the pure gauge field theory as

where

is the generating functional for Green functions of the non-interacting theory and, are sources for the ghost fields. Note that for consistency reasons all, , have to be elements of the gauge algebra. In particular, it is crucial that the conserved gauge-field currents

related to the global coordinate transformation invariance in inner space and generating the self coupling of the gauge fields are elements of the gauge algebra which is easily verified.

To derive Feynman rules we have to specify the gauge and choose

as the Lorentz-covariant gauge fixing function resulting in

which is easily shown to be an endomorphism of as required.

For the choice Equation (52) is calculated to be

where we have defined the non-interacting gauge and ghost field fluctuation operators by

and the corresponding free propagators through

where

is the delta function transversal in inner space. The factors of ensure the scale invariance of the r.h.s under inner scale transformations.

After some algebra we find the propagators for the gauge and ghost fields to be

They are manifestly diagonal and local in inner space and invariant under local inner Poincaré transformations,.

Both the fluctuation operators and the propagators are endomorphisms of, i.e. if fulfills so will, and, as is easily verified. In other words the propagators are the inverses of the fluctuation operators on the functional space. As a consequence the - functions in the measure in Equation (50) will be automatically taken care of in the Gaussian integrals above.

Performing the Gaussian integrals over the gauge and ghost fields we find

up to the functional determinants of the fluctuation operators Equation (55). These field-independent normalization factors do not contribute to physical amplitudes and can be discarded.

Insertion of the result above into Equation (49) gives the unrenormalized perturbation expansion of the generating functional of the Green functions of the quantum gauge field theory of volume-preserving diffeomorphisms of which is plagued by the usual ultraviolet and infrared divergencies of perturbative QFT. On top of these divergencies we will have to deal with potentially divergent integrals over inner space. We will show below that they can be consistently defined respecting the inner scale invariance of the classical theory.

Next we give the momentum space Feynman rules which are easily derived generalizing the usual approach by Fourier-transforming inner space integrals as well.

The momentum space gauge field and ghost propagators are given by

being transversal in inner space. The inner degrees of freedom do not propagate whereas the space-time parts of the propagators equal the well-known Yang-Mills propagators.

The particle content is now easily read off—there is an uncountably infinite number of both massless gauge and unphysical ghost fields—the latter to counter-balance the unphysical gauge field degrees of freedom arising in covariant gauges.

Next we calculate the vertices starting with the trilinear gauge field self-coupling

corresponding to a vertex with three vector boson lines. If these lines carry incoming space-time momenta, , , inner momentum space coordinates, , and gauge field indices, , the contribution of such a vertex to a Feynman integral is

with

The quadri-linear gauge field self-coupling term

corresponds to a vertex with four vector boson lines. If these lines carry incoming space-time momenta, , , , inner momentum space coordinates, , , and gauge field indices, , , the contribution of such a vertex to a Feynman integral is

with

with

Finally, the gauge-ghost field coupling term

corresponds to a vertex with one outgoing and one incoming ghost line as well as one vector boson line. If these lines carry incoming space-time momenta, , , inner momentum space coordinates, , and field indices, , the contribution of such a vertex to a Feynman integral becomes

with

In summary, the above propagators and vertices allow us to perturbatively evaluate the Green functions of the theory. Note that for any Feynman graph the analogon of the sums over Lie algebra structure constants in YangMills theories are integrals over inner momentum space variables with the scale-invariant measure

As the vertices in such graphs contribute polynomials in the inner space coordinates to the integrand and as these inner degrees of freedom do not propagate such integrals look badly divergent—we will show in the next section that they can be consistently defined respecting the inner scale invariance of the classical theory.

Turning to the space-time integrals and renormalizability in the power-counting sense we note that the gauge and ghost fields have the same canonical dimensions

and relevant for power counting as their Yang-Mills counterparts do.

The corresponding divergence indices of the trilinear gauge field vertex, of the quadri-linear gauge field vertex and of the ghost-gauge field vertex vanish

where is the number of gauge field and ghost lines and the number of space-time derivatives attached to the respective vertex.

Accordingly the superficial degree of divergence for any diagram with a total of external gauge field and ghost lines becomes

which shows that only a finite number of combinations of external lines will yield divergent integrals. As a result the quantum gauge field theory of volume-preserving diffeomorphisms of is renormalizable by power counting.

Let us finally consider the classification of asymptotic one-particle states assuming they are not confined which will be further analyzed in the next section.

To label the physical state-vectors we construct a basis of the one-particle Hilbert space of the gauge field theory of volume-preserving diffeomorphisms of given by simultaneous eigenvectors of observables commuting amongst themselves as well as with the Hamiltonian of the theory. In other words we look for a complete system of conserved, commuting observables.

The specific difference of the present theory to a YangMills theory arises from the structure of the gauge group —all observables not related to the gauge group remain the same and comprise the energy, the momentum and angular momentum three-vectors and other conserved internal degrees of freedom [

As the quantum gauge field theory of volume-preserving diffeomorphisms of and minimally coupled “matter” field Lagrangians are translation and rotation invariant in inner space we have the additional conserved observables—the gravitational energy-momentum operator and the gravitational angular momentum tensor. As commutes with the already identified set of observables including the Hamiltonian (consistent with the Coleman-Mandula theorem) its eigenvalues become additional quantum numbers labelling physical states. In addition, as all “matter” fields transform as scalars and the gauge and ghost fields as vectors under inner Lorentz transformations inner spin becomes yet another quantum number.

As a result we can find a basis of the one-particle Hilbert space

labeled by the momentum four-vector, the spin, the gravitational energy-momentum vector and the inner spin which is for “matter” and for the gauge and ghost fields of the gauge field theory of volume-preserving diffeomorphisms of. The relation of these state vectors to asymptotic states describing observable particles with gravitational equal to inertial energy-momentum and the definition of the -matrix is developed in detail in [

In this section starting from the formal perturbative expansion derived in the last section we calculate the renormalized effective action at one loop. The crucial point is to note that space-time and inner space integrals in the calculation of loop graphs completely decouple which allows us to first regularize the potentially divergent inner space integrals appropriately. Note that any consistent definition must respect the inner scale invariance of the classical action at the quantum level as this linearly realized symmetry is a symmetry of the quantum effective action as well [

Technically we derive a formal expression for the oneloop effective action of the quantum gauge field theory of volume-preserving diffeomorphisms of working in a covariant Minkowski background field gauge. We then define the inner momentum integrals using as a cut-off and demonstrate the locality of the one-loop effective action in inner space. To prove the renormalizability at one loop we calculate the divergent contributions to the functional determinant of a general fluctuation operator with differential operator-valued coefficients in four space-time dimensions. Finally we determine the one-loop counterterms, renormalize the oneloop effective action and calculate the -function of both the pure quantum gauge field theory of volumepreserving diffeomorphisms of and the same theory minimally coupled to the Standard Model fields.

To derive a formal expression for the one-loop effective action we work in a covariant Minkowski background field gauge choosing

where

is the covariant derivative in the presence of a background field we will further specify below.

To get the one-loop expression for the generating functional Equation (46) we have to expand the exponent around its stationary point up to second order in the fluctuations. Starting with

where we have explicitly introduced a dimensionless gauge coupling and where

is easily shown to be an endomorphism of as required, we get the field equations in the presence of and

They determine the stationary points, and around which we expand. Setting the background field equal to the stationary point

determines B as a functional of J at least perturbatively.

Next we calculate the second variation of at the stationary points

where we have absorbed the factors of in and calculated the gauge and ghost field fluctuation operators to be

They are endomorphisms of, i.e. if fulfills so will and, as is easily verified. Note that we had to commute with to get the expression above for.

Taking all together we finally get

As the fluctuation operators are endomorphisms of the integrals in Equation (82) are Gaussian and can be performed resulting in the usual determinants. Indeed, endowed with the scalar product Equation (45), becomes a Hilbert space with a complete orthonormal set of eigenvectors for each of the selfadjoint fluctuation operators above. These bases of the Hilbert space take the -functions automatically into account and the integration over each eigenvector direction becomes Gaussian.

Defining next the generating functional for connected Green functions

and the quantum effective action as its Legendre transform

in the usual way we find

which is the formal expression for the one-loop effective action we were looking for.

From now on we work with the specific choice and drop the subscript to keep the calculations below as simple as possible.

To get a well-defined quantum theory at the one-loop level we have to show that the functional traces in Equation (85) above evaluated over inner space can be appropriately defined, an issue which does not arise in YangMills theories of compact Lie groups due to the finite volume of the underlying gauge groups.

To define and and to demonstrate their locality in inner space we note that both operators are of the form

where are both matrices in inner space and matrix-valued differential operators in Minkowski space. This form is quite general and can account for covariant Minkowski background-field gauges such as in Equation (74) as well, however, for the operator would take an even more general form.

Properly normalizing and expanding the logarithm we obtain

where is the operator for vanishing fields. Here we have defined the one-loop contribution with vertex insertions

which is manifestly invariant under local inner Poincaré transformations, . Above we have inserted complete systems of both - and -vectors

and used in Cartesian coordinates. Defining new variables

it becomes obvious that the definition of the -integrals above over polynomials in requires care in order to avoid potential infinities related to the non-compactness of the gauge group.

We regularize such integrals generalizing our approach to define the classical action of the gauge field theory of volume-preserving diffeomorphisms of in [

with

The regularization consists in a) cutting

off the Lorentz-invariant shells with negative mass squared consistent with the support condition Equation (2) ensuring positive field energy; b) for a given non-negative mass squared cutting off the integrals over the Lorentz-invariant shells

by requiring for and for

and c) integrating over all non-negative which are bound by the cutoff for resulting in

with

Note that this regularization respects the inner scale invariance. To write it in a Lorentz-covariant way we have used the fact that there is always a Lorentz frame with a time-like vector which has as its invariant length so that in this frame.

Next, using

and partially integrating we get

Above, the differential operators act to the left and ordering obviously matters. Integrating over for yields the final expression for in this subsection

with

The expression above for is not only finite as an integral over inner space, but also local in. Note that the regularized integrals over collapse into sums over products of metric tensors in inner space and factors of to some power ensuring the correct dimension in inner space. These sums correspond to the sums over structure constants in the Yang-Mills case.

As in the case of the classical Lagrangian the contributions to the one-loop effective action for are related to the ones for a given by

respecting the scale invariance of the classical theory as they have to because this invariance is linearly realized and hence an invariance of the quantum effective action as well [

At one loop the dependence of the theory on is again controlled by its scale invariance. In other words up to one loop theories for different are equivalent up to inner rescalings. This symmetry is not distroyed by the renormalization required for the divergent space-time integrals with which we deal in the next subsection for the simple fact that both types of integrals and how we properly define them completely decouple.

We turn to calculate the divergent contributions to the functional determinant of a general fluctuation operator with differential operator-valued coefficients in four spacetime dimensions in preparation of the one-loop renormalization in the next subsection.

To analyze the space-time divergencies occurring in and we note that both operators are of the form

where are both matrices in Minkowski space and matrix-valued differential operators in inner space. Again, this form is general enough to cope with covariant Minkowski background-field gauges such as in Equation (74), however, the case is not included.

Properly normalizing and expanding the logarithm we obtain

where is the operator for vanishing fields. Here we have defined

where we have inserted complete systems of both - and -vectors

and where. Note the occurrence of the propagators above which is in marked difference to the local inner space integrals analyzed in the last subsection.

A shift of variables

allows us to rewrite as

Now it is easy to read off the degrees of divergence for the -integrals which are bound by. Hence, only the for have a divergent contribution.

Using dimensional regularization to isolate the divergent contributions which are local in we find

Above, we have used the results from Appendix A in [

.

For fluctuations operators of the form

where the gauge field is a matrix-valued differential operator, we have

and using the cyclicality property of the trace, which is easily demonstrated, Equation (100) further simplifies

Above we have introduced the field strength operator

which belongs to the gauge field operator.

With the formulae Equations (103) and (104) which hold true for general fields living on both space-time and inner space we are now in a position to analyze the one-loop renormalizability of the quantum gauge field theory of volume-preserving diffeomorphisms of both in the absence and presence of “matter” fields. Note that after properly regularizing the inner space integrals we can safely interchange the order of taking the traces over inner space versus space-time variables if needed. In this section we perform the functional trace over space-time variables first.

To analyze renormalizability we have to evaluate the divergent contributions to the one-loop effective action in Equation (85). A short calculation shows that the fluctuation operators Equations (81) take the form of Equation (101) above with

Taking the trace over space-time Minkowski indices we get the divergent contributions to the gauge field determinant in dimensions

and to the ghost determinant

Note that as for other gauge field theories it is the second term in Equation (106) which determines the sign of the gauge field contribution above—which will in turn determine the sign of the β-function of the quantum gauge field theory of volume-preserving diffeomorphisms of M^{4}.

Taking all together we find

where as calculated in [

As usual the divergent contribution can be absorbed in the original action of the gauge field theory of volume-preserving diffeomorphisms through a redefinition of the gauge coupling constant

where we have used.

As a result the one-loop effective action after regularization of the inner space integrals and renormalization is a perfectly well defined expression.

The corresponding -function of the gauge field theory of volume-preserving diffeomorphisms at one loop becomes

and the theory is asymptotically free.

Note that does not get renormalized as we would expect from the complete decoupling of inner and spacetime integrals and their treatments.

As discussed in [^{4} interact with all fundamental fields appearing in a QFT such as the SM of elementary particle physics through minimal coupling. For clarity we call all these other fundamental scalar, spinor and (gauge) vector fields “matter” fields in the sequel. For a potential physical interpretation of the gauge field theory of volume-preserving diffeomorphisms of M^{4} it is thence crucial to extend the analysis of the asymptotic scaling behaviour above to include the impact of these other fields on the renormalized coupling and the -function.

To be specific let us do this analysis for the SM fields which we mini-mally couple to the gauge field theory of volume-preserving diffeomorphisms by (1) allowing all SM fields to live on (with possibly the same restriction for the support of inner space Fourier-transformed “matter” fields to)—adding the necessary additional inner degrees of freedom—and by (2) replacing ordinary derivatives through covariant ones in all “matter” Lagrangians as usual.

In Appendix A we have derived the additional divergent contributions to the one-loop effective action contributing to the renormalization of the gauge field theory of volume-preserving diffeomorphisms of.

To apply this to the SM let us recall its field content. The SM is built by gauging which leaves us with 8 strongly, 3 weakly and 1 electromagnetically interacting gauge fields—12 in total. These fields interact with 3 families of leptons and quarks, two of which are structural replications of the first family consisting of the 15 chiral Dirac fields for , where indicates the strongly interacting color degrees of freedom. Finally there is a Higgs dublett adding two scalar degrees of freedom.

In total we have (see Appendix A for the derivation)

where 24 is the contribution of the SM gauge fields, 90 of the leptons and quarks and 2 of the Higgs respectively. This translates into the renormalized coupling

and the β-function

of the gauge field theory of volume-preserving diffeomorphisms of M^{4} minimally coupled to the Standard Model fields.

The combined theory is not asymptotically free and we expect the inner space degrees of freedom and the gauge and “matter” fields associated with them to be observable and asymptotic free field states to exist which we have discussed in detail in [

In this section, we introduce the nilpotent BRST transformations for the gauge field theory of volume-preserving diffeomorphisms of M^{4} and establish the BRST invariance of the gauge-fixed action. We define the physical states as equivalence classes of states in the kernel of the nilpotent BRST operator Q modulo the image of Q. Finally we discuss the generalized BRST quantization of the gauge field theory of volume-preserving diffeomorphisms of M^{4}.

Let us start with the modified action from Equation (47) which may be written as

where we have introduced the quantity

Next we re-express

as a Gaussian integral and introduce the corresponding new modified action

Green functions are now given as path integrals over the fields, , , , with weight .

By construction the gauge-fixed modified action S_{NEW} is not invariant under gauge transformations. However, it is invariant under BRST transformations parametrized by an infinitesimal constant anticommuting with ghost and fermionic fields. The BRST variations are given by

The transformations Equations (118) are nilpotent, i.e. if is any functional of and we define by

then

The proof for the fields above is straightforward, but somewhat tedious. Here we just give a sketch of the verification of

using the chain-rule and the anticommutativity of with. As a result we have

The extension to products of polynomials in these fields follows then easily.

To verify the BRST invariance of we note that the BRST transformation acts on functionals of matter and gauge fields alone as a gauge transformation with gauge parameter. Hence

Next with the use of Equation (36) we determine the BRST transform of

which yields

Hence we can rewrite

where

Finally it follows from the nilpotency of the BRST transformation

As for Yang-Mills theories Equation (128) shows that the physical content of the gauge field theory of volumepreserving diffeomorphisms of is contained in the kernel of the BRST transformation modulo terms in its image.

Equivalent to this is the requirement that matrix elements between physical states are independent of the choice of the gauge-fixing functional. This implies the existence of a nilpotent BRST operator with. Physical states are then in the kernel of

Independent physical states are defined as the equivalence classes of states in the kernel of modulo the image of.

Finally let us note that as for Yang-Mills theories [

with being a general functional respecting the restrictions above.

-matrix elements of physical states annihilated by the appropriate BRST operator of the theory are then independent of. In addition, in the Minkowski-plusaxial gauge the ghosts decouple in the quantum gauge field theory of volume-preserving diffeomorphisms of, hence they decouple for any choice of and the theory is ghost-free.

In this section we sketch a proof of the renormalizability of the gauge field theory of volume-preserving diffeomorphisms of M^{4} to all orders.

A general proof of the renormalizability of the gauge field theory of volume-preserving diffeomorphisms of, i.e. the existence of a finite, well-defined perturbative effective action, has to comprise the analysis of the divergence structure and the renormalizability of space-time integrals as for Yang-Mills theories and in addition the verification that inner space integrals can be properly regularized respecting the scale invariance of the classical theory which is a key condition as this is a linearly realized classical symmetry which extends necessarily to the quantum effective action.

Turning to the first point we note that we should be able to employ the full machinery developed for the inductive proof of renormalizability for Yang-Mills gauge theories as the general structure of the quantum gauge field theory of volume-preserving diffeomorphisms of M^{4} formally is close to that of quantum Yang-Mills theories. Hence we should be able to repeat all the steps in the renormalizability proof e.g. given in the Chapters 15 to 17 in [^{4} as compared to Yang-Mills gauge theories requiring the adaptation of the analysis given in Section 17.2 of [

Turning to the second point our approach at the oneloop level has been to (1) define the inner one-loop integrals using as a scale-invariant cut-off as in Equation (91)

and (2) on the basis of this definition to demonstrate the validity of the scaling law

ensuring consistency and the uniqueness of the theory up to inner rescalings.

The same strategy should work for any number of loops. Again (1) we regularize inner -loop integrals arising in the calculation of the effective action by the scale-invariant prescription Equation (91)

and (2) on the basis of this regularization we should be able to demonstrate the validity of the scaling law

noting that the inner scale invariance is a linearly realized symmetry of the gauge field theory of volumepreserving diffeomorphisms of and hence a symmetry of the quantum effective action [

The locality of the theory in inner space for any number of loops follows from the non-propagation of inner degrees of freedom which can be most easily read off the propagators in Equatios (60).

This completes the sketch of a general proof of the renormalizability and the essential uniqueness of the quantum gauge field theory of volume-preserving diffeomorphisms of.

In this paper, we have quantized the classical gauge theory of volume-preserving diffeomorphisms of in the path integral formalism starting with a Hamiltonian formulation of the theory with unconstrained, though neither Lorentznor gauge-covariantly looking canonical field variables and a manifestly positive Hamiltonian. As the canonical field variables obey the usual Poisson brackets the physical Hilbert space of states has positive norm and is ghost-free.

Over various steps we then have brought the relevant path integral measure and weight into a Lorentzand gauge-covariant form allowing us to express correlation functions first in the Minkowski-plus-axial gauge and— applying the De Witt-Faddeev-Popov approach—in any meaningful gauge. On that basis we have developed the Feynman rules of the theory and demonstrated that the gauge theory of volume-preserving diffeomorphisms of is renormalizable by power-counting. Finally we have discussed the new quantum numbers appearing in the theory which label state vectors.

Next we have calculated and renormalized the divergent parts of the quantum effective action at one loop in a background field approach. Here we had to deal not only with the usual short distance divergencies of space-time integrals in a perturbation expansion [5,6], but due to the non-compactness of the gauge group, also with additional divergent integrals over inner space. We have regularized these based on the requirement of respecting the relevant inner symmetries (inner Lorentz and most importantly inner scale invariance)—generalizing thereby the finite sums over structure constants appearing in the perturbation series for the Yang-Mills case to the present one. The result at one loop is a negative -function and hence an asymptotically free theory without the presence of other fields and a positive -function and a theory without asymptotic freedom after minimally coupling the Standard Model (SM) fields to the gauge fields.

Finally we have developed the BRST apparatus as preparation for the renormalizability proof to all orders and given a sketch of this proof which in itself is one of the open points to be further addressed. Yet we have demonstrated that the gauge theory of volume-preserving diffeomorphisms of is a quantum field theory fulfilling the key requirements towards a physical theory: namely to have a positive Hamiltonian, a ghost free Hilbert space of states with positive norm and a unitary S-matrix. Taking this into account together with the demonstration that the theory at the classical level yields a relativistic description of gravitation we propose the gauge theory of volume-preserving diffeomorphisms of as a viable candidate for a renormalizable quantum theory of gravity.

On top, none of the well-known fundamental difficulties such as the disappearance of the notion of a particle or the non-existence of non-trivial correlators arising in the attempts to quantize General Relativity or any other geometric theory of gravity [9,10] plagues the current approach as all the notions developed in the context of a relativistic QFT can immediately be generalized to our context.

Also let us point to interesting not yet analysed questions such as to the structure of the vacuum of the present theory—noting that unlike in the Yang-Mills case, where implies that is pure gauge, in our case also results from any—or to the perturbative calculation of correlation functions and scattering cross-sections which in the gravitational scattering of matter should result in the non-relativistic limit in well-known Rutherford-type formulae [

Finally what makes the gauge theory of volumepreserving diffeomorphisms of an attractive candidate for a consistent classical and quantum theory of gravity in the first place is its structural analogy with the existing gauge field theories of the electromagnetic, weak and strong interactions [12-14]. If it was the “right” theory we would finally have a unified view of Nature and a consistent framework to describe all fundamental interactions at all accessible scales and without any logical or mathematical rift between the worlds of classical and quantum physics.

In this Appendix, we calculate the divergent vacuum contribution of a gauge vector field, a Dirac spinor and a complex scalar doublet to the one-loop effective action of the gauge field theory of volume-preserving diffeomorphisms of.

The vacuum amplitude of a Yang-Mills gauge field with gauge algebra indices minimally coupled to the gauge field theory of volume-preserving diffeomorphisms of, where is the dimension of the gauge algebra, is given by

where is the covariant derivative in the presence of a gauge field, the structure constants of the gauge algebra and,

the ghost fields corresponding to the gauge-fixed action

appearing in the gauge-fixing and ghost terms is a background gauge field. Above we have minimally coupled the Yang-Mills field to the gauge field theory of volume-preserving diffeomorphisms of replacing ordinary through covariant derivatives yielding

and introduced the field strength and the ghost fluctuation operator

The bars over derivatives etc. indicate minimal coupling to the gauge field theory of volume-preserving diffeomorphisms of.

Expanding around its stationary points in the absence of source terms and performing the Gaussian integral gives

where

Taking everything together and evaluating the divergent contribution to the one-loop effective action with the use of Equations (139), (103) and (104) for yields for each independent gauge field and associated ghost

where we have discarded the factor which accounts for the number of independent gauge fields. Note that such a term will reinforce asymptotic freedom. Note in addition that this formula also holds in the Abelian case where the ghost contribution in the presence of does not reduce to a field-independent determinant.

The vacuum amplitude of a Dirac field minimally coupled to the gauge field theory of volume-preserving diffeomorphisms is given by

where is a Dirac spinor and

is the spinor action coupled to a Yang-Mills field through the covariant derivative. Here is the generator of the gauge algebra in the fermion space.

Again we have minimally coupled the Dirac field to the gauge field theory of volume-preserving diffeomorphisms replacing ordinary through covariant derivatives yielding

Expanding around its stationary points in the absence of external sources and performing the Grassmann integral gives

where

Taking everything together and evaluating the divergent contribution to the one-loop effective action with the use of Equations (145), (103) and (104) yields for each independent Dirac spinor

Note that this will work against asymptotic freedom. Note in addition that a chiral Dirac field contributes just half of the value above.

The vacuum amplitude of a complex scalar doublet minimally coupled to the gauge field theory of volume-preserving diffeomorphisms is given by

where is a complex scalar doublet and

is the doublet coupled to the gauge bosons of the electro-weak interaction through the covariant derivative.

Again we have minimally coupled the scalar to the gauge field theory of volume-preserving diffeomorphisms replacing ordinary through covariant derivatives yielding

Expanding around one of its stationary points and and performing the Gaussian integral gives

where

Taking everything together and evaluating the divergent contribution to the one-loop effective action with the use of Equations (151), (103) and (104) yields for a complex scalar doublet

which holds independent of whether the Higgs mechanism is in place or not and will work against asymptotic freedom. Note that a single complex scalar field contributes just half of the value above.

Generally, (M^{4}, η) denotes the four-dimensional Minkowski space with metric, small letters denote space-time coordinates and parameters and capital letters denote coordinates and parameters in inner space.

Specifically, denote Cartesian spacetime coordinates. The small Greek indices from the middle of the Greek alphabet run over. They are raised and lowered with, i.e. etc. and transform covariantly w.r.t. the Lorentz group. Partial differentiation w.r.t to is denoted by. Small Latin indices generally run over the three spatial coordinates [

denote inner coordinates and the flat metric in inner space with signature. The metric transforms as a contravariant tensor of Rank 2 w.r.t.. Because we can always globally choose Cartesian coordinates and the Minkowski metric which amounts to a partial gauge fixing to Minkowskian gauges. The small Greek indices

from the beginning of the Greek alphabet run again over. They are raised and lowered with, i.e. etc. and transform as vector indices w.r.t.. Partial differentiation w.r.t to is denoted by.

The same lower and upper indices are summed unless indicated otherwise.