rethinking gauge theory through connes' noncommutative...

108
Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia Tech October 24, 2015 Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 1 / 44

Upload: others

Post on 10-Jul-2020

4 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Rethinking Gauge Theory throughConnes’ Noncommutative Geometry

Chen Sun

Virginia Tech

October 24, 2015

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 1 / 44

Page 2: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Work with Ufuk Aydemir, Djordje Minic, Tatsu Takeuchi:

Phys. Rev. D 91, 045020 (2015) [arXiv:1409.7574],Pati-Salam Unification from Non-commutative Geometry and theTeV-scale WR boson [arXiv:1509.01606],Review of NCG in preparation.

For background of NCG, c.f. Chamseddine, Connes, et. al.:Nucl. Phys. Proc. Suppl. 18B, 29 (1991)Commun. Math. Phys. 182, 155 (1996) [hep-th/9603053],Adv. Theor. Math. Phys. 11, 991 (2007) [hep-th/0610241],

and for superconnection, c.f. Neeman, Fairlie, et. al.:Phys. Lett. B 81, 190 (1979),J. Phys. G 5, L55 (1979),Phys. Lett. B 82, 97 (1979).

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 2 / 44

Page 3: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

The quickest review of gauge theory

Given

ψ element in rep’ space H, e.g. Dirac spinors,

O operator on H, e.g. /∂,

we say the operator is ‘covariant’ if under the transformation

ψ 7→ uψ,

the operator trasforms as

O 7→ uOu−1,

since that gives us

Oψ 7→ uOψ.

At the end, a theory built with

L ∼ 〈ψ|Oψ〉

is invariant under the transformation.Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 3 / 44

Page 4: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

The quickest review of gauge theory -Cont’d

When we localize the transformation u, things sometimes change

O 7→ uOu−1 + local terms.

Therefore, we need to come up with another operator that transforms as

A 7→ uAu−1 − local terms,

so that the combination of the two gives

O + A 7→ u(O + A)u−1.

Then we have made the combo operator O + A a ‘covariant’ operator, denotedOA.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 4 / 44

Page 5: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Example: U(1) from global to local

We have

L = ψi /∂ψ.

Invariant under global U(1):

ψ 7→ e iθψ,

L 7→ L′ = L.

When we localize the U(1) symmetry, i.e. θ = θ(x),

ψ 7→ e iθ(x)ψ,

L 7→ L′ = L − ∂θψψ.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 5 / 44

Page 6: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Example: U(1) from global to local -Cont’d

Therefore we come up with a U(1) gauge field A, which transforms as

A 7→ uAu−1 + ∂θ.

and modify the Lagrangian as

L = ψ(i /∂ + /A)ψ.

All together, we acquire an invariant theory.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 6 / 44

Page 7: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Description in spectral triple

Suppose we have

A =C∞(M),

H =Γ(M,S),

D =i /∂.

The unitary transformations are

u ∈ A|u†u = uu† = 1.

Under transformations u, we have

ψ 7→ uψ,

Dψ 7→ Duψ = uDψ + [D, u]ψ.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 7 / 44

Page 8: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Under transformations u, we have

ψ 7→ uψ,

Dψ 7→ Duψ = uDψ + [D, u]ψ,

ψDψ 7→ ψu†Duψ = ψDψ + ψu†[D, u]ψ.

The theory built with ψDψ is invariant

⇔ [D, u] = 0,

⇔ ∂(u) = 0,

⇔ u is a global symmetry.

What if [D, u] 6= 0?

– Old trick: use a gauge field to absorb the extra term.

– What should the gauge look like?

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 8 / 44

Page 9: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Under transformations u, we have

ψ 7→ uψ,

Dψ 7→ Duψ = uDψ + [D, u]ψ,

ψDψ 7→ ψu†Duψ = ψDψ + ψu†[D, u]ψ.

The theory built with ψDψ is invariant

⇔ [D, u] = 0,

⇔ ∂(u) = 0,

⇔ u is a global symmetry.

What if [D, u] 6= 0?

– Old trick: use a gauge field to absorb the extra term.

– What should the gauge look like?

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 8 / 44

Page 10: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Under transformations u, we have

ψ 7→ uψ,

Dψ 7→ Duψ = uDψ + [D, u]ψ,

ψDψ 7→ ψu†Duψ = ψDψ + ψu†[D, u]ψ.

The theory built with ψDψ is invariant

⇔ [D, u] = 0,

⇔ ∂(u) = 0,

⇔ u is a global symmetry.

What if [D, u] 6= 0?

– Old trick: use a gauge field to absorb the extra term.

– What should the gauge look like?

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 8 / 44

Page 11: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

[D, u] 6= 0

In this case, D transforms as

D 7→ u(D + u†[D, u])u†.

Apparently it is not covariant. It is ‘perturbed’ during the transformation, withthe extra term is of the form

u†[D, u].

We want to ‘absorb’ the extra term into D, with the hope the overall operatoris recovered covariant. Therefore we define another operator as

A =∑

ai [D, bi ],

where ai , bi ∈ A. We can immediately tell the extra term is nothing but of theform of A, thus can be absorbed.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 9 / 44

Page 12: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

D 7→ u(D + u†[D, u])u† = u(D + A0)u†.

With transformation u:

D 7→ D + A0.

Need

A 7→ A− A0.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 10 / 44

Page 13: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Using the language we are familiar with, we have (up to order one condition)

ψ 7→ uψ,

D 7→ u(D + u†[D, u])u†,

A 7→ u(A− u†[D, u])u†,

D + A 7→ u(D + A)u†.

Formally, D works similarly to a differential operator as in W = Wµdxµ, and A

works like the gauge field. In this way, we can define the new differential oneforms as elements in

Ω1 =∑

ai [D, bi ]|ai , bi ∈ A.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 11 / 44

Page 14: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Using the language we are familiar with, we have (up to order one condition)

ψ 7→ uψ,

D 7→ u(D + u†[D, u])u†,

A 7→ u(A− u†[D, u])u†,

D + A 7→ u(D + A)u†.

Formally, D works similarly to a differential operator as in W = Wµdxµ, and A

works like the gauge field. In this way, we can define the new differential oneforms as elements in

Ω1 =∑

ai [D, bi ]|ai , bi ∈ A.

Define the ‘perturbed’ DA to be the combination of the two

DA = D + A.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 11 / 44

Page 15: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Generalization

As it is shown above, (A,H,D) = (C∞(M), Γ(M,S), i /∂) gives us a U(1) gaugetheory.

But, what for?

With a few modifications, we can build a generalized gauge theory.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 12 / 44

Page 16: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C⊕ CAccording to Gelfand-Naimark, if we study all the algebra in C∞(M), we canget all the information of the geometry M.

f : M → C,p 7→ f (p),

where f ∈ C∞(M).

By analogy:Consider changing A = C∞(M) to A = C⊕ C, ∀a ∈ A, we denote a = (λ, λ′).This is the map,

a : p1, p2 → C,p1 7→ a(p1) = λ,

p2 7→ a(p2) = λ′.

Similar to C∞(M)↔ M, roughly, we have C⊕ C↔ p1, p2, a two pointspace.Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 13 / 44

Page 17: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C⊕ C

