1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3: %%%                                                                          %%%

4: %%%                           LaTeX File                                     %%%

5: %%%                                                                          %%%

6: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

8: 

9: \documentclass[12pt,epsf]{article}

10: %\usepackage{bbm}

11: \usepackage{amscd,amssymb,epsf}

12: 

13: %\documentclass[psfig,12pt,citesort]{article}

14: %\documentclass[12pt,letterpaper]{article}

15: %\usepackage{amscd,amssymb}

16: %\usepackage{bbm}

17: %\usepackage{amsmath,amssymb,array,calc,rotating,epsfig,psfrag}

18: %\usepackage[nosort]{cite}

19: 

20: %\renewcommand\baselinestretch2     %%-double spacing-%%

21: 

22: \topmargin 0pt

23: \advance \topmargin by -\headheight

24: \advance \topmargin by -\headsep

25: 

26: \textheight 8.9in

27: 

28: \oddsidemargin 0pt

29: \evensidemargin \oddsidemargin

30: \marginparwidth 0.5in

31: 

32: \textwidth 6.5in

33: 

34: %\setlength{\arraycolsep}{1pt}

35: 

36: % For users of A4 paper: The above values are suited for american 8.5x11in

37: % paper. If your output driver performs a conversion for A4 paper, keep

38: % those values. If your output driver conforms to the TeX

39: % standard(1in/1in),%

40: % then you should add the following commands to center the text on A4 paper:

41: 

42: % \advance\hoffset by -3mm  % A4 is narrower.

43: % \advance\voffset by  8mm  % A4 is taller.

44: 

45: % DEFINITIONS

46: 

47: \def\del{{\delta^{\hbox{\sevenrm B}}}} \def\ex{{\hbox{\rm e}}}

48: \def\azb{A_{\bar z}} \def\az{A_z} \def\bzb{B_{\bar z}} \def\bz{B_z}

49: \def\czb{C_{\bar z}} \def\cz{C_z} \def\dzb{D_{\bar z}} \def\dz{D_z}

50: \def\im{{\hbox{\rm Im}}} \def\mod{{\hbox{\rm mod}}} \def\tr{{\hbox{\rm Tr}}}

51: \def\ch{{\hbox{\rm ch}}} \def\imp{{\hbox{\sevenrm Im}}}

52: \def\trp{{\hbox{\sevenrm Tr}}} \def\vol{{\hbox{\rm Vol}}}

53: \def\rl{\Lambda_{\hbox{\sevenrm R}}} \def\wl{\Lambda_{\hbox{\sevenrm W}}}

54: \def\fc{{\cal F}_{k+\cox}} \def\vev{vacuum expectation value}

55: \def\nodiv{\mid{\hbox{\hskip-7.8pt/}}}

56: \def\ie{{\em i.e.}}

57: \def\ie{\hbox{\it i.e.}}

58: 

59: \def\CC{{\mathchoice

60: {\rm C\mkern-8mu\vrule height1.45ex depth-.05ex

61: width.05em\mkern9mu\kern-.05em}

62: {\rm C\mkern-8mu\vrule height1.45ex depth-.05ex

63: width.05em\mkern9mu\kern-.05em}

64: {\rm C\mkern-8mu\vrule height1ex depth-.07ex

65: width.035em\mkern9mu\kern-.035em}

66: {\rm C\mkern-8mu\vrule height.65ex depth-.1ex

67: width.025em\mkern8mu\kern-.025em}}}

68: 

69: \def\RR{{\rm I\kern-1.6pt {\rm R}}}

70: \def\NN{{\rm I\!N}}

71: \def\ZZ{{\rm Z}\kern-3.8pt {\rm Z} \kern2pt}

72: \def\IB{\relax{\rm I\kern-.18em B}}

73: \def\ID{\relax{\rm I\kern-.18em D}}

74: \def\II{\relax{\rm I\kern-.18em I}}

75: \def\IP{\relax{\rm I\kern-.18em P}}

76: 

77: \def\np{Nucl. Phys.}

78: \def\pl{Phys. Lett.}

79: \def\prl{Phys. Rev. Lett.}

80: \def\pr{Phys. Rev.}

81: \def\ap{Ann. Phys.}

82: \def\cmp{Comm. Math. Phys.}

83: \def\jmp{J. Math. Phys.}

84: \def\ijmp{Int. J. Mod. Phys.}

85: \def\mpl{Mod. Phys. Lett.}

86: \def\lmp{Lett. Math. Phys.}

87: \def\bams{Bull. AMS}

88: \def\anm{Ann. of Math.}

89: \def\jpsc{J. Phys. Soc. Jap.}

90: \def\topo{Topology}

91: \def\kjm{Kobe J. Math.}

92: \def\phyrep{Phys. Rep.}

93: \def\adm{Adv. in Math.}

94: \def\faa{Funct. Anal. and Appl.}

95: \def\fap{Funkt. Anal. Prilozhen}

96: \def\pnas{Proc. Natl. Acad. Sci. USA}

97: \def\sjnp{Sov. J. Nucl. Phys.}

98: \def\jept{Sov. Phys. JEPT}

99: \def\tmp{Theor. Math. Phys.}

100: \def\nmt{Norsk. Mat. Tidsskrift}

101: \def\qjm{Quart. J. Math. Oxford Ser. (2)}

102: \def\rmp{Rev. Mod. Phys.}

103: \def\im{Invent. Math.}

104: \def\atmp{Adv. Theor. Math. Phys. }

105: \def\jhep{J. High Energy Phys.}

106: \def\ptp{Prog. Theor. Phys.}

107: \def\jgp{J. Geom. Phys.}

108: \def\atmp{Adv. Theor. Math. Phys.}

109: \def\cqg{Class. Quant. Grav.}

110: 

111: \newcommand{\CS}{{\scriptstyle {\rm CS}}}

112: \newcommand{\CSs}{{\scriptscriptstyle {\rm CS}}}

113: \newcommand{\beq}{\begin{equation}}

114: \newcommand{\eeq}{\end{equation}}

115: \newcommand{\rc}{\nonumber\\}

116: \newcommand{\bear}{\begin{eqnarray}}

117: \newcommand{\eear}{\end{eqnarray}}

118: \newcommand{\W}{{\cal W}}

119: \newcommand{\F}{{\cal F}}

120: \newcommand{\x}{{\cal O}}

121: \newcommand{\LL}{{\cal L}}

122: 

123: \def\mani{{\cal M}}

124: \def\calo{{\cal O}}

125: \def\calb{{\cal B}}

126: \def\calw{{\cal W}}

127: \def\calz{{\cal Z}}

128: \def\cald{{\cal D}}

129: \def\calc{{\cal C}}

130: \def\to{\rightarrow}

131: \def\ele{{\hbox{\sevenrm L}}}

132: \def\ere{{\hbox{\sevenrm R}}}

133: \def\zb{{\bar z}}

134: \def\wb{{\bar w}}

135: \def\nodiv{\mid{\hbox{\hskip-7.8pt/}}}

136: \def\menos{\hbox{\hskip-2.9pt}}

137: \def\dr{\dot R_}

138: \def\drr{\dot r_}

139: \def\ds{\dot s_}

140: \def\da{\dot A_}

141: \def\dga{\dot \gamma_}

142: \def\ga{\gamma_}

143: \def\dal{\dot\alpha_}

144: \def\al{\alpha_}

145: \def\cl{{closed}}

146: \def\cls{{closing}}

147: \def\vev{vacuum expectation value}

148: \def\tr{{\rm Tr}}

149: \def\to{\rightarrow}

150: \def\too{\longrightarrow}

151: 

152: %\hyphenation{Dp-branes}

153: 

154: %

155: % FONTS

156: 

157: %\newfont{\headfont}{cmbx10 scaled 1440}

158: \newfont{\namefont}{cmr10}

159: %\newfont{\initialfont}{cmr10 scaled 1200}

160: \newfont{\addfont}{cmti7 scaled 1440}

161: \newfont{\boldmathfont}{cmbx10}

162: %\newfont{\figfont}{cmr7 scaled 1200}

163: \newfont{\headfontb}{cmbx10 scaled 1728}

164: %

165: \renewcommand{\theequation}{{\rm\thesection.\arabic{equation}}}

166: 

167: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

168:                %Leo's definitions

169: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

170: 

171: %%%

172: %%%%%% macros

173: %%%%%%%%%

174: 

175: %%%%%%%%% standard

176: %%%%%%%%%%%%

177: 

178: \def\ie{{\it i.e.}}

179: \def\eg{{\it e.g.}}

180: 

181: \def\revise#1       {\raisebox{-0em}{\rule{3pt}{1em}}%

