1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2: %%%% last modified on 21/02/2006 %%%%
3: %%%% last modified on 27/02/2006 %%%%
4: %%%% last modified on 22/03/2006 %%%%
5: %%%% last modified on 23/03/2006 %%%%
6: %%%% last modified on 24/03/2006 %%%%
7: %%%% last modified on 25/03/2006 %%%%
8: %%%% last modified on 27/03/2006 %%%%
9: %%%% last modified on 28/03/2006 %%%%
10: %%%% last modified on 30/03/2006 %%%%
11: %%%% last modified on 31/03/2006 %%%%
12: %%%% last modified on 11/04/2006 %%%%
13: %%%% last modified on 13/04/2006 %%%%
14: %%%% last modified on 15/04/2006 %%%%
15: %%%% last modified on 17/04/2006 %%%%
16: %%%% last modified on 21/06/2006 %%%%
17: %%%% last modified on 18/07/2006 %%%%
18: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
19: \documentclass[12pt,epsfig]{article}
20: %%
21: \usepackage{amsmath, amssymb}
22: %\usepackage{graphicx}
23: %\usepackage[dvips]{graphicx}
24: \usepackage[xdvi]{graphicx}
25: %\usepackage{showkeys}
26: %
27:
28: \def\lesssim{\mathrel{\mathpalette\vereq<}}
29: \def\gtrsim{\mathrel{\mathpalette\vereq>}}
30: \makeatletter
31: %
32: %%%%%%%%%%%%%%% NEW COMMAND %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
33: \def\tr{\mathop{\rm tr}\nolimits}
34: \def\Tr{\mathop{\rm Tr}\nolimits}
35: \def\diag{\mathop{\rm diag}\nolimits}
36: \def\min{\mathop{\rm min}\nolimits}
37: \makeatletter
38:
39: \newcommand{\VEV}[1]{\left\langle #1 \right\rangle}
40: \newcommand{\del}{\partial}
41: \newcommand{\drm}{{\rm d}}
42: \newcommand{\nn}{\nonumber}
43: \newcommand{\Mp}{M_P}
44: \newcommand{\order}[1]{{\cal O}(#1)}
45: \newcommand{\gst}{g_{\mbox{\scriptsize st}}}
46: \newcommand{\TeV}{\mbox{TeV}}
47: \newcommand{\GeV}{\mbox{GeV}}
48: \newcommand{\MeV}{\mbox{MeV}}
49: \newcommand{\ie}{{\it i.e.}}
50: \newcommand{\eg}{{\it e.g.}}
51: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
52: \newcommand{\E}[1]{$E_#1$}
53: \newcommand{\Z}[1]{Z$_#1$}
54: \newcommand{\abs}[1]{\left| #1 \right|}
55: \newcommand{\s}[1]{\widetilde{#1}}
56: \newcommand{\h}[1]{\widehat{#1}}
57: \newcommand{\cc}[1]{\overline{#1}}
58: \newcommand{\sub}[1]{$_{\mrm{#1}}$}
59: \newcommand{\eff}{{\mrm {eff}}}
60: \newcommand{\Yukawa}{{\mrm {Yukawa}}}
61: \newcommand{\SM}{{\mrm {SM}}}
62: \newcommand{\UV}{{\mrm {UV}}}
63: \newcommand{\IR}{{\mrm {IR}}}
64: \newcommand{\symm}{{\square\!\square}}
65: \newcommand{\antisymm}[1]{ \begin{array}{c}
66: \square\vspace{-#1mm}\\\square
67: \end{array}}
68: \newcommand{\Gsm}{$SU(3)$\sub C$\times SU(2)$\sub L$\times U(1)$\sub Y}
69: \newcommand{\Ga}{$SU(3)$\sub C$\times SU(2)$\sub L$\times SU(2)$\sub R
70: $\times U(1)$\sub{B-L}}
71: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
72: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
73: \newcommand{\bequ}{\begin{equation}}
74: \newcommand{\eequ}{\end{equation}}
75: \newcommand{\beqn}{\begin{eqnarray}}
76: \newcommand{\eeqn}{\end{eqnarray}}
77: \newcommand{\bctr}{\begin{center}}
78: \newcommand{\ectr}{\end{center}}
79: \newcommand{\bit}{\begin{itemize}}
80: \newcommand{\eit}{\end{itemize}}
81: \newcommand{\bmtrx}{\begin{pmatrix}}
82: \newcommand{\emtrx}{\end{pmatrix}}
83: \newcommand{\Ls}{\left(}
84: \newcommand{\Rs}{\right)}
85: \newcommand{\Lm}{\left\{}
86: \newcommand{\Rm}{\right\}}
87: \newcommand{\Ll}{\left[}
88: \newcommand{\Rl}{\right]}
89: \newcommand{\LL}{\left.}
90: \newcommand{\RR}{\right.}
91: \newcommand{\hsp}[1]{\hspace {#1cm}}
92: \newcommand{\vsp}[1]{\vspace {#1cm}}
93: \newcommand{\half}{{1\over2}}
94: \newcommand{\mrm}{\rm}
95: \newcommand{\II}{I$\!$I}
96: \newcommand{\III}{I$\!$I$\!$I}
97: \newcommand{\IV}{I$\!$V}
98: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
99: \newcommand{\sla}{/\!\!\!}
100: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
101: %
102: \setlength{\headheight}{0in} \setlength{\headsep}{0in}
103: \setlength{\topskip}{1ex} \setlength{\textheight}{8.5in}
104: \setlength{\textwidth}{6in} \setlength{\topmargin}{0.5cm}
105: \setlength{\oddsidemargin}{0.25in}\setlength{\evensidemargin}
106: {\oddsidemargin}
107: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
108: \begin{document}
109: %%%%%%%%%%%%%%%%%%%%%%%%%%%%
110: \begin{titlepage}
111: \begin{flushright}
112: ROMA1/1428/06 \\
113: SISSA 20/2006/EP \\
114: hep-ph/0603237
115: \end{flushright}
116: \vspace*{1cm}
117: %%%%%%%%%%%%%%%%%%% TITLE %%%%%%%%%%%%%%%%%%
118: \begin{center}
119: {\Large\bf Two-loop Calculation of Higgs Mass\\
120: [0.3cm]
121: in Gauge-Higgs Unification:} \\
122: [0.3cm]
123: {\large\bf 5D Massless QED Compactified on $S^1$}
124: \end{center}
125: %%%%%%%%%%%%%%%% AUTHORS %%%%%%%%%%%%%%%%%%%%%%%
126: \vspace{1cm}
127: \begin{center}
128: {\large Nobuhito {Maru}}$^{(a),}$
129: \footnote{E-mail: Nobuhito.Maru@roma1.infn.it}
130: and
131: {\large Toshifumi {Yamashita}}$^{(b),}$
132: \footnote{E-mail: yamasita@sissa.it},
133: \end{center}
134: %%%%%%%%%%%%%%%%%%%%%%% AFFILIATION %%%%%%%%%%%%
135: \vspace{0.2cm}
136: \begin{center}
137: %\small
138: ${}^{(a)}$ {\it Dipartimento di Fisica,
139: Universit\`a di Roma "La Sapienza" \\and INFN, Sezione di Roma,
140: P.le Aldo Moro 2, I-00185 Roma, Italy}
141: \\[0.5cm]
142: ${}^{(b)}${\it Scuola Internazionale Superiore
143: di Studi Avanzati \\ Via Beirut 4, I-34014 Trieste, Italy}
144: %%%%%%
145: \end{center}
146: %%%%%%%%%%%%%%%%%% ABSTRACT %%%%%%%%%%%%%%%
147: \vspace{1cm}
148: \begin{abstract}
149: We calculate the quantum corrections to the mass of the zero mode of
150: the fifth component of the gauge field at two-loop level
151: in a five dimensional massless QED compactified on $S^1$.
152: We discuss in detail how the divergences are exactly canceled
153: and the mass becomes finite.
154: The key ingredients to obtain the result are the shift symmetry
155: and the Ward-Takahashi identity.
156: %fact that the divergences arising from
157: %the wave function renormalization and the vertex correction at one-loop
158: %level are the same magnitude with an opposite sign as expected from
159: %Ward-Takahashi identity.
160: We also evaluate the finite part of corrections.
161: \end{abstract}
162: \end{titlepage}
163: %%%%%%%%%%
164: %\tableofcontents
165: %%%%%%%%%%%%
166: \newpage
167: \renewcommand{\theequation}{\thesection.\arabic{equation}}
168: %%%%%%%%%%%%%%%%%%%%%%
169: \section{Introduction}
170: %%%%%%%%%%%%%%%%%%%%%%
171: Gauge-Higgs unification \cite{FM} is considered to
172: be one of the attractive frameworks
173: since it provides a solution to the gauge hierarchy problem
174: without supersymmetry \cite{gaugehiggs1, gaugehiggs2, SmallVEV, warpgh}.
175: In this scenario, the Higgs filed is identified with extra components of
176: the gauge field in higher dimensional gauge theories.
177: A remarkable feature in the scenario is that quantum corrections to
178: the Higgs mass become finite and are independent of the cuttoff scale of
179: the theory thanks to the gauge invariance in the higher dimensions
180: nevertheless we consider nonrenormalizable theories.
181: The Higgs mass is generated through the dynamics of the Wilson line
182: for an extra component of the gauge field.
183: Noting that the dynamics is nonlocal, we find no counter term
184: in the lagrangian, which is assumed to be local,
185: to cancel the divergence if the Higgs mass diverges.
186: This implies that the Higgs mass should be finite under quantum corrections
187: at all order of the perturbations (See Ref. \cite{allorder} for attempts
188: to prove the finiteness.).
189: Actually, its finiteness at one-loop level was discussed
190: by several authors \cite{gaugehiggs1}.
191: (In Gravity-Gauge-Higgs unification, the finiteness is guaranteed
192: by the general coordinate invariance, see \cite{HLM}.)
193:
194:
195: Although the concept for the finiteness of the Higgs mass is very clear,
196: %and holds for higher loop order corrections beyond one-loop,
197: there are subtleties if we consider higher loop corrections to
198: the Higgs mass beyond one-loop level.
199: For instance, generally there appear divergences in the subdiagrams
200: even if we consider the gauge-Higgs unification scenario.
201: %In general, these diagrams are power divergent in higher dimensional theories.
202: These divergences should be subtracted by adding the counter terms
203: determined by the lower loop calculations.
204: After such a subtraction, the Higgs mass becomes finite
205: at any order of perturbations without any additional counter terms.
206: This means that the Higgs mass can be predicted even within
207: nonrenormalizable theories.
208: %Therefore, it is not so trivial to show that these divergences
209: %are really canceled and to obtain the finite mass.
210: In fact, a Higgs mass at two-loop level are calculated
211: in a five dimensional (5D) supersymmetric theory \cite{DGQ},
212: where the linear divergences appear in the one-loop subdiagrams
213: and are subtracted by adding one-loop counter terms.
214:
215: It is also very important to calculate the Higgs mass beyond one-loop level
216: from the phenomenological viewpoint.
217: It is known that the physical Higgs mass and the Kaluza-Klein (KK) mass
218: tend to be too small in the scenario.
219: To get a large KK mass, or in other words to get a small vacuum expectation
220: value (VEV) of the Higgs fields compared to the KK mass,
221: we rely on a mild tuning to cancel the Higgs mass corrections among
222: one-loop contributions \cite{SmallVEV}.
223: A large KK mass helps to enhance the physical Higgs mass.
224: However, if the KK mass is taken so large, two-loop contributions
225: can be important.
226: Thus, we can not make the KK mass larger than $\order{10\TeV}$ reliably
227: if we do not know the two-loop corrections.
228: In this case, the physical Higgs mass can not exceed the present bound
229: \cite{LEP} if the low energy effective theory is just the standard model
230: \cite{EffTheo}.
231: On the other hand, if we control the two-loop corrections,
232: the KK mass can be enlarged up to the scale where three-loop
233: contributions become important, say $\order{100\TeV}$.
234: Then, the physical Higgs mass can pass the experimental test without
235: additional low energy degrees.
236:
237: As far as we know, there seems no calculation of the Higgs mass
238: beyond one-loop order in the context of gauge-Higgs unification.
239: Therefore, it is worthwhile to check explicitly the finiteness of
240: the Higgs mass for higher order loop corrections.
241: In this paper, we explicitly calculate
242: the two-loop quantum corrections to the mass
243: of the zero mode of the fifth component of the gauge field
244: in a 5D massless QED compactified on $S^1$.
245: %as an illustration.
246: As expected from the general argument of the renormalization theory,
247: the mass is shown to be finite.
248: A key ingredient to show the finiteness is the shift symmetry
249: and Ward-Takahashi identity.
250: Although there appear linearly divergent vertex corrections and
251: the wave function renormalizations in subdiagrams,
252: these divergences are exactly canceled
253: as expected from Ward-Takahashi identity.
254: In this simple model,
255: there is no need to take into account counter terms.
256: We will discuss in detail the structure of cancellation of the divergences
257: and also evaluate the finite part of the corrections.
258:
259:
260: This paper is organized as follows.
261: In the next section, we introduce our setup and derive Feynman rules.
262: Section 3 is the main part of this paper.
263: Before calculating the two-loop corrections,
264: we calculate the one-loop wave function renormalization
265: and the vertex corrections to observe that these contributions are
266: linearly divergent and have the same magnitude but an opposite sign.
267: Then, the two-loop corrections to the mass of the zero mode of
268: the fifth component of the gauge field are shown and
269: the structure of canceling divergences is clarified.
270: The details of this calculation and a physical interpretation
271: are described in Appendix.
272: The last section is devoted to summarize this paper.
273:
274:
275: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
276: \section{5D Massless QED Compactified on $S^1$}
277: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
278: As an illustration,
279: we consider a 5D massless QED compactified on $S^1$ and
280: calculate the mass correction to the zero mode of the fifth component
281: of the gauge field $A_5$ at two-loop level.
282: The action is written as
283: \bequ
284: S=\int \drm^4 x\drm y \Ll-\frac14 F_{MN}F^{MN} +\bar\Psi i\sla\! D_5\Psi
285: +{\cal L}_{GF} \Rl,
286: \eequ
287: where $\sla\! D_5=\sla\! D-i\gamma_5D_5$, $\gamma_5^2=1$,
288: $D_M=\del_M-igA_M (M = 0,1,2,3,5)$ is the covariant derivative.
289: $g$ is the 5D gauge coupling constant.
290: We take the mostly minus metric $\eta_{MN}=\diag(+,-,-,-,-)$.
291: We choose the gauge fixing term as
292: \bequ
293: {\cal L}_{GF} = -\frac1{2\xi}\Ls \del_\mu A^\mu - \xi \del_5 A^5 \Rs^2,
294: \label{GaugeFixing}
295: \eequ
296: where $\mu = 0,1,2,3$ and $\xi$ is a gauge parameter.
297: Then, the gauge part of the action becomes
298: \beqn
299: S_G&=& \int \drm^4 x \drm y
300: \frac{1}2\Ll -\Ls\del_\mu A_\nu\Rs^2
301: + \Ls1-\xi^{-1}\Rs \Ls\del_\nu A_\nu\Rs^2
302: + \Ls\del_5 A_\nu\Rs^2 \RR \nn\\
303: &&\phantom{\int \drm^4 x \drm y\frac{1}2}
304: \LL +\Ls\del_\mu A_5\Rs^2 - \xi \Ls\del_5 A_5\Rs^2 \Rl.
305: \eeqn
306: Expanding the gauge field in terms of the Kaluza-Klein modes,
307: \beqn
308: A_\mu(x^\mu,y) &=& \frac1{\sqrt{L}} \sum_{n=-\infty}^\infty
309: A_\mu^{(n)}(x^\mu) \exp(2\pi i n\frac{y}{L}), \\
310: A_5(x^\mu,y) &=& \frac1{\sqrt{L}} \sum_{n=-\infty}^\infty
311: A_5^{(n)}(x^\mu) \exp(2\pi i n\frac{y}{L}),
312: \eeqn
313: where ${A_M^{(n)}}^*=A_M^{(-n)}$ and $L=2\pi R$ is the circumference of
314: the $S^1$,
315: it is written as
316: \beqn
317: S_G&=&\int\drm^4 x \sum_{n=-\infty}^\infty \frac{1}{2}
318: \Ll -\abs{\del_\mu A_\nu^{(n)}}^2
319: + \Ls1-\xi^{-1}\Rs \abs{\del_\nu A_\nu^{(n)}}^2
320: + M_n^2\abs{A_\nu^{(n)}}^2 \RR \nn\\
321: &&\phantom{\int \drm^4 x \sum_{n=0}^\infty\frac{-1}{2^{\delta_{0n}}}}
322: \LL +\abs{\del_\mu A_5^{(n)}}^2 - \xi M_n^2\abs{A_5^{(n)}}^2 \Rl,
323: \eeqn
324: where $M_n=2\pi n/L=n/R$ is the KK mass.
325: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
326: \begin{figure}
327: \begin{center}
328: \includegraphics[width=10.5cm]{propagator.eps}
329: \put(-330,25){{\Large $A_\mu^{(m)}$}}
330: \put(-180,25){{\Large $A_\mu^{(n)}$}}
331: \put(-150,25){{\Large $A_5^{(n)}$}}
332: \put(-0,25){{\Large $A_5^{(n)}$}}
333: \end{center}
334: % \vspace*{-3.5cm}
335: \caption{The propagators of the photon (a) and $A_5$ (b).}
336: \label{propagator}
337: \end{figure}
338: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
339: This leads to the following propagator (see Fig. \ref{propagator}):
340: \beqn
341: % A_\mu^{(n)}\sim\!\sim\!\sim\!\sim\!\sim\!\sim\!\sim\!\sim A_\nu^{(m)}
342: % &=& \delta_{nm}
343: % \Ls (p^2-M_n^2)\eta_{\mu\nu}-\Ls1-\xi^{-1}\Rs p_\mu p_\nu\Rs^{-1}
344: % \nn\\
345: % &=& \frac{\delta_{mn}\Ls \eta^{\mu\nu}
346: % -\Ls1-\xi\Rs
347: % \frac{p^\mu p^\nu}{p^2-\xi M_n^2}\Rs}
348: % {p^2-M_n^2} \label{GaugePropa1}\\
349: (a) &=& \delta_{mn}
350: \Ls \frac{\eta^{\mu\nu}-\frac{p_\mu p_\nu}{M_n^2}}{p^2-M_n^2}
351: +\frac{p_\mu p_\nu}{M_n^2}\frac1{p^2-\xi M_n^2}
352: \Rs, \label{GaugePropa2}\\
353: % A_5^{(n)}-\cdot-\cdot-\cdot- A_5^{(m)}
354: (b) &=& \frac{-\delta_{mn}}{p^2-\xi M_n^2}.
355: \eeqn
356: Next, expanding the fermion in terms of the KK modes,
357: \beqn
358: \bar\Psi(x^\mu,y) &=& \frac1{\sqrt{L}} \sum_{n=-\infty}^\infty
359: \bar\Psi^{(-n)}(x^\mu) \exp(i2\pi n\frac{y}{L}), \\
360: \Psi(x^\mu,y) &=& \frac1{\sqrt{L}} \sum_{n=-\infty}^\infty
361: \Psi^{(n)}(x^\mu) \exp(i2\pi n\frac{y}{L}),
362: \eeqn
363: the fermion part is written as
364: \bequ
365: S_m = \int \drm^4 x \sum_{m,n}
366: {\bar\Psi^{(m)}}
367: \Ls i\delta_{nm}\Ls \sla\del+M_n\gamma_5\Rs
368: + \sum_{l}\delta_{m\ l+n}
369: \Ls g_4\sla\! A_\mu^{(l)}-ig_4\gamma_5A_5^{(l)}\Rs
370: \Rs\Psi^{(n)}
371: \eequ
372: where the 4D gauge coupling constant $g_4$ is defined as $g_4=g/\sqrt{L}$.
373: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
374: \begin{figure}
375: \begin{center}
376: \includegraphics[width=14.5cm]{fermion.eps}
377: \put(-445,45){{\Large $\bar\psi^{(m)}$}}
378: \put(-290,45){{\Large $\psi^{(n)}$}}
379: \put(-260,35){{\Large $A_\mu^{(l)}$}}
380: \put(-135,70){{\Large $\bar\psi^{(m)}$}}
381: \put(-135,-5){{\Large $\psi^{(n)}$}}
382: \put(-115,35){{\Large $A_5^{(l)}$}}
383: \put(5,70){{\Large $\bar\psi^{(m)}$}}
384: \put(5,-5){{\Large $\psi^{(n)}$}}
385: \end{center}
386: \caption{Feynman diagrams relevant for the fermion.
387: %The straight line, the wavy line
388: %and the dotted lines denotes the fermion, the photon and $A_5$.
389: (a), (b) and (c) are the fermion propagator, the gauge interaction vertex
390: and the vertex of fermion-fermion-$A_5$, respectively.}
391: \label{fermion}
392: \end{figure}
393: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
394: This leads to the following Feynman rule (see Fig. \ref{fermion}):
395: \beqn
396: % {\bar\Psi^{(m)}}-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!>\!\!
397: % -\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\Psi^{(n)}
398: (a) &=& \frac{-\delta_{mn}}{\sla p+iM_n\gamma_5}
399: = -\delta_{mn}\frac{\sla p+iM_n\gamma_5}{p^2-M_n^2}, \\
400: % \begin{array}{c}
401: % {\bar\Psi^{(m)}}-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!>\!\!
402: % -\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\Psi^{(n)} \\
403: % \hsp{2.3}\sim\!\sim\!\sim\!\sim\!\sim\!\sim A_\mu^{(l)}
404: % \end{array}
405: (b) &=& g_4\delta_{m\ l+n}\gamma_\mu, \\
406: % \begin{array}{c}
407: % {\bar\Psi^{(m)}}-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!>\!\!
408: % -\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\Psi^{(n)} \\
409: % \hsp{2.3}-\cdot-\cdot- A_5^{(l)}
410: % \end{array}
411: (c) &=& -ig_4\delta_{m\ l+n}\gamma_5.
412: \eeqn
413: %%%%%%%%%%%%%%%%%%%%%%%%%%%
414: \section{Loop Calculations}
415: %%%%%%%%%%%%%%%%%%%%%%%%%%%
416: %%%%%%%%%%%%%%%%%%%
417: \subsection{One-loop}
418: %%%%%%%%%%%%%%%%%%%
419: Before calculating two-loop corrections,
420: we clarify the nature of divergences at one-loop level
421: since the divergences appearing in the subdiagrams of two-loop diagrams
422: have to be subtracted by adding the counter terms generally.
423: %let us determine the counter terms at one-loop level.
424: The possible relevant counter terms at this order
425: are those of the fermion propagator,
426: the gauge-fermion-fermion vertex and the gauge propagator.
427: The first one corresponds to that
428: for fermion wave function renormalization.
429: The second one corresponds to that for the gauge interaction
430: vertex correction.
431: The last one should correspond to the renormalization of the
432: gauge coupling.
433: %And the last one should be same as 2 times the second one,
434: % according to the Ward-Takahashi identity.
435: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
436: \subsubsection{Fermion Wave Function Renormalization}
437: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
438: The wave function renormalization of the fermion is calculated as
439: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
440: \begin{figure}
441: \begin{center}
442: \includegraphics[width=14.5cm]{wfr1.eps}
443: \end{center}
444: \caption{Wave function renormalization of the fermion.
445: The corresponding 4D and KK momenta are denoted as $(k, m)$ for example.}
446: \label{wfr}
447: \end{figure}
448: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
449: \beqn
450: {\rm Fig.}~\ref{wfr} &=& \int\frac{\drm^4 k}{i(2\pi)^4}\sum_{m} g_4^2
451: \Ll
452: \gamma_\mu \frac{\sla k+iM_{m}\gamma_5}{k^2-M_{m}^2}
453: \gamma_\nu \frac{\eta^{\mu\nu}}{(l-k)^2-M_{n-m}^2}
454: \RR\nn\\
455: &&\phantom{\int\frac{\drm^4 k}{i(2\pi)^4}\sum_{m} g_4^2}\LL
456: + (-i)\gamma_5 \frac{\sla k+iM_{m}\gamma_5}{k^2-M_{m}^2}
457: (-i)\gamma_5 \frac{-1}{(l-k)^2-M_{n-m}^2}
458: \Rl\nn\\
459: &=& \frac{g_4^2}{R}
460: \int\frac{\drm^4 k}{i(2\pi)^4}\sum_{m}
461: \frac{-3\Ls\sla k+im\gamma_5\Rs}
462: {(k^2-m^2)((l-k)^2-(n-m)^2)},
463: \label{QEDFermionCorele}
464: \eeqn
465: where we normalized all the dimensionful parameters by $1/R$
466: in the last equation so that all the parameters become dimensionless.
467: The gauge parameter is taken to be $\xi=1$.
468:
469: By using the Feynman integral
470: \bequ
471: \int_0^1\drm x \left[ \frac{1}{b+(a-b)x} \right]^2
472: % =\frac1{a-b}\Ll\frac{-1}{b+(a-b)x}\Rl_0^1
473: % =\frac{1}{b-a}\Ls\frac1{a}-\frac1{b}\Rs
474: =\frac1{ab},
475: \label{FeynmanInt11}
476: \eequ
477: the correction (\ref{QEDFermionCorele}) is written as
478: \beqn
479: % (\ref{QEDFermionCorele})
480: % &=&
481: && \frac{g_4^2}{R}
482: \int\frac{\drm^4 k}{i(2\pi)^4}\sum_{m} \int_0^1\drm x
483: \frac{-3\Ls\sla k+im\gamma_5\Rs}
484: {\Ls(k-xl)^2-(m-xn)^2+(x-x^2)(l^2-n^2)\Rs^2} \nn\\
485: &=&\frac{g_4^2}{R}
486: \int\frac{\drm^4 k'}{i(2\pi)^4}\sum_{m} \int_0^1\drm x
487: \frac{-3\Ls x\sla l+im\gamma_5\Rs}
488: {\Ls k'^2-(m-xn)^2+(x-x^2)(l^2-n^2)\Rs^2}.
489: \label{QEDFermionCoreleFeynman}
490: \eeqn
491: Here, we neglect the term that vanishes by the angular integration.
492:
493: Now we carry out the infinite sum with respect to $m$.
494: For this purpose, it is convenient to rewrite the summation
495: by the contour integral in the complex plane,
496: \bequ
497: \sum_m f(m) \to \int_{C_0}\drm z\frac1{1-\exp(2\pi iz)}f(z)
498: = \int_{C_0}\drm z\Ls1+\frac1{\exp(-2\pi iz)-1}\Rs f(z),
499: \eequ
500: where $C_0$ is a contour that encircle the real axis clockwise.
501: If ${\rm Im}~z \exp(-2\pi\abs{{\rm Im}~z})f(z)$ vanishes
502: at $\abs{{\rm Im}~z} \to \infty$
503: and $f(z)$ has no poles on the real axis but
504: has poles $\{m_+^i\}$ in the upper half plane
505: and poles $\{m_-^j\}$ in the lower half plane,
506: the contour integral can be expressed by the summation of the residues
507: at each pole and integration on the real axis:
508: %\footnote{
509: %This integration may be evaluated by summation of the residues
510: % in a similar way, when ${\rm Im} zf(z)$ vanish
511: % at $\abs{{\rm Im}~z} \to \infty$. }:
512: \beqn
513: && \sum_i Res.\Lm\frac{2\pi if(z)}{\exp(-2\pi iz)-1};z=m_+^i\Rm
514: +\sum_i Res.\Lm\frac{2\pi if(z)}{1-\exp(2\pi iz)};z=m_-^j\Rm \nn \\
515: &&+\int_{-\infty}^\infty \drm zf(z).
516: \label{Sum2Int}
517: \eeqn
518: Note that if $f(z)$ is a real function, each $m_+^i$ has
519: a counter part of $m_-^i={m_+^i}^*$, which means that
520: (\ref{Sum2Int}) can be reduced to
521: \bequ
522: % (\ref{Sum2Int}) =
523: 2 {\rm Re}~\Ll\sum_i Res.\Lm\frac{2\pi if(z)}{\exp(-2\pi iz)-1};
524: z=m_+^i\Rm \Rl
525: +\int_{-\infty}^\infty \drm zf(z).
526: \label{Sum2Int2}
527: \eequ
528: An important point is that the residues always contain the exponential
529: suppression $\exp(- 2 \pi {\rm Im}~m_+^i)$ for a large ${\rm Im}~m_+^i$,
530: leading to finite contributions.
531: Thus, as far as we concern the divergent contributions,
532: it is enough to evaluate the integration on the real axis
533: in (\ref{Sum2Int2}).
534: %
535: %Let's come back to the evaluation of the correction.
536: %If we concentrate on the divergent corrections,
537: In other words,
538: we can replace the
539: summation with respect to $m$ by the integration on the real axis.
540: Then, the correction (\ref{QEDFermionCoreleFeynman}) is written as
541: \beqn
542: &&\frac{g_4^2}{R}
543: \int\frac{\drm^4 k'}{i(2\pi)^4}\int_{-\infty}^\infty\drm z_m
544: \int_0^1\drm x
545: \frac{-3\Ls x\sla l+iz_m\gamma_5\Rs}
546: {\Ls k'^2-(z_m-xn)^2+(x-x^2)(l^2-n^2)\Rs^2} \nn\\
547: &=&\frac{g_4^2}{R}
548: \int\frac{\drm^4 k'}{i(2\pi)^4}\int_{-\infty}^\infty\drm z_m'
549: \int_0^1\drm x
550: \frac{-3\Ls x\sla l+ixn\gamma_5\Rs}
551: {\Ls k'^2-z_m'^2+(x-x^2)(l^2-n^2)\Rs^2} \nn.
552: \eeqn
553: This shows that the divergent parts of
554: the wave function renormalization and the mass renormalization
555: (times $R$) for the fermion mode with $(l,n)$ are commonly given by
556: \beqn
557: \delta_{Wf}
558: &=&{g_4^2}
559: \int\frac{\drm^4 k'}{i(2\pi)^4}\int_{-\infty}^\infty\drm z_m'
560: \int_0^1\drm x
561: \frac{-3x}
562: {\Ls k'^2-z_m'^2+(x-x^2)(l^2-n^2)\Rs^2} \nn\\
563: % &=&{g_4^2}
564: % \int\frac{\drm^4 k_E'}{(2\pi)^4}\int_{-\infty}^\infty\drm z_m'
565: % \int_0^1\drm x
566: % \frac{-3x}
567: % {\Ls k_E'^2+z_m'^2+(x-x^2)(l_E^2+n^2)\Rs^2}, \nn\\
568: % &=&{g_4^2}
569: % \int\frac{\drm k_E'{k_E'}^3}{8\pi^2}
570: % \int_0^1\drm x
571: % \frac{-3\pi x}
572: % {2\Ls k_E'^2+(x-x^2)(l_E^2+n^2)\Rs^\frac32}, \nn\\
573: &=&{g_4^2}
574: \int\frac{\drm k_E'}{8\pi^2}
575: \frac{-3\pi{k_E'}^2}
576: {4k_E'^2+l_E^2+n^2}
577: \nn\\ &\to&{g_4^2}
578: \int\frac{\drm k_E'}{8\pi^2}
579: \Ll \frac{-3\pi}4 + {\cal O}(k_E^{-2})\Rl~(k_E' \to \infty),
580: \eeqn
581: where we use the same parameter $k_E'$ for denoting the absolute
582: value of the Wick rotated vector $k_E'$\footnote{
583: In the next subsection, we use another notation.}.
584: We find that this correction is linearly divergent.
585:
586: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
587: \subsubsection{Vertex Correction}
588: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
589: The correction to the gauge-fermion-fermion vertex is calculated as
590: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
591: \begin{figure}
592: \begin{center}
593: \includegraphics[width=10.5cm]{vc1.eps}
594: \end{center}
595: \caption{Vertex correction.
596: The corresponding 4D and KK momenta are denoted as $(k,m)$
597: for example.}
598: \label{vc}
599: \end{figure}
600: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
601: %
602: \beqn
603: % &&
604: % \cdot-\cdot-\bullet\!\!\!\!
605: % \begin{array}{c}
606: % -\!\!\!-\!\!\!-\!\!\!-\!\!
607: % \bullet\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\! \\
608: % \sim \\
609: % -\!\!\!-\!\!\!-\!\!\!-\!\!
610: % \bullet\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!
611: % \end{array}
612: % \quad+\quad
613: % \cdot-\cdot-\bullet\!\!\!\!
614: % \begin{array}{c}
615: % -\!\!\!-\!\!\!-\!\!\!-\!\!
616: % \bullet\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\! \\
617: % \cdot-\cdot \\
618: % -\!\!\!-\!\!\!-\!\!\!-\!\!
619: % \bullet\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!
620: % \end{array}
621: %\nn\\
622: {\rm Fig.}~\ref{vc} &=& g_4^2\int\frac{\drm^4 k}{i(2\pi)^4}\sum_{m}
623: \Ll
624: \gamma_\mu \frac{\sla k+i{m}\gamma_5}{k^2-{m}^2}
625: (-i)\gamma_5 \frac{\sla k+i{m}\gamma_5}{k^2-{m}^2}
626: \gamma_\nu\frac{\eta^{\mu\nu}}{k^2-({n-m})^2}
627: \RR\nn\\
628: &&\phantom{\int\frac{\drm^4 k}{i(2\pi)^4}\sum_{m} g_4^2}\LL
629: + (-i)\gamma_5 \frac{\sla k+i{m}\gamma_5}{k^2-{m}^2}
630: (-i)\gamma_5 \frac{\sla k+i{m}\gamma_5}{k^2-{m}^2}
631: (-i)\gamma_5 \frac{-1}{k^2-({n-m})^2}
632: \Rl \nn\\
633: % &=& {g_4^2}
634: % \int\frac{\drm^4 k}{i(2\pi)^4}\sum_{m}
635: % (-i)\gamma_5
636: % \frac{\Ls 4k^2-4im\gamma_5\sla k+4m^2\Rs
637: % -\Ls k^2+2im\gamma_5\sla k+m^2\Rs}
638: % {(k^2-m^2)^2(k^2-(n-m)^2)}
639: % \nn\\
640: &=& {g_4^2}
641: \int\frac{\drm^4 k}{i(2\pi)^4}\sum_{m}
642: (-i)\gamma_5
643: \frac{3\Ls k^2+m^2\Rs}
644: {(k^2-m^2)^2(k^2-(n-m)^2)}
645: \label{QEDFermionVertex}
646: \eeqn
647: where we take the momenta of external lines to be zero.
648:
649: Now concentrating on the divergence, we replace the summation
650: with respect to $m$ by the integration on the real axis.
651: By carrying out the Wick rotation and
652: using the Feynman integral
653: \bequ
654: \int_0^1 \drm x \frac{2!(1-x)}{((1-x)a+xb))^3}
655: = \frac1{a^2b},
656: \label{FeynmanInt21}
657: \eequ
658: the correction to the vertex $\delta_V$ becomes
659: \beqn
660: \delta_V
661: &=& {g_4^2}
662: \int\frac{\drm k_Ek_E^3}{8\pi^2}\int_{-\infty}^\infty\drm z_m'
663: \int_0^1\drm x
664: \frac{3\Ls k_E^2-(z_m'+xn)^2\Rs\times2!(1-x)}
665: {(k_E^2+{z_m'}^2+(x-x^2)n^2)^3} \nn\\
666: % &=& {g_4^2}
667: % \int\frac{\drm k_E}{8\pi^2} \int_0^1\drm x
668: % \frac{3\pi k_E^3(1-x)\Ls 2k_E^2-x(1+2x)n^2\Rs}
669: % {4(k_E^2+(x-x^2)n^2)^\frac52}, \nn\\
670: &=& {g_4^2}
671: \int\frac{\drm k_E}{8\pi^2}
672: \frac{3\pi k_E^2\Ls 4k_E^2-n^2\Rs}
673: {(4k_E^2+n^2)^2}
674: \nn\\
675: &\to& {g_4^2}
676: \int\frac{\drm k_E}{8\pi^2}
677: \Ll \frac{3\pi}4 + {\cal O}(k_E^{-2})\Rl~(k_E \to \infty).
678: \eeqn
679: We find that it is linearly divergent and is
680: the same as the minus of that of $\delta_{Wf}$, as expected
681: from Ward-Takahashi identity.
682: This fact is very important to cancel divergences appearing
683: in the subdiagrams, as will be seen in the next subsection.
684:
685: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
686: \subsubsection{Gauge Self Energy}
687: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
688: \begin{figure}
689: \begin{center}
690: \includegraphics[width=10.5cm]{1-loop.eps}
691: \end{center}
692: \caption{One-loop renormalizations for two-point function
693: of $A_5$ (a) and the photon (b).}
694: \label{1-loop}
695: \end{figure}
696: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
697: In this subsubsection,
698: we calculate the wave function renormalizations of $A_5$ and $A_\mu$.
699: If we denote them as $Z_5$ and $Z_\mu$, respectively,
700: these can be expressed at one-loop level symbolically,
701: \beqn
702: Z_5 &=& 1 + g_4^2(\Lambda + c) + {\cal O}(g_4^4),
703: \label{z5} \\
704: Z_\mu &=& 1+ g_4^2(\Lambda + c') + {\cal O}(g_4^4)
705: \label{zmu}
706: \eeqn
707: where $\Lambda$ is a cutoff scale of the theory.
708: These factors are linearly divergent.
709: $c$ and $c'$ mean
710: the physical renormalization factors after subtracted the divergence.
711: %$\cdots$ are ${\cal O}(g^4)$ corrections.
712: %higher order corrections.
713: Taking into account these renormalizations,
714: the physical Higgs mass at two-loop level includes
715: \beqn
716: m^2_{phys@2-loop} &=&
717: \frac{g_4^2}{Z_5}m^2_{H@1-loop} + \frac{g_4^4}{Z_5}m^2_{H@2-loop}
718: + {\cal O}(g_4^6) \nn\\
719: &=& \frac{Z_\mu}{Z_5}g_R^2 m^2_{H@1-loop}
720: + g_R^4m^2_{H@2-loop} + {\cal O}(g_R^6)
721: \nonumber \\
722: &=& \left[ 1 + g_R^2(c-c') \right] g_R^2 m^2_{H@1-loop}
723: + g_R^4m^2_{H@2-loop} + {\cal O}(g_R^6)
724: \label{finite}
725: \eeqn
726: where the renormalized gauge coupling $g_R$ is defined as
727: $g_4^2=g_R^2 Z_\mu$.
728: $m^2_{H@1-loop}$ is a one-loop finite mass of the zero mode of $A_5$
729: arising from the diagram in Fig. \ref{1-loop} (a) with zero external momentum.
730: Here we define such that $m^2_{H@1-loop}$ does not include the gauge coupling.
731: $m^2_{H@2-loop}$ is a two-loop mass which we will evaluate in the next
732: subsection.
733: Note that the ultraviolet (UV) divergences appearing in (\ref{z5})
734: and (\ref{zmu}) are guaranteed to be the same
735: by the five dimensional Lorentz invariance.
736: Below, we show it concretely.
737: In addition, we will obtain, apart from $m^2_{H@2-loop}$, a finite mass of
738: the zero mode of $A_5$ at two-loop level
739: which is proportional to $m^2_{H@1-loop}$ and to the difference
740: of the finite part, $c-c'$.
741: Thus, we would like to evaluate also the finite parts of $Z_\mu$ and $Z_5$ and
742: $m^2_{H@1-loop}$, not only the divergent part.
743: However, note that this contribution should be discriminated
744: from $m^2_{H@2-loop}$.
745: This is because this contribution does not
746: modify essentially the structure of the one-loop effective potential
747: which is
748: written in terms of $\cos(q g A_5)$, reflecting the phase structure of
749: the Wilson line, where $q$ is a constant.
750: In other words, the effect merely
751: scales the effective potential in the horizontal direction
752: and it is understood by replacing $g_R$ in the potential
753: by $g_R^H=g_R\sqrt{Z_\mu/Z_5}$.
754:
755:
756: The wave function renormalizations of $A_5$ and $A_\mu$ are shown
757: in Fig. \ref{1-loop} (a) and (b), and are calculated as
758: \beqn
759: (a) &=& (-1)\int\frac{d^4k}{(2\pi)^4 i}\sum_m
760: {\rm tr}\left[
761: (-i g_4 \gamma_5)\frac{-(k \!\!\!/ + iM_m \gamma_5)}{k^2-M_m^2}
762: (-i g_4 \gamma_5)\frac{-(k \!\!\!/ - l \!\!\!/
763: + iM_{m-n} \gamma_5)}{(k-l)^2-M_{m-n}^2}
764: \right] \nonumber \\
765: &=& -\frac{ 4 g_4^2}{R^2} \int \frac{ d^4 k_E'}{(2\pi)^4} \sum_m
766: \int_0^1 dx \frac{-{k_E'}^2 - x(x-1){l_E}^2 + m^2}
767: {\Ls{k_E'}^2 + m^2 + (x-x^2){l_E}^2\Rs^2}
768: \label{a52p}
769: \eeqn
770: and
771: \beqn
772: (b) &=& (-1)\int\frac{d^4k}{(2\pi)^4 i}\sum_m
773: {\rm tr}\left[
774: (g_4 \gamma_\mu)\frac{-(k \!\!\!/ + iM_m \gamma_5)}{k^2-M_m^2}
775: (g_4 \gamma_\nu)\frac{-(k \!\!\!/ - l \!\!\!/
776: + iM_{m-n} \gamma_5)}{(k-l)^2-M_{m-n}^2}
777: \right] \nonumber \\
778: &=& -\frac{4g_4^2}{R^2} \int\frac{d^4k_E'}{(2\pi)^4} \sum_m
779: \int_0^1 dx \frac{N_{\mu\nu}}
780: {\Ls{k_E'}^2 + m^2 + (x-x^2){l_E}^2\Rs^2},
781: \label{ph2p}
782: \eeqn
783: respectively,
784: where
785: \bequ
786: N_{\mu\nu} = -2 {k_E'}_\mu {k_E'}_\nu
787: + 2x(1-x) {l_E}_\mu {l_E}_\nu \nonumber
788: +g_{\mu\nu} [{k_E'}^2 + m^2 - x(1-x){l_E}^2].
789: \eequ
790: Here, we performed Wick rotation, omitted the terms that vanish after
791: the angular integration of $k_E'$ and put $n=0$ since we are interested
792: in the wave function of the zero modes.
793: In the following, we consider only the term proportional to
794: ${l_E}_\mu {l_E}_\nu$ and set $l_E^2=0$ to evaluate $Z_\mu$.
795:
796: Let us show the divergent parts of (\ref{a52p}) and (\ref{ph2p}),
797: which are evaluated by replacing the summation to the integral as before,
798: are the same.
799: Carrying out the integration, we find
800: \beqn
801: \int_0^\infty dz_m
802: \frac{-{k'_E}^2 - x(x-1)l_E^2 + z_m^2}{({k'_E}^2+z_m^2+x(1-x)l_E^2)^2}
803: &=& -\pi \frac{x(1-x)l_E^2}{({k'_E}^2+x(1-x)l_E^2)^{3/2}},
804: \label{a5div} \\
805: \int_0^\infty dz_m
806: \frac{2x(1-x)} {({k_E'}^2 + m^2)^2}
807: &=& -\pi \frac{x(1-x)}{{k'_E}^3}.
808: \label{phdiv}
809: \eeqn
810: From (\ref{a5div}), we can see that this part does not contribute
811: $m^2_{H@1-loop}$,
812: and the contribution to the wave function renormalization is
813: \bequ
814: -\pi \frac{x(1-x)}{{k'_E}^3}
815: \eequ
816: which, including the finite part, is exactly same as (\ref{phdiv}).
817: %The divergent terms come originated from the integral on the real axis,
818: %which correspond to the calculation in the limit $R \to \infty$.
819: Note that the integration over $z_m$
820: corresponds to the calculation in the case where the fifth momentum is
821: continuous, \ie\ the limit $R\to\infty$.
822: In this decompactification limit, the 5D Lorentz symmetry, which is
823: softly broken by the compactification, recovers.
824: Therefore,
825: %the diveregent part of calculation is the 5D Lorentz invariant and
826: the cancellation among these contribution is natural.
827:
828:
829: Next, we evaluate the residue parts which are free from
830: UV divergences.
831: As for the $Z_5$, we get
832: \beqn
833: && 2 {\rm Re}\Ll Res.\Lm
834: \frac{2\pi i}{\exp(-2\pi i z_m)-1}
835: \frac{-{k'_E}^2 - x(x-1)l_E^2 + z_m^2}
836: {({k'_E}^2+z_m^2+x(1-x)l_E^2)^2}
837: ; z_m=i\sqrt{{k'_E}^2+x(1-x)l_E^2}\Rm\Rl \nn\\
838: &=& -\pi \left[ \frac{ -2x(1-x)l_E^2 }
839: {({k'_E}^2+x(1-x)l_E^2)^{3/2}
840: (e^{2\pi\sqrt{{k'_E}^2+x(1-x)l_E^2}}-1)^2}
841: \right.
842: \nonumber \\
843: && \hsp{0.5}\left. +\frac{4 \pi {k'_E}^2 e^{2\pi \sqrt{{k'_E}^2+x(1-x)l_E^2}}}
844: {({k'_E}^2+x(1-x)l_E^2)(e^{2\pi\sqrt{{k'_E}^2+x(1-x)l_E^2}}-1)^2} \right].
845: \label{a5conv}
846: \eeqn
847: %
848: %
849: %
850: %\\
851: %&=& -\frac{ 4 g_4^2}{R^2} \int \frac{ d^4 k}{(2\pi)^4}\int_0^1 dx
852: %\nonumber \\
853: %&& \left[ 2{\rm Re}Res. \left\{
854: %\frac{2 \pi i}{\exp(-2 \pi i z_m) - 1}
855: %\frac{-k^2 - x(x-1)l^2 + z_m^2}{(k^2+z_m^2+x(1-x)l^2)^2};
856: %z_m = i \sqrt{k^2 + x(1-x)l^2} \right\} \right. \nonumber \\
857: %&& \left. + \int_0^\infty dz_m
858: %\frac{-k^2 - x(x-1)l^2 + z_m^2}{(k^2+z_m^2+x(1-x)l^2)^2} \right].
859: %
860: %&& \times \left[ \frac{(2x(1-x)l^2 -(2x-1) l) \pi
861: %\sinh(2\pi\sqrt{k^2+(x-x^2) l^2})}{2(k^2 +(x-x^2)l^2 )^{3/2}
862: %(-1+\cosh(2\pi\sqrt{k^2+(x-x^2) l^2}))} \right. \nonumber \\
863: %&& \left. + \frac{(-(2x-1)k l - 2k^2)\pi^2}{(k^2+(x-x^2)l^2)
864: %(-1+\cosh( 2 \pi \sqrt{k^2+(x-x^2) l^2})) } \right].
865: %\label{a5}
866: %\eeqn
867: %
868: %where we performed Wick rotation in the second line
869: %and we put $n=0$ since we are interested in the wave function of
870: %the zero mode of $A_5$.
871: %The mode sum is written by the residue and
872: %the integral on the real axis.
873: %
874: %The first term in (\ref{a5}) is convergent
875: %and the second term in (\ref{a5}) is divergent for k-integral.
876: %They are given by
877: %\beqn
878: %&&2{\rm Re}Res. \left\{
879: %\frac{2 \pi i f(z_m)}{\exp(-2 \pi i z_m) - 1};
880: %z_m = i \sqrt{k^2 + x(1-x)l^2} \right\} \nonumber \\
881: %&=& -\pi \left[ \frac{ 2x(1-x)l^2 ( 1 - e^{ 2\pi \sqrt{k^2+x(1-x)l^2}})}
882: %{(k^2+x(1-x)l^2)^{3/2}(-1+e^{2\pi\sqrt{k^2+x(1-x)l^2}})^2} \right.
883: %\nonumber \\
884: %&& \left. +\frac{4 \pi k^2 e^{2\pi \sqrt{k^2+x(1-x)l^2}}}
885: %{(k^2+x(1-x)l^2)(-1+e^{2\pi\sqrt{k^2+x(1-x)l^2}})^2} \right],
886: %\label{a5conv}
887: %\eeqn
888: %\beqn
889: %\int_0^\infty dz_m f(z_m)
890: %&=& -\pi \frac{x(1-x)l^2}{(k^2+x(1-x)l^2)^{3/2}},
891: %\label{a5div}
892: %\eeqn
893: %where
894: %\beqn
895: %f(z_m) &=& \frac{-k^2 - x(x-1)l^2 + z_m^2}{(k^2+z_m^2+x(1-x)l^2)^2}.
896: %\eeqn
897: We can find the one-loop correction $m^2_{H@1-loop}$ by setting $l_E^2=0$
898: as,
899: \bequ
900: g_4^2m^2_{A_5@1-loop} = -\frac{4g_4^2}{R^2} \int\frac{d^4k'_E}{(2\pi)^4}
901: \frac{-2\pi^2}{(-1+\cosh(2\pi k'_E))} = \frac{3g_4^2}{4\pi^4 R^2}\zeta(3).
902: \eequ
903: The wave function renormalization comes from the $l_E^2$ term,
904: therefore we obtain by differentiating (\ref{a5conv})
905: with respect to $l_E^2$
906: and setting $l_E^2=0$,
907: \beqn
908: &&- 4 g_4^2 \int \frac{ d^4 k'_E}{(2\pi)^4}
909: \int_0^1 dx
910: (-\pi)
911: \left[
912: \frac{2x(1-x)}{{k'_E}^3(e^{2\pi k'_E}-1)}
913: + \frac{4 \pi^2 x(1-x)e^{2\pi k'_E}}{{k'_E} (e^{2\pi k'_E}-1)^2}
914: \right. \nonumber \\
915: && \hsp{4.8}
916: \left. - \frac{4\pi x(1-x)e^{2 \pi k'_E}}{{k'_E}^2 (e^{2\pi k'_E}-1)^2}
917: +\frac{8 \pi^2 x(1-x)e^{4\pi k'_E}}{k'_E (e^{2\pi k'_E}-1)^3}
918: \right].
919: \label{wfa5conv}
920: %\\
921: %&&- 4 g_4^2 \int \frac{ d^4 k_E}{(2\pi)^4} \int_0^1 dx
922: %\left[ -\frac{\pi x(1-x)}{k^3} \right]
923: %\label{wfa5div}
924: \eeqn
925: %where one can see that the second divergent term is indeed linearly divergent.
926: The overall factor $1/R^2$ disappears on the dimensional grounds
927: in the differentiation.
928: %
929: %
930: %The wave function renormalization of the photon is shown
931: %in Fig. \ref{1-loop} (b) and is calculated in a similar way,
932: %\beqn
933: %(b) &=& (-1)\int\frac{d^4k}{(2\pi)^4 i}\sum_m
934: %{\rm tr}\left[
935: %(g_4 \gamma_\mu)\frac{-(k \!\!\!/ + iM_m \gamma_5)}{k^2-M_m^2}
936: %(g_4 \gamma_\nu)\frac{-(k \!\!\!/ - l \!\!\!/
937: %+ iM_{m-n} \gamma_5)}{(k-l)^2-M_{m-n}^2}
938: %\right] \nonumber \\
939: %&=& -\frac{4g_4^2}{R^2} \int\frac{d^4k}{(2\pi)^4} \sum_m
940: %\int_0^1 dx \frac{N_{\mu\nu}}
941: %{[k^2 + (m-nx)^2 + (x-x^2)(l^2+n^2)]^2}
942: %\label{ph2p} \\
943: %&=& -\frac{4g_4^2}{R^2} \int\frac{d^4k}{(2\pi)^4}
944: %\int_0^1 dx \nonumber \\
945: %&&
946: %\left[ 2{\rm Re}Res. \left\{
947: %\frac{2 \pi i}{\exp(-2 \pi i z_m) - 1}
948: %\frac{N_{\mu\nu}}{(k^2+z_m^2+x(1-x)l^2)^2};
949: %z_m = i \sqrt{k^2 + x(1-x)l^2} \right\} \right. \nonumber \\
950: %&& \left. + \int_0^\infty dz_m
951: %\frac{N_{\mu\nu}}{(k^2+z_m^2+x(1-x)l^2)^2} \right].
952: %\eeqn
953: %where
954: %\beqn
955: %N_{\mu\nu}
956: %&=& -2 k_\mu k_\nu + (1-2x)(k_\mu l_\nu + k_\nu l_\mu )
957: %+ 2x(1-x) l_\mu l_\nu \nonumber \\
958: %&&+g_{\mu\nu} [k^2 + (m-nx)^2 -(1-2x)(k l +(m-nx)n) - x(1-x)(l^2+n^2)].
959: %\nonumber \\
960: %\eeqn
961: %and we put $n=0$ since our interest is focused on
962: %the zero mode of $A_5$.
963: %The first term is convergent for $k$-integral and calculated as
964: The contribution to $Z_\mu$ is calculated as
965: \beqn
966: && 2 {\rm Re}\Ll Res.\Lm
967: \frac{2\pi i}{\exp(-2\pi i z_m)-1}
968: \frac{2x(1-x)} {({k_E'}^2 + z_m^2)^2}
969: ; z_m=i k'_E\Rm\Rl \nn\\
970: &=&
971: %\beqn
972: %&&-\frac{4g_4^2}{R^2} \int\frac{d^4k}{(2\pi)^4}
973: %\int_0^1 dx (-\pi) \nonumber \\
974: %&&\left[
975: %\frac{ 2x(1-x)( l_\mu l_\nu - g_{\mu\nu}l^2 )
976: %[ (1 - e^{ 2 \pi \sqrt{k^2 + x(1-x)l^2} } )
977: %-2 \pi \sqrt{k^2+x(1-x)l^2} e^{2 \pi \sqrt{k^2 + x(1-x)l^2} } ] }
978: %{ (k^2 + x(1-x)l^2)^{3/2} (-1 + e^{ 2 \pi \sqrt{k^2 + x(1-x)l^2} } )^2 }
979: %\right. \nonumber \\
980: %&&\left. + \frac{ g_{\mu\nu} \frac{k^2}{2}
981: %[3(1 - e^{2\pi\sqrt{k^2+x(1-x)l^2}})
982: %+2\pi \sqrt{k^2+x(1-x)l^2} e^{2\pi\sqrt{k^2+x(1-x)l^2}}]}
983: %{(k^2 + x(1-x)l^2)^{3/2}(-1+e^{2\pi\sqrt{k^2+x(1-x)l^2}})^2}
984: %\right].
985: %\label{wfamconv}
986: %\eeqn
987: %As for the second term is calculated as
988: %\beqn
989: %-\frac{4g_4^2}{R^2} \int\frac{d^4k}{(2\pi)^4}
990: %\int_0^1 dx (-\pi)\frac{g_{\mu\nu}(\frac{3}{2}k^2 +2x(1-x)l^2)
991: %+ 2x(1-x)(l_\mu l_\nu -g_{\mu\nu}l^2) }
992: %{2(k^2+x(1-x)l^2)^{3/2}}.
993: %\label{wfamdiv}
994: %\eeqn
995: %The wave function renormalization factors of our interest are
996: %the terms proportional to the factor $l_\mu l_\nu -g_{\mu\nu}l^2$.
997: %Namely, the convergent term is
998: %\beqn
999: -4g_4^2 \int\frac{d^4k'_E}{(2\pi)^4} \int_0^1 dx(-\pi)
1000: \left[
1001: \frac{ 2x(1-x)}{{k'_E}^3(e^{2\pi k'_E}-1)}
1002: -\frac{4 \pi x(1-x) e^{2 \pi k'_E } }
1003: { {k'_E}^2 (e^{ 2 \pi k'_E} -1)^2 }
1004: \right].
1005: \label{cunvam}
1006: \eeqn
1007: Note that these terms have the same for as the first term and
1008: the third term in (\ref{wfa5conv}).
1009: %Therefore, only the second and the last terms in (\ref{wfa5conv})
1010: %contribute to the mass of $A_5$.
1011: %The divergent term can be read as
1012: %\beqn
1013: %-4g_4^2 \int\frac{d^4k}{(2\pi)^4} \int_0^1 dx
1014: %(-\pi)\frac{x(1-x)}{k^3}.
1015: %\label{divam}
1016: %\eeqn
1017: %Note that this term has the same form as (\ref{wfa5div}).
1018: %Therefore, the linear divergence in $Z_\mu/Z_5$ is exactly canceled.
1019:
1020: From these results, we can obtain ${Z_\mu}/{Z_5}$ at one-loop level as
1021: \beqn
1022: \left[\frac{Z_\mu}{Z_5} \right]_{{\rm finite}}
1023: &=&1- 4 g_R^2 \int \frac{ d^4 k'_E}{(2\pi)^4}
1024: \int_0^1 dx
1025: (-\pi)
1026: \left[
1027: \frac{4 \pi^2 x(1-x)e^{2\pi k'_E}}{{k'_E} (e^{2\pi k'_E}-1)^2}
1028: + \frac{8 \pi^2 x(1-x)e^{4\pi k'_E}}{k'_E (e^{2\pi k'_E}-1)^3}
1029: \right] \nn\\ &&+{\cal O}(g_R^4),
1030: \eeqn
1031: which is in fact free from UV divergences but contains infrared (IR)
1032: divergences.
1033: This is because we consider exactly massless charged fermion for simplicity.
1034: However, we usually consider the case where $A_5$ which is identified as
1035: the Higgs field get non-vanishing VEV in the gauge-Higgs unification scenario.
1036: Then, the charged fermions acquires non-vanishing mass, and the IR divergences
1037: disappear.
1038: Thus, we recalculate ${Z_\mu}/{Z_5}$ under the non-trivial background,
1039: $\VEV{A_5}=a/(gR)$, leading to
1040: \beqn
1041: \left[\frac{Z_\mu}{Z_5} \right]_{{\rm finite}}
1042: &=&1-4g_R^2 \int\frac{d^4 k'_E}{(2\pi)^4}
1043: \frac{\pi^3 \sinh(2\pi k'_E)(\cos^2(2 \pi a) + \cos(2 \pi a) \cosh(2\pi k'_E)-2)}
1044: {3k'_E (\cosh(2\pi k'_E)-\cos(2\pi a))^3} \nonumber \\
1045: &&+{\cal O}(g_R^4)
1046: \nonumber \\
1047: &=& 1-\frac{g_R^2}{12}\ln(2 \pi a) +{\cal O}(g_R^4),
1048: \label{wfdif}
1049: \eeqn
1050: in the limit $a\to0$.
1051: %%%%%%%%%%%%%%%%%%%%
1052: \subsection{Two-loop}
1053: %%%%%%%%%%%%%%%%%%%%
1054: In this subsection,
1055: we calculate two-loop corrections to the mass of the
1056: zero mode of $A_5$.
1057: In 5D massless QED, all the divergences at one-loop level
1058: are expected to cancel out.
1059: In fact, we have seen explicitly in the previous subsection
1060: that the divergences
1061: from the wave function renormalization and the vertex correction are
1062: exactly canceled as expected from Ward-Takahashi identity.
1063: Hence, we calculate two-loop diagrams without any counter terms.
1064: %\vspace*{-4cm}
1065: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1066: \begin{figure}
1067: \begin{center}
1068: \includegraphics[width=14.5cm]{2loop.eps}
1069: \end{center}
1070: \caption{Two-loop diagrams for the mass of the zero mode of $A_5$.
1071: The corresponding 4D and KK momenta are denoted as $(k,m)$ for example.}
1072: \label{2loop}
1073: \end{figure}
1074: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1075: Straightforward calculation of Fig. \ref{2loop} is given by
1076: \beqn
1077: &&\frac{g_4^4}{R^4}
1078: \int\frac{\drm^4 l\drm^4 k}{-(2\pi)^8}\sum_{n,m} (-1)\nn\\
1079: &&\phantom{\int}\Ll
1080: \tr\Ll (-i)\gamma_5 \frac{\sla l+in\gamma_5}{l^2-n^2}
1081: \gamma_\mu \frac{\sla k+i{m}\gamma_5}{k^2-{m}^2}
1082: (-i)\gamma_5 \frac{\sla k+i{m}\gamma_5}{k^2-{m}^2}
1083: \gamma_\nu \frac{\sla l+in\gamma_5}{l^2-n^2} \Rl
1084: \frac{\eta^{\mu\nu}}{(l-k)^2-(n-m)^2}
1085: \RR \nn\\
1086: &&\phantom{\int}
1087: +\tr\Ll \gamma_5 \frac{\sla l+in\gamma_5}{l^2-n^2}
1088: \gamma_5 \frac{\sla k+i{m}\gamma_5}{k^2-{m}^2}
1089: \gamma_5 \frac{\sla k+i{m}\gamma_5}{k^2-{m}^2}
1090: \gamma_5 \frac{\sla l+in\gamma_5}{l^2-n^2} \Rl
1091: \frac{-1}{(l-k)^2-(n-m)^2}
1092: \nn\\
1093: &&\phantom{\int}
1094: +2\tr\Ll (-i)\gamma_5 \frac{\sla l+in\gamma_5}{l^2-n^2}
1095: \gamma_\mu \frac{\sla k+i{m}\gamma_5}{k^2-{m}^2}
1096: \gamma_\nu \frac{\sla l+i{n}\gamma_5}{l^2-n^2}
1097: (-i)\gamma_5 \frac{\sla l+in\gamma_5}{l^2-n^2} \Rl
1098: \frac{\eta^{\mu\nu}}{(l-k)^2-(n-m)^2}
1099: \nn\\
1100: &&\phantom{\int}\LL
1101: +2\tr\Ll \gamma_5 \frac{\sla l+in\gamma_5}{l^2-n^2}
1102: \gamma_5 \frac{\sla k+i{m}\gamma_5}{k^2-{m}^2}
1103: \gamma_5 \frac{\sla l+i{n}\gamma_5}{l^2-n^2}
1104: \gamma_5 \frac{\sla l+in\gamma_5}{l^2-n^2} \Rl
1105: \frac{-1}{(l-k)^2-(n-m)^2}
1106: \Rl \\
1107: \label{QEDMassCorr}\
1108: % &=&-4\frac{g_4^4}{R^4}
1109: % \int\frac{\drm^4 l\drm^4 k}{-(2\pi)^8}\sum_{n,m}
1110: % \Ll
1111: % \frac{\Ls3(l^2+n^2)(k^2+{m}^2)-12n{m} lk\Rs}
1112: % {(l^2-n^2)^2(k^2-{m}^2)^2\Ls(l-k)^2-(n-m)^2\Rs}
1113: % \RR \nn\\
1114: % &&\phantom{-g_4^4\int\frac{\drm^4 l\drm^4 k}{-(2\pi)^8}\sum_{n,m} }\LL
1115: % +2\frac{\Ls(l^2+n^2)(-3kl+3n{m})-6n^2kl+6n{m}l^2\Rs}
1116: % {(l^2-n^2)^3(k^2-{m}^2)\Ls(l-k)^2-(n-m)^2\Rs}\Rl,
1117: %\nn \\
1118: &=&-12\frac{g_4^4}{R^2}
1119: \int\frac{\drm^4 l_E\drm^4 k_E}{(2\pi)^8}\sum_{n,m} \nn\\
1120: &&\phantom{-12\frac{g_4^4}{R^2} \int}
1121: \Ll
1122: \frac{\Ls(l_E^2-n^2)(-k_E^2+{m}^2)-4n{m} l_Ek_E\Rs}
1123: {(l_E^2+n^2)^2(k_E^2+{m}^2)^2\Ls(l_E-k_E)^2+(n-m)^2\Rs}
1124: \RR \nn\\
1125: &&\phantom{-12\frac{g_4^4}{R^2} \int}\LL
1126: +2\frac{\Ls(l_E^2-n^2)(k_El_E+n{m})-2n^2k_El_E+2n{m}l_E^2\Rs}
1127: {(l_E^2+n^2)^3(k_E^2+{m}^2)\Ls(l_E-k_E)^2+(n-m)^2\Rs}\Rl,
1128: \label{QEDMassCorrBFI}
1129: \eeqn
1130: where we note that the contributions from the last two diagrams
1131: in Fig.~\ref{2loop} are the same as those from the third
1132: and the fourth diagrams.
1133: In the last equation, we carry out the Wick rotation.
1134: Now we perform the summations with respect to $n$ and $m$.
1135: For this purpose, we replace the summations by the integrations
1136: on the real axis and the summations of residues,
1137: as was done in the one-loop calculation.
1138: In other words, we decompose the summations of the function $f(m,n)$
1139: to the following four parts:
1140: \beqn
1141: \mbox{I} &:& \int\drm z_n\drm z_m f(z_m,z_n), \nn\\
1142: \mbox{\II} &:& \int\drm z_n
1143: 2{\rm Re}\Ll\sum_i Res.
1144: \Lm\frac{2\pi i f(z_m,z_n)}
1145: {\exp(-2\pi i z_m)-1}\,;\,z_m=m_+^i\Rm\Rl, \nn\\
1146: \mbox{\III}&:& 2{\rm Re}\Ll\sum_i Res.
1147: \Lm\frac{2\pi i}{\exp(-2\pi i z_n)-1}
1148: \int\drm z_m f(z_m,z_n)\,;\,z_n=n_+^i\Rm\Rl, \nn\\
1149: \mbox{\IV} &:& 2{\rm Re}\Ll\sum_i Res.\Lm\frac{2\pi i}{\exp(-2\pi i z_n)-1}
1150: 2{\rm Re}\Ll\sum_i Res.\Lm\frac{2\pi if(z_m,z_n)}
1151: {\exp(-2\pi i z_m)-1}
1152: \,;\,z_m=m_+^i\Rm\Rl \RR\RR\nn\\
1153: &&\LL\LL\phantom{2\Re\Ll\Rl\frac{2\pi i}{\exp(-2)}}
1154: \,;\,z_n=n_+^i\Rm\Rl. \nn
1155: \eeqn
1156: Note that we always carry out the operation of $m$
1157: before doing that of $n$.
1158: %Let us discuss each part in order.
1159:
1160: Here we list only the results of calculation of each part
1161: to clarify the cancellation of divergences.
1162: Detailed calculations and its physical interpretations are
1163: described in Appendix.
1164:
1165: \beqn
1166: \mbox{I} &:& \int\drm z_n\drm z_m f(z_m,z_n) = 0, \label{I2loop}\\
1167: \mbox{\II} &:& \int\drm z_n
1168: 2{\rm Re}\Ll\sum_i Res.
1169: \Lm\frac{2\pi i f(z_m,z_n)}
1170: {\exp(-2\pi i z_m)-1}\,;\,z_m=m_+^i\Rm\Rl \nn\\
1171: &&= -\frac{4\pi^3(1+e_k)}{e_k^2l((l+\lambda)^2-k^2)}
1172: -\frac{4\pi^3(1+e_k)}{e_k^2k((k-\lambda)^2-l^2)}\theta(k-\lambda),
1173: \label{II2loop}\\
1174: \mbox{\III}&:& 2{\rm Re}\Ll\sum_i Res.
1175: \Lm\frac{2\pi i}{\exp(-2\pi i z_n)-1}
1176: \int\drm z_m f(z_m,z_n)\,;\,z_n=n_+^i\Rm\Rl \nn\\
1177: &&=
1178: \frac{4\pi^3(1+e_l)}{e_l^2k((k+\lambda)^2-l^2)}
1179: -\frac{4\pi^3(1+e_{k+\lambda})}{e_{k+\lambda}^2k((k+\lambda)^2-l^2))},
1180: \label{III2loop}\\
1181: \mbox{\IV} &:& 2{\rm Re}\Ll\sum_i Res.\Lm\frac{2\pi i}{\exp(-2\pi i z_n)-1}
1182: 2{\rm Re}\Ll\sum_i Res.\Lm\frac{2\pi if(z_m,z_n)}
1183: {\exp(-2\pi i z_m)-1}
1184: \,;\,z_m=m_+^i\Rm\Rl \RR\RR\nn\\
1185: &&\LL\LL%\phantom{2\Re\Ll\Rl\frac{2\pi i}{\exp(-2)}}
1186: \,;\,z_n=n_+^i\Rm\Rl
1187: =
1188: -\frac{16\pi^3(1+e_l)\lambda}
1189: {e_\lambda e_l^2
1190: (k+l+\lambda)(k+l-\lambda)(k-l+\lambda)(k-l-\lambda)},
1191: \label{partIV1}\nn\\
1192: &&-\frac{4\pi^3(e_k+e_{k+\lambda}+2e_k e_{k+\lambda})}
1193: {e_k^2e_{k+\lambda}^2 k((k+\lambda)^2-l^2)}
1194: -\frac{4\pi^3(1+e_{k+\lambda})}
1195: {e_\lambda e_{k+\lambda}^2 k((k+\lambda)^2-l^2)},
1196: \label{partIV2}\nn\\
1197: &&+\frac{4\pi^3(1+e_k)}
1198: {e_k^2e_\lambda k((k-\lambda)^2-l^2)}
1199: +\frac{4\pi^3(1+e_k)}
1200: {e_k^2 k((k-\lambda)^2-l^2)}\theta(k-\lambda) \label{IV2loop}
1201: \eeqn
1202: where $\theta(x)$ is $0$ for $x<0$ and $1$ for $x>0$.
1203: $e_k \equiv \exp(2\pi k) - 1$ and $\lambda \equiv k - l$.
1204:
1205:
1206: As expected from the five dimensional gauge invariance,
1207: the contribution from (\ref{I2loop}) vanishes although
1208: each term potentially gives divergent correction.
1209: The first term in (\ref{II2loop}) is the linearly divergent
1210: term for $l$ momentum, which originated from the vertex correction.
1211: This divergence is canceled by the first term in (\ref{III2loop})
1212: comes from a wave function renormalization.
1213: All other remaining terms are finite since they are exponentially
1214: suppressed with respect to $k$ and $l$ momentum.
1215:
1216:
1217: %%%%%%%%%%%%%%%%%%%%%%%%
1218: %\subsubsection{Summation}
1219: %%%%%%%%%%%%%%%%%%%%%%%%
1220: Now we sum up all the terms of (\ref{I2loop})-(\ref{IV2loop}).
1221: Note that we can freely exchange $k$ and $l$ with each other keeping
1222: $\lambda$ unchanged, which
1223: is nothing but the rename of the integral variables
1224: $(k_E,l_E)\to(l_E,k_E)$.
1225: %Also, as shown in subsubsection \ref{Part3}, we can exchange
1226: % $k$ and $\lambda$ with each other, and thus
1227: % $l$ and $\lambda$ with each other.
1228: By using this freedom, we find that the summation becomes zero.
1229: This shows the finite part corrections vanish, apart from those due to
1230: the wave function renormalization of $A_5$.
1231: %We understand that
1232: This cancellation seems to be accidental in our simple model
1233: because there is no clear physical reason to ensure such a cancellation.
1234: If we consider higher order loop corrections beyond two-loops
1235: even in 5D massless QED or
1236: calculate quantum corrections in more general models,
1237: the finite correction would be remained to be nonzero.
1238: This point would be clarified if we extend our analysis
1239: to the non-Abelian case, for example \cite{MTY}.
1240:
1241:
1242: %%%%%%%%%%%%%%%%%
1243: \section{Summary}
1244: %%%%%%%%%%%%%%%%%
1245: Even in gauge-Higgs unification,
1246: the Higgs mass diverges beyond one-loop level in general.
1247: The divergence arises from the subdiagrams and should be subtracted
1248: by adding lower loop counter terms.
1249: Then, we can obtain the finite Higgs mass at any order of perturbations
1250: without introducing any other counter terms.
1251:
1252: In this paper, we have calculated quantum corrections to the mass of
1253: the zero mode of the gauge field at two-loop order
1254: in a five dimensional massless QED compactified on $S^1$.
1255: We have found that no counter terms are needed in this simple model
1256: and have discussed in detail how the possible divergences
1257: are canceled.
1258: The key ingredients to obtain such a cancellation
1259: are the fifth component of
1260: the 5D gauge symmetry (shift symmetry),
1261: and the fact that the (linear) divergences
1262: from the fermion wave function renormalization and the vertex correction are
1263: the same magnitude with an opposite sign.
1264: The latter feature is expected from Ward-Takahashi identity.
1265:
1266: We also evaluated the finite part of corrections.
1267: We classified such corrections to two type: those come from the wavefunction
1268: renormalization of $A_5$ and those come from 1PI two-loop diagrams.
1269: The former keeps the structure of the one-loop effective potential essentially
1270: unchanged and is obtained from the product of the ratio of the wavefunction
1271: renormalization factors $Z_\mu/Z_5$ and one-loop finite Higgs mass.
1272: Although these wave function renormalization factors are linearly divergent,
1273: 5D Lorentz invariance ensures that these have same contributions.
1274: Therefore, the UV divergences are exactly canceled in $Z_\mu/Z_5$ while
1275: IR divergences appear.
1276: This is because we consider exactly massless charged fermion, and
1277: we introduce a small VEV of $A_5$ as an IR cutoff.
1278: As for the latter, we found that they cancel out among themselves
1279: in our calculation.
1280: This result seems to be accidental in our simple model
1281: because there is no clear physical reason to obtain such a result.
1282: If we consider higher order loop corrections beyond two-loops
1283: even in 5D massless QED or
1284: calculate quantum corrections in more general models,
1285: the finite correction would be remained to be nonzero.
1286:
1287: We should note that the finite value itself may not be taken seriously
1288: because our regularization used in this paper does not have
1289: {\em 4D gauge invariance}.
1290: Namely, the photon has a non-vanishing mass at one-loop level.
1291: However, we would like to emphasize that only the 5D Lorentz symmetry
1292: \footnote{In the case of explicit violation of 5D Lorentz invariance as in
1293: Ref.\cite{SmallVEV},
1294: $Z_\mu/Z_5$ may be no longer finite.
1295: However, in this case, there exist two counter terms to remove
1296: the diveregnces in both $Z_\mu$ and $Z_5$.
1297: %we have only to add the local counter terms
1298: %for $Z_\mu$ and $Z_5$ to subtract the divergences
1299: %because the coefficients of divergences are not the same in this case.
1300: Thus, even in such a case, Higgs mass will be finite
1301: since the shift symmetry protects its finiteness.
1302: %This is indeed the case, see the above reference.
1303: }
1304: ($Z_\mu/Z_5$), the shift symmetry (Part I)
1305: and the relation expected from Ward-Takahashi identity (Part \II and \III)
1306: are important to cancel all possible divergences.
1307: In fact, the 4D gauge invariance is not so important
1308: for the finiteness of the mass of $A_5$
1309: since the shift symmetry forbids the mass of $A_5$.
1310: Our regularization indeed preserves the shift symmetry
1311: by doing the summation of KK modes
1312: and the relation expected from Ward-Takahashi identity.
1313: We can conclude from these observations that
1314: the finiteness for the mass of $A_5$ is correct
1315: even in our regularization scheme.
1316: Off course, it is desirable to calculate the mass
1317: in a full 5D gauge invariant way to obtain a reliable finite mass.
1318: This subject is left for a future work.
1319:
1320:
1321: Our discussion of obtaining the finite Higgs mass at any order
1322: of perturbations would be generic in any Gauge-Higgs unification models.
1323: Therefore, it would be very interesting to extend our analysis
1324: to non-Abelian case not only from the theoretical
1325: but also from the phenomenological viewpoints.
1326: This subject will be reported elsewhere \cite{MTY}.
1327:
1328:
1329: %Finally, we comment on the following point.
1330: %One might worry about that the linear divergence from
1331: %the wave function renormalization of $A_5$ spoils
1332: %the finiteness of the Higgs mass.
1333: %However, this divergence is cancelled by those originated from
1334: %the bare 5D gauge coupling constant in the one-loop corrections
1335: %which is proportional to $g^2$.
1336: %Namely, if we write the corrections in terms of the renormalized
1337: %gauge coupling, they become finite up to $g^4$ order.
1338: %In addition, as usual, the divergences from the bare coupling
1339: %in the two-loop corrections are order of $g^6$
1340: %and can be neglected at two-loop order.
1341: %Thus, the finiteness of the Higgs mass is preserved
1342: %even if we take into account the wave function renormalization for $A_5$.
1343: %This observation is valid at any order of perturbations.
1344: %%However, this divergence is cancelled by that from
1345: %%the bare 5D gauge coupling constant in the one-loop corrections.
1346: %%through the relation $A_5 = a/(gR)$
1347: %%where $a$ is a constant.
1348:
1349:
1350:
1351:
1352: \vspace*{1cm}
1353:
1354: %%%%%%%%%%%%%%%%%%%%%%
1355: \begin{center}
1356: {\bf Acknowledgements}
1357: \end{center}
1358: N.M. would like to thank N. Sakai for bringing my attention to this subject
1359: and C.S. Lim for valuable discussions at an early stage of this work.
1360: He also would like to thank L. Silvestrini for useful comments.
1361: T.Y. would like to thank K. Izawa for stimulating discussions.
1362: We would like to thank M. Serone for valuable comments on
1363: the previous version of the manuscript.
1364: The work of N.M. is supported by INFN, sezione di Roma.
1365: The work of T.Y. is supported by SISSA.
1366: %%%%%%%%%%%%%%%%%%%%%%%%%%%
1367: \vspace*{1cm}
1368: %%%%%%%%%%%%%%%%%%
1369: \begin{appendix}
1370: \section{Detailed calculation of two-loop corrections to Higgs mass}
1371: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1372: In this appendix, the detailed calculations of Higgs mass at two-loop part
1373: expressed as I-\IV in 3.2.
1374: and its physical interpretations are described.
1375:
1376: \setcounter{equation}{0}
1377: %%%%%%%%%%%%%%%%%%%%%%
1378: \subsection{Part I}
1379: %%%%%%%%%%%%%%%%%%%%%%
1380:
1381: First, we evaluate the contribution from the first part, namely
1382: the summations are replaced by integrations on the real axis.
1383: This contribution is expected to correspond to the diagrams where
1384: both loops do not wind around $S^1$ and thus can be shrinked to a point.
1385: In general, such diagrams give the strongest divergences.
1386: However, in our case, the five dimensional gauge invariance
1387: will forbid such a contribution.
1388:
1389:
1390: Before evaluating the contribution, we define a new vector
1391: from $l_E$ and $k_E$ as $\lambda_E \equiv k_E - l_E$, and we use the same
1392: parameters without the index $E$
1393: to denote the absolute values of the vectors.
1394: Among these three vectors, we can choose any two vectors as the
1395: integral variables.
1396: Then the integrand of (\ref{QEDMassCorrBFI}) is written as
1397: \beqn
1398: I(m,n) &\equiv& \frac{(l^2-n^2)(m^2-k^2)-2n{m}\Ls l^2+k^2-\lambda^2\Rs}
1399: {(l^2+n^2)^2(k^2+{m}^2)^2\Ls \lambda^2+(n-m)^2\Rs} \nn \\
1400: &&+\frac{(l^2-3n^2)(l^2+k^2-\lambda^2)+2(3l^2-n^2)nm}
1401: {(l^2+n^2)^3(k^2+{m}^2)\Ls \lambda^2+(n-m)^2\Rs}
1402: \label{QEDMassCorrBFIIntegrand}.
1403: \eeqn
1404: We can integrate over $z_m$ of
1405: (\ref{QEDMassCorrBFIIntegrand}) by adding the integration on the large
1406: half-circle in the upper half plane and evaluating the residues at the
1407: poles on the plane.
1408: \beqn
1409: I(n) &=&
1410: \int_{-\infty}^\infty\drm z_m I(z_m,n)
1411: = Res.\Lm 2 \pi i I(z_m,n) ;
1412: z_m=ik,n+i\lambda \Rm \nn\\
1413: &=&-
1414: \frac{\Ls k(k+\lambda)^2l^2+\Ls(k-2\lambda)(k+\lambda)^2
1415: +(k+2\lambda)l^2\Rs n^2 +kn^4\Rs\pi}
1416: {(l^2+n^2)^2 k \lambda\Ls(k+\lambda)^2+n^2\Rs^2}
1417: \nn\\
1418: &&+
1419: \frac{\Ls(k+\lambda)l^2(k^2+l^2-\lambda^2)-3(k-\lambda)\Ls(k+\lambda)^2
1420: -l^2\Rs n^2-2kn^4\Rs\pi}
1421: {(l^2+n^2)^3 k \lambda((k+\lambda)^2+n^2)}
1422: \label{QEDMassCorrBFIIntegrandM}.
1423: \eeqn
1424: In a similar way, we can further perform the integration over $z_n$
1425: of the above expression to find
1426: \beqn
1427: && \int_{-\infty}^\infty \drm z_n I(z_n)
1428: = Res.\Lm 2 \pi i I(z_n) ;
1429: z_n=il,i(k+\lambda) \Rm \nn\\
1430: &=&
1431: -\frac{\Ls k+l-\lambda\Rs\pi^2}
1432: {kl \lambda\Ls k+l+\lambda\Rs^2}
1433: +\frac{\Ls k+l-\lambda\Rs\pi^2}
1434: {kl \lambda\Ls k+l+\lambda\Rs^2}\quad=0.
1435: \eeqn
1436: As expected from the five dimensional gauge invariance,
1437: the contribution from this part vanishes although
1438: each term potentially gives divergent correction.
1439:
1440: %\setcounter{equation}{0}
1441: %%%%%%%%%%%%%%%%%%%%%%%%
1442: \subsection{Part \II}
1443: %%%%%%%%%%%%%%%%%%%%%%%%
1444: %%%%%%%%%%%%%%%%%
1445: \begin{figure}
1446: \begin{center}
1447: \includegraphics[width=4.5cm]{2loopA.eps}
1448: \includegraphics[width=4.5cm]{2loopB.eps}
1449: \includegraphics[width=4.5cm]{2loopC.eps}
1450: \put(-330,5){{\Large (a)}}
1451: \put(-200,5){{\Large (b)}}
1452: \put(-70,5){{\Large (c)}}
1453: \end{center}
1454: \vspace*{-0.5cm}
1455: \caption{The diagrams where the fermion loop winds around $S^1$
1456: but the photon loop does not.
1457: The cylinder denotes $S^1$.
1458: If the fermion-photon loop is shrinked to a point, these diagrams provide
1459: corrections of the 4-point vertex of the fermion-fermion-$A_5$-$A_5$ (a),
1460: the gauge interaction vertex (b) and the wave function renormalization (c),
1461: respectively.}
1462: \label{wrap}
1463: \end{figure}
1464: %%%%%%%%%%%%%%%%%%%%
1465: Next, we evaluate the contribution from the second part.
1466: This contribution is expected to correspond to the diagrams where
1467: one of the loops winds around $S^1$ while the other does not.
1468: Some examples are shown in Fig. \ref{wrap}.
1469: Because the latter loop can be shrinked to a point,
1470: generally this part gives a divergent contribution,
1471: even in the gauge-Higgs unification scenario.
1472: However, as is well known, such divergences can be cancelled by
1473: the one-loop counter terms.
1474: In other words, after we remove all the divergences in the one-loop diagrams,
1475: the contribution from this part will be finite.
1476: Then, we obtain the finite mass at two-loop level without any additional
1477: counter terms.
1478: In \cite{DGQ}, the Higgs mass at two-loop level are calculated
1479: in 5D supersymmetric theory, where supersymmetry is broken
1480: by Scherk-Schwarz mechanism. In fact, the linear divergences appear
1481: and are cancelled by the one-loop counter terms.
1482: In our particular case,
1483: Ward-Takahashi identity should make
1484: the divergence in this contributions same as the minus of
1485: the divergence in the contribution from the part \III.
1486: Thus, all the divergences are expected to cancel out with each other
1487: {\em without} any counter terms.
1488:
1489: Now, let us evaluate the residues of the poles of $z_m$
1490: in the upper half plane, \ie\ $z_m=i k$ and $z_m=n+i \lambda$.
1491: We can interpret the former contribution as the one comes from
1492: the diagram where the fermion line with the momentum $k$ winds
1493: around $S^1$~(Fig.~\ref{wrap}),
1494: while the latter as the one from the diagram where
1495: the photon line winds.
1496: The residue of the first term
1497: in (\ref{QEDMassCorrBFIIntegrand})
1498: on the pole $z_m=i k$ is evaluated as
1499: \beqn
1500: J_1(n) &\equiv& 2{\rm Re}\Ll Res.\Lm\Ls\mbox
1501: {1st term of}~I(z_m,n) \Rs
1502: \frac{2\pi i}{\exp(-2\pi i z_m)-1}
1503: ; z_m=ik\Rm\Rl \nn\\
1504: &=& 4\pi \left[ e_k\Ls k^2l^2(k^2-\lambda^2)^2
1505: +(2k^6+k^4(l^2-3\lambda^2)-4k^2l^2\lambda^2
1506: -(l^2-\lambda^2)\lambda^4)n^2 \RR\RR\nn\\
1507: &&\LL\LL\LL\hsp{1.1}
1508: +(4k^4-k^2(l^2+2\lambda^2)-2(l^2-\lambda^2)\lambda^2)n^4
1509: +(2k^2-l^2+\lambda^2)n^6 \Rs
1510: \RR\RR\nn\\ &&\LL\hsp{0.5}
1511: +(1+e_k)k(k^2-\lambda^2+n^2)((k+\lambda)^2+n^2)
1512: ((k-\lambda)^2+n^2)(l^2+n^2)\pi \right] \nn\\
1513: && /\left[ e_k^2k((k+\lambda)^2+n^2)^2((k-\lambda)^2+n^2)^2(l^2+n^2)^2
1514: \right]
1515: \label{VertexMKwrap}
1516: \eeqn
1517: and that of the second term is given by
1518: \beqn
1519: J_2(n) &\equiv& 2{\rm Re}\Ll Res.\Lm\Ls\mbox
1520: {2nd term of}~I(z_m,n) \Rs
1521: \frac{2\pi i}{\exp(-2\pi i z_m)-1}
1522: ; z_m=ik\Rm\Rl \nn\\
1523: &=& 2\pi \left[ -(k^2-\lambda^2)^2(k^2+l^2-\lambda^2)^2l^2
1524: % +(3k^4-2k^2(4l^2+3\lambda^2)
1525: \RR\nn\\&&\LL
1526: +(3k^4-2k^2(4l^2+3\lambda^2)+(l^2-\lambda^2)(l^2-3\lambda^2))n^2
1527: + (k^2-3l^2+3\lambda^2)n^4
1528: \right]
1529: \nn\\
1530: && /\left[ e_k k ((k+\lambda)^2+n^2)((k-\lambda)^2+n^2)(l^2+n^2)^3 \right],
1531: \label{WFMKwrap}
1532: \eeqn
1533: where $e_k\equiv\exp\Ls2\pi k\Rs-1$.
1534: After the integration over $z_n$, we find these respectively become
1535: \beqn
1536: &&\frac{2\pi^2\Ls 2(1+e_k)(k+l)((k+l)^2-\lambda^2)\pi
1537: +e_k(3(k+l)^2+\lambda^2)\Rs}
1538: {e_k^2 kl((k+l)^2-\lambda^2)^2}, \\
1539: &&-\frac{2\pi^2\Ls(3(k+l)^2+\lambda^2)\Rs}
1540: {e_k kl((k+l)^2-\lambda^2)^2}
1541: \eeqn
1542: for $k>\lambda$ and
1543: \beqn
1544: &&\frac{2\pi^2\Ls 2(1+e_k)k\lambda(k^2-(l+\lambda)^2)\pi
1545: +e_k(k^2(l+3\lambda)-(l-\lambda)(l+\lambda)^2)\Rs}
1546: {e_k^2 kl\lambda(k^2-(l+\lambda)^2)^2},
1547: \label{VertexMKwrapN}\\
1548: &&-\frac{2\pi^2\Ls k^2(l+3\lambda)-(l-\lambda)(l+\lambda)^2\Rs}
1549: {e_k kl\lambda((\lambda + l)^2 - k^2)^2}
1550: \label{WFMKwrapN}
1551: \eeqn
1552: for $k<\lambda$.
1553: Note that all terms vanish in the limit $e_k\to\infty$.
1554: This means that we do not have UV divergences in $k$ integration.
1555: On the other hand, we may encounter divergences in $l$($\lambda$)
1556: integration.
1557: In fact, we can see that the integration of (\ref{VertexMKwrapN})
1558: over $l_E$ is linearly divergent, while the one of (\ref{WFMKwrapN})
1559: converges.
1560: These are consistent with the interpretation that these contributions
1561: correspond to the diagram where the fermion line with the
1562: momentum $k$ winds on $S^1$:
1563: (\ref{VertexMKwrapN}) corresponds to the vertex correction
1564: (Fig.~\ref{wrap} (b))
1565: while (\ref{WFMKwrapN}) corresponds to the correction of the four point
1566: vertex fermion-fermion-$A_5$-$A_5$ (Fig.~\ref{wrap} (a)).
1567:
1568: In a similar way, contributions from the pole at $z_m=n+i\lambda$
1569: is evaluated as
1570: \beqn
1571: J_3(n) &\equiv& 2{\rm Re}\Ll Res.\Lm\Ls\mbox
1572: {1st term of}~I(z_m,n) \Rs
1573: \frac{2\pi i}{\exp(-2\pi i z_m)-1}
1574: ; z_m=n+i\lambda\Rm\Rl \nn\\
1575: &=&- 2\pi\left[ (k^2-\lambda^2)^2(k^2+\lambda^2)l^2
1576: +((k^2-\lambda^2)^2(k^2+5\lambda^2)
1577: \RR\nn\\
1578: &&\LL
1579: +(3k^4-6k^2\lambda^2-5\lambda^4)l^2)n^2
1580: +(3k^4+k^2(3l^2+2\lambda^2)-5l^2\lambda^2+3\lambda^4)n^4
1581: \RR \nn\\&&\LL
1582: +(3k^2+l^2-\lambda^2)n^6 +n^8 \right]
1583: /\left[ e_\lambda\lambda((k+\lambda)^2+n^2)^2((k-\lambda)^2+n^2)^2(l^2+n^2)^2
1584: \right] \nn \\
1585: \label{VertexMKmlwrap}
1586: \eeqn
1587: and that of the second term is given as
1588: \beqn
1589: J_4(n) &\equiv& 2{\rm Re}\Ll Res.\Lm\Ls\mbox
1590: {2nd term of}~I(z_m,n) \Rs
1591: \frac{2\pi i}{\exp(-2\pi i z_m)-1}
1592: ; z_m=n+i\lambda\Rm\Rl \nn\\
1593: &=& 2\pi\left[ (k^2-\lambda^2)(k^2+l^2-\lambda^2) l^2
1594: +(-3(k^2-\lambda^2)^2+4(k^2+2\lambda^2)l^2+l^4)n^2
1595: \RR\nn\\&&\LL
1596: +(-5k^2+3l^2+\lambda^2)n^4-2n^6 \right]
1597: /\left[ e_\lambda\lambda((k+\lambda)^2+n^2)((k-\lambda)^2+n^2)(l^2+n^2)^3
1598: \right], \nn\\
1599: \label{WFMKmlwrap}
1600: \eeqn
1601: where $e_\lambda\equiv\exp\Ls2\pi \lambda\Rs-1$.
1602: After the integration over $z_n$, we find these terms give
1603: the same contributions with an opposite sign and the sum of
1604: these vanishes.
1605: This is also consistent with the interpretation that these contributions
1606: correspond to the diagram where the photon line winds around $S^1$.
1607: Namely, such contributions correspond to the correction of the four point
1608: vertex $A_M$-$A_M$-$A_5$-$A_5$.
1609: This is the correction to the $F_{MN}^4$ term
1610: which has vanishing contribution to the mass correction
1611: because its Feynman rule contains momenta of the four lines
1612: and our interest is zero external momenta case.
1613:
1614: In summary, the contribution from this part is written as
1615: \bequ
1616: -\frac{4\pi^3(1+e_k)}{e_k^2l((l+\lambda)^2-k^2)}
1617: -\frac{4\pi^3(1+e_k)}{e_k^2k((k-\lambda)^2-l^2)}\theta(k-\lambda),
1618: \label{partII}
1619: \eequ
1620: where $\theta(x)$ is $0$ for $x<0$ and $1$ for $x>0$.
1621:
1622:
1623: The first term is the linearly divergent term for $l$ momentum,
1624: which originated from the vertex correction.
1625: This divergence should be canceled
1626: by the term originated from the wave function renormalization.
1627: We will see in the next subsection that this is indeed the case.
1628: On the other hand, the second term is finite
1629: since this contribution exists only when the momentum $\lambda$
1630: is smaller than the momentum $k$.
1631:
1632: %\setcounter{equation}{0}
1633: %%%%%%%%%%%%%%%%%%%%%%%%%%
1634: \subsection{Part \III}
1635: \label{Part3}
1636: %%%%%%%%%%%%%%%%%%%%%%%%%%
1637: Now, we evaluate the contribution from the third part.
1638: The integration over $z_m$ is given in (\ref{QEDMassCorrBFIIntegrandM}).
1639: It shows that there are two poles in the upper half plane:
1640: $z_n=il$ and $z_n=i(k+\lambda)$.
1641: The contribution from the pole at $z_n=i l$ is calculated as
1642: \beqn
1643: && 2{\rm Re}\Ll Res.\Lm I(z_n)
1644: \frac{2\pi i}{\exp(-2\pi i z_n)-1}
1645: ; z_n=il\Rm\Rl \nn\\
1646: &=&-\frac{4\pi^3(1+e_l)}
1647: {e_l^2 k((k+\lambda)^2-l^2)}
1648: -\frac{2\pi^2\Ls(k-\lambda)(k+\lambda)^2-(k+3\lambda)l^2\Rs}
1649: {e_l kl\lambda((k+\lambda)^2-l^2)^2}
1650: \label{VertexMNLwrap}\\
1651: &&+\frac{8\pi^3(1+e_l)}
1652: {e_l^2 k((k+\lambda)^2-l^2)}
1653: +\frac{2\pi^2\Ls(k-\lambda)(k+\lambda)^2-(k+3\lambda)l^2\Rs}
1654: {e_l kl\lambda((k+\lambda)^2-l^2)^2} \nn \\
1655: &&+\frac{4\pi^4(1+e_l)(2+e_l)(k-\lambda)}
1656: {e_l^3 kl\lambda}
1657: \label{WFMNLwrap}
1658: \eeqn
1659: where $e_l\equiv \exp\Ls2\pi l\Rs-1$.
1660: These terms vanish in the limit $e_l\to\infty$, and thus
1661: the $l$ integration is free from UV divergences.
1662: Note that if we choose $-l_E$ and $\lambda_E$ as the integral variables
1663: and rename them as $L_E$ and $K_E$,
1664: $k_E$ is written as $k_E=K_E-L_E\equiv\Lambda_E$.
1665: Then the three new momenta $(K_E,L_E,\Lambda_E)$ satisfy
1666: the same relation as $(k_E,l_E,\lambda_E)$.
1667: In addition, the integration measure under this rename is invariant.
1668: Thus, this means we can replace $k$ and $\lambda$ with each other.
1669: From this observation, it is clear that the 4D momentum integral of
1670: the last term in (\ref{WFMNLwrap}) %, which is potentially divergent,
1671: does not contribute.
1672: %%This fact is very important because this divergent term has
1673: %%cannot be canceled if it remains, as will seen later.
1674: %One might think that whether this divergent contribution vanishes or not
1675: %depends on the way of calculation, but it is often the case whether
1676: %the physical quantity becomes convergent or divergent depends on it.
1677: %%Although this is a quite subtle issue,
1678: %What is important is that
1679: %we found how we should take integration variables
1680: %to vanish this divergent term.
1681: %It is not so trivial to find such an appropriate prescription.
1682:
1683: %From the power counting, we can see that the second terms of
1684: % (\ref{VertexMNLwrap}) and (\ref{WFMNLwrap}), which are cancel out with
1685: % each other, converge in the integration over $k_E$.
1686: %On the other hand,
1687: The first terms of (\ref{VertexMNLwrap}) and (\ref{WFMNLwrap})
1688: are linearly divergent with respect to $k$ integration.
1689: It is interesting to find that the divergence in (\ref{VertexMNLwrap})
1690: is the half of the one in (\ref{WFMNLwrap}) with the opposite sign,
1691: and is the same as the one in the part \II.
1692: These results are again consistent with the interpretation
1693: that these contributions correspond to the diagram
1694: where the fermion line with the momentum $l$ winds around $S^1$:
1695: (\ref{VertexMNLwrap}) corresponds to the vertex correction
1696: (Fig.~\ref{wrap} (b))
1697: and (\ref{WFMNLwrap}) corresponds to the wave function correction
1698: of the fermion (Fig.~\ref{wrap} (c)).
1699: The second terms in (\ref{VertexMNLwrap})
1700: and (\ref{WFMNLwrap}) are canceled.
1701:
1702: The contribution from the pole at $z_n=i(k+\lambda)$ is summarized as
1703: \beqn
1704: 2 {\rm Re}\Ll Res.\Lm I(z_n)
1705: \frac{2\pi i}{\exp(-2\pi i z_n)-1}
1706: ; z_n=i(k+\lambda)\Rm\Rl
1707: = -\frac{4\pi^3(1+e_{k+\lambda})}{e_{k+\lambda}^2k((k+\lambda)^2-l^2))}
1708: \nn \\
1709: \eeqn
1710: where $e_{k+\lambda}\equiv\exp\Ls{2\pi(k+\lambda)}\Rs-1$.
1711: This term vanishes when $e_{k+\lambda}\to\infty$,
1712: and thus this contribution is finite under both $k$ and $l$
1713: integrations.
1714: This contribution is interpreted as coming from the diagram where
1715: the fermion line with the momentum $k$ and the photon line
1716: wind around $S^1$.
1717:
1718: In summary, the contribution from this part is written as
1719: \bequ
1720: \frac{4\pi^3(1+e_l)}{e_l^2k((k+\lambda)^2-l^2)}
1721: -\frac{4\pi^3(1+e_{k+\lambda})}{e_{k+\lambda}^2k((k+\lambda)^2-l^2))}.
1722: \label{partIII}
1723: \eequ
1724: The first term is linearly divergent, which originated from
1725: two wave function renormalizations and a vertex correction,
1726: namely a wave function renormalization.
1727: One can see that this contribution and the first term in (\ref{partII})
1728: are exactly canceled as expected from Ward-Takahashi identity.
1729:
1730: %\setcounter{equation}{0}
1731: %%%%%%%%%%%%%%%%%%%%%%%%
1732: \subsection{Part \IV}
1733: %%%%%%%%%%%%%%%%%%%%%%%%
1734: Finally we evaluate the contribution from the fourth part.
1735: The contribution of the part of the residues in $m$ is written
1736: in (\ref{VertexMKwrap}), (\ref{WFMKwrap}), (\ref{VertexMKmlwrap})
1737: and (\ref{WFMKmlwrap}).
1738: They have poles on the upper half plane at
1739: $z_n=il,i(k+\lambda),i\abs{k-\lambda}$.
1740: The first and the last two parts give the following contributions;
1741: \beqn
1742: && 2{\rm Re}\Ll Res.\Lm\Ls J_1(z_n) + J_2(z_n) \Rs
1743: \frac{2\pi i}{\exp(-2\pi i z_n)-1}
1744: ; z_n=il\Rm\Rl \nn\\
1745: &=&\frac{8\pi^3(1+e_k)(k^2-l^2-\lambda^2)}
1746: {e_k^2e_l l(k+l+\lambda)(k+l-\lambda)(k-l+\lambda)(k-l-\lambda)}
1747: \nn \\
1748: && -\Ll k \leftrightarrow l~{\rm for~the ~first~term} \Rl
1749: -\frac{8\pi^4(1+e_l)(2+e_l)}
1750: {e_ke_l^3 kl}, \\
1751: && 2{\rm Re}\Ll Res.\Lm\Ls J_3(z_n) + J_4(z_n) \Rs
1752: \frac{2\pi i}{\exp(-2\pi i z_n)-1}
1753: ; z_n=il\Rm\Rl \nn\\
1754: &=&-\frac{16\pi^3(1+e_l)\lambda}
1755: {e_\lambda e_l^2 (k+l+\lambda)(k+l-\lambda)(k-l+\lambda)(k-l-\lambda)}
1756: +\frac{8\pi^4(1+e_l)(2+e_l)}
1757: {e_\lambda e_l^3 l\lambda} \nn \\
1758: \eeqn
1759: for the pole $z_n=il$,
1760: \beqn
1761: && 2{\rm Re}\Ll Res.\Lm\Ls J_1(z_n) + J_2(z_n)\Rs
1762: \frac{2\pi i}{\exp(-2\pi i z_n)-1}
1763: ; z_n=i(k+\lambda)\Rm\Rl \nn\\
1764: &=&-\frac{4\pi^3(e_k+e_{k+\lambda}+2e_k e_{k+\lambda})}
1765: {e_k^2e_{k+\lambda}^2 k((k+\lambda)^2-l^2)}, \\
1766: && 2{\rm Re}\Ll Res.\Lm\Ls J_3(z_n) + J_4(z_n)\Rs
1767: \frac{2\pi i}{\exp(-2\pi i z_n)-1}
1768: ; z_n=i(k+\lambda)\Rm\Rl \nn\\
1769: &=&-\frac{4\pi^3(1+e_{k+\lambda})}
1770: {e_\lambda e_{k+\lambda}^2 k((k+\lambda)^2-l^2)}
1771: \eeqn
1772: for the pole $z_n=i(k+\lambda)$, and
1773: \beqn
1774: && 2{\rm Re}\Ll Res.\Lm\Ls J_1(z_n) + J_2(z_n) \Rs
1775: \frac{2\pi i}{\exp(-2\pi i z_n)-1}
1776: ; z_n=i\abs{k-\lambda}\Rm\Rl \nn\\
1777: &=&-\frac{4\pi^3(1+e_k)(2e_k+e_k^2-e_{\lambda})}
1778: {e_k^2(e_k-e_{\lambda})^2 k((k-\lambda)^2-l^2)}
1779: +\frac{4\pi^3(1+e_k)}
1780: {e_k^2 k((k-\lambda)^2-l^2)}\theta(k-\lambda), \\
1781: && 2{\rm Re}\Ll Res.\Lm\Ls J_3(z_n) + J_4(z_n) \Rs
1782: \frac{2\pi i}{\exp(-2\pi i z_n)-1}
1783: ; z_n=i\abs{k-\lambda}\Rm\Rl \nn\\
1784: &=&\frac{4\pi^3(1+e_k)(1+e_\lambda)}
1785: {e_\lambda(e_k-e_{\lambda})^2 k((k-\lambda)^2-l^2)}
1786: \eeqn
1787: for the pole $z_n=i\abs{k-\lambda}$.
1788:
1789: In summary, the contribution of this part is written as
1790: \beqn
1791: &&-\frac{16\pi^3(1+e_l)\lambda}
1792: {e_\lambda e_l^2
1793: (k+l+\lambda)(k+l-\lambda)(k-l+\lambda)(k-l-\lambda)},
1794: \label{partIV1}\\
1795: &&-\frac{4\pi^3(e_k+e_{k+\lambda}+2e_k e_{k+\lambda})}
1796: {e_k^2e_{k+\lambda}^2 k((k+\lambda)^2-l^2)}
1797: -\frac{4\pi^3(1+e_{k+\lambda})}
1798: {e_\lambda e_{k+\lambda}^2 k((k+\lambda)^2-l^2)},
1799: \label{partIV2}\\
1800: &&\frac{4\pi^3(1+e_k)}
1801: {e_k^2e_\lambda k((k-\lambda)^2-l^2)}
1802: +\frac{4\pi^3(1+e_k)}
1803: {e_k^2 k((k-\lambda)^2-l^2)}\theta(k-\lambda).
1804: \label{partIV}
1805: \eeqn
1806: Note that all terms above are finite because this part corresponds to
1807: the diagram where the fermion and the photon wind around $S^1$.
1808:
1809:
1810:
1811:
1812: \end{appendix}
1813:
1814:
1815: %%%%%%%%%%%%% BIBLIOGRAPHY %%%%%%%%%%%%%%%%%%%%
1816: \begin{thebibliography}{99}
1817: %%%%%%%
1818: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1819: \bibitem{FM}
1820: N.~S.~Manton,
1821: %``A New Six-Dimensional Approach To The Weinberg-Salam Model,''
1822: Nucl.\ Phys.\ B {\bf 158}, 141 (1979);
1823: D.~B.~Fairlie,
1824: %``Higgs' Fields And The Determination Of The Weinberg Angle,''
1825: Phys.\ Lett.\ B {\bf 82}, 97 (1979).
1826: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1827: %\bibitem{HIL}
1828: %H.~Hatanaka, T.~Inami and C.~S.~Lim,
1829: % %``The gauge hierarchy problem and higher dimensional gauge theories,''
1830: % Mod.\ Phys.\ Lett.\ A {\bf 13}, 2601 (1998)
1831: % [arXiv:hep-th/9805067].
1832: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1833: \bibitem{gaugehiggs1}
1834: Y.~Hosotani,
1835: %``Dynamical Mass Generation By Compact Extra Dimensions,''
1836: Phys.\ Lett.\ B {\bf 126}, 309 (1983),
1837: %``Dynamics Of Nonintegrable Phases And Gauge Symmetry Breaking,''
1838: Annals Phys.\ {\bf 190}, 233 (1989);
1839: N.~V.~Krasnikov,
1840: %``Ultraviolet fixed point behavior of
1841: %the five-dimensional Yang-Mills theory,
1842: %the gauge hierarchy problem and a possible new dimension
1843: %at the TeV scale,''
1844: Phys.\ Lett.\ B {\bf 273} (1991) 246;
1845: H.~Hatanaka, T.~Inami and C.~S.~Lim,
1846: %``The gauge hierarchy problem and higher dimensional gauge theories,''
1847: Mod.\ Phys.\ Lett.\ A {\bf 13}, 2601 (1998);
1848: % [arXiv:hep-th/9805067];
1849: G.~R.~Dvali, S.~Randjbar-Daemi and R.~Tabbash,
1850: %``The origin of spontaneous symmetry breaking in theories with large extra
1851: %dimensions,''
1852: Phys.\ Rev.\ D {\bf 65}, 064021 (2002);
1853: % [arXiv:hep-ph/0102307];
1854: A.~Masiero, C.~A.~Scrucca, M.~Serone and L.~Silvestrini,
1855: %``Non-local symmetry breaking in Kaluza-Klein theories,''
1856: Phys.\ Rev.\ Lett.\ {\bf 87}, 251601 (2001);
1857: % [arXiv:hep-ph/0107201];
1858: %N. Arkani-Hamed, A. G. Cohen and H. Georgi, \PLBM{513}{232}{01},
1859: I.~Antoniadis, K.~Benakli and M.~Quiros,
1860: %``Finite Higgs mass without supersymmetry,''
1861: New J.\ Phys.\ {\bf 3}, 20 (2001).
1862: % [arXiv:hep-th/0108005].
1863: %%%%%%%%%%%
1864: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1865: \bibitem{gaugehiggs2}
1866: M.~Kubo, C.~S.~Lim and H.~Yamashita,
1867: %``The Hosotani mechanism in bulk gauge theories
1868: %with an orbifold extra space S(1)/Z(2),''
1869: Mod.\ Phys.\ Lett.\ A {\bf 17}, 2249 (2002); %[arXiv:hep-ph/0111327];
1870: C.~Csaki, C.~Grojean and H.~Murayama,
1871: %``Standard model Higgs from higher dimensional gauge fields,''
1872: Phys.\ Rev.\ D {\bf 67}, 085012 (2003); % [arXiv:hep-ph/0210133];
1873: N.~Haba, M.~Harada, Y.~Hosotani and Y.~Kawamura,
1874: %``Dynamical rearrangement of gauge symmetry on the orbifold S(1)/Z(2),''
1875: Nucl.\ Phys.\ B {\bf 657}, 169 (2003)
1876: [Erratum-ibid.\ B {\bf 669}, 381 (2003)]; % [arXiv:hep-ph/0212035];
1877: %G.~Burdman and Y.~Nomura,
1878: % Nucl.\ Phys.\ B {\bf 656}, 3 (2003),
1879: %N. Haba and Y. Shimizu, \PRDM{67}{095001}{03},
1880: %C.~A.~Scrucca, M.~Serone and L.~Silvestrini,
1881: % %``Electroweak symmetry breaking and fermion masses from extra dimensions,''
1882: % Nucl.\ Phys.\ B {\bf 669}, 128 (2003) [arXiv:hep-ph/0304220];
1883: K.~Takenaga,
1884: %``Effect of bare mass on the Hosotani mechanism,''
1885: Phys.\ Lett.\ B {\bf 570}, 244 (2003); % [arXiv:hep-th/0305251];
1886: N.~Haba and T.~Yamashita,
1887: %``The general formula of the effective potential in 5D SU(N) gauge theory
1888: % on orbifold,''
1889: JHEP {\bf 0402}, 059 (2004); %[arXiv:hep-ph/0401185];
1890: B.~Grzadkowski and J.~Wudka,
1891: %``CP violation from 5-dimensional QED,''
1892: Phys.\ Rev.\ Lett.\ {\bf 93}, 211603 (2004);
1893: % [arXiv:hep-ph/0401232].
1894: %K. Choi, N. Haba, K. S. Jeong, K. Okumura, Y. Shimizu and
1895: %M. Yamaguchi, \jhep {0402}{037}{04},
1896: %N.~Haba, Y.~Hosotani, Y.~Kawamura and T.~Yamashita,
1897: %``Dynamical symmetry breaking in gauge-Higgs unification on orbifold,''
1898: Phys.\ Rev.\ D {\bf 70}, 015010 (2004); % [arXiv:hep-ph/0401183];
1899: Y.~Hosotani, S.~Noda and K.~Takenaga,
1900: %``Dynamical gauge symmetry breaking and mass generation on the orbifold
1901: %T**2/Z(2),''
1902: Phys.\ Rev.\ D {\bf 69}, 125014 (2004); % [arXiv:hep-ph/0403106];
1903: %``Dynamical gauge-Higgs unification in the electroweak theory,''
1904: Phys.\ Lett.\ B {\bf 607}, 276 (2005); % [arXiv:hep-ph/0410193];
1905: G.~Martinelli, M.~Salvatori, C.~A.~Scrucca and L.~Silvestrini,
1906: %``Minimal gauge-Higgs unification with a flavour symmetry,''
1907: JHEP {\bf 0510}, 037 (2005). % [arXiv:hep-ph/0503179].
1908: %N. Haba, K. Takenaga and T. Yamashita, \PRDM{71}{025006}{05};
1909: %G.~Cacciapaglia, C.~Csaki and S.~C.~Park,
1910: % %``Fully radiative electroweak symmetry breaking,''
1911: % arXiv:hep-ph/0510366;
1912: %G.~Panico, M.~Serone and A.~Wulzer,
1913: % %``A model of electroweak symmetry breaking from a fifth dimension,''
1914: % arXiv:hep-ph/0510373;
1915: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1916: \bibitem{SmallVEV}
1917: C.~A.~Scrucca, M.~Serone and L.~Silvestrini,
1918: %``Electroweak symmetry breaking and fermion masses from extra dimensions,''
1919: Nucl.\ Phys.\ B {\bf 669}, 128 (2003); % [arXiv:hep-ph/0304220];
1920: N.~Haba, Y.~Hosotani, Y.~Kawamura and T.~Yamashita,
1921: %``Dynamical symmetry breaking in gauge-Higgs unification on orbifold,''
1922: Phys.\ Rev.\ D {\bf 70}, 015010 (2004); % [arXiv:hep-ph/0401183].
1923: G.~Cacciapaglia, C.~Csaki and S.~C.~Park,
1924: %``Fully radiative electroweak symmetry breaking,''
1925: JHEP {\bf 0603}, 099 (2006);
1926: %arXiv:hep-ph/0510366;
1927: G.~Panico, M.~Serone and A.~Wulzer,
1928: %``A model of electroweak symmetry breaking from a fifth dimension,''
1929: Nucl.\ Phys.\ B {\bf 739}, 186 (2006); % arXiv:hep-ph/0510373;
1930: N.~Maru and K.~Takenaga,
1931: %``Effects of bulk mass in gauge-Higgs unification,''
1932: arXiv:hep-ph/0602149.
1933: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1934: \bibitem{warpgh}
1935: R.~Contino, Y.~Nomura and A.~Pomarol,
1936: %``Higgs as a holographic pseudo-Goldstone boson,''
1937: Nucl.\ Phys.\ B {\bf 671}, 148 (2003);
1938: % [arXiv:hep-ph/0306259].
1939: K.~Agashe, R.~Contino and A.~Pomarol,
1940: %``The minimal composite Higgs model,''
1941: Nucl.\ Phys.\ B {\bf 719}, 165 (2005);
1942: % [arXiv:hep-ph/0412089];
1943: K.~y.~Oda and A.~Weiler,
1944: %``Wilson lines in warped space: Dynamical symmetry breaking and
1945: %restoration,''
1946: Phys.\ Lett.\ B {\bf 606}, 408 (2005);
1947: % [arXiv:hep-ph/0410061];
1948: Y.~Hosotani and M.~Mabe,
1949: %``Higgs boson mass and electroweak-gravity hierarchy from dynamical
1950: %gauge-Higgs unification in the warped spacetime,''
1951: Phys.\ Lett.\ B {\bf 615}, 257 (2005); % [arXiv:hep-ph/0503020];
1952: Y.~Hosotani, S.~Noda, Y.~Sakamura and S.~Shimasaki,
1953: %``Gauge-Higgs unification and quark-lepton phenomenology in the warped
1954: %spacetime,''
1955: arXiv:hep-ph/0601241.
1956: %%%%%%%%%%%%%%%
1957: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1958: %%%%%%%%%
1959: %%%%%%%%%%%
1960: \bibitem{allorder}
1961: Y.~Hosotani, hep-ph/0504272, hep-ph/0607064.
1962:
1963: \bibitem{HLM}
1964: K.~Hasegawa, C.~S.~Lim and N.~Maru,
1965: %``An attempt to solve the hierarchy problem based on gravity gauge Higgs
1966: %unification scenario,''
1967: Phys.\ Lett.\ B {\bf 604}, 133 (2004).
1968: % [arXiv:hep-ph/0408028].
1969: %%%%%%%%%%%%%%
1970: %%%%%%%%%%%%%
1971: %%%%%%%%
1972: \bibitem{DGQ}
1973: A.~Delgado, G.~von Gersdorff and M.~Quiros,
1974: %``Two-loop Higgs mass in supersymmetric Kaluza-Klein theories,''
1975: Nucl.\ Phys.\ B {\bf 613}, 49 (2001).% [arXiv:hep-ph/0107233].
1976: %%%%%%%%%%%%%%
1977: %%%%%%%%%%%%%
1978: %%%%%%%%
1979: \bibitem{LEP}
1980: The ALEPH, DELPHI, L3 and OPAL Collaborations,
1981: Phys.\ Lett.\ {\bf B565}, (2003), 61.
1982: \bibitem{EffTheo}
1983: N.~Haba, S.~Matsumoto, N.~Okada and T.~Yamashita,
1984: %``Effective theoretical approach of gauge-Higgs unification model and its
1985: %phenomenological applications,''
1986: JHEP {\bf 0602}, 073 (2006).% [arXiv:hep-ph/0511046].
1987: %%%%%%%%
1988: \bibitem{MTY}
1989: N. Maru, K. Takenaga and T. Yamashita, work in progress.
1990: \end{thebibliography}
1991: %%%%%%%%%%%%%%%%%%%%%%%%%%%%
1992:
1993:
1994: \end{document}
1995: