noncommutative geometry in physicsffp14.cpt.univ-mrs.fr/documents/slides/chamseddine_ali.pdf ·...

43
Noncommutative Geometry in Physics Ali H. Chamseddine American University of Beirut (AUB) & Instiut des Hautes Etudes Scientifique (IHES) Frontiers of Fundamental Physics FFP14, Math. Phys. July 16, 2014 1

Upload: others

Post on 10-Aug-2020

10 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

Noncommutative Geometry in Physics

Ali H. Chamseddine

American University of Beirut (AUB)

&

Instiut des Hautes Etudes Scientifique (IHES)

Frontiers of Fundamental Physics FFP14, Math. Phys. July 16, 2014

1

Page 2: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

• Introduction

• A Brief Summary of AC NCG

• Noncommutative Space of SM

• Spectral Action Principle

• Spectral Action for NC Space with Boundary

• Beyond the Standard Model

2

Page 3: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

• Based on collaborative work with Alain Connes in publications: *

• The Spectral Action Principle, Comm. Math. Phys. 186, 731-750

(1997)

• Scale Invariance in the Spectral Action, J. Math. Phys. 47, 063504

(2006)

• Noncommutative Geometry as a framework to unify all fundamental

interactions, For. Phys.58 (2010) 53. .

• Boundary Terms in Quantum Gravity from Spectral Action of Noncom-

mutative Space, Phys. Rev. Lett. 99 071302 (2007).

• Why the Standard Model Journ. Geom. Phys. 58:38-47,2008.

• Resilience of the Spectral Standard Model, JHEP 1209 (2012)104

• Beyond the Spectral Standard Model, JHEP 1311 (2013) 132 (also with

W. van Suijlekom).

• IHES Course on Video, Four lectures, June 2014.

3

Page 4: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

1 Introduction

• Taking GR as prototype for other forces where Geometry determines

the dynamics, we will set to construct geometrical spaces and associate

with these dynamical actions.

• Dirac operator is a basic ingredient in defining noncommutative spaces.

• Eigenvalues of Dirac operators define geometric invariants. The Spec-

tral action is a function of these eigenvalues.

• The only restriction on the function is that it is a positive function.

• Principle although simple works in a large number of cases.

2 A Brief Summary of AC NCG

The basic idea is based on physics. The modern way of measuring distances

is spectral. The units of distance is taken as the wavelength of atomic

spectra. To adopt this geometrically we have to replace the notion of real

4

Page 5: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

variable which one takes as a function f on a set X, f : X → R. It is now

given by a self adjoint operator in a Hilbert space as in quantum mechanics.

The space X is described by the algebra A of coordinates which is

represented as operators in a fixed Hilbert space H.The geometry of the

noncommutative space is determined in terms of the spectral data

(A,H,D, J , γ) . A real, even spectral triple is defined by

• A an associative algebra with unit 1 and involution ∗.

• H is a complex Hilbert space carrying a faithful representation π of the

algebra.

• D is a self-adjoint operator on H with the resolvent (D − λ)−1 , λ /∈ R

of D compact.

• J is an anti–unitary operator on H, a real structure (charge conjuga-

tion.)

• γ is a unitary operator on H, the chirality.

We require the following axioms to hold:

• J2 = ε , (ε = 1 in zero dimensions and ε = −1 in 4 dimensions).

5

Page 6: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

• [a, bo] = 0 for all a, b ∈ A, bo = Jb∗J−1. This is the zeroth order

condition. This is needed to define the right action on elements of H :

ζb = boζ.

• DJ = ε′JD, Jγ = ε′′γJ, Dγ = −γD where ε, ε′, ε′′ ∈ −1, 1 .

The reality conditions resemble the conditions of existence of Majorana

(real) fermions.

• [[D, a], bo] = 0 for all a, b ∈ A. This is the first order condition.

• γ2 = 1 and [γ, a] = 0 for all a ∈ A. These properties allow the

decomposition

H = HL ⊕HR.

• H is endowed with A bimodule structure aζb = aboζ.

• The notion of dimension is governed by growth of eigenvalues, and may

be fractals or complex.

• A has a well defined unitary group

U = u ∈ A; uu∗ = u∗u = 1

The natural adjoint action of of U on H is given by ζ → uζu∗ =

6

Page 7: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

u J u J∗ζ ∀ζ ∈ H. Then

〈ζ,Dζ〉

is not invariant under the above transformation:

(u J u J∗)D (u J u J∗)∗ = D + u [D, u∗] + J (u [D, u∗]) J∗

• Then the action 〈ζ,DAζ〉 is invariant where

DA = D + A+ ε′JAJ−1, A =∑i

ai[D, bi

]and A = A∗ is self-adjoint. This is similar to the appearance of the

interaction term for the photon with the electrons

iψγµ∂µψ → iψγµ (∂µ + ieAµ)ψ

to maintain invariance under the variations

ψ → eiα(x)ψ.

• A real structure ofKO-dimension n ∈ Z/8 on a spectral triple (A,H, D)

is an antilinear isometry J : H → H, with the property that

J 2 = ε, JD = ε′DJ, and J γ = ε′′γJ (even case).

7

