On the complexity of the ideal of absolute null sets

Abstract

Answering a question of Banakh and Lyaskovska, we prove that for an arbitrary countable infinite amenable group $G$ the ideal of sets having $\mu$-measure zero for every Banach measure $\mu$ on $G$ is an $F_{\sigma \delta}$ subset of $\{0,1\}^G$