https://arxiv.org/api/m6wXvA1hu81bjzxH48RWD1fzQeA 2026-07-24T08:07:15Z 25936 165 15 http://arxiv.org/abs/2512.21173v2 2026-07-09T17:01:53Z

We study the globalization problem for a strong partial action $α$ of a monoid $M$ on a semigroup $X$ via the associated rewriting system $(X_M^+,\to)$. We show that the local confluence of $(X_M^+,\to)$ is sufficient for the globalizability of $α$ but, unlike the group case, it is not necessary. Focusing on the monoid $M=G^0$, where $G$ is a group, we obtain an explicit criterion for the globalizability of $α$ and a criterion for the local confluence of $(X_M^+,\to)$. Several applications to strong partial actions of the monoid $M=\{0,1\}$ on semigroups and algebras, as well as to strong partial actions of an arbitrary monoid $M$ on left zero and null semigroups, are presented.

2025-12-24T13:47:15Z 28 pages Mykola Khrypchenko Francisco Klock http://arxiv.org/abs/2607.08609v1 2026-07-09T15:38:33Z

Nondegenerate cycle sets were introduced by Rump as an algebraic framework for nondegenerate, involutive solutions to the Yang--Baxter equation. Nondegenerate cycle set structures on abelian groups, such as translation-invariant and quasilinear cycle sets, are of particular interest when studying the retraction problem in the theory of the Yang--Baxter equation. In this article, we solve the retraction problem for finite quasilinear cycle sets by showing that each nontrivial quasilinear cycle set is retractable, thus proving a conjecture of Rump.

2026-07-09T15:38:33Z 14 pages, Comments Welcome! Carsten Dietzel http://arxiv.org/abs/2607.08557v1 2026-07-09T14:47:22Z

Let $α(n)$ denote the length of the shortest non-trivial two-variable law for the symmetric group $S_n$. Buskin's quantitative subgroup-separability argument gives the classical lower bound $α(n)\geq 2n-O(1)$. In this short note we give an improvement by proving that $α(n)\geq \frac52 n-O(1)$.

2026-07-09T14:47:22Z 9 pages, 1 figure Adrian Beker Luka Milićević Rudi Mrazović http://arxiv.org/abs/2606.07824v2 2026-07-09T12:11:03Z

In this note, we establish an explicit upper bound for the dimension of the rational cohomology for a simple algebraic group over an algebraically closed field of prime characteristic.

2026-06-05T20:18:57Z Christopher P. Bendel Nham Ngo http://arxiv.org/abs/2507.19614v3 2026-07-09T11:19:03Z

Let $Γ$ be a discrete countable group with the (AP)-property. It is shown that if $Γ$ acts on a countable set $\mathfrak{X}$ in such a way that the infinite intersection of stabilizer subgroups is always trivial, then the induced action of $Γ$ on $\partial_β\mathfrak{X}$ is topologically amenable. The range of applications include the action of $Γ$ on $\partial_β(Γ/ Λ)$ for: (i) $Γ$ countable hyperbolic torsion-free and $Λ$ quasi-isometrically embedded with infinite index, (ii) $Γ= Λ* Λ'$ with $Λ$ non-amenable countable, $Λ'$ infinite countable and $Γ$ with the (AP)-property; moreover this includes the case of actions of groups of automorphisms of a $k$-regular tree with $k \geq 3$ generated by a finite number of Haar-random elements on the Stone-{\v C}ech boundary of the tree.

2025-07-25T18:30:12Z 16 pages. This is the final version, accepted for publication in Groups Geom. Dyn. The bibliography has been updated Jacopo Bassi http://arxiv.org/abs/2607.08356v1 2026-07-09T11:07:59Z

We consider the maximal number of factors of a product of bushy trees that can be quasi-isometrically, or even coarsely embedded into various groups of interest, including mapping class groups, Torelli groups, Johnson kernels, surface braid groups, and Bestvina-Brady groups. We use this to quasi-isometrically distinguish groups from the above classes, and also to rule out coarse embeddings between them. All these are applications of general statements about coarse embeddings of products of bushy trees into hierarchically hyperbolic spaces.

