Quanta of Space-Time and Axiomatization of Physics
Ali H. Chamseddine

TL;DR
This paper proposes a noncommutative geometric framework that quantizes space-time, predicts a unified particle interaction model, and offers insights into fundamental physics including gravity, cosmology, and dark matter.
Contribution
It introduces a higher degree Heisenberg relation involving the Dirac operator, leading to a noncommutative space that unifies particle physics and gravity.
Findings
Volume quantization emerges from the commutation relation.
The model predicts a unified structure of particle interactions.
Implications for cosmology and dark matter are discussed.
Abstract
We consider Hilbert's sixth problem on the axiomatization of physics starting with a higher degree Heisenberg commutation relation involving the Dirac operator and the Feynman slash of scalar fields. The two sided version of the commutation relation in dimension 4 implies volume quantization and determines a noncommutative space which is a tensor product of continuous and discrete spaces. This noncommutative space predicts the full structure of a unified model of all particle interactions based on Pati-Salam symmetries or, as a special case, the Standard Model. We study implications of this quantization condition on Particle Physics, General Relativity, the cosmological constant and dark matter. We demonstrate that, with little input, noncommutative geometry gives a compelling and attractive picture about the nature and structure of space-time.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Quanta of Space-Time and Axiomatization of Physics111Contribution to the special issue of IJGMMP celebrating the one century anniversary of the program announced in 1916 by Hilbert entitled Foundations of Mathematics and Physics, editors, Joseph Kouneiher, John Stachel and Salvatore Capozzieolo
Ali H. Chamseddine1,2
**
1Physics Department, American University of Beirut, Lebanon
**
2I.H.E.S. F-91440 Bures-sur-Yvette, France
Abstract
We consider Hilbert’s sixth problem on the axiomatization of physics starting with a higher degree Heisenberg commutation relation involving the Dirac operator and the Feynman slash of scalar fields. The two sided version of the commutation relation in dimension implies volume quantization and determines a noncommutative space which is a tensor product of continuous and discrete spaces. This noncommutative space predicts the full structure of a unified model of all particle interactions based on Pati-Salam symmetries or, as a special case, the Standard Model. We study implications of this quantization condition on Particle Physics, General Relativity, the cosmological constant and dark matter. We demonstrate that, with little input, noncommutative geometry gives a compelling and attractive picture about the nature and structure of space-time.
1 Introduction
David Hilbert research on the axiomatization of geometry led him to suggest the sixth problem on his list for the axiomatization of Physics which have received the least attention [1]. Hilbert contributed prominently to the formulation of the gravitational equations in the General Theory of Relativity which was presented in November 1915, almost simultaneously with Einstein [2] [3]. Weyl has asserted that during the period 1910-1922 Hilbert has devoted considerable time to research in Physics which was an integral part of his mathematical world. Indeed, in 1915 Hilbert has presented a unified theory of electromagnetism and gravitation based on the use of the variational principle derived in an axiomatic fashion from the two principles of general invariance and ”Mie’s axiom of the world function”. This attempt can be considered as the seed that motivated much work on ideas on unification of all fundamental interactions such as in Kaluza-Klein theory, supersymmetry, superstring theory and noncommutative geometry. In this article I will follow up on the contribution of Alain Connes to this volume and show that starting with the axioms of noncommutative geometry supplemented by a minimal number of physical assumptions would result, unambiguously, in a unified theory of all fundamental interactions and matter content of space-time [4], [5]. We will be able to establish a link between the quantization of volume of space at Planck energy and the constituents of matter and their symmetries. In addition we uncover the origin of the Higgs fields and symmetry breaking, and indicate possible solutions to long standing problems such as resolving the singularities in GR, dark matter and dark energy.
All the material covered in this review is a result of a long time collaboration with Alain Connes which started in 1996 and continues until now. More recently our collaboration included Walter van Suijlekom and, in separate publications, Slava Mukhanov. An excellent introduction to the material covered in this review is the accompanying article by Alain Connes in this volume. However, an attempt is made to make this article self-contained.
The Planck scale is the scale at which all rescaled curvature invariants of a Riemannian manifold are of the same order. The volume of any manifold at scales below the Planck scale, will be many orders of magnitude larger than that scale. To avoid the problem of infinities, which are expected to arise in a quantized theory of gravity, it is a natural proposition to assume that the volume of a physical space is an integer multiple of a unit volume of Planckian size and thus provide a cutoff scale. It is well known that the degree of a smooth map from a connected, compact, oriented -manifold to the sphere is an integer
[TABLE]
where is valued on This map is normalized by where and if we let be the positive normed determinant function in , then the degree of the map is given by [6]
[TABLE]
where is the volume of the -sphere:
[TABLE]
We propose to identify the integrand in (2), which is an -form over an -dimensional connected, compact oriented manifold, with the volume form:
[TABLE]
then the volume of will be an integer multiple of the unit Planckian -sphere. From this we deduce that the pullback is a differential form that does not vanish anywhere. This in turn implies that the Jacobian of the map does not vanish anywhere, and that is a covering of the sphere. The sphere is simply connected, and on each connected component , the restriction of the map to is a diffeomorphism, implying that the manifold must be disconnected, with each piece having the topology of a sphere [7]. We will show how to avoid this unsatisfactory conclusion and how the attractive idea of volume quantization works in a convincing way within the formulation of noncommutative geometry.
Extensive research over the last two decades have shown that there are many advantages to work with noncommutative geometry instead of Riemannian geometry [4]. The approach is spectral in nature and its concepts are modeled after quantum mechanics where geometry is defined in terms of spectral data. These are specified in terms of spectral triple where is an associative algebra with unit and involution , a complex Hilbert space carrying a faithful representation of the algebra and is a slef-adjoint operator on with the resolvent where of compact. The operator plays the role of inverse line element. In addition the real structure is an anti-unitary operator that sends the algebra to its commutant such that [8]
[TABLE]
The chirality operator is a unitary operator in defined in even dimensions such that and commutes with
[TABLE]
There are commutativity or anti-commutativity relations between and
[TABLE]
where The operators and are similar to the chirality and charge conjugation operators and to every fixed value of is associated a KO dimension, which may be non-metric, and thus is defined only modulo It is then evident that the generalized Heisenberg relation must be modified to include not only the mapping from to but also the effects of the operator which requires two mappings and We have shown that using the two mappings and to set the volume quantization condition would avoid limiting the topology of the manifold to be that of a sphere in dimensions two and four [9] [7]. We shall elaborate on the form of the generalized Heisenberg relation and show that this leads, unambiguously, to the construction of a noncommutative space whose geometry gives naturally a unified model of all particle interactions based on Pati-Salam symmetry group which also includes the Standard Model as a special case .
This article is organized as follows. In section 2 the conjectured Heisenberg quantization two sided relation is constructed in such a way as to give the volume of the underlying manifold to be given by the sum of two integers times the volume of a unit Planckian sphere. In section three the algebra of the finite noncommutative space is derived to be the sum of two algebras, which in dimension four, is given by the sum and [10], [11] [12]. In section four we determine the noncommutative space and make contact with our previous work on noncommutative geometry [13], [14], [15]. In section five we show the the unified model associated with this noncommutative space is of the Pati-Salam type and in section six we give the Standard Model obtained as a limiting case [15]. Section seven is a summary of the minimal Pati-Salam model [12], [16]. In section 8 we present the spectral action principle and calculate the spectral action of the Standard Model. In section 9 we study consequences of volume quantization on the equations of motion in both instances when the fields and are with or without kinetic terms. In section 10 we give the solitonic solutions and show that these are identical to the non-linear gravitational sigma model. In section 11 we consider the case of a Riemannian manifold with Lorentzian signature where the four-dimensional manifold is viewed as a space formed from the motion of three dimensional hypersurfaces. We show that it is possible to impose quantization of the three dimensional compact space provided that the field mapping the one-dimensional non-compact space satisfies a length preserving relation. In section 12 we further discuss the conditions under which a quantization of a two dimensional hypersurface is possible. In section 13 we study the equations of motion for the cases of three dimensional volume and two dimensional surface quantization. In section 14 we discuss quantization on the special spaces and Section 15 contains a discussion and the conclusion.
2 Heisenberg volume quantization in dimensions 2 and 4
For a Riemannian manifold of dimension the algebra is taken to be the algebra of continuously differentiable functions, while the operator is identified with the Dirac operator given by
[TABLE]
where and is the Lie-algebra valued spin-connection with the (inverse) vielbein being the square root of the (inverse) metric The gamma matrices are anti-hermitian and define the Clifford algebra The Hilbert space is the space of square integrable spinors The Dirac operator is Hermitian with respect to the inner product
[TABLE]
where with being the inverse of The chirality operator in even dimensions is then given by
[TABLE]
From the above discussion, it is very suggestive to associate with the map fields a Clifford algebra valued field where [17]
[TABLE]
Here and is the algebra of matrices, where A generalization of the Heisenberg commutation relation is conjectured to be given by [7]
[TABLE]
where is of the Feynman slashed form and fulfill the equations
[TABLE]
The notation means the trace of with respect to the above matrix algebra In a coordinate basis equation (12) takes the form [7]
[TABLE]
which is a constraint on the volume form. This can be thought of as a generalization of the coordinate-momenta phase space quantization where is replaced with the Dirac operators and is replaced with the Feynman slash coordinates . We have seen, however, that this quantization condition implies that the manifold decomposes into a set of bubbles. The difference now is that the quantization condition is given in terms of the noncommutative data. One cannot fail to notice that the operator is missing from equation (12) which suggests that this equation must be modified to take this operator into account. We first define the projection operator satisfying [18] but now there are two possibilities, corresponding to the case and to the case . Thus let and let and so that we can write
[TABLE]
satisfying and The projection operators and satisfy , with and commuting. This allows to define the projection operator and the associated field
[TABLE]
satisfying The conjectured quantization condition takes the elegant form of a two-sided relation [7], [9]
[TABLE]
Our proposal is that this quantization condition is valid for all noncommutative geometries defined by the spectral data where the metric dimension of the operator as determined from the Weyl asymptotic formula is less than or equal to four. The presence of the chirality operator indicates that the dimension should be even, and this would limit us to the two cases and For odd dimensional the form of the quantization condition should be modified, but will not be considered here. We have shown that for both and equation (17) splits as the sum of two pieces [7]
[TABLE]
This implies that the volume form of the dimensional Riemannian manifold is the sum of two forms and thus
[TABLE]
Consider the smooth maps then their pullbacks would satisfy
[TABLE]
where is the volume form on the unit sphere [19] and is an form that does not vanish anywhere on We stress that the quantization condition does not split as the sum of two terms except for , however, if one starts with the conjecture that the volume form is the sum of the two traces in terms of the coordinates and then equation (21) would follow and would then not be limited to the two values for We have shown that for a compact connected smooth oriented manifold with one can find two maps and whose sum does not vanish anywhere, satisfying equation (21) such that The proof for is more difficult and there is an obstruction unless the second Stieffel-Whitney class vanishes, which is satisfied if is required to be a spin-manifold and the volume to be larger than or equal to five units. The key idea in the proof is to note that the kernel of the map is a hypersurface of co-dimension and therefore [7]
[TABLE]
We can then construct a map where is a diffeomorphism on such that the sum of the pullbacks of and does not vanish anywhere. The important point to stress here is that the conjectured two sided relation (17) is taken to hold for arbitrary noncommutative spaces where where is the dimension as determined in the Weyl asymptotic formula for the growth of eigenvalues of the Dirac operator, and is not restricted for Riemannian manifolds. In other words, one can seek solutions for this equation in general and find the noncommutative space satisfying this equation.
3 Clifford Algebras and Feynman slash
We have seen that the coordinates are defined over a Clifford algebra spanned by For , while for , where is the field of quaternions [17]. However, for since we will be dealing with irreducible representations we take Similarly the coordinates are defined over the Clifford algebra spanned by and for , and for , The operator acts on the two algebras in the form (i.e. it exchanges the two algebras and takes the Hermitian conjugate). The coordinates then define the matrix algebras [10]
[TABLE]
One, however, must remember that the maps and are functions of the coordinates of the manifold and therefore the algebra associated with this space must be
[TABLE]
To see this consider, for simplicity, the case with only the map The Clifford algebra is spanned by the set where We then consider functions which are made out of words of the variable formed with the use of constant elements of the algebra [18]
[TABLE]
which will generate arbitrary functions over the manifold, which is the most general form since . One can easily see that these combinations generate all the spherical harmonics. This result could be easily generalized by considering functions of the fields
[TABLE]
showing that the noncommutative algebra generated by the constant matrices and the Feynman slash coordinates is given by [18]
[TABLE]
4 Finite Noncommutative space
Having explained the simple case , for the remainder of this paper we restrict ourselves to the physical case of Here the algebra is given by
[TABLE]
The associated Hilbert space is
[TABLE]
The Dirac operator mixes the finite space and the continuous manifold non-trivially
[TABLE]
where is a self adjoint operator in the finite space. The chirality operator is
[TABLE]
and the anti-unitary operator is given by
[TABLE]
where is the charge-conjugation operator on and the anti-unitary operator for the finite space. Thus an element is of the form \Psi=\left(\begin{array}[c]{c}\psi_{A}\\ \psi_{A^{\prime}}\end{array}\right) where is a component spinor in the fundamental representation of of the form where with respect to and with respect to and where is the charge conjugate spinor to [15]. The chirality operator must commute with elements of which implies that must commute with elements in Commutativity of the chirality operator with the algebra and that this grading acts non-trivially reduces the algebra to [10]. Thus the is identified with and the finite space algebra reduces to
[TABLE]
This can be easily seen by noting that an element of takes the form \left(\begin{array}[c]{cc}q_{1}&q_{2}\\ q_{3}&q_{4}\end{array}\right) where each is a matrix representing a quaternion. Taking the representation of \Gamma^{5}=\left(\begin{array}[c]{cc}1_{2}&0\\ 0&-1_{2}\end{array}\right) to commute with implies that thus reducing the algebra to Therefore the index splits into two parts, which is a doublet under and which is a doublet under . The spinor further satisfies the chirality condition which implies that the spinors are in the with respect to the algebra while are in the representation222Due to a typographical error in the abstract of [12] the fermionic representation was listed incorrectly as while in the body of the paper the coorect representation appears.. The finite space Dirac operator is then a Hermitian matrix acting on the component spinors In addition we take three copies of each spinor to account for the three families, but will omit writing an index for the families. At present we have no explanation for why the number of generations should be three. The Dirac operator for the finite space is then a Hermitian matrix. The Dirac action is then given by [14]
[TABLE]
We note that we are considering compact spaces with Euclidean signature and thus the condition could not be imposed. It could, however, be imposed if the four dimensional space is Lorentzian [20].The reason is that the dimension of the finite space is because the operators and satisfy
[TABLE]
The operators and for a compact manifold of dimension satisfy
[TABLE]
Thus the dimension of the full noncommutative space with the decorations and included is and satisfies
[TABLE]
We have shown in [14] that the path integral of the Dirac action, thanks to the relations and yields a Pfaffian of the operator instead of its determinant and thus eliminates half the degrees of freedom of and have the same effect as imposing the condition
We have also seen that the operator sends the algebra to its commutant, and thus the full algebra acting on the Hilbert space is Under automorphisms of the algebra
[TABLE]
where with with , it is clear that Dirac action is not invariant. This is similar to the situation in electrodynamics where the Dirac action is not invariant under local phase transformations but the invariance is easily restored by introducing the vector potential through the transformation
[TABLE]
In our case, the Dirac operator is replaced with
[TABLE]
where the connection is given by [11]
[TABLE]
It can be shown that under automorphisms of the algebra we have
[TABLE]
The connection splits into three pieces
[TABLE]
where
[TABLE]
which satisfies At this point we have to distinguish few possibilities.
5 Pati-Salam Models
In the first possibility we assume that the double commutator
[TABLE]
which implies that The fluctuations of the inner automorphisms were computed in [12]. The calculation is straightforward and could be easily done using symbolic manipulation programs such as Mathematica or Maple. We shall content ourselves in this paper by collecting some of the important results. Starting with we write
[TABLE]
where and Thus we now have
[TABLE]
and similarly for . The anti-linear isometry is represented by
[TABLE]
and satisfies which implies that . In this form
[TABLE]
where the superscript denotes the transpose matrix. This clearly satisfies the commutation relation
[TABLE]
which is simply the statement that the right action and left action commute. We shall now show that the relations that must satisfy greatly constrain its form. The (finite) Dirac operator can be written in matrix form
[TABLE]
and must satisfy the properties
[TABLE]
where . We also adopt the notation
A matrix realization of and is given by
[TABLE]
These relations, together with the hermiticity of imply the relations
[TABLE]
with the bar denoting complex conjugation. The operator have the following zero components [15]
[TABLE]
leaving the components , and arbitrary. These restrictions lead to important constraints on the structure of the connection that appears in the inner fluctuations of the Dirac operator.
We have shown, using elementary algebra, that the components of the connection which is tensored with the Clifford gamma matrices are the gauge fields of the Pati-Salam model with the symmetry of On the other hand, the non-vanishing components of the connection which is tensored with the gamma matrix are given by
[TABLE]
where and , which is the most general Higgs structure possible. These correspond to the representations with respect to [12]
[TABLE]
We note, however, that the inner fluctuations form a semi-group and if a component or or vanish, then the corresponding field will also vanish. We distinguish three cases: 1) Left-right symmetric Pati–Salam model with fundamental Higgs fields and In this model the field should have a zero vev. 2) A Pati-Salam model where the Higgs field that couples to the left sector is set to zero (and then remain zero under fluctuations) which is desirable because there is no symmetry between the left and right sectors at low energies. 3) The initial values for , and before fluctuations are given by those that are determined for the Standard Model, where order one condition is satisfied for the subalgebra, then the Higgs fields and will become dependent fields and expressible in terms of more fundamental fields (as will be shown in the next section).
In matrix form the operator has the sub-matrices [15]
[TABLE]
Then the components of the Dirac operator tensored with including inner fluctuations, is given by [12]
[TABLE]
where the fifteen matrices are traceless and generate the group and are the gauge fields of , , and The requirement that is unimodular implies that
[TABLE]
which gives the condition
[TABLE]
This shows that the resulting gauge group is , which is the Pati-Salam gauge symmetry. In addition we have for the components of the Dirac operator tensored with
[TABLE]
where is in the representation, is in the representation and is in the with respect to To conclude, there are only three Pati-Salam models with fixed Higgs structure, where the first one is the most general case, and the other two are special cases of the first one.
6 The Standard Model
We now consider the situation when the order one condition is satisfied
[TABLE]
and the center of the algebra is non-trivial in such a way that the space is connected. Physically, this means that there is a mixing term between the fermions and their conjugates. The Dirac operator connects the spinors and their conjugates so that
[TABLE]
In physical terms this would allow a Majorana mass term for the fermions. It was shown in [10] that the unique solution to this equation constrains the algebra to be restricted to a subalgebra
[TABLE]
so that an element of takes the form [15]
[TABLE]
where and the operator have a singlet non-zero entry in the mixing term
[TABLE]
where and are Yukawa couplings in generation space. The field is a singlet (which could be complex) whose vev is responsible for the right-handed neutrino Majorana mass. The operator must be replaced with the operator
[TABLE]
and
[TABLE]
which greatly simplifies the Higgs structure. The various components of the Dirac operator are exactly those of the Standard Model, in addition to the Higgs fields which are the components of the connection along discrete directions
[TABLE]
where in this notation the fermions are enumerated as
[TABLE]
It is clear that the associated gauge group is and that there is only one Higgs doublet We note the presence of the singlet field which is the field whose vev will give a Majorana mass to the right-handed neutrinos. This field plays an essential role in stabilizing the Higgs coupling so that it does not turn negative at very high energies [22]. We note in passing that the number of generations is inserted by hand in the Dirac operator of the finite space, and at present we do not have any geometrical explanation to single out three generations.
7 A special Pati-Salam model
We have shown that inner fluctuations resulting from the action on operators in Hilbert space form a semi-group Pert There exists configurations for which the inverse transformation to the perturbation does not exist. One such Dirac operator corresponds to the case where the initial operator is taken to be the one deduced for the Standard Model as given in (73) and (74), but not restricting its action to the subalgebra but to the full algebra In this case one finds out that the resultant vector fields are the same as in the case of Pati-Salam models, but where the Higgs fields and become composite fields determined in function of fundamental Higgs fields while vanishes. These are given by [12]
[TABLE]
where the Higgs field is in the of the product gauge group , and is in the representation while is in the representation. The fact that one gets a simpler Higgs representations in this case makes it more attractive. It is certainly an interesting question to determine all Dirac operators which lead to singular transformations where the resultant Higgs fields are composites of more fundamental ones. The scalar potential which contains quartic interactions in the bosonic fields, which because of compositness, are of order All terms of orders higher than four will be suppressed by the cut-off scale and could be truncated. Similarly the coupling of such terms to the fermionic fields will be suppressed by the cut-off scale. To conclude this section, it is remarkable that starting with the simple quantization condition which represents the Chern-character of the noncommutative space and is a special case of the orientability condition, fixes uniquely the structure of space-time as well as the matter content in the form of a very specific Pati-Salam unification model, or three of its truncations, including the Standard Model. This enables us to track gravitational and matter interactions, starting from the Planck scale where the starting point is few spheres of Planck size, and ending up with the present scale. This compelling picture could represent a valid framework for the realization of Hilbert’s program for axiomatization of physics.
8 Spectral Action
The coordinates are topological fields, and apart from being coordinates of a sphere and satisfying the volume quantization condition, are not constrained. They do play a role serving as coordinates conjugate to the momentum represented by the Dirac operator. In particular, since now and play the role of momenta and coordinates, it is natural to consider the spectral action to be of the form [10]
[TABLE]
which, because implies the dependence on terms of the form The lowest order contribution of such terms come from which corresponds to adding the following term to the action
[TABLE]
It is also clear that in the case of the two sided quantization with the field the contribution of the term gives the sum of two contributions without interference terms
[TABLE]
We have shown that the spectral action for the part dependent on gives the bosonic action for all dynamical fields appearing in the connection In particular, in the case of the Standard Model the bosonic action for the part independent of the fields and is given by [13] [14] [15] [32]
[TABLE]
and
[TABLE]
where are defined in terms of the Yukawa couplings, and are the Mellin transforms of the function
[TABLE]
This action is calculated using heat kernel methods and was shown to contain unification of gravity with gauge symmetries and Higgs field and the scalar singlet. All couplings are related at unification scale. The zeroth order term in the expansion gives the cosmological constant, the first order gives the Einstein-Hilbert action and the scalar masses, and the second order gives the Yang-Mills and scalar kinetic terms as well as the second order in curvature terms. The presence of the singlet field whose vev gives mass to the right-handed neutrino plays an important role in stabilizing the Higgs coupling which will not become negative at very high energies as well as being consistent with a low Higgs mass of Gev [22]. The form of the gauge and Higgs kinetic terms and potential implies unification of the gauge couplings and the Higgs coupling. In addition there is a relation between the fermion masses and the gauge field masses. A study of the RGE showed that these relations are consistent with present experimental data and predicts the top quark mass to be around Gev. However, gauge coupling unification is off by indicating that the Standard Model is an excellent approximation to a Pati-Salam model listed above. We have shown [16] that gauge coupling unification is indeed possible for Pati-Salam models at a unification scale of the order of Gev.
It is also worthwhile to summarize the fermionic action
[TABLE]
Note that the singlet field after getting a vev from the minima of its potential, will give a Majorana mass to the right-handed neutrino and implies that the left handed neutrino will have a small mass through a see-saw mechanism.
9 Consequences of volume quantization
Having established the importance of the volume quantization condition, which in turn implies that the two sets of fields and mapping the four dimensional manifold to four spheres must be taken into consideration when studying the dynamical content of the resulting model. In particular, the Einstein equations of motion will be modified. The volume constraint, imposed through a Lagrange multiplier, will result in traceless Einstein equations, with the trace part equated to the Lagrange multiplier. We will show that Bianchi identities give rise to a cosmological constant as an integration constant. We now study the implications of the presence of the fields and on the structure of the model.
For simplicity and to avoid cluttering of fields and indices, in what follows we shall consider only one set of fields and not two sets and as required by the reality condition. The effects on the equations of motion will be minimal. Here we take a matrix whose elements are quaternions. This can be written as
[TABLE]
where are Hermitian gamma matrices satisfying where Cliff and we take one of the irreducible representations The condition implies
[TABLE]
which defines coordinates on the four dimensional sphere We can check that
[TABLE]
implies the relation
[TABLE]
which fixes the volume density and whose integral quantizes the volume. This last condition can be imposed through a Lagrange multiplier. To do this consider the action
[TABLE]
where which will be set to Notice that the third term is a four-form and represents the volume element of a unit four-sphere. It can be written in terms of differential forms without any tensor indices
[TABLE]
and is independent of the variation of the metric. Varying the action with respect to the metric, after imposing the two Lagrange multipliers constraints
[TABLE]
gives
[TABLE]
Tracing it with then gives
[TABLE]
which when substituted back yields the tracelees Einstein equation
[TABLE]
Applying the Bianchi identity to this equation implies
[TABLE]
and thus
[TABLE]
where is the cosmological constant arising as an integrating constant [23]. Therefore we see that an added benefit of having the quantization condition is that the cosmological constant now appears as an integrating constant in the equations of motion and is not necessary to be present in the action. This result is similar to the one encountered in unimodular gravity, with a major difference that in our case the diffeomorphism symmetry is not restricted but only the volume is quantized with all symmetries being intact.
Next, varying the fields gives (using )
[TABLE]
Tracing this equation with gives
[TABLE]
Assuming that (the case recovers the full set of Einstein equations without cosmological constant), we further have
[TABLE]
which implies the equation
[TABLE]
Note that the expression
[TABLE]
is the winding of the sphere ( [6], [21]). Thus
[TABLE]
where is the winding number of the mapping [24] [25]. We can easily see that the equation of motion (112) follows from equation (103) and does not give any new information because it appears through a topological term. To see this use the identity resulting from anti-symmetrizing six indices taking five values,
[TABLE]
which, after using the property and equation (103), implies equation (112).
10 Solitonic solution
We have seen that if we consider the spectral action to be of the form it will then contain the kinetic term
[TABLE]
Including this term in the action gives the modified Einstein equations
[TABLE]
where we have denoted by Taking the trace of this equation determines
[TABLE]
and when this is plugged back into equation (119) it gives two equations, the first of which is traceless
[TABLE]
Taking covariant derivative of equation (119) using Bianchi identity, gives
[TABLE]
where and after making use of the identity that follows by differentiating We now examine the equation
[TABLE]
Tracing with gives
[TABLE]
Plugging this back and using equation (112 ) gives
[TABLE]
The left-hand side of equation (122) is a total derivative, while the right-hand side is not. The general solution of equations (122) and (125) is not easy to find. We shall restrict ourselves to the subspace where
[TABLE]
so that
[TABLE]
Equation (125) then simplifies to
[TABLE]
This equation, being traceless, could be recast in terms of the dependent variables substituting the relation so that the kinetic term takes the form
[TABLE]
where
[TABLE]
The equation (126) then takes the form [26]
[TABLE]
where is the Christoffel connection of the metric on the sphere which is given by
[TABLE]
This shows that the fields are harmonic maps which shows that maps from the four-manifolds to satisfying the equations of motion are harmonic. We conclude that the equations of motion are identical to those of the non-linear sigma model, which is also equivalent to the Projective quaternionic model [27], [28]. These works have derived the instanton solution (for a conformally flat metric) with and the multi-instanton solution .
First for the instanton solution we have
[TABLE]
which satisfies
[TABLE]
The multi-instanton solution is given by
[TABLE]
where is a quaternionic coordinate
[TABLE]
where , are the three quaternionic complex structures and We also have
[TABLE]
This solution gives a winding number
11 Three dimensional volume quantization
Up to this point we have been dealing with compact manifolds. Physical space-time has a Lorentzian signature, and is thus topologically equivalent to
Alternatively, we can envision the following picture. Consider as a starting point any three dimensional hypersurface whose normals at any point has time-like directions and with a family of geodesic lines normal to the hypersurface. Let these lines be time coordinates and set to be the distance as measured from the initial hypersurface. Denote by as the coordinates on the hypersurface There will still be arbitrary coordinate transformations Denote the four coordinates by and define the functions [29]
[TABLE]
and the corresponding normal vectors such that
[TABLE]
The inverse functions are defined with the aid of the vectors so that
[TABLE]
where the vectors satisfy
[TABLE]
where for metric with signature and for signature The metric on the four-dimensional manifold generated due to the motion of the three dimensional hypersurface is then given by
[TABLE]
where is the metric on the three dimensional hypersurface The inverse metric is given by
[TABLE]
where is the inverse metric of which implies that
[TABLE]
For simplicity we can chose the gauge where
[TABLE]
which implies that
[TABLE]
Denoting
[TABLE]
the components of the metric will be given by
[TABLE]
where
[TABLE]
In particular, the vector is given by
[TABLE]
This gives the familiar ADM splitting of the metric [30]
[TABLE]
At this point we note that for the three dimensional hypersurface we will utilize the two maps and from to the three sphere which are defined with respect to the Clifford algebras and where
[TABLE]
where
[TABLE]
and In reality, we can consider the mappings from the moving hypersurfaces which generate the four dimensional manifold and thus we have and These could be extended by the field which maps the geodesics normal to into We can then consider the field to be measure of the distance
[TABLE]
which according to the Hamilton-Jacobi equation will then satisfy [31]
[TABLE]
and this is a requirement that the mapping function preserves the length of a curve on This relation could be viewed as a condition to minimize the distance between two points in noncommutative geometry
[TABLE]
Thus, in contrast to the four dimensional case where the mapping is from to the mapping now is from to The Feynman slashed fields and must now be replaced with the field slashed with some combination of and To find out the correct procedure, we make the following observation. In the four-dimensional case, we used the Feynman slashed coordinates The matrices are generators of the Lie Algebra Denoting these by , they have the commutation relations
[TABLE]
Denoting where and we then have
[TABLE]
In the limit the generators become, locally, the translation generators and will correspond to Lorentz generators. This is the procedure we will follow to decompose one of the coordinates, say by writing
[TABLE]
and simultaneously rescale one of the coordinates, say
[TABLE]
then taking the limit We will obtain the volume quantization condition by compactifying the four-dimensional two sided relation to in the above limit, where the fields and are not coordinates on the fours sphere, but independent fields. To this end, let
[TABLE]
where
[TABLE]
Notice that we have identified the fields and with the same field because this is the field corresponding to the motion of the hypersurface. The correct quantization condition of the dimensional space, which also results from compactification of the four dimensional quantization condition is given by
[TABLE]
where is the chirality operator of the generated dimensional manifold. For consistency, one must first show that all terms of order are zero. For example
[TABLE]
as this would involve terms like because this is the trace of an odd number of matrices. Therefor we have to worry only about terms independent of as the terms of order vanish in the limit. Terms which are linear in (and not its derivative) also vanish because terms of the form
[TABLE]
will give the terms
[TABLE]
as the Jacobian vanishes because the four are not independent. After some algebra, one can check that the only non-vanishing terms are
[TABLE]
There is no need to repeat the calculation done in the case as the result holds in general, and in particular in the limit and this is a smooth limit as terms of order vanish identically. We thus conclude that this condition implies
[TABLE]
The field could be identified with the time coordinate in a certain gauge. For example, in the synchronous gauge we have which implies that is a solution of the above constraint. If we define the three-dimensional hypersurface by constant, then the lapse function could be defined by with the boundary condition
[TABLE]
We could have obtained the quantization condition, directly by compactifying the four-dimensional condition of the mapping from Let and simultaneously rescale one of the coordinates, say
[TABLE]
so that the constraint in the limit becomes (written covariantly)
[TABLE]
where the field is unconstrained, while the fields and satisfy
[TABLE]
Notice that the term
[TABLE]
is equal to zero because depends on a linear combination of
The Clifford algebra spanned by and will be extended by the generators and The first corresponding to the Clifford algebra is not effected by the addition of The second corresponding to the Clifford algebra changes to when extended by Thus the algebra associated with the two sided relation (170) for the manifold is the same as the four dimensional case and is given by
[TABLE]
Thus, this compactification corresponds to a mapping from where is a three dimensional hypersurface. Although imposing this condition could be made and leads to the mimetic matter phenomena [33],[34], it is worth noting that we need to impose this condition only on the hypersurface to be defined below:
[TABLE]
To get acquainted with this condition, we first consider the situation where we have a three dimensional hypersurface in space-time, a case dealt with in the ADM decomposition [30]. Consider the splitting of space-time so that (for Lorentzian signature)
[TABLE]
where and are the lapse and shift functions. Then
[TABLE]
We, therefore, supplement the volume quantization condition
[TABLE]
by adding the constraints (155) to hold on the hypersurface
[TABLE]
from which we deduce that the constraint (183), when restricted to the hypersuface gives
[TABLE]
and we finally have
[TABLE]
where and are integers given by the winding numbers on One can check that an exact solitonic solution with winding number one, is given by
[TABLE]
with the metric
[TABLE]
and this corresponds to a quantized three dimensional volume.
To understand the condition we notice that in the synchronous gauge [31] we can take so that and thus the line measure which is consistent with Thus this condition amounts to length preserving transformation. We deduce that in a Lorentzian space-time volume quantization is possible, provided that the field corresponding to the non-compact transformation satisfy a length preserving condition. For the two sided equation where we have both and it is important to truncate both and to the same field
[TABLE]
which avoids imposing further unnatural conditions. There are many advantages to impose the condition (155) locally as this constraint modifies Einstein gravity only in the longitudinal sector as the field is not dynamical. In the synchronous gauge, this field is identified with the time coordinate and modifies Einstein equations by giving an energy-momentum tensor in the absence of matter, giving rise to mimetic cold matter. We have shown that this field, which arises naturally from the three space quantization condition can be used to construct realistic cosmological models such as inflation without the need to introduce additional scalar fields. By including terms in the action of the form which do occur in the spectral action as can be seen from considerations of the scale invariance, it is possible to avoid singularities in Friedmann, Kasner [35] or Black hole solutions [36]. This is possible because the contributions of the field to the energy-momentum tensor would allow, for special functions to limit the curvature, preventing the singularities from occurring.
12 Area quantization
Next consider the compactification of two fields, keeping only three compact fields and rescale the two fields
[TABLE]
and simultaneously rescale the coordinates
[TABLE]
where are coordinates along directions transverse to the two dimensional hypersurface, so that
[TABLE]
where while the and are subject to the constraints
[TABLE]
Again, since the functions are unconstrained to be coordinates on a sphere, normalization conditions must be imposed
[TABLE]
In case of Minkowski signature we must replace with It is known that this condition is the area preserving transformation on the two dimensional surface from the original surface with coordinates to the surface with coordinates We note that in order to completely characterize this transformation we still have the option of specifying the* trace* of the matrix which turns out to determine the stability of the map under linear perturbations [37].
Thus this compactification corresponds to the mapping We assume that there is a hypersurface endowed with an induced metric and with coordinates so that the four dimensional metric can be written in the form
[TABLE]
where is the inverse of , the metric on with and In matrix form, the four-metric is
[TABLE]
The inverse of this metric is given by
[TABLE]
where is the inverse of and is obtained from by raising indices with the metrics and The hypersurface is then defined by the equations
[TABLE]
parametrized by the coordinates In this form we have
[TABLE]
The constraint (198) is then solved by
[TABLE]
so that
[TABLE]
which implies
[TABLE]
Using
[TABLE]
The volume constraint becomes
[TABLE]
One important point to realize is that the fundamental constraint equation is (196), and that we can integrate this equation over any hypersurface we like, and not only over the full space. In particular, let us choose to integrate over a two dimensional hypersurface with coordinates , then this implies that
[TABLE]
where and are integers and equal to the winding numbers of the two maps.
13 Equations of motion for and
13.1
case
Start by taking the action
[TABLE]
We have included a constraint on the field, which is known to have the effect of replacing the scale factor in gravity by the field which mimics dark matter [33],[34]. We also have the option of not including this field, and in that case the effects of the field will only be topological providing only the joining of the disconnected pieces. For simplicity, we have included only the coordinates of one of the maps First, we have the and equations
[TABLE]
Taking the trace of Einstein equation gives
[TABLE]
resulting in the traceless equation
[TABLE]
Next the variation of the field gives
[TABLE]
where we have denoted
[TABLE]
and used the property
[TABLE]
This last equation is a consequence of the identity which follows from
[TABLE]
The equation gives
[TABLE]
Contracting this equation with gives
[TABLE]
The Bianchi identity gives
[TABLE]
Using the property , obtained by differentiating equation (214) this simplifies to
[TABLE]
For example, in the synchronous gauge where and we find and
[TABLE]
For Friedmann type universe this condition simplifies to
[TABLE]
which is the Einstein equation allowing mimetic dark matter and cosmological constant arising as integration constants.
One can easily verify that the Bianchi identity (225) upon contracting by gives
[TABLE]
which coincides with the equation after contracting with
Note that if the constraint is only imposed on the boundary, then there will be no need for a Lagrange multiplier and the equations do simplify to give
[TABLE]
without any new information from the and equations.
13.2 case
We start with the action
[TABLE]
Varying and setting gives
[TABLE]
and by tracing this equation we get
[TABLE]
After substituting back we get the traceless equation
[TABLE]
The Bianchi identity gives
[TABLE]
Next, we have the equation
[TABLE]
and finally the equation gives
[TABLE]
Contracting this equation with gives
[TABLE]
and thus
[TABLE]
together with
[TABLE]
This implies
[TABLE]
This relation is an identity which follows from the vanishing of a rank four antiysmmetric tensor taking three values
[TABLE]
the last term being zero because Thus, as expected, no new information comes from the equation, except for its trace.
The equation reduces to
[TABLE]
which is identically satisfied since This shows that the resulting system is that of gravity plus mimetic dark matter, with the topological fields connecting the different unit spheres, constituting the building fabric of space-time.
Finally we comment on the possibility of adding mimetic matter to the system corresponding to the quantization of where is a two dimensional surface. Looking at the induced metric
[TABLE]
we notice that we had to impose, on the boundary, the constraint
[TABLE]
which is the area preserving condition for the two dimensional surfaces. These maps will be characterized by the value of the trace of and their stability will depend on the value of These are stable and of the elliptic type when Unfortunately, the resulting system of equations is not easy to solve, and it is not clear whether such system can lead to realistic models. It is therefore doubtful whether using more than one scalar field associated with imposing one or more constraints is useful. We conclude that for our purposes, it is enough to characterize the conditions for area quantization is to have an area preserving conditions on the mapping defined by the two fields and taken as boundary conditions.
14 Discussion and conclusions
It is an ambitious goal to initiate a program of axiomatization of physics as suggested by Hilbert. Our proposal is to start from an analogue of the Heisenberg commutation relation to quantize the geometry. The Dirac operator plays the role of momentum while the Feynman slash of scalar fields plays the role of coordinates. When the dimension of the noncommutative space, as determined by the growth of eigenvalues, is or there are two possible Clifford algebras with which the scalar fields are contracted with the corresponding gamma matrices. These two Clifford algebras are related to each other through the reality operator which is an anti-unitary operator that is part of the data defining the noncommutative space. In four dimensions the sum of the two Clifford algebras is which is the algebra of the finite space that is tensored with the continuous Riemannian space. The quantization condition implies that the volume of the continuos part of the space is quantized in terms of the winding numbers of the two mappings and from to The presence of two maps instead of one allows for the representation of a spin-manifold with arbitrary topology and large volume as the pullback of the two maps which yields four coordinates given on local charts. This construction determines, in a unique way, the noncommutative space that defines our space-time. Inner fluctuations of the Dirac operator by automorphisms of the algebra extends it to include a connection, which is a one form defined over the noncommutative space. Components of the connection along the continuous directions are the gauge fields of the resulting gauge group, and the components along the discrete directions are the Higgs fields. The connection then includes all the bosonic fields of a unified field theory, which is a Pati-Salam model with a definite Higgs structure. There are two special cases when these Higgs fields are either truncated or are in composite representations of more fundamental fields. The Standard Model with neutrinos (and a singlet) is a special case of the Pati-Salam model which satisfies an order one condition where the connection becomes restricted to the algebra but not its opposite. Elements of the Hilbert space define the fermions which are in the representation with respect to the symmetry Thus all bosonic fields in the -form of gravity, gauge and Higgs fields are unified in the Dirac operator and all fermion fields are unified in the fundamental representation in the Hilbert space. The dynamics is governed by the spectral action principle where the spectral action is an arbitrary positive function of the Dirac operator valid up to a cutoff scale, which is taken to be near the Planck scale. In other words, by starting from a quantization condition on the volume of the noncommutative space, all fields and their interactions are predicted and given by a Pati-Salam model which has three special cases one of which is the Standard Model with neutrino masses and a singlet field. The spectral Standard Model predicts unification of gauge couplings and the correct mass for the top quark and is consistent with a low Higgs mass of Gev. The unification model is assumed to hold at the unification scale and when the gauge, Yukawa and Higgs couplings relations are taken as initial conditions on the RGE, one finds complete agreement with experiment, except for the meeting of the gauge couplings which are off by This suggests that a Pati-Salam model defines the physics beyond the Standard Model, and where we have shown [16] that it allows for unification of gauge couplings, consistent with experimental data.
The assumption of volume quantization has consequences on the structure of General Relativity. Equations of motion agree with Einstein equations except for the trace condition, which now determines the Lagrange multiplier enforcing volume quantization. The cosmological constant, although not included in the action, is now an integration constant. The two mapping fields and from the four-manifold to can be considered to be be solutions of instanton equations and give the physical picture that coordinates of a point are represented as the localization of instantons with finite energy. To have a physical picture of time we have also considered a four-manifold formed with the topology of , where is a three dimensional hypersurface, to allow for space-times with Lorentzian signature. The quantization condition is modified to have two mappings from and a mapping The resulting algebra of the noncommutative space is unchanged, and the three dimensional volume is quantized provided that the mapping field is constrained to have unit gradient. This field modifies only the longitudinal part of the graviton and plays the role of mimetic dust. It thus solves, without extra cost, the dark matter problem [33]. Recently, we have shown that this field can be used to build realistic cosmological models [34]. In addition, and under certain conditions, could be used to avoid singularities in General relativity for Friedmann, Kasner [35] and Black hole solutions [36]. This is possible because this scalar field modifies the longitudinal sector in GR. We have presented various implications of the quantization condition such as the absence of the cosmological constant from the action, quantizing volumes and areas of maps of to , and
We have presented enough evidence that a framework where space-time assumed to be governed by noncommutative geometry results in a unified picture of all particles and their interactions. The axioms could be minimized by starting with a volume quantization condition, which is the Chern character formula of the noncommutative space and a special case of the orientability condition. This condition determines uniquely the structure of the noncommutative space. Remarkably, the same structure was also derived, in slightly less unique way, by classifying all finite noncommutative spaces [10]. The picture is very compelling, in contrast to other constructions, such as grand unification, supersymmetry or string theory, where there is no limit on the number of possible models that could be constructed. The picture, however, is still incomplete as there are still many unanswered questions and we now list few of them. Further studies are needed to determine the structure and hierarchy of the Yukawa couplings, the number of generations, the form of the spectral function and the physics at unification scale, quantizing the fields appearing in the spectral action and in particular the gravitational field. To conclude, noncommutative geometry as a basis for unification, is a predictive and exciting field with very appealing features and many promising new directions for research.
Acknowledgement 1
I would like to thank Alain Connes for a fruitful and pleasant collaboration on the topic of noncommutative geometry for the last twenty years. I would also like to thank Walter van Suijlekom and Slava Mukhanov for essential contributions to this program of research. This research is supported in part by the National Science Foundation under Grant No. Phys-1518371.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Leo Corry, David Hilbert and the Axiomatization of physics (1898-1918), Springer Science+Business Media Dordrecht, 2004.
- 2[2] D. Hilbert, Die Grundlagen der Physik, Konigl. Gesell. d. Wiss. Gottingen, Nachr. Math.Phys. Kl, 395-407, 1915.
- 3[3] D. Hilbert, Die Grundlagen der Physik, (Zweite Mitteilung), Konigl. Gesell.d. Wiss. Gottingen, Nachr. Math. Phys. Kl. 53-76, 1917.
- 4[4] A. Connes, Noncommutative Geometry . Academic Press, 1994.
- 5[5] J. Gracia-Bondia, J. Varilly and H. Figueroa, Elements of Noncommutative Geometry, Birkhauser.
- 6[6] W. Greub, S. Halperin and R. Vanstone, Connections, Curvature and Cohomology, volumes 1-3, and in particular pages 347-351 volume 2 (sphere maps), Academic Press (1973).
- 7[7] A. H. Chamseddine, A. Connes, Viatcheslav Mukhanov, Geometry and the Quantum:Basics, ar Xiv:1411.0977, JHEP 12 (2014) 098.
- 8[8] A. Connes, Noncommutative Geometry and Reality, J. Math. Phys. 36 (1995) 6194.
