Non-toric cones and Chern-Simons quivers

We obtain an integral formula for the volume of non-toric tri-Sasaki Einstein manifolds arising from nonabelian hyperkähler quotients. The derivation is based on equivariant localization and generalizes existing formulas for Abelian quotients, which lead to toric manifolds. The formula is particularly valuable in the context of AdS4 ×Y7 vacua of M-theory and their field theory duals. As an application, we consider 3d N=3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=3 $$\end{document} Chern-Simons theories with affine ADE quivers. While the Â series corresponds to toric Y7, the D^\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \widehat{D} $$\end{document} and Ê series are non-toric. We compute the volumes of the corresponding seven-manifolds and compare to the prediction from supersymmetric localization in field theory, finding perfect agreement. This is the first test of an infinite number of non-toric AdS4/CFT3 dualities.


Introduction
Sasaki-Einstein manifolds play an important role in AdS/CFT. These odd-dimensional manifolds, with the property that the cones over them are Calabi-Yau, appear naturally in the engineering of supersymmetric gauge theories by branes in string/M-theory. Their first appearance in holography was in the context of AdS 5 /CFT 4 . Placing N D3-branes at the tip of a Calabi-Yau cone C(Y 5 ), and backreacting the branes, leads to an AdS 5 × Y 5 vacuum of Type IIB supergravity with a 4d N = 1 field theory dual. Following the first example of the conifold singularity C(T 1,1 ) [1], a vast number of new dualities were discovered by the explicit construction of an infinite family of Sasaki-Einstein metrics [2], and the subsequent identification of their field theory duals as quiver gauge theories [3,4].
Similar developments have followed in the case of AdS 4 /CFT 3 . Placing N M2-branes at the tip of a hyperkähler cone C(Y 7 ), where Y 7 is a tri -Sasaki-Einstein manifold now, and backreacting the branes leads to an AdS 4 × Y 7 vacuum of M-theory with a 3d N = 3 field theory dual. Following the first explicit example by ABJM [5], a large number of dual pairs have been identified, with Y 7 given by the base of certain hyperkähler cones and the field theories corresponding to 3d N = 3 Chern-Simons (CS) quiver gauge theories [6][7][8][9][10][11].  Computing the volume of these manifolds is of great interest as the AdS/CFT dictionary relates Vol(Y ) to important nonperturbative quantities in field theory. For instance, in the case of D3-branes the a-anomaly coefficient of the 4d field theory is given by a = π 3 N 2 4 Vol(Y 5 ) . In the case of M2-branes the free energy on the round three-sphere F S 3 is given by [7,12] . (1.1) The independent evaluation of both sides of this relation has been crucial in providing convincing evidence for the proposed duality pairs. The l.h.s. can be computed purely in field theory by supersymmetric localization [13] and has been carried out for a large number of CS quiver gauge theories [7][8][9][10][11][12][13][14][15][16]. The r.h.s. , however, has been mostly computed for toric Y 7 , 1 and a detailed test of the duality for non-toric cases is lacking. 2 The main reason for this is that although supersymmetric localization techniques are available on the field theory side for generic quivers, less tools are available on the geometry side for non-toric Y 7 . The aim of this paper is to remedy this situation. Specifically, we provide a formula for computing the volumes of tri-Sasaki Einstein manifolds Y 4d−1 arising from nonabelian hyperkähler quotients of the form C(Y 4d−1 ) = H d+ m a=1 n 2 a ///U(n 1 )×· · ·×U(n m ) . The derivation is based on the method of equivariant localization, making use of the U(1) R ⊂ SU(2) R symmetry of the spaces. The localization method was developed in [19,20] and applied to toric hyperkähler quotients, corresponding to the Abelian case, n a = 1, by Yee in [21].
Having derived a general formula, our main application is to 3d N = 3 CS matter quiver theories, whose field content is in one-to-one correspondence with extended ADE Dynkin diagrams -see figure 1. These theories [22] provide an ideal setting for applying the volume formula derived using localization. First, the corresponding tri-Sasaki Einstein manifolds can be constructed by hyperkähler quotients and, while the A series is toric, the D and E series are non-toric. Second, as shown in [22] for this class of field theories one may apply the saddle point approximation developed in [7] to evaluate the free energy at large 1 A manifold Y is toric tri-Sasaki Einstein if the cone C(Y ) is a toric hyperkähler manifold. A hyperkähler manifold of quaternionic dimension d is toric if it admits the action of U(1) d which is holomorphic with respect to all three complex structures. For a review of mathematical aspects of tri-Sasaki Einstein geometry, see [17] and references therein.

