Twisted Indices of more 3d Quivers

Dharmesh Jain

REVIEW 4 major objections 4 minor 1 cited by

Twisted Indices of more 3d Quivers

T0 review · 4 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper derives closed-form large-rank twisted indices for several non-ADE 3d Chern-Simons quiver theories, and uses them to predict holographic Y7 volumes and black hole entropies.

desk verdict Solid continuation that extends the twisted-index computation to non-ADE quivers; the results are cross-checked but rest on an unproven region-completeness assumption. read the letter →

arxiv 1908.03035 v2 pith:XAE3OALX submitted 2019-08-08 hep-th

Dharmesh Jain This is my paper · ORCID

classification hep-th

keywords twistedindexlargeNlimit3dN=2Chern-SimonsquivertheoriesBethepotentialAdS/CFTcorrespondenceSasaki-Einsteinvolumesblackholeentropynon-ADEquivers

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper attempts to establish that the large-rank twisted index on $\Sigma_{\mathfrak{g}}\times S^1$ for a class of 3d $\mathcal{N}=2$ Chern-Simons quiver gauge theories with non-uniform ranks — the non-ADE quivers — is captured by a single closed-form master quantity, the Lagrange multiplier $\tilde\mu$, together with its derivatives with respect to chemical potentials. The author computes $\tilde\mu$ explicitly for five quiver families and for the $\mathcal{N}=2$ $\hat E_n$ quivers, and checks that the resulting index (2.9) matches the direct integral expression (2.7). If the claim holds, the twisted index and the $S^3$ free energy of each theory are governed by the same function, with $F_{S^3}=4\bar V$, and the AdS/CFT dictionary turns the extremized index into predictions for the volumes of dual seven-dimensional Sasaki-Einstein manifolds and for black hole entropy in $\mathrm{AdS}_4$.

What carries the argument

The load-bearing machinery is the large-$N$ saddle of the matrix model: a single continuous eigenvalue density $\rho(x)$ satisfying the local constraint (2.2) and extremizing the Bethe potential (2.3), with the $Y$-functions extracted by the saturation algorithm inherited from the paper's companion work. The key identity is (2.8)/(2.9), which reduces the twisted index to $\tilde\mu$ and its chemical-potential derivatives rather than to an integral over $\rho(x)$. The paper's concrete work is to decompose the $x$-axis into regions with a definite saturation pattern of the $y$-difference functions, solve for $\rho(x)$ region by region, and package the result as the partial-fraction form $1/\tilde\mu^2=\sum_{\pm,a}2N_a/\sigma_a^\pm$, with $\sigma_a^\pm$ linear in the Chern-Simons levels $k_i$ and the antisymmetric combinations $\nu^-_{(a,b)}=\nu_{(a,b)}-\nu_{(b,a)}$.

What would settle it

For the quiver $L_{\{1,1,2\},\{1,1,1\}}$, run the saturation procedure for the Bethe-potential extremization until the eigenvalue density itself reaches zero rather than stopping when all $y$-differences are saturated; if this produces a region where $\rho(x)>0$ outside the four listed regions, the closed-form $\tilde\mu$ in (3.14) misses a contribution.

Watch

Extended reading notes

Core claim

The paper's central discovery is the closed-form evaluation of the large-$N$ twisted index for the listed non-ADE quivers. For each quiver the index takes the form $\bar I = (g-1)\frac{4\pi N^{3/2}}{3\tilde\mu^3}\left[\frac{4}{\tilde\mu^2}-\frac12\sum_I'(n_I-2\nu_I)\frac{\partial}{\partial\nu_I}\left(\frac{1}{\tilde\mu^2}\right)\right]$, where $\tilde\mu$ is determined by extremizing the Bethe potential with a normalized eigenvalue density. The paper supplies $\tilde\mu$ in closed form for $L_{\{1,2\},\{1,1\}}$, $L_{\{1,2\},\{1,2\}}$, $L_{\{1,1,2\},\{1,1,1\}}$, $L_{\{1,1,1,2\},\{1,1,1,0\}}$, the linear family $L_{\{1,1,2,\ldots,2\},\{0\}}$, and the $\mathcal{N}=2$ $\hat E_n$ quivers, typically as a sum of partial fractions $2N_a/\sigma_a^\pm$ whose denominators are linear in the Chern-Simons levels and chemical potentials. The author verifies that (2.9) agrees with the direct integral (2.7), that $F_{S^3}=4\bar V$, and that $1/(128\tilde\mu^2)$ equals $\mathrm{Vol}(Y_7)/\mathrm{Vol}(S^7)$, so extremizing the index gives the dual black hole entropy.

