Sigma theory for Bredon modules. (Q399418)

Let \(G\) be a group and \(\chi\colon G\to\mathbb R\) be a non-zero homomorphism. The authors study finiteness notions for Bredon homology of monoids. The main monoid they explore is \(G_\chi=\{g\in G\mid\chi(g)\geq 0\}\). Let \(S(G)=\Hom(G,\mathbb R\setminus\{0\})/\sim\), where \(\sim\) is the equivalence relation given by \(\chi_1\sim\chi_2\) if \(\chi_1\in\mathbb R_{>0}\chi_2\). The set of \(\sigma\) invariants in the context of proper actions, \(\underline\Sigma^m(G,A)\), where \(A\) is an \(\mathcal O_{\mathcal F}(G)\)-module, are the classes \([\chi]\) such that there exists a subgroup \(\widetilde G\subset G\) of finite index that contains all finite subgroups of \(G\), \(G'\leq\widetilde G\), \(\widetilde G_\chi\) conjugates finite subgroups and \(A\) is \(\underline{\text{FP}}_m\) as \(\mathcal O_{\mathcal F}M\)-module. The first result is the following: Theorem A. A cancellation monoid which conjugates finite subgroups is of type \(\underline{\text{FP}}_m\) if and only if there are finitely many finite subgroups \(H_1,\ldots,H_s\) such that for each finite subgroup \(K\) of \(M\) there is an element \(m\in M\) such that \(Km\subseteq mH_i\) for some \(i=1,\ldots,s\) and \(W_MK\) is of type \(\text{FP}_n\), where \(W_MK\) denotes a suitable defined Weyl group. In the case of sigma invariants, they give conditions for a character to be in \(\underline\Sigma(G,\underline{\mathbb Z})\), where \(\underline{\mathbb Z}\) denotes \(\mathbb Z\) as a trivial \(\mathcal O_{\mathcal F}G\)-module, in terms of suitable normalizers, and the usual sigma invariants. They also provide a necessary and sufficient condition for \(\underline\Sigma(G,\underline{\mathbb Z})\) to be open: Theorem C. Assume \(\underline\Sigma(G,\underline{\mathbb Z})\) is nonempty. Then \(\underline\Sigma(G,\underline{\mathbb Z})\) is open in \(S(G)\) if and only if \(N_G(K)G'\) has finite index in \(G\) for every finite subgroup \(K\). The authors also explore the case of virtually solvable groups of type \(\text{FP}_\infty\). The main result in this context is Theorem E. Let \(G\) be a virtually solvable group of type \(\text{FP}_\infty\) or a finite extension of the Thompson group \(F\) then \(\underline\Sigma^\infty(G,\underline{\mathbb Z})=\Sigma^\infty(G,\mathbb Z)\).