JHEP05(2017)046
N . For the A series, both the evaluation of the free energy as well as the direct computation of the corresponding toric volume was carried out in [8], with perfect agreement. For the D and E series, the free energy was computed by the authors in [16]. In this paper we focus on the geometric side of the D series, identifying the precise tri-Sasaki Einstein manifolds and computing their volumes, finding perfect agreement with field theory. This is the first test of an infinite number of non-toric AdS 4 /CFT 3 dualities. Few non-toric examples have been studied in the AdS 5 /CFT 4 context; it is our hope that the formulas presented here will also be valuable in that context. The paper is organized as follows. In the next section, we set up the localization procedure for computing the volumes of hyperkähler quotients involving U(N ) or SU(N ) groups. Then, in section 3 we specialize to SU(2) s × U(1) r and provide a simple example. Finally, in section 4 we study the moduli space of 3d N = 3 CS D-quiver theories, identify the dual tri-Sasaki Einstein manifolds and compute their volumes. The volumes in the case of E-quivers can also be computed by the techniques presented here, but we do not explicitly perform the corresponding integrals.

Localization setup
In this section, we give a brief overview of the technical tools necessary for the computation of the volumes of hyperkähler cones. The method was developed in [19,20] and is based on two basic features of the object we wish to compute. The first feature is the existence of a fermionic nilpotent symmetry of the symplectic volume integral, which allows one to localize the integral by adding an appropriate exact term. The second feature is that since these manifolds arise from hyperkähler quotients of flat space, one may formulate the calculation in terms of the embedding flat space, where the calculations become simpler. We follow the exposition of Yee [21] (which we urge the reader to refer for more details), where this approach was applied to toric hyperkähler quotients, and extend it to non-toric quotients.
Given a bosonic manifold X, and its tangent bundle T X with canonical coordinates {x µ , V µ }, one defines the supermanifold T [ψ]X obtained by replacing the bosonic coordinates {V µ } with fermionic ones {ψ µ }. Integrals of differential forms on X can then be written as integrals of functions f (x, ψ) over T [ψ]X. For instance, the volume of a symplectic manifold X with symplectic 2-form ω = 1 2 ω µν ψ µ ψ ν can be written as the Grassmann integration simply picks the correct power of ω to give the volume form on X. One may view this expression as a supersymmetric partition function; defining a 'supersymmetry charge' Q = ψ µ ∂ ∂x µ (which is the de Rham differential, d), we see that the 'action' S = ω is supersymmetric, as Qω = 0 (usually written as dω = 0). Naïvely, one may want to use this nilpotent fermionic symmetry, Q 2 = 0, to localize the integral. However, because Q always contains a ψ µ , there is no Q-exact term one can add to the action which contains a purely bosonic term, required by the usual localization arguments. One

JHEP05(2017)046
way around this is to use a global symmetry of ω to deform Q → Q ε . Given a symmetrygenerating vector field V = V µ ∂ ∂x µ and defining the 'contraction' by V as i V = V µ ∂ ∂ψ µ , there is a function H such that QH = i V ω, which can be named Hamiltonian, moment map, etc. depending on the context. This function H can be used to deform the action to S ε = ω−εH, This deformation now allows the addition of bosonic terms (with an ε-dependence) and localization can be performed. The next step is to combine this with the fact that the Kähler spaces of interest are obtained from a Kähler quotient of flat space.
Kähler quotient. Given a Kähler manifold M with Kähler form ω and a holomorphic symmetry G, generated by vector fields V v , v = 1, . . . , dim G, it follows from L Vv ω = 0 that there are a set of moment map functions µ v satisfying i Vv ω = Qµ v . The Lie derivative L Vv acts on the moment maps as follows ∂x v , and x n , n = 1, . . . , dim G are coordinates normal to µ −1 v (0), we can derive the following relations from Qµ v = i Vv ω: 0) and the Kähler quotient then inherits ω ij as its Kähler form. Using (2.1), the volume of the quotient manifold can be written as What these steps have achieved is to insert and exponentiate the moment map constraints to turn an integral over the quotient space M//G into an integral over the embedding space M . Now, we use ω vi = ω vu = 0 to write ψ v ω vn ψ n = ψ v ω vµ ψ µ , where µ runs over all values in M (like x µ ). Next, inserting ω in and ω mn terms, which can be absorbed by shifting ψ i → ψ i − ω −1 ji ω jn ψ n and ψ v → ψ v − ω −1 nv ω nm ψ m , to complete the ω µν ψ µ ψ ν term,