Load-bearing premise

The computation assumes that one continuous distribution of eigenvalues, with exactly the saturation regions found here, captures the full large-rank saddle; any missing region or additional saddle would leave the closed-form index incomplete.

Editorial extensions

If this is right

The twisted index for each listed quiver is fixed by one scalar function $\tilde\mu$, so no further integration over eigenvalue densities is needed once $\tilde\mu$ is known.
Because $F_{S^3}=4\bar V$ holds with $\Delta=2\nu$, the $S^3$ free energy and the twisted index are governed by the same $\tilde\mu$, so extremizing either gives the other.
Extremizing (2.9) with respect to the chemical potentials gives the entropy of the dual $\mathrm{AdS}_4$ black holes, and the volume of the Sasaki-Einstein manifold $Y_7$ is read off from $1/(128\tilde\mu^2)$.
The partial-fraction pattern and the shift rule (3.26) provide a uniform expression for the linear family $L_{\{1,1,2,\ldots,2\},\{0\}}$ at every $n$, with $n=2,3$ checked explicitly.
For the $\mathcal{N}=2$ $\hat E_6$ and $\hat E_7$ quivers, $1/\tilde\mu[\nu]^2 = 16/\mu[2\nu]^2$ is verified, so the twisted index follows directly from the known $\hat E$ free energies, with $\hat E_8$ left as an explicit check.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Beyond the paper, the partial-fraction pattern suggests that the eigenvalue densities of these linear quivers are piecewise linear with heights controlled by the same $N_a$ and $\sigma_a^\pm$, so a polygon model could generate the missing general coefficients for the $L_{\{1,1,2,\ldots,2\},\{0\}}$ family.
The identity $\bar I = (g-1)[4\bar V + \sum_I'(n_I-2\nu_I)\partial\bar V/\partial\nu_I]$ implies that any observable encoded in $\bar V$, such as partition functions on other Seifert manifolds obtained by fibering operators, would also be controlled by the same $\tilde\mu$, a consequence the paper does not pursue.
The volume predictions for $Y_7$ could be tested independently by constructing the Sasaki-Einstein metrics dual to these quivers, since a mismatch would localize the error to the large-$N$ saddle rather than to the index formula.
A finite-$N$ numerical solution of the Bethe Ansatz equations for, say, $L_{\{1,1,2\},\{1,1,1\}}$ would settle whether the assumed branch structure is complete, because missing regions would change the large-$N$ index.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Private take: this is a solid continuation of the quiver matrix-model program, not a breakthrough. The genuinely new content is the large-rank twisted index — not just the S³ free energy — for the non-ADE "L" families of [2], plus the N=2 extension of the ê E results in Appendix A. If the formulas in Sections 3.1–3.5 are right, they give AdS/CFT predictions for Y7 volumes and black hole entropy.

What the paper does well: the first example (Section 3.1) is shown in full detail, with a stated check that the direct integral (2.7) matches (2.9). Reproducing [2]'s volume numbers, including the specific 6656/441k value in the Laufer limit, is a genuine external check; no parameter is fitted to force it. The general-n expression in Section 3.5 is labeled conjectural, and the E8 rule in Appendix A is left for readers to verify. That candor earns credit.

The soft spot: the load-bearing assumption is completeness of the saturation-region decomposition. The text typically presents "one of the solutions" in a branch, but never shows that no further region appears when the density ρ(x) terminates. A missed region would change ρ(x), the Y functions, and ultimately 1/μ̃² and the index (2.9). This is exactly the point in dispute with [2]'s algorithm A2, and the defense of A1 is an argument, not a proof. The external checks hit specific points; (2.9) needs μ̃(ν) at generic ν, including its ν-derivatives. Footnote 6 shows the author is aware of the density-termination subtlety, but awareness is not the same as proof of completeness. So the central result is conditional: plausibly correct, but not independently certifiable without redoing much of the computation.

Smaller issues: the (2.7)/(2.9) match is shown for the first example and only asserted for the rest; same for the F_S3 = 4V checks; the abstract overreaches on black hole entropy compared with Section 1's careful caveat; and no notebook or numerical data is provided despite crediting Mathematica v11.3. Heavy self-citation is expected in a continuation, the comparison against [2] is the right target, and there is no circularity problem: the cross-checks are reproduction, not fitting.

Who this is for: specialists in CS quiver matrix models and AdS4/CFT3. Someone in the area will want these explicit μ̃ expressions as reference data.

Recommendation: it deserves a serious referee, ideally one who knows the A1/A2 dispute and can check the region enumeration. I would send it out with a request for the full branch enumeration or the notebook, and for an abstract aligned with Section 1. With those, this is a conditional accept.

Referee Report

4 major / 4 minor

Summary. This paper computes the large-rank topologically twisted index I = log|Z_{\Sigma_g \times S^1}| for a class of 3d N=2 Chern-Simons quiver theories with non-uniform ranks and multiple adjoint multiplets, continuing the author's earlier work with A. Ray. After reviewing the large-N matrix model from [1], the paper states the central formula (2.9), which expresses the index in terms of the Bethe-potential Lagrange multiplier \tilde{\mu}, and the relation (2.10) connecting 4\bar V to F_{S^3} and to Y_7 volumes. Section 3 lists explicit results for five quiver families: L_{\{1,2\},\{1,1\}}, the Laufer UV completion L_{\{1,2\},\{1,2\}}, L_{\{1,1,2\},\{1,1,1\}}, L_{\{1,1,1,2\},\{1,1,1,0\}}, and the adjoint-free linear family L_{\{1,1,2,\ldots,2\},\{0\}}. Appendix A gives a transition rule (A.5) for writing the \tilde{\mu} function of N=2 hat E quivers from known N=3 expressions. The author argues that the saturation algorithm A1 of [1] is as universal as the rival algorithm A2 of [2], and checks several results against [2], including the Laufer volume 6656/441k.

Significance. If the results are correct, they provide explicit large-rank predictions for twisted indices and Y_7 volumes/black-hole entropies for non-ADE quivers, extending the earlier ADE computations and lending support to the author's algorithm A1 over A2. The manuscript has notable strengths: closed-form expressions for 1/\tilde{\mu}^2 in each family, a nontrivial numerical cross-check against [2] for the Laufer theory, explicit statements of internal agreement between (2.9) and (2.7), and a verified E6/E7 transition rule. However, the key derivations are not shown: region decompositions are asserted, branch completeness is not proven, and the general-n formula in Section 3.5 is explicitly conjectural. These issues affect the central claim, so the paper is not yet suitable for publication without revision.

major comments (4)

[Sections 3.3-3.5, Eqs. (3.14), (3.18), (3.29)] The evaluation of the index via (2.9) presupposes that the displayed saturation regions and branches exhaust all saddle solutions of (2.3)-(2.5). In Section 3.3 the text says 'we present one of the solutions' and in Section 3.4 it says 'There can be one more branch', but no enumeration of branches or of regions where the density terminates with rho(x)=0 is provided. The agreement between (2.9) and (2.7) is an internal consistency check of the chosen branch, not a completeness test, and the Laufer match in Section 3.2 tests only one point in parameter space. A complete region decomposition, or a reproducible verification of it, is needed to support the central index formulas.
[Section 3.2, p. 7] The claims that F_{S^3}=4V, that the twisted index computed from (2.9) matches the integral expression (2.7), and that these checks hold for all later examples, are load-bearing for every result in Section 3. No calculation or reference is shown for these checks. As written, they are not independently verifiable; the author should either prove them from the displayed saddle-point solution or provide the computation in a supplementary file.
[Section 3.5, 'General n'] Equation (3.29) is explicitly introduced as a conjecture ('We can conjecture a general expression'), and the coefficients N_a and c^i_a are left undetermined for general n. Thus the section gives complete results only for n=2 and n=3; the infinite-family claim in the title and abstract is not established. The conjectural status of (3.29) should be stated prominently in the abstract or introduction.
[Appendix A, Eq. (A.5)] The transition rule from the N=3 to the N=2 hat E quivers is stated without derivation, and the verification is explicitly left open for E8 ('leave such a verification for E8 to interested readers'). Since this rule is the sole basis for the N=2 hat E results in the appendix, a proof or a reference proving (A.5) is required; otherwise the appendix should be labelled as conjectural.

minor comments (4)

[Section 3.4] The consistency condition '0<nu(1)+nu(3)>1' is not a valid inequality; it presumably should be two conditions such as 0<nu(3)<nu(1)+nu(3)<1, and should be corrected.
[Section 3.3] The sentence 'we except there is some parameterization' should read 'we expect', and 'we leave this as open a problem' should read 'we leave this as an open problem'.
[Section 3.5, Eq. (3.26)] The path-dependent sign convention in (3.26) is difficult to parse; a concrete worked example with labelled nodes and edge directions, such as the n=2 case written out in full, would improve clarity.
[Eqs. (2.9), (2.10)] The displayed fractions involving \tilde{\mu} and the numerical prefactors 1/8 and 1/128 are easy to misread; please ensure the placement of \tilde{\mu} is typeset unambiguously and that the relations are dimensionally consistent with (2.8).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the twisted indices are solved from the localization matrix model and benchmarked against, not fitted to, prior results.

full rationale

The derivation chain is self-contained at the level that matters. The input is the localization Bethe-potential matrix model (2.2)-(2.5); the paper then solves the saddle equations for each quiver, obtains the density and Y-functions, and fixes tilde_mu by normalizability. Equation (2.9) is presented as an algebraic consequence of (2.4) and (2.8), and the subsequent match with the integral expression (2.7) is a consistency check on the extracted saddle data, not a fitting procedure. The reproductions of the Laufer volume in Section 3.2 and of the cases from [2] in Sections 3.1-3.5 use independently published volumes as benchmarks; no parameter appearing in the predicted index is adjusted to force those matches. The framework and the A1 algorithm are imported from [1,3,4,5], including same-author works, but these are general methods and do not contain the target non-ADE index values; no uniqueness theorem from the author's own prior work is invoked to forbid alternatives. The unresolved completeness of the region decomposition and the unshown explicit F_S3 checks are real reproducibility and correctness limitations, but they are not instances of an output being constructed from its own input.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters are fitted: the nu and n are boundary condition variables, the CS levels are fixed theory data, and tilde_mu is fixed by normalizability. The load-bearing assumptions are the matrix-model ansatz, the F_S3 = 4V relation, the I-V relation (2.8) from prior work, and the pattern-based transition rule for N=2 hat E quivers in Appendix A.

assumptions (6)

domain assumption The localization formula (2.1) for the twisted index on Sigma_g x S^1 is correct for these N=2 Chern-Simons quivers.
Invoked in Section 2 as the starting point; standard result from [7-11].
domain assumption The large-N saddle is captured by a single continuous eigenvalue density rho(x) satisfying the local constraint (2.2), with Bethe potential (2.3).
This ansatz is the basis of all Section 3 solutions; completeness of the region decomposition is not proven.
domain assumption F_S3 = 4V and V proportional to tilde_mu hold for generic R-charges.
Used to convert tilde_mu into volumes; checked, not derived in this paper, and borrowed from [6].
domain assumption The relation (2.8) between the twisted index I and Bethe potential V, and its generalization to adjoint plus bifundamental multiplets, holds.
Central to converting tilde_mu into I; the proof is attributed to [1].
domain assumption The AdS/CFT dictionary gives the Y7 volume from bar V and black hole entropy from extremization of the index.
Basis for the advertised predictions; no independent dual geometry is constructed in the paper.
ad hoc to paper The transition rules (A.5) for N=2 hat E quivers are valid.
Stated as a pattern-based generalization from N=3 results; verified only for E6 and E7, with E8 left open.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Twisted Indices of more 3d Quivers." pith.science (2026). https://pith.science/paper/XAE3OALX

@misc{pith2026190803035,
  author       = {Pith},
  title        = {Pith review of: Twisted Indices of more 3d Quivers},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XAE3OALX}},
  note         = {Machine review of arXiv:1908.03035}
}