182:                      \marginpar{\raisebox{.5em}{\vrule width3pt\

183:                      \vrule width0pt height 0pt depth0.5em

184:                      \hbox to 0cm{\hspace{0cm}{%

185:                      \parbox[t]{4em}{\raggedright\footnotesize{#1}}}\hss}}}}

186: \newcommand\fnxt[1] {\raisebox{.12em}{\rule{.35em}{.35em}}\mbox{\hspace{0.6em}}#1}

187: \newcommand\nxt[1]  {\\\fnxt#1}

188: 

189: \def\cala         {{\cal A}}

190: \def\calA         {{\mathfrak A}}

191: \def\calAbar      {{\underline \calA}}

192: \def\calb         {{\cal B}}

193: \def\calc         {{\cal C}}

194: \def\cald         {{\cal D}}

195: \def\cale         {{\cal E}}

196: \def\calf         {{\cal F}}

197: \def\calg         {{\cal G}}

198: \def\calG         {{\mathfrak G}}

199: \def\calh         {{\cal H}}

200: \def\cali         {{\cal I}}

201: \def\calj         {{\cal J}}

202: \def\calk         {{\cal K}}

203: \def\call         {{\cal L}}

204: \def\calm         {{\cal M}}

205: \def\caln         {{\cal N}}

206: \def\calo         {{\cal O}}

207: \def\calp         {{\cal P}}

208: \def\calq         {{\cal Q}}

209: \def\calr         {{\cal R}}

210: \def\cals         {{\cal S}}

211: \def\calt         {{\cal T}}

212: \def\calu         {{\cal U}}

213: \def\calv         {{\cal V}}

214: \def\calw         {{\cal W}}

215: 

216: \def\complex      {{\mathbb C}}

217: \def\naturals     {{\mathbb N}}

218: \def\projective   {{\mathbb P}}

219: \def\rationals    {{\mathbb Q}}

220: \def\reals        {{\mathbb R}}

221: \def\zet          {{\mathbb Z}}

222: 

223: \def\del          {\partial}

224: \def\delbar       {\bar\partial}

225: \def\ee           {{\rm e}}

226: \def\ii           {{\rm i}}

227: \def\chain        {{\circ}}

228: \def\tr           {\mathop{\rm Tr}}

229: \def\Re           {{\rm Re\hskip0.1em}}

230: \def\Im           {{\rm Im\hskip0.1em}}

231: \def\id           {{\it id}}

232: 

233: \def\hg{\hat{\gamma}}

234: 

235: \def\de#1#2{{\rm d}^{#1}\!#2\,}

236: \def\De#1{{\cald}#1\,}

237: 

238: \def\half{{\frac12}}

239: \newcommand\topa[2]{\genfrac{}{}{0pt}{2}{\scriptstyle #1}{\scriptstyle #2}}

240: \def\undertilde#1{{\vphantom#1\smash{\underset{\widetilde{\hphantom{\displaystyle#1}}}{#1}}}}

241: \def\prodprime{\mathop{{\prod}'}}

242: \def\gsq#1#2{%

243:     {\scriptstyle #1}\square\limits_{\scriptstyle #2}{\,}} % Ginsparg square

244: \def\sqr#1#2{{\vcenter{\vbox{\hrule height.#2pt

245:  \hbox{\vrule width.#2pt height#1pt \kern#1pt

246:  \vrule width.#2pt}\hrule height.#2pt}}}}

247: \def\square{%

248:   \mathop{\mathchoice{\sqr{12}{15}}{\sqr{9}{12}}{\sqr{6.3}{9}}{\sqr{4.5}{9}}}}

249: 

250: %%%%%%%%% jtl macros

251: %%%%%%%%%%%%

252: \newcommand{\fft}[2]{{\frac{#1}{#2}}}

253: \newcommand{\ft}[2]{{\textstyle{\frac{#1}{#2}}}}

254: \def\jsquare{\mathop{\mathchoice{\sqr{8}{32}}{\sqr{9}{12}}

255: {\sqr{6.3}{9}}{\sqr{4.5}{9}}}}

256: 

257: %%%%%%%%% paper specific macros

258: %%%%%%%%%%%%

259: 

260: \def\a{\alpha}

261: \def\b{\beta}

262: \def\r{\rho}

263: \def\rp{r_+}

264: \def\tq{\tilde{q}}

265: \def\om{\Omega}

266: \def\la{\lambda}

267: 

268: %%%%%%%%%%%%%%Leo's%%%%%%%%%%%%%%%%%%%%5

269: \def\be{\begin{equation}}

270: \def\ee{\end{equation}}

271: 

272: \def\m{\mu}

273: \def\g{\gamma}

274: \def\l{\lambda}

275: \def\n{\nu}

276: %%%%%%%%%%%%

277: \def \el {{\ell}}

278: \def \KK {{\cal  K}}

279: \def \K {{\rm K}}

280: \def \tz{\tilde{z}}

281: \def \ci {\cite}

282: \newcommand{\rf}[1]{(\ref{#1})}

283: \def \la {\label}

284: \def \const {{\rm const}}

285: \def \ov{\over}

286: \def \ha{{ { 1 \ov 2}} }

287: %\textstyle

288: \def \we{ \wedge}

289: \def \P{ \Phi} 

290: \def\ep{\epsilon}

291: \def \ab {{A^2 \ov B^2}}

292: \def \ba {{B^2 \ov A^2}}

293: \def \tv   {{1 \ov 12}}

294: \def \go { g_1}

295: \def \gd { g_2}

296: \def \gt { g_3}

297: \def \gc { g_4}

298: \def \gp { g_5}

299: \def \F {{\cal F}}

300: \def \del { \partial}

301: \def \t {\theta}

302: \def \p {\phi}

303: \def \te {\tilde \epsilon}

304: \def \ps {\psi}

305: \def \x {{x_{11}}}

306: \def\br{\bar{\rho}}

307: \newcounter{subequation}[equation]

308: 

309: %%%For the Table%%%%%%%%%%%%%%%%%55

310: \def\pa{\partial}

311: \def\e{\epsilon}

312: \def\rt{\rightarrow}

313: \def\tr{{\tilde\rho}}

314: %\newcommand{\be}{\begin{equation}}

315: %\newcommand{\ee}{\end{equation}}

316: \newcommand{\eel}[1]{\label{#1}\end{equation}}

317: \newcommand{\bea}{\begin{eqnarray}}

318: \newcommand{\eea}{\end{eqnarray}}

319: \newcommand{\eeal}[1]{\label{#1}\end{eqnarray}}

320: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

321: \newcommand{\PP}{e^{-2\phi(r)}}

322: \newcommand{\non}{\nonumber \\}

323: \newcommand{\CR}{\non\cr}

324: 

325: \def \ov {\over}

326: \def \we { \wedge}

327: \def \P { \Phi} 

328: \def\ep {\epsilon}

329: \def \ab {{A^2 \ov B^2}}

330: \def \ba {{B^2 \ov A^2}}

331: \def \tv   {{1 \ov 12}}

332: \def \go { g_1}

333: \def \gd { g_2}

334: \def \gt { g_3}

335: \def \gc { g_4}

336: \def \gp { g_5}

337: \def \F {{\cal F}}

338: \def \del { \partial}

339: \def \t {\theta}

340: \def \p {\phi}

341: \def \te {\tilde \epsilon}

342: \def \ps {\psi}

343: \def \x {{x_{11}}}

344: \def \LL{{\cal L}}

345: %\def \K {{\cal K}}

346: \def\o{\omega}

347: \def\O{\Omega}

348: \def\e{\epsilon}

349: \def\pd{\partial}

350: \def\pdz{\partial_{\bar{z}}}

351: \def\bz{\bar{z}}

352: \def\e{\epsilon}

353: \def\m{\mu}

354: \def\n{\nu}

355: \def\a{\alpha}

356: \def\b{\beta}

357: \def\g{\gamma}

358: \def\G{\Gamma}

359: \def\d{\delta}

360: \def\r{\rho}

361: \def\bx{\bar{x}}

362: \def\by{\bar{y}}

363: \def\bm{\bar{m}}

364: \def\bn{\bar{n}}

365: \def\s{\sigma}

366: \def\na{\nabla}

367: \def\D{\Delta}

368: \def\l{\lambda}

369: \def\te{\theta} \def \t {\theta}

370: \def\ta {\tau}

371: \def\na{\bigtriangledown}

372: \def\p{\phi}

373: \def\L{\Lambda}

374: \def\hR{\hat R}

375: \def\ch{{\cal H}}

376: \def\ep{\epsilon}

377: \def\bj{\bar{J}}

378: \def \foot{ \footnote}

379: \def\be{\begin{equation}}

380: \def\ee{\end{equation}}

381: \def \P {\Phi}

382: \def\un{\underline{n}}

383: \def\ur{\underline{r}}

384: \def\um{\underline{m}}

385: \def \ci {\cite}

386: \def \g {\gamma}

387: \def \G {\Gamma}

388: \def \k {\kappa}

389: \def \l {\lambda}

390: \def \L {{L}}

391: \def \Tr {{\rm Tr}}

392: \def\apr{{A'}}

393: \def \m {\mu}

394: \def \n {\nu}

395: \def \W{{\cal W}}

396: \def \eps {\epsilon}

397: 

398: \def\D{\Delta}

399: \def\l{\lambda}

400: \def\L{\Lambda}

401: \def\te{\theta}

402: \def\g{\gamma}

403: \def\Te{\Theta}

404: %\def \te{\textstyle}

405: \def\tw{\tilde{w}}

406: \def\sn{\rm sn}

407: \def\cn{\rm cn}

408: \def\dn{\rm dn}

409: \def\hzero{\hat{0}}

410: \def\ha{\hat{a}}

411: \def\hb{\hat{b}}

412: \def\hc{\hat{c}}

413: \def\hd{\hat{d}}

414: \def\he{\hat{e}}

415: 

416: %

417: \begin{document}

418: %

419: 

420: %

421: \begin{titlepage}

422: %

423: 

424: \begin{center} \Large \bf Supersymmetric Branes on ${\bf AdS_5 \times

425: Y^{p,q}}$ and their Field Theory Duals

426: \end{center}

427: 

428: \vskip 0.3truein

429: \begin{center}

430: Felipe Canoura${}^{\,*}$

431: \footnote{canoura@fpaxp1.usc.es},

432: Jos\'e D. Edelstein${}^{\,*\dagger}$

433: \footnote{edels@fpaxp1.usc.es},

434: Leopoldo A. Pando Zayas${}^{\,\ddagger}$

435: \footnote{lpandoz@umich.edu},\\

436: Alfonso V. Ramallo${}^{\,*}$

437: \footnote{alfonso@fpaxp1.usc.es}

438: and

439: Diana Vaman${}^{\,\ddagger}$

440: \footnote{diana@neu.physics.lsa.umich.edu}

441: 

442: \vspace{0.3in}

443: 

444: ${}^{\,*}$Departamento de F\'\i sica de Part\'\i culas, Universidade de

445: Santiago de Compostela \\and

446: Instituto Galego de F\'\i sica de Altas Enerx\'\i as (IGFAE)\\

447: E-15782 Santiago de Compostela, Spain

448: \vspace{0.2in}

449: 

450: ${}^{\,\dagger}$Centro de Estudios Cient\'\i ficos (CECS) Casilla 1469,

451: Valdivia, Chile

452: \vspace{0.2in}

453: 

454: ${}^{\,\ddagger}$ Michigan Center for Theoretical Physics\\

455: Randall Laboratory of Physics, The University of Michigan\\

456: Ann Arbor, MI 48109-1040, USA

457: 

458: \end{center}

459: \vskip.5truein

460: 

461: \begin{center}

462: \bf ABSTRACT

463: \end{center}

464: We systematically study supersymmetric embeddings of D-brane probes of

465: different dimensionality in the $AdS_5\times Y^{p,q}$ background of type

466: IIB string theory. The main technique employed is the kappa symmetry of

467: the probe's worldvolume theory. In the case of D3-branes, we recover the

468: known three-cycles dual to the dibaryonic operators of the gauge theory

469: and we also find a new family of supersymmetric embeddings. The BPS

470: fluctuations of dibaryons are analyzed and shown to match the gauge

471: theory results. Supersymmetric configurations of D5-branes, representing

472: domain walls, and of spacetime filling D7-branes (which can be used to add

473: flavor) are also found. We also study the baryon vertex and some other

474: embeddings which break supersymmetry but are nevertheless stable. 

475: 

476: \vskip1.3truecm

477: \leftline{US-FT-3/05}

478: \leftline{CECS-PHY-05/15}

479: \leftline{MCTP-05-99}

480: \leftline{NSF-KITP-05-107}

481: \leftline{hep-th/0512087 \hfill December 2005}

482: \smallskip

483: \end{titlepage}

484: \setcounter{footnote}{0}

485: 

486: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

487: %%%%%                       M A I N   T E X T

488: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

489: 

490: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

491: %%%%%%%%%%

492: %%%%%%%%%%   Section 1: Introduction

493: %%%%%%%%%%

494: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

495: \setcounter{equation}{0}

496: \section{Introduction}

497: \medskip

498: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

499: 

500: The Maldacena conjecture provides a unique window into the strongly

501: coupled physics of gauge theories in terms of a string theory 

502: \cite{juan,MAGOO}. A crucial ingredient in the AdS/CFT correspondence is 

503: the state/operator correspondence. It provides the basis for 

504: explicit computations. Calculationally, it is convenient to consider the 

505: limit of large 't Hooft coupling where the supergravity 

506: approximation is valid. More precisely,  chiral operators of the CFT 

507: are in correspondence with the modes of supergravity in 

508: the dual background.  However, much information is contained in 

509: the stringy sector of the correspondence and some of it crucially

510: survives the large 't Hooft limit. 

511: 

512: For example, as discovered by Witten \cite{ba0} in discussing the

513: duality in the case of ${\cal N}=4$ super Yang--Mills (SYM) theory with

514: gauge group $SO(2N)$ and its dual $AdS_5\times \mathbb{RP}^5$, the gravity

515: side must contain branes, just to accommodate a class of chiral operators of

516: the gauge theory. The study of branes wrapped in the gravity theory becomes

517: an intrinsic part of the correspondence. It has been extended and understood

518: in a variety of situations. For example, a vertex connecting N fundamental strings --known as the baryon vertex-- can be identified with a baryon built

519: out of external quarks, since each string ends on a charge in the fundamental

520: representation of $SU(N)$. Such an object can be constructed by wrapping a

521: D5-brane over the whole five-dimensional compact manifold \cite{ba0}.

522: Also, domain walls in the field theory side can be understood as D5-branes

523: wrapping 2-cycles of the internal geometry \cite{ba0,ba1}. In quantum

524: field theories that arise in D3-branes placed at conical singularities,

525: an object of particular interest is given by D3-branes wrapped on

526: supersymmetric 3-cycles; these states are dual to dibaryons built

527: from chiral fields charged under two different gauge groups of the resulting

528: quiver theory \cite{ba0,ba1,ba2,ba3}. In the absence of a string theory

529: formulation on backgrounds with Ramond-Ramond forms, probe D-branes of

530: various dimensions provide valuable information about the spectrum.

531: More generally, finding particular situations where a semiclassical

532: description captures nontrivial stringy information is an important

533: theme of the AdS/CFT correspondence recently fueled largely by BMN in

534: \cite{BMN}, but having its root in the work of Witten \cite{ba0} and in

535: considerations of the Wilson loop as a classical string in the

536: supergravity background \cite{wl}. 

537: 

538: Given a Sasaki-Einstein five-dimensional manifold $X^5$ one can consider

539: placing a stack of $N$ D3-branes at the tip of the (Calabi--Yau) cone over

540: $X^5$. Taking the Maldacena limit then leads to a duality between string

541: theory on $AdS_5\times X^5$ and a superconformal gauge theory living in the

542: worldvolume of the D3-branes \cite{gubser}. When the Sasaki--Einstein

543: manifold is the $T^{1,1}$ space --the Calabi--Yau cone being nothing but

544: the conifold-- we have the so-called Klebanov--Witten

545: model \cite{kw}, which is dual to a four-dimensional ${\cal N}=1$

546: superconformal field theory with gauge group $SU(N)\times SU(N)$ coupled

547: to four chiral superfields in the bifundamental representation. Important

548: aspects of this duality, relevant in the context of this article, have been

549: further developed in \cite{ba1,ba2,beasley}. The supersymmetry of

550: D-brane probes in the Klebanov--Witten model was studied in full detail

551: in ref.\cite{acr}. 

552: 

553: Recently, a new class of Sasaki-Einstein manifolds $Y^{p,q}$, $p$ and $q$

554: being two coprime positive integers, has been constructed \cite{GMSW1,GMSW2}.

555: The infinite family of spaces $Y^{p,q}$ was shown to be dual to superconformal

556: quiver gauge theories \cite{ms,sequiver}. The study of AdS/CFT in these

557: geometries has shed light in many subtle aspects of superconformal field

558: theories in four dimensions. Furthermore, the correspondence successfully

559: passed new tests such as those related to the fact that the central charge

560: of these theories, as well as the R-charges of the fundamental fields, are

561: irrational numbers \cite{friends}.

562: 

563: In this paper we perform a systematic classification of supersymmetric

564: branes in  the $AdS_5\times Y^{p,q}$ geometry and study their field

565: theoretical interpretation. It is worth reminding that

566: the spectrum of IIB supergravity compactified on $Y^{p,q}$ is not known

567: due to various technical difficulties including the general form of Heun's

568: equation. Therefore, leaving aside the chiral primaries, very little is

569: known about the gravity modes dual to protected operators in the field

570: theory. Our study of supersymmetric objects in the gravity side is a way

571: to obtain information about properties of these operators in the gauge

572: theory side. They comprise interesting physical objects of these theories

573: such as the baryon vertex, domain walls, the introduction of flavor, fat

574: strings, etc. It is very remarkable that we are able to provide precise

575: information about operators with large conformal dimension that grows

576: like $N$. Moreover, we can also extract information about excitations of

577: these operators.

578: 

579: The main technique we employ to determine the supersymmetric embeddings

580: of D-brane probes in the $AdS_5\times Y^{p,q}$ background is

581: kappa symmetry \cite{swedes} and follows the same systematics as in the

582: analysis performed in ref.\cite{acr} for the case of the  $AdS_5\times

583: T^{1,1}$ background. Our approach is based on the existence of a matrix

584: $\Gamma_{\kappa}$ which depends on the metric induced on the worldvolume

585: of the probe and characterizes its supersymmetric embeddings. Actually, if

586: $\epsilon$ is a Killing spinor of the background, only those embeddings

587: such that $\Gamma_{\kappa}\,\epsilon\,=\,\epsilon$ preserve some supersymmetry

588: \cite{bbs}. This kappa symmetry condition gives rise to a set of

589: first-order BPS differential equations whose solutions, if they exist,

590: determine the embedding

591: of the probe and the fraction of the original background supersymmetry that

592: it preserves. The configurations found by solving these equations also solve

593: the equations of motion derived from the Dirac-Born-Infeld action of the

594: probe and, actually, we will verify that they saturate a bound for the energy,

595: as it usually happens in the case of worldvolume solitons \cite{GGT}. 

596: 

597: The first case we study is that of D3-branes. We are able to find in this

598: case the three-cycles introduced in refs. \cite{ms,sequiver,hek} to

599: describe the different dibaryonic operators of the gauge theory.

600: Moreover, we also find a general class of supersymmetric embeddings of

601: the D3-brane probe characterized by a certain local holomorphicity

602: condition. Contrary to what happens in the case of $T^{1,1}$, globally it

603: turns out that these embeddings, in general, do not define a three-cycle

604: but a submanifold with boundaries. We also study the fluctuations of the

605: D3-brane probe around a dibaryonic configuration and we  successfully

606: match the emerging results with those of the corresponding quiver theory.

607: We also find stable non-supersymmetric configurations of D3-branes

608: wrapping a two-dimensional submanifold of $Y^{p,q}$ that define a one

609: dimensional object in the gauge theory that could be interpreted as a

610: {\it fat} string.

611: 

612: Our analysis continues with the study of D5-brane probes. We find

613: embeddings in which the D5-brane wraps a two-dimensional submanifold and

614: creates a domain wall in $AdS_5$. When crossing these domain walls the

615: rank of the gauge group factors of the quiver gets shifted \cite{ba1},

616: this leading to their identification as fractional branes \cite{klenek}.

617: We also study other stable configurations that break supersymmetry

618: completely but are nevertheless interesting enough. One of these

619: configurations is the baryon vertex, in which the D5-brane wraps the

620: entire $Y^{p,q}$ space.  Besides, we also consider the case of D5-branes

621: wrapping a two-dimensional submanifold when a nonvanishing worldvolume

622: flux is present as well as the setting with D5-branes on three-cycles of

623: $Y^{p,q}$.

624: 

625: Finally we turn to the case of D7-brane probes. According to the original

626: proposal of ref.\cite{karch}, the embeddings in which the D7-branes fill

627: completely the gauge theory directions are specially interesting. These

628: spacetime filling configurations can be used as flavor branes, \ie\ as

629: branes whose fluctuations can be identified with the dynamical mesons of

630: the gauge theory (see refs.\cite{mesons}-\cite{Decays} for the

631: analysis of the meson spectrum in different theories). Moreover, we

632: show that the configurations in which the D7-brane wraps the entire

633: $Y^{p,q}$ are also supersymmetric. 

634: 

635: The organization of the paper is as follows. In section \ref{ypq} we review

636: some properties of the $Y^{p,q}$ space and the corresponding Calabi--Yau

637: cone that we call $CY^{p,q}$, including the local complex coordinates of

638: the latter. We discuss the corresponding type IIB supergravity solution

639: and present the explicit form of its Killing spinors. We also present the

640: general condition satisfied by supersymmetric embeddings of D-brane probes

641: on this background. Section \ref{d3} discusses embeddings of D3-branes on

642: various supersymmetric cycles. We reproduce the three-cycles considered

643: previously in the literature and  find a new family of supersymmetric

644: embeddings. Section \ref{d3} also contains an analysis of the excitations

645: of wrapped D3-branes and we find perfect agreement with the corresponding

646: field theory results. Section \ref{d5} deals with supersymmetric

647: D5-branes which behave as domain walls, while in section \ref{d7} we

648: discuss the spacetime filling embeddings of D7-branes. For completeness,

649: we consider other possible embeddings, such as the baryon vertex,  in

650: section \ref{6}. We conclude and summarize our results in section

651: \ref{conclusions}. 

652: 

653: 

654: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

655: %%%%%%%%%%

656: %%%%%%%%%%   Section 2: The Ypq space

657: %%%%%%%%%%

658: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

659: \setcounter{equation}{0}

660: \section{The $Y^{p,q}$ space and brane probes}

661: \medskip

662: \label{ypq}

663: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

664: 

665: Let us consider a solution of IIB supergravity given by a ten-dimensional

666: space whose metric is of the form:

667: \beq

668: ds^2\,=\,ds^2_{AdS_5}\,+\,L^2\,ds^2_{Y^{p,q}}

669: \label{10dmetric}

670: \eeq

671: where $ds^2_{AdS_5}$ is the metric of $AdS_5$ with radius $L$

672: and $ds^2_{Y^{p,q}}$ is the metric of the Sasaki-Einstein space $Y^{p,q}$,

673: which can be written as \cite{GMSW1, GMSW2}:

674: \bear

675: &&ds^2_{Y^{p,q}}\,=\,{1-cy\over

676: 6}\,(d\theta^2\,+\,\sin^2\theta\,d\phi^2)\,+\, {1\over

677: 6\,H^2(y)}\,dy^2\,+\,{H^2(y)\over 6}\, 

678: (d\beta\,-\,c\cos\theta d\phi)^2\,\rc\rc

679: &&\qquad\qquad+\,{1\over 9}\,

680: \big[\,d\psi\,+\,\cos\theta d\phi\,+\,y(d\beta\,-\,c\cos\theta d\phi)\,

681: \big]^2\,\,,

682: \label{Ypqmetric}

683: \eear

684: $H(y)$ being given by:

685: \beq

686: H(y)=\sqrt{{a-3y^2+2cy^3\over 3(1-cy)}}\,\,.

687: \label{Hfunction}

688: \eeq

689: The metrics $ds^2_{Y^{p,q}}$ are Sasaki-Einstein, which means that the

690: cones $CY^{p,q}$ with metric $dr^2+r^2 ds^2_{Y^{p,q}}$ are Calabi-Yau

691: manifolds. The metrics in these coordinates neatly display some nice local

692: features of these spaces. Namely, by writing it as

693: \beq

694: ds^2_{Y^{p,q}}\,=\,ds^2_{4} + \left[ \frac{1}{3} d\psi + \sigma

695: \right]^2 ~,

696: \label{slice}

697: \eeq

698: it turns out that $ds^2_{4}$ is a K\"ahler--Einstein metric with K\"ahler

699: form $J_4 = \frac{1}{2} d\sigma$. Notice that this is a local splitting

700: that carries no global information. Indeed, the pair $(ds^2_{4},J_4)$ is

701: not in general globally defined. The Killing vector $\frac{\partial

702: ~}{\partial\psi}$ has constant norm but its orbits do not close (except

703: for certain values of $p$ and $q$, see below). It defines a foliation

704: of $Y^{p,q}$ whose transverse leaves, as we see, locally have a

705: K\"ahler--Einstein structure. This aspect will be important in later

706: discussions.

707: 

708: These $Y^{p,q}$ manifolds are topologically $S^2\times S^3$ and can be

709: regarded as $U(1)$ bundles over manifolds of topology  $S^2\times S^2$.

710: Its isometry group is $SU(2) \times U(1)^2$. Notice that the metric

711: (\ref{Ypqmetric}) depends on  two constants $a$ and $c$. The latter,

712: if different from zero, can be set to one by a suitable rescaling of the

713: coordinate $y$, although it is sometimes convenient to keep the value of

714: $c$ arbitrary in order to be able to recover the $T^{1,1}$ geometry, which

715: corresponds to $c=0$ \footnote{If $c=0$, we can set $a = 3$ by rescaling

716: $y \to \xi y$, $\beta \to \xi^{-1} \beta$, and $a \to \xi^2 a$. If we

717: further write $y = \cos\tilde\theta$ and $\beta = \tilde\phi$, and

718: choose the period of $\psi$ to be $4\pi$, the metric goes to that of

719: $T^{1,1}$.}. If $c\neq 0$, instead, as we have just said we can set 

720:  $c = 1$ and the parameter $a$ can be written in terms of two

721: coprime integers $p$ and $q$ (we take $p>q$) as follows:

722: \beq

723: a\,=\,{1\over 2}\,-\,{p^2-3q^2\over 4p^3}\,\,\sqrt{4p^2-3q^2}\,\,.

724: \eeq

725: Moreover, the coordinate $y$ ranges between the two smaller roots of the

726: cubic equation

727: \beq

728: \calq(y) \equiv a - 3y^2 + 2cy^3\,=\,2c\,\prod_{i=1}^{3}\,

729: (y-y_i) ~,

730: \label{calq}

731: \eeq

732: \ie\ $\,y_1 \le y \le y_2$ with (for $c=1$):

733: \bear

734: &&y_1\,=\,{1\over 4p}\,

735: \Big(\,2p\,-\,3q\,-\,\sqrt{4p^2-3q^2}\,\Big)\,< 0\,,\rc

736: &&y_2\,=\,{1\over 4p}\,

737: \Big(\,2p\,+\,3q\,-\,\sqrt{4p^2-3q^2}\,\Big)\,> 0\,.

738: \label{y12}

739: \eear

740: In order to specify the range of the other variables appearing in the metric,

741: let us introduce the coordinate $\alpha$ by means of the relation:

742: \beq

743: \beta\,=\,-(6\alpha+c\psi)\,\,.

744: \label{beta-alpha}

745: \eeq

746: Then, the coordinates $\theta$,$\phi$,$\psi$ and $\alpha$ span the range:

747: \beq

748: 0\le \theta\le \pi\,\,,\qquad

749: 0< \phi\le 2\pi\,\,,\qquad

750: 0< \psi\le 2\pi\,\,,\qquad

751: 0< \alpha\le 2\pi \ell\,\,,

752: \eeq

753: where $\ell$ is (generically an irrational number) given by:

754: \beq

755: \ell\,=\,-{q\over 4p^2\,y_1\,y_2}\,=\,{q\over 3q^2\,-\,2p^2\,+\,p

756: \sqrt{4p^2\,-\,3q^2}}\,\,,

757: \label{alphaperiod}

758: \eeq

759: the metric (\ref{Ypqmetric}) being periodic in these variables. Notice that,

760: whenever $c\neq 0$, the coordinate $\beta$ is non-periodic: the periodicities

761: of $\psi$ and $\alpha$ are not congruent, unless the manifold is quasi-regular,

762: {\it i.e.}, there exists a positive integer $k$ such that

763: \beq

764: k^2 = 4 p^2 - 3 q^2 ~.

765: \label{qreg}

766: \eeq

767: For quasi-regular manifolds, $ds^2_{4}$ in (\ref{slice}) corresponds to a

768: K\"ahler--Einstein orbifold. Notice that $\ell$ becomes rational and it is

769: now possible to assign a periodicity to $\psi$ such that $\beta$ ends up

770: being periodic. If we perform the change of variables (\ref{beta-alpha})

771: in (\ref{Ypqmetric}), we get

772: \bear 

773: &&ds^2_{Y^{p,q}}\,=\,{1-cy\over

774: 6}\,(d\theta^2\,+\,\sin^2\theta\,d\phi^2)\,+\, {1\over

775: 6\,H^2(y)}\,dy^2\,+\,{v(y)\over 9}\, 

776: (d\psi\,+\,\cos\theta d\phi)^2\,+\,\rc\rc

777: &&\qquad\qquad+\,w(y)\,

778: \big[\,d\alpha\,+\,f(y) \left( d\psi

779: + \cos\theta d\phi \right) \big]^2\,\,,

780: \label{alphametric}

781: \eear

782: with $v(y)$, $w(y)$ and $f(y)$ given by

783: \beq

784: v(y) = {a - 3y^2 + 2cy^3 \over a - y^2} ~, ~~~~~

785: w(y) = {2 (a - y^2) \over 1 - cy} ~, ~~~~~

786: f(y) = {ac - 2y + y^2c \over 6 (a - y^2)}~.

787: \label{qwy}

788: \eeq

789: 

790: Concerning the $AdS_5$ space, we will represent it by means of four Minkowski

791: coordinates $x^{\alpha}$ ($\alpha=0,1,2,3$) and a radial variable $r$. In

792: these coordinates, the $AdS_5$ metric takes the standard form:

793: \beq

794: ds^2_{AdS_5}\,=\,{r^2\over L^2}\,dx^2_{1,3}\,+\,{L^2\over r^2}\,dr^2\,\,.

795: \label{AdSmetric}

796: \eeq

797: The ten-dimensional metric (\ref{10dmetric}) is then a solution of the

798: equations of motion of type IIB supergravity if, in addition, we have $N$

799: units of flux of the self-dual Ramond-Ramond five-form $F^{(5)}$. This

800: solution corresponds to the near-horizon region of a stack of $N$ coincident

801: D3-branes extended along the Minkowski coordinates and located at the apex

802: of the $CY^{p,q}$ cone. The explicit expression of $F^{(5)}$ is:

803: \beq

804: g_s\,F^{(5)}=d^4x\,\wedge dh^{-1}\,+\,{\rm Hodge\,\,\, dual}\,\,,

805: \label{F5}

806: \eeq

807: where $h(r)$ is the near-horizon harmonic function, namely:

808: \beq

809: h(r)={L^4\over r^4}\,\,.

810: \eeq

811: The quantization condition of the flux of $F^{(5)}$ determines the constant

812: $L$ in terms of $g_s$, $N$, $\alpha'$ and the volume ${\rm Vol}(Y^{p,q})$

813: of the Sasaki-Einstein space:

814: \beq

815: L^4\,=\,{4\pi^4\over {\rm Vol}(Y^{p,q})}\,g_s\,N\,(\alpha')^2\,\,,

816: \label{L}

817: \eeq

818: where ${\rm Vol}(Y^{p,q})$ can be computed straightforwardly from the metric

819: (\ref{Ypqmetric}), with the result (for $c=1$):

820: \beq

821: {\rm Vol}(Y^{p,q})\,=\,{q^2\over 3p^2}\,\,

822: {2p+\sqrt{4p^2-3q^2}\over 3q^2-2p^2+p\sqrt{4p^2-3q^2}}\,\,\pi^3\,\,.

823: \eeq

824: 

825: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

826: \subsection{Quiver theories for $Y^{p,q}$ spaces}

827: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

828: The gauge theory dual to IIB on $AdS_5\times Y^{p,q}$ is by now well

829: understood. Here we quote some of the results that are directly relevant to

830: our discussion. We follow the presentation of ref.~\cite{sequiver}.

831: 

832: The quivers for $Y^{p,q}$ can be constructed starting with the quiver

833: of $Y^{p,p}$ which is naturally related to the quiver theory obtained

834: from $\mathbb C^3/\mathbb Z_{2p}$. The gauge group is $SU(N)^{2p}$ and the

835: superpotential is constructed out of cubic and quartic terms in the

836: four types of bifundamental chiral fields present: two doublets $U^\a$

837: and $V^\b$ and two singlets $Y$ and $Z$ of a global $SU(2)$. Namely,

838: \beq

839: W=\sum\limits_{i=1}^q \epsilon_{\a\b} (U^\a_i V^\b_i Y_{2i-1}+ V^\a_i U^\b_{i+1}Y_{2i})

840: + \sum\limits_{j=q+1}^p \epsilon_{\a\b}Z_j U_{j+1}^\a Y_{2j-1} U_{j}^\b.

841: \label{supYpq}

842: \eeq

843: Greek indices $\a,\b=1,2$ are in $SU(2)$, and Latin subindices $i,j$ refer

844: to the gauge group where the corresponding arrow originates. Equivalently,

845: as explained in \cite{hek}, the quiver theory for $Y^{p,q}$ can be

846: constructed from two basic cells denoted by $\sigma$ and $\tau$, and their

847: mirror images with respect to a horizontal axis, $\tilde\sigma$ and

848: $\tilde\tau$ (see Fig.\ref{Y42}). Gluing of cells has to respect the

849: orientation of double arrow lines corresponding to the $U$ fields. For

850: example, the quiver $Y^{4,2}$ is given by

851: $\sigma\tilde\sigma\tau\tilde\tau$. More concrete examples and further

852: discussion can be found in \cite{sequiver,hek}.

853: 

854: %\begin{figure}

855: %\centerline{\hskip -.3in \epsffile{sigmatau.eps}}

856: %\caption{The basic cells $\sigma$ (left) and $\tau$ (right).

857: %$Y^{p,q}$ quivers are built with $q$ $\sigma$ and $p-q$ $\tau$ unit

858: %cells. The cubic terms in the superpotential (\ref{supYpq}) come from

859: %closed loops of the former and the quartic term arises from the latter.}

860: %\label{sigmatau}

861: %\end{figure}

862: 

863: Here we quote a result of \cite{sequiver} which we will largely reproduce

864: using a study of wrapped branes. The global $U(1)$ symmetries corresponding

865: to the factors appearing in the isometry group of the $Y^{p,q}$ manifold are

866: identified as the R-charge symmetry $U(1)_R$ and a flavor symmetry $U(1)_F$.

867: There is also a baryonic $U(1)_B$ that becomes a gauge symmetry in the

868: gravity dual. The charges of all fields in the quiver with respect to

869: these Abelian symmetries is summarized in Table \ref{charges}.

870: 

871: \begin{figure}[ht]

872: \centerline{\epsffile{Y42.eps}}

873: \caption{The basic cells $\sigma$ (upper left) and $\tau$ (upper right).

874: $Y^{p,q}$ quivers are built with $q$ $\sigma$ and $p-q$ $\tau$ unit

875: cells. The cubic terms in the superpotential (\ref{supYpq}) come from

876: closed loops of the former and the quartic term arises from the latter.

877: The quiver for $Y^{4,2}$ is given by $\sigma\tilde\sigma\tau\tilde\tau$

878: (bottom).}

879: \label{Y42}

880: \end{figure}

881: 

882: \begin{table}[ht]

883: \begin{center}

884: $$\begin{array}{|c|c|c|c|c|}

885: \hline

886: \mathrm{Field}&\mathrm{number}&R -\mathrm{charge}& U(1)_B &  U(1)_F \\

887: \hline\hline

888: & & & & \\[-1ex]

889: Y      & p + q

890: 	& {- 4 p^2 + 3 q^2 + 2 p q + (2 p - q)\sqrt{4 p^2 - 3 q^2} \ov 3 q^2}

891: 	& p - q &- 1 \\[1.5ex]

892: \hline

893: & & & & \\[-1ex]

894: Z      & p - q

895: 	& {- 4 p^2 + 3 q^2 - 2 p q + (2 p + q)\sqrt{4 p^2 - 3 q^2} \ov 3 q^2}

896: 	& p + q &+ 1 \\[1.5ex]

897: \hline

898: & & & & \\[-1ex]

899: U^{\alpha} &  p

900: 	& {2 p (2 p -  \sqrt{4 p^2 - 3 q^2}) \ov 3 q^2} & - p & 0  \\[1.5ex]

901: \hline

902: & & & & \\[-1ex]

903: V^{\beta} &  q

904: 	& {3 q - 2 p + \sqrt{4 p^2 - 3 q^2} \ov 3 q} & q & + 1 \\[1.5ex]

905: \hline

906: \end{array}$$

907: \caption{Charges for bifundamental chiral fields in the quiver dual to

908: $Y^{p,q}$ \cite{sequiver}.}

909: \label{charges}

910: \end{center}

911: \end{table}

912: It is worth noting that the above assignment of charges satisfies a number

913: of conditions. For example, the linear anomalies vanish

914: $\mathrm{Tr}\,U(1)_B = \mathrm{Tr}\,U(1)_F = 0$, as well as the cubic

915: t'~Hooft anomaly

916: $\mathrm{Tr}\,U(1)_B^3$.

917: 

918: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

919: \subsection{Complex coordinates on $CY^{p,q}$}

920: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

921: 

922: We expect some of the supersymmetric embeddings of probes that will be

923: studied in the present paper to be related to the complex coordinates

924: describing $CY^{p,q}$. The relevant coordinates were introduced in \cite{ms}.

925: (Here we follow the notation of \cite{ben}.) The starting point in

926: identifying a good set of complex coordinates is the following set of

927: closed one-forms \cite{ms}:

928: \begin{eqnarray}

929: {\eta}^1 & = & \frac{1}{\sin\theta}\, d\theta - i d\phi ~, \nonumber\\

930: \tilde{\eta}^2 & = & -\frac{dy}{H(y)^2} - i (d\beta - c\cos\theta

931: d\phi) ~, \nonumber\\

932: \tilde{\eta}^3 & = & 3 \frac{dr}{r} + i \big[ d\psi + \cos\theta d\phi

933: + y (d\beta - c\cos\theta d\phi) \big] ~,

934: \end{eqnarray}

935: in terms of which, the metric of $CY^{p,q}$ can be rewritten as

936: \begin{equation}

937: ds^2 = r^2 \frac{(1-cy)}{6}\, {\sin}^2\theta ~|{\eta}^1|^2 + r^2

938: \frac{H(y)^2}{6} ~|{\tilde{\eta}^2}|^2 + \frac{r^2}{9}

939: ~|{\tilde{\eta}^3}|^2 ~.

940: \end{equation}

941: Unfortunately, ${\tilde{\eta}^2}$ and ${\tilde{\eta}^3}$ are not integrable.

942: It is however easy to see that integrable one-forms can be obtained by taking

943: linear combinations of them:

944: \be

945: {\eta}^2 = {\tilde{\eta}^2}+c \cos \theta ~{\eta}^1 ~, \qquad

946: {\eta}^3 = {\tilde{\eta}^3}+\cos\theta ~{\eta}^1 + y ~{\tilde{\eta}^2} ~.

947: \ee

948: We can now define ${\eta}^i=dz_i/z_i$ for $i=1,2,3$, where

949: \beq

950: z_1 = \tan\frac{\theta}{2}\, e^{-i\phi} ~, \qquad

951: z_2 = \frac{(\sin\theta)^{c}}{f_1(y)}\, e^{-i\beta} ~, \qquad

952: z_3 = r^3\, \frac{\sin\theta}{f_2(y)}\, e^{i\psi}\,\,,

953: \label{complexzs}

954: \eeq

955: with $f_1(y)$ and $f_2(y)$ being given by:

956: \begin{equation}

957: f_1(y)=\exp\left(\int\frac{1}{H(y)^2}dy\right),\qquad

958: f_2(y)=\exp\left(\int\frac{y}{H(y)^2}dy\right).

959: \label{fs}

960: \end{equation}

961: By using the form of $H(y)$ written in eq.(\ref{Hfunction}) it is possible

962: to provide a simpler expression for the functions $f_i(y)$, namely:

963: \bear

964: &&{1\over f_1(y)}\,=\,\sqrt{(y-y_1)^{{1\over y_1}}\,

965: (y_2-y)^{{1\over y_2}}\,(y_3-y)^{{1\over y_3}}}\,\,,\rc\rc

966: &&{1\over f_2(y)}\,=\,\sqrt{\calq(y)}\,=\,

967: \sqrt{2c}\,\sqrt{(y-y_1)\,(y_2-y)\,(y_3-y)}\,\,,

968: \label{yexpression}

969: \eear

970: where $\calq(y)$ has been defined in (\ref{calq}), $y_1$ and $y_2$ are

971: given in eq.(\ref{y12}) and $y_3$ is the third root of the polynomial

972: $\calq(y)$ which, for $c=1$, is related to $y_{1,2}$ as $y_3={3\over

973: 2} - y_1 - y_2$. The holomorphic three-form of $CY^{p,q}$ simply reads  

974: \beq

975: \Omega = -\frac{1}{18} e^{i\psi} r^3 \sqrt{\frac{\calq(y)}{3}}

976: \sin\theta ~\eta^1 \wedge \eta^2 \wedge \eta^3 = -\frac{1}{18\sqrt{3}}

977: \frac{dz_1 \wedge dz_2 \wedge dz_3}{z_1 z_2} ~.

978: \label{threeform}

979: \eeq

980: Notice that coordinates $z_1$ and $z_2$ are local complex coordinates on the

981: transverse leaves of $Y^{p,q}$ (\ref{slice}) with K\"ahler--Einstein metric $ds_4^2$. They are not globally well-defined as soon as $z_2$ is periodic in

982: $\beta$ --which is not a periodic coordinate. Besides, they are meromorphic

983: functions on $CY^{p,q}$ (the function $z_1$ is singular at $\theta = \pi$

984: while $z_2$ has a singularity at  $y = y_1$). A set

985: of holomorphic coordinates on $Y^{p,q}$ was constructed in \cite{BHOP}.

986: 

987: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

988: \subsection{Killing spinors for $AdS_5\times Y^{p,q}$}

989: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

990: 

991: The $AdS_5\times Y^{p,q}$ background preserves eight supersymmetries, in

992: agreement with the ${\cal N}=1$ superconformal character of the corresponding

993: dual field theory, which has four ordinary supersymmetries and four

994: superconformal ones. In order to verify this statement, and for later use,

995: let us write explicitly the form of the Killing spinors of the background,

996: which are determined by imposing the vanishing of the supersymmetric

997: variations of the dilatino and gravitino. The result of this calculation

998: is greatly simplified in some particular basis of frame one-forms, which

999: we will now specify. In the $AdS_5$ part of the metric we will choose the

1000: natural basis of vielbein one-forms, namely:

1001: \beq

1002: e^{x^{\alpha}}\,=\,{r\over L}\,\,dx^{\alpha}

1003: \,\,,\,\,\,\,\,\,\,\, (\alpha=0,1,2,3)\,\,,

1004: \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,

1005: e^{r}\,=\,{L\over r}\,\,.

1006: \label{AdSvielbein}

1007: \eeq

1008: Moreover, in the $Y^{p,q}$ directions we will use the following frame:

1009: \bea

1010: e^1 &=& -\frac{L}{\sqrt{6}}\, \frac{1}{H(y)}\, dy ~, \nonumber \\

1011: e^2 &=& -\frac{L}{\sqrt{6}}\, H(y)\, (d\beta- c\, \cos\theta\,

1012: 	d\phi) ~, \nonumber \\ 

1013: e^3 &=& \frac{L}{\sqrt{6}}\, \sqrt{1-c\, y}\, d\theta\,\,, \nonumber \\

1014: e^4 &=& \frac{L}{\sqrt{6}}\, \sqrt{1-c\,y}\sin\theta\, d\phi, \nonumber \\

1015: e^5 &=& {L\over 3}\, \left( d\psi + y\, d\beta +(1-c\, y) \cos\theta\,

1016: d\phi\right) ~.

1017: \label{Ypqvielbein}

1018: \eea

1019: In order to write the expressions of the Killing spinors in a compact form, 

1020: let us define the matrix $\Gamma_{*}$ as:

1021: \beq

1022: \Gamma_{*}\equiv i\Gamma_{x^0x^1x^2x^3}\,\,.

1023: \label{gamma*}

1024: \eeq

1025: Then, the Killing spinors $\epsilon$ of the $AdS_5\times Y^{p,q}$ background 

1026: can be written in terms of a constant spinor $\eta$ as \footnote{Note that

1027: this spinor differs from the one of \cite{acr} by a rotation generated by

1028: $e^{-{i\over 2}\psi\, \Gamma_{34}}$. This rotation accounts for the

1029: difference between both frames.}:

1030: \beq

1031: \epsilon\,=\,e^{-{i\over 2}\psi}\, r^{-{\Gamma_{*}\over 2}}\,\,

1032: \Big(\,1\,+\,{\Gamma_r\over 2L^2}\,\,x^{\alpha}\,\Gamma_{x^{\alpha}}\,\,

1033: (1\,+\,\Gamma_{*}\,)\,\Big)\,\,\eta\,\,.

1034: \label{adsspinor}

1035: \eeq

1036: The spinor $\eta$ satisfies the projections :

1037: \beq

1038: \Gamma_{12}\,\eta\,=\,-i\eta\,\,, \qquad\qquad

1039: \Gamma_{34}\,\eta\,=\,i\eta\,\,,

1040: \label{etaspinor}

1041: \eeq

1042: which show that this background preserves eight supersymmetries. Notice

1043: that, since the matrix multiplying $\eta$ in eq.(\ref{adsspinor}) commutes

1044: with $\Gamma_{12}$ and $\Gamma_{34}$, the spinor $\epsilon$ also satisfies

1045: the conditions (\ref{etaspinor}), \ie:

1046: \beq

1047: \Gamma_{12}\,\epsilon\,=\,-i\epsilon\,\,, \qquad\qquad

1048: \Gamma_{34}\,\epsilon\,=\,i\epsilon\,\,.

1049: \label{epsilon-project}

1050: \eeq

1051: In eq.(\ref{adsspinor}) we are parameterizing the dependence of $\epsilon$

1052: on the coordinates of  $AdS_5$ as in ref.\cite{LPT}. In order to explore

1053: this dependence in detail, it is interesting to decompose the constant

1054: spinor $\eta$ according to the different eigenvalues of the matrix

1055: $\Gamma_*$:

1056: \beq

1057: \Gamma_{*}\,\eta_{\pm}\,=\,\pm\eta_{\pm}\,\,.

1058: \label{etamasmenos}

1059: \eeq

1060: Using this decomposition we obtain two types of Killing spinors:

1061: \bear

1062: e^{{i\over 2} \psi}\,\epsilon_{-} & = & r^{1/2}\,\eta_-\,\,,\rc\rc

1063: e^{{i\over 2} \psi}\,\epsilon_{+} & = & r^{-1/2}\,\eta_+\,+\,{r^{1/2}

1064: \over L^2}\,\,\Gamma_r\,x^{\alpha}\, \Gamma_{x^{\alpha}}\,\eta_+\,\,.

1065: \label{chiraladsspinor}

1066: \eear

1067: The four spinors $\epsilon_{-}$ are independent of the coordinates

1068: $x^{\alpha}$ and $\Gamma_*\epsilon_{-}=-\epsilon_-$, whereas the

1069: $\epsilon_{+}$'s do depend on the $x^{\alpha}$'s and are not eigenvectors

1070: of $\Gamma_*$. The latter correspond to the four superconformal

1071: supersymmetries, while the $\epsilon_{-}$'s correspond

1072: to the ordinary ones. Notice also that the only dependence of these

1073: spinors on the coordinates of the $Y^{p,q}$ space is through the

1074: exponential of the angle $\psi$ in eq.(\ref{chiraladsspinor}).

1075: 

1076: In addition to the Poincare coordinates $(x^{\alpha}, r)$ used above to

1077: represent the $AdS_5$ metric, it is also convenient to write it in the

1078: so-called global coordinates, in which $ds^2_{AdS_5}$ takes the form:

1079: \beq

1080: ds^2_{AdS_5}\,=\,L^2\,\Big[ -\cosh^2\rho \,\,d\tau^2\,+\,d\rho^2\,+\,

1081: \sinh^2\rho\,\,d\Omega_3^2 \Big]\,\,,

1082: \label{globalADS}

1083: \eeq

1084: where $d\Omega_3^2$ is the metric of a unit three-sphere parameterized by

1085: three angles $(\alpha^1, \alpha^2,\alpha^3)$:

1086: \beq

1087: d\Omega_3^2\,=\,(d\alpha^1)^2\,+\,\sin^2\alpha^1\Big(\,

1088: (d\alpha^2)^2\,+\,\sin^2\alpha^2\,(d\alpha^3)^2\,\Big)\,\,,

1089: \eeq

1090: with $0\le\alpha^1,\alpha^2\le \pi$ and $0\le\alpha^3\le 2\pi$. In order

1091: to write down the Killing spinors in these coordinates, we will choose

1092: the same frame as in eq.(\ref{Ypqvielbein}) for the $Y^{p,q}$ part of the metric, while for the $AdS_5$ directions we will use:

1093: \bear

1094: &&e^{\tau}\,=\,L\cosh\rho\,d\tau\,\,,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,

1095: e^{\rho}\,=\,Ld\rho\,\,,\rc\rc

1096: &&e^{\alpha^1}\,=\,L\sinh\rho\,d\alpha^1\,\,,\rc\rc

1097: &&e^{\alpha^2}\,=\,L\sinh\rho\,\sin\alpha^1\,d\alpha^2\,\,,\rc\rc

1098: &&e^{\alpha^3}\,=\,L\sinh\rho\,\sin\alpha^1\,\sin\alpha^2\,d\alpha^3\,\,.

1099: \eear

1100: If we now  define the matrix

1101: \beq

1102: \gamma_*\,\equiv\,\Gamma_{\tau}\,\Gamma_{\rho}\,

1103: \Gamma_{\alpha^1\,\alpha^2\,\alpha^3}\,\,,

1104: \eeq

1105: then, the Killing spinors in these coordinates can be written as

1106: \cite{globalads}:

1107: \beq

1108: \epsilon\,=\,e^{-{i\over 2}\psi}\,

1109: e^{-i\,{\rho\over 2}\,\Gamma_{\rho}\gamma_*}\,

1110: e^{-i\,{\tau\over 2}\,\Gamma_{\tau}\gamma_*}\,

1111: e^{-{\alpha^1\over 2}\,\Gamma_{\alpha^1 \rho}}\,

1112: e^{-{\alpha^2\over 2}\,\Gamma_{\alpha^2 \alpha^1}}\,

1113: e^{-{\alpha^3\over 2}\,\Gamma_{\alpha^3 \alpha^2}}\,\eta\,\,,

1114: \label{globalspinor}

1115: \eeq

1116: where $\eta$ is a constant spinor that satisfies the same conditions as

1117: in eq.(\ref{etaspinor}). 

1118: 

1119: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1120: \subsection{Supersymmetric probes on  $AdS_5\times Y^{p,q}$}

1121: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1122: 

1123: In the remainder of this paper we will consider Dp-brane probes moving in

1124: the $AdS_5\times Y^{p,q}$ background. If $\xi^{\mu}$ ($\mu=0,\cdots, p$)

1125: are a set of worldvolume coordinates and $X^M$ denote ten-dimensional coordinates, the embedding of the brane probe in the background geometry

1126: will be characterized by the set of functions $X^M(\xi^{\mu})$, from which

1127: the induced metric on the worldvolume is determined as: 

1128: \beq

1129: g_{\mu\nu}\,=\,\partial_{\mu} X^{M}\,\partial_{\nu} X^{N}\,G_{MN}\,\,,

1130: \label{inducedmetric}

1131: \eeq

1132: where $G_{MN}$ is the ten-dimensional metric. Let $e^{\underline{M}}$ be

1133: the frame one-forms of the ten-dimensional metric. These one-forms can be

1134: written in terms of the differentials of the coordinates by means of the

1135: coefficients $E_{N}^{\underline{M}}$:

1136: \beq

1137: e^{\underline{M}}\,=\,E_{N}^{\underline{M}}\,dX^N\,\,.

1138: \eeq

1139: From the $E_{N}^{\underline{M}}$'s and the embedding functions

1140: $X^M(\xi^{\mu})$ we define the induced Dirac matrices on the worldvolume as:

1141: \beq

1142: \gamma_{\mu}\,=\,\partial_{\mu}\,X^{M}\,E_{M}^{\underline{N}}\,\,

1143: \Gamma_{\underline{N}}\,\,,

1144: \label{wvgamma}

1145: \eeq

1146: where $\Gamma_{\underline{N}}$ are constant ten-dimensional Dirac matrices.

1147: 

1148: The supersymmetric embeddings of the brane probes are obtained by imposing

1149: the kappa-symmetry condition:

1150: \beq

1151: \Gamma_{\kappa}\,\epsilon\,=\,\epsilon\,\,,

1152: \label{kappacondition}

1153: \eeq

1154: where $\epsilon$ is a Killing spinor of the background and $\Gamma_{\kappa}$

1155: is a matrix that depends on the embedding. In order to write the expression

1156: of $\Gamma_{\kappa}$ for the type IIB theory it is convenient to decompose

1157: the complex spinor $\epsilon$ in its real and imaginary parts, $\epsilon_1$

1158: and $\epsilon_2$. These are Majorana--Weyl spinors. They can be subsequently arranged as a two-dimensional vector

1159: \beq

1160: \epsilon=\epsilon_1+i\epsilon_2 ~\longleftrightarrow~ \epsilon =

1161: \pmatrix{\epsilon_1\cr\epsilon_2}\,\,.

1162: \eeq

1163: The dictionary to go from complex to real spinors is straightforward,

1164: namely:

1165: \beq

1166: \epsilon^* ~\longleftrightarrow~ \tau_3\,\epsilon\,\,,

1167: \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,

1168: i\epsilon^* ~\longleftrightarrow~ \tau_1\,\epsilon\,\,,

1169: \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,

1170: i\epsilon ~\longleftrightarrow~ -i\tau_2\,\epsilon\,\,,

1171: \label{rule}

1172: \eeq

1173: where the $\tau_i$ ($i=1,2,3$) are nothing but the Pauli matrices. If there

1174: are not worldvolume gauge fields on the D-brane, the kappa symmetry matrix

1175: of a Dp-brane in the type IIB theory is given by \cite{swedes}:

1176: \beq

1177: \Gamma_{\kappa}\,=\,{1\over (p+1)!\sqrt{-g}}\,\epsilon^{\mu_1\cdots\mu_{p+1}}\,

1178: (\tau_3)^{{p-3\over 2}}\,i\tau_2\,\otimes\,

1179: \gamma_{\mu_1\cdots\mu_{p+1}}\,\,,

1180: \label{gammakappa}

1181: \eeq

1182: where $g$ is the determinant of the induced metric $g_{\mu\nu}$ and

1183: $\gamma_{\mu_1\cdots\mu_{p+1}}$ denotes the antisymmetrized product of 

1184: the induced Dirac matrices (\ref{wvgamma}). To write eq.(\ref{gammakappa}) we

1185: have assumed that the worldvolume gauge field $A$ is zero. This assumption

1186: is consistent with the equations of motion of the probe as far as there

1187: are no source terms in the action which could induce a non-vanishing

1188: value of $A$. These source terms must be linear in $A$ and can only appear

1189: in the Wess-Zumino term of the probe action, which is responsible for the

1190: coupling of the probe to the Ramond-Ramond fields of the background. 

1191: In the case under study only $F^{(5)}$ is non-zero (see eq.(\ref{F5}))

1192: and the only linear term in $A$ is of the form $\int A\wedge F^{(5)}$,

1193: which is different from zero only for a D5-brane which captures the flux

1194: of $F^{(5)}$. This only happens for the baryon vertex configuration studied

1195: in subsection \ref{baryonvertex}. In all other cases studied in this paper

1196: one can consistently put the worldvolume gauge field to zero. Nevertheless,

1197: even if one is not forced to do it, in some cases we can switch on the

1198: field $A$ to study how this affects the supersymmetric embeddings. In

1199: these cases the expression (\ref{gammakappa}) for $\Gamma_{\kappa}$ is

1200: no longer valid and we must use the more general formula given in

1201: ref.\cite{swedes}.

1202: 

1203: The kappa symmetry condition $\Gamma_{\kappa}\,\epsilon=\epsilon$ imposes

1204: a new projection to the Killing spinor $\epsilon$ which, in general, will

1205: not be compatible with those already satisfied by $\epsilon$ 

1206: (see eq.(\ref{epsilon-project})). This is so because the new projections

1207: involve matrices which do not commute with those appearing in

1208: (\ref{epsilon-project}). The only way of making these two conditions

1209: consistent with each other is by requiring the vanishing of the

1210: coefficients of those non-commuting matrices, which will give rise to a

1211: set of first-order BPS differential equations. By solving these BPS

1212: equations we will determine the supersymmetric embeddings of the brane

1213: probes we are looking for. Notice also that the kappa symmetry condition

1214: must be satisfied {\em at any point of the probe worldvolume}. It is a

1215: local condition whose global meaning, as we will see in a moment, has to

1216: be addressed a posteriori. This requirement is not obvious at all since

1217: the spinor $\epsilon$ depends on the coordinates (see eqs.

1218: (\ref{adsspinor}) and (\ref{globalspinor})). However this would be

1219: guaranteed if we could reduce the $\Gamma_{\kappa}\,\epsilon=\epsilon$

1220: projection to some algebraic conditions on the constant spinor $\eta$ of

1221: eqs.(\ref{adsspinor}) and (\ref{globalspinor}). The counting of solutions

1222: of the algebraic equations satisfied by $\eta$ will give us the fraction

1223: of supersymmetry preserved by our brane probe.

1224: 

1225: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1226: %%%%%%%%%%

1227: %%%%%%%%%%   Section 3: D3 branes on AdS5 x Ypq

1228: %%%%%%%%%%

1229: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1230: \setcounter{equation}{0}

1231: \section{Supersymmetric D3-branes on $AdS_5\times Y^{p,q}$ }

1232: \medskip

1233: \label{d3}

1234: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1235: 

1236: Let us now apply the methodology just described to find the supersymmetric

1237: configurations of a D3-brane in the $AdS_5\times Y^{p,q}$ background. 

1238: The kappa symmetry matrix in this case can be obtained by putting $p=3$ in

1239: the general expression (\ref{gammakappa}):

1240: \beq

1241: \Gamma_{\kappa}\,=\,-{i\over 4!\sqrt{-g}}\,\epsilon^{\mu_1\cdots\mu_4}\,

1242: \gamma_{\mu_1\cdots\mu_4}\,\,,

1243: \label{Gammad3}

1244: \eeq

1245: where we have used the rule (\ref{rule}) to write the expression of

1246: $\Gamma_{\kappa}$ acting on complex spinors. 

1247: Given that the $Y^{p,q}$ space is topologically $S^2\times S^3$, it is

1248: natural to consider D3-branes wrapping two- and three-cycles in the

1249: Sasaki--Einstein space. A D3-brane wrapping a two-cycle in $Y^{p,q}$

1250: and extended

1251: along one of the spatial directions of $AdS_5$ represents a fat string.

1252: We will study such type of configurations in section \ref{6} where we

1253: conclude that they are not supersymmetric, although we will find stable

1254: non-supersymmetric embeddings of this type. 

1255: 

1256: In this section we will concentrate on the study of supersymmetric

1257: configurations of D3-branes wrapping a three-cycle of $Y^{p,q}$.

1258: These objects are pointlike from the gauge theory point of view and,

1259: on the field theory side, they correspond to dibaryons constructed from

1260: the different bifundamental fields. In what follows we  will study the

1261: kappa symmetry condition for two different sets of worldvolume coordinates,

1262: which will correspond to two classes of cycles and dibaryons. 

1263: 

1264: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1265: \subsection{Singlet supersymmetric three-cycles }

1266: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1267: \label{singlet}

1268: 

1269: Let us use the global coordinates of eq.(\ref{globalADS}) to parameterize

1270: the $AdS_5$ part of the metric and let us consider the following set of worldvolume coordinates:

1271: \be

1272: \xi^{\mu}=(\tau,\te,\phi,\beta),

1273: \ee

1274: and the following generic ansatz for the embedding:

1275: \be

1276: y=y(\te,\phi,\beta), \qquad \psi(\te,\phi,\beta).

1277: \ee

1278: The kappa symmetry matrix in this case is:

1279: \beq

1280: \Gamma_{\kappa}\,=\,-iL\,{\cosh\rho\over 

1281: \sqrt{-g}}\,\Gamma_{\tau}\,\gamma_{\theta\phi\beta}\,\,.

1282: \eeq

1283: The induced gamma matrices along the $\theta$, $\phi$ and $\beta$ directions

1284: can be straightforwardly obtained from (\ref{wvgamma}), namely:

1285: \bea

1286: {1\over L} \g_\te &=&  \frac{\sqrt{1-c\, y}}{\sqrt{6}}\,\G_3

1287: +\frac13\psi_\te\,\G_5 -{1\over \sqrt{6}\, H}\,y_{\theta}\,\Gamma_1,

1288: \nonumber \\

1289: {1\over L} \g_\p &=& \frac{cH\cos\te}{\sqrt{6}}\,\G_2 + \frac{\sqrt{1-c\,

1290:     y}}{\sqrt{6}}\sin\te\,\G_4 + \frac{1}{3} \left( \psi_\p +(1-c\,

1291: y)\cos\te\right)\,\G_5 -{1\over \sqrt{6}\, H}\,y_{\phi}\,\Gamma_1, 

1292: \nonumber \\

1293: {1\over L} \g_\b &=& -\frac{H}{\sqrt{6}}\,\G_2 + \frac{1}{3}

1294: \left(\psi_\b+y\right)\,\G_5 -{1\over \sqrt{6}\,H}\,y_{\beta}\,\G_1, 

1295: \eea 

1296: where the subscripts in $y$ and $\psi$ denote partial differentiation.

1297: By using this result and the projections (\ref{epsilon-project}) the

1298: action of the antisymmetrized product

1299: $\gamma_{\theta\phi\beta}$ on the Killing spinor $\epsilon$ reads:

1300: \beq

1301: -{i\over L^3}\,\gamma_{\theta\phi\beta}\,\epsilon\,=\,

1302: [\,a_5\,\Gamma_5\,+\,a_1\Gamma_1\,+\,a_3\Gamma_3\,+\,

1303: a_{135}\,\Gamma_{135}\,]\,\epsilon\,\,,

1304: \label{MSantisy}

1305: \eeq

1306: where the coefficients on the right-hand side are given by:

1307: \bear

1308: &&a_5\,=\,{1\over 18}\,\Bigg[\,(y+\psi_{\beta})\,

1309: [\,(1-cy)\,\sin\theta\,+\,c\,y_{\theta}\cos\theta]\,+\rc\rc

1310: &&\qquad\qquad+\,[\,\psi_\phi\,+\,(1-cy)\,\cos\theta\,]\,y_{\theta}\,-\,

1311: \psi_\theta y_\phi\,-\,c\cos\theta 

1312: \psi_\theta y_\beta\,\Bigg]\,\,,\rc\rc

1313: &&a_1\,=\,-{1-cy\over 6\sqrt{6}}\,\,\sin\theta\,\big[\,

1314: {y_\beta\over H}\,-\,iH\,\big]\,\,,\rc\rc

1315: &&a_3\,=\,-{\sqrt{1-cy}\over  6\sqrt{6}}\,

1316: \big[\,y_\phi\,+\,c\cos\theta y_{\beta}\,-\,i\sin\theta y_{\theta}\,

1317: \big]\,\,,\rc\rc

1318: &&a_{135}\,=\,{\sqrt{1-cy}\over 18}\,\,

1319: \Bigg[\,{\sin\theta\over H}\,\big[\psi_{\theta}

1320: y_{\beta}\,-\,(y+\psi_{\beta})\,y_\theta

1321: \,\big]\,+\,H\big[\psi_{\phi}\,+\,(1+c\psi_\beta)\cos\theta\,\big]\,\,+\rc\rc

1322: &&\qquad\qquad+\,\,{i\over H}\,

1323: \Big[(\psi_{\phi}\,+\,(1-cy)\,\cos\theta\,)y_\beta\,-\,

1324: (y+\psi_{\beta})\,y_\phi\,\Big]\,-\,iH\sin\theta\psi_{\theta}\,\,

1325: \Bigg]\,\,.

1326: \label{as}

1327: \eear

1328: As

1329: discussed at the end of section 2, in order to implement the kappa symmetry

1330: projection we must require the vanishing of the terms in (\ref{MSantisy})

1331: which are not compatible with the projection (\ref{epsilon-project}). Since 

1332: the matrices $\Gamma_1$, $\Gamma_3$ and $\Gamma_{135}$ do not commute

1333: with those appearing in the projection (\ref{epsilon-project}), it follows

1334: that we must impose that the corresponding coefficients vanish, \ie:

1335: \beq

1336: a_1 = a_3 = a_{135} = 0\,\,.

1337: \eeq

1338: Let us concentrate first on the condition $a_1 = 0$. By looking at its

1339: imaginary part:

1340: \beq

1341: H(y)=0\,\,,

1342: \eeq

1343: which, in the range of allowed values of $y$, means:

1344: \beq

1345: y = y_1 ~, \qquad {\rm or} \qquad y = y_2 ~.

1346: \eeq

1347: If  $H(y)=0$, it follows by inspection

1348: that $a_1 = a_3 = a_{135} = 0$. Notice that $\psi$ can be an arbitrary

1349: function. Moreover, one can check that:

1350: \beq

1351: \left.\sqrt{-g}\right|_{BPS} \, = \, L^4\,\cosh\rho \,

1352: \left.{a_5}\right|_{BPS}\,\,.

1353: \eeq

1354: Thus, one has the following equality:

1355: \beq

1356: \left.\Gamma_{\kappa}\,\epsilon\right|_{BPS} \, = \,

1357: \Gamma_{\tau}\Gamma_5\,\epsilon\,\,,

1358: \eeq

1359: and, therefore, the condition $\Gamma_{\kappa}\epsilon=\epsilon$ becomes

1360: equivalent to

1361: \beq

1362: \Gamma_{\tau}\Gamma_5\,\epsilon\,=\,\epsilon\,\,.

1363: \label{d3-epsilon-cond}

1364: \eeq

1365: As it happens in the $T^{1,1}$ case \cite{acr}, the compatibility of

1366: (\ref{d3-epsilon-cond}) with the $AdS_5$ structure of the spinor implies

1367: that the D3-brane must be placed at $\rho=0$, \ie\ at the center of $AdS_5$.

1368: Indeed, as discussed at the end of section \ref{ypq}, we must translate

1369: the condition (\ref{d3-epsilon-cond}) into a condition for the constant

1370: spinor $\eta$ of eq.(\ref{globalspinor}). Notice that $\Gamma_{\tau}\Gamma_5$

1371: commutes with all the matrices appearing on the right-hand side of

1372: eq.(\ref{globalspinor}) except for $\Gamma_{\rho}\gamma_*$. Since the

1373: coefficient of $\Gamma_{\rho}\gamma_*$ in (\ref{globalspinor}) only vanishes

1374: for $\rho=0$, it follows that only at this point the equation

1375: $\Gamma_{\kappa}\,\epsilon=\epsilon$ can be satisfied for every point

1376: in the worldvolume and reduces to:

1377: \beq

1378: \Gamma_{\tau}\Gamma_5\,\eta\,=\,\eta\,\,.

1379: \label{d3-eta-cond}

1380: \eeq

1381: Therefore, if we place the D3-brane at the center of the $AdS_5$ space

1382:  and wrap it on the three-cycles at $y=y_{1}$ or

1383: $y=y_{2}$, we

1384: obtain a $\frac{1}{8}$ supersymmetric configuration which preserves the

1385: Killing spinors of the type (\ref{globalspinor}) with $\eta$ satisfying

1386: (\ref{etaspinor}) and the additional condition (\ref{d3-eta-cond}).

1387: 

1388: The cycles we have just found have been identified by Martelli and Sparks

1389: as those dual to the dibaryonic operators $\det (Y)$ and $\det (Z)$, made

1390: out of the bifundamental fields that, as the D3-brane wraps the

1391: two-sphere whose isometries are responsible for the global $SU(2)$ group,

1392: are singlets under this  symmetry

1393: \cite{ms}. For this reason we will refer to these cycles as singlet (S)

1394: cycles. Let us recall how this identification is carried out. First of all,

1395: we look at the conformal dimension $\Delta$ of the corresponding dual

1396: operator. Following the general rule of the AdS/CFT correspondence (and

1397: the zero-mode corrections of ref.\cite{ba2}), $\Delta=LM$, where $L$ is

1398: given by (\ref{L}) and $M$ is the mass of the wrapped three-brane. The

1399: latter can be computed as $M=T_3\,V_3$, with $T_3$ being the tension of

1400: the D3-brane ($1/T_3\,=\,8\pi^3(\alpha')^2 g_s$) and $V_3$  the volume

1401: of the three-cycle. If $g_{{\cal C}}$ is the determinant of the spatial

1402: part of the induced metric on the three-cycle ${\cal C}$, one has:

1403: \beq

1404: V_3\,=\,\int_{{\cal C}}\sqrt{g_{{\cal C}}}\,\,\,d^3\xi\,\,.

1405: \eeq

1406: For the singlet cycles ${\rm S}_i$ at $y=y_i$ ($i=1,2$) and $\psi$=constant,

1407: the volume $V_3$ is readily computed, namely:

1408: \beq

1409: V_3^{{\rm S}_i}\,=\,{2L^3\over 3}\,(\,1-cy_i\,)\,|\,y_i\,|\,

1410: (2\pi)^2\,\ell\,\,.

1411: \eeq

1412: Let us define $\lambda_1=+1$, $\lambda_2=-1$. Then, if

1413: $\Delta_i^{{\rm S}}\,\equiv\,\Delta^{{\rm S}_i}$, one has:

1414: \beq

1415: \Delta_i^{{\rm S}}\,=\,{N\over 2q^2}\,\Big[\,-4p^2+3q^2+2\lambda_i\,pq\,+\,

1416: (2p-\lambda_i\,q)\,\sqrt{4p^2\,-\,3q^2}\,\,\Big]\,\,.

1417: \eeq

1418: As it should be for a BPS saturated object, the R-charges $R_i$ of the

1419: ${\rm S}_i$ cycles are related to $\Delta_i^{{\rm S}}$ as $R_i={2\over 3}\,

1420: \Delta_i^{{\rm S}}$. By comparing the values of $R_i$ with those determined

1421: in \cite{sequiver} from the gauge theory dual (see Table \ref{charges})

1422: one concludes that, indeed, a D3-brane wrapped at $y=y_1$ ($y=y_2$) can be

1423: identified with the operator $\det (Y)$ ($\det (Z)$) as claimed. Another

1424: piece of evidence which supports this claim is the calculation of the

1425: baryon number, that can be identified with the third homology class of

1426: the three-cycle ${\cal C}$ over which the D3-brane is wrapped. This number

1427: (in units of $N$) can be obtained by computing the integral over ${\cal C}$

1428: of the pullback of a $(2,1)$ three-form $\Omega_{2,1}$ on $CY^{p,q}$:

1429: \beq

1430: {\cal B}({\cal C})\,=\,\pm i \int_{{\cal C}}\,

1431: P\big[\,\Omega_{2,1}\,\big]_{{\cal C}}\,\,,

1432: \label{baryon-def}

1433: \eeq

1434: where $P[\cdots]_{{\cal C}}$ denotes the pullback to the cycle ${{\cal C}}$

1435: of the form that is inside the brackets. The sign of the right-hand side

1436: of (\ref{baryon-def}) depends on the orientation of the cycle. The explicit

1437: expression of $\Omega_{2,1}$ has been determined in ref.\cite{hek}:

1438: \beq

1439: \Omega_{2,1}\,=\,K\,\Big(\,{dr\over r}\,+\,\frac{i}{L}\,

1440: e^5\,\Big)\wedge \omega\,\,,

1441: \eeq

1442: where $e^5$ is the one-form of our vielbein (\ref{Ypqvielbein}) for the

1443: $Y^{p,q}$ space, $K$ is the constant

1444: \beq

1445: K\,=\,{9\over 8\pi^2}\,(p^2-q^2)\,\,,

1446: \eeq

1447: and $\omega$ is the  two-form:

1448: \beq

1449: \omega\,=\,-{1\over (1-cy)^2\, L^2}\,\,\Big[\,e^1\wedge e^2\,+\,e^3\wedge

1450: e^4\,\Big]\,\,.

1451: \eeq

1452: Using $(\theta,\phi,\beta)$ as worldvolume coordinates of the singlet

1453: cycles ${\rm S}_i$,

1454: \beq

1455: P\big[\,\Omega_{2,1}\,\big]_{{\rm S}_i}\,=\,-i\,{K\over 18}\,

1456: {y_i\over 1-cy_i}\,\sin\theta\, d\theta\wedge d\phi\wedge d\beta\,\,,

1457: \eeq

1458: Then,

1459: changing variables from $\beta$ to $\alpha$ by means of

1460: (\ref{beta-alpha}), and taking into account that $\alpha\in [0,2\pi

1461: \ell]$, one gets:

1462: \beq

1463: \int_{{\rm S}_i}\, P\big[\,\Omega_{2,1}\,\big]_{{\rm S}_i}\,=\,-i\,

1464: {8\pi^2\over 3}\, {K \ell y_i\over 1 - c y_i}\,\,.

1465: \eeq

1466: After using the values of $y_1$ and $y_2$ displayed in (\ref{y12}), we

1467: arrive at:

1468: \bear

1469: &&{\cal B}({\rm S}_1)\,=\,- i \int_{{\rm S}_1}\,

1470: P\big[\,\Omega_{2,1}\,\big]_{{\rm S}_1}\,=\,p-q\,\,,\rc\rc

1471: &&{\cal B}({\rm S}_2)\,=\, i \int_{{\rm S}_2}\,

1472: P\big[\,\Omega_{2,1}\,\big]_{{\rm S}_2}\,=\,p+q\,\,.

1473: \eear

1474: Notice the perfect agreement of ${\cal B}({\rm S}_1)$ and ${\cal B}({\rm

1475: S}_2)$ with the baryon numbers of $Y$ and $Z$ displayed in Table

1476: \ref{charges}. 

1477: 

1478: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1479: \subsection{Doublet  supersymmetric three-cycles }

1480: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1481: \label{hekconst}

1482: 

1483: Let us now try to find supersymmetric embeddings of D3-branes on three-cycles

1484: by using a different set of worldvolume coordinates. As in the previous subsection it is convenient to use the global coordinates (\ref{globalADS})

1485: for the $AdS_5$ part of the metric and the following set of worldvolume

1486: coordinates:

1487: \be

1488: \xi^\mu=(\tau,y,\beta,\psi) ~.

1489: \ee

1490: Moreover, we will adopt the ansatz:

1491: \be

1492: \theta(y,\b, \psi) ~, \qquad \phi(y,\b,\psi) ~.

1493: \label{embdoublet}

1494: \ee

1495: The kappa symmetry matrix $\G_{\k}$ in this case takes the form:

1496: \be

1497: \G_{\k}=-iL\,{\cosh\rho\over 

1498: \sqrt{-g}}\,\Gamma_{\tau}\,\gamma_{y\,\beta\,\psi}\,\,,

1499: \ee

1500: and the induced gamma matrices are:

1501: \bea

1502: &&{1\over L}\g_y = -\frac{1}{\sqrt{6}H} \G_1 +

1503: \frac{cH\cos\te}{\sqrt{6}} \p_y \G_2 + \frac{\sqrt{1-c

1504: y}}{\sqrt{6}} \left( \te_y \G_3 +

1505: \p_y\sin\theta\, \G_4 \right) + \frac{1-c\, y}{3}\cos\te \p_y\, \G_5\,\,,

1506: \nonumber \\ \nonumber \\

1507: &&{1\over L}\g_\b= \frac{H}{\sqrt{6}}\left(-1+ c\cos\te\,

1508: \p_\b\right)\, \G_2  +  \frac{\sqrt{1-c\, y}}{\sqrt{6}}\,\te_\b\, \G_3 

1509: +  \frac{\sqrt{1-c\, y}}{\sqrt{6}}\sin\te \,\p_\b\, \G_4 \nonumber\\

1510: \nonumber\\

1511: &&\qquad\qquad+ {1\over 3}\Big( \,y +

1512: (1-c\, y) \cos\te\, \p_\b \Big)\, \G_5\,\,,  \\ \nonumber \\

1513: &&{1\over L}\g_\psi= \frac{cH\cos\te}{\sqrt{6}}\,\p_\psi\, \G_2 +

1514: \frac{\sqrt{1-c\, y}}{\sqrt{6}}\, \left( \te_\psi\, \G_3 + \sin\te\,

1515: \p_\psi \,\G_4 \right) + {1\over 3}\left(1 +(1-c)\,

1516: \cos\te\p_\psi\right)\, \G_5\,\,.

1517: \nonumber

1518: \eea

1519: By using again the projections (\ref{epsilon-project}) one easily gets

1520: the action of $\gamma_{y\,\beta\,\psi}$ on the Killing spinor

1521: \beq

1522: -{i\over L^3}\,\gamma_{y\,\beta\,\psi}\,\epsilon\,=\,

1523: \big[\,c_5\,\Gamma_5\,+\,c_1\,\Gamma_1\,+\,c_3\,\Gamma_3\,+\,

1524: c_{135}\,\Gamma_{135}\,\big]\,\epsilon\,\,,

1525: \label{HEKcs}

1526: \eeq

1527: where the different coefficients appearing on the right-hand side of 

1528: (\ref{HEKcs}) are given by:

1529: \bear

1530: &&c_5 = {1\over 18}\,\Bigg[ -1 - \cos\theta (\phi_\psi - c \phi_{\beta}) +

1531: (1-cy) \sin\theta\, \Big[ \theta_y (\phi_\beta - y\phi_\psi) -

1532: \phi_y (\theta_\beta - y\theta_\psi)\,\Big]\,\Bigg]\,,\rc\rc

1533: &&c_1\,=\,-{1-cy\over 6\sqrt{6}}\,\sin\theta\,

1534: \Big[\,{\theta_{\beta}\phi_{\psi}-\theta_{\psi}\phi_{\beta}\over H}\,+\,

1535: iH\,(\theta_y\phi_{\psi}\,-\,\theta_\psi\phi_{y})\,\Big]\,\,,\rc\rc

1536: &&c_3\,=\,-{\sqrt{1-cy}\over 6\sqrt{6}}\,\Big[\,

1537: \theta_{\psi}\,-\,c\cos\theta\,(\theta_{\psi}\phi_\beta\,-\,

1538: \theta_\beta\phi_\psi)\,+\,i\sin\theta\phi_{\psi}\,\Big]\,\,,\rc\rc

1539: &&c_{135} = -{\sqrt{1-cy}\over 18}\,\Bigg[ {\sin\theta\over H}

1540: (\phi_\beta - y\phi_\psi) + H \bigg( \theta_y + \cos\theta \bigg[

1541: \theta_y (\phi_{\psi} - c\phi_\beta) - \phi_y (\theta_{\psi} -

1542: c\theta_\beta) \bigg] \bigg) \rc\rc

1543: &&\qquad\qquad + iH\sin\theta\,\phi_y -

1544: {i\over H}\,\Big[ \theta_{\beta} - y \theta_\psi + (1-cy) \cos\theta

1545: (\theta_\beta \phi_\psi - \theta_{\psi} \phi_\beta) \Big] \Bigg]\,.

1546: \label{expressionHEKcs}

1547: \eear

1548: Again, we notice that the matrices $\Gamma_1$, $\Gamma_3$ and $\Gamma_{135}$

1549: do not commute with the projections (\ref{epsilon-project}). We must impose:

1550: \beq

1551: c_1=c_3=c_{135}=0\,\,.

1552: \eeq

1553: From the vanishing of the imaginary part of $c_3$ we obtain the condition:

1554: \beq

1555: \sin\theta\,\phi_\psi\,=\,0\,\,.

1556: \label{HEKimc3}

1557: \eeq

1558: One can solve the condition (\ref{HEKimc3}) by taking $\sin\theta\,=\,0$,

1559: \ie\ for $\theta=0,\pi$. By inspection one easily realizes that $c_1$, $c_3$

1560: and $c_{135}$ also vanish for these values of $\theta$ and for an arbitrary

1561: function $\phi(y,\beta,\psi)$. Therefore, we have the solution

1562: \beq

1563: \theta=0,\pi\,\,,\qquad \phi=\phi(y,\beta,\psi)\,\,.

1564: \eeq

1565: Another possibility is to take $\phi_\psi=0$. In this case one readily

1566: verifies that $c_1$ and $c_3$ vanish if $\theta_\psi=0$. Thus, let us

1567: assume that both $\phi$ and $\theta$ are independent of the angle $\psi$.

1568: From the vanishing of the real and imaginary parts of $c_{135}$ we get two

1569: equations for the functions $\theta=\theta(y,\beta)$ and

1570: $\phi=\phi(y,\beta)$, namely:

1571: \bear

1572: &&\theta_y\,+\,

1573: {\sin\theta\over H^2}\,\phi_{\beta}\,+\,c\cos\theta\,

1574: (\phi_y\,\theta_\beta\,-\,\theta_y\,\phi_\beta)\,=\,0\,\,,\rc\rc

1575: &&\theta_\beta\,-\,H^2\,

1576: \sin\theta\phi_y\,=\,0\,\,.

1577: \label{HEKBPS}

1578: \eear

1579: If the BPS equations (\ref{HEKBPS}) hold, one can verify that the kappa

1580: symmetry condition $\Gamma_{\kappa}\,\epsilon\,=\,\epsilon$ reduces, up

1581: to a sign, to the projection (\ref{d3-epsilon-cond}) for the Killing

1582: spinor. As in the case of the S three-cycles studied in subsection

1583: \ref{singlet}, by using the explicit expression (\ref{globalspinor}) of

1584: $\epsilon$ in terms of the global coordinates of $AdS_5$, one concludes

1585: that the D3-brane must be placed at $\rho=0$. The corresponding

1586: configuration preserves four supersymmetries. 

1587: 

1588: In the next subsection we will tackle the problem of finding the general

1589: solution of the system (\ref{HEKBPS}). Here we will analyze the trivial

1590: solution of this system, namely:

1591: \beq

1592: \theta\,=\,{\rm constant}\,\,,\qquad\qquad

1593: \phi\,=\,{\rm constant}\,\,.

1594: \label{HEKconstant}

1595: \eeq

1596: This kind of three-cycle was studied in ref.\cite{hek} by Herzog, Ejaz and Klebanov (see also \cite{sequiver}), who showed that it corresponds to

1597: dibaryons made out of the $SU(2)$

1598: doublet fields $U^{\alpha}$. In what follows we will refer to it as doublet

1599: (D) cycle. Let us review the arguments leading to this identification. First

1600: of all, the volume of the D cycle (\ref{HEKconstant}) can be computed

1601: with the result:

1602: \beq

1603: V_3^{D}\,=\,{L^3\over 3}\,(2\pi)^2\, (y_2-y_1)\,\ell\,\,.

1604: \eeq

1605: By using the values of $y_{1}$ and $y_{2}$ (eq.(\ref{y12})), $L$

1606: (eq.(\ref{L})) and 

1607: $\ell$ (eq.(\ref{alphaperiod})) we find the following value of the conformal

1608: dimension:

1609: \beq

1610: \Delta^{D}\,=\,N\,{p\over q^2}\,\Big(\,2p\,-\,\sqrt{4p^2 - 3q^2}\,\,\Big)\,.

1611: \eeq

1612: By comparison with Table \ref{charges}, one can verify that the

1613: corresponding R-charge, namely $2/3\, \Delta^{D}$, is equal to the R-charge of

1614: the field $U^{\alpha}$ multiplied by $N$. We can check this identification

1615: by computing the baryon number. Since, in this case, the pullback of

1616: $\Omega_{2,1}$ is:

1617: \beq

1618: P\big[\,\Omega_{2,1}\,\big]_{{\rm D}}\,=\,i\,{K\over 3

1619: (1-cy)^2}\,dy\wedge\,d\alpha\wedge d\psi

1620: \eeq

1621: we get:

1622: \beq

1623: {\cal B}({\rm D})\,=\,- i \int_{{\rm D}}\,

1624: P\big[\,\Omega_{2,1}\,\big]_{{\rm D}}\,=\,-p\,\,,

1625: \eeq

1626: which, indeed, coincides with the baryon number of $U^{\alpha}$ written in

1627: Table \ref{charges}. 

1628: 

1629: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1630: \subsubsection{General integration}

1631: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1632: 

1633: Let us now try to integrate in general the first-order differential system

1634: (\ref{HEKBPS}). With this purpose it is more convenient to describe the

1635: locus of the D3-brane by means of two functions $y = y(\theta,\phi)$,

1636: $\beta =

1637: \beta(\theta,\phi)$. Notice that this is equivalent to the description used

1638: so far (in which the independent variables were $(y, \beta)$), except for

1639: the cases in which $(\theta,\phi)$ or $(y, \beta)$ are constant. The

1640: derivatives in these two descriptions are related by simply inverting the

1641: Jacobian matrix, \ie:

1642: \beq

1643: \pmatrix{ y_\theta & y_\phi \cr \beta_\theta &

1644: \beta_\phi}\,=\,\pmatrix{ \theta_y &\theta_\beta \cr \phi_y &

1645: \phi_\beta}^{-1}\,\,.

1646: \eeq

1647: By using these equations the first-order system (\ref{HEKBPS}) is equivalent

1648: to:

1649: \beq

1650: \beta_\theta\,=\,{y_\phi\over H^2\sin\theta}\,\,,

1651: \qquad\qquad

1652: \beta_\phi\,=\,c\cos\theta\,-\,{\sin\theta\over H^2}\,y_{\theta}\,\,.

1653: \label{BPSthetaphi}

1654: \eeq

1655: These equations can be obtained directly by using $\theta$ and $\phi$ as

1656: worldvolume coordinates. Interestingly, in this form the BPS equations can

1657: be written as Cauchy--Riemann equations and, thus, they can be integrated in

1658: general. This is in agreement with the naive expectation that, at least

1659: locally, these equations should determine some kind of holomorphic

1660: embeddings. In order to verify this fact, let us introduce new

1661: variables $u_1$ and $u_2$, related to $\theta$ and $y$ as follows:

1662: \begin{equation}

1663:  u_1=\,\log\,

1664: \bigg(\,\tan

1665: \frac{\theta}{2}\,\bigg), \qquad \qquad u_2=\,\log\, \bigg(\,\frac{(\sin

1666: \theta)^c}{f_1(y)}\,\bigg).

1667: \end{equation}

1668: By comparing the above expressions with the definitions of $z_1$ and $z_2$

1669: in eq.(\ref{complexzs}), one gets:

1670: \beq

1671: u_1-i\phi\,=\,\log z_1\,\,, \qquad\qquad

1672: u_2-i\beta\,=\,\log z_2\,\,.

1673: \eeq

1674: The relation between $u_1$ and $\theta$ leads to $du_1 =

1675: d\theta/\sin\theta$, from which it follows that:

1676: \beq

1677: {\partial u_2\over \partial u_1}\,=\,c\cos\theta - {\sin\theta\over

1678: H^2}\,y_{\theta}\,\,, \qquad\qquad\qquad

1679: {\partial \beta\over \partial u_1}\,=\,\sin\theta\,\beta_{\theta}\,\,,

1680: \eeq

1681: and it is easy to demonstrate that the BPS equations (\ref{BPSthetaphi})

1682: can be written as:

1683: \begin{equation}

1684: \frac{\partial u_2}{\partial u_1} = \frac{\partial \beta}{\partial

1685: \phi}\,, \qquad\qquad \frac{\partial u_2}{\partial \phi} = -

1686: \frac{\partial \beta}{\partial u_1}\,,

1687: \end{equation}

1688: these being the Cauchy--Riemann equations for the variables $u_2 - i\beta

1689: = \log z_2$ and $u_1 - i\phi = \log z_1$. Then, the general integral of the

1690: BPS equations is

1691: \begin{equation}

1692: \log z_2\,=\,f(\log z_1)\,\,,

1693: \label{logrelation}

1694: \end{equation}

1695: where $f$ is an arbitrary (holomorphic) function of $\log z_1$. By

1696: exponentiating eq.(\ref{logrelation}) one gets that the general solution of

1697: the BPS equations is a function $z_2=g(z_1)$, in which $z_2$ is an arbitrary

1698: holomorphic function of $z_1$. This result is analogous to what happened for

1699: $T^{1,1}$ \cite{acr}. The appearance of a holomorphic function in the local

1700: complex coordinates $z_1$ and $z_2$ is a consequence of kappa symmetry or,

1701: in other words, supersymmetry. But one still has to check that this equation

1702: makes sense globally. We will come to this point shortly. The simplest case

1703: is that in which $\log z_2$ depends linearly on $\log z_1$, namely

1704: \begin{equation}

1705: \log z_2\,=\,n(\log z_1)\,+\,{\rm const.} ~,

1706: \end{equation}

1707: where $n$ is a constant. By exponentiating this equation we get a relation between 

1708: $z_2$ and $z_1$ of the type:

1709: \beq

1710: z_2\,=\,{\cal C}\,z_1^n ~,

1711: \label{n-winding}

1712: \eeq

1713: where ${\cal C}$ is a complex constant. If we represent this constant as

1714: ${\cal C}=Ce^{-i\beta_0}$, the embedding (\ref{n-winding}) reduces to the

1715: following real functions $\beta=\beta(\phi)$ and $y=y(\theta)$:

1716: \bear

1717: \beta&=&n\phi\,+\,\beta_0\,\,,\rc\rc

1718: f_1(y)&=&C\,\,{\big (\,\sin\theta\,\big)^c\over \Big(\tan{\theta\over

1719: 2}\Big)^n}\,\,.

1720: \label{embgen}

1721: \eear

1722: This is a nontrivial embedding of a probe D3-brane on $AdS_5 \times Y^{p,q}$.

1723: Notice that in the limit $c \to 0$ one recovers the results of \cite{acr}.

1724: For $c \neq 0$, a key difference arises. As we discussed earlier, $z_2$ is

1725: not globally well-defined in $CY^{p,q}$ due to its dependence on $\beta$. 

1726: As a consequence, eqs.(\ref{n-winding})--(\ref{embgen}) describe a

1727: kappa-symmetric embedding for the D3-brane on $Y^{p,q}$ but it does not

1728: correspond to a wrapped brane. The D3-brane spans a submanifold with

1729: boundaries.\footnote{In this respect, notice that it might happen that

1730: global consistency forces, through boundary conditions, the D3-brane

1731: probes to end on other branes.} The only solution corresponding to a probe

1732: D3-brane wrapping a three-cycle is $z_1 = {\rm const.}$ which is the one

1733: obtained in the preceding subsection.

1734: 

1735: In order to remove $\beta$ while respecting holomorphicity \footnote{One

1736: might think that a possible caveat to this problem is to choose a different

1737: slicing of $Y^{p,q}$ as the one in (\ref{alphametric}), where the metric is

1738: written as a U(1) bundle coordinatized by $\alpha$ (the base not being a

1739: K\"ahler--Einstein manifold). The complex coordinates of the slice are

1740: \beq

1741: \tilde z_1 = z_1 ~, ~~~~~~~ \tilde z_2 = G(y) \sin\te e^{i \psi} ~,

1742: \eeq

1743: where $G'(y)/G(y) = 3/\sqrt{w(y)} q(y)$. However, a `holomorphic' ansatz of

1744: the form $\tilde z_1 = \tilde z_2^m$ would be related to an embedding of

1745: the form

1746: $\phi = \phi(\psi)$ and $\te = \te(y)$, which is a particular case of

1747: (\ref{embdoublet}) albeit it is not kappa symmetric. These complex

1748: coordinates $\tilde z_1$ and $\tilde z_2$ have nothing to do with the

1749: complex structure of the Calabi-Yau manifold and, as such, kappa symmetry

1750: is not going to lead to a holomorphic embedding in terms of them.}, we

1751: seem to be forced to let $z_3$ enter into the game. The reason is simple,

1752: any dependence in $\beta$ disappears if $z_2$  enters through the

1753: product $z_2 z_3$. This would demand embeddings involving the radius that

1754: we did not consider. In this respect, it is interesting to point out that

1755: this is also the conclusion reached in \cite{BHOP} from a different perspective:

1756: there, the complex coordinates corresponding to the generators of the

1757: chiral ring are deduced and it turns out that all of them depend on $z_1$,

1758: $z_2 z_3$ and $z_3$. It would be clearly desirable to understand these

1759: generalized wrapped D3-branes in terms of algebraic geometry, following

1760: the framework of Ref.\cite{beasley} which, in the case of the conifold, 

1761: emphasizes the use of global homogeneous coordinates. Unfortunately, the

1762: relation between such homogeneous coordinates and the chiral fields of

1763: the quiver theory is more complicated in the case of $CY^{p,q}$.

1764: 

1765: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1766: \subsection{The calibrating condition}

1767: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1768: 

1769: Let us now verify that the BPS equations we have obtained ensure that the

1770: three-dimensional submanifolds we have found are calibrated. First, recall

1771: that the metric of the $Y^{p,q}$ manifold can be written as (\ref{slice}),

1772: $$ ds^2_{Y^{p,q}}\,=\,ds^2_{4} + \left[ \frac{1}{3} d\psi + \sigma

1773: \right]^2 ~, $$

1774: where $\sigma$ is a one-form given by

1775: \beq

1776: \sigma\,=\,{1\over 3}\,\big[\,\cos\theta d\phi\,+\,y (d\beta\,-\,

1777: c\cos\theta d\phi)\,\big]\,\,.

1778: \eeq

1779: The  K\"ahler form $J_4$ of the four-dimensional K\"ahler-Einstein space

1780: is just

1781: \beq

1782: J_4\,=\,{1\over 2}\,d\sigma\,=\,{1\over L^2}\,\big[\,

1783: e^1\wedge e^2\,-\,e^3\wedge e^4\,\big]\,\,,

1784: \eeq

1785: where the $e^i$'s are the forms of the vielbein (\ref{Ypqvielbein}). From

1786: the Sasaki-Einstein space $Y^{p,q}$  we can construct the Calabi-Yau cone

1787: $CY^{p,q}$, whose metric is just given by: $ds^2_{CY^{p,q}}\,=\,dr^2 +

1788: r^2\,ds^2_{Y^{p,q}}$. The  K\"ahler form $J$ of $CY^{p,q}$ is just:

1789: \beq

1790: J\,=\,r^2\,J_4\,+\,{r\over L}\,dr\wedge e^5\,\,,

1791: \eeq

1792: whose explicit expression in terms of the coordinates is:

1793: \beq

1794: J\,=\,-{r^2\over 6}\,(1-cy)\,\sin\theta d\theta\wedge d\phi\,+\,{1\over

1795: 3}\,r dr\wedge (d\psi+\cos\theta d\phi)\,+\,{1\over 6} d(r^2y)\wedge 

1796: (d\beta\,-\,c\cos\theta d\phi)\,\,.

1797: \eeq

1798: Given a three-submanifold in $Y^{p,q}$ one can construct its cone

1799: ${\cal D}$, which is a four-dimensional submanifold of $CY^{p,q}$. The

1800: calibrating condition for a supersymmetric four-submanifold ${\cal D}$ of

1801: $CY^{p,q}$ is just:

1802: \beq

1803: P\Big[\,{1\over 2}\,J\wedge J\,\Big]_{{\cal D}}\,=\,

1804: {\rm Vol}({\cal D})\,\,,

1805: \label{calibration}

1806: \eeq

1807: where  ${\rm Vol}({\cal D})$ is the volume form of the divisor 

1808: ${\cal D}$. Let us check that the condition (\ref{calibration}) is indeed

1809: satisfied by the cones constructed from our three-submanifolds. In order

1810: to verify this fact it is more convenient to describe the embedding by

1811: means of functions

1812: $y=y(\theta,\phi)$ and $\beta=\beta(\theta,\phi)$. The corresponding BPS

1813: equations are the ones written in (\ref{BPSthetaphi}). By using them one

1814: can verify that the induced volume form for the three-dimensional

1815: submanifold is:

1816: \beq

1817: vol\,=\,{1\over 18}\,\Big|\,(1-cy)\sin\theta\,+\,c\cos\theta y_{\theta}\,+\,

1818: \beta_\theta y_\phi\,-\,y_\theta\beta_\phi\,\Big|_{BPS}\,\,

1819: d\theta\wedge d\phi\wedge d\psi ~.

1820: \eeq

1821: By computing the pullback of $J\wedge J$ one can verify that the calibrating condition

1822: (\ref{calibration}) is indeed satisfied for:

1823: \beq

1824: {\rm Vol}({\cal D})\,=\,-r^3\,dr\wedge vol\,\,,

1825: \eeq

1826: which is just the volume form of ${\cal D}$ with the metric

1827: $ds^2_{CY^{p,q}}$ having a particular orientation. Eq. (\ref{calibration})

1828: is also satisfied for the cones constructed from the singlet and doublet 

1829: three-cycles of sections \ref{singlet} and \ref{hekconst}. This fact is

1830: nothing but the expression of the local nature of supersymmetry. 

1831: 

1832: 

1833: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1834: \subsection{Energy bound}

1835: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1836: 

1837: The dynamics of the D3-brane probe is governed by the Dirac-Born-Infeld lagrangian that, for the case in which there are not worldvolume gauge

1838: fields, reduces to:

1839: \beq

1840: {\cal L}\,=\,-\sqrt{-g}\,\,,

1841: \label{D3lag-den}

1842: \eeq

1843: where we have taken the D3-brane tension equal to one. We have checked that any solution of the first-order

1844: equations (\ref{HEKBPS}) or (\ref{BPSthetaphi}) also satisfies the

1845: Euler-Lagrange equations derived from the lagrangian density

1846: (\ref{D3lag-den}). Moreover, for the static configurations we are

1847: considering here the hamiltonian density ${\cal H}$  is, as expected, 

1848: just ${\cal H}=-{\cal L}$. We are now going to verify that this energy

1849: density satisfies a bound, which is just saturated when the BPS equations

1850: (\ref{HEKBPS}) or (\ref{BPSthetaphi}) hold. In what follows we will take

1851: $\theta$ and $\phi$ as independent variables. For an  arbitrary 

1852: embedding of a D3-brane described by two functions $\beta=\beta(\theta,

1853: \phi)$ and

1854: $y=y(\theta, \phi)$ one can show that ${\cal H}$ can be written as:

1855: \beq

1856: {\cal H}\,=\,\sqrt{{\cal Z}^2\,+\, {\cal Y}^2\,+{\cal W}^2}\,\,,

1857: \eeq

1858: where ${\cal Z}$, ${\cal Y}$ and ${\cal W}$ are given by:

1859: \bear

1860: {\cal Z}&=&{L^4\over 18}\,\Bigg[\,

1861: (1-cy)\sin\theta\,+c\cos\theta y_{\theta}+ 

1862: y_{\phi}\beta_{\theta}-y_{\theta}\beta_{\phi}\,\Bigg]\,\,,\rc\rc

1863: {\cal Y}&=&{L^4\over 18}\,\sqrt{1-cy}\,\,H\,

1864: \Bigg[\,\beta_{\phi}\,-\,c\cos\theta\,+\,{\sin\theta \over H^2}\,y_{\theta}

1865: \,\Bigg]\,\,,\rc\rc

1866: {\cal W}&=&{L^4\over 18}\,\sqrt{1-cy}\,\,H\,

1867: \Bigg[\,\sin\theta\,\beta_{\theta}\,-\,{y_{\phi}\over H^2}\,\Bigg]\,\,.

1868: \eear

1869: Obviously one has:

1870: \beq

1871: {\cal H}\ge \big|\,{\cal Z}\,\big|\,\,.

1872: \label{energybound}

1873: \eeq

1874: Moreover, since 

1875: \beq

1876: {\cal Y}_{\big |\,BPS}\,=\,{\cal W}_{\big |\,BPS}\,=\,0\,\,,

1877: \eeq

1878: the bound saturates when the BPS equations (\ref{BPSthetaphi}) are satisfied.

1879: Thus, the system of

1880: differential equations (\ref{BPSthetaphi}) is equivalent to the condition 

1881: ${\cal H}= \big|\,{\cal Z}\,\big|$ (actually ${\cal Z}\ge 0$ if the BPS

1882: equations (\ref{BPSthetaphi}) are satisfied). Moreover, for an arbitrary

1883: embedding

1884: ${\cal Z}$ can be written as a total derivative, namely:

1885: \beq

1886: {\cal Z}\,=\,{\partial\over \partial \theta}\,{\cal Z}^{\theta}\,+\,

1887: {\partial\over \partial \phi}\,{\cal Z}^{\phi}\,\,.

1888: \eeq

1889: This result implies that ${\cal H}$ is bounded by the integrand of a topological

1890: charge. The explicit form of ${\cal Z}^{\theta}$ and ${\cal Z}^{\phi}$ is:

1891: \bear

1892: {\cal Z}^{\theta}&=&-{L^4\over 18}\,\Big[\,(1-cy)\cos\theta\,+\,y\,\beta_{\phi}\,

1893: \Big]\,\,,\rc\rc

1894: {\cal Z}^{\phi}&=&{L^4\over 18}\,y\,\beta_{\theta}\,\,.

1895: \eear

1896: In this way, from the point of view of the D3-branes, the configurations

1897: satisfying eq. (\ref{BPSthetaphi})  can be regarded as BPS worldvolume

1898: solitons. 

1899: 

1900: 

1901: 

1902: 

1903: 

1904: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1905: \subsection{BPS fluctuations of dibaryons}

1906: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1907: 

1908: In this section we study BPS fluctuations of dibaryon

1909: operators in the $Y^{p,q}$ quiver theory. We start with the

1910: simplest dibaryon which is singlet under $SU(2)$, say  $\det Y$. 

1911: To construct excited dibaryons we should replace one of the $Y$ factors 

1912: by any other chiral field  transforming in the same

1913: representation of the gauge groups. For example,  replacing $Y$

1914: by

1915: $YU^{\alpha}V^{\beta}Y$, we get a new operator of the form

1916: \begin{eqnarray}

1917: \epsilon_1\epsilon^2(YU^{\alpha}V^{\beta}Y)Y\cdots Y\,\,,

1918: \end{eqnarray}

1919: where $\epsilon_1$ and $\epsilon^2$ are abbreviations for the

1920: completely anti-symmetric tensors for the respective $SU(N)$

1921: factors of the gauge group. Using the identity

1922: \begin{eqnarray}

1923: \epsilon^{a_1\cdots a_N}\epsilon_{b_1\cdots

1924: b_N}=\sum_{\sigma}(-1)^{\sigma}\delta^{a_1}_{\sigma(b_1)}\cdots

1925: \delta^{a_N}_{\sigma(b_N)}\,\,,

1926: \end{eqnarray}

1927: the new operator we get can factorize into the original dibaryon

1928: and a single-trace operator

1929: \begin{eqnarray}

1930: {\rm Tr}(U^{\alpha}V^{\beta}Y)\;{\rm det}\,Y\,\,.

1931: \end{eqnarray}

1932: Indeed for singlet dibaryons, a factorization of this sort always works.

1933: This fact seems to imply, at least at weak coupling,  that excitation of a

1934: singlet dibaryon can be represented as graviton fluctuations in the

1935: presence of the original dibaryon.

1936: 

1937: For the case of dibaryon with $SU(2)$ quantum number the

1938: situation is different. Consider, for simplicity, the state with

1939: maximum $J_3$ of the $SU(2)$

1940: \begin{eqnarray}

1941: \epsilon_1\epsilon^2(U^1\cdots U^1)={\rm det}\,U^1,

1942: \end{eqnarray}

1943: we can replace one of $U^1$ factors by $U^1\, {\cal O}$, where $\cal O$ is

1944: some operator given by a closed loop in the quiver. As the case of

1945: singlet dibaryon, this kind of excitation is factorizable since

1946: all $SU(2)$ indices are symmetric. So this kind of operator should

1947: be identified with a graviton excitation with wrapped D3-brane in the

1948: dual string theory. However if the $SU(2)$ index of the $U$ field

1949: is changed in the excitation, i.e. $U^1\rightarrow U^2\, {\cal O}$,

1950: then the resulting operator cannot be written as a product of the

1951: original dibaryon and a meson-like operator. Instead it

1952: has to be interpreted as a single particle state in $AdS$. Since

1953: the operator also carries the same baryon number, the natural

1954: conclusion is that the one-particle state is a BPS excitation of

1955: the wrapped D3-brane corresponding to the dibaryon \cite{ba2}.

1956: 

1957: \begin{figure}[ht]

1958: \centerline{\epsffile{Y42loops.eps}}

1959: \caption{Loops in the $Y^{4,2}$ quiver representing mesonic operators

1960: in the chiral ring. There are short loops such as $UVY$, $VUY$ or $YUZU$

1961: (upper), longest loops as $VUVUZUZU$ (middle) and long loops like $YUYYYU$

1962: (bottom). The representative of each class in the chiral ring is,

1963: respectively, ${\cal O}_1$, ${\cal O}_2$ and ${\cal O}_3$.}

1964: \label{Y42loops}

1965: \end{figure}

1966: 

1967: In order to classify all these BPS excitations of the dibaryon, we

1968: have to count all possible inequivalent chiral operators $\cal O$

1969: that transform in the bifundamental representation of one of the

1970: gauge group factors of the theory. In $Y^{p,q}$ quiver gauge theory, these

1971: operators correspond to loops in the quiver diagram just like the mesonic

1972: chiral operators discussed in \cite{bk}. The simplest ones are

1973: operators with R-charge 2. They have been thoroughly discussed in

1974: \cite{benami}. They are given by short loops of length 3 or 4 in

1975: the quiver, precisely as those operators entering in the superpotential

1976: (\ref{supYpq}). They are single trace operators of the form

1977: (in what follows we omit the trace and the $SU(2)$ indices) $UVY$,

1978: $VUY$ or $YUZU$ (see the upper quiver in Fig.\ref{Y42loops}).

1979: Since they are equivalent in the chiral ring, we can identify

1980: them as a single operator ${\cal O}_1$. It transforms in the

1981: spin $\frac{1}{2} \otimes \frac{1}{2} = 0 \oplus 1$ representation

1982: of the global $SU(2)$. The scalar component vanishes in the chiral

1983: ring. Thus, we end up with a spin 1 chiral operator with scaling

1984: dimension $\Delta = 3$. Its $U(1)_F$ charge vanishes.

1985: 

1986: There are also two classes of long loops in the quiver. The first

1987: class, whose representative is named ${\cal O}_2$, has length $2p$,

1988: winds the quiver from the left to the right and is made of $p$ $U$

1989: type operators, $q$ $V$ type operators and $p-q$ $Z$ type operators.

1990: For example, in $Y^{4,2}$, a long loop of this class is $VUVUZUZU$

1991: (middle quiver in Fig.\ref{Y42loops}). It transforms in the spin

1992: $\frac{1}{2} \otimes ... \otimes \frac{1}{2} = \frac{p+q}{2} \oplus

1993: \dots$ representation of $SU(2)$. The dots amount to lower dimensional

1994: representations that vanish in the chiral ring. The resulting operator,

1995: ${\cal O}_2$, has spin $\frac{p+q}{2}$. There is another class of

1996: long loops which has length $2p-q$, running along the quiver in the

1997: opposite direction, build with $p$ $Y$ type operators and $p-q$ $U$

1998: type operators. We name its representative as ${\cal O}_3$. 

1999: In the case of $Y^{4,2}$, it is an operator like $YUYYYU$ (bottom

2000: quiver in Fig.\ref{Y42loops}). $SU(2)$ indices, again, have to be

2001: completely symmetrized, the spin being $\frac{p-q}{2}$. Long loops

2002: wind around the quiver and this leads to a nonvanishing value of

2003: $Q_F$ \cite{bk}. The baryonic charge vanishes for any of these loops.

2004: We summarize in Table \ref{chring} the charge assignments for the

2005: three kinds of operators ${\cal O}_i$ \cite{bk}.

2006: \begin{table}

2007: \begin{center}

2008: $$\begin{array}{|c|c|c|c|}

2009: \hline {\rm Operator} & Q_R & Q_F & {\rm Spin} \\

2010: \hline\hline

2011: & & & \\[-1.5ex]

2012: {\cal O}_1 & 2 & 0 & 1 \\[1ex]

2013: \hline

2014: & & & \\[-1.5ex]

2015: {\cal O}_2 & p+q-\frac{1}{3\ell} & p & \frac{p+q}{2}\\[1ex]

2016: \hline

2017: & & & \\[-1.5ex]

2018: {\cal O}_3 & p-q+\frac{1}{3\ell} & -p & \frac{p-q}{2}\\[1ex]

2019: \hline

2020: \end{array}$$

2021: \caption{Charges assignments for the mesonic operators

2022: ${\cal O}_i$ that generate the chiral ring.}

2023: \label{chring}

2024: \end{center}

2025: \end{table}

2026: We can see that these operators satisfy the BPS condition $\Delta={3\over

2027: 2}\, Q_R$. In fact, they are the building blocks of all other scalar BPS

2028: operators. The general BPS excitation corresponds to operators of the form

2029: \begin{eqnarray}

2030: {\cal O}=\prod_{i=1}^3{\cal O}_{i}^{\,\,n_i}\,\,.

2031: \end{eqnarray}

2032: It is interesting to notice that the spectrum of  fluctuations

2033: of a dibaryon must coincide with the mesonic chiral operators in the 

2034: $Y^{p,q}$ quiver theory. This would provide a nontrivial test of the 

2035: AdS/CFT correspondence. We show this result explicitly via an analysis of

2036: open string fluctuation on wrapped  D3-branes.

2037: 

2038: Now we are interested in describing the excitations of dibaryon operators from the dual 

2039: string theory. For those excitations that are

2040: factorizable, the dual configurations are just the multi-particle

2041: states of graviton excitations in the presence of a dibaryon. The

2042: correspondence of graviton excitation and mesonic operator were

2043: studied in \cite{bk}\cite{ksy}. What we are really interested in

2044: are those non-factorizable operators that can be interpreted as

2045: open string excitations on the D-brane. This can be analyzed by

2046: using the Dirac-Born-Infeld action of the D3-brane. In what follows  we will

2047: focus on the dibaryon made of $U$ fields, which corresponds to the 

2048: three-cycle D studied in subsection \ref{hekconst} which, for convenience,

2049: we will  parameterize with the coordinates $(y,\psi, \alpha)$. The

2050: analysis of the dibaryon made of $V$ field is similar. For our purpose 

2051: we will use, as in eq. (\ref{globalADS}),  the global coordinate system

2052: for the $AdS_5$ part  of the metric and we will take the $Y^{p,q}$ part

2053: as written in eq.  (\ref{alphametric}).  We are interested in the normal

2054: modes of oscillation of the wrapped D3-brane around the solution

2055: corresponding to some fixed worldline in $AdS_5$ and some fixed $\theta$

2056: and $\phi$ on the transverse $S^2$. For such a configuration, the induced

2057: metric on the dibaryon is:

2058: \begin{eqnarray}

2059: L^{-2}ds^2_{ind}=- d\tau^2+\frac{1}{wv}dy^2+\frac{v}{9}d\psi^2+w(d\alpha+fd\psi)^2\,\,,

2060: \end{eqnarray}

2061: where the functions $v(y)$, $w(y)$ and $f(y)$ have been defined in eq. (\ref{qwy}) (in what

2062: follows of this subsection we will take $c=1$). 

2063: 

2064: 

2065: 

2066: 

2067: The fluctuations along the transverse $S^2$ are

2068: the most interesting, since they change the $SU(2)$ quantum

2069: numbers and are most readily compared with the chiral primary

2070: states in the field theory.

2071: Without lost of generality, we consider fluctuations around the

2072: north pole of the $S^2$, i.e. $\theta_0=0$. Instead of using

2073: coordinates $\theta$ and $\phi$, it is convenient to go from polar to Cartesian coordinates:

2074: $\zeta^1=\theta\sin\phi$ and $\zeta^2=\theta\cos\phi$. As a further simplification we

2075: perform a shift in the coordinate $\psi$. The action for the D3-brane is:

2076: \beq

2077: S\,=\,-T_3\,\int d^4\xi \sqrt{-\det g}\,+\,T_3\,\int P[C_{(4)}]\,\,.

2078: \eeq

2079: Let us expand the induced metric $g$ around the static configuration as $g=g_{(0)}+\delta

2080: g$, where  $g_{(0)}$ is the zeroth order contribution. The corresponding expansion for the

2081: action takes the form:

2082: \beq

2083: S\,=\,S_0\,-\,{T_3\over 2}\,\int d^4\xi \sqrt{-\det g_{(0)}}\,\,

2084: {\rm Tr}\,\big[g_{(0)}^{-1}\,\delta g\big]\,+\,T_3\,\int P[C_{(4)}]\,\,,

2085: \eeq

2086: where $S_0=-T_3\,\int d^4\xi \sqrt{-\det g_{(0)}}$.  Note that the determinant of the

2087: induced metric at zeroth order is a constant: 

2088: $\sqrt{-{\rm det}(g_{(0)})}=\frac{1}{3}L^4$.

2089: The five-form field strength is 

2090: \begin{eqnarray}

2091: F_5=(1+*)\, 4\sqrt{{\rm det}(G_{Y^{p,q}})}L^4d\theta\wedge d\phi\wedge

2092: dy\wedge d\psi\wedge d\alpha\,\,.

2093: \end{eqnarray}

2094: Moreover, using that $\sqrt{{\rm det}(G_{Y^{p,q}})}=\frac{1-y}{18}\sin\theta$, we

2095: can choose the four-form Ramond-Ramond field to be

2096: \begin{eqnarray}

2097: C_4=\frac{2}{9}(1-y)L^4(\cos\theta-1)\,d\alpha\wedge dy\wedge d\psi

2098: \wedge d\phi\,,

2099: \end{eqnarray}

2100: which is well defined around the north pole of $S^2$. At  quadratic

2101: order, the four form $C_4$ is 

2102: \begin{eqnarray}

2103: C_4=-\sqrt{-{\rm det}\, g_{(0)} }\,\,\frac{1-y}{3}\epsilon_{ij}\,\zeta^i\,d\zeta^j\wedge

2104: d\alpha\wedge dy\wedge d\psi\,\,.

2105: \end{eqnarray}

2106: The contribution from the Born-Infeld part of the effective action is: 

2107: \beq

2108: {\rm Tr}\,\big[g_{(0)}^{-1}\,\delta g\big]=G_{ij}\;g_{(0)}^{\mu\nu}

2109: \,(\partial_{\mu}\zeta^i\partial_{\nu}\zeta^j)+2g^{\mu\nu}_{(0)}\;

2110: G_{\mu i}\,\partial_{\nu}\zeta^i, 

2111: \eeq

2112: where $G$ is the metric of the background, $i,j$ denote the components of

2113: $G$ along the

2114: $\zeta^{1,2}$ directions and the indices $\mu,\nu$ refer to the directions

2115: of the worldvolume of the cycle. The non-vanishing components of $G$ are:

2116: \beq

2117: G_{ij}=\frac{1-y}{6}L^2\delta_{ij}, \quad G_{\psi i}=

2118: -\frac{1}{2}\bigg(wf^2+\frac{v}{9}\bigg)L^2\epsilon_{ij}\,\zeta^j, \quad 

2119: G_{\alpha i}=-\frac{wf}{2}L^2\epsilon_{ij}\,\zeta^j\,\,. 

2120: \eeq

2121: Using these results one can verify that the effective Lagrangian is

2122: proportional to:

2123: \begin{eqnarray}

2124: \sum_{i}L^2\frac{1-y}{6}g_{(0)}^{\mu\nu}

2125: (\partial_{\mu}\zeta^i\partial_{\nu}\zeta^i)+2g^{\mu\nu}_{(0)}\;G_{\mu

2126: i}\,\partial_{\nu}\zeta^i+\frac{2(1-y)}{3}\epsilon_{ij}

2127: \,\zeta^i\,\partial_{\tau}\zeta^j\,\,.

2128: \end{eqnarray}

2129: The equations of motion for the fluctuation are finally given by

2130: \begin{eqnarray}

2131: {L^2\over 6}\,\partial_{\mu}\bigg((1-y)\,g^{\mu\nu}_{(0)}\,

2132: \partial_{\nu}\zeta^i\,\bigg)+2\partial_{\nu}(g^{\mu\nu}_{(0)}\,G_{\mu

2133: i})-\frac{2(1-y)}{3}\epsilon_{ij}\,\partial_{\tau}\zeta^j=0\,\,.

2134: \end{eqnarray}

2135:  Introducing  $\zeta^{\pm}=\zeta^1\pm i\zeta^2$, the equations of motion

2136: reduce to

2137: \begin{eqnarray}

2138: \bigg(\nabla^2-\frac{1-y}{6}\partial_{\tau}^2\,\bigg) \zeta^{\pm}\pm

2139: i\frac{2(1-y)}{3}\partial_{\tau}\zeta^{\pm}\pm i\partial_{\psi}

2140: \zeta^{\pm}=0\,\,,

2141: \end{eqnarray}

2142: where $\nabla^2$ is the laplacian along the spatial directions of the cycle for the induced

2143: metric $g_{(0)}$. 

2144: The standard strategy to solve this equation is to use separation of

2145: variables as

2146: \begin{eqnarray}

2147: \zeta^{\pm}=\exp(-i\omega\tau)\exp\bigg(i\frac{m}{\ell}\alpha\bigg)\exp(in\psi)

2148: \,Y^{k\pm}_{mn}(y)\,\,.

2149: \end{eqnarray}

2150: Plugging  this ansatz into the equation of motion, we find

2151: \begin{eqnarray}

2152: &&\frac{1}{1-y}\frac{d}{dy}\bigg[(1-y)w(y)v(y)\frac{d}{dy}

2153: Y^{k\pm}_{mn}(y)\bigg]\\

2154: &=&\bigg[\bigg(\frac{9f^2(y)}{v(y)}+\frac{1}{w(y)}\bigg)\frac{m^2}{\ell^2}-

2155: \frac{18f(y)}{v(y)}\frac{m}{\ell}n+\frac{9}{v(y)}n^2-\omega(\omega\pm

2156: 4)\pm\frac{6n}{1-y}\bigg]Y^{k\pm}_{mn}(y)\,\,. \nonumber

2157: \end{eqnarray}

2158: The resulting equation has four

2159: regular singularities at $y=y_1,y_2,y_3$ and $\infty$ and is known as 

2160: Heun's equation (for clarity, in what follows we  omit the

2161: indices in $Y$) \cite{heun}:

2162: \be

2163: \frac{d^2}{dy^2}Y^{\pm}+\bigg(\sum_{i=1}^3

2164: \frac{1}{y-y_i}\bigg)\frac{d}{dy}Y^{\pm}+q(y)Y^{\pm}=0,\label{Fuch}

2165: \ee

2166: where, in our case

2167: \begin{eqnarray}

2168: q(y)&=&\frac{2}{{\cal Q}(y)}\bigg[\mu-\frac{y}{4}\omega(\omega\pm

2169: 4)-{1\over 2}\,\sum_{i=1}^3\frac{\alpha_i^2

2170: {\cal Q}'(y_i)}{y-y_i}\bigg]\,\,,\rc

2171: \mu&=&\frac{3}{32}(\frac{m}{\ell}+2n)(\frac{m}{\ell}-6n)+\frac{1}{4}\omega(\omega\pm

2172: 4)\mp \frac{3n}{2}\,\,, 

2173: \end{eqnarray}

2174: with ${\cal Q}(y)$ being the function defined in eq.(\ref{calq}). 

2175: Now, given that the R-symmetry is dual to the Reeb Killing vector of

2176: $Y^{p,q}$, namely $2\partial/\partial \psi\,-\,

2177: {1\over 3}\,\partial/\partial \alpha$, we can use the R-charge

2178: $Q_R=2n-m/3\ell$ instead of $n$

2179: as  quantum number. The exponents at the regular singularities $y=y_i$ are

2180: then given by

2181: \begin{eqnarray}

2182: \alpha_i=\pm \frac{1}{2}\frac{(1-y_i)(m/\ell+3Q_R\,y_i)}

2183: { {\cal Q}'(y_i)}.

2184: \end{eqnarray}

2185: The exponents at $y=\infty$ are $-\frac{\omega}{2}$ and

2186: $\frac{\omega}{2}+2$ for $Y^{+}$, while $-\frac{\omega}{2}+2$ and

2187: $\frac{\omega}{2}$ for $Y^{-}$.

2188: %where

2189: %\begin{eqnarray}

2190: %g(y)&=&9(m-2n)^2y^2-[16m(m-3n)+2a(m-6n)^2]y\nonumber\\

2191: %&+&4m^2(1-a)+9a(m-2n)^2

2192: %\end{eqnarray}

2193: We can transform the singularity from $\{y_1,y_2, y_3,\infty\}$ to

2194: $\{0,1,b=\frac{y_1-y_3}{y_1-y_2},\infty\}$ by introducing a new variable $x$, defined as:

2195: \begin{eqnarray}

2196: x=\frac{y-y_1}{y_2-y_1}.

2197: \end{eqnarray}

2198: It is also convenient to substitute

2199: \begin{eqnarray}

2200: Y=x^{|\alpha_1|}(1-x)^{|\alpha_2|}(b-x)^{|\alpha_3|}\,h(x)\,\,,

2201: \end{eqnarray}

2202: which transforms equation (\ref{Fuch}) into the standard form of the

2203: Heun's equation

2204: \be

2205: \frac{d^2}{dx^2}h(x)+\bigg(\frac{C}{x}+\frac{D}{x-1}+

2206: \frac{E}{x-b}\,\bigg)\frac{d}{dx}h(x)+\frac{AB

2207: x-k}{x(x-1)(x-b)}h(x)=0.\label{Heun}

2208: \ee

2209: Here the Heun's parameters are given by

2210: \begin{eqnarray}

2211: A&=&-\frac{\omega}{2}+\sum_{i=1}^3|\alpha_i|\,, \quad\quad

2212: B=\frac{\omega+ 4}{2}+\sum_{i=1}^3|\alpha_i| \,\,,\rc

2213: C&=&1+2|\alpha_1|\,, \quad\quad D=1+2|\alpha_2|\,, \quad\quad

2214: E=1+2|\alpha_3|\,,

2215: \end{eqnarray}

2216: and

2217: \begin{eqnarray}

2218: k&=&(|\alpha_1|+|\alpha_3|)(|\alpha_1|+|\alpha_3|+1)-|\alpha_2|^2\nonumber\\

2219: &+&b\bigg[(|\alpha_1|+|\alpha_2|)(|\alpha_1|+|\alpha_2|+1)-|\alpha_3|^2\bigg]-{\tilde

2220: \mu}\,\,,\rc

2221: {\tilde \mu}&=&-\frac{1}{y_1-y_2}\bigg(\mu-\frac{y_1}{4}\omega(\omega+

2222: 4)\bigg)\nonumber\\

2223: &=&\frac{p}{q}\bigg[\frac{1}{6}(1-y_1)\omega(\omega+

2224: 4)-\frac{3}{16}Q_R\,\bigg(Q_R+\frac{4m}{3\ell}\bigg)-

2225: \frac{1}{2}\bigg(Q_R+\frac{m}{3\ell}\bigg)\bigg]

2226: \,\,,\label{mu'}\rc

2227: %&=&\frac{p}{q}\bigg[\frac{1}{6}(1-y_1)\omega(\omega+

2228: %4)+\frac{1}{16}(m+2n)(m-6n)+ n\bigg]\rc

2229: b&=&\frac{1}{2}\bigg(1+\frac{\sqrt{4p^2-3q^2}}{q}\bigg)\,\,.

2230: \end{eqnarray}

2231: We only presented the equation for $Y^{+}$; the

2232: corresponding equation for $Y^{-}$ can be obtained by replacing

2233: $\omega$ with $\omega-4$ and changing the sign of the last term in

2234: (\ref{mu'}).

2235: 

2236: Now let us discuss the solutions to this differential equation.

2237: For quantum number $Q_R=2N$ (which implies $m=0$), we find all $\alpha_i$

2238: equal to $N/2$. If we set $\omega=3N$, the Heun's parameters

2239: $A$ and $k$ both vanish. The corresponding solution $h(x)$ is

2240: a constant function. Similarly if $\omega=-3N-4$, then $B$ and

2241: $k$ vanish which also implies a constant $h(x)$. The complete

2242: solution of $\zeta^{\pm}$ in these two cases is given by

2243: \begin{eqnarray}

2244: \zeta_1^{\pm}&=&e^{\pm

2245: i(-3N\tau+N\psi)}\prod_{i=1}^{3}(y-y_i)^{N/2}\,\,,\rc

2246: \zeta_2^{\pm}&=&e^{\pm

2247: i((3N+4)\tau+N\psi)}\prod_{i=1}^{3}(y-y_i)^{N/2}\,\,.

2248: \label{zetas}

2249: \end{eqnarray}

2250: These constant solutions represent ground states with fixed quantum

2251: numbers and, since they have the lowest possible dimension for a given

2252: R-charge, they should be identified with the BPS operators. Indeed, in

2253: the solutions (\ref{zetas}) the energy is quantized in units of $3L^{-1}$,

2254: and $3$ is precisely the conformal dimension of ${\cal O}_1$. This

2255: provides a perfect matching of AdS/CFT in this setting.

2256: 

2257: The situation for quantum numbers $Q_R=N(p\pm q\mp1/3\ell)$ and $m=\pm

2258: N$ is similar to the case we have just discussed. The solutions for

2259: $h(x)$ are constant with

2260: \beq

2261: \omega=\frac{Np}{2}\bigg(3\pm\frac{2p-\sqrt{4p^2-3q^2}}{q}\bigg)\,\,,

2262: \eeq

2263: and

2264: \beq

2265: \omega=-\frac{Np}{2}\bigg(3\pm\frac{2p-\sqrt{4p^2-3q^2}}{q}\bigg)-4.

2266: \eeq

2267: We can see the conformal dimension satisfies

2268: $\Delta=\frac{3}{2}Q_R$. So all these solutions are BPS

2269: fluctuations which should correspond to the operators ${\cal O}_2$

2270: and ${\cal O}_3$. 

2271: 

2272: 

2273: An interesting comment is in order at this point. Notice that the 

2274: dibaryon excitations should come out with the multiplicities associated

2275: to the SU(2) spin (see Table \ref{chring}) of the ${\cal O}_i$ operators.

2276: However, in order to tackle this problem, we would need to consider at

2277: the same time the fluctuation of the D3-brane probes and the zero-mode

2278: dynamics corresponding to their collective motion along the sphere with

2279: coordinate $\theta$ and $\phi$ (see ref.\cite{ba2} for a similar

2280: discussion in the conifold case). This is an

2281: interesting problem that we leave open.

2282: 

2283: 

2284: 

2285: 

2286: 

2287: 

2288: 

2289: 

2290: \setcounter{equation}{0}

2291: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2292: \section {Supersymmetric D5-branes in $AdS_5\times Y^{p,q}$}

2293: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2294: \label{d5}

2295: 

2296: In this section we will study the supersymmetric configurations of

2297: D5-branes in the $AdS_5\times Y^{p,q}$ background. First of all, notice

2298: that in this case 

2299: $\Gamma_{\kappa}$ acts on the Killing spinors $\epsilon$ as:

2300: 

2301: \beq

2302: \Gamma_{\kappa}\,\epsilon\,=\,{i\over 6!\, \sqrt{-g}}\,\,

2303: \epsilon^{\mu_1\cdots\mu_6}\,\gamma_{\mu_1\cdots\mu_6}\,\epsilon^*

2304: \label{Gammakappad5}\,\,,

2305: \eeq

2306: where we have used the relation (\ref{rule}) to translate eq. (\ref{gammakappa}).

2307: The appearance of the complex conjugation on the right-hand side of eq.

2308: (\ref{Gammakappad5}) is crucial in what follows. Indeed, the complex conjugation

2309: does not commute with the projections (\ref{epsilon-project}). Therefore, in order

2310: to construct an additional compatible projection involving the

2311: $\epsilon\to\epsilon^*$ operation we need to include a product of gamma matrices

2312: which anticommutes with both $\Gamma_{12}$ and $\Gamma_{34}$. As in the D3-brane 

2313: case just analyzed, this compatibility requirement between the 

2314: $\Gamma_{\kappa}\,\epsilon = \epsilon$  condition  and (\ref{epsilon-project})

2315: implies a set of differential equations whose solutions, if any, determine the

2316: supersymmetric embeddings we are looking for. 

2317: 

2318: We will carry out successfully this program only in the case of a D5-brane

2319: extended along a two-dimensional submanifold of $Y^{p,q}$. In analogy with

2320: what happens with the conifold \cite{ba1}, one expects that these kinds of

2321: configurations represent a domain wall in the gauge theory side such

2322: that, when one crosses one of these objects, the gauge groups change and

2323: one passes from an ${\cal N}=1$ superconformal field theory to a

2324: cascading theory with fractional branes. The supergravity dual of this

2325: cascading theory has been obtained in ref.

2326: \cite{hek}. In the remainder of this section we will find the

2327: corresponding configurations of the D5-brane probe. Moreover,  in section

2328: \ref{6} we will find, based on a different set of worldvolume

2329: coordinates, another embedding of this type preserving the same

2330: supersymmetry as the one found in the present section and we will analyze

2331: the effect of adding flux of the worldvolume gauge fields. In section

2332: \ref{6} we will also look at the possibility of having D5-branes wrapped

2333: on a three-dimensional submanifold of 

2334: $Y^{p,q}$. These configurations are not supersymmetric, although we have

2335: been able to  find stable solutions of the equations of motion. The case

2336: in which the D5-brane wraps the entire $Y^{p,q}$ corresponds to the baryon

2337: vertex. In this configuration, studied also in section \ref{6}, the

2338: D5-brane captures the flux of the RR five-form, which acts as a source

2339: for the electric worldvolume gauge field.  We will conclude in section

2340: \ref{6} that this configuration cannot be supersymmetric, in analogy with

2341: what happens in the conifold case\cite{acr}. 

2342: 

2343: 

2344: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2345: \subsection{Domain wall solutions}

2346: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2347: 

2348: We want to find a configuration in which the D5-brane probe wraps a

2349: two-dimensional submanifold of $Y^{p,q}$ and is a codimension one object

2350: in $AdS_5$. Accordingly, let us place the probe at some constant value of

2351: one of the Minkowski coordinates (say $x^3$) and let us extend it along

2352: the radial direction. To describe such an embedding we  choose the following

2353: set of worldvolume coordinates for  a D5-brane probe

2354: \beq

2355: \xi^{\mu}\,=\,(t,x^1,x^2,r,\te,\p)\,\,,

2356: \eeq

2357: and we adopt the following ansatz:

2358: \beq

2359: y=y(\theta,\phi)\,\,,\qquad

2360: \beta\,=\,\beta(\theta,\phi)\,\,,

2361: \label{D5dwansatz}

2362: \eeq

2363: with $x^3$ and $\psi$ constant. The induced Dirac matrices can be computed

2364: straightforwardly from  eq.  (\ref{wvgamma}) with the result:

2365: \bear

2366: &&\gamma_{x^\mu}\,=\,{r\over L}\,\Gamma_{x^\mu}\,\,,\qquad \mu=0,1,2\,\,,\rc\rc

2367: &&\gamma_r\,=\,{L\over r}\,\Gamma_r\,\,,\rc\rc

2368: &&{1\over L}\,\gamma_{\theta}\,=\,-{1\over \sqrt{6}\,H}\,y_\theta\,\Gamma_1\,-\,

2369: {H\over \sqrt{6}}\,\beta_{\theta}\,\Gamma_2\,+\,{\sqrt{1-cy}\over \sqrt{6}}\,

2370: \Gamma_3\,+\,{y\over 3}\,\beta_\theta\,\Gamma_5\,\,,

2371: \qquad\qquad\qquad\qquad\qquad\rc\rc

2372: &&{1\over L}\,\gamma_{\phi} = -{1\over \sqrt{6}\,H}\,y_{\phi}\,\Gamma_1+

2373: {H\over \sqrt{6}}\,(\,c\cos\theta\,-\,\beta_\phi)\,\Gamma_2+{\sqrt{1-cy}\over \sqrt{6}}\,

2374: \sin\theta\,\Gamma_4 \\ \rc

2375: &&\qquad\qquad\qquad+{1\over 3}\big[y\,\beta_\phi +

2376: (1-cy)\cos\theta\big]\,\Gamma_5\,\,.\nonumber

2377: \label{D5gammas}

2378: \eear

2379: From the general expression (\ref{Gammakappad5}) one readily gets that

2380: the kappa symmetry matrix acts on the spinor $\epsilon$ as:

2381: \beq

2382: \Gamma_\kappa\,\epsilon\,=\,{i\over \sqrt{-g}}\,{r^2\over L^2}\,

2383: \Gamma_{x^0x^1x^2r}\,\gamma_{\theta\phi}\,\epsilon^*\,\,.

2384: \eeq

2385: By using the complex conjugate of the projections (\ref{epsilon-project}) one gets:

2386: \beq

2387: {6\over L^2}\,\gamma_{\theta\phi}\,\epsilon^*\,=\,\big[\,

2388: b_I\,+\,b_{15}\,\Gamma_{15}\,+\,b_{35}\,\Gamma_{35}\,+\,b_{13}\,\Gamma_{13}\,\big]\,

2389: \epsilon^*\,\,,

2390: \label{D5gamathetaphi}

2391: \eeq

2392: where the different coefficients are:

2393: \bear

2394: &&b_I\,=\,-i\Big[\,(1-cy)\sin\theta\,+\,c\cos\theta\,y_{\theta}\,+\,

2395: y_\phi\beta_\theta\,-\,y_\theta\beta_\phi\,\Big]\,\,,\rc\rc

2396: &&b_{15}\,=\,-\sqrt{{2\over 3}}\,\,{1\over H}\Big[\,

2397: (1-cy)\cos\theta\,y_\theta\,+\,y\,(\beta_\phi\,y_\theta-\beta_\theta\,y_\phi)\,\Big]\,-\,i

2398: \sqrt{{2\over 3}}\,H\,\cos\theta\,\beta_{\theta}\,\,,\rc\rc

2399: &&b_{35}\,=\,\sqrt{{2\over 3}}\sqrt{1-cy}\,\Big[\,

2400: (1-cy)\cos\theta\,+\,y\beta_\phi\,\Big]\,+\,i

2401: \sqrt{{2\over 3}}\sqrt{1-cy}\,\,y\sin\theta\beta_\theta\,\,,\rc\rc

2402: &&b_{13}\,=\,\sqrt{1-cy}\,\Big[\,{y_\phi\over H}\,-\,H\beta_\theta\,\sin\theta\,\Big]\,+\,

2403: i\sqrt{1-cy}\,\Big[\,{\sin\theta\over H}\,y_{\theta}\,-\,H\,

2404: (c\cos\theta\,-\,\beta_\phi)\,\Big]\,\,.\qquad

2405: \label{D5bs}

2406: \eear

2407: As discussed above,   in this case the action of $\Gamma_{\kappa}$ involves the

2408: complex conjugation, which does not commute with the projections

2409: (\ref{epsilon-project}). Actually, the only term on the right-hand side of

2410: (\ref{D5gamathetaphi}) which is consistent with (\ref{epsilon-project}) is

2411: the one containing $\Gamma_{13}$. Accordingly, we must require:

2412: \beq

2413: b_I\,=\,b_{15}\,=\,b_{35}\,=\,0\,\,.

2414: \eeq

2415: From the vanishing of the imaginary part of $b_{15}$ we get:

2416: \beq

2417: \beta_\theta=0\,\,,

2418: \label{D5beta_theta}

2419: \eeq

2420: while the vanishing of the real part of $b_{15}$ leads to:

2421: \beq

2422: \beta_{\phi}\,=\,-{1-cy\over y}\,\cos\theta\,\,.

2423: \label{betaphi}

2424: \eeq

2425: Notice that $b_{35}$ is zero as a consequence of  equations 

2426: (\ref{D5beta_theta}) and (\ref{betaphi}) which, 

2427: in particular imply that:

2428: \beq

2429: \beta=\beta(\phi)\,\,.

2430: \eeq

2431: Moreover, by using eq. (\ref{D5beta_theta}), the condition $b_I=0$ is equivalent to

2432: \beq

2433: (1-cy)\sin\theta\,+\,(c\cos\theta\,-\,\beta_{\phi})y_\theta\,=\,0\,\,,

2434: \eeq

2435: and plugging the value of $\beta_{\phi}$ from (\ref{betaphi}), one arrives at:

2436: \beq

2437: y_{\theta}\,=\,-(1-cy)\,y\tan\theta\,\,.

2438: \label{D5yeq}

2439: \eeq

2440: In order to implement the kappa symmetry condition at all points of the

2441: worldvolume the phase of $b_{13}$ must be constant. This can be achieved

2442: by requiring that the real part of $b_{13}$ vanishes, which for  

2443: $\beta_\theta=0$   is equivalent to the condition $y_\phi=0$,\,\ie:

2444: \beq

2445: y=y(\theta)\,\,.

2446: \eeq

2447: The equation (\ref{D5yeq}) for $y(\theta)$ is easily integrated, namely:

2448: \beq

2449: {y\over 1-cy}\,=\,k\cos\theta\,\,,

2450: \label{D5ysol}

2451: \eeq

2452: where $k$ is a constant. Moreover, by separating variables  in eq. (\ref{betaphi}), one concludes

2453: that:

2454: \beq

2455: \beta_\phi=m\,\,,

2456: \label{D5phim}

2457: \eeq

2458: where $m$ is a new constant. Plugging (\ref{D5ysol}) into eq.

2459: (\ref{betaphi}) and using the result (\ref{D5phim}) one concludes that

2460: the two constants $m$ and $k$ must be related as:

2461: \beq

2462: km=-1\,\,,

2463: \eeq

2464: which, in particular implies that $k$ and $m$ cannot vanish. 

2465: Thus, the embedding of the D5-brane becomes

2466: \bear

2467: &&\beta=m\phi+\beta_0\,\,,\rc\rc

2468: &&y=-{\cos\theta\over m-c\cos\theta}\,\,.

2469: \label{D5sol}

2470: \eear

2471: Notice that the solution (\ref{D5sol}) is symmetric under the change

2472: $m\to -m$, $\theta\to\pi-\theta$ and $\phi\to 2\pi-\phi$. Thus, from now on we can

2473: assume that $m\ge 0$. 

2474: 

2475: It is now  straightforward to verify  that the BPS equation are equivalent  to

2476: impose the following condition on the spinor $\epsilon$:

2477: \beq

2478: \Gamma_{x^0x^1x^2r13}\epsilon^*\,=\,\sigma \epsilon\,\,,

2479: \label{d5projector}

2480: \eeq

2481: where $\sigma$ is:

2482: \beq

2483: \sigma\,=\,{\rm sign}\,\Big(\,{\cos\theta\over y}\,\Big)\,=\,

2484: -{\rm sign}\Big(\,m\,-\,c\cos\theta\,\Big)\,\,.

2485: \label{D5sigma-sign}

2486: \eeq

2487: Obviously, the only valid solutions are those which correspond to having a constant sign $\sigma$

2488: along the worldvolume. This always happens for $m/c\ge 1$. In this case the minimal

2489: (maximal) value of $\theta$ is $\theta=0$ ($\theta=\pi$) if 

2490: $|m-c||y_1|>1$ ($|m-c||y_2|>1$). Otherwise the angle $\theta$ must be

2491: restricted to lie in the interval $\theta\in [\theta_{1}, \theta_{2}]$, where

2492: $\theta_{1}$ and $\theta_{2}$ are given by:

2493: \beq

2494: \theta_{i}\,=\,\arccos\Big[{my_i\over cy_i-1}\Big]\,\,,

2495: \qquad\qquad (i=1,2)\,\,.

2496: \eeq

2497: Notice that, similarly to what we obtained in the previous section,

2498: eq.(\ref{D5sol}) implies that the configuration we arrived at does not in

2499: general correspond to a wrapped brane but to a D5-brane that spans a

2500: two-dimensional submanifold with boundaries. 

2501: 

2502: 

2503: 

2504: 

2505: 

2506: Let us now count the number of supersymmetries preserved by our configuration. In

2507: order to do so we must  convert eq. (\ref{d5projector}) into an algebraic

2508: condition on a constant spinor. With this purpose in mind let us write

2509: the general form of

2510: $\epsilon$ as the sum of the two types of spinors written in eq.

2511: (\ref{chiraladsspinor}), namely:

2512: 

2513: \beq

2514: e^{{i\over 2}\psi}\,\epsilon\,=\,r^{-{1\over 2}}\,\eta_+\,+\,

2515: r^{{1\over 2}}\,\Big(\,{\bar x^3\over L^2}\,

2516: \Gamma_{rx^3}\,\eta_+\,+\,\eta_-\,\Big)\,+

2517: \,{r^{{1\over 2}}\over L^2}\,x^p\,\Gamma_{rx^p}\,\eta_+\,\,,

2518: \label{generalepsilon}

2519: \eeq

2520: where $\bar x^3$ is the constant value of the coordinate $x^3$ in the embedding and the index

2521: $p$ runs over the set  $\{0,1,2\}$. By substituting eq.  (\ref{generalepsilon}) on both sides of

2522: eq. (\ref{d5projector}), one can get the conditions that $\eta_{+}$  and

2523: $\eta_{-}$ must satisfy. Indeed, let us define the operator ${\cal P}$ as follows:

2524: \beq

2525: {\cal P}\,\epsilon\,\equiv\,i\sigma  e^{i\psi_0}\,\Gamma_{rx^3}\,

2526: \Gamma_{1 3}\,\epsilon^*\,\,.

2527: \eeq

2528: Then, one can check that eq. (\ref{d5projector}) is equivalent to:

2529: \bear

2530: &&{\cal P}\,\eta_+\,=\,\eta_+\,\,,\rc\rc

2531: &&(1\,+\,{\cal P}\,)\,\eta_-\,=\,-{2 \bar x^3\over L^2}\,\Gamma_{rx^3}\,\eta_+\,\,.

2532: \label{d5system}

2533: \eear

2534: As ${\cal P}^2=1$, we can classify the four spinors $\eta_-$ according to their 

2535: ${\cal P}$-eigenvalue as: ${\cal P}\,\eta_-^{(\pm)}\,=\,\pm\eta_-^{(\pm)}$.

2536: We can now solve the system (\ref{d5system}) by taking $\eta_+=0$ and 

2537: $\eta_-$ equal to one of the two

2538: spinors $\eta_-^{(-)}$ of negative ${\cal P}$-eigenvalue. Moreover, there are other

2539: two solutions which correspond to taking a spinor $\eta_-^{(+)}$ of positive 

2540: ${\cal P}$-eigenvalue and a

2541: spinor $\eta_+$  related to the former as:

2542: \beq

2543: \eta_{+}\,=\,{L^2\over \bar x^3}\,\Gamma_{r x^3}\,\,\eta_-^{(+)}\,\,.

2544: \label{secondspinord5}

2545: \eeq

2546: Notice that, according to the first equation in (\ref{d5system}), the spinor

2547: $\eta_+$ must have positive ${\cal P}$-eigenvalue, in agreement with eq.

2548: (\ref{secondspinord5}). All together this configuration preserves four

2549: supersymmetries, \ie\ one half of the supersymmetries of the background, 

2550: as expected for a domain wall.

2551: 

2552: 

2553: 

2554: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2555: \subsection{The calibrating condition}

2556: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2557: For any two-dimensional submanifold $L$ of $Y^{p,q}$ one can construct its

2558: three-dimensional cone ${\cal L}\subset CY^{p,q}$.  The holomorphic $(3,0)$ form

2559: $\Omega$ of $CY^{p,q}$ can be naturally used to calibrate such submanifolds.

2560: Indeed,  ${\cal L}$ is called a special Lagrangian submanifold of $CY^{p,q}$ if the

2561: pullback of $\Omega$ to ${\cal L}$ is, up to a constant phase, equal to the volume

2562: form of ${\cal L}$, namely:

2563: \beq

2564: P\big[\,\Omega\,\big]_{{\cal L}}\,=\,e^{i\lambda}\,

2565: {\rm Vol}\,({\cal L})\,\,,

2566: \label{D5calibration}

2567: \eeq

2568: where $\lambda$ is constant on ${\cal L}$. If the cone ${\cal L}$ is special

2569: Lagrangian, its base $L$ is said to be special Legendrian. It has been argued in 

2570: ref. \cite{SY} that the supersymmetric configurations of a D5-brane extended along

2571: a two-dimensional submanifold $L$ of a Sasaki-Einstein space are those for which

2572: ${\cal L}$ is special Lagrangian. Let us check that this is indeed the case for the

2573: embeddings (\ref{D5sol}). First of all, we notice that the expression of $\Omega$

2574: written in (\ref{threeform}) can be recast as:

2575: \beq

2576: \Omega\,=\,e^{i\psi}\,r^2\,\Omega_{4}\,\wedge

2577: \big[\,dr+\,i\,{r\over L}\, e^5\,\big]\,\,,

2578: \label{newOmega}

2579: \eeq

2580: where $\Omega_{4}$ is the two-form:

2581: \beq

2582: \Omega_{4}\,=\,{1\over L^2}\,\,\big(\, e^1+ie^2\,\big)\wedge

2583: \big(\, e^3-ie^4\,\big)\,\,.

2584: \label{Omega4}

2585: \eeq

2586: In eqs. (\ref{newOmega}) and (\ref{Omega4})  $e^1$, $\cdots$, $e^5$ are the

2587: vielbein one-forms of (\ref{Ypqvielbein}). Moreover, the volume form of

2588: ${\cal L}$ can be written as:

2589: \beq

2590: {\rm Vol}\,({\cal L})\,=\,r^2dr\wedge {\rm Vol}\,( L)\,\,.

2591: \eeq

2592: For our embeddings (\ref{D5sol}) one can check that:

2593: \beq

2594: {\rm Vol}\,( L)\,=\,\,{H\over 6}\,\Big|\,{\cos\theta\over y}\,\Big|\,

2595: \sqrt{1-cy}\,

2596: \Bigg[\,1\,+\,(1-cy)\,{y^2\over H^2}\,\tan^2\theta\,\Bigg]\,d\theta\wedge

2597: d\phi\,\,.

2598: \eeq

2599: It is now straightforward

2600: to verify that our embeddings (\ref{D5sol}) satisfy (\ref{D5calibration}) with

2601: $e^{i\lambda}\,=\,-i\sigma e^{i\psi}$, where $\sigma$ is the constant sign defined

2602: in (\ref{D5sigma-sign}) (recall that in our ansatz (\ref{D5dwansatz}) the

2603: angle $\psi$ is constant). Thus, we conclude that $L$ is special

2604: Legendrian, as claimed. Moreover, one can check that:

2605: \beq

2606: P\big[\,J\,\big]_{{\cal L}}\,=\,0\,\,.

2607: \eeq

2608: 

2609: 

2610: 

2611: 

2612: 

2613: 

2614: 

2615: 

2616: 

2617: 

2618: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2619: \subsection{Energy bound}

2620: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2621: 

2622: Let us consider a generic embedding $y=y(\theta)$, $\beta=\beta(\phi)$ and let

2623: us define the following functions of $\theta$ and $y$

2624: \beq

2625: \Delta_{\theta}\equiv -y(1-cy)\tan\theta\,\,,\qquad

2626: \Delta_{\phi}\equiv-{1-cy\over y}\,\,\cos\theta\,\,.

2627: \eeq

2628: In terms of these functions the BPS equations (\ref{betaphi}) and (\ref{D5yeq})

2629: are simply $y_{\theta}=\Delta_{\theta}$ and

2630: $\beta_{\phi}=\Delta_{\phi}$. We have checked that any solution of this first-order

2631: equations also solves the Euler-Lagrange equations derived from the

2632: Dirac-Born-Infeld lagrangian (\ref{D3lag-den}). Moreover, the 

2633: hamiltonian density 

2634: ${\cal H}=\sqrt{-g}$ satisfies a BPS bound as in (\ref{energybound}), where 

2635: ${\cal Z}$ is a total derivative. To prove this statement, let us notice that 

2636: ${\cal H}$ can be written as:

2637: \bear

2638: &&{\cal H}\,=\,{r^2\over 6}\,{H\over \sqrt{1-cy}}\,

2639: \Big|\,{y\over \cos\theta}\,\Big|\,\sqrt{\Delta_{\phi}^2\,+\,(1-cy)\,

2640: {\cos^2\theta\over y^2 H^2}\,y_{\theta}^2}\,\,\times\rc\rc

2641: &&\qquad\times

2642: \sqrt{(c\cos\theta\,-\,\beta_{\phi})^2\,+\,{\cos^2\theta\over H^2 y^2 (1-cy)}\,

2643: \Delta_{\theta}^2\,+\,{2y^2\over 3H^2}\,(\beta_\phi\,-\,\Delta_\phi)^2}\,\,.

2644: \eear

2645: Let us now rewrite ${\cal H}$ as ${\cal H}=|{\cal Z}|+{\cal S}$, where 

2646: \beq

2647: {\cal Z}\,=\,{r^2\over 6}\,{H\over \sqrt{1-cy}}\,{y\over \cos\theta}\,

2648: \Big[\,{\cos^2 \theta\over y^2 H^2}\,\Delta_{\theta}\,y_{\theta}\,-\,

2649: (c\cos\theta\,-\,\beta_{\phi})\Delta_{\phi}\,\Big]\,\,.

2650: \eeq

2651: One can check that $|{\cal Z}|_{|BPS}\,=\,\sqrt{-g}_{|BPS}$. Moreover, for arbitrary

2652: functions $y=y(\theta)$ and  $\beta=\beta(\phi)$, one can verify that

2653: ${\cal Z}$ is a total derivative, namely:

2654: \beq

2655: {\cal Z}\,=\,{\partial \over \partial \theta}\,{\cal Z}^{\theta}\,+\,

2656: {\partial \over \partial \phi}\,{\cal Z}^{\phi}\,\,.

2657: \label{D5calZs}

2658: \eeq

2659: In order to write the explicit expressions of ${\cal Z}^{\theta}$ and

2660: ${\cal Z}^{\phi}$, let us define the function $g(y)$ as follows:

2661: \beq

2662: g(y)\,\equiv \, -\int {\sqrt{1-cy}\over H(y)}\,dy\,\,.

2663: \eeq

2664: Then one can verify that eq. (\ref{D5calZs}) is satisfied for ${\cal Z}^{\theta}$ and

2665: ${\cal Z}^{\phi}$ given by:

2666: \bear

2667: {\cal Z}^{\theta}&=&{r^2\over 6}\,\sin\theta\,g(y)\,\,,\rc\rc

2668: {\cal Z}^{\phi}&=&{r^2\over 6}\,\Big[\,

2669: -\cos\theta \,g(y)\,\phi\,+\,H(y)\,\sqrt{1-cy}\,\,(c\phi\cos\theta\,-\,\beta)\,\Big]\,\,.

2670: \eear

2671: One can prove that ${\cal H}\ge \big|\,{\cal Z}\,\big|$ is equivalent to:

2672: \bear

2673: &&{\cos^2\theta\over y^2 (1-cy)}\,\Big[\,

2674: \Delta_{\phi}\,\Delta_{\theta}\,+\,(1-cy)\,(c\cos\theta\,-\,\beta_{\phi})\,

2675: y_{\theta}\,\Big]^2\,+\rc\rc

2676: &&\qquad\qquad

2677: {2y^2\over 3}\,\Big[\,\Delta_{\phi}^2\,+\,

2678: {(1-cy)\cos^2\theta\over y^2 H^2}\,y_{\theta}^2\,\Big]\,

2679: [\,\beta_{\phi}\,-\,\Delta_\phi\,]^2\,\ge\, 0\,\,,

2680: \eear

2681: which is always satisfied. 

2682: Moreover, by using that $(c\cos\theta \,-\,\beta_{\phi})_{|BPS}\,=\,\cos\theta/y$, one can

2683: prove that this inequality is saturated precisely when the BPS differential equations are

2684: satisfied. 

2685: 

2686: 

2687: \setcounter{equation}{0}

2688: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2689: \section {Supersymmetric D7-branes in $AdS_5\times Y^{p,q}$}

2690: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2691: \label{d7}

2692: 

2693: For a D7-brane the kappa symmetry matrix (\ref{gammakappa}) takes the form:

2694: \be

2695: \G_k = - \frac{i}{8!\sqrt{-g}}\ep^{\m_1\ldots \m_8}\g_{\m_1\ldots

2696:   \m_8},

2697: \label{D7general-gammak}

2698: \ee

2699: where, again, we have used the rules of eq.(\ref{rule}) to write the

2700: expression of $\G_k$ acting on complex spinors. The D7-branes which fill

2701: the four Minkowski spacetime directions and extend along some holographic

2702: non-compact direction can be potentially used as flavor branes,

2703: \ie\ as branes whose fluctuations can be identified with the dynamical mesons of the

2704: gauge theory. In this section we will find a family of these configurations which

2705: preserve four supersymmetries. In section \ref{6} we will determine another family of

2706: supersymmetric spacetime filling configurations of D7-branes and we will also

2707: demonstrate that there are embeddings in which the D7-brane  wraps the entire 

2708: $Y^{p,q}$ space and preserve two supersymmetries.

2709: 

2710: 

2711: 

2712: 

2713: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2714: \subsection{Spacetime filling D7-brane}

2715: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2716: 

2717: Let us choose a system of worldvolume coordinates motivated by the spacetime filling

2718: character of the configuration that we are trying to find, namely:

2719: \be

2720: \xi=(t,x^1,x^2,x^3,y,\b,\te,\p).

2721: \ee

2722: The ansatz we will adopt for the embedding is:

2723: \be

2724: \psi=\psi(\beta,\phi), \qquad r= r(y,\te).

2725: \label{D7ansatz}

2726: \ee

2727: In this case the general expression  of $\Gamma_{\kappa}$

2728: (eq. (\ref{D7general-gammak})) reduces to:

2729: \beq

2730: \Gamma_{\kappa}\,=\,-i\,{r^4\over L^4\sqrt{-g}}\,

2731: \Gamma_{x^0\cdots x^3}\,\gamma_{y\beta\theta\phi}\,.

2732: \eeq

2733: In order to implement the $\Gamma_{\kappa}\,\epsilon\,=\,\epsilon$ condition we

2734: require that the spinor $\epsilon$ is an eigenvector of the matrix $\Gamma_*$

2735: defined in eq. (\ref{gamma*}). Then, according to eq. (\ref{chiraladsspinor}),  

2736: $\Gamma_*\epsilon=-\epsilon$, \ie\ $\epsilon$ is of the form $\epsilon_-$ and,

2737: therefore, it satisfies:

2738: \beq

2739: \Gamma_{x^0\cdots x^3}\,\epsilon_-\,=\,i\epsilon_-\,\,.

2740: \label{D3chirality}

2741: \eeq

2742: Moreover, 

2743: as $\epsilon_-$ has fixed ten-dimensional chirality, the  condition

2744: (\ref{D3chirality}) implies:

2745: \beq

2746: \Gamma_{r5}\epsilon_-\,=\,-i\epsilon_-\,\,.

2747: \label{Gammar5}

2748: \eeq

2749: By using the projection (\ref{D3chirality}), one immediately arrives at:

2750: \beq

2751: \Gamma_{\kappa}\,\epsilon_-\,=\,{r^4\over L^4\sqrt{-g}}\,

2752: \gamma_{y\beta\theta\phi}\,\epsilon_-\,\,.

2753: \label{D7gamma-epsilon-}

2754: \eeq

2755: The induced gamma matrices appearing on the right-hand side of eq.

2756: (\ref{D7gamma-epsilon-}) are:

2757: \bea

2758: {1\over L}\,\g_y&=&-\frac{1}{\sqrt{6}H}\G_1+\frac{1}{r}r_y\G_r, \nonumber

2759: \\

2760: {1\over L}\,\g_\te &=& \frac{\sqrt{1-c\,y}}{\sqrt{6}}\G_3 +

2761: \frac{1}{r}r_\te

2762: \G_r, \nonumber \\

2763: {1\over L}\,\g_\b&=& -\frac{H}{\sqrt{6}}\G_2+

2764: \frac13\left(\psi_\b+y\right)\G_5,

2765: \nonumber \\

2766: {1\over L}\,\g_\p&=& \frac{cH\cos\te}{\sqrt{6}}\G_2 +\frac{\sqrt{1-c\,

2767:     y}}{\sqrt{6}}\sin\te\G_4 +

2768: \frac13\left(\psi_\p+(1-c\, y)\cos\te\right)\G_5\,\,.

2769: \eea

2770: After using eqs. (\ref{epsilon-project}) and (\ref{Gammar5}),  the action of

2771: $\gamma_{y\beta\theta\phi}$ on

2772: $\epsilon$ can be written as:

2773: \beq

2774: {1\over L^4}\,\gamma_{y\beta\theta\phi}\,\epsilon_-\,=\,

2775: \big[\,d_I\,+\,d_{15}\,\Gamma_{15}\,+\,d_{35}\,\Gamma_{35}\,+\,

2776: d_{13}\Gamma_{13}\,\big]\,\epsilon_-\,\,,

2777: \eeq

2778: where the different coefficients are given by:

2779: \bear

2780: &&d_{I}\,=\,{1-cy\over 36}\,\sin\theta\,+\,{1-cy\over 18}\,\sin\theta\,

2781: (y+\psi_{\beta})\,{r_y\over r}\,-\,{1\over 18}\,

2782: \big[\,(1+c\psi_\beta)\cos\theta+\psi_\phi\,\big]\,{r_\theta\over r}\,\,,

2783: \rc\rc

2784: &&d_{15}\,=\,i\,{1-cy\over 6\sqrt{6}}\,H\,\sin\theta\,

2785: \Big[\,{r_y\over r}\,-\,{y+\psi_\beta\over 3H^2}\,\Big]\,\,,\rc\rc

2786: &&d_{35}\,=\,-i\,{\sqrt{1-cy}\over 6\sqrt{6}}\,\Big[\,\sin\theta\,

2787: {r_\theta\over r}\,+\,{1\over 3}\,

2788: \big(\,(1+c\psi_\beta)\cos\theta\,+\,\psi_{\phi}\,)\,\Big]\,\,,\rc\rc

2789: &&d_{13}\,=\,{{\sqrt{1-cy}\over 18}}\,H\,

2790: \Big[\,\sin\theta\,{y+\psi_\beta\over H^2}\,{r_\theta\over r}\,+\,

2791: \big(\,(1+c\psi_\beta)\,\cos\theta\,+\,\psi_{\phi}\big)\,

2792: {r_y\over r}\,\Big]\,\,.

2793: \eear

2794: As the terms containing the matrices $\Gamma_{15}$, $\Gamma_{35}$ and 

2795: $\Gamma_{13}$ give rise to projections which are not compatible with those 

2796: in eq. (\ref{epsilon-project}), we have to impose that:

2797: \beq

2798: d_{15}\,=\,d_{35}\,=\,d_{13}\,=\,0\,\,.

2799: \eeq

2800: From the vanishing of $d_{15}$ and $d_{35}$ we obtain the following

2801: first-order differential equations

2802: \beq

2803: r_y\,=\,\Lambda_y\,\,, \qquad\qquad

2804: r_\theta\,=\,\Lambda_\theta\,\,,

2805: \label{D7BPSlambda}

2806: \eeq

2807: where we have defined $\Lambda_y$ and $\Lambda_{\theta}$ as:

2808: \bear

2809: &&\Lambda_y\,=\,{r\over 3H^2}\,\big(y+\psi_\beta\big)\,,\rc\rc

2810: &&\Lambda_\theta\,=\,-{r\over 3\sin\theta}\,

2811: \Big[\,(1+c\psi_\beta)\,\cos\theta\,+\,\psi_{\phi}\,\Big]\,\,.

2812: \label{Lambdas}

2813: \eear

2814: Notice that the equations (\ref{D7BPSlambda}) imply that $d_{13}=0$. One can also

2815: check that $r^4\,d_I\,=\,\sqrt{-g}$ if the first-order equations (\ref{D7BPSlambda})

2816: hold and, therefore, one has indeed that $\Gamma_{\kappa}\epsilon_-=\epsilon_-$. 

2817: Thus, any Killing spinor of the type $\epsilon=\epsilon_-$, with 

2818: $\epsilon_-$ as in eq. (\ref{chiraladsspinor}), satisfies the kappa symmetry

2819: condition if the BPS equations  (\ref{D7BPSlambda}) hold. Therefore, these

2820: configurations preserve the four ordinary supersymmetries of the background and, as

2821: a consequence, they are 1/8 supersymmetric. 

2822: 

2823: 

2824: \subsection{Integration of the first-order equations}

2825: Let us now obtain the general solution of the system (\ref{D7BPSlambda}). Our first

2826: observation is that, according to (\ref{D7ansatz}), the only dependence on the

2827: coordinates $\beta$ and $\phi$ appearing in eqs. (\ref{D7BPSlambda}) and

2828: (\ref{Lambdas}) comes from the derivatives of $\psi$. Therefore, for consistency

2829: with the assumed dependence of the functions of the ansatz

2830: (\ref{D7ansatz}),

2831: $\psi_\phi$ and $\psi_\beta$ must be constants. Thus, let us write:

2832: \beq

2833: \psi_\phi\,=\,n_1\,\,,\qquad\qquad

2834: \psi_\beta\,=\,n_2\,\,,

2835: \eeq

2836: which can be  trivially integrated, namely:

2837: \beq

2838: \psi\,=\,n_1\,\phi\,+\,n_2\,\beta\,+\,{\rm constant}\,\,.

2839: \label{D7psi-solution}

2840: \eeq

2841: It is now easy to obtain the function $r(\theta, y)$. 

2842: The equations to integrate are:

2843: \beq

2844: r_y\,=\,{r\over 3H^2}\,(y+n_2)\,\,,\qquad

2845: r_\theta\,=\,-{r\over 3\sin\theta}\,

2846: \Big[\,(1+cn_2)\cos\theta\,\,+\,n_1\,\Big]\,\,.

2847: \label{D7-rtheta-ry}

2848: \eeq

2849: Let us first integrate the equation for $r_\theta$ in 

2850: (\ref{D7-rtheta-ry}). We get:

2851: \beq

2852: r(y,\te)\,=\,{A(y)\over \Big[

2853: \sin {\theta\over 2}\Big]^{{1+n_1+cn_2\over 3}}\,\,

2854: \Big[\cos {\theta\over 2}\Big]^{{1-n_1+cn_2\over 3}}}\,\,,

2855: \eeq

2856: with $A(y)$ a function of $y$ to be determined. Plugging this result in the

2857: equation for $r_y$ in (\ref{D7-rtheta-ry}), we get the following equation for $A$:

2858: \beq

2859: {1\over A}\,{dA\over dy}\,=\,{1\over 3}\,{y+n_2\over H^2}\,\,,

2860: \eeq

2861: which can be integrated immediately, namely:

2862: \beq

2863: A^3(y)\,=\,C\,\Big [f_1(y)\Big]^{n_2}\,f_2(y)\,\,,

2864: \eeq

2865: with $C$ a constant and $f_1(y)$ and $f_2(y)$ being the functions defined in

2866: (\ref{fs}). Then, we can write $r(y,\te)$ as:

2867: \beq

2868: r^3(y,\te)\,=\,C{\Big [f_1(y)\Big]^{n_2}\,f_2(y)

2869: \over \Big[

2870: \sin {\theta\over 2}\Big]^{1+n_1+cn_2}\,\,

2871: \Big[\cos {\theta\over 2}\Big]^{1-n_1+cn_2}}\,\,.

2872: \label{D7r-solution}

2873: \eeq

2874: Several comments concerning the solution displayed in eqs.

2875: (\ref{D7psi-solution}) and (\ref{D7r-solution}) are in order. First of

2876: all, after a suitable change of variable it is easy to verify that for

2877: $c=0$ one recovers from (\ref{D7psi-solution}) and (\ref{D7r-solution})

2878: the family of D7-brane embeddings in

2879: $AdS_5\times T^{1,1}$ found in ref. \cite{acr}. Secondly, the function 

2880: $r(y,\te)$ in (\ref{D7r-solution}) always diverges for some particular

2881: values of $\theta$ and $y$, which means that the probe always extends

2882: infinitely in the holographic direction. Moreover, for some particular

2883: values of $n_1$ and $n_2$ there is a minimal value of the coordinate $r$,

2884: which depends on the integration constant $C$. This fact is important

2885: when one tries to use these D7-brane configurations as flavor branes,

2886: since this minimal value of $r$ provides us with an energy scale, which

2887: is naturally identified with the mass of the dynamical quarks added to the

2888: gauge theory. It is also interesting to obtain the form of the solution

2889: written in eqs. (\ref{D7psi-solution}) and (\ref{D7r-solution}) 

2890: in terms of the complex variables $z_i$ defined in (\ref{complexzs}).

2891: After a simple calculation one can verify that this solution can be

2892: written as a polynomial  equation of the form:

2893: \beq

2894: z_1^{m_1}\,z_2^{m_2}\,z_3^{m_3}\,=\,{\rm constant}\,\,,

2895: \label{D7polynomial}

2896: \eeq

2897: where the $m_i$'s are constants and $m_3\not= 0$.\footnote{

2898: It is natural to expect a condition of the form $f(z_1,z_2,z_3)=0$, where

2899: $f$ is a general holomorphic function of its arguments. However, in order

2900: to be able to solve the  problem analytically we started from a

2901: restrictive ansatz (\ref{D7ansatz}) that, not surprisingly, leads to a

2902: particular case of the expected answer.} The relation

2903: between the $m_i$'s of (\ref{D7polynomial}) and the $n_i$'s of eqs. 

2904: (\ref{D7psi-solution}) and (\ref{D7r-solution}) is:

2905: \beq

2906: n_1\,=\,{m_1\over m_3}\,\,,\qquad

2907: n_2\,=\,{m_2\over m_3}\,\,.

2908: \eeq

2909: Notice that when $n_2=m_2=0$ the dependence on $\beta$ disappears and the

2910: configuration is reminiscent of its analog in the conifold case

2911: \cite{acr}. When $n_2\not= 0$ the D7-brane winds infinitely the

2912: $\psi$-circle. 

2913: 

2914: 

2915: 

2916: 

2917: 

2918: 

2919: 

2920: \subsection{Energy bound}

2921: 

2922: As it happened in the case of D3- and D5-branes, one can verify that any solution of the first-order equations (\ref{D7BPSlambda}) also solves the equations of motion. We are now going to check that there exists a bound

2923: for the energy which is saturated

2924: by the solutions of the first-order equations  (\ref{D7BPSlambda}). Indeed, let 

2925: $r(y, \theta)$ and $\psi(\beta,\phi)$ be arbitrary functions. The hamiltonian

2926: density ${\cal H}=\sqrt{-g}$ in this case can be written as:

2927: \beq

2928: {\cal H}\,=\,{r^2\over 6}\,\sin\theta\,

2929: \sqrt{\Bigg(r_\theta^2\,+\,(1-cy)\,\Big[H^2\,r_y^2\,+\,{r^2\over 6}\Big]\Bigg)\,

2930: \Bigg(\Lambda_\theta^2\,+\,(1-cy)\,\Big[H^2\,\Lambda_y^2\,+\,{r^2\over 6}\Big]\Bigg)}\,\,,

2931: \eeq

2932: where $\Lambda_y$ and $\Lambda_{\theta}$ are the functions displayed in 

2933: eq. (\ref{Lambdas}). 

2934: Let us rewrite this function ${\cal H}$  

2935: as ${\cal Z}+{\cal S}$, where  ${\cal Z}$ is given

2936: by:

2937: \beq

2938: {\cal Z}\,=\,{r^2\over 6}\,\sin\theta\,\Bigg[\,

2939: r_\theta\Lambda_\theta\,+\,(1-cy)\,\Big(H^2\, r_y\,\Lambda_y\,+\,{r^2\over 6}

2940: \Big)\Bigg] ~.

2941: \label{D7calZ}

2942: \eeq

2943: One can prove that ${\cal Z}$ is a total derivative:

2944: \beq

2945: {\cal Z}\,=\,\partial_{\theta}\,{\cal Z}^\theta\,+\,\partial_y\,{\cal Z}^y\,\,,

2946: \eeq

2947: where ${\cal Z}^\theta$ and ${\cal Z}^y$ are:

2948: \bear

2949: &&{\cal Z}^\theta\,=\,-{r^4\over

2950: 72}\,\Big[\,\psi_\phi\,+\,(1+c\psi_\beta)\,\cos\theta\,\Big]\,\,,\rc\rc 

2951: &&{\cal Z}^y\,=\,{r^4\over 72}\,(1-cy)\,(y+\psi_\beta)\sin\theta\,\,.

2952: \eear

2953: Moreover, when ${\cal Z}$ is given by (\ref{D7calZ}), one can demonstrate the bound

2954: (\ref{energybound}). Actually, one can show that the condition 

2955: ${\cal H}\ge |{\cal Z}|$ is equivalent to the inequality:

2956: \beq

2957: (r_\theta-\Lambda_\theta)^2\,+\,H^2\,(1-cy)\,(r_y-\Lambda_y)^2\,+\,

2958: {H^2\over r^2}\,(r_\theta\,\Lambda_y-r_y\,\Lambda_\theta)^2\,\ge 0\,\,,

2959: \eeq

2960: which is always satisfied and is saturated precisely when the BPS equations 

2961: (\ref{D7BPSlambda}) are satisfied. Notice also that ${\cal Z}_{|BPS}$ is positive. 

2962: 

2963: 

2964: 

2965: 

2966: 

2967: \setcounter{equation}{0}

2968: \section{Other interesting possibilities}

2969: \label{6}

2970: Let us now look at some other configurations of different branes and cycles not 

2971: considered so far. We  first consider D3-branes extended along one of the

2972: Minkowski coordinates and along a two-dimensional submanifold of

2973: $Y^{p,q}$. These configurations represent ``fat" strings  from the point

2974: of view of the gauge theory. We  verify in subsection \ref{fat} that

2975: an embedding of this type breaks completely the supersymmetry, although

2976: there exist stable non-supersymmetric fat strings.  In subsection

2977: \ref{MoreDW} we  find a new configuration of a D5-brane wrapping a

2978: two-dimensional submanifold, whereas in subsection \ref{D5flux} we 

2979: add  worldvolume flux to the domain wall solutions of section \ref{d5}. 

2980: In subsection \ref{d5-3cycle} we  consider the possibility of having

2981: D5-branes wrapping a three-cycle. We  show that such embeddings

2982: cannot be supersymmetric, even though stable solutions of the equations

2983: of motion with these characteristics do exist. In subsection

2984: \ref{baryonvertex} we  analyze the baryon vertex configuration (a

2985: D5-brane wrapping the entire $Y^{p,q}$ space) and we  verify that

2986: such embedding breaks supersymmetry completely. In subsection 

2987: \ref{MoreD7} we  explore the existence of spacetime filling

2988: supersymmetric configurations of D7-branes by using a set of worldvolume

2989: coordinates different from those used in section \ref{d7}. Finally, in

2990: subsection \ref{D7Ypq} we  show  that a  D7-brane can wrap the whole

2991: $Y^{p,q}$ space and preserve some fraction of supersymmetry. 

2992: 

2993: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2994: \subsection{D3-branes  on a two-submanifold}

2995: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2996: \label{fat}

2997: 

2998: Let us take a D3-brane which is extended along one of the spatial directions of the worldvolume of

2999: the D3-branes of the background (say $x^1$) and wraps a two-dimensional cycle. The worldvolume

3000: coordinates we will take are

3001: \beq

3002: \xi^{\mu}\,=\,(x^0, x^1, \theta, \phi)\,\,,

3003: \eeq

3004: and we will look for embeddings with $x^2$, $x^3$, $r$ and $\psi$ constant and with

3005: \beq

3006: y\,=\,y(\theta,\phi)\,\,,\quad\qquad

3007: \beta\,=\,\beta(\theta,\phi)\,\,.

3008: \eeq

3009: In this case the kappa symmetry matrix acts on $\epsilon$ as:

3010: \beq

3011: \Gamma_{\kappa}\,\epsilon\,=\,-{i\over \sqrt{-g}}\,{r^2\over L^2}\,

3012: \Gamma_{x^0x^1}\,\gamma_{\theta\phi}\,\epsilon\,\,.

3013: \eeq

3014: The expressions of $\gamma_{\theta}$ and $\gamma_{\phi}$ are just those given in eq.

3015: (\ref{D5gammas}). Moreover, $\gamma_{\theta\phi}\,\epsilon$ can be obtained by taking the

3016: complex conjugate of  eq. (\ref{D5gamathetaphi}):

3017: \beq

3018: {6\over L^2}\,\gamma_{\theta\phi}\,\epsilon\,=\,\big[\,

3019: b_I^*\,+\,b_{15}^*\,\Gamma_{15}\,+\,b_{35}^*\,\Gamma_{35}\,+\,b_{13}^*\,\Gamma_{13}\,\big]\,

3020: \epsilon\,\,,

3021: \eeq

3022: where the $b$'s are given in eq. (\ref{D5bs}). Since now the complex conjugation does not act on

3023: the spinor $\epsilon$, the only possible projection compatible with those of the background is the

3024: one originated from the term with the unit matrix in the previous expression. Then, we must

3025: require:

3026: \beq

3027: b_{15}=b_{35}=b_{13}=0\,\,.

3028: \eeq

3029: The conditions $b_{15}=0$ and $b_{35}=0$ are equivalent and give rise to eqs. (\ref{D5beta_theta})

3030: and (\ref{betaphi}), which can be integrated as in eq. (\ref{D5sol}). Moreover, the condition

3031: $b_{13}=0$ leads to the equation:

3032: \beq

3033: {y\over H^2}\,y_{\theta}\,=\,\cot\theta\,\,.

3034: \eeq

3035: The integration of this equation can be straightforwardly performed in terms of the function

3036: $f_2(y)$ defined in eq. (\ref{fs}) and can be written as:

3037: \beq

3038: {1\over \sqrt{a-3y^2+2cy^3}}\,=\,k\sin\theta\,\,,

3039: \eeq

3040: with $k$ being a constant of integration, which should be related to the constant $m$ in eq.

3041: (\ref{D5sol}). However, the dependence of $y$ on $\theta$ written in the last equation does not

3042: seem to be compatible with the one of eq. (\ref{D5sol}) (even for $c=0$). Thus, we conclude that

3043: there is no solution for the kappa symmetry condition in this case. 

3044: 

3045: If we forget about the requirement of supersymmetry it is not difficult to find solutions of the

3046: Euler-Lagrange equations of  motion of the D3-brane probe. Indeed, up to irrelevant global

3047: factors, the lagrangian for the D3-brane considered here is the same as the one corresponding to a

3048: D5-brane extended along a two-dimensional submanifold of $Y^{p,q}$. Thus, 

3049: the embeddings written in eq. (\ref{D5sol}) are stable solutions of the

3050: equations of motion of the D3-brane which represent  a ``fat string" from

3051: the gauge theory point of view. 

3052: 

3053: 

3054: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3055: \subsection{More D5-branes wrapped on a two-cycle}

3056: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3057: \label{MoreDW}

3058: 

3059: Let us consider a D5-brane wrapped on a two-cycle and let us choose the following set of

3060: worldvolume coordinates: $\xi^{\mu}\,=\,(x^0,x^1,x^2,r,\theta,y)$. The embeddings we shall

3061: consider have $x^3$ and $\psi$ constant and $\phi=\phi(\theta, y)$, $\beta=\beta(\theta, y)$. For

3062: this case, one has:

3063: \beq

3064: \Gamma_{\kappa}\,\epsilon\,=\,{i\over \sqrt{-g}}\,{r^2\over L^2}\,\,

3065: \Gamma_{x^0x^1x^2r}\,\,\gamma_{\theta y}\,\epsilon^*\,.

3066: \eeq

3067: The induced gamma matrices are:

3068: \bear

3069: &&{1\over L}\gamma_{\theta}\,=\,{H\over

3070: \sqrt{6}}\,\Big(\,-\beta_{\theta}\,+\,c\cos\theta\phi_{\theta}\,\Big)\Gamma_2\,+\,

3071: \sqrt{{1-cy\over 6}}\,\Big(\,\Gamma_3\,+\,\sin\theta\phi_{\theta}\Gamma_4\,\Big)\,+\,\rc\rc

3072: &&\qquad\qquad+{1\over 3}\,\Big(\,y\beta_{\theta}\,+\,(1-cy)\cos\theta\,\phi_{\theta}\,\Big)\,

3073: \Gamma_5\,\,,\rc\rc

3074: &&{1\over L}\,\gamma_{y}\,=\,-{1\over \sqrt{6} H}\,\Gamma_1\,+\,{H\over \sqrt{6}}\,

3075: \Big(\,-\beta_y\,+\,c\cos\theta\phi_y\,\Big)\,\Gamma_2\,+\,

3076: \sqrt{{1-cy\over 6}}\,\sin\theta\phi_y\,\Gamma_4\,+\,\rc\rc

3077: &&\qquad\qquad+{1\over 3}\,\Big(\,y\beta_y+(1-cy)\cos\theta\phi_y\,\Big)\,\Gamma_5\,\,.

3078: \eear

3079: Then, one has

3080: 

3081: \beq

3082: {6\over L^2}\,\gamma_{\theta y}\,\,\epsilon^*\,=\,

3083: \Big(\,f_I\,+\,f_{15}\Gamma_{15}\,+\,f_{35}\Gamma_{35}\,+\,

3084: f_{13}\Gamma_{13}\,\Big)\,\epsilon^*\,\,,

3085: \eeq

3086: where the different coefficients are given by:

3087: \bear

3088: &&f_I\,=\,-i\Big(\,(1-cy)\,\sin\theta\,\phi_y\,-\,c\cos\theta\phi_\theta\,

3089: +\,\beta_\theta\,\Big)\,\,,\rc\rc

3090: &&f_{15}\,=\,\sqrt{{2\over 3}}\,{1\over H}\,\Big(\,y\beta_\theta\,+\,

3091: (1-cy)\cos\theta\phi_\theta\,\Big)\,+\,i\sqrt{{2\over 3}}\,H\,\cos\theta\,

3092: \Big(\,\beta_y\,\phi_\theta\,-\,\beta_\theta\,\phi_y\,\Big)\,\,,\\\rc

3093: &&f_{35}\,=\,\sqrt{{2\over 3}}\,\sqrt{1-cy}\,\Big[ \Big(\,y\beta_y\,+\,

3094: (1-cy)\cos\theta\phi_y\,\Big)\,-\,i\,y\,\sin\theta\,

3095: \Big(\,\beta_y\,\phi_\theta\,-\,\beta_\theta\,\phi_y\,\Big) \Big]\,\,,\rc\rc

3096: &&f_{13}\,=\,\sqrt{1-cy}\, \Big[ \Big(\,{1\over H}\,+\,H\sin\theta\,

3097: (\,\beta_y\,\phi_\theta\,-\,\beta_\theta\,\phi_y\,)\Big)

3098: - i\,\Big( {\sin\theta\over H}\,\phi_\theta - H

3099: (\beta_y-c\cos\theta\phi_y)\Big) \Big]\,\,.\nonumber

3100: \eear

3101: The BPS conditions  in this case are the following:

3102: \beq

3103: f_I\,=\,f_{15}\,=\,f_{35}\,=\,0\,\,.

3104: \eeq

3105: From the vanishing of $f_I$ we get the equation:

3106: \beq

3107: \beta_{\theta}\,+\,(1-cy)\sin\theta\,\phi_y\,-

3108: \,c\cos\theta\phi_\theta\,=\,0\,\,.

3109: \label{fIeq}

3110: \eeq

3111: Moreover, the vanishing of $f_{15}$ and $f_{35}$ is equivalent to the equations:

3112: \bear

3113: &&y\beta_{\theta}\,+\,(1-cy)\,\cos\theta\phi_\theta\,=\,0\,\,,\rc\rc

3114: &&y\beta_y\,+\,(1-cy)\cos\theta\,\phi_y\,=\,0\,\,,\rc\rc

3115: &&\beta_y\,\phi_\theta-\beta_\theta\,\phi_y\,=\,0\,\,.

3116: \label{f5eqs}

3117: \eear

3118: Notice that this system of equations is redundant, \ie\ the first two equations are equivalent

3119: if one uses the last one. 

3120: Substituting the value of $\beta_\theta$ as given by  the first equation in 

3121: (\ref{f5eqs}) into  (\ref{fIeq}), one can get a partial differential equation which only

3122: involves derivatives of 

3123: $\phi$, namely:

3124: \beq

3125: \cot\theta\,\phi_{\theta}\,-\,y(1-cy)\,\phi_y\,=\,0\,\,.

3126: \label{D5phi}

3127: \eeq

3128: By using in (\ref{D5phi}) the last equation in (\ref{f5eqs}), one gets:

3129: \beq

3130: \cot\theta\,\beta_{\theta}\,-\,y(1-cy)\,\beta_y\,=\,0\,\,.

3131: \label{D5beta}

3132: \eeq

3133: Eqs. (\ref{D5phi}) and (\ref{D5beta}) can be easily integrated by the method of separation of

3134: variables. One gets

3135: \bear

3136: &&\phi\,=\,A\,\Bigg[{y\over (1-cy)\cos\theta}\,\Bigg]^{\alpha}\,+\,\phi^0\,\,,\rc\rc

3137: &&\beta\,=\,{\alpha \over 1-\alpha}\,A\,\Bigg[{y\over

3138: (1-cy)\cos\theta}\,\Bigg]^{\alpha-1}\,+\,\beta^0\,\,,

3139: \eear

3140: where $A$, $\alpha$, $\phi^0$ and $\beta^0$  are constants of integration and we have used 

3141: eq. (\ref{f5eqs}) to relate the integration constants of $\phi$ and $\beta$. However, in order

3142: to implement the condition $\Gamma_{\kappa}\,\epsilon=\epsilon$, one must require 

3143: the vanishing of the

3144: imaginary part of $f_{13}$. This only happens if $\phi$ and $\beta$ are constant,

3145: \ie\ when $A=0$ in the above solution. One can check that this configuration satisfies the

3146: equation of motion. 

3147: 

3148: 

3149: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3150: \subsection{D5-branes  on a two-submanifold with flux}

3151: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3152: \label{D5flux}

3153: 

3154: We now analyze the effect of adding flux of the worldvolume gauge field $F$

3155: to the configurations of section 4 \footnote{A nice discussion of supersymmetric

3156: configurations with nonzero gauge field strengths by means of kappa symmetry

3157: can be found in Ref.\cite{mmms}.}. Notice that  we now have a non-zero contribution from the Wess-Zumino term of the action, which is of the form:

3158: \beq

3159: {\cal L}_{WZ}\,=\,P[\,C^{(4)}\,]\wedge F\,\,.

3160: \eeq

3161: Let us suppose that we switch on a worldvolume gauge field along the angular directions

3162: $(\theta,\phi)$. We will adopt the ansatz:

3163: \beq

3164: F_{\theta\phi}\,=\,q\,K(\theta,\phi)\,\,,

3165: \label{wvflux}

3166: \eeq

3167: where $q$ is a constant and $K(\theta,\phi)$ a function to be determined. The relevant components

3168: of $P[\,C^{(4)}\,]$ are

3169: \beq

3170: P[\,C^{(4)}\,]_{x^0x^1x^2r}\,=\,h^{-1}\,{\partial x^3\over \partial r}\,\,,

3171: \eeq

3172: where $h=L^4/r^4$.

3173: It is clear from the above expression of ${\cal L}_{WZ}$ that a nonvanishing value of  $q$

3174: induces a dependence of $x^3$ on $r$. In what follows we will assume that $x^3=x^3(r)$, \ie\ that 

3175: $x^3$ only depends on $r$. Let us assume that the angular embedding satisfies the same equations 

3176: as in the case of zero flux. The Lagrangian density in this case is given by:

3177: \beq

3178: {\cal L}\,=\,-h^{-{1\over 2}}\,\sqrt{1+h^{-1}\,(x')^2}\,

3179: \sqrt{g_{\theta\theta}g_{\phi\phi}\,+\,q^2\,K^2}\,+\,q\,h^{-1}x'K\,\,,

3180: \eeq

3181: where $g_{\theta\theta}$ and $g_{\phi\phi}$ are elements of the induced metric, we have denoted

3182: $x^3$ simply by $x$ and the prime denotes derivative with respect to $r$. The equation of motion

3183: of $x$ is:

3184: \beq

3185: -{\sqrt{g_{\theta\theta}g_{\phi\phi}\,+\,q^2\,K^2}\over \sqrt{1+h^{-1}\,(x')^2}}\,

3186: h^{-{3\over 2}}\,x'\,+\,q\,h^{-1}\,K\,=\,{\rm constant}\,\,.

3187: \eeq

3188: Taking the constant on the right-hand side of the above equation equal to zero, we get the

3189: following solution for $x'$:

3190: \beq

3191: x'(r)\,=\,q\,h^{{1\over 2}}\,

3192: {K(\theta,\phi)\over \sqrt{g_{\theta\theta}g_{\phi\phi}}}\,\,.

3193: \eeq

3194: Notice that the left-hand side of the above equation depends only on $r$, whereas the right-hand

3195: side can depend on the angles $(\theta,\phi)$. For consistency the dependence of 

3196: $K(\theta,\phi)$ and $\sqrt{g_{\theta\theta}g_{\phi\phi}}$ on $(\theta,\phi)$ must be the same.

3197: Without lost of generality let us take $K(\theta,\phi)$ to be:

3198: \beq

3199: L^2\,K(\theta,\phi)\,=\,\sqrt{g_{\theta\theta}g_{\phi\phi}}\,\,,

3200: \eeq

3201: where the factor $L^2$ has been introduced for convenience. Using this form of $K$, the

3202: differential equation which determines the dependence of $x^3$ on $r$

3203: becomes:

3204: \beq

3205: x'(r)\,=\,{q\over r^2}\,\,,

3206: \eeq

3207: which can be immediately integrated, namely:

3208: \beq

3209: x(r)\,=\,\bar x^3\,-\,{q\over r}\,\,.

3210: \label{x(r)}

3211: \eeq

3212: Moreover, the expression of $K$ can be obtained by computing the induced metric along the angular

3213: directions.  It takes the form:

3214: \beq

3215: K(\theta)\,=\,\sigma\,{\sqrt{1-cy}\over 6 H(y)}\,\Big[\,H^2(y)\,+\,(1-cy)y^2\,\tan^2\theta\,\Big]\,

3216: {\cos\theta\over y}\,\,,

3217: \eeq

3218: where $y=y(\theta)$ is the function obtained in section 4 and

3219: $\sigma\,=\,{\rm sign} \Big(\cos\theta/y\Big)$. Actually, notice that $K$ only depends on the angle

3220: $\theta$ and it is independent of $\phi$. 

3221: 

3222: 

3223: We are now going to verify that the configuration just found is

3224: supersymmetric. The expression of $\Gamma_{\kappa}$ in this case has an additional term due to the

3225: worldvolume gauge field. Actually, it is straightforward to check that in the present case

3226: \beq

3227: \Gamma_{\kappa}\,\epsilon\,=\,{i\over 

3228: \sqrt{-\det (g+F)}}\,\,{r^3\over L^3}\,\Gamma_{x^0x^1x^2}\,

3229: \Bigg[\,\gamma_r\,\gamma_{\theta\phi}\,\epsilon^*\,

3230: -\,\gamma_r\,F_{\theta\phi}\,\epsilon\,\Bigg]\,\,.

3231: \eeq

3232: Notice that $\gamma_r$ is given by:

3233: \beq

3234: \gamma_r\,=\,{L\over r}\,\big(\,\Gamma_r\,+\,{r^2\over L^2}\,x'\,

3235: \Gamma_{x^3}\,\big)\,\,.

3236: \eeq

3237: For the angular embeddings we are considering it is easy to prove from the results of section 4

3238: that:

3239: \beq

3240: \gamma_{\theta\phi}\,\epsilon^*\,=\,-i \sigma L^2 K(\theta)\, 

3241: \Gamma_{13}\,\epsilon^*\,\,.

3242: \eeq

3243: By using this result and the value of $F_{\theta\phi}$ (eq. (\ref{wvflux})), one easily verifies

3244: that:

3245: \beq

3246: \Gamma_{\kappa}\,\epsilon\,=\,-{i\over 1+{q^2\over L^4}}\,\,

3247: \Gamma_{x^0x^1x^2 r}\Big[\,

3248: i\sigma\Gamma_{13}\,\epsilon^*\,+\,

3249: {q\over L^2}\, i\sigma\,\Gamma_{r x^3}\,\Gamma_{13}\,\epsilon^* +

3250: {q\over L^2}\,\epsilon\,+\,{q^2\over L^4}\,\Gamma_{rx^3}\,\epsilon\,\Big]\,\,.

3251: \eeq

3252: By using the explicit dependence of $x$ on $r$ (eq. (\ref{x(r)})), one can write the Killing

3253: spinor $\epsilon$ evaluated on the worldvolume as:

3254: \beq

3255: e^{{i\over 2}\psi}\,\epsilon\,=\,r^{-{1\over 2}}\,\Big(\,1\,-\,{ q\over L^2}\,\Gamma_{rx^3}\Big)

3256: \eta_+\,+\,

3257: r^{{1\over 2}}\,\Big(\,{\bar x^3\over L^2}\,

3258: \Gamma_{rx^3}\,\eta_+\,+\,\eta_-\,\Big)\,+

3259: \,{r^{{1\over 2}}\over L^2}\,x^p\,\Gamma_{rx^p}\,\eta_+\,\,,

3260: \label{epsilonflux}

3261: \eeq

3262: where the constant spinors $\eta_{\pm}$ are the ones defined in eq. (\ref{etamasmenos}).

3263: Remarkably, one finds that the condition $\Gamma_{\kappa}\epsilon=\epsilon$ is verified if

3264: $\eta_{+}$ and $\eta_{-}$ satisfy the same system (\ref{d5system}) as is the case of zero

3265: flux. 

3266: 

3267: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3268: \subsection{D5-branes wrapped on a three-cycle}

3269: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3270: \label{d5-3cycle}

3271: 

3272: 

3273: 

3274: We will now try to find supersymmetric configurations of D5-branes wrapping a three cycle of the 

3275: $Y^{p,q}$ space. Let us choose the following set of worldvolume coordinates 

3276: $\xi^{\mu}=(x^0, x^1, x^2, y, \beta, \psi)$  and consider an embedding with $x^3$ and $r$ constant, 

3277:  $\theta=\theta(y,\beta)$ and $\phi=\phi(y,\beta)$. In this case:

3278: \beq

3279: \Gamma_{\kappa}\,\epsilon\,=\,{i\over \sqrt{-g}}\,\,

3280: {r^3\over L^3}\,\,\Gamma_{x^0x^1x^2}\,\gamma_{y\beta\psi}\,

3281: \epsilon^*\,\,.

3282: \eeq

3283: The value of $\gamma_{y\beta\psi}\,\epsilon^*$ can be obtained by taking the complex conjugate 

3284: of eq. (\ref{HEKcs}). As $c_1=c_3=0$ when $\theta_{\psi}=\phi_{\psi}=0$, we can write:

3285: \beq

3286: {i\over L^3}\,\gamma_{y\beta\psi}\,\epsilon^*\,=\,

3287: \big[\,c_5^*\,\Gamma_5\,+\,

3288: c_{135}^*\,\Gamma_{135}\,\big]\,\epsilon^*\,\,.

3289: \eeq

3290: The only possible BPS condition compatible with the projections satisfied by $\epsilon$ is

3291: $c_5=0$, which leads to a projection of the type 

3292: \beq

3293: \Gamma_{x^0x^1x^2}\Gamma_{135}\,\epsilon^*\,=\,\lambda \epsilon\,\,,

3294: \eeq

3295: where $\lambda$ is a phase.

3296: Notice that, however, as the spinor $\epsilon$ contains a factor $e^{-{i\over 2}\psi}$, the

3297: two sides of the above  equation depend differently on $\psi$ due to the complex

3298: conjugation appearing on the left-hand side ($\lambda$ does not depend on $\psi$). Thus,

3299: these configurations cannot be supersymmetric. We could try to use another set of

3300: worldvolume coordinates, in particular one which does not include $\psi$. After some

3301: calculation one can check that there is no consistent solution. 

3302: 

3303: For the ansatz considered above the lagrangian density of the D5-brane is, up to irrelevant

3304: factors, the same as the one obtained in subsection \ref{hekconst} 

3305:  for a D3-brane wrapping a  three-dimensional submanifold of $Y^{p,q}$. Therefore

3306: any solution of the  first-order equations (\ref{HEKBPS}) gives rise to an embedding

3307: of a D5-brane which  solves the equations of motion and saturates an energy bound. This

3308: last fact implies that the D5-brane configuration is stable, in spite of

3309: the fact that it is not supersymmetric.  

3310: 

3311: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3312: \subsection{The baryon vertex}

3313: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3314: \label{baryonvertex}

3315: 

3316: If a D5-brane wraps the whole $Y^{p,q}$ space, the flux of the Ramond-Ramond five form 

3317: $F^{(5)}$ that it captures acts as a source for the electric worldvolume gauge field which, in

3318: turn, gives rise  to a bundle of fundamental strings emanating from the D5-brane. This is

3319: the basic argument of  Witten's construction of the baryon vertex

3320: \cite{ba0}, which we will explore in detail now. In this case the probe

3321: action  must include the worldvolume gauge field $F$ in both the

3322: Born-Infeld and Wess-Zumino terms. It takes the form:

3323: \beq

3324: S\,=\,-T_5\,\int d^6\xi\,\sqrt{-\det (g+F)}\,+\,

3325: T_5\int d^6\xi \,\,\,A\wedge F^{(5)}\,\,,

3326: \label{baryonaction}

3327: \eeq

3328: where $T_5$ is the tension of the D5-brane and $A$ is the one-form potential for $F$ (

3329: $F=dA$). In order to analyze the contribution of the Wess-Zumino term in

3330: (\ref{baryonaction})  let us rewrite the expression (\ref{F5}) of $F^{(5)}$ as:

3331: \beq

3332: F^{(5)}\,=\,{L^4\over 27}\,\,(1-cy)\,\sin\theta\,

3333: dy\wedge d\beta\wedge d\theta\wedge d\phi \wedge d\psi\,+\,

3334: {\rm Hodge}\,\,\, {\rm dual}\,\,,

3335: \label{baryonF5}

3336: \eeq

3337: where, for simplicity we are taking the string coupling constant $g_s$ equal to one. Let us

3338: also choose the following set of worldvolume coordinates:

3339: \beq

3340: \xi^{\mu}\,=\,(x^0,y,\beta,\theta,\phi,\psi)\,\,.

3341: \label{baryon-coordinates}

3342: \eeq

3343: It is clear from the expressions of $F^{(5)}$ in (\ref{baryonF5}) and  of the

3344: Wess-Zumino term in (\ref{baryonaction}) that, for consistency, we must turn on the time

3345: component of the field $A$. Actually, we will adopt the following ansatz:

3346: \beq

3347: r\,=\,r(y)\,\,,\qquad\qquad

3348: A_0\,=\,A_0(y)\,\,.

3349: \label{baryon-ansatz}

3350: \eeq

3351: The action (\ref{baryonaction}) for such a configuration can be written as:

3352: \beq

3353: S\,=\,{T_5 L^4\over 108}\,\,V_4\,\,\int dx^0 dy\,\,

3354: {\cal L}_{eff}\,\,,

3355: \label{Leff}

3356: \eeq

3357: where the volume $V_4$ is :

3358: \beq

3359: V_4\,=\,6\int d\alpha\, d\psi\, d\phi\,

3360: d\theta\sin\theta\,=\,96\pi^3\,\ell\,,

3361: \eeq

3362: and the effective lagrangian density ${\cal L}_{eff}$  is given by:

3363: \beq

3364: {\cal L}_{eff}\,=\,(1-cy)\,\Bigg[\,-H\,

3365: \sqrt{{r^2\over H^2}\,+\,6\,(r')^2\,-\,6\,(F_{x^0 y})^2}\,+\,4A_0\,\Bigg]\,\,.

3366: \eeq

3367: Notice that, for our ansatz (\ref{baryon-ansatz}), the electric field 

3368: is $F_{x^0 y}=-\partial_y A_0$. 

3369: Let us now introduce the displacement field, defined as:

3370: \beq

3371: D(y) \equiv {\partial {\cal L}_{eff}\over \partial F_{x^0y}}\,=\,

3372: {6(1-cy)HF_{x^0 y}\over 

3373: \sqrt{{r^2\over H^2}\,+\,6\,(r')^2\,-\,6\,(F_{x^0 y})^2}}\,\,.

3374: \label{D}

3375: \eeq

3376: From the equations of motion of the system it is straightforward to determine $D(y)$.

3377: Indeed, the variation of $S$ with respect to $A_0$ gives rise to the Gauss' law:

3378: \beq

3379: {dD(y)\over dy}\,=\,-4(1-cy)\,\,,

3380: \eeq

3381: which can be immediately integrated, namely:

3382: \beq

3383: D(y)\,=\,-4\bigg(\,y-{cy^2\over 2}\,\bigg)\,+\,{\rm constant}\,\,.

3384: \label{D(y)}

3385: \eeq

3386: By performing a Legendre transform in (\ref{Leff}) we can obtain

3387: the energy of the configuration:

3388: \beq

3389: E\,=\,{T_5 L^4\over 108}\,\,V_4\,\,\int  dy\,\,

3390: {\cal H}\,\,,

3391: \eeq

3392: where ${\cal H}$ is given by:

3393: \beq

3394: {\cal H}\,=\,

3395: (1-cy)\,H\,\sqrt{{r^2\over H^2}\,+\,6\,(r')^2\,-\,6\,(F_{x^0 y})^2}\,+\,

3396: D(y)\,F_{x^0 y}\,\,.

3397: \eeq

3398: Moreover, the relation (\ref{D}) between $D(y)$ and $F_{x^0 y}$ can be inverted, with the

3399: result:

3400: \beq

3401: F_{x^0 y}\,=\,{1\over 6}\,\,

3402: {\sqrt{{r^2\over H^2}\,+\,6\,(r')^2}\over

3403: \sqrt{{D^2\over 6}\,+\,(1-cy)^2\,H^2}}

3404: \,\,D\,\,.

3405: \label{invertedD}

3406: \eeq

3407: Using the relation (\ref{invertedD}) we can rewrite ${\cal H}$ as:

3408: \beq

3409: {\cal H}\,=\,\sqrt{{D^2\over 6}\,+\,(1-cy)^2\,H^2}\,\,\,

3410: \sqrt{{r^2\over H^2}\,+\,6\,(r')^2}\,\,,

3411: \eeq

3412: where $D(y)$ is the function of the $y$ coordinate displayed in (\ref{D(y)}). 

3413: The Euler-Lagrange equation derived from ${\cal H}$ is a second-order differential equation

3414: for the function $r(y)$. This equation is rather involved and we will not

3415: attempt to solve it

3416: here. In a supersymmetric configuration one expects that there exists  a first-order

3417: differential equation for $r(y)$ whose solution also solves the equations

3418: of motion. This first-order equation has been found in

3419: ref.\cite{severalbaryon} for the $AdS_5\times S^5$ background. We have

3420: not been able to find such first-order equation in this 

3421: $AdS_5\times Y^{p,q}$ case. A similar negative result was obtained in \cite{acr} for the 

3422: $AdS_5\times T^{1,1}$ background. This result is an indication that this baryon vertex

3423: configuration is not supersymmetric. Let us check explicitly  this fact by analyzing the

3424: kappa symmetry condition. The expression of $\Gamma_{\kappa}$ when the worldvolume gauge

3425: field is non-zero can be found in ref.\cite{swedes}. In our case

3426: $\Gamma_{\kappa}\,\epsilon$ reduces to:

3427: \beq

3428: \Gamma_{\kappa}\,\epsilon\,=\,-{i\over \sqrt{-\det (\,g+F\,)}}\,\,\Bigg[\,

3429: {r\over L}\,\Gamma_{x^0}\,\gamma_{y\beta\theta\phi\psi}\,\,\epsilon^*\,-\,

3430: F_{x^0 y}\,\gamma_{\beta\theta\phi\psi}\,\,\epsilon\,\Bigg]\,\,.

3431: \label{baryonkappa}

3432: \eeq

3433: The two terms on the right-hand side of (\ref{baryonkappa}) containing the antisymmetrized

3434: products of gamma matrices can be written as:

3435: \bear

3436: &&\gamma_{y\beta\theta\phi\psi}\,\,\epsilon^*\,=\,

3437: {L^5\over 108}\,(1-cy)\sin\theta\,\Big(\,\Gamma_{5}\,-\,

3438: \sqrt{6}\,H\,{r'\over r}\,\Gamma_{r15}\,\Big)\,\epsilon^*\,\,,\rc\rc

3439: &&\gamma_{\beta\theta\phi\psi}\,\,\epsilon\,=\,

3440: -{L^4\over 18\sqrt{6}}\,(1-cy)\,H\,\sin\theta\,\Gamma_{15}\,\epsilon\,\,.

3441: \eear

3442: By using this result, we can write $\Gamma_{\kappa}\,\epsilon$ as:

3443: \beq

3444: \Gamma_{\kappa}\,\epsilon\,=\,

3445: -{i\,L^4\,(1-cy) \over \sqrt{-\det (\,g+F\,)}}\sin\theta\Bigg[

3446: {r\over 108}\,\Gamma_{x^0}\Gamma_5\,\epsilon^*+

3447: {H\over 18\sqrt{6}}\,\Big(\,F_{x^0y}\,\Gamma_{15}\,\epsilon\,-\,

3448: r'\,\Gamma_{x^0r15}\,\epsilon^*\,\Big)\Bigg]\,\,.

3449: \label{baryongammakappa}

3450: \eeq

3451: In order to solve the $\Gamma_{\kappa}\,\epsilon\,=\,\epsilon$ equation we

3452: shall impose, as in ref.\cite{Susybaryon}, an extra projection such that

3453: the contributions of the worldvolume gauge field  $F_{x^0y}$ and of $r'$

3454: in (\ref{baryongammakappa}) cancel  each other.  This can be achieved

3455: by imposing that $\Gamma_{x^0r}\,\epsilon^*\,=\,\epsilon$  and that

3456: $F_{x^0y}=r'$. Notice that the condition $\Gamma_{x^0r}\,\epsilon^*\,=\,\epsilon$

3457: corresponds to having fundamental strings in the radial direction, as expected for a baryon

3458: vertex configuration. Moreover, as the spinor $\epsilon$ has fixed ten-dimensional

3459: chirality, this extra projection implies that 

3460: $i\Gamma_{x^0}\Gamma_5\,\epsilon^*\,=\,-\epsilon$ which, in turn, is needed to satisfy the 

3461: $\Gamma_{\kappa}\,\epsilon\,=\,\epsilon$ equation. However, the condition 

3462: $\Gamma_{x^0r}\,\epsilon^*\,=\,\epsilon$  is incompatible with the conditions

3463: (\ref{epsilon-project}) and, then, it cannot be imposed on the Killing

3464: spinors. Thus, as in the analysis of \cite{acr}, we conclude from this

3465: incompatibility argument (which is more general than the particular

3466: ansatz we are adopting here) that the baryon vertex configuration breaks

3467: completely the supersymmetry of the

3468: $AdS_5\times Y^{p,q}$ background. 

3469: 

3470: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3471: \subsection{More spacetime filling D7-branes}

3472: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3473: \label{MoreD7}

3474: 

3475: Let us adopt $\xi^{\mu}=(x^0, x^1, x^2,x^3,  y, \beta, \psi, r)$ as our set of worldvolume

3476: coordinates for a D7-brane probe and let us consider a configuration with

3477: $\theta=\theta(y,\beta)$ and $\phi=\phi(y,\beta)$.  In this case:

3478: \beq

3479: \Gamma_{\kappa}\,=\,-{i\over \sqrt{-g}}\,\,

3480: {r^4\over L^4}\,\,\Gamma_{x^0x^1x^2x^3}\,\gamma_{y\beta\psi r}\,\,.

3481: \eeq

3482: Let us take $\epsilon=\epsilon_-$, where $\Gamma_*\epsilon_-=-\epsilon_-$(see eq.

3483: (\ref{chiraladsspinor})). 

3484: As $\gamma_r={L\over r}\,\Gamma_r$, we can write:

3485: \beq

3486: {r\over L^4}\,\,

3487: \gamma_{y\beta\psi r}\,\epsilon_-\,=\,-\big[c_5\,+\,c_{135}\,\Gamma_{13}\,\big]\,

3488: \epsilon_-\,\,,

3489: \eeq

3490: where the coefficients $c_5$ and $c_{135}$ are exactly those written in eq.

3491: (\ref{expressionHEKcs}) for the D (doublet) three-cycles. The BPS

3492: condition is just $c_{135}=0$, which leads to  the system of differential

3493: equations (\ref{HEKBPS}). Thus, in this case the D7-brane extends 

3494: infinitely in the radial direction and wraps a three-dimensional

3495: submanifold of the 

3496: $Y^{p,q}$ space  of the

3497: type studied in subsection \ref{hekconst}. These embeddings preserve four supersymmetries. 

3498: 

3499: 

3500: 

3501: 

3502: 

3503: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3504: \subsection{D7-branes wrapped on $Y^{p,q}$}

3505: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3506: \label{D7Ypq}

3507: 

3508: Let us take a D7-brane which wraps the entire $Y^{p,q}$ space and is extended along two 

3509: spatial directions. The set of worldvolume coordinates we will use in this case are

3510: $\xi^{\mu}\,=\,(x^0,x^1,r,\theta,\phi,y,\beta,\psi)$ and we will assume that $x^2$ and $x^3$ are

3511: constant. The matrix $\Gamma_{\kappa}$ in this case is:

3512: \beq

3513: \Gamma_{\kappa}\,=\,-{i\over \sqrt{-g}}\,\,

3514: \gamma_{x^0x^1r\theta\phi y\beta\psi}\,\,.

3515: \eeq

3516: Acting on a spinor $\epsilon$ of the background one can prove that

3517: \beq

3518: \Gamma_{\kappa}\,\epsilon\,=\,i\Gamma_{x^0x^1r 5}\,\epsilon\,\,,

3519: \eeq

3520: which can be solved by a spinor $\epsilon_-=r^{{1\over 2}}\,\,e^{-{i\over 2}\psi}\,\eta_-$, with

3521:  $\eta_-$ satisfying the additional projection $\Gamma_{x^0x^1r

3522: 5}\,\eta_-\,=\, -i\eta_-$. Thus this configuration preserves two

3523: supersymmetries.

3524: 

3525: 

3526: 

3527: \setcounter{equation}{0}

3528: \section{Summary and Conclusions}

3529: \label{conclusions}

3530: Let us briefly summarize the results of our investigation. Using

3531: kappa symmetry as the central tool, we have  systematically studied

3532: supersymmetric embeddings of branes in the $AdS_5\times Y^{p,q}$

3533: geometry.  Our  study focused on three kinds of branes D3, D5 and D7.

3534: 

3535: {\it D3-branes: }This is the case that we studied most exhaustively. For 

3536: D3-branes wrapping three-cycles in $Y^{p,q}$ we first reproduced 

3537: all the results present in the literature. In particular, using

3538: kappa symmetry, we obtained two kinds of  supersymmetric cycles:

3539: localized at $y_1$ and $y_2$  \cite{ms} and  localized in the  round

3540: $S^2$ \cite{sequiver,hek}. For these branes we found perfect agreement

3541: with the field theory results.  Moreover, we also found a new class of

3542: supersymmetric embeddings of D3-branes in this background. They do not

3543: correspond to dibaryonic operators since the D3-brane does not wrap a

3544: three-cycle.  The field theory interpretation of these new embeddings is

3545: not completely clear to  us due to various issues with global properties.

3546: We believe that they might be  a good starting point  to find candidates

3547: for representatives of the  integer part of the third homology group of

3548: $Y^{p,q}$, just like the analogous family of cycles found in

3549: \cite{ba2,acr} were representative of the integer  part

3550: $H_3(T^{1,1}, \ZZ)$. It would be important to understand these

3551: wrapped D3-branes in terms of algebraic geometry as well as in terms of  

3552: operators in the field theory dual, following the framework of

3553: Ref.\cite{beasley} which, in the case of the conifold, emphasizes the use

3554: of global homogeneous coordinates. It is worth stressing that such global 

3555: homogeneous coordinates exist in any toric variety \cite{Cox} but the

3556: relation to the field theory operators is less clear in $CY^{p,q}$. 

3557: We analyzed the spectrum of excitations of a wrapped  D3-brane

3558: describing an $SU(2)$-charged dibaryon and found perfect agreement with

3559: the field theory expectations.  We considered other embeddings and found

3560: that  a D3-brane wrapping a two-cycle in $Y^{p,q}$ is not a supersymmetric

3561: state but, nevertheless, it is stable. In the field theory this 

3562: configuration describes a fat string. 

3563: 

3564: 

3565: {\it D5-branes:}  The embedding that we paid the most attention to is a

3566: D5-brane extended along a two-dimensional submanifold in $Y^{p,q}$ and 

3567: having codimension one in $AdS_5$. In the field theory this is the kind

3568: of brane that represents a  domain wall across which the  rank of the

3569: gauge groups jumps. Alternatively, when we allow the D5-brane to extend

3570: infinitely in the holographic direction, we  get a configuration

3571: dual to a defect conformal field theory of the type analyzed in ref.

3572: \cite{WFO} for the

3573: $AdS_5\times S^5$ background.  We showed explicitly that such

3574: configuration  preserves four supersymmetries and saturates the expected

3575: energy bound. For this configuration we also considered  turning on a

3576: worldvolume flux and found that it can be done in a supersymmetric way.

3577: The flux in the  worldvolume of the brane provides a bending  of the

3578: profile of the wall, analogously to what happens in $AdS_5\times S^5$

3579: \cite{ST} and

3580: $AdS_5\times T^{1,1}$

3581: \cite{acr}. We  showed the

3582: consistency of similar 

3583:  embeddings in which the D5-brane wraps a different two-dimensional

3584: submanifold in $Y^{p,q}$. We also considered D5-branes wrapping

3585: three-cycles. This configuration  also looks like a domain wall in the

3586: field theory dual but it does not have codimension one in $AdS_5$ and,

3587: although it  cannot be supersymmetric,  it is stable. Finally, we

3588: considered a D5-brane wrapping the whole

3589: $Y^{p,q}$, which corresponds  to  the baryon vertex. We verified that,

3590: as in the case of $T^{1,1}$, it is not a supersymmetric configuration. 

3591: 

3592: 

3593: {\it D7-branes:} With the aim of  introducing mesons in the

3594: corresponding field theory,  we  considered spacetime filling D7-branes.

3595: We explicitly showed that such configurations preserve  four

3596: supersymmetries and found  the precise embedding in terms of the radial

3597: coordinate. We  found an interpretation of the embedding equation in

3598: terms  of complex coordinates.  We also analyzed other spacetime filling

3599: D7-brane embeddings. Finally, we considered a D7-brane that  wraps

3600: $Y^{p,q}$ and is codimension two in $AdS_5$.  This configuration looks,

3601: from the field theory point of view, as a  string and preserves two

3602: supersymmetries. 

3603: 

3604: 

3605: We would like to comment on various approximations made in the paper and point out some interesting open problems. 

3606: We believe that our analysis, though carried out in the case of $Y^{p,q}$

3607: manifolds, is readily adaptable to other  Sasaki-Einstein spaces. In

3608: particular, the form of the spinor for $L^{a,b,c}$ is essentially the

3609: same as in our case, namely  

3610: $\epsilon^{-i\psi/2}\eta$,  where $\psi$ is the coordinate on the $U(1)$

3611: fiber in the canonical presentation of   Sasaki-Einstein spaces as a

3612: $U(1)$ bundle over  a K\"ahler-Einstein base,  and $\eta$ is a constant

3613: spinor satisfying two projections generically written  as

3614: $\Gamma_{12}\eta=-i\eta$ and $\Gamma_{34}\eta=i\eta$. Note that this

3615: structure comes from the K\"ahler base and is  universal. 

3616: 

3617: 

3618: Part of our analysis of some branes could be made more precise. In particular, it would be interesting 

3619: to understand the new family of supersymmetric embeddings of D3-branes

3620: in terms of algebraic geometry as well  as in terms of

3621: operators in the field theory. We did not present an analysis of the

3622: spectrum of  excitations for all of the branes. In particular, we would

3623: like to understand the excitations of the spacetime filling  D7-branes

3624: and  the baryon vertex better. We hope that understanding the conformal

3625: case will provide the basis for future analysis of  deformed theories

3626: including the confining ones.  For example, as shown by \cite{LevO}

3627: and \cite{Kuper}, the spacing of mass  eigenvalues for the mesons in

3628: the confining case inherits properties of the related conformal theory.

3629: 

3630: 

3631: 

3632: We would like to point out that fully matching the spectrum of wrapped branes with field theory states 

3633: is largely an ongoing problem. In particular, there are various

3634: embeddings  that originate 

3635: from branes of different dimensionality wrapping different cycles which

3636: should be distinguishable from the field theory point of view. It

3637: would be  interesting to understand to what extent the topological data

3638: of the space determine the kind of supersymmetric branes that are 

3639: allowed. Let us finish  with a wishful statement. We have found a large

3640: spectrum of supersymmetric wrapped branes and also non-supersymmetric but

3641: stable  branes. In analogy with the situation for strings in flat space

3642: and orbifolds one wonders whether there is a sort of  holographic K-theory

3643: which accounts for all the possible branes  in a given background.

3644:  

3645: 

3646: We hope to return to these issues in the near future. 

3647: 

3648: \medskip

3649: \section*{Acknowledgments}

3650: \medskip

3651: We are thankful to J. Liu and J. Shao for collaboration at early stages

3652: of this project. We are grateful to Sergio Benvenuti, Ami Hanany,

3653: Dario Martelli and Peter Ouyang for comments and to M. Mahato for various

3654: checks. We would also like to thank David Mateos, Carlos N\'u\~nez and

3655: Peter Ouyang for insightful comments on the manuscript.

3656: F.C. and J.D.E. wish to thank the Theory Division at

3657: CERN for hospitality while this work was being completed.

3658: The research of L.A.P.Z. and D.V. was supported in part by Department of

3659: Energy under grant DE-FG02-95ER40899 to the University of  Michigan and the National Science Foundation under Grant No. PHY99-07949 to the Kavli

3660: Institute for Theoretical Physics. J.D.E. has been supported in part by

3661: ANPCyT under grant PICT 2002 03-11624, and by the FCT grant

3662: POCTI/FNU/38004/2001. The work of F.C., J.D.E. and A.V.R. was

3663: supported in part by MCyT, FEDER and Xunta de Galicia under grant

3664: FPA2005-00188 and by  the EC Commission under  

3665: grants HPRN-CT-2002-00325 and MRTN-CT-2004-005104. 

3666: Institutional support to the Centro de

3667: Estudios Cient\'\i ficos (CECS) from Empresas CMPC is gratefully

3668: acknowledged. CECS is a Millennium Science Institute and is funded

3669: in part by grants from Fundaci\'on Andes and the Tinker Foundation.

3670: 

3671: 

3672: \begin{thebibliography}{99}

3673: 

3674: \bibitem{juan}

3675: J.~M.~Maldacena, ``The large N limit of superconformal field theories and

3676: supergravity,'' Adv.\ Theor.\ Math.\ Phys.\  {\bf 2} (1998) 231

3677: [Int.\ J.\ Theor.\ Phys.\  {\bf 38} (1999) 1113] [arXiv:hep-th/9711200].

3678: %%CITATION = HEP-TH 9711200;%%

3679: 

3680: \bibitem{MAGOO}

3681: For a review see, O.~Aharony, S.~S.~Gubser, J.~M.~Maldacena, H.~Ooguri and

3682: Y.~Oz, ``Large N field theories, string theory and gravity,''

3683: Phys.\ Rept.\  {\bf 323} (2000) 183 [arXiv:hep-th/9905111].

3684: %%CITATION = HEP-TH 9905111;%%

3685: 

3686: \bibitem{ba0}

3687: E.~Witten, ``Baryons and branes in anti de Sitter space,''

3688: JHEP {\bf 9807} (1998) 006 [arXiv:hep-th/9805112].

3689: %%CITATION = HEP-TH 9805112;%%

3690: 

3691: \bibitem{ba1}

3692: S.~S.~Gubser and I.~R.~Klebanov, ``Baryons and domain walls in an N = 1

3693: superconformal gauge theory,''

3694: Phys.\ Rev.\ D {\bf 58} (1998) 125025 [arXiv:hep-th/9808075].

3695: %%CITATION = HEP-TH 9808075;%%

3696: 

3697: \bibitem{ba2}

3698: D.~Berenstein, C.~P.~Herzog and I.~R.~Klebanov, ``Baryon spectra and

3699: AdS/CFT correspondence,'' JHEP {\bf 0206} (2002) 047 [arXiv:hep-th/0202150].

3700: %%CITATION = HEP-TH 0202150;%%

3701: 

3702: \bibitem{ba3}

3703: S.~Gukov, M.~Rangamani and E.~Witten, ``Dibaryons, strings, and branes in

3704: AdS orbifold models,'' JHEP {\bf 9812} (1998) 025 [arXiv:hep-th/9811048].

3705: %%CITATION = HEP-TH 9811048;%%

3706: 

3707: \bibitem{BMN}

3708: D.~Berenstein, J.~M.~Maldacena and H.~Nastase, ``Strings in flat space and

3709: pp waves from N = 4 super Yang Mills,'' JHEP {\bf 0204} (2002) 013

3710: [arXiv:hep-th/0202021].

3711: %%CITATION = HEP-TH 0202021;%%

3712: 

3713: \bibitem{wl}

3714: J.~M.~Maldacena, ``Wilson loops in large N field theories,''

3715: Phys.\ Rev.\ Lett.\  {\bf 80} (1998) 4859 [arXiv:hep-th/9803002];\\

3716: %%CITATION = HEP-TH 9803002;%%

3717: S.~J.~Rey and J.~T.~Yee, ``Macroscopic strings as heavy quarks in large

3718: N gauge theory and  anti-de Sitter supergravity,'' Eur.\ Phys.\ J.\ C

3719: {\bf 22} (2001) 379 [arXiv:hep-th/9803001].

3720: %%CITATION = HEP-TH 9803001;%%

3721: 

3722: \bibitem{gubser}

3723: S.~S.~Gubser, ``Einstein manifolds and conformal field theories,''

3724: Phys.\ Rev.\ D {\bf 59} (1999) 025006 [arXiv:hep-th/9807164].

3725: %%CITATION = HEP-TH 9807164;%%

3726: \bibitem{kw}

3727: I.~R.~Klebanov and E.~Witten, ``Superconformal field theory on threebranes

3728: at a Calabi-Yau singularity,'' Nucl.\ Phys.\ B {\bf 536} (1998) 199

3729: [arXiv:hep-th/9807080].

3730: %%CITATION = HEP-TH 9807080;%%

3731: 

3732: \bibitem{beasley}

3733: C.~E.~Beasley, ``BPS branes from baryons,''

3734: JHEP {\bf 0211} (2002) 015 [arXiv:hep-th/0207125].

3735: %%CITATION = HEP-TH 0207125;%%

3736: 

3737: \bibitem{acr}

3738: D.~Arean, D.~Crooks and A.~V.~Ramallo, ``Supersymmetric probes on the

3739: conifold,'' JHEP {\bf 0411} (2004) 035 [arXiv:hep-th/0408210].

3740: %%CITATION = HEP-TH 0408210;%%

3741: 

3742: \bibitem{GMSW1}

3743: J.~P.~Gauntlett, D.~Martelli, J.~Sparks and D.~Waldram, ``Supersymmetric

3744: AdS(5) solutions of M-theory,'' Class.\ Quant.\ Grav.\  {\bf 21} (2004)

3745: 4335 [arXiv:hep-th/0402153].

3746: %%CITATION = HEP-TH 0402153;%%

3747: 

3748: \bibitem{GMSW2}

3749: J.~P.~Gauntlett, D.~Martelli, J.~Sparks and D.~Waldram, ``Sasaki-Einstein

3750: metrics on S(2) x S(3),'' Adv.\ Theor.\ Math.\ Phys.\  {\bf 8} (2004) 711

3751: [arXiv:hep-th/0403002].

3752: %%CITATION = HEP-TH 0403002;%%

3753: 

3754: \bibitem{ms}

3755: D.~Martelli and J.~Sparks, ``Toric geometry, Sasaki-Einstein manifolds and

3756: a new infinite class of AdS/CFT duals,'' arXiv:hep-th/0411238.

3757: %%CITATION = HEP-TH 0411238;%%

3758: 

3759: \bibitem{sequiver}

3760: S.~Benvenuti, S.~Franco, A.~Hanany, D.~Martelli and J.~Sparks, ``An

3761: infinite family of superconformal quiver gauge theories with

3762: Sasaki--Einstein duals,'' JHEP {\bf 0506} (2005) 064 [arXiv:hep-th/0411264].

3763: %%CITATION = HEP-TH 0411264;%%

3764: 

3765: \bibitem{friends}

3766: M.~Bertolini, F.~Bigazzi and A.~L.~Cotrone, ``New checks and subtleties

3767: for AdS/CFT and a-maximization,'' JHEP {\bf 0412} (2004) 024

3768: [arXiv:hep-th/0411249].

3769: %%CITATION = HEP-TH 0411249;%%

3770: 

3771: \bibitem{swedes}

3772: M.~Cederwall, A.~von Gussich, B.~E.~W.~Nilsson, P.~Sundell and

3773: A.~Westerberg, ``The Dirichlet super-p-branes in ten-dimensional type

3774: IIA and IIB supergravity,'' Nucl.\ Phys.\ B {\bf 490} (1997) 179

3775: [arXiv:hep-th/9611159];\\

3776: %%CITATION = HEP-TH 9611159;%%

3777: E.~Bergshoeff and P.~K.~Townsend, ``Super D-branes,'' Nucl.\ Phys.\

3778: B {\bf 490} (1997) 145 [arXiv:hep-th/9611173];\\

3779: %%CITATION = HEP-TH 9611173;%%

3780: M.~Aganagic, C.~Popescu and J.~H.~Schwarz, ``D-brane actions with local

3781: kappa symmetry,'' Phys.\ Lett.\ B {\bf 393} (1997) 311

3782: [arXiv:hep-th/9610249]; ~``Gauge-invariant and gauge-fixed D-brane

3783: actions,'' Nucl.\ Phys.\ B {\bf 495} (1997) 99 [arXiv:hep-th/9612080].

3784: %%CITATION = HEP-TH 9610249;%%

3785: %%CITATION = HEP-TH 9612080;%%

3786: 

3787: \bibitem{bbs}

3788: K.~Becker, M.~Becker and A.~Strominger, ``Five-branes, membranes and

3789: nonperturbative string theory,'' Nucl.\ Phys.\ B {\bf 456} (1995) 130

3790: [arXiv:hep-th/9507158];\\

3791: %%CITATION = HEP-TH 9507158;%%

3792: E.~Bergshoeff, R.~Kallosh, T.~Ortin and G.~Papadopoulos, ``kappa-symmetry,

3793: supersymmetry and intersecting branes,'' Nucl.\ Phys.\ B {\bf 502} (1997)

3794: 149 [arXiv:hep-th/9705040];\\

3795: %%CITATION = HEP-TH 9705040;%%  

3796: E.~Bergshoeff and P.~K.~Townsend, ``Solitons on the supermembrane,''

3797: JHEP {\bf 9905} (1999) 021 [arXiv:hep-th/9904020].

3798: %%CITATION = HEP-TH 9904020;%%

3799: 

3800: \bibitem{GGT}

3801: J.~P.~Gauntlett, J.~Gomis and P.~K.~Townsend, ``BPS bounds for worldvolume

3802: branes,'' JHEP {\bf 9801} (1998) 003 [arXiv:hep-th/9711205].

3803: %%CITATION = HEP-TH 9711205;%%

3804: 

3805: \bibitem{hek}

3806: C.~P.~Herzog, Q.~J.~Ejaz and I.~R.~Klebanov, ``Cascading RG flows from

3807: new Sasaki-Einstein manifolds,'' JHEP {\bf 0502} (2005) 009

3808: [arXiv:hep-th/0412193].

3809: %%CITATION = HEP-TH 0412193;%%

3810: 

3811: \bibitem{klenek}

3812: I.~R.~Klebanov and N.~A.~Nekrasov, ``Gravity duals of fractional branes

3813: and logarithmic RG flow,'' Nucl.\ Phys.\ B {\bf 574} (2000) 263

3814: [arXiv:hep-th/9911096].

3815: %%CITATION = HEP-TH 9911096;%%

3816: 

3817: \bibitem{karch}

3818: A.~Karch and E.~Katz, ``Adding flavor to AdS/CFT,''

3819: JHEP {\bf 0206} (2002) 043 [arXiv:hep-th/0205236].

3820: %%CITATION = HEP-TH 0205236;%%

3821: 

3822: \bibitem{mesons}

3823: M.~Kruczenski, D.~Mateos, R.~C.~Myers and D.~J.~Winters, ``Meson

3824: spectroscopy in AdS/CFT with flavour,'' JHEP {\bf 0307} (2003) 049

3825: [arXiv:hep-th/0304032];\\

3826: %%CITATION = HEP-TH 0304032;%%

3827: T.~Sakai and J.~Sonnenschein, ``Probing flavored mesons of confining gauge

3828: theories by supergravity,'' JHEP {\bf 0309} (2003) 047

3829: [arXiv:hep-th/0305049];\\

3830: X.-J. Wang and S. Hu, ``Intersecting branes and 

3831: adding flavors to the

3832: Maldacena-N\'u\~nez background",

3833: {\sl \jhep} {\bf 0309 }(2003) 017 [arXiv: {\rm hep-th/0307218}];\\

3834: %%CITATION = HEP-TH 0305049;%%

3835: C.~Nu\~nez, A.~Paredes and A.~V.~Ramallo, ``Flavoring the gravity dual of

3836: N = 1 Yang-Mills with probes,'' JHEP {\bf 0312} (2003) 024

3837: [arXiv:hep-th/0311201];\\

3838: %%CITATION = HEP-TH 0311201;%%

3839: S. Hong, S. Yoon, M. J. Strassler, 

3840: ``Quarkonium from the fifth dimension", 

3841: {\sl \jhep} {\bf 0404 }(2004) 046 [arXiv: {\rm hep-th/0312071}];\\

3842: I.~Kirsch and D.~Vaman, ``The D3/D7 background and flavor dependence of

3843: Regge trajectories,'' Phys.\ Rev.\ D {\bf 72} (2005) 026007

3844: [arXiv:hep-th/0505164].

3845: %%CITATION = HEP-TH 0505164;%%

3846: 

3847: 

3848: \bibitem{Ouyang}P. Ouyang,

3849: ``Holomorphic D7-branes and flavored N=1 gauge dynamics", 

3850: {\sl \np} {\bf B699 }(2004) 207, {\rm hep-th/0311084}.

3851: 

3852: 

3853: 

3854: \bibitem{LevO}

3855: T.~S.~Levi and P.~Ouyang, ``Mesons and flavor on the conifold''

3856: [arXiv:  hep-th/0506021].

3857: %%CITATION = HEP-TH 0506021;%%

3858: 

3859: \bibitem{KMMW-two}

3860: M.~Kruczenski, D.~Mateos, R.~C.~Myers and D.~J.~Winters, ``Towards a

3861: holographic dual of large-N(c) QCD,'' JHEP {\bf 0405} (2004) 041

3862: [arXiv:hep-th/0311270];\\

3863: %%CITATION = HEP-TH 0311270;%%

3864: J.~L.~F.~Barbon, C.~Hoyos, D.~Mateos and R.~C.~Myers, ``The holographic

3865: life of the eta','' JHEP {\bf 0410} (2004) 029 [arXiv:hep-th/0404260];\\

3866: %%CITATION = HEP-TH 0404260;%%

3867: J.~L.~Hovdebo, M.~Kruczenski, D.~Mateos, R.~C.~Myers and D.~J.~Winters,

3868: ``Holographic mesons: Adding flavor to the AdS/CFT duality,''

3869: Int.\ J.\ Mod.\ Phys.\ A {\bf 20} (2005) 3428.

3870: %%CITATION = IMPAE,A20,3428;%%

3871: 

3872: \bibitem{Evans}

3873: J. Babington, J. Erdmenger, N. Evans, Z. Guralnik 

3874: and I. Kirsch, ``Chiral symmetry breaking and pions in non-supersymmetric 

3875: gauge/gravity duals", 

3876: {\sl \pr} {\bf D69} (2004) 066007, [arXiv:hep-th/0306018];\\

3877: %%CITATION = HEP-TH 0306018;%%

3878: N.~J.~Evans and J.~P.~Shock, ``Chiral dynamics from AdS space,''

3879: Phys.\ Rev.\ D {\bf 70} (2004) 046002 [arXiv:hep-th/0403279];\\

3880: %%CITATION = HEP-TH 0403279;%%

3881: N.~Evans, J.~Shock and T.~Waterson, ``D7 brane embeddings and chiral

3882: symmetry breaking,'' JHEP {\bf 0503} (2005) 005 [arXiv:hep-th/0502091];\\

3883: %%CITATION = HEP-TH 0502091;%%

3884: J. Erdmenger, J. Grosse and Z. Guralnik, ``Spectral flow on the Higss branch

3885: and AdS/CFT duality", {\rm hep-th/0502224}. 

3886: %%CITATION = HEP-TH 0502224;%%

3887: 

3888: \bibitem{Kuper}

3889: S.~Kuperstein, ``Meson spectroscopy from holomorphic probes on the

3890: warped deformed conifold,'' JHEP {\bf 0503} (2005) 014

3891: [arXiv:hep-th/0411097].

3892: %%CITATION = HEP-TH 0411097;%%

3893: 

3894: \bibitem{Sakai}

3895: T.~Sakai and S.~Sugimoto, ``Low energy hadron physics in holographic

3896: QCD,'' Prog.\ Theor.\ Phys.\  {\bf 113}, 843 (2005)

3897: [arXiv:hep-th/0412141]; ~``More on a holographic dual of QCD,''

3898: arXiv:hep-th/0507073.

3899: %%CITATION = HEP-TH 0412141;%%

3900: %%CITATION = HEP-TH 0507073;%%

3901: 

3902: 

3903: 

3904: \bibitem{d7full}

3905: B.~A.~Burrington, J.~T.~Liu, L.~A.~Pando Zayas and D.~Vaman,

3906: ``Holographic duals of flavored N = 1 super Yang-Mills: Beyond the

3907: probe approximation,'' JHEP {\bf 0502} (2005) 022 [arXiv:hep-th/0406207].

3908: %%CITATION = HEP-TH 0406207;%%

3909: 

3910: 

3911: \bibitem{APR}

3912:   D.~Arean, A.~Paredes and A.~V.~Ramallo,

3913:   ``Adding flavor to the gravity dual of non-commutative gauge theories,''

3914:   JHEP {\bf 0508} (2005) 017

3915:   [arXiv:hep-th/0505181].

3916:   %%CITATION = HEP-TH 0505181;%%

3917: 

3918: 

3919: \bibitem{Decays}

3920:   K.~Peeters, J.~Sonnenschein and M.~Zamaklar,

3921:  ``Holographic decays of large-spin mesons,''

3922:   JHEP {\bf 0602}, 009 (2006)

3923:   [arXiv:hep-th/0511044];\\

3924:  A.~L.~Cotrone, L.~Martucci and W.~Troost,

3925: ``String splitting and strong coupling meson decay,''

3926:   [arXiv:hep-th/0511045].

3927:   %%CITATION = HEP-TH 0511045;%%

3928:  %%CITATION = HEP-TH 0511044;%%

3929: 

3930: 

3931: 

3932: 

3933: 

3934: 

3935: 

3936: 

3937: 

3938: \bibitem{ben}

3939: B.~A.~Burrington, J.~T.~Liu, M.~Mahato and L.~A.~Pando Zayas, ``Towards

3940: supergravity duals of chiral symmetry breaking in Sasaki-Einstein

3941: cascading quiver theories,'' JHEP {\bf 0507} (2005) 019

3942: [arXiv:hep-th/0504155].

3943: %%CITATION = HEP-TH 0504155;%%

3944: 

3945: \bibitem{BHOP}

3946: D.~Berenstein, C.~P.~Herzog, P.~Ouyang and S.~Pinansky, ``Supersymmetry

3947: breaking from a Calabi-Yau singularity,'' JHEP {\bf 0509} (2005) 084

3948: [arXiv:hep-th/0505029].

3949: %%CITATION = HEP-TH 0505029;%%

3950: 

3951: \bibitem{LPT}

3952: H.~Lu, C.~N.~Pope and P.~K.~Townsend, ``Domain walls from anti-de Sitter

3953: spacetime,'' Phys.\ Lett.\ B {\bf 391} (1997) 39

3954: [arXiv:hep-th/9607164].

3955: %%CITATION = HEP-TH 9607164;%%

3956: \bibitem{globalads}

3957: M.~T.~Grisaru, R.~C.~Myers and O.~Tafjord, ``SUSY and Goliath,'' JHEP

3958: {\bf 0008} (2000) 040 [arXiv:hep-th/0008015];\\

3959: %%CITATION = HEP-TH 0008015;%%

3960: see, also, H.~Lu, C.~N.~Pope and J.~Rahmfeld, ``A construction of Killing

3961: spinors on S**n,'' J.\ Math.\ Phys.\  {\bf 40}, 4518 (1999)

3962: [arXiv:hep-th/9805151].

3963: %%CITATION = HEP-TH 9805151;%%

3964: 

3965: \bibitem{bk}

3966: S.~Benvenuti and M.~Kruczenski, ``Semiclassical strings in Sasaki-Einstein

3967: manifolds and long operators in N = 1 gauge theories,'' arXiv:hep-th/0505046.

3968: %%CITATION = HEP-TH 0505046;%%

3969: 

3970: \bibitem{benami}

3971: S.~Benvenuti and A.~Hanany, ``Conformal manifolds for the conifold and

3972: other toric field theories,'' JHEP {\bf 0508} (2005) 024

3973: [arXiv:hep-th/0502043].

3974: %%CITATION = HEP-TH 0502043;%%

3975: 

3976: 

3977: \bibitem{ksy}

3978: H.~Kihara, M.~Sakaguchi and Y.~Yasui, ``Scalar Laplacian on Sasaki-Einstein

3979: manifolds Y(p,q),'' Phys.\ Lett.\ B {\bf 621} (2005) 288

3980: [arXiv:hep-th/0505259].

3981: %%CITATION = HEP-TH 0505259;%%

3982: 

3983: \bibitem{heun}

3984: A. Ronveaux, Heun's Differential Equation, Oxford University Press, 1995.

3985: 

3986: 

3987: \bibitem{SY}

3988: S. Yamaguchi, ``AdS branes corresponding to superconformal defects,'' 

3989: JHEP {\bf 0306} (2003) 002.

3990: [arXiv:hep-th/0305007].

3991: %%CITATION = HEP-TH 0305007;%%

3992: 

3993: 

3994: \bibitem{mmms}

3995: M.~Marino, R.~Minasian, G.~W.~Moore and A.~Strominger, ``Nonlinear instantons

3996: from supersymmetric p-branes,'' JHEP {\bf 0001} (2000) 005

3997: [arXiv:hep-th/9911206].

3998: %%CITATION = HEP-TH 9911206;%%

3999: 

4000: \bibitem{severalbaryon}

4001: Y.~Imamura, `Supersymmetries and BPS configurations on Anti-de Sitter

4002: space,'' Nucl.\ Phys.\ B {\bf 537} (1999) 184 [arXiv:hep-th/9807179];\\

4003: %%CITATION = HEP-TH 9807179;%%;\\

4004: C.~G.~.~Callan, A.~Guijosa and K.~G.~Savvidy, ``Baryons and string creation

4005: from the fivebrane worldvolume action,'' Nucl.\ Phys.\ B {\bf 547} (1999)

4006: 127 [arXiv:hep-th/9810092];\\

4007: %%CITATION = HEP-TH 9810092;%%

4008: B.~Craps, J.~Gomis, D.~Mateos and A.~Van Proeyen, ``BPS solutions of a

4009: D5-brane world volume in a D3-brane background from superalgebras,''

4010: JHEP {\bf 9904} (1999) 004 [arXiv:hep-th/9901060];\\

4011: %%CITATION = HEP-TH 9901060;%%

4012: J.~M.~Camino, A.~V.~Ramallo and J.~M.~Sanchez de Santos, ``Worldvolume

4013: dynamics of D-branes in a D-brane background,'' Nucl.\ Phys.\ B {\bf 562}

4014: (1999) 103 [arXiv:hep-th/9905118].

4015: %%CITATION = HEP-TH 9905118;%%

4016: 

4017: \bibitem{Susybaryon}

4018: J.~Gomis, A.~V.~Ramallo, J.~Simon and P.~K.~Townsend, ``Supersymmetric

4019: baryonic branes,'' JHEP {\bf 9911} (1999) 019 [arXiv:hep-th/9907022].

4020: %%CITATION = HEP-TH 9907022;%%

4021: 

4022: 

4023: \bibitem{Cox}

4024: D. A. Cox, ``The Homogeneous Coordinate Ring of a Toric Variety",

4025: J. Algebraic Geom. {\bf 4} (1995) 17

4026: [arXiv:alg-geom/9210008].

4027: %%CITATION = ALG-GEOM 9210008;%%

4028: 

4029: 

4030: 

4031: 

4032: \bibitem{WFO}

4033: O.~DeWolfe, D.~Z.~Freedman and H.~Ooguri, ``Holography and defect conformal

4034: field theories,'' Phys.\ Rev.\ D {\bf 66} (2002) 025009

4035: [arXiv:hep-th/0111135].

4036: %%CITATION = HEP-TH 0111135;%%

4037: 

4038: \bibitem{ST}

4039: K.~Skenderis and M.~Taylor, ``Branes in AdS and pp-wave spacetimes,''

4040: JHEP {\bf 0206} (2002) 025 [arXiv:hep-th/0204054].

4041: %%CITATION = HEP-TH 0204054;%%

4042: 

4043: \end{thebibliography}

4044: 

4045: 

4046: 

4047: 

4048: 

4049: 

4050: 

4051: 

4052: 

4053: 

4054: \end{document}

4055: 

4056: 

4057: 

4058: