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

## Abstract

The *Spectral Action Principle* in noncommutative geometry derives the actions of the Standard Model and General Relativity (along with several other gravitational terms) 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 (RG) running of the Standard Model. On the other hand, it has been recently argued that incorporating structure of the Clifford algebra into the finite part of the spectral triple, the main object that encodes the complete information of a noncommutative space, gives rise to five additional scalar fields in the basic framework. We investigate whether these scalars can help to achieve unification. We perform a RG analysis at the one-loop level, allowing possible mass values of these scalars to float from the electroweak scale to the putative unification scale. We show that out of twenty configurations of mass hierarchy in total, there does *not* exist even a single case that can lead to unification. In consequence, we confirm that the spectral action formalism requires a model-construction scheme beyond the (modified) minimal framework.

## 1 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^\infty (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 (\(\mathcal {A}, \mathcal {H}, \mathcal {D}\)) is formed by an involutive algebra \(\mathcal {A}\), a Hilbert space \(\mathcal {H}\) on which the algebra acts as bounded operators, and a (possibly) unbounded self-adjoint operator \(\mathcal {D}\) in \(\mathcal {H}\), referred to as (generalized) Dirac operator. (\(\mathcal {A}, \mathcal {H}, \mathcal {D}\)) determines a spectral geometry, based on the spectrum of the operator \(\mathcal {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 (\(\mathcal {A}, \mathcal {H}, \mathcal {D}\)), the action is constructed in terms of the Dirac operator \(\mathcal {D}\), through the *spectral action*, which depends on the spectrum of \( \mathcal {D}\). In the basic version of this construction, which yields mainly the SM and a modified gravity model, the algebra is chosen as \(\mathcal {A} = C^\infty (M)\otimes \mathcal {A}_F\) such that the finite part of the algebra is given as \(\mathcal {A}_F=\mathbb {C}\oplus \mathbb {H}\oplus M_3(\mathbb {C})\), where \(\mathbb {H}\) is the algebra of quaternions, and \(M_3(\mathbb {C})\) is the algebra of \(3\times 3\) matrices with elements in \(\mathbb {C}\). \(\mathcal {H}\) in the spectral triple 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 a non-minimal coupling term between the Higgs boson and the curvature, the Gauss–Bonnet term, and the Weyl (or the conformal gravity) term. 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 \(\mathcal {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 unification is not a requirement [17, 18, 19, 20]).^{2}

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^{3} \(\Omega (1,1-1)\), \(S(\bar{3},2,-\frac{1}{6})\), and \(\Delta _{u,d,L}(3,1,\frac{2}{3})\), where the \(\Delta \) 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*, \(\Delta _u\), \(\Delta _d\), and \(\Delta _L\) do *not* enter into the final version of the fermionic action.^{4} 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 a 1-loop renormalization group analysis by adopting the most general approach in which the extra scalars are allowed to acquire random order of masses between the electroweak scale and the presumed unification scale, i.e. the 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 Sect. 2, we review the minimal spectral action formalism in noncommutative geometry, whereas in Sect. 3 we briefly introduce the modified framework in which the extra scalars emerge. In Sect. 4, we present the one-loop renormalization group analysis and display our results. Finally in Sect. 5, we end the paper with discussion and conclusions.

## 2 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 gravitational terms (hence providing a modified gravity model). Interested reader can consult to Ref. [15] for a concise review, or to 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^\infty (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^\infty (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.

The main element in NCG that encodes the complete information of a noncommutative space is the corresponding spectral triple, (\(\mathcal {A}, \mathcal {H}, \mathcal {D}\)), formed by an involutive algebra \(\mathcal {A}\) of operators, a Hilbert space \(\mathcal {H}\) (of fermionic states in our case), and a self-adjoint unbounded operator \(\mathcal {D}\), referred to as the (generalized) Dirac operator, with compact resolvent such that all commutators \([\mathcal {D},a]\) are bounded for \(a\in \mathcal {A}\), inverse of which, \(\mathcal {D}^{-1}\), is the analog of the infinitesimal unit of length *ds* of ordinary geometry.

*M*, and \(\mathcal {A}_F\) is the finite dimensional section,

*U*(1),

*SU*(2), and

*SU*(3), respectively. The main symmetry for the noncommutative space characterized by the spectral triple (\(\mathcal {A}, \mathcal {H}, \mathcal {D}\)) is the group \(\text{ Aut }(\mathcal {A})\) of the automorphisms of the algebra \(\mathcal {A}\), which contains diffeomorphisms \(\text{ Diff }(M)\) of

