Solving the tetrahedron equation by Teichmüller TQFT

We propose an approach to construct three-dimensional lattice models using line defects in state integral models on shaped triangulations of 3-manifolds. The Boltzmann weights for these models satisfy a variant of the tetrahedron equation, which implies integrability under suitable assumptions on R-matrices and transfer matrices. As an explicit example, we present a solution produced by Teichmüller TQFT.

💡 Research Summary

The paper introduces a novel framework for constructing three‑dimensional integrable lattice models by exploiting line defects in state‑integral models defined on shaped triangulations of three‑manifolds. The central algebraic object is a pair of equations called the bicolored tetrahedron equations (BTEs), which constitute a colored variant of Zamolodchikov’s tetrahedron equation. In the BTE formulation each vertex of a tetrahedron is assigned a binary colour (black or white) and two distinct R‑matrices, one for each colour, act on the three‑fold tensor product space associated with the edges meeting at the vertex. The BTEs express the equality of two different decompositions of a rhombic dodecahedron into four cubes, mirroring the graphical interpretation of interaction‑round‑a‑cube (IRC) models.

The authors prove that if a family of R‑matrices satisfies the BTEs, then the associated layer transfer matrices obey a commutation relation (T(r),\dot T(r’)=\dot T(r’),T(r)). Moreover, they establish a sufficient condition for full integrability: the existence of a spectral pair ((t,t’)) for which (\dot T(t,t’)) is diagonalizable with non‑degenerate eigenvalues guarantees that all transfer matrices commute pairwise. This yields an infinite set of commuting conserved quantities, the hallmark of quantum integrability.

To obtain explicit solutions, the paper turns to the Teichmüller topological quantum field theory (TQFT). In this theory each ideal hyperbolic tetrahedron is equipped with a shape structure given by three positive dihedral angles (\alpha,\beta,\gamma) satisfying (\alpha+\beta+\gamma=\pi). A shaped pseudo‑3‑manifold is built by gluing such tetrahedra while preserving the orientation of edges. Internal edges are called balanced when the sum of dihedral angles around them equals (2\pi). The authors introduce line defects by allowing certain edges to be unbalanced; the total angle around a defect deviates from (2\pi), thereby producing a non‑topological contribution that depends on the size of the lattice.

The key geometric move is the shaped 2‑3 Pachner move applied to a bipyramid consisting of two tetrahedra. By performing a sequence of such moves, the authors construct two distinct shaped triangulations that correspond to the left‑ and right‑hand sides of the BTEs. The quantum dilogarithm appearing in the Teichmüller state‑integral provides the matrix elements of the R‑operators. The authors verify that these R‑operators satisfy the BTEs exactly (Proposition 3.1), and consequently the associated transfer matrices fulfill the commutation relations required for integrability.

An important conceptual distinction from earlier constructions based on Turaev–Viro TQFT is highlighted: the presence of line defects prevents the partition function from being a pure topological invariant; instead it acquires dependence on the lattice geometry, which is essential for encoding a genuine statistical‑mechanical model rather than a topological field theory.

In summary, the paper (i) formulates the bicolored tetrahedron equations as a natural colored extension of the tetrahedron equation, (ii) demonstrates that solutions to these equations guarantee integrability via commuting transfer matrices under a non‑degeneracy condition, and (iii) provides an explicit family of solutions derived from Teichmüller TQFT by employing shaped triangulations and 2‑3 Pachner moves with line defects. This work bridges three‑dimensional integrable lattice models with quantum Teichmüller theory and opens a pathway toward constructing richer 3‑dimensional quantum integrable systems.