Finiteness Properties of Certain Metabelian Arithmetic Groups in the Function Field Case

DOI10.1112/S0024611597000361MaRDI QIDQ4358064zbMATH OpenFDO

Authors Kai-Uwe Bux

Publication date 22 August 1999

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/S0024611597000361

zbMATH Keywords

finitely generated metabelian groupsfinitely generated modulesfiniteness propertiesglobal function fieldsmetabelian arithmetic groupsprojective resolutions

Mathematics Subject Classification ID

Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Groups acting on trees (20E08) Solvable groups, supersolvable groups (20F16) Linear algebraic groups over global fields and their integers (20G30) Homological methods in group theory (20J05)

Review text

A group \(G\) is said to be of type \(\text{FP}_n\) if the trivial \(\mathbb{Z} G\)-module \(\mathbb{Z}\) has a projective resolution which is finitely generated in dimensions less than or equal to \(n\). The main result of this paper is the following. Theorem. Let \(S\) be a finite set of places of a global function field \(K\) and \({\mathcal O}_S\) the corresponding \(S\)-arithmetic ring. Let \(Q\) be a subgroup of \({\mathcal O}_S^*\). Then \(Q\) is finitely generated, and for all integers \(n\geq 1\) the following are equivalent: (1) \({\mathcal O}_S\rtimes Q\) is of type \(\text{FP}_n\); (2) \({\mathcal O}_S\) is \(n\)-tame as a \(\mathbb{Z} Q\)-module; (3) each \(p\in S\) restricts to a non-trivial homomorphism \(p|_Q\colon Q\to\mathbb{R}\) and the set \(\{[p|_Q]\mid p\in S\}\subseteq{\mathbf S}(Q)\) is \(n\)-tame. If these conditions hold for at least one \(n\geq 1\) then the identity \(\Sigma_{{\mathcal O}_S}^c(Q,\mathbb{Z})=\{[p|_Q]\mid p\in S\}\) holds. A part of this theorem can be considered as a particular case of an \(\text{FP}_n\)-conjecture of R. Bieri: Let \(Q\) be a finitely generated metabelian group, \(A\) a finitely generated \(\mathbb{Z} Q\)-module and \(A\hookrightarrow G\twoheadrightarrow Q\) a short exact sequence of groups. Then the following are equivalent: (1) \(G\) is of type \(\text{FP}_n\); (2) \(\Sigma_A^c(Q,\mathbb{Z})\) is \(n\)-tame. Here the invariant \(\Sigma_A^c(Q,\mathbb{Z})\) is a certain subset of the sphere \({\mathbf S}(Q)\) of rays in \(\Hom(Q,\mathbb{R})\). \(\Sigma^c\) is called \(n\)-tame if every subset of \(\Sigma^c\) consisting of at most \(n\) points is contained in an open hemisphere. A finitely generated \(\mathbb{Z} Q\)-module \(A\) is called \(n\)-tame if \(\Sigma_A^c(Q,\mathbb{Z})\) is \(n\)-tame.

Recommendations

• Finiteness properties of arithmetic groups over function fields.
• Finiteness properties of certain arithmetic groups in the function field case
• Bieri-Strebel Valuations (of Finite Rank)
• scientific article; zbMATH DE number 2152950

Cited in

(14)

• The \(\Sigma^2\)-conjecture for metabelian groups: the general case.
• Simple groups separated by finiteness properties
• Finiteness properties of soluble arithmetic groups over global function fields.
• The ^2-conjecture for metabelian groups and some new conjectures: the split extension case
• Self-similar groups of type \(FP_n\)
• The Bieri-Strebel invariant and homological finiteness conditions for metabelian groups
• Limit sets for modules over groups onCAT(0) spaces: from the Euclidean to the hyperbolic
• Centre-by-metabelian pro-p groups of type FP_m
• Bieri-Strebel Valuations (of Finite Rank)
• Homological finiteness conditions for a class of metabelian groups
• Virtual rational Betti numbers of abelian-by-polycyclic groups.
• Twisted conjugacy in soluble arithmetic groups
• Finiteness properties of arithmetic groups over function fields.
• Horocyclic products of trees

This page was built for publication: Finiteness Properties of Certain Metabelian Arithmetic Groups in the Function Field Case

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