https://arxiv.org/api/HsOT6TOR9vVQR+L6iR8RwrTCegQ2026-03-18T08:49:04Z25182015http://arxiv.org/abs/2603.16819v1Inadmissible representations of the tree automorphism group2026-03-17T17:22:16ZThe 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:16ZNicolas Monodhttp://arxiv.org/abs/2603.16814v1Revisiting fully residually free Demushkin groups2026-03-17T17:18:09ZWe 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:09Z10 pages. Comments are welcome!Henrique SouzaPavel Zalesskiihttp://arxiv.org/abs/2501.03900v2Realising VCD for untwisted automorphism groups of RAAGs2026-03-17T17:06:26ZThe 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:53Zv2: minor changes, incorporating referee comments. 37 pages, 13 figures. Final version, only differs stylistically from journal version. To appear in Geometriae DedicataGabriel Corriganhttp://arxiv.org/abs/2603.16774v1Tree-like is not a transitive relation on paths2026-03-17T16:51:58ZThe 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:58ZJeremy BrazasGregory R. ConnerPaul FabelCurtis Kenthttp://arxiv.org/abs/2603.16771v1Commuting probability of skew left braces2026-03-17T16:48:18ZWe 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:18Z19 pages, comments highly welcomeSusanta MondalManoj K. Yadavhttp://arxiv.org/abs/2603.16763v1Coherent RFRS groups2026-03-17T16:43:39ZWe 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:39Z30 pages; Primary article by Sam P. Fisher and Pablo Sánchez-Peralta with an appendix by Marco LintonSam P. FisherMarco LintonPablo Sánchez-Peraltahttp://arxiv.org/abs/2508.02367v2Irreducible representations of tree automorphism groups into Pontryagin spaces2026-03-17T16:36:24ZLet 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:21Z37 pagesFederico Violahttp://arxiv.org/abs/2603.16674v1Profinite detection of free products and free factors2026-03-17T15:38:56ZLet $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:56Z26 pages. Comments are welcome!Andrei Jaikin-ZapirainHenrique SouzaPavel Zalesskihttp://arxiv.org/abs/2603.16591v1Periodic points and residual finiteness of automorphism groups of subshifts2026-03-17T14:38:05ZIf 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:05Z27 pages, 5 figuresVille Salohttp://arxiv.org/abs/2603.04197v2Co-Hopfianity is not a profinite property2026-03-17T14:21:22ZWe 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:14Z8 pages. Comments are welcome. We have corrected a minor error and added some referencesHyungryul BaikWonyong Janghttp://arxiv.org/abs/2603.16498v1On the number of non-cyclic subgroups of finite p-groups2026-03-17T13:24:01ZLet $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:01Z10pagesJia LiuLi MaWei Menghttp://arxiv.org/abs/2603.02808v2A classification of rotary embeddings of multicycles2026-03-17T12:59:54ZWe classify rotary (orientably-regular) maps whose underlying graphs are multicycles. For the multicycle $\mathrm{C}_n^{(λ)}$ of length $n$ and edge-multiplicity $λ$, we determine all rotary embeddings for $n\geqslant 3$ and $λ\geqslant 2$. When $n$ is odd, there is a unique isomorphism class; when $n$ is even, the embeddings form a family $\mathcal{M}_n^{(λ)}(i,j)$ parameterized by integer pairs $(i,j)$ satisfying explicit congruence conditions.2026-03-03T09:52:25ZThe authors have recently discovered that K. Hu et al. have classified orientably regular embeddings of multicycles. Although their result has been established, our approach differs from theirs. The authors are currently considering whether it is necessary to withdraw the studyZhaochen DingZheng GuoLuyi Liuhttp://arxiv.org/abs/2603.16234v1An Explicit Bound for the Conjugator Length Function of a Surface Group2026-03-17T08:21:10ZFor 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:10Z19 pages, 4 figuresKe WangQiang Zhanghttp://arxiv.org/abs/2504.18065v2Mackey functors from the viewpoint of double category theories2026-03-17T02:32:34ZLet $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:28ZThere are some problems with the definition of Mackey double categories (Section 3.1)Mawei Wuhttp://arxiv.org/abs/2603.16022v1Compact Invariant Random Subgroups2026-03-17T00:06:55ZWe 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:55ZTal CohenHelge GlöcknerGil GofferWaltraud Lederle