At this point, there is no relation for the two points space.In A = C∞(M), the distance is

d(x , y) = inf

∫γ

ds,

d2s = gµνdxµdxν .

How to extract this information from the algebra, if Gelfand-Naimark iscorrect?

d(x , y) = sup|f (x)− f (y)| : f ∈ C∞(M), |∂f (x)| ≤ 1.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 14 / 44

Page 18: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C⊕ C

At this point, there is no relation for the two points space.In A = C∞(M), the distance is

d(x , y) = inf

∫γ

ds,

d2s = gµνdxµdxν .

How to extract this information from the algebra, if Gelfand-Naimark iscorrect?d(x , y) = sup|f (x)− f (y)| : f ∈ C∞(M), |∂f (x)| ≤ 1.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 14 / 44

Page 19: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Distance formula:

d(x , y) = sup|f (x)− f (y)| : f ∈ C∞(M), |∂f (x)| ≤ 1.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 15 / 44

Page 20: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Distance formula:

d(x , y) = sup|f (x)− f (y)| : f ∈ C∞(M), |∂f (x)| ≤ 1.

Translate:

x1 x2

x

fHxL

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 15 / 44

Page 21: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Distance formula:

d(x , y) = sup|f (x)− f (y)| : f ∈ C∞(M), |∂f (x)| ≤ 1.

Translate:

x1 x2

x

fHxL

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 15 / 44

Page 22: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Distance formula:

d(x , y) = sup|f (x)− f (y)| : f ∈ C∞(M), |∂f (x)| ≤ 1.

Translate:

x1 x2

x

fHxL

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 15 / 44

Page 23: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Distance formula:

d(x , y) = sup|f (x)− f (y)| : f ∈ C∞(M), |∂f (x)| ≤ 1.

Translate:

x1 x2

x

fHxL

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 15 / 44

Page 24: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Distance formula:

d(x , y) = sup|f (x)− f (y)| : f ∈ C∞(M), |∂f (x)| ≤ 1.

Translate:

x1 x2

x

fHxL

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 15 / 44

Page 25: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C⊕ C

By analogy, can calculate the ‘distance’ between the two points inA = C⊕ C.Introduce the third element, the generalization of Dirac operator,

D =

[0 mm 0

].

The distance formula is

d(x , y) = sup|a(x)− a(y)| : a ∈ A, ‖[D, a]‖ ≤ 1.

Distance between the two points

d(p1, p2) = supa∈A,‖[D,a]‖≤1

|a(p1)− a(p2)|

= sup(λ,λ′)∈A,‖[D,a]‖≤1

|λ− λ′|

=1

|m|.

The generalized Dirac operator encodes the distance information!

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 16 / 44

Page 26: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C⊕ C

By analogy, can calculate the ‘distance’ between the two points inA = C⊕ C.Introduce the third element, the generalization of Dirac operator,

D =

[0 mm 0

].

The distance formula is

d(x , y) = sup|a(x)− a(y)| : a ∈ A, ‖[D, a]‖ ≤ 1.

Distance between the two points

d(p1, p2) = supa∈A,‖[D,a]‖≤1

|a(p1)− a(p2)|

= sup(λ,λ′)∈A,‖[D,a]‖≤1

|λ− λ′|

=1

|m|.

The generalized Dirac operator encodes the distance information!Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 16 / 44

Page 27: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C⊕ C

A = C⊕ C,H = CN ⊕ CN ,

D =

[0 M†

M 0

].

For a ∈ A = (λ, λ′), the ‘differential’ is ∼ (λ− λ′):

[D, a] = (λ− λ′)[

0 −M†M 0

],

By analogy with

df = ∂µf dxµ = limε→0

(f (x + ε)− f (x))dxµ

ε.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 17 / 44

Page 28: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C⊕ C

A = C⊕ C,H = CN ⊕ CN ,

D =

[0 M†

M 0

].

For a ∈ A = (λ, λ′), the ‘differential’ is ∼ (λ− λ′):

[D, a] = (λ− λ′)[

0 −M†M 0

],

By analogy with

df = ∂µf dxµ = limε→0

(f (x + ε)− f (x))dxµ

ε.

The ‘integral’ is ∼ (λ+ λ′):

Tr(a) = λ+ λ′.

By analogy with ∫f (x)dx .

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 17 / 44

Page 29: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Grading

Physically, we are specifically interested in the type of algebraA = A1 ⊕A2. e.g. the model with U(1)Y × SU(2)L, orSU(2)R × SU(2)L, etc.

They correspond to a representation space ∼ HL ⊕HR , or Hf ⊕Hf .It is natural to equip the spectral triple (A,H,D) with another object, γ,the grading operator.

For example,In the case of (A,H,D) = (C∞(M), Γ(M,S), i /∂), γ = γ5.

In the case of (A,H,D) = (C⊕ C,CN ⊕ CN ,

[0 M†

M 0

]), we can choose

the grading operator to be γ = diag(1, ..., 1︸ ︷︷ ︸N copies

,−1, ...,−1︸ ︷︷ ︸N copies

)

A device that helps us distinguish one part from the other.D, A = A1 ⊕A2 ∼ two sheets structure.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 18 / 44

Page 30: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Grading

Physically, we are specifically interested in the type of algebraA = A1 ⊕A2. e.g. the model with U(1)Y × SU(2)L, orSU(2)R × SU(2)L, etc.They correspond to a representation space ∼ HL ⊕HR , or Hf ⊕Hf .

It is natural to equip the spectral triple (A,H,D) with another object, γ,the grading operator.

For example,In the case of (A,H,D) = (C∞(M), Γ(M,S), i /∂), γ = γ5.

In the case of (A,H,D) = (C⊕ C,CN ⊕ CN ,

[0 M†

M 0

]), we can choose

the grading operator to be γ = diag(1, ..., 1︸ ︷︷ ︸N copies

,−1, ...,−1︸ ︷︷ ︸N copies

)

A device that helps us distinguish one part from the other.D, A = A1 ⊕A2 ∼ two sheets structure.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 18 / 44

Page 31: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Grading

Physically, we are specifically interested in the type of algebraA = A1 ⊕A2. e.g. the model with U(1)Y × SU(2)L, orSU(2)R × SU(2)L, etc.They correspond to a representation space ∼ HL ⊕HR , or Hf ⊕Hf .It is natural to equip the spectral triple (A,H,D) with another object, γ,the grading operator.

For example,In the case of (A,H,D) = (C∞(M), Γ(M,S), i /∂), γ = γ5.

In the case of (A,H,D) = (C⊕ C,CN ⊕ CN ,

[0 M†

M 0

]), we can choose

the grading operator to be γ = diag(1, ..., 1︸ ︷︷ ︸N copies

,−1, ...,−1︸ ︷︷ ︸N copies

)

A device that helps us distinguish one part from the other.D, A = A1 ⊕A2 ∼ two sheets structure.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 18 / 44

Page 32: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Grading

Physically, we are specifically interested in the type of algebraA = A1 ⊕A2. e.g. the model with U(1)Y × SU(2)L, orSU(2)R × SU(2)L, etc.They correspond to a representation space ∼ HL ⊕HR , or Hf ⊕Hf .It is natural to equip the spectral triple (A,H,D) with another object, γ,the grading operator.

