Sofic mean length

DOI10.1016/J.AIM.2019.01.042MaRDI QIDQ2319889zbMATH OpenOpenAlexWikidataFDO

Publication date 20 August 2019

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1510.07655

addition formula length function mean dimension stably direct finite von Neumann dimension von Neumann-Lück rank

General module theory in associative algebras (16D10) Units, groups of units (associative rings and algebras) (16U60) (C^*)-algebras and (W^*)-algebras in relation to group representations (22D25) Topological dynamics (37B99) Other homology theories in algebraic topology (55N35)

Abstract: Given a length function L on the R-modules of a unital ring R, for each sofic group

G a m m a

we define a mean length for every locally L-finite

R G a m m a

-module relative to a bigger

R G a m m a

-module. We establish an addition formula for the mean length. We give two applications. The first one shows that for any unital left Noetherian ring R,

R G a m m a

is stably direct finite. The second one shows that for any

Z G a m m a

-module M, the mean topological dimension of the induced

G a m m a

-action on the Pontryagin dual of M coincides with the von Neumann-L"{u}ck rank of M.

Review text

Let \(R\) be a ring admitting a length function on \(R\)-modules, that is, a function \(L\) from left \(R\)-modules \(M\) to the extended non-negative reals such that \(L(R)=1\) and if \(N\) is a submodule of \(M\) then \(L(M)=L(N)+L(M/N)\). For a group \(\Gamma\), a mean length function \(mL\) on \(R\Gamma\)-modules is length function which is invariant under the action of \(\Gamma\), that is, \(mL(R\Gamma\otimes_R N)=L(N)\) for all \(R\)-modules \(N\). A group \(\Gamma\) is sofic if for every finite subset \(F\) of \( \Gamma\) and every \(\varepsilon 0\), there exist \(n\in\mathbb N\) and a map \(\phi\colon F\to\mathrm{Sym}(n)\) whose only fixed point is \(e\), such that for all \(g,\, h\in F\) such that \(gh\in F\), the Hamming distance \(d(\phi(gh),\,\phi(g)\phi (h))\varepsilon\). This property is a weak finiteness condition on \(\Gamma\) that generalises both amenability and residual finiteness. This deep and significant paper concerns the construction and algebraic properties of a mean length function on the \(R\Gamma\)-modules for unital rings \(R\) and sofic groups \(\Gamma\). For example, the authors show that if \(R\) is Noetherian and \(\Gamma\) is sofic, them \(R\Gamma\) is stably finite, that is, for all \(n,\ M_n\) is directly finite. They show also that if \(M\) is a \(\mathbb Z\Gamma\) module, the mean topological dimension of the induced \(\Gamma\)-action on the Pontryagin dual of \(M\) coincides with the von Neumann-Lück rank of \(M\).

Recommendations

Cites work

Cited in

(23)

This page was built for publication: Sofic mean length

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2319889)