Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn the Bieri-Neumann-Strebel-Renz $Sigma$-invariants of the Bestvina-Brady groups
45
0
0.0
(
0
)
Added by
Luis Augusto De Mendon\\c{c}a
Publication date
2020
fields
and research's language is
English
Ask ChatGPT about the research
No Arabic abstract
We study the Bieri-Neumann-Strebel-Renz invariants and we prove the following criterion: for groups $H$ and $K$ of type $FP_n$ such that $[H,H] subseteq K subseteq H$ and a character $chi : K to mathbb{R}$ with $chi([H,H]) = 0$ we have $[chi] in Sigma^n(K, mathbb{Z})$ if and only if $[mu] in Sigma^n(H, mathbb{Z})$ for every character $mu : H to mathbb{R}$ that extends $chi$. The same holds for the homotopical invariants $Sigma^n(-)$ when $K$ and $H$ are groups of type $F_n$. We use these criteria to complete the description of the $Sigma$-invariants of the Bieri-Stallings groups $G_m$ and more generally to describe the $Sigma$-invariants of the Bestvina-Brady groups. We also show that the only if direction of such criterion holds if we assume only that $K$ is a subnormal subgroup of $H$, where both groups are of type $FP_n$. We apply this last result to wreath products.
rate research
Read More
We calculate the Bieri-Neumann-Strebel-Renz invariant $Sigma^1(G)$ for even Artin groups $G$ with underlying graph $Gamma$ such that if there is a closed reduced path in $Gamma$ with all labels bigger than 2 then the length of such path is always odd. We show that $Sigma^1(G)^c$ is a rationally defined spherical polyhedron.
For a group $G$ that is a limit group over Droms RAAGs such that $G$ has trivial center, we show that $Sigma^1(G) = emptyset = Sigma^1(G, mathbb{Q})$. For a group $H$ that is a finitely presented residually Droms RAAG we calculate $Sigma^1(H)$ and $Sigma^2(H)_{dis}$. In addition, we obtain a necessary condition for $[chi]$ to belong to $Sigma^n(H)$.
For a finitely generated group $G$ we calculate the Bieri-Neumann-Strebel-Renz invariant $Sigma^1(X(G))$ for the weak commutativity construction $X(G)$. Identifying $S(X(G))$ with $S(X(G) / W(G))$ we show $Sigma^2(X(G),Z) subseteq Sigma^2(X(G)/ W(G),Z)$ and $Sigma^2(X(G)) subseteq $ $ Sigma^2(X(G)/ W(G))$ that are equalities when $W(G)$ is finitely generated and we explicitly calculate $Sigma^2(X(G)/ W(G),Z)$ and $ Sigma^2(X(G)/ W(G))$ in terms of the $Sigma$-invariants of $G$. We calculate completely the $Sigma$-invariants in dimensions 1 and 2 of the group $ u(G)$ and show that if $G$ is finitely generated group with finitely presented commutator subgroup then the non-abelian tensor square $G otimes G$ is finitely presented.
We compute the BNS-invariant for the pure symmetric automorphism groups of right-angled Artin groups. We use this calculation to show that the pure symmetric automorphism group of a right-angled Artin group is itself not a right-angled Artin group provided that its defining graph contains a separating intersection of links.
Let $sigma ={sigma_{i} | iin I}$ be a partition of the set of all primes $Bbb{P}$ and $G$ a finite group. Let $sigma (G)={sigma _{i} : sigma _{i}cap pi (G) e emptyset$. A set ${cal H}$ of subgroups of $G$ is said to be a complete Hall $sigma $-set of $G$ if every member $ e 1$ of ${cal H}$ is a Hall $sigma _{i}$-subgroup of $G$ for some $iin I$ and $cal H$ contains exactly one Hall $sigma _{i}$-subgroup of $G$ for every $i$ such that $sigma _{i}in sigma (G)$. We say that $G$ is $sigma$-full if $G$ possesses a complete Hall $sigma $-set. A complete Hall $sigma $-set $cal H$ of $G$ is said to be a $sigma$-basis of $G$ if every two subgroups $A, B incal H$ are permutable, that is, $AB=BA$. In this paper, we study properties of finite groups having a $sigma$-basis. In particular, we prove that if $G$ has a a $sigma$-basis, then $G$ is generalized $sigma$-soluble, that is, $G$ has a complete Hall $sigma $-set and for every chief factor $H/K$ of $G$ we have $|sigma (H/K)|leq 2$. Moreover, answering to Problem 8.28 in [A.N. Skiba, On some results in the theory of finite partially soluble groups, Commun. Math. Stat., 4(3) (2016), 281--309], we prove the following Theorem A. Suppose that $G$ is $sigma$-full. Then every complete Hall $sigma$-set of $G$ forms a $sigma$-basis of $G$ if and only if $G$ is generalized $sigma$-soluble and for the automorphism group $G/C_{G}(H/K)$, induced by $G$ on any its chief factor $H/K$, we have either $sigma (H/K)=sigma (G/C_{G}(H/K))$ or $sigma (H/K) ={sigma _{i}}$ and $G/C_{G}(H/K)$ is a $sigma _{i} cup sigma _{j}$-group for some $i e j$.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
