\documentstyle[11pt]{article}
\font\eightrm=cmr8
\bibliographystyle{unsrt} %for BibTeX - sorted numerical labels by
                          %order of first citation.

\arraycolsep1.5pt

% A useful Journal macro
\def\Journal#1#2#3#4{{#1} {\bf #2}, #3 (#4)}

% Some useful journal names
\def\NCA{\em Nuovo Cimento}
\def\NIM{\em Nucl. Instrum. Methods}
\def\NIMA{{\em Nucl. Instrum. Methods} A}
\def\NPB{{\em Nucl. Phys.} B}
\def\PLB{{\em Phys. Lett.}  B}
\def\PRL{\em Phys. Rev. Lett.}
\def\PRD{{\em Phys. Rev.} D}
\def\ZPC{{\em Z. Phys.} C}
\def\JHEP{\em JHEP}
\def\PRT{\em Phys. Rept. }
\def\xxx#1           {{\sf hep-th/#1} }

% Some other macros used in the sample text
\def\st{\scriptstyle}
\def\sst{\scriptscriptstyle}
\def\mco{\multicolumn}
\def\epp{\epsilon^{\prime}}
\def\vep{\varepsilon}
\def\ra{\rightarrow}
\def\ppg{\pi^+\pi^-\gamma}
\def\vp{{\bf p}}
\def\ko{K^0}
\def\kb{\bar{K^0}}
\def\al{\alpha}
\def\ab{\bar{\alpha}}
\def\be{\begin{equation}}
\def\ee{\end{equation}}
\def\bea{\begin{eqnarray}}
\def\eea{\end{eqnarray}}
\def\CPbar{\hbox{{\rm CP}\hskip-1.80em{/}}}%temp replacemt due to no font
\newcommand{\D}{\Delta}
\def\tr{{\rm tr}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%BEGINNING OF TEXT                           
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{document}

\begin{center}
\null\vskip-24pt \hfill AEI-2001-107
\vskip 0.4truecm {\bf
ON EXCEPTIONAL NON-RENORMALIZATION PROPERTIES OF 
${\cal N}=4$ SYM$_4$}
\\
\vskip 0.5truecm
{\bf
G. Arutyunov
}
\\
\vskip 0.4truecm
{\it Max-Planck-Institut f\"ur Gravitationsphysik,
Albert-Einstein-Institut, \\
Am M\"uhlenberg 1, D-14476 Golm, Germany\\
Email:{\tt agleb@aei-potsdam.mpg.de}
}
\end{center}

\vskip 0.5truecm
\centerline{\bf Abstract} 
We discuss non-renormalization properties of some composite 
operators in ${\cal N}=4$ supersymmetric 
Yang-Mills theory.

\vskip 1cm

Recently considerable attention was attracted to the ${\cal N}=4$ super Yang-Mills 
theory basically due to the prominent role it plays among the models 
realizing the holographic AdS/CFT duality \cite{AGMOO}.
In the superconformal phase the dynamics of the gauge theory 
is encoded in the correlation functions of the composite gauge invariant operators,
which might exhibit in general a non-trivial behavior under the RG flow. 
In particular it is of great interest to determine the 4-point correlation 
functions (both holographic and weak coupling) 
of the ${\cal N}=4$ supercurrent (stress-tensor) multiplet $L$
and its OPE; the latter contains an information about many 
other composite operators present in the theory. 

A superconformal primary operator generating $L$ is a scalar $O^I$ of dimension 2
transforming in the irrep $\bf 20$ of the $R$-symmetry group $SU(4)$, $I=1,\ldots, 20$.
Presently both the holographic \cite{ArutFrol} and the weak coupling \cite{Pert} 
4-point correlators of $O^I$ and their OPE studies \cite{AFP,AEPS,AES} are available.\footnote{For
studies of other correlation functions from stress-tensor multiplet see e.g. \cite{DHMMR}.} 
Surprisingly composite operators\footnote{They saturate the bound of the so-called series A) 
of unitary irreps of $SU(2,2|4)$ and transform non-trivially under R-symmetry \cite{FZ}.}
with vanishing anomalous dimensions were found \cite{AFP} though naively unitarity allows 
the latter to appear in quantum interacting theory.   

This note is based on the paper \cite{AES} and reviews a statement  
that the OPE of two primary operators from the multiplet $L$ can contain superconformal
primary operators with a non-vanishing anomalous dimension {\it only} in the
singlet of $SU(4)$. 

It was found non-perturbatively \cite{EPSS} that 
the ``quantum'' part of the four-point function of $O^I$
comprising all possible quantum corrections to the free-field result is given
by a {\it single} function $F(v,u)$ of conformal cross-ratios, which we
choose to be  $v=\frac{x_{12}^2x_{34}^2}{x_{14}^2x_{23}^2}$ and
$u=1-\frac{x_{13}^2x_{24}^2}{x_{14}^2x_{23}^2}$. Under $SU(4)$ the product of two
$O^I$ decomposes as
$
{\bf 20}\times {\bf 20}={\bf 1}+{\bf 20}+{\bf 105}+{\bf 84}+{\bf 15}+{\bf 175} \, .
$
The ``quantum'' part of the four-point function of the operators $O^I$
projected on different irreps is 
\bea \label{proj}
\langle O(x_1)O(x_2)O(x_3)O(x_4)\rangle _i
=\frac{1}{x_{12}^4x_{34}^4}P_{i}(v,u) \frac{vF(v,u)}{(1-u)^2} \, , \eea 
where $P_{i}(v,u)$ are certain polynomials \cite{AFP,AEPS}.
Every irrep $i$ of $SU(4)$ in the OPE of two $O^I$ represents a contribution
from an infinite tower of operators $O_{\D,l}^{i}$, where $\D$ is the conformal
dimension of the operator, $l$ is its Lorentz spin. The corresponding
contribution to the four-point function can then be represented as an expansion
of the type
\begin{equation}
\label{cpwae}
\langle O(x_1)
O(x_2)O(x_3)O(x_4)\rangle_{i}
=\sum_{\Delta, l} a_{\Delta, l}^{i}{\cal H}_{\Delta, l}(x_{1,2,3,4})\; .
\end{equation}
Here ${\cal H}_{\Delta, l}(x_{1,2,3,4})$ denotes the (canonically normalized)
Conformal Partial Wave Amplitude (CPWA) for the exchange of an operator
$O_{\D,l}^{i}$ and $a_{\Delta, l}^{i}$ is a normalization constant. We treat
the CPWA as a double series of the type 
\begin{equation}
\label{gcpwa} {\cal H}_{\Delta, l} = \frac{1}{x_{12}^4 \, x_{34}^4} \,
v^{\frac{h}{2}} \, \sum_{n,m=0}^\infty c^{\Delta, l}_{nm} v^n u^m \, ,
\end{equation}
where the dimension $\D$ was split into a canonical part $\D_0$ and an
anomalous part $h$: $\D=\D_0+h$.
Assigning the grading parameter $T=2n+m$ to the monomial $v^nu^m$ one can show that
the monomials in (\ref{gcpwa}) with the lowest value of
$T$ have $T=\D_0$, where $\D_0$ is the canonical (free-field) dimension of the
corresponding operator.

Comparing (\ref{proj}) and (\ref{cpwae}) one finds, within every fractional
power $v^{\frac{h}{2}}$, the following compatibility conditions \bea
\label{comp} P_{i}\sum_{\Delta, l} a_{\Delta, l}^{j}{\cal
H}_{\Delta,l}(x_{1,2,3,4}) =P_{j}\sum_{\Delta, l} a_{\Delta, l}^{i}{\cal
H}_{\Delta,l}(x_{1,2,3,4}) \, \eea which hold for all pairs. 
Here the sums are taken over operators which have the same
$h$. Thus, eqs. (\ref{comp}) imply non-trivial relations between the CPWAs of
primary operators belonging to the same supersymmetry multiplet(s) with
anomalous dimension $h$.
Only one of these primary operators
is the superconformal primary operator, i.e., it generates under supersymmetry
the whole multiplet, while the others are its descendents.

