The Bieri-Neumann-Strebel invariant for graph products of groups (Q1903682): Difference between revisions

Let \(V(G)\) be the real vector space of all homomorphisms of a group \(G\) into the additive group of the reals. For any \(x\in V(G)\) and any generating system \(X\) of \(G\) let \(\Gamma (G; X)_x\) be the full subgraph of the Cayley graph \(\Gamma (G; X)\) of \(G\) with respect to \(X\) generated by all vertices \(g\in G\) with \(x(g)\geq 0\). Then the Bieri-Neumann-Strebel invariant \(\Sigma^1 (G)\) is defined as follows: a homomorphism \(x: G\to \mathbb{R}\) belongs to \(\Sigma^1 (G)\) if and only if the subgraph \(\Gamma (G; X)_x\) is connected for any generating system \(X\) of \(G\). Given a simplicial graph \(\Delta\) with vertex set \(V\) and a function \(F\) that assigns to each vertex \(v\in V\) a group \(G_v\), the graph product \(G(\Delta,f)\) is the quotient of the free product \(\coprod_{v\in V} G_v\) modulo the normal subgroup generated by all commutators \([G_v, G_w ]\) with adjacent vertices \(v,w \in V\). An explicit formula for \(\Sigma^1 (G (\Delta, F))\) is given in the paper.