Microscopic verification of the M-theory brane construction of the Kapranov-Voevodsky / Bazhanov-Sergeev / Yoneyama 3D lattice model

Yagi (arXiv:2203.09706) proposed that the supersymmetric index of a system of M5-branes on a three-torus with M2-branes suspended between them equals the partition function of a three-dimensional integrable lattice model, and that its local Boltzmann weights are the R-matrices of the Kapranov-Voevodsky / Bazhanov-Sergeev / Yoneyama solution of the tetrahedron equation. The identification rests only on structural matching: no local weight of the brane system has ever been computed. The problem is to give a quantitative microscopic verification (or refutation) of the identification: a Lagrangian or quantum-mechanical description of the trilinear M5-brane junction with arbitrary M2-branes whose index yields the R-matrix matrix elements, or a construction of the 3D TQFT from the seven-dimensional theory on the D6-brane whose surface-defect correlators reproduce them in perturbation theory in $q$, with the singular massless limit handled so that the decomposition of the index into local weights is well defined. The brane-side construction of the boundary states of the orbifold reduction bounded by M9-branes extends the same dictionary to the boundary but is not required for settling the core identification. The problem remains open: the cluster-algebra and state-integral programs have unified and generalized the target solutions algebraically but have not derived the brane-index identification.

Background

Zamolodchikov's tetrahedron equation is the three-dimensional analogue of the Yang-Baxter equation (the consistency relation $R_{12}R_{13}R_{23}=R_{23}R_{13}R_{12}$ satisfied by the local weights of two-dimensional integrable lattice models). For a classical spin model on a cubic lattice whose local Boltzmann weight is encoded in an operator $R$ acting on a triple tensor product of state spaces, re-partitioning the lattice into cubes in two different ways yields the quartic relation $R_{123}R_{145}R_{246}R_{356}=R_{356}R_{246}R_{145}R_{123}$; its solutions are rare, and for most of them no field-theoretic origin is known. The canonical discrete solution was constructed by Kapranov and Voevodsky (1994) as the intertwiner (the operator intertwining the actions) of two representations of the quantized coordinate ring $A_q(sl(3))$ on $q$-oscillator Fock spaces (a Fock space $F=\bigoplus_{n\geq 0}\mathbb{C}|n\rangle$ built from oscillators with $q$-deformed commutation relations), and was rediscovered by Bazhanov and Sergeev (2006), who also found an accompanying L-operator solving an $RLLL=LLLR$ relation (a companion form of the tetrahedron equation). Yoneyama (2021) gave a uniform characterization of the whole family of operators $(R,L,M,N)$ as transition matrices between Poincare-Birkhoff-Witt bases (monomial bases ordered as in a standard basis of a universal enveloping algebra) of nilpotent subalgebras of quantized enveloping superalgebras. The matrix elements are explicit finite sums of $q$-binomial coefficients ($q$-analogues of ordinary binomial coefficients), hence integer-coefficient Laurent polynomials in $q$.

A separate line of work embeds integrable lattice models into string theory: Yagi (2017) reviews how brane constructions (D-branes are extended solitonic objects in string theory on which open strings end) reproduce the eight-vertex model and its relatives, and related constructions derive Yang-Baxter R-matrices from four-dimensional Chern-Simons theory (a topological field theory from which such R-matrices can be extracted). Yagi (2023) proposed the three-dimensional analogue in M-theory (the eleven-dimensional parent of string theory): the supersymmetric index of a system of M5-branes (five-dimensional solitonic membranes of M-theory) wrapping three families of two-tori inside a three-torus $T^3$, with M2-branes (membranes) suspended between them along the edges of the resulting cubic lattice, equals the partition function of a 3D lattice model. Here the supersymmetric index is the protected trace $\operatorname{tr}_{\mathrm{BPS}}(-1)^F q^H$ over BPS (supersymmetry-preserving, minimal-energy) states; the M2-brane occupation numbers are the spin variables, valued in bosonic or fermionic Fock spaces according to the orientation signs $\sigma_i=\pm$ of the intersecting M5-branes; the local weights at lattice vertices are operators $R^{\sigma_1\sigma_2\sigma_3}$ satisfying sixteen signed quartic relations (the supertetrahedron equation). At the locus where all M2-branes are massless, the index is captured by a three-dimensional topological quantum field theory (TQFT) - arising, after reduction on the M-theory circle to a D6-brane system, from the seven-dimensional maximally supersymmetric theory on the D6-brane (a six-dimensional D-brane of type IIA string theory, whose worldvolume is seven-dimensional) - in which the M5-branes are surface defects (defects supported on two-dimensional submanifolds); the positions of the M5-branes transverse to $T^3$ appear as boundary-condition twist parameters that play the role of spectral parameters.

