Kac-Moody Algebra

Kac-Moody algebras are infinite-dimensional Lie algebras that generalize the finite-dimensional simple Lie algebras classified by Élie Cartan and Wilhelm Killing. Introduced independently by Victor Kac and Robert Moody in 1967, they are defined by the same Serre relations as simple Lie algebras but with a generalized Cartan matrix that may be singular or have non-positive entries. This relaxation produces algebras of infinite dimension that nevertheless retain much of the structural regularity of their finite-dimensional counterparts.

Kac-Moody algebras come in three families: finite-dimensional simple Lie algebras (when the Cartan matrix is positive definite), affine Kac-Moody algebras (when it is positive semi-definite), and indefinite Kac-Moody algebras (all other cases). The affine algebras are the most studied; they appear in conformal field theory, string theory, and the theory of integrable systems. Like simple Lie algebras, Kac-Moody algebras admit a Chevalley basis and give rise to Kac-Moody groups over arbitrary fields.

The Kac-Moody construction is often treated as a technical generalization, but it reveals something deeper: the Serre relations are not merely a description of finite symmetries but a universal grammar that generates infinite-dimensional symmetries when its constraints are loosened. The finite case is not the general case; it is the degenerate case.