Kaluza-Klein Theories
Kaluza-Klein theories • Add extra space-time • The 5-D general coordinate dimensions to unify gravity invariance broken in ground and electromagnetism state ➝ ordinary gravity in (T. Kaluza 1921) 4-D plus an Abelian gauge field • The fifth dimension is • U(1) gauge symmetry appears compact, periodic, very small associated with coordinate (O. Klein 1926) transformations on circle • Start with a theory of Einstein • Parameters of the two gravity in 5-D. One of the theories connected, since they dimensions is compactified in have same origin a very small circle • Tower of massive scalars
M 2 n/R2 KK / 113 Kaluza theory • Consider a 5D theory only with gravity, the gravitons are
hMN M,N = µ, 5
• Correspond to fluctuations around flat space
gMN = ⌘MN + hMN
which decompose into a spin 2 h µ ⌫ , identified with a graviton, a spin 0, h µ 5 identified with a photon, and a scalar h55 • The first proposal did not include massless charged matter particles
114 faster as r increases, F 1/r2+d, than the gauge forces, F 1/r2. Of course, we know that at ⇠ ⇠ very large distances gravity lives in 4D, since we know that Newton’s law reproduces very accurately, for example, the orbits of the planets. This means that the extra dimensions must be compact with a compactification radius R. At distances larger than R we will have a 4D theory with Newton’s law: m m F = G 1 2 , (52) N r2
where GN is the observed Newton’s constant. Matching Eqs. (51) and (52) at r = R one gets G G = grav . (53) N Rd
Therefore large R implies a small GN . In other words, 4D gravity must be weaker than the other interac- tions if its field lines spread over large extra dimensions. The larger the extra dimensions, the weaker is gravity. This is a very interesting possibility that, as we will see below, has spectacular phenomenological implications. Several years later Randall and Sundrum found a different reason to have extra dimensions [43]. If the extra dimensions were curved or ‘warped’, gravitons would behave differently than gauge bosons and this could explain their different couplings to matter. Below we will discuss these two scenarios in more detail. Let us first explain the situation in the old Kaluza–Klein picture.
9 Kaluza–Klein theories As we said before, Kaluza was one of the first to consider theories with more than four dimensions in an attempt to unify gravity with electromagnetism. Klein developed this idea in 1926 using a formalism that is usually called Kaluza–Klein reduction [44]. Although their initial motivation and ideas do not seem to be viable, the formalism that they and others developed is still useful nowadays. This is the one that will be considered below.
y
xµ
Kaluza-KleinFig. 14: Compactification theories on S1
For• simplicity,The action we will in start 5D, with y is a 5Dfifth-dimension. field theory of scalars. Only The scalars action is given by
4 2 2 2 4 S5 = d xdyM @µ + @y + g5 , (54) ⇤ | | | | | | Z h i where by y we refer to the extra fifth dimension.y = Wey have+2⇡ extractedR a universal scale M in front of the y compactified in a circle ⇤ action in•This order corresponds to keep the to the 5D identification field with the of samey with mass-dimensiony +2⇡R. In such as a in case, 4D. we Let can us expand now consider the 5D complex that the y y +2⇡R Thisfifth corresponds dimensionscalar field is to in compact the Fourier identification and series: flat. We of willwith consider that. it In has such the a topology case, we of can a circle expandS1 theas in 5D Fig. complex14. scalar field• inExpand Fourier series: the complex scalar in a Fourier series 1 iny/R (n) (0) iny/R (n) (x, y)= e 25(x)= (x)+ e (x) , (55) 1 iny/R (n) (0) iny/R (n) (x, y)= ne= (x)= (x)+ n=0e (x) , X 1 X6 (55) n= n=0 that inserted in Eq. (54) andX 1 integrated over y gives X6 that inserted inIntegrating Eq. (54) and over integrated y gives over y gives (0) (n) • S5 = S4 + S4 (56) (0) (n) S = S + S 2/r (56) masslesswhere scalar 5 4 4 1/r (0) 4 (0) 2 2 (0) 4 0 where S4 = d x 2⇡RM @µ + g5 , (57) ⇤ | | | | Z h i (0) 2 1 (n) 4 4 (0) 2 (2n) 2(0) 4 nFig. 17: The(n Kaluza) 2 Klein tower of massive states due to an extra S dimension. Masses mn = n /r grow S = d x 2⇡RM @ + g , | | 4 S4 = d x 2⇡RMµ @µ 5 + linearly with the fifth dimension’s+ quartic wave number n Z. couplings . (58)(57) ⇤ | ⇤ | | | | | R | | 2 Z Z n=0 h X6 ⇣i ⌘ 4 µ µ µ tower of 2 =2⇡ r d x @ ' (x ) @ ' (x )⇤ + ... =2⇡r + ... (n) 4 (n) 2 n (n) 2 0 µ 0 S4D Z massiveS 4modes= d x 2⇡RM @µ + + quartic couplings(0) . (58) We see that the above action⇤ corresponds to115 a 4D theoryThis with means that a the massless 5D action reduces scalar to one 4D action forand a massless a scalar tower field plus of an infinite sum | | R of| massive scalar| actions in 4D. If we are only interested in energies smaller than the 1 scale, we may Z (n) n(0)=0 (n) r massive modes . The field X6 will be referred to⇣ as⌘ theconcentrate zero-mode, only on the action while of the massless mode.will be referred to as Kaluza–Klein (KK) modes. 3.2 Compactification of a Vector Field in 5 Dimensions(0) Vector fields are decomposed in a completely analogous way: AM = Aµ,A4 = . Consider the We see that the above action corresponds to a 4D theory with a massless scalar and{ } a{ tower} of action This(n) reduction of a(0) 5D theory to a 4D theory allows one to treat 5D theories(n) as1 4D field theories. = d5x F F MN (46) massive modes . The field will be referred to as the zero-mode, whileS5 D willg2 MN be referred to as This is very useful since we know much more about 4D theories than 5D theories.Z At5D low energies (large with a field strength Kaluza–Klein (KK) modes. F = @ A @ A (47) distances) we know that massive states in 4D theories can be neglected. ThereforeMN M theN N effectiveM theory implying (0) Thisat energies reduction below of a1 5D/R is theory described to a by 4D the theory zero-mode allows Eq. one (57 to). Aftertreat 5Dnormalizing theories@M @ A @ asM @ 4D,A we=0 field. obtain theories. from (48) M N N M This is veryEq. useful (57) since we know much more about 4D theoriesIf we now than choose 5D a gauge, theories. e.g. the transverse gauge: At low energies (large M M (0) @ AM =0,A0 =0 @ @M AN =0, (49) 4 (0) 2 2 (0) 4 ) distances) we know that massive statesS4 in= 4D theoriesd x @µ can be+ neglected.g4 , Therefore the effective theory(59) | | then this obviously| becomes| equivalent to the scalar(0) field case (for each component AM ) indicating an at energies below 1/R is described by the zero-modeZ Eq. (57infinite). After tower of massive normalizing states for each massless state in 5D., weIn order obtain to find the 4D effective from action we h once again plug this intoi the 5D action: Eq. (57) where the 4D self-coupling is given by 2 S5D 7! S4D g 2⇡r 2⇡r 2 5 = d4x F µ⌫ F + @ ⇢ @µ⇢ + ... . (0) g = . 2 (0) (0)µ⌫ 2 µ 0 0 4 4 (0) 2 2 (0) 4 g5D g5D (60) S4 = d x @µ 2⇡RM+ g4 , Z ✓ ◆ (59) F µ⌫ ⇢ | | ⇤ Therefore| we end| up with a 4D theory of a massless gauge particle (0), a massless scalar 0 from the massless Kaluza-Klein state of and infinite towers of massive vector and scalar fields. Notice that the This equation tells us that the strengthZ of theh interaction of the zero-modei decreases as the radiusMN in-µ⌫ where the 4D self-coupling is given by gauge couplings of 4- and 5 dimensional actions (coefficients of FMNF and Fµ⌫F ) are related by creases. If R is large, the scalar is weakly coupled. 1 2⇡r 2 2 = 2 . (50) g g4 g5 The general features described aboveg2 = for a 5D5 scalar. will also hold for gauge fields and gravity.(60) 4 2⇡RM 24 After Kaluza–Klein reduction, we will have a 4D theory⇤ with a massless gauge field and a graviton: This equation tells us that the strength of the interaction2 of the zero-mode decreases as the radius in- 4 M 1 MN creases. If R is large, the scalar is weaklyd xdyM coupled.⇤ + 2 F FMN ⇤ 2 R 4g5 The general features describedZ above for a 5D scalar will also hold for gauge fields and gravity. 4 2 (0) 2⇡R (0) µ⌫ (0) After Kaluza–Klein reduction, we= will haved xM a 4D⇡RM theory with+ a massless2 F F gaugeµ⌫ + field... and a graviton: ⇤ ⇤ R 4g Z 5 4 M 21 (0)1 1 (0) µ⌫ (0) 4 d x + MN2 F Fµ⌫ + ... , (61) d⌘ xdyM 16⇤⇡GN+R F4g FMN Z ⇤ 2 R 4g2 4 Z 5 where (0) is the 4D scalar-curvature containing the zero-mode2⇡R (massless) graviton, and F (0) is the R 4 2 (0) (0) µ⌫ (0) = d xM ⇡RM + 2 F Fµ⌫ + ... gauge field-strength of the zero-mode⇤ (massless)⇤ R gauge boson.4g From Eq. (61) we read Z 5 1 21 4 2(0) g5 (0) µ⌫ (0) d x g4 = + 2 F, Fµ⌫ + ... , (62)(61) ⌘ 16⇡GN R 2⇡RM4g4 Z ⇤ for(0) the 4D gauge coupling, and (0) where is the 4D scalar-curvature containing the zero-mode1 (massless) graviton, and F is the R G = , (63) gauge field-strength of the zero-mode (massless)N gauge16⇡ boson.2RM 3 From Eq. (61) we read ⇤ g2 g2 = 265 , (62) 4 2⇡RM ⇤ for the 4D gauge coupling, and 1 G = , (63) N 16⇡2RM 3 ⇤ 26 This corresponds to the identification of y with y +2⇡R. In such a case, we can expand the 5D complex scalar field in Fourier series:
1 (x, y)= einy/R (n)(x)= (0)(x)+ einy/R (n)(x) , (55) n= n=0 X 1 X6
This correspondsthat to the inserted identification in Eq. of (y54with) andy +2 integrated⇡RThis. In such corresponds over a case,y gives we can to the expand identification the 5D complex of y with y +2⇡R. In such a case, we can expand the 5D complex scalar field in Fourier series: scalar field in Fourier series: (0) (n) S5 = S4 + S4 (56) This corresponds to the identification1 iny/R (n of) y with(0) y +2⇡R.iny/R In such(n) a case, we can1 expand the 5D complex (x, y)= e (x)= (x)+ e (x(x,) , y)= (55)einy/R (n)(x)= (0)(x)+ einy/R (n)(x) , (55) scalar field inwhere Fourier series:n= n=0 X 1 X6 n= n=0 X 1 X6 that inserted in Eq. (54) and integrated(0) over1 y gives4 (0) 2 2 (0) 4 S4 = diny/Rx 2⇡RMthat(n) inserted@µ (0) in Eq.+ g5 (54 ) andiny/R integrated, (n) over y gives (57) (x, y)= e (0) (n()⇤x)=| |(x)+| e| (x) , (55) SZ5 = S + S (56) n= 4 4 h n=0 i2 (n) X 1 4 (n) 2 X6 n (n) 2 (0) (n) S4 = d x 2⇡RM @µ + + quarticS5 = S4 couplings+ S4 . (58) (56) where ⇤ | | R | | that inserted in Eq. (54) and integratedZ over y givesn=0 X6 ⇣ ⌘ (0) 4 (0) 2 2 (0)where4 S4 = d x 2⇡RM @µ + g5 , (57) ⇤ | | | | (0) (n) (0) We seeZ that the above actionS corresponds= S + toS a 4D theory with a massless scalar and a tower of h 5 i2 4 4 (56) (n) 4 (n) (n) 2 (0)n (n) 2(0) 4 (0) 2 (n) 2 (0) 4 S4 =massived modesx 2⇡RM . The@µ field+ will beS4 referred+ quartic= to ascouplings thed x zero-mode,2⇡RM. (58)@µ while + gwill5 be referred, to as (57) ⇤ | | R | | ⇤ Z n=0 | | | | where Kaluza–Klein (KK)X6 modes. ⇣ ⌘ Z h n i2 (n) (0)4 (n) 2 (n) 2 We see that(0) the above actionThis reduction corresponds of to a a 5D 4D theory with to a aS 4D massless4 theory= scalar allows d x oneand2⇡ aRM to tower treat of 5D theories@µ as+ 4D field theories.+ quartic couplings . (58) (n) 4(0) (0) 2 2 (0) 4 (n) ⇤ | | R | | massive modesS4 This=. The is very field d usefulx 2will⇡RM since be referred we@µ know to as the much+ zero-mode,g5 more about while, 4DZwill theories be referred than to 5Dn as=0 theories. At low(57) energies (large ⇤ | | | | X6 ⇣ ⌘ Kaluza–Klein (KK)distances) modes.Z we know that massive states in 4D theories can be neglected. Therefore the effective theory h n i2 This reduction(n) of a 5D theory4 to a 4D theory allowsWe( onen see) 2 to that treat the 5D theories above(n) as2 action 4D field corresponds theories. to a 4D(0) theory with a massless scalar (0) and a tower of S4 at= energies belowd x 2⇡1RM/R is described@µ by the+ zero-mode Eq. (+57 quartic). After normalizingcouplings . , we(58) obtain from This is very useful since we know much more⇤ about 4D| massive theories| than modes 5DR theories. (n| ). The At| low field energies (0) (largewill be referred to as the zero-mode, while (n) will be referred to as Eq. (57) Z n=0 ⇣ ⌘ distances) we know that massive states in 4DX theories6 Kaluza–Klein can be neglected. (KK) Therefore modes. the effective theory at energies below 1/R is described by the zero-mode Eq.(0) (57). After normalizing4 (0) (0)2, we obtain2 (0) from4 S4 = d x @µ + g4 , (0) (59) WeEq. (57 see) that the above action corresponds to a 4DThis theory reduction with| a of massless| a 5D theory| scalar| to a 4Dand theory a tower allows of one to treat 5D theories as 4D field theories. (n) (0) Z h (n)i massive modes . The field(0) will4 be referred(0) 2 2 to(0) as4 the zero-mode, while will be referred to as where the 4DS4 self-coupling= d x @ isµ givenThis+ by isg4 very useful, since we know much(59) more about 4D theories than 5D theories. At low energies (large | | | | 2 Kaluza–Klein (KK) modes. Z h distances) wei2 know thatg5 massive states in 4D theories can be neglected. Therefore the effective theory where the 4D self-coupling is given by g4 = . (60) (0) This reduction of a 5D theory to a 4Dg2at theory energies allows below one21⇡/R toRM treatis described 5D theories by the as 4D zero-mode field theories. Eq. (57). After normalizing , we obtain from g2 = 5 . ⇤ (60) This is very usefulThis equation since we tells know us much that4 the more2⇡RM strengthEq. about (57) 4D of the theories interaction than 5D of theories. the zero-mode At low decreases energies (large as the radius in- ⇤ distances)This equation we tells know us that that the massive strength of states the interaction in 4D theories of the zero-mode can be decreases neglected. as the Therefore radius(0) in- the effective4 (0) theory2 2 (0) 4 creases. If R is large, the scalar is weakly coupled. S4 = d x @µ + g4 , (59) creases. If R is large, the1/R scalar is weakly coupled. (0) | | | | at energies below Theis general describedWe features by can the described zero-modedescribe above Eq. 5D for (57 atheories). 5D After scalar normalizing will as also 4D hold onesZ for, we gaugeh obtain fields from and gravity.i The general features described• above for a 5D scalar will also hold for gauge fields and gravity. Eq. (57) After Kaluza–Klein reduction, wewhere will the have 4D a self-coupling4D theory with is a given massless by gauge field and a graviton: After Kaluza–Klein reduction, we will have a 4D theory with a massless gauge field and a graviton: 2 (0) 4 (0) 2 2 (0) 4 2 g5 S4 = d x @µ +2 g4 , g4 = (59). (60) M 2 1 | M| | 1 | 2⇡RM d4xdyM + 4F MNF MN ⇤ Z d2xdyMh MN ⇤ + 2 Fi FMN ⇤ ⇤ 2 R 4g5 ⇤ 2 R 4g where the 4D self-couplingZ is given by Z This equation tells us that5 the strength of the interaction of the zero-mode decreases as the radius in- 4 2 (0)creases.2⇡R If(0)g2Rµ⌫ is(0) large, the scalar2⇡R is weakly coupled. = d xM ⇡RM +2 4 2 F 5 Fµ⌫ 2+ ...(0) (0) µ⌫ (0) Same⇤ =for⇤ R ggauge4 d=4xMg5 fields⇡RM. and +graviton:2 F Fµ⌫ + ... (60) Z• 2⇡RM⇤ ⇤ R 4g 1 Z 1 The general features described5 above for a 5D scalar will also hold for gauge fields and gravity. d4x (0) + F (0) µ⌫F (0)⇤ + ... , After2 Kaluza–Kleinµ1⌫ reduction,1 we will(61) have a 4D theory with a massless gauge field and a graviton: This equation tells us⌘ that the strength16⇡GN R of the4g interaction44 of the(0) zero-mode(0) µ decreases⌫ (0) as the radius in- Z d x + 2 F Fµ⌫ + ... , (61) ⌘ 16⇡GN R 4g creases.(0) If R is large, the scalar is weakly coupled. 4 (0) 2 where is the 4D scalar-curvature containing theZ zero-mode (massless) graviton, and F 4 is the M 1 MN RThe general features described above for a 5D scalar will also hold ford xdyM gauge fields⇤ and+ gravity.F FMN gauge field-strengthwhere of the zero-mode(0) is the (massless) 4D scalar-curvature gauge boson. From containing Eq. (61) we the read zero-mode (massless)⇤ 2 graviton,R 4g and2 F (0) is the After Kaluza–KleinR reduction, we will have a 4D theory with a masslessZ gauge field and a graviton:5 gauge field-strength of the zero-modeg2 (massless) gauge boson. From Eq. (61) we read 2⇡R g2 = 5 , g4 is 4D4(62) gauge coupling2 (0) (0) µ⌫ (0) 4 = d xM ⇡RM + 2 F Fµ⌫ + ... 2⇡RM 2 ⇤ ⇤ R 4g 4 M⇤ 1 MN 2 GN is 4D Newton constant 5 d xdyM ⇤ + F2 FMNg5 Z for the 4D gauge coupling, and ⇤ 2 R 4g2g4 = , 1 1 (62) 1 5 2⇡RM d4x (0) + F (0) µ⌫F (0) + ... , (61) Z G = , 2 µ⌫ N 2 3 strength⇤ ⌘ of interaction(63) 16⇡G NsuppressedR 4g by 4 16⇡ RM 2 (0) 2⇡R (0) µ⌫ (0)Z 4 for the 4D gauge= coupling,d xM and⇡RM⇤ + 2 F Fradiusµ⌫ + of... extra dimension ⇤ ⇤ R (0) 4g5 (0) Z 26 where is the 4D1 scalar-curvature containing the zero-mode (massless) graviton, and F is the R GN = , (63) 4 1gauge(0) field-strength1 16(0)⇡ ofµ2⌫RM the(0) zero-mode3 (massless) gauge boson. From Eq. (61) we read d x + 2 F Fµ⌫⇤ + ... , (61) ⌘ 16⇡GN R 4g4 Z 116 g2 26 g2 = 5 , (62) where (0) is the 4D scalar-curvature containing the zero-mode (massless) graviton, and4 F2(0)⇡RMis the R ⇤ gauge field-strength of the zero-mode (massless) gauge boson. From Eq. (61) we read for the 4D gauge coupling, and 2 1 2 g5 GN = , (63) g4 = , 16⇡2RM(62)3 2⇡RM ⇤ ⇤ for the 4D gauge coupling, and 26 1 G = , (63) N 16⇡2RM 3 ⇤ 26 for the 4D Newton constant. Again, as in Eq. (60), the strength of the interaction is suppressed by the length of the extra dimension. Let us now imagine that we live in 5D. From Eqs. (62) and (63) we learn the following. Since the 2 2 gauge couplings g4 = (1) and g5 . 1 (in order to have a perturbative theory) we have from Eq. (62) IfO we lived in 5D, then g5 should be perturbative, but from the that • 4D perspective g4 should be strongly1 interacting ➝ R . (64) ⇠ M ⇤ On the other hand, using the relation G 1/R(8⇡M1/M2 ), where M =2.4 1018 GeV is from now on N ⌘ ⇠ P ⇤ P ⇥ the reduced Planck scale, we have from Eq. (63) that
2 3 MP =2⇡RM . (65) ⇤ Equations (64) and (65 ) imply
1 32 R = lP 10 cm . (66) ⇠ MP ⇠ We have then reached• The the conclusioncompactification that ifradius we live is of in the 5D, order the radius of the ofPlanck the extralength dimension must be of order the Planck length(reducedlP ! This Planck extra mass) dimension will not be accessible to present or near-future experi- ments. This is the reason why experimentalists never paid attention to the existence of extra dimensions even though they were motivated theoretically a long time ago, e.g., from string theory. Let us finish this section with a comment on117 the scale M . Classically, we introduced this scale ⇤ based on dimensional grounds. At the quantum level, however, this scale has a similar meaning as MP in 4D gravity or 1/pGF in Fermi theory. It represents the cutoff ⇤ of the 5D theory. We do not know how to quantize the 5D theory above M , since amplitudes such as grow with the energy as ⇤ ! E/M . ⇠ ⇤
10 Large extra dimensions for gravity In 1998 Arkani-Hamed, Dimopoulos, and Dvali (ADD) proposed a different scenario for extra dimen- sions [42]. Motivated by the weakness of gravity, they considered that only gravity was propagating in the extra dimension. As we already saw, the effective 5D theory at distances larger than R is a theory of 4D gravity with a GN being suppressed by the length of the extra dimension. Then the smallness of GN can be considered a consequence of large extra dimensions. The key point to avoid the conclusion of Eq. (66) is that not all fields should share the same dimensions. In particular, gauge bosons should be localized in a 4D manifold. In 1995 string theorists realized that superstrings in the strong-coupling limit contain new solitonic solutions [45]. These solutions received the name of D-branes and consisted in sub-manifolds of dimen- sions D+1 (less than 10) with gauge theories living on them. From string theory we therefore learn that there can be theories where gravitons and gauge bosons do not share the same number of dimensions, giving realizations of the scenario proposed by ADD [46]. Let us then assume that gravity lives in more dimensions than the SM particles (leptons, quarks, the Higgs and gauge bosons), and study the implications of this scenario. First of all, we must find out how large the extra dimensions must be in order to reproduce the right value of GN . For d flat and compact extra dimensions, we have
2 2 4 d d M 4 d d M (0) d xd yM ⇤ = d xV M ⇤ + ... , (67) ⇤ 2 R ⇤ 2 R Z Z where V d is the volume of the extra dimensions. Hence we have
2 d 2+d MP = V M . (68) ⇤
27 • Gauge coupling in 5D has negative mass dimension ➝ non-renormalizable From 4D perspective this is due to the K-K modes accesible at the energy scale
• M is the cut-off of the theory, which we treat as an effective⇤ field theory below this mass scale
118 In D space time dimensions, this generalizes to
1 VD 4 2 = 2 (51) g4 gD
where Vn is the volume of the n dimensional compact space (e.g. an n sphere of radius r).
3.2.1 The electric (and gravitational) potential We apply Gauss’ law for the electric field E~ and the potential of a point charge Q:
1 1 E~ dS~ = Q E~ , :4D · )k k/R2 / R SI2 1 1 E~ dS~ = Q E~ , :5D · )k k/R3 / R2 In D space time dimensions, this generalizes to SI3
1 VThus,D 4 the apparent behaviour of the force depends upon whether we are sensitive to the extra dimension 2 = or2 not: if we test the force at distances smaller than(51) its size (i.e. at energies high enough to probe such g4 gD small distance scales), it falls off as 1/R3: the field lines have an extra dimension to travel in. If we test 2 where Vn is the volume of the n dimensional compactthe space force (e.g. at larger an n distancessphere of than radius the sizer). of the extra dimension, we obtain the usual 1/R law. • Gauss’ law for the electricIn Dfieldspace and time dimensionspotential of a point charge 3.2.1 The electric (and gravitational) potential 1 1 E~ , . (52) ~ D 2 D 3 We apply Gauss’ law for the electric field E and the potential of a point charge Q: k k/R / R 1 If one dimension is compactified (radius r) like in M4 S , then we have two limits 1 1 ⇥ E~ dS~ = Q E~ , :4D · )k k/R2 / R 1 I2 3 : R
3.2.2 Sketch of Compactified Gravitation 25
The spin 2~ graviton GMN becomes the 4D graviton gµ⌫, some gravivectors Gµn and some graviscalars Gmn (where m, n =4,...,D 1), along with their infinite Kaluza-Klein towers. The Planck mass 2 D 2 D 2 D 4 squared MPl = M VD 4 M r is a derived quantity. Fixing D, we can fix MD and r to get D ⇠ D the correct result for M 1019 GeV. So far, we require M > 1 TeV and r<10 16cm from Standard Pl ⇠ D Model measurements since no significant confirmed signature of extra dimensions has been seen at the time of writing.
3.3 Brane Worlds In the brane world scenario, we are trapped on a 3+1 surface in a D +1dimensional bulk space-time (see Fig. 18). There are two cases here: large extra dimensions and warped space-times. Since gravity itself is so weak, the constraints on brane world scenarios are quite weak: the extra dimension is constrained to 16 be of a size r<0.1 mm or so, potentially much larger than the 10 cm of the Standard Model, hence the name large extra dimensions.
25 for the 4D Newton constant. Again, as in Eq. (60), the strength of the interaction is suppressed by the length of the extra dimension. Let us now imagine that we live in 5D. From Eqs. (62) and (63) we learn the following. Since the gauge couplings g2 = (1) and g2 1 (in order to have a perturbative theory) we have from Eq. (62) 4 O 5 . that 1 R . (64) ⇠ M ⇤ On the other hand, using the relation G 1/(8⇡M 2 ), where M =2.4 1018 GeV is from now on N ⌘ P P ⇥ the reduced Planck scale, we have from Eq. (63) that
2 3 MP =2⇡RM . (65) ⇤ Equations (64) and (65) imply 1 32 R = lP 10 cm . (66) ⇠ MP ⇠ We have then reached the conclusion that if we live in 5D, the radius of the extra dimension must be of order the Planck length lP ! This extra dimension will not be accessible to present or near-future experi- ments. This is the reason why experimentalists never paid attention to the existence of extra dimensions even though they were motivated theoretically a long time ago, e.g., from string theory. Let us finish this section with a comment on the scale M . Classically, we introduced this scale ⇤ based on dimensional grounds. At the quantum level, however, this scale has a similar meaning as MP in 4D gravity or 1/pGF in Fermi theory. It represents the cutoff ⇤ of the 5D theory. We do not know how to quantize the 5D theory above M , since amplitudes such as grow with the energy as ⇤ ! E/M . ⇠ ⇤
10 Large extra dimensions for gravity In 1998 Arkani-Hamed, Dimopoulos, and Dvali (ADD) proposed a different scenario for extra dimen- sions [42]. Motivated by the weakness of gravity, they considered that only gravity was propagating in the extra dimension. As we already saw, the effective 5D theory at distances larger than R is a theory of 4D gravity with a GN being suppressed by the length of the extra dimension. Then the smallness of GN can be considered a consequence of large extra dimensions. The key point to avoid the conclusion of Eq. (66) is that not all fields should share the same dimensions. In particular, gauge bosons should be localized in a 4D manifold. In 1995 string theorists realized that superstrings in the strong-coupling limit contain new solitonic solutions [45]. These solutions received the name of D-branes and consisted in sub-manifolds of dimen- sions D+1 (less than 10) with gauge theories living on them. From string theory we therefore learn that there can be theories whereLarge gravitons and extra gauge bosons dimensions do not share the same number of dimensions, giving realizations of the scenario proposed by ADD [46]. Let• us thenSimilarly assume for that the gravity gravitational lives in more fields dimensions than the SM particles (leptons, quarks, the Higgs andG gaugeMN in bosons), 5D becomes and study the the graviton implications gμν, gravivectors of this scenario. Gμ Firstn and of all, we must find out how large thegraviscalars extra dimensions Gmn must be in order to reproduce the right value of GN . For d flat and compact extra dimensions, we have Is it possible to solve the hierarchy problem with large extra • 2 2 dimensions? 4 d d M 4 d d M (0) d xd yM ⇤ = d xV M ⇤ + ... , (67) ⇤ 2 R ⇤ 2 R • The PlanckZ mass is now a derivedZ quantity, in d dimensions, V is the where V d is thevolume volume of the extra dimensions. Hence we have d d For a toroidal compactification we have V =(22 ⇡dR) 2+. Followingd Ref. [42], we will absorb the factors 11 MP = V M . (68) 2⇡ in M and rewrite Eq. (68) as ⇤ ⇤ 2 d 2 MP =(RM ) M . (69) ⇤ ⇤ Note that Eq. (64) does not apply since gauge bosons27 do not live in 5D. Let us fix M slightly above ⇤ the electroweak• Gravity scale M lives TeVin more to avoid dimensions introducing than a new the scalegauge (this bosons, is a nullification it of the hierarchy ⇤ ⇠ problem). In suchpropagates a case we in have the fromextra Eq. dimensions, (69) a prediction thus explaining for R: the gravitational couplings smallness compared to the other couplings d =1 R 109 km , ! ⇠ d =2 R 0.5 mm , ! 120 ⇠ . . d =6 R 1/(8 MeV) , ! ⇠ The option d =1is clearly ruled out. For d =2we expect changes in Newton’s law at distances below the mm. Surprisingly, as we will show below, we have not measured gravity at distances below 0.1 mm. This is due to the fact that Van der Waals forces become comparable to gravity at distances ⇠ around 1 mm, making it very difficult to disentangle gravity effects from the large Van der Waals effects. So the option d =2is being tested today at the present experiments. Larger values of d are definitely allowed.
10.1 Phenomenological implications What are the implications of this scenario? Let us concentrate on the case d =2. At distances shorter than 1 mm, we must notice that gravity lives in 6D. To study the effects of a 6D gravity, we will again Fourier decompose the 6D graviton field, hµ⌫(x, y1,y2). For example, if y1 and y2 are compactified in a torus, we have the Fourier decomposition
1 1 i(n1y1+n2y2)/R (~n) hµ⌫(x, y1,y2)= e hµ⌫ (x) , (70) n1= n2= X 1 X 1 (~0) (~n) where ~n =(n1,n2). The state hµ⌫ is our massless graviton, while hµ⌫ with ~n =0are the KK states 2 2 62 2 that, from a 4D point of view, are massive particles of masses m~n =(n1 + n2)/R . Therefore we can describe this 6D theory as a 4D theory containing a massless graviton and a KK tower of graviton states. There are also the KK states for the components hµ5, hµ6, h65, h55, and h66. Nevertheless, since matter is assumed to be confined in a 4D manifold at y =0, we have that the energy-momentum µ ⌫ tensor has only 4D components, TMN = ⌘M ⌘N Tµ⌫ (y). Hence these extra states do not couple to the energy-momentum tensor of matter. The situation is a little bit more subtle for the ‘dilaton’ field that corresponds to a combination of hMN M,N =5, 6. Although it does not couple to Tµ⌫, it mixes with the graviton. This mixing can be eliminated by a Weyl transformation. Nevertheless, after the Weyl rotation, appears to be coupled to the trace of Tµ⌫. This coupling is usually smaller than those between gravitons and matter (in fact, it is zero for conformal theories) and therefore we will neglect it. The effective Lagrangian for the KK gravitons, after normalizing the kinetic term of the gravitons is given by
1 2 ( ~n)µ⌫ (~n) ( ~n)µ (~n)⌫ 1 (~n) µ⌫ KK = kin m~n h h µ⌫ h µh ⌫ + h Tµ⌫ , (71) L L 2 MP ~n=0 X6 ⇣ ⌘ (~n) where is the kinetic term of the gravitons. The KK states hµ⌫ will modify the gravitational in- Lkin teraction at E>1/R. Since they couple to matter with a strength 1/M , we have that at energies ⇠ P 11 2 6 2 4 In string theory, where Mst plays the role of M , we have for d =6that MP =2⇡(RMst) Mst/g4 . ⇤
28 E>1/R, the (dimensionless) gravitational strength squared grows as
ER ER E2 E2 E 4 g2 (ER)2 , (72) grav ⇠ M 2 ⇠ M 2 ⇠ M n =0 n =0 P P X1 X2 ✓ ⇤ ◆ 2 where in the last equality we have used Eq. (69). Note that ggrav becomes (1) at energies M . There- O ⇤ fore M is the scale at which quantum gravity effects are important. The generalization to d extra ⇤ dimensions is given by E 2+d g2 . (73) grav ⇠ M ✓ ⇤ ◆ With Eq. (72) we can easily estimate any gravitational effect in any experimental process that we can imagine.
E>1/R, the (dimensionless) gravitational strength squared grows as Fig. 15: Upper limits on forces of the form of Eq. (74)[47] ER ER E2 E2 E 4 g2 (ER)2 , (72) grav ⇠ M 2 ⇠ M 2 ⇠ M n =0 n =0 P P X1 X2 ✓ ⇤ ◆ 2 where in the last equality we have used Eq. (69). Note that ggrav becomes (1) at energies M . There- O ⇤ fore M is the scale at which quantum gravity effects are important. The generalization to d extra 10.1.1 Measuring the gravitational force at millimetre distances⇤ dimensions is given by E 2+d The KK of the graviton give rise to new forces. Since they are massive particles they produceg2 a Yukawa-. (73) KK tower of graviton ➝ grav ⇠ M type force. For the first KK• (n = 1,n =0and n =0,n = 1) of masses 1/R, this✓ force⇤ ◆ is given new1 ± forces2 1 With2 Eq.± (72) we can easily estimate any gravitational effect in any experimental process that we can by imagine. m1m2 r/ FKK(r)= ↵GN e , (74) r where ↵ = 16/3 for a 2-torus compactification and = R. Searches for new forces have been carried out at several experiments. Nevertheless, the bounds on ↵ are very weak at distances r below 0.1 mm. ⇠ In Fig. 15 we plot the presentλ experimental= R, α constant bounds on ↵ofand . The value of R 0.5 mm, expected ⇠ for M TeV and d =2, is ruled out. Therefore the case d =2is only at present allowed if M & 3 ⇤ ⇠ compactification type ⇤ TeV [47]. • If we assume M* above 1TeV: 29 • For d=1 ➝ R~ 109 km ➝ d=2 R~ 0.5 mm Fig. 15: Upper limits on forces of the form of Eq. (74)[47] d = 2 is ruled out, unless • 10.1.1 Measuring the gravitational force at millimetre distances The KK of the graviton give rise to new forces. Since they are massive particles they produce a Yukawa- M* > 3 TeV type force. For the first KK (n = 1,n =0and n =0,n = 1) of masses 1/R, this force is given E. G. Adelberger,1 J. ±H. Gundlach,2 B. R. Heckel1 et al.,2 Prog.± Part. Nucl. Phys. 62 (2009) 102–134. by m1m2 r/ F (r)= ↵G e , (74) KK N r where ↵ = 16/3 for a 2-torus compactification and = R. Searches for new forces have been carried out at several experiments. Nevertheless, the bounds on ↵ are very weak at distances r below 0.1 mm. 121 ⇠ In Fig. 15 we plot the present experimental bounds on ↵ and . The value of R 0.5 mm, expected ⇠ for M TeV and d =2, is ruled out. Therefore the case d =2is only at present allowed if M & 3 ⇤ ⇠ ⇤ TeV [47].
29 Superstrings and branes more symmetries, more unification, more particles, more dimensions • Particles are excitations of • Duality relates strongly vibrating strings coupled to weakly coupled theories • Branes are p-dimensional surfaces in space time • Could be ultimate unification • Many require SUSY • Require extra space-time dimensions for consistency • Similar idea as K-K compactification • Many ways to compactify these extra dimensions • Spectrum includes a graviton 122 • Adding more dimensions we extend the Poincaré symmetries of SM and general coordinate transformations of general relativity, to each
• Superstring theory also requires extra dimensions 10 for heterotic string, 11 for supergravity and M theory
• Why don’t we perceive them?
• They are compactified or
Fig. 16: Picture of different extra-dimensional set-ups: the brane (on the left), where in string theory SM states appear as open strings whose ends end upon the brane but gravitons appear as close string states in the bulk, or compactification (on the right), in this example we have taken the example of a circle S1 times ordinary 4- dimensional Minkowski space M 4. Fig. 18: Force field lines feel the effect of the extra dimensions. Here we show a 3+1 dimensional brane, where gravity spreadsWe into the extralive dimension on and feels a its brane effect. — bulk of space time lives in D+3+1 dimensions, but • 3.1 Compactification and a Scalar Field in 5 Dimensions 3.3.1 LargeSM extra dimensions(us) are fixed to a braneTaking = compactified 3+1 dimensional extra dimensions as an example,hyper consider surface. a massless five dimensional (5D) scalar There is the possibility to try to solve the hierarchy problem with the large extra dimensionsfield (i.e. scenario a scalar if field living in a 5-dimensional bulk space-time) '(xM ),M =0, 1,...,4 with action we put M 1 TeV. The idea is that this is the fundamental scale: there is no high scale associated with DGravity⇠ moves through space-time, i.e. all dimensions. We don’t. MPl fundamentally - it is an illusion caused by the presence of the extra dimensions. In 5D for example, 5 M D 2 8 = d x@ '@ '. (43) MPl2 = M VD 4 r 10 km, clearly ruled out by observations. Already in 6D though, r =0.1 5D M D ) ⇠ S mm - consistent with experiments that measure the gravitational force on small distance scales. This Z rephrases the hierarchy problem to the question “why are the extra dimensions so largeWe singlecompared the with extra dimension out by calling it x4 = y. y defines a circle of radius r with y y +2⇡r. 16 10 cm?” 1 ⌘ Our space time is now M4 S . Periodicity in the y direction implies that we may perform a discrete Graviton phenomenology: each Kaluza-Klein mode couples weakly 1/MPl, but there are so ⇥ / Fourier expansion many modes that after summing over them, you end up with 1/MD suppression only! One can approxi- 123 mate them by a continuum of modes with a cut-off. The graviton tower propagates into the bulk and takes µ 1 µ iny away missing momentum leading to a pp j + p~miss signature (for example) by the process shown in '(x ,y)= 'n(x )exp . (44) ! T r Fig. 19. n= ✓ ◆ X 1 Notice that the Fourier coefficients are functions of the standard 4D coordinates and therefore are (an 3.3.2 Warped (or ‘Randall-Sundrum’ space-times infinite number of) 4D scalar fields. The equations of motion for the Fourier modes are the (in general Warped space-times are where the metric exponentially warps along the extra dimensionmassive)y: Klein-Gordon wave equations 2 ky µ ⌫ 2 ds = e | |⌘µ⌫dx dx + dy . (54) 2 M 1 µ n µ iny The metric changes from y =0to y = ⇡r via ⌘ e k⇡r⌘ . Here, we set M = M , but this gets @ @M ' =0 @ @µ 2 'n(x )exp =0 µ⌫ 7! µ⌫ D Pl ) r r warped down to the weak brane: n= ✓ ◆ ✓ ◆ X 1 k⇡r 2 ⇤⇡ MPle (TeV), (55) n ⇠ ⇠ O µ µ µ = @ @µ'n(x ) 2 'n(x )=0. (45) if r 10/k. Here, k is of order M and so we have a small extra dimension, but the warping explains ) r ⇠ Pl the smallness of the weak scale. Note that we still have to stabilize the separationThese between are the branes, then an infinite number of Klein Gordon equations for massive 4D fields. This means that each which can involve extra tuning unless extra structure is added to the model. 2 n2 Fourier mode 'n is a 4D particle with mass m = 2 . Only the zero mode (n =0) is massless. One can The interaction Lagrangian is n r = Gµ⌫T /⇤ , visualize the(56) states as an infinite tower of massive states (with increasing mass proportional to n). This is LI µ⌫ ⇡ where T is the stress energy tensor, containing products of the other Standard Modelcalled fields. a Kaluza⇤ Klein tower and the massive states (n =0) are called Kaluza Klein-states or momentum µ⌫ ⇡ ⇠ 6 (TeV), so the interaction leads to electroweak-strength cross sections, not gravitationallystates, sincesuppressed they come from the momentum in the extra dimension: O ones. Thus, the LHC can produce the resonance: one will tend to produce the lightestIn one order most tooften, obtain as the effective action in 4D for all these particles, let us plug the mode expansion of ' 26 Eq. 44 into the original 5D action Eq. 43: 2 4 1 µ µ µ n 2 = d x dy @ ' (x ) @ ' (x )⇤ ' S5D n µ n r2 | n| n= ✓ ◆ Z Z X 1 23 124 Fig. 18: Force field lines feel the effect of the extra dimensions. Here we show a 3+1 dimensional brane, where gravity spreads into the extra dimension and feels its effect.
3.3.1Fig. Large 18: extraForce field dimensions lines feel the effect of the extra dimensions. Here we show a 3+1 dimensional brane, where gravity spreads into the extra dimension and feels its effect. There is the possibility to try to solve the hierarchy problem with the large extra dimensions scenario if we put MD 1 TeV. The idea is that this is the fundamental scale: there is no high scale associated with 3.3.1⇠ Large extra dimensions MPl fundamentally - it is an illusion caused by the presence of the extra dimensions. In 5D for example, ThereD is2 the possibility to try8 to solve the hierarchy problem with the large extra dimensions scenario if MPl2 = MD VD 4 r 10 km, clearly ruled out by observations. Already in 6D though, r =0.1 we put M 1 TeV.) The⇠ idea is that this is the fundamental scale: there is no high scale associated with mm - consistentD with⇠ experiments that measure the gravitational force on small distance scales. This MPl fundamentally - it is an illusion caused by the presence of the extra dimensions. In 5D for example, rephrases the hierarchyD 2 problem to8 the question “why are the extra dimensions so large compared with MPl2 = M VD 4 r 10 km, clearly ruled out by observations. Already in 6D though, r =0.1 16 D ) ⇠ 10 cm?”mm - consistent with experiments that measure the gravitational force on small distance scales. This Gravitonrephrases the phenomenology: hierarchy problem each to the Kaluza-Klein question “why mode are the couples extra dimensions weakly so large1/M comparedPl, but there with are so 16 10 cm?” / many modes that after summing over them, you end up with 1/MD suppression only! One can approxi- Graviton phenomenology:Warped each Kaluza-Klein extra dimensions mode couples weakly 1/M , but there are so mate them by a continuum of modes with a cut-off. The graviton tower propagates/ Pl into the bulk and takes 1/M away missingmany modes momentum that after leading summing to over a pp them, youj + endp~miss up withsignatureD (forsuppression example) only! by One the can process approxi- shown in mate them by a continuum of modes with! a cut-off.T The graviton tower propagates into the bulk and takes Fig. 19.away missing momentum leading to a pp j + p~miss signature (for example) by the process shown in ! T Fig. 19. • 5th dimension bounded by two (3+1) branes 3.3.2 Warped (or ‘Randall-Sundrum’ space-times 3.3.2 Warped (or• ‘Randall-Sundrum’Warped space-times, space-times the metric warps exponentially Warped space-times are wherealong thethe metricextra dimension exponentially warps along the extra dimension y: Warped space-times are where the metric exponentially warps along the extra dimension y: 2 ky µ ⌫ 2 ds =2 e | ky|⌘µ⌫dxµ dx⌫ + dy2 . (54) ds = e | |⌘µ⌫dx dx + dy . (54)
MD = MPlanck, but it gets warpedkk⇡ ⇡rdownr to eW scale, The metricThe metric changes changes from• fromy =0y =0to yto=y =⇡r⇡rviavia⌘⌘µµ⌫⌫ ee ⌘µ⌘⌫µ.⌫ Here,. Here, we we set M setD M= DMPl=,M butPl this, but gets this gets r~10/k, k~ Planck scale 7!7! small extra dimension warpedwarped down todown the to weak the weak brane: brane: ⟹
k⇡r ⇤⇡ MPle k⇡r (TeV), (55) ⇤⇡ ⇠M e ⇠ O (TeV), (55) ⇠ Pl ⇠ O if r 10/k. Here, k is of order MPl and so we have a small extra dimension, but the warping explains if r 10/k⇠. Here, k is of order M and so we have a small extra dimension, but the warping explains ⇠ the smallness of the weak scale.Pl Note that we still have to stabilize the separation between the branes, the smallnesswhich can of involve the weak extra scale. tuning Note unless that extra we structure still125 have is added to stabilize to the model. the separation between the branes, which can involveThe interaction extra tuning Lagrangian unless is extra structure is added to the model. = Gµ⌫T /⇤ , (56) The interaction Lagrangian is LI µ⌫ ⇡ µ⌫ where Tµ⌫ is the stress energy tensor, containing= G productsT /⇤ of the, other Standard Model fields. ⇤⇡ (56) I µ⌫ ⇡ ⇠ (TeV), so the interaction leads to electroweak-strengthL cross sections, not gravitationally suppressed where TO is the stress energy tensor, containing products of the other Standard Model fields. ⇤ ones.µ⌫ Thus, the LHC can produce the resonance: one will tend to produce the lightest one most often, as ⇡ ⇠ (TeV), so the interaction leads to electroweak-strength cross sections, not gravitationally suppressed O ones. Thus, the LHC can produce the resonance: one26 will tend to produce the lightest one most often, as
26 Planck brane is warped down to weak brane. Higgs and other fields live on the weak brane
Gravity may propagate in the extra dimension ⟹ might produce a TeV resonance that is detectable — “RS graviton”
126 Electricidad
Magnetismo Electromagnetismo
Luz Interacción electrodébil
Decaimiento beta Interacción débil Neutrinos ¿GUT? Modelo Estándar
¿Teoría Protones Unificada?
Neutrones Interacción fuerte ¿SUSY?
Piones
Gravitación Gravedad terrestre ¿Supercuerdas? universal Relatividad general Mecánica celestial Geometría del espacio-tiempo
127 Multi-Higgs models more particles
• 2HDM without SUSY • Complex MSSM ℂMSSM • widely studied • different versions • More sources of CP depending on how violation they couple to the other SM particles • Candidates for dark matter, with some • 3 or more HDM also discrete symmetry possible • Might give explanation • Extra singlet Higgs for the mass models NMSSM hierarchies and mixing of quarks and leptons
128 recent talk by Strocchi [174], where he reiterates the basic points exposed al length in his book [175].
3. Two-Higgs-doublet models 3.1. Several Higgs doublets: generic features Within the SM, the single Higgs doublet is overstretched. It takes care simultaneously of the masses of the gauge bosons and of the up and down-type fermions. N-Higgs-doublet models (NHDM), which are among the simplest extensions of the SM Higgs sector, relax this requirement. They are based on the simple suggestion that the notion of generations can be brought to the Higgs sector. Since the gauge structure of the SM does not restrict the number of Higgs “generations”, it needs to be established experimentally, and anticipating future experimental results, one can investigate this possibility theoretically. As a bonus, NHDMs lead to remarkably rich phenomenology. They allow for signals which are impossible within the SM, such as several Higgs bosons, charged and neutral, modification of the SM-like Higgs couplings, FCNC at tree level, additional forms of CP-violation from the scalar sector, and opportunities for cosmology such as scalar DM candidates and modification of the phase transitions in early Universe. Also, many bSM models including supersymmetry (SUSY), gauge unification models, andN-Higgs even string theory doublet constructions models naturally — lead NHDM to several Higgs doublets at the electroweak scale. The NHDM lagrangian• Add more uses NcomplexHiggs doublets scleras electroweaki (we now switch doublets to the small Greek letter for the doublets), i =1,...,NAll, allwith having same the hyper same charge hypercharge Y=1 Y =1.Thisechoesinthescalarpotentialand Yukawa interactions. The renormalizable Higgs self-interaction potential can generically be written as
V ( )=Yij i† j + Zijkl( i† j)( k† l) . (38)
The hermiticity of V N implies 2 + N 2 ( thatN 2 + the 1) / 2 coe realcients parameters: satisfy Yij = Yji⇤, Zijkl = Zjilk⇤ , Zklij = Zijkl.For • 2 2 2 N doublets, the general12 for potential 2HDM, contains 54 for N3HDM…+ N (N +1)/2 real parameters: 14 for 2HDM, 54 for 3HDM, etc. These parameters must also comply with the requirements that the potential be bounded from below to insure• Potential existence ofmust the globalbe bounded minimum by andbelow, that no the charge minimum or becolour neutral and not charge- breaking, which is anotherbreaking exotic minima possibility absent in the SM. The values of the quartic coe cients Zijkl cannot be too large in order not to overshoot the perturbative unitarity bounds [176, 177]. The Yukawa sector is given• Must by Nrespectcopies unitarity of Eq. (31): bounds ¯ ¯ ¯ ˜ Y = L⇧i` i + QL idR ➝i + QL iuR i + h.c. (39) • Can have L CP breaking minima baryogenesis (or disaster) where we suppressed the fermion flavor indices. In the most general case, all matrices ⇧i, i, i are independent, with the number of free parameters skyrocketing129 to 54N. Even though many of them can be removed by a scalar and fermion space basis change, the dimension of the physical parameter space remains huge. Once the scalar potential is written, the procedure for the SSB closely follows the SM. One minimizes the potential and performs the global symmetry transformation to bring the vevs to the following form:
1 u 1 0 1 = , i = ,i=2,...,N. (40) h i p2 v1 h i p2 vi ✓ ◆ ✓ ◆ In order for the vacuum to be neutral, not charge-breaking, u must be zero. There is no fine-tuning associated with this requirement; neutrality of the vacuum can be guaranteed if the coe cients in front of terms ( i† i)( j† j) ( i† j)( j† i)arepositive.Sincealldoubletscoupletothegauge-bosonsinthe 2 2 2 same way, the W and Z masses are determined by the single value v = v1 + + vN , and, just as in the SM, the ⇢-parameter remains equal to one at tree level. Inserting the scalar··· vevs| | in the Yukawa sector (39) produces the fermion mass matrices: 1 1 1 M = ⇧ v ,M= v ,M= v⇤ . (41) ` p i i d p i i u p i i 2 i 2 i 2 i X X X 18 2HDM • Most studied, experimental limits exist • 4 parameters in the quadratic part 10 parameters (6 real, 4 complex) in the quartic part • Again: minimum must be bounded from below, neutral and satisfy perturbative unitarity bounds The Higgs potential of the most general 2HDM is conventionally parametrized as 2 2 2 2 1 2 2 2 V = m11 1† 1 + m22 2† 2 m12 1† 2 (m12)⇤ 2† 1 + ( 1† 1) + ( 2† 2) 2 2 5 2 5⇤ 2 + ( † )( † )+ ( † )( † )+ ( † ) + ( † ) 3 1 1 2 2 4 1 2 2 1 2 1 2 2 2 1
+ 6( 1† 1)( 1† 2)+ 7( 2† 2)( 1† 2)+h.c. . (42) h i 2 2 2 It contains 4 independent free parameters in the quadratic part (real m11, m22 and complex m12)and 10 free parametersTo analyse in the quartic it: usually part (real impose 1,2,3,4 andsymmetries complex 5,6 ,7). Envisioning renormalization procedure,• [185, 186] argued that the most general 2HDM scalars sector should also include the o↵- µ diagonal kinetic terms {(Dµ 1)†(D 2)+h.c.. They can of course be eliminated by a non-unitary basis change at any given order of perturbation series so that does not enhance the space of physical 130 { possibilities. The parameters of potential (42) must satisfy stability constraints (the potential must be bounded from below), the neutrality of the vacuum, and, in order for the perturbative expansion to make sense and be reliable, perturbative unitarity constraints [176, 177]. Analyzing the most general 2HDM potential with the straightforward algebra is technically challenging, and in order to proceed further one either simplifies it by imposing symmetries or resorts to more elaborate mathematical methods.
3.2.1. Symmetries of the 2HDM scalar sector The number of free parameters can be reduced, and the model becomes analytically tractable, if one imposes additional global symmetries on the Higgs doublets. Anticipating the NFC principle for the Yukawa sector in 2HDM, one often considers the simplified 2HDM potential with 6 = 7 =0.The quartic part of this potential is then invariant under
Z2 : 1 1 , 2 2 , (43) ! ! 2 but the m12 term in the quadratic part, either real or complex, softly breaks this Z2 symmetry. With this simplified quartic potential, its stability in the strong sense [187] implies [188, 20]: