Indecomposable solutions with permutation brace of size $p^3$ and permutation braces of small sizes

2026-07-10T18:37:21Z

Using the construction of Bachiller, Cedó and Jespers, we give a complete classification of the indecomposable involutive set-theoretic solutions to the Yang-Baxter equation whose permutation brace has size $p^3$, where p is an odd prime. We also give an algorithm for systematically producing all indecomposable involutive solutions with a given permutation brace, and use this to enumerate these with the permutation brace of size up to 107.

An Introduction to Geometric Group Theory

2026-07-10T17:21:43Z

This book provides a self-contained introduction to geometric group theory. The topics range from an introduction of Cayley and Schreier graphs to Gromov's theorem on groups of polynomial growth and amenability. We discuss the ping-pong lemma, quasi-isometries, growth of groups, hyperbolicity, and other related notions. The book is based on graduate courses and can be used for such a course or for independent study.

Determining subgroups via stationary measures

2026-07-10T16:38:44Z

In this paper, we consider random walks on the isometry groups of general metric spaces. Under some mild conditions, we show that if two non-elementary random walks on a discrete subgroup of the isometry group have non-singular stationary measures, then subgroups generated by the random walks are commensurable. This result in particular applies to Gromov hyperbolic spaces and Teichmüller spaces. As a specific application, we prove singularity between stationary measures associated to random walks on different fiber subgroups of the fundamental group of a hyperbolic 3-manifold fibering over the circle.

A guide to topological reconstruction on endomorphism monoids and polymorphism clones

2026-07-10T16:04:00Z

Various spaces of symmetries of a structure are naturally endowed with both an algebraic and a topological structure. For example, the automorphism group of a structure is, on top of being a group, a topological group when equipped with the topology of pointwise convergence. In some cases, the algebraic structure of such space alone is sufficiently rich to determine its topology (under some requirements on the topology). For automorphism groups, the problem of when this happens has been actively pursued over the last 40 years. With the exception of some early work of Lascar, the analogue of this problem for endomorphism monoids and polymorphism clones has only received attention in the past 15 years. In this guide, we survey the current state of affairs in this relatively young line of research. We moreover use this opportunity to polish several existing results and to extend them beyond what was hitherto known.

Uniform amenability at infinity

2026-07-10T12:08:41Z

We introduce the notion of uniform exactness, or uniform amenability at infinity, for discrete groups and prove it for a wide class of groups containing free groups and their limit groups. This shows a novel strong convergence phenomenon that any convergent sequence of such groups in the space of marked groups converges strongly in the operator algebraic sense. In particular, convergence of the spectral radius formula is uniform over probability measures on such groups whose supports have a fixed cardinality.

Masures associated with split Kac-Moody groups over valued fields

2026-07-10T11:54:26Z

Masures are generalizations of Bruhat-Tits buildings adapted to the study of Kac--Moody groups over valued fields. They were introduced by Gaussent and Rousseau in 2007. Rousseau defined an axiomatic for these object and we simplified it. In this paper, which is mainly expository, we construct the masure associated with a split Kac--Moody group over a valued field, and we prove that it satisfies our axiomatic.

Conjugacy in fibre products, distortion, and the geometry of cyclic subgroups

2026-07-10T11:36:18Z

We investigate the complexity of the conjugacy problem for fibre products in torsion-free hyperbolic groups. Let $G$ be a torsion-free hyperbolic group and let $P

Non-commutative Barge-Ghys quasimorphisms: an erratum

2026-07-10T09:31:55Z

This is an erratum to the paper ``Non-commutative Barge-Ghys quasimorphisms''. The effective version of Ambrose-Singer theorem used in this paper was mis-stated, making Theorem 3.11 false as stated. However, this statement remains true for a semidirect product $G=A\rtimes K$ of a non-compact Lie group with a compact Lie group $K$, as long as the curvature of the connection belongs to the Lie algebra of $K$. Theorems 3.12 and 3.22 remain true under this assumptions, the statements of Theorems 4.28 and 4.31 are modified accordingly. Theorem 5.2 is valid only for compact Lie groups.

The type I dichotomy for two-step nilpotent locally compact groups

2026-07-10T08:23:17Z

We address the type I dichotomy for two-step nilpotent locally compact groups. Invoking work of Baggett-Kleppner, we characterize the closed points of the unitary dual of such a group $G$ purely in terms of the group structure. An algebraic criterion characterizing when $G$ is a type I group is derived. We show that this criterion automatically holds if $G$ is a central extension of vector groups over a non-discrete locally compact field $k$ such that the commutator map is $k$-bilinear. As an application, we show that the unipotent radicals of minimal parabolics in simple algebraic groups of $k$-rank one are type I groups. We also discuss the type I dichotomy for $p$-torsion contraction groups, and exhibit, for each prime $p$, uncountably many pairwise non-isomorphic such groups that are not type I. This answers a recently posed question by the second author. Finally, we adapt a recent construction of Chirvasitu to obtain numerous examples of two-step nilpotent torsion locally compact groups that are not type I, but that embed as closed cocompact normal subgroups in two-step nilpotent groups that are type I.

McCleary--Rubin reconstruction for simple forest-skein groups

2026-07-10T08:20:23Z

A simple Ore forest-skein category produces three infinite groups analogous to Richard Thompson's groups F,T,V. We prove that reconstruction theorems of McCleary and Rubin apply to them: each of these groups encodes a canonical action by homeomorphisms. This provides powerful invariants that we use to distinguish infinitely many explicit simple groups that are finitely presented (of type $F_\infty$).

Finite gropus whose proper subgroups of order divisible by $p$ are supersolvable

2026-07-10T06:58:05Z

Let $p$ be an odd prime, and let $G$ be a finite group whose order is divisible by $p$. Suppose that every proper subgroup of $G$ whose order is divisible by $p$ is supersolvable, while $G$ itself is not. In this paper, we investigate the arithmetic and structural properties of such groups, addressing both the solvable and nonsolvable cases.

Central extensions and proper actions on products of hyperbolic spaces

2026-07-10T05:33:52Z

The main result of this paper identifies boundedness of the Euler class as the exact obstruction to preserving property QT under central extensions. For a central extension of groups $1\to Z\to E\to G\to 1$, we prove that $E$ has property QT if and only if $Z$ is finitely generated, $G$ has property QT, and the Euler class of the extension is bounded. This is achieved by using quasimorphisms as a bridge between central extensions and group actions. As applications, we show that mapping class groups of finite-type surfaces possibly with boundary, multicurve stabilizers, and outer automorphism groups of torsion-free one-ended hyperbolic groups have property QT. We also show that Sela's central extension description of the latter has a bounded Euler class. In addition, we introduce property PH, which is a weaker analogue of property QT related to locally uniform exponential growth of groups, and derive the same stability results under central extensions. We provide several examples with or without property PH. In particular, the fundamental group of a compact orientable $3$-manifold $M$ has property PH whenever no summand in the sphere-disk decomposition of $M$ supports Nil geometry.

A representation of range decreasing group homomorphisms

2026-07-10T05:16:30Z

The method of range decreasing group homomorphisms was first introduced in \cite{z23} and later generalized in \cite{z25}. This approach has proved effective for analyzing a broad class of weighted composition operators between mapping spaces, including holomorphic maps, group homomorphisms, linear maps, semigroup homomorphisms, Lie algebra homomorphisms and algebra homomorphisms. Previous work on range decreasing group homomorphisms has focused mainly on specific subsets of mapping groups. In this paper, we characterize range decreasing group homomorphisms on the entire mapping group. As applications, we identify all such group homomorphisms on certain mapping groups and classify a particular type of homomorphisms between mapping groups.

(Weak) Twisted post-groups, skew trusses and rings

2026-07-10T01:28:13Z

In an attempt to understand the origin of post groups introduced by C. Bai, L. Guo, Y. Sheng, R. Tang, from the perspective of rings, we introduce the notion of (weak) twisted post groups. First, we show that every element in a twisted post group is attached to a unique group and the twisted post group can be decomposed as the disjoint union of such groups. Next, we show the category of weak twisted post groups and the category of skew trusses are isomorphic, every two-sided twisted post group has the structure of two-sided skew braces. Furthermore, we prove that every abelian two-sided twisted post group is associated with a radical ring. Then we introduce the notion of twisted post Lie algebras, and study their algebraic properties. Indeed, we show that the differentiation of every twisted post Lie group is a twisted post Lie algebra. Finally, we linearize (weak) twisted post groups, and propose the notion of (weak) twisted post Hopf algebras. We show that every twisted post Hopf algebra gives rise to another Hopf algebra, called sub-adjacent Hopf algebra.

Finitely presented kernels of right-angled Artin groups with abelian quotients

2026-07-09T19:50:29Z

In this article, we characterise when the kernels of right-angled Artin groups with abelian quotients are finitely generated and finitely presented -- exhibiting an explicit finite generating set and finite presentation. As an application, we deduce the finite presentation of the kernel of any character of a right-angled Artin group. These results generalise the presentation of the kernel of a rational character of a right-angled Artin group given by Casals--Kazachkov--Roy and Dicks and Leary's presentations of Bestina--Brady groups.