2026-07-09T11:07:59Z 37 pages, 5 figures Mark Hagen Alessandro Sisto http://arxiv.org/abs/2607.08805v1 2026-07-09T08:24:02Z

We study some additive combinatorial properties of the group of least nonnegative residues modulo $n$ that are related to index stability of groups and packing numbers. We prove several theorems that not only confirm a conjecture and resolve some open problems about index stability of such groups, but also provide basic tools for the characterization of finite $k$-index stable groups. As a consequence, we completely characterize all 2-element index-stable subsets of $\mathbb{Z}_n$, obtain an exact closed formula for their density, and determine all $n$ for which every 2-subset is index-unstable. Finally, we present a problem and a research project extending the study to 3-subsets and general $k$-subsets.

2026-07-09T08:24:02Z M. H. Hooshmand http://arxiv.org/abs/2607.08165v1 2026-07-09T07:09:33Z

Let $G$ be a finite group and let $\mathrm{P}_{\mathcal{U}}(G)$ denote the probability that two randomly chosen elements of $G$ generate a supersoluble subgroup. We prove that if $\mathrm{P}_{\mathcal{U}}(G) \geq 16/25$ then $G$ is supersoluble, and that the bound $16/25$ is sharp, being attained by the group $G = (C_5 \times C_5) \rtimes Q_8$, where $Q_8$ acts faithfully and irreducibly on $C_5 \times C_5$.

2026-07-09T07:09:33Z Andrea Lucchini http://arxiv.org/abs/2601.18287v2 2026-07-09T07:05:25Z

In this paper, we propose a modified Anshel-Anshel-Goldfeld (AAG) key exchange construction.The algebraic motivation underlying this construction comes from the membership problem for Mihailova subgroups of the braid group, a problem that is algorithmically unsolvable. We show that this perspective leads naturally to a quotient-group formulation involving Mihailova subgroups modulo the center of Bn. We also explain, however,that these algebraic facts do not by themselves provide a complete security proof for the protocol,because recovering a functionally equivalent conjugator modulo the center may already suffice for an adversary. Thus, the construction should be regarded as an algebraically motivated candidate whose full cryptographic security requires further study.

2026-01-26T09:16:11Z 9 pages,25 conferences Hanling Lin Yu Han http://arxiv.org/abs/2607.07940v1 2026-07-08T21:36:49Z

For irreducible lattices in semisimple Lie groups of real rank at least $2$, we prove a cohomological vanishing result implying that any action on a CAT(0) cube complex fixes a vertex whenever every hyperplane stabilizer is solvable. As an application, we prove regularizability for actions of all higher-rank lattices by birational transformations on projective surfaces. We first use superrigidity for actions on infinite-dimensional real hyperbolic spaces to reduce to the de Jonquières group, and then apply our fixed-point theorem to the Jonquières complex. Our proof bypasses the direct use of property FW.

2026-07-08T21:36:49Z 17 pages Shengyuan Zhao http://arxiv.org/abs/2607.07567v1 2026-07-08T15:57:24Z

For a finite irreducible real reflection group, $W$, we triangulate its permutahedron and use this to give an explicit homotopy equivalence between two known classifying spaces for the associated Artin group, $B(W)$. In the process, we characterise the Bruhat intervals from $w_1$ to $w_2$ in $W$, where $w_1^{-1}w_2$ is a Coxeter element.

2026-07-08T15:57:24Z 24 pages, 2 figures Thomas Brady Emanuele Delucchi Colum Watt http://arxiv.org/abs/2607.07525v1 2026-07-08T15:20:05Z

Let $\mathfrak{G}$ be a connected split $p$-adic group of type $B_n$, $C_n$ or $D_n$. Amongst the tempered representations of $\mathfrak{G}$ a key role is played by the Iwahori-spherical block. We provide a compact Hausdorff model for this space which allows us to compute the $K$-theory ranks for the corresponding $C^*$-algebra. The model, an extended quotient, is stratified by sectors. Underlying the approach of this paper is the interplay between the geometric extended quotient and the spectral extended quotient in the context of the ABPS conjecture. We give geometric descriptions of every sector thus equipping the spectrum with a cellular structure. We classify the geometric structures arising in our model, and specifically discover real projective spaces along with cones and suspensions of these. These examples require a minor modification to our homotopy sector conjecture: we show that Langlands dual sectors are rationally (indeed dyadically) homotopy equivalent in all cases ($A_n, B_n, C_n, D_n, E_6, E_7$ and $E_8$).