Page 8: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

The numbers ε, ε′, ε′′ ∈ −1, 1 are a function of n mod 8 given by

n 0 1 2 3 4 5 6 7

ε 1 1 -1 -1 -1 -1 1 1

ε′ 1 -1 1 1 1 -1 1 1

ε′′ 1 -1 1 -1

• The algebra A is a tensor product which geometrically corresponds to

a product space. The spectral geometry of A is given by the product

rule A = C∞ (M) ⊗ AF where the algebra AF is finite dimensional,

and

H = L2 (M,S)⊗HF , D = DM ⊗ 1 + γ5 ⊗DF ,

where L2 (M,S) is the Hilbert space of L2 spinors, and DM is the Dirac

operator of the Levi-Civita spin connection on M , DM = γµ (∂µ + ωµ) .

The Hilbert space HF is taken to include the physical fermions. The

chirality operator is γ = γ5 ⊗ γF .

In order to avoid the fermion doubling problem ζ, ζc, ζ∗, ζc∗ where ζ ∈ H,

are not independent) it was shown that the finite dimensional space must

be taken to be of K-theoretic dimension 6 where in this case

(ε, ε′, ε”) = (1, 1,−1) (so as to impose the condition Jζ = ζ) . This makes

8

Page 9: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

the total K-theoretic dimension of the noncommutative space to be 10 and

would allow to impose the reality (Majorana) condition and the Weyl

condition simultaneously in the Minkowskian continued form, a situation

very familiar in ten-dimensional supersymmetry. In the Euclidean version,

the use of the J in the fermionic action, would give for the chiral fermions

in the path integral, a Pfaffian instead of determinant, and will thus cut the

fermionic degrees of freedom by 2. In other words, to have the fermionic

sector free of the fermionic doubling problem we must make the choice

J 2F = 1, JFDF = DFJF , JF γF = −γFJF

In what follows we will restrict our attention to determination of the finite

algebra, and will omit the subscript F .

9

Page 10: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

3 Noncommutative Space of Standard Model

• The algebra A is a tensor product which geometrically corresponds to

a product space. The spectral geometry of A is given by the product

rule A = C∞ (M) ⊗ AF where the algebra AF is finite dimensional,

and

H = L2 (M,S)⊗HF , D = DM ⊗ 1 + γ5 ⊗DF ,

where L2 (M,S) is the Hilbert space of L2 spinors, and DM is the Dirac

operator of the Levi-Civita spin connection on M , DM = γµ (∂µ + ωµ) .

The Hilbert space HF is taken to include the physical fermions. The

chirality operator is γ = γ5 ⊗ γF .

In order to avoid the fermion doubling problem ζ, ζc, ζ∗, ζc∗ where ζ ∈ H,

are not independent) it was shown that the finite dimensional space must

be taken to be of K-theoretic dimension 6 where in this case

(ε, ε′, ε”) = (1, 1,−1) (so as to impose the condition Jζ = ζ) . This makes

the total K-theoretic dimension of the noncommutative space to be 10 and

would allow to impose the reality (Majorana) condition and the Weyl

condition simultaneously in the Minkowskian continued form, a situation

very familiar in ten-dimensional supersymmetry. In the Euclidean version,

10

Page 11: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

the use of the J in the fermionic action, would give for the chiral fermions

in the path integral, a Pfaffian instead of determinant, and will thus cut the

fermionic degrees of freedom by 2. In other words, to have the fermionic

sector free of the fermionic doubling problem we must make the choice

J 2F = 1, JFDF = DFJF , JF γF = −γFJF

In what follows we will restrict our attention to determination of the finite

algebra, and will omit the subscript F .

11

Page 12: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

• There are two main constraints on the algebra from the axioms of

noncommutative geometry. We first look for involutive algebras A of

operators in H such that,

[a, b0] = 0 , ∀ a, b ∈ A .

where for any operator a in H, a0 = Ja∗J −1. This is called the order

zero condition. We shall assume that the following two conditions to

hold. We assume the representation of A and J in H is irreducible.

• Classify the irreducible triplets (A,H, J) .

• In this case we can state the following theorem: The center Z (AC) is

C or C ⊕ C.

• If the center Z (AC) is C then AC = Mk (C) and A =Mk (C) , Mk (R)

and Ma (H) for even k = 2a, where H is the field of quaternions. These

correspond respectively to the unitary, orthogonal and symplectic case.

The dimension of H Hilbert spac is n = k2 is a square and J (x) =

x∗, ∀x ∈Mk (C) .

• If the center Z (AC) is C⊕ C then we can state the theorem: Let H

be a Hilbert space of dimension n. Then an irreducible solution with

12

Page 13: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

Z (AC) = C ⊕ C exists iff n = 2k2 is twice a square. It is given

by AC = Mk (C) ⊕ Mk (C) acting by left multiplication on itself and

antilinear involution

J (x, y) = (y∗, x∗) , ∀x, y ∈Mk (C) .

With each of the Mk (C) in AC we can have the three possibilities

Mk (C) ,Mk (R) , or Ma (H) , where k = 2a. At this point we make the

hypothesis that we are in the “symplectic–unitary” case, thus restrict-

ing the algebra A to the form A = Ma (H) ⊕ Mk (C) , k = 2a. The

dimension of the Hilbert space n = 2k2 then corresponds to k2 funda-

mental fermions, where k = 2a is an even number. The first possible

value for k is 2 corresponding to a Hilbert space of four fermions and

an algebra A = H ⊕M2 (C). The existence of quarks rules out this

possibility. The next possible value for k is 4 predicting the number of

fermions to be 16.

Up to an automorphisms of Aev, there exists a unique involutive subalgebra

AF ⊂ Aev of maximal dimension admitting off-diagonal Dirac operators

AF = λ⊕ q, λ⊕m |λ ∈ C, q ∈ H,m ∈M3 (C)

⊂ H⊕H⊕M4 (C)

13

Page 14: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

M4HCL

M2HHL

isomorphic to C ⊕H⊕M3 (C).

We denote the spinors as follows

ψA = ψαI = (ψα1, ψαi)

=(ψ .

11, ψ .

21, ψa1, ψ .

1i, ψ .

2i, ψai

)≡ (νR, eR, la, uRi, dRi, qai)

where la = (νL, eL) and qai = (uLi, dLi) . The component ψ .1′1′

= ψc.11

so that

we get

ψ∗ADBAψB + ν∗cR k

∗νRνR + cc

Needless to say the term ψ∗ADBAψB contains all the fermionic interaction

terms in the standard model.

14

Page 15: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

Write the Dirac operator in the form

D =

DBA DB

A

DBA′

DB′

A′

,

where

A = αI, α = 1, · · · , 4, I = 1, · · · , 4

A′ = α′I ′, α′ = 1′, · · · , 4′, I = 1′, · · · , 4′

Thus DBA = DβJ

αI . We start with the algebra

A = M4 (C)⊕M4 (C)

and write

a =

Xβαδ

JI 0

0 δβ′

α′YJ ′

I′

In this form

ao = Ja∗J−1 =

δβαYtJI 0

0 X∗β′

α′ δJ ′I′′

and clearly satisfy [a, bo] = 0. The order one condition is

[[D, a] , bo] = 0

15

Page 16: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

Write

bo =

δβαWJI 0

0 Zβ′

α′ δJ ′I′

then

[[D, a] , bo]

=

[[DBA , X

],W] (

DB′A Y −XDB′

A

)Z −W

(DB′A Y −XDB′

A

)(DBA′X − Y DB

A′

)W − Z

(DBA′X − Y DB

A′

) [[DB′

A′ , Y], Z]

Explicitely the first two equations:

(DγKαI X

βγ −Xγ

αDβKγI

)W JK −WK

I

(DγJαKX

βγ −Xγ

αDβJγK

)= 0(

Dγ′K′

αI Y J ′

K′ −XγαD

γ′KγI

)Zβ′

γ′ −WKI

(Dβ′K′

αK Y J ′

K′ −XγαD

β′J ′

γK

)= 0

We have shown that the only solution of the second equation is

Dβ′K′

αI = δ.1αδ

β′.1′δ1IδK′

1′ k∗νR

and this implies that

DβJαI = Dβ

α(l)δ1IδJ1 +Dβ

α(q)δiIδJj δ

ji

Y J ′

I′ = δ1′

I′δJ ′

1′ Y1′

1′ + δi′

I′δJ ′

j′ Yj′

i′

X.1.1

= Y 1′

1′ , Xα.1

= 0, α 6=.

1

16

Page 17: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

We will be using the notation

α =.

1,.

2, a where a = 1, 2

From the property of commutation of the grading operator

gβα =

12 0

0 −12

[g, a] = 0 a ∈M4 (C)

the algebra M4 (C) reduces to M2 (C)⊕M2 (C) . We further impose the

condition of symplectic isometry on M2 (C)⊕M2 (C)

σ2 ⊗ 12 (a)σ2 ⊗ 12 = a

reduces it to H⊕H. Together with the above condition this implies that

Xβα = δ

.1αδ

β.1X

.1.1

+ δ.2αδ

β′.2X

.1.1 + δaαδ

βbX

ba

and the algebra H⊕H⊕M4 (C) reduces to

C⊕H⊕M3 (C)

because X.1.1

= Y 1′

1′ .

With this we can form the Dirac operator of the product space of this

discrete space times a four-dimensional Riemannian manifold

D = DM ⊗ 1 + γ5 ⊗DF

17

Page 18: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

Since DF is a 32× 32 matrix tensored with the 3× 3 matrices of

generation space, D is 384× 384 matrix.

Next we have to evaluate the operator

DA = D + A+ JAJ−1

where

A =∑

a [D, b]

or in tensor notation

ABA =∑

aCA(DDC b

BD − bDCDB

D

)(there are no mixing terms like DD′

C bBD′ because b is block diagonal).

18

Page 19: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

Writing all components of the the full Dirac operator DβJαI

(D).11.11

= γµ ⊗Dµ ⊗ 13, Dµ = ∂µ +1

4ωcdµ (e) γcd, 13 = generations

(D)a1.11

= γ5 ⊗ k∗ν ⊗ εabHb kν = 3× 3 neutrino mixing matrix

