Covering a Polish group by translates of a nowhere dense set (Q929982)

In this note, the authors deal with the cardinal \(\text{cov}_G\) for a non-locally compact Polish group \(G\). This cardinal is defined as the least cardinality of a set \(X \subset G\) such that \(XM = G\) for some closed nowhere dense set \(M \subset G\) and is independent of the order of the factors. It is proved that for any non-locally compact Polish group \(G\) with a left invariant complete metric, \(\text{cov}_G = \text{cov}(M)\) where \(\text{cov}(M)\) is the standard covering number of a category, that is, the minimal cardinality of a cover of the real line \(\mathbb R\) by meagre sets. As a consequence, the result of \textit{A. W. Miller} and \textit{J. Steprāns} [Ann. Pure Appl. Logic 140, No. 1--3, 52--59 (2006; Zbl 1099.03037)] is extended to all separable infinite-dimensional Banach spaces -- it was proved there that, for \(G = \mathbb R^n\) or \(\mathbb R^n / \mathbb Z^n\), it is consistent that \(\text{cov}_G> \text{cov}(M)\).