2026-07-08T15:20:05Z Dominic Majda Graham A. Niblo Roger Plymen Nick Wright http://arxiv.org/abs/2607.07496v1 2026-07-08T14:56:24Z

We prove that any finite graph of finitely generated free groups admits a finite complete rewriting system after possibly taking a free product with a free group of rank two. As a corollary we obtain that any HNN-extension of a finitely generated free group over a finitely generated subgroup admits a finite complete rewriting system. We then use this result, and other tools, to give partial solutions to several fundamental open problems about finite complete rewriting systems for hyperbolic, one-relator, fully residually free, and three-manifold groups. In particular we prove that if $G = \langle \mathbb{F} , t \mid t^{-1}ft = ψ(f), \, \forall f\in \mathbb{F} \rangle$ is the mapping torus of an injective endomorphism $ψ$ of a free group $\mathbb{F} $ (of possibly infinite rank) then every finitely generated subgroup of $G$ admits a finite complete rewriting system. It follows that any finitely generated virtually free-by-cyclic group, and any finitely generated subgroup of such a group, admits a finite complete rewriting system. We apply this to show that every finitely generated subgroup of a locally quasi-convex hyperbolic and virtually compact special group admits a finite complete rewriting system. This includes all one-relator groups with torsion (and all their finitely generated subgroups) and all hyperbolic fully residually free groups. Moreover, we show there is an algorithm that computes a finite complete rewriting system for any such group, given a presentation for its containing group and a finite list of generators for the subgroup. We also prove that for every compact three-manifold $M$, the group $π_1(M) \ast \mathbb{Z}$ admits a finite complete rewriting system. Furthermore, we show that the fundamental group of any compact three-manifold is autostackable and thus has a rational cross section and admits a bounded regular convergent prefix-rewriting system.

2026-07-08T14:56:24Z 18 pages Robert D. Gray Marco Linton http://arxiv.org/abs/2607.07424v1 2026-07-08T13:52:27Z

The free group of rank $2$ is the fundamental group of the genus $2$ handlebody $\mathcal{H}$. We study discrete representations of this group into $ \mathsf{PSL}(2,\mathbb{C}) $ so that three disjoint simple closed curves on the conformal boundary $\partial_\infty \mathcal{H} $ are sent to parabolic elements. We show that the only infinite covolume groups of this form are maximal cusp groups on the boundary of genus $2$ Schottky space. We also exhibit hitherto unexpected finite covolume groups which do not arise from Heegaard splitting presentations of tunnel number $1$ links.

2026-07-08T13:52:27Z 14 pages, 10 figures. Key words: two-bridge links, Kleinian groups, Heegaard splittings, tunnel number one links, maximal cusp groups, identification of matrix groups. Correspondence welcome Alex Elzenaar http://arxiv.org/abs/2607.07755v1 2026-07-08T13:51:11Z

This paper addresses the matrix Waring problem for matrices over finite principal local rings. Let $\mathcal{O}_{\ell}$ be a finite principal local ring of length $\ell$ with the maximal ideal $\mathfrak{m}$ and the residue field $\mathbb{F}_q = \mathcal{O}_\ell/\mathfrak{m}$. When $-1$ is a $k$-th power in $\mathbb{F}_q$ and the characteristic of $\mathbb{F}_q$ does not divide $k$, we show that for sufficiently large $q$, any matrix in $M_n(\mathcal{O}_\ell)$ can be expressed as a sum of two $k$-th powers. Furthermore, we establish that these two conditions are strictly necessary for the result to hold in general.

2026-07-08T13:51:11Z Ram Karan Choudhary Harish Kishnani Anupam Singh