(D).21.21

= γµ ⊗ (Dµ + ig1Bµ)⊗ 13

(D)a1.21

= γ5 ⊗ k∗e ⊗Ha

(D).11a1 = γ5 ⊗ kν ⊗ εabH

b

(D).21a1 = γ5 ⊗ ke ⊗Ha

(D)b1a1 = γµ ⊗((

Dµ +i

2g1Bµ

)δba −

i

2g2W

αµ (σα)ba

)⊗ 13, σα = Pauli

(D).1j.1i

= γµ ⊗((

Dµ −2i

3g1Bµ

)δji −

i

2g3V

mµ (λm)ji

)⊗ 13, λi = Gell-Mann

(D)aj.1i

= γ5 ⊗ k∗u ⊗ εabHbδji

(D).2j.2i

= γµ ⊗((

Dµ +i

3g1Bµ

)δji −

i

2g3V

mµ (λm)ji

)⊗ 13

(D)aj.2i

= γ5 ⊗ k∗d ⊗Haδji

(D)bjai = γµ ⊗((

Dµ −i

6g1Bµ

)δbaδ

ji −

i

2g2W

αµ (σα)ba δ

ji −

i

2g3V

mµ (λm)ji δ

ba

)⊗ 13

(D).1jai = γ5 ⊗ ku ⊗ εabH

bδji

(D).2jai = γ5 ⊗ kd ⊗Haδ

ji

(D).

1′1′.11

= γ5 ⊗ k∗νRσ generate scale MR by σ →MR

(D).11.1′1′

= γ5 ⊗ kνRσ

DB′

A′ = DB

A 19

Page 20: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

where the matrix form would look like.

.

11

vR

.

21

eR

a1

la

.

1i

uiR

.

2i

diR

ai

qiL

.

11

.

21

b1

.

1j

.

2j

bj

(D).11.11

0 (D)a1.11

0 0 0

0 (D).21.21

(D)a1.21

0 0 0

(D).11b1 (D)

.21b1 (D)b1a1 0 0 0

0 0 0 (D).1i.1j

0 (D)ai.1j

0 0 0 0 (D).2i.2j

(D)ai.2j

0 0 0 (D).1ibj (D)

.2ibj (D)aibj

20

Page 21: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

4 The Spectral Action Principle (SAP)

• There is a shift of point of view in NCG similar to Fourier transform,

where the usual emphasis on the points on the points x ∈ M of a

geometric space is now replaced by the spectrum Σ of the operator D.

The existence of Riemannian manifolds which are isospectral but not

isometric shows that the following hypothesis is stronger than the usual

diffeomorphism invariance of the action of general relativity

The physical action depends only on the Σ

This is the spectral action principle (SAP) . The spectrum is a geometric

invariant and replaces diffeomorphism invariance.

• Apply this basic principle to the noncommutative geometry defined by

the spectrum of the standard model to show that the dynamics of all

the interactions, including gravity is given by the spectral action

Trace f

(DA

Λ

)+

1

2〈Jψ,DAψ〉

where f is a test function, Λ a cutoff scale and ψ represents the

fermions.

21

Page 22: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

• The function f only plays a role through its momenta f0, f2, f4 where

fk =

∞∫0

f(v)vk−1dv, for k > 0, f0 = f(0).

These will serve as three free parameters in the model. SΛ[DA] is the

number of eigenvalues λ of DA counted with their multiplicities such

that |λ| ≤ Λ.

To illustrate how this comes, expand the function f in terms of its Laplace

transform

Tracef (P ) =∑s

fs′Trace(P−s

)Trace

(P−s

)=

1

Γ (s)

∞∫0

ts−1Trace(e−tP

)dt Re (s) ≥ 0

Trace(e−tP

)'∑n≥0

tn−m

d

∫M

an (x, P ) dv (x)

Gilkey gives generic formulas for the Seeley-deWitt coefficients an (x, P )

for a large class of differential operators P .

• The bosonic part gives an action that unifies gravity with SU(2) ×

U(1) × SU(3) Yang-Mills gauge theory, with a Higgs doublet φ and

spontaneous symmetry breaking, in addition to a singlet that gives

22

Page 23: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

mass to the right-handed neutrino. It is given by

Sb =24

π2F4Λ4

∫d4x√g

− 2

π2F2Λ2

∫d4x√g

(R +

1

2aHH +

1

4cσ2

)+

1

2π2F0

∫d4x√g

[1

30

(−18C2

µνρσ + 11R∗R∗)

+5

3g2

1B2µν + g2

2

(Wαµν

)2+ g2

3

(V mµν

)2

+1

6aRHH + b

(HH

)2+ a |∇µHa|2 + 2eHH σ2 +

1

2d σ4 +

1

12cRσ2 +

1

2c (∂µσ)2

]+ F−2Λ−2a6 + · · ·

23

Page 24: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

The Higgs-singlet potential reduces to (after some scalings)

V =1

4

(λhh

4+ 2λhσh

2σ2 + λσσ

4)− 2g2

π2f2Λ2

(h

2+ σ2

)where

λh =n2 + 3

(n+ 3)2

(4g2)

λhσ =2n

