The Rogers-Ramanujan identities: Lie theoretic interpretation and proof

The two Rogers-Ramanujan identities, which equate certain infinite products with infinite sums, are among the most intriguing of the classical formal power series identitites. It has been found by Lepowsky and Milne that the product side of each of them differs by a certain factor from the principally specialized character of a certain standard module for the Euclidean Kac-Moody Lie algebra A(1) ((1)). On the other hand, the present authors have introduced an infinite-dimensional Heisenberg subalgebra [unk] of A(1) ((1)) which leads to a construction of A(1) ((1)) in terms of differential operators given by the homogeneous components of an "exponential generating function." In the present announcement, we use [unk] to formulate a natural "abstract Rogers-Ramanujan identity" for an arbitrary standard A(1) ((1))-module which turns out to coincide with the classical identities in the cases of the two corresponding standard modules. The abstract identity equates two expressions, one a product and the other a sum, for the principally specialized character of the space Omega of highest weight vectors or "vacuum states" for [unk] in the module. The construction of A(1) ((1)) leads to a concrete realization of Omega as the span of certain spaces of symmetric polynomials occurring as the homogeneous components of exponential generating functions. The summands in the Rogers-Ramanujan identities turn out to "count" the dimensions of these spaces. For general standard A(1) ((1))-modules, we conjecture that the abstract identities agree with generalizations of the Rogers-Ramanujan identities due to Gordon, Andrews, and Bressoud.