The Baumslag-Gersten group and a problem of Olshanskii

2026-06-25T08:54:07Z

We prove that a certain representation of the Baumslag-Gersten one-relator group $\mathrm{BG}(1,2)$ by germs of continuous functions is not faithful. This gives a negative answer to a problem of A. Yu. Olshanskii from 2010 (Problem 17.99 in the Kourovka Notebook).

Automorphisms of the Artin group of type $D_5$

2026-06-25T05:41:10Z

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$.

Classification of regular Cayley maps of skew-type three on semidihedral groups

2026-06-25T03:44:07Z

It is well known that every regular Cayley map $M = \CM(G,X,p)$ on a finite group $G$ with respect to an inverse-closed generating set $X$ of $G$ and a specified cyclic permutation $p$ on $X$ corresponds to a skew morphism $\varphi$ on $G$ such that the restriction of $\varphi$ to $X$ is $p$. The skew-type of the map $M$ is defined as the index $[G:\Ker \varphi]$, which equals the number of distinct values in $\mathbb{Z}_{|\varphi|}$ taken by the associated power function $π$ of the skew morphism $\varphi$. In this paper, we develop a covering theory of skew morphisms and as an application we provide a classification of regular Cayley maps of skew-type three on the semidihedral groups.

More Residually Solvable One-Relator Groups

2026-06-24T21:03:15Z

We say a word in a free group is ``partially positive'' if there is at least one generator which appears in the word, but does not appear with negative exponent. We show that one-relator groups with a partially positive relator are residually solvable. This extends a theorem of Baumslag showing one-relator groups with positive relators are residually solvable.

Analogues of Grün's lemma and Baer's theorem for skew left braces

2026-06-24T18:31:20Z

We prove in this paper some analogues of the well-known group-theoretical Grün's lemma, stating that in a perfect group the first and the second centre coincide, and Baer's theorem, stating that if the quotient by the nth centre of a group is finite, then so is the $(n + 1)$th term of the lower central series, in the scope of nfinite slew left braces. These results represent significant improvements over previous work. The trifactorised group associated with a skew left brace will be crucial for our proofs.

A General Framework for Learning Algebraic Properties from Cayley Graphs using Graph Neural Networks

2026-06-24T17:37:16Z

A Graph Neural Network (GNN) framework for predicting the solvability of finite groups from their Cayley graph representations was introduced in [1]. In the present work, we generalize this approach and develop a property-independent framework for learning algebraic properties of finite groups directly from Cayley graphs. As representative case studies, we consider abelianity, nilpotency, and solvability. Using a common GNN architecture and training pipeline, we investigate the extent to which algebraic structure can be recovered from graph-based representations alone. Results on a collection of finite groups drawn from several families demonstrate that the framework successfully learns and distinguishes multiple algebraic properties from their associated Cayley graphs. These findings suggest that substantial algebraic information is encoded in graph representations and can be extracted through GNNs. More broadly, the proposed framework provides a proof of concept for applying graph representation learning to the study of algebraic properties of finite groups.

Actions with a strong fundamental domain and Sigma invariants of groups

2026-06-24T17:06:24Z

We show that if a group $G$ acts on a contractible $CW$-complex with a contractible strong fundamental domain and the stabilizers of the action satisfy certain properties, then the homological Sigma invariants of the group are either empty or dense in the character sphere. This was known for several families of groups like right-angled Artin groups and pure symmetric automorphisms of free groups. We also exhibit some applications including the generalization of the previous fact to pure symmetric automorphisms of right-angled Artin groups.

Computing canonical labellings of finite solvable groups

2026-06-24T17:02:33Z

We define a canonical labelling function on the class of finite solvable groups so that two such groups $G$ and $H$ are isomorphic if and only if can$(G)=$can$(H)$. Specifically, can$(G)$ is a group presentation that describes a group isomorphic to $G$, and our description explains how to construct an isomorphism $G\to$can$(G)$. Our approach is motivated by O'Brien's (1993) canonical presentations for finite $p$-groups and utilises ideas from group cohomology first described by Robinson (1982) and automorphism group algorithms developed by Smith (1994), Holt (2001), and others. We also discuss a proof-of-concept implementation for the computer algebra system GAP and comment on the major bottlenecks and open research questions.

Polynomial homological Dehn functions from non-proper actions

2026-06-24T14:46:38Z

We establish a homological algebra framework for proving polynomiality of higher homological Dehn functions of groups. As an application, we show a combination theorem for polynomial Dehn functions, which is reminiscent of a theorem of Brown for finiteness properties.

Haagerup property and group-invariant percolation

2026-06-24T10:46:11Z

Let $\mathcal G$ be the Cayley graph of a finitely generated, infinite group $Γ$. We show that $Γ$ has the Haagerup property if and only if for every $α<1$, there is a $Γ$-invariant bond percolation $\mathbb P$ on $\mathcal G$ with $\mathbb E[\mathrm{deg}_ω(g)]>α\mathrm{deg}_{\mathcal G}(g)$ for every vertex $g$ and with the two-point function $τ(g,h)=\mathbb P\big[g\leftrightarrow h\big]$ vanishing as $d(g,h)\to\infty$. On the other hand, we show that $Γ$ has Kazhdan's property (T) if and only if there exists a threshold $α^*<1$ such that for every $Γ$-invariant bond percolation $\mathbb P$ on $\mathcal G$, $\mathbb E[\mathrm{deg}_ω(o)]>α^*\mathrm{deg}(o)$ implies that the two-point function is uniformly bounded away from zero. These results in particular answer questions raised by Lyons (J. Math. Phys. 41. 1099-1126 (2000)) about characterizations of properties of groups beyond amenability through group-invariant percolations. The method of proof is new and is based on a construction of percolations with suitable dependence structures built from invariant point processes on spaces with measured walls. This construction furthermore leads to quantitative bounds on the two-point functions, exhibiting in particular exponential decay of the two-point function in several prominent examples of Haagerup groups, including co-compact Fuchsian groups, co-compact discrete subgroups of $\mathrm{Isom}(\mathbb H^n)$ and lamplighters over free groups. This method also allows us to extend the aforementioned characterization of property (T) to the setting of relative property (T) and provide an application to Bernoulli percolation at the uniqueness threshold.

