arxiv:hep-th/ v1 24 Mar 2005

Transcription

1 CENTRE DE PHYSIQUE THÉORIQUE 1 CNRS Luminy, Cse Mrseille Ceex 9 FRANCE rxiv:hep-th/ v1 24 Mr 2005 On Clssifition of Irreuile Almost Commuttive Geometries III Jn Henrik Jureit 2, Thoms Shüker 3, Christoph Stephn 4 Astrt We exten lssifition of irreuile, lmost ommuttive geometries whose spetrl tion is ynmilly non-egenerte to internl lgers tht hve four simple summns. PACS-92: Guge fiel theories MSC-91: 81T13 Yng-Mills n other guge theories CPT-2005/P Unité Mixte e Reherhe UMR 6207) u CNRS et es Universités Aix Mrseille 1 et 2 et Su Toulon Vr, Lortoire ffilié à l FRUMAM FR 2291) 2 n Université e Provene n Universität Kiel, jureit@pt.univ-mrs.fr 3 n Université e Provene, shuker@pt.univ-mrs.fr 4 n Université e Provene n Universität Kiel, stephn@pt.univ-mrs.fr

2 1 Introution A Yng-Mills-Higgs moel is speifie y hoosing rel ompt Lie group esriing the guge osons n three unitry representtions esriing the left- n right-hne fermions n the Higgs slrs. Connes [1] remrks tht the set of ll Yng-Mills-Higgs moels omes in two lsses, fig.1. The first is tiny n ontins ll those moels tht erive from grvity y generlizing Riemnnin to lmost ommuttive geometry. The intersetions of this tiny lss with the lsses of left-right symmetri, grn unifie or supersymmetri Yng-Mills-Higgs moels re ll empty. However the tiny lss oes ontin the stnr moel of eletromgneti, wek n strong fores with n ritrry numer of olours. Yng-Mills-Higgs NCG left-right symm. stnr moel supersymm. GUT Figure 1: Pseuo fores from nonommuttive geometry The first lss is tiny, ut still infinite n iffiult to ssess. We hve strte putting some orer into this lss. The riteri we pply re heteroliti [2]. Two riteri re simply motivte y simpliity: we tke the internl lger to e simple, or with two, three,... simple summns, we tke the internl triple to e irreuile. Two riteri re motivte from perturtive quntum fiel theory of the non-grvittionl prt in flt timespe: vnishing Yng-Mills nomlies n ynmil non-egenery. The lter imposes tht the numer of possile fermion mss equlities e restrite to the minimum n tht they e stle uner renormliztion flow. The origin of these mss equlities is the following. In lmost ommuttive geometry, the fermioni mss mtrix is the Riemnnin metri of internl spe n s suh eomes ynmil vrile. Its Einstein eqution is the requirement tht the fermioni mss mtrix minimize the Higgs potentil. Inee, in lmost ommuttive geometry, the Higgs potentil is the Einstein-Hilert tion of internl spe. Two riteri re motivte from prtile phenomenology: We wnt the fermion representtion to e omplex uner the little group in eh of its irreuile omponents, 2

3 euse we wnt to istinguish prtiles from nti-prtiles y mens of unroken hrges. We wnt possile mssless fermions to remin neutrl uner the little group, i.e. not to ouple to mssless guge osons. Two riteri re motivte from the hope tht, one y, we will hve unifie quntum theory of ll fores: vnishing mixe grvittionl Yng-Mills nomlies n gin ynmil non-egenery. Our nlysis is se on lssifition of ll finite spetrl triples y mens of Krjewski igrms [3] n entrlly extene spin lifts of the utomorphism group of their lgers [4]. The entrl extension serves two purposes: i) It mkes the spin lift of omplex lgers M n C) well efine. ii) It llows the orresponing Un) nomlies to nel. Of ourse we strte with the se of simple internl lger. Here there is only one ontrte, irreuile Krjewski igrm n ll inue Yng-Mills-Higgs moels re ynmilly egenerte. The seon se onerns lgers with two simple summns. It mits three ontrte, irreuile Krjewski igrms, one of them eing iret sum of two igrms from the first se. The orresponing triples inue two Yng-Mills-Higgs moels whih re ynmilly non-egenerte n nomly free: SU2) with oulet of left-hne fermions n singlet of right-hne fermions. The Higgs slr is oulet. Therefore the little group is trivil, SU2) {1 2 }, n the fermion representtion is rel uner the little group. The seon moel is the SO2) sumoel of the first. The se of three summns hs 41 ontrte, irreuile igrms plus iret sums. Its omintoris is on the limit of wht we n hnle without omputer. There re only four inue moels stisfying ll riteri: The first is the stnr moel with C olours, C 2, SU2) U1) SUC), with one genertions of leptons n qurks n one olourless SU2) oulet of slrs. The three others re sumoels, SO2) U1) SUC), SU2) U1) SOC) n SU2) U1) USpC/2) n must hve C 2, the lst sumoel of ourse requires C even, C 4. In the following we push our lssifition to four summns. For simpliity we will only onsier igrms me of letter hnging rrows, i.e. we exlue rrows of type ā euse in the first three ses these rrows lwys proue egenery. When the lger is simple, of ourse ll rrows re of this type n ll moels were egenerte. All iret sum igrms in ses two n three neessrily ontin suh rrows. For two summns, there is only one ontrte, irreuile igrm, tht is not iret sum n tht is me of letter hnging rrows, for three summns there re 30 suh igrms. For four summns, well eute omputer [5] tells us tht there re 22 ontrte, irreuile igrms me of letter hnging rrows n whih re not iret sums. They re shown in fig.2. We hve two plesnt surprises: i) the numer of these igrms is smll, ii) there re only two ler igrms, igrms 18 n 19, i.e. igrms with vertilly ligne rrows, n ll other igrms hve no suigrms of ler form. We will see tht these other igrms re esily elt with. 3

4 2 Sttement of the result Consier finite, rel, S 0 -rel, irreuile spetrl triple whose lger hs four simple summns n the extene lift s esrie in [4]. Consier the list of ll Yng-Mills- Higgs moels inue y these triples n lifts. Disr ll moels tht hve either ynmilly egenerte fermioni mss spetrum, Yng-Mills or grvittionl nomlies, fermion multiplet whose representtion uner the little group is rel or pseuo-rel, or mssless fermion trnsforming non-trivilly uner the little group. The remining moels re the following, C is the numer of olours, the guge group is on the left-hn sie of the rrow, the little group on the right-hn sie: C = 3,5... SU2) U1) SUC) Z 2 Z C U1) SUC) Z C The left-hne fermions trnsform oring to multiplet 2 C with hyperhrge q/2c) n multiplet C with hyperhrge q/2. The right-hne fermions sit in two multiplets C with hyperhrges q1+c)/2c) n q1 C)/2C) n one singlet with hyperhrge q, q Q. The elements in Z 2 Z C re emee in the enter of SU2) U1) SUC) s exp 2πik 2 1 2, exp[2πick 2l)/q], exp 2πil C 1 p ), k = 0,1, l = 0,1,...,C 1. The Higgs slr trnsforms s n SU2) oulet, SUC) singlet n hs hyperhrge q/2. With the numer of olours C = 3, this is the stnr moel with one genertion of qurks n leptons. We lso hve in our list two sumoels of the ove moel efine y the sugroups SO2) U1) SUC) Z 2 Z C SU2) U1) SOC) Z 2 U1) SUC) Z C, U1) SOC). They hve the sme prtile ontent s the stnr moel, in the first se only the W ± osons re missing, in the seon se roughly hlf the gluons re lost. 4

5 C = 2,4... SU2) U1) SUC) Z C U1) SUC) Z C with the sme prtile ontent s for o C. But now we hve three possile sumoels: SO2) U1) SUC) Z C U1) SUC) Z C, SU2) U1) SOC) U1) SOC), SU2) U1) USpC/2) Z 2 U1) USpC/2) Z 2. eletro-strong U1) SUC) U1) SUC) The fermioni ontent is C 1, one qurk n one hrge lepton. The two fermion msses re ritrry ut ifferent n nonvnishing. The numer of olours is greter thn or equl to two, the two hrges re ritrry ut vetorlike, of ourse the lepton hrge must not vnish. There is no slr n no symmetry reking. 3 Digrm y igrm We will use the following letters to enote lger elements n unitries: Let A = M A C) M B C) M C C) M D C),,,). The extene lift is efine y with Lu,v,w,z) := ρû,ˆv,ŵ,ẑ)jρû,ˆv,ŵ,ẑ)j 1 1) û := uetu) q 11 etv) q 12 etw) q 13 etz) q 14 UA), 2) ˆv := vetu) q 21 etv) q 22 etw) q 23 etz) q 24 UB), 3) ŵ := wetu) q 31 etv) q 32 etw) q 33 etz) q 34 UC), 4) ẑ := zetu) q 41 etv) q 42 etw) q 43 etz) q 44 UD), 5) n unitries u,v,w,z) UM A C) M B C) M C C) M D C)). It is unerstoo tht for instne if A = 1 we set u = 1 n q j1 = 0, j = 1,2,3,4. If M A C) is reple y M A R) or M A/2 H) we set q j1 = 0 n q 1j = 0. Digrm 1 yiels: 1A 0 ρ L = 0 1 C ) ) 1A 0, ρ R = 0 α, 1 C 5

6 ) ) ρ L = 1B α 0, ρ R 0 1 D = 1A α 0, 6) 0 1 A n M1 1 M = A 0 0 M 2 1 C ), M 1 M B A C), M 2 M D A C). 7) The prmeters α n α tke vlues ±1 n istinguish etween funmentl representtion n its omplex onjugte: 1 :=, 1 := ā. The olour lgers onsist of s n s. The s re roken n therefore we must hve A = 1. We wnt t most one mssless Weyl fermion, whih leves us with three possiilities. The first is B = 2, D = 1. The flututions re: ϕ 1 = j r j ˆv j M 1 û 1 j, ϕ 2 = j r j ẑ j M αû 1 2 j. 8) We n eouple the two slrs ϕ 1 n ϕ 2 y mens of the flutution: r 1 = 1, û 2 1 = 1, ˆv 1 = 1 2, ŵ 1 = 1 C, ẑ 1 = 1, r 2 = 1, û 2 2 = 1, ˆv 2 = 1 2, ŵ 2 = 1 C, ẑ 2 = 1. Sine the rrows M 1 n M 2 re isonnete, the Higgs potentil is) sum of potentil in ϕ 1 n of potentil in ϕ 2. The minimum is ϕ 1 1 = µ4λ) 1 2 n ϕ 0 2 = µ4λ) 1 2 n the moel is ynmilly egenerte. The sme ients hppen for the seon possiility, B = 1, D = 2. We re left with the thir possiility, B = D = 1. Anomly nelltions imply tht the fermion ouplings re vetoril: q 13 = q 23, q 43 = αq 13, n there is no spontneous symmetry reking, SUC) U1) SUC) U1). The moel esries eletro-strong fores with one hrge lepton, one qurk n no slr. The msses of oth fermions re ritrry ut nonvnishing, the eletri hrges re ritrry, nonvnishing for the lepton, n the numer of olours C is ritrry, C 2. Digrms 3, 4n7 retreteinthesmewynproueonlytheeletro-strong moel. Digrm 2 yiels: 1A 0 ρ L = 0 α 1 C n M1 1 M = A 0 1 A M 3 M 2 1 C ) ) 1A 0, ρ R =, 0 1 C ) ) ρ L = 1B α 0, ρ R 0 1 A = 1A α 0, 9) 0 1 D ), M 1 M B A C), M 2 M A D C), M 3 M C A C).10) 6

7 If M 3 = 0 igrm 2 is trete s igrm 1. We onsier the se M 3 0. Then the first orer xiom implies α = 1. The olour lgers onsist of s n s. Both re roken n we tke A = C = 1. Then M is of rnk two or less. If we wnt t most one mssless Weyl fermion, we must tke B = 2 n D = 1 or B = 1 n D = 2. Anomly nelltions then imply tht the oulet of fermions oes not ouple to the eterminnt of the 2 2 unitry, the hyperhrge of the oulet is zero. On the other hn the little group turns out either trivil or U1). In the ltter se the neutrino sitting in the oulet is hrge uner this U1). Digrm 5 hs no unroken olour n fils s the first possiility of igrm 1, B = 2, D = 1. Digrm 6 hs olour n, oth re roken implying A = B = 1. Then we must hve C = D = 1 to voi two or more neutrinos. Digrm 8 yiels 1C 0 ρ L = 0 1 B n 1A M M = 1 0 M 3 1 B M 2 1 B ) ) 1A 0, ρ R =, 0 1 C ) ) ρ L = 1A γ 0, ρ R 0 1 C = 1A 0, 11) 0 1 D ), M 1 M C B C), M 2 M C D C), M 3 M C A C).12) We suppose tht M 3 oes not vnish otherwise igrm 8 is trete s igrm 1. Broken olour implies A = B = 1. Neutrino ounting leves two possiilities, C = 1 n D = 2 or C = D = 2. The first possiility is ispose of s in igrm 2. For the seon possiility, nomly nelltions imply tht the eterminnts of the 2 2 unitries w n z o not ouple to the right-hne fermions. Digrms 14, 15, 16 n 17 shre the fte of igrm 6. Digrm 9 yiels 1 A 0 0 ρ L = 0 1 B 0, ρ R = D 1 A β 1 1 B 0, 0 0 β 2 1 D ρ L = 1 B α C β 0, ρ R = 1 A α B β 0, D δ B δ 7

8 n M = M 1 1 A 1 B M 4 1 B M 5 0 M 2 1 B 0 13) 0 0 M 3 1 D with M 1 M B A C), M 2 M C D C), M 3 M D B C), M 4 M A B C), M 5 M A D C). If M 4 is nonzero β 1 must e one n if M 5 is nonzero β 2 must e one. From roken olour n neutrino ounting we hve A = B = D = 1 n C = 2. Vnishing nomlies imply tht the first n the thir fermion hve vetorlike hyperhrges, while the hyperhrges of the seon fermion re zero. It is therefore neutrl uner the little group U1). Digrms 10, 11, 12 n 13 fil in the sme wy. Digrm 18 proues the following triple: ) 1C 0 ρ L = 0 α, ρ 1 R = D 1 C 0 0 β 0 1 1C 0, β D ) ρ L = 1A 0, ρ R 0 1 A = 1 B B 0, B n M1 1 M = C M 2 1 C M 3 1 D ), M 1, M 2, M 3 M A B C). 14) Counting neutrinos leves two possiilities, A = 2 n B = 1, or A = 1 n B = 1. If the neutrino is to e neutrl uner the little group we must hve D = 1 for the first possiility n C = 1 for the seon. The first possiility hs two U1)s if C 2 n ll four lgers onsist of mtries with omplex entries. They re prmeterize y etu n y etw. For α,β 1,β 2 ) = + + +, + +, + +, n +, nomly nelltions imply tht the fermioni hyperhrges of oth U1)s re proportionl: q 11 = 1 2, q 21 = Cp, q 31 = p, q 41 = Cp, 15) q 13 = 0, q 23 = Cq, q 33 = q 1 C, q 43 = Cq, 16) with p, q Q. Consequently one liner omintion of the two genertors eouples from the fermions n is sent from the spetrl tion. This is similr to wht hppens to the slr in the eletro-strong moel of igrm 1. The hyperhrges of the remining genertor re those of the stnr moel with C olours. In the remining four ses α,β 1,β 2 ) = + +, +, +, n, ll 10 fermioni hyperhrges vnish n the three leptons re neutrl uner the little group. Finlly the ses where some of the 8

