Cantor dynamics of renormalizable groups (Q2076080)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7476324
Language Label Description Also known as
default for all languages
No label defined
    English
    Cantor dynamics of renormalizable groups
    scientific article; zbMATH DE number 7476324

      Statements

      Cantor dynamics of renormalizable groups (English)
      0 references
      0 references
      0 references
      0 references
      18 February 2022
      0 references
      A \emph{renormalizable} group is a group \(\Gamma\) admitting a proper self-embedding \(\phi\colon\Gamma\hookrightarrow\Gamma\) whose image has finite index. If \(K\coloneqq\bigcap_{n\ge0}\phi^n(\Gamma)\) is a finite subgroup, what can one deduce about \(\Gamma\)? Among finitely generated groups, the main known examples are nilpotent groups with dilatations, so it might be believed that they are the only ones; this appears as a question in [\textit{V. Nekrashevych} and \textit{G. Pete}, Groups Geom. Dyn. 5, No. 1, 139--167 (2011; Zbl 1236.20031)]. The present article answers partially this question, as follows. From the renormalization \(\phi\), there is a natural action of \(\Gamma\) on a locally finite rooted tree with vertex set the cosets \(\bigsqcup_{n\ge0}\Gamma/\phi^n(\Gamma)\) and edges given by inclusion. Let \(\widehat\Gamma\) denote the closure of \(\Gamma\) in the automorphism group of this tree (with the usual topology on functions). There is naturally an induced renormalization \(\widehat\phi\colon\widehat\Gamma\to\widehat\Gamma\), and (Theorem 1.3) if \(\Gamma\) is finitely generated then the image of \(\widehat\phi\) is open. In analogy with \(K\), introduce the limit \(\mathscr D=\bigcap_{n\ge0}\widehat\phi^n(\widehat\Gamma)\). The partial answer may then be stated (Theorems 1.1 and 1.5): assume \(\Gamma\) is finitely generated. If \(\mathscr D\) is finite, then \(\Gamma/\text{Core}(K)\) is virtually nilpotent; and is actually nilpotent if \(\mathscr D\) is trivial. In particular, if \(K\) and \(\mathscr D\) are both finite then \(\Gamma\) is virtually nilpotent. The paper contains, in its last section, an extensive list of open problems on renormalizations.
      0 references
      non-co-Hopfian groups
      0 references
      minimal Cantor actions
      0 references
      odometer actions
      0 references
      renormalization
      0 references
      scale-invariant groups
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references