Torsion in boundary coinvariants and \(K\)-theory for affine buildings (Q2487346)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Torsion in boundary coinvariants and \(K\)-theory for affine buildings
scientific article

    Statements

    Torsion in boundary coinvariants and \(K\)-theory for affine buildings (English)
    0 references
    0 references
    22 August 2005
    0 references
    The author deals with coinvariants for group actions on the boundary of an affine building and studies the connection with the \(K\)-theory of the boundary algebra \({\mathcal A}_\Gamma\). He shows that if \((G,I,N,S)\) is an affine topological Tits system of rank \(n+1\) with associated Tits complex \(\Delta\) and boundary \(\Omega\) and \(\Gamma\) is a torsion-free (cocompact) lattice in \(G\), then the module of \(\Gamma\)-coinvariants \(\Omega_\Gamma=H_0(\Gamma;C(\Omega,Z))\) is a finitely generated abelian group such that (1) the class [\textbf{1}] of the identity function \textbf{1} in \(C(\Omega,Z)\) has finite order in \(\Omega_\Gamma\); (2) the order of [\textbf{1}] in \(\Omega_\Gamma\) satisfies ord([\textbf{1}])\(<q_s\cdot\text{ covol}(\Gamma)\) where \(s\in I\) is a special type and \(q_s+1\) is the number of chambers in \(\Delta\) which contain a given simplex of dimension \(n-1\) and type \(I-\{s\}\); (3) ord([\textbf{1}])\(<\text{ covol}(\Gamma)\) if \(G\) is not one of the exceptional types \(\widetilde G_2\), \(\widetilde F_4\) or \(\widetilde{E}_8\). Improved estimates are obtained in the rank 2 case with some exact computational results for buildings of type \(\widetilde A_2\); compare the author [K-Theory 22, 251--269 (2001; Zbl 0980.46052)] and the author and \textit{T. Steger} [Can. J. Math. 53, 809--833 (2001; Zbl 0993.46039)]. As an application of this result to algebraic groups the author obtains that the class [\textbf{1}] has torsion in \(\Omega_\Gamma\) if \(\Gamma\) is a lattice in the group \(G\) of \(k\)-rational points of an absolutely almost simple, simply connected linear algebraic \(k\)-group, where \(k\) is a non-archimedian local field of characteristic zero. A similar consequence applies to the \(K_0\) group of the boundary crossed product \(C^*\)-algebra \({\mathcal A}_\Gamma=C(\Omega)\Gamma\) in that \([{\mathbf 1}]_{K_0}\) has finite order in \(K_0({\mathcal A}_\Gamma)\).
    0 references
    affine building
    0 references
    \(C^*\)-algebra
    0 references
    Furstenberg boundary
    0 references
    \(K\)-theory
    0 references
    0 references

    Identifiers