Now we see that a superconformal primary operator appears only in the
singlet of $SU(4)$. Indeed, let us choose in (\ref{comp}) the irrep $j$ to be
the singlet. The polynomial $P_{\bf 1}$  is distinguished from the other
$P_i$'s by the presence of a constant term. Suppose that a superconformal
primary operator with a canonical dimension $\D_0$ contributes to the OPE and
transforms in some irrep $i$ which is not a singlet. Due to the constant in
$P_{\bf 1}$, the lowest-order monomials on the r.h.s. of (\ref{comp}) would
have $T=2n+m=\D_0$. Clearly, all the other $P_i$'s always raise the $T$-grading
by at least unity. The lowest dimension operator with canonical dimension
$\D_0'$ in the singlet would have the lowest terms with at least $T=\D_0-1$ (or
lower) to saturate (\ref{comp}). Hence, $\D_0'$ is always lower then $\D_0$,
and therefore the corresponding operator cannot be a supersymmetry descendent
of an operator in the irrep $i$. This shows that anomalous superconformal
primary operators are occure in the singlet of the $R$-symmetry group.




%\section*{References}
\begin{thebibliography}{99}
\bibitem{AGMOO} O. Aharony, S.S. Gubser, J. Maldacena, H. Ooguri, Y. Oz,
\Journal{\PRT}{323}{183}{2000}, \xxx9905111.
\bibitem{ArutFrol}
G.E. Arutyunov and S.A. Frolov,
\Journal{\NPB}{544}{576}{1999}, \xxx9806216;
\Journal{\PRD}{61}{064009}{2000}, \xxx9907085;
\Journal{\NPB}{579}{117}{2000}, \xxx9912210;
\Journal{\PRD}{62}{064016}{2000}, \xxx0002170;
\Journal{\PRD}{60}{026004}{1999}, \xxx9901121.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibitem{Pert}
B. Eden, P.S. Howe, C. Schubert, E. Sokatchev and P.C. West,
\Journal{\NPB}{557}{355}{1999}, \xxx9811172;
\Journal{\PLB}{466}{20}{1999}, \xxx9906051; 
B. Eden, C. Schubert and E. Sokatchev,
\Journal{\PLB}{482}{309}{2000}, \xxx0003096;
M. Bianchi, S. Kovacs, G. Rossi and Y. S. Stanev,
\Journal{JHEP}{9908}{020}{1999}, \xxx9906188; 
\Journal{\NPB}{584}{216}{2000}, \xxx0003203;
\Journal{JHEP}{0105}{042}{2001}, \xxx0104016.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibitem{AFP}
G. Arutyunov, S. Frolov and A.C. Petkou,
\Journal{\NPB}{586}{547}{2000}, \xxx0005182;
\Journal{\NPB}{602}{238}{2001}, \xxx0010137.
\bibitem{AEPS}
G. Arutyunov, B. Eden, A.C. Petkou and E. Sokatchev,
{\em Exceptional non-renormalization properties and OPE
analysis of chiral  four-point functions in N = 4 SYM(4)},
\xxx0103230.
\bibitem{AES} 
G. Arutyunov, B. Eden and E. Sokatchev,
{\em On non-renormalization and OPE in superconformal field theories}, 
\xxx0105254.
\bibitem{DHMMR}  E. D'Hoker, S. D. Mathur, A. Matusis and L. Rastelli,
\Journal{\NPB}{589}{38}{2000}; E. D'Hoker, D. Z. Freedman, S. D. Mathur, A. Matusis and 
L. Rastelli, \Journal{\NPB}{562}{353}{1999}.
\bibitem{FZ} S. Ferrara and A. Zaffaroni, {\em Superconformal field theories, 
multiplet shortening, and the AdS$_5$/SCFT$_4$ correspondence},
\xxx9908163. 
\bibitem{EPSS}
B. Eden, A. Petkou, C. Schubert and E. Sokatchev,
{\em Partial non-renormalization of the stress-tensor four-point function
in $N=4$ SYM and AdS/CFT},
\xxx0009106.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



\end{thebibliography}

\end{document}




