Professional Documents
Culture Documents
Juven Wang
Harvard CMSA
�
����
������ �����
����
��
������ ����� �
����
���� �� ����
������� ����� ������ ����������
Related ideas: Deformation class or cobordism class
of QFT (Seiberg ’19. etc. JW-Wen ’13-’18, 1809.11171),
of Quantum Gravity (McNamara-Vafa ’19, 1909.10355, etc.)
“Within same (invertible) symmetry G and ’t Hooft anomaly Zd+1 (invertible
TQFT), different dd QFTs can be deformed to each other via adding degrees of
freedom at short distance/high energy that preserve the same (G , Zd+1 ).”
Juven Wang Slides: Dropbox link on Zoom chat or http://idear.info/ 3
Classify dd Anomalies and (d + 1)d iTQFT/SPTs via Cobordism
iTQFT: invertible topological field theory. Invertible path integral Z(M ).
SPTs: Symmetry-protected topological state.
Bordism group (discrete and abelian group Z or Zn class): ΩGd+1
• +: the disjoint union.
• Closure: Disjoint union of manifolds is a manifold.
• Identity: 0 is the empty manifold.
• Inverse: [M ] + [M̄ ] = 0 since ∂(M × [0, 1]) = M t M̄ .
• Associativity and commutativity: true for disjoint union.
• McNamara-Vafa 1909.10355:
Cobordism of compactification spaces serves as a domain wall.
Cobordism conjecture of quantum gravity ΩQGD−d = 0:
(D − d)d compact manifold cobordant to an empty manifold.
dd theory has an end-of-world (d − 1)d domain wall to nothing.
)Y
)X
)Y
)X
(1
(1
(1
(1
3 ×(Nf = 3).
uL νe L
2 1 1 2 - 3 -3 Each Weyl fermion
dL eL
uR 1 -4 1 νe R ? 1 0 5 2L of Spin(3,1)
dR 1 2 -3 eR 1 6 1
d¯R ⊕ lL ⊕ qL ⊕ ūR ⊕ ēR ⊕?ν̄R
= (3, 1)2,L ⊕ (1, 2)−3,L ⊕ (3, 2)1,L ⊕ (3, 1)−4,L ⊕ (1, 1)6,L ⊕?(1, 1)0,L .
SU(3)c ×SU(2)L ×U(1)Y
SM gauge group GSMq ≡ Zq
with q = 1, 2, 3, 6.
Open Issues:
• Neutrino ν̄R exists or not? (15 vs 16 fermions) How many ν̄R for
Nf = 3? How do νL (of lL ) and ν̄R get masses? Dirac vs Majorana?
• Proton stability or decay.
Check: discrete B ± L symmetries, global anomalies, cobordism.
Juven Wang Slides: Dropbox link on Zoom chat or http://idear.info/ 6
Spacetime and internal symmetry of the Standard Model (SM)?
15 or 16 Weyl fermion multiplet (ψL )I = (d¯R ⊕ lL ⊕ qL ⊕ ūR ⊕ ēR )I ⊕ nνI,R ν̄I,R ∼
(3, 1)2 ⊕ (1, 2)−3 ⊕ (3, 2)1 ⊕ (3, 1)−4 ⊕ (1, 1)6 I ⊕ nνI,R (1, 1)0 .
Here I, J ∈ {1, 2, . . . , Nf = 3}.
Lagrangian:
X 1 a θ3 2 µνµ0 ν 0 a
LSM = − FI ,µν FIaµν − g3 a
F3,µν F3,µ † µ
0 ν 0 + ψ ( i σ̄ Dµ,A )ψL
L
4 64π 2
I =1,2,3
U(1)B -U(1)2Y , U(1)L -U(1)2Y U(1)B -SU(2)2 and U(1)L -SU(2)2 local anomalies. Under
U(1)B and U(1)L transformations, their ABJ anomalies show:
R 4 µ µ
(1) (2)
[DψL ][DψL† ]e i d x LSM +αB (∂µ JB )+αL (∂µ JL ) −18(αB +αL )Nf n −(αB +αL )Nf n .
R
g2 0 0
Instanton number n(N) ≡ d 4 x 32π1 2 µνµ ν FN,µν FN,µ0 ν 0 ∈ Z on spin manifolds.
R
• U(1)B−L symmetry: αB−L ≡ αB = −αL , its Ward identity h∂µ (JBµ − JLµ )i = 0.
• Z2Nf ,B+L symmetry: αB+L ≡ αB = αL , under SU(2) instanton, αB+L ∈ 2π
2Nf
Z.
U(1)B -U(1)2Y , U(1)L -U(1)2Y U(1)B -SU(2)2 and U(1)L -SU(2)2 local anomalies. Under
U(1)B and U(1)L transformations, their ABJ anomalies show:
R 4 µ µ
(1) (2)
[DψL ][DψL† ]e i d x LSM +αB (∂µ JB )+αL (∂µ JL ) −18(αB +αL )Nf n −(αB +αL )Nf n .
R
g2 0 0
Instanton number n(N) ≡ d 4 x 32π1 2 µνµ ν FN,µν FN,µ0 ν 0 ∈ Z on spin manifolds.
R
• U(1)B−L symmetry: αB−L ≡ αB = −αL , its Ward identity h∂µ (JBµ − JLµ )i = 0.
• Z2Nf ,B+L symmetry: αB+L ≡ αB = αL , under SU(2) instanton, αB+L ∈ 2π
2Nf
Z.
2
X ≡ 5(B − L) − Y.
3
For the SM with Z4,X , see Garcia-Etxebarria-Montero ’18 and our work.
d¯R ⊕ lL ⊕ qL ⊕ ūR ⊕ ēR ⊕ nνR ν̄R = (3, 1)2,L ⊕ (1, 2)−3,L ⊕ (3, 2)1,L ⊕ (3, 1)−4,L ⊕ (1, 1)6,L ⊕ nνR (1, 1)0,L .
Global sym B − L Global sym B − L
(Backgrd. field) (Backgrd. field)
(B − L)-(gravity)2 ⇒ jB : 0.
jL : Nf · (1 − nνR ).
(B − L)3 ⇒ jB : 0.
jL : Nf · (1 − nνR ).
TP5 (Spin ×ZF U(1)B−L × Z3,B+L × G[1] ) Z2 × Z6/q × Z9 × (Z3 )2 × (Z3 )3n3 .
=
2
TP5 (Spin ×ZF Z4,X × Z3,B+L × G[1] ) Z16 × (Z4 )n2 × Z6/q × Z9 × (Z3 )2n3 .
=
2
U(1)
1 U(1)3Y : 4d anomaly from 5d CS1 c1 (U(1))2 and 6d c1 (U(1))3
U(1)
2 U(1)Y -SU(2)2 : 4d anomaly from 5d CS1 c2 (SU(2)), 6d c1 (U(1))c2 (SU(2))
2 U(1)
3 U(1)Y -SU(3)c : 4d anomaly from 5d CS1 c2 (SU(3)), 6d c1 (U(1))c2 (SU(3))
4 U(1)Y -(gravity) : 4d anomaly from 5d µ(PD(c1 (U(1)))), 6d c1 (U(1))(σ−F·F)
2
8
SU(3)
5 SU(3)3c : 4d anomaly from 5d 12 CS5 , 6d 12 c3 (SU(3))
6 4d global Witten SU(2) anomaly from 5d c2 (SU(2))η̃, 6d c2 (SU(2))Arf.
It becomes part of local anomaly in Z when q = 2, 6.
Davighi-Gripaios-Lohitsiri1910.11277, Wan-JW 1910.14668, Davighi-Lohitsiri 2001.07731 JW 2006.16996.
Juven Wang Slides: Dropbox link on Zoom chat or http://idear.info/ 13
II. (Local+Global) Anomalies: Spin ×ZF2 Z4,X × Ginternal/gauge
Focus on Z4,X = Z (Spin(10)) ⊂ U(1)X where X = 5(B − L) − 4Y .
G = Spin ×ZF2 Z4,X × GSMq and Spin ×ZF2 Z4,X × SU(5):
Z5 × Z2 × Z24 × Z16 , q = 1, 3.
TPd=5 (Spin ×ZF2 Z4,X × GSMq ) =
Z5 × Z22 × Z4 × Z16 , q = 2, 6.
TPd=5 (Spin ×ZF2 Z4,X × SU(5)) = Z × Z2 × Z16 .
Part 2:
• Spin ×ZF2 Spin(10)-symmetry.
Z2 -class global anomaly. p ∈ Z2 :
Z
Z5 ≡ exp( iπ p w2 w3 )|w2 w3 (TM)=w2 w3 (VSO(n) )
M5
• We can also include Z2Nf ,B+L background field. arXiv:2204.08393
Juven Wang Slides: Dropbox link on Zoom chat or http://idear.info/ 16
Logic to Ultra Unification
• Z16 global anomaly cancellation application.
Assumptions:
1 Standard Model (SM) Ginternal : Lie algebra su(3) × su(2) × u(1).
GSMq ≡ SU(3)×SU(2)×U(1)
Zq , q = 1, 2, 3, 6.
2 15 × (Nf = 3) Weyl fermions (spacetime Weyl spinors) observed,
applicable to both SM and SU(5) GUT.
Anomaly-cancellation?
(1) Standard Lore: R-handed neutrino (16th Weyl) nνj,R = 1.
Z4,X preserved (gapless fermion) vs broken (gap) by Dirac or Majorana mass.
(2) My proposal: New hidden sectors beyond SM (∼ Lieb-Schultz-Mattis thm) :
1 Z4,X -symmetry-preserving anomalous gapped 4d TQFT (Topological
Mass). (Topo.Green-Schwarz mechanism. Boundary topological order [2+1d Vishwanath-Senthil’12].)
2 Z4,X -5d invertible TQFT (SPTs) by cobordism invariant η(PD(AZ2 )).
3 Z4,X -gauged-5d-noninvertible TQFT (SETs) + gravity.
4 Z4,X -symmetry-breaking gapped phase (e.g. Landau phase or 4d TQFT).
5 Z4,X -symmetry-preserving gapless or breaking gapless (e.g., extra CFT).
HEP-PH Gapped Extended Excitation/Objects beyond Particle Physics.
HEP-PH Gapless Unparticle CFT Physics.
Seesaw mechanism: 2
3 mass eigenstates have small mass ' |M|M
Dirac |
S |
|MDirac | for νL -like.
3 mass eigenstates have large mass MS for νR -like.
∆2TQFT ∆2sub
∆sub . . ∆small . MDirac .
MGUT,Pl ∆TQFT
∆2
(In analogy with the vortex subgap ∆sub ' ESC F
of superconductor gap ∆SC and
Fermi energy EF .) Both can give the left-handed neutrinos small masses.
(JW, Harvard HEP-String lunch Dec 1, 2020 and arXiv v3: 2012.15860)
��*
���� ����
������� ����� ������ ����������
����� �����
Spin×Spin(10)
1809.11171: JW-Wen. G = ZF
, Spin × SU(5).
2
U(1)B -U(1)2Y , U(1)L -U(1)2Y U(1)B -SU(2)2 and U(1)L -SU(2) local anomalies. Under
2
(d¯R ⊕lL ⊕qL ⊕ūR ⊕ēR )I ⊕nνI,R ν̄I,R ∼ (3, 1)2 ⊕(1, 2)−3 ⊕(3, 2)1 ⊕(3, 1)−4 ⊕(1, 1)6 I ⊕nνI,R (1, 1)0
• U(1)B−L symmetry: αB−L ≡ αB = −αL , its Ward identity h∂µ (JBµ − JLµ )i = 0.
• Z2Nf ,B+L symmetry: αB+L ≡ αB = αL , under SU(2) instanton, αB+L ∈ 2π
2Nf
Z.
246GeV
su(3)c × su(2)L × u(1)Y
Standard Model
su(2)L × u(1)Y
Glashow-Salam-Weinberg
1967
u(1)EM
Maxwell
1865
Part 2:
• Spin ×ZF2 Spin(10)-symmetry.
Z2 -class global anomaly:
Z
Z5 ≡ exp( iπ p w2 w3 )|w2 w3 (TM)=w2 w3 (VSO(n) )
M5
• We can also include Z2Nf ,B+L background field. arXiv:2204.08393
Juven Wang Slides: Dropbox link on Zoom chat or http://idear.info/ 30
Quantum Phase Diagram (Moduli space or Landscape)
• Goal: understand phase transitions among SM/GUTs
• Introduce two scalar fields (GUT-Higgs fields)
<latexit sha1_base64="ANNIvBS39BcQ52W9fTXgdhV9eYk=">AAANG3icbdfLbttGFAZgJr2ljto4ybIbokqBLhJDMtKmS8fy/SpLlnyjYAwPRzKh4QVzholthpu+R7tt36O7otsW6Bt0221XHUoyZsRjAgao850ZaUT+1tBPRYiq0fj7wcOPPv7k088efb7wuPbFl08Wnz7rY5JJ4D1IRCJPfYZchDHvqVAJfppKziJf8BN/3Cr95B2XGCbxsbpJ+SBiozgchsCULl0uPvPaV+Fl7kVMXfnD/PV3RXG5WG8sNSaHS0+as5P6yvO//vvxn+Jl+/Lp43+9IIEs4rECwRAvmo1UDXImVQiCFwtehjxlMGYjfqFPYxZxHOSTD1+43+hK4A4Tqf9i5U6q9ohcMMWv8SaamydnEeqaT4rlQkixnBnnqyoc376CYL5YDlZJIrBw5+r8WjEpk/fVepaOJOfj+Un86GUwecfKwtXwh0EexmmmeAzTdQ8z4arELS+MG4SSgxI3+oSBDPVX58IVkwyUvnwLXszfQxJFLA5yz5esuGgOck+weCS4W29+KOY7xlxNOj7Um64nJ10FmWPStDzI7Xnqy3ftlf4gKKZ3iYzyoIphaDCsYpaCUahqz1ival0LuxOV3PZDw4dkrIVdqqmlKdUwtl2/qnSMZjzU32I+quqtrbf0c2e2Z9XROMeY0fGJ3ZCQ8XOM1M3qph33rK8linzaAkzkrcLjQpCLfndHBJg3NVbuF3w7Y9/P35K7CVeNrlJtGW1RXTO6RnXd6DrVDaMbVDeNblLdMrpFddvoNtUdoztUd43uUt0zukd13+g+1QOjB1QPjZKMBNg22qZ6ZPSIasdoh2rXaJfqsdFjqj2j5D9GgH2jfaonRk+onho9pXpm9IzqudHzMgyVzMFdGso8kTggrFpM8oDQKuw0El6zmCQCYd1iEgmEDYtJJhA2LSahQNiymKQCYdtiEguEHYtJLhB2LSbBQNizmCQDYd9iEg2EA4tJNhAOLSbhQGhbTNKBcGQxiQdCx2KSD4SuxSQgCMcWk4Qg9CwmEUHoW0wygnBiMQkJwqnFJCUIZxaTmCCcW3xOfjSOpeYk5ZKpRJbbxFxXqnOM4mpTWSI/kh1ebetw2rUdVbt0pfKO7/S+bLKb0rumKK/r37pKQ5zIaNYg+lwqvZHyZHlSbdQrn23c+FBdeD4fhXG56ZThdaHHcN0ze+XJcHSlBtW13zuBrgoxP4tdun+q1l0wJRe5p3fYqrw8THA/uc71Jv9Nkb/w9PeSetGYy/hVsxFlk9cvinL9+iGhWX0koCf95aXm90uvj/TTwoozPR45XzlfO986TeeNs+JsOW2n54Bz7fzs/OL8Wvup9lvt99of09aHD2ZjnjtzR+3P/wFqqRG0</latexit>
so(10)
h 45 i =
6 0 h 54 i =
6 0
<latexit sha1_base64="5TbJYli9I3l6TlxElk6Dzo1Ms2o=">AAANL3icbddbbxtFFAfwbQs0pIam5ZGXFS6IBxrZUUt5TOPcr04cO7e1otmzY2fl2QtzZtsk2/0GfBl4he+BeEE8IXjkGzBrO5rxnliKtD6/M+OMZ//22E9FiKrR+OPBw0cfffzJ47lP55/UPvv86cKz5z1MMgm8C4lI5KnPkIsw5l0VKsFPU8lZ5At+4o9apZ+84xLDJD5WNynvR2wYh4MQmNKly4VvPMHioeBe+yq8zL2IqSt/kL96XRSenEDMf3Qblwv1xmJj/HDpRXN6UV92D//5e+7x6/blsyf/eUECWcRjBYIhXjQbqernTKoQBC/mvQx5ymDEhvxCX8Ys4tjPxwsq3K91JXAHidR/sXLHVXtELpji13gTzcyTswh1zSfFclWkWM6Ms1UVjm5fQjBbLAerJBFYuDN1fq2YlMn7aj1Lh5Lz0ewkfvRdMH7FysLV4Id+HsZppngMk3UPMuGqxC03yw1CyUGJG33BQIb6rXPhikkGSm/pvN6a95BEEYuD3PMlKy6a/Xy6n269+aGY7RhxNe74UG+6080tyBzjpqV+bs9TX7prr/QHQTG5ZWSUB1UMQ4NhFbMUjEJVu8a6VetY2Bmr5LYfGD4gYy3sUE0tTamGse36WaVjOOWBfhfzYVVvbb2l/3dme1YdjTOMGR2f2A0JGT/DSN2sbtJxz/paosgnLcBE3io8LgTZ9Ls7IsC8qbFyv+DbKft+/pbcTbhidIVqy2iL6qrRVaprRteorhtdp7phdIPqptFNqltGt6huG92mumN0h+qu0V2qe0b3qO4b3ad6YJRkJMC20TbVQ6OHVI+MHlHtGO1QPTZ6TLVrlHxiBNgz2qN6YvSE6qnRU6pnRs+onhs9L8NQyRzcpaHME4kDworFJA8IrcJOI+FVi0kiENYsJpFAWLeYZAJhw2ISCoRNi0kqELYsJrFA2LaY5AJhx2ISDIRdi0kyEPYsJtFA2LeYZAPhwGISDoS2xSQdCIcWk3ggHFlM8oHQsZgEBOHYYpIQhK7FJCIIPYtJRhBOLCYhQTi1mKQE4cxiEhOEc4vPyZfGsdScpFwylcjymJjrSnWOYVxtKkvkS/KIV9uOOO3aiqpdulJ5xXf6XDY+TelTU5TX9XddpSFOZDRtED0ulT5IebK8qDbqlU8PbnygLjyfD8O4PHTK8LrQY7jumT7zZDi8Uv3q2u+dQFeFmJ3FLt0/VesumJKL3NMnbFVuDxPcT65zfch/U+QvPP2+pF404jJ+2WxE2fj5i6Jcv/6R0Kz+JKAXvaXF5veLrw71r4VlZ/KYc750vnK+dZrOG2fZ2XTaTtcB5yfnF+dX57faz7Xfa3/W/pq0PnwwHfOFM/Oo/fs/yZwYnQ==</latexit> <latexit sha1_base64="E8ujUC0zGRWicVFQYtjJCPMHxNs=">AAANL3icbddbbxtFFAfwbQs0pIam5ZGXFS6IBxrZUUt5TOPcr04cO7e1otmzY2fl2QtzZtsk2/0GfBl4he+BeEE8IXjkGzBrO5rxnliKtD6/M+OMZ//22E9FiKrR+OPBw0cfffzJ47lP55/UPvv86cKz5z1MMgm8C4lI5KnPkIsw5l0VKsFPU8lZ5At+4o9apZ+84xLDJD5WNynvR2wYh4MQmNKly4VvPMHioeBe+yq8zL2IqSt/kL9+VRSenEDMf3Qblwv1xmJj/HDpRXN6UV92D//5e+7x6/blsyf/eUECWcRjBYIhXjQbqernTKoQBC/mvQx5ymDEhvxCX8Ys4tjPxwsq3K91JXAHidR/sXLHVXtELpji13gTzcyTswh1zSfFclWkWM6Ms1UVjm5fQjBbLAerJBFYuDN1fq2YlMn7aj1Lh5Lz0ewkfvRdMH7FysLV4Id+HsZppngMk3UPMuGqxC03yw1CyUGJG33BQIb6rXPhikkGSm/pvN6a95BEEYuD3PMlKy6a/Xy6n269+aGY7RhxNe74UG+6080tyBzjpqV+bs9TX7prr/QHQTG5ZWSUB1UMQ4NhFbMUjEJVu8a6VetY2Bmr5LYfGD4gYy3sUE0tTamGse36WaVjOOWBfhfzYVVvbb2l/3dme1YdjTOMGR2f2A0JGT/DSN2sbtJxz/paosgnLcBE3io8LgTZ9Ls7IsC8qbFyv+DbKft+/pbcTbhidIVqy2iL6qrRVaprRteorhtdp7phdIPqptFNqltGt6huG92mumN0h+qu0V2qe0b3qO4b3ad6YJRkJMC20TbVQ6OHVI+MHlHtGO1QPTZ6TLVrlHxiBNgz2qN6YvSE6qnRU6pnRs+onhs9L8NQyRzcpaHME4kDworFJA8IrcJOI+FVi0kiENYsJpFAWLeYZAJhw2ISCoRNi0kqELYsJrFA2LaY5AJhx2ISDIRdi0kyEPYsJtFA2LeYZAPhwGISDoS2xSQdCIcWk3ggHFlM8oHQsZgEBOHYYpIQhK7FJCIIPYtJRhBOLCYhQTi1mKQE4cxiEhOEc4vPyZfGsdScpFwylcjymJjrSnWOYVxtKkvkS/KIV9uOOO3aiqpdulJ5xXf6XDY+TelTU5TX9XddpSFOZDRtED0ulT5IebK8qDbqlU8PbnygLjyfD8O4PHTK8LrQY7jumT7zZDi8Uv3q2u+dQFeFmJ3FLt0/VesumJKL3NMnbFVuDxPcT65zfch/U+QvPP2+pF404jJ+2WxE2fj5i6Jcv/6R0Kz+JKAXvaXF5veLrw71r4VlZ/KYc750vnK+dZrOG2fZ2XTaTtcB5yfnF+dX57faz7Xfa3/W/pq0PnwwHfOFM/Oo/fs/yZ0YnQ==</latexit>
<latexit sha1_base64="lTTRlYw6AaZkYNWGY3ZFsL8umS4=">AAANOHicbdfLbttGFAZgJr3EddTWaZfdEFUKpECTSEbTdOlYvt9tWfKNgjE8HMmEhhfMGSa2GT5GX6bdtg/RXVe9LNsn6FCSMUMeEzBAne/MSEPqt4Z+KkJUrdbvDx5+8OFHHz+a+2T+cePTzz5fePJFH5NMAu9BIhJ56jPkIox5T4VK8NNUchb5gp/4407pJ2+5xDCJj9VNygcRG8XhMASmdOly4aXn81EY5xFTMrwuvNGlp/i1ytfXC8+b97Jnr76d93gc3DVcLjRbL1qTw6Un7dlJc8k9/PvPuUevDi6fPP7XCxLIIh4rEAzxot1K1SBnUoUgeKHfA3nKYMxG/EKfxiziOMgnKyvcb3QlcIeJ1H+xcidVe0QumP64eBNV5slZhLrmk6JexBUpljNjtarC8e1zCKrFcrBKEoGFW6nry8WkTN7V61k6kpyPq5P40XfB5B1rC1fDHwd5GKeZ4jFM1z3MhKsSt7xrbhBKDkrc6BMGMtSXzoUrJhkofW/nvZi/gySKmL5Pni9ZcdEe5J5g8Uhwt9l+X1Q7xlxNOt43264nJ10FmWPStDjI7Xmai3fttf4gKHKvvD4yyoM6hqHBsI5ZCkahrj1jvbp1LexOVHLb9w3vk7EWdqmmlqZUw9h2/arWMZrxUF/FfFTXW1tv6efObM/qo7HCmNHxid2QkPEVRupmddOOe9bXEUU+bQEm8k7hcSHITb/7RgSYtzXWvi/4Zsa+n78h3yZcNrpMtWO0Q3XF6ArVVaOrVNeMrlFdN7pOdcPoBtVNo5tUt4xuUd02uk11x+gO1V2ju1T3jO5R3TdKMhLggdEDqodGD6keGT2i2jXapXps9Jhqzyj5jxFg32if6onRE6qnRk+pnhk9o3pu9LwMQy1zcJeGMk8kDgjLFpM8IHQKO42EVywmiUBYtZhEAmHNYpIJhHWLSSgQNiwmqUDYtJjEAmHLYpILhG2LSTAQdiwmyUDYtZhEA2HPYpINhH2LSTgQDiwm6UA4tJjEA+HIYpIPhK7FJCAIxxaThCD0LCYRQehbTDKCcGIxCQnCqcUkJQhnFpOYIJxbfE5+NI6l5iTlkqlEltvEXFfqc4zielNZIj+SR7zedsRp12ZU79KV2ju+1fuyyW5K75qivKl/62oNcSKjWYPoc6n0RsqT5Um9Ua98tnHjQ3VR3ZfrMdYm3JPh6EoN6mu/dwJdFaI6i126f6rOXTAlF/n0gUDfHia4n1znepP/usifevq6pF405jJ+3m5F2eT106Jcv35IaNcfCehJf/FF+4cX3x/qp4UlZ3rMOV85XzvPnLbz2llyNpwDp+eA85Pzi/Or81vj58Yfjb8a/0xbHz6YjfnSqRyN//4H4TccWg==</latexit>
gPS
u(5) so(6) so(4)
h 54 i 6 0 h 45 i 6 0
<latexit sha1_base64="E8ujUC0zGRWicVFQYtjJCPMHxNs=">AAANL3icbddbbxtFFAfwbQs0pIam5ZGXFS6IBxrZUUt5TOPcr04cO7e1otmzY2fl2QtzZtsk2/0GfBl4he+BeEE8IXjkGzBrO5rxnliKtD6/M+OMZ//22E9FiKrR+OPBw0cfffzJ47lP55/UPvv86cKz5z1MMgm8C4lI5KnPkIsw5l0VKsFPU8lZ5At+4o9apZ+84xLDJD5WNynvR2wYh4MQmNKly4VvPMHioeBe+yq8zL2IqSt/kL9+VRSenEDMf3Qblwv1xmJj/HDpRXN6UV92D//5e+7x6/blsyf/eUECWcRjBYIhXjQbqernTKoQBC/mvQx5ymDEhvxCX8Ys4tjPxwsq3K91JXAHidR/sXLHVXtELpji13gTzcyTswh1zSfFclWkWM6Ms1UVjm5fQjBbLAerJBFYuDN1fq2YlMn7aj1Lh5Lz0ewkfvRdMH7FysLV4Id+HsZppngMk3UPMuGqxC03yw1CyUGJG33BQIb6rXPhikkGSm/pvN6a95BEEYuD3PMlKy6a/Xy6n269+aGY7RhxNe74UG+6080tyBzjpqV+bs9TX7prr/QHQTG5ZWSUB1UMQ4NhFbMUjEJVu8a6VetY2Bmr5LYfGD4gYy3sUE0tTamGse36WaVjOOWBfhfzYVVvbb2l/3dme1YdjTOMGR2f2A0JGT/DSN2sbtJxz/paosgnLcBE3io8LgTZ9Ls7IsC8qbFyv+DbKft+/pbcTbhidIVqy2iL6qrRVaprRteorhtdp7phdIPqptFNqltGt6huG92mumN0h+qu0V2qe0b3qO4b3ad6YJRkJMC20TbVQ6OHVI+MHlHtGO1QPTZ6TLVrlHxiBNgz2qN6YvSE6qnRU6pnRs+onhs9L8NQyRzcpaHME4kDworFJA8IrcJOI+FVi0kiENYsJpFAWLeYZAJhw2ISCoRNi0kqELYsJrFA2LaY5AJhx2ISDIRdi0kyEPYsJtFA2LeYZAPhwGISDoS2xSQdCIcWk3ggHFlM8oHQsZgEBOHYYpIQhK7FJCIIPYtJRhBOLCYhQTi1mKQE4cxiEhOEc4vPyZfGsdScpFwylcjymJjrSnWOYVxtKkvkS/KIV9uOOO3aiqpdulJ5xXf6XDY+TelTU5TX9XddpSFOZDRtED0ulT5IebK8qDbqlU8PbnygLjyfD8O4PHTK8LrQY7jumT7zZDi8Uv3q2u+dQFeFmJ3FLt0/VesumJKL3NMnbFVuDxPcT65zfch/U+QvPP2+pF404jJ+2WxE2fj5i6Jcv/6R0Kz+JKAXvaXF5veLrw71r4VlZ/KYc750vnK+dZrOG2fZ2XTaTtcB5yfnF+dX57faz7Xfa3/W/pq0PnwwHfOFM/Oo/fs/yZ0YnQ==</latexit> <latexit sha1_base64="5TbJYli9I3l6TlxElk6Dzo1Ms2o=">AAANL3icbddbbxtFFAfwbQs0pIam5ZGXFS6IBxrZUUt5TOPcr04cO7e1otmzY2fl2QtzZtsk2/0GfBl4he+BeEE8IXjkGzBrO5rxnliKtD6/M+OMZ//22E9FiKrR+OPBw0cfffzJ47lP55/UPvv86cKz5z1MMgm8C4lI5KnPkIsw5l0VKsFPU8lZ5At+4o9apZ+84xLDJD5WNynvR2wYh4MQmNKly4VvPMHioeBe+yq8zL2IqSt/kL96XRSenEDMf3Qblwv1xmJj/HDpRXN6UV92D//5e+7x6/blsyf/eUECWcRjBYIhXjQbqernTKoQBC/mvQx5ymDEhvxCX8Ys4tjPxwsq3K91JXAHidR/sXLHVXtELpji13gTzcyTswh1zSfFclWkWM6Ms1UVjm5fQjBbLAerJBFYuDN1fq2YlMn7aj1Lh5Lz0ewkfvRdMH7FysLV4Id+HsZppngMk3UPMuGqxC03yw1CyUGJG33BQIb6rXPhikkGSm/pvN6a95BEEYuD3PMlKy6a/Xy6n269+aGY7RhxNe74UG+6080tyBzjpqV+bs9TX7prr/QHQTG5ZWSUB1UMQ4NhFbMUjEJVu8a6VetY2Bmr5LYfGD4gYy3sUE0tTamGse36WaVjOOWBfhfzYVVvbb2l/3dme1YdjTOMGR2f2A0JGT/DSN2sbtJxz/paosgnLcBE3io8LgTZ9Ls7IsC8qbFyv+DbKft+/pbcTbhidIVqy2iL6qrRVaprRteorhtdp7phdIPqptFNqltGt6huG92mumN0h+qu0V2qe0b3qO4b3ad6YJRkJMC20TbVQ6OHVI+MHlHtGO1QPTZ6TLVrlHxiBNgz2qN6YvSE6qnRU6pnRs+onhs9L8NQyRzcpaHME4kDworFJA8IrcJOI+FVi0kiENYsJpFAWLeYZAJhw2ISCoRNi0kqELYsJrFA2LaY5AJhx2ISDIRdi0kyEPYsJtFA2LeYZAPhwGISDoS2xSQdCIcWk3ggHFlM8oHQsZgEBOHYYpIQhK7FJCIIPYtJRhBOLCYhQTi1mKQE4cxiEhOEc4vPyZfGsdScpFwylcjymJjrSnWOYVxtKkvkS/KIV9uOOO3aiqpdulJ5xXf6XDY+TelTU5TX9XddpSFOZDRtED0ulT5IebK8qDbqlU8PbnygLjyfD8O4PHTK8LrQY7jumT7zZDi8Uv3q2u+dQFeFmJ3FLt0/VesumJKL3NMnbFVuDxPcT65zfch/U+QvPP2+pF404jJ+2WxE2fj5i6Jcv/6R0Kz+JKAXvaXF5veLrw71r4VlZ/KYc750vnK+dZrOG2fZ2XTaTtcB5yfnF+dX57faz7Xfa3/W/pq0PnwwHfOFM/Oo/fs/yZwYnQ==</latexit>
= =
<latexit sha1_base64="hp4GmBeUfjicycqZGQVSrwkdPR0=">AAANX3icbddbb9s2FAdwtbskS5su3Z6GvQhzB6TAGljZpXtM49zviWPHSWQEFEU7gqkLeKg2Catvti+yx+1hGLC97BuM8gWkdGIgAH1+h0wo+R9TQcYjkM3m70+efvLpZ5/PzX+x8Oz54osvl15+1YU0F5R1aMpT0QsIMB4lrCMjyVkvE4zEAWcXwahV+sV7JiBKk3N5n7F+TIZJNIgokbp0s9T1AzaMEhUTKaK7wh/e+JLdSdU+LHx/wYd8+cfXfprxHMrx6mycL3uvby7tN70FnyXhbJ2bpUZzpTl+uXjgTQeNNff077/m534+uXn57D8/TGkes0RSTgCuvWYm+4oIGVHOigU/B5YROiJDdq2HCYkZ9NX4AhTu97oSuoNU6J9EuuOqPUNxoncF93FlHUVi0LUAFfUmblGxXBmqVRmNHt7QsFosJ8s05VC4lbq+qkSI9EO9nmdDwdioukgQ/xCOf2Nt43Lwa19FSZZLltDJvgc5d2XqljfXDSPBqOT3ekCoiPSlc+ktEYRK/RFY8BP2gaZxTPR98gNBimuvr3xOkiFnbsP7WFQ7RkyOOz42PNcX464CrTFuWu0re53G6qy91h+GhfLL6yNiFdYxigxGdcwzapTWtWOsU7e2he2xCmb7seFjNNfCNtbM0gxrlNiu39U6hlMe6KuohnV9sPUB/9257Xl9NlQYcjw/tRtSNL/CgN3sbtLxyP5avFCTFkq4ahU+4xzd9NknIgTlaax9XuDdlINAvUOfJlg3uo61ZbSFdcPoBtZNo5tYt4xuYd02uo11x+gO1l2ju1j3jO5h3Te6j/XA6AHWQ6OHWI+MHmE9NooyEsKJ0ROsp0ZPsZ4ZPcPaNtrGem70HGvHKPqPEULXaBfrhdELrD2jPayXRi+xXhm9KsNQyxydpaHME4oD0HWLUR6Atgo7jYg3LEaJALppMYoE0C2LUSaAbluMQgF0x2KUCqC7FqNYAN2zGOUC6L7FKBhADyxGyQB6aDGKBtAji1E2gB5bjMIB9MRilA6gpxajeAA9sxjlA2jbYhQQoOcWo4QA7ViMIgK0azHKCNALi1FIgPYsRikBemkxignQK4uv0JfGudCcZkwQmYrymKh0pb7GMKk3lSX0JXnG6m1nDHftxvUuXan9xvf6XDY+TelTU6wa+ruu1pCkIp428C4TUh+kfFEO6o1659ODGxvI6+rxXc+xDuG+iIa3sl/f+6ML6Crn1VXs0uNLtWbBFIyryXODvj2EsyC9U/qQ/7ZQr3x9XTI/HjGRvPGacT5+/6oo968fErz6IwEedFdXvF9WfjrVTwtrzuQ173zrfOcsO57z1llzdpwTp+NQ5zfnT+cf59/nfyzOLb5YXJq0Pn0ynfO1U3ktfvM/PyQn8A==</latexit>
gSM
su(3) su(2) u(1)Y u(1)X
• Note:
1 + 45 + 54 = 10 ⇥ 10 16 ⇥ 16 ⇥ 16 ⇥ 16
<latexit sha1_base64="Gz+fo5VeYlQAbWmU/8Npv8TY9YI=">AAANkHicjddbb9s2FAdwpVu7Lp3XtH3cBghzBwzYGthBenkZlsS53xNfcpMRUBTtCKYu4KHaJKpety+xj7AvtA+xhz3sfZTslDRPHmYgAH1+h3Qo62/TfspDkI3GXzMPPvv84aMvHn85++Sr2tdP554970GSCcq6NOGJOPUJMB7GrCtDydlpKhiJfM5O/FGr9JP3TECYxB15k7J+RIZxOAgpkap0Ofe7FxF55Q/yZvHT3XDxtR6/Xix++dTSKDwZRgzMAmcDSYRIPnwqvrG7/k/hcq7emG9UDxcPmpNBfenRH//Gf/728PDy2ZN/vCChWcRiSTkBuGg2UtnPiZAh5ayY9TJgKaEjMmQXahgT9YL9vLpihfuDqgTuIBHqL5ZuVTVn5JxIdg030dQ6OYlA1XxULPeBiuXKMF2V4ej2FQ2mi+VkmSQcCneqzq7HF9auZ+lQMDaaXsSPfg6qV7Q2Lgfv+nkYp5lkMR3ve5BxVyZueTe4QSgYlfxGDQgVobp0Lr0iglCp7plZL2YfaBJFJA5yzxekuGj2c4+TeMiZW29+LKY7RkxWHR/rTdcTVVeB1qiaFvq5uU594a7d6g+CIq9uEhHlgY1hqDG0MUupVmprV1vXtraB7UoFM/1A8wGaa2Aba2poijWMTVfPrI7hhAfqKuZDW29NvcX/d2Z6Zs+GKYYMz0/MhgTNn2LArnc37rhnfy1e5OMWSnjeKjzGOXrT7+6IANRHVjFr3S+wPGHfz5fR3QQrWlewtrS2sK5qXcW6pnUN67rWdawbWjewbmrdxLqldQvrttZtrDtad7Duat3Fuqd1D+u+1n2sB1pRRgI41HqI9UjrEdZjrcdY21rbWDtaO1i7WtEnRgA9rT2sJ1pPsJ5qPcV6pvUM67nW8zIMVuboXRrKPKE4AF0xGOUBaKsw04h41WCUCKBrBqNIAF03GGUC6IbBKBRANw1GqQC6ZTCKBdBtg1EugO4YjIIBdNdglAygewajaADdNxhlA+iBwSgcQA8NRukAemQwigfQY4NRPoC2DUYBAdoxGCUEaNdgFBGgPYNRRoCeGIxCAvTUYJQSoGcGo5gAPTf4HH1pdITiJGWCyESUx8RcVew1hrHdVJbQl+Qxs9uOGe7aiuwuVbFe8b06l1WnKXVqivK6+q6zGuJERJMG3mNCqoOUJ8qB3ah2Pjm4qaP6heezYRiXh04RXhdqDlM9k2eeCIdXsm/v/d4FVJXz6VXM0v1Lte6CKRjPPXXCluXbQzjzk+tcHfLfFvlLT12X1ItGTMSvmo0oq56/LMr9qx8JTfsnAR70Fuabb+YXj9SvhSVn/HjsfON87/zoNJ23zpKz6Rw6XYc6f8+8mPl25rva89q72q+15XHrg5nJnBfO1KO2/R+j/jql</latexit>
Both
Higgs fields can
be written as four-fermion
operators
U(ΦR ) = r45 (Φ45 )2 + λ45 (Φ45 )4 + r54 (Φ54 )2 + λ54 (Φ54 )4 + h Φ45 · (hΦ1st 2nd
45 i − hΦ45 i) + . . . .
(1 1
(1 1
(1 1
(1 1
1
1
(3) (2) (2) (10) (3) (2) (2) (5)
)Y
)X
)Y
)X
)Y
)X
)Y
)X
(1
(1
(1
(1
3 3
uL νe L uL νe R ? 1 0 5 1
2 1 1 2 - 3 -3 2 1 1
dL eL dL eR 1 6 1 10
16
uR 1 -4 1 νe R ? 1 0 5 uR 1 -4 1 νe L
2 - 3 -3 5
dR 1 2 -3
(1 1 eR 1 6 1 dR 1 2 -3 eL
(1 1
1
1
(3) (2) (2) (5)′
)Y
)X
)Y
)X
(1
(1
(1 1
(1 1
1
1
(3) (2) (2)
)Y
)X
)Y
)X
(1
(1
3 (4)×(2)L
3 ×(2)R
uL eR 1 6 1 1 uL
2 1 1 2 1 1
νe L
2 - 3 -3 (4, 2, 1)
dL νe R ? 1 0 5 10 dL eL
dR 1 2 -3 νe L uR 1 -4 1 νe R ? 1 0 5
2 - 3 -3 5 4, 1, 2
uR 1 -4 1 eL dR 1 2 -3 eR 1 6 1
(1 1
(1 1
1
)Y
)X
(1
(1
3
uL νe L (1)dark
gauge (3) (2) (1)Y 1 (1)X1 (5) (10)
2 1 1 2 - 3 -3 c 1 3 1 -2 -2
dL eL 5
f 1 1 2 3 -2
uR 1 -4 1 νe R ? 1 0 5 10
c′ 1 3 1 2 2
dR 1 2 -3 eR 1 6 1 5
f′ 1 1 2 -3 2
Z
4 † µ
SYM-Weyl = Tr(F ∧ ?F) + d x ψL ( i σ̄ Dµ,A )ψL ,
ZM 4
4 2
SHiggs = d x |Dµ,A ΦR | − U(ΦR ) ,
M4
1 5
1X
Z
4 | bi | 2
SYukawa = d x φ Φ φ+ ψL i σ (φ2a−1 Γ2a−1 − i φ2a Γ2a )ψL + h.c. ,
M4 2 2 a=1
1
Z Z
WZW bi bi
S = B(Φ54 ) ∧ d C(Φ45 ) =π B(Φ̃54 ) ^ δC (Φ̂45 )) .
π
Z M5 M 4 =∂M 5 M5 M 4 =∂M 5
WZW 4 µ 0 bi FIVE bi
SQED0 = d x ξ̄( i γ Dµ − Φ̃54 − i γ Φ̂45 )ξ.
4
ZM 4
WZW 5 µ 0 5 bi 6 bi 5 µ ν 6 µ ν
SQED0 = d x ξ̄( i γ̃ Dµ − m − γ̃ Φ̃54 − γ̃ i Φ̂45 − i γ̃ γ̃ γ̃ Bµν − i γ̃ γ̃ γ̃ Cµν )ξ.
5 M5
Juven Wang Slides: Dropbox link on Zoom chat or http://idear.info/ 33