We introduce codes over the ring

We relate self-dual codes over this ring to quaternionic unimodular lattices and to self-dual codes over

via a gray map. We study a connection between the complete weight enumerators of codes over the quaternionic ring
2m and Jacobi forms over the half-space of quaternions. This motivates us to construct an algebra homomorphism from a certain invariant polynomial ring, where the complete weight enumerators belong, to the ring of Jacobi forms over the quaternions. Higher genus modular forms over the quaternions are also constructed using joint weight enumerators of codes.
This research was partially supported by KOSEF R01-2003-00011596-0Some of the results of this paper were presented at the IEEE Information Theory Workshop, April, 2003