# Einstein Geometrization Philosophy and Differential Identities in PAP-Geometry

Authors: M. I. Wanas; Nabil L. Youssef; W. El Hanafy; S. N. Osman
Journal: Advances in Mathematical Physics
 (2016)

---

## Abstract

The importance of Einstein’s geometrization philosophy, as an alternative to the least action principle, in constructing general relativity (GR), is illuminated. The role of differential identities in this philosophy is clarified. The use of Bianchi identity to write the field equations of GR is shown. Another similar identity in the absolute parallelism geometry is given. A more general differential identity in the parameterized absolute parallelism geometry is derived. Comparison and interrelationships between the above mentioned identities and their role in constructing field theories are discussed.


---

## Body

## 1. Introduction

In the second decade of the twentieth century, Einstein constructed a successful theory for gravity, the general theory of relativity (GR) [1]. Although an action principle has been used afterwards to derive the equations of the theory, Einstein has used the geometrization philosophy in constructing his theory. Among other principles of this philosophy is that laws of nature are just differential identities in the chosen geometry. The geometry used by Einstein at that time was Riemannian geometry, in which second Bianchi identity is a differential one. This identity can be written in its contracted form as(1)G·αβ;α≡0,where Gαβ is the Einstein tensor and the semicolon denotes the covariant differentiation using Christoffel symbols (the “dot” in the left hand side of (1) means that when we lower the upper index, it occupies the place of the “dot”). Einstein has considered identity (1) as a geometric representation of the law of conservation of matter and energy which is written as(2)T·αβ,α=0,where Tαβ is a symmetric second-order tensor describing the material-energy distribution. The comma in (2) denotes partial differentiation with respect to xα. In order for (2) to represent a tensor, Einstein has replaced this comma by a semicolon and wrote the field equations of his theory as(3)Gμν=-κTμν,where κ is a conversion constant. This shows the importance of differential identities in constructing GR.In the third decade of the twentieth century, Einstein [2, 3] used another type of geometry, absolute parallelism (AP-) geometry, in his attempt to construct a field theory unifying gravity and electromagnetism. It is characterized by a nonsymmetric linear connection, the Weitzenböck connection, with vanishing curvature. After long discussions and correspondence between A. Einstein and E. Cartan [4] for more than three years, Einstein stopped using AP-geometry claiming that his attempt is not a successful one. This geometry has been neglected for about two decades until McCrea and Mikhail have reconsidered it to treat continuous creation of matter [5] and to build a steady state world model [6].In the sixties of the past century, Dolan and McCrea (1963, private communication to the first author in 1973) have developed a variational method to get fundamental identities in Riemannian geometry, without using an action principle. Unfortunately, this method is not published although it is shown to be of importance when applied in geometries other than the Riemannian one.In the seventies of the twentieth century, two important results have been obtained by developing AP-geometry in a certain direction [7, 8]. The first is the use of the dual connection (the transposed Weitzenböck connection) which has simultaneously nonvanishing torsion and nonvanishing curvature. The second result is a differential identity, in AP-geometry, obtained by developing the Dolan-McCrea method to suit AP-space with its dual connection. The identity obtained can be written in the form(4)Eμν∣μ-≡0,where the stroke “∣” and the “−” sign are used to denote covariant differentiation using the dual connection and E·μν is a second-order nonsymmetric tensor defined in the context of AP-geometry by [7](5)λE·μν≝δLδλμiλνi,where δL/δλμi is the Hamiltonian derivative of the Lagrangian density L with respect to the building blocks (BB) λμi of AP-geometry and λ is the determinant of (λiμ) (more details about AP-geometry are given in the next section).It is to be noted that identity (4) is a generalization of the Bianchi identity (1) to AP-geometry. Einstein tensor G·αβ is uniquely defined in Riemannian geometry while E·αβ is not uniquely defined in the AP-geometry. The latter depends on the choice of the Lagrangian density L which has many forms in AP-geometry. Several field theories have been constructed [7, 9, 10], using the geometrization philosophy and the identity (4). Many successful applications have been obtained within these theories [11–17].In the last decade of the twentieth century, another important result has been obtained as a consequence of another development in AP-geometry. It has been discovered that AP-geometry admits a hidden parameter [18]. It was the Bazanski approach [19] that when applied to AP-geometry has led to the above mentioned hidden parameter. The generalization of this hidden parameter has given rise to a modified version of AP-geometry called parameterized absolute parallelism (PAP-) geometry [20, 21].In the past ten years or so, AP-geometry has gained a lot of attention in constructing field equations for what is calledf(T) theories and their applications (c.f. [22–24]). The scalar T is a torsion scalar characterizing the teleparallel equivalent of GR. It has been shown that many other scalars can be defined in AP-geometry and its different versions. These scalars have been used to construct several field theories with GR limits [7, 9, 10, 25–27].It is the aim of the present work to find out differential identities in PAP-geometry and to study their relations to similar identities in AP-geometry (4) and in Riemannian geometry (1). For this reason, we give a brief review of PAP-geometry in the next section. In Section 3, we apply a modified version of the Dolan-McCrea variational method in PAP-geometry to get the general form of the identities admitted. In Section 4, we present the interrelationships between the identities in Riemannian geometry, AP-geometry, and PAP-geometry. We discuss the results obtained and give some concluding remarks in Section 5.


