×

The Farrell-Jones conjecture for \(S\)-arithmetic groups. (English) Zbl 1365.18010

The main purpose of the paper under review is the proof of the Farrell-Jones Isomorphism Conjecture, with finite wreath products, to the groups \(\mathrm{GL}_n(\mathbb{Q})\) and \(\mathrm{GL}_n(F(t))\), where \(F\) is a finite filed. In particular, it is proved that the conjecture holds for \(S\)-arithmetic groups. The main tool is a technical result result in [A. Bartels et al., Publ. Math., Inst. Hautes Étud. Sci. 119, 97–125 (2014; Zbl 1300.19001)]. To describe the result, we start with a group \(G\) that acts properly, and isometrically on a CAT(0) space \(X\), of covering dimension \(\leq N\). Also, there is a collection \(\mathcal{W}\) of open subsets of \(X\), of dimension \(\leq N\), which is \(G\)-invariant and the \(G\) action sends each element to itself or to a disjoint element of \(\mathcal{W}\). The last property that should be satisfied is that the group \(G\) acts cocompactly away from \(\beta\)-neighborhoods of elements of \(\mathcal{W}\), for each \(\beta > 0\). Under these conditions, the flow space \(FS(X)\) admits long \(\mathcal{F}\)-covers at infinity for the family of subgroups that consists of the virtually cyclic subgroups of \(G\) and the isotropy groups of the elements of \(\mathcal{W}\). That means that the \(K\)-theoretic Farrell-Jones Conjecture, with finite wreath products, holds for the family \(\mathcal{F}\) and the \(L\)-theoretic Farrell-Jones Conjecture holds for the family \(\mathcal{F}_2\), consisting of all subgroups that contains a subgroup in \(\mathcal{F}\) of index 2.
The author gives the construction for the space and the collection of open subsets in the above result in the cases of \(\mathrm{GL}_n(\mathbb{Z})\) and \(\mathrm{GL}_n(Z[T^{-1}])\), where \(Z = F[t]\), \(F\) a finite field and \(T\) a finite set of primes in \(Z\). In the first case, he starts with a free \(\mathbb{Z}\)-module of rank \(n\). Let \(\tilde{X}(V)\) be the space of inner products on \(\mathbb{R}{\otimes}_{\mathbb{Z}}V\) and \(X(V)\) is the quotient of \(\tilde{X}(V)\) under the group action of the multiplicative group \(\mathbb{R}^{> 0}\). In the case of \(\mathrm{GL}_n(Z[T^{-1}])\) the space \(X\) is the building \(X(V)\) accosisted to a valuation of the fraction field \(Q\) of \(Z\) and \(V\) is free \(F[t]\)-module. The group action comes from the fact that \(\text{aut}_{F[t]}(V) = \mathrm{GL}_n(F[t])\), which acts naturally on the building. The main technical point is the definition of the logarithmic volume in the above cases that is needed in the proof of the last part in the above statement. In the second case, the proof is completed in the reduction of the class of subgroups. The first reduction is that the \(K\)- and \(L\)-theoretic Farrell-Jones Conjecture with finite wreath products for the family consisting of virtually cyclic subroups and the stabilizers of non-trivial direct summands of \(Z[T^{-1}]^n\). The second reduction is to the family of virtually solvable subgroups. The third step is the proof of the actual conjecture, namely the reduction to class of virtually cyclic subgroups.

MSC:

18F25 Algebraic \(K\)-theory and \(L\)-theory (category-theoretic aspects)
19A31 \(K_0\) of group rings and orders
19B28 \(K_1\) of group rings and orders
19G24 \(L\)-theory of group rings

Citations:

Zbl 1300.19001
PDF BibTeX XML Cite
Full Text: DOI arXiv

References:

[1] Bartels A. , Echterhoff S. Lück W. , ’Inheritance of isomorphism conjectures under colimits’, K-Theory and noncommutative geometry (eds Cortinaz G. , Cuntz J. , Karoubi M. , Nest R. and Weibel C. A. ), EMS Series of Congress Reports (European Mathematical Society, Zürich, 2008) 41–70. · Zbl 1159.19005
[2] Bartels, The Farrell–Jones conjecture for cocompact lattices · Zbl 1307.18012
[3] DOI: 10.4007/annals.2012.175.2.5 · Zbl 1256.57021
[4] DOI: 10.2140/gt.2012.16.1345 · Zbl 1263.37052
[5] DOI: 10.1007/s10240-013-0055-0 · Zbl 1300.19001
[6] DOI: 10.1016/j.aim.2006.05.005 · Zbl 1161.19003
[7] Bridson M. Haefliger A. , Metric spaces of non-positive curvature, vol. 319 (Springer, Berlin, 1999). · Zbl 0988.53001
[8] Garrett P. , Buildings and classical groups (Chapman & Hall/CRC, Boca Raton, FL, 1997). · Zbl 0933.20019
[9] Grayson D. R. , ’Finite generation of \(K\) -groups of a curve over a finite field’, Algebraic K-theory (Springer, Berlin, 1982) 69–90.
[10] DOI: 10.1007/BF02566369 · Zbl 0564.20027
[11] Hatcher A. , Algebraic topology (Cambridge University Press, Cambridge, 2002). · Zbl 1044.55001
[12] DOI: 10.1016/0022-4049(82)90037-8 · Zbl 0489.14005
[13] Kasprowski, Long and thin covers for flow spaces · Zbl 0547.28010
[14] Lück W. Reich H. , ’The Baum–Connes and the Farrell–Jones conjectures in \(K\) - and \(L\) -theory’, Handbook of K-theory, vols 1, 2 (Springer, Berlin, 2005) 703–842.
[15] Mole, Equivariant refinements
[16] Munkres J. R. , Topology: a first course (Prentice-Hall, Englewood Cliffs, NJ, 1975). · Zbl 0306.54001
[17] DOI: 10.2969/jmsj/01410101 · Zbl 0106.16003
[18] Rüping H. , ’The Farrell–Jones conjecture for some general linear groups’, PhD Thesis, Universitäts-und Landesbibliothek Bonn, Bonn, 2013.
[19] DOI: 10.1007/s00209-005-0889-3 · Zbl 1090.19002
[20] DOI: 10.1090/S0002-9939-2011-11150-X · Zbl 1240.19003
[21] DOI: 10.1112/jtopol/jtv026 · Zbl 1338.19002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.