For example,In the case of (A,H,D) = (C∞(M), Γ(M,S), i /∂), γ = γ5.

In the case of (A,H,D) = (C⊕ C,CN ⊕ CN ,

[0 M†

M 0

]), we can choose

the grading operator to be γ = diag(1, ..., 1︸ ︷︷ ︸N copies

,−1, ...,−1︸ ︷︷ ︸N copies

)

A device that helps us distinguish one part from the other.D, A = A1 ⊕A2 ∼ two sheets structure.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 18 / 44

Page 33: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Grading

Physically, we are specifically interested in the type of algebraA = A1 ⊕A2. e.g. the model with U(1)Y × SU(2)L, orSU(2)R × SU(2)L, etc.They correspond to a representation space ∼ HL ⊕HR , or Hf ⊕Hf .It is natural to equip the spectral triple (A,H,D) with another object, γ,the grading operator.

For example,In the case of (A,H,D) = (C∞(M), Γ(M,S), i /∂), γ = γ5.

In the case of (A,H,D) = (C⊕ C,CN ⊕ CN ,

[0 M†

M 0

]), we can choose

the grading operator to be γ = diag(1, ..., 1︸ ︷︷ ︸N copies

,−1, ...,−1︸ ︷︷ ︸N copies

)

A device that helps us distinguish one part from the other.D, A = A1 ⊕A2 ∼ two sheets structure.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 18 / 44

Page 34: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Grading

Physically, we are specifically interested in the type of algebraA = A1 ⊕A2. e.g. the model with U(1)Y × SU(2)L, orSU(2)R × SU(2)L, etc.They correspond to a representation space ∼ HL ⊕HR , or Hf ⊕Hf .It is natural to equip the spectral triple (A,H,D) with another object, γ,the grading operator.

For example,In the case of (A,H,D) = (C∞(M), Γ(M,S), i /∂), γ = γ5.

In the case of (A,H,D) = (C⊕ C,CN ⊕ CN ,

[0 M†

M 0

]), we can choose

the grading operator to be γ = diag(1, ..., 1︸ ︷︷ ︸N copies

,−1, ...,−1︸ ︷︷ ︸N copies

)

A device that helps us distinguish one part from the other.

D, A = A1 ⊕A2 ∼ two sheets structure.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 18 / 44

Page 35: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Grading

Physically, we are specifically interested in the type of algebraA = A1 ⊕A2. e.g. the model with U(1)Y × SU(2)L, orSU(2)R × SU(2)L, etc.They correspond to a representation space ∼ HL ⊕HR , or Hf ⊕Hf .It is natural to equip the spectral triple (A,H,D) with another object, γ,the grading operator.

For example,In the case of (A,H,D) = (C∞(M), Γ(M,S), i /∂), γ = γ5.

In the case of (A,H,D) = (C⊕ C,CN ⊕ CN ,

[0 M†

M 0

]), we can choose

the grading operator to be γ = diag(1, ..., 1︸ ︷︷ ︸N copies

,−1, ...,−1︸ ︷︷ ︸N copies

)

A device that helps us distinguish one part from the other.D, A = A1 ⊕A2 ∼ two sheets structure.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 18 / 44

Page 36: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C⊕H – A toy model

A = C⊕H,H = C2 ⊕ C2,

D =

[0 M†

M 0

].

How do we fit this with our particle spectrum? ‘Flavor’ space:

νR =

1000

, eR =

0100

, νL =

0010

, eL =

0001

.

For any a ∈ A, a =

λ

λα β−β α

.To give mass terms out of ψ†Dψ, let M =

[mν 00 me

].

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 19 / 44

Page 37: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C⊕H – A toy model

A = C⊕H,H = C2 ⊕ C2,

D =

[0 M†

M 0

].

How do we fit this with our particle spectrum? ‘Flavor’ space:

νR =

1000

, eR =

0100

, νL =

0010

, eL =

0001

.

For any a ∈ A, a =

λ

λα β−β α

.To give mass terms out of ψ†Dψ, let M =

[mν 00 me

].

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 19 / 44

Page 38: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

The unitary transformations are

u ∈ A|u†u = uu† = 1.

This implies

u =

eiθ

e−iθ

α β−β α

, s.t. |α|2 + |β|2 = 1.

which automatically fulfills det u = 1. This is the symmetry U(1)R × SU(2)L.The U(1)R charge is

|↑〉 |↓〉

2R 1 −1

2L 0 0

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 20 / 44

Page 39: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

When we make the U(1)R × SU(2)L transformation,

L =Ψ†DΨ

7→Ψ†u†DuΨ = Ψ†DΨ + Ψ†u†[D, u]Ψ︸ ︷︷ ︸the ‘local’ twist

.

In general [D, u] 6= 0, therefore, this demands for a ‘gauge’ field to absorb thelocal twist, in the discrete direction.

According to our recipe, we do have a gauge field between the two sheets,

A =∑i

ai [D, bi ].

L =Ψ†(D + A)Ψ

7→Ψ†DΨ + Ψ†u†[D, u]Ψ + Ψ†AΨ−Ψ†u†[D, u]Ψ

=Ψ†(D + A)Ψ

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 21 / 44

Page 40: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Demanded to be Hermitian, this gauge field is

A =

[M†Φ†

ΦM

],

Φ = [φ1 φ2] =

[φ1 φ2−φ2 φ1

]

The perturbation of ‘D2’ derived from the (spectral) action:

Tr((D + A)2 − D2

)Tr((D + A)2 − D2

)∼ Tr

((MM†)2

)(|Φ + 1|2 − 1)2.

This gives us a Mexican-hat-shaped potential.A field expanded at the minimum 6= 0.By counting d.o.f, we have 4 + 4− 4 = 4 real degrees, i.e. Φ is a pair ofcomplex numbers.

SSB now has a reason:

D + A gives a VEV shift.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 22 / 44

Page 41: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Demanded to be Hermitian, this gauge field is

A =

[M†Φ†

ΦM

],

D + A =

[M†(Φ† + 1)

(Φ + 1)M

].

The perturbation of ‘D2’ derived from the (spectral) action:

Tr((D + A)2 − D2

)Tr((D + A)2 − D2

)∼ Tr

((MM†)2

)(|Φ + 1|2 − 1)2.

This gives us a Mexican-hat-shaped potential.A field expanded at the minimum 6= 0.By counting d.o.f, we have 4 + 4− 4 = 4 real degrees, i.e. Φ is a pair ofcomplex numbers.

SSB now has a reason:

D + A gives a VEV shift.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 22 / 44

Page 42: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Demanded to be Hermitian, this gauge field is

A =

[M†Φ†

ΦM

],

D + A =

[M†(Φ† + 1)

(Φ + 1)M

].

The perturbation of ‘D2’ derived from the (spectral) action:

Tr((D + A)2 − D2

)Tr((D + A)2 − D2

)∼ Tr

((MM†)2

)(|Φ + 1|2 − 1)2.

This gives us a Mexican-hat-shaped potential.A field expanded at the minimum 6= 0.By counting d.o.f, we have 4 + 4− 4 = 4 real degrees, i.e. Φ is a pair ofcomplex numbers.

SSB now has a reason:

D + A gives a VEV shift.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 22 / 44

Page 43: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Demanded to be Hermitian, this gauge field is

A =

[M†Φ†

ΦM

],

D + A =

[M†(Φ† + 1)

(Φ + 1)M

].

The perturbation of ‘D2’ derived from the (spectral) action:

Tr((D + A)2 − D2

)Tr((D + A)2 − D2

)∼ Tr

((MM†)2

)(|Φ + 1|2 − 1)2.

This gives us a Mexican-hat-shaped potential.A field expanded at the minimum 6= 0.By counting d.o.f, we have 4 + 4− 4 = 4 real degrees, i.e. Φ is a pair ofcomplex numbers.

SSB now has a reason:

D + A gives a VEV shift.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 22 / 44

Page 44: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Demanded to be Hermitian, this gauge field is

A =

[M†Φ†

ΦM

],

D + A =

[M†(Φ† + 1)

(Φ + 1)M

].

The perturbation of ‘D2’ derived from the (spectral) action:

Tr((D + A)2 − D2

)Tr((D + A)2 − D2

)∼ Tr

((MM†)2

)(|Φ + 1|2 − 1)2.

This gives us a Mexican-hat-shaped potential.A field expanded at the minimum 6= 0.By counting d.o.f, we have 4 + 4− 4 = 4 real degrees, i.e. Φ is a pair ofcomplex numbers.

SSB now has a reason:

D + A gives a VEV shift.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 22 / 44

Page 45: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

By analogy,

local ‘twist’ e−iθ∂µeiθ = ∂µθ u†[D, u]

ω Aµdµx

∑ai [D, bi ] =

M†Φ†

ΦM

basis dµx

M†

M

comp’ Aµ Φ

θ (d + A) ∧ (d + A) Tr((D + A)2 − D2

)∼ Fµν ∼ ∂µAν + [Aµ,Aν ] ∼ DA + A2

S∫FµνFµνd

4x (Tr((D + A)2 − D2

))2

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 23 / 44

Page 46: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Product geometry

Consider the algebra:

A =C∞(M)⊕ C∞(M)

∼C∞(M)⊗ (C⊕ C).

This corresponds to a geometry

F =M ⊕M,

∼M × p1, p2.

Combining continuous part with C⊕H,

A = C∞(M)⊗ (C⊕H).

∼ a double-layer structure.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 24 / 44

Page 47: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Product geometry

Consider the algebra:

A =C∞(M)⊕ C∞(M)

∼C∞(M)⊗ (C⊕ C).

This corresponds to a geometry

F =M ⊕M,

∼M × p1, p2.

Combining continuous part with C⊕H,

A = C∞(M)⊗ (C⊕H).

∼ a double-layer structure.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 24 / 44

Page 48: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

The Dirac operator of the product geometry:

Dx = i /∂ + γ5 ⊗ D.

The gauge field:

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 25 / 44

Page 49: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

The Dirac operator of the product geometry:

Dx = i /∂ + γ5 ⊗ D.

The gauge field:

Ax ∼∑

fi [/∂, gi ]︸ ︷︷ ︸A[1,0]

+∑

ai [D, bi ]︸ ︷︷ ︸A[0,1]

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 25 / 44

Page 50: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

The Dirac operator of the product geometry:

Dx = i /∂ + γ5 ⊗ D.

The gauge field:

Ax ∼∑

fi [/∂, gi ]︸ ︷︷ ︸A[1,0]

+∑

ai [D, bi ]︸ ︷︷ ︸A[0,1]

∼[B Φ∗

Φ W

].

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 25 / 44

Page 51: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Highlights:A two sheet structure.A gauge field in between.SSB feature out of box.

∼ Implies a Higgs as the discrete gauge, generated similarly as the continousgauge fields.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 26 / 44

Page 52: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Highlights:A two sheet structure.A gauge field in between.SSB feature out of box.

∼ Implies a Higgs as the discrete gauge, generated similarly as the continousgauge fields.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 26 / 44

Page 53: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Color sector

In order to reproduce SM, color sector must be involved.Introduce the ‘color’ space. H = C⊕ C3, with basis

` =

1000

, r =

0100

, g =

0010

, b =

0001

.A = C⊕M3(C), with ∀a ∈ A,

a =

λ m11 m12 m13

m21 m22 m23

m31 m32 m33

.Symmetry group is

u ∈ A|u†u = uu† = 1,together with the ‘unimodularity’ condition, det u = 1.

a =

e−iθ

e iθ/3m′

, m′ ∈ SU(3).

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 27 / 44

Page 54: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

a =

e−iθ

e iθ/3m′

, m′ ∈ SU(3).

This gives the U(1) charge

` r g b

−1 13

13

13

We recognize them as B − L charge, and this gives us the symmetryU(1)B−L × SU(3)C .

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 28 / 44

Page 55: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C∞(M)⊗ (C⊕H⊕M3(C))

To combine the flavor sector with the color sector,let A = C∞(M)⊗ (C⊕H⊕M3(C)).

Introduce the bimodule representation:|↑〉R|↓〉R|↑〉L|↓〉L

⊗`rgb

.Denote the space as

(2R ⊕ 2L)⊗ (1` ⊕ 3C ).

Can identify the basis with SM particle spectrum, for example

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 29 / 44

Page 56: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C∞(M)⊗ (C⊕H⊕M3(C))

To combine the flavor sector with the color sector,let A = C∞(M)⊗ (C⊕H⊕M3(C)).Introduce the bimodule representation:|↑〉R|↓〉R|↑〉L

|↓〉L

⊗`rgb

.

Denote the space as

(2R ⊕ 2L)⊗ (1` ⊕ 3C ).

Can identify the basis with SM particle spectrum, for example

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 29 / 44

Page 57: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C∞(M)⊗ (C⊕H⊕M3(C))

To combine the flavor sector with the color sector,let A = C∞(M)⊗ (C⊕H⊕M3(C)).Introduce the bimodule representation:|↑〉R|↓〉R|↑〉L

|↓〉L

⊗`rgb

.Denote the space as

(2R ⊕ 2L)⊗ (1` ⊕ 3C ).

Can identify the basis with SM particle spectrum, for example

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 29 / 44

Page 58: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C∞(M)⊗ (C⊕H⊕M3(C))

To combine the flavor sector with the color sector,let A = C∞(M)⊗ (C⊕H⊕M3(C)).Introduce the bimodule representation:|↑〉R|↓〉R|↑〉L

|↓〉L

⊗`rgb

.Denote the space as

(2R ⊕ 2L)⊗ (1` ⊕ 3C ).

Can identify the basis with SM particle spectrum, for example

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 29 / 44

Page 59: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C∞(M)⊗ (C⊕H⊕M3(C))

To combine the flavor sector with the color sector,let A = C∞(M)⊗ (C⊕H⊕M3(C)).Introduce the bimodule representation:|↑〉R|↓〉R|↑〉L

|↓〉L

⊗`rgb

.Denote the space as

(2R ⊕ 2L)⊗ (1` ⊕ 3C ).

Can identify the basis with SM particle spectrum, for example

νL = |↑〉L ⊗ ` ∈ 2L ⊗ 1`,

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 29 / 44

Page 60: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C∞(M)⊗ (C⊕H⊕M3(C))