n+ 3

(4g2)

λσ = 2(4g2)

n =

∣∣∣∣kνkt∣∣∣∣2

The singlet has a strong coupling λσ = 8g2. The coupling λhσ vanishes

for n = 0 and increases to 8g2 as n → ∞. The coupling λh decreases

from 43g2 to g2 for n varying from 0 to 1 and increases again to 4g2 for

n→∞. The condition to have a stable Higgs mass at 125 Gev is that

the determinant of the mass matrix is positive implies

λ2hσ < λhλσ (1)

which is satisfied provided n2 < 3. The physical states are mixtures of

the fields h and σ but with very small mixing of order of vw

= O (10−9) .

Thus, we can change possible starting points for both n and g to hold at

24

Page 25: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

some unification scale. The physical masses of the top and Higgs fields are

then determined from the values of the couplings at low energies:

mt (0) = kt (0)246√

2(2)

mh (0) = 246

√2λh (0)

(1− λ2

hσ(0)

λh(0)λσ(0)

)(3)

Numerical studies of this system of one loop RG equations for various

starting points of the parameters n, g, and unification scale reveal that a

Higgs mass of around 125.5 Gev and a top quark mass of around 173 Gev.

We have now answered the following:

• Why the specific U(1)× SU(2)× SU(3) gauge group.

• Why the particular representations.

• Why 16 fermions in one generation.

• Why one Higgs field doublet and the spontaneous symmetry breaking.

• Why the Higgs mass, the fermion masses.

• The see-saw mechanism and the smallness of the neutrino mass.

25

Page 26: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

• Stability of the Standard Model up to very high energies and the exis-

tence of the singlet.

• A top quark mass of around 173 Gev and consistency of a Higgs mass

of 125 Gev.

26

Page 27: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

5 Spectral Action for NC Spaces with Bound-

ary

In the Hamiltonian quantization of gravity it is essential to include

boundary terms in the action as this allows to define consistently the

momentum conjugate to the metric. This makes it necessary to modify the

Einstein-Hilbert action by adding to it a surface integral term so that the

variation of the action is well defined. The reason for this is that the

curvature scalar R contains second derivatives of the metric, which are

removed after integrating by parts to obtain an action which is quadratic in

first derivatives of the metric. To see this note that the curvature

R ∼ ∂Γ + ΓΓ where Γ ∼ g−1∂g has two parts, one part is of second order in

derivatives of the form g−1∂2g and the second part is the square of

derivative terms of the form ∂g∂g. To define the conjugate momenta in the

Hamiltonian formalism, it is necessary to integrate by parts the term g−1∂2g

and change it to the form ∂g∂g. These surface terms, which turned out to

be very important, are canceled by modifying the Euclidean action to

I = − 1

16π

∫M

d4x√gR− 1

∫∂M

d3x√hK,

27

Page 28: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

where ∂M is the boundary of M , hab is the induced metric on ∂M and K

is the trace of the second fundamental form on ∂M. Notice that there is a

relative factor of 2 between the two terms, and that the boundary term has

to be completely fixed. This is a delicate fine tuning and is not determined

by any symmetry, but only by the consistency requirement. There is no

known symmetry that predicts this combination and it is always added by

hand. In contrast we can compute the spectral action for manifolds with

boundary. The hermiticity of the Dirac operator

(ψ|Dψ) = (Dψ|ψ)

is satisfied provided that π−ψ|∂M = 0 where π− = 12

(1− χ) is a projection

operator on ∂M with χ2 = 1. To compute the spectral action for manifolds

with boundary we have to specify the condition π−Dψ|∂M = 0. The result

of the computation gives the remarkable result that the Gibbons-Hawking

boundary term is generated without any fine tuning. Adding matter

interactions, does not alter the relative sign and coefficients of these two

terms, even when higher orders are included. The Dirac operator for a

product space such as that of the standard model, must now be taken to be

28

Page 29: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

of the form

D = D1 ⊗ γF + 1⊗DF

instead of

D = D1 ⊗ 1 + γ5 ⊗DF

because γ5 does not anticommute with D1 on ∂M.

5.1 Dilaton as the Dynamical ScaleDilaton and Scale

Replacing the cutoff scale Λ in the spectral action, replacing f(D2

Λ2 ) by f(P )

where P = e−φD2e−φ modifies the spectral action with dilaton dependence

to the form

Tr F (P ) '6∑

n=0

f4−n

∫d4x√ge(4−n)φan

(x,D2

)One can then show that the dilaton dependence almost disappears from

the action if one rescales the fields according to

Gµν = e2φgµν

H ′ = e−φH

ψ′ = e−32φψ

29

Page 30: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

With this rescaling one finds the result that the spectral action is

I (gµν → Gµν , H → H ′, ψ → ψ′)

+24f2

π2

∫d4x√GGµν∂µφ∂νφ

scale invariant (independent of the dilaton field) except for the kinetic

energy of the dilaton field φ. The dilaton field has no potential at the

classical level. It acquires a Coleman-Weinberg potential through quantum

corrections, and thus a vev. The dilaton acquires a very small mass. The

Higgs sector in this case becomes identical with the Randall-Sundrum