## 2. Brief Review of PAP-Geometry

In the present section, we are going to give basic mathematical machinery and formulae of PAP-geometry necessary for the present work. For more details, the reader is referred to [20, 21] and the references therein.As mentioned in Section1, it has been shown [18] that the conventional AP-geometry admits a hidden jumping parameter. This parameter has been discovered when using the Bazanski approach [19] to derive path and path deviation equations. The importance of this parameter is that, among other things, its value jumps by a step of one half, which has been tempted to show its relation to some quantum phenomena when used in application. This parameter has no explicit appearance in the conventional AP-geometry. This motivates authors to give the parameter an explicit appearance in a modified version of AP-geometry known in the literature as PAP-geometry.An AP-space is a pair(M,λi), where M is a smooth manifold and λi are n independent global vector fields λi  (i=1,…,n) on M. For more details, see [28–32]. An AP-space admitted at least four natural (“natural” means that the geometric object under consideration is constructed from the building blocks λi only) linear connections: the Weitzenböck connection(6)Γαμν≝λiαλμ,νi,its dual (or transposed) connection(7)Γ~αμν≝Γανμ,the symmetric part of (6)(8)Γαμν≝12Γαμν+Γανμ,and the Levi-Civita connection(9)αμν≝12gασgμσ,ν+gνσ,μ-gμν,σassociated with the metric gμν≝λμiλνi.It is to be noted that all these linear connections have nonvanishing curvature except for (6). Among these connections, the only connection that has simultaneously nonvanishing torsion and nonvanishing curvature is the dual connection (7). In order to generalize these connections and to give an explicit appearance of the above mentioned jumping parameter, these connections have been linearly combined to give the object (a1, a2, a3, and a4 are parameters):(10)∇αμν=a1Γαμν+a2Γ~αμν+a3Γαμν+a4αμν.Imposing the general coordinate transformation of a linear connection on (10), using (6)–(9), the above 4 parameters reduce to one parameter b, which leads to(11)∇αμν=αμν+bγαμν,where γαμν is the contortion of AP-geometry. Connection (11) will be called the parameterized canonical connection. It is nonsymmetric with nonvanishing curvature; that is, it is of Riemann-Cartan type. Moreover, it is a metric connection [20].The parameterb is a dimensionless parameter. For some geometric and physical reasons [21], this parameter is suggested to have the form(12)b=N2αγ,where N is a natural number taking the value 0,1,2,…; α is the fine structure constant; and γ is a dimensionless parameter to be fixed by experiment or observation for the system under consideration. The explicit appearance of the parameter b in (11) gives rise to the following advantages to PAP-geometry:(1)
In the case ofb=1, (11) reduces to the Weitzenböck connection (6) of the conventional AP-geometry.(2)
In the case ofb=0, connection (11) reduces to the Levi-Civita connection (9).(3)
Between the limitsb=0 and b=1, there is a discrete spectrum of spaces (due to the presence of N/2 in (12)), each of which has simultaneously nonvanishing curvature and torsion.In what follows, we will decorate the tensors containing the parameterb by a star. Also, these tensors will retain the same name, as in the conventional AP-geometry, preceded by the adjective “parameterized.” For example, the parameterized contortion is given by(13)γ∗αμν=bγαμν.The torsion of the parameterized connection (11) is given by(14)Λ∗αμν=bγαμν-γανμ=bΛαμν,where Λαμν is the torsion of the AP-geometry. Also, the parameterized basic form can be obtained by contraction of (13) or (14):(15)C∗μ≝Λ∗αμα=γ∗αμα=bCμ.It is to be noted that starred objects have the same symmetry properties as the corresponding unstarred objects defined in the conventional AP-geometry.Now, since the parameterized canonical connection∇αμν is nonsymmetric, one can define two other linear connections: the parameterized dual (transposed) connection(16)∇~αμν≝∇ανμand the parameterized symmetric connection(17)∇αμν≝12∇αμν+∇ανμ.Consequently, using (11), (16), and (17), we can define, respectively, the covariant derivatives:(18)Aμ∥ν+≝Aμ,ν-Aα∇·αμν,Aμ∥ν-≝Aμ,ν-Aα∇~·αμν,Aμ∥ν≝Aμ,ν-Aα∇·αμν,for any arbitrary vector Aμ.It is of importance to note that the BB of PAP-geometry are the same as those of AP-geometry. In other words, the parameterb has no effect on the BB of the geometry.