To combine the flavor sector with the color sector,let A = C∞(M)⊗ (C⊕H⊕M3(C)).Introduce the bimodule representation:|↑〉R|↓〉R|↑〉L

|↓〉L

⊗`rgb

.Denote the space as

(2R ⊕ 2L)⊗ (1` ⊕ 3C ).

Can identify the basis with SM particle spectrum, for example

dR,g = |↓〉R ⊗ g

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 29 / 44

Page 61: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

A = C∞(M)⊗ (C⊕H⊕M3(C))

To combine the flavor sector with the color sector,let A = C∞(M)⊗ (C⊕H⊕M3(C)).Introduce the bimodule representation:|↑〉R|↓〉R|↑〉L

|↓〉L

⊗`rgb

.Denote the space as

(2R ⊕ 2L)⊗ (1` ⊕ 3C ).

Can identify the basis with SM particle spectrum, for example

dR = |↓〉R ⊗

[rgb

]∈ 2R ⊗ 3C ,

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 29 / 44

Page 62: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Introduce J, charge conjugate,

J

|↑〉R|↓〉R|↑〉L|↓〉L

⊗`rgb

∼`rgb

⊗|↑〉R|↓〉R|↑〉L|↓〉L

,∀a ∈ A with left action on flavor space as before, JaJ−1 is the right actionon color space.Ready to combine the previous result on flavor space and color space.

|↑〉 |↓〉

2R 1 −1

2L 0 0

