https://arxiv.org/api//6qnK9pIMTd/wwGAVYC6mFVawoo 2026-03-20T08:46:45Z 25194 15 15 http://arxiv.org/abs/2603.17515v1 2026-03-18T09:22:49Z

Motivated by the simplification of decomposition formulas for fibred bisets, we study the homomorphism extension problem for subdirect products of finite groups when the codomain is an abelian group satisfying certain hypothesis. We prove that every homomorphism of subdirect products whose Goursat quotients have trivial Schur multipliers is extensible. We also examine the case where subdirect products contain a twisted diagonal subgroup and investigate the functoriality of the extensibility property.

2026-03-18T09:22:49Z İsmail Alperen Öğüt http://arxiv.org/abs/2603.17473v1 2026-03-18T08:27:55Z

Let $\mathsf{mSt}_n$ be the plactic-like monoid obtained by factoring the free monoid over a finite alphabet $\mathcal{A}_n$ by the meet of the stalactic congruence and its dual. In this paper, we prove that $\mathsf{mSt}_n$ can be equipped with multiple involutions, and divide these involutions into $\lfloor\frac{n}{2}\rfloor+1$ types. A faithful representation of $\mathsf{mSt}_n$ under each of these involutions is obtained. We give transparent combinatorial characterizations of identities for $\mathsf{mSt}_n$ under each involution, and so the finite basis problem and identity checking problem for them are solved.

2026-03-18T08:27:55Z Bin Bin Han Wen Ting Zhang Yan Feng Luo http://arxiv.org/abs/2603.15864v2 2026-03-18T05:03:54Z

We prove that groups of the form $\mathbb Z^m {\,\rm wr\,} \mathbb Z^n$, where $m,n \in \mathbb N$, are regularly bi-interpretable with $\mathbb Z$ and therefore are first-order rigid: every finitely generated group elementarily equivalent to $\mathbb Z^m {\,\rm wr\,} \mathbb Z^n$ is isomorphic to $\mathbb Z^m {\,\rm wr\,} \mathbb Z^n$. On the other hand, we show that $\mathbb Z^2 {\,\rm wr\,} \mathbb Z$ admits $2^{\aleph_0}$ elementarily equivalent, pairwise non-isomorphic central extensions with finite kernel.

2026-03-16T19:53:44Z Olga Kharlampovich Alexei Miasnikov Denis Osin http://arxiv.org/abs/2504.14198v3 2026-03-18T04:06:10Z

An element of the algebra $M_n(\mathbb{F})$ of $n \times n$ matrices over a field $\mathbb{F}$ is called an involution if its square equals the identity matrix. Gustafson, Halmos, and Radjavi proved that any product of involutions in $M_n(\mathbb{F})$ can be expressed as a product of at most four involutions. In this article, we investigate the bijective linear preservers of the sets of products of two, three, or four involutions in $M_n(\mathbb{F})$.

2025-04-19T06:25:39Z v3, 25 pages. Minor revision following referee report. Improved exposition; arguments clarified. Revised Propositions 2.1, 2.2, and 3.2. Added proof of Lemma 2.4; corrected proof of Lemma 2.5 Chi-Kwong Li Tejbir Lohan Sushil Singla http://arxiv.org/abs/2603.17276v1 2026-03-18T02:09:12Z

It is a simple fact that a group has a trivial automorphism group if and only if it is of order $1$ or $2$. We prove that the same holds for certain families of skew braces, and given any odd prime $p$, we construct a skew brace of order $2p^3$ that has a trivial automorphism group.

2026-03-18T02:09:12Z 19 pages Cindy Tsang http://arxiv.org/abs/2504.09551v3 2026-03-18T00:03:53Z

The purpose of this paper is to explore possible definitions of $n$-isoclinism for skew braces. We also introduce the notions of verbal sub-skew braces and marginal left ideals.

2025-04-13T12:55:32Z 23 pages; very minor changes Risa Arai Cindy Tsang http://arxiv.org/abs/2603.17084v1 2026-03-17T19:12:27Z

We begin the investigation of the free factor complex of a free group of finite rank. For the case of rank 2 we axiomatize its theory and show that it is $ω$-stable with prime model $AF_2$.

2026-03-17T19:12:27Z Zahra Mohammadi Khangheshlaghi Katrin Tent http://arxiv.org/abs/2603.16819v1 2026-03-17T17:22:16Z

The automorphism group of a regular locally finite tree is shown to admit irreducible Banach representations that are not admissible. The dense subspace of smooth vectors contains no algebraically irreducible component.

2026-03-17T17:22:16Z Nicolas Monod http://arxiv.org/abs/2603.16814v1 2026-03-17T17:18:09Z

We establish new examples and non-examples of pro-p limit groups among the class of Demushkin groups, that is, pro-p Poincaré duality groups of dimension 2.

2026-03-17T17:18:09Z 10 pages. Comments are welcome! Henrique Souza Pavel Zalesskii http://arxiv.org/abs/2501.03900v2 2026-03-17T17:06:26Z