## 3. Dolan-McCrea Variational Method in PAP-Geometry

We are going to apply the Dolan-McCrea variational method to obtain differential identities in PAP-geometry. This method is an alternative to the least action method. It was originally suggested in 1963 to derive Bianchi and other identities in the context of Riemannian geometry. It has been generalized [7] to AP-geometry and used to derive identity (4). Here, we generalize this method to PAP-geometry, giving some details since it is not widely known.Since, as stated above, the BB of PAP-geometry are the same as those of AP-geometry, let us define the Lagrangian function(19)L∗=L∗λμi,λμ,νi,λμ,νσi,constructed from the BB of PAP, λμi, and its first and second derivatives. Consequently, we can write the scalar density as follows:(20)L∗0=L∗0λμi,λμ,νi,λμ,νσi=λL∗,where L∗0 is a scalar lagrangian density and λ≔det(λiμ)≠0. Now, let us assume that the following integral, defined over some arbitrary n-dimensional domain Ω,(21)I∗0≝∫ΩL∗0xdnx,is invariant under the infinitesimal transformation(22)λix⟶λix+ϵhix,where ϵ is an infinitesimal parameter and hi are n 1-forms defined on M. Let Σ be the (n-1)-space such that the n-space region Ω is enclosed within Σ. Thus,(23)I∗ϵ≝∫ΩL∗ϵdnx,where(24)dnx=dx1dx2⋯dxn,(25)L∗ϵ=L∗λμi+ϵhμi,λμ,νi+ϵhμ,νi,λμ,νσi+ϵhμ,νσi.Assuming that hμi and hμ,νi vanish at all points of Σ, then(26)I∗ϵ-I∗0=∫ΩL∗ϵ-L∗0dnx,where I∗0 is the value of I∗ϵ at ϵ=0. Now, L∗ϵ can be written, using Taylor expansion, in the form(27)L∗ϵ=L∗0+∂L∗0∂λμiϵhμi+∂L∗0∂λμ,νiϵhμ,νi+∂L∗0∂λμ,νσiϵhμ,νσi+Oϵ2.Using (26) and (27) and by integration by parts, it can be shown, after some manipulation, that (26) can be written as(28)I∗ϵ-I∗0=ϵ∫ΩλδL∗δλμihμidnx+Oϵ2,where δL∗/δλμi is the Hamiltonian derivative defined by(29)δL∗δλβi≝1λ∂L∗0∂λβi-∂∂xγ∂L∗0∂λβ,γi+∂2∂xγ∂xσ∂L∗0∂λβ,γσi.Consider a new set of coordinates x¯ related to the x-coordinate system by the transformation(30)x¯μ=xμ-ϵzμx,where zμ is a vector field vanishing at all points of Σ and ϵ is independent of x. We can write(31)∂x¯μ∂x¯ν=δνμ=∂xμ∂x¯ν-ϵ∂zμ∂xσ∂xσ∂x¯ν,(32)∂xμ∂x¯ν=δνμ+ϵzμ,σ∂xσ∂x¯ν.Since zμ is a vector, its transformation law is(33)zμx=∂xμ∂x¯νz¯νx¯.Substituting from (32) into the above equation, we get(34)zμx=δνμz¯νx¯+ϵz¯νx¯zμ,σ∂xσ∂x¯ν.Substituting from (32) again into the above equation gives(35)zμx=z¯μx¯+ϵz¯νx¯zμ,σδνσ+ϵzσ,α∂xα∂x¯ν.Finally, this equation can be written as(36)zμx=z¯μx¯+ϵz¯νx¯zμ,ν+Oϵ2.Substituting from (36) into (30), we get(37)xμ=x¯μ+ϵz¯μx¯+Oϵ2.Consequently, we can write(38)∂x¯μ∂xν=δνμ-ϵzμ,ν,∂xμ∂x¯ν=δνμ+ϵz¯μ,ν+Oϵ2.Then, the Jacobian expressions of the above matrices can be given as(39)∂x¯∂x=1-ϵzα,α+Oϵ2,∂x∂x¯=1+ϵzα,α+Oϵ2,since the difference between zμ(x) and z¯μ(x¯) would be of order ϵ2 as shown by (36).Now, we expressλ-μi(x¯) in terms of λμi(x) in two different ways:(i)
Using the vector transformation law:(40)λ-μix¯=∂xν∂x¯μλνix=δμνλνix+ϵλνixz¯ν,μ+Oϵ2=λμix+ϵλνizν,μ+Oϵ2(ii)
Using Taylor expansion:(41)λ-μix¯=λ-μix-ϵz=λ-μix-ϵλ-μ,νixzν+Oϵ2=λ-μix-ϵλμ,νixzν+Oϵ2We have dropped the bar in the second term on the right hand side of this equation as the difference would be of order ϵ2. Comparing (40) and (41) and using (22), we get(42)λ-μix-λμix=ϵhμi+Oϵ2,where(43)hμi=λνizν,μ+λμ,νizν=λνizν∥μ-+λμ∥ν+izν,and the double stroke operator “∥” is defined by (18).Now, we treat the Lagrangian density in the two different ways mentioned above.(a) Using Taylor expansion,(44)L∗¯x¯=L∗¯x-ϵz=L∗¯x-ϵL∗x,αzα+Oϵ2;also, we have dropped the bar in the second term on the right hand side of this equation as the difference would be of order ϵ2.The Lagrangian densityL∗¯(x) in (44) means(45)L∗¯x≡L∗¯λ-μix,λ-μ,νix,λ-μ,νσix.(b) Using scalar transformation,(46)L∗¯x¯=L∗x,λ¯L∗¯x¯=λ¯L∗x=λL∗x∂x∂x¯;then, using (20) and (39), we get(47)L∗¯x¯=L∗x+ϵL∗xzα,α+Oϵ2.Comparing (44) and (47), we have(48)L∗¯x-L∗x=ϵL∗xzα,α+Oϵ2.By (46), we get(49)∫ΩL∗¯dnx¯-∫ΩL∗dnx=0,(50)∫ΩL∗¯x-L∗xdnx=∫ΩϵL∗xzα,α+Oϵ2dnx.Applying Gauss’s theorem to convert the volume integral on Ω (n-space) to a surface integral over Σ ((n-1)-space), the integral vanishes as zα vanishes at all points of Σ. Now, we can write(51)∫ΩL∗xzα,αdnx=∫ΣL∗xzαnαdn-1x=∮ΣL∗xzαnαdΣ≡0,where nα is a unit vector normal to Σ.So, (50) shows that(52)∫ΩL∗¯x-L∗¯xdnx=Oϵ2.Substituting from (42) into (45), we get(53)L∗¯x=L∗¯λμix+ϵhμi+Oϵ2,λμ,νix+ϵhμ,νi+Oϵ2,λμ,νσix+ϵhμ,νσi+Oϵ2.Using (25),(54)L∗¯x=L∗ϵx+Oϵ2;then, we can write (52) as(55)∫ΩL∗ϵx-L∗0xdnx=Oϵ2.Comparing (26), (28), and (55) implies that(56)∫ΩλδL∗δλμihμidnx≡0.Substituting from (43) into (56), we write(57)∫ΩλδL∗δλμiλνizν∥μ-+δL∗δλμiλμ∥ν+izνdnx≡0.Let(58)E∗μν≝δL∗δλμiλνi=-Ji∗μλνi,Ji∗μ≝-δL∗δλμi.The integral identity (57) then becomes(59)∫ΩλE∗μνzν∥μ--Ji∗μλμ∥ν+izνdnx≡0.Now, the integral of the first term can be treated as follows:(60)∫ΩλE∗μνzν-∥μdnx=∫ΩλE∗μνzν∥μ-dnx-∫ΩλE∗μν∥μ-zνdnx=∫ΩλE∗μνzν,μdnx-∫ΩλE∗μν∥μ-zνdnx=∮ΣλE∗μνzνnμdΣ-∫ΩλE∗μν∥μ-zνdnx=-∫ΩλE∗μν∥μ-zνdnx.Thus, the integral identity (59) reads(61)∫ΩλE∗μν∥μ-+λμ∥ν+iJi∗μzνdnx≡0,since λ≠0 and zν is an arbitrary vector field. Using the fundamental lemma of the calculus of variation [33], the expression in the brackets vanishes identically. Hence, we have(62)E∗μν∥μ-+λμ∥ν+iJi∗μ≡0.Using (11), (18), and (58), after some manipulations, identity (62) can be written as(63)E∗μν∥μ-=b1-bEμαγαμν.This is the differential identity characterizing PAP-geometry.