Yagi (2023) shows that the brane-derived local weights must be constant (independent of spectral parameters), charge-conserving, involutive ($R^{-1}=R$), and integer-coefficient Laurent polynomials in $q$; all of these properties hold for the Kapranov-Voevodsky / Bazhanov-Sergeev / Yoneyama solution, and on this basis the author proposes the identification. However, not a single local weight of the brane system is computed anywhere in the paper: the identification is supported only by structural matching, and the closing section states that a quantitative verification of the proposal, by the junction-system or TQFT routes or any other method, is left for future research. The microscopic theory at the trilinear M5-brane junction, the field-theoretic content of the TQFT, the control of the singular massless limit (where M2-branes can be created or annihilated as M5-branes pass through one another, so that decomposing the index into R-matrix factors requires a choice the paper describes as not completely satisfactory), and the brane-side description of the boundary states arising in the orbifold reduction (the quotient by a reflection of one circle of $T^3$, bounded by M9-branes - the ten-dimensional boundary objects of M-theory on an interval, on which M5-branes end) are all unknown.

Problem Statement

Give a quantitative microscopic verification - or refutation - of the identification proposed by Yagi (arXiv:2203.09706, section 5) between the local Boltzmann weights of the 3D lattice model defined by the M5/M2-brane system and the R-matrices $R^{\sigma_1\sigma_2\sigma_3}$ of the Kapranov-Voevodsky / Bazhanov-Sergeev / Yoneyama solution, whose matrix elements are the explicit finite $q$-binomial sums given in section 5 of that paper (equations (118)-(122) of the arXiv version). Components (1), (2) and (4) below restate the future-research items posed in the closing discussion of the source's section 5; component (3) addresses the massless-limit treatment that the source's section 4.4 acknowledges as provisional; and component (5) develops the boundary states that the source's section 5 discusses as supporting evidence for the proposal. Together they decompose this single objective - completing the brane/lattice-model dictionary so that the index itself, not merely its symmetry properties, is computed:

(1) Junction system. Identify the quantum-mechanical system supported on the intersection of three M5-branes of types $1\sigma_1$, $2\sigma_2$, $3\sigma_3$ (each wrapping the two-torus in $T^3$ transverse to the $i$-th circle, with orientation sign $\sigma_i=\pm$) together with arbitrary numbers of M2-branes of each type - a junction of the six theories living on the M2-brane stacks suspended between pairs of M5-branes - and give an explicit Lagrangian or equivalent microscopic description of it, such that its supersymmetric index equals the matrix elements of $R^{\sigma_1\sigma_2\sigma_3}$.

(2) 3D TQFT. Concretely describe the 3D TQFT arising from the 7D theory on the D6-brane (or its dimensional reduction), in which the R-matrices are correlation functions of the intersecting surface defects of signs $\pm$, so that these correlators can be computed in perturbation theory in $q$ or $q^{-1}$.

(3) Massless limit. Ensure that the decomposition of the index into R-matrix factors is well defined at the massless limit - the coincidence locus of the M5-branes at which M2-branes are created or annihilated when M5-branes pass through one another. The source's ordering convention (its section 4.4, equations (45)-(46)) specifies all R-matrix factors unambiguously and may be used for this purpose; the source acknowledges that its treatment of this point is not completely satisfactory, so a more principled prescription would resolve a recognized limitation, but replacing the convention is not required.

(4) Verification. By the junction-system index, the TQFT correlators, or any other method, compute the local weights of the brane system and demonstrate term-by-term agreement - or explicit disagreement - with the matrix elements (118)-(122), thereby establishing or refuting the proposal that the brane system's index equals the partition function of the Kapranov-Voevodsky / Bazhanov-Sergeev / Yoneyama 3D lattice model.

(5) Boundary states. For the $\mathbb{Z}_2$-orbifold reduction of the lattice direction, realized as an interval bounded by a pair of M9-branes (the ten-dimensional boundary objects of M-theory on an interval, on which M5-branes end), construct the boundary states from the brane system (including the proposed distinction between boundary states with and without a half M5-brane stuck at the fixed point) and verify that products of R-matrices evaluated between them solve the Yang-Baxter equation, matching the known boundary constructions in the lattice-model literature.

Relationship among components and completion boundary: components (1) and (2) are the two alternative routes proposed in the source ('along these lines or with any other methods'); an answer must carry at least one such route - or an equivalent microscopic method - through to the quantitative matching of component (4), with a well-defined decomposition into local weights at the massless limit as in component (3), whether via the source's own convention or a better prescription. Component (5) extends the same dictionary to the boundary side but is not a required deliverable: a resolution of (1)-(4) without (5) settles the core identification and leaves the boundary extension open.

References

