Invariant sets and nilpotency of endomorphisms of algebraic sofic shifts

Abstract

Let $G$ be a group and let $V$ be an algebraic variety over an algebraically closed field $K$. Let $A$ denote the set of $K$-points of $V$. We introduce algebraic sofic subshifts $\Sigma \subset A^G$ and study endomorphisms $\tau :\Sigma \to \Sigma$. We generalize several results for dynamical invariant sets and nilpotency of $\tau$ that are well known for finite alphabet cellular automata. Under mild assumptions, we prove that $\tau$ is nilpotent if and only if its limit set, i.e., the intersection of the images of its iterates, is a singleton. If moreover $G$ is infinite, finitely generated and $\Sigma$ is topologically mixing, we show that $\tau$ is nilpotent if and only if its limit set consists of periodic configurations and has a finite set of alphabet values.

arXiv commentIn this new version, we have corrected some typos and added a few minor remarks

References in corpus (15)

• Symbolic dynamics for three dimensional flows with positive topological entropy
• Structural aspects of tilings
• A notion of effectiveness for subshifts on finitely generated groups
• On the Garden of Eden theorem for endomorphisms of symbolic algebraic varieties
• Shadowing for families of endomorphisms of generalized group shifts
• Effective difference elimination and Nullstellensatz
• On Nilpotency and Asymptotic Nilpotency of Cellular Automata
• On linear shifts of finite type and their endomorphisms
• On sofic groups, Kaplansky's conjectures, and endomorphisms of pro-algebraic groups
• On algebraic cellular automata
• Finiteness properties of affine difference algebraic groups
• Stable finiteness of twisted group rings and noisy linear cellular automata
• LEF-groups and endomorphisms of symbolic varieties
• On linear non-uniform cellular automata: duality and dynamics
• First-order model theory and Kaplansky's stable finiteness conjecture

Cited by in corpus (2)

• Shadowing for families of endomorphisms of generalized group shifts
• LEF-groups and endomorphisms of symbolic varieties