Abstract:We cast the classical Yang-Baxter equation (CYBE) in a variational context for the first time, by relating it to the theory of Lagrangian multiforms, a framework designed to capture integrability in a variational fashion. This provides a significant connection between Lagrangian multiforms and the CYBE, one of the most fundamental concepts of integrable systems. This is achieved by introducing a generating Lagrangian multiform which depends on a skew-symmetric classical $r$-matrix with spectral parameters. The multiform Euler-Lagrange equations produce a generating Lax equation which yields a generating zero curvature equation. The CYBE plays a role at three levels: 1) It ensures the commutativity of the flows of the generating Lax equation; 2) It ensures that the generating zero curvature equation holds; 3) It implies the closure relation for the generating Lagrangian multiform. The specification of an integrable hierarchy is achieved by fixing certain data: a finite set $S\in CP^1$, a Lie algebra $\mathfrak{g}$, a $\mathfrak{g}$-valued rational function with poles in $S$ and an $r$-matrix. We show how our framework is able to generate a large class of ultralocal integrable hierarchies by providing several known and new examples pertaining to the rational or trigonometric class. These include the Ablowitz-Kaup-Newell-Segur hierarchy, the sine-Gordon (sG) hierarchy and various hierachies related to Zakharov-Mikhailov type models which contain the Faddeev-Reshetikhin (FR) model and recently introduced deformed sigma/Gross-Neveu models as particular cases. The versatility of our method is illustrated by showing how to couple integrable hierarchies together to create new examples of integrable field theories and their hierarchies. We provide two examples: the coupling of the nonlinear Schrödinger system to the FR model and the coupling of sG with the anisotropic FR model.
Exactly Solvable and Integrable Systems,High Energy Physics - Theory,Mathematical Physics
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to combine the classical Yang - Baxter equation (CYBE) with the Lagrangian multiform theory to provide a variational framework for capturing the properties of integrable systems. Specifically, the authors achieve this goal by introducing a generating Lagrangian multiform that depends on the skew - symmetric classical r - matrix and the spectral parameter. This method can not only generate a series of known ultralocal integrable hierarchies, but also generate new integrable hierarchies, and shows how to create new integrable field theories and their hierarchies by coupling different integrable hierarchies.
### Main Contributions
1. **CYBE in the Variational Framework**: For the first time, the role of CYBE in the variational framework is explored, that is, CYBE plays a role at three levels:
- Ensure the commutativity of the flows generating the Lax equations;
- Ensure that the generated zero - curvature equation holds;
- Imply the closure relation of the generating Lagrangian multiform.
2. **Generating Lagrangian Multiform**: A generating Lagrangian multiform is introduced, which can generate the generating Lax equations and the generating zero - curvature equations. These equations further generate specific integrable hierarchies.
3. **Specific Applications**: By fixing certain data (such as a finite set \( S\subset \mathbb{CP}^1\), a Lie algebra \( \mathfrak{g}\), a rational function with values in \( \mathfrak{g}\) and the r - matrix), a wide class of ultralocal integrable hierarchies are generated. These hierarchies include, but are not limited to, the Ablowitz - Kaup - Newell - Segur (AKNS) hierarchy, the sine - Gordon hierarchy and the hierarchies related to the Zakharov - Mikhailov - type models.
4. **Coupling Integrable Hierarchies**: It is shown how to create new integrable field theories and their hierarchies by coupling different integrable hierarchies. For example, the coupling of the nonlinear Schrödinger system with the Faddeev - Reshetikhin (FR) model, and the coupling of the sine - Gordon with the anisotropic FR model.
### Mathematical Expressions
- **CYBE**:
\[
[r_{12}(\lambda, \mu), r_{13}(\lambda, \nu)]+[r_{12}(\lambda, \mu), r_{23}(\mu, \nu)] - [r_{13}(\lambda, \nu), r_{32}(\nu, \mu)] = 0
\]
- **Generating Lax Equation**:
\[
D_\mu Q_1(\lambda)=\left[\text{Tr}_2\left(\iota_\lambda\iota_\mu r_{12}(\lambda, \mu)Q_2(\mu)\right), Q_1(\lambda)\right]
\]
- **Generating Zero - Curvature Equation**:
\[
\partial_{t_j}V_i(\lambda)-\partial_{t_i}V_j(\lambda)+[V_i(\lambda), V_j(\lambda)] = 0
\]
### Conclusion
By combining CYBE with the Lagrangian multiform theory, this paper provides a powerful tool for studying and generating various integrable hierarchies. This not only deepens the understanding of CYBE in the variational framework, but also provides new methods for constructing new integrable systems.