1. A. B. Zamolodchikov, 'Tetrahedron equations and the relativistic S-matrix of straight-strings in 2+1-dimensions', Commun. Math. Phys. 79 (1981) 489-505, DOI 10.1007/BF01209309, https://doi.org/10.1007/BF01209309
2. M. M. Kapranov and V. A. Voevodsky, '2-categories and Zamolodchikov tetrahedra equations', in Algebraic Groups and Their Generalizations: Quantum and Infinite-Dimensional Methods, Proc. Sympos. Pure Math. vol. 56 Part 2, Amer. Math. Soc. (1994), pp. 177-259, DOI 10.1090/pspum/056.2/1278735, https://doi.org/10.1090/pspum/056.2/1278735
3. V. V. Bazhanov and S. M. Sergeev, 'Zamolodchikov's tetrahedron equation and hidden structure of quantum groups', J. Phys. A 39 (2006) 3295-3310, DOI 10.1088/0305-4470/39/13/009, arXiv:hep-th/0509181, https://arxiv.org/abs/hep-th/0509181
4. A. Yoneyama, 'Tetrahedron and 3D reflection equation from PBW bases of the nilpotent subalgebra of quantum superalgebras', Commun. Math. Phys. 387 (2021) 481-550, DOI 10.1007/s00220-021-04098-8, arXiv:2012.13385, https://arxiv.org/abs/2012.13385
5. J. Yagi, 'Branes and integrable lattice models', Mod. Phys. Lett. A 32 (2017) 1730003, DOI 10.1142/S0217732317300038, arXiv:1610.05584, https://arxiv.org/abs/1610.05584
6. J. Yagi, 'Integrable 3D lattice model in M-theory', JHEP 01 (2023) 022, DOI 10.1007/JHEP01(2023)022, arXiv:2203.09706, https://arxiv.org/abs/2203.09706
7. P. Gavrylenko, M. Semenyakin and Y. Zenkevich, 'Solution of tetrahedron equation and cluster algebras', JHEP 05 (2021) 103, DOI 10.1007/JHEP05(2021)103, arXiv:2010.15871, https://arxiv.org/abs/2010.15871
8. X. Sun and J. Yagi, 'Cluster transformations, the tetrahedron equation, and three-dimensional gauge theories', Adv. Theor. Math. Phys. 27 (2023) 1065-1106, DOI 10.4310/ATMP.2023.v27.n4.a2, arXiv:2211.10702, https://arxiv.org/abs/2211.10702
9. R. Inoue, A. Kuniba and Y. Terashima, 'Tetrahedron equation and quantum cluster algebras', J. Phys. A 57 (2024) 085202, DOI 10.1088/1751-8121/ad2224, arXiv:2310.14529, https://arxiv.org/abs/2310.14529
10. R. Inoue, A. Kuniba and Y. Terashima, 'Quantum cluster algebras and 3D integrability: tetrahedron and 3D reflection equations', Int. Math. Res. Not. 2024 (2024) 11549-11581, DOI 10.1093/imrn/rnae128, arXiv:2310.14493, https://arxiv.org/abs/2310.14493
11. V. V. Bazhanov, V. V. Mangazeev and S. M. Sergeev, 'Quantum geometry of 3-dimensional lattices and tetrahedron equation', in XVIth International Congress on Mathematical Physics, World Scientific (2010), pp. 23-44, DOI 10.1142/9789814304634_0001, arXiv:0911.3693, https://arxiv.org/abs/0911.3693
12. A. Kuniba, S. Matsuike and A. Yoneyama, 'New solutions to the tetrahedron equation associated with quantized six-vertex models', Commun. Math. Phys. 401 (2023) 3247-3276, DOI 10.1007/s00220-023-04711-y, arXiv:2208.10258, https://arxiv.org/abs/2208.10258
13. R. Inoue, A. Kuniba, X. Sun, Y. Terashima and J. Yagi, 'Solutions of tetrahedron equation from quantum cluster algebra associated with symmetric butterfly quiver', SIGMA 20 (2024) 113, DOI 10.3842/SIGMA.2024.113, arXiv:2403.08814, https://arxiv.org/abs/2403.08814
14. J. Yagi, 'Tetrahedron duality', JHEP 08 (2024) 024, DOI 10.1007/JHEP08(2024)024, arXiv:2405.02870, https://arxiv.org/abs/2405.02870
15. M. Najjar, J. Tian and Y.-N. Wang, '3d N=2 theories from M-theory on CY4 and IIB brane box', JHEP 05 (2024) 038, DOI 10.1007/JHEP05(2024)038, arXiv:2312.17082, https://arxiv.org/abs/2312.17082
16. M. Shim, X. Sun, H. E. Wang and J. Yagi, 'Solving the tetrahedron equation by Teichmüller TQFT', JHEP 06 (2026) 141, DOI 10.1007/JHEP06(2026)141, arXiv:2602.22060, https://arxiv.org/abs/2602.22060
17. J. Yagi, 'State integral models and the tetrahedron equation', J. Phys. A 59 (2026) 285203, DOI 10.1088/1751-8121/ae848f, arXiv:2603.09230, https://arxiv.org/abs/2603.09230
18. R. Kashaev, F. Luo and G. Vartanov, 'A TQFT of Turaev-Viro type on shaped triangulations', Ann. Henri Poincare 17 (2016) 1109-1143, DOI 10.1007/s00023-015-0427-8, arXiv:1210.8393, https://arxiv.org/abs/1210.8393