Open problems of the tetrahedron duality: anomaly cancellation and the elliptic genus of the (0,2) brane box model, the oblique unit cell, and the reach of the construction

Yagi (JHEP 08 (2024) 024) argued that a two-dimensional supersymmetric gauge theory, the N=(0,2) brane box model, satisfies a 'tetrahedron duality' that promotes the Zamolodchikov tetrahedron equation — the three-dimensional analogue of the Yang-Baxter equation — to an infrared duality between gauge theories, so that the elliptic genus of the theory's oblique unit cell solves the tetrahedron equation with spectral parameters. The construction rests on an unverified assumption: that the abelian gauge anomaly of the brane box model cancels without invalidating the (0,2) triality from which the duality follows. Because the precise anomaly-cancellation mechanism is not established, the elliptic-genus solution with spectral parameters cannot be written down; only two anomaly-free variants (a dimensionally reduced 1D model giving a Witten genus, and an N=(0,1) SO(2N) model whose proposed elliptic genus lacks spectral parameters) were obtained. Together with four further questions left open in the same work — the principle selecting the oblique rather than axis-aligned unit cell, the role of the third theory of the triality triplet, whether general brane brick models yield tetrahedron dualities and new solutions, and the relation to quantum-cluster-algebra and M-theory solutions — this defines the open problem of placing the tetrahedron duality on firm foundations and determining its reach.

Background

The Yang-Baxter equation is the consistency condition underlying exactly solvable two-dimensional lattice models and factorized scattering in two-dimensional spacetime; its three-dimensional analogue is the Zamolodchikov tetrahedron equation, which arose from the study of factorized scattering in three spatial dimensions and governs interaction-round-a-cube (IRC) lattice models — lattice models in three dimensions whose Boltzmann weights are assigned to the faces of a cube and involve a spin variable at each corner. Solutions of the tetrahedron equation are rare compared to the two-dimensional case: the first was found by Baxter, and the algebraic structure of a prominent later family was analyzed by Bazhanov and Sergeev, so any systematic construction of new solutions is significant.

One route to solutions comes from supersymmetric quantum field theory. In the gauge/YBE correspondence, partition functions of supersymmetric gauge theories solve equations of integrable lattice models; the two-dimensional instance relates quiver gauge theories (quivers are directed graphs encoding the gauge groups and matter multiplets of a gauge theory) to Yang-Baxter solutions. For two-dimensional theories with N=(0,2) supersymmetry (two supercharges of a single chirality, whose matter consists of chiral multiplets and Fermi multiplets), the central protected quantity is the elliptic genus: a torus partition function written as a trace over the BPS Hilbert space (the states annihilated by a right-moving supercharge), $\mathrm{Tr}_{\mathcal{H}_{\mathrm{BPS}}}((-1)^F q^{H_L}\prod_\alpha u_\alpha^{K_\alpha})$, where $q$ is the torus modular parameter, $u_\alpha$ are fugacities (chemical potentials) for flavor symmetries, and $H_L$ is the left-moving Hamiltonian. It is invariant under continuous deformations of the theory, and for theories with Lagrangian descriptions it is computable at weak coupling by exact integral formulas with a definite residue prescription — the Jeffrey-Kirwan residue, in which a choice of vector in charge space selects which poles of the integrand contribute — due to Benini, Eager, Hori and Tachikawa. The N=(0,2) triality of Gadde, Gukov and Putrov is an infrared equivalence relating a triplet of such gauge theories with unitary gauge groups; its most convincing evidence is the agreement of the elliptic genera across the triplet.

The brane box model, introduced by García-Compeán and Uranga as a type IIA brane configuration, is an N=(0,2) quiver gauge theory with a U(N) gauge group at every site of the cubic lattice $\mathbb{Z}^3$ and bifundamental chiral and Fermi multiplets (transforming as the fundamental under one endpoint gauge group and the antifundamental under the other) on the links. Yagi's 2015 work in the gauge/YBE framework suggested that a unit cell of this infinite periodic quiver should produce a solution of the tetrahedron equation, but the natural axis-aligned unit cell fails to satisfy it. The 2024 source paper shows that a different choice works: an oblique (slanted) unit cell satisfies the tetrahedron duality, a relation promoting the tetrahedron equation to an infrared equivalence between two different gauge theories, each built from four copies of the unit cell theory (with eight U(N) flavor groups, and with spectral parameters — the continuous parameters on which the weights of a lattice-model solution depend, generalizing the spectral parameter of Yang-Baxter solutions — entering through the assignment of R-charges, the charges under the symmetry rotating the supercharges) coupled by gauging a common U(N). The duality is a consequence of the (0,2) triality, and any quantity compatible with gauging — in particular the elliptic genus — then yields a solution of the tetrahedron equation whose continuous spin variables are the flavor fugacities and whose spectral parameters come from the R-charges.

