Niemeier lattices, smooth 4-manifolds and instantons

Abstract

We show that the set of even positive definite lattices that arise from smooth, simply-connected 4-manifolds bounded by a fixed homology 3-sphere can depend on more than the ranks of the lattices. We provide two homology 3-spheres with distinct sets of such lattices, each containing a distinct nonempty subset of the rank 24 Niemeier lattices.

17 pages, 8 figures. Comments welcome!