An invariant for finitely presented C G-modules

\(\mathbb{C} G\)-module maps bounded intertwining maps category of representations finite-rank free \(\mathbb{C} G\)-modules finitely presented \(\mathbb{C} G\)-module intertwining module maps von Neumann dimension

Mathematics Subject Classification ID

Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Group rings (16S34) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) (C^*)-algebras and (W^*)-algebras in relation to group representations (22D25) Means on groups, semigroups, etc.; amenable groups (43A07) Representations of groups, semigroups, etc. (aspects of abstract harmonic analysis) (43A65)

Review text

For a group \(G\), let \(\text{Map}(G)\) be the category whose objects are \(\mathbb{C} G\)-module maps between finite-rank free \(\mathbb{C} G\)-modules and whose morphisms are pairs of intertwining module maps. A functor from \(\text{Map}(G)\) to the category of representations of \(G\) on Hilbert space and bounded intertwining maps is constructed such that the unitary \(G\)-space \({\mathcal H}(\Delta,G)\) associated to an object \(\Delta\) in \(\text{Map}(G)\) depends only on the finitely presented \(\mathbb{C} G\)-module \(\text{coker }\Delta\). The von Neumann dimension of \({\mathcal H}(\Delta,G)\) gives a well-behaved numerical invariant for finitely presented modules (zero whenever \(G\) is amenable, non-zero and readily calculable in certain other situations). In case \(G\) is finitely generated and \(\text{coker }\Delta = \mathbb{C}\), the representation of \(G\) on \({\mathcal H}(\Delta, G)\) has an interpretation in terms of actions of \(G\) on directed graphs.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: An invariant for finitely presented \(\mathbb{C} G\)-modules

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