1: \section{The operator product expansion}
2:
3: In the $\On\,\,\sigma$--models there does not seem to be a simple parton
4: picture. This is even so for the case $n=3$ where the model is equivalent
5: to the $\C{\rm P}^1$ model. For although this model is formulated in
6: terms of a complex doublet of fields which are analogous to
7: quarks in that they are confined, it seems that they do not play a r\^{o}le
8: more similar to partons than the elementary bare spin fields in the
9: original formulation
10: \footnote{Perhaps the peculiar threshold behavior discussed in sect.~6
11: is explained by the fact that (as opposed to QCD) with some probability
12: the $\On$ particle can consist of a single point--like
13: parton that carries the same quantum numbers.}.
14: The question is related to that of understanding
15: what are (if any) the ``ultra--particles" in the sense
16: of Buchholz and Verch \cite{BuVe},
17: or to the associated question as to whether the
18: $\sigma$--models have an underlying conformal field theory.
19:
20: Although an intuitive parton description with suggestive DGLAP equations
21: \be
22: q^2\frac{\partial}{\partial q^2}w_l(q^2,x)
23: =\int_x^1\frac{\rmd y}{y} p_l(x/y,q^2)w_l(q^2,y)\,,
24: \label{ateqtn}
25: \end{equation}
26: (where $p_l(z,q^2)$ would be the corresponding splitting functions)
27: is still missing in these models, we still have the machinery of the
28: operator product expansion (OPE) to give us information on
29: the evolution of the moments (\ref{moments}) at large $-q^2$.
30:
31: The OPE in the sigma model is surprisingly involved and hence we have
32: decided to present the material as follows. In the next subsection
33: we first summarize the results; readers who would prefer to skip
34: the derivations can then jump to sect.~6. The general structure
35: of the product of two local operators (in this case the spins and currents)
36: is described in the remaining part of this section.
37: Our analysis extends that initiated e.g. in refs.~\cite{Luscher},
38: \cite{CMP}.
39: So far too little is rigorously known about the detailed structure
40: of the OPE from the general principles of the bootstrap approach
41: to obtain the explicit results below. The extra required information
42: is however supplied in the framework of renormalized perturbation
43: theory which is presented in sect.~5. Some comparisons of the moments
44: with those from the bootstrap approach at high $-q^2$ are
45: presented in subsect.~6.4.
46:
47: \subsection{Summary of results on the moments}
48:
49: For the current ($N$ even) moments in the isospin 0 channel we have
50: \be
51: M_{0;N}(q^2)=W_{0;N}\,\frac{n-2}{2(n-1)}
52: \,\left\{1+\frac{1}{n-2}\lambda(q^2)+\rmO\left(\lambda^2\right)\right\}\,,\,\,\,
53: N\ge2\,,
54: \label{curr0J}
55: \end{equation}
56: where $\lambda(q^2)$ is an effective running coupling function defined
57: through
58: \be
59: \frac{1}{\lambda(q^2)}+\frac{1}{n-2}\ln\lambda(q^2)
60: =\ln \frac{\sqrt{\vert q^2\vert}}{\Lambda_\msbar}\,,
61: \label{deflambda}
62: \end{equation}
63: and the $W_{0;N}$ are
64: renormalization group invariant, non--perturbative constants,
65: corresponding to the matrix elements of spin $N$ operators.
66: In the $N=2$ case this is the energy--momentum tensor
67: operator $T_{\mu\nu}$ for which we know the constant explicitly
68: \be
69: \langle a,p|T_{\mu\nu}(0)|b,p\rangle=
70: W_{0;2}p_\mu p_\nu\delta^{ab}\,,\,\,\,\,\,\,\,W_{0;2}=2\,.
71: \end{equation}
72: In particular the ``momentum sum rule" follows:
73: \be
74: M_{0;2}(-\infty)=\frac{n-2}{n-1}\,.
75: \label{m02infty}
76: \end{equation}
77: Note that all the isospin 0 moments tend to constants as
78: $-q^2\to\infty$.
79: As a consequence these current structure functions in the $\On$ models
80: obey Bjorken scaling. Computations in the $n=3$ model, (see sect.~6
81: and in particular Fig.~3), indicate that the resulting limiting
82: scaling functions are non--trivial.
83: This is a special property of these models and
84: we conjecture that this is due to the existence of
85: an infinite set of local conserved quantities \cite{Polyakov}.
86:
87: In the isospin $l=1$ channel for odd moments $N\ge3$
88: we can only say that
89: \be
90: M_{1;N}(q^2)=W_{1;N}\,\lambda(q^2)^{\frac{1}{n-2}}+\dots\,,\,\,N\ge 3\,,
91: \label{curr1J}
92: \end{equation}
93: but in the special case $N=1$ we have
94: \be
95: M_{1;1}(q^2)=\frac{1}{2}\,
96: \,\left\{1-\frac{1}{n-2}\lambda(q^2)+\rmO\left(\lambda^2\right)\right\}\,,
97: \label{curr11}
98: \end{equation}
99: where the constant is known through the current normalization
100: \be
101: \langle a,p|J_\mu^{cd}(0)|b,p\rangle=-4ip_\mu P_1^{ab;cd}\,.
102: \label{currentnorm}
103: \end{equation}
104: From this follows the analogy to the Adler sum rule in QCD:
105: \be
106: M_{1;1}(-\infty)=\frac12\,.
107: \label{m11infty}
108: \end{equation}
109:
110: For the spin field isospin 0 moments we have
111: \ba
112: \Mt_{0;N}(q^2)&=&
113: \frac{W_{0;N}\pi^2nC_n}{(n-2)^2}\lambda(q^2)^{\frac{n-3}{n-2}}
114: \left\{1+\rmO(\lambda)\right\}\,,\,\,\,\,n\ge4\,,
115: \label{Mt0N}
116: \\
117: \Mt_{0;N}(q^2)&=&
118: \frac{W_{0;N}}{4}\left\{1+\lambda(q^2)+\rmO(\lambda^2)\right\}
119: \,,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,n=3\,,
120: \label{spin0J}
121: \ea
122: where the non--perturbative constants $W_{0;N}$ are the same as for the
123: current, and where $C_n$ is the non--perturbative constant appearing
124: in the short distance expansion
125: \be
126: \langle0|\Phi^a(y)\Phi^b(0)|0\rangle\sim
127: C_n\delta^{ab}\left(-\ln M|y|\right)^{\frac{n-1}{n-2}}\,.
128: \label{Cn}
129: \end{equation}
130: So far the value of $C_n$ is not known for general $n$;
131: for the case $n=3$ a (well tested) conjecture based on scaling
132: \cite{JanosMax} gives
133: \be
134: C_3=\frac{1}{3\pi^3}\,,
135: \end{equation}
136: and we know for $n=\infty$:
137: \be
138: C_\infty=\frac{1}{2\pi}\,.
139: \end{equation}
140: We see that only for the case $n=3$ do the moments of the
141: field $l=0$ structure function have the same leading asymptotic
142: behavior as those of the current.
143:
144: For the isospin $l=1$ field (odd) moments we find to leading order PT
145: \ba
146: \Mt_{1;1}(q^2)&=&\Mt_{0;2}(q^2)\,,
147: \label{Mt11}
148: \\
149: \Mt_{1;N}(q^2)&=&\Wt_{1;N}\lambda(q^2)^{\frac{2n-5}{n-2}}
150: \left\{1+\rmO\left(\lambda^{\frac{1}{n-2}}\right)\right\}\,,\,\,N\ge3\,,
151: \label{spin1J}
152: \ea
153: where there is in general no obvious relation between the
154: $\Wt_{1;N}$ and the constants occurring in (\ref{curr1J}), except
155: for $n=3$ where they are equal ($\Wt_{1;N}=W_{1;N}\,,\,\,n=3)$.
156:
157: For isospin $l=2$ moments we obtain (for all $n\ge3$):
158: \be
159: \Mt_{2;N}(q^2)=
160: \Wt_{2;N}\lambda(q^2)^2
161: \left\{1+\rmO\left(\lambda^{\frac{1}{n-2}}\right)\right\}\,.
162: \end{equation}
163:
164: Finally using the exact ratio of the mass to the $\Lambda$--parameter
165: \be
166: \frac{M}{\Lambda_\msbar}=\frac{(8/\rme)^{1/(n-2)}}{\Gamma[1+1/(n-2)]}\,,
167: \label{Lambdaoverm}
168: \end{equation}
169: obtained by Hasenfratz, Maggiore and Niedermayer \cite{HMN},
170: the perturbative results can be plotted as functions of $-q^2/M^2$.
171:
172: \subsection{Dispersion relations}
173:
174: For the discussion of the OPE it is convenient to work in
175: the Euclidean formalism. For local operators ${\cal A}$ we have
176: \be
177: {\cal A}(x^0,x^1)=
178: \rme^{i(Hx^0-Px^1)}\,{\cal A}(0,0)\,\rme^{-i(Hx^0-Px^1)}\,,
179: \end{equation}
180: where $H,P$ are the time and spatial translation operators.
181: We can similarly define Euclidean translation by
182: \be
183: {\cal A}^{\rm E}(y_1,y_2)=
184: \rme^{Hy_2-iPy_1}\,{\cal A}(0,0)\,\rme^{-Hy_2+iPy_1}\,,
185: \end{equation}
186: which is formally ${\cal A}(-iy_2,y_1)$. For Euclidean vectors (and
187: similarly for tensors) we define
188: \be
189: V_2=-iV_0.
190: \end{equation}
191:
192: The Euclidean time ordering is defined as
193: \be
194: \begin{split}
195: T_{\rm E}\,\left({\cal A}^{\rm E}(y_1,y_2){\cal B}^{\rm E}(z_1,z_2)\right)
196: &=\Theta(y_2-z_2)\,{\cal A}^{\rm E}(y_1,y_2){\cal B}^{\rm E}(z_1,z_2)\\
197: &+\Theta(z_2-y_2)\,{\cal B}^{\rm E}(z_1,z_2){\cal A}^{\rm E}(y_1,y_2)\,,
198: \end{split}
199: \end{equation}
200: and the connected part of the product of two operators is
201: \be
202: \left({\cal O}_1{\cal O}_2\right)_c=
203: {\cal O}_1{\cal O}_2-\langle0\vert
204: {\cal O}_1{\cal O}_2\vert0\rangle-
205: {\cal O}_1\vert0\rangle\langle0\vert{\cal O}_2\,.
206: \end{equation}
207:
208: We now define Euclidean functions for the currents:
209: \be
210: \begin{split}
211: %&\tau^{ab;cdef}_{\mu\nu}(Q_1,Q_2)=\\
212: &\frac{1}{2}\,\int\rmd y_1\,\rmd y_2\,\rme^{i(Q_1y_1+Q_2y_2)}
213: \langle a,0\vert\,T_{\rm E}^*\left(J^{cd{\rm E}}_\mu(y_1,y_2)\,
214: J^{ef}_\nu(0,0)\right)_c\vert b,0\rangle\\
215: &=\left(Q_\mu Q_\nu-Q^2\delta_{\mu\nu}\right)\,\sum_{l=0}^2\,
216: R_l^{ab;cdef}\,\tau_l(Q^2,Q_2)\,,
217: \end{split}
218: \end{equation}
219: where $T^*_{\rm E}$ stands for covariantized Euclidean time ordering,
220: i.e. some non--covariant terms proportional to delta functions
221: of the Euclidean time difference (and derivatives of the delta function)
222: are dropped.
223:
224: Similarly for the spin field:
225: \be
226: \begin{split}
227: %&\sigma^{ab;cd}(Q_1,Q_2)=\\
228: &\frac{1}{2}\,\int\rmd y_1\,\rmd y_2\,\rme^{i(Q_1y_1+Q_2y_2)}
229: \langle a,0\vert\,T_{\rm E}\left(\Phi^{c{\rm E}}(y_1,y_2)\,
230: \Phi^d(0,0)\right)_c\vert b,0\rangle\\
231: &=\Lambda_n^2\,\sum_{l=0}^2\,
232: P_l^{ab;cd}\,\tilde\tau_l(Q^2,Q_2)\,.
233: \end{split}
234: \end{equation}
235:
236: The $\tau_l$ and $\tilde{\tau}_l$, as functions
237: of $Q_2$ at fixed real $Q^2$ are real analytic
238: \be
239: \tau_l(Q^2,Q_2)^*=\tau_l(Q^2,-Q_2^*)\,,\,\,\,\,\,\,\,\,
240: \tilde{\tau}_l(Q^2,Q_2)^*=\tilde{\tau}_l(Q^2,-Q_2^*)\,,
241: \end{equation}
242: and obey the crossing properties
243: \be
244: \tau_l(Q^2,Q_2)=(-1)^l\tau_l(Q^2,-Q_2)\,,\,\,\,\,\,\,\,\,
245: \tilde{\tau}_l(Q^2,Q_2)=(-1)^l\tilde{\tau}_l(Q^2,-Q_2)\,.
246: \end{equation}
247: Further they have cuts along parts of the imaginary axis
248: (with poles at $Q_2=\pm iQ^2/2M$),
249: and the discontinuities across the cuts are simply
250: related to the structure functions:
251: \ba
252: w_l(-Q^2,x)&=& \frac{Q^2}{\pi}\,{\rm Im}\,
253: \tau_l\left(Q^2,\varepsilon-i\frac{Q^2}{2Mx}\right)\,,\\
254: \wt_l(-Q^2,x)&=& \frac{Q^2}{\pi}\,{\rm Im}\,
255: \tilde{\tau}_l\left(Q^2,\varepsilon-i\frac{Q^2}{2Mx}\right)\,.
256: \ea
257:
258: Concerning the general singularity structure in the complex $Q_2$ plane
259: away from the imaginary axis,
260: little more is rigorously known except that the current function
261: $\tau_1$ has poles on the real $Q_2$ axis originating from the
262: contribution from 1--particle intermediate states.
263: The contribution from 1--particle states is easily computed:
264: \be
265: \begin{split}
266: \tau^{{\rm 1-part}}_l(Q^2,Q_2)&=
267: -\frac{m_l}{2M\cosh k}\phi(i\pi-k)\phi(i\pi+k)\times\\
268: &\left\{\frac{1}{M(\cosh k-1)-iQ_2}
269: +\frac{(-1)^l}{M(\cosh k-1)+iQ_2}\right\},
270: \end{split}
271: \end{equation}
272: where $Q_1=M\sinh k$, $\phi(\theta)$ is the form factor function
273: (\ref{j2partffex}) and the constants $m_l$ are given in (\ref{ml}).
274: Since for small $k$
275: \be
276: \phi(i\pi+k)\cong -\frac{2}{k}\,,
277: \end{equation}
278: the 1--particle contribution, for fixed $Q^2$ as function of $Q_2$,
279: has poles at $Q_2=\pm \sqrt{Q^2}$ with residue
280: $-\frac{iM}{Q^2}\delta_{l1}$.
281:
282: Assuming that no other singularities are generated by the higher
283: intermediate states away from the imaginary $Q_2$ axis, from the usual
284: Cauchy integral we conclude that for a circular contour centered at the
285: origin with radius $\sqrt{Q^2}<R<Q^2/(2M)$
286: \be
287: \frac{1}{2\pi i}\oint\frac{\rmd\zeta\,\tau_l\left(Q^2,\zeta\right)}
288: {\zeta^{N+1}}=i^N\tau_{l;N}\left(Q^2\right)-i\frac{2M}{Q^2}\delta_{l1}\frac{1}
289: {(\sqrt{Q^2})^{N+1}}\,,
290: \end{equation}
291: where
292: $\tau_{l;N}(Q^2)$ are the coefficients of the Taylor expansion
293: \be
294: \tau_l(Q^2,Q_2)=\sum_{N=0}^\infty\tau_{l;N}(Q^2)\,(iQ_2)^N\,.
295: \end{equation}
296: Now the structure function moments can be computed in the usual way by
297: calculating the Cauchy integral along the deformed contour
298: around the cuts. In this way we obtain expressions for the moments:
299: \be
300: M_{l;N}\left(-Q^2\right)=M\left(\frac{Q^2}{2M}\right)^{N+1}\left\{
301: \tau_{l;N}\left(Q^2\right)+
302: \frac{2M}{Q^2}\delta_{l1}\frac{1}{(i\sqrt{Q^2})^{N+1}}\right\}\,.
303: \label{w1Ncauchy}
304: \end{equation}
305: The spin function $\tilde{\tau}$ has no 1--particle
306: contribution, and so assuming no further singularities apart
307: from the cuts we obtain for the moments
308: \be
309: \widetilde M_{l;N}(-Q^2)=M\left(\frac{Q^2}{2M}\right)^{N+1}\,
310: \tilde{\tau}_{l:N}(Q^2)\,,
311: \end{equation}
312: where
313: \be
314: \tilde{\tau}_l(Q^2,Q_2)=\sum_{N=0}^\infty\tilde{\tau}_{l;N}(Q^2)\,(iQ_2)^N\,.
315: \end{equation}
316:
317: Note in the equations above for $l=0,2$ $N$ is even, positive and for
318: $l=1$ $N$ is odd.
319: It remains to extract information on the Taylor coefficients
320: $\tau_{l;N},\tilde{\tau}_{l;N}$ from the operator product expansions.
321:
322: \subsection{Operator product expansion for the spin field}
323:
324: Starting with the spin field, the
325: connected part of the time ordered product can be expanded as:
326: \be
327: \begin{split}
328: T_{\rm E}&\left(\Phi^{c{\rm E}}(y_1,y_2)\,\Phi^d(0,0)\right)_c=\\
329: &\qquad
330: \sum_{l,\omega}{\cal A}^{(l)cd}_\omega\,\gamma^{(l)}_\omega(y^2)
331: +\sum_{J=1}^\infty\,\sum_{l,\omega}
332: \,\gamma^{(J,l)}_\omega(y^2)\left\{ {\cal B}^{(J,l)cd}_\omega\,y_+^J
333: +\overline{{\cal B}}^{(J,l)cd}_\omega\,y_-^J\right\}\,,
334: \end{split}
335: \label{OPE}
336: \end{equation}
337: where $y_\pm=\mp y_1-iy_2$.
338: Employing a basis of hermitian operators
339: \be
340: {{\cal A}_\omega^{(l)cd}}^\dagger={\cal A}^{(l)cd}_\omega\,,\qquad
341: {{\cal B}_\omega^{(J,l)cd}}^\dagger={\cal B}^{(J,l)cd}_\omega
342: \end{equation}
343: and using Poincar\'e symmetry, parity and CPT invariance we have
344: \be
345: \overline{{\cal B}}^{(J,l)cd}_\omega=V\,{\cal B}^{(J,l)cd}_\omega\,V\,,
346: \qquad\qquad\quad
347: {\cal A}^{(l)cd}_\omega=V\,{\cal A}^{(l)cd}_\omega\,V\,,
348: \end{equation}
349: where $V$ is the parity operator and
350: \be
351: {\gamma_\omega^{(l)}}^*(y^2)=\gamma^{(l)}_\omega(y^2),\qquad\qquad\quad
352: {\gamma_\omega^{(J,l)}}^*(y^2)=\gamma^{(J,l)}_\omega(y^2).
353: \end{equation}
354: Further we define the matrix elements $B^{(J,l)}_{\omega}$ as in
355: appendix \ref{appE}
356: \be
357: \langle a,\theta\vert\,{\cal B}^{(J,l)cd}_\omega\vert b,\theta\rangle=
358: \left(-i\frac{M}{2}\rme^\theta\right)^J\,
359: P_l^{ab;cd}\,B^{(J,l)}_{\omega}
360: \end{equation}
361: and we find
362: \be
363: {B^{(J,l)}_{\omega}}^*=B^{(J,l)}_{\omega}=
364: (-1)^{J+l}\,B^{(J,l)}_{\omega}\,.
365: \end{equation}
366:
367: The \lq\lq twist" of the operator is defined as
368: \be
369: t^{(J,l)}_\omega={\rm dim}\,\left({\cal B}^{(J,l)cd}_\omega\right)-J
370: \end{equation}
371: and the minimal possible twist value is zero. The contribution of
372: these operators dominate for large momenta and we have
373: \be
374: \widetilde
375: M_{l;N}(-Q^2)\approx\frac{1}{4\Lambda_n^2}\,\hat\eta^{(N,l)}(Q^2)\,,
376: \end{equation}
377: where
378: \ba
379: \hat\eta^{(J,l)}(Q^2)&=&(Q^2)^{J+1}\,\left(\frac{\rmd}{\rmd Q^2}\right)^J\,
380: \int \,\rmd^2y\,\rme^{iQy}\,\eta^{(J,l)}(y^2)\,,
381: \\
382: \eta^{(J,l)}(y^2)&=&\sum_\omega\,B^{(J,l)}_{\omega}\,
383: \gamma^{(J,l)}_\omega(y^2)\,.
384: \label{eta}
385: \ea
386:
387: \subsection{Operator product expansion for the current}
388:
389: Using hermicity, Poincar\'e, $\On$, parity and CPT symmetries and
390: current conservation we can write
391: \be
392: \begin{split}
393: T_{\rm E}\,\left(J^{cd{\rm E}}_\mu(y)\,J^{ef}_\nu(0)\right)
394: &=\sum_{\stackrel{l=0,2}{\omega}}R^{ab;cdef}_l\,
395: H^{(l)}_{\mu\nu;\omega}(y)\,{\cal A}^{(l)ab}_\omega+\\
396: &\sum_{\stackrel{J\equiv l}{\omega}}\,R^{ab;cdef}_l\,\left\{
397: H^{(J,l)}_{\mu\nu;\omega}(y)\,{\cal B}^{(J,l)ab}_\omega+
398: \overline{H}^{(J,l)}_{\mu\nu;\omega}(y)\,
399: \overline{{\cal B}}^{(J,l)ab}_\omega\right\}\,\dots
400: \end{split}
401: \end{equation}
402: where the dots indicate that we have omitted total derivative
403: operators since they would not contribute to the diagonal expectation
404: values. Otherwise the set of operators appearing here is as in
405: (\ref{OPE}) and the
406: coefficient functions $H^{(l)}_{\mu\nu;\omega}$ take the form
407: \be
408: \begin{align}
409: H^{(l)}_{++;\omega}(y)&=-\frac{y_-}{y_+}
410: \fY(\fY+1)V^{(l)}_\omega\left(y^2\right),\\
411: H^{(l)}_{+-;\omega}(y)&=H^{(l)}_{-+;\omega}(y)=
412: (\fY+1)^2V^{(l)}_\omega\left(y^2\right),\\
413: H^{(l)}_{--;\omega}(y)&=-\frac{y_+}{y_-}
414: \fY(\fY+1)V^{(l)}_\omega\left(y^2\right),
415: \end{align}
416: \end{equation}
417: where $V^{(l)}_\omega\left(y^2\right)$ ($l=0,2$) are real functions unique
418: up to $\frac{\rm const.}{y^2}$, and
419: \be
420: \fY=y^2\frac{\rmd}{\rmd y^2}\,.
421: \end{equation}
422: Similarly
423: \be
424: \begin{align}
425: H^{(J,l)}_{++;\omega}(y)&=\frac{c_\omega}{y_+}\delta_{J1}
426: -y_-y_+^{J-1}(\fY+J)(\fY+J+1)V^{(J,l)}_\omega\left(y^2\right),\\
427: H^{(J,l)}_{+-;\omega}(y)&=H^{(J,l)}_{-+;\omega}(y)=
428: y_+^J(\fY+1)(\fY+J+1)V^{(J,l)}_\omega\left(y^2\right),\\
429: H^{(J,l)}_{--;\omega}(y)&=-\frac{y_+^{J+1}}{y_-}
430: \fY(\fY+1)V^{(J,l)}_\omega\left(y^2\right),
431: \end{align}
432: \end{equation}
433: where $V^{(J,l)}_\omega\left(y^2\right)$ ($J\equiv l$) are real
434: functions unique up to $\frac{\rm const.}{y^2}\delta_{J1}$ and
435: $c_\omega$ are real constants.
436: Finally
437: \be
438: \overline{H}^{(J,l)}_{\mu\nu;\omega}(y_+,y_-)=
439: H^{(J,l)}_{\bar\mu \bar\nu;\omega}(y_-,y_+),
440: \end{equation}
441: where $\bar\mu=-\mu$ for the light-cone index $\mu=\pm$.
442:
443: As a consequence of the asymptotic freedom of the $\On$ model for
444: small $y^2$
445: \be
446: \begin{align}
447: V^{(l)}_\omega\left(y^2\right)&\sim \vert y\vert^{t^{(l)}_\omega-2},\\
448: V^{(J,l)}_\omega\left(y^2\right)&\sim \vert y\vert^{t^{(J,l)}_\omega-2},
449: \end{align}
450: \end{equation}
451: where $t^{(l)}_\omega, t^{(J,l)}_\omega$ are the twist of the
452: corresponding operators.
453:
454: \subsubsection{Fourier transformation}
455:
456: Introducing
457: \be
458: \begin{align}
459: X^{(l)}_\omega(y)&=y^2V^{(l)}_\omega(y^2),\\
460: X^{(J,l)}_\omega(y)&=y^2y_+^JV^{(J,l)}_\omega(y^2),\\
461: \overline{X}^{(J,l)}_\omega(y)&=y^2y_-^JV^{(J,l)}_\omega(y^2)
462: \end{align}
463: \end{equation}
464: the current operator product in Fourier space can be written
465: \ba
466: &&\int\rmd^2Q\,\rme^{iQy}\langle a,0\vert
467: T_{\rm E}\,\left(J^{cd{\rm E}}_\mu(y)\,J^{ef}_\nu(0)\right)
468: \vert b,0\rangle
469: =-\sum_{\stackrel{l=0,2}{\omega}}
470: R^{ab;cdef}_l E_{\mu\nu}(Q)\tilde
471: X_\omega^{(l)}(Q)A^{(l)}_\omega\label{FT}
472: \nonumber\\
473: &&-\sum_{\stackrel{J\equiv l}{\omega}}R_l^{ab;cdef}\left\{
474: E_{\mu\nu}(Q)\left[\tilde X^{(J,l)}_\omega(Q)+
475: \tilde{\overline{X}}^{(J,l)}_\omega(Q)\right]
476: +i\pi c_\omega\delta_{J1}K_{\mu\nu}(Q)\right\}
477: \left(\frac{-iM}{2}\right)^J B^{(J,l)}_\omega
478: \nonumber\\
479: &&
480: \ea
481: where the reduced matrix elements $A^{(l)}_\omega, B^{(J,l)}_\omega$
482: are real and $E_{\mu\nu}(Q)$ is the transversal
483: tensor
484: \be
485: E_{\mu\nu}(Q)=Q_\mu Q_\nu-Q^2\delta_{\mu\nu}\,.
486: \end{equation}
487: The complete expression (\ref{FT}), although conserved in
488: coordinate space, is not transversal because of the anomalous
489: terms proportional to the constants $c_\omega$. These
490: are multiplied by the tensor $K_{\mu\nu}(Q)$ with components
491: \be
492: K_{++}=\frac{1}{Q_-},\qquad\qquad
493: K_{--}=\frac{1}{Q_+},\qquad\qquad
494: K_{+-}=K_{-+}=0.
495: \end{equation}
496: %This is apparently a problem here. We need transversalilty
497: %because what we are really analyzing is the scalar
498: %function (and from this point the analysis is exactly the same as for
499: %the spin-spin problem). Luckily (\ref{FT}) can be rewritten by adding
500: %non-covariant "seagull" terms and then it does become transversal.
501: It is not quite trivial to see, but easy to check that
502: \be
503: K_{\mu\nu}(Q)=-E_{\mu\nu}(Q)\frac{4iQ_2}{Q_1^2Q^2}+\frac{\mu+\nu}{Q_1}
504: -\mu\nu\frac{iQ_2}{Q_1^2}\,,\qquad\qquad (\mu,\nu=\pm)\,.
505: \end{equation}
506: Thus $K_{\mu\nu}$ is transversal up to the last two terms, but these
507: correspond to contact terms in coordinate space. Dropping these \lq\lq
508: seagulls", the coefficient of the transversal part in Fourier space
509: becomes
510: \be
511: \begin{align}
512: &\tau_l(Q)=-\frac{1}{2}\sum_\omega
513: \tilde X_\omega^{(l)}(Q)A^{(l)}_\omega\label{taul}\\
514: &-\frac{1}{2}\sum_{\stackrel{J\equiv l}{\omega}}
515: \left(\frac{-iM}{2}\right)^J B^{(J,l)}_\omega
516: \left\{\tilde X^{(J,l)}_\omega(Q)+
517: \tilde{\overline{X}}^{(J,l)}_\omega(Q)
518: -4i\pi c_\omega\delta_{J1}\frac{iQ_2}{Q_1^2Q^2}\right\}\,.
519: \nonumber
520: \end{align}
521: \nonumber
522: \end{equation}
523: This can alternatively be written as
524: \be
525: \begin{align}
526: \tau_l(Q)&=-\frac{1}{2}\sum_\omega
527: \tilde X_\omega^{(l)}(Q)A^{(l)}_\omega\label{taul2}
528: -\frac{1}{2}\sum_{\stackrel{J\equiv l}{\omega}}
529: \Big\{\left[\left(2MQ_-\right)^J+\left(2MQ_+\right)^J\right]\\
530: &\left(\frac{{\rm d}}{{\rm d}Q^2}\right)^J
531: \tilde W^{(J,l)}_\omega(Q^2) B^{(J,l)}_\omega\Big\}+
532: M\pi\frac{iQ_2}{Q^2(Q^2-Q_2^2)}\delta_{l1}\sum_\omega c_\omega
533: B^{(1,1)}_\omega,
534: \nonumber
535: \end{align}
536: \nonumber
537: \end{equation}
538: where
539: \be
540: W^{(J,l)}_\omega(y^2)=y^2 V^{(J,l)}_\omega(y^2)\,.
541: \end{equation}
542: Note that the anomalous contribution to
543: (\ref{taul2}) is regular on the imaginary $Q_2$ axis
544: hence does not contribute to the structure functions.
545: Let us also define
546: \be
547: \xi^{(J,l)}(y^2)=\sum_\omega W^{(J,l)}_\omega(y^2) B^{(J,l)}_\omega.
548: \end{equation}
549: If we now compute
550: \be
551: \hat\xi^{(J,l)}(Q^2)=\sum_\omega
552: \left(Q^2\right)^{J+1}\left(\frac{{\rm d}}{{\rm d}Q^2}\right)^J
553: \tilde W^{(J,l)}_\omega(Q^2) B^{(J,l)}_\omega
554: \end{equation}
555: we see (using asymptotic freedom) that the coefficient functions
556: behave as $\left(Q^2\right)^{-t^{(J,l)}_\omega}$, up to logarithmic
557: corrections. We will keep the contributions of the leading (twist 0)
558: operators only.
559: Note that for $J=l=1$ the only twist 0 operator is
560: ${\cal B}^{(1,1)ab}_1=J^{ab}_+$ with
561: \be
562: B^{(1,1)}_1=4\,.
563: \end{equation}
564:
565: %The next problem we encounter is that the anomalous contribution to
566: %(\ref{taul2}) is regular on the real axis and has no
567: %cuts there (hence does not contribute to the structure functions) but
568: %is pole singular in the upper half plane. This destroys the simple
569: %relation between the Taylor coefficients in the $T$--product and the
570: %structure function moments, the derivation of which was based on the
571: %assumption of no singularities besides the cuts.
572:
573: From (\ref{taul2}) we obtain for the Taylor coefficients
574: \be
575: \tau_{l;N}(Q^2)=\hat{\tau}_{l;N}(Q^2)-\frac{4\pi
576: Mc_1}{Q^2}\,\frac{\delta_{l1}}
577: {(i\sqrt{Q^2})^{N+1}}\,,
578: \label{tau1N}
579: \end{equation}
580: where (up to higher twist contributions)
581: \footnote{Note for large $Q^2$ the anomalous term dominates
582: over $\hat\tau_{l;N}$.}
583: \be
584: \hat\tau_{l;N}(Q^2)\cong-\frac{1}{2}\,
585: \frac{(2M)^N}{\left(Q^2\right)^{N+1}}\,
586: \hat\xi^{(N,l)}\left(Q^2\right)\,.
587: \end{equation}
588: Inserting this in (\ref{w1Ncauchy}) we obtain:
589: \be
590: M_{l;N}\left(-Q^2\right)=M\left(\frac{Q^2}{2M}\right)^{N+1}\left\{
591: \hat
592: \tau_{l;N}\left(Q^2\right)+\frac{2M}{Q^2}\delta_{l1}\frac{1}{
593: (i\sqrt{Q^2})^{N+1}}
594: \left(1-2\pi c_1\right)\right\}.
595: \end{equation}
596: Later we will see that $c_1=1/2\pi$. Thus these two subtle effects cancel
597: each other, and so the final formula coincides with the naive one:
598: \be
599: M_{l;N}\left(-Q^2\right)\cong-\frac{1}{4}\hat\xi^{(N,l)}\left(Q^2\right)\,.
600: \end{equation}
601:
602: Up to now we have related the moments to the Taylor coefficients
603: which we see are determined by the structure of the OPE.
604: But to get quantitative results at this stage we need more dynamical input.
605: This can be supplied by analyzing the OPE in the framework of
606: renormalized PT, which is the topic of the next section.
607:
608: