Computational homological methods for integrable field theories
📄 arXiv:2607.12142 · 📥 PDF · 2026-07-13 · hep-th
Authors: Marco Benini [arXiv · scholar] , Ryan A. Cullinan [arXiv · scholar] , Alexander Schenkel [arXiv · scholar] , Benoit Vicedo [arXiv · scholar]
🕰 Orloj analysis
Tento článek rozvíjí explicitní výpočetní nástroje pro homologický přístup ke konstrukci 2D integrabilních polních teorií z 4D semi-holomorfní Chern-Simons teorie. Autoři demonstrují, že jejich metoda úspěšně reprodukuje standardní akci a Laxovu konekci pro hlavní chirální model s Wess-Zuminovým členem.
💡 Práce představuje matematicky rigorózní a novou metodologii pro odvození známých integrabilních polních teorií, což potvrzuje její hodnotu jako elegantního nástroje pro teoretickou fyziku.
✓ modest_claims, limit_reductions, mathematical_rigor
📄 Abstract
We develop explicit computational tools for the recent homological approach to the construction of $2$-dimensional integrable field theories on $Σ$ from $4$-dimensional semi-holomorphic Chern-Simons theory on $Σ\times C$. In this framework, the operation of integrating out the spectral curve $C$ is realized by homotopy transfer of a cyclic $L_\infty$-algebra associated with the $4$-dimensional theory with prescribed singularities and boundary conditions. We construct explicit strong deformation retracts for divisor-twisted Dolbeault complexes on $C=\mathbb{C}P^1$ and use them to make the transferred $L_\infty$-structure computationally accessible. As an application, we study the choice of meromorphic $1$-form corresponding to the principal chiral model with a Wess-Zumino term. We compute the transferred Maurer-Cartan action and the associated Lax connection, showing that the former resums to the standard principal chiral model action with a Wess-Zumino term and that the latter reproduces the usual Lax connection.