JHEP05(2017)046
leads to the following simple expression: One may further make use of the U(1) R symmetry to introduce the ε-deformation (2.5) and compute this integral by localization. When M is multiple copies of the complex plane C with its canonical structures, the ψ-integrals are trivial and simply give 1. With appropriate H, the x-integrals are Gaussian and only the integrals over ϕ's remain, which require some more work to perform. The case of M//G a conical Calabi-Yau six-fold is of interest for AdS 5 /CFT 4 . However, it should be emphasized that the expression above computes the volume w.r.t. the quotient metric, which is not necessarily (and typically is not) the Calabi-Yau metric on M//G. 3 For this reason, we focus in what follows on hyperkähler quotients, where the Calabi-Yau condition is automatic.
Hyperkähler quotient. A hyperkähler manifold M with a triplet of Kähler forms ω and a tri-holomorphic isometry group G has triplets of moment maps satisfying Most of what follows is a straightforward generalization of the Kähler case so we write down the most important equations only. The Lie derivative L Vv acts on the moment maps as follows The submanifold µ −1 v (0) is V -invariant so the hyperkähler quotient M///G is defined [25] as the usual quotient µ −1 v (0)/G . Parameterizing M by {x i , x v , x n }, where the only difference w.r.t. the Kähler case is that n = 1, . . . , 3 dim G, we can derive from Q µ v = i Vv ω: Again ω vi = 0 and ω vu = 0 on µ −1 v (0). Thus, Q ω = 0 gives ∂ v ω ij = ∂ i ω vj − ∂ j ω vi = 0 so ω ij is V -invariant on µ −1 v (0) and the hyperkähler quotient then inherits ω ij as its 3 Kähler forms. We pick ω 3 = ω to define the volume as 3 One may consider, however, combining this with the principle of volume minimization [23,24]. This should amount to performing the localization w.r.t. a U(1) R symmetry including possible mixings of U(1)R with flavor symmetries, but we do not study this here.

JHEP05(2017)046
Again, these steps have turned an integral over M///G to an integral over M . Now, using ω vi = ω vu = 0 and relabelling χ v and inserting ω in and ω mn pieces, which can be absorbed by shifting ψ's as before, one completes the ω µν ψ µ ψ ν term to obtain a simplified exponent: is invariant under a modified chargeQ, acting on the 'coordinates' as follows: (2.9) The transformationQρ u a is fundamentally different from the toric case (where it vanishes), as a consequence of the action of L Vv on the moment maps (2.6). However, it still squares asQ 2 = −ιϕ v L Vv . Now we make use of the U(1) R ⊂ SU(2) R symmetry to introduce the ε-deformation and compute the integral by localization. This symmetry preserves only ω 3 = ω, such that i R ω = QH, and rotates the other two as The deformed action S ε = S − εH is invariant under the deformed superchargeQ ε , which acts differently fromQ only on ψ µ and ρ u a , namely: and squares asQ 2 ε = −ιϕ v L Vv + εL R . Now we are ready to localize (2.8) by adding the following term: 4 Here, χ ± = (χ 1 ±ιχ 2 ) such that L R χ − = 2ιχ − and the same for ρ ± . By taking the t → +∞ limit, the action S ε does not contribute and the coordinates x µ , ψ µ , ρ v a , χ v a can be simply integrated out, giving

