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

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.