Fixing two points in primitive solvable groups

2025-04-19T18:13:20Z

Consider a finite primitive solvable group. We observe that a result of Y. Yang implies that there exist two points whose pointwise stabilizer has derived length at most $9$. We show that, if the group has odd cardinality, then there exist two points whose pointwise stabilizer is abelian.

The Diophantine problem in isotropic reductive groups

2025-04-19T17:40:22Z

We begin to study model-theoretic properties of non-split isotropic reductive group schemes. In this paper we show that the base ring $K$ is e-interpretable in the point group $G(K)$ of every sufficiently isotropic reductive group scheme $G$. In particular, the Diophantine problems in $K$ and $G(K)$ are equivalent. We also compute the centralizer of the elementary subgroup of $G(K)$ and the common normalizer of all its root subgroups.

Finite groups with few subgroups not in the Chermak-Delgado lattice

2025-04-19T16:27:24Z

For a finite group G, we denote by v(G) the number of conjugacy classes of subgroups of G not in CD(G). In this paper, we determine the finite groups G such that v(G)=1,2,3.

Endocabling of involutive solutions to the Yang-Baxter equation, with an application to solutions whose diagonal is a cyclic permutation

2025-04-19T16:10:06Z

In this article, we introduce endocabling as a technique to deform involutive, non-degenerate set-theoretic solutions to the Yang-Baxter equation (``solutions'', for short) by means of $\lambda$-endomorphisms of their associated permutation brace, thus generalizing the cabling method by Lebed, Vendramin and Ram\'{i}rez. In the first part of the article, we define endocabling and investigate the behaviour of solutions and their invariants under endocabling. In the second part, we apply our findings to solutions of size $n$ whose diagonal map is an $n$-cycle: we will prove that solutions with this property whose size is an odd prime power, are of finite multipermutation level. Furthermore, solutions with this property whose size is a power of $2$, will be proven either to be of finite multipermutation level or to admit an iterated retraction onto a unique solution of size $4$. We formulate our results in the language of cycle sets.

Cyclicity, hypercyclicity and randomness in self-similar groups

2025-04-19T15:22:19Z

We introduce the concept of cyclicity and hypercyclicity in self-similar groups as an analogue of cyclic and hypercyclic vectors for an operator on a Banach space. We derive a sufficient condition for cyclicity of non-finitary automorphisms in contracting discrete automata groups. In the profinite setting we prove that fractal profinite groups may be regarded as measure-preserving dynamical systems and derive a sufficient condition for the ergodicity and the mixing properties of these dynamical systems. Furthermore, we show that a Haar-random element in a super strongly fractal profinite group is hypercyclic almost surely as an application of Birkhoff's ergodic theorem for free semigroup actions.

Branch actions and the structure lattice

2025-04-19T15:11:33Z

J. S. Wilson proved in 1971 an isomorphism between the structural lattice associated to a group belonging to his second class of groups with every proper quotient finite and the Boolean algebra of clopen subsets of Cantor's ternary set. In this paper we generalize this isomorphism to the class of branch groups. Moreover, we show that for every faithful branch action of a group $G$ on a spherically homogeneous rooted tree $T$ there is a canonical $G$-equivariant isomorphism between the Boolean algebra associated with the structure lattice of $G$ and the Boolean algebra of clopen subsets of the boundary of $T$.

Graphical models for topological groups: A case study on countable Stone spaces

2025-04-19T13:22:18Z

By analogy with the Cayley graph of a group with respect to a finite generating set or the Cayley--Abels graph of a totally disconnected, locally compact group, we detail countable connected graphs associated to Polish groups that we term Cayley--Abels--Rosendal graphs. A group admitting a Cayley--Abels--Rosendal graph acts on it continuously, coarsely metrically properly and cocompactly by isometries of the path metric. By an expansion of the Milnor--Schwarz lemma, it follows that the group is generated by a coarsely bounded set and the group equipped with a word metric with respect to a coarsely bounded generating set and the graph are quasi-isometric. In other words, groups admitting Cayley--Abels--Rosendal graphs are topological analogues of finitely generated groups. Our goal is to introduce this topological perspective on the work of Rosendal to a geometric group theorist. We apply these concepts to homeomorphism groups of countable Stone spaces. We completely characterize when these homeomorphism groups are coarsely bounded, when they are locally bounded (all of them are), and when they admit a Cayley--Abels--Rosendal graph, and if so produce a coarsely bounded generating set.

A uniform Tits alternative for endomorphisms of the projective line

2025-04-19T11:09:44Z

A recent article of J.P. Bell, K. Huang, W. Peng and T.J. Tucker establishes an analog of the Tits alternative for semigroups of endomorphisms of the projective line. The proof involves a ping-pong argument on arithmetic height functions. Extending this method, we obtain a uniform version of the same alternative. In particular, we show that semigroups of $\mathrm{End}(\mathbb{P}^{1})$ of exponential growth are of uniform exponential growth.

Linear maps preserving product of involutions

2025-04-19T06:25:39Z

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

Some questions related to free-by-cyclic groups and tubular groups

2025-04-19T05:44:31Z

We prove that a CAT(0) free-by-cyclic tubular group with one vertex is virtually special, but many of them cannot virtually act freely and cocompactly on CAT(0) cube complexes. This partially confirms a question of Brady--Soroko \cite[Section 9: Question 1]{BS} and answers a question of Lyman \cite[Question 1]{Ly} in the negative. Furthermore, we provide examples of free-by-cyclic groups amalgamated along cyclic subgroups that are not virtually free-by-cyclic. This answers negatively a question of Hagen--Wise \cite[Remark 3.6]{hw}. Lastly, we exhibit an example of a cyclic-subgroup-separable tubular group that does not have the property (VRC) (i.e. every cyclic subgroup is a virtual retract). This answers a question of Minasyan \cite[Question 11.6]{min} in the negative.

Automorphisms and opposition in spherical buildings of exceptional type, V: The $\mathsf{E}_8$ case

2025-04-19T05:04:47Z

An automorphism of a spherical building is called \textit{domestic} if it maps no chamber to an opposite chamber. In previous work the classification of domestic automorphisms in large spherical buildings of types $\mathsf{F}_4$, $\mathsf{E}_6$, and $\mathsf{E}_7$ have been obtained, and in the present paper we complete the classification of domestic automorphisms of large spherical buildings of exceptional type of rank at least~$3$ by classifying such automorphisms in the $\mathsf{E}_8$ case. Applications of this classification are provided, including Density Theorems showing that each conjugacy class in a group acting strongly transitively on a spherical building intersects a very small number of $B$-cosets, with $B$ the stabiliser of a fixed choice of chamber.

On minimal shapes and topological invariants in hyperbolic lattices

2025-04-18T21:12:59Z

We characterize the set of finite shapes with minimal perimeter on hyperbolic lattices given by regular tilings of the hyperbolic plane whose tiles are regular $p$-gons meeting at vertices of degree $q$, with $1/p+1/q<\frac{1}{2}$. The main tool is a layer decomposition due to Rietman--Nienhuis--Oitmaa and Moran, which allows us to prove convergence towards the Cheeger constant when these shapes exhaust the lattice. Furthermore, we apply a celebrated result of Floyd--Plotnick, which will allow us to compute the Euler characteristic for these graphs in terms of certain growth functions and the number of $n$-sized animals on those lattices.

Small cancellation groups are bi-exact

2025-04-18T20:06:38Z

We prove that finitely generated (not necessarily finitely presented) $C'(\frac{1}{33})$-groups are bi-exact. This is a new class of bi-exact groups.

On dissociated infinite permutation groups

2025-04-18T20:05:19Z

The goal of this paper is threefold. First, we describe the notion of dissociation for closed subgroups of the group of permutations on a countably infinite set and explain its numerous consequences on unitary representations (classification of unitary representations, Property (T), Howe-Moore property, etc.) and on ergodic actions (non-existence of type III non-singular actions, Stabilizer rigidity, etc.). Some of the results presented here are new, others were proved in different contexts. Second, we introduce a new method to prove dissociation. It is based on a reinforcement of the classical notion of strong amalgamation, where we allow to amalgamate over countable sets. Third, we apply this technique of amalgamation to provide new examples of dissociated closed permutation groups, including isometry groups of some metrically homogeneous graphs, automorphism groups of diversities, and more.

Gromov's Conjecture for Product of Baumslag-Solitar groups and some other One-relator groups

2025-04-18T15:18:43Z

We show that Baumslag-Solitar groups are virtually 2-avoidable, that is, they admit finite index subgroup whose first homology is devoid of $\mathbb{Z}_2$ summand. We also prove virtual 2-avoidability for some other classes of one-relator groups, which generalizes non-orientable surface groups. This along with result from a previous paper confirms Gromov's Conjecture about macroscopic dimension of universal cover of PSC manifolds, for all closed oriented spin manifolds whose fundamental group is product of Baumslag-Solitar groups, the one-relator groups under consideration.