1: \input epsf
2: %\input draft
3:
4: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
5: % %
6: % FONT FAMILIES: %
7: % %
8: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9: % %
10: % Define script letters as rsfs %
11: % (or redefine as cal) %
12: % %
13: % %
14: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
15: \newfam\scrfam
16: \batchmode\font\tenscr=rsfs10 \errorstopmode
17: \ifx\tenscr\nullfont
18: \message{rsfs script font not available. Replacing with calligraphic.}
19: \def\scr{\cal}
20: \else \font\eightscr=rsfs10 at 8pt
21: \font\sevenscr=rsfs7
22: \font\fivescr=rsfs5
23: \skewchar\tenscr='177 \skewchar\sevenscr='177 \skewchar\fivescr='177
24: \textfont\scrfam=\tenscr \scriptfont\scrfam=\sevenscr
25: \scriptscriptfont\scrfam=\fivescr
26: \def\scr{\fam\scrfam}
27: \def\cal{\scr}
28: \fi
29: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
30: % %
31: % fraktur (or redefine as italic) %
32: % %
33: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
34: \catcode`\@=11
35: \newfam\frakfam
36: \batchmode\font\tenfrak=eufm10 \errorstopmode
37: \ifx\tenfrak\nullfont
38: \message{eufm font not available. Replacing with italic.}
39: \def\frak{\it}
40: \else
41: \font\twelvefrak=eufm10 scaled\magstep1
42: \font\sevenfrak=eufm7 \font\fivefrak=eufm5
43: \textfont\frakfam=\tenfrak
44: \scriptfont\frakfam=\sevenfrak \scriptscriptfont\frakfam=\fivefrak
45: \def\frak{\fam\frakfam}
46: \fi
47: \catcode`\@=\active
48: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
49: % %
50: % Blackboard bold (or redefine as boldface) %
51: % %
52: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
53: \newfam\msbfam
54: \batchmode\font\twelvemsb=msbm10 scaled\magstep1 \errorstopmode
55: \ifx\twelvemsb\nullfont\def\Bbb{\bf}
56: \font\fourteenbbb=cmb10 at 14pt
57: \font\eightbbb=cmb10 at 8pt
58: \message{Blackboard bold not available. Replacing with boldface.}
59: \else \catcode`\@=11
60: \font\tenmsb=msbm10 \font\sevenmsb=msbm7 \font\fivemsb=msbm5
61: \textfont\msbfam=\tenmsb
62: \scriptfont\msbfam=\sevenmsb \scriptscriptfont\msbfam=\fivemsb
63: \def\Bbb{\relax\expandafter\Bbb@}
64: \def\Bbb@#1{{\Bbb@@{#1}}}
65: \def\Bbb@@#1{\fam\msbfam\relax#1}
66: \catcode`\@=\active
67: \font\fourteenbbb=msbm10 at 14pt
68: \font\eightbbb=msbm8
69: \fi
70: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
71: % %
72: % Capitals %
73: % %
74: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
75: \newfam\cpfam
76: \def\sectionfonts{\relax
77: \textfont0=\twelvecp \scriptfont0=\ninecp
78: \scriptscriptfont0=\sixrm
79: \textfont1=\twelvei \scriptfont1=\ninei
80: \scriptscriptfont1=\sixi
81: \textfont2=\twelvesy \scriptfont2=\ninesy
82: \scriptscriptfont2=\sixsy
83: \textfont3=\twelveex \scriptfont3=\tenex
84: \scriptscriptfont3=\tenex
85: \textfont\itfam=\twelveit \scriptfont\itfam=\nineit
86: \textfont\slfam=\twelvesl \scriptfont\slfam=\ninesl
87: \textfont\bffam=\twelvebf \scriptfont\bffam=\ninebf
88: \scriptscriptfont\bffam=\sixbf
89: \textfont\ttfam=\twelvett
90: \textfont\cpfam=\twelvecp
91: }
92: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
93: % %
94: % More FONTS: %
95: % %
96: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
97: \font\eightrm=cmr8 \def\xrm{\eightrm}
98: \font\eightbf=cmbx8 \def\xbf{\eightbf}
99: \font\eightit=cmti10 at 8pt \def\xit{\eightit}
100: \font\sixit=cmti6 \def\xxit{\sixit}
101: \font\sixrm=cmr6 \def\xxrm{\sixrm}
102: %%% \font\eightit=cmti8 \def\xit{\eightit}
103: \font\eighttt=cmtt8 \def\xtt{\eighttt}
104: \font\eightcp=cmcsc8
105: \font\eighti=cmmi8 \def\xold{\eighti}
106: \font\eightib=cmmib8 \def\xbold{\eightib}
107: \font\teni=cmmi10 \def\old{\teni}
108: \font\ninei=cmmi9
109: \font\tencp=cmcsc10
110: \font\ninecp=cmcsc9
111: \font\tentt=cmtt10
112: \font\twelverm=cmr12
113: \font\twelvei=cmmi12
114: \font\twelvecp=cmcsc10 scaled\magstep1
115: \font\fourteencp=cmcsc10 scaled\magstep2
116: \font\fiverm=cmr5
117: \font\twelvemath=cmmi12
118: \font\twelvesy=cmsy12
119: \font\ninesy=cmsy9
120: \font\sixsy=cmsy6
121: \font\twelveex=cmex12
122: \font\nineex=cmex9
123: \font\sixex=cmex6
124: \font\twelveit=cmti12
125: \font\nineit=cmti9
126: \font\sixit=cmti6
127: \font\twelvesl=cmsl12
128: \font\ninesl=cmsl9
129: \font\sixsl=cmsl6
130: \font\twelvebf=cmbx12
131: \font\ninebf=cmbx9
132: \font\sixbf=cmbx6
133: \font\twelvett=cmtt12
134: \font\ninett=cmtt9
135: \font\sixtt=cmtt6
136: \font\eightmath=cmmi8
137: \font\sixmath=cmmi6
138: \font\sixi=cmmi6
139: \font\eightsym=cmsy8
140:
141: \batchmode\font\tenhelvbold=phvb at10pt \errorstopmode
142: \ifx\tenhelvbold\nullfont
143: \message{phvb font not available. Replacing with cmr.}
144: \font\tenhelvbold=cmb10 \def\helvbold{\tenhelvbold}
145: \font\twelvehelvbold=cmb12
146: \font\fourteenhelvbold=cmb14
147: \font\sixteenhelvbold=cmb16
148: \else
149: \font\tenhelvbold=phvb at10pt \def\helvbold{\tenhelvbold}
150: \font\twelvehelvbold=phvb at12pt
151: \font\fourteenhelvbold=phvb at14pt
152: \font\sixteenhelvbold=phvb at16pt
153: \fi
154:
155: \def\noblackbox{\overfullrule=0pt}
156: \noblackbox
157:
158: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
159: % %
160: % HEADLINE: %
161: % %
162: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
163: \newtoks\headtext
164: \headline={\ifnum\pageno=1\hfill\else
165: \ifodd\pageno{\eightcp\the\headtext}{ }\dotfill{ }{\old\folio}
166: \else{\old\folio}{ }\dotfill{ }{\eightcp\the\headtext}\fi
167: \fi}
168: \def\makeheadline{\vbox to 0pt{\vss\noindent\the\headline\break
169: \hbox to\hsize{\hfill}}
170: \vskip2\baselineskip}
171: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
172: % %
173: % FOOTNOTES: %
174: % %
175: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
176: \newcount\infootnote
177: \infootnote=0
178: \def\foot#1#2{\infootnote=1
179: \footnote{${}^{#1}$}{\vtop{\baselineskip=.75\baselineskip
180: \advance\hsize by
181: -\parindent\noindent{\xrm #2\hfill\vskip\parskip}}}\infootnote=0$\,$}
182: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
183: % %
184: % REFERENCES: %
185: % %
186: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
187: \newcount\refcount
188: \refcount=1
189: \newwrite\refwrite
190: \def\oldsize{\ifnum\infootnote=1\xold\else\old\fi}
191: \def\ref#1#2{
192: \def#1{{{\oldsize\the\refcount}}\ifnum\the\refcount=1\immediate\openout\refwrite=\jobname.refs\fi\immediate\write\refwrite{\item{[{\xold\the\refcount}]}
193: #2\hfill\par\vskip-2pt}\xdef#1{{\noexpand\oldsize\the\refcount}}\global\advance\refcount by 1}
194: }
195: \def\refout{\catcode`\@=11
196: \xrm\immediate\closeout\refwrite
197: \vskip2\baselineskip
198: {\noindent\twelvecp References}\hfill
199: \par\nobreak\vskip\baselineskip
200: %\vskip.25\baselineskip%%%%
201: %\parskip=.875\parskip
202: %\baselineskip=.8\baselineskip
203: \baselineskip=.75\baselineskip
204: \input\jobname.refs
205: %\parskip=8\parskip \divide\parskip by 7
206: %\baselineskip=1.25\baselineskip
207: \baselineskip=4\baselineskip \divide\baselineskip by 3
208: \catcode`\@=\active\rm}
209:
210: \def\hepth#1{\href{http://arxiv.org/abs/hep-th/#1}{arXiv:hep-th/{\xold#1}}}
211: \def\arxiv#1#2{\href{http://arxiv.org/abs/#1.#2}{arXiv:{\xold#1}.{\xold#2}}}
212: \def\jhep#1#2#3#4{\href{http://jhep.sissa.it/stdsearch?paper=#2\%28#3\%29#4}{J. High Energy Phys. {\xbold #1#2} ({\xold#3}) {\xold#4}}}
213: \def\AP#1#2#3{Ann. Phys. {\xbold#1} ({\xold#2}) {\xold#3}}
214: \def\ATMP#1#2#3{Adv. Theor. Math. Phys. {\xbold#1} ({\xold#2}) {\xold#3}}
215: \def\CMP#1#2#3{Commun. Math. Phys. {\xbold#1} ({\xold#2}) {\xold#3}}
216: \def\CQG#1#2#3{Class. Quantum Grav. {\xbold#1} ({\xold#2}) {\xold#3}}
217: \def\GRG#1#2#3{Gen. Rel. Grav. {\xbold#1} ({\xold#2}) {\xold#3}}
218: \def\IJMPA#1#2#3{Int. J. Mod. Phys. {\xbf A}{\xbold#1} ({\xold#2}) {\xold#3}}
219: \def\JGP#1#2#3{J. Geom. Phys. {\xbold#1} ({\xold#2}) {\xold#3}}
220: \def\JHEP{\jhep}
221: \def\JMP#1#2#3{J. Math. Phys. {\xbold#1} ({\xold#2}) {\xold#3}}
222: \def\JPA#1#2#3{J. Phys. {\xbf A}{\xbold#1} ({\xold#2}) {\xold#3}}
223: \def\MPLA#1#2#3{Mod. Phys. Lett. {\xbf A}{\xbold#1} ({\xold#2}) {\xold#3}}
224: \def\NPB#1#2#3{Nucl. Phys. {\xbf B}{\xbold#1} ({\xold#2}) {\xold#3}}
225: \def\NPPS#1#2#3{Nucl. Phys. Proc. Suppl. {\xbold#1} ({\xold#2}) {\xold#3}}
226: \def\PLB#1#2#3{Phys. Lett. {\xbf B}{\xbold#1} ({\xold#2}) {\xold#3}}
227: \def\PR#1#2#3{Phys. Rept. {\xbold#1} ({\xold#2}) {\xold#3}}
228: \def\PRD#1#2#3{Phys. Rev. {\xbf D}{\xbold#1} ({\xold#2}) {\xold#3}}
229: \def\PRL#1#2#3{Phys. Rev. Lett. {\xbold#1} ({\xold#2}) {\xold#3}}
230: \def\PRSA#1#2#3{Proc. Royal Soc. {\xbf A}{\xbold#1} ({\xold#2}) {\xold#3}}
231: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
232: % %
233: % SECTION NUMBERING: %
234: % %
235: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
236: \newcount\sectioncount
237: \sectioncount=0
238: \def\section#1#2{\global\eqcount=0
239: \global\subsectioncount=0
240: \global\advance\sectioncount by 1
241: \ifnum\sectioncount>1
242: \vskip2\baselineskip
243: \fi
244: \noindent
245: % \line{\twelvecp\the\sectioncount. #2\hfill}
246: \line{\sectionfonts\twelvecp\the\sectioncount. #2\hfill}
247: \par\nobreak\vskip.8\baselineskip\noindent
248: \xdef#1{{\old\the\sectioncount}}}
249: \newcount\subsectioncount
250: \def\subsection#1#2{\global\advance\subsectioncount by 1
251: \par\nobreak\vskip.8\baselineskip\noindent
252: \line{\tencp\the\sectioncount.\the\subsectioncount. #2\hfill}
253: \vskip.5\baselineskip\noindent
254: \xdef#1{{\old\the\sectioncount}.{\old\the\subsectioncount}}}
255: \newcount\appendixcount
256: \appendixcount=0
257: \def\appendix#1{\global\eqcount=0
258: \global\advance\appendixcount by 1
259: \vskip2\baselineskip\noindent
260: \ifnum\the\appendixcount=1
261: \hbox{\twelvecp Appendix A: #1\hfill}
262: \par\nobreak\vskip\baselineskip\noindent\fi
263: \ifnum\the\appendixcount=2
264: \hbox{\twelvecp Appendix B: #1\hfill}
265: \par\nobreak\vskip\baselineskip\noindent\fi
266: \ifnum\the\appendixcount=3
267: \hbox{\twelvecp Appendix C: #1\hfill}
268: \par\nobreak\vskip\baselineskip\noindent\fi}
269: \def\acknowledgements{\vskip2\baselineskip\noindent
270: \underbar{\it Acknowledgements:}\ }
271: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
272: % %
273: % EQUATION NUMBERING %
274: % %
275: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
276: \newcount\eqcount
277: \eqcount=0
278: \def\Eqn#1{\global\advance\eqcount by 1
279: \ifnum\the\sectioncount=0
280: \xdef#1{{\old\the\eqcount}}
281: \eqno({\oldstyle\the\eqcount})
282: \else
283: \ifnum\the\appendixcount=0
284: \xdef#1{{\old\the\sectioncount}.{\old\the\eqcount}}
285: \eqno({\oldstyle\the\sectioncount}.{\oldstyle\the\eqcount})\fi
286: \ifnum\the\appendixcount=1
287: \xdef#1{{\oldstyle A}.{\old\the\eqcount}}
288: \eqno({\oldstyle A}.{\oldstyle\the\eqcount})\fi
289: \ifnum\the\appendixcount=2
290: \xdef#1{{\oldstyle B}.{\old\the\eqcount}}
291: \eqno({\oldstyle B}.{\oldstyle\the\eqcount})\fi
292: \ifnum\the\appendixcount=3
293: \xdef#1{{\oldstyle C}.{\old\the\eqcount}}
294: \eqno({\oldstyle C}.{\oldstyle\the\eqcount})\fi
295: \fi}
296: \def\eqn{\global\advance\eqcount by 1
297: \ifnum\the\sectioncount=0
298: \eqno({\oldstyle\the\eqcount})
299: \else
300: \ifnum\the\appendixcount=0
301: \eqno({\oldstyle\the\sectioncount}.{\oldstyle\the\eqcount})\fi
302: \ifnum\the\appendixcount=1
303: \eqno({\oldstyle A}.{\oldstyle\the\eqcount})\fi
304: \ifnum\the\appendixcount=2
305: \eqno({\oldstyle B}.{\oldstyle\the\eqcount})\fi
306: \ifnum\the\appendixcount=3
307: \eqno({\oldstyle C}.{\oldstyle\the\eqcount})\fi
308: \fi}
309: \def\multi{\global\advance\eqcount by 1}
310: \def\multieq#1#2{
311: \ifnum\the\sectioncount=0
312: \eqno({\oldstyle\the\eqcount})
313: \xdef#1{{\old\the\eqcount#2}}
314: \else
315: \xdef#1{{\old\the\sectioncount}.{\old\the\eqcount}#2}
316: \eqno{({\oldstyle\the\sectioncount}.{\oldstyle\the\eqcount}#2)}
317: \fi}
318:
319: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
320: % %
321: % Hyperrefs: %
322: % %
323: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
324: \newtoks\url
325: \def\Href#1#2{\catcode`\#=12\url={#1}\catcode`\#=\active\special{html:<a href="\the\url">}#2\special{html:</a>}}
326: \def\href#1#2{\special{html:<a href="#1">}{#2}\special{html:</a>}}
327: \def\hhref#1{\special{html:<a href="#1">}{#1}\special{html:</a>}}
328: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
329: % %
330: % FORMAT: %
331: % %
332: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
333: \parskip=3.5pt plus .3pt minus .3pt
334: \baselineskip=14pt plus .1pt minus .05pt
335: \lineskip=.5pt plus .05pt minus .05pt
336: \lineskiplimit=.5pt
337: \abovedisplayskip=18pt plus 4pt minus 2pt
338: \belowdisplayskip=\abovedisplayskip
339: \hsize=14cm
340: \vsize=19.9cm
341: \hoffset=1.5cm
342: \voffset=1.8cm
343: \frenchspacing
344: \footline={}
345: \raggedbottom
346: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
347: % %
348: % VARIOUS DEFINITIONS %
349: % %
350: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
351: \def\ts{\textstyle}
352: \def\ss{\scriptstyle}
353: \def\sss{\scriptscriptstyle}
354: \def\*{\partial}
355: \def\punkt{\,\,.}
356: \def\komma{\,\,,}
357: \def\semikolon{\,\,;}
358: \def\minus{\!-\!}
359: \def\plus{\!+\!}
360: \def\={\!=\!}
361: \def\small#1{{\hbox{$#1$}}}
362: \def\half{\small{1\over2}}
363: \def\fraction#1{\small{1\over#1}}
364: \def\fr{\fraction}
365: \def\Fraction#1#2{\small{#1\over#2}}
366: \def\Fr{\Fraction}
367: \def\tr{\hbox{\rm tr}}
368: \def\eg{{\tenit e.g.}}
369: \def\Eg{{\tenit E.g.}}
370: \def\ie{{\tenit i.e.}}
371: \def\etal{{\tenit et al.}}
372:
373: \def\nl{\hfill\break\indent}
374: \def\nlni{\hfill\break}
375:
376: \def\first{{\old1}${}^{st}$}
377: \def\second{{\old2}${}^{nd}$}
378: \def\third{{\old3}${}^{rd}$}
379:
380: \def\a{\alpha}
381: \def\b{\beta}
382: \def\c{\gamma}
383: \def\d{\delta}
384: \def\e{\varepsilon}
385: \def\g{\gamma}
386: %\def\l{\lambda}
387: \def\o{\omega}
388:
389: \def\m{\mu}
390:
391: \def\gg{{\frak g}}
392: \def\kk{{\frak k}}
393:
394: \def\G{\Gamma}
395: \def\L{\Lambda}
396: \def\O{\Omega}
397:
398: \def\Z{{\Bbb Z}}
399: \def\C{{\Bbb C}}
400: \def\R{{\Bbb R}}
401: \def\H{{\Bbb H}}
402:
403: \def\M{{\cal M}}
404: \def\Ham{{\cal H}}
405:
406: \def\w{\!\wedge\!}
407: \def\id{1\hskip-3.5pt 1}
408: \def\Int{\int\limits}
409: \def\bra{\,<\!\!}
410: \def\ket{\!\!>\,}
411: \def\ra{\rightarrow}
412: \def\cross{\!\times\!}
413: \def\Tr{\hbox{Tr}\,}
414: \def\ker{\hbox{ker}\,}
415: \def\Re{\hbox{Re}\,}
416: \def\ggr{\!\cdot\!}
417: \def\Dslash{D\hskip-6.5pt/\hskip1.5pt}
418: \def\pslash{\*\hskip-5.5pt/\hskip.5pt}
419:
420: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
421:
422: \def\ee{{\frak e}}
423:
424: \def\Tr{\hbox{Tr}}
425:
426: %\def\rdiag#1{\hbox{\epsfxsize=12pt\lower3pt\hbox{\epsffile{#1.eps}}}}
427: %\def\rrrdiag#1{\hbox{\epsfxsize=12pt\lower3pt\hbox{\epsffile{r3-#1.eps}}}}
428:
429: \def\eeR{\e\e\hat R^4}
430: \def\ttR{t_8t_8\hat R^4}
431:
432: \def\i{\hbox{\it i}}
433: \def\ii{\hbox{\it ii}}
434: \def\iii{\hbox{\it iii}}
435: \def\iv{\hbox{\it iv}}
436: \def\v{\hbox{\it v}}
437: \def\vi{\hbox{\it vi}}
438: \def\vii{\hbox{\it vii}}
439: \def\viii{\hbox{\it viii}}
440: \def\ix{\hbox{\it ix}}
441: \def\x{\hbox{\it x}}
442:
443:
444: \def\P{{\scr P}}
445: \def\II{I\hskip-.5pt I}
446:
447: \def\ms{{\mathstrut}}
448:
449: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
450:
451:
452: \def\l{\lambda}
453: \def\th{\theta}
454:
455: \def\bl{{\l}}
456: \def\bw{{w}}
457: \def\bD{{D}}
458:
459: \def\tw{\tilde w}
460: \def\tb{\tilde b}
461: \def\btw{{\tw}}
462:
463: \def\PP{{\scr P}}
464: \def\HH{{\scr H}}
465: \def\OO{{\scr O}}
466:
467: \def\Ker{\hbox{Ker}\,}
468: \def\Im{\hbox{Im}\,}
469:
470: \def\lra{\longrightarrow}
471: \def\ra{\rightarrow}
472: \def\sea{\searrow}
473: \def\sa{\downarrow}
474: \def\swa{\swarrow}
475:
476: \def\arrowover#1{\vtop{\baselineskip=0pt\lineskip=0pt
477: \ialign{\hfill##\hfill\cr$\lra$\cr${\ss #1}$\cr}}}
478:
479: \def\arrowunder#1{\raise4pt\vtop{\baselineskip=0pt\lineskip=0pt
480: \ialign{\hfill##\hfill\cr${\ss #1}$\cr$\lra$\cr}}}
481:
482: \def\Qarrow{\;\arrowover Q\;}
483:
484: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
485:
486: \ref\CederwallNilssonTsimpisI{M. Cederwall, B.E.W. Nilsson and D. Tsimpis,
487: {\xit ``The structure of maximally supersymmetric super-Yang--Mills theory---constraining higher order corrections''}, \jhep{01}{06}{2001}{034}
488: [\hepth{0102009}].}
489:
490: \ref\CederwallNilssonTsimpisII{M. Cederwall, B.E.W. Nilsson and D. Tsimpis,
491: {\xit ``D=10 super-Yang--Mills at $\ss O(\a'^2)$''},
492: \JHEP{01}{07}{2001}{042} [\hepth{0104236}].}
493:
494: \ref\CGNN{M. Cederwall, U. Gran, M. Nielsen and B.E.W. Nilsson,
495: {\xit ``Manifestly supersymmetric M-theory''},
496: \JHEP{00}{10}{2000}{041} [\hepth{0007035}];
497: {\xit ``Generalised 11-dimensional supergravity''}, \hepth{0010042}.
498: }
499:
500:
501: \ref\CGNT{M. Cederwall, U. Gran, B.E.W. Nilsson and D. Tsimpis,
502: {\xit ``Supersymmetric corrections to eleven-dimen\-sional supergravity''},
503: \jhep{05}{05}{2005}{052} [\hepth{0409107}].}
504:
505:
506:
507: \ref\SpinorialCohomology{M. Cederwall, B.E.W. Nilsson and D. Tsimpis,
508: {\xit ``Spinorial cohomology and maximally supersymmetric theories''},
509: \jhep{02}{02}{2002}{009} [\hepth{0110069}];
510: M. Cederwall, {\xit ``Superspace methods in string theory, supergravity and gauge theory''}, Lectures at the XXXVII Winter School in Theoretical Physics ``New Developments in Fundamental Interactions Theories'', Karpacz, Poland, Feb. 6-15, 2001, \hepth{0105176}.}
511:
512:
513: \ref\SuperYM{L. Brink, J.H. Schwarz and J. Scherk,
514: {\xit ``Supersymmetric Yang--Mills theories''},
515: \NPB{121}{1977}{77}.}
516:
517: \ref\NilssonSixDSYM{B.E.W. Nilsson,
518: {\xit ``Superspace action for a 6-dimensional non-extended supersymmetric
519: Yang--Mills theory''},
520: \NPB{174}{1980}{335}.}
521:
522:
523:
524:
525: \ref\NilssonSYM{B.E.W.~Nilsson,
526: \xit ``Off-shell fields for the 10-dimensional supersymmetric
527: Yang--Mills theory'', \xrm G\"oteborg-ITP-{\xold81}-{\xold6}.}
528:
529: \ref\NilssonPure{B.E.W.~Nilsson,
530: {\xit ``Pure spinors as auxiliary fields in the ten-dimensional
531: supersymmetric Yang--Mills theory''},
532: \CQG3{1986}{{\xrm L}41}.}
533:
534: \ref\BerkovitsI{N. Berkovits,
535: {\xit ``Super-Poincar\'e covariant quantization of the superstring''},
536: \jhep{00}{04}{2000}{018} [\hepth{0001035}].}
537:
538: \ref\BerkovitsReview{N. Berkovits, {\xit ``ICTP lectures on covariant
539: quantization of the superstring''}, \hepth{0209059}.}
540:
541: \ref\BerkovitsParticle{N. Berkovits, {\xit ``Covariant quantization of
542: the superparticle using pure spinors''}, \jhep{01}{09}{2001}{016}
543: [\hepth{0105050}].}
544:
545:
546: \ref\BerkovitsCohomology{N. Berkovits,
547: {\xit ``Cohomology in the pure spinor formalism for the superstring''},
548: \jhep{00}{09}{2000}{046} [\hepth{0006003}].}
549:
550: \ref\Movshev{M. Movshev and A. Schwarz, {\xit ``On maximally
551: supersymmetric Yang--Mills theories''}, \NPB{681}{2004}{324}
552: [\hepth{0311132}].}
553:
554: \ref\Berkovits{N. Berkovits,
555: {\xit ``Pure spinor formalism as an N=2 topological string''},
556: \jhep{05}{10}{2005}{089} [\hepth{0509120}].}
557:
558: \ref\NiclasW{P. Grassi and N. Wyllard, {\xit ``Lower-dimensional
559: pure-spinor superstrings''}, \jhep{05}{12}{2005}{007}
560: [\hepth{0509140}];
561: N. Wyllard, {\xit ``Pure-spinor superstrings in d=2,4,6''},
562: \jhep{05}{11}{009}{2005} [\hepth{0509165}].}
563:
564: \ref\CGN{M. Cederwall, U. Gran and B.E.W. Nilsson, {\xit work in
565: progress}.}
566:
567: \ref\HoweTsimpis{P.S. Howe and D. Tsimpis, {\xit ``On higher-order
568: corrections in M theory''}, \jhep{03}{09}{2003}{038}
569: [\hepth{0305129}].}
570:
571: \ref\GrassiVanhove{P.A. Grassi and P. Vanhove, {\xit ``Topological M
572: theory from pure spinor formalism''}, \ATMP{9}{2005}{285}
573: [\hepth{0411167}].}
574:
575:
576:
577: \ref\Koller{J. Koller, {\xit ``A six-dimensional superspace approach
578: to extended superfields''}, \NPB{222}{1983}{319}.}
579:
580: \ref\HoweSierraTownsend{P.S. Howe, G. Sierra and P.K. Townsend,
581: {\xit ``Supersymmetry in six dimensions''}, \NPB{221}{1983}{331}.}
582:
583: \ref\BSvP{E. Bergshoeff, E. Sezgin and A. van Proeyen,
584: {\xit ``Superconformal tensor calculus and matter couplings
585: in six dimensions''}, \NPB{264}{1986}{653}.}
586:
587:
588:
589:
590: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
591:
592: \headtext={Cederwall, Nilsson: ``Pure spinors and D=6 super-Yang--Mills''}
593:
594:
595: \line{
596: \epsfysize=15mm
597: \epsffile{Bildmarke30mm.eps}
598: \hfill}
599: \vskip-12mm
600: \line{\hfill G\"oteborg preprint}
601: %\line{\hfill hep-th/yymmnnn}
602: \line{\hfill January, {\old2008}}
603: \line{\hrulefill}
604:
605:
606: \vfill
607: \vskip.5cm
608:
609: \centerline{\sixteenhelvbold
610: Pure Spinors and D=6 Super-Yang--Mills}
611:
612: \vfill
613:
614: \centerline{\twelvehelvbold
615: Martin Cederwall and Bengt EW Nilsson}
616:
617: \vfill
618:
619: \centerline{\it Fundamental Physics}
620: \centerline{\it Chalmers University of Technology}
621: \centerline{\it SE 412 96 G\"oteborg, Sweden}
622:
623:
624: \vfill
625:
626: {\narrower\noindent \underbar{Abstract:} Pure spinor cohomology has
627: been used to describe maximally supersymmetric theories, like $D=10$
628: super-Yang--Mills and $D=11$ supergravity. Supersymmetry closes
629: on-shell in such theories, and the fields in the cohomology
630: automatically satisfy the equations of motion. In this paper, we
631: investigate the corresponding structure in a model with {\it off-shell}
632: supersymmetry, $N=1$ super-Yang--Mills theory in
633: $D=6$. Here, fields and antifields are obtained as cohomologies in
634: different complexes with respect to the BRST operator $Q$. It turns
635: out to be natural to enlarge the pure spinor space with additional
636: bosonic variables, subject to some constraints generalising the pure
637: spinor condition, in order to accommodate the different
638: supermultiplets in the same generalised pure spinor wave-function.
639: We construct another BRST operator, $s$, acting in
640: the cohomology of $Q$, whose cohomology implies the equations of motion.
641: We comment on the possible use of similar approaches in other models.
642: \smallskip}
643: \vfill
644:
645: \font\xxtt=cmtt6
646:
647: \vtop{\baselineskip=.6\baselineskip\xxtt
648: \line{\hrulefill}
649: \catcode`\@=11
650: \line{email: martin.cederwall@chalmers.se,
651: tfebn@fy.chalmers.se\hfill}
652: \catcode`\@=\active
653: }
654:
655: \eject
656:
657: \section\Introduction{Introduction}Pure spinors and pure spinor
658: cohomology (or spinorial cohomology) seems to be a deep structure
659: underlying supersymmetric gauge theories, including supergravity.
660: In a more pragmatic sense, pure spinors act as a book-keeping device for
661: superspace forms with spinorial indices. The pure spinor constraint,
662: which is generically of the form $(\l\g^a\l)=0$, essentially projects
663: out torsion from the anti-commutator of two fermionic derivatives, and
664: ensures the nilpotency of the pure spinor BRST operator
665: $Q=\l^\a D_\a$.
666:
667: Finding superspace formulations of the component dynamics of
668: supersymmetric Yang--Mills theory [\SuperYM] has to a large extent
669: been a question of trial and error. It was recognised early that
670: pure spinors has a r\^ole to play [\NilssonSYM,\NilssonPure], but it
671: took much longer to realise how to make systematic use of them. Pure
672: spinor techniques arise naturally from the formulation of gauge theory
673: on superspace, and have been used successfully in $D=10$
674: %both by
675: %providing means for an off-shell analysis of deformed supersymmetric
676: %super-Yang--Mills theory
677: [\CederwallNilssonTsimpisI,\BerkovitsParticle,\SpinorialCohomology,\Movshev],
678: both for the undeformed theory and its supersymmetric deformations.
679: The theory may be supplemented with extra
680: pure spinor variables that enable the construction of a Chern--Simons
681: like off-shell action [\Berkovits] constructed in terms of $Q$.
682: These techniques have also been very powerful in the covariant
683: quantisation of the superstring (see refs.
684: [\BerkovitsI,\BerkovitsReview] and references therein). Some results
685: have been obtained for $D=11$ supergravity [\CGNN], and for
686: maximally supersymmetric models, where explicit higher-derivative
687: corrections were derived in refs.
688: [\CederwallNilssonTsimpisI,\CederwallNilssonTsimpisII,\CGNN,\CGNT].
689:
690: Standard component formulations of maximally supersymmetric theories
691: are on-shell supersymmetric---the equations of motion are implied by
692: $Q=0$---whereas the pure spinor framework provides an off-shell
693: formulation. In this sense, the property of the supermultiplets of
694: having supersymmetry transformations closing only on shell is turned
695: into a virtue. The dynamics can be given the simple form of
696: vanishing curvature (the equations of motion of a Chern--Simons-like
697: action). The corresponding situation for less supersymmetric
698: theories has not been as clear. Attempts have been made to use pure
699: spinors in lower dimensions [\NiclasW], but mainly in the context of
700: superstrings. Neither has it been as thoroughly investigated, since
701: the existence of off-shell supermultiplets provides means of
702: treating the models without sacrificing supersymmetry. Nevertheless,
703: pure spinor cohomology works as a generic method of defining the
704: supermultiplets, including auxiliary fields, and if we think there
705: is some deeper significance to such a statement, we should also
706: seriously consider the mechanisms used to go from the off-shell
707: multiplets to the on-shell theory. This question is addressed and
708: solved in the present paper for a specific case of a theory with 8
709: supercharges, $N=1$ super-Yang--Mills theory in $D=6$. (The
710: superspace formulation of this theory, as well of the one in $D=10$
711: is of course well known
712: [\NilssonSixDSYM,\HoweSierraTownsend,\Koller,\BSvP].)
713:
714: In the concluding section we also comment on how similar techniques
715: may clarify the situation for supermultiplets that are partially
716: off-shell, like $D=10$, $N=1$ supergravity and heterotic supergravity,
717: and how they may be used to address questions in $D=11$ supergravity
718: and M-theory.
719:
720: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
721:
722: \section\DIsTen{Review of pure spinors in $D=10$ and
723: super-Yang--Mills}Consider
724: a scalar field, or first-quantised wave function, that in
725: addition to the superspace coordinates $x^a$, $\theta^\a$ (we take
726: superspace to be flat, for simplicity) depend on a pure spinor
727: $\l^\a$. The pure spinor constraint is
728: $T^a\equiv(\l\g^a\l)\approx0$. The fields is seen as a formal series
729: expansion in $\l$, and gauge invariance (with the pure spinor
730: constraint as generator) is implemented by factoring out the ideal
731: generated by $T$.
732:
733: The flat superspace torsion is $T^a_{\a\b}=2\g^a_{\a\b}$. The pure
734: spinor constraint implies that the fermionic operator
735: $Q=\l^\a D_\a$ is nilpotent, and can be used as a BRST operator.
736: The content of a scalar field, \ie, the
737: structure of the complex is
738: $$
739: r_{0}\Qarrow r_{1}\Qarrow r_{2}\Qarrow\ldots\Qarrow r_{n}\Qarrow\ldots
740: \Eqn\BasicComplex
741: $$
742: where the representations $r_{n}$ at each $n$ denotes a superfield in
743: the representation $r_{n}$ of the Lorentz group. This representation
744: is the conjugate representation to the symmetric product of $n$ pure
745: spinors.
746: When we describe
747: a gauge theory, $r_{n}$ consists of
748: totally symmetric and $\g$-traceless
749: tensors in $n$ spinor indices. The fermionic
750: exterior derivative is a projection on the representations $r_{n}$ of
751: a (symmetrised) spinorial covariant derivative. The general
752: interpretation is that $r_{0}$ contains gauge transformations (or
753: ghosts), $r_{1}$
754: contains fields, $r_{2}$ deformations (or antifields) and $r_3$
755: antighosts of the theory.
756: For a theory of a rank-$(p+1)$ tensor potential, such as the three-form
757: in $D=11$ supergravity, $r_{p}$ contains gauge transformations
758: (ghosts), $r_{<p}$ ghosts for ghosts, $r_{p+1}$
759: fields, $r_{p+2}$ deformations (antifields), $r_{p+3}$ antighosts,
760: etc. Although the structure seems general, it really occurs only for a
761: limited number of cases, and relies on maximal supersymmetry.
762:
763: \epsfxsize=3cm
764: \vskip2\parskip
765: \hskip8\parskip\vbox{\hsize=12cm
766: \epsffile{D5.eps}\hfill\break
767: {\it Figure 1: Convention for Dynkin indices for $so(1,9)$ representations}
768: }
769: \vskip2\parskip
770: For $N=1$ and $D=10$, with $\l^\a$ in $(00001)$ and $D_\a$ in
771: $(00010)$, we have the representations
772: $$
773: (00000)\Qarrow(00010)\Qarrow(00020)\Qarrow\ldots\Qarrow(000n0)
774: \Qarrow\ldots\Eqn\TenSYMComplex
775: $$
776: The cohomology at zero momentum (the ``field content'')
777: can be calculated with purely
778: algebraic means, and is displayed in the table 1 below. Each
779: column represents the superfield content of the representations in the
780: complex (\TenSYMComplex), and has been shifted so that $Q$ acts
781: horizontally.
782:
783: \vbox{
784: $$
785: \vtop{\baselineskip20pt\lineskip0pt
786: \ialign{
787: $\hfill#\quad$&$\,\hfill#\hfill\,$&$\,\hfill#\hfill\,$&$\,\hfill#\hfill\,$
788: &$\,\hfill#\hfill\,$&$\,\hfill#\hfill$&\qquad\qquad#\cr
789: &n=0 &n=1 &n=2 &n=3 &n=4\cr
790: \hbox{dim}=0&(00000)& & & &\phantom{(00000)} \cr
791: \fr2&\bullet&\bullet& & \cr
792: 1&\bullet&(10000)&\bullet& & \cr
793: \Fr32&\bullet&(00001)&\bullet&\bullet& \cr
794: 2&\bullet&\bullet&\bullet&\bullet&\bullet\cr
795: \Fr52&\bullet&\bullet&(00010)&\bullet&\bullet\cr
796: 3&\bullet&\bullet&(10000)&\bullet&\bullet\cr
797: \Fr72&\bullet&\bullet&\bullet&\bullet&\bullet\cr
798: 4&\bullet&\bullet&\bullet&(00000)&\bullet\cr
799: \Fr92&\bullet&\bullet&\bullet&\bullet&\bullet\cr
800: }}
801: $$
802: %\nobreak
803: \vskip2\parskip
804: %\nobreak
805: \centerline{\it Table 1. The cohomology of the $D=10$ SYM complex.}
806: }
807: \vskip2\parskip
808: \noindent Our conventions for dimensions is that a bosonic derivative
809: has dimension 1, $[\partial_a]=1$. Then $[D_\a]=\fr2$, $[\l^\a]=-\fr2$
810: and $[Q]=0$.
811:
812: The cohomology at non-zero momentum restricts the fields to obey the
813: linearised equations of motion. An easy way to read off the possible
814: equations of motion from the zero-momentum cohomology is to find the
815: cohomology in the column to the right of the one containing the
816: fields. The full non-linear super-Yang--Mills
817: equations of motion are reproduced by the solution at order $\l$ of
818: the zero curvature condition $Q\Psi+\Psi^2=0$. The equations may be
819: derived from a Chern--Simons like Batalin--Vilkovisky action where the
820: measure involves the position of the antighost (this requires
821: additional variables in order to make the measure non-degenerate
822: [\Berkovits], and will not be dealt with in this paper).
823:
824:
825:
826: \section\DIsSix{Pure spinors and extended pure spinors in $D=6$}We
827: now turn our attention to $N=1$ super-Yang--Mills theory in $D=6$.
828: The conventions for Dynkin labels of $Spin(1,5)\times SU(2)$ used are
829: indicated in figure 2. The pure spinor $\l^\a$ is in the representation
830: $(001)(1)$ and $D_\a$ in $(010)(1)$.
831:
832: We think of spinors
833: as 2-component quaternionic objects, with $\g^a$ (strictly speaking
834: $\sigma$-matrices, different for the two chiralities) acting from the
835: left and imaginary quaternions $e_i$, generating $SU(2)$, from the
836: right. Scalar product of two spinors $\a$ and $\b$ (of opposite
837: chiralities) is defined as $(\a\b)\equiv\Re(\a^\dagger\b)$, with
838: conjugation and real part being quaternionic.
839: %The conventions agree with those of \eg\
840:
841: \epsfxsize=3cm
842: \vskip2\parskip
843: \hskip8\parskip\vbox{\hsize=12cm
844: \epsffile{D3A1.eps}\hfill\break
845: {\it Figure 2: Convention for Dynkin indices for $so(1,5)\oplus su(2)$
846: representations}
847: }
848: \vskip2\parskip
849: If the procedure from the previous section is attempted,
850: a qualitatively different set of fields emerges in the cohomology.
851: The complex of representations now is
852: $$
853: (000)(0)\Qarrow(010)(1)\Qarrow(020)(2)\Qarrow\ldots\Qarrow(0n0)(n)
854: \Qarrow\ldots\Eqn\SixSYMComplexI
855: $$
856: and the zero-momentum cohomology is given in table 2.
857:
858: \vskip12pt
859: \vbox{
860: $$
861: \vtop{\baselineskip20pt\lineskip0pt
862: \ialign{
863: $\hfill#\quad$&$\,\hfill#\hfill\,$&$\,\hfill#\hfill\,$&$\,\hfill#\hfill\,$
864: &$\,\hfill#\hfill\,$&$\,\hfill#\hfill$&\qquad\qquad#\cr
865: &n=0 &n=1 &n=2 &n=3 &n=4\cr
866: \hbox{dim}=0&(000)(0)&&\phantom{(000)(0)}&\phantom{(000)(0)}
867: &\phantom{(000)(0)}\cr
868: \fr2&\bullet&\bullet& & \cr
869: 1&\bullet&(100)(0)&\bullet& & \cr
870: \Fr32&\bullet&(001)(1)&\bullet&\bullet& \cr
871: 2&\bullet&(000)(2)&\bullet&\bullet&\bullet\cr
872: \Fr52&\bullet&\bullet&\bullet&\bullet&\bullet\cr
873: 3&\bullet&\bullet&\bullet&\bullet&\bullet\cr
874: \Fr72&\bullet&\bullet&\bullet&\bullet&\bullet\cr
875: 4&\bullet&\bullet&\bullet&\bullet&\bullet\cr
876: \Fr92&\bullet&\bullet&\bullet&\bullet&\bullet\cr
877: }}
878: $$
879: %\nobreak
880: \vskip2\parskip
881: %\nobreak
882: \centerline{\it Table 2. The cohomology of the $N=1$, $D=6$ SYM complex.}
883: }
884: \vskip2\parskip
885: The
886: condition $Q\Psi=0$ does not imply the equations of motion; instead
887: the $SU(2)$ triplet of auxiliary fields appears at dimension 2. There
888: is no cohomology at $n>1$, \ie, no antifields.
889: There are no representations for anti-fields, and consequently
890: no room for equations of motion, or currents.
891:
892: The antifields turn out to be found in a separate complex,
893: $$
894: (000)(2)\Qarrow(010)(3)\Qarrow(020)(4)\Qarrow\ldots\Qarrow(0n0)(n+2)
895: \Qarrow\ldots\Eqn\SixSYMComplexII
896: $$
897: with the cohomology given by table 3.
898: Here, the dimension of the triplet field is chosen to be 2
899: in order to match with the dimensionalities of the current multiplet.
900:
901: \vskip12pt
902: \vbox{
903: $$
904: \vtop{\baselineskip20pt\lineskip0pt
905: \ialign{
906: $\hfill#\quad$&$\,\hfill#\hfill\,$&$\,\hfill#\hfill\,$&$\,\hfill#\hfill\,$
907: &$\,\hfill#\hfill\,$&$\,\hfill#\hfill$&\qquad\qquad#\cr
908: &n=0 &n=1 &n=2 &n=3 &n=4\cr
909: \hbox{dim}=2&(000)(2)&&\phantom{(000)(0)}&\phantom{(000)(0)}
910: &\phantom{(000)(0)}\cr
911: \Fr52&(010)(1)&\bullet& & \cr
912: 3&(100)(0)&\bullet&\bullet& & \cr
913: \Fr72&\bullet&\bullet&\bullet&\bullet& \cr
914: 4&\bullet&(000)(0)&\bullet&\bullet&\bullet\cr
915: \Fr92&\bullet&\bullet&\bullet&\bullet&\bullet\cr
916: 5&\bullet&\bullet&\bullet&\bullet&\bullet\cr
917: \Fr{11}2&\bullet&\bullet&\bullet&\bullet&\bullet\cr
918: 6&\bullet&\bullet&\bullet&\bullet&\bullet\cr
919: \Fr{13}2&\bullet&\bullet&\bullet&\bullet&\bullet\cr
920: }}
921: $$
922: %\nobreak
923: \vskip2\parskip
924: %\nobreak
925: \centerline{\it Table 3. The cohomology of the $N=1$, $D=6$ SYM
926: antifield complex.}
927: }
928: \vskip2\parskip
929:
930: A key observation here is that both the fields and the antifields can
931: be accommodated in the same field $\Psi$, if it, in addition to the pure
932: spinor $\l$ of dimension $-\fr2$,
933: depends on a bosonic triplet $c_i$ of dimension $-2$
934: with $c_i(\l e_i)^\a=0$, where $e_i$, $i=1,2,3$, are imaginary
935: quaternions acting on the two-component $\l$ by right multiplication.
936: Then the $\l$ expansion at order $c$ gives exactly the
937: series of representations (\SixSYMComplexII). Multiplying this
938: condition one more time from the right with $c_ie_i$ gives the
939: necessary constraint $c_ic_i=0$.
940:
941: The ``first quantised Hilbert space'' consists of functions of $\l^\a$,
942: $c_i$, $x^a$ and $\th^\a$, with the constraints $T^a\equiv(\bl\g^a\l)=0$,
943: $t^\a\equiv c_i(\l e_i)^\a=0$ and
944: $\tau\equiv c_ic_i=0$. Just like the constraint $T^a=0$ is solved by a
945: complexified $\l$, the full set of constraints are solved by complex
946: $\l$ and $c$. Any state is a formal series expansion in non-negative
947: powers
948: of $\l^\a$ and $c_i$. If we call this space $\PP$, the Hilbert space
949: is $\HH=\PP/T\PP$, where $T\PP$ is the ideal in $\PP$ generated by the
950: constraints.
951:
952: $\l^\a$ is in (001)(1) and $c_i$ in (000)(2). The constraints imply
953: that $\l^nc^\nu$ only contains $(00n)(n+2\nu)$. We let $n$ and $\nu$
954: denote the degree of homogeneity in $\l$ and $c$, respectively,
955: throughout the paper.
956: The pure spinor BRST operator is $Q=(\bl D)$. The ghost and fields sit
957: in the cohomology of $Q$ at $c^0$ and the antifields and antighost at
958: $c^1$. The auxiliary field sits at $c^0\l^1\th^3$ and the corresponding
959: antifield at $c^1\l^0\th^0$, so one will need an operator $s\sim cwD^3$ to go
960: from one to the other. Here, $w_\a$ is the derivative with respect to $\l^\a$.
961: The derivative with respect to $c_i$ is denoted $b_i$.
962:
963: There is also cohomology of $Q$ at higher powers of $c$, although
964: only at $\l^0$. The cohomologies at $c^\nu$ is given in Table 4, and
965: the general positions of non-vanishing cohomology in the power
966: expansion in $\l$ and $c$ is found in figure 3. We
967: are not sure what they signify, but note that they sit ``beyond'' the
968: scalar representation of the antifield in the power expansion, that
969: would provide a measure. Each of
970: these off-shell multiplets contain $8(2\nu-1)$ bosonic fields and the same
971: number of fermions.
972:
973: \vskip6pt
974: \vbox{
975: $$
976: \vtop{\baselineskip20pt\lineskip0pt
977: \ialign{
978: $\hfill#\quad$&$\,\hfill#\hfill\,$&$\,\hfill#\hfill\,$&$\,\hfill#\hfill\,$
979: &$\,\hfill#\hfill\,$&$\,\hfill#\hfill$&\qquad\qquad#\cr
980: &n=0 &n=1 &n=2 &n=3 &n=4\cr
981: \hbox{dim}=2\nu&(000)(2\nu)&\phantom{(000)(0)}&\phantom{(000)(0)}
982: &\phantom{(000)(0)}&\phantom{(000)(0)}\cr
983: 2\nu+\fr2&(010)(2\nu-1)&\bullet& & \cr
984: 2\nu+1&(100)(2\nu-2)&\bullet&\bullet& & \cr
985: 2\nu+\Fr32&(001)(2\nu-1)&\bullet&\bullet&\bullet& \cr
986: 2\nu+2&(000)(2\nu-4)&\bullet&\bullet&\bullet&\bullet\cr
987: 2\nu+\Fr52&\bullet&\bullet&\bullet&\bullet&\bullet\cr
988: 2\nu+3&\bullet&\bullet&\bullet&\bullet&\bullet\cr
989: 2\nu+\Fr72&\bullet&\bullet&\bullet&\bullet&\bullet\cr
990: 2\nu+4&\bullet&\bullet&\bullet&\bullet&\bullet\cr
991: 2\nu+\Fr92&\bullet&\bullet&\bullet&\bullet&\bullet\cr
992: }}
993: $$
994: %\nobreak
995: \vskip2\parskip
996: %\nobreak
997: \centerline{\it Table 4. The cohomology of $N=1$, $D=6$ at $\nu\geq2$.}
998: }
999:
1000:
1001:
1002: \font\llmath=cmsy18 at 36pt
1003: \def\markthisbox{\raise5pt\hbox{\llmath\char'2}}
1004:
1005: \vskip32pt
1006: \hskip8\parskip\vbox{\hsize=12cm
1007: \vbox{\tabskip=0pt\offinterlineskip\def\ttt{\noalign{\hrule}}
1008: \halign{#&\hbox to 1.5cm{\hfil#}&#&\hbox to 1cm{\hfil#\hfil}&#&\hbox to 1cm{\hfil#\hfil}&#&\hbox to 1cm{\hfil#\hfil}&#&\hbox to 1cm{\hfil#\hfil}&#&\hbox to 1cm{\hfil#\hfil}&#&\hbox to 1cm{\hfil#\hfil}&#\cr
1009: &\raise8pt\hbox{$n+\nu\,\,\,=$}&&\raise8pt\hbox{$0$}&&\raise8pt\hbox{$1$}&&\raise8pt\hbox{$2$}&&\raise8pt\hbox{$3$}&&\raise8pt\hbox{$4$}&&\raise8pt\hbox{$5$}&\cr
1010: &&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt\cr
1011: &\raise10pt\hbox{$\nu=0\quad$}&\vrule height1cm&\markthisbox&\vrule&\markthisbox&\vrule&&\vrule&&\vrule&&\vrule&&\vrule\cr
1012: &&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt\cr
1013: &\raise10pt\hbox{$1\quad$}&&&\vrule height1cm&\markthisbox&\vrule&\markthisbox&\vrule&&\vrule&&\vrule&&\vrule\cr
1014: &&&&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt\cr
1015: &\raise10pt\hbox{$2\quad$}&&&&&\vrule height1cm&\markthisbox&\vrule&&\vrule&&\vrule&&\vrule\cr
1016: &&&&&&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt\cr
1017: &\raise10pt\hbox{$3\quad$}&&&&&&&\vrule height1cm&\markthisbox&\vrule&&\vrule&&\vrule\cr
1018: &&&&&&&&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt\cr
1019: &\raise10pt\hbox{$4\quad$}&&&&&&&&&\vrule height1cm&\markthisbox&\vrule&&\vrule\cr
1020: &&&&&&&&&&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt&\vrule height.5pt width1cm&\vrule height.5pt\cr
1021: }}
1022: \vskip2\parskip
1023: \noindent{\it Figure 3. Position of cohomologies in the power
1024: series.}
1025: }
1026: \vskip2\parskip
1027:
1028:
1029:
1030: \section\NewOperator{The new BRST operator}Derivatives
1031: are not well defined on $\HH$, since they can map an
1032: element of the ideal to something outside the ideal. For example,
1033: $w_\a\cdot(\bl\g^a\l)=2(\g^a\l)_\a\not\in T\PP$. One can define
1034: modified ``quantum'' derivatives that map the ideal to itself, so that
1035: they are well-defined on $\HH$. A good derivative, normalised so that it
1036: acts exactly as $w$ on the representations $(0n0)(n+2\nu)$,
1037: is \foot\dagger{In this and following expressions, no ``normal
1038: ordering'' is assumed. Ordering is of course relevant, and all
1039: expressions are ordered as they are written.}
1040: $$
1041: \tw_\a=\fr{2(1+n+2\nu)}\bigl[(2+n+2\nu)w_\a-j_i(w e_i)_\a\bigr]\komma
1042: \eqn
1043: $$
1044: where $j_i$ is the $su(2)$ generator $j_i=(\bl we_i)+2\e_{ijk}c_jb_k$
1045: and $n$ and $\nu$ are the number operators for $\l$ and $c$,
1046: $n=(\bl w)$, $\nu=c_ib_i$.
1047: However, a careful analysis of the most general Ansatz for an operator $s$
1048: shows that it cannot be constructed using such gauge invariant
1049: operators only, if one demands that it must act in the cohomology of
1050: $Q$. Instead, as a ``last resort'',
1051: one may allow for an operator acting in the cohomology of $Q$ to be
1052: not strictly gauge invariant, but gauge invariant modulo $Q$-exact
1053: terms.
1054:
1055: There is essentially two terms to write down. The Ansatz
1056: is
1057: $$
1058: s=[Q,f(n)c_i(\bw\g^aw)(\bD\g_aDe_i)]+g(n)c_i(\bw\g^aDe_i)\partial_a
1059: \komma\Eqn\SAnsatz
1060: $$
1061: where $f$ and $g$ are
1062: some functions of $n$ (the functions could in principle depend also on $\nu$,
1063: but everything else in $s$ commutes with $\nu$).
1064: The first term contains $(\bw\g^aw)$, which is not gauge invariant,
1065: but $[T^a,(\bw\g^bw)]=-4(j^{ab}+(n+4)\eta^{ab})$, where
1066: $j^{ab}=(\bl\g^{ab}w)$, which is a gauge invariant operator (\ie,
1067: well-defined on the ideal). Since $[Q,T^a]=0$, the first term in
1068: eq. (\SAnsatz) is gauge invariant modulo $Q$-exact terms. An analogous
1069: statement holds for invariance under $t^\a$.
1070: The second term in eq. (\SAnsatz) is gauge invariant.
1071:
1072: We will now check if it is possible to obtain $\{Q,s\}=0$ on $\HH$ for some
1073: functions $f$, $g$. Let us write $s=s_1+s_2=[Q,u]+s_2$ for the terms above.
1074: We then have
1075: $$
1076: \eqalign{
1077: \{Q,s_1\}&=\{Q,[Q,u]\}=\fr2[\{Q,Q\},u]=-[T^a,u]\partial_a\cr
1078: &=4c_if(n)(j^{ab}+(n+4)\eta^{ab})(\bD\g_bDe_i)\partial_a\punkt\cr
1079: }\eqn
1080: $$
1081: Here, we have
1082: dropped $[T^a,f(n)]=(f(n-2)-f(n))T^a$, which standing on the left
1083: gives pure gauge (an element in the ideal $T\PP$). We also have
1084: $$
1085: [Q,s_2]=(g(n-1)-g(n))(\bl D)c_i(\bw\g^aDe_i)\partial_a
1086: -g(n)c_i(\bD\g^aDe_i)\partial_a\punkt\eqn
1087: $$
1088: The term from the anticommutator of
1089: the $D$'s in $Q$ and $s_2$ has been dropped; it vanishes thanks to
1090: $t^\a=0$.
1091: Now, we want to do a Fierz rearrangement of the first of these terms,
1092: \ie, of $(\bl D)c_i(\bw\g^aDe_i)$. Doing a general Fierz in the two
1093: $D$'s, one finds that only $(\bD\g_bDe_i)$ contributes (again, due to
1094: $t^\a=0$), so that $(\bl D)c_i(\bw\g^aDe_i)
1095: =-\fr4(j^{ab}-n\eta^{ab})c_i(\bD\g_bDe_i)$.
1096: Taken together, this gives two types of terms in $[Q,s_1]$ and
1097: $[Q,s_2]$, those with $j$ and those with $\eta$. Demanding that they
1098: cancel gives the equations
1099: $$
1100: \eqalign{
1101: j&:\quad 4f(n)+\fr4(g(n)-g(n-1))=0\komma\cr
1102: \eta&:\quad 4(n+4)f(n)-g(n)-\Fr{n}4(g(n)-g(n-1))=0\punkt\cr
1103: }\eqn
1104: $$
1105: The equations have a solution which is unique up to an overall normalisation:
1106: $$
1107: \eqalign{
1108: f(n)&=-\Fr k{(n+2)(n+3)(n+4)}\komma\cr
1109: g(n)&=\Fr{8k}{(n+3)(n+4)}\punkt\cr
1110: }\eqn
1111: $$
1112:
1113: An explicit evaluation of the commutator $[Q,u]$ gives
1114: $$
1115: \eqalign{
1116: s&=\Fr{3k}{(n+1)(n+2)(n+3)(n+4)}Qc_i(\bw\g^aw)(\bD\g_aDe_i)\cr
1117: &-\Fr{2k}{(n+2)(n+3)(n+4)}c_i(\bw D^3_i)
1118: +\Fr{8k}{(n+2)(n+3)}c_i(\bw\g^aDe_i)\partial_a\komma\cr
1119: }\eqn
1120: $$
1121: where $(D^3)^\a_i=(\g^aD)^\a(D\g_a De_i)-8(\g^a De_i)^\a\*_a$ is the
1122: totally antisymmetric product $\w^3 D$ in $(001)(3)$.
1123: The first term vanishes when one chooses a gauge $(\bw\g^aw)\Psi=0$ for the
1124: wave function, and vanishes in the cohomology of $Q$. The
1125: remaining terms are the essential ones. It is obvious from the
1126: structure of the cohomology of $Q$ (figure 3) that $s^2=0$ on any
1127: element of the cohomology.
1128:
1129: The calculations performed in this section make use of the properties
1130: of antisymmetric tensor products of spinors, that dictate the content
1131: of superfields. The upper half of a scalar superfield is shown in
1132: figure 4 (the remaining part is of course given by the conjugate
1133: representations).
1134:
1135: \vskip12pt
1136: \vskip2\parskip
1137: \epsfysize=35mm
1138: \hskip8\parskip\vbox{\hsize=12cm
1139: \epsffile{asymspinors.eps}\hfill\break
1140: %\vskip\parskip
1141: {\it Figure 4: The antisymmetric products of chiral spinors in $D=6$}
1142: }
1143: \vskip2\parskip
1144:
1145:
1146:
1147: \section\Conclusions{Conclusions and outlook}We
1148: have enlarged the pure spinor space in $D=6$ to include also a
1149: bosonic $SU(2)$ triplet $c_i$. The generalised pure spinor constraints
1150: are $T^a\equiv(\bl\g^a\l)=0$,
1151: $t^\a\equiv c_i(\l e_i)^\a=0$ and
1152: $\tau\equiv c_ic_i=0$.
1153: The cohomology of $Q=\l^\a D_\a$ in a scalar field then includes not
1154: only ghosts and fields but also antifields and antighosts. We have
1155: found a new BRST operator $s$ whose
1156: cohomology imply the equations of motion. However, in order to define
1157: $s$, we had to restrict to the cohomology of $Q$, outside of which $s$
1158: is not well defined. This means that it is not possible to form a
1159: modified BRST operator $Q+s$ on the scalar field. If one wants to
1160: write a BV action for $D=6$, $N=1$ super-Yang--Mills (after
1161: introducing some non-minimal set of pure spinor variables
1162: [\Berkovits]),
1163: it would need to be formulated on a field satisfying $Q\Psi+\Psi^2=0$.
1164: This is clearly a weakness of the formalism, but it is not at all
1165: clear that it is a generic one.
1166:
1167: It will be interesting to continue the investigation for other
1168: non-maximal supersymmetric theories. Supergravity with $N=1$
1169: supersymmetry in $D=10$ is a natural candidate. Here, the
1170: off-shell/on-shell discussion is more complicated, since the
1171: superspace formulation contains some, but not all, equations of
1172: motion. Preliminary results show that the structure is clearly
1173: reflected in the corresponding pure spinor cohomology. There is also
1174: indication that the situation may be better than for $D=6$, $N=1$
1175: super-Yang--Mills theory, in the sense that it may be possible to
1176: find a single modified BRST operator on the unconstrained field
1177: depending on a generalised pure spinor [\CGN]. It is also
1178: conceivable that a generalised pure spinor space provides a natural
1179: setting for heterotic supergravity. Other interesting cases are
1180: half-maximal euclidean supergravities in $D=6$ and $D=7$ in which
1181: backgrounds for topological string theory and M-theory may be
1182: embedded.
1183:
1184: A superspace treatment of deformation of a non-maximally symmetric
1185: theory, such as $D=6$ super-Yang--Mills, would rely on deformation of
1186: the condition $s\Psi=0$. This would apply for Born--Infeld dynamics,
1187: or its derivative expansion.
1188:
1189: Another issue that may be addressed using similar methods
1190: is the relation between the two superspace versions of (linearised)
1191: 11-dimensional supergravity. The same on-shell multiplet is found
1192: using either a vector field (the ``vielbein complex'') or a scalar
1193: field (the ``$C$-field complex''). Only the $C$-field complex is
1194: appropriate for writing a linearised action. If one can enlarge the
1195: pure spinor space to encompass the two complexes in the same field, it
1196: may provide a starting point for the search for a superspace
1197: action. Similar thoughts have been touched on in refs.
1198: [\HoweTsimpis,\GrassiVanhove].
1199:
1200: \acknowledgements We want to thank Niclas Wyllard for sharing his
1201: expertise on pure spinors. MC would also
1202: like to thank Michail Vasiliev, Dmitri
1203: Sorokin and Per Sundell for discussions and constructive response to the
1204: material in this paper.
1205:
1206: \refout
1207:
1208: \end
1209: