A Garden of Eden theorem for principal algebraic actions

Abstract

Let $Γ$ be a countable abelian group and $f \in \Z[Γ]$, where $\Z[Γ]$ denotes the integral group ring of $Γ$. Consider the Pontryagin dual $X_f$ of the cyclic $\Z[Γ]$-module $\Z[Γ]/\Z[Γ] f$ and suppose that the natural action of $Γ$ on $X_f$ is expansive and that $X_f$ is connected. We prove that if $τ\colon X_f \to X_f$ is a $Γ$-equivariant continuous map, then $τ$ is surjective if and only if the restriction of $τ$ to each $Γ$-homoclinicity class is injective. This is an analogue of the classical Garden of Eden theorem of Moore and Myhill for cellular automata with finite alphabet over $Γ$.