The virtual cohomological dimension of~$\operatorname{Out}(F_n)$ is given precisely by the dimension of the spine of Culler--Vogtmann Outer space. However, the dimension of the spine of untwisted Outer space for a general right-angled Artin group~$A_Γ$ does not necessarily match the virtual cohomological dimension~$\textsc{vcd}(U(A_Γ))$ of the untwisted subgroup~$U(A_Γ) \leq \operatorname{Out}(A_Γ)$. Under certain graph-theoretic conditions, we perform an equivariant deformation retraction of this spine to produce a new contractible cube complex upon which~$U(A_Γ)$ acts properly and cocompactly. Furthermore, we give conditions for when the dimension of this complex realises the virtual cohomological dimension of~$U(A_Γ)$. We finish with two applications of our construction; in particular we show that the difference between the dimension of the untwisted spine and~$\textsc{vcd}(U(A_Γ))$ can be arbitrarily large.

2025-01-07T16:06:53Z v2: minor changes, incorporating referee comments. 37 pages, 13 figures. Final version, only differs stylistically from journal version. To appear in Geometriae Dedicata Gabriel Corrigan http://arxiv.org/abs/2603.16774v1 2026-03-17T16:51:58Z

The notions of tree-like loop and Lipschitz tree-like loop were introduced by Hambly and Lyons in their 2010 Annals of Mathematics paper. They showed that the Lipschitz tree-like property determines an equivalence relation on the set of paths of bounded variation in a given metric space and then asked if this notion could be extended to paths without the Lipschitz requirement. We show that after eliminating the Lipschitz requirement, the resulting relation is no longer transitive and thus is not an equivalence relation. The counterexample is obtained by analyzing an explicit fractal construction in the plane.

2026-03-17T16:51:58Z Jeremy Brazas Gregory R. Conner Paul Fabel Curtis Kent http://arxiv.org/abs/2603.16771v1 2026-03-17T16:48:18Z

We introduce a concept of the commuting probability of a skew left brace analogous to group theory. We establish upper and lower bounds for the commuting probability and prove that, for finite non-trivial skew left braces, it is always at most $\frac{3}{4}$. Interestingly, there is no skew left brace with commuting probability in the open interval $(5/8, 1)$, except $\frac{3}{4}$, for which we construct an explicit example. A characterization of skew left braces having commuting probability $\frac{3}{4}$ or $\frac{5}{8}$ is presented. We further show that the finite skew left braces with commuting probability larger than $\frac{65}{128}$ are necessarily nilpotent. We prove that the commuting probability remains invariant under isoclinism of skew braces. We introduce a concept of a compact Hausdorff topological skew left brace $B$, where we prove that the set of all elements of $B$ having finite centraliser index in $B$ is a Borel subgroup. For such infinite non-trivial skew left braces too $\frac{3}{4}$ is the upper bound for the commuting probability, and $\frac{3}{4}$ is the only rational number which occurs as commuting probability in the open interval $(5/8, 1)$.

2026-03-17T16:48:18Z 19 pages, comments highly welcome Susanta Mondal Manoj K. Yadav http://arxiv.org/abs/2603.16763v1 2026-03-17T16:43:39Z

We prove that a finitely generated virtually RFRS group of cohomological dimension at most $2$ is coherent if and only if its second $L^{2}$-Betti number vanishes if and only if it is virtually free-by-cyclic. The non-vanishing of the second $L^{2}$-Betti number provides the first known global obstruction to coherence in any reasonably wide class of groups, allowing for proofs of incoherence without needing to exhibit explicit witnesses to incoherence. As applications of this result, we completely characterise coherence among two-dimensional Coxeter groups, confirming conjectures of Jankiewicz and Wise, and show that incoherence is generic in groups of nonpositive deficiency, confirming a conjecture of Wise. We also find that, among virtually compact special groups of virtual cohomological dimension two, coherence is algorithmically decidable and is a quasi-isometry, measure equivalence, and profinite invariant. In an appendix, Marco Linton applies one of the main results to prove that cubulated locally quasi-convex hyperbolic groups are virtually free-by-cyclic, solving problems of Abdenbi--Wise and Wise in the cubulated case.

2026-03-17T16:43:39Z 30 pages; Primary article by Sam P. Fisher and Pablo Sánchez-Peralta with an appendix by Marco Linton Sam P. Fisher Marco Linton Pablo Sánchez-Peralta http://arxiv.org/abs/2508.02367v2 2026-03-17T16:36:24Z

Let G = Aut(T) be the automorphism group of a regular tree T. We study continuous irreducible representations of G that preserve a continuous strongly nondegenerate sesquilinear form of finite index on a Hilbert space. These are already classified for index 0 (unitary case) and for index 1. We show that there are no more representations for index > 1, which completes the classification.

2025-08-04T12:52:21Z 37 pages Federico Viola http://arxiv.org/abs/2603.16674v1 2026-03-17T15:38:56Z

Let $G$ be the fundamental group of a graph of finitely generated virtually free groups with virtually cyclic edge groups. We shaw that $G$ is cohomologically good if $G$ is residually finite. If $G$ is LERF, we prove that G splits non-trivially as a free product if and only if its profinite completion $\widehat{G}$ splits non-trivially as a free profinite product. Moreover, we are able to detect one-ended free factors of $G$ from $\widehat{G}$. As an application, we deduce that any profinitely rigid word in a finitely generated free group is universally profinitely rigid.

2026-03-17T15:38:56Z 26 pages. Comments are welcome! Andrei Jaikin-Zapirain Henrique Souza Pavel Zalesski