arXiv++ Combinatorics

A root lattice is a finite rank $\mathbb{Z}$-lattice generated by elements $x$ satisfying $x\cdot x=2$. It is well-known that the root lattices have an $ADE$ classification and they play a prominent role in the study of even unimodular lattices. The notion of root lattices can be naturally generalized to lattices over the ring of integers $\mathcal{O}$ of a totally real field $K$. In the case where $K$ is a real quadratic field, such lattices were classified by Mimura in 1979, and this classification has been used by several researchers in the study of even unimodular $\mathcal{O}$-lattices. In this paper, we extend this classification to arbitrary totally real fields. The irreducible root lattices of rank greater than $2$ are indexed by finite Coxeter systems. All the rank $2$ root lattices are realized as orders in quadratic extensions of $K$ and their classification requires some technique from algebraic number theory.

We extend the recently developed theory of Roehrig and Zwegers on indefinite theta functions to prove certain power series are modular forms. As a consequence, we obtain several power series identities for powers of the generating function of triangular numbers. We also show that these identities arise as specializations of denominator identities of affine Lie superalgebras.

In 1994, Kac and Wakimoto found the denominator identity for classical affine Lie superalgebras, generalizing that for affine Lie algebras. As an application, they obtained power series identities for some powers of $\triangle(q)$, where $\triangle(q)$ is the generating function of triangular numbers. In this article, we give a different proof of one of their identities. The main step is to prove that a certain indefinite theta function involving spherical polynomials is a modular form. We use the technique recently developed by Roehrig and Zwegers.