Entropy on modules over the group ring of a sofic group

We partially generalize Peters' formula on modules over the group ring ${\mathbb F} \Gamma$ for a given finite field ${\mathbb F}$ and a sofic group $\Gamma$. It is also discussed that how the values of entropy are related to the zero divisor conjecture.


Introduction
Let Γ be a countable discrete group. An algebraic action of Γ is the induced (continuous) action Γ M from some (left) ZΓ-module M. Here M is the Pontryagin dual of the discrete abelian group M. One of main concerns is about the interplay between the dynamical information of Γ M and the algebraic information of M. Weiss considered the case that M is a torsion abelian group [18]. For general ZΓmodule M, Peters showed that the topological entropy of Γ M coincides with the algebraic entropy of M when Γ is amenable [14]. This general result does not only establish the beautiful connection but also provides the great flexibility to study the entropy of algebraic actions [5,13].
Towards more general group actions, Bowen and Kerr-Li developed an entropy theory when Γ can be approximated by finite groups [2,10]. The groups admitting such approximations are the so-called sofic groups, which in particular includes amenable groups and residually groups [8,19].
On the other hand, given a unital ring R and a sofic group Γ, in [12, Definition 3.1], started with a length function L on left R-modules ([12, Definition 2.1]), Li and the author introduced a mean length function on RΓ-modules M which are locally L-finite in the sense that each finitely generated R-submodule of M has finite L-length. In particular, for R = Z and L(·) = log | · |, the corresponding mean length function can be treated as an algebraic version of entropy, which we may call sofic algebraic entropy. Then a natural question to ask is whether one can generalize Peters' formula to the setting of sofic group actions.
In this paper, we give a partial generalization of Peters' formula to the case of sofic group actions. The main inputs of the proof are an approximation formula of topological entropy given in [7,Lemma 4.8] and some techniques appeared in [12].
Given a finite field F any FΓ-module can be treated as a ZΓ-module. Fix a sofic approximation Σ for Γ and a free ultrafilter ω over N. For any left FΓ-modules M 1 ⊆ M 2 , we have the algebraic entropy of M 1 relative to M 2 , denoted by h Σ,ω (M 1 |M 2 ) (Definition 3.1). For any FΓ-module M, the sofic algebraic entropy h Σ,ω (M) of M is then defined as h Σ,ω (M|M). We remark that the main motivation to introduce this relative version of invariants and technical consideration of ultrafilters is that one can establish a modified addition formula under this approach [12,Theorem 1.1].
Correspondingly, we have the relative version of topological entropy in dynamical systems. Let Γ act on compact metrizable spaces X and Y continuously. For any factor map from X to Y , we have the topological entropy h Σ,ω (Y |X) of Γ Y relative to Γ X [12, Definition 9.3]. When X = Y and the factor map is the identity map, the relative topological entropy coincide with the original definition of sofic topological entropy, which we denote by h Σ,ω (X). Similar approaches also independently appears in the works of other experts. Hayes gave a formula for the relative version of sofic measure entropy in terms of a given compact model in [9]. A similar notion for Rokhlin entropy, called outer Rokhlin entropy, was developed by Seward in [16]. Theorem 1.1. Let Γ be a sofic group and F be a finite field. Then for any finitely generated FΓ-module M, we have This paper is organized as follows. We recall some background knowledge in Section 2. The algebraic entropy is introduced in Section 3 and some basic properties are discussed there. In particular, we show that the values of algebraic entropies is related to the zero divisor conjecture. We prove the main result in Section 4.
Throughout this paper, Γ will be a countable discrete group. For any set S, we denote by F(S) the set of all nonempty finite subsets of S. All modules are assumed to be left modules unless specified. For any d ∈ N, we write [d] for the set {1, · · · , d} and Sym(d) for the permutation group of [d]. Acknowledgements. We thank the helpful comments from Yongle Jiang and Hanfeng Li. We similarly have the product if one of f and g sits in R Γ .

Preliminaries
For any countable ZΓ-module M, treated as a discrete abelian group, its Pontryagin dual M consisting of all continuous group homomorphisms M → R/Z, coincides with Hom Z (M, R/Z). By Pontryagin duality, M is a compact metrizable space under compact-open topology. Furthermore, the ZΓ-module structure of M naturally induces an adjoint action Γ M by continuous automorphisms. To be precise, for all χ ∈ M, u ∈ M, and s ∈ Γ. Conversely, by Pontryagin duality, each action of Γ on a compact metrizable abelian group arise this way and thus we call such a dynamical system an algebraic action [15].

2.2.
Amenable and sofic groups. The group Γ is called amenable if for any K ∈ F(Γ) and any δ > 0 there is an The group Γ is called a sofic group if it admits a sofic approximation.
Any amenable group is sofic since one can use a sequence of asymptoticallyinvariant subsets of the amenable group, i.e. Følner sequence, to construct a sofic approximation. Residually finite groups are also sofic since a sequence of exhausting finite-index subgroups naturally induces a sofic approximation in which each approximating map is actually a group homomorphism. We refer the reader to [3,4] for more information on sofic groups.
Throughout the rest of this paper, Γ will be a countable sofic group, Σ will be a sofic approximation for Γ, and ω will be a free ultrafilter over N.

Sofic topological entropy.
For any continuous pseudometric ρ X on a compact space X and any Let Γ act continuously on a compact metrizable space X.
Definition 2.1. Let ρ X be a continuous pseudometric on X. For any d ∈ N, define continuous pseudometrics ρ X,2 and ρ X,∞ on X d by Let σ be a map from Γ to Sym(d), F ∈ F(Γ), and δ > 0. The set of approximately equivariant maps Map(ρ, F, δ, σ) is defined to be the set of all maps ϕ : A continuous pseudometric ρ X on X is called dynamically generating if ρ X can distinguish all distinct elements of X under the action of Γ, i.e. for all distinct x, x ′ ∈ X, there exists some s ∈ Γ such that ρ X (sx, sx ′ ) > 0. Now let Γ act on another compact metrizable space Y and π : X → Y be a factor map. Denote by Map(π, ρ, F, δ, σ) the set of all π •ϕ for ϕ ranging in Map(ρ, F, δ, σ).
Definition 2.2. Let ρ X and ρ Y be two dynamically generating continuous pseudometrics of X and Y respectively. Let F ∈ F(Γ) and δ, ε > 0. Define The sofic topological entropy of Γ X is defined as h Σ,ω (X) := h Σ,ω (X|X) for π : X → X being the identity map.

Algebraic entropy
When we specialize the length function as log | · | on Z-mdoules, the corresponding sofic mean length function in [12, Definition 3.1] brings us the notion for the algebraic analogue of sofic topological entropy. For reader's convenience, we recall the complete definition.
For any (abelian) group G, denote by F (G) the collection of finitely generated subgroups of G. Let M be a ZΓ-module and A , B ∈ F (M). For F ∈ F(Γ) and a map σ : Γ → Sym(d) for some d ∈ N, denote by M (B, F, σ) the abelian subgroup  We define the algebraic entropy of M 1 relative to M 2 as The sofic algebraic entropy of M 1 is then defined as Apply [12, Theorem 1.1] to the length function log | · | on Z-modules, we have the modified addition formula for sofic algebraic entropy.
By the similar argument as in [12, Section 3], we have the following proposition, which collects basic properties of the sofic algebraic entropy. (1) If N 1 ⊆ N 2 are two torsion abelian groups, then h Σ,ω (ZΓ⊗ Z N 1 |ZΓ⊗ N N 2 ) = log |N 1 |; Proposition 3.5. Let R be a finite abelian group. Assume for any nonzero f of RΓ, we have h Σ (RΓ/RΓf ) = 0. Then RΓ contains no nontrivial zero divisors.
Definition 3.6. When Γ is amenable, for any ZΓ-module M such that M is torsion as an abelian group, the algebraic entropy of M is defined as From [12, Theorem 5.1], we know the sofic algebraic entropy is a generalization of algebraic entropy. By Bartholdi's characterization of nonamenability [1, Theorem 1.1], for any field F there exists an injective FΓ-module homomorphism ϕ : (FΓ) n → (FΓ) n−1 for some n ∈ N. In particular, when F is finite, one has h Σ,ω (im ϕ|(FΓ) n−1 ) < h Σ,ω (im ϕ). Combining Theorem 3.7, we have

Peters' formula
In this section, we prove Theorem 1.1, which follows from Proposition 4.1 and Proposition 4.3.
Let F be a finite field. For a finitely generated free FΓ-module (FΓ) 1×n , if we identify Ÿ (FΓ) 1×n with (F Γ ) 1×n = (F 1×n ) Γ naturally via the pairing which are uniquely determined by the linear maps σ s : Following the similar argument as in the proof of [12, Lemma 7.4], we know ker σ(f ) is isomorphic to the dual vector space of ( where P W is the map projecting onto the W coordinates. It follows that By soficity, |W c |/d approaches to zero as d gets large, it follows that Now for any finitely generated FΓ-module M, write M as M = (FΓ) n / ∪ j∈N N j for some increasing sequence of finitely generated submodules {N j } j∈N of (FΓ) n . By [7, Corollary 3.6] and [12, Proposition 3.4(1)], we have Following the similar argument as in the proof of [12, Lemma 10.4], we also have an inequality for topological entropy.
Lemma 4.2. Let X be a compact metrizable abelian group carrying an action of Γ by continuous automorphisms. Then for any closed Γ-invariant subgroup Y of X, the induced quotient map π : X → X/Y satisfies h Σ,ω (X) ≥ h Σ,ω (X/Y |X) + h Σ,ω (Y ).