Continuum analogues of contragredient Lie algebras. (Lie algebras with a Cartan operator and nonlinear dynamical systems) (Q582369): Difference between revisions

This paper presents an axiomatic formulation of continuum analogues of contragredient Lie algebras and gives examples of them. Let E be a vector space over a field \(\Phi\) \((={\mathbb{R}}\) or \({\mathbb{C}})\), K and S be two bilinear mappings on \(E\times E\). The ``local part'' \(\hat{\mathfrak g}={\mathfrak g}_{-1}\oplus {\mathfrak g}_ 0\oplus {\mathfrak g}_{+1}\) is defined as follows. Each \({\mathfrak g}_ i\) is isomorphic to E as a vector space, \({\mathfrak g}_ i=\{X_ i(\phi)\); \(\phi\in E\}\). Suppose the bracket relations \[ [X_ 0(\phi),X_ o(\psi)]=0,\quad [X_ 0(\phi),X_{\pm 1}(\psi)=\pm X_{\pm 1}(K(\phi,\psi)),\quad [X_{+1}(\phi),X_{- 1}(\psi)]=X_ 0(S(\phi,\psi)) \] hold. Let \({\mathfrak g}'\) be the \({\mathbb{Z}}\)-graded free Lie algebra generated by the local part \(\hat{\mathfrak g}\), and J be the largest homogeneous ideal having a trivial intersection with \({\mathfrak g}_ 0\). The quotient algebra \({\mathfrak g}={\mathfrak g}'/J\) is called a ``continuum contragredient Lie algebra'' with the local part \(\hat{\mathfrak g}\). In this paper it is assumed that E is a commutative algebra over \(\Phi\) and K,S are given by the \(\Phi\)-linear mappings \(E\to E:\) \[ K(\phi,\psi)=(K\phi)\cdot \psi,\quad S(\phi,\psi)=S(\phi \cdot \psi). \] Examples include the Poisson bracket algebra, continuum limit of certain Kac-Moody Lie algebras, Lie algebras of vector fields on a manifold. The nonlinear dynamical systems associated via a zero curvature type or Lax type representation, with the continuum contragredient Lie algebras are also considered. These include continuous analogues of the Toda lattices. The authors conclude this paper with some perspectives.