Non-Abelian hierarchies of compatible maps, associated integrable difference systems and Yang-Baxter maps

Pavlos Kassotakis
DOI: https://doi.org/10.1088/1361-6544/acc305
2024-04-14
Abstract:We present two non-equivalent families of hierarchies of non-Abelian compatible maps and we provide their Lax pair formulation. These maps are associated with families of hierarchies of non-Abelian Yang-Baxter maps, which we provide explicitly. In addition, these hierarchies correspond to integrable difference systems with variables defined on edges of an elementary cell of the $\mathbb{Z}^2$ graph, that in turn lead to hierarchies of difference systems with variables defined on vertices of the same cell. In that respect we obtain the non-Abelian lattice-modified Gel'fand-Dikii hierarchy, together with the explicit form of a non-Abelian hierarchy that we refer to as the lattice-NQC (or lattice-$(Q3)_0$) Gel'fand-Dikii hierarchy.
Exactly Solvable and Integrable Systems
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore and construct the hierarchical structure of non - Abelian compatible mappings and provide the Lax pair representations of these mappings. Specifically, the paper introduces two non - equivalent hierarchical structures of non - Abelian compatible mappings, denoted as \(K^{(i)}\), \(i = 0,1\), and proves their multi - dimensional compatibility. In addition, these mappings are associated with the hierarchical structure of non - Abelian Yang - Baxter mappings, and the paper provides the specific forms of these mappings. ### Main Contributions 1. **Hierarchical Structures of Non - Abelian Compatible Mappings**: The paper proposes two hierarchical structures of non - Abelian compatible mappings \(K^{(0)}\) and \(K^{(1)}\) and proves their multi - dimensional compatibility. 2. **Lax Pair Representations**: These mappings are obtained by deforming known Lax matrices, thus providing Lax pair representations. 3. **Non - Abelian Yang - Baxter Mappings**: The paper also provides the hierarchical structure of non - Abelian Yang - Baxter mappings related to these compatible mappings. 4. **Integral - Difference Systems**: These hierarchical structures correspond to the integral - difference systems defined on the edges of the basic units of the \(Z^2\) graph and further lead to the hierarchical structures of the integral - difference systems defined on the vertices of the same units. 5. **Specific Examples**: The paper gives the specific forms of the non - Abelian lattice - modified Gel'fand - Dikii hierarchical structure and the non - Abelian lattice - NQC (or lattice - \((Q3)_0\)) Gel'fand - Dikii hierarchical structure. ### Key Concepts - **3D - Compatible Mappings**: Mappings that satisfy specific three - dimensional compatibility conditions. - **Non - Abelian Yang - Baxter Mappings**: Mappings that satisfy the Yang - Baxter equation and are of great significance in non - Abelian algebras. - **Lax Pairs**: Matrix pairs used to describe integral systems, and the compatibility conditions of the system can be derived through the Lax equation. - **Integral - Difference Systems**: Integral systems defined on discrete grids, usually used to describe discrete dynamic processes. ### Formula Examples - **3D - Compatibility Conditions**: \[ f(\bar{x}, \bar{y}) = f(\hat{x}, \hat{z}), \quad g(\bar{x}, \bar{y}) = f(\tilde{y}, \tilde{z}), \quad g(\hat{x}, \hat{z}) = g(\tilde{y}, \tilde{z}) \] - **Lax Matrix**: \[ L(N,1)(x; \lambda) = I_N + \nabla^{(1)}X + \lambda \Delta^{(1)}X \] where \(I_N\) is the \(N\)-order identity matrix, \(\nabla^{(1)}\) and \(\Delta^{(1)}\) are the lower - triangular and upper - triangular nilpotent matrices respectively, and \(X\) is a diagonal matrix whose diagonal elements are \(x(i)\). ### Conclusion By introducing and analyzing the hierarchical structures of non - Abelian compatible mappings, the paper extends the existing theory of integral - difference systems, especially in the application in non - Abelian algebras. These results provide new tools and methods for understanding complex discrete dynamic systems.