This leads to
ε depends explicitly on the manifold in consideration so we will tackle this in the next section.
For G = SU(2), f uvw = 2 uvw and we can explicitly write the numerator in the above formula as This differs from the U(1) case by the presence of ϕ's in the numerator [21]: (2.14) We will distinguish the U(1) variable by denoting it with φ compared to SU(2) variables ϕ from now on.

Volumes of non-toric tri-Sasaki Einstein manifolds
In this section, we consider the case of G a product of multiple SU(2)'s and U(1)'s. At zero level the quotients will be the cones: As discussed in detail in section 4, these are the relevant quotients for D-quiver CS theories. We begin by setting up some notation. A quaternion q can be written as in terms of two complex variables u and v. The flat metric is ds 2 = 1 2 tr(dqdq) = dudū + dvdv. The three Kähler forms are given by ω · σ = 1 2 dq ∧ dq: Considering first G = SU(2) × U(1) r , we realize the SU(2) action on the quaternions q's by pairing them up, i.e., we have q α a with α = 1, 2 and a = 1, . . . , 1 2 (d + 3 + r). The quaternionic transformations are most simply given as:

JHEP05(2017)046
The vector fields corresponding to these symmetries are as follows: Here '·' means sum over α.

JHEP05(2017)046
Thus, the (regularized) volumes of the hyperkähler cones (3.1) read: To extract the volume of the tri-Sasaki Einstein base Y from the ε-regulated volume of the cone, recall that the conical metric is of the form ds 2 4d = dr 2 + r 2 ds 2 4d−1 and the εH = ε 2 r 2 term in S ε serves as a regulator e − ε 2 r 2 for the volume integral, giving the relation Now, rescaling all {ϕ, φ} → {ϕ, φ}/ε in (3.11) to get rid of the factor ε 3s+r and comparing the result with (3.12) we obtain . This is the main result obtained via the localization procedure. In section 4 we use this formula to compute the volume of tri-Sasaki Einstein manifolds relevant to 3d CS matter theories.
General quotients. For a hyperkähler quotient of the form H d+dim G ///G, the volume of the tri-Sasaki Einstein base is given by (3.14) This integral over dim G ϕ's can be reduced to rank G ϕ's in the 'Cartan-Weyl basis', which introduces a Vandermonde determinant. For G a product of U(N )'s and (bi)fundamental quaternions we can write . factors follow the same pattern as that for U(N ). Taking this into account, for a generic charge matrix Q one obtains , (3.16) where This formula is applicable for generic quivers.

An example: ALE instantons
As a simple example we consider four-dimensional ALE instantons. These are hyperkähler quotients of the form H 1+dim G ///G with G a product of unitary groups determined by an extended ADE Dynkin diagram [26]. In the unresolved case, these spaces are simply cones over S 3 /Γ with Γ a finite subgroup of SU (2). The case G = SU(2) k−3 × U(1) k with k ≥ 4 corresponds to the D series and Γ is the binary dihedral group D k−2 with order 4(k − 2). This is precisely a quotient of the form (3.1) so we may compute the volume of the base by the localization formula (3.13). Let us work out the k = 4 case first. Setting d = 1, s = 1, r = 4, we have 5 Vol Y (1,4) 3 thus reproducing the expected volume 1 8 Vol S 3 . For generic k ≥ 4 we set d = 1, s = k − 3, r = k in (3.13) and perform the integrals as in the example above. The computation is rather lengthy and thus we relegate the details to appendix B.2. The final answer is in accordance with the expected value of Vol S 3 /D k−2 . It is also possible to consider E 6,7,8 singularities, corresponding to respectively. Using (3.15) or (3.16) one obtains the expected volumes, given by Vol(S 3 ) divided by the order of tetrahedral (24), octahedral (48), and icosahedral (120) subgroups of SU(2), respectively. 5 Here we reduced the three-dimensional SU(2) integral ∞ −∞ d 3 ϕ to the obvious one-dimensional integral ∞ 0 dϕ(4πϕ 2 ). We recognize ϕ 2 as the 'Vandermonde determinant'.

