Dynamical correspondences of $L^2$-Betti numbers

We investigate dynamical analogues of the $L^2$-Betti numbers for modules over integral group ring of a discrete sofic group. In particular, we show that the $L^2$-Betti numbers exactly measure the failure of addition formula for dynamical invariants.


Introduction
There are a couple of connections established among invariants in dynamical systems, group rings, and L 2 -invariants. These connections are obtained via a type of dynamical system called algebraic actions. Given a discrete group Γ, each ZΓmodule M can be treated as an action of Γ on the discrete abelian group M by group automorphisms. The Pontryagin dual M of M naturally inherits an action of Γ by continuous automorphisms from the module structure of M. Conversely, by Pontryagin duality, each action of Γ on a compact Hausdorff abelian group arise this way and thus we call such a dynamical system an "algebraic action" [36].
A surprising fact is that one can recover certain algebraic information about M by taking advantage of purely dynamical information about Γ M. However, the dynamical information itself does not use the algebraic structure of M. For example, Li and Thom showed that, in the setting of amenable group actions, the entropy of Γ M coincides with the L 2 -torsion of M (see [29]). One ingredient of establishing this connection is Peters' algebraic characterization of entropy [33]. This correspondence has interesting applications to the vanishing results on L 2 -torsion and Euler characteristic [7,29]. In the same spirit, Li and the author showed that the mean topological dimension of Γ M coincides with the von Neumann-Lück rank of M (see [26]). Establishing this correspondence relies on the study of the mean rank as an algebraic invariant of ZΓ-modules and Lück's result on dimensionflatness for amenable groups [32,Theorem 6.73]. Based on this connection, the mean dimension of algebraic actions for amenable groups is well understood [26].
Mean topological dimension is a newly-introduced dynamical invariant by Gromov [14], systematically studied by Lindenstrauss and Weiss [30], and remains to be further explored [8]. As a dynamical analogue of the covering dimension, it is closely related to the topological entropy, and takes a crucial role in embedding problem of dynamical systems [15][16][17][18][19][20]30].
On the other hand, using Lück's extended von Neumann dimension for any module over the group von Neumann algebra LΓ of a discrete group Γ (see [32,Chapter 6]), for any ZΓ-module M we call the von Neumann-Lück dimension for LΓ ⊗ ZΓ M as the von Neumann-Lück rank vrk(M) of M. Von Neumann-Lück dimension is a length function on LΓ-modules [32, Theorem 6.7] and von Neumann-Lück rank is a length function on ZΓ-modules when Γ is amenable [ Mean rank is also a length function on ZΓ-modules of an amenable group Γ (see [26,Section 3]). As a dynamical analogue of the rank of abelian groups, it serves as a bridge connecting mean dimension and von Neumann-Lück rank [26, Theorem 1.1].
Towards more general groups, Bowen and Kerr-Li developed an entropy theory based on the idea of approximating the dynamical data by external finite models when the acting group can be approximated by finite groups [2,24]. The groups admitting this approximation are the so-called sofic groups, which include residually finite groups and amenable groups [13,39]. The extended notion of entropy extends the classic notion but no longer decreases when passing to a factor system. Similarly mean dimension has been extended to the case of sofic group actions [25]. To deal with this nonamenable phenomenon, Li and the author introduced the relative sofic invariants, established an alternative addition formula, and used them to relate mean dimension with von Neumann-Lück rank for sofic groups [27]. Similar approaches also independently appears in the works of other experts. Hayes gave a formula for this invariant in terms of a given compact model in [22]. A similar notion for Rokhlin entropy, called outer Rokhlin entropy, was developed by Seward in [37]. Using the microstate technique, Hayes proved that von Neumann-Lück rank of a finitely presented ZΓ-module M coincides with sofic mean dimension of Γ M under certain conditions [21].
Via a projective resolution of any ZΓ-module M, we can treat von Neumann-Lück rank of M as the 0-th L 2 -Betti number β (2) 0 (M) of M (see Proposition 3.5). From [27,Theorem 1.3], we know the sofic mean dimension mdim Σ ( M) of Γ M correspondences to β (2) 0 (M) when Γ is a countable sofic group and M is countable. Here Σ is a fixed sofic approximation sequence for Γ. For the higher L 2 -Betti numbers of M, Hanfeng Li asked the following question.
In this paper, motivated by the above question, we mainly study dynamical analogues of the L 2 -Betti numbers β (2) j (C * ) of a chain complex C * of ZΓ-modules: In the spirit of Elek [11] (also for the notational convenience), we introduce the j-th mean rank mrk j (C * ) of C * and the j-th mean dimension mdim j (C * ) of C * := Hom Z (C * , R/Z) for any sofic group Γ (see Definition 3.1). These definitions use the relative sofic invariants as opposed to Elek's approach where he considered the case that Γ is amenable and therefore there is no nonamenable phenomenon appeared.
Let Γ X and Γ Y be two algebraic actions, X and Y be metrizable spaces, and π : X → Y be a Γ-equivariant continuous homomorphism. We say π satisfies Juzvinskiȋ formula for mean dimension if mdim Σ (X) = mdim Σ (ker π) + mdim Σ (im π). The main result of this paper is as follows.
j (C * ) = mrk j (C * ). If furthermore C j and C j−1 are countable, we have mrk j (C * ) = mdim j ( C * ); If furthermore Γ is sofic and C j and C j−1 are countable, we have that β From Theorem 1.2, the notion of j-th mean rank provides an equivalent algebraic definition of L 2 -Betti numbers from module theory. Secondly, the L 2 -Betti numbers exactly measure the failure of the additivity of dynamical invariants. In [11], Elek introduced an analogue of the L 2 -Betti numbers for amenable linear subshifts. It was showed that Juzvinskiȋ formula for entropy can fail when the group Γ has nonzero Euler characteristic [10]. Hayes proved that Juzvinskiȋ formula for entropy fails when Γ has nonzero L 2 -torsion [23]. Gaboriau and Seward established some inequalities relating Juzvinskiȋ formula for entropy with L 2 -Betti numbers [12]. Bowen and Gutman established Juzvinskiȋ formula for the f -invariant of finitely generated free group actions [3].
To respond to Question 1.1, we introduce the j-th mean dimension mdim j ( M) of Γ M and j-th mean rank mrk j (M) of M (Definition 3.3 and Definition 3.1). As the first application, the following corollary may shed some light on Question 1.1.

. Γ satisfies Lück's dimension-flatness over Z if and only if Γ satisfies Juzvinskiȋ formula for von Neumann-Lück rank. If Γ is sofic, then Γ satisfies Lück's dimension-flatness over Z if and only if Γ satisfies Juzvinskiȋ formula for mean rank and mean dimension.
We remark that the first statement of the above corollary can also be proved using standard properties of Tor functor and additivity of von Neumann-Lück dimension. In the light of results on the failure of Juzvinskiȋ formula [

. A countable group is amenable if and only if it satisfies Juzvinskiȋ formula for von Neumann-Lück rank.
This paper is organized as follows. We recall some background knowledge in Section 2. In Section 3 we introduce the j-th mean rank, j-th mean dimension, and establish some basic properties. We prove the main results and show some applications 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 are grateful to Lewis Bowen, Ben Hayes, Fabian Henneke, Yonatan Gutman, Huichi Huang, Yang Liu, Yongle Jiang, Wolfgang Lück, Jianchao Wu, and Xiaolei Wu for helpful discussions and comments. The author is supported by Max Planck Institute for Mathematics in Bonn. for all x ∈ ℓ 2 (Γ) and s ∈ Γ. Here we treat Γ as a subset of CΓ. The (left) group von Neumann algebra of Γ, denoted by LΓ, consists of all bounded linear operators

Preliminaries
Denote by δ e Γ the unit vector of ℓ 2 (Γ) being 1 at the identity element e Γ of Γ, and 0 everywhere else. The canonical trace on LΓ is the linear functional tr LΓ : LΓ → C given by tr LΓ (T ) = T δ e Γ , δ e Γ . For each n ∈ N, the extension of tr LΓ to M n (LΓ) sending (T j,k ) 1≤j,k≤n to n j=1 tr LΓ (T j,j ) will still be denoted by tr LΓ . For any finitely generated projective LΓ-module P, one has P ∼ = (LΓ) 1×n P for some n ∈ N and some P ∈ M n (LΓ) with P 2 = P . The von Neumann dimension of P is defined as dim
A sequence of maps Σ = {σ i : Γ → Sym(d i )} i∈N is called a sofic approximation for Γ if it satisfies: ( lim i→∞ d i = +∞. 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 [5,6] for more information on sofic groups.
Throughout the rest of this paper, Γ will be a countable sofic group, and Σ = {σ i : Γ → Sym(d i )} i∈N will be a sofic approximation for Γ. Let Γ act continuously on a compact metrizable space X.
Definition 2.3. Let ρ be a compatible metric on X. For any d ∈ N, there is a compatible metric on X d defined 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 ϕ : Now let Γ act on another compact metrizable space Y and π : X → Y be a surjective Γ-equivariant continuous map. Denote by Map(π, ρ, F, δ, σ) the set of all π • ϕ for ϕ ranging in Map(ρ, F, δ, σ). Note that Map(π, ρ, F, δ, σ) is a closed subset for π : X → X being the identity map.  A , B, F, σ We define the mean rank of M 1 relative to M 2 as The sofic mean rank of M 1 is then defined as The following proposition collects basic properties of the sofic mean rank [27, Section 3].
3. L 2 -Betti number, j-th mean rank, and j-th mean dimension Let C * be a chain complex of ZΓ-modules: Applying the covariant tensor functor LΓ ⊗ ZΓ ·, we get a chain complex LΓ ⊗ ZΓ C * of LΓ-modules: applying the contravariant Pontryagin dual functor Hom Z (·, R/Z) := ·, we get a chain complex C * of algebraic actions such that the maps { ∂ j } j are Γ-equivariant: Since R/Z is an injective Z-module, when im ∂ j+1 = ker ∂ j , we have ker ' ∂ j+1 = im ∂ j .
If vrk(C j ) < ∞ for all j ≥ 1 and C j = 0 as j is large enough, we define the Euler characteristic of C * as When vrk(C j ) < ∞ for some j ≥ 0 and Γ is sofic, we define the j-th mean rank of If furthermore C j and C j−1 are countable, we define the j-th mean topological dimension of C * as

Remark 3.2.
(1) When C * is a chain complex of CΓ-modules, since CΓ is flat as a ZΓ-module, we have β Let M be a ZΓ-module. A projective resolution of M is an exact sequence of ZΓ-modules · · · which is a chain complex of ZΓ-modules. We similarly have the notion of free resolution. Apply the notion of free module, we know that any ZΓ-module admits a free resolution [35,Proposition 10.32]. The j-th L 2 -Betti number β (2) j (Γ) of Γ is defined as the j-th L 2 -Betti number of the trivial ZΓ-module Z.
If vrk(C j ) < ∞ for all j ≥ 1 and C j = 0 as j is large enough, we define the Euler characteristic of M as χ(M) := χ(C * ).
When vrk(C j ) < ∞ for some j ≥ 0 and Γ is sofic, we define the j-th mean rank of M as mrk j (M) := mrk j (C * ).
If furthermore M is countable, we can choose C * such that each C j for j ≥ 0 is countable and define the j-th mean topological dimension of M as mdim j ( M) := mdim j ( C * ).    Proof. From the exactness, we have So by definition, we have From the exactness, we have ker ∂ 1 = im ∂ 0 ∼ = M. So when M is countable, we have mdim 0 ( M) = mdim Σ (ker ∂ 1 ) = mdim Σ ( M).
This example is essentially the same as 0 → ker ε → ZΓ ε → Z → 0, where ε is the argumentation map. See [9, Chapter IV, Theorem 2.12] for a characterization of when ker ε is a projective ZΓ-module.

Main Results
Since the function dim LΓ (·) is additive, we have (2) For any subgroup H of a discrete abelian group G, denote by H ⊥ the elements of " G which vanish on H. By Pontryagin duality, we have H ⊥ ∼ = ÷ G/H. Thus By definition, we have mdim . Thus by Theorem 2.7, the equalities follow from (1).
When C * is exact at C j , we have coker ∂ j+1 = im ∂ j . Thus the first statement follows from (1). The second statement follows from Pontryagin duality and the first statement.
The follow proposition is an immediate consequence of Theorem 1.2, which can also be proved directly.
Proposition 4.1. Let C * be a chain complex of ZΓ-modules: 0 → C k → · · · → C 0 → 0 for some k ∈ N. If vrk(C j ) < ∞ for all j ≥ 1, then In particular, when C * is exact, we have The following lemma reduces the Juzvinskiȋ formula for mean rank to the finitely generated case.
Then by Theorem 2.7 and Proposition 2.8, we have Suppose that Γ satisfies Juzvinskiȋ formula for mean rank. Let M 2 be a finitely generated free ZΓ-module and M 1 be finitely generated ZΓ-submodule of M 2 . Consider the quotient map M 2 → M 2 /M 1 . Then the conclusion follows immediately by Theorem 2.7. The converse direction also follows immediately by Theorem 2.7.