Characters and \(K\)-theory of discrete groups (Q1319202): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:56, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Characters and \(K\)-theory of discrete groups |
scientific article |
Statements
Characters and \(K\)-theory of discrete groups (English)
0 references
12 April 1994
0 references
A well-known result due to \textit{M. Atiyah} [Characters and cohomology of finite groups, Publ. Math., Inst. Hautes Étud. Sci. 9, 247-288 (1961; Zbl 0107.023)] asserts that if \(G\) is a finite group, then the complex \(K\)-theory \(K^*(BG)\) of the classifying space \(BG\) is isomorphic to the completion \(R(G)^ \wedge\) of the complex representation ring \(R(G)\) at its augmentation ideal. The paper under review shows that a similar result holds for certain infinite discrete groups. More specifically, for groups \(\Gamma\) of finite virtual cohomological dimension acting with finite isotropy on a contractible complex \(X\) such that the orbit space \(X/\Gamma\) is compact, the author considers a modified version \(R_{\mathcal F} (\Gamma)\) of \(R(\Gamma)\) using families \({\mathcal F}\) of subgroups of \(\Gamma\). Then, he defines a ``completed map'' \(K^*(B\Gamma)\to R_{\mathcal F} (\Gamma)^ \wedge\) which coincides with Atiyah's isomorphism when \(\Gamma= G\), a finite group, and \({\mathcal F}= \{G\}\). This map is studied in detail on the \(p\)-local level for a prime \(p\). More precisely, using \(K\)-theory \(K_ p(\;)\) with coefficients in the \(p\)- adic integers \(\mathbb{Z}_ p\) and the field \(\mathbb{Q}_ p\) of \(p\)-adic numbers, the author obtains the main result of the paper asserting that there is an epimorphism, a surjection of rings, \[ K^*_ p (B\Gamma)\otimes \mathbb{Q}_ p\to R_{{\mathcal F}(p)} (\Gamma) \otimes \mathbb{Q}_ p, \] where \({\mathcal F}(p)\) is the family of all finite \(p\)- subgroups of \(\Gamma\). Moreover, the author describes explicitely the kernel of this epimorphism.
0 references
complex \(K\)-theory of the classifying space
0 references
completion of the complex representation ring
0 references
groups of finite virtual cohomological dimension acting with finite isotropy on a contractible complex
0 references
\(K\)-theory with coefficients in the \(p\)-adic integers
0 references
\(p\)-adic numbers
0 references