Clifford-based spectral action and renormalization group analysis of the gauge couplings

The Spectral Action Principle in the noncommutative geometry framework provides simultaneous derivation of the actions of the Standard Model and General Relativity by reconciling them in a geometric setting, and hence offers an explanation for their common origin. However, one of the requirements in the minimal formalism, unification of the gauge coupling constants, is not satisfied, since the basic construction does not introduce anything new that can change the renormalization group running of the Standard Model, in which unification is known not to be realized; this is indeed one of the reasons why extensions to the minimal formalism have been constructed. On the other hand, it has been recently argued that incorporating structure of the Clifford algebra into the finite part of the spectral triple, which is the main object that encodes the complete information of a noncommutative space, gives rise to five additional scalar fields in the basic framework, three of which have the same quantum numbers. In this paper, we address the question whether these scalars can help to achieve unification of the gauge couplings in this modified minimal formalism. Adopting the most general approach, we perform a six-parameter renormalization group analysis at the one-loop level, allowing the mass values of these five scalars to float from the electroweak scale to putative unification scale, i.e. emergence scale of the spectral action. We show that out of twenty possible configurations of mass hierarchy of these additional scalars, there does not exist even a single case that can lead to unification. In consequence, the spectral action formalism requires a model construction scheme beyond the (modified) minimal framework.


Introduction
Noncommutative geometry (NCG) [1][2][3][4] reformulates concepts of geometry in terms of operator algebras, in similarity to the commutative case in which this reformulation is enabled by Gelfand duality [5,6]. Gelfand duality provides a one-to-one correspondence between locally compact Hausdorff topological spaces and commutative C * algebras. Therefore, in commutative spaces, the geometric properties of a manifold M can be studied through, instead set of points, the algebraic properties of the commutative algebra of smooth functions C ∞ (M ) defined on it. This is generalized in NCG through an object referred to as "spectral triple", which encodes the complete information of a (noncommutative) space.
A spectral triple (A, H, D) is formed by an involutive algebra A, a Hilbert space H on which the algebra acts as bounded operators, and a (possibly) unbounded self-adjoint operator D in H, referred to as (generalized) Dirac operator. (A, H, D) determines a spectral geometry, based on the spectrum of the operator D. From this set of data on the spectral triple, the original manifold as a metric space can be recovered; while information on the manifold is retrieved by the algebra, the metric is recovered by the Dirac operator. Spacetime in this picture is extended to a product of a continuous four dimensional manifold by a finite discrete space with noncommutative geometry.
In the spectral action formalism in the NCG framework [7][8][9][10][11][12][13] 1 , for a given spectral triple (A, H, D), the action is constructed in terms of the Dirac operator D, through the spectral action, which depends on the spectrum of D. In the basic version of this construction, which yields the SM and GR, the algebra is chosen as A = C ∞ (M ) ⊗ A F such that the finite part of the algebra is given as A F = C ⊕ H ⊕ M 3 (C), where H is the algebra of quaternions, and M 3 (C) is the algebra of 3 × 3 matrices with elements in C. H is the Hilbert space of spinors. Then, the spectral action derives the SM action and the action of GR, the latter of which consists of the Einstein-Hilbert and the cosmological constant terms; additionally, it yields nonminimal coupling term between the Higgs boson and curvature, the Gauss-Bonnet term, and Weyl terms. The SM particle content and the gauge structure are described by this geometry, where the Higgs boson appears as the connection in the extra discrete dimension. The gauge transformations (SM) eventuate from the unitary inner automorphisms of the algebra A while diffeomorphisms (GR) are encoded in the outer automorphisms.
Besides the appealing features of the spectral action formalism, there are various issues within the minimal construction. The most important of these is the requirement of gauge coupling unification dictated by the spectral action. Obviously, unification of the gauge couplings, in general, is an appealing quality in a model. However, it cannot be achieved by the particle content of the SM in the usual renormalization group (RG) running; assuming that the Wilsonian approach to RG running is valid below the scale at which noncommutativity becomes apparent, the RG running in the minimal spectral action is the same as in the SM, as well as the particle content (modulo a possible singlet scalar [12]). Therefore, an extension to the minimal spectral action is required, which in turn would correspond to physics beyond the Standard Model. Indeed, a recently proposed extension to the basic formalism accommodates (three versions of) a Pati-Salam type model [16] with gauge coupling unification, in contrast to the canonical Pati-Salam models in the literature in which this is not a requirement [17][18][19][20]. Unification in the Pati-Salam models based on NCG can be realized in a variety of ways, as displayed in Refs. [21][22][23][24].
Recently, Lizzi and Kurkov in Ref [25], based on the analysis of Ref. [26], argue that incorporating Clifford structure into the finite part of the spectral triple of the basic construction gives rise to five extra scalars, with the SM quantum numbers 2 Ω(1, 1 − 1), S(3, 2, − 1 6 ), and ∆ u,d,L (3, 1, 2 3 ), where the ∆ fields, although they have the same quantum numbers, have different Yukawa couplings in the primary version of the fermionic action. It is pointed out in Ref. [25] that the fields S, ∆ u , ∆ d , and ∆ L do not enter into the final version of the fermionic action. 3 On the other hand, since all of these scalars appear in the bosonic part, they contribute to the RG running of the gauge couplings, which is the focal point of this work.
In this paper, we address the question whether these scalars can help satisfy the unification condition in this modified minimal formalism. We perform the 1-loop renormalization group analysis by adopting the most general approach in which the mass values of these five extra scalars are allowed to float from the electroweak scale to the putative unification scale, i.e. emergence scale of the spectral action. We show that out of twenty possible configurations in total, depending on mass hierarchy of these additional scalars, there does not exist even a single case that can lead to unification of the gauge coupling constants.
The rest of the paper is organized as follows: In section 2, we review the minimal spectral action formalism in noncommutative geometry, whereas in section 3 we briefly introduce the modified framework in which the extra scalars emerge. In section 4, we perform the one-loop renormalization group analysis and display our results. Finally in 5, we end the paper with discussion and conclusions.