abstract

We continue the study of 3d ${\mathcal N}=2$ Chern-Simons (CS) quiver gauge theories on $\Sigma_{\mathfrak{g}}\times S^1$. Using localization results, we compute the twisted index of recently constructed SCFTs in the large rank limit. According to AdS/CFT correspondence, this field theory computation gives a prediction for two quantities corresponding to their holographic duals: the volumes of certain 7-dimensional Sasaki-Einstein manifolds and the entropy of black holes in $\text{AdS}_4\times Y_7$.

Figures

Figures reproduced from arXiv: 1908.03035 by the authors.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Aspects of AdS$_2$ classification in M-theory: Solutions with mesonic and baryonic charges
hep-th 2019-08 conditional novelty 6.0 of 10

The paper gives necessary and sufficient geometric conditions for N=(1,0) AdS2 solutions in M-theory with SU(4)-structure, and presents numerical evidence for a new Q^{1,1,1} solution with both mesonic and baryonic charges.

Reference graph

Works this paper leans on

14 extracted references · 5 canonical work pages · cited by 1 Pith paper

[2]

New 3dN = 2 SCFT’s withN 3/2 scaling

A. Amariti, M. Fazzi, N. Mekareeya and A. Nedelin, “New 3dN = 2 SCFT’s withN 3/2 scaling”,arXiv:1903.02586 [hep-th]

