https://arxiv.org/api/emLhTNzAmmLxwbekaYCjfTvy4tU 2026-03-22T08:51:36Z 25194 30 15 http://arxiv.org/abs/2603.16591v1 2026-03-17T14:38:05Z

If totally periodic points are dense in a subshift $X$, its automorphism group is residually finite. We show a weak converse: if periodic points are not dense in a subshift $X$, then the automorphism group of $X \times Y$ is not residually finite for full shifts $Y$ (and sufficiently full-shift-like subshifts). On the other hand, we show that the automorphism group of a block gluing $\Z^2$-subshift is always locally embeddable in finite groups (thus sofic). Hochman recently constructed a strongly irreducible $\Z^2$-subshift with no periodic points. Combining our result with this example gives a strongly irreducible $\Z^2$-subshift whose automorphism group is not residually finite, which solves a question of Coornaert and Ceccherini-Silberstein.

2026-03-17T14:38:05Z 27 pages, 5 figures Ville Salo http://arxiv.org/abs/2603.04197v2 2026-03-17T14:21:22Z

We exhibit two finitely generated residually finite groups $G$ and $H$ with isomorphic profinite completions $\widehat{G} \cong \widehat{H}$, such that $G$ is co-Hopfian while $H$ is not. The construction utilizes Wise's residually finite version of the Rips construction applied to a finitely presented acyclic group $U$ with trivial profinite completion and a strong universality property. A key feature of our approach is the construction of $H$ as a preimage subgroup of $G$ which is conjugate to a proper subgroup of itself. This renders the non-co-Hopfianity of $H$ immediate without requiring a detailed structural analysis of the Rips kernel.

2026-03-04T15:46:14Z 8 pages. Comments are welcome. We have corrected a minor error and added some references Hyungryul Baik Wonyong Jang http://arxiv.org/abs/2603.16498v1 2026-03-17T13:24:01Z

Let $G$ be a finite $p$-group and $δ(G)$ denote the number of all non-cyclic subgroups of $G$. In this paper, an upper bound for $δ(G)$ is obtained. Furthermore, we prove that $δ(G)\leq δ(M_p(1, 1, 1) \times C_{p}^{n-3})$ (if $p=2$, then $δ(G)\leq δ(D_8\times C_{2}^{n-3})$), for any non-elementary abelian $p$-group $G$ of order $p^n$.

2026-03-17T13:24:01Z 10pages Jia Liu Li Ma Wei Meng http://arxiv.org/abs/2603.16234v1 2026-03-17T08:21:10Z

For a surface group $π_1(Σ_g)=\langle c_1,\dots , c_{2g}\mid c_1\cdots c_{2g}c_1^{-1}\cdots c_{2g}^{-1}\rangle$ with genus $g\geq 2$, we provide an explicit bound $n-1\leq \mathrm{CL}(2n)=\mathrm{CL}(2n+1)\leq n+8g-1$ for the conjugator length function $\mathrm{CL}:\mathbb N\to\mathbb N$ of $π_1(Σ_g)$ via a detailed analysis of conjugation reductions.

2026-03-17T08:21:10Z 19 pages, 4 figures Ke Wang Qiang Zhang http://arxiv.org/abs/2504.18065v2 2026-03-17T02:32:34Z

Let $G$ be a finite group. In this paper, we first introduce a new notion, so-called the Mackey double category of $G$. Then we prove that the category of Mackey double categories and the category of Mackey functors of $G$ are equivalent.

2025-04-25T04:32:28Z There are some problems with the definition of Mackey double categories (Section 3.1) Mawei Wu http://arxiv.org/abs/2603.16022v1 2026-03-17T00:06:55Z

We study ergodic invariant random subgroups that give full measure to the subset of compact subgroups. We show that in real Lie groups, compactly generated $p$-adic Lie groups, locally compact hyperbolic groups and infinitely ended groups they are always contained in a compact normal subgroup. In general $p$-adic Lie groups, we show they are contained in the locally elliptic radical. In totally disconnected locally compact groups, we show they are contained in the intersection of all Levi subgroups of inner automorphisms.

2026-03-17T00:06:55Z Tal Cohen Helge Glöckner Gil Goffer Waltraud Lederle http://arxiv.org/abs/2301.00052v2 2026-03-16T22:05:59Z

We prove that an HNN extension of a torsion-free nilpotent group is left-orderable. We also construct examples of non-left-orderable HNN extensions of left-orderable groups

2022-12-30T20:41:15Z This is a slight extension of the original version Azer Akhmedov Cody Martin http://arxiv.org/abs/2603.15851v1 2026-03-16T19:32:33Z

In this paper, an effort is made to classify which prime character degree graphs having eight vertices occur for some finite solvable group. To approach this, we compile known results and constructions from the literature which are used to develop a general algorithm to begin classifying graphs of any order. We then apply the algorithm to the graphs of order eight. Of the 12,346 non-isomorphic graphs with eight vertices, 1,229 are disconnected and are fully classified. Meanwhile, 37 of the 11,117 non-isomorphic connected graphs are shown to occur; 34 of which are constructed via direct products and 3 of which have diameter three. Fifty-six graphs are shown not to occur, several of which fall into previously studied families, while the classification of 206 graphs is still unknown.

