A big theme in my research is looking at internal algebras in the category of all subshifts and block-maps between them. In this post, we study subshifts in a not-very-well-known variety and prove a little theorem.

Here, a *subshift* is a shift-invariant closed subset of where is a finite alphabet (discrete set) and is some discrete group (which stays fixed during the discussion). It is a dynamical system under the shift-action of . The* category of subshifts* has subshifts as objects, and shift-commuting continuous functions between them as morphisms.

Concretely an internal algebra in this category just means that the set of elements of the algebra is a subshift, the operations are given by shift-commuting continuous function, and the algebra axioms hold in the usual set-theoretic sense.

A *Jónsson-Tarski algebra* is an algebra with a binary operation and unary operations , with identities , .

The axioms essentially say that if is a Jónsson-Tarski algebra, then is an isomorphism from to . In particular, a Jónsson-Tarski algebra is either empty, a singleton, or infinite. Conversely, in the category Set, in classical mathematics, any infinite set has the structure of a Jónsson-Tarski algebra.

It is a theme in symbolic dynamics to try to understand various types of finiteness in the category of subshifts (e.g. surjunctivity, amenability and soficity are finiteness properties of groups that have links to cellular automata). Thus, it is of interest to try to understand whether a subshift can be infinite in the Jónsson-Tarski sense, i.e. whether the category of subshifts has internal Jónsson-Tarski algebras.

Another reason why Jónsson-Tarski algebras are interesting from a symbolic dynamical point of view is that the automorphism group of a Jónsson-Tarski algebraic object contains a copy of Thompson’s . It is known that Thompson’s embeds in the automorphism group of a one-dimensional SFT, so it is an interesting question whether one can even have a “natural” copy of it.

We show that there are no Jónsson-Tarski algebraic subshifts when the spatially acting group has *subexponential growth*, i.e. when the size of balls grows at subexponential rate. This covers e.g. virtually nilpotent groups and the Grigorchuk group.

Theorem. Let be a finitely-generated group with subexponential growth, and let be a Jónsson-Tarski algebraic subshift. Then has at most one point.

Proof. The map is a *topological conjugacy* between the -subshift (under the diagonal action; we can see it as a subshift over alphabet ) and , with inverse . These maps are shift-commuting and continuous, thus they are *block maps*.

Let us recall what this means. Fix a shift-convention, say the action of is defined by the formula . Then is a *block map* if there exists such that is determined by the contents of , where is the ball of radius with respect to some finite generating set, by some uniform local rule. More precisely, there exists such that where .

Now if is a radius for our operation , then for , determines from the contents the contents of .

Let , and observe that in particular since is a conjugacy, it is surjective. Thus, for a subshift writing , we must have .

In particular . But (this is how many patterns there are in the full shift ), so , from which we solve and get that the group has exponential growth, as soon as for any radius . Square.

The proof does not work for general amenable groups, let alone a general group. I don’t know if there is a smarter version of the proof that uses Følner sequences in place of balls somehow. On the other hand I don’t have an example of a Jónsson Tarski algebraic subshift on any group.