arXiv subjects
Publications and source records attributed to Ignat Soroko.
For the Artin group of type $D_5$, we determine its automorphism group and the automorphism group of its quotient by the center. This settles the only remaining case, $n=5$, in the classification of automorphisms of Artin groups of spherical type $D_n$.
We give a unified proof of property $R_\infty$ for the Higman groups $H_n$ ($n\ge 4$) and for their generalizations studied by Martin and Horbez--Huang. As a key step, we prove that the automorphism groups of these groups are acylindrically hyperbolic. As a byproduct, we obtain acylindrical hyperbolicity of the groups themselves. In addition, we give an independent proof, based on Delzant's lemma, of the criterion of Fournier-Facio and collaborators stating that if $\operatorname{Aut}(G)$ is acylindrically hyperbolic and $\operatorname{Inn}(G)$ is infinite, then $G$ has property $R_\infty$.
We establish property $R_\infty$ for Artin groups of spherical type $D_n$, $n\ge6$, their central quotients, and also for large hyperbolic-type free-of-infinity Artin groups and some other classes of large-type Artin groups. The key ingredients are recent descriptions of the automorphism groups for these Artin groups and their action on suitable Gromov-hyperbolic spaces. We also provide a detailed proof of Delzant's Lemma, an important technical tool used in our work and in several other papers on the $R_\infty$ property.
We study divergence and thickness for general Coxeter groups $W$. We first characterise linear divergence, and show that if $W$ has superlinear divergence then its divergence is at least quadratic. We then formulate a computable combinatorial invariant, hypergraph index, for arbitrary Coxeter systems $(W,S)$. This generalises Levcovitz's definition for the right-angled case. We prove that if $(W,S)$ has finite hypergraph index $h$, then $W$ is (strongly algebraically) thick of order at most $h$, hence has divergence bounded above by a polynomial of degree $h+1$. We conjecture that these upper bounds on the order of thickness and divergence are in fact equalities, and we prove our conjecture for certain families of Coxeter groups. These families are obtained by a new construction which, given any right-angled Coxeter group, produces infinitely many examples of non-right-angled Coxeter systems with the same hypergraph index. Finally, we give an upper bound on the hypergraph index of any Coxeter system $(W,S)$, and hence on the divergence of $W$, in terms of, unexpectedly, the topology of its associated Dynkin diagram.
We determine a classification of the endomorphisms of the Artin groups of spherical type $B_n$ for $n\ge 5$, and of their quotients by the center.
We determine a classification of the endomorphisms of the Artin group of affine type $\tilde A_n$ for $n\ge 4$.
In 1999 Brady constructed the first example of a non-hyperbolic finitely presented subgroup of a hyperbolic group by fibring a non-positively curved cube complex over the circle. We show that his example has Dehn function bounded above by $n^{96}$. This provides the first explicit polynomial upper bound on the Dehn function of a finitely presented non-hyperbolic subgroup of a hyperbolic group. We also determine the precise hyperbolicity constant for the $1$-skeleton of the universal cover of the cube complex in Brady's construction with respect to the $4$-point condition for hyperbolicity.
Let $n\ge2$. In this note we give a short uniform proof of property $R_\infty$ for the Artin-Tits groups of spherical types $A_n$, $B_n$, $D_4$, $I_2(m)$ ($m\ge3$), their pure subgroups, and for the Artin-Tits groups of affine types $\widetilde A_{n-1}$ and $\widetilde C_n$. In particular, we provide an alternative proof of a recent result of Dekimpe, Gonçalves and Ocampo, who established property $R_{\infty}$ for pure Artin braid groups.
In a recent article, Cumplido and Paris studied the question of commensurability between Artin groups of spherical type. Their analysis left six cases undecided, for the following pairs of Artin groups: $(F_4,D_4)$, $(H_4,D_4)$, $(F_4,H_4)$, $(E_6,D_6)$, $(E_7,D_7)$, and $(E_8,D_8)$. In this note we resolve the first two of these cases, namely, we show that the Artin groups of types $F_4$ and $H_4$ are not commensurable with that of type $D_4$. As a key step, we realize the abstract commensurator of the Artin group of type $D_4$ as the extended mapping class group of the torus with three punctures. We also find the automorphism group of the Artin group of type $D_4$ and obtain a description of torsion elements, their orders and conjugacy classes in all irreducible Artin groups of spherical type modulo their centers.
We prove foundational results for homological Dehn functions of groups of type $FP_2$ such as superadditivity and the invariance under quasi-isometry. We then study the homological Dehn functions of Leary's groups $G_L(S)$ providing methods to obtain uncountably many groups with a given homological Dehn function. This allows us to show that there exist groups of type $FP_2$ with quartic homological Dehn function and unsolvable word problem.
The famous Hanna Neumann Conjecture (now the Friedman-Mineyev theorem) gives an upper bound for the ranks of the intersection of arbitrary subgroups $H$ and $K$ of a non-abelian free group. It is an interesting question to `quantify' this bound with respect to the rank of $H\vee K$, the subgroup generated by $H$ and $K$. We describe a set of realizable values $(rk(H\vee K),rk(H\cap K))$ for arbitrary $H$, $K$, and conjecture that this locus is complete. We study the combinatorial structure of the topological pushout of the core graphs for $H$ and $K$, with the help of graphs introduced by Dicks in the context of his Amalgamated Graph Conjecture. This allows us to show that certain conditions on ranks of $H\vee K$, $H\cap K$ are not realizable, thus resolving the remaining open case $m=4$ of Guzman's "Group-Theoretic Conjecture" in the affirmative. This in turn implies the validity of the corresponding "Geometric Conjecture" on hyperbolic $3$-manifolds with a $6$-free fundamental group. Finally, we prove the main conjecture describing the locus of realizable values for the case when $rk(H)=2$.
By analyzing known presentations of the pure mapping groups of orientable surfaces of genus $g$ with $b$ boundary components and $n$ punctures, we show that these groups are isomorphic to some groups related to the braid groups and the Artin group of type $D_4$ in the cases when $g=0$ with $b$ and $n$ arbitrary, and when $g=1$ and $b+n$ is at most $3$. As a corollary, we conclude that the pure mapping class groups are linear in these cases.
Previously one of the authors constructed uncountable families of groups of type $FP$ and of $n$-dimensional Poincaré duality groups for each $n\geq 4$. We strengthen these results by showing that these groups comprise uncountably many quasi-isometry classes. We deduce that for each $n\geq 4$ there are uncountably many quasi-isometry classes of acyclic $n$-manifolds admitting free cocompact properly discontinuous discrete group actions.
We show that in any right-angled Artin group whose defining graph has chromatic number $k$, every non-trivial element has stable commutator length at least $1/(6k)$. Secondly, if the defining graph does not contain triangles, then every non-trivial element has stable commutator length at least $1/20$. These results are obtained via an elementary geometric argument based on earlier work of Culler.
We show that for each positive integer $k$ there exist right-angled Artin groups containing free-by-cyclic subgroups whose monodromy automorphisms grow as $n^k$. As a consequence we produce examples of right-angled Artin groups containing finitely presented subgroups whose Dehn functions grow as $n^{k+2}$.