arXiv 1903
[1]

3dN = 2 ˆADE Chern-Simons Quivers

D. Jain and A. Ray, “3dN = 2 ˆADE Chern-Simons Quivers”,Phys. Rev. D100 (2019) 046007, arXiv:1902.10498 [hep-th]

arXiv 2019
[3]

Matrix Models for Supersymmetric Chern-Simons Theories with an ADE Classification

D. R. Gulotta, J. P. Ang and C. P. Herzog, “Matrix Models for Supersymmetric Chern- Simons Theories with an ADE Classiﬁcation”,JHEP 01 (2012) 132, arXiv:1111.1744 [hep-th]

work page Pith review arXiv 2012
[4]

Free Energy of D_n Quiver Chern-Simons Theories

P. M. Crichigno, C. P. Herzog and D. Jain, “Free Energy ofˆDn Quiver Chern-Simons Theories”,JHEP 03 (2013) 039, arXiv:1211.1388 [hep-th]

work page Pith review arXiv 2013
[5]

Deconstructing Deformed D-quivers

D. Jain, “Deconstructing DeformedˆD-quivers”,arXiv:1512.08955 [hep-th]

work page Pith review arXiv
[6]

From Necklace Quivers to the F-theorem, Operator Counting, andT (U(N))

D. R. Gulotta, C. P. Herzog and S. S. Pufu, “From Necklace Quivers to the F-theorem, Operator Counting, andT (U(N))”,JHEP 12 (2011) 077, arXiv:1105.2817 [hep-th]