The minimal spectral action
In this section, we briefly introduce the minimal spectral action formalism [7,8] that derives the SM action and the action of GR as well as various additional terms. Interested reader can consult to Ref. [15] for a concise review, or Refs. [5,14,37] for more comprehensive introductions.
Noncommutative geometry (NCG) [1][2][3][4] redefines concepts of geometry in operator algebraic terms, by replacing set of points in ordinary topology by (noncommutative) algebra of functions, in similarity to the commutative case where the link between geometry and algebra is provided by Gelfand duality [5,6]. Gelfand duality yields a one-to-one correspondence between locally compact Hausdorff topological spaces and commutative C * algebras, leading to interpretation of C * algebras as generalizations of topological spaces. Since also every unital, commutative C * -algebra is isomorphic to C ∞ (M ), the algebra of continuous, complex-valued functions on a locally compact Hausdorff space M , the geometric information of a manifold M can be recovered via the algebraic properties of the commutative algebra C ∞ (M ) defined on it. In the case of noncommutative geometry, generalized version of this correspondence is provided through spectral triple, which uniquely characterizes a (noncommutative) space. 2 The hypercharge normalization adopted in this paper is given as Q em = I L 3 + Y . 3 Therefore, these fields, despite of the fact that they carry right quantum numbers to be called leptoquarks, are in fact by definition not leptoquarks in this formalism. Note that the quantum number assignment alone does not necessarily guarantee that the scalars couple to lepton-quark pairs as leptoquarks by definition should do. Thus, these scalars are not relevant to discussion of scalar leptoquarks in relation to the ongoing LHC searches, for instance in the context of reported B-decay anomalies [27][28][29][30][31][32][33][34][35][36], unlike the case for the scalar leptoquarks in the Pati-Salam models from NCG [16] which can indeed be relevant to these anomalies [24].
The main element in NCG that encodes the complete information of a noncommutative space is the corresponding spectral triple, (A, H, D), formed by an involutive algebra A of operators, a Hilbert space H (of fermionic states in our case), and a self-adjoint unbounded operator D, referred to as the (generalized) Dirac operator, with compact resolvent such that all commutators [D, a] are bounded for a ∈ A, inverse of which, D −1 , is the analog of the infinitesimal unit of length ds of ordinary geometry.
In the spectral action formalism in the NCG framework [7][8][9][10][11][12][13], the action is constructed in terms of the Dirac operator in the spectral triple, through "the spectral action", the bosonic part of which depends on the spectrum of the Dirac operator D. In the basic version of the spectral action, which derives the SM and GR actions, the algebra is chosen as where C ∞ (M ) is the algebra of complex-valued differential functions on M , and A F is the finite dimensional section, Here, H ⊂ M 2 (C) is the algebra of quaternions, and M n (C) is the algebra of n × n matrices with elements in C. The three terms in A lead to the group factors of the SM gauge symmetry, U (1), SU (2), and SU ( The product rule on the Hilbert space and the Dirac operator is given as where (H F , D F ) on A F determines the finite section of the spectral geometry, whereas the continuous part, which is a spin Riemannian manifold, corresponds to square integrable spinors L 2 (M, S) and the Dirac operator / ∂ M of the Levi-Civita spin connection (w) on M , which in terms of vierbein (e) is given as The noncommutativity stems from the noncommutativity of the algebra, A F . For instance, if we turn off the finite part of the triple, (A F , H F , D F ), then we get the usual commutative case in which (C ∞ (M ), L 2 (M, S), / ∂ M ) corresponds to the Riemannian compact spin manifold, as mentioned above. In this case, the group Diff(M ) is isomorphic to the group Aut(C ∞ (M )). Information on the ordinary metric can be recovered from this commutative case. Replacing the usual Riemannian manifold M with the corresponding spectral triple does not cause any information loss. Points on M are retrieved as the characters of the algebra A = C ∞ (M ). The geodesic distance between points on M is retrieved by the formula [7,8] 1} .
The spectral action is constructed in terms of the covariant Dirac operator in the spectral triple as [7,8] whose statement is referred to as the Spectral Action Principle. The first and the second terms in Eq. (6) respectively denote the fermionic and bosonic actions. Tr denotes the trace in the Hilbert space H. χ is a cutoff function which serves as a regulator that selects the eigenvalues of covariant Dirac operator, D A , smaller than the cutoff Λ. J is anti-unitary operator on H, called the real structure on the spectral triple, which can also be referred to as generalized charge conjugation, taking into account the presence of antiparticles. D A is given by the following formula, which corresponds to taking the internal fluctuations of the metric, where D is the unperturbed Dirac operator, and A is a Hermitian one-form potential. The Dirac operator D, as a differential operator of order one, satisfies so-called the first-order condition (or the order-one condition) 4 The derivative is defined as Another important element in the formalism is "grading" which is given as where γ 5 is the usual chirality operator for the continuous manifold, while γ F is for the finite part. The grading Γ divides the Hilbert space H = sp(M ) ⊗ H F into "left" and "right", H = H L ⊕ H R , where sp(M ) corresponds to spinors in the continuous (spacetime) manifold. Because of this extra grading in the finite part, there is some over-counting of degrees of freedom, referred to as "the fermion doubling problem" in the literature. One way of dealing with this issue is recently proposed in Ref. [39], which utilizes Wick rotation in order to get rid of spurious degrees of freedom. Note that in the spectral action formalism, M is initially chosen to be a compact Riemannian manifold. Ref. [39] uses Wick rotation to introduce the Lorentzian signature into the theory, while at the same time resolving the doubling problem.
In the fermionic action, it is necessary to construct the right form of the generalized Dirac operator, inserting the Yukawa couplings in the appropriate spots in D F , in order to get the correct SM fermionic terms. Here, we only focus on the bosonic action as it is the relevant part to our discussion in this paper.
The bosonic section of the spectral action, given in Eq. (6), can be put in a convenient form to exploit the Heat Kernel techniques [40,41] as which can be expanded in terms of moments of cut-off function χ, f n , in power series in terms of Λ −1 , as where a n are the Seeley-de Witt coefficients which vanish for n odd. f n for n even are given as , for n 0 . (13) The final version of the bosonic spectral action is given as [7][8][9] where R is the Riemann tensor, C µνρσ is the Weyl tensor, R * R * is the Gauss-Bonnet term, topological in four dimensions, which integrates to the Euler characteristic. The constants (14) are defined in terms of combinations of the original constants in the theory whose exact definitions are not relevant to our discussion here. For the canonical normalization of the gauge sector of the SM, as can be seen in the second line in Eq. (14), the following conditions are imposed.
which corresponds to the condition of unification of the gauge couplings assumed to be valid at a high energy scale, M U ∼ Λ. Evidently, this condition cannot be satisfied in the minimal formalism in which the renormalization group running (below the scale at which NCG becomes apparent, M U ) is the same as in the SM with the same particle content, where unification is not realized. On the other hand, as we briefly discuss in the next section, incorporating the Clifford structure into the finite spectral triple introduces five new scalars into the picture [25], which brings up the question whether these scalars can help satisfy the unification condition. However, the answer turns out to be negative, as displayed in this paper.

