5 problems

Let $q$ be a prime power and let an essential triple $(x,y,z)\in\mathbb{F}_q^3$ be the image under $(A,B)\mapsto(\operatorname{tr}A,\operatorname{tr}B,\operatorname{tr}(AB))$ of a…

Let $F_k$ be a free group of rank $k$, and let $G$ be a group. A subgroup $N\leq F_k$ with $F_k/N\cong G$ is a $G$-defining subgroup; write $\Sigma_k(G)$ for the set of all such su…

Wiegold's free-factor conjecture. If $n\geq 3$, then $F_n$ has a proper free factor $H$ such that $\Psi(H)=G$.

One-stabilization conjecture. The tuples $(t_1,\ldots,t_n,1)$ and $(s_1,\ldots,s_n,1)$ are connected in $\bar X_{n+1}(G)$.

Kapovich–Weidmann higher-stabilization conjecture. For every $1\le t<m$, the generating $(k+t)$-tuple $(a_1,\ldots,a_k,1,\ldots,1)$ is not equivalent to a $(k+t)$-tuple of type…