**Abstract**

A consistent (off-shell) canonical classical and quantum dynamics in the framework of special relativity was formulated by Stueckelberg in 1941 and generalized to many-body theory by Horwitz and Piron in 1973 (SHP). This theory has been embedded into the framework of general relativity (GR), here denoted by SHPGR. The canonical Poisson brackets of the SHP theory remain valid (invariant under local coordinate transformations) on the manifold of GR and provide the basis for formulating a canonical quantum theory. The relation between representations based on coordinates and momenta is given by Fourier transform; a proof is given here for this functional relation on a manifold. The potential which may occur in the SHP theory emerges as a spacetime scalar mass distribution in GR. Gauge fields, both Abelian and non-Abelian on the quantum mechanical SHPGR Hilbert space in both the single particle and many-body theory, may be generated by phase transformations. Application to the construction of Bekenstein and Sanders in their solution to the lensing problem in TeVeS is discussed.

**Keywords:** relativistic dynamics, general relativity, quantum theory on curved space, non-Abelian gauge fields, Bekenstein-Sanders field, TeVeS

## **1. Introduction**

The relativistic canonical Hamiltonian dynamics of Stueckelberg, Horwitz, and Piron (SHP) [1] with scalar potential and gauge field interactions for single- and many-body theories can, by local coordinate transformation, be embedded into the framework of general relativity (GR). This embedding provides a basis for the work of Horwitz et al. [2, 3] in their discussion of the origin of the field introduced by Bekenstein and Sanders [4] to explain gravitational lensing in the TeVeS formulation of modified Newtonian dynamic (MOND) theories [5–10].

The theory was originally formulated for a single particle by Stueckelberg in [11–13]. Stueckelberg envisaged the motion of a particle along a world line in spacetime that can curve and turn to flow backward in time, resulting in the phenomenon of pair annihilation in classical dynamics. The world line was then described by an invariant monotonic parameter *τ*. The theory was generalized by Horwitz and Piron in [14] (see also [15, 16]) to be applicable to many-body systems by assuming that the parameter *τ* is universal (as for Newtonian time, enabling them to solve the two-body problem classically, and later, a quantum solution was found by Arshansky and Horwitz [17–19], both for bound states and scattering theory).

Performing a coordinate transformation to general coordinates, along with the corresponding transformation of the momenta (the cotangent space of the original Minkowski manifold), one obtains [20] the SHP theory in a curved space of general coordinates and momenta with a canonical Hamilton-Lagrange (symplectic) structure. We shall refer to this generalization as SHPGR. We discuss the extension of the Abelian gauge theory described in Ref. [20] to the non-Abelian gauge discussed in [2, 3].

The invariance of the Poisson bracket under local coordinate transformations provides a basis for the canonical quantization of the theory, for which the evolution under *τ* is determined by the covariant form of the Stueckelberg-Schrödinger equation [1].

In this chapter, we assume a *τ*-independent background gravitational field; the local coordinate transformations from the flat Minkowski space to the curved space are taken to be independent of *τ*, consistently with an energy momentum tensor that is *τ* independent. In a more dynamical setting, when the energy momentum tensor depends on *τ*, the spacetime is evolved nontrivially [20, 21].

## **2. Embedding of single particle dynamics with external potential in GR**

We write the SHP Hamiltonian [1, 11–13] as

$$K = \frac{1}{2M} \eta^{\mu\nu} \pi\_{\mu} \pi\_{\nu} + V(\xi) \tag{1}$$

It is important to note that, as clear from (3), that \_

*DOI: http://dx.doi.org/10.5772/intechopen.88154*

which lies in the cotangent space of the manifold, as we shall see in the Poisson bracket relations below. The energy of the particle for a normal timelike particle should be positive (negative energy would correspond to an antiparticle [1, 11–13]).

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein…*

ple observation will be important in the discussion below of the dynamics of a particle in the framework of general relativity, for which the metric tensor is nontrivial. We now transform the local coordinates (contravariantly) according to the

*<sup>d</sup>ξμ* <sup>¼</sup> *<sup>∂</sup>ξμ*

to attach small changes in *ξ* to the corresponding small changes in the

\_ *<sup>ξ</sup><sup>μ</sup>* <sup>¼</sup> *<sup>∂</sup>ξ<sup>μ</sup> <sup>∂</sup>x<sup>λ</sup> <sup>x</sup>*\_ *λ*

<sup>2</sup> *<sup>g</sup>μνx*\_ *μ x*\_

where *V x*ð Þ is the potential at the point *ξ* corresponding to the point *x*

*gμν* ¼ *ηλσ*

<sup>2</sup> *<sup>g</sup>μνx*\_ *μ x*\_

*∂ξ<sup>λ</sup> ∂x<sup>μ</sup>*

Since *V* has significance as the source of a force in the local frame only through its derivatives, we can make this pointwise correspondence with a globally defined

In the locally flat coordinates in the neighborhood of *x<sup>μ</sup>*, the symplectic structure of Hamiltonian mechanics implies that the momentum<sup>2</sup> *πμ*, lying in the cotangent space of the manifold *<sup>ξ</sup><sup>μ</sup>* f g, transforms covariantly under the local transformation

<sup>1</sup> Since *V x*ð Þ has the dimension of mass, one can think of this function as a scalar mass field, reflecting forces acting in the local tangent space at each point. It may play the role of "dark energy" [2, 3]. If *V* ¼ 0, our discussion reduces to that of the usual general relativity, but with a well-defined canonical

<sup>2</sup> We shall call the quantity *πμ* in the cotangent space as *canonical momentum*, although it must be understood that its map back to the tangent space *π<sup>μ</sup>* corresponds to the actual physically measureable

*∂ξσ*

*<sup>K</sup>* <sup>¼</sup> *<sup>M</sup>*

*<sup>L</sup>* <sup>¼</sup> *<sup>M</sup>*

*<sup>∂</sup>ξ<sup>μ</sup>*, so that we may define

(a function of *ξ* in a small neighborhood of the point *x*) and

The *physical momenta and energy* therefore correspond to the mapping

back to the tangent space. Thus, equivalently, from (2), \_

coordinates *x* on the curved space, so that

The Hamiltonian then becomes

1 The corresponding Lagrangian is then

diffeomorphism

scalar function *V x*ð Þ.

(5), that is, as does *<sup>∂</sup>*

momentum variable.

momentum.

**141**

*<sup>ξ</sup>*<sup>0</sup> <sup>¼</sup> *dt*

*<sup>π</sup><sup>μ</sup>* <sup>¼</sup> *ημνπμ,* (5)

*<sup>∂</sup>x<sup>λ</sup> dx<sup>λ</sup>* (6)

*:* (7)

*<sup>ν</sup>* <sup>þ</sup> *V x*ð Þ*,* (8)

*<sup>∂</sup>x<sup>ν</sup>* (9)

*<sup>ν</sup>* � *V x*ð Þ*,* (10)

*<sup>d</sup><sup>τ</sup>* has a sign *opposite* to *π*<sup>0</sup>

*<sup>ξ</sup><sup>μ</sup>* <sup>¼</sup> ð Þ <sup>1</sup>*=<sup>M</sup> <sup>π</sup><sup>μ</sup>*. This sim-

where *<sup>η</sup>μν* is the flat Minkowski metric ð Þ � þ þþ and *πμ, <sup>ξ</sup><sup>μ</sup>* are the spacetime canonical momenta and coordinates in the local tangent space of a general manifold, following Einstein's use of the equivalence principle.

The existence of a potential term (which we assume to be a Lorentz scalar), representing nongravitational forces, implies that the "free fall" condition is replaced by a local dynamics carried along by the free falling system (an additional force acting on the particle within the "elevator" according to the coordinates in the tangent space).

The canonical equations are

$$\dot{\xi}^{\mu} = \frac{\partial K}{\partial \pi\_{\mu}} \quad \dot{\pi}\_{\mu} = -\frac{\partial K}{\partial \xi^{\mu}} = -\frac{\partial V}{\partial \xi^{\mu}},\tag{2}$$

where the dot here indicates *<sup>d</sup> dτ* , with *τ* the invariant universal "world time." Since then

$$\begin{aligned} \dot{\xi}^{\mu} &= \frac{1}{M} \eta^{\mu\nu} \pi\_{\nu}, \\\\ \text{or} \qquad \pi\_{\nu} &= \eta\_{\nu\mu} M \dot{\xi}^{\mu}, \end{aligned} \tag{3}$$

the Hamiltonian can then be written as

$$K = \frac{M}{2} \eta\_{\mu\nu} \dot{\xi}^{\mu} \dot{\xi}^{\nu} + V(\xi). \tag{4}$$

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein… DOI: http://dx.doi.org/10.5772/intechopen.88154*

It is important to note that, as clear from (3), that \_ *<sup>ξ</sup>*<sup>0</sup> <sup>¼</sup> *dt <sup>d</sup><sup>τ</sup>* has a sign *opposite* to *π*<sup>0</sup> which lies in the cotangent space of the manifold, as we shall see in the Poisson bracket relations below. The energy of the particle for a normal timelike particle should be positive (negative energy would correspond to an antiparticle [1, 11–13]). The *physical momenta and energy* therefore correspond to the mapping

$$
\pi^{\mu} = \eta^{\mu\nu} \pi\_{\mu\nu} \tag{5}
$$

back to the tangent space. Thus, equivalently, from (2), \_ *<sup>ξ</sup><sup>μ</sup>* <sup>¼</sup> ð Þ <sup>1</sup>*=<sup>M</sup> <sup>π</sup><sup>μ</sup>*. This simple observation will be important in the discussion below of the dynamics of a particle in the framework of general relativity, for which the metric tensor is nontrivial.

We now transform the local coordinates (contravariantly) according to the diffeomorphism

$$d\xi^{\mu} = \frac{\partial \xi^{\mu}}{\partial \kappa^{l}} d\mathfrak{x}^{l} \tag{6}$$

to attach small changes in *ξ* to the corresponding small changes in the coordinates *x* on the curved space, so that

$$
\dot{\xi}^{\mu} = \frac{\partial \xi^{\mu}}{\partial \mathbf{x}^{\lambda}} \dot{\mathbf{x}}^{\lambda}. \tag{7}
$$

The Hamiltonian then becomes

by assuming that the parameter *τ* is universal (as for Newtonian time, enabling them to solve the two-body problem classically, and later, a quantum solution was found by Arshansky and Horwitz [17–19], both for bound states and scattering theory).

Performing a coordinate transformation to general coordinates, along with the corresponding transformation of the momenta (the cotangent space of the original Minkowski manifold), one obtains [20] the SHP theory in a curved space of general coordinates and momenta with a canonical Hamilton-Lagrange (symplectic) structure. We shall refer to this generalization as SHPGR. We discuss the extension of the Abelian gauge theory described in Ref. [20] to the non-Abelian gauge discussed

The invariance of the Poisson bracket under local coordinate transformations provides a basis for the canonical quantization of the theory, for which the evolution under *τ* is determined by the covariant form of the Stueckelberg-Schrödinger

In this chapter, we assume a *τ*-independent background gravitational field; the local coordinate transformations from the flat Minkowski space to the curved space are taken to be independent of *τ*, consistently with an energy momentum tensor that is *τ* independent. In a more dynamical setting, when the energy momentum

**2. Embedding of single particle dynamics with external potential in GR**

where *<sup>η</sup>μν* is the flat Minkowski metric ð Þ � þ þþ and *πμ, <sup>ξ</sup><sup>μ</sup>* are the spacetime canonical momenta and coordinates in the local tangent space of a general manifold,

The existence of a potential term (which we assume to be a Lorentz scalar), representing nongravitational forces, implies that the "free fall" condition is replaced by a local dynamics carried along by the free falling system (an additional force acting on the particle within the "elevator" according to the coordinates in the

*<sup>π</sup>*\_ *<sup>μ</sup>* ¼ � *<sup>∂</sup><sup>K</sup>*

*<sup>∂</sup>ξ<sup>μ</sup>* ¼ � *<sup>∂</sup><sup>V</sup>*

*<sup>M</sup> <sup>η</sup>μνπν,*

*ξμ,*

, with *τ* the invariant universal "world time."

*<sup>ξ</sup><sup>ν</sup>* <sup>þ</sup> *<sup>V</sup>*ð Þ*<sup>ξ</sup> :* (4)

<sup>2</sup>*<sup>M</sup> ημνπμπν* <sup>þ</sup> *<sup>V</sup>*ð Þ*<sup>ξ</sup>* (1)

*<sup>∂</sup>ξ<sup>μ</sup> ,* (2)

(3)

tensor depends on *τ*, the spacetime is evolved nontrivially [20, 21].

*<sup>K</sup>* <sup>¼</sup> <sup>1</sup>

We write the SHP Hamiltonian [1, 11–13] as

following Einstein's use of the equivalence principle.

\_ *<sup>ξ</sup><sup>μ</sup>* <sup>¼</sup> *<sup>∂</sup><sup>K</sup> ∂πμ*

*dτ*

*<sup>K</sup>* <sup>¼</sup> *<sup>M</sup>*

\_ *<sup>ξ</sup><sup>μ</sup>* <sup>¼</sup> <sup>1</sup>

or *πν* <sup>¼</sup> *ηνμ<sup>M</sup>* \_

<sup>2</sup> *ημν* \_ *ξ<sup>μ</sup>* \_

in [2, 3].

*Progress in Relativity*

equation [1].

tangent space).

Since then

**140**

The canonical equations are

where the dot here indicates *<sup>d</sup>*

the Hamiltonian can then be written as

$$K = \frac{M}{2} \mathbf{g}\_{\mu\nu} \dot{\mathbf{x}}^{\mu} \dot{\mathbf{x}}^{\nu} + V(\mathbf{x}),\tag{8}$$

where *V x*ð Þ is the potential at the point *ξ* corresponding to the point *x* (a function of *ξ* in a small neighborhood of the point *x*) and

$$\mathbf{g}\_{\mu\nu} = \eta\_{\lambda\sigma} \frac{\partial \xi^{\lambda}}{\partial \mathbf{x}^{\mu}} \frac{\partial \xi^{\sigma}}{\partial \mathbf{x}^{\nu}} \tag{9}$$

Since *V* has significance as the source of a force in the local frame only through its derivatives, we can make this pointwise correspondence with a globally defined scalar function *V x*ð Þ. 1

The corresponding Lagrangian is then

$$L = \frac{M}{2} \mathbf{g}\_{\mu\nu} \dot{\mathbf{x}}^{\mu} \dot{\mathbf{x}}^{\nu} - V(\mathbf{x}),\tag{10}$$

In the locally flat coordinates in the neighborhood of *x<sup>μ</sup>*, the symplectic structure of Hamiltonian mechanics implies that the momentum<sup>2</sup> *πμ*, lying in the cotangent space of the manifold *<sup>ξ</sup><sup>μ</sup>* f g, transforms covariantly under the local transformation (5), that is, as does *<sup>∂</sup> <sup>∂</sup>ξ<sup>μ</sup>*, so that we may define

<sup>1</sup> Since *V x*ð Þ has the dimension of mass, one can think of this function as a scalar mass field, reflecting forces acting in the local tangent space at each point. It may play the role of "dark energy" [2, 3]. If *V* ¼ 0, our discussion reduces to that of the usual general relativity, but with a well-defined canonical momentum variable.

<sup>2</sup> We shall call the quantity *πμ* in the cotangent space as *canonical momentum*, although it must be understood that its map back to the tangent space *π<sup>μ</sup>* corresponds to the actual physically measureable momentum.

$$p\_{\mu} = \frac{\partial \xi^{\lambda}}{\partial \mathfrak{x}^{\mu}} \mathfrak{x}\_{\lambda}. \tag{11}$$

*<sup>x</sup>*€*<sup>σ</sup>* ¼ � *<sup>∂</sup>x<sup>σ</sup> ∂ξμ*

Finally, with (9) and the usual definition of the connection

we obtain the modified geodesic-type equation

*DOI: http://dx.doi.org/10.5772/intechopen.88154*

*p*\_

f g *ξ; π* , the *τ* derivative of a function *F*ð Þ *ξ; π* is

If we replace in this formula

coordinate transformations) obtain

**143**

*dF*ð Þ *ξ; π <sup>d</sup><sup>τ</sup>* <sup>¼</sup> *<sup>∂</sup><sup>F</sup> ∂x<sup>μ</sup>*

*dF*ð Þ *ξ; π*