model. In that model there are two branes in a five dimensional space, one

located at x5 = 0 representing the invisible sector, and another located at

x5 = πrc, the visible sector. The physical masses are set by the symmetry

breaking scale v = v0e−krcπ so that m = m0e

−krcπ. If the bare symmetry

breaking scale is taken at m0 ∼ 1019 Gev, then by taking krcπ = 10 one

gets the low-energy mass scale m ∼ 102 Gev. It is not surprising that the

Randall-Sundrum scenario is naturally incorporated in the noncommutative

geometric model, because intuitively one can think of the discrete space as

providing the different brane sectors.

30

Page 31: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

6 Parity violating terms

It is possible to add to the spectral action terms that will violate parity

such as the gravitational term εµνρσRµνabRab

ρσ and the non-abelian θ term

εµνρσV mµνV

mρσ . These arise by allowing for the spectral action to include the

term

Tr

(γG

(D2

Λ2

))where G is a function not necessarily equal to the function F, and

γ = γ5 ⊗ γF

is the total grading. In this case it is easy to see that there are no

contributions coming from a0 and a2 and the first new term occurs in a4

where there are only two contributions:

1

16π2

1

12Tr(γ5γF Ω2

µν

)=

1

16π2εµνρσRµνabR

abρσ (24− 24) = 0

and

− 4

16π2εµνρσ

((1−

(1

2

)2

(2) +

(2

3

)2

(3) +

(1

3

)2

(3)−(

1

6

)2

(3) (2)

)3g2

1BµνBρσ(−(

1

2

)2

(2)−(

1

2

)2

(2) (3)

)3g2

2WαµνW

αρσ +

((1

2

)2

(2) (1 + 1− 2)

)3V m

µνVmρσ

)

= − 3

4π2εµνρσ

(2g2

1BµνBρσ − 2g22W

αµνW

αρσ

)31

Page 32: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

Thus the additional terms to the spectral action, up to orders 1Λ2 , are

3G0

8π2εµνρσ

(2g2

1BµνBρσ − 2g22W

αµνW

αρσ

)where G0 = G (0) . The BµνBρσ is a surface term, while Wα

µνWαρσ is

topological, and both violate PC invariance. The surprising thing is the

vanishing of both the gravitational PC violating term εµνρσRµνabRab

ρσ and

the θ QCD term εµνρσV mµνV

mρσ . In this way the θ parameter is naturally

zero, and can only be generated by the higher order interactions. The

reason behind the vanishing of both terms is that in these two sectors there

is a left-right symmetry graded with the matrix γF giving an exact

cancelation between the left-handed sectors and the right-handed ones. In

other words the trace of γF vanishes and this implies that the index of the

full Dirac operator, using the total grading, vanishes. There is one more

condition to solve the strong CP problem which is to have the following

condition on the mass matrices of the up quark and down quark

det ku det kd = real .

At present, it is not clear what condition must be imposed on the quarks

Dirac operator, in order to obtain such relation. If this condition can be

32

Page 33: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

imposed naturally, then it will be possible to show that

θQT + θQCD = 0

at the tree level, and loop corrections can only change this by orders of less

than 10−9.

7 Order one and Beyond the SM

It appears that from experimental results that at present there are no

indications of any new physics beyond the SM, but this does not rule out

that some new physics will appear at very high energies. Indications that

this is the case can be seen by the fact that the three gauge couplings do

not meet at high energies as required by the spectral action. In addition

the presence of the sigma field at energies of the order of 1011 Gev suggests

that new physics would start to play a role at such high energies. Accepting

this lead us to consider relaxing the order one condition and to investigate

which model one gets.

The first order condition is what restricted a more general gauge symmetry

based on the algebra HR ⊕HL ⊕M4 (C) to the subalgebra C⊕H⊕M3 (C) .

It is thus essential to understand the physical significance of such a

33

Page 34: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

requirement. In what follows we shall examine the more general algebra

allowed without the first order condition, and shall show that the number

of fundamental fermions is still dictated to be 16. We determine the inner

automorphisms of the algebra A and show that the resulting gauge

symmetry is a Pati-Salam type left-right model

SU (2)R × SU (2)L × SU (4)

where SU (4) is the color group with the lepton number as the fourth color.

In addition we observe that the Higgs fields appearing in A(2) are composite

and depend quadratically on those appearing in A(1) provided that the

initial Dirac operator (without fluctuations) satisfy the order one condition.

Otherwise, there will be additional fundamental Higgs fields. In particular,

the representations of the fundamental Higgs fields when the initial Dirac

operator satisfies the order one condition are (2R, 2L, 1) , (2R, 1L, 4) and

(1R, 1L, 1 + 15) with respect to SU (2)R × SU (2)L × SU (4) . When the

order one condition is not satisfied for the initial Dirac operator, the

representations of the additional Higgs fields are (3R, 1L, 10), (1R, 1L, 6) and

(2R, 2L, 1 + 15) . There are simplifications if the Yukawa coupling of the up

quark is equated with that of the neutrino and of the down quark equated

with that of the electron. In addition the 1 + 15 of SU (4) decouple if we

34

Page 35: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

assume that at unification scale there is exact SU (4) symmetry between