*M*and the gauge symmetry transformations. The total gauge group eventuates from the inner automorphisms of the algebra \(\text{ Int }(\mathcal {A})\subset \text{ Aut }(\mathcal {A})\), which is a subgroup of \(\text{ Aut }(\mathcal {A})\) of the form \(\alpha (x)=bxb^{*}\) (for a unitarity \(b \in \mathcal {A}\)), whereas diffeomorphisms correspond to the quotient group; the outer automorphisms \(\text{ Out } (\mathcal {A})\equiv \text{ Aut }(\mathcal {A})/\text{ Int }(\mathcal {A})\).

*w*) on

*M*, which in terms of vierbein (

*e*) is given asThe noncommutativity stems from the noncommutativity of the algebra, \(\mathcal {A}_F\). For instance, if we turn off the finite part of the triple, \((\mathcal {A}_F, \mathcal {H}_F, \mathcal {D}_F)\), then we get the usual commutative case in which Open image in new window corresponds to the Riemannian compact spin manifold, as mentioned above. In this case, the group \(\text{ Diff }(M)\) is isomorphic to the group \(\text{ Aut }(C^\infty (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 \(\mathcal {A}=C^\infty (M)\). The geodesic distance between points on

*M*is retrieved by the formula [7, 8]

*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 \(\mathcal {H}\). \(\chi \) is a cutoff function which serves as a regulator that selects the eigenvalues of covariant Dirac operator, \(\mathcal {D}_A\), smaller than the cutoff \(\Lambda \).

*J*is anti-unitary operator on \(\mathcal {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. \(\mathcal {D}_A\) is given by the following formula, which corresponds to taking the internal fluctuations of the metric,

*A*is a Hermitian one-form potential. The Dirac operator \(\mathcal {D}\), as a differential operator of order one, satisfies so-called the

*first-order condition*(or the order-one condition)

^{5}

*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. Reference [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 \(\mathcal {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.

*R*is the Ricci scalar, \(C_{\mu \nu \rho \sigma }\) is the Weyl tensor, \(R^{*}R^{*}\) is the Gauss–Bonnet term, which is topological in four dimensions, and which integrates to the Euler characteristic. The constants \((\kappa _0,\alpha _0,\gamma _0,\tau _0,\mu _0,\xi _0,\lambda _0)\) in Eq. (14) are defined in terms of combinations of the original constants in the theory, whose exact definitions are not relevant to our discussion here.

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.

## 3 Modified minimal set-up and extra scalars

In Ref. [26], D’Andrea and Dabrowski study generalizations of the notion of spin-manifold and Dirac spinors to noncommutative geometry by incorporating the Clifford structure into the finite spectral triple, \((\mathcal {A}_F, \mathcal {H}_F, \mathcal {D}_F)\), in the sense whether or not the finite spectral triple describes a (noncommutative) spin manifold, and the elements in the Hilbert space \(\mathcal {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 \(\mathcal {H}_F\) of the spectral triple to be a Morita equivalence bimodule between the finite algebra \(\mathcal {A}_F\) and the associated (complexified) Clifford algebra \(\mathcal {C \ell }(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.

*u*,

*d*,

*L*) indicate the type of fermion couplings (in the Dirac operator) that the corresponding scalar \(\Delta _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*, \(\Delta _u\), \(\Delta _d\), \(\Delta _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.

## 4 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 the 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 possible 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.

### 4.1 Preliminaries

*R*under the group \(G_{j\ne 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

*Y*is the

*U*(1) charge.

The field configurations and the corresponding modifications in the RG coefficients in the special case, in which we assume that the particles are split such that some of them acquire masses at the TeV-scale and the rest are heavy at the presumed unification scale

# of fields | Configuration no. | Particle content | \(\left( \Delta a_1,\Delta a_2, \Delta a_3\right) \) |
---|---|---|---|

1-p | 1 | | \(\left( \dfrac{1}{18},\dfrac{1}{2},\dfrac{1}{3}\right) \) |

2 | \(\Delta \) | \(\left( \dfrac{4}{9},0,\dfrac{1}{6}\right) \) | |

3 | \(\Omega \) | \(\left( \dfrac{1}{3},0,0\right) \) | |

2-p | 4 | \(S\Delta \) | \(\left( \dfrac{1}{2},\dfrac{1}{2},\dfrac{1}{2}\right) \) |

5 | \(S\Omega \) | \(\left( \dfrac{7}{18},\dfrac{1}{2},\dfrac{1}{3}\right) \) | |

6 | \(\Delta \Omega \) | \(\left( \dfrac{7}{9},0,\dfrac{1}{6}\right) \) | |

7 | \(\Delta \Delta \) | \(\left( \dfrac{8}{9},0,\dfrac{1}{3}\right) \) | |

3-p | 8 | \(\Delta \Delta \Delta \) | \(\left( \dfrac{4}{3},0,\dfrac{1}{2}\right) \) |

9 | \(\Delta \Delta S\) | \(\left( \dfrac{17}{18},\dfrac{1}{2},\dfrac{2}{3}\right) \) | |

10 | \(\Delta \Delta \Omega \) | \(\left( \dfrac{11}{9},0,\dfrac{1}{3}\right) \) | |

11 | \(\Delta \Omega S\) | \(\left( \dfrac{5}{6},\dfrac{1}{2},\dfrac{1}{2}\right) \) | |

4-p | 12 | \(\Delta \Delta \Delta S\) | \(\left( \dfrac{25}{18},\dfrac{1}{2},\dfrac{5}{6}\right) \) |

13 | \(\Delta \Delta \Delta \Omega \) | \(\left( \dfrac{5}{3},0,\dfrac{1}{2}\right) \) | |

14 | \(\Delta \Delta \Omega S\) | \(\left( \dfrac{23}{18},\dfrac{1}{2},\dfrac{2}{3}\right) \) | |

5-p | 15 | \(\Delta \Delta \Delta S \Omega \) | \(\left( \dfrac{31}{18},\dfrac{1}{2},\dfrac{5}{6}\right) \) |

### 4.2 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 Refs. [24, 46]); thus, it is useful to inspect whether there is an improvement towards unification in each special case (given in Table 1), even though unification is not achieved.

*at least*one of these five scalars,

The main result of this paper. The configurations of mass hierarchy and the corresponding equations in the general case, in which the extra scalars acquire random order of masses between the electroweak scale and the presumed unification scale, are given. The superscript \((\prime )\) indicates that the configurations belong to the general case. The mass orderings in the second column are given in the decreasing order from left to right. Similarly, (*u*, *a*, *b*, *c*, *d*, *e*) denote mass scales as \(u=\ln M_U/\text{ GeV }\), \(a = \ln M_1/\text{ GeV }...\), where \(M_U\) is the unification scale in each case, and \(M_i\) is the mass of the scalar *i*, for \(i=1,\ldots ,5\). In the third column, we display the solutions of Eq. (26) for each case in a form convenient to observe the contradictions with the condition \(u\geqslant a\geqslant b\geqslant c \geqslant d\geqslant e\). In *none* of these 20 configurations, a positive result exits for gauge coupling unification, as detailed in the text. In the last row, we display for comparison a hypothetical scenario, in which there are (\(\Omega , S, S, S, \Delta \)) fields instead of our original (\(\Omega , \Delta , \Delta , \Delta , S\)), that yields gauge coupling unification for a range of values for (*a*, *b*, *c*, *d*, *e*), for which an example-set of values is given

Config. no. | Mass order | Solutions | Contradictions | |
---|---|---|---|---|

\(1^{\prime }\) | \(\Delta \Delta \Delta S \Omega \;\) | \(u=34+0.015 (e-d)\), \(\quad a=183-b-c+1.3d -0.3e\) | \(u_{{\mathrm{max}}}=34,\;a_{{\mathrm{min}}}=62\) | \(\times \) |

\(2^{\prime }\) | \(\Delta \Delta \Delta \Omega S \) | \(u=34+0.015 (d-e)\), \(\quad a=183-b-c+ 1.3e-0.3d \) | \(u_{{\mathrm{max}}}=35,\;a_{{\mathrm{min}}}=57\) | \(\times \) |

\(3^{\prime }\) | \(\Delta \Delta S \Delta \Omega \) | \(u=34+0.015 (e-c)\), \(\quad a=183-b-d+ 1.3c-0.3e \) | \(u_{{\mathrm{max}}}=34,\;a_{{\mathrm{min}}}=92\) | \(\times \) |

\(4^{\prime }\) | \(\Delta \Delta S\Omega \Delta \) | \(u=34+0.015 (d-c)\), \(\quad a=183-b-e+ 1.3c-0.3d \) | \(u_{{\mathrm{max}}}=34,\;a_{{\mathrm{min}}}=92\) | \(\times \) |

\(5^{\prime }\) | \(\Delta \Delta \Omega \Delta S\) | \(u=34+0.015 (c-e)\), \(\quad a=183-b-d+ 1.3e-0.3c \) | \(u_{{\mathrm{max}}}=35,\;a_{{\mathrm{min}}}=57\) | \(\times \) |

\(6^{\prime }\) | \(\Delta \Delta \Omega S \Delta \) | \(u=34+0.015 (c-d)\), \(\quad a=183-b-e+ 1.3d-0.3c \) | \(u_{{\mathrm{max}}}=35,\;a_{{\mathrm{min}}}=80\) | \(\times \) |

\(7^{\prime }\) | \(\Delta S \Delta \Delta \Omega \) | \(u=34+0.015 (e-b)\), \(\quad a=183-c-d+ 1.3b-0.3e \) | \(u_{{\mathrm{max}}}=34,\;a_{{\mathrm{min}}}=92\) | \(\times \) |

\(8^{\prime }\) | \(\Delta S \Delta \Omega \Delta \) | \(u=34+0.015 (d-b)\), \(\quad a=183-c-e+ 1.3b-0.3d \) | \(u_{{\mathrm{max}}}=34,\;a_{{\mathrm{min}}}=92\) | \(\times \) |

\(9^{\prime }\) | \(\Delta S \Omega \Delta \Delta \) | \(u=34+0.015 (c-b)\), \(\quad a=183-d-e+ 1.3b-0.3c \) | \(u_{{\mathrm{max}}}=34,\;a_{{\mathrm{min}}}=92\) | \(\times \) |

\(10^{\prime }\) | \(\Delta \Omega \Delta \Delta S \) | \(u=34+0.015 (b-e)\), \(\quad a=183-c-d+ 1.3e-0.3b \) | \(u_{{\mathrm{max}}}=35,\;a_{{\mathrm{min}}}=57\) | \(\times \) |

\(11^{\prime }\) | \(\Delta \Omega \Delta S \Delta \) | \(u=34+0.015 (b-d)\), \(\quad a=183-c-e+ 1.3d-0.3b \) | \(u_{{\mathrm{max}}}=35,\;a_{{\mathrm{min}}}=80\) | \(\times \) |

\(12^{\prime }\) | \(\Delta \Omega S \Delta \Delta \) | \(u=34+0.015 (b-c)\), \(\quad a=183-d-e+ 1.3c-0.3b \) | \(u_{{\mathrm{max}}}=35,\;a_{{\mathrm{min}}}=92\) | \(\times \) |

\(13^{\prime }\) | \( S \Delta \Delta \Delta \Omega \) | \(u=34+0.015 (e-a)\), \(\quad c=183-b-d+ 1.3a-0.3e \) | \(u_{{\mathrm{max}}}=34,\;c_{{\mathrm{min}}}=92\) | \(\times \) |

\(14^{\prime }\) | \( S \Delta \Delta \Omega \Delta \) | \(u=34+0.015 (d-a)\), \(\quad c=183-b-e+ 1.3a-0.3d \) | \(u_{{\mathrm{max}}}=34,\;c_{{\mathrm{min}}}=92\) | \(\times \) |

\(15^{\prime }\) | \( S \Omega \Delta \Delta \Delta \) | \(u=34+0.015 (b-a)\), \(\quad c=183-d-e+ 1.3a-0.3b \) | \(u_{{\mathrm{max}}}=34,\;c_{{\mathrm{min}}}=92\) | \(\times \) |

\(16^{\prime }\) | \(\Omega \Delta \Delta \Delta S \) | \(u=34+0.015 (a-e)\), \( \quad c=183-b-d+1.3e -0.3a\) | \(u_{{\mathrm{max}}}=35,\;c_{{\mathrm{min}}}=72\) | \(\times \) |

\(17^{\prime }\) | \(\Omega \Delta \Delta S \Delta \) | \(u=34+0.015 (a-d)\), \(\quad c=183-b-e+ 1.3d-0.3a \) | \(u_{{\mathrm{max}}}=35,\;c_{{\mathrm{min}}}=139\) | \(\times \) |

\(18^{\prime }\) | \(\Omega S \Delta \Delta \Delta \) | \(u=34+0.015 (a-b)\), \(\quad c=183-d-e+ 1.3b-0.3a \) | \(u_{{\mathrm{max}}}=35,\;c_{{\mathrm{min}}}=102\) | \(\times \) |

\(19^{\prime }\) | \( S \Delta \Omega \Delta \Delta \) | \(u=34+0.015 (c-a)\), \(\quad b=183-d-e+ 1.3a-0.3c \) | \(u_{{\mathrm{max}}}=34,\;b_{{\mathrm{min}}}=92\) | \(\times \) |

\(20^{\prime }\) | \(\Omega \Delta S \Delta \Delta \) | \(u=34+0.015 (a-c)\), \(\quad b=183-d-e+ 1.3c-0.3a \) | \(u_{{\mathrm{max}}}=35,\;b_{{\mathrm{min}}}=102\) | \(\times \) |

Hypotheti- | \(\Omega S S S \Delta \) | \(u=35.4+0.011 (a-b),\;\) e.g. \(u=a=b=35.4,\) | ||

cal positive | \( c=-14.56-d-e\qquad \quad \quad \;\;\;\;\) c=9.8, d=e=5.5 | \(\checkmark \) | ||

scenario | \( \;\;\;\;\;\;\;+0.28a+0.72b \qquad \quad \quad \;\;\) |

### 4.3 The general case: scalars with random order of masses

The distribution of the new scalars among the energy intervals and the corresponding RG coefficients for configuration \(1^{\prime }\) (\(\Delta \Delta \Delta S \Omega \)), i.e. \(M_U\geqslant M_{\Delta _u}\geqslant M_{\Delta _d}\geqslant M_{\Delta _l} \geqslant M_{S}\geqslant M_{\Omega } > M_{Z}\)

Interval | Active (extra) scalar dofs | RG coefficients \(\bigl [a_{1},a_{2},a_{3}\bigr ]\) |
---|---|---|

I \((M_U-M_1)\) | \(\Delta \Delta \Delta S \Omega \) | \(\left[ \dfrac{77}{9},-\dfrac{8}{3},-\dfrac{37}{6}\right] \) |

II \((M_1-M_2)\) | \(\Delta \Delta S \Omega \) | \(\left[ \dfrac{73}{9},-\dfrac{8}{3},-\dfrac{19}{3}\right] \) |

III \((M_2-M_3)\) | \(\Delta S \Omega \) | \(\left[ \dfrac{23}{3},-\dfrac{8}{3},-\dfrac{13}{2}\right] \) |

IV \((M_3-M_4)\) | \( S \Omega \) | \(\left[ \dfrac{65}{9},-\dfrac{8}{3},-\dfrac{20}{3}\right] \) |

V \((M_4-M_5)\) | \( \Omega \) | \(\left[ \dfrac{43}{6},-\dfrac{19}{6},-7 \right] \) |

VI \((M_5-M_Z)\) | \(\left[ \dfrac{41}{6},-\dfrac{19}{6},-7 \right] \) |

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^{\prime }-12^{\prime }\), \(13^{\prime }-18^{\prime }\), and \(19^{\prime }-20^{\prime }\) (where we use the superscript \((\prime )\) 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.

#### 4.3.1 Case 1: configuration \(1^{\prime }\) (\(\Delta \Delta \Delta S \Omega \))

*u*and

*a*, which yields

*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\equiv \ln M_Z/\text{ GeV }\)), \(b_{max}=c_{max}=a\) as

*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

#### 4.3.2 Case 2: configuration \(13^{\prime }\) (\(S\Delta \Delta \Delta \Omega \))

The distribution of the new scalars among the energy intervals and the corresponding RG coefficients for configuration \(13^{\prime }\) (\(S\Delta \Delta \Delta \Omega \)), i.e. \(M_U\geqslant M_{S} \geqslant M_{\Delta _u}\geqslant M_{\Delta _d}\geqslant M_{\Delta _l} \geqslant M_{\Omega } > M_{Z}\)

Interval | Active (extra) scalar dofs | RG coefficients \(\bigl [a_{1},a_{2},a_{3}\bigr ]\) |
---|---|---|

I \((M_U-M_1)\) | \(S\Delta \Delta \Delta \Omega \) | \(\left[ \dfrac{77}{9},-\dfrac{8}{3},-\dfrac{37}{6}\right] \) |

II \((M_1-M_2)\) | \(\Delta \Delta \Delta \Omega \) | \(\left[ \dfrac{17}{2},-\dfrac{19}{6},-\dfrac{13}{2}\right] \) |

III \((M_2-M_3)\) | \(\Delta \Delta \Omega \) | \(\left[ \dfrac{145}{18},-\dfrac{19}{6},-\dfrac{20}{3}\right] \) |

IV \((M_3-M_4)\) | \( \Delta \Omega \) | \(\left[ \dfrac{137}{18},-\dfrac{19}{6},-\dfrac{41}{6}\right] \) |

V \((M_4-M_5)\) | \( \Omega \) | \(\left[ \dfrac{43}{6},-\dfrac{19}{6},-7 \right] \) |

VI \((M_5-M_Z)\) | \(\left[ \dfrac{41}{6},-\dfrac{19}{6},-7 \right] \) |

The distribution of the new scalars among the energy intervals and the corresponding RG coefficients for configuration \(19^{\prime }\) (\(S\Delta \Omega \Delta \Delta \)), i.e. \(M_U\geqslant M_{S} \geqslant M_{\Delta _u} \geqslant M_{\Omega } \geqslant M_{\Delta _d}\geqslant M_{\Delta _l}> M_{Z}\)

Interval | Active (extra) scalar dofs | RG coefficients \(\bigl [a_{1},a_{2},a_{3}\bigr ]\) |
---|---|---|

I \((M_U-M_1)\) | \(S \Delta \Omega \Delta \Delta \) | \(\left[ \dfrac{77}{9},-\dfrac{8}{3},-\dfrac{37}{6}\right] \) |

II \((M_1-M_2)\) | \(\Delta \Omega \Delta \Delta \) | \(\left[ \dfrac{17}{2},-\dfrac{19}{6},-\dfrac{13}{2}\right] \) |

III \((M_2-M_3)\) | \(\Omega \Delta \Delta \) | \(\left[ \dfrac{145}{18},-\dfrac{19}{6},-\dfrac{20}{3}\right] \) |

IV \((M_3-M_4)\) | \(\Delta \Delta \) | \(\left[ \dfrac{139}{18},-\dfrac{19}{6},-\dfrac{20}{3}\right] \) |

V \((M_4-M_5)\) | \( \Delta \) | \(\left[ \dfrac{131}{18},-\dfrac{19}{6},-\dfrac{41}{6} \right] \) |

VI \((M_5-M_Z)\) | \(\left[ \dfrac{41}{6},-\dfrac{19}{6},-7 \right] \) |

*u*and

*c*, which yields

*u*can be found by setting \(e=a\). The condition for the minimum possible value for

*c*can be easily seen by putting the second equation in the following form.

The configurations \(14^{\prime }-18^{\prime }\) are very similar to the configuration \(13^{\prime }\) and can be studied in the same way to find that in none of them the solutions lead to a consistent picture. The results can be read in Table 2.

#### 4.3.3 Case 3: configuration \(19^{\prime }\) (\(S \Delta \Omega \Delta \Delta \))

*u*and

*b*to find

*u*is obtained for \(a=c\), whereas the minimum possible value for

*b*is achieved for \(a=b=c=d=e\), leading to

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.

## 5 Discussions and conclusion

The spectral action construction in the noncommutative geometry (NCG) framework reconciles gravity 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 the spectral action formalism. 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, the 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 the 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 investigate whether these scalars can help satisfy the unification condition in this *modified* minimal formalism. We study the one-loop renormalization group running in the most general case in which the extra scalars are allowed to acquire random order of masses between the electroweak scale and the presumed unification scale. 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 couplings, 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, which could possibly yield a self-consistent picture even with the SM field content.

## Footnotes

- 1.
- 2.
- 3.
The hypercharge normalization adopted in this paper is given as \(Q_{em}=I_3^L+Y\).

- 4.
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]. - 5.

## Notes

### Acknowledgements

This work is supported by the National Natural Science Foundation of China (NSFC) under Grant No. 11505067. Author thanks Djordje Minic, Walter van Suijlekom, and Tatsu Takeuchi for their comments on the manuscript.

## References

- 1.A. Connes,
*Noncommutative Geometry*(Academic Press, Massachusetts, 1994), p. 661. https://www.elsevier.com/books/noncommutative-geometry/connes/978-0-08-057175-1 - 2.A. Connes, J. Math. Phys.
**36**, 6194 (1995)MathSciNetCrossRefADSGoogle Scholar - 3.A. Connes, Commun. Math. Phys.
**182**, 155 (1996). arXiv:hep-th/9603053 [hep-th]CrossRefADSGoogle Scholar - 4.A. Connes, J. Lott, 4th Annecy Meeting on Theoretical Physics: Recent Advances in Field Theory Annecy, France, March 5–9, 1990. Nucl. Phys. Proc. Suppl.
**18B**, 29 (1991)Google Scholar - 5.W.D. van Suijlekom,
*Noncommutative Geometry and Particle Physics, Mathematical Physics Studies*(Springer, Dordrecht, 2015)zbMATHGoogle Scholar - 6.J. M. Gracia-Bondia, J. C. Varilly, H. Figueroa,
*Elements of Noncommutative Geometry*(Birkhaeuser, Boston, USA, 2001), p. 685CrossRefGoogle Scholar - 7.A.H. Chamseddine, A. Connes, Phys. Rev. Lett.
**77**, 4868 (1996). arXiv:hep-th/9606056 [hep-th]MathSciNetCrossRefADSGoogle Scholar - 8.A.H. Chamseddine, A. Connes, Commun. Math. Phys.
**186**, 731 (1997). arXiv:hep-th/9606001 [hep-th]CrossRefADSGoogle Scholar - 9.A.H. Chamseddine, A. Connes, M. Marcolli, Adv. Theor. Math. Phys.
**11**, 991 (2007). arXiv:hep-th/0610241 [hep-th]MathSciNetCrossRefGoogle Scholar - 10.A.H. Chamseddine, A. Connes, J. Geom. Phys.
**58**, 38 (2008). arXiv:0706.3688 [hep-th]MathSciNetCrossRefADSGoogle Scholar - 11.A.H. Chamseddine, A. Connes, Fortsch. Phys.
**58**, 553 (2010). arXiv:1004.0464 [hep-th]CrossRefADSGoogle Scholar - 12.
- 13.A. Connes, M. Marcolli,
*Noncommutative Geometry, Quantum Fields and Motives*(American Mathematical Society, USA, 2007), p. 785Google Scholar - 14.M. Marcolli,
*Noncommutative Cosmology*(World Scientific Publishing Company, Singapore, 2018), p. 292Google Scholar - 15.F. Lizzi, Proceedings, 17th Hellenic School and Workshops on Elementary Particle Physics and Gravity (CORFU2017): Corfu, Greece, September 2–28, 2017, PoS CORFU2017, 133 (2018). arXiv:1805.00411 [hep-th]
- 16.A.H. Chamseddine, A. Connes, W.D. van Suijlekom, JHEP
**11**, 132 (2013). arXiv:1304.8050 [hep-th]CrossRefADSGoogle Scholar - 17.J. C. Pati, A. Salam, Phys. Rev. D
**10**, 275 (1974), [Erratum: Phys. Rev. D11, 703 (1975)]Google Scholar - 18.R.N. Mohapatra, J.C. Pati, Phys. Rev. D
**11**, 2558 (1975)CrossRefADSGoogle Scholar - 19.R.N. Mohapatra, J.C. Pati, Phys. Rev. D
**11**, 566 (1975)CrossRefADSGoogle Scholar - 20.G. Senjanovic, R.N. Mohapatra, Phys. Rev. D
**12**, 1502 (1975)CrossRefADSGoogle Scholar - 21.A.H. Chamseddine, A. Connes, W.D. van Suijlekom, JHEP
**11**, 011 (2015). arXiv:1507.08161 [hep-ph]CrossRefADSGoogle Scholar - 22.U. Aydemir, D. Minic, C. Sun, T. Takeuchi, Int. J. Mod. Phys. A
**31**, 1550223 (2016). arXiv:1509.01606 [hep-ph]CrossRefADSGoogle Scholar - 23.U. Aydemir, D. Minic, C. Sun, T. Takeuchi, Mod. Phys. Lett. A
**31**, 1650101 (2016). arXiv:1603.01756 [hep-ph]CrossRefADSGoogle Scholar - 24.U. Aydemir, D. Minic, C. Sun, T. Takeuchi, JHEP
**09**, 117 (2018). arXiv:1804.05844 [hep-ph]CrossRefADSGoogle Scholar - 25.M.A. Kurkov, F. Lizzi, Phys. Rev. D
**97**, 085024 (2018). arXiv:1801.00260 [hep-th]MathSciNetCrossRefADSGoogle Scholar - 26.F. D’Andrea, L. Dabrowski (2014). arXiv:1501.00156 [math-ph]
- 27.R. Aaij et al., (LHCb), Phys. Rev. Lett.
**113**, 151601 (2014). arXiv:1406.6482 [hep-ex] - 28.R. Aaij et al., (LHCb), JHEP
**08**, 055 (2017). arXiv:1705.05802 [hep-ex] - 29.R. Aaij et al., Measurement of the ratio of the \(B^0 \rightarrow D^{*-} \tau ^+ {\tau }\) and \(B^0 \rightarrow D^{*-} \mu ^+ {\mu }\) branching fractions using three-prong \(\tau \)-lepton decays. Phys. Rev. Lett.
**120**(17), 171802 (2018). arXiv:1708.08856 - 30.R. Aaij et al. (LHCb), Phys. Rev. Lett. 115, 111803 (2015). [Erratum: Phys. Rev. Lett. 115(15), 159901 (2015)]. arXiv:1506.08614 [hep-ex]
- 31.R. Aaij et al., Test of Lepton Flavor Universality by the measurement of the \(B^0 \rightarrow D^{*-} \tau ^+ {\tau }\) branching fraction using three-prong \(\tau \) decays. Phys. Rev. D
**97**(7), 072013 (2018). https://doi.org/10.1103/PhysRevD.97.072013. arXiv:1711.02505 - 32.M. Huschle et al., Belle Phys. Rev. D
**92**, 072014 (2015). arXiv:1507.03233 [hep-ex] - 33.Y. Sato et al., Belle Phys. Rev. D
**94**, 072007 (2016). arXiv:1607.07923 [hep-ex] - 34.S. Hirose et al., Belle Phys. Rev. Lett.
**118**, 211801 (2017). arXiv:1612.00529 [hep-ex] - 35.J.P. Lees et al., BaBar Phys. Rev. Lett.
**109**, 101802 (2012). arXiv:1205.5442 [hep-ex] - 36.J.P. Lees et al., BaBar Phys. Rev. D
**88**, 072012 (2013). arXiv:1303.0571 [hep-ex] - 37.M. Eckstein, B. Iochum, (2019). https://doi.org/10.1007/978-3-319-94788-4. arXiv:1902.05306 [math-ph]CrossRefGoogle Scholar
- 38.A.H. Chamseddine, A. Connes, W.D. van Suijlekom, J. Geom. Phys.
**73**, 222 (2013). arXiv:1304.7583 [math-ph]MathSciNetCrossRefADSGoogle Scholar - 39.F. D’Andrea, M.A. Kurkov, F. Lizzi, Phys. Rev. D
**94**, 025030 (2016). arXiv:1605.03231 [hep-th]MathSciNetCrossRefADSGoogle Scholar - 40.P. Gilkey,
*Invariance Theory: The Heat Equation and the Atiyah-Singer Index Theorem, Studies in Advanced Mathematics*(CRC-Press, Boca Raton, 1994)Google Scholar - 41.D.V. Vassilevich, Phys. Rept.
**388**, 279 (2003). arXiv:hep-th/0306138 [hep-th]CrossRefADSGoogle Scholar - 42.D.R.T. Jones, Phys. Rev. D
**25**, 581 (1982)CrossRefADSGoogle Scholar - 43.M. Lindner, M. Weiser, Phys. Lett. B
**383**, 405 (1996). arXiv:hep-ph/9605353 [hep-ph]MathSciNetCrossRefADSGoogle Scholar - 44.C. Patrignani et al., (Particle Data Group), Chin. Phys. C
**40**, 100001 (2016)Google Scholar - 45.S. Schael et al. (SLD Electroweak Group, DELPHI, ALEPH, SLD, SLD Heavy Flavour Group, OPAL, LEP Electroweak Working Group, L3), Phys. Rept. 427, 257 (2006). arXiv:hep-ex/0509008 [hep-ex]
- 46.U. Aydemir, T. Mandal, Adv. High Energy Phys.
**2017**, 7498795 (2017). arXiv:1601.06761 [hep-ph]CrossRefGoogle Scholar - 47.A. Devastato, F. Lizzi, C.V. Flores, D. Vassilevich, Int. J. Mod. Phys. A
**30**, 1550033 (2015). arXiv:1410.6624 [hep-ph]CrossRefADSGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Funded by SCOAP^{3}