9 four summns onsist of mtries with rel or quternioni entries re trete s in the sitution with three summns n they proue the sme sumoels of the stnr moel. The first possiility with C = 1 hs only one U1). For the four sign ssignments: α,β 1,β 2 ) = + + +, + +, + +, n +, we fin nomly free lifts with nontrivil little group. E.g. for the first ssignment, we get q 11 = 1/2, q 21 = p, q 31 = p, n q 41 = p, with p Q. All four ssignments proue the eletro-wek moel SU2) U1))/Z 2 U1) of protons, neutrons, neutrinos n eletrons. The seon possiility, A = B = C = 1, ontins t lest one hirl lepton with vnishing hyperhrge n therefore neutrl uner the little group. Digrm 19 gives the sme results s igrm 18. In igrms 20, 21 n 22, the elements n must e mtries with omplex entries to llow for onjugte representtions. Without oth the funmentl representtion n its omplex onjugte these igrms woul violte the onition tht every nonvnishing entry of the multipliity mtrix of lown up) Krjewski igrm must hve the sme sign s its trnspose element if the ltter is not zero. Digrm 20 is trete n fils s igrm 2, igrms 21 n 22 re trete n fil s igrm 13. At this point we hve exhuste ll igrms of figure 2. 4 Conlusion n outlook For three summns there ws essentilly one irreuile spetrl triple stisfying ll items on our shopping list: the stnr moel with one genertion of qurks n leptons n n ritrry numer of oloursgreter thn or equl to two). We sy essentilly euse few sumoels of the stnr moel n e otine. Going to four summns s preisely one moel, the eletro-strong moel for one mssive qurk with n ritrry numer of olours n one mssive, hrge lepton. Note tht this is the first pperne of spetrl triple without ny Higgs slr n without symmetry reking. We still hve to prove tht spetrl triples in four summns involving letter preserving rrows like ā o not proue ny moel omptile with our shopping list. We re urious to know wht hppens in five n more) summns. Here ler igrms o not exist n we my speulte tht our present list of moels exhusts our shopping list lso in ny numer of summns. Anyhow two questions remin: Who orere three olours? Who orere three genertions? Referenes [1] A. Connes, Nonommuttive Geometry, Aemi Press 1994) A. Connes, Nonommuttive geometry n relity, J. Mth. Phys )

10 A. Connes, Grvity ouple with mtter n the fountion of nonommuttive geometry, hep-th/ , Comm. Mth. Phys ) 109 A. Chmseine & A. Connes, The spetrl tion priniple, hep-th/ , Comm. Mth. Phys ) 155 [2] B. Iohum, T. Shüker & C. Stephn, On lssifition of irreuile lmost ommuttive geometries, hep-th/ , J. Mth. Phys, in press J.-H. Jureit & C. Stephn, On lssifition of irreuile lmost ommuttive geometries, seon helping, hep-th/ , J. Mth. Phys, in press T. Shüker, Krjewski igrms n spin lifts, hep-th/ [3] M. Pshke & A. Sitrz, Disrete spetrl triples n their symmetries, q-lg/ , J. Mth. Phys ) 6191 T. Krjewski, Clssifition of finite spetrl triples, hep-th/ , J. Geom. Phys ) 1 [4] S. Lzzrini & T. Shüker, A frewell to unimoulrity, hep-th/ , Phys.Lett. B ) 277 [5] J.-H. Jureit & C. Stephn, Fining the stnr moel of prtile physis, omintoril prolem, hep-th/

11 ig. 1 ig. 2 ig. 3 ig. 4 ig. 5 ig. 6 ig. 7 ig. 8 ig. 9 ig. 10 ig. 11 ig. 12

12 ig. 13 ig. 14 ig. 15 ig. 16 ig. 17 ig. 18 ig. 19 ig. 20 ig. 21 ig