Abstract:The construction of auxiliary matrices for the six-vertex model at a root of unity is investigated from a quantum group theoretic point of view. Employing the concept of intertwiners associated with the quantum loop algebra $U_q(\tilde{sl}_2)$ at $q^N=1$ a three parameter family of auxiliary matrices is constructed. The elements of this family satisfy a functional relation with the transfer matrix allowing one to solve the eigenvalue problem of the model and to derive the Bethe ansatz equations. This functional relation is obtained from the decomposition of a tensor product of evaluation representations and involves auxiliary matrices with different parameters. Because of this dependence on additional parameters the auxiliary matrices break in general the finite symmetries of the six-vertex model, such as spin-reversal or spin conservation. More importantly, they also lift the extra degeneracies of the transfer matrix due to the loop symmetry present at rational coupling values. The extra parameters in the auxiliary matrices are shown to be directly related to the elements in the enlarged center of the quantum loop algebra $U_q(\tilde{sl}_2)$ at $q^N=1$. This connection provides a geometric interpretation of the enhanced symmetry of the six-vertex model at rational coupling. The parameters labelling the auxiliary matrices can be interpreted as coordinates on a three-dimensional complex hypersurface which remains invariant under the action of an infinite-dimensional group of analytic transformations, called the quantum coadjoint action.
What problem does this paper attempt to address?
This paper attempts to solve the symmetry and degeneracy problems of the six - vertex model at the root of unity \(q^N = 1\). Specifically, the author constructs auxiliary matrices by means of the quantum group theory, hoping to be able to explain and utilize the extra symmetry at these special points and solve the eigenvalue problem of the model.
### Main problems and solutions
1. **Degeneracy phenomenon**:
- At the root of unity \(q^N = 1\), the transfer matrix of the six - vertex model has additional degeneracy phenomena. These degeneracy phenomena originate from loop symmetry, making some energy levels have multiple degeneracy.
- The coordinate - space Bethe ansatz method is no longer applicable in this case because it assumes spin conservation, while in fact these degenerate eigenstates can contain linear combinations with a total spin difference of \(N\).
2. **The role of auxiliary matrices**:
- Auxiliary matrices are a key tool for solving such problems. By introducing auxiliary matrices that depend on additional parameters, finite symmetries (such as spin reversal or spin conservation) can be broken, and the additional degeneracy caused by loop symmetry can be lifted.
- These auxiliary matrices satisfy a certain functional relationship with the transfer matrix, thus allowing the eigenvalue problem to be solved and the Bethe ansatz equation to be derived.
3. **Geometric interpretation**:
- The paper also provides a geometric interpretation, interpreting the parameters of the auxiliary matrices as coordinates on a complex hypersurface \(\text{Spec}Z\subset\mathbb{C}^4\). This hypersurface remains invariant under the action of an infinite - dimensional analytic transformation group \(G\), called the quantum coadjoint action.
- This geometric structure reveals the infinite - dimensional non - Abelian symmetry of the six - vertex model at the root of unity.
### Formula summary
- **Functional relationship between transfer matrix and auxiliary matrix**:
\[
Q_p(z)T(z)=b(z)^M Q_{p'}(zq^2)+a(z)^M Q_{p''}(zq^{- 2})
\]
where \(p', p''\) are points of other irreducible representations determined by a certain exact sequence.
- **Definition of hypersurface**:
\[
\text{Spec}Z=\left\{p=(x,y,z,c)\mid xy+(-1)^{N + 1}(z + z^{-1})=F_N(c)\right\}
\]
where \(F_N(c)\) is a polynomial, and its specific form depends on the parity of \(N\).
Through these methods, the paper not only solves the degeneracy problem of the six - vertex model at the root of unity, but also provides new geometric and algebraic perspectives to understand this phenomenon.