Modified minimal set-up and extra scalars
In Ref. [26], D'Andrea and Dabrowski study generalizations of the notion of spin-manifold and of Dirac spinors to noncommutative geometry by incorporating the Clifford structure into the finite spectral triple, (A F , H F , D F ), in the sense whether or not the finite spectral triple describes a (noncommutative) spin manifold, and the elements in the Hilbert space H can be characterized as "spinors" in general manner (recall that the continuous part already knows about spin). They argue that in order for the necessary conditions for this generalization to be satisfied, i.e. for the finite Hilbert space H F of the spectral triple to be a Morita equivalence bimodule between the finite algebra A F and the associated (complexified) Clifford algebra C (M ), additional terms should be included in the Dirac operator, as well as a modification to the standard grading in the minimal formalism. As a result of this procedure, new scalars emerge in the theory.
Lizzi and Kurkov in [25], based on the analysis of Ref. [26], investigate the extended scalar sector in this Clifford-based spectral action framework. They argue that in this modified scheme, in addition to the scalar sector of the minimal formalism which consists of the SM Higgs and a singlet, there are five new scalars, three of which have the same quantum numbers but different couplings. The new scalars carry the following quantum numbers. , where the hypercharge normalization is Q em = I L 3 + Y . The subscripts (u, d, L) indicate the type of fermion couplings (in the Dirac operator) that the corresponding scalar ∆ i possesses; couplings to the up-type and the down-type SU (2) singlets, and SU (2) doublets, respectively.
It is pointed out in Ref. [25] that the fields (S, ∆ u , ∆ d , ∆ L ) do not enter into the final version of the fermionic action, although they appear in the bosonic part. Therefore, these fields, despite of the fact that they carry right quantum numbers to be called leptoquarks, are in fact by definition not leptoquarks, in this formalism. Nevertheless, since they appear in the bosonic action, they are relevant to our discussion of RG running of the gauge couplings.