The obstacle is the gauge anomaly. The chiral fermions of the brane box model generate an anomaly in the abelian part of the gauge group, with coefficient matrix $A^{ab}$ equal to 2 on the diagonal, $-1$ for each chiral-multiplet arrow, $+1$ for each Fermi-multiplet arrow, and 0 otherwise. A version of the Green-Schwarz mechanism (anomaly cancellation by axion-like fields coupling to gauge field strengths; here expected to descend from the type IIA Ramond-Ramond 3-form, a background form field of type IIA string theory, as in Mohri's study of D-branes on quotient singularities) is expected to cancel it, but the (0,2) triality in the literature rests on a different cancellation method (determinant Fermi multiplets), and the author's attempts to adapt known methods — replacing U(N) by SU(N), adding extra Fermi multiplets, or adding determinant multiplets — each failed, respectively destroying the triality, the locality of the lattice model, or the triality again. Since the precise mechanism is unknown, the elliptic genus of the (0,2) brane box model cannot be written down; the paper instead derives two anomaly-free variants: the 1D brane box model obtained by dimensional reduction (chiral anomalies are absent in odd dimensions; its Witten genus, the one-dimensional analogue of the elliptic genus, solves the tetrahedron equation) and the (0,1) brane box model with SO(2N) gauge groups, which is anomaly-free (its triality is the one of Gukov, Pei and Putrov) and whose proposed elliptic genus solves the tetrahedron equation but without spectral parameters, since N=(0,1) supersymmetry has no continuous R-symmetry.

The construction sits in a wider landscape. Brane brick models — 2d N=(0,2) theories from toric Calabi-Yau four-folds (complex four-dimensional compactification manifolds with trivial canonical bundle, specified by combinatorial toric data), whose matter content is encoded in a tiling of a torus by rhombic bricks — were studied by Franco, Lee and Seong together with their own (0,2) triality, with elliptic genera computed by Franco, Ghim, Lee and Seong; they exhibit a rhombic-dodecahedron structure whose possible relevance to the tetrahedron equation had been suggested, and they admit (0,1) projections (Franco, Mininno, Uranga and Yu). Separately, solutions of the tetrahedron equation are known from quantum cluster algebras (non-commutative quantizations of cluster algebras, which are rings generated by iterated rational mutations of an initial set of variables; Sun-Yagi; Inoue-Kuniba-Terashima) and from a brane configuration in M-theory, the strong-coupling limit of type IIA string theory (Yagi 2023). The source paper's own concluding section lists five open questions about the tetrahedron duality construction.

Problem Statement

Complete the foundations of the tetrahedron duality construction of the (0,2) brane box model and determine its reach, by resolving the five questions the source paper (Yagi, JHEP 08 (2024) 024) itself lists as open:

(1) (Core, blocking tier) Establish how the abelian gauge anomaly of the N=(0,2) brane box model is canceled — the anomaly whose coefficient matrix $A^{ab}$ equals 2 on the diagonal, $-1$ for each chiral-multiplet arrow, and $+1$ for each Fermi-multiplet arrow of the quiver — in a way compatible with the (0,2) triality from which the tetrahedron duality follows and with the locality of the associated three-dimensional lattice model; and thereby write down the elliptic genus of the oblique unit cell as a solution of the tetrahedron equation carrying spectral parameters, verifying that it satisfies the equation.

(2) Identify the geometric or physical principle that selects the oblique (slanted) unit cell, rather than the natural axis-aligned unit cell, as the one satisfying the tetrahedron duality.

(3) Elucidate the role and physical significance of the third theory of the (0,2) triality triplet — the member that does not appear explicitly in either of the two gauged assemblies related by the tetrahedron duality.

(4) Determine whether more general brane brick models admit oblique-unit-cell constructions satisfying tetrahedron dualities, and hence produce new solutions of the tetrahedron equation (noting the rhombic-dodecahedron structure observed in brane brick models and the suggested relevance to the tetrahedron equation).

(5) Determine the relations, if any, between the solutions obtained here (from brane box reductions and (0,1) projections) and the known solutions of the tetrahedron equation constructed by quantum cluster algebras (Sun-Yagi; Inoue-Kuniba-Terashima) and by brane configurations in M-theory (Yagi 2023).

The common objective uniting these questions is a tetrahedron duality construction whose internal consistency is established rather than assumed, whose structural features (the choice of unit cell, the triality structure) are understood rather than merely observed, and whose scope — which gauge theories yield tetrahedron-equation solutions and how those solutions relate to the known ones — is delimited. The source itself tiers the list: questions (1)-(3) are introduced as the important ones, and questions (4)-(5) as further connections with other works. Resolving the task requires all five questions; question (1) is the blocking core and is resolved only when all three of its parts are established together — (a) the abelian anomaly-cancellation mechanism, (b) the elliptic genus of the oblique unit cell as a solution of the tetrahedron equation carrying spectral parameters, and (c) the verification that this genus satisfies the equation — so establishing only (a), only (b), or only the core tier (1)-(3) does not complete the task.

References

1. J. Yagi, "Tetrahedron duality", J. High Energ. Phys. 08 (2024) 024. arXiv:2405.02870, DOI 10.1007/JHEP08(2024)024. https://arxiv.org/abs/2405.02870
2. R. J. Baxter, "On Zamolodchikov's solution of the tetrahedron equations", Commun. Math. Phys. 88 (1983) 185. DOI 10.1007/BF01209476. https://doi.org/10.1007/BF01209476
3. V. V. Bazhanov and S. M. Sergeev, "Zamolodchikov's tetrahedron equation and hidden structure of quantum groups", J. Phys. A 39 (2006) 3295. arXiv:hep-th/0509181, DOI 10.1088/0305-4470/39/13/009. https://arxiv.org/abs/hep-th/0509181
4. H. García-Compeán and A. M. Uranga, "Brane box realization of chiral gauge theories in two dimensions", Nucl. Phys. B 539 (1999) 329. arXiv:hep-th/9806177, DOI 10.1016/S0550-3213(98)00725-1. https://arxiv.org/abs/hep-th/9806177
5. J. Yagi, "Quiver gauge theories and integrable lattice models", J. High Energ. Phys. 10 (2015) 065. arXiv:1504.04055, DOI 10.1007/JHEP10(2015)065. https://arxiv.org/abs/1504.04055
6. A. Gadde, S. Gukov and P. Putrov, "(0,2) trialities", J. High Energ. Phys. 03 (2014) 076. arXiv:1310.0818, DOI 10.1007/JHEP03(2014)076. https://arxiv.org/abs/1310.0818
7. F. Benini, R. Eager, K. Hori and Y. Tachikawa, "Elliptic genera of 2d N=2 gauge theories", Commun. Math. Phys. 333 (2015) 1241. arXiv:1308.4896, DOI 10.1007/s00220-014-2210-y. https://arxiv.org/abs/1308.4896
8. S. Franco, S. Lee and R.-K. Seong, "Brane brick models and 2d (0,2) triality", J. High Energ. Phys. 05 (2016) 020. arXiv:1602.01834, DOI 10.1007/JHEP05(2016)020. https://arxiv.org/abs/1602.01834
9. S. Franco, D. Ghim, S. Lee and R.-K. Seong, "Elliptic genera of 2d (0,2) gauge theories from brane brick models", J. High Energ. Phys. 06 (2017) 068. arXiv:1702.02948, DOI 10.1007/JHEP06(2017)068. https://arxiv.org/abs/1702.02948
10. S. Franco, A. Mininno, A. M. Uranga and X. Yu, "2d N=(0,1) gauge theories and Spin(7) orientifolds", J. High Energ. Phys. 03 (2022) 150. arXiv:2110.03696, DOI 10.1007/JHEP03(2022)150. https://arxiv.org/abs/2110.03696
11. S. Gukov, D. Pei and P. Putrov, "Trialities of minimally supersymmetric 2d gauge theories", J. High Energ. Phys. 04 (2020) 079. arXiv:1910.13455, DOI 10.1007/JHEP04(2020)079. https://arxiv.org/abs/1910.13455
12. K. Mohri, "D-branes and quotient singularities of Calabi-Yau four-folds", Nucl. Phys. B 521 (1998) 161. arXiv:hep-th/9707012, DOI 10.1016/S0550-3213(98)00085-6. https://arxiv.org/abs/hep-th/9707012
13. X.-Y. Sun and J. Yagi, "Cluster transformations, the tetrahedron equation and three-dimensional gauge theories", Adv. Theor. Math. Phys. 27 (2023) 1065. arXiv:2211.10702, DOI 10.4310/ATMP.2023.v27.n4.a2. https://arxiv.org/abs/2211.10702
14. R. Inoue, A. Kuniba and Y. Terashima, "Tetrahedron equation and quantum cluster algebras", J. Phys. A 57 (2024) 085202. arXiv:2310.14529, DOI 10.1088/1751-8121/ad2224. https://arxiv.org/abs/2310.14529
15. J. Yagi, "Integrable 3D lattice model in M-theory", J. High Energ. Phys. 01 (2023) 022. arXiv:2203.09706, DOI 10.1007/JHEP01(2023)022. https://arxiv.org/abs/2203.09706
16. J. Bao, M. Yamazaki and D. Zhou, "Elliptic genera of 2d N=(0,1) gauge theories", J. High Energ. Phys. 04 (2026) 080. arXiv:2508.06865, DOI 10.1007/JHEP04(2026)080. https://arxiv.org/abs/2508.06865
17. M. Shim, X. Sun, H. E. Wang and J. Yagi, "Solving the tetrahedron equation by Teichmüller TQFT", J. High Energ. Phys. 06 (2026) 141. arXiv:2602.22060, DOI 10.1007/JHEP06(2026)141. https://arxiv.org/abs/2602.22060
18. J. Yagi, "State integral models and the tetrahedron equation", J. Phys. A 59 (2026) 285203. arXiv:2603.09230, DOI 10.1088/1751-8121/ae848f. https://arxiv.org/abs/2603.09230
19. J. Kwon and R.-K. Seong, "Abelian Orbifolds for Brane Brick Models", arXiv:2606.28110 (2026). https://arxiv.org/abs/2606.28110