*<sup>x</sup>*€*<sup>σ</sup>* ¼ �Γ*<sup>σ</sup>*

eration along the geodesic-like curves, that is, (16) now reads

*<sup>μ</sup>* <sup>¼</sup> *Mx*€*<sup>ν</sup>* ¼ �*M*Γ*<sup>σ</sup>*

*<sup>d</sup><sup>τ</sup>* <sup>¼</sup> *<sup>∂</sup>F*ð Þ *<sup>ξ</sup>; <sup>π</sup>*

<sup>¼</sup> *<sup>∂</sup>F*ð Þ *<sup>ξ</sup>; <sup>π</sup> ∂ξμ*

> *∂ <sup>∂</sup>ξ<sup>μ</sup>* <sup>¼</sup> *<sup>∂</sup>x<sup>λ</sup> ∂ξ<sup>μ</sup>*

*∂ ∂πμ*

*∂K ∂pμ*

*x<sup>μ</sup>; p<sup>ν</sup>* 

Γ*σ*

� 1

*∂*2 *ξμ <sup>∂</sup>x<sup>λ</sup>∂x<sup>γ</sup> <sup>x</sup>*\_

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein…*

*<sup>M</sup> <sup>η</sup>μν <sup>∂</sup>x<sup>λ</sup> ∂ξν*

*λγ* <sup>¼</sup> *<sup>∂</sup>x<sup>σ</sup> ∂ξμ*

*λγx*\_ *γ x*\_ *<sup>λ</sup>* � <sup>1</sup>

from which we see that the derivative of the potential *V*ð Þ*ξ* is mapped, under this coordinate transformation into a force resulting in a modification of the accel-

> *λγx*\_ *γ x*\_

The procedure that we have carried out here provides a canonical dynamical structure for motion in the curvilinear coordinates. We now remark that the Poisson bracket remains valid for the coordinates f g *x; p* . In the local coordinates

> *<sup>∂</sup>ξμ* \_ *<sup>ξ</sup><sup>μ</sup>* <sup>þ</sup>

� ½ � *F;K PB*ð Þ *ξ; π :*

<sup>¼</sup> *<sup>∂</sup>ξ<sup>μ</sup> ∂x<sup>λ</sup>*

� *∂F ∂pμ*

In this definition of Poisson bracket, we have, as for the *ξ<sup>μ</sup>, πν* relation,

we immediately (as assured by the invariance of the Poisson bracket under local

*∂K ∂πμ*

> *∂ ∂x<sup>λ</sup>*

*∂ ∂pλ ,*

*∂K*

*PB*ð Þ¼ *<sup>x</sup>; <sup>p</sup> δμ*

*γ x*\_ *λ*

*∂x<sup>σ</sup> ∂ξμ*

*∂*2 *ξμ*

*<sup>M</sup> <sup>g</sup>σλ <sup>∂</sup>V x*ð Þ

*<sup>λ</sup>* � *<sup>g</sup>σλ <sup>∂</sup>V x*ð Þ

*<sup>∂</sup>F*ð Þ *<sup>ξ</sup>; <sup>π</sup> ∂πν*

� *<sup>∂</sup>F*ð Þ *<sup>ξ</sup>; <sup>π</sup> ∂πμ*

*π*\_ *μ*

*∂K ∂ξ<sup>ν</sup>*

*<sup>∂</sup>x<sup>ν</sup>* � ½ � *<sup>F</sup>;<sup>K</sup> PB*ð Þ *<sup>x</sup>; <sup>p</sup>* (25)

*<sup>ν</sup>:* (26)

*<sup>∂</sup>V x*ð Þ *<sup>∂</sup>x<sup>λ</sup> :*

*<sup>∂</sup>x<sup>λ</sup>∂x<sup>γ</sup>* (20)

*<sup>∂</sup>x<sup>λ</sup> ,* (21)

*<sup>∂</sup>x<sup>λ</sup>* (22)

(19)

(23)

(24)

This definition is consistent with the transformation properties of the momentum defined by the Lagrangian (10):

$$p\_{\mu} = \frac{\partial L(\mathfrak{x}, \dot{\mathfrak{x}})}{\partial \dot{\mathfrak{x}}^{\mu}},\tag{12}$$

yielding

$$p\_{\mu} = \text{Mg}\_{\mu\nu} \dot{\mathbf{x}}^{\nu}. \tag{13}$$

The second factor in the definition (9) of *gμν* in (13) acts on *x*\_ *<sup>ν</sup>*; with (7) we then have (as in (11))

$$\begin{split} p\_{\mu} &= M \eta\_{\lambda \sigma} \frac{\partial \xi^{\lambda}}{\partial \mathbf{x}^{\mu}} \dot{\xi}^{\sigma} \\ &= \frac{\partial \xi^{\lambda}}{\partial \mathbf{x}^{\mu}} \boldsymbol{\pi}\_{\lambda} .\end{split} \tag{14}$$

As we have remarked above for the locally flat space in (5), the *physical* energy and momenta are given, according to the mapping,

$$p^{\mu} = \mathbf{g}^{\mu\nu} p\_{\nu} = \mathbf{M} \dot{\mathbf{x}}^{\nu} \tag{15}$$

back to the tangent space of the manifold, which also follows directly from the local coordinate transformation of (3) and (5).

It is therefore evident from (15) that

$$
\dot{p}^{\mu} = \mathbf{M} \ddot{\mathbf{x}}^{\mu}.\tag{16}
$$

We see that *p*\_ *<sup>μ</sup>*, which should be interpreted as the force acting on the particle, is proportional to the *acceleration along the orbit of motion* (a covariant derivative plus a gradient of the potential), as described by the geodesic-type relation. This Newtonian-type relation in the general manifold reduces in the limit of a flat Minkowski space to the corresponding SHP dynamics and in the nonrelativistic limit, to the classical Newton law. We remark that this result does not require taking a post-Newtonian limit, the usual method of obtaining Newton's law from GR.

We now discuss the geodesic equation obtained by studying the condition

$$\ddot{\xi}^{\mu} = -\frac{1}{M} \dot{\pi}\_{\mu} = -\frac{1}{M} \eta^{\mu \nu} \frac{\partial V(\xi)}{\partial \xi^{\nu}}.\tag{17}$$

To do this, we compute

$$\begin{split} \ddot{\xi}^{\mu} &= \frac{d}{d\tau} \left( \frac{\partial \xi^{\mu}}{\partial \mathbf{x}^{\lambda}} \dot{\mathbf{x}}^{\lambda} \right) = \frac{\partial^{2} \xi^{\mu}}{\partial \mathbf{x}^{\lambda} \partial \mathbf{x}^{\gamma}} \dot{\mathbf{x}}^{\gamma} \dot{\mathbf{x}}^{\lambda} \\ &+ \frac{\partial \xi^{\mu}}{\partial \mathbf{x}^{\lambda}} \ddot{\mathbf{x}}^{\lambda} = -\frac{1}{M} \eta^{\mu \nu} \frac{\partial \mathbf{x}^{\lambda}}{\partial \xi^{\nu}} \frac{\partial V(\mathbf{x})}{\partial \mathbf{x}^{\lambda}} \,, \end{split} \tag{18}$$

so that, after multiplying by *<sup>∂</sup>x<sup>σ</sup> <sup>∂</sup>ξ<sup>μ</sup>* and summing over *μ*, we obtain *Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein… DOI: http://dx.doi.org/10.5772/intechopen.88154*

$$\begin{split} \ddot{\boldsymbol{\chi}}^{\sigma} &= -\frac{\partial \boldsymbol{\chi}^{\sigma}}{\partial \xi^{\mu}} \frac{\partial^{2} \xi^{\mu}}{\partial \boldsymbol{\chi}^{\lambda} \partial \boldsymbol{\chi}^{\nu}} \dot{\boldsymbol{\chi}}^{\lambda} \dot{\boldsymbol{\chi}}^{\lambda} \\ &- \frac{1}{M} \eta^{\mu \nu} \frac{\partial \mathbf{x}^{\lambda}}{\partial \xi^{\nu}} \frac{\partial \mathbf{x}^{\sigma}}{\partial \xi^{\mu}} \frac{\partial V(\mathbf{x})}{\partial \mathbf{x}^{\lambda}}. \end{split} \tag{19}$$

Finally, with (9) and the usual definition of the connection

$$
\Gamma^{\sigma}\_{\,\,\,\lambda\gamma} = \frac{\partial \mathfrak{x}^{\sigma}}{\partial \xi^{\mu}} \frac{\partial^{2} \xi^{\mu}}{\partial \mathfrak{x}^{\lambda} \partial \mathfrak{x}^{\gamma}} \tag{20}
$$

we obtain the modified geodesic-type equation

$$
\ddot{\mathbf{x}}^{\sigma} = -\Gamma^{\sigma}{}\_{\dot{\lambda}\dot{\gamma}} \dot{\mathbf{x}}^{\dot{\gamma}} \dot{\mathbf{x}}^{\dot{\lambda}} - \frac{1}{M} \mathbf{g}^{\sigma\dot{\lambda}} \frac{\partial V(\mathbf{x})}{\partial \mathbf{x}^{\dot{\lambda}}},\tag{21}
$$

from which we see that the derivative of the potential *V*ð Þ*ξ* is mapped, under this coordinate transformation into a force resulting in a modification of the acceleration along the geodesic-like curves, that is, (16) now reads

$$\dot{\mathbf{p}}^{\mu} = \mathbf{M} \ddot{\mathbf{x}}^{\nu} = -\mathbf{M} \Gamma^{\sigma}{}\_{k\dot{\gamma}} \dot{\mathbf{x}}^{\dot{\gamma}} \dot{\mathbf{x}}^{\dot{\lambda}} - \mathbf{g}^{\sigma \dot{\lambda}} \frac{\partial V(\mathbf{x})}{\partial \mathbf{x}^{\dot{\lambda}}} \tag{22}$$

The procedure that we have carried out here provides a canonical dynamical structure for motion in the curvilinear coordinates. We now remark that the Poisson bracket remains valid for the coordinates f g *x; p* . In the local coordinates f g *ξ; π* , the *τ* derivative of a function *F*ð Þ *ξ; π* is

$$\begin{split} \frac{dF(\xi,\pi)}{d\tau} &= \frac{\partial F(\xi,\pi)}{\partial \xi^{\mu}} \dot{\xi}^{\mu} + \frac{\partial F(\xi,\pi)}{\partial \pi\_{\nu}} \dot{\pi}\_{\mu} \\\\ &= \frac{\partial F(\xi,\pi)}{\partial \xi^{\mu}} \frac{\partial K}{\partial \pi\_{\mu}} - \frac{\partial F(\xi,\pi)}{\partial \pi\_{\mu}} \frac{\partial K}{\partial \xi^{\nu}} \\\\ &\equiv [F,K]\_{PB}(\xi,\pi). \end{split} \tag{23}$$

If we replace in this formula

$$\begin{aligned} \frac{\partial}{\partial \xi^{\mu}} &= \frac{\partial \mathbf{x}^{\lambda}}{\partial \xi^{\mu}} \frac{\partial}{\partial \mathbf{x}^{\lambda}} \\\\ \frac{\partial}{\partial \pi\_{\mu}} &= \frac{\partial \xi^{\mu}}{\partial \mathbf{x}^{\lambda}} \frac{\partial}{\partial p\_{\lambda}}, \end{aligned} \tag{24}$$

we immediately (as assured by the invariance of the Poisson bracket under local coordinate transformations) obtain

$$\frac{d F(\xi, \pi)}{d\pi} = \frac{\partial F}{\partial \mathbf{x}^{\mu}} \frac{\partial \mathcal{K}}{\partial p\_{\mu}} - \frac{\partial F}{\partial p\_{\mu}} \frac{\partial \mathcal{K}}{\partial \mathbf{x}^{\nu}} \equiv [F, K]\_{\text{PB}}(\mathbf{x}, p) \tag{25}$$

In this definition of Poisson bracket, we have, as for the *ξ<sup>μ</sup>, πν* relation,

$$\left[\mathfrak{x}^{\mu}, p\_{\nu}\right]\_{PB}(\mathfrak{x}, p) = \delta^{\mu}\_{\ \nu}.\tag{26}$$

*<sup>p</sup><sup>μ</sup>* <sup>¼</sup> *<sup>∂</sup>ξλ*

tum defined by the Lagrangian (10):

yielding

*Progress in Relativity*

have (as in (11))

This definition is consistent with the transformation properties of the momen-

*<sup>p</sup><sup>μ</sup>* <sup>¼</sup> *<sup>∂</sup>L x*ð Þ *; <sup>x</sup>*\_

*p<sup>μ</sup>* ¼ *Mgμνx*\_

*p<sup>μ</sup>* ¼ *Mηλσ*

and momenta are given, according to the mapping,

local coordinate transformation of (3) and (5). It is therefore evident from (15) that

> *ξ* €*<sup>μ</sup>* ¼ � <sup>1</sup>

*ξ* €*<sup>μ</sup>* <sup>¼</sup> *<sup>d</sup> dτ*

To do this, we compute

so that, after multiplying by *<sup>∂</sup>x<sup>σ</sup>*

**142**

The second factor in the definition (9) of *gμν* in (13) acts on *x*\_ *<sup>ν</sup>*; with (7) we then

*∂ξ<sup>λ</sup> <sup>∂</sup>x<sup>μ</sup>* \_ *ξσ*

<sup>¼</sup> *<sup>∂</sup>ξ<sup>λ</sup> <sup>∂</sup>x<sup>μ</sup> πλ:*

As we have remarked above for the locally flat space in (5), the *physical* energy

*<sup>p</sup><sup>μ</sup>* <sup>¼</sup> *<sup>g</sup>μνp<sup>ν</sup>* <sup>¼</sup> *Mx*\_

*p*\_

gradient of the potential), as described by the geodesic-type relation. This Newtonian-type relation in the general manifold reduces in the limit of a flat Minkowski space to the corresponding SHP dynamics and in the nonrelativistic limit, to the classical Newton law. We remark that this result does not require taking a post-Newtonian limit, the usual method of obtaining Newton's law from GR. We now discuss the geodesic equation obtained by studying the condition

*<sup>M</sup> <sup>π</sup>*\_ *<sup>μ</sup>* ¼ � <sup>1</sup>

<sup>¼</sup> *<sup>∂</sup>*<sup>2</sup> *ξμ <sup>∂</sup>x<sup>λ</sup>∂x<sup>γ</sup> <sup>x</sup>*\_

*<sup>M</sup> <sup>η</sup>μν <sup>∂</sup>x<sup>λ</sup> ∂ξ<sup>ν</sup>*

*<sup>∂</sup>ξ<sup>μ</sup>* and summing over *μ*, we obtain

*∂ξμ <sup>∂</sup>x<sup>λ</sup> <sup>x</sup>*\_ *λ* 

*<sup>∂</sup>x<sup>λ</sup> <sup>x</sup>*€*<sup>λ</sup>* ¼ � <sup>1</sup>

þ *∂ξμ* *<sup>M</sup> <sup>η</sup>μν <sup>∂</sup>V*ð Þ*<sup>ξ</sup>*

*γ x*\_ *λ*

*<sup>∂</sup>V x*ð Þ *<sup>∂</sup>x<sup>λ</sup> ,*

back to the tangent space of the manifold, which also follows directly from the

*<sup>μ</sup>* <sup>¼</sup> *Mx*€*<sup>μ</sup>*

