Triangle Anomalies from Einstein Manifolds

Worth your time if you work on AdS5/CFT4 with Sasaki-Einstein duals. The central formula is right, the checks are real, and one piece of it — the metric-independence argument — is the part I would actually cite. But the abstract's 'perfect agreement' [abstract:s2] is a bit stronger than what the paper shows for the non-toric del Pezzos, and you should read Section 5.2 with that in mind rather than taking it at face value. The formula itself, c_IJK = (N²/2)∫ ω_I∧ι_{k_J}ω_K with dω_I + ι_{k_I}vol = 0, is a clean generalization of Witten's S5 computation, and the shift-invariance proof in Section 3.2 is a genuine argument, not hand-waving: the two shifts ω→ω+dα and ω→ι_kβ both leave c_IJK fixed, and the normalization (3.4) survives. The toric reduction to (N²/2)|det(k_I,k_J,k_K)| via the orbifold-of-S5 construction in Section 4.3 is clean, and I checked that the normalization survives the projection. The del Pezzo cubic (4.9) follows correctly from (4.8). The a ∝ 1/V rederivation in Section 2.3 is a normalization check, not a new result — fine, but don't count it as one. Two acknowledged gaps are load-bearing. Footnote 2 assumes d = ℓ + b3 independent invariant three-cycles and says outright that no proof was found in the literature; that assumption underpins the whole charge-lattice story in Section 3.1 and Appendix C. Footnote 4 admits property 2 fails in toric phases with double impurities, and Section 5.1 only 'expects' a good phase always exists. The stress-test note is right that this is partly mitigated: the anomaly is an IR quantity and Seiberg duality relates toric phases, so one good phase per geometry suffices. That makes it a proof-completeness gap, not a correctness gap. The weaker spot is Section 5.2, where the del Pezzo matching is asserted rather than displayed — 'it is simple to compute' is doing real work there, and an explicit table would have cost them a page. Section 6 is a suggestive picture, honestly hedged, and should be read as discussion rather than result. For readers who need CS coefficients without an explicit metric, or who compute quiver anomalies, this is a useful reference. Send it to referees; the toric part will hold up, and the del Pezzo section will come back with a request for the computation.