## 4. Relation between Differential Identities

The three differential identities, (1) of Riemannian geometry, (4) of AP-geometry, and (63) of PAP-geometry, are to be related. This idea comes from the fact that the general linear connection (11) reduces to the Weitzenböck connection (6) of the AP-space for b=1 and to the Live-Civita connection (9) of the Riemannian space for b=0. Note that the three identities mentioned are derivatives in which linear connections are used. The following two results relate these identities.Theorem 1.
IfE∗μν is a tensor of order 2 on a PAP-space (M,λi), then one has the identity(64)E∗μν∥μ-=E∗μν;μ+bE∗μαγμαν.Consequently, if b=0 (the Riemannian case) or E∗μν is symmetric, one gets(65)E∗μν∥μ-=E∗μν;μ.Proof.
Using the definition of the parameterized dual connection∇~αμν, we have(66)E∗μν∥μ-=E∗μν,μ-E∗μα∇αμν+E∗αν∇μμα=E∗μν,μ-E∗μααμν-bE∗μαγαμν+E∗ανμμα+bE∗ανγμμα.As γμνσ is skew-symmetric in the first pair of indices, the last term on the right vanishes. Hence, we get(67)E∗μν∥μ-=E∗μν;μ-bE∗μαγαμν.Now, consider the last term on the right of the above identity:(68)E∗μαγαμν=E∗μαδϵαγϵμν=E∗μαgαβgϵβγϵμν=E∗μβγβμν=-E∗μβγμβν,from which (64) follows.
Finally, it is clear that ifb=0, then E∗μν∥μ-=Eμν;μ. On the other hand, if E∗μν is symmetric, then the term E∗μαγμαν vanishes since γμαν is skew-symmetric in μ and α.Theorem 2.
IfE∗μν is a tensor of order 2 on a PAP-space (M,λi), then one has the identity(69)E∗μν∥μ-=E∗μν∣μ-+b-1E∗μαγμαν.Consequently, if b=1 (the AP case) or E∗μν is symmetric, one gets(70)E∗μν∥μ-=E∗μν∣μ-.The above two theorems imply the following result.Corollary 3.
(a) For a symmetric tensorEμν, one has from (64) and (69)(71)E∗μν∥μ-=E∗μν∣μ-=E∗μν;μ.(b) In the Riemannian case, the tensor Eμν defined by (5) (using the Ricci scalar in the Lagrangian function) coincides with the Einstein tensor; then,(72)Eμν;μ≡0,and, consequently, for any symmetric tensor defined by (5), one has(73)Eμν∣μ-≡0,E∗μν∥μ-≡0in AP- and PAP-spaces, respectively.


