English

On sofic groups, Kaplansky's conjectures, and endomorphisms of pro-algebraic groups

Dynamical Systems 2022-02-01 v3 Algebraic Geometry Group Theory

Abstract

Let GG be a group. Let XX be a connected algebraic group over an algebraically closed field KK. Denote by A=X(K)A=X(K) the set of KK-points of XX. We study a class of endomorphisms of pro-algebraic groups, namely algebraic group cellular automata over (G,X,K)(G,X,K). They are cellular automata τ ⁣:AGAG\tau \colon A^G \to A^G whose local defining map is induced by a homomorphism of algebraic groups XMXX^M \to X where MGM\subset G is a finite memory set of τ\tau. Our first result is that when GG is sofic, such an algebraic group cellular automaton τ\tau is invertible whenever it is injective and char(K)=0\text{char}(K)=0. As an application, we prove that if GG is sofic and the group XX is commutative then the group ring R[G]R[G], where R=End(X)R=\text{End}(X) is the endomorphism ring of XX, is stably finite. When GG is amenable, we show that an algebraic group cellular automaton τ\tau is surjective if and only if it satisfies a weak form of pre-injectivity called ()(\bullet)-pre-injectivity. This yields an analogue of the classical Moore-Myhill Garden of Eden theorem. We also introduce the near ring R(K,G)R(K,G) which is K[Xg:gG]K[X_g: g \in G] as an additive group but the multiplication is induced by the group law of GG. The near ring R(K,G)R(K,G) contains naturally the group ring K[G]K[G] and we extend Kaplansky's conjectures to this new setting. Among other results, we prove that when GG is an orderable group, then all one-sided invertible elements of R(K,G)R(K,G) are trivial, i.e., of the form aXg+baX_g+b for some gGg\in G, aKa\in K^*, bKb\in K. This allows us to show that when GG is locally residually finite and orderable (e.g. Zd\mathbb{Z}^d or a free group), and char(K)=0\text{char}(K)=0, all injective algebraic cellular automata τ ⁣:CGCG\tau \colon \mathbb{C}^G \to \mathbb{C}^G are of the form τ(x)(h)=ax(g1h)+b\tau(x)(h)= a x(g^{-1}h) +b for all xCG,hGx\in \mathbb{C}^G, h \in G for some gGg\in G, aCa\in \mathbb{C}^*, bCb\in \mathbb{C}.

Keywords

Cite

@article{arxiv.1804.06631,
  title  = {On sofic groups, Kaplansky's conjectures, and endomorphisms of pro-algebraic groups},
  author = {Xuan Kien Phung},
  journal= {arXiv preprint arXiv:1804.06631},
  year   = {2022}
}

Comments

Revised version

R2 v1 2026-06-23T01:27:23.493Z