LEF-groups and endomorphisms of symbolic varieties
arXiv:2112.00603
Abstract
Let be a group and let be an algebraic variety over an algebraically closed field of characteristic zero. Denote the set of rational points of . We investigate invertible algebraic cellular automata whose local defining map is induced by some morphism of algebraic varieties where is a finite memory. When is locally embeddable into finite groups (LEF), then we show that the inverses of reversible algebraic cellular automata are automatically algebraic cellular automata. Generalizations are also obtained for finite product Hopfian pointed object alphabets in concrete categories.