Abstract
Quantization of the noncommutative geometric spectral action has so far been performed on the final component form of the action where all traces over the Dirac matrices and symmetry algebra are carried out. In this work, in order to preserve the noncommutative geometric structure of the formalism, we derive the quantization rules for propagators and vertices in matrix form. We show that the results in the case of a product of a four-dimensional Euclidean manifold by a finite space, could be cast in the form of that of a Yang–Mills theory. We illustrate the procedure for the toy electroweak model.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Active research during the last decade on the noncommutative nature of space-time has enhanced our understanding of the fundamental particles in nature and their interactions (we refer to [3, 4, 6, 9, 10, 13] for an overview of the literature). The emergent picture is that of a space-time which is a product of continuous four-dimensional manifold with a finite space, determined uniquely from very few physical requirements [2]. In particular, when the order one condition is imposed on the Dirac operator, we obtained all the spectrum of the Standard Model, in addition to the right-handed neutrinos and a scalar singlet whose vev generate Majorana mass to the right-handed neutrinos The fermionic action is of the Dirac type while the classical bosonic action is determined from the spectral action principle. As all gauge and Higgs fields are unified within the same Dirac operator, this resulted in certain relations between the three gauge couplings and also the Higgs coupling. These relations were taken to hold only at some unification scale and the action considered as an effective action from the Wilsonian point of view (cf. [6] and references therein). The renormalization program was then carried out according to the rules of perturbative quantum field theory to the final derived form of the action. One immediately recognizes that following this method a vast amount of information is lost because the action is obtained after taking all traces of the matrices of the Clifford and symmetry algebras. Moreover, looking at the component form of the propagators of all the dynamical fields it is not possible to see the unified picture they were derived from. In particular, it is known [8] that in the traditional framework of the Standard Model relations among coupling constants are not stable under renormalization. In contrast, in our formulation all the fermionic fields are assembled in one spinor, acted on with a Dirac operator D, which is a \(384\times 384\) matrix implying that the fermionic propagator \(D^{-1}\) is also a matrix of the same dimension. In order not to lose the noncommutative nature of the space at the quantum level, especially of the finite part, it is important to derive all propagators and vertices in matrix form. In this paper we will achieve this by expressing the bosonic action in terms of matrix-valued fields, without taking the traces. For simplicity, and to avoid the complications of including the gravitational field, we will assume a flat four-dimensional Euclidean manifold. It is possible to generalize this work to include gravity by using results from our previous works on the spectral action (see [6] for more details and references).
2 Action in matrix form
Consider a noncommutative space \(\left( {\mathcal {A}},{\mathcal {H}} ,D,J,\gamma \right) \) defined as the product of a four-dimensional manifold M with the spectral data \(\left( C^{\infty }\left( M\right) ,L^{2}\left( S\right) ,i\gamma ^{\mu }\partial _{\mu },C,\gamma _{5}\right) \) where C is the charge conjugation operator, times a finite space \(\left( {\mathcal {A}}_{F},{\mathcal {H}}_{F},D_{F},J_{F},\gamma _{F}\right) \). The spectral data is given by \(\left( {\mathcal {A}} ,{\mathcal {H}},D,J,\gamma \right) \) where [1]
The Dirac operator including inner fluctuations is
where
and where \({\mathcal {A}}^{0}\) is the opposite algebra formed from elements \(Ja^{*}J^{-1},\) \(a\in {\mathcal {A}}.\) The connection A, in the general case, takes the form [5]
The Dirac matrices \(\gamma ^{\mu }\) satisfy \(\left\{ \gamma ^{\mu },\gamma ^{\nu }\right\} =2\delta ^{\mu \nu }\) and \(\gamma ^{\mu *}=\gamma ^{\mu }.\) Squaring D we get
where
then \(D^{2}\) can be written in the form \(-\nabla ^{\mu }\nabla _{\mu }-E\) where \(\nabla _{\mu }=\partial _{\mu }+\omega _{\mu }\) and
Then the covariant quantities are E
and the curvature \(\Omega _{\mu \nu }\)
We now use the Gilkey formulas used in all our previous spectral action calculations (in flat space)
where the trace \({{\,\mathrm{Tr}\,}}\) is over the Clifford algebra and matrix algebra of A. The spectral action \(f\left( D^{2}\right) \) then gives [1]
where
We will use a cutoff function and truncate all higher order terms.
The problem to express I in terms of A now becomes trivial but tedious, eventually resulting in
All contractions of the Dirac gamma matrices cancel. There is one set of cubic terms that do not vanish, but combine to form a total divergence
Thus the spectral action is given by
An alternative derivation of this Lagrangian could be obtained based on the functional analytical results of [11, 12]. We refrain from including it here as this lies beyond the scope of the present paper. Instead, we now turn our attention to gauge fixing and the Feynman rules that this Lagrangian gives rise to.
3 Gauge fixing and Feynman rules
Let us analyze the properties of I with respect to gauge transformations. We already mentioned that the quantities E and \(\Omega _{\mu \nu }\) are gauge covariant. To see this we start with the gauge transformations of A given by [5]
where \(\delta u=i\gamma ^{\nu }\partial _{\nu }u,\) and u has the same matrix structure as A, then with simple but tedious algebra we can verify that
transform covariantly. The connection \(\omega _{\mu }\) transforms as
Note that for product of continuous and finite spaces we can write
as follows from the form of the Dirac operator (1), then
showing in this case that the curvature \(\Omega _{\mu \nu }\) only depends on the gauge fields \(B_\mu \). Thus we must add to the action a gauge fixing term. Let
then we add to the action the term
The Feynman gauge corresponds to the choice \(\xi =1.\) Adding a gauge fixing term would then require introducing ghost fields \({\overline{c}}\) and c with the same matrix structure as u. The form is determined from the infinitesimal transformation of \({\mathcal {G}}\). Writing \(u=1+i\alpha \) where \(\alpha \) is Hermitian we get that
and thus the ghost action is
3.1 Feynman rules
We are now ready to give the Feynman rules.
The fermionic propagator corresponds to a massless fermion and is given by the usual expression obtained from the (Euclidean) action of the form \(\Psi _{\alpha A}^{*}\left( i \gamma ^{\mu }\right) _{\alpha }^{\beta }\partial _{\mu }\Psi _{\beta A}\), that is to say,
To find the bosonic propagator we examine the following quadratic pieces of the action
Note that we do not include the quadratic “mass” terms \(2A^{2}-\gamma _{\mu }A\gamma _{\mu }A\) in the propagator; these will be taken into account using vertices of order two, after which one can rely on the well-known identity,
thus re-assembling the pieces to arrive at a propagator that does include the mass term.
Working in the Feynman gauge \(\xi =1,\) the kinetic part of A simplifies, but it would not be easy to find the propagator. Indeed, one has to invert expressions with gamma matrices. This can in fact be done, but the expression obtained is rather involved. The problem at hand is to carry renormalization program for models such as the Standard Model, and therefore it will be useful to restrict ourselves to the case where
This should be anti-commuting with the grading \(\gamma _{5} \otimes \gamma _{F}\) where \(\gamma _{F}\) is a grading on the finite, matrix indices. Hence, with respect to \(\gamma _{F}\) the field \(B_{\mu A}^{B}\) should be diagonal, while the \(\Phi \) should be off-diagonal.
The strategy is the following: express the quadratic expression in terms of \(B_{\mu }\) and \(\phi ,\) get the propagator for these fields, then plug back to get the propagator for A.
First we have (in Feynman gauge)
Hermiticity of D and of \(\gamma ^{\mu }\) implies that
We then write
where \(( T^{i}) _{A}^{B}\) is a hermitian basis for the block diagonal matrices, and \(( \lambda ^{m}) _{A}^{B}\) a hermitian basis for the off-diagonal matrices satisfying
Thus the quadratic action becomes
The propagators for \(B_{\mu }^{i}\) and \(\phi ^{m}\) are
We now reassemble the pieces to get
Thus the free propagator is
where we have defined
Note that when an explicit fixed matrix structure is given, it is possible to simplify the above formula somewhat further, using orthogonality results on the matrix coefficients when summing over the \(T^{i}\) and \(\lambda ^{m}\).
We have expressed the propagators appearing in the scale-invariant part of the spectral action diagrammatically using (ribbon) edges in Fig. 1.
Next we look at the vertices. We will start with the (negative) mass terms that we will include as vertices of valence two. The relevant term is
which we may write in the form
so that the contribution to the vertex is
The first cubic contribution in the spectral action is
and can be written in the form
which shows that the contribution to the vertex is
The second cubic term is
We write it in the form
so that the contribution to the vertex is
Thus the cubic vertex is
The first quartic term
can be written as
so that the contribution to the vertex is
The next quartic term is
which can be written as
so that the contribution to the vertex is
The total quartic vertex is then
Now for the ghost part we have
where we have written \(c_{A}^{B}=c^{i}\left( T^{i}\right) _{A}^{B}\) so that
We conclude that the ghost propagator is
The vertex ghost terms are
which can be written as \(\frac{1}{4} p_{\mu }{\overline{c}}_{A}^{B}\left( \left( \gamma _{\mu }\right) _{\beta }^{\alpha }A_{\alpha E}^{\beta F}\right) c_{C} ^{D}\left( \delta _{F}^{C}\delta _{B}^{E}\delta _{D}^{A}-\delta _{B}^{C} \delta _{D}^{E}\delta _{F}^{A}\right) \). Hence the ghost vertex becomes
We have expressed the interaction terms appearing in the scale-invariant part of the spectral action diagrammatically using ribbon graphs in Fig. 2.
4 The electroweak toy model
Having used a super-condensed notation for the propagators, it would be helpful to consider a toy model that captures the essential points of the noncommutative unification. We thus consider the simple electroweak model where the fermions are in the representation
and where the algebra \({\mathcal {A}}=M_{2}\left( {\mathbb {C}}\right) \oplus {\mathbb {H}}.\) The connection A in this case is (ignoring the complication of introducing the reality operator J ) given by
with the constraint that \({\mathrm {Tr}}A=0\) which implies that \(( B_{\mu }) _{a}^{a}+( B_{\mu }) _{3}^{3}=0.\) Thus in this notation, when we write
then
and
so that \(H^{1}=\frac{1}{2}\left( \phi ^{1}+i\phi ^{2}\right) ,\quad H^{2}=\frac{1}{2}\left( \phi ^{3}+i\phi ^{4}\right) ,\) \(H_{1}=\overline{H^{1} },\) \(H_{2}=\overline{H^{2}}.\) In this notation, the Dirac action becomes
where \(l=\left( \begin{array} [c]{c} \nu _{L}\\ e_{L} \end{array} \right) .\) Comparing with the \(SU\left( 2\right) \times U\left( 1\right) \) Weinberg–Salam leptonic model we have
However, from the spectral action we have
Normalizing of the vector kinetic terms then requires
and thus
Normalizing the H field kinetic term requires
which implies that the electron mass term is
The quartic Higgs coupling is
and thus the coupling constant is
We also note that this implies for the Higgs mass term the relation
From the physical point of view, relations such as (9)–(11), constitute important consequences of the underlying geometric structure and we wish to investigate their stability under renormalization.
5 Conclusions
In this note, we have reconsidered the renormalization program of the perturbative quantum field theory resulting from the spectral action of a noncommutative space formed as a product of a continuous four-dimensional manifold times a finite space. The basic fields are the Fermi fields defining the Hilbert space and the bosonic fields represented as inner fluctuations of the Dirac operator of the noncommutative space. The bosonic fields include both vector gauge and scalar Higgs fields. The crucial observation is to realize that the nature of the finite space determining the matrix structure of the Dirac operator, and the unification of gauge interactions, gauge and Higgs coupling constants follows from this property.
As a first step to preserve the matrix structure at the quantum level, we have derived the spectral action in matrix form, and determined all propagators and vertices corresponding to matrix-valued fields, both in the Clifford algebra of the Dirac operator and algebra \({\mathcal {A}}\) of the noncommutative space. We have also fixed the gauge symmetry and determined the matrix-valued ghost fields associated with this symmetry. The Feynman diagrams of the noncommutative spectral action, are then in one-to-one correspondence with that of a Yang–Mills non-abelian gauge theory, with a direct mass term. The main difference is the appearance of the space-time Dirac matrices \(\gamma ^{\mu }\) and \(\gamma _{5}\) not only for fermionic fields, but also for bosonic fields. The next step is then to carry out the analysis of the renormalizability of the spectral action, along the same lines as those of a Yang–Mills theory, by first determining all the possible Feynman diagrams. The main complication to do this analysis is the appearance of ribbon diagrams thus making the computation technically challenging. Note, however, the striking similarity to the diagrams that appear in noncommutative quantum field theory, starting with [7]. In any case, it is very promising to have prepared the ground to engage in the task of performing the full renormalizability analysis of the spectral model. We do expect that the novel procedure where the matrix structure is preserved, to shed light on the unification of the gauge and Higgs interactions. To gain further insight into the quantization of the noncommutative spectral models, it would be useful to develop, in particular, the BRST quantization for the ghost sector [4].
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: There is no data associated with this work because the project is work in progress.]
References
A.H. Chamseddine, A. Connes, Universal formula for noncommutative geometry actions: unifications of gravity and the Standard Model. Phys. Rev. Lett. 77, 4868–4871 (1996)
A.H. Chamseddine, A. Connes, Why the standard model. J. Geom. Phys. 58, 38–47 (2008)
A.H. Chamseddine, A. Connes, M. Marcolli, Gravity and the Standard Model with neutrino mixing. Adv. Theor. Math. Phys. 11, 991–1089 (2007)
A.H. Chamseddine, A. Connes, W.D. van Suijlekom, Beyond the spectral Standard Model: emergence of Pati-Salam unification. JHEP 1311, 132 (2013)
A.H. Chamseddine, A. Connes, W.D. van Suijlekom, Grand unification in the spectral Pati-Salam model. JHEP 11, 011 (2015)
A.H. Chamseddine, W.D. van Suijlekom, A survey of spectral models of gravity coupled to matter, in Advances in Noncommutative Geometry, ed. by A. Chamseddine, et al. (Springer, Berlin, 2020), pp. 1–51
H. Grosse, R. Wulkenhaar, Renormalisation of \(\phi ^4\)-theory on noncommutative \({\mathbb{R}}^4\) in the matrix base. Commun. Math. Phys. 256, 305–374 (2005)
J. Iliopoulos, Can we predict the value of the Higgs mass? arXiv:hep-ph/0603146
J. Iliopoulos, Gauge theories and noncommutative geometry. in 6\(^{th}\)International Conference on New Frontiers in Physics (ICNFP 2017), EPJ Web Conf. Vol. 182 (2018)
F. Lizzi, Noncommutative geometry and particle physics. PoS CORFU2017, 133 (2018)
W.D. van Suijlekom, Perturbations and operator trace functions. J. Funct. Anal. 260, 2483–2496 (2011)
W.D. van Suijlekom, Renormalizability conditions for almost commutative manifolds. Ann. H. Poincaré 15, 985–1011 (2014)
W.D. van Suijlekom, Noncommutative Geometry and Particle Physics (Springer, Berlin, 2015)
Acknowledgements
We would like to thank Alain Connes for illuminating discussions. The work of A.H.C is supported in part by the National Science Foundation Grant nos. Phys-1518371 and Phys-5912998. He also thanks the Radboud Excellence Initiative for hosting him at Radboud University where part of this research was carried out.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Chamseddine, A.H., Iliopoulos, J. & van Suijlekom, W.D. Spectral action in matrix form. Eur. Phys. J. C 80, 1045 (2020). https://doi.org/10.1140/epjc/s10052-020-08618-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-08618-z