## 5. Discussion and Concluding Remarks

In the present work, we have used the Dolan-McCrea variational method to derive possible differential identities in PAP-geometry. The importance of this work for physical applications can be discussed in the following points:(1)
It is well known that the field equations of GR can be obtained using either one of the following approaches:
(a)
The Einstein approach, in which the geometrization philosophy plays the main role in constructing the field equations of the theory. One of the principles of this philosophy is that “laws of nature are just differential identities in an appropriate geometry.” Einstein has used this principle to write his field equations. In other words, he has used the second Bianchi identity of Riemannian geometry to construct the field equations of his theory.(b)
Hilbert approach, in which the standard method of theoretical physics, the action principle, has been used to derive the field equations of the theory.It is to be noted that the first approach is capable of constructing a complete theory, not only the field equations of the theory. This will be discussed in the following point.(2)
Einstein geometrization philosophy can be summarized as follows [34]:“To understandnature, one has to start withgeometry and end with physics.”In applying this philosophy, one has to consider its main principles:
(a)
There is a one-to-one correspondence between geometric objects and physical quantities.(b)
Curves (paths) in the chosen geometry are trajectories of test particles.(c)
Differential identities represent laws of nature.In view of the above principles, Einstein has used Riemannian geometry to construct a full theory for gravity, GR, in which the metric and the curvature tensors represent the gravitational potential and strength, respectively. He has also used the geodesic equations to represent motion in gravitational fields. Finally, he has used Bianchi identity to write the field equations of GR.The above mentioned philosophy can be applied to any geometric structure other than the Riemannian one. It has been applied successfully in the context of conventional AP-geometry (cf. [7, 9, 10]), using the differential identity (4).PAP-geometry is more general than both Riemannian and conventional AP-geometry. It is shown in Section2 that PAP-geometry reduces to AP-geometry for b=1 and to Riemannian geometry for b=0. In other words, the latter two geometries are special cases of the PAP-geometry. The importance of the parameter b has been investigated in many papers (cf. [35, 36]). The value of this parameter is extracted from the results of three different experiments [35, 37, 38]. The value obtained (b=10-3) shows that space-time near the Earth is neither Riemannian (b=0) nor conventional AP (b=1).(3)
To use PAP-geometry as a medium for constructing field theories, the above three principles are to be considered. The curves (paths) of the geometry have been derived [20] and used to describe the motion of spinning particles [37, 39]. Geometric objects have been used to represent physical quantities via the constructed field theories [25, 26].The present work is done as a step to complete the use of the geometrization philosophy in PAP-geometry. The general form of the differential identity characterizing this geometry is obtained in Section3. This will help in attributing physical properties to geometric objects, especially conservation. This will be discussed in the next point.(4)
The results obtained from the two theorems given in Section4 are of special importance. It is clear from (71), (72), and (73) that any symmetric tensor defined by (5) is subject to the differential identity of type (72). This result is independent of the values of the parameter b.Now, for any symmetric tensor defined by (5) in PAP-geometry, we have(74)E∗μν;μ≡0.Due to the structure of the parameterized connection (11), the tensor E∗μν can always be written in the form(75)E∗μν=Gμν+T∗μν,whereGμν is Einstein tensor defined in terms of (9) as usual and T∗μν is a second-order symmetric tensor which vanishes when b=0. Consequently, identity (74) can be written as(76)Gμν;μ+T∗μν;μ≡0.As the first term vanishes, due to Bianchi identity, then we get the identity(77)T∗μν;μ≡0.This implies that the physical entity represented byT∗μν is conserved in any field theory constructed in PAP-geometry. Identity (77) is thus an identity of PAP-geometry, independent of any such field theory. The tensor T∗μν is usually used as a geometric representation of a material-energy distribution in any field theory constructed in PAP-geometry [25, 26].(5)
Finally, the following properties are guaranteed in any field theory constructed in the context of PAP-geometry:
(a)
The theory of GR, with all its consequences, can be obtained upon takingb=0.(b)
As the parameterized connection (11) is metric, the motion along curves of PAP-geometry [20] preserves the gravitational potential.(c)
One can always define a geometric material-energy tensor in terms of the BB of the geometry.(d)
Conservation is not violated in any of such theories.



---

*Source: 1037849-2016-11-28.xml*