2026-03-16T19:32:33Z 38 pages, 23 figures Mark L. Lewis Andrew Summers http://arxiv.org/abs/2603.15813v1 2026-03-16T18:44:09Z

In 1878 Camille Jordan showed that every finite subgroup $G\le\text{GL}_n(\mathbb C)$ has an abelian normal subgroup $A$ such that $\lvert G/A\rvert$ is bounded in terms of $n$, but he did not give an explicit bound. An explicit bound was obtained by Blichfeldt in a series of papers beginning in 1904, using representation-theoretic methods. In 1911 Bieberbach gave a geometric proof, which is quite different from the approaches of Jordan and Blichfeldt, together with an explicit bound. Frobenius simplified this proof in the same year, and the resulting argument is still the simplest known. We present a self-contained and streamlined variant of Frobenius's argument, yielding the bound $\lvert G/A\rvert\le25^{n^2}$.

2026-03-16T18:44:09Z 7 pages Peter Müller http://arxiv.org/abs/2603.15529v1 2026-03-16T16:55:31Z

We introduce the annex of an element $x$ in a Coxeter group as the set of elements $y$ such that $x \nleq y$ with respect to Bruhat order. This notion provides a complementary perspective to the study of Bruhat intervals and their interpretation via folded galleries. We establish general properties of annexes and show that in affine Coxeter groups the annex of any fixed element is finite. In rank-two affine Coxeter complexes, we further describe the geometric structure of annex boundaries using descent sets and configurations of parallel reflections. These results offer a new geometric viewpoint on the structure of the Bruhat order.

2026-03-16T16:55:31Z 27 pages, 6 figures, comments welcome Megan Masters http://arxiv.org/abs/2603.15464v1 2026-03-16T16:01:28Z

We construct two families of examples of pro-p groups, with rather elementary presentations, that do not complete into 1-cyclotomic oriented pro-p groups. These provide brand new examples of pro-p groups that do not occur as maximal pro-p Galois groups of fields containing a root of unity of order p - and thus, as absolute Galois groups. Moreover, we show that these pro-p groups may not be ruled out as maximal pro-p Galois groups employing other cohomological properties that are known to hold for all maximal pro-p Galois groups, such as the triple Massey vanishing property, or the quadraticity of Fp-cohomology.

2026-03-16T16:01:28Z Simone Blumer Claudio Quadrelli http://arxiv.org/abs/2402.08121v2 2026-03-16T14:16:56Z

Let $\mathbb{G}$ be a compact Hausdorff group acting on a compact Hausdorff space $X$, $α$ an irreducible $\mathbb{G}$-representation, and $C(X)$ the $C^*$-algebra of complex-valued continuous functions on $X$. We prove that the isotypic component $C(X)_α$ is finitely generated as a module over the invariant subalgebra $C(X/\mathbb{G})\subseteq C(X)$ precisely when the map sending $x\in X$ to the dimension of the space of vectors in $α$ invariant under the isotropy group $\mathbb{G}_x$ is locally constant. This (a) specializes back to an observation of De Commer-Yamashita equating the finite generation of all $C(X)_α$ with the Vietoris continuity of $x\mapsto \mathbb{G}_x$, and (b) recovers and extends Watatani's examples of infinite-index expectations resulting from non-free finite-group actions. We also show that the action of a compact group $\mathbb{G}$ on the maximal equivariant compactification on the disjoint union of its Lie-group quotients has tubes about all orbits precisely when $\mathbb{G}$ is Lie. This is the converse (via a canonical construction) of the well-known fact that actions of compact Lie groups on Tychonoff spaces admit tubes.

2024-02-12T23:31:18Z v2 updates acknowledgments and implements a number of other small changes following referee comments; to appear in Studia Mathematica; 11 pages + references Alexandru Chirvasitu http://arxiv.org/abs/2603.15314v1 2026-03-16T14:08:32Z

We classify the Artin groups that admit retractions onto all of their parabolic subgroups. Our approach relies on a detailed analysis of triangular subgroups, with a key ingredient being the classification of homomorphisms between dihedral Artin groups that map one of the standard generators to a standard generator. As a consequence, we show that whenever an Artin group admits retractions to parabolic subgroups, it also admits ordinary ones - that is, retractions that send each standard generator either to a standard generator or to the identity.

2026-03-16T14:08:32Z 21 pages, 3 figures Bruno Aarón Cisneros de la Cruz María Cumplido Islam Foniqi Luis Paris http://arxiv.org/abs/2412.05985v2 2026-03-16T13:39:25Z

In previous work, all finite simple groups that act with fixity 4 have been classified. In this article we investigate which ones of these groups act faithfully on a compact Riemann surface of genus at least 2 with fixity four in total and in such a way that fixity 4 is exhibited on at least one orbit. This is an extended version of the submitted article, including our GAP code.

2024-12-08T16:14:30Z Patrick Salfeld Rebecca Waldecker http://arxiv.org/abs/2603.15264v1 2026-03-16T13:31:20Z

We show that any universal quasigeodesic cone of uniformly coarse median spaces admits a canonical coarse median structure. As an application, we recover a result of Bowditch which states that any hierarchically hyperbolic space admits a coarse median structure compatible with the projections to the hyperbolic factor spaces.

2026-03-16T13:31:20Z 12 pages Robert Tang