Codimension 1 cycles
The volumes of codim-1 cycles are also of interest from the point of view of AdS/CFT correspondence, as they compute the conformal dimensions of chiral primary baryonic operators in the field theory. As discussed in [21], a codim-1 cycle is defined by a holomorphic constraint that some u = 0. This means that there are two types of such cycles for Dquivers: u α a = 0 or u α a,β = 0. Let us focus on u 1 1 = 0 for concreteness but the computation does not depend on the explicit values of a, α. In the flat ambient space, this hypersurface is Poincaré dual to the 2-form with QΓ 2 = 0 =Q ε Γ 2 . This means the regularized volume of the (4d − 2)-dimensional cone u 1 1 = 0 is simply obtained by As the regularization is a simple Gaussian factor, this is related to the volume of (4d − 3)dimensional hypersurface inside the original cone by Evaluating the previous expression for G = SU(2) s × U(1) r as before, the main difference is that the eigenvalue corresponding to u 1 1 is missing. Multiplying and dividing by it leads to Vol Σ (s,r) , (3.20) where theιQφ piece of the integrand vanishes because of the anti-symmetry under φ → −φ. The ϕ 1 piece can also be seen to vanish due to a cancellation from poles in the upper and lower half-planes. A similar numerator appears for the second type of cycle too, for which we can take, as an example, u 1 5,1 = 0. Since the imaginary part of the integrand does not contribute, we obtain the same result as in the toric case, namely

Chern-Simons D-quivers
In this section, we consider the results of section 3 in the context of AdS 4 × Y 7 vacua of M-theory and their 3d field theory duals. Specifically, we are interested in CS D-quivers, whose gauge group is U(2N ) n−3 × U(N ) 4 with n ≥ 4. The main reason we focus on these JHEP05(2017)046 Figure 2. D n quiver diagram. Each node 'a' corresponds to a U(n a N ) gauge group with CS level k a , where n a is the node's comark and a n a k a = 0 is imposed. theories is that it is a large class of theories for which the free energy has already been computed by supersymmetric localization [16] and the duals are non-toric. 6 We begin by reviewing the field theories.

The field theories and their free energies
The field content of the theories is summarized in the quiver of figure 2. Following standard notation, we denote the fields in each edge of the quiver by A, B. We label the nodes and edges so that for a node b > a the fields A and B associated to the edge a↔b transform under U(N a )×U(N b ) asN a ×N b and N a ×N b , respectively. The ranks of the gauge groups are given by N a = n a N , with n a the node's comark and the large N limit corresponds to sending N → ∞ (and CS levels fixed). The labelling of the nodes and their corresponding CS levels are shown in figure 2.
With these conventions the action is given by where S CS is the standard supersymmetric CS action (see e.g. [5] and references therein) and W is a superpotential term, which we will write explicitly below. The exact free energy F S 3 for these theories, which is a rational function of the CS levels {k a }, was computed at large N in [16] and we review the relevant results now. 7 Based on the explicit solution of the corresponding matrix models for various values of n, it was conjectured that for arbitrary n ≥ 4, F S 3 is determined by the area of a certain polygon P n defined by the CS levels, which combined with (1.1) leads to a precise prediction for the volumes of the corresponding Y 7 manifolds, namely (the n-dependence of these manifolds will be made explicit in the next subsection) 6 The free energy of exceptional quivers was also computed in [16]. The computation of the corresponding volumes is straightforward (but tedious) with (3.16) and the techniques developed in this section. 7 The case of D4 was first studied in [22]. where P n is the polygon in R 2 defined by 8 Here p is an n-dimensional vector such that at a given node a the CS level is written as k a = α (a) · p with α (a) the root associated to that node. A typical polygon for generic values of CS levels is shown in figure 3. Writing Area(P n ) as the sum of the areas of the triangles defined by the origin and two consecutive vertices of the polygon, the AdS/CFT prediction (4.2) reads: whereσ a ≡ n b=1 (|p a − p b | + |p a + p b |) − 4 |p a | for a = 1, · · · , n, andσ 0 = 2(n − 2) ,σ n+1 = 2 n b=1 |p b |. In addition γ a,b ≡ |β a ∧ β b | 9 with β a = (1, p a ) and β 0 = (0, 1), β n+1 = (1, 0). The physical meaning of P n was clarified in [27] (see also [28]) where an elegant Fermi gas approach was used to study the matrix model at finite N , showing that P n corresponds to the Fermi surface of the system at large N , and confirming the proposal for the free energy of [16].
The goal for the rest of the paper is to derive (4.2) geometrically, by a direct computation of Vol(Y 7 ) using the localization method of section 3. In order to do so, we must first identify the precise manifolds Y 7 dual to D-quivers, which we do next.

The moduli spaces
The manifold Y 7 dual to a certain CS quiver gauge theory can be found by analyzing the moduli space of the field theory [5,6,29], which is obtained by setting the D-terms and F -JHEP05(2017)046 terms to zero, and modding out by the appropriate gauge transformations. Thus, we need to specify the superpotential W appearing in (4.1). We can do this for a generic quiver. Consider a quiver with n V vertices corresponding to U(n a N ) gauge groups (we assume all n a are coprime) and n E number of edges. Let us first set N = 1. To determine the superpotential we follow the approach used in [5] by introducing an auxiliary chiral multiplet Φ a in the adjoint of the gauge group a and superpotential W a = − naka 2 Φ 2 a + i→a A i Φ a B i ; here the sum is over all edges i incident upon the node a and Φ a = Φ A a T A , with T A the generators of the corresponding gauge group. To avoid cluttering the expressions we omit the gauge generators in what follows, but it should be clear where these sit. Since we will introduce a field Φ a for each node in the quiver it is convenient to introduce the notation Φ ≡ (Φ 1 , · · · , Φ n V ) T and AB ≡ (A 1 B 1 , · · · , A n E B n E ) T for nodes and edges, respectively. The full superpotential then reads W = a W a = − 1 2 Φ T KΦ + Φ T I AB, where I is the oriented incidence matrix of the quiver 10 and K is a diagonal matrix with entries K aa = n a k a . Since Φ does not have a kinetic term it can be integrated out, leading to the superpotential We are now in a position to determine the exact geometry of the moduli space for a general CS quiver. Varying W with respect to A and factoring out a B gives the F -term equations (AB) T I T K −1 I = 0. The D-term equations are obtained by simply replacing AB → |A| 2 − |B| 2 . Combining A andB into a quaternion q, these three real equations combine into the hyperkähler moment map equations j Q i j (q † j (σ α )q j ) = 0, with Q a charge matrix given by This fully characterizes the quotient manifold for generic N = 3 quivers. 11 We now specialize this to D n quivers and begin with D 4 for simplicity. D 4 . Using the incidence matrix for D 4 the superpotential (4.5) reads where (A · B) 2 ≡ (Aσ A B)(Aσ A B) and σ A = (I, σ a ). Varying W with respect to A i gives the F -term equations:

JHEP05(2017)046
Factoring out B i , we have four matrix equations for each i. However, the SU(2) part of the matrix gives the same equations for each i. In the quaternionic notation, all the U(1) equations from the σ 0 = I matrix in (4.8) can be combined into the single equation Each column (lower index) in this matrix Q represents a quaternion and each row (upper index) represents the U(1) under which it is charged. This matrix can be obtained directly from (4.6); here we have multiplied each row 'i' by 2k i k 5 for convenience, which amounts to an unimportant rescaling of the corresponding vector multiplets. We note that this matrix has only four rows although the original number of U(1)'s is five. The reason for this is that an overall diagonal U(1) is decoupled as nothing is charged under it and so this row has been removed. In addition, imposing the relation k 1 + k 2 + k 3 + k 4 + 2k 5 = 0 one sees that rank(Q) = 3 and hence another row must be removed (it does not matter which one) to obtain the final charge matrix. We have thus shown that the moduli space is given by the hyperkähler quotient H 8 ///SU(2) × U(1) 3 with the action of the group on the quaternions determined by the matrix in (4.9).
D n>4 . The extension to D n>4 quivers, with gauge group U(2) n−3 × U(1) 4 , is direct. The superpotential (4.5) can be written as: Proceeding as above one concludes that the moduli space is given by the hyperkähler quotient (at zero level) C Y (n−3,n−1) 7 with the action of the group on the quaternions given by the charge matrix (for n > 4) (4.11) -15 -

JHEP05(2017)046
As above, the matrix is of rank (n−1) after imposing k 1 +k 2 +k 3 +k 4 +2(k 5 +· · ·+k n+1 ) = 0 and one (any) row should be removed. This matrix can be obtained directly from (4.6); here we have multiplied each row by the lowest common denominator of all the (nonzero) entries in that row for convenience. We note that while the quaternionic dimension of the resulting spaces (4.10) is two, there is only a single U(1) remaining after the quotient and thus the spaces are non-toric. To see this, note that before gauging, the action for the D n quiver has a U(1) n global symmetry, acting on each quaternion as U(1) i : (A i , B i ) → (e˙ι θ A i , e −ιθ B i ) for i = 1, · · · , n. As shown above, the gauging removes (n − 1) of them, leaving a single U(1) in the quotient manifold. This is also the case for the E-quivers, as can be readily checked. For A-quivers, in contrast, there is initially a U(1) n symmetry but the quotient removes only (n − 2) of them, hence the moduli spaces are toric.
Since the moduli spaces are hyperkähler quotients of the form (3.1), with d = 2, s = n − 3, r = n − 1, we may apply the localization formula (3.13) to compute their volumes, which we do next.

Volumes
We are now in position to compute the volumes of tri-Sasaki Einstein manifolds dual to D-quivers. For clarity of presentation, we sketch the basic steps for D 4 first and provide the details for general D n>4 in appendix A. Setting d = 2, s = 1, r = 3 in (3.13) we have To perform the d 3 φ integral it is convenient to use the Fourier transform identity e −ι|X|ϕ ϕ −ι + e˙ι |X|ϕ ϕ +ι e˙ι φX (4.12) for each term in 4 a=1 . Performing the d 3 φ integrals generates (2π) 3 δ 3 ( a Q i a X a ), 12 which can be integrated away by writing X a = k a x; it is directly checked from (4.9) that a Q i a k a = 0. Thus, we obtain (4.13) We now perform the ϕ integral by residues, converting ∞ 0 dϕ → 1 2 ∞ −∞ dϕ as the integrand is an even function of ϕ. We note that expanding the product of exponentials in (4.13) gives a total of sixteen terms and the precise integration contour in the complex plane needs to be chosen separately for each one. This is because the coefficient ofιϕ|x| in each JHEP05(2017)046 term can be any one of the combinations ±|k 1 | ± |k 2 | ± |k 3 | ± |k 4 |. Thus, in order to decide how to close the contour at ∞, we choose a particular ordering of k's. It is convenient to go to the basis k a → α (a) .p and order the p's according to p 1 ≥ p 2 ≥ p 3 ≥ p 4 ≥ 0 (this is simply a choice and one should repeat this for all possible orderings). This results in Finally, integrating over x gives where in the second line we used the definitions below (4.4) and the ordering of p's we have chosen (one may check that the last line above gives the result of the integral for all possible orderings). Thus, we have shown that for n = 4 one exactly reproduces the field theory prediction (4.2). For generic n ≥ 4 the volume formula reads Vol Y (n−3,n−1) 7 Vol (S 7 ) = 4 2n−5 (π 2 ) n−3 (2π) n−1 .

Summary and outlook
This paper contains two main results. The first is an explicit integral formula computing the volumes of tri-Sasaki Einstein manifolds given by nonabelian hyperkähler quotients. This is a generalization of the formula derived by Yee [21] in the Abelian case. The second result concerns the study of 3d N = 3 CS matter theories. We identified the precise (non-toric) tri-Sasaki Einstein manifolds describing the gravity duals of D-quivers and computed their volumes, showing perfect agreement with the field theory prediction of [16]. This greatly expands the detailed tests of AdS 4 /CFT 3 available for non-toric cases.
One may also consider CS E-quivers, whose free energies were computed in [16]. In this case the corresponding hyperkähler quotients are E 6 : The volume integrals can be written using (3.16) and the relevant charge matrices (4.6). Although we have not computed these integrals explicitly one should be able to do so with the same techniques used here for D-quivers. An open question regarding E-quivers is whether they admit a Fermi gas description, along the lines of [30] for A-quivers and [27,28] for D-quivers. If so, the integral volume formula may elucidate the form of the Fermi surface in the large N limit.
The localization approach can also be applied to nonabelian Kähler quotients. This is the relevant setting for AdS 5 /CFT 4 , where few non-toric examples are known. An important distinction, however, is that the quotient ensures only the Kähler class of the quotient manifold and not its metric structure. In this case one would have to combine this approach with the principle of volume minimization, along the lines of [23,24]. It is our hope that the formulas presented here will also be valuable in this context.
Finally, one may also consider quivers whose nodes represent SO(N ) or USp(2N ) gauge groups. Related to this, it may be interesting to consider the interplay of the volume formulas with the folding/unfolding procedure of [31].

JHEP05(2017)046
A D n CS quivers Here we provide the details leading to the main result for CS D n quivers (4.16). For generic n the volume formula reads: .
The basic procedure follows the same logic of the D 4 case. We first exponentiate the denominators by introducing some dy a 's, perform the φ-integrals to generate δ( a Q i a y a )functions, and solve the equations a Q i a y a = 0 by y a = κ a x such that a Q i a κ a = 0 where κ a = {p 1 + p 2 , p 1 − p 2 , p n−1 − p n , p n−1 + p n , 2p 3 , 2p 4 , . . . , 2p n−2 } (up to some signs but since only |κ a | are needed below these are not important). Now, assuming all κ a ≥ 0 and thus we may replace |κ a | → κ a . Next, we perform all the y a integrals obtaining .

JHEP05(2017)046
Let us define another D to keep the expressions relatively compact: Thus the relevant expression in (A.5) can be labelled D κn (ϕ n−4 , x; 2). Proceeding further with the integrals we have The final ϕ 1 -integral then gives where c a = The expression appearing on the right hand side of (A.9) is precisely the area of the polygon (4.3) (see [16] for details). Indeed, using the definitions below (4.4) and the ordering (A.2), this becomes Vol Y

B.1 A Lindström-Roček space
Consider a Lindström-Roček Space [32] given by the hyperkähler quotient H 6 ///U (2). This amounts to setting d = 2, s = 1, r = 1 in (3.13) and the volume reads One can verify that this is the correct value by explicit construction of the hyperkähler potential. Following [32], the hyperkähler cone H 6 ///U(2) is described by the following action (with all FI parameters vanishing) Here, m = 1, 2, 3 and a = 1, 2 is the U(2) index. This gives the following equations of motion Solving the latter equation by Φ a + = K a + ,ι where we have chosen a particular gauge, and plugging the solution for e V back in (B.1) leads to the action . The metric is given by g ij = ∂ ij K where Kähler potential K is obtained from S = d 8 zK. It turns out that g ≡ det g ij = 2 8 . (B.7)

JHEP05(2017)046
We use the following coordinate transformation to spherical polar coordinates Here, r is the radial coordinate and θ i , ϕ i , ψ i are the usual 3D spherical coordinates so θ i ∈ [0, π], ϕ i ∈ [0, 2π) and ψ i ∈ [0, 2π). The limit of χ ∈ [0, π 2 ] is chosen such that the 'flat' action gives flat metric on R + ×S 7 . The determinant of the Jacobian of this transformation is J s = r 7 cos 3 χ sin 3 χ sin θ 1 sin θ 2 . (B.9) In these coordinates the metric is not explicitly conical (there are off-diagonal terms between dr and spherical coordinates) but g rr is a complicated function of spherical coordinates only and rescaling r → ρ √ grr one obtains the conical metric dρ 2 + ρ 2 dΩ 2 7 . The determinant of this radial transformation is Combining all the above determinants, taking square root and (numerically) integrating over the spherical coordinates gives us the volume of the seven-dimensional base of the hyperkähler cone: Here we provide details of the calculation for ALE instantons of section 3.1 for generic D k−2 . The volume integral reads: ±,a=2 1 1 + (ϕ k−3 ± (φ a + φ k )) 2 × k−4 ±,a=1 1 1 + ((ϕ a ± ϕ a+1 ) ± (φ a+3 − φ a+4 )) 2 . (B.12)
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.