Renormalization group analysis
In this section, after we lay out preliminaries for the one-loop renormalization group (RG) running, we move on to the RG analysis with the aforementioned extra scalars. First, as a simple demonstration, we start with a special case where the masses of the scalars are split between the electroweak scale and unification scale, which is a common practice in the literature in the context of Grand Unified Theories (GUTs). Then, we investigate the most general case in which the mass values of these five extra scalars are allowed to float between these two scales and show that unification of the gauge couplings cannot be realized.

Preliminaries
For a given particle content, the gauge couplings corresponding to gauge group G i in an energy interval [M A , M B ] evolve under the one-loop RG running where the RG coefficients a i are given by [42,43] and the full gauge group is given as G The summation in Eq. (19) is over irreducible chiral representations of fermions (R f ) and irreducible representations of scalars (R s ) in the second and the third terms, respectively. The coefficient η is either 1 or 1/2, depending on whether the corresponding representation is complex or (pseudo) real, respectively. d j (R) is the dimension of the representation R under the group G j =i . C 2 (G i ) is the quadratic Casimir for the adjoint representation of the group G i , and T i is the Dynkin index of each representation. For U (1) group, C 2 (G) = 0 and where Y is the U (1) charge. The low energy data which we use as the boundary conditions in the RG running (in the MS scheme) are [44,45] α −1 (M Z ) = 127.950 ± 0.017 , α s (M Z ) = 0.1182 ± 0.0016 , at M Z = 91.1876 ± 0.0021 GeV, where we use only the central values throughout this work since the contribution from the deviations is negligible and does not change our results. The obvious boundary/matching conditions to be imposed on the couplings at M U and M Z are: Figure 1: Running of the gauge couplings for each scalar field configuration in the special case given in

Special case: TeV-scale scalars
Before moving on to the general case where the masses of the scalars acquire values anywhere between the electroweak scale and the unification scale, we consider here a special case where the masses of the scalars are split between these two scales. The general case of course covers this specific version but we display it here anyway in part because it is convenient to use this case to illustrate to which extent these scalars modify the RG running of the SM, in part because TeV-scale scalars are relevant in terms of the LHC searches (see for instance Ref. [24,46]); so, it is useful to see how close the values of the couplings can get in each case (given in Table 1), even though unification is not realized. Now, we will assume in each case that at least one of these five scalars, , are at the TeV-scale, and the rest of them are heavy at the emergence (or the "unification") scale, M U . There are in total 15 possible configurations listed in Table 1.
The RG coefficients are given by and ∆a i are the contributions from the new fields in each field configuration, i.e. they are the relevant linear combinations of ∆a S i , ∆a ∆ i , and ∆a Ω i , which are, following Eq. (19), obtained as S : , Out of 15 possible configurations listed in Table 1, unification is realized in none of them, as displayed in Fig. 1.

The general case: Scalars with random values of masses
In this section, we will now investigate the most general case in which these five extra scalars are allowed to acquire masses between the electroweak scale (M Z ) and the putative unification scale (M U ). Using Eq. (19) with the low energy data and boundary conditions given in Eqs. (21) and (22), the following equations are obtained.
where M i are the masses of five extra scalars, the Roman numerals label the corresponding energy intervals, and The RG coefficients and hence the above combinations change accordingly each time a mass threshold is reached.
There are in total 20 configurations of mass ordering, given in Table 2. In none of these cases unification of couplings can be realized as we will show below. As can be seen from the last column in Table 2, configurations 1 − 12 , 13 − 18 , and 19 − 20 , where we use the superscript ( ) to indicate that the configurations belong to the general case, are equation-wise similar within themselves. Therefore, we will display one example for each group step by step, and since the necessary equations and results for each of 20 configurations are given in Table 2, reader can easily reproduce the results in the other cases. Besides, we for comparison include in the last row in Table 2 a hypothetical scenario with a scalar configuration different than ours that yields a positive result for unification.

Case 1: Configuration 1 (∆∆∆SΩ)
In this case, the mass ordering is given as where the order of three fields ∆ u,d,l among themselves does not matter in the context of our discussion and hence any order combination among them is labeled as the same configuration in Table 2. The intervals in Eq. (26) is labeled as and M i denote the masses of the scalars from the heaviest one to the lightest, as i = 1, ...5.
We also introduce the following notation.
Using Eq. (26) with the RG coefficients given in Table 3 and definitions in Eq. (30), after some fortunate cancellations, we obtain This system of equations does not yield a solution consistent with the constraints coming from the hierarchy of scales, i.e. u a b c d e. This can be seen easily by solving these equations for u and a, which yields The maximum possible value for u is obtained with e max and d min , i.e. e = d, and the minimum value for a is obtained with, (in addition to e = d = z ≡ ln M Z /GeV), b max = c max = a as u max = 34 , a min = 62 .
Therefore, the system violates the required condition u a, and hence does not yield a meaningful solution.
Following the same procedure, it is straightforward to show that the same situation occurs for the other configurations. Especially, the configurations 2 − 12 are very similar to configuration 1 , which we study above, with only minor differences. For instance, the equations in case 2 become In this case, in order to find u max we set the maximum value for d and the minimum value for e as d max = u and e min = z. In order to find a min we set b max = c max = a, e min = z, and d max = a. Finally, we obtain u max = 34.5 , a min = 57 , which clearly violates the necessary condition, u a.
which violates the necessary condition u b, hence the system does not yield a consistent solution. Configuration 20 , given in Table 2, can be examined in a similar manner, resulting in the same situation in which there is no acceptable solution to the corresponding system of equations.
Therefore, we conclude that out of these 20 possible mass orderings there is not a single case where the gauge coupling unification can be realized at the one-loop order. Higher loop effects are expected to be suppressed and are unlikely to change this outcome.

