The anomaly-induced R-current mass in the cascading conifold gauge theory: field-theory origin and corrections beyond leading order in the cascade parameter

In the gravity dual of the chirally anomalous, cascading $SU(N+M)\times SU(N)$ gauge theory on D3-branes and wrapped D5-branes at the conifold, Klebanov, Ouyang and Witten showed that the Adler-Bell-Jackiw $U(1)_R$ anomaly (the quantum breaking of the classical R-symmetry by fermion-loop triangle diagrams) appears as a classical bulk Higgs/Stueckelberg effect: the five-dimensional gauge field dual to the R-current eats the axion dual to the difference of theta angles and acquires a mass, $(mL)^2=2(g_sM)^2/(\pi g_sN)$ at leading order in $b=g_sM^2/N$, corresponding (via the AdS/CFT mass-dimension relation, applied 'perhaps naively' outside an asymptotically AdS background) to an anomalous dimension $\Delta-3\approx(g_sM)^2/(\pi g_sN)$ of the R-current. The paper explicitly left open the field-theory understanding of this scaling, the construction of the analogous D7-brane solution on the conifold, and corrections beyond leading order. The D7-on-conifold question was later resolved at the flavor-smeared level (refs. [3, 4]), and the leading-order vector-mass derivation was completed precisely by Krasnitz (ref. [2]). The surviving open core is: derive from field theory the anomaly-induced mass/anomalous dimension of the anomalous R-current in the cascade - including its quadratic-in-$M$, $1/(g_sN)$-suppressed scaling and its precise operational meaning in a non-conformal, logarithmically flowing theory - and compute the corresponding quantities beyond leading order in $b$, on either side of the duality. No field-theory derivation of this scaling and no computation beyond leading order in $b$ are known.

Background

Gauge/gravity duality (the AdS/CFT correspondence, which relates certain quantum field theories to string theory on higher-dimensional curved spacetimes) maps strongly coupled four-dimensional field-theory dynamics to classical supergravity. A central example for this problem is the conifold, a non-compact Calabi-Yau space (a complex space whose geometry preserves supersymmetry) whose base is the Einstein manifold $T^{1,1}=(SU(2)\times SU(2))/U(1)$. D3-branes (three-space-dimensional extended objects of string theory) placed at the tip of the conifold are dual to an $\mathcal{N}=1$ superconformal $SU(N)\times SU(N)$ gauge theory - a scale-invariant theory with one supersymmetry - with four chiral bifundamental superfields $A_k$, $B_k$ (superfields transforming in the fundamental representation of one gauge group and the anti-fundamental of the other; Klebanov and Witten). Adding $M$ D5-branes wrapped on the two-sphere inside $T^{1,1}$ ('fractional branes') breaks conformality: the dual supergravity backgrounds of Klebanov-Tseytlin and Klebanov-Strassler describe a cascading $SU(N+M)\times SU(N)$ theory in which the two gauge couplings run logarithmically toward each other and, when they meet, Seiberg duality (an exact equivalence in $\mathcal{N}=1$ gauge theories relating $SU(N_c)$ with $N_f$ flavors to $SU(N_f-N_c)$) trades $SU(N+M)\times SU(N)$ for $SU(N)\times SU(N-M)$, the ranks cascading step by step toward the infrared (low energies).