the quarks and leptons. The resulting model is very similar to the one

considered by Marshak and Mohapatra.

When one considers inner fluctuations of the Dirac operator one finds that

the gauge transformation takes the form

DA → UDAU∗, U = u Ju J−1, u ∈ U (A)

which implies that

A→ uAu∗ + uδ (u∗) .

This in turn gives

A(1) → uA(1)u∗ + u [D, u∗] ∈ Ω1

D (A)

A(2) → Ju J−1A(2)Ju∗ J−1 + Ju J−1

[u [D, u∗] , Ju ∗J−1

]where the A(2) in the right hand side is computed using the gauge

transformed A(1). Thus A(1) is a one-form and behaves like the usual gauge

transformations. On the other hand A(2) transforms non-linearly and

includes terms with quadratic dependence on the gauge transformations.

We now proceed to compute the Dirac operator on the product space

M × F . The initial operator is given by

D = γµDµ ⊗ 1 + γ5DF

35

Page 36: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

where γµDµ = γµ(∂µ + 1

4ω abµ γab

)is the Dirac operator on the four

dimensional spin manifold. Then the Dirac operator including inner

fluctuations is given by

DA = D + A(1) + JA(1)J−1 + A(2)

A(1) =∑

a [D, b]

A(2) =∑

a[JA(1)J

−1, b].

The computation is very involved thus for clarity we shall collect all the

details in the appendix and only quote the results in what follows. The

different components of the operator DA are then given by

(DA).bJ.aI = γµ

(Dµδ

.b.aδJI −

i

2gRW

αµR (σα)

.b.a δ

JI − δ

.b.a

(i

2gV m

µ (λm)J

I +i

2gVµδ

JI

))(DA)bJaI = γµ

(Dµδ

baδJI −

i

2gLW

αµL (σα)ba δ

JI − δba

(i

2gV m

µ (λm)J

I +i

2gVµδ

JI

))where the fifteen 4× 4 matrices (λm)

J

I are traceless and generate the group

SU (4) and WαµR, W

αµL, V

mµ are the gauge fields of SU (2)R, SU (2)L, and

SU (4) . The requirement that A is unimodular implies that

Tr (A) = 0

which gives the condition

Vµ = 0.

36

Page 37: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

In addition we have

(DA)bJ.aI = γ5

((kνφb.a + keφb.a

)ΣJI +

(kuφb.a + kdφb.a

) (δJI − ΣJ

I

))≡ γ5ΣbJ

.aI

(4)

(DA).b′J ′

.aI = γ5k

∗νR∆ .aJ∆.

bI≡ γ5H .

aI.bJ

where the Higgs field φb.a

is in the(2R, 2L, 1

)of the product gauge group

SU (2)R × SU (2)L × SU (4), and ∆ .aJ is in the (2R,, 1L, 4) representation

while ΣJI is in the (1R, 1L, 1 + 15) representation. The field φb.

ais not an

independent field and is given by

φb.a = τ2φb.aτ2.

Note that the field ΣJI decouples (and set to δ1

IδJ1 ) in the special case when

there is lepton and quark unification of the couplings

kν = ku, ke = kd.

In case when the initial Dirac operator satisfies the order one condition,

then the A(2) part of the connection becomes a composite Higgs field where

the Higgs field ΣbJ.aI

is formed out of the products of the fields φb.a

and ΣJI

while the Higgs field H .aI

.bJ

is made from the product of ∆ .aJ∆.

bI. For generic

initial Dirac operators, the field(A(2)

)bJ.aI

becomes independent. The fields

37

Page 38: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

ΣbJ.aI

and H .aI

.bJ

will then not be defined through equation 4 and will be in

the (2R, 2L, 1 + 15) and (3R, 1L, 10) + (1R, 1L, 6) representations of

SU (2)R × SU (2)L × SU (4) . In addition, for generic Dirac operator one

also generate the fundamental field (1, 2L, 4) . The fact that inner

automorphisms form a semigroup implies that the cases where the Higgs

fields contained in the connections A(2) are either independent fields or

depend quadratically on the fundamental Higgs fields are disconnected.

The interesting question that needs to be addressed is whether the

structure of the connection is preserved at the quantum level. This

investigation must be performed in such a way as to take into account the

noncommutative structure of the space. At any rate, we have here a clear

advantage over grand unified theories which suffers of having arbitrary and

complicated Higgs representations . In the noncommutative geometric

setting, this problem is now solved by having minimal representations of

the Higgs fields. Remarkably, we note that a very close model to the one

deduced here is the one considered by Marshak and Mohapatra where the

U (1) of the left-right model is identified with the B − L symmetry. They

proposed the same Higgs fields that would result starting with a generic

initial Dirac operator not satisfying the first order condition. Although the

38

Page 39: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

broken generators of the SU (4) gauge fields can mediate lepto-quark

interactions leading to proton decay, it was shown that in all such types of

models with partial unification, the proton is stable. In addition this type

of model arises in the first phase of breaking of SO (10) to

SU (2)R × SU (2)L × SU (4) and these have been extensively studied. The

recent work in considers noncommutative grand unification based on the

k = 8 algebra M4 (H)⊕M8 (C) keeping the first order condition.

7.1 The Spectral Action for the SU (2)R × SU (2)L ×

SU (4) model

The bosonic action is given by

Trace (f (DA/Λ))

39

Page 40: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

which gives

Sb =24

π2F4Λ4

∫d4x√g

− 2

π2F2Λ2

∫d4x√g

(R +

1

4

(H .aI

.cKH

.cK

.aI + 2ΣcK

.aI Σ

.aIcK

))+

1

2π2F0

∫d4x√g

[1

30

(−18C2

µνρσ + 11R∗R∗)

+ g2L

(WαµνL

)2+ g2

R

(WαµνR

)2+ g2

(V mµν

)2

+ ∇µΣ.cKaI ∇µΣaI

.cK +

1

2∇µH .

aI.bJ∇µH

.aI

.bJ +

1

12R(H .aI

.cKH

.cK

.aI + 2ΣcK

.aI Σ

.aIcK

)+

1

2

∣∣∣H .aI

.cKH

.cK

.bJ∣∣∣2 + 2H .

aI.cKΣ

.cKbJ H

.aI

.dLΣbJ

.dL

+ Σ.cKaI ΣbJ

.cKΣ

.dLbJ ΣaI

.dL

].

The physical content of this action is a cosmological constant term, the

Einstein Hilbert term R, a Weyl tensor square term C2µνρσ, kinetic terms for

the SU (2)R × SU (2)L × SU (4) gauge fields, kinetic terms for the

composite Higgs fields H .aI

.bJ

and Σ.cKbJ as well as mass terms and quartic

terms for the Higgs fields. This is a grand unified Pati-Salam type model

with a completely fixed Higgs structure which we expect to spontaneously

break at very high energies to the U (1)× SU (2)× SU (3) symmetry of the

SM. We also notice that this action gives the gauge coupling unification

gR = gL = g.

A test of this model is to check whether this relation when run using RG

equations would give values consistent with the values of the gauge

40

Page 41: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

couplings for electromagnetic, weak and strong interactions at the scale of

the Z -boson mass. Having determined the full Dirac operators, including

fluctuations, we can write all the fermionic interactions including the ones

with the gauge vectors and Higgs scalars. It is given by

∫d4x√g

ψ∗.aIγ

µ

(Dµδ

.b.aδJI −

i

2gRW

αµR (σα)

.b.a δ

JI − δ

.b.a

(i

2gV m

µ (λm)J

I +i

2gVµδ

JI

))ψ.bJ

+ ψ∗aIγµ

(Dµδ

baδJI −

i

2gLW

αµL (σα)ba δ

JI − δba

(i

2gV m

µ (λm)J

I +i

2gVµδ

JI

))ψbJ

+ψ∗.aIγ5ΣbJ.aIψbJ + ψ∗aIγ5Σ

.bJaIψ.

bJ+ Cψ .

aIγ5H.aI

.bJψ.

bJ+ h.c

It is easy to see that this model truncates to the Standard Model. The

Higgs field φb.a

= (2R, 2L, 1) must be truncated to the Higgs doublet H by

writing

φb.a = δ.1.aεbcHc.

The other Higgs field ∆ .aI = (2R, 1, 4) is truncated to a real singlet scalar

field

∆ .aI = δ

.1.aδ

1I

√σ.

Needless to say that it is difficult to determine all allowed vacua of this

potential, especially since there is dependence of order eight on the fields.

It is possible, however, to expand this potential around the vacuum that we

41

Page 42: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

started with which breaks the gauge symmetry directly from

SU (2)R × SU (2)L × SU (4) to U (1)em × SU (3)c. Explicitly, this vacuum is

given by

⟨φb.a⟩

= vδ.1.aδb1

⟨ΣIJ

⟩= uδI1δ

1J 〈∆ .

aJ〉 = wδ.1.aδ

1J .

Relaxing the order one condition which may be required in the process of

renormalizing the spectral action leads uniquely to the Pati-Salam model

with SU (2)R × SU (2)L × SU (4) symmetry unifying leptons and quarks

with the lepton number as the fourth color. The Higgs fields are fixed and

belong to the 16× 16 and 16× 16 products with respect to the Pati-Salam

group. Because of the semi-group structure of the inner fluctuations the

Higgs fields may all be independent of each other, or the A(2) part of the

connection depending on the A(1) parts provided that the initial Dirac

operator is taking to satisfy the order one condition with respect to the SM

algebra. The model, unlike other unification models does not suffer from

prton decay and is not ruled out experimentally. A lot of work remains to

be done to investigate this model and study all its possible breakings from

the high energy to low energies. Of interest is to determine whether the

additional fields present will modify the running of the gauge couplings

allowing for the meetings of these couplings at very high energies.

42

Page 43: Noncommutative Geometry in Physicsffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/CHAMSEDDINE_Ali.pdf · Noncommutative Geometry as a framework to unify all fundamental interactions, For

8 Conclusions and outlook

Noncommutative geometry methods are very effective in understanding and

predicting the nature of space-time and have come a long way. It is now

important to push this success further by addressing problems such as the

quantization of gravity using these tools.

43