arXiv 2011
[7]

A Topologically Twisted Index for Three-dimensional Super- symmetric Theories

F. Benini and A. Zaﬀaroni, “A Topologically Twisted Index for Three-dimensional Super- symmetric Theories”,JHEP 07 (2015) 127, arXiv:1504.03698 [hep-th]

arXiv 2015
[8]

Supersymmetric Partition Functions on Riemann surfaces

F. Benini and A. Zaﬀaroni, “Supersymmetric Partition Functions on Riemann surfaces”, Proc. Symp. Pure Math.96 (2017) 13, arXiv:1605.06120 [hep-th]

arXiv 2017

Show all 14 references

[9]

Comments on Twisted Indices in 3d Supersymmetric Gauge Theories

C. Closset and H. Kim, “Comments on Twisted Indices in 3d Supersymmetric Gauge Theories”,JHEP 08 (2016) 059, arXiv:1605.06531 [hep-th]

2016 arXiv
[10]

Supersymmetric Partition Functions and The Three- dimensional A-twist

C. Closset, H. Kim and B. Willett, “Supersymmetric Partition Functions and The Three- dimensional A-twist”,JHEP 03 (2017) 074, arXiv:1701.03171 [hep-th]

2017 arXiv
[11]

Seifert Fibering Operators in 3dN = 2 Theories