The classical $U(1)_R$ symmetry of this quiver gauge theory (a gauge theory whose gauge groups and matter content are encoded in a diagram of nodes and arrows; the R-symmetry rotates the supercharges and, correspondingly, the bifundamental fermions) is broken by the Adler-Bell-Jackiw chiral anomaly (the quantum breaking of a classical axial symmetry through fermion-loop triangle diagrams) to a discrete $\mathbb{Z}_{2M}$: an R-rotation by $\epsilon$ shifts the two theta angles (the vacuum-angle parameters multiplying $F\tilde F$ in the gauge action) oppositely, $\Theta_1=-\Theta_2=2M\epsilon$, and the divergence of the R-current $J^\mu$ is fixed by the anomaly equation $\partial_\mu J^\mu=(M/16\pi^2)(F^a\tilde F^a-G^b\tilde G^b)$, where $F$ and $G$ are the field strengths of the two gauge groups. Klebanov, Ouyang and Witten ('A Gravity Dual of the Chiral Anomaly', 2002; KOW below) showed that this quantum anomaly is encoded classically in the dual supergravity: the Ramond-Ramond two-form potential (an antisymmetric-tensor gauge field of type IIB supergravity, the low-energy limit of type IIB string theory) $C_2\sim M\alpha'\beta\,\omega_2$, with $\omega_2$ the normalized two-form of the wrapped two-sphere and $\beta$ an angular coordinate of $T^{1,1}$, is not invariant under the geometric $U(1)$ rotation of $\beta$ (the geometric counterpart of the R-symmetry), which reproduces the anomaly coefficients exactly. Moreover, the anomalous breaking appears in the bulk as spontaneous breaking by a Stueckelberg/Higgs mechanism (a gauge field acquiring a mass by combining with a scalar while gauge invariance is preserved): the Kaluza-Klein gauge field $A$ (the vector surviving dimensional reduction of the ten-dimensional theory) dual to the R-current combines with the axion $\theta\sim\int_{S^2}C_2$, dual to $\Theta_1-\Theta_2$, into a gauge-invariant massive vector $W=A+d\theta$. This generalizes the earlier result of Bianchi, DeWolfe, Freedman and Pilch that in holographic renormalization-group flows a vector dual to a current broken by a relevant perturbation acquires $m^2=-2T''$, where $T(q)$ is the warp function of the five-dimensional metric.

Computing the transverse-vector fluctuation equation at leading order in the small parameter $b=g_sM^2/N$ (with the subtlety of the self-dual five-form field strength of type IIB supergravity - a field strength whose equation of motion coincides with its Bianchi identity and which must therefore be handled with care - resolved by Krasnitz's precise calculation, which exactly reproduces $m^2=-2T''$), KOW found $(mL)^2=2(g_sM)^2/(\pi g_sN)$ and, applying the AdS/CFT relation $\Delta=2+\sqrt{1+m^2L^2}$ - which they themselves flagged as 'perhaps naive' since the cascading background is not asymptotically AdS - the anomalous dimension $\Delta-3\approx(mL)^2/2=(g_sM)^2/(\pi g_sN)$ of the R-current. Symmetry considerations fix the weak-coupling form of this quantity: the leading correction to the current-current two-point function is a three-loop diagram made of two anomaly triangles glued together; the anomalous dimension $\gamma_J$ must vanish at $M=0$ and be invariant under $M\to-M$, $N\to N+M$ (which exchanges the two gauge groups, one cascade step), so its lowest piece is of order $(g_sM)^2$; the holographic result additionally predicts suppression by $1/(g_sN)$ at large $g_sN$. KOW noted explicitly that understanding this scaling from the gauge-theory side would be interesting. In a companion orbifold example (fractional D3/D5-branes on $\mathbb{R}^4/\mathbb{Z}_2$ with D7-branes, following Graña-Polchinski and Bertolini et al.), KOW also matched D7-brane-induced flavor anomalies and noted that the analogous D7-brane solution on the conifold was then unknown; that gap has since been closed at the flavor-smeared level (refs. [3, 4]) and is not part of the present problem.

Problem Statement

Give a complete, order-by-order, duality-matched account of the anomaly-induced mass of the $U(1)_R$ current in the cascading $\mathcal{N}=1$ $SU(N+M)\times SU(N)$ conifold gauge theory, which Klebanov, Ouyang and Witten computed holographically only at leading order and explicitly did not understand from the field-theory side. Two linked deliverables serve this single objective:

(1) Field-theory derivation. Determine, from the gauge theory, the anomalous dimension and two-point function of the anomalous R-current $J^\mu$, respecting the exact constraints: the anomaly equation $\partial_\mu J^\mu=(M/16\pi^2)(F^a\tilde F^a-G^b\tilde G^b)$ (with $F$, $G$ the two gauge groups' field strengths), vanishing at $M=0$, and invariance under $M\to-M$, $N\to N+M$. This deliverable has three separately enumerated parts: (1a) the computation: state precisely what quantity is computed (operator, scheme, scale); (1b) the comparison: state whether, and in what precise sense, the computed quantity reproduces the strong-coupling holographic scaling $\Delta-3\approx(g_sM)^2/(\pi g_sN)$ with its $1/(g_sN)$ suppression; (1c) the interpretation: clarify the operational meaning of a current anomalous dimension in a non-conformal theory with logarithmically running couplings, given that the AdS/CFT mass-dimension relation was applied outside an asymptotically AdS background and that the careful leading-order treatment shows the responsible mass term is $1/\log^2$-suppressed at high momentum. If the controlled field-theory computation does not reproduce the holographic scaling, or yields no well-defined current anomalous dimension once the non-conformal definition is pinned down, report that outcome together with the replacement observable (if any) and the quantitative mismatch.

(2) Beyond leading order, in two separately enumerated parts: (2a) [mandatory] Compute the anomaly-induced vector mass or R-current two-point function at the next nontrivial order in the cascade parameter $b=g_sM^2/N$ (with the self-dual five-form constraint and metric/Ramond-Ramond mixing handled consistently, and reducing in the $b\to0$ limit to the known leading-order result $(mL)^2=2(g_sM)^2/(\pi g_sN)$ and the $m^2=-2T''$ relation), so that the comparison invoked in (1) is meaningful beyond leading order. (2b) [optional] Characterize the behavior outside the perturbative regime $(g_sM)^2\gtrsim g_sN$ by stating one definite qualitative behavior of the observable computed in (1) or (2a) in that regime, with its supporting reasoning.

The source's third open item - constructing a supergravity solution with D7-branes on the conifold and checking the flavor anomaly relations in it - was resolved by later work at the flavor-smeared level (refs. [3, 4, 5]) and is therefore not part of this problem.

References

1. I. R. Klebanov, P. Ouyang, E. Witten, "A Gravity Dual of the Chiral Anomaly", Phys. Rev. D 65 (2002) 105007. DOI: 10.1103/PhysRevD.65.105007. arXiv:hep-th/0202056, https://arxiv.org/abs/hep-th/0202056 (source paper)
2. M. Krasnitz, "Correlation functions in a cascading N=1 gauge theory from supergravity", JHEP 0212 (2002) 048. DOI: 10.1088/1126-6708/2002/12/048. arXiv:hep-th/0209163, https://arxiv.org/abs/hep-th/0209163
3. P. Ouyang, "Holomorphic D7-Branes and Flavored N=1 Gauge Theories", Nucl. Phys. B 699 (2004) 207-225. DOI: 10.1016/j.nuclphysb.2004.08.015. arXiv:hep-th/0311084, https://arxiv.org/abs/hep-th/0311084
4. F. Benini, F. Canoura, S. Cremonesi, C. Núñez, A. V. Ramallo, "Backreacting Flavors in the Klebanov-Strassler Background", JHEP 0709 (2007) 109. DOI: 10.1088/1126-6708/2007/09/109. arXiv:0706.1238, https://arxiv.org/abs/0706.1238
5. F. Benini, A. Dymarsky, "Remarks on the N=1 SU(M+p) x SU(p) quiver gauge theory with flavor", Phys. Rev. D 85 (2012) 046004. DOI: 10.1103/PhysRevD.85.046004. arXiv:1108.4931, https://arxiv.org/abs/1108.4931 (arXiv preprint title: "Comments on the N=1 SU(M+p)xSU(p) quiver gauge theory with flavor")
6. C. P. Herzog, I. R. Klebanov, P. Ouyang, "D-Branes on the Conifold and N=1 Gauge/Gravity Dualities", review based on lectures at the Les Houches Summer School Session 76, "Gravity, Gauge Theories, and Strings" (2001). DOI: 10.48550/arXiv.hep-th/0205100. arXiv:hep-th/0205100, https://arxiv.org/abs/hep-th/0205100
7. M. Bianchi, O. DeWolfe, D. Z. Freedman, K. Pilch, "Anatomy of Two Holographic Renormalization Group Flows", JHEP 0101 (2001) 021. DOI: 10.1088/1126-6708/2001/01/021. arXiv:hep-th/0009156, https://arxiv.org/abs/hep-th/0009156
8. I. R. Klebanov, M. J. Strassler, "Supergravity and a Confining Gauge Theory: Duality Cascades and χSB-Resolution of Naked Singularities", JHEP 0008 (2000) 052. DOI: 10.1088/1126-6708/2000/08/052. arXiv:hep-th/0007191, https://arxiv.org/abs/hep-th/0007191
9. I. R. Klebanov, A. A. Tseytlin, "Gravity Duals of Supersymmetric SU(N) x SU(N+M) Gauge Theories", Nucl. Phys. B 578 (2000) 123-138. DOI: 10.1016/S0550-3213(00)00206-6. arXiv:hep-th/0002159, https://arxiv.org/abs/hep-th/0002159
10. I. R. Klebanov, E. Witten, "Superconformal Field Theory on Threebranes at a Calabi-Yau Singularity", Nucl. Phys. B 536 (1998) 199-218. DOI: 10.1016/S0550-3213(98)00654-3. arXiv:hep-th/9807080, https://arxiv.org/abs/hep-th/9807080
11. M. Graña, J. Polchinski, "Gauge/Gravity Duals with Holomorphic Dilaton", Phys. Rev. D 65 (2002) 126005. DOI: 10.1103/PhysRevD.65.126005. arXiv:hep-th/0106014, https://arxiv.org/abs/hep-th/0106014
12. M. Bertolini, P. Di Vecchia, M. Frau, A. Lerda, R. Marotta, "N=2 Gauge theories on systems of fractional D3/D7 branes", Nucl. Phys. B 621 (2002) 157-178. DOI: 10.1016/S0550-3213(01)00568-5. arXiv:hep-th/0107057, https://arxiv.org/abs/hep-th/0107057
13. U. Gürsoy, S. A. Hartnoll, R. Portugues, "The chiral anomaly from M theory", Phys. Rev. D 69 (2004) 086003. DOI: 10.1103/PhysRevD.69.086003. arXiv:hep-th/0311088, https://arxiv.org/abs/hep-th/0311088
14. A. Dymarsky, D. Melnikov, "Gravity Multiplet on KS and BB Backgrounds", JHEP 0805 (2008) 035. DOI: 10.1088/1126-6708/2008/05/035. arXiv:0710.4517, https://arxiv.org/abs/0710.4517
15. Y. Tachikawa, "Five-dimensional Supergravity Dual of a-Maximization", Nucl. Phys. B 733 (2006) 188-203. DOI: 10.1016/j.nuclphysb.2005.11.010. arXiv:hep-th/0507057, https://arxiv.org/abs/hep-th/0507057
16. M. Kruczenski, "Wilson loops and anomalous dimensions in cascading theories", Phys. Rev. D 69 (2004) 106002. DOI: 10.1103/PhysRevD.69.106002. arXiv:hep-th/0310030, https://arxiv.org/abs/hep-th/0310030
17. O. Aharony, A. Buchel, A. Yarom, "Holographic renormalization of cascading gauge theories", Phys. Rev. D 72 (2005) 066003. DOI: 10.1103/PhysRevD.72.066003. arXiv:hep-th/0506002, https://arxiv.org/abs/hep-th/0506002
18. M. J. Strassler, "The Duality Cascade", lectures published in: Progress in String Theory (World Scientific, 2005), pp. 419-510. DOI: 10.1142/9789812775108_0005. arXiv:hep-th/0505153, https://arxiv.org/abs/hep-th/0505153