The representation theory of the wreath product of a finite group with the monoid of all partial functions on a finite set as an EI-category algebra

2026-06-24T10:43:22Z

Let $G$ be a finite group. We provide a description of the ordinary quiver of the complex monoid algebra of the wreath product $G \wr \mathrm{PT}_n$, where $\mathrm{PT}_n$ denotes the monoid of all partial functions on an $n$-element set. This description depends on the multiplicities of simple $G$-modules appearing in the decomposition of tensor products of simple $G$-modules. We also prove that the global dimension of this algebra is $n-1$. Both results are obtained by analyzing the associated Ehresmann EI-category related to the monoid. Finally, we describe the quiver of the algebra of the wreath product of $G$ with the submonoid of all order-preserving partial functions.

Dynamics of Dehn Twists in the Outer Automorphism Group of a Free Group

2026-06-24T08:26:56Z

We study Dehn twists in the outer automorphism group of a finitely generated non-abelian free group. Our main result states that, under certain compatibility conditions, sufficiently large powers of finitely many Dehn twists generate a right-angled Artin group. The proof proceeds by analyzing the geometry of spheres, tori, and simple closed curves in a doubled handlebody. Along the way, we establish the bigon--bihedron criterion and an equivalent condition for commuting Dehn twists. Furthermore, we construct a compact topological space on which every Dehn twist acts parabolically.

Free Semigroups of Large Critical Exponent

2026-06-24T03:07:32Z

For a convergence group equipped with an expanding coarse-cocycle, we construct finitely generated free subsemigroups, which we call Bishop--Jones semigroups, of critical exponent arbitrarily close to but strictly less than the critical exponent of the ambient group. As an application, we show that for any non-elementary transverse subgroup $Γ$ of a semisimple Lie group $G$, there exist finitely generated free Anosov subsemigroups in the sense of Kassel--Potrie of critical exponent arbitrarily close to but strictly less than that of the ambient transverse group. Furthermore, we show that these semigroups admit quasi-isometric embeddings into the symmetric space X of G with certain additional coarse-geometric properties.

Conjugacy Distinguished Cosets in Hyperbolic $3$-Manifold Groups

2026-06-24T01:48:17Z

A subset $S$ of a group $G$ is \emph{conjugacy distinguished} if the union of all conjugates of $S$ is closed in the profinite topology on $G$. We prove that if $M = \mathbb{H}^3/Γ$ is a hyperbolic $3$-manifold of finite volume, $g \in Γ$, and $H$ is an abelian subgroup of $Γ$, then the coset $gH$ is conjugacy distinguished in $Γ$. A subset $S \subset G$ is \emph{conjugacy distinguished from a class of subgroups} if, for every $K$ in the class that is disjoint from the union of conjugates of $S$, there exists a homomorphism $\varphi \colon G \rightarrow F$, where $F$ is a finite group, such that $\varphi(K)$ is disjoint from the union of conjugates of $\varphi(S)$. In previous work, we proved that if $M = \mathbb{H}^3/Γ$ is a hyperbolic $3$-manifold of finite volume, then a coset of a maximal parabolic subgroup with cusp $C$ is conjugacy distinguished from the class of maximal parabolic subgroups of $Γ$ with cusps distinct from $C$. We extend this result by proving that a coset of a loxodromic subgroup is conjugacy distinguished from the class of maximal parabolic subgroups of $Γ$.

Equations in Products of Free Groups and 3-Manifold Groups, I

2026-06-23T19:42:37Z

Perelman's proof of the Poincare conjecture shows that every simply connected closed 3-manifold is homeomorphic to the 3-sphere. The fundamental groups of 3-manifolds attract lots of interest from mathematicians of different fields. As it was stated in a famous survey of Allen Hatcher "The classification of 3-manifolds", one would want to know exactly which groups occur as fundamental groups of these manifolds. The Stallings-Jaco-Hempel reformulation of the Poincare conjecture inspired several connections between low-dimensional topology, equations over free groups, and combinatorial group theory. The reformulation reduces the problem to study epimorphisms from the fundamental group of a closed orientable surface onto the direct product of two free groups (they correspond to Heegaard splittings of 3-manifolds and were named splitting homomorphisms). Olshankii (1989) constructed (in non-explicit form) first non-trivial examples of such splitting epimorphisms and verified the standardness of some of them. We construct up to equivalence all the splitting coordinate-surjective homomorphisms (among them, the genuine splitting epimorphisms are exactly those for which our constructed associated group balanced presentation is trivial). We give generators and relations of the corresponding balanced presentation (so all closed orientable 3-manifold groups) that can be studied by algebraic methods. We also analyse a big class of such homomorphisms/presentations (including all Olshanskii's epimorphisms) and show that splitting epimorphisms are very rare and in this case the corresponding balanced presentation of the trivial group can be reduced to the standard one by Andrews-Curtis transformations and the epimorphisms (in small genera in this paper) are standard.