AdS7_7/CFT6_6 with orientifolds

AdS$_7$ solutions of massive type IIA have been classified, and are dual to a large class of six-dimensional $(1,0)$ SCFT's whose tensor branch deformations are described by linear quivers of SU groups. Quivers and AdS vacua depend solely on the group theory data of the NS5-D6-D8 brane configurations engineering the field theories. This has allowed for a direct holographic match of their $a$ conformal anomaly. In this paper we extend the match to cases where O6 and O8-planes are present, thereby introducing SO and USp groups in the quivers. In all of them we show that the $a$ anomaly computed in supergravity agrees with the holographic limit of the exact field theory result, which we extract from the anomaly polynomial. As a byproduct we construct special AdS$_7$ vacua dual to nonperturbative F-theory configurations. Finally, we propose a holographic $a$-theorem for six-dimensional Higgs branch RG flows.Comment: 91 pages, 6 figures, 4 tables, 4 appendices; v2: typos fixed, version published in JHE

N=1\mathcal{N} = 1 superconformal theories with DND_N blocks

We study the chiral ring of four-dimensional superconformal field theories obtained by wrapping M5-branes on a complex curve inside a Calabi-Yau three-fold. We propose a field theoretic construction of all the theories found by Bah, Beem, Bobev and Wecht by introducing new building blocks, and prove several $\mathcal{N} = 1$ dualities featuring the latter. We match the central charges with those computed from the M5-brane anomaly polynomial, perform the counting of relevant operators and analyze unitarity bound violations. As a byproduct, we compute the exact dimension of "heavy operators" obtained by wrapping an M2-brane on the complex curve.Comment: 45 pages, 17 figures; v2: typos fixed, minor changes, references added, conclusions added, version published in Phys. Rev.

Supersymmetric AdS_5 solutions of massive IIA supergravity

Motivated by a recently found class of AdS_7 solutions, we classify AdS_5 solutions in massive IIA, finding infinitely many new analytical examples. We reduce the general problem to a set of PDEs, determining the local internal metric, which is a fibration over a surface. Under a certain simplifying assumption, we are then able to analytically solve the PDEs and give a complete list of all solutions. Among these, one class is new and regular. These spaces can be related to the AdS_7 solutions via a simple universal map for the metric, dilaton and fluxes. The natural interpretation of this map is that the dual CFT_6 and CFT_4 are related by twisted compactification on a Riemann surface $\Sigma_g$. The ratio of their free energy coefficients is proportional to the Euler characteristic of $\Sigma_g$. As a byproduct, we also find the analytic expression for the AdS_7 solutions, which were previously known only numerically. We determine the free energy for simple examples: it is a simple cubic function of the flux integers.Comment: 56 pages, 2 figures, LaTeX; v3: subsection 4.3.1 revised, minor correction

All AdS_7 solutions of type II supergravity

In M-theory, the only AdS_7 supersymmetric solutions are AdS_7 x S^4 and its orbifolds. In this paper, we find and classify new supersymmetric solutions of the type AdS_7 x M_3 in type II supergravity. While in IIB none exist, in IIA with Romans mass (which does not lift to M-theory) there are many new ones. We use a pure spinor approach reminiscent of generalized complex geometry. Without the need for any Ansatz, the system determines uniquely the form of the metric and fluxes, up to solving a system of ODEs. Namely, the metric on M_3 is that of an S^2 fibered over an interval; this is consistent with the Sp(1) R-symmetry of the holographically dual (1,0) theory. By including D8 brane sources, one can numerically obtain regular solutions, where topologically M_3 = S^3.Comment: 45 pages, 4 figures. v2: solution with single D8 added; references added; minor correction

Holography, Matrix Factorizations and K-stability

Placing D3-branes at conical Calabi-Yau threefold singularities produces many AdS$_5$/CFT$_4$ duals. Recent progress in differential geometry has produced a technique (called K-stability) to recognize which singularities admit conical Calabi-Yau metrics. On the other hand, the algebraic technique of non-commutative crepant resolutions, involving matrix factorizations, has been developed to associate a quiver to a singularity. In this paper, we put together these ideas to produce new AdS$_5$/CFT$_4$ duals, with special emphasis on non-toric singularities.Comment: 59 pages, 11 figures, 2 appendices; v2: typos fixed, expanded discussion in section 2.5 and 4.

A note on smeared branes in flux vacua and gauged supergravity

In the known examples of flux vacua with calibrated spacetime-filling sources (branes or orientifold planes), one can smear the source in order to perform a standard KK reduction and obtain a lower-dimensional supergravity description. Furthermore, it is expected that the smeared and localized solution preserve equal amounts of supersymmetry. In this note we point out that the $\mathrm{AdS}_7$ solution discussed in arXiv:1111.2605 and arXiv:1309.2949 is a counterexample to this common lore. The solution is supersymmetric when the spacetime-filling D6-branes are localized but breaks supersymmetry in the smeared limit. By using the embedding tensor formalism we demonstrate that there is no gauged supergravity description for the solution, regardless of the source being smeared or not. We conjecture that for flux solutions with separation between the KK scale and the AdS radius this cannot occur.Comment: 23 pages, LaTeX, no figures; added reference for section

Hierarchies of RG flows in 6d (1,0)(1,0) massive E-strings

We extend the analysis of arXiv:2208.11703 to the 6d $(1,0)$ SCFTs known as massive E-string theories, which can be engineered in massive Type IIA with $8-n_0<8$ D8-branes close to an O8$^-$ (or O8$^*$ if $n_0=8,9$). For each choice of $n_0=1,\ldots,9$ the massive $E_{1+(8-n_0)}$-strings (including the more exotic $\tilde{E}_1$ and $E_0$) are classified by constrained $E_8$ Kac labels, i.e. a subset of $\text{Hom}(\mathbb{Z}_k,E_8)$, from which one can read off the flavor subalgebra of $E_{1+(8-n_0)}$ of each SCFT. We construct hierarchies for two types of Higgs branch RG flows: flows between massive theories defined by the same $n_0$ but different labels; flows between massive theories with different $n_0$. These latter flows are triggered by T-brane vev's for the right $\mathrm{SU}$ factor of the SCFT global symmetry, whose rank is a function of both $k$ and $n_0$, a situation which has so far remained vastly unexplored.Comment: Part II of a series of papers; 37+11 pages; 13 figure

The Higgs branch of heterotic ALE instantons

We begin a study the Higgs branches of the six-dimensional (1,0) little string theories (LSTs) governing the worldvolumes of heterotic ALE instantons. We give a description of such spaces by constructing the corresponding \textit{magnetic quivers}. The latter are three-dimensional $\mathcal{N}=4$ quiver gauge theories that flow in the infrared to 3d fixed points whose quantum corrected Coulomb branches are the Higgs branches of the six-dimensional theories of interest. We present results for both types of Heterotic strings, and mostly for $\mathbb C^2/\mathbb Z_k$ ALE spaces. Our analysis is valid both in the absence and in the presence of small instantons. Along the way, we also describe small $SO(32)$ instanton transitions in terms of the corresponding magnetic quivers, which parallels a similar treatment of the small instanton transitions in the context of the $E_8\times E_8$ heterotic string.tiComment: 44 pages, 3 figure