Finiteness properties of solvable S-arithmetic groups: An example
type: Item
instance of: scholarly article
title: Finiteness properties of solvable S-arithmetic groups: An example
zbMATH Open document ID: 0617.20020
DOI: 10.1016/0022-4049(87)90016-8
published in: Journal of Pure and Applied Algebra
publication date: 1987-01-01T00:00:00Z
review text: A group \(\Gamma\) is of type \(FP_ n\) if the \(Z\Gamma\)-module Z admits a projective resolution which is finitely generated in dimensions \(\leq n\). For example, \(\Gamma\) is of type \(FP_ 1\) if and only if it is finitely generated, and \(\Gamma\) is of type \(FP_ 2\) if it is finitely presented. Stallings gave the first example of a group of type \(FP_ 2\) but not \(FP_ 3\), and Bieri extended this to a sequence of groups \(\Gamma_ n\) of type \(FP_{n-1}\) but not \(FP_ n\). Further examples of this type are due to Stuhler, whose groups are S-arithmetic groups \(SL_ 2(O_ S)\), where S is a finite set of primes in a function field and \(O_ S\) is the ring of S-integers. The authors exhibit similar sequences of S-arithmetic groups over number fields. The proof involves the Bruhat-Tits building; this, the authors remark, may well be the right approach for a systematic investigation. For \(n\geq 1\) and p a prime number, let \(\Gamma_ n\) be the group of upper triangular matrices g in \(GL_{n+1}(Z[1/p])\) with \(g(1,1)=g(n+1,n+1)=1\). Note that \(\Gamma_ n\) is a \(\{\) \(p\}\)-arithmetic subgroup of the solvable algebraic matrix group defined by the same equations as \(\Gamma_ n.\) Theorem A. \(\Gamma_ n\) is of type \(FP_{n-1}\) but not \(FP_ n\); for \(n\geq 3\) it is finitely presented. (The negative result (that \(\Gamma_ n\) is not of type \(FP_ n)\), the finite presentation for \(n\geq 3\), and the \(FP_{n-1}\) property for \(n\leq 4\) are known results. So the new result is that \(\Gamma_ n\) is of type \(FP_{n-1}\) for \(n\geq 5.)\) The positive part of Theorem A follows from: Theorem B. There is a simplicial action of \(\Gamma =\Gamma_ n\) on a simplicial complex X with the following properties: (a) X is (n-2)- connected. (b) The isotropy group of every simplex is finitely presented and of type \(FP_{\infty}\). (c) X is finite mod \(\Gamma\). The complex X is a subcomplex of the Bruhat-Tits building associated to the group \(GL_{n+1}\) and the p-adic va…
Mathematics Subject Classification ID: 20G30
Mathematics Subject Classification ID: 20J05
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20G10
Mathematics Subject Classification ID: 20G15
Mathematics Subject Classification ID: 55U05
zbMATH DE Number: 4000210
zbMATH Keywords: type \(FP_ n\)
zbMATH Keywords: projective resolution
zbMATH Keywords: S-arithmetic groups over number fields
zbMATH Keywords: Bruhat-Tits building
zbMATH Keywords: solvable algebraic matrix group
zbMATH Keywords: finite presentation
zbMATH Keywords: simplicial action
zbMATH Keywords: simplicial complex
zbMATH Keywords: isotropy group
author: Herbert Abels
author: Kenneth S. Brown
reviewed by: D. J. McCaughan
MaRDI profile type: Publication
full work available at URL: 0022-4049(87)90016-8
OpenAlex ID: W1991439388
cites work: Q3855376
cites work: Bieri-Strebel Valuations (of Finite Rank)
cites work: Q4129638
cites work: A connection between the integral homology and the centre of a rational linear group
cites work: Cohomologie d'immeubles et de groupes S-arithmétiques
cites work: Q4143495
cites work: Finiteness properties of groups
cites work: Q3967643
cites work: Q3718936
cites work: A Finitely Presented Group Whose 3-Dimensional Integral Homology is not Finitely Generated
cites work: Q3689356
cites work: Homological properties of certain arithmetic groups in the function field case
description: scientific article; zbMATH DE number 4000210