` r g b

−1 13

13

13

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 30 / 44

Page 63: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

U(1)R :

|↑〉 ⊗ 10 |↓〉 ⊗ 10 |↑〉 ⊗ 30 |↓〉 ⊗ 30

2L 0 0 0 0

2R 1 −1 1 −1

U(1)B−L:

|↑〉 ⊗ 10 |↓〉 ⊗ 10 |↑〉 ⊗ 30 |↓〉 ⊗ 30

2L −1 −11

3

1

3

2R −1 −11

3

1

3

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 31 / 44

Page 64: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

|↑〉 ⊗ 10 |↓〉 ⊗ 10 |↑〉 ⊗ 30 |↓〉 ⊗ 30

2L −1 −11

3

1

3

2R 0 −24

3−2

3

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 32 / 44

Page 65: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Spectral Action

According to Chamseddine et. al. (hep-th/9606001), one builds the actionbased on spectral action principle:

The physical (bosonic) action only depends upon the spectrum of D.

Sspec = Tr(f (DA/Λ)).

We can expand it as

Tr(f (DA/Λ)) ∼∫M

L(gµν ,A)√g d4x .

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 33 / 44

Page 66: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Spectral Action

According to Chamseddine et. al. (hep-th/9606001), one builds the actionbased on spectral action principle:

The physical (bosonic) action only depends upon the spectrum of D.

Sspec = Tr(f (DA/Λ)).

We can expand it as

Tr(f (DA/Λ)) ∼∫M

L(gµν ,A)√g d4x .

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 33 / 44

Page 67: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

The bosonic action,

SBosonic =SHiggs + SYM + SCosmology + SRiemann,

SHiggs =f0a

2π2

∫|Dµφ|2

√g d4x +

−2af2Λ2 + ef0π2

∫|φ|2√g d4x

+f0b

2π2

∫|φ|4√g d4x ,

SYM =f0

16π2Tr(FµνF

µν)

=f0

2π2

∫(g2

3GiµνG

µν i+ g2

2WiµνW

µν i+

5

3g21BµνB

µν)√g d4x

where the parameters are

a =Tr(M∗νMν + M∗eMe + 3(M∗uMu + M∗dMd))

b =Tr((M∗νMν)2 + (M∗eMe)2 + 3(M∗uMu)2 + 3(M∗dMd)2)

c =Tr(M∗RMR)

d =Tr((M∗RMR)2)

e =Tr(M∗RMRM∗νMν),

fn is the (n − 1)th momentum of f .Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 34 / 44

Page 68: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Output:

g23 = g2

2 =5

3g21 ,

〈φ〉 6= 0,

M2W =

1

8

∑i (m

iν2

+ mie2

+ 3miu2

+ 3mid2),

mH ≈ 170 GeV,

problematic, which is naturally saved by theleft-right completion we propose.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 35 / 44

Page 69: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Output:

g23 = g2

2 =5

3g21 ,

〈φ〉 6= 0,

M2W =

1

8

∑i (m

iν2

+ mie2

+ 3miu2

+ 3mid2),

mH ≈ 170 GeV,

problematic, which is naturally saved by theleft-right completion we propose.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 35 / 44

Page 70: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Output:

g23 = g2

2 =5

3g21 ,

〈φ〉 6= 0,

M2W =

1

8

∑i (m

iν2

+ mie2

+ 3miu2

+ 3mid2),

mH ≈ 170 GeV,

problematic, which is naturally saved by theleft-right completion we propose.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 35 / 44

Page 71: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Output:

g23 = g2

2 =5

3g21 ,

〈φ〉 6= 0,

M2W =

1

8

∑i (m

iν2

+ mie2

+ 3miu2

+ 3mid2),

mH ≈ 170 GeV,

problematic, which is naturally saved by theleft-right completion we propose.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 35 / 44

Page 72: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Output:

g23 = g2

2 =5

3g21 ,

〈φ〉 6= 0,

M2W =

1

8

∑i (m

iν2

+ mie2

+ 3miu2

+ 3mid2),

Can be calculated from spectral action.

mH ≈ 170 GeV,

problematic, which is naturally saved by theleft-right completion we propose.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 35 / 44

Page 73: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Output:

g23 = g2

2 =5

3g21 ,

〈φ〉 6= 0,

M2W =

1

8

∑i (m

iν2

+ mie2

+ 3miu2

+ 3mid2),

Can be calculated from spectral action. Intuitively,

Cont’ Disc’

Fermion ψ/∂ψ Ψ†DΨ

Boson ∂µW ∂µW D2W 2

mH ≈ 170 GeV,

problematic, which is naturally saved by theleft-right completion we propose.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 35 / 44

Page 74: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Output:

g23 = g2

2 =5

3g21 ,

〈φ〉 6= 0,

M2W =

1

8

∑i (m

iν2

+ mie2

+ 3miu2

+ 3mid2),

mH ≈ 170 GeV,

problematic, which is naturally saved by theleft-right completion we propose.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 35 / 44

Page 75: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Output:

g23 = g2

2 =5

3g21 ,

〈φ〉 6= 0,

M2W =

1

8

∑i (m

iν2

+ mie2

+ 3miu2

+ 3mid2),

mH ≈ 170 GeV, problematic, which is naturally saved by theleft-right completion we propose.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 35 / 44

Page 76: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – ‘local twist’

[D, u] is insensitive to local/global transformation w.r.t. M.φ 7→ φ+ δφ, with δφ = εiσiφ = εiΦi ,

∂µjµ = 0 a symmetry.

∂µ(ε jµ) = 0 a global symmetry.∂µ(ε jµ) 6= 0, a local symmetry with a gauge.

Ψ†DΨ 7→ Ψ†DΨ + Ψ†[D, εiσi ]Ψ.

Ψ†[D, εiσi ]Ψ by analogy with ∂µ(εjµ).

[D, εiσi ] = 0 a ‘global’ symmetry in the discrete direction.[D, εiσi ] 6= 0 a ‘local’ symmetry in the discrete direction, with a gauge.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 36 / 44

Page 77: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – ‘local twist’

[D, u] is insensitive to local/global transformation w.r.t. M.φ 7→ φ+ δφ, with δφ = εiσiφ = εiΦi ,

δS =

∫δLδφδφ+

δLδ∂φ

δ∂φ

=

∫δLδφδφ+ ∂

(δLδ∂φ

δφ

)− ∂

(δLδ∂φ

)δφ

EOM=

∫∂

(δLδ∂φ

δφ

)=

∫∂

(εδLδ∂φ

Φ

)=

∫∂(εj)

=

∫∂µ(ε)jµ +

∫ε∂µj

µ.

∂µjµ = 0 a symmetry.

∂µ(ε jµ) = 0 a global symmetry.∂µ(ε jµ) 6= 0, a local symmetry with a gauge.

Ψ†DΨ 7→ Ψ†DΨ + Ψ†[D, εiσi ]Ψ.

Ψ†[D, εiσi ]Ψ by analogy with ∂µ(εjµ).[D, εiσi ] = 0 a ‘global’ symmetry in the discrete direction.[D, εiσi ] 6= 0 a ‘local’ symmetry in the discrete direction, with a gauge.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 36 / 44

Page 78: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – ‘local twist’

[D, u] is insensitive to local/global transformation w.r.t. M.φ 7→ φ+ δφ, with δφ = εiσiφ = εiΦi ,

δS =

∫∂(εj) =

∫∂µ(ε)jµ +

∫ε∂µj

µ.

∂µjµ = 0 a symmetry.

∂µ(ε jµ) = 0 a global symmetry.∂µ(ε jµ) 6= 0, a local symmetry with a gauge.

Ψ†DΨ 7→ Ψ†DΨ + Ψ†[D, εiσi ]Ψ.

Ψ†[D, εiσi ]Ψ by analogy with ∂µ(εjµ).[D, εiσi ] = 0 a ‘global’ symmetry in the discrete direction.[D, εiσi ] 6= 0 a ‘local’ symmetry in the discrete direction, with a gauge.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 36 / 44

Page 79: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – ‘local twist’

[D, u] is insensitive to local/global transformation w.r.t. M.φ 7→ φ+ δφ, with δφ = εiσiφ = εiΦi ,

δS =

∫∂(εj) =

∫∂µ(ε)jµ +

∫ε∂µj

µ.

∂µjµ = 0 a symmetry.

∂µ(ε jµ) = 0 a global symmetry.∂µ(ε jµ) 6= 0, a local symmetry with a gauge.

Ψ†DΨ 7→ Ψ†DΨ + Ψ†[D, εiσi ]Ψ.

Ψ†[D, εiσi ]Ψ by analogy with ∂µ(εjµ).[D, εiσi ] = 0 a ‘global’ symmetry in the discrete direction.[D, εiσi ] 6= 0 a ‘local’ symmetry in the discrete direction, with a gauge.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 36 / 44

Page 80: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – ‘local twist’

[D, u] is insensitive to local/global transformation w.r.t. M.φ 7→ φ+ δφ, with δφ = εiσiφ = εiΦi ,

δS =

∫∂(εj) =

∫∂µ(ε)jµ +

∫ε∂µj

µ.

∂µjµ = 0 a symmetry.

∂µ(ε jµ) = 0 a global symmetry.∂µ(ε jµ) 6= 0, a local symmetry with a gauge.

Ψ†DΨ 7→ Ψ†DΨ + Ψ†[D, εiσi ]Ψ.

Ψ†[D, εiσi ]Ψ by analogy with ∂µ(εjµ).

[D, εiσi ] = 0 a ‘global’ symmetry in the discrete direction.[D, εiσi ] 6= 0 a ‘local’ symmetry in the discrete direction, with a gauge.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 36 / 44

Page 81: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – ‘local twist’

[D, u] is insensitive to local/global transformation w.r.t. M.φ 7→ φ+ δφ, with δφ = εiσiφ = εiΦi ,

δS =

∫∂(εj) =

∫∂µ(ε)jµ +

∫ε∂µj

µ.

∂µjµ = 0 a symmetry.

∂µ(ε jµ) = 0 a global symmetry.∂µ(ε jµ) 6= 0, a local symmetry with a gauge.

Ψ†DΨ 7→ Ψ†DΨ + Ψ†[D, εiσi ]Ψ.

Ψ†[D, εiσi ]Ψ by analogy with ∂µ(εjµ).[D, εiσi ] = 0 a ‘global’ symmetry in the discrete direction.

[D, εiσi ] 6= 0 a ‘local’ symmetry in the discrete direction, with a gauge.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 36 / 44

Page 82: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – ‘local twist’

[D, u] is insensitive to local/global transformation w.r.t. M.φ 7→ φ+ δφ, with δφ = εiσiφ = εiΦi ,

δS =

∫∂(εj) =

∫∂µ(ε)jµ +

∫ε∂µj

µ.

∂µjµ = 0 a symmetry.

∂µ(ε jµ) = 0 a global symmetry.∂µ(ε jµ) 6= 0, a local symmetry with a gauge.

Ψ†DΨ 7→ Ψ†DΨ + Ψ†[D, εiσi ]Ψ.

Ψ†[D, εiσi ]Ψ by analogy with ∂µ(εjµ).[D, εiσi ] = 0 a ‘global’ symmetry in the discrete direction.[D, εiσi ] 6= 0 a ‘local’ symmetry in the discrete direction, with a gauge.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 36 / 44

Page 83: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – ‘local twist’

[D, u] = 0 refers to

Du = uD,

⇔ D = uDu†.

In SM, this refers to the VEV shift is invariant under the transformation u.

This describes the transformation of VEV shift, or the symmetry under whichvacuum is invariant.

∼ Remaining symmetry,

∼ Breaking chain.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 37 / 44

Page 84: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – ‘local twist’

[D, u] = 0 refers to

Du = uD,

⇔ D = uDu†.

In SM, this refers to the VEV shift is invariant under the transformation u.

This describes the transformation of VEV shift, or the symmetry under whichvacuum is invariant.

∼ Remaining symmetry,

∼ Breaking chain.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 37 / 44

Page 85: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – ‘local twist’

[D, u] = 0 refers to

Du = uD,

⇔ D = uDu†.

In SM, this refers to the VEV shift is invariant under the transformation u.

This describes the transformation of VEV shift, or the symmetry under whichvacuum is invariant.

∼ Remaining symmetry,

∼ Breaking chain.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 37 / 44

Page 86: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – ‘local twist’

In the simplest case, A = H⊕H, D =

[0 M†

M 0

]and M =

[0 mu

md 0

].

Pictorially, the twist between ‘left sheet’ and ‘right sheet’.

But even we make same twists for left and right, we still have a local‘twist term’, unless mu = md , isospin-like.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 38 / 44

Page 87: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – ‘local twist’

In the simplest case, A = H⊕H, D =

[0 M†

M 0

]and M =

[0 mu

md 0

].

Pictorially, the twist between ‘left sheet’ and ‘right sheet’.But even we make same twists for left and right, we still have a local‘twist term’, unless mu = md , isospin-like.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 38 / 44

Page 88: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – The seperation

Totally independent of the base manifold M.

Extra dimension but discrete.The separation introduces a second scale ∼ EW, from ai [D, bi ], differentfrom the GUT scale which is led by the fluctuation in the continuousdirection fi [/∂, gi ].When the separation goes to ∞, mf → 0. This corresponds to thedecouple of Higgs sector: left and right stop talking to each other,physically and geometrically.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 39 / 44

Page 89: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – The seperation

Totally independent of the base manifold M.Extra dimension but discrete.

The separation introduces a second scale ∼ EW, from ai [D, bi ], differentfrom the GUT scale which is led by the fluctuation in the continuousdirection fi [/∂, gi ].When the separation goes to ∞, mf → 0. This corresponds to thedecouple of Higgs sector: left and right stop talking to each other,physically and geometrically.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 39 / 44

Page 90: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – The seperation

Totally independent of the base manifold M.Extra dimension but discrete.The separation introduces a second scale ∼ EW, from ai [D, bi ], differentfrom the GUT scale which is led by the fluctuation in the continuousdirection fi [/∂, gi ].

When the separation goes to ∞, mf → 0. This corresponds to thedecouple of Higgs sector: left and right stop talking to each other,physically and geometrically.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 39 / 44

Page 91: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Other Fun Facts – The seperation

Totally independent of the base manifold M.Extra dimension but discrete.The separation introduces a second scale ∼ EW, from ai [D, bi ], differentfrom the GUT scale which is led by the fluctuation in the continuousdirection fi [/∂, gi ].When the separation goes to ∞, mf → 0. This corresponds to thedecouple of Higgs sector: left and right stop talking to each other,physically and geometrically.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 39 / 44

Page 92: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Back to the Left-Right Completion

Different realizations.For example. NCG/ spectral triple is built using lattice, supersymmetricquantum mechanics operators, Moyal deformed space, etc.We have tried a specific realization using superconnection, su(2|1), andthe left-right completion of su(2|2).Low energy emergent left-right completion, ∼ 4 TeV .(Ufuk Aydemir, Djordje Minic, C.S., Tatsu Takeuchi: Phys. Rev. D 91, 045020 (2015) [arXiv:1409.7574])

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 40 / 44

Page 93: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

More About the Left-Right Completion

Hints for left-right symmetry behind the scene. (Pati-Salam Unification from NCG and

the TeV-scale WR boson, [arXiv:1509.01606], Ufuk Aydemir, Djordje Minic, C.S., Tatsu Takeuchi )Changing the algebra to (HR ⊕HL)⊗ (C⊕M3(C)) does not change thescale.

2

3g2BL = g2

2L = g22R = g2

3 .

Through the mixing of SU(2)R × U(1)B−L into U(1)Y , we get

1

g ′2=

1

g2+

1

g2BL

=5

3

1

g2.

∼ LR symmetry breaking at GUT.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 41 / 44

Page 94: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Myths and Outlooks

So far it is a classical theory – only classical L is given. But it has a GUTfeature! Without adding new d.o.f.If it just happens at one scale, how to accommodate Wilson picture.Quantization of the theory? Loops?Relation to the D-brane structure?Measure of the Dirac operator?...

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 42 / 44

Page 95: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Summary (of Fun Facts)

Recipe to cook up a (generalized) gauge theory:(A,H,D), the spectral triple.Take mass matrix as a derivative, trace as the integral.Generate the gauge field A =

∑a[D, b].

Spectral action, Tr(f (D/Λ)) ∼ DA + A2, as the gauge strengthGeneralized free fermion action, Ψ†DAΨ, for the fermionic part.

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 43 / 44

Page 96: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Summary (of Fun Facts)

Recipe to cook up a (generalized) gauge theory:(A,H,D), the spectral triple.Take mass matrix as a derivative, trace as the integral.Generate the gauge field A =

∑a[D, b].

Spectral action, Tr(f (D/Λ)) ∼ DA + A2, as the gauge strengthGeneralized free fermion action, Ψ†DAΨ, for the fermionic part.

The dish:

Two sheets structure.An extra discrete direction.Separation of the sheets (mf → 0, second scale, etc.)Higgs is a gauge in that direction.SSB has a reason.Fit in all SM fermions and bosons.GUT without new degrees of freedom.Mass relation.Predicts Higgs mass.Local twist with different setting of D.Minimally coupled gravity sector....

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 43 / 44

Page 97: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Summary (of Fun Facts)

Recipe to cook up a (generalized) gauge theory:(A,H,D), the spectral triple.Take mass matrix as a derivative, trace as the integral.Generate the gauge field A =

∑a[D, b].

Spectral action, Tr(f (D/Λ)) ∼ DA + A2, as the gauge strengthGeneralized free fermion action, Ψ†DAΨ, for the fermionic part.

The dish:Two sheets structure.

An extra discrete direction.Separation of the sheets (mf → 0, second scale, etc.)Higgs is a gauge in that direction.SSB has a reason.Fit in all SM fermions and bosons.GUT without new degrees of freedom.Mass relation.Predicts Higgs mass.Local twist with different setting of D.Minimally coupled gravity sector....

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 43 / 44

Page 98: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Summary (of Fun Facts)

Recipe to cook up a (generalized) gauge theory:(A,H,D), the spectral triple.Take mass matrix as a derivative, trace as the integral.Generate the gauge field A =

∑a[D, b].

Spectral action, Tr(f (D/Λ)) ∼ DA + A2, as the gauge strengthGeneralized free fermion action, Ψ†DAΨ, for the fermionic part.

The dish:Two sheets structure.An extra discrete direction.

Separation of the sheets (mf → 0, second scale, etc.)Higgs is a gauge in that direction.SSB has a reason.Fit in all SM fermions and bosons.GUT without new degrees of freedom.Mass relation.Predicts Higgs mass.Local twist with different setting of D.Minimally coupled gravity sector....

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 43 / 44

Page 99: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Summary (of Fun Facts)

Recipe to cook up a (generalized) gauge theory:(A,H,D), the spectral triple.Take mass matrix as a derivative, trace as the integral.Generate the gauge field A =

∑a[D, b].

Spectral action, Tr(f (D/Λ)) ∼ DA + A2, as the gauge strengthGeneralized free fermion action, Ψ†DAΨ, for the fermionic part.

The dish:Two sheets structure.An extra discrete direction.Separation of the sheets (mf → 0, second scale, etc.)

Higgs is a gauge in that direction.SSB has a reason.Fit in all SM fermions and bosons.GUT without new degrees of freedom.Mass relation.Predicts Higgs mass.Local twist with different setting of D.Minimally coupled gravity sector....

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 43 / 44

Page 100: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Summary (of Fun Facts)

Recipe to cook up a (generalized) gauge theory:(A,H,D), the spectral triple.Take mass matrix as a derivative, trace as the integral.Generate the gauge field A =

∑a[D, b].

Spectral action, Tr(f (D/Λ)) ∼ DA + A2, as the gauge strengthGeneralized free fermion action, Ψ†DAΨ, for the fermionic part.

The dish:Two sheets structure.An extra discrete direction.Separation of the sheets (mf → 0, second scale, etc.)Higgs is a gauge in that direction.

SSB has a reason.Fit in all SM fermions and bosons.GUT without new degrees of freedom.Mass relation.Predicts Higgs mass.Local twist with different setting of D.Minimally coupled gravity sector....

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 43 / 44

Page 101: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Summary (of Fun Facts)

Recipe to cook up a (generalized) gauge theory:(A,H,D), the spectral triple.Take mass matrix as a derivative, trace as the integral.Generate the gauge field A =

∑a[D, b].

Spectral action, Tr(f (D/Λ)) ∼ DA + A2, as the gauge strengthGeneralized free fermion action, Ψ†DAΨ, for the fermionic part.

The dish:Two sheets structure.An extra discrete direction.Separation of the sheets (mf → 0, second scale, etc.)Higgs is a gauge in that direction.SSB has a reason.

Fit in all SM fermions and bosons.GUT without new degrees of freedom.Mass relation.Predicts Higgs mass.Local twist with different setting of D.Minimally coupled gravity sector....

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 43 / 44

Page 102: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Summary (of Fun Facts)

Recipe to cook up a (generalized) gauge theory:(A,H,D), the spectral triple.Take mass matrix as a derivative, trace as the integral.Generate the gauge field A =

∑a[D, b].

Spectral action, Tr(f (D/Λ)) ∼ DA + A2, as the gauge strengthGeneralized free fermion action, Ψ†DAΨ, for the fermionic part.

The dish:Two sheets structure.An extra discrete direction.Separation of the sheets (mf → 0, second scale, etc.)Higgs is a gauge in that direction.SSB has a reason.Fit in all SM fermions and bosons.

GUT without new degrees of freedom.Mass relation.Predicts Higgs mass.Local twist with different setting of D.Minimally coupled gravity sector....

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 43 / 44

Page 103: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Summary (of Fun Facts)

Recipe to cook up a (generalized) gauge theory:(A,H,D), the spectral triple.Take mass matrix as a derivative, trace as the integral.Generate the gauge field A =

∑a[D, b].

Spectral action, Tr(f (D/Λ)) ∼ DA + A2, as the gauge strengthGeneralized free fermion action, Ψ†DAΨ, for the fermionic part.

The dish:Two sheets structure.An extra discrete direction.Separation of the sheets (mf → 0, second scale, etc.)Higgs is a gauge in that direction.SSB has a reason.Fit in all SM fermions and bosons.GUT without new degrees of freedom.

Mass relation.Predicts Higgs mass.Local twist with different setting of D.Minimally coupled gravity sector....

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 43 / 44

Page 104: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Summary (of Fun Facts)

Recipe to cook up a (generalized) gauge theory:(A,H,D), the spectral triple.Take mass matrix as a derivative, trace as the integral.Generate the gauge field A =

∑a[D, b].

Spectral action, Tr(f (D/Λ)) ∼ DA + A2, as the gauge strengthGeneralized free fermion action, Ψ†DAΨ, for the fermionic part.

The dish:Two sheets structure.An extra discrete direction.Separation of the sheets (mf → 0, second scale, etc.)Higgs is a gauge in that direction.SSB has a reason.Fit in all SM fermions and bosons.GUT without new degrees of freedom.Mass relation.

Predicts Higgs mass.Local twist with different setting of D.Minimally coupled gravity sector....

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 43 / 44

Page 105: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Summary (of Fun Facts)

Recipe to cook up a (generalized) gauge theory:(A,H,D), the spectral triple.Take mass matrix as a derivative, trace as the integral.Generate the gauge field A =

∑a[D, b].

Spectral action, Tr(f (D/Λ)) ∼ DA + A2, as the gauge strengthGeneralized free fermion action, Ψ†DAΨ, for the fermionic part.

The dish:Two sheets structure.An extra discrete direction.Separation of the sheets (mf → 0, second scale, etc.)Higgs is a gauge in that direction.SSB has a reason.Fit in all SM fermions and bosons.GUT without new degrees of freedom.Mass relation.Predicts Higgs mass.

Local twist with different setting of D.Minimally coupled gravity sector....

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 43 / 44

Page 106: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Summary (of Fun Facts)

Recipe to cook up a (generalized) gauge theory:(A,H,D), the spectral triple.Take mass matrix as a derivative, trace as the integral.Generate the gauge field A =

∑a[D, b].

Spectral action, Tr(f (D/Λ)) ∼ DA + A2, as the gauge strengthGeneralized free fermion action, Ψ†DAΨ, for the fermionic part.

The dish:Two sheets structure.An extra discrete direction.Separation of the sheets (mf → 0, second scale, etc.)Higgs is a gauge in that direction.SSB has a reason.Fit in all SM fermions and bosons.GUT without new degrees of freedom.Mass relation.Predicts Higgs mass.Local twist with different setting of D.

Minimally coupled gravity sector....

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 43 / 44

Page 107: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Summary (of Fun Facts)

Recipe to cook up a (generalized) gauge theory:(A,H,D), the spectral triple.Take mass matrix as a derivative, trace as the integral.Generate the gauge field A =

∑a[D, b].

Spectral action, Tr(f (D/Λ)) ∼ DA + A2, as the gauge strengthGeneralized free fermion action, Ψ†DAΨ, for the fermionic part.

The dish:Two sheets structure.An extra discrete direction.Separation of the sheets (mf → 0, second scale, etc.)Higgs is a gauge in that direction.SSB has a reason.Fit in all SM fermions and bosons.GUT without new degrees of freedom.Mass relation.Predicts Higgs mass.Local twist with different setting of D.Minimally coupled gravity sector....

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 43 / 44

Page 108: Rethinking Gauge Theory through Connes' Noncommutative ...ersharpe/svanc/slides-fall15/chensun.pdf · Rethinking Gauge Theory through Connes’ Noncommutative Geometry Chen Sun Virginia

Reference

Chamseddine, Connes, et. al.:Nucl. Phys. Proc. Suppl. 18B, 29 (1991)Commun. Math. Phys. 182, 155 (1996) [hep-th/9603053],Adv. Theor. Math. Phys. 11, 991 (2007) [hep-th/0610241],JHEP 0611, 081 (2006) [hep-th/0608226],Commun. Math. Phys. 186, 731 (1997) [hep-th/9606001].Phys. Rev. Lett. 99, 191601 (2007) [arXiv:0706.3690 [hep-th]],J. Geom. Phys. 58, 38 (2008) [arXiv:0706.3688 [hep-th]],Fortsch. Phys. 58, 553 (2010), [arXiv:1004.0464 [hep-th]].

Neeman, Fairlie, et. al.:Phys. Lett. B 81, 190 (1979),J. Phys. G 5, L55 (1979),Phys. Lett. B 82, 97 (1979).

Ufuk Aydemir, Djordje Minic, C.S., Tatsu Takeuchi:Phys. Rev. D 91, 045020 (2015) [arXiv:1409.7574],Pati-Salam Unification from Non-commutative Geometry and theTeV-scale WR boson [arXiv:1509.01606].

Chen Sun @ Duke Gauge Theory through NCG October 24, 2015 44 / 44