C. Closset, H. Kim and B. Willett, “Seifert Fibering Operators in 3dN = 2 Theories”, JHEP 11 (2018) 004, arXiv:1807.02328 [hep-th]

2018 arXiv
[12]

OnCP1 as an Exceptional Set

H. B. Laufer, “OnCP1 as an Exceptional Set”,in Recent Developments in Several Complex Variables, volume 100 ofAnn. of Math. Stud. 255(edited by J. E. Fornaess), p. 261–276, Princeton Univ. Press, Princeton, NJ 1981

1981
[13]

Quivers from Matrix Factorizations

P. S. Aspinwall and D. R. Morrison, “Quivers from Matrix Factorizations”,Commun. Math. Phys. 313 (2012) 607, arXiv:1005.1042 [hep-th]

2012 arXiv
[14]

Mathematica, Version 11.3

Wolfram Research, Inc., “Mathematica, Version 11.3”, Champaign, IL, 2018. 14

2018

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [2]

New 3dN = 2 SCFT’s withN 3/2 scaling

A. Amariti, M. Fazzi, N. Mekareeya and A. Nedelin, “New 3dN = 2 SCFT’s withN 3/2 scaling”,arXiv:1903.02586 [hep-th]

arXiv 1903

[2] [1]

3dN = 2 ˆADE Chern-Simons Quivers

D. Jain and A. Ray, “3dN = 2 ˆADE Chern-Simons Quivers”,Phys. Rev. D100 (2019) 046007, arXiv:1902.10498 [hep-th]

arXiv 2019

[3] [3]

Matrix Models for Supersymmetric Chern-Simons Theories with an ADE Classification

D. R. Gulotta, J. P. Ang and C. P. Herzog, “Matrix Models for Supersymmetric Chern- Simons Theories with an ADE Classiﬁcation”,JHEP 01 (2012) 132, arXiv:1111.1744 [hep-th]

work page Pith review arXiv 2012

[4] [4]

Free Energy of D_n Quiver Chern-Simons Theories

P. M. Crichigno, C. P. Herzog and D. Jain, “Free Energy ofˆDn Quiver Chern-Simons Theories”,JHEP 03 (2013) 039, arXiv:1211.1388 [hep-th]

work page Pith review arXiv 2013

[5] [5]

Deconstructing Deformed D-quivers

D. Jain, “Deconstructing DeformedˆD-quivers”,arXiv:1512.08955 [hep-th]

work page Pith review arXiv

[6] [6]

From Necklace Quivers to the F-theorem, Operator Counting, andT (U(N))

D. R. Gulotta, C. P. Herzog and S. S. Pufu, “From Necklace Quivers to the F-theorem, Operator Counting, andT (U(N))”,JHEP 12 (2011) 077, arXiv:1105.2817 [hep-th]

arXiv 2011

[7] [7]

A Topologically Twisted Index for Three-dimensional Super- symmetric Theories

F. Benini and A. Zaﬀaroni, “A Topologically Twisted Index for Three-dimensional Super- symmetric Theories”,JHEP 07 (2015) 127, arXiv:1504.03698 [hep-th]

arXiv 2015

[8] [8]

Supersymmetric Partition Functions on Riemann surfaces

F. Benini and A. Zaﬀaroni, “Supersymmetric Partition Functions on Riemann surfaces”, Proc. Symp. Pure Math.96 (2017) 13, arXiv:1605.06120 [hep-th]

arXiv 2017