The addition theorem for locally monotileable monoid actions (Q2161109)

Let \(S\) be a cancellative right amenable semigroup, \(A\) an abelian group, and \(\alpha:\, S \curvearrowright A\) a left action by endomorphisms. In [\textit{D. Dikranjan} et al., J. Algebra 556, 467--546 (2020; Zbl 1453.20074)], inspired by the results and definitions of \textit{T. Ceccherini-Silberstein} et al. [J. Anal. Math. 124, 59--81 (2014; Zbl 1308.43002)], the algebraic entropy \(h_{\mathrm{alg}}\) was extended to such actions \(\alpha\) as follows. For \(X\in \mathcal{P}_{\mathrm{fin}(A)}\) and \(F \in \mathcal{P}_{\mathrm{fin}}(S)\), let \(T_{F}(\alpha,X)=\sum_{s \in F} \alpha(s)(X)\) be the \(\alpha\)-trajectory of \(X\) with respect to \(F\). The algebraic entropy of \(\alpha\) with respect to \(X \in \mathcal{P}_{\mathrm{fin}}(A)\) is \[ H(\alpha,X)=\lim_{i \in I} \frac{\ell(T_{F_{i}}(\alpha,X))}{|F_{i}|} \] where \((F_{i})_{i\in I}\) is a right Følner net of \(S\) and \(\ell(X)\) is the natural logarithm of the cardinality of \(X\) (it is standard to show that such a limit exists). The algebraic entropy of \(\alpha\) is \(h_{\mathrm{alg}}(\alpha) = \sup \{H(\alpha, X) : X \in \mathcal{P}_{\mathrm{fin}}(A) \}\). A fundamental property of \(h_{\mathrm{alg}}\), established in [\textit{D. Dikranjan} and \textit{A. Giordano Bruno}, Adv. Math. 298, 612--653 (2016; Zbl 1368.37015)], is the so-called Addition Theorem (or Yuzvinski's addition formula): if \(A\) is an abelian group, \(\phi\) an endomorphism of \(A\), and \(B\) a \(\phi\)-invariant subgroup of \(A\), then \[ h_{\mathrm{alg}}(\phi)=h_{\mathrm{alg}}(\overline{\phi})+h_{\mathrm{alg}}(\phi \upharpoonright_{B}), \] where \(\overline{\phi} : A/B \rightarrow A/B\) is the endomorphism induced by \(\phi\). The paper under review investigates the validity of the Addition Theorem in a more general situation (a detailed discussion of which would require a great deal of notation and terminology). A first important result is Theorem 1.15: Consider three countable groups \(G\), \(K\) and \(H\). Suppose that \(0 \rightarrow H \rightarrow G \rightarrow K \rightarrow 0 \) is a short exact sequence. If \(K\) is locally monotileable and \(H\) is \(\mathrm{Inn}(G)\)-monotileable, then \(G\) is locally monotileable. Using this result, the authors prove one of the main findings of this article, that is Theorem 1.16: Every countable virtually hypercentral group of length \(< \omega^{2}\) is locally monotileable. The authors also provide a nice example of a locally monotileable solvable (actually, metabelian) group that is neither virtually nilpotent nor residually finite (see the proof of Theorem 1.18): Given a finitely generated subgroup \(K\) of \(\mathrm{Aut}(\mathbb{Q})\), then \(\mathbb{Q} \rtimes K\) is locally monotileable.