The Space of Local Fields as a Module over the Ring of Local Integrals of Motion

Atsushi Nakayashiki
2004-03-25
Abstract: The chiral space of local fields in Sine-Gordon or the SU(2)-invariant Thirring model is studied as a module over the commutative algebra D of local integrals of motion. Using the recent construction of form factors by means of quantum affine algebra at root of unity due to Feigin et al. we construct a D-free resolution of the space of local fields. In general the cohomologies of the de Rham type complex associated with the space of local fields are determined and shown to be the irreducible representations of the symplectic group Sp(2\infty). Babelon-Bernard-Smirnov's description of the space of local fields automatically incorporated in this framework.
Quantum Algebra,Mathematical Physics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the structure of the space of local fields as a module over the ring \(D\) of local conserved integrals in the Sine - Gordon model or the SU(2) - invariant Thirring model. Specifically, the author aims to completely determine this structure and construct a \(D\)-free resolution. The following is a more detailed explanation: ### Research Background and Problem Description 1. **Quantum Affine Algebras and Representation Theory** - The author uses the latest form - factor construction method of the quantum affine algebra \(U_{\sqrt{-1}}(\widehat{sl_2})\) proposed by Feigin et al. - The spin \(s\) of local conserved integrals, which is odd, is identified as \(b_s\) and becomes a central element when \(q = \sqrt{-1}\). 2. **Module Structure of the Space of Local Fields** - The space of local fields \(A_{2m + i}\) is defined as: \[ A_{2m + i}=V_{\sqrt{-1}}(\Lambda_i)_{2m + i}/(x_0^-V_{\sqrt{-1}}(\Lambda_i)_{2m + i + 2}+(x_0^-)^{(2)}V_{\sqrt{-1}}(\Lambda_i)_{2m + i + 4}) \] - where \((x_0^-)^{(2)}=\frac{(x_0^-)^2}{q + q^{-1}}\) is the graded power of \(x_0^-\). 3. **Main Objectives** - Construct a \(D\)-free resolution of \(A_{2m + i}\). - Determine the cohomology groups of the de Rham - type complex associated with the space of local fields and prove that these cohomology groups are irreducible representations of the symplectic group \(Sp(2\infty)\). ### Solutions and Results - **Construction of Free Resolutions** - Use the Fock space of free fermions to describe each term of the free resolution. - Prove that \(A_{2m}\) and \(A_{2m + 1}\) are \(D\)-free modules respectively. - **Calculation of Cohomology Groups** - Determine the highest cohomology group of the de Rham - type complex and prove that its basis gives the minimal generating set of \(A_{2m + i}\) as a \(D\)-module. - Prove that all cohomology groups are irreducible representations of the symplectic group \(Sp(2\infty)\). ### Conclusions By constructing the \(D\)-free resolution of \(A_{2m + i}\) and analyzing the related cohomology groups, the author not only reveals the algebraic structure of these local field spaces but also shows their universality in different integrable systems. This result provides a framework for further comparison of different integrable systems. In summary, the core problem of this paper is to understand and describe the algebraic structure of the local field spaces in the Sine - Gordon model and the SU(2) - invariant Thirring model, especially the structure as a module over the ring of local conserved integrals.