4 problems

Bounded-region conjecture. The feature vectors of weights of the Whitehead graphs of elements from $F$ are separated into bounded regions in the corresponding space. Each such regi…

For each integer $k\geq 2$, let … The subgroup membership conjecture for $B(P_{3,k})$. The subgroup membership problem is decidable in $B(P_{3,k})$ for every $k\geq 2$. The subgrou…

Let $G$ be a group that splits as a finite graph of finitely generated free groups. An algorithm is said to certify that $G$ has infinite stature with respect to its vertex groups…

Hyperbolic profinite-triviality conjecture. There is no algorithm that can determine whether or not a given hyperbolic group $\Gamma$ has