We see that *p*\_ *<sup>μ</sup>*, which should be interpreted as the force acting on the particle, is proportional to the *acceleration along the orbit of motion* (a covariant derivative plus a

*ν*

*<sup>∂</sup>x<sup>μ</sup> πλ:* (11)

*<sup>∂</sup>x*\_ *<sup>μ</sup> ,* (12)

*:* (13)

*<sup>ν</sup>* (15)

*:* (16)

*<sup>∂</sup>ξ<sup>ν</sup> :* (17)

(18)

(14)

The Poisson bracket of *x<sup>μ</sup>* with the (physical energy momentum) tangent space variable *p<sup>μ</sup>* has then the tensor form

$$[\mathfrak{x}^{\mu}, p^{\nu}]\_{PB}(\mathfrak{x}, p) = \mathfrak{g}^{\mu\nu}. \tag{27}$$

We therefore have

so that

and

sentation, �*<sup>i</sup> <sup>∂</sup>*

the form �*<sup>i</sup> <sup>∂</sup>*

**145**

*<sup>p</sup>*\_ *<sup>μ</sup>* ¼ � *<sup>∂</sup>V x*ð Þ

defining a quantum theory with canonical commutation relations

*i ∂ ∂τ*

ð Þ¼ *ψ; χ*

*<sup>p</sup><sup>μ</sup>* ¼ �*<sup>i</sup> <sup>∂</sup>*

<sup>4</sup> The physically observable momentum can be defined, as in (15), as <sup>1</sup>

*<sup>∂</sup>x<sup>μ</sup>* by the Foldy-Wouthuysen transformation [30] ð Þ *g x*ð Þ <sup>1</sup>

momentum space. It is easily seen that the operator

ð *d*4 *x* ffiffi *g* p *ψ* <sup>∗</sup>

*x<sup>μ</sup>; p<sup>ν</sup>* � � <sup>¼</sup> *<sup>i</sup>*ℏ*δ<sup>μ</sup>*

**3. Quantum theory on the curved space**

*DOI: http://dx.doi.org/10.5772/intechopen.88154*

*ψτ*ð Þ *x* can be taken to be (see also [26–28])

measure; we write *<sup>g</sup>* ¼ �det *<sup>g</sup>μν* f g),

commutation relations (36).<sup>4</sup>

*<sup>∂</sup>x<sup>μ</sup>* <sup>þ</sup> *Mgσγ*Γ*<sup>σ</sup>*

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein…*

The Poisson bracket formulas (25) and (26) can be considered as a basis for

*<sup>p</sup>μ; F x*ð Þ h i ¼ �*i*<sup>ℏ</sup> *<sup>∂</sup><sup>F</sup>*

*<sup>x</sup><sup>μ</sup>* ½ �¼ *; F p*ð Þ *<sup>i</sup>*<sup>ℏ</sup> *<sup>∂</sup>F p*ð Þ

The transcription of the Stueckelberg-Schrödinger equation for a wave function

