The logarithmic generalised Kummer locus and its tropicalisation

Abstract

We construct a separated logarithmic compactification of a divisor in the moduli of polarised irreducible holomorphic symplectic (IHS) varieties of generalised Kummer type in dimension at least four. This compactification carries a universal family of logarithmic IHS varieties, and its tropicalisation carries a universal family of tropical generalised Kummer varieties. The compactification is built from a more general construction of explicit, projective, and logarithmically smooth models for type~II and type~III degenerations of generalised Kummer varieties of arbitrary dimension and over base logarithmic schemes of any dimension. Over a base of any logarithmic rank, these degenerations come with a tropicalisation map to a family of integral affine manifolds with singularities, and with boundary in the type II case. This tropical family is constructed through a tropical generalised Kummer construction. Our approach uses logarithmic Hilbert schemes to extend the conventional generalised Kummer construction to families of logarithmic abelian varieties. We describe fibres of our degenerations, and thus every point in the boundary of our compactification. Proper models correspond to polyhedral structures on the associated tropical generalised Kummer variety, with the resulting polyhedral complex serving as the dual intersection complex; each irreducible component is constructed by applying the generalised Kummer construction to a product of logarithmic group compactifications of semi-abelian varieties.