The gravity formula (1.1) and its toric reduction (4.17) are internally consistent and cross-checked: the orbifold argument of §4.3 (i^*ω_I = #Γ ω̃_I, i^*vol = #Γ ṽol) reproduces c_IJK = (N^2/2)|det| with the normalization (3.4) intact, and the del Pezzo polynomial (4.9) follows correctly from (4.8). The soft spot is the field-theory side of the 'perfect agreement' claim (abstract:s2). Appendix B proves c_IJK = (N^2/2)|det| for general toric quivers using folded-quiver properties 1–3, but property 2 (|B_ij| = p_i q_j − p_j q_i) is admitted in footnote 4 to fail in toric phases with double impurities, and §5.1 only 'expects' there is always a phase where it holds. So the general proof is conditional on an unproven phase-existence statement. This is a proof-completeness gap rather than a correctness gap: the anomaly is a property of the IR CFT and is invariant under Seiberg duality across toric phases, so a single good phase suffices for the result even where the proof does not directly apply. The reader's property-2 concern is therefore real but partially mitigated. A second, less-discussed gap: §5.2 states the del Pezzo field-theory anomalies 'match' the geometric findings but does not display the computation, so the non-toric check is asserted rather than shown. Neither gap breaks the checked cases; both justify CONDITIONAL rather than ACCEPT.

The reader's weakest_assumption (folded-quiver property 2, footnote 4) is in the right neighborhood but is not quite the load-bearing step. Property 2 failing in some phases does not by itself threaten the result, because the triangle anomaly is a property of the IR fixed point and is invariant under Seiberg duality across toric phases; proving the formula in one good phase suffices. The sharper unproven step is the §5.1 expectation that every toric quiver has such a phase, which is what Appendix B's induction actually needs. That is a proof-completeness gap, acknowledged in the text, not a correctness gap. Separately, §5.2 asserts the del Pezzo matching without displaying the computation, so the non-toric check is weaker than the toric one. On the gravity side I checked the pieces most likely to hide a factor error: the orbifold scaling in §4.3 is consistent with the normalization (3.4) (the map C̃^J → C^J is #Γ-to-1, giving ∫_{C^J}ω_I = δ and c_IJK = #Γ·(N^2/2)), and the del Pezzo polynomial (4.9) follows correctly from (4.8) with the stated intersection form and Kähler class. The metric-independence argument of §3.2 has a terse step at (3.9) (δc = ∫ ι_{k_I}β ∧ ι_{k_J}ω_K = 0 is asserted without the degeneracy argument spelled out), but metric independence is a conceptual nicety, not load-bearing for the constructive toric evaluation. Overall the central claim is well-supported for the cases checked by an internal gravity–field-theory cross-check, with acknowledged gaps that justify CONDITIONAL. I would not move the verdict; the concrete test above would settle whether the general toric claim extends beyond the phases where Appendix B's proof applies.

If correct, the result is a useful and general statement: it gives the Chern-Simons coefficients of a IIB AdS_5 compactification in terms of topological data of X together with its isometries, without knowledge of the metric, and it reduces to a strikingly simple area formula for toric Sasaki-Einstein manifolds. The matching to quiver anomalies is a nontrivial check of AdS_5/CFT_4 beyond the S^5 case, and the observation that c_IJK depends only on the three toric vectors k_I, k_J, k_K is a structural statement of lasting value. The paper is carefully organized, the reduction in Appendix A is explicit, and the shift-invariance argument of Section 3.2 is a genuine proof rather than a plausibility argument.

In the AdS/CFT correspondence, a four-dimensional quantum field theory is dual to a gravitational theory on five-dimensional anti-de Sitter space times a compact five-dimensional manifold X. The field theory has global symmetries, and their triangle anomalies (a quantum effect) must match certain Chern-Simons couplings of gauge fields in the gravitational dual. Before this paper the matching had been checked only for the round five-sphere. This paper derives a general formula for those Chern-Simons couplings for any Einstein manifold X, written in terms of three-forms on X and the Killing vectors of its isometries. The key point is that the formula depends only on topological data, namely the action of the isometry group, not on the detailed metric, so one can compute it without knowing the explicit Einstein metric. The authors then evaluate the formula in two large families: circle bundles over del Pezzo surfaces, and toric Sasaki-Einstein manifolds. For the toric case the answer is strikingly simple: the coupling is proportional to the area of the triangle formed by three vectors (the toric data) in the toric diagram. They compute the same triangle anomalies directly in the dual quiver gauge theories and find agreement. The physical picture is that giving a vacuum expectation value to a dibaryon operator, dual to a wrapped D3-brane, removes an edge of the toric diagram, so the anomaly is independent of that edge, which explains why the answer depends only on three of the toric vectors.

Core claim. The Chern-Simons couplings of type IIB supergravity on AdS5 times an Einstein five-manifold X are given by c_IJK = (N^2/2) integral_X omega_{I} wedge iota_{k_J} omega_{K} (Eq. 1.1), where the three-forms omega_I satisfy d omega_I + iota_{k_I} vol = 0; for toric Sasaki-Einstein X this reduces to c_IJK = (N^2/2)|det(k_I, k_J, k_K)| (Eq. 4.17), the area of a triangle in the toric diagram, and matches the quiver gauge theory triangle anomalies.

The premise it rests on. The field theory matching in Section 5 relies on the folded-quiver properties 1, 2 and 3 of Section 5.1, in particular property 2 that the number of bifundamentals in each set is |B_ij| = p_i q_j - p_j q_i. Footnote 4 acknowledges that this property fails in some toric phases with double impurities, so the matching is established only for phases where the property holds, not for all toric quivers.

This review was written by a machine. No person has reviewed this paper on Pith yet. A scientist listed on Pith can review it for a fee, and their review is published here whatever it concludes.

Request a human review