Discussions and conclusion
The spectral action construction in the noncommutative geometry (NCG) framework reconciles GR and the SM in a geometric setting, putting them on similar footings, which could possibly be considered a step towards quantum gravity. The robustness of GR and the SM can be understood from this geometric perspective. Additionally, the NCG formalism, due to its geometric nature, might open new (perhaps non-Wilsonian) possibilities, such as decoupling of degrees of freedom and UV/IR mixing, for understanding the curious issues in the SM, such as the question of naturalness and the hierarchy problem, which has made the high energy physics community anticipate new physics at the TeV scale, likely to be on false grounds.
One obvious question would be whether there is a fully quantized UV completion to spectral action. Without knowledge of such a completion, a spectral action can be interpreted as a classical structure, emergent from an underlying noncommutative geometry. Once that is established, the usual quantum field theory methods could be employed for the quantization and RG running for energy scales below the scale of emergence, motivated by the fact that these methods work quite well to describe Nature at low energies, accessible to the current colliders. This is indeed the approach we adopt in this paper. On the other hand, priori geometric nature of this set-up brings up the question of non-local effects, which is yet to be investigated.
While there are appealing features of the spectral action formalism in the NCG framework, there are also various issues within the minimal construction. The most important of these is the requirement of gauge coupling unification, which cannot be achieved by the particle content of the SM in the canonical renormalization group running. This issue is not really an indicative of a problem with the idea of spectral action itself, but with its minimal version. After all, the spectral action formalism is not a model; it is a geometric framework that provides a toolbox for building models. Therefore, an extension to the minimal model construction is required, in similarity to BSM physics but, in this case, in the NCG framework. Indeed, a recently proposed extension to the basic formalism accommodates (three versions of) a Pati-Salam-type model [16], which is investigated from phenomenological perspective in Refs. [22][23][24].
In a recent paper [25], which is primarily based on the analysis of Ref. [26], it is argued that incorporating Clifford structure into the finite part of the spectral triple in the basic framework gives rise to five extra scalars. In this paper, we address the question whether these scalars can help satisfy the unification condition in this modified minimal formalism. We perform the oneloop renormalization group analysis by adopting the most general approach in which the mass values of these five extra scalars are allowed to float from the electroweak scale to the putative unification scale, i.e. emergence scale of the spectral action. We show that out of twenty possible configurations in total, depending on mass hierarchy of these additional scalars, there does not exist even a single case that can lead to unification of the gauge coupling constants, as displayed in Table 2. Higher order loop effects are expected to be suppressed further and are unlikely to change this outcome, so are the higher order contributions in the spectral action [47].
In conclusion, the issue of unification in the minimal spectral action formalism is not remedied in this slightly modified scheme. Therefore, a model construction based on the spectral action principle is required to extend beyond the (modified) minimal framework with a resulting gauge sector possibly different than the one in the SM, an example of which is proposed in Ref. [16], as previously mentioned. Evidently, this outcome is valid provided that the standard perturbative quantum field theory methods are appropriate to be employed all the way up to the scale of emergence of the corresponding spectral action. In case of a possible UV-complete version of the spectral action formalism, it would be conceivable to anticipate departures from the canonical RG running at scales close to the scale of emergence, effects of which could possibly help to obtain a self-consistent picture even with the SM field content.