where the operator valued Hamiltonian can be taken to be the Hermitian form (42), written below, on a Hilbert space defined with scalar product (with invariant

To construct a Hermitian Hamiltonian, we first study the properties of the canonical momentum in coordinate representation. Clearly, in coordinate repre-

*<sup>∂</sup>x<sup>μ</sup>* is not Hermitian due to the presence of the factor ffiffi

is essentially self-adjoint in the scalar product (40), satisfying as well as the

relations of the form (27). This operator can be transformed, as for the Newton-Wigner operator [29], to

1 ffiffiffiffiffiffiffiffiffi *g x*ð Þ <sup>p</sup>

*∂ ∂x<sup>μ</sup>*

ffiffiffiffiffiffiffiffiffi *g x*ð Þ <sup>q</sup>

<sup>2</sup> *<sup>g</sup>μν; <sup>p</sup><sup>ν</sup>*

<sup>4</sup>*pμ*ð Þ *g x*ð Þ �<sup>1</sup> 4.

� �, with commutation

integrand of the scalar product. The problem is somewhat analogous to that of Newton and Wigner [29] in their treatment of the Klein-Gordon equation in

> *<sup>∂</sup>x<sup>μ</sup>* � *<sup>i</sup>* 2

*∂pμ*

*λμx*\_ *γ x*\_ *λ*

*:* (35)

*<sup>ν</sup>,* (36)

*<sup>∂</sup>x<sup>μ</sup> ,* (37)

*:* (38)

*<sup>τ</sup>*ð Þ *x χτ*ð Þ *x :* (40)

*g* p in the

(41)

*ψτ*ð Þ¼ *x Kψτ*ð Þ *x ,* (39)

In the flat space limit, this relation reduces to the SHP bracket,

$$[\xi^{\mu}, \pi^{\nu}]\_{PB}(\xi, \pi) = \eta^{\mu\nu}. \tag{28}$$

Continuing our analysis with *p<sup>μ</sup>* (we drop the ð Þ *x; p* label on the Poisson bracket henceforth),

$$\left[p\_{\mu}, F(\mathfrak{x})\right]\_{PB} = -\frac{\partial F}{\partial \mathfrak{x}^{\mu}},\tag{29}$$

so that *p<sup>μ</sup>* acts infinitesimally as the *generator of translation* along the coordinate curves and

$$[\![\mathfrak{x}^{\mu}, F(p)]\_{PB} = \frac{\partial F(p)}{\partial p\_{\mu}},\tag{30}$$

so that *<sup>x</sup><sup>μ</sup>* is the generator of translations in *<sup>p</sup>μ*. In the classical case, if *F p*ð Þ is a general function of *p<sup>μ</sup>*, we can write at some point *x*, 3

$$[\mathfrak{x}^{\mu}, F(p)]\_{PB} = \mathfrak{g}^{\mu\nu}(\mathfrak{x}) \frac{\partial F(p)}{\partial p^{\nu}}.\tag{31}$$

This structure clearly provides a phase space which could serve as the basis for the construction of a canonical quantum theory on the curved spacetime.

We now turn to a discussion of the dynamics introduced into the curved space by the procedure outlined above.

We may also write (22) in terms of the full connection form by noting that with (9),

$$\frac{\partial \mathbf{g}\_{\lambda \mathbf{y}}}{\partial \mathbf{x}^{\mu}} = \eta\_{a\beta} \left( \frac{\partial^2 \xi^a}{\partial \mathbf{x}^{\lambda} \partial \mathbf{x}^{\mu}} \frac{\partial \xi^{\beta}}{\partial \mathbf{x}^{\gamma}} + \frac{\partial \xi^a}{\partial \mathbf{x}^{\lambda}} \frac{\partial^2 \xi^{\beta}}{\partial \mathbf{x}^{\gamma} \partial \mathbf{x}^{\mu}} \right). \tag{32}$$

Multiplying by *x*\_ *<sup>γ</sup> x*\_ *<sup>λ</sup>*, the two terms combine to give a factor of two. We then return to the original definition of Γ in (20) in the form

$$\frac{\partial^2 \xi^a}{\partial \mathbf{x}^i \partial \mathbf{x}^\mu} = \frac{\partial \xi^a}{\partial \mathbf{x}^\sigma} \Gamma^\sigma\_{\phantom{\mu}\mu \nu} \tag{33}$$

so we can write

$$\begin{split} \frac{\partial \mathbf{g}\_{\dot{\lambda}\dot{\gamma}}}{\partial \mathbf{x}^{\mu}} \dot{\mathbf{x}}^{\gamma} \dot{\mathbf{x}}^{\dot{\lambda}} &= 2 \eta\_{a\dot{\theta}} \frac{\partial \xi^{a}}{\partial \mathbf{x}^{\sigma}} \frac{\partial \xi^{\beta}}{\partial \mathbf{x}^{\gamma}} \Gamma^{\sigma}{}\_{\dot{\lambda}\mu} \dot{\mathbf{x}}^{\dot{\lambda}} \dot{\mathbf{x}}^{\dot{\lambda}} \\ &= 2 \mathbf{g}\_{\sigma\gamma} \Gamma^{\sigma}{}\_{\dot{\lambda}\mu} \dot{\mathbf{x}}^{\gamma} \dot{\mathbf{x}}^{\dot{\lambda}}. \end{split} \tag{34}$$

<sup>3</sup> In the quantized form, the factor *<sup>g</sup>μν*ð Þ *<sup>x</sup>* cannot be factored out from polynomials, so, as for Dirac'<sup>s</sup> quantization procedure [22–25], some care is required.

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein… DOI: http://dx.doi.org/10.5772/intechopen.88154*

We therefore have

The Poisson bracket of *x<sup>μ</sup>* with the (physical energy momentum) tangent space

Continuing our analysis with *p<sup>μ</sup>* (we drop the ð Þ *x; p* label on the Poisson bracket

so that *p<sup>μ</sup>* acts infinitesimally as the *generator of translation* along the coordinate

*<sup>x</sup><sup>μ</sup>* ½ � *; F p*ð Þ *PB* <sup>¼</sup> *<sup>∂</sup>F p*ð Þ

so that *<sup>x</sup><sup>μ</sup>* is the generator of translations in *<sup>p</sup>μ*. In the classical case, if *F p*ð Þ is a

This structure clearly provides a phase space which could serve as the basis for

We now turn to a discussion of the dynamics introduced into the curved space

*∂ξβ ∂x<sup>γ</sup>* þ *∂ξα ∂x<sup>λ</sup>*

� �

*<sup>∂</sup>x<sup>σ</sup>* <sup>Γ</sup>*<sup>σ</sup>*

*∂ξ<sup>α</sup> ∂x<sup>σ</sup>*

> *λμx*\_ *γ x*\_ *λ :*

<sup>¼</sup> <sup>2</sup>*gσγ*Γ*<sup>σ</sup>*

<sup>3</sup> In the quantized form, the factor *<sup>g</sup>μν*ð Þ *<sup>x</sup>* cannot be factored out from polynomials, so, as for Dirac'<sup>s</sup>

*∂ξ<sup>β</sup> <sup>∂</sup>x<sup>γ</sup>* <sup>Γ</sup>*<sup>σ</sup> λμx*\_ *γ x*\_ *λ*

*∂*2 *ξβ ∂xγ∂x<sup>μ</sup>*

, the two terms combine to give a factor of two. We then

We may also write (22) in terms of the full connection form by noting that

*<sup>x</sup><sup>μ</sup>* ½ � *; F p*ð Þ *PB* <sup>¼</sup> *<sup>g</sup>μν*ð Þ *<sup>x</sup>*

the construction of a canonical quantum theory on the curved spacetime.

*∂*2 *ξα ∂xλ∂x<sup>μ</sup>*

*∂*2 *ξα <sup>∂</sup>x<sup>λ</sup>∂x<sup>μ</sup>* <sup>¼</sup> *<sup>∂</sup>ξα*

*PB* ¼ � *<sup>∂</sup><sup>F</sup>*

*∂pμ*

3

*<sup>∂</sup>F p*ð Þ

In the flat space limit, this relation reduces to the SHP bracket,

*pμ; F x*ð Þ h i

general function of *p<sup>μ</sup>*, we can write at some point *x*,

*<sup>∂</sup>gλγ <sup>∂</sup>x<sup>μ</sup>* <sup>¼</sup> *ηαβ*

return to the original definition of Γ in (20) in the form

*∂gλγ <sup>∂</sup>x<sup>μ</sup> <sup>x</sup>*\_ *γ x*\_ *<sup>λ</sup>* <sup>¼</sup> <sup>2</sup>*ηαβ*

*x*\_ *λ*

quantization procedure [22–25], some care is required.

by the procedure outlined above.

Multiplying by *x*\_ *<sup>γ</sup>*

so we can write

*ξμ*

*<sup>x</sup><sup>μ</sup>; <sup>p</sup><sup>ν</sup>* ½ �*PB*ð Þ¼ *<sup>x</sup>; <sup>p</sup> <sup>g</sup>μν:* (27)

*; <sup>π</sup><sup>ν</sup>* ½ �*PB*ð Þ¼ *<sup>ξ</sup>; <sup>π</sup> ημν:* (28)

*<sup>∂</sup>x<sup>μ</sup> ,* (29)

*,* (30)

*<sup>∂</sup>p<sup>ν</sup> :* (31)

*:* (32)

(34)

*λμ,* (33)

variable *p<sup>μ</sup>* has then the tensor form

henceforth),

*Progress in Relativity*

curves and

with (9),

**144**

$$\dot{p}\_{\mu} = -\frac{\partial V(\mathbf{x})}{\partial \mathbf{x}^{\mu}} + \mathbf{M} \mathbf{g}\_{\sigma \gamma} \Gamma^{\sigma}{}\_{\lambda \mu} \dot{\mathbf{x}}^{\gamma} \dot{\mathbf{x}}^{\lambda}. \tag{35}$$

### **3. Quantum theory on the curved space**

The Poisson bracket formulas (25) and (26) can be considered as a basis for defining a quantum theory with canonical commutation relations

$$\left[\mathfrak{x}^{\mu}, p\_{\nu}\right] = i\hbar \delta^{\mu}\_{\ \nu} \tag{36}$$

so that

$$\left[p\_{\mu}, F(\varkappa)\right] = -i\hbar \frac{\partial F}{\partial \varkappa^{\mu}},\tag{37}$$

and

$$[\!\!x^{\mu}, F(p)] = i\hbar \frac{\partial F(p)}{\partial p\_{\mu}}.\tag{38}$$

The transcription of the Stueckelberg-Schrödinger equation for a wave function *ψτ*ð Þ *x* can be taken to be (see also [26–28])

$$i\frac{\partial}{\partial \tau}\varphi\_{\tau}(\mathbf{x}) = K\varphi\_{\tau}(\mathbf{x}),\tag{39}$$

where the operator valued Hamiltonian can be taken to be the Hermitian form (42), written below, on a Hilbert space defined with scalar product (with invariant measure; we write *<sup>g</sup>* ¼ �det *<sup>g</sup>μν* f g),

$$\hat{\mu}(\boldsymbol{\mu},\boldsymbol{\chi}) = \int d^4 \mathbf{x} \sqrt{\mathbf{g}} \boldsymbol{\nu}^\* \, \_\tau(\mathbf{x}) \boldsymbol{\chi}\_\tau(\mathbf{x}).\tag{40}$$

To construct a Hermitian Hamiltonian, we first study the properties of the canonical momentum in coordinate representation. Clearly, in coordinate representation, �*<sup>i</sup> <sup>∂</sup> <sup>∂</sup>x<sup>μ</sup>* is not Hermitian due to the presence of the factor ffiffi *g* p in the integrand of the scalar product. The problem is somewhat analogous to that of Newton and Wigner [29] in their treatment of the Klein-Gordon equation in momentum space. It is easily seen that the operator

$$p\_{\mu} = -i \frac{\partial}{\partial \mathbf{x}^{\mu}} - \frac{i}{2} \frac{\mathbf{1}}{\sqrt{\mathbf{g}(\mathbf{x})}} \frac{\partial}{\partial \mathbf{x}^{\mu}} \sqrt{\mathbf{g}(\mathbf{x})} \tag{41}$$

is essentially self-adjoint in the scalar product (40), satisfying as well as the commutation relations (36).<sup>4</sup>

<sup>4</sup> The physically observable momentum can be defined, as in (15), as <sup>1</sup> <sup>2</sup> *<sup>g</sup>μν; <sup>p</sup><sup>ν</sup>* � �, with commutation relations of the form (27). This operator can be transformed, as for the Newton-Wigner operator [29], to the form �*<sup>i</sup> <sup>∂</sup> <sup>∂</sup>x<sup>μ</sup>* by the Foldy-Wouthuysen transformation [30] ð Þ *g x*ð Þ <sup>1</sup> <sup>4</sup>*pμ*ð Þ *g x*ð Þ �<sup>1</sup> 4.

Since *p<sup>μ</sup>* is Hermitian in the scalar product (41), we can write the Hermitian Hamiltonian as

$$K = \frac{1}{2M} p\_{\mu} \mathbf{g}^{\mu \nu} p\_{\nu} + V(x), \tag{42}$$

<sup>&</sup>lt;*x*∣*p*<sup>&</sup>gt; <sup>¼</sup> <sup>1</sup>

<*p*∣*x*> ¼

we have, for example, the usual action of transformation functions

<*x*∣*p*> <*p*∣*f*>*d*<sup>4</sup>

ð Þ <sup>2</sup>*<sup>π</sup>* <sup>4</sup> ffiffiffiffiffiffiffiffiffi *g x*ð Þ <sup>p</sup>

to satisfy the necessary transformation laws on the manifold. Conversely (the

∣*x*> < *x*∣*p*>*d*<sup>4</sup>

*<sup>p</sup>* <sup>¼</sup> <sup>1</sup>

plex conjugates of each other, but require nontrivial factors of ffiffiffiffiffiffiffiffiffi

*peip<sup>μ</sup> <sup>x</sup>μ*�*x*<sup>0</sup>

ð *d*4 *x* ð *d*4 *p*0 *e*

that is, exchanging the order of integrations, on the set <sup>~</sup>*f p*ð Þg <sup>n</sup>

ð *d*4

ð Þ <sup>2</sup>*<sup>π</sup>* <sup>4</sup>

*<sup>x</sup><sup>μ</sup>* <sup>¼</sup> *xB*

<sup>5</sup> We follow here essentially the method discussed in Reed and Simon [31] in their discussion of the

*g x*ð Þ <sup>p</sup> and its inverse cancel), we should obtain

ð

>*d*<sup>4</sup>

ð <*p*<sup>0</sup>

ð *d*4

<sup>~</sup>*f p*ð Þ¼ <sup>1</sup>

<sup>Δ</sup> *<sup>p</sup>* � *<sup>p</sup>*<sup>0</sup> ð Þ¼ <sup>1</sup>

the local tangent space in that neighborhood. We write

ð Þ <sup>2</sup>*<sup>π</sup>* <sup>4</sup>

where we have used

factors ffiffiffiffiffiffiffiffiffi

we must have

where

Lebesgue integral.

**147**

Ð <*x*∣*p*> < *p*∣*x*<sup>0</sup>

<sup>¼</sup> *<sup>δ</sup>*<sup>4</sup> *<sup>x</sup>* � *<sup>x</sup>*<sup>0</sup> ð Þ*:*

*DOI: http://dx.doi.org/10.5772/intechopen.88154*

simple, but not trivial, proof of (53). For

ð Þ <sup>2</sup>*<sup>π</sup>* <sup>4</sup> ffiffiffiffiffiffiffiffiffi *g x*ð Þ <sup>p</sup> *<sup>e</sup>*

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein…*

ð *d*4

Note that the transformation functions <*x*∣*p*> and <*p*∣*x*> are not simple com-

The validity of (53) is not obvious on a curved space. We therefore provide a

*<sup>μ</sup>* ð Þ <sup>¼</sup> ð Þ <sup>2</sup>*<sup>π</sup>* <sup>4</sup> *<sup>δ</sup>*<sup>4</sup> *<sup>x</sup>* � *<sup>x</sup>*<sup>0</sup> ð Þ ffiffi

*xei pμ*�*p*<sup>0</sup> ð Þ*<sup>μ</sup> <sup>x</sup><sup>μ</sup>*

We now represent the integral as a sum over small boxes around the set of points f g *xB* that cover the space and eventually take the limit as for a Riemann integral.<sup>5</sup> In each small box, the coordinatization arises from an invertible transformation from

*pe*�*ipμx<sup>μ</sup> e ipμx*0 *μ*

ffiffiffiffiffiffiffiffiffi *g x*ð Þ <sup>q</sup> *e ipμx<sup>μ</sup> ,*

�*ipμx<sup>μ</sup>*

*p* ¼ <*x*∣*f*>*,* (51)

ffiffiffiffiffiffiffiffiffiffi *g x*<sup>0</sup> ð Þ <sup>q</sup>

*<sup>x</sup>* <sup>¼</sup> *<sup>δ</sup>*<sup>4</sup> *<sup>p</sup>*<sup>0</sup> ð Þ � *<sup>p</sup> :* (53)

*<sup>g</sup>* <sup>p</sup> (54)

,

<sup>¼</sup> *<sup>δ</sup>*<sup>4</sup> *<sup>p</sup>* � *<sup>p</sup>*<sup>0</sup> ð Þ*:* (56)

*<sup>μ</sup>* <sup>þ</sup> *ημ* <sup>∈</sup> box B (57)

*i pμ*�*p*<sup>0</sup> ð Þ*<sup>μ</sup> xmu*~*f p*<sup>0</sup> ð Þ*,* (55)

(50)

(52)

*g x*ð Þ <sup>p</sup> and its inverse

consistent with the local coordinate transformation of (1). The integration (40) must be considered as a total volume sum with invariant measure on the whole space, consistent with the notion of Lebesgue measure and the idea that the norm is the sum of probability measures on every subset contained. We return to this point in our discussion of the Fourier transform below.

### **4. Canonical quantum theory and the Fourier transform**

To complete the construction of a canonical quantum theory on the curved space of GR, we discuss first the formulation of the Fourier transform *f x*ð Þ! <sup>~</sup>*f p*ð Þ for a scalar function *f x*ð Þ (we shall use *<sup>x</sup><sup>μ</sup>* and the canonically conjugate *<sup>p</sup><sup>μ</sup>* in this discussion). Let us define (*g* � �det*gμν*)

$$\tilde{f}(p) = \int d^4 \mathbf{x} \sqrt{\mathbf{g}(\mathbf{x})} e^{ip\_\mu \mathbf{x}^\mu} f(\mathbf{x}). \tag{43}$$

The inverse is given by

$$\int e^{-ip\_{\mu}x^{\mu}}\tilde{f}(p)d^{4}p = \int d^{4}p e^{-ip\_{\mu}(\mathbf{x}^{\mu}-\mathbf{x}^{\mu})}f(\mathbf{x}')\sqrt{\mathbf{g}(\mathbf{x}')}d^{4}\mathbf{x}' = (2\pi)^{4}f(\mathbf{x})\sqrt{\mathbf{g}(\mathbf{x})}\tag{44}$$

so that

$$\tilde{f}'(p) = \frac{1}{\left(2\pi\right)^4 \sqrt{\mathcal{g}(\infty)}} \left[ e^{-ip\_\mu \mathbf{x}^\mu} \tilde{f}(p) d^4 p \right. \tag{45}$$

One sees immediately that under diffeomorphisms, for which with the scalar property *f x*ð Þ¼ *<sup>f</sup>*<sup>0</sup> *<sup>x</sup>*<sup>0</sup> ð Þ, <sup>~</sup>*f p*ð Þ! <sup>~</sup>*<sup>f</sup>* <sup>0</sup> ð Þ *p* . The Fourier transform of *f*<sup>0</sup> *x*<sup>0</sup> ð Þ is

$$\tilde{f}'(p) = \int d^4 \mathbf{x}' \sqrt{\mathbf{g}(\mathbf{x}')} \epsilon^{ip\_\mu \mathbf{x}''} f'(\mathbf{x}'),\tag{46}$$

By change of integration variables, we have

$$\bar{f}'(p) = \int d^4x \sqrt{g(\varkappa)} e^{ip\_\mu \varkappa^\mu} f'(\varkappa),\tag{47}$$

In Dirac notation,

$$f(\mathbf{x}) = <\mathbf{x}|\mathbf{f}>,\tag{48}$$

and we write as well

$$
\tilde{f}(p) = . \tag{49}
$$

For

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein… DOI: http://dx.doi.org/10.5772/intechopen.88154*

$$\begin{split} \mathbf{x} < \mathbf{x} | p> &= \frac{1}{\left(2\pi\right)^{4} \sqrt{\mathbf{g}(\mathbf{x})}} e^{-i p\_{\mu} \mathbf{x}^{\mu}} \\ < p|\mathbf{x}> &= \sqrt{\mathbf{g}(\mathbf{x})} e^{i p\_{\mu} \mathbf{x}^{\mu}}, \end{split} \tag{50}$$

we have, for example, the usual action of transformation functions

$$\int d^4p=,\tag{51}$$

where we have used

Since *p<sup>μ</sup>* is Hermitian in the scalar product (41), we can write the Hermitian

consistent with the local coordinate transformation of (1). The integration (40) must be considered as a total volume sum with invariant measure on the whole space, consistent with the notion of Lebesgue measure and the idea that the norm is the sum of probability measures on every subset contained. We return to this point

To complete the construction of a canonical quantum theory on the curved space of GR, we discuss first the formulation of the Fourier transform *f x*ð Þ! <sup>~</sup>*f p*ð Þ for a scalar function *f x*ð Þ (we shall use *<sup>x</sup><sup>μ</sup>* and the canonically conjugate *<sup>p</sup><sup>μ</sup>* in this

> ffiffiffiffiffiffiffiffiffi *g x*ð Þ q

> > ð *e* �*ipμx<sup>μ</sup>*

ffiffiffiffiffiffiffiffiffiffi *g x*<sup>0</sup> ð Þ q

ffiffiffiffiffiffiffiffiffi *g x*ð Þ q

*e ipμx*0 *μ*

*e ipμx<sup>μ</sup> f*0

One sees immediately that under diffeomorphisms, for which with the scalar

*e ipμx<sup>μ</sup>*

ffiffiffiffiffiffiffiffiffiffi *g x*<sup>0</sup> ð Þ q

*d*4

*<sup>x</sup>*<sup>0</sup> <sup>¼</sup> ð Þ <sup>2</sup>*<sup>π</sup>* <sup>4</sup>

<sup>~</sup>*f p*ð Þ*d*<sup>4</sup>

ð Þ *p* . The Fourier transform of *f*<sup>0</sup> *x*<sup>0</sup> ð Þ is

<sup>2</sup>*<sup>M</sup> <sup>p</sup><sup>μ</sup> <sup>g</sup>μνp<sup>ν</sup>* <sup>þ</sup> *V x*ð Þ*,* (42)

*f x*ð Þ*:* (43)

ffiffiffiffiffiffiffiffiffi *g x*ð Þ q

*p:* (45)

*f*<sup>0</sup> *x*<sup>0</sup> ð Þ*,* (46)

ð Þ *x ,* (47)

*f x*ð Þ¼ < *x*∣*f*>*,* (48)

<sup>~</sup>*f p*ð Þ¼ <sup>&</sup>lt;*p*∣*f*>*:* (49)

(44)

*f x*ð Þ

*<sup>K</sup>* <sup>¼</sup> <sup>1</sup>

**4. Canonical quantum theory and the Fourier transform**

<sup>~</sup>*f p*ð Þ¼

*pe*�*ip<sup>μ</sup> <sup>x</sup>μ*�*x*<sup>0</sup>

ð *d*4 *x*

*<sup>μ</sup>* ð Þ*f x*<sup>0</sup> ð Þ

1 ð Þ <sup>2</sup>*<sup>π</sup>* <sup>4</sup> ffiffiffiffiffiffiffiffiffi *g x*ð Þ <sup>p</sup>

> ð *d*4 *x*0

> > ð *d*4 *x*

in our discussion of the Fourier transform below.

discussion). Let us define (*g* � �det*gμν*)

*p* ¼ ð *d*4

> ~*f* 0 ð Þ¼ *p*

> > ~*f* 0 ð Þ¼ *p*

By change of integration variables, we have

~*f* 0 ð Þ¼ *p*

The inverse is given by

<sup>~</sup>*f p*ð Þ*d*<sup>4</sup>

property *f x*ð Þ¼ *<sup>f</sup>*<sup>0</sup> *<sup>x</sup>*<sup>0</sup> ð Þ, <sup>~</sup>*f p*ð Þ! <sup>~</sup>*<sup>f</sup>* <sup>0</sup>

In Dirac notation,

and we write as well

For

**146**

ð *e* �*ipμx<sup>μ</sup>*

so that

Hamiltonian as

*Progress in Relativity*

$$\begin{split} \int \lhd \mathbf{x} | p > q | \mathbf{x}' > d^4 p = \frac{1}{(2\pi)^4 \sqrt{\mathbf{g}(\mathbf{x})}} \int d^4 p e^{-ip\_\mu \mathbf{x}''} e^{ip\_\mu \mathbf{x}''} \sqrt{\mathbf{g}(\mathbf{x}')} \\ = \delta^4(\mathbf{x} - \mathbf{x}'). \end{split} \tag{52}$$

Note that the transformation functions <*x*∣*p*> and <*p*∣*x*> are not simple complex conjugates of each other, but require nontrivial factors of ffiffiffiffiffiffiffiffiffi *g x*ð Þ <sup>p</sup> and its inverse to satisfy the necessary transformation laws on the manifold. Conversely (the factors ffiffiffiffiffiffiffiffiffi *g x*ð Þ <sup>p</sup> and its inverse cancel), we should obtain

$$\int  < \mathfrak{x}|p > d^4 \mathfrak{x} = \delta^4(p'-p). \tag{53}$$

The validity of (53) is not obvious on a curved space. We therefore provide a simple, but not trivial, proof of (53). For

$$\int d^4 p e^{ip\_\mu(\mathbf{x}^\mu - \mathbf{x}^\mu)} = (2\pi)^4 \frac{\delta^4(\mathbf{x} - \mathbf{x}')}{\sqrt{\mathfrak{g}}} \tag{54}$$

we must have

$$\hat{f}(p) = \frac{1}{\left(2\pi\right)^{4}} \left\{ d^{4} \propto \int d^{4}p' e^{i\left(p\_{\mu} - p'\_{\mu}\right) \mathbf{x}^{\ast \mu}} \tilde{f}(p'), \tag{55}$$

that is, exchanging the order of integrations, on the set <sup>~</sup>*f p*ð Þg <sup>n</sup> ,

$$
\Delta(p - p') = \frac{1}{\left(2\pi\right)^4} \int d^4x e^{i\left(p\_\mu - p'\_\mu\right)x^\mu} = \delta^4(p - p').\tag{56}
$$

We now represent the integral as a sum over small boxes around the set of points f g *xB* that cover the space and eventually take the limit as for a Riemann integral.<sup>5</sup> In each small box, the coordinatization arises from an invertible transformation from the local tangent space in that neighborhood. We write

$$
\boldsymbol{\infty}^{\mu} = \boldsymbol{\infty}\_{B}{}^{\mu} + \boldsymbol{\eta}^{\mu} \in \mathbf{boxB} \tag{57}
$$

where

<sup>5</sup> We follow here essentially the method discussed in Reed and Simon [31] in their discussion of the Lebesgue integral.

$$
\eta^{\mu} = \frac{\partial \mathfrak{x}^{\mu}}{\partial \xi^{\lambda}} \xi^{\lambda} \tag{58}
$$

We may then write (59) as

*DOI: http://dx.doi.org/10.5772/intechopen.88154*

space f g*<sup>ξ</sup>* , for which *xB* � *<sup>ξ</sup><sup>B</sup>* to obtain<sup>6</sup>

type integral on a flat space:

below. In the small box, say, size ϵ,

Ð <sup>ϵ</sup>*=*<sup>2</sup> �ϵ*=*<sup>2</sup> *<sup>d</sup>ξ*<sup>0</sup>*dξ*<sup>1</sup>

or<sup>7</sup>

without proof.

**149**

*d*4

<sup>Δ</sup> *<sup>p</sup>* � *<sup>p</sup>*<sup>0</sup> ð Þ¼ <sup>1</sup>

<sup>Δ</sup> *<sup>p</sup>* � *<sup>p</sup>*<sup>0</sup> ð Þ¼ <sup>1</sup>

<sup>Δ</sup> *<sup>p</sup>* � *<sup>p</sup>*<sup>0</sup> ð Þ¼ <sup>1</sup>

If the measure is differentiable, we could write

*dξ*<sup>2</sup> *dξ*<sup>3</sup> *e*

so that *m ξ; p* � *p*<sup>0</sup> ð Þ¼ 1, and we have

ð Þ <sup>2</sup>*<sup>π</sup>* <sup>4</sup> <sup>Σ</sup>*Be*

ð Þ <sup>2</sup>*<sup>π</sup>* <sup>4</sup> <sup>Σ</sup>*Be*

ð Þ <sup>2</sup>*<sup>π</sup>* <sup>4</sup>

ð *e*

*<sup>d</sup>μ ξ; <sup>p</sup>* � *<sup>p</sup>*<sup>0</sup> ð Þ¼ *<sup>m</sup> <sup>ξ</sup>; <sup>p</sup>* � *<sup>p</sup>*<sup>0</sup> ð Þ*d*<sup>4</sup>

support for *p*<sup>0</sup> ! ∞ vanishes, so that *p* � *p*<sup>0</sup> is essentially bounded, as we discuss

ð Þ <sup>2</sup>*<sup>π</sup>* <sup>4</sup>

It is clear that the assertion (69) requires some discussion. For ϵ ! 0 we must be sure that *p*<sup>0</sup> does not become too large, so that our local measure is equivalent to

*ξ*. In one of the dimensions, what we want to find are conditions for which

*sinp*ϵ

<sup>7</sup> Note that Abraham et al. [34] apply the formal Fourier transform on a manifold in three dimensions

<sup>6</sup> Similar to the method followed in the simpler case of constant curvature by Georgiev [33].

ð *e*

*i pμ*�*p*<sup>0</sup> ð Þ*<sup>μ</sup> <sup>ξ</sup><sup>μ</sup>*

<sup>Δ</sup> *<sup>p</sup>* � *<sup>p</sup>*<sup>0</sup> ð Þ¼ <sup>1</sup>

Since the kernel <sup>Δ</sup> *<sup>p</sup>* � *<sup>p</sup>*<sup>0</sup> ð Þ is to act on elements of a Hilbert space <sup>~</sup>*f p*ð Þ n o, the

<sup>¼</sup> ð Þ <sup>2</sup>*<sup>i</sup>* <sup>4</sup>

Π*<sup>j</sup>*¼<sup>3</sup> *j*¼0

*ξ,*

*d*4

<sup>Δ</sup> *<sup>p</sup>* � *<sup>p</sup>*<sup>0</sup> ð Þ¼ *<sup>δ</sup>*<sup>4</sup> *<sup>p</sup>* � *<sup>p</sup>*<sup>0</sup> ð Þ*:* (71)

*<sup>p</sup>* ! <sup>ϵ</sup> (72)

! <sup>ϵ</sup><sup>4</sup> � *<sup>d</sup>*<sup>4</sup>

*i pμ*�*p*<sup>0</sup> ð Þ*<sup>μ</sup> <sup>ξ</sup><sup>μ</sup>*

sin *pj* � *p*<sup>0</sup>

*pj* � *p*<sup>0</sup> *j* � �

*j* � � ϵ

2

*ξ,* (70)

(69)

*i pμ*�*p*<sup>0</sup> ð Þ*<sup>μ</sup> xB*

*i pμ*�*p*<sup>0</sup> ð Þ*<sup>μ</sup> <sup>ξ</sup><sup>B</sup>*

*i pμ*�*p*<sup>0</sup> ð Þ*<sup>μ</sup> <sup>ξ</sup><sup>μ</sup>*

In the limit of vanishing spacetime box volume, this approaches the Lebesgue-

*μ*

Our construction has so far been based on elements constructed in the tangent space in the neighborhood of each point *B*. Relating all points along a geodesic to the corresponding tangent spaces and putting each patch in correspondence by continuity, we may consider the set f g *xB* to be in correspondence with an extended flat

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein…*

*μ*

Δ*μ B; p* � *p*<sup>0</sup> ð Þ*,* (65)

Δ*μ ξB; p* � *p*<sup>0</sup> ð Þ*,* (66)

*dμ ξ; p* � *p*<sup>0</sup> ð Þ*:* (67)

*ξ:* (68)

and *ξλ* is in the flat local tangent space at *xB*. We now write the integral (56) as

$$\begin{split} \Delta(p - p') &= \frac{1}{\left(2\pi\right)^{4}} \Sigma\_{B} \int\_{B} d^{4}\eta e^{i\left(p\_{\mu} - p'\_{\mu}\right)\left(\mathbf{x}\_{B}\boldsymbol{\tau} + \boldsymbol{\eta}^{\mu}\right)} \\ &= \frac{1}{\left(2\pi\right)^{4}} \Sigma\_{B} e^{i\left(p\_{\mu} - p'\_{\mu}\right)\mathbf{x}\_{B}\boldsymbol{\tau}} \int\_{B} d^{4}\eta e^{i\left(p\_{\mu} - p'\_{\mu}\right)\boldsymbol{\eta}^{\mu}}. \end{split} \tag{59}$$

Let us call

$$I\_B = \int\_B d^4 \eta e^{i \left(p\_\mu - p'\_\mu\right)\eta^\mu}.\tag{60}$$

In this neighborhood, call

$$\frac{\partial \mathfrak{x}^{\mu}}{\partial \xi^{\lambda}} = \mathfrak{a}^{\mu}{}\_{\lambda}(B), \tag{61}$$

which we assume a constant matrix (Lorentz transformation) in each box. In (60), we then have

$$I\_B = \int\_B \frac{d^4 \xi}{\sqrt{\det \mathfrak{a}}} e^{i \left(p\_\mu - p'\_\mu\right) \mathfrak{a}^\mu \iota(B)\xi^\lambda}. \tag{62}$$

However, we can make a change of variables; we are left with

$$I\_{B'} = \int\_B d^4 \xi e^{i \left(p\_\mu - p'\_\mu\right)\xi^\mu}. \tag{63}$$

in each box.

However, the transformations *a<sup>μ</sup> <sup>λ</sup>*ð Þ *B* in the neighborhood of each point *B* may be different, and therefore the set of transformed boxes may not cover (boundary deficits) the full domain of spacetime coordinates (one can easily estimate that the deficit from an arbitrarily selected set can be infinite in the limit).

We may avoid this problem by assuming geodesic completeness of the manifold and taking the covering set of boxes, constructed of parallel transported edges, along geodesic curves. Parallel transport of the tangent space boxes then fills the space in the neighborhood of the geodesic curve we are following, and each infinitesimal box may carry an invariant volume (Liouville-type flow) transported along a geodesic curve. For successive boxes along the geodesic curve, since the boundaries are determined by parallel transport (rectilinear shift in the succession of local tangent spaces), there is no volume deficit between adjacent boxes.

We may furthermore translate a geodesic curve to an adjacent geodesic by the mechanism discussed in [32], so that boxes associated with adjacent geodesics are also related by parallel transport. In this way, we may fill the entire geodesically accessible spacetime volume.

Let us assign a measure to each point *B*:

$$
\Delta\mu(B, p - p') \equiv I\_B. \tag{64}
$$

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein… DOI: http://dx.doi.org/10.5772/intechopen.88154*

We may then write (59) as

*ημ* <sup>¼</sup> *<sup>∂</sup>x<sup>μ</sup>*

ð *B d*4 *ηe*

*i pμ*�*p*<sup>0</sup> ð Þ*<sup>μ</sup> xB*

*i pμ*�*p*<sup>0</sup> ð Þ*<sup>μ</sup> xB*

*μ* ð *B d*4 *ηe*

*i pμ*�*p*<sup>0</sup> ð Þ*<sup>μ</sup> <sup>η</sup><sup>μ</sup>*

*i pμ*�*p*<sup>0</sup> ð Þ*<sup>μ</sup> <sup>a</sup><sup>μ</sup>*

*i pμ*�*p*<sup>0</sup> ð Þ*<sup>μ</sup> <sup>ξ</sup><sup>μ</sup>*

*<sup>λ</sup>*ð Þ *<sup>B</sup> ξλ*

*<sup>μ</sup>*þ*ημ* ð Þ

and *ξλ* is in the flat local tangent space at *xB*.

<sup>Δ</sup> *<sup>p</sup>* � *<sup>p</sup>*<sup>0</sup> ð Þ¼ <sup>1</sup>

ð Þ <sup>2</sup>*<sup>π</sup>* <sup>4</sup> <sup>Σ</sup>*<sup>B</sup>*

<sup>¼</sup> <sup>1</sup> ð Þ <sup>2</sup>*<sup>π</sup>* <sup>4</sup> <sup>Σ</sup>*Be*

> *IB* ¼ ð *B d*4 *ηe*

*IB* ¼ ð *B* *∂x<sup>μ</sup> <sup>∂</sup>ξ<sup>λ</sup>* <sup>¼</sup> *<sup>a</sup><sup>μ</sup>*

*d*4 *ξ* ffiffiffiffiffiffiffiffiffi det*<sup>a</sup>* <sup>p</sup> *<sup>e</sup>*

However, we can make a change of variables; we are left with

*IB*<sup>0</sup> ¼ ð *B d*4 *ξe*

deficit from an arbitrarily selected set can be infinite in the limit).

tangent spaces), there is no volume deficit between adjacent boxes.

which we assume a constant matrix (Lorentz transformation) in each box. In

be different, and therefore the set of transformed boxes may not cover (boundary deficits) the full domain of spacetime coordinates (one can easily estimate that the

and taking the covering set of boxes, constructed of parallel transported edges, along geodesic curves. Parallel transport of the tangent space boxes then fills the space in the neighborhood of the geodesic curve we are following, and each infinitesimal box may carry an invariant volume (Liouville-type flow) transported along a geodesic curve. For successive boxes along the geodesic curve, since the boundaries are determined by parallel transport (rectilinear shift in the succession of local

We may avoid this problem by assuming geodesic completeness of the manifold

We may furthermore translate a geodesic curve to an adjacent geodesic by the mechanism discussed in [32], so that boxes associated with adjacent geodesics are also related by parallel transport. In this way, we may fill the entire geodesically

We now write the integral (56) as

Let us call

*Progress in Relativity*

(60), we then have

in each box.

However, the transformations *a<sup>μ</sup>*

accessible spacetime volume.

**148**

Let us assign a measure to each point *B*:

In this neighborhood, call

*<sup>∂</sup>ξ<sup>λ</sup> <sup>ξ</sup><sup>λ</sup>* (58)

*i pμ*�*p*<sup>0</sup> ð Þ*<sup>μ</sup> <sup>η</sup><sup>μ</sup>*

*:*

*:* (60)

*:* (62)

*:* (63)

*<sup>λ</sup>*ð Þ *B* in the neighborhood of each point *B* may

Δ*μ B; p* � *p*<sup>0</sup> ð Þ� *IB:* (64)

*<sup>λ</sup>*ð Þ *B ,* (61)

(59)

$$
\Delta(p - p') = \frac{1}{\left(2\pi\right)^4} \Sigma\_B \varepsilon^{i\left(p\_\mu - p'\_\mu\right)\ge \delta^\mu} \Delta\mu (B, p - p'), \tag{65}
$$

Our construction has so far been based on elements constructed in the tangent space in the neighborhood of each point *B*. Relating all points along a geodesic to the corresponding tangent spaces and putting each patch in correspondence by continuity, we may consider the set f g *xB* to be in correspondence with an extended flat space f g*<sup>ξ</sup>* , for which *xB* � *<sup>ξ</sup><sup>B</sup>* to obtain<sup>6</sup>

$$
\Delta(p - p') = \frac{1}{\left(2\pi\right)^4} \Sigma\_B e^{i\left(p\_\mu - p'\_\mu\right)\xi\_B\prime} \Delta\mu(\xi\_B, p - p'), \tag{66}
$$

In the limit of vanishing spacetime box volume, this approaches the Lebesguetype integral on a flat space:

$$
\Delta(p - p') = \frac{1}{\left(2\pi\right)^4} \int e^{i\left(p\_\mu - p'\_\mu\right)\xi^\nu} d\mu(\xi, p - p'). \tag{67}
$$

If the measure is differentiable, we could write

$$d\mu(\xi, p - p') = m(\xi, p - p')d^4\xi. \tag{68}$$

Since the kernel <sup>Δ</sup> *<sup>p</sup>* � *<sup>p</sup>*<sup>0</sup> ð Þ is to act on elements of a Hilbert space <sup>~</sup>*f p*ð Þ n o, the support for *p*<sup>0</sup> ! ∞ vanishes, so that *p* � *p*<sup>0</sup> is essentially bounded, as we discuss below. In the small box, say, size ϵ,

$$\begin{split} \int\_{-\epsilon/2}^{\epsilon/2} d\xi^0 d\xi^1 d\xi^2 d\xi^3 \epsilon^{i(p\_\mu - p'\_\mu)\xi^\mu} &= (2i)^4 \Pi\_{j=0}^{j=3} \frac{\sin\left(p\_j - p'\_j\right)\frac{\epsilon}{2}}{\left(p\_j - p'\_j\right)} \\ &\to \epsilon^4 \sim d^4 \xi, \end{split} \tag{69}$$

so that *m ξ; p* � *p*<sup>0</sup> ð Þ¼ 1, and we have

$$
\Delta(p - p') = \frac{1}{\left(2\pi\right)^4} \int e^{i\left(p\_\mu - p'\_\mu\right)\xi^\mu} d^4\xi,\tag{70}
$$

or<sup>7</sup>

$$
\Delta(p - p') = \delta^4(p - p'). \tag{71}
$$

It is clear that the assertion (69) requires some discussion. For ϵ ! 0 we must be sure that *p*<sup>0</sup> does not become too large, so that our local measure is equivalent to *d*4 *ξ*. In one of the dimensions, what we want to find are conditions for which

$$\frac{\sin p\mathbf{e}}{p} \to \mathbf{e} \tag{72}$$

<sup>6</sup> Similar to the method followed in the simpler case of constant curvature by Georgiev [33].

<sup>7</sup> Note that Abraham et al. [34] apply the formal Fourier transform on a manifold in three dimensions without proof.

for ϵ ! 0, where we have written *p* for *p* � *p*<sup>0</sup> . As a distribution, on functions *g p*ð Þ, the left member of (72) acts as

$$G(\epsilon) \equiv \int\_{-\infty}^{\infty} \frac{\sin p\epsilon}{p} \mathbf{g}(p). \tag{73}$$

by geodesic deviation can be formulated by to study stability by transforming a

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein…*

<sup>2</sup>*<sup>M</sup>* <sup>þ</sup> *<sup>V</sup>*ð Þ**<sup>r</sup>** (76)

*,* (77)

*<sup>E</sup>* � *<sup>V</sup> <sup>δ</sup>ij,* (78)

*<sup>k</sup>* � *V x*ð Þ*,* (80)

<sup>2</sup>*<sup>M</sup> <sup>p</sup>μ*~*gμν*ð Þ *<sup>x</sup> <sup>p</sup>ν:* (81)

*<sup>n</sup><sup>μ</sup>n<sup>μ</sup>* ¼ �1*,* (82)

*<sup>n</sup><sup>μ</sup>*ð Þ *<sup>x</sup> <sup>n</sup><sup>ν</sup>*

ð Þ *x :* (83)

<sup>~</sup>*gμν*ð Þ¼ *<sup>x</sup> <sup>ϕ</sup>*ð Þ *<sup>x</sup> <sup>g</sup>μν*ð Þ *<sup>x</sup>* (79)

*<sup>H</sup>* <sup>¼</sup> **<sup>p</sup>**<sup>2</sup>

*<sup>H</sup>* <sup>¼</sup> <sup>1</sup> <sup>2</sup>*<sup>M</sup> pi*

*<sup>g</sup>ij*ð Þ¼ **<sup>r</sup>** *<sup>ϕ</sup>*ð Þ**<sup>r</sup>**

Hamiltonian (8), with the *<sup>g</sup>μν*ð Þ *<sup>x</sup>* of Einstein replaced by the conformal form

*ϕ*ð Þ¼ *x*

*<sup>H</sup>* <sup>¼</sup> <sup>1</sup>

with *k* a point in the spectrum of *K*, so that

a question presently under study.

so that the vector is timelike.

**151**

*<sup>n</sup><sup>μ</sup>*ð Þ *<sup>x</sup>* , satisfying the normalization constraint

*<sup>g</sup>ij*ð Þ**<sup>r</sup>** *pj*

*E*

that is, a conformal factor on the original metric. Applying the same idea to the

*k*

We see that we can in this way achieve the structure proposed by Bekenstein and Milgrom [5–10] systematically. Moreover, in addition to providing a mechanism for achieving a realization of the MOND theory, in the original form (8), the world scalar term *V x*ð Þ could represent the so-called dark energy [2, 3], establishing a relation between the MOND picture and the anomalous expansion of the universe,

The theory proposed by Bekenstein and Milgrom [5–10] did not, however, account for the lensing of light observed when light passes a galaxy. To solve this problem, Bekenstein and Sanders [4] proposed the introduction of a *vector field*

This vector field can then be used to construct a modified meric of the form

With this modification, Bekenstein and Sanders [4] could explain the lensing effect. In the following, we show that this new field may arise from a *non-Abelian* gauge transformation [38, 39] on the quantum theory that we have discussed in Section 3. Although Contaldi et al. [40] point out that a gauge field in this context can have caustic singularities due to the presence of a massive system, Horwitz et al. [2, 3] show that in the limit in which the gauge field approaches the Abelian limit, as

<sup>~</sup>*gμν<sup>T</sup>* <sup>¼</sup> *<sup>ϕ</sup> <sup>g</sup>μν*ð Þþ *<sup>x</sup> <sup>n</sup><sup>μ</sup>*ð Þ *<sup>x</sup> <sup>n</sup><sup>ν</sup>* <sup>ð</sup> ð Þ *<sup>x</sup>* Þ þ *<sup>ϕ</sup>*�<sup>1</sup>

standard nonrelativistic Hamiltonian of the form

*DOI: http://dx.doi.org/10.5772/intechopen.88154*

to the form

with

where

The function *<sup>G</sup>*ð Þ<sup>ϵ</sup> is analytic in the neighborhood of <sup>ϵ</sup> <sup>¼</sup> 0 if *<sup>p</sup>ng p*ð Þ has a Fourier transform for all *n* and the series is convergent in this neighborhood, since *G*ð Þ 0 is identically zero and successive derivatives correspond to the Fourier transforms of *png p*ð Þ (differentiating under the integral). This implies that if the (usual) Fourier transform of *g p*ð Þ is a *<sup>C</sup>*<sup>∞</sup> function (as a simple sufficient condition) in the local tangent space f g*ξ* and we have appropriate convergence properties, we can reliably use the first order term in the Taylor expansion;

$$\frac{d}{d\epsilon} \mathcal{G}(\epsilon)\Big|\_{\epsilon=0} = \int \cos \epsilon p \,\, \mathcal{g}(p)\Big|\_{\epsilon=0} \tag{74}$$

so that, for ϵ ! 0,

$$\mathbf{G}(\boldsymbol{\epsilon}) \to \boldsymbol{\epsilon}\bar{\mathbf{g}}(\mathbf{0}),\tag{75}$$

where ~*g*ð Þ*ξ* is the Fourier transform of *g p*ð Þ. As a distribution on such functions *g p*ð Þ, the assertion (3.39) then follows.

#### **5. Application to the Bekenstein-Sanders fields**

We have discussed the construction of a canonical quantum theory in terms of an embedding of the SHP relativistic classical and quantum theory into general relativity. We show in this section that this systematic embedding provides a framework for the method developed by Bekenstein and Milgrom for understanding the MOND [5–10] that appeared necessary to explain the galactic rotation curves [35].

The remarkable development of observational equipment and power of computation has resulted in the discovery that Newtonian gravitational physics leads to a prediction for the dynamics of stars in galaxies that is not consistent with observation. It was proposed that there should be a matter present which does not radiate light which would resolve this difficulty, but so far no firm evidence of the existence of such matter has emerged. Milgrom [5–10] proposed a modification of Newton's law (MOND) which could resolve the problem. However, since Newton's law of gravitation emerges in the "post-Newtonian approximation" to the geodesic motion in Einstein's theory of gravity [35], the modification of Newton's law must involve a modification of Einstein's theory.<sup>8</sup> Such a modification was proposed by Bekenstein and Milgrom [5–10] in terms of a conformal factor multiplying the usual Einstein metric.

The origin of such a conformal factor can be found in the potential term of the special relativistic SHP theory. The embedding of this theory in GR [20] brings this potential term as a world scalar. The Hamiltonian for the general relativistic case then has the form (8). It was shown by Horwitz et al. [37] that a very sensitive test

<sup>8</sup> Yahalom [36] has proposed an alternative view involving the retardation effects associated with gravitational waves, presently being tested and developed. We do not discuss this approach further here.

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein… DOI: http://dx.doi.org/10.5772/intechopen.88154*

by geodesic deviation can be formulated by to study stability by transforming a standard nonrelativistic Hamiltonian of the form

$$H = \frac{\mathbf{p}^2}{2M} + V(\mathbf{r})\tag{76}$$

to the form

$$H = \frac{1}{2M} p\_i \mathbf{g}^{\circ}(\mathbf{r}) p\_{\circ}.\tag{77}$$

with

for ϵ ! 0, where we have written *p* for *p* � *p*<sup>0</sup>

use the first order term in the Taylor expansion;

so that, for ϵ ! 0,

curves [35].

Einstein metric.

**150**

*g p*ð Þ, the assertion (3.39) then follows.

*d d*ϵ

**5. Application to the Bekenstein-Sanders fields**

*G*ð Þ� ϵ

*G*ð Þϵ <sup>ϵ</sup>¼<sup>0</sup> ¼

� � � � ð<sup>∞</sup> �∞

*sinp*ϵ

The function *<sup>G</sup>*ð Þ<sup>ϵ</sup> is analytic in the neighborhood of <sup>ϵ</sup> <sup>¼</sup> 0 if *<sup>p</sup>ng p*ð Þ has a Fourier transform for all *n* and the series is convergent in this neighborhood, since *G*ð Þ 0 is identically zero and successive derivatives correspond to the Fourier transforms of *png p*ð Þ (differentiating under the integral). This implies that if the (usual) Fourier transform of *g p*ð Þ is a *<sup>C</sup>*<sup>∞</sup> function (as a simple sufficient condition) in the local tangent space f g*ξ* and we have appropriate convergence properties, we can reliably

ð

where ~*g*ð Þ*ξ* is the Fourier transform of *g p*ð Þ. As a distribution on such functions

We have discussed the construction of a canonical quantum theory in terms of an embedding of the SHP relativistic classical and quantum theory into general relativity. We show in this section that this systematic embedding provides a framework for the method developed by Bekenstein and Milgrom for understanding the MOND [5–10] that appeared necessary to explain the galactic rotation

The remarkable development of observational equipment and power of computation has resulted in the discovery that Newtonian gravitational physics leads to a prediction for the dynamics of stars in galaxies that is not consistent with observation. It was proposed that there should be a matter present which does not radiate light which would resolve this difficulty, but so far no firm evidence of the existence of such matter has emerged. Milgrom [5–10] proposed a modification of Newton's law (MOND) which could resolve the problem. However, since Newton's law of gravitation emerges in the "post-Newtonian approximation" to the geodesic motion in Einstein's theory of gravity [35], the modification of Newton's law must involve a modification of Einstein's theory.<sup>8</sup> Such a modification was proposed by Bekenstein and Milgrom [5–10] in terms of a conformal factor multiplying the usual

The origin of such a conformal factor can be found in the potential term of the special relativistic SHP theory. The embedding of this theory in GR [20] brings this potential term as a world scalar. The Hamiltonian for the general relativistic case then has the form (8). It was shown by Horwitz et al. [37] that a very sensitive test

<sup>8</sup> Yahalom [36] has proposed an alternative view involving the retardation effects associated with gravitational waves, presently being tested and developed. We do not discuss this approach further here.

cos ϵ*pgp*ð Þ

� � � � ϵ¼0

*G*ð Þ!ϵ ϵ~*g*ð Þ 0 *,* (75)

*g p*ð Þ, the left member of (72) acts as

*Progress in Relativity*

. As a distribution, on functions

(74)

*<sup>p</sup> g p*ð Þ*:* (73)

$$\mathbf{g}^{\ddagger}(\mathbf{r}) = \phi(\mathbf{r}) \frac{E}{E - V} \delta^{\ddagger},\tag{78}$$

that is, a conformal factor on the original metric. Applying the same idea to the Hamiltonian (8), with the *<sup>g</sup>μν*ð Þ *<sup>x</sup>* of Einstein replaced by the conformal form

$$
\tilde{\mathbf{g}}\,\mu\boldsymbol{\omega}(\mathbf{x}) = \boldsymbol{\phi}(\mathbf{x})\mathbf{g}^{\mu\nu}(\mathbf{x})\tag{79}
$$

where

$$\phi(\mathbf{x}) = \frac{k}{k - V(\mathbf{x})},\tag{80}$$

with *k* a point in the spectrum of *K*, so that

$$H = \frac{1}{2M} p\_{\mu} \tilde{\mathbf{g}} \mu \nu(\mathbf{x}) p\_{\nu}. \tag{81}$$

We see that we can in this way achieve the structure proposed by Bekenstein and Milgrom [5–10] systematically. Moreover, in addition to providing a mechanism for achieving a realization of the MOND theory, in the original form (8), the world scalar term *V x*ð Þ could represent the so-called dark energy [2, 3], establishing a relation between the MOND picture and the anomalous expansion of the universe, a question presently under study.

The theory proposed by Bekenstein and Milgrom [5–10] did not, however, account for the lensing of light observed when light passes a galaxy. To solve this problem, Bekenstein and Sanders [4] proposed the introduction of a *vector field <sup>n</sup><sup>μ</sup>*ð Þ *<sup>x</sup>* , satisfying the normalization constraint

$$n^{\mu}n\_{\mu} = -\mathbf{1},\tag{82}$$

so that the vector is timelike.

This vector field can then be used to construct a modified meric of the form

$$
\tilde{\mathbf{g}}\,\mu\nu\_T = \phi(\mathbf{g}^{\mu\nu}(\mathbf{x}) + n^{\mu}(\mathbf{x})n^{\nu}(\mathbf{x})) + \phi^{-1}n^{\mu}(\mathbf{x})n^{\nu}(\mathbf{x}).\tag{83}
$$

With this modification, Bekenstein and Sanders [4] could explain the lensing effect. In the following, we show that this new field may arise from a *non-Abelian* gauge transformation [38, 39] on the quantum theory that we have discussed in Section 3. Although Contaldi et al. [40] point out that a gauge field in this context can have caustic singularities due to the presence of a massive system, Horwitz et al. [2, 3] show that in the limit in which the gauge field approaches the Abelian limit, as required by Bekenstein and Sanders [4], there is a residual term that can cancel the caustic singularities.

To preserve the normalization condition (83), it is clear that we have the possibility of moving the *n* field on a hyperbola with a Lorentz transformation, which we can perform by a gauge transformation.

A Lorentz transformation on *n<sup>μ</sup>* is noncommutative, and therefore the gauge field is non-Abelian [21].

An analogy can be drawn to the usual Yang-Mills gauge on *SU*ð Þ2 , where there is a two-valued index for the wave function *ψα*ð Þ *x* . The gauge transformation is a two-by-two matrix function of *x* and acts only on the indices *α*. The condition of invariant absolute square (probability) is

$$\sum\_{a} \left| \sum\_{\beta} U\_{a\beta} \boldsymbol{\nu}\_{\beta} \right|^{2} = \sum \left| \boldsymbol{\nu}\_{a} \right|^{2} \tag{84}$$

Under a gauge transformation *<sup>n</sup><sup>μ</sup>* ! *<sup>n</sup>*0*<sup>μ</sup>*, the new fields create field strengths in

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein…*

<sup>þ</sup> *<sup>i</sup>*<sup>ϵ</sup> *<sup>n</sup>*0*<sup>μ</sup>; <sup>n</sup>*0*<sup>ν</sup>* ½ � (90)

*U* ffi 1 þ *iG,* (92)

*,* (91)

<sup>þ</sup> *O G*<sup>2</sup> � �*:* (93)

(95)

2 ,

� *<sup>∂</sup>n*0*<sup>ν</sup> ∂x<sup>μ</sup>*

<sup>0</sup>*μν*ð Þ¼ *<sup>x</sup> Uf μν*ð Þ *<sup>x</sup> <sup>U</sup>*�<sup>1</sup>

ϵ *∂G ∂x<sup>μ</sup>*

� � <sup>þ</sup> *<sup>G</sup>; <sup>n</sup><sup>μ</sup>* ½ � � �*n<sup>μ</sup>*

*∂n<sup>γ</sup>*

� � � �

� *<sup>n</sup><sup>γ</sup> <sup>∂</sup> ∂n<sup>λ</sup>*

� �*:* (94)

� *<sup>n</sup><sup>γ</sup> <sup>∂</sup> ∂n<sup>λ</sup>*

� �*:* (96)

*f*

*DOI: http://dx.doi.org/10.5772/intechopen.88154*

<sup>0</sup>*μν* <sup>¼</sup> *<sup>∂</sup>n*0*<sup>μ</sup> ∂x<sup>ν</sup>*

*f*

*<sup>n</sup>*0*<sup>μ</sup>* <sup>¼</sup> *<sup>n</sup><sup>μ</sup>* <sup>þ</sup> *i G; <sup>n</sup><sup>μ</sup>* ½ �þ <sup>1</sup>

*<sup>μ</sup>* ffi *<sup>n</sup>μn<sup>μ</sup>* <sup>þ</sup> *i n<sup>μ</sup> <sup>G</sup>; <sup>n</sup><sup>μ</sup>*

*<sup>n</sup><sup>μ</sup>* <sup>þ</sup> *<sup>n</sup><sup>μ</sup> <sup>∂</sup><sup>G</sup> ∂x<sup>μ</sup>*

<sup>X</sup> *ωλγ* ð Þ *<sup>n</sup>; <sup>x</sup> ; <sup>n</sup><sup>λ</sup> <sup>∂</sup>*

where symmetrization is required since *ωλγ* is a function of *n* as well as *x* and

*∂n<sup>γ</sup>*

Our investigation in the following will be concerned with a study of the infinitesimal gauge neighborhood of the Abelian limit, where the components of *n<sup>μ</sup>* do not commute and therefore still constitute a Yang-Mills-type field. We shall show in the limit that the corresponding field equations acquire nonlinear terms and may therefore nullify the difficulty found by Contaldi et al. [40] demonstrating a dynamical instability for an Abelian vector-type TeVeS gauge field. They found that nonlinear terms associated with a non-Maxwellian-type action, such as ð Þ *div***n**

could nullify this caustic singularity, so that the nonlinear terms we find as a residue of the Yang-Mills structure induced by our gauge transformation might achieve this

Now, the second term of (94), which is the commutator of *G* with *n<sup>μ</sup>nμ*, vanishes, since this product is Lorentz invariant (the symmetrization in *G* does not

<sup>X</sup> *ωλγ* ð Þ *<sup>n</sup>; <sup>x</sup> ; <sup>N</sup>λγ* � �

*<sup>N</sup>λγ* ¼ �*i n<sup>λ</sup> <sup>∂</sup>*

*∂G ∂x<sup>μ</sup>*

just as in the finite-dimensional Yang-Mills theories.

where *G* is infinitesimal, (87) becomes

*n*0*μn*<sup>0</sup>

*<sup>G</sup>* ¼ � *<sup>i</sup>*<sup>ϵ</sup> 2

> � ϵ 2

We now consider the third term in (94).

þ 1 ϵ

the transformed form

according to

For

Then,

Let us take

effect in a natural way.

affect this result).

**153**

Generalizing this structure, one can take the indices *α* to be infinite dimensional, and even continuous, so that (84) becomes (in the spectral representation for *n<sup>μ</sup>*)

$$\int (dn) \left| \int (dn')U(n,n')\psi(n',\mathfrak{x}) \right|^2 = \int (dn) \left| \psi(n,\mathfrak{x}) \right|^2,\tag{85}$$

implying that *U n; n*<sup>0</sup> ð Þ (at each point *x*) is a unitary operator on a Hilbert space *L*2 ð Þ *dn* . Since we are assuming that *<sup>n</sup><sup>μ</sup>* lies on a hyperbola determined by (83), the measure is

$$\mathbf{u}(dn) = \frac{d^3n}{n^0},\tag{86}$$

that is, a three-dimensional Lorentz invariant integration measure. We now examine the gauge condition:

$$((p^{\mu} - \epsilon n^{\mu})U\psi = U(p^{\mu} - \epsilon n^{\mu})\psi\tag{87}$$

Since the Hermitian operator *p<sup>μ</sup>* acts as a derivative under commutation relations, we obtain

$$m'\_{\mu} = U n\_{\mu} U^{-1} - \frac{i}{\epsilon} \frac{\partial U}{\partial \mathbf{x}^{\mu}} U^{-1},\tag{88}$$

in the same form as the Yang-Mills theory [38, 39]. It is evident in the Yang-Mills theory, due to the operator nature of the second term, the field will be algebravalued, and thus we have the usual structure of the Yang-Mills non-Abelian gauge theory. Here, if the transformation *U* is a Lorentz transformation, the numericalvalued field *n<sup>μ</sup>* would be carried, at least in the first term, to a new value on a hyperbola. However, the second term is operator valued on *L*<sup>2</sup> ð Þ *dn* , and thus, as in the Yang-Mills theory, *n*<sup>0</sup> *<sup>μ</sup>* would become operator valued. Therefore, in general, the gauge field *n<sup>μ</sup>* is operator valued.

It follows from (87) that the "field strengths"

$$f^{\mu\nu} = \frac{\partial n^{\mu}}{\partial \mathbf{x}\_{\nu}} - \frac{\partial n^{\nu}}{\partial \mathbf{x}\_{\mu}} + i\epsilon [n^{\mu}, n^{\nu}].\tag{89}$$

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein… DOI: http://dx.doi.org/10.5772/intechopen.88154*

Under a gauge transformation *<sup>n</sup><sup>μ</sup>* ! *<sup>n</sup>*0*<sup>μ</sup>*, the new fields create field strengths in the transformed form

$$f^{\prime \mu \nu} = \frac{\partial n^{\prime \mu}}{\partial \mathbf{x}\_{\nu}} - \frac{\partial n^{\prime \nu}}{\partial \mathbf{x}\_{\mu}} + i \epsilon [n^{\prime \mu}, n^{\prime \nu}] \tag{90}$$

according to

required by Bekenstein and Sanders [4], there is a residual term that can cancel the

A Lorentz transformation on *n<sup>μ</sup>* is noncommutative, and therefore the gauge

An analogy can be drawn to the usual Yang-Mills gauge on *SU*ð Þ2 , where there is a two-valued index for the wave function *ψα*ð Þ *x* . The gauge transformation is a two-by-two matrix function of *x* and acts only on the indices *α*. The condition of

> � � � � �

2

� � � �

*n*

*<sup>μ</sup>* ð Þ*U<sup>ψ</sup>* <sup>¼</sup> *U p<sup>μ</sup>* � <sup>ϵ</sup>*n<sup>μ</sup>* ð Þ*<sup>ψ</sup>* (87)

*<sup>μ</sup>* would become operator valued. Therefore, in general, the

implying that *U n; n*<sup>0</sup> ð Þ (at each point *x*) is a unitary operator on a Hilbert space

ð Þ *dn* . Since we are assuming that *<sup>n</sup><sup>μ</sup>* lies on a hyperbola determined by (83), the

ð Þ¼ *dn <sup>d</sup>*<sup>3</sup>

Since the Hermitian operator *p<sup>μ</sup>* acts as a derivative under commutation rela-

in the same form as the Yang-Mills theory [38, 39]. It is evident in the Yang-Mills theory, due to the operator nature of the second term, the field will be algebravalued, and thus we have the usual structure of the Yang-Mills non-Abelian gauge theory. Here, if the transformation *U* is a Lorentz transformation, the numericalvalued field *n<sup>μ</sup>* would be carried, at least in the first term, to a new value on a

> � *<sup>∂</sup>n<sup>ν</sup> ∂x<sup>μ</sup>*

<sup>þ</sup> *<sup>i</sup>*<sup>ϵ</sup> *<sup>n</sup><sup>μ</sup>*

ϵ *∂U <sup>∂</sup>x<sup>μ</sup> <sup>U</sup>*�<sup>1</sup>

*<sup>μ</sup>* <sup>¼</sup> *UnμU*�<sup>1</sup> � *<sup>i</sup>*

that is, a three-dimensional Lorentz invariant integration measure.

*<sup>p</sup><sup>μ</sup>* � <sup>ϵ</sup>*n*<sup>0</sup>

*n*0

hyperbola. However, the second term is operator valued on *L*<sup>2</sup>

It follows from (87) that the "field strengths"

*f*

*μν* <sup>¼</sup> *<sup>∂</sup>n<sup>μ</sup> ∂x<sup>ν</sup>* 2 ¼ ð

<sup>¼</sup> <sup>X</sup> *ψα* j j<sup>2</sup> (84)

2

*<sup>n</sup>*<sup>0</sup> *,* (86)

*,* (88)

*; <sup>n</sup><sup>ν</sup>* ½ �*:* (89)

ð Þ *dn* , and thus, as in

*,* (85)

ð Þ *dn* j j *ψ*ð Þ *n; x*

To preserve the normalization condition (83), it is clear that we have the possibility of moving the *n* field on a hyperbola with a Lorentz transformation, which we

caustic singularities.

*Progress in Relativity*

field is non-Abelian [21].

representation for *n<sup>μ</sup>*)

*L*2

measure is

tions, we obtain

the Yang-Mills theory, *n*<sup>0</sup>

**152**

gauge field *n<sup>μ</sup>* is operator valued.

ð ð Þ *dn* ð

� � � �

We now examine the gauge condition:

can perform by a gauge transformation.

invariant absolute square (probability) is

X *α*

X *β*

� � � � �

*Uαβψβ*

Generalizing this structure, one can take the indices *α* to be infinite dimensional, and even continuous, so that (84) becomes (in the spectral

*dn*<sup>0</sup> ð Þ*U n; n*<sup>0</sup> ð Þ*ψ n*<sup>0</sup> ð Þ *; x*

$$f^{\prime \mu \nu}(\mathbf{x}) = \mathcal{U}f^{\mu \nu}(\mathbf{x})U^{-1},\tag{91}$$

just as in the finite-dimensional Yang-Mills theories. For

$$U \cong \mathbf{1} + i\mathbf{G},\tag{92}$$

where *G* is infinitesimal, (87) becomes

$$n^{\prime \mu} = n^{\mu} + i[G, n^{\mu}] + \frac{1}{\epsilon} \frac{\partial G}{\partial \mathfrak{x}\_{\mu}} + O(G^2). \tag{93}$$

Then,

$$n^{\prime \mu} n^{\prime}\_{\;\;\mu} \cong n^{\mu} n\_{\mu} + i \left( n^{\mu} \left[ G, n\_{\mu} \right] + \left[ G, n^{\mu} \right] \right) n\_{\mu}$$

$$+ \frac{1}{\epsilon} \left( \frac{\partial G}{\partial \kappa\_{\mu}} n\_{\mu} + n^{\mu} \frac{\partial G}{\partial \kappa^{\mu}} \right). \tag{94}$$

Let us take

$$\begin{split} G &= -\frac{ie}{2} \sum \left\{ \boldsymbol{\alpha}\_{\dot{\lambda}\gamma}(\boldsymbol{n}, \boldsymbol{\omega}), \left( \boldsymbol{n}^{\dot{\lambda}} \frac{\partial}{\partial \boldsymbol{n}\_{\dot{\gamma}}} - \boldsymbol{n}^{\dot{\gamma}} \frac{\partial}{\partial \boldsymbol{n}\_{\dot{\lambda}}} \right) \right\} \\ &\equiv \frac{e}{2} \sum \left\{ \boldsymbol{\alpha}\_{\dot{\lambda}\gamma}(\boldsymbol{n}, \boldsymbol{\omega}), \boldsymbol{N}^{\dot{\lambda}\gamma} \right\} \end{split} \tag{95}$$

where symmetrization is required since *ωλγ* is a function of *n* as well as *x* and

$$N^{\dot{\lambda}\gamma} = -i\left(n^{\dot{\lambda}}\frac{\partial}{\partial n\_{\gamma}} - n^{\gamma}\frac{\partial}{\partial n^{\dot{\lambda}}}\right). \tag{96}$$

Our investigation in the following will be concerned with a study of the infinitesimal gauge neighborhood of the Abelian limit, where the components of *n<sup>μ</sup>* do not commute and therefore still constitute a Yang-Mills-type field. We shall show in the limit that the corresponding field equations acquire nonlinear terms and may therefore nullify the difficulty found by Contaldi et al. [40] demonstrating a dynamical instability for an Abelian vector-type TeVeS gauge field. They found that nonlinear terms associated with a non-Maxwellian-type action, such as ð Þ *div***n** 2 , could nullify this caustic singularity, so that the nonlinear terms we find as a residue of the Yang-Mills structure induced by our gauge transformation might achieve this effect in a natural way.

Now, the second term of (94), which is the commutator of *G* with *n<sup>μ</sup>nμ*, vanishes, since this product is Lorentz invariant (the symmetrization in *G* does not affect this result).

We now consider the third term in (94).

$$\begin{split} \frac{1}{2} \frac{\partial G}{\partial \mathbf{x}\_{\mu}} n\_{\mu} + n^{\mu} \frac{\partial G}{\partial \mathbf{x}^{\mu}} &= \frac{1}{2} \left\{ \frac{\partial \alpha\_{\lambda \gamma}}{\partial \mathbf{x}\_{\mu}}, N^{\dot{\lambda} \gamma} \right\} n\_{\mu} + n\_{\mu} \left\{ \frac{\partial \alpha\_{\lambda \gamma}}{\partial \mathbf{x}\_{\mu}}, N^{\dot{\lambda} \gamma} \right\} \\ &= \frac{1}{2} N^{\dot{\lambda} \dot{\gamma}} \frac{\partial \alpha\_{\lambda \gamma}}{\partial \mathbf{x}\_{\mu}} n\_{\mu} + \frac{\partial \alpha\_{\lambda \gamma}}{\partial \mathbf{x}\_{\mu}} N^{\dot{\lambda} \gamma} n\_{\mu} + n\_{\mu} N^{\dot{\lambda} \dot{\gamma}} \frac{\partial \alpha\_{\lambda \gamma}}{\partial \mathbf{x}\_{\mu}} + n\_{\mu} \frac{\partial \alpha\_{\lambda \gamma}}{\partial \mathbf{x}\_{\mu}} N^{\dot{\lambda} \gamma} \end{split} \tag{97}$$

There are two terms proportional to

$$\frac{\partial o\_{\vec{\lambda}\vec{\gamma}}}{\partial \kappa\_{\mu}} n\_{\mu}.$$

If we take

$$
\rho\_{\dot{\mathbb{X}}}(n,\boldsymbol{\mathfrak{x}}) = \rho\_{\dot{\mathbb{X}}}(\boldsymbol{k}^{\nu}\boldsymbol{\mathfrak{x}}\_{\nu}),\tag{98}
$$

obtained by varying *ψ* <sup>∗</sup> (or *ψ*), and therefore in the variation with respect to *n*, only

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein…*

� �*<sup>ψ</sup>* <sup>¼</sup> *<sup>p</sup><sup>μ</sup>* � <sup>ϵ</sup>*n<sup>μ</sup>* ð Þ ð Þ*<sup>ψ</sup>* <sup>∗</sup> *<sup>p</sup><sup>μ</sup>* � <sup>ϵ</sup>*n<sup>μ</sup>*

since the Lagrangian density (108) contains an integration over *dn*<sup>0</sup> ð Þ *dn*<sup>00</sup> ð Þ (in spectral representation, considered in lowest order, as well as an integration over

*g x*ð Þ <sup>p</sup> in the action). In the limit in which *<sup>n</sup>* is evaluated in the spectral representation, and noting that *p<sup>μ</sup>* is represented by an imaginary differential operator,

� �*<sup>ψ</sup>* ¼ � *<sup>p</sup><sup>μ</sup>* <sup>þ</sup> <sup>ϵ</sup>*n<sup>μ</sup>* ð ÞÞ*<sup>ψ</sup>* <sup>∗</sup> *<sup>p</sup><sup>μ</sup>* � <sup>ϵ</sup>*n<sup>μ</sup>*

that is, replacing explicitly *<sup>p</sup><sup>μ</sup>* by �*<sup>i</sup> <sup>∂</sup>=∂x<sup>μ</sup>* ð Þ��*i∂<sup>μ</sup>* (since it acts by commutator

For the calculation of the variation of L*<sup>f</sup>* , we note that the commutator term in

*<sup>v</sup><sup>μ</sup>* � *<sup>k</sup><sup>μ</sup>*

*∂*

*<sup>∂</sup>n<sup>γ</sup> <sup>v</sup><sup>μ</sup>* <sup>þ</sup> *<sup>k</sup><sup>ν</sup> <sup>∂</sup>v<sup>μ</sup>*

*<sup>γ</sup>* ð Þþ *<sup>n</sup>* � *<sup>b</sup> <sup>n</sup><sup>ν</sup>*

,

� �*ψ* <sup>∗</sup> � �*ψ* � �*δnμ,* (106)

*<sup>μ</sup>*ð Þ *<sup>n</sup>; <sup>x</sup> <sup>δ</sup>nμ,* (107)

*<sup>n</sup><sup>λ</sup>* � *<sup>v</sup>μ,* (108)

*<sup>v</sup><sup>ν</sup>* ð Þ (109)

*<sup>∂</sup>n<sup>γ</sup> <sup>n</sup>*0*<sup>μ</sup>; <sup>n</sup>*0*<sup>ν</sup>* ½ �*,* (110)

*b<sup>γ</sup> ,* (112)

*<sup>∂</sup>n<sup>γ</sup>* � ð Þ *<sup>μ</sup>* \$ *<sup>ν</sup>* � �*:* (111)

� �*<sup>ψ</sup>* � *<sup>∂</sup><sup>μ</sup>* <sup>þ</sup> *<sup>i</sup>*ϵ*n<sup>μ</sup>*

*δn*L*<sup>m</sup>* ¼ *j*

*<sup>μ</sup>* has the usual form of a gauge invariant current.

*ω*0 *λ μ*

*<sup>n</sup>*0*<sup>μ</sup>; <sup>n</sup>*0*<sup>ν</sup>* ½ �¼ <sup>2</sup>*i k<sup>ν</sup>*

*<sup>δ</sup><sup>n</sup> <sup>n</sup>*0*<sup>μ</sup>; <sup>n</sup>*0*<sup>ν</sup>* ½ �¼ *<sup>δ</sup>n<sup>γ</sup>*

*<sup>∂</sup>n<sup>γ</sup> <sup>n</sup>*0*<sup>μ</sup>; <sup>n</sup>*0*<sup>ν</sup>* ½ �¼ <sup>2</sup>*<sup>i</sup> <sup>∂</sup>k<sup>ν</sup>*

*∂k<sup>ν</sup> <sup>∂</sup>n<sup>γ</sup>* <sup>¼</sup> *<sup>δ</sup><sup>ν</sup>* � �*ψ,* (104)

� �*ψ,* (105)

Note that for the general case of *n* generally operator valued, we can write

the explicit presence of *n* in (103) need be taken into account.

*<sup>ψ</sup>* <sup>∗</sup> *<sup>p</sup><sup>μ</sup>* � <sup>ϵ</sup>*n<sup>μ</sup>* ð Þ *<sup>p</sup><sup>μ</sup>* � <sup>ϵ</sup>*n<sup>μ</sup>*

*DOI: http://dx.doi.org/10.5772/intechopen.88154*

*<sup>ψ</sup>* <sup>∗</sup> *<sup>p</sup><sup>μ</sup>* � <sup>ϵ</sup>*n<sup>μ</sup>* ð Þ *<sup>p</sup><sup>μ</sup>* � <sup>ϵ</sup>*n<sup>μ</sup>*

<sup>2</sup>*<sup>M</sup> <sup>ψ</sup>* <sup>∗</sup> *<sup>∂</sup><sup>μ</sup>* � *<sup>i</sup>*ϵ*n<sup>μ</sup>*

(89) is, in lowest order, a c-number function.

we compute the variation of

*∂*

With our choice of *<sup>k</sup><sup>ν</sup>* <sup>¼</sup> *<sup>n</sup><sup>ν</sup>*ð Þþ *<sup>n</sup>* � *<sup>b</sup> <sup>b</sup><sup>ν</sup>*

ð Þ *dx* ffiffiffiffiffiffiffiffiffi

or

where *j*

Calling

Then, for

we compute

so that

**155**

we can write this as

with the fields); we have

*<sup>δ</sup>n*L*<sup>m</sup>* <sup>¼</sup> �*i*<sup>ϵ</sup>

where *k<sup>ν</sup> n<sup>ν</sup>* ¼ 0, then

$$\frac{\partial \alpha\_{\lambda\gamma}}{\partial \mathbf{x}\_{\mu}} \mathbf{n}\_{\mu} = k^{\mu} \mathbf{n}\_{\mu} \alpha^{\prime}\_{\lambda\gamma} = \mathbf{0}.\tag{99}$$

For the remaining two terms,

$$\begin{split} \boldsymbol{m}\_{\mu} \mathbf{N}^{\dot{\boldsymbol{\lambda}}\dot{\gamma}} \frac{\partial \boldsymbol{\alpha}\_{\dot{\lambda}\dot{\gamma}}}{\partial \boldsymbol{\kappa}\_{\mu}} + \frac{\partial \boldsymbol{\alpha}\_{\dot{\lambda}\dot{\gamma}}}{\partial \boldsymbol{\kappa}\_{\mu}} \mathbf{N}^{\dot{\lambda}\dot{\gamma}} \boldsymbol{n}\_{\mu} \\ = \mathbf{N}^{\dot{\lambda}\dot{\gamma}} \boldsymbol{n}^{\mu} \frac{\partial \boldsymbol{\alpha}\_{\dot{\lambda}\dot{\gamma}}}{\partial \boldsymbol{\kappa}\_{\mu}} \\ + \left[ \boldsymbol{n}\_{\mu}, \mathbf{N}^{\dot{\lambda}\dot{\gamma}} \right] \frac{\partial \boldsymbol{\alpha}\_{\dot{\lambda}\dot{\gamma}}}{\partial \boldsymbol{\kappa}\_{\mu}} + \frac{\partial \boldsymbol{\alpha}\_{\dot{\lambda}\dot{\gamma}}}{\partial \boldsymbol{\kappa}\_{\mu}} \boldsymbol{n}\_{\mu} \mathbf{N}^{\dot{\lambda}\dot{\gamma}} \\ + \frac{\partial \boldsymbol{\alpha}\_{\dot{\lambda}\dot{\gamma}}}{\partial \boldsymbol{\kappa}\_{\mu}} \left[ \mathbf{N}^{\dot{\lambda}\dot{\gamma}}, \boldsymbol{n}\_{\mu} \right]. \end{split} \tag{100}$$

The commutators contain only terms linear in *n<sup>μ</sup>* and they cancel; the remaining terms are zero, and therefore the condition *<sup>n</sup>μn<sup>μ</sup>* ¼ �1 is invariant under this gauge transformation. It involves the coefficient *ωλγ* which is a function of the projection of *x<sup>μ</sup>* onto a hyperplane orthogonal the *n<sup>μ</sup>*. The vector *k<sup>μ</sup>* of course depends on *n<sup>μ</sup>*. We take, for definiteness, *<sup>k</sup><sup>μ</sup>* <sup>¼</sup> *<sup>n</sup><sup>μ</sup>*ð Þþ *<sup>n</sup>* � *<sup>b</sup> <sup>b</sup><sup>μ</sup>* , for some *<sup>b</sup><sup>μ</sup>* 6¼ 0.

We now consider the derivation of field equations from a Lagrangian constructed with the *ψ<sup>s</sup>* and *f μν<sup>f</sup> μν*. We take the Lagrangian to be of the form

$$
\mathcal{L} = \mathcal{L}\_f + \mathcal{L}\_{m\_2} \tag{101}
$$

where

$$\mathcal{L}\_{\!f} = -\frac{1}{4} f^{\mu \nu} f\_{\mu \nu} \tag{102}$$

and

$$\mathcal{L}\_m = \psi^\* \left( i \frac{\partial}{\partial \tau} - \frac{1}{2M} (p^\mu - \epsilon n^\mu) \left( p\_\mu - \epsilon n\_\mu \right) - \Phi \right) \psi + \text{c.c.} \tag{103}$$

In carrying out the variation of L*m*, the contributions of varying the *ψ*s with respect to *n* vanish due to the field equations (Stueckelberg-Schrödinger equation) *Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein… DOI: http://dx.doi.org/10.5772/intechopen.88154*

obtained by varying *ψ* <sup>∗</sup> (or *ψ*), and therefore in the variation with respect to *n*, only the explicit presence of *n* in (103) need be taken into account.

Note that for the general case of *n* generally operator valued, we can write

$$\left(\boldsymbol{\psi}^\* \left(\boldsymbol{p}^\mu - \epsilon n^\mu\right) \left(\boldsymbol{p}\_\mu - \epsilon n\_\mu\right) \boldsymbol{\upmu} = \left((\boldsymbol{p}^\mu - \epsilon n^\mu) \boldsymbol{\upmu}\right)^\* \left(\boldsymbol{p}\_\mu - \epsilon n\_\mu\right) \boldsymbol{\upmu},\tag{104}$$

since the Lagrangian density (108) contains an integration over *dn*<sup>0</sup> ð Þ *dn*<sup>00</sup> ð Þ (in spectral representation, considered in lowest order, as well as an integration over ð Þ *dx* ffiffiffiffiffiffiffiffiffi *g x*ð Þ <sup>p</sup> in the action). In the limit in which *<sup>n</sup>* is evaluated in the spectral representation, and noting that *p<sup>μ</sup>* is represented by an imaginary differential operator, we can write this as

$$(\boldsymbol{\Psi}^\* \left( \boldsymbol{p}^\mu - \epsilon n^\mu \right) \left( \boldsymbol{p}\_\mu - \epsilon n\_\mu \right) \boldsymbol{\Psi} = - (\boldsymbol{p}^\mu + \epsilon n^\mu)) \boldsymbol{\Psi}^\* \left( \boldsymbol{p}\_\mu - \epsilon n\_\mu \right) \boldsymbol{\Psi},\tag{105}$$

that is, replacing explicitly *<sup>p</sup><sup>μ</sup>* by �*<sup>i</sup> <sup>∂</sup>=∂x<sup>μ</sup>* ð Þ��*i∂<sup>μ</sup>* (since it acts by commutator with the fields); we have

$$\delta\_n \mathcal{L}\_m = \frac{-i\varepsilon}{2M} \left\{ \mu^\* \left( \partial\_\mu - i\epsilon n\_\mu \right) \mu - \left( (\partial\_\mu + i\epsilon n\_\mu) \mu^\* \right) \mu \right\} \delta n^\mu,\tag{106}$$

or

1 ϵ *∂G ∂x<sup>μ</sup>* *<sup>n</sup><sup>μ</sup>* <sup>þ</sup> *<sup>n</sup><sup>μ</sup> <sup>∂</sup><sup>G</sup>*

*Progress in Relativity*

If we take

where *k<sup>ν</sup>*

*<sup>∂</sup>x<sup>μ</sup>* <sup>¼</sup> <sup>1</sup> 2

> ¼ 1 2

There are two terms proportional to

*n<sup>ν</sup>* ¼ 0, then

For the remaining two terms,

*∂ωλγ ∂x<sup>μ</sup>*

*<sup>N</sup>λγ <sup>∂</sup>ωλγ ∂x<sup>μ</sup>*

*; Nλγ* 

*n<sup>μ</sup>* þ

*∂ωλγ ∂x<sup>μ</sup>*

*<sup>n</sup>μNλγ <sup>∂</sup>ωλγ ∂x<sup>μ</sup>* þ *∂ωλγ ∂x<sup>μ</sup>*

> þ *∂ωλγ ∂x<sup>μ</sup>*

We take, for definiteness, *<sup>k</sup><sup>μ</sup>* <sup>¼</sup> *<sup>n</sup><sup>μ</sup>*ð Þþ *<sup>n</sup>* � *<sup>b</sup> <sup>b</sup><sup>μ</sup>*

*∂ ∂τ* � 1

constructed with the *ψ<sup>s</sup>* and *f*

<sup>L</sup>*<sup>m</sup>* <sup>¼</sup> *<sup>ψ</sup>* <sup>∗</sup> *<sup>i</sup>*

where

and

**154**

*<sup>n</sup><sup>μ</sup>* <sup>¼</sup> *<sup>k</sup><sup>μ</sup>*

<sup>¼</sup> *<sup>N</sup>λγn<sup>μ</sup> <sup>∂</sup>ωλγ*

<sup>þ</sup> *<sup>n</sup>μ; <sup>N</sup>λγ <sup>∂</sup>ωλγ*

We now consider the derivation of field equations from a Lagrangian

<sup>L</sup>*<sup>f</sup>* ¼ � <sup>1</sup> 4 *f*

<sup>2</sup>*<sup>M</sup> <sup>p</sup><sup>μ</sup>* � <sup>ϵ</sup>*n<sup>μ</sup>* ð Þ *<sup>p</sup><sup>μ</sup>* � <sup>ϵ</sup>*n<sup>μ</sup>*

In carrying out the variation of L*m*, the contributions of varying the *ψ*s with respect to *n* vanish due to the field equations (Stueckelberg-Schrödinger equation)

*∂x<sup>μ</sup>*

*Nλγ ; n<sup>μ</sup> :*

*∂x<sup>μ</sup>* þ *∂ωλγ ∂x<sup>μ</sup>*

The commutators contain only terms linear in *n<sup>μ</sup>* and they cancel; the remaining terms are zero, and therefore the condition *<sup>n</sup>μn<sup>μ</sup>* ¼ �1 is invariant under this gauge transformation. It involves the coefficient *ωλγ* which is a function of the projection of *x<sup>μ</sup>* onto a hyperplane orthogonal the *n<sup>μ</sup>*. The vector *k<sup>μ</sup>* of course depends on *n<sup>μ</sup>*.

*nμω*<sup>0</sup>

*Nλγn<sup>μ</sup>*

*n<sup>μ</sup>* þ *n<sup>μ</sup>*

*∂ωλγ ∂x<sup>μ</sup>*

> *∂ωλγ ∂x<sup>μ</sup> nμ:*

*∂ωλγ ∂x<sup>μ</sup>*

*; Nλγ* 

*<sup>N</sup>λγn<sup>μ</sup>* <sup>þ</sup> *<sup>n</sup>μNλγ <sup>∂</sup>ωλγ*

*∂x<sup>μ</sup>*

*ωλγ* ð Þ¼ *<sup>n</sup>; <sup>x</sup> ωλγ <sup>k</sup><sup>ν</sup>* ð Þ *<sup>x</sup><sup>ν</sup> ,* (98)

*nμNλγ*

, for some *<sup>b</sup><sup>μ</sup>* 6¼ 0.

*μν<sup>f</sup> μν*. We take the Lagrangian to be of the form

� Φ

L ¼ L*<sup>f</sup>* þ L*m,* (101)

*μν<sup>f</sup> μν* (102)

*ψ* þ c*:*c*:* (103)

þ *n<sup>μ</sup>*

*λγ* ¼ 0*:* (99)

*∂ωλγ ∂x<sup>μ</sup> Nλγ* (97)

(100)

$$
\delta\_n \mathcal{L}\_m = j\_\mu(n, \varkappa) \delta n^\mu,\tag{107}
$$

where *j <sup>μ</sup>* has the usual form of a gauge invariant current.

For the calculation of the variation of L*<sup>f</sup>* , we note that the commutator term in (89) is, in lowest order, a c-number function.

Calling

*ω*0 *λ μ <sup>n</sup><sup>λ</sup>* � *<sup>v</sup>μ,* (108)

we compute the variation of

$$[n^{\prime \mu}, n^{\prime \nu}] = 2i(k^{\nu}v^{\mu} - k^{\mu}v^{\nu}) \tag{109}$$

Then, for

$$
\delta\_n[n^{\prime \mu}, n^{\prime \nu}] = \delta\_{n^{\prime}} \frac{\partial}{\partial n^{\prime}} [n^{\prime \mu}, n^{\prime \nu}], \tag{110}
$$

we compute

$$\frac{\partial}{\partial n^{\nu}}[n^{\prime \mu}, n^{\prime \nu}] = 2i \left( \frac{\partial k^{\nu}}{\partial n^{\nu}} \nu^{\mu} + k^{\nu} \frac{\partial \nu^{\mu}}{\partial n^{\nu}} - (\mu \leftrightarrow \nu) \right). \tag{111}$$

With our choice of *<sup>k</sup><sup>ν</sup>* <sup>¼</sup> *<sup>n</sup><sup>ν</sup>*ð Þþ *<sup>n</sup>* � *<sup>b</sup> <sup>b</sup><sup>ν</sup>* ,

$$\frac{\partial \mathbf{k}^{\nu}}{\partial n^{\nu}} = \delta^{\nu}\_{\ \gamma} (n \cdot b) + n^{\nu} b\_{\gamma \nu} \tag{112}$$

so that

*Progress in Relativity*

$$\begin{split} \frac{\partial}{\partial n^{\nu}} [n^{\prime \mu}, n^{\prime \nu}] &= 2i \big( \delta^{\nu}\_{\ \gamma} (n \cdot b) + n^{\nu} b\_{\gamma} \big) v^{\mu} \\ &+ k^{\nu} \frac{\partial v^{\mu}}{\partial n^{\gamma}} - (\mu \leftrightarrow \nu) ). \end{split} \tag{113}$$

formalism admits a scalar potential term that appears both in the conformal factor giving rise to the MOND functions in the galaxy and, in the original form of the Hamiltonian, to a possible candidate for "dark energy." The solution of the lensing problem by Bekenstein and Sanders [4] by introduction of a local vector field was also shown to arise in a natural way in terms of a non-Abelian gauge field, for which, in the Abelian limit, there is a residual term that can cancel the caustic singularity found by Contaldi et al. [40] which can arise in a purely Abelian gauge

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein…*

*DOI: http://dx.doi.org/10.5772/intechopen.88154*

1 School of Physics and Astronomy, Tel Aviv University, Ramat Aviv, Israel

© 2019 The Author(s). Licensee IntechOpen. This chapter is distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/ by/3.0), which permits unrestricted use, distribution, and reproduction in any medium,

2 Department of Physics, Bar Ilan University, Ramat Gan, Israel

3 Department of Physics, Ariel University, Ariel, Israel

\*Address all correspondence to: larry@tauex.tau.ac.il

provided the original work is properly cited.

theory.

**Author details**

**157**

Lawrence P. Horwitz1,2,3

Here,

$$\frac{\partial v^{\mu}}{\partial n^{\gamma}} = a\nu^{\mu}{}\_{\gamma} + a\nu^{\prime\prime}{}\_{\dot{\lambda}}{}^{\mu}n^{\dot{\lambda}}\frac{\partial k\_{\sigma}}{\partial n^{\gamma}}\mathbf{x}^{\sigma},$$

so we see that

$$\frac{\partial}{\partial n^{\prime}}[n^{\prime \mu}, n^{\prime \nu}] \equiv \mathcal{O}\_{\gamma}^{\prime \mu},\tag{114}$$

where the quantity O*<sup>γ</sup> μνδn<sup>γ</sup>* depends on the first and second derivatives of *ω<sup>μ</sup> <sup>λ</sup>* , in general, nonlinear in *n<sup>μ</sup>*. We therefore have

$$
\delta\_n[n'^\mu, n'^\nu] = \mathcal{O}\_\gamma^{\mu\nu} \delta n^\gamma \tag{115}
$$

In the limit that *ω* ! 0, its derivative and higher derivatives which appear in O*<sup>γ</sup> μν* may not vanish (somewhat analogous to the case in gravitational theory when the connection form vanishes, but the curvature does not), so that this term can contribute in the limit of the an Abelian gauge.

Returning to the variation of L*<sup>f</sup>* , we see that

$$\begin{split} \delta \mathcal{L}\_{\mathcal{f}} &= -\frac{1}{4} \big( (\delta^{\mu} \delta n^{\nu} - \delta^{\nu} \delta n\_{\mu} + i \epsilon \delta[n^{\mu}, n^{\mu}]) f\_{\mu \nu} \\ &+ f^{\mu \nu} \big( \partial\_{\mu} \delta n\_{\nu} - \partial\_{\nu} \delta n\_{\mu} + i \epsilon \delta \big[ n\_{\mu}, n\_{\mu} \big] \big) ) \\ &= -\delta^{\nu} f\_{\mu \nu} \delta n^{\mu} + 2 \sharp f\_{\mu \nu} \delta[n^{\mu}, n^{\nu}], \end{split} \tag{116}$$

where we have taken into account the fact that *nμ; n<sup>μ</sup>* is a c-number function and integrated by parts the derivatives of *δn*. We then obtain

$$\delta \mathcal{L}\_f = -\partial^\mu f\_{\mu\nu} \delta n^\mu + 2i \epsilon f\_{\lambda\sigma} \mathcal{O}^{\lambda\sigma}{}\_\mu \delta n^\mu \tag{117}$$

Since the coefficient of *δn<sup>μ</sup>* must vanish, we obtain the Yang-Mills equations for the fields given the source currents:

$$
\partial^{\prime}f\_{\mu\nu} = j\_{\mu} - 2i\epsilon f\_{\lambda\sigma} \mathcal{O}^{\lambda\sigma}{}\_{\mu\nu} \tag{118}
$$

which is nonlinear in the fields *n<sup>μ</sup>*, as we have seen, even in the Abelian limit, where, from (106),

$$j\_{\mu} = -i \frac{e}{2M} \left\{ \psi^\* \left( \partial\_{\mu} - i \epsilon n\_{\mu} \right) \psi - \left( (\partial\_{\mu} + i \epsilon n\_{\mu}) \psi^\* \right) \psi \right\}. \tag{119}$$

#### **6. Summary**

In this chapter, we have shown that the formulation of MOND theory by Bekenstein and Milgrom [5–10] can have a systematic origin within the framework of the embedding of the SHP [1] theory into general relativity [20]. The SHP

*Stueckelberg-Horwitz-Piron Canonical Quantum Theory in General Relativity and Bekenstein… DOI: http://dx.doi.org/10.5772/intechopen.88154*

formalism admits a scalar potential term that appears both in the conformal factor giving rise to the MOND functions in the galaxy and, in the original form of the Hamiltonian, to a possible candidate for "dark energy." The solution of the lensing problem by Bekenstein and Sanders [4] by introduction of a local vector field was also shown to arise in a natural way in terms of a non-Abelian gauge field, for which, in the Abelian limit, there is a residual term that can cancel the caustic singularity found by Contaldi et al. [40] which can arise in a purely Abelian gauge theory.
