https://arxiv.org/api/IWgsrbWuS0RV9KPgHG1BU2uTkyE 2026-03-24T08:24:05Z 25208 105 15 http://arxiv.org/abs/2603.11529v1 2026-03-12T04:31:13Z

This paper is a continuation of the author's companion work \cite{InoueQuasi} on Haar-type measures for topological quasigroups, where the quasigroup setting was analyzed in connection with Kunen's theorem. We extend that framework to locally compact topological loops and study Haar-type (quasi-invariant) Radon measures together with modular cocycles describing the distortion of such measures under translations. Unlike the classical group case, the composition of translations in a loop is affected by the failure of associativity, which produces an additional correction term governed by an associativity deviation map. We derive the resulting cocycle relation and show that loop identities, in particular Moufang- and Kunen-type identities, impose structural restrictions on the modular data. In the associative limit, the cocycle reduces to the classical modular function of a locally compact group.

2026-03-12T04:31:13Z 16 pages, 2 figures. Continuation of the author's companion paper "Haar-Type Measures on Topological Quasigroups and Kunen's Theorem." The paper develops a modular cocycle framework for Haar-type (quasi-invariant) measures on locally compact topological loops and studies structural constraints imposed by Moufang- and Kunen-type identities Takao Inoué http://arxiv.org/abs/2603.11359v1 2026-03-11T22:47:31Z

We determine the special values at positive integers of the spectral zeta function associated with the combinatorial Laplacian on the regular tree. These values admit explicit formulas in terms of certain polynomials, which we show to be palindromic and to have non-negative integer coefficients with a combinatorial interpretation. Along the way, we uncover unexpected symmetries between the values of the zeta function at negative and positive integers, expressed at the level of their generating functions. Using these symmetries, we ultimately establish a functional equation of the type \( s \longleftrightarrow 1-s \) for a natural completion of the zeta function.

2026-03-11T22:47:31Z 15 pages,3 figures Dylan Müller http://arxiv.org/abs/2406.14667v2 2026-03-11T21:19:37Z

Given a hyperbolic group $G$ and a maximal infinite cyclic subgroup $\langle g \rangle$, we define a {\it drilling of $G$ along $g$}, which is a relatively hyperbolic group pair $(\widehat{G}, P)$. This is inspired by the well-studied procedure of drilling a hyperbolic $3$--manifold along an embedded geodesic. We prove that, under suitable conditions, a hyperbolic group with $2$-sphere boundary admits a drilling where the resulting relatively hyperbolic group pair $(\widehat{G}, P)$ has relatively hyperbolic boundary $S^2$. This allows us to reduce the Cannon Conjecture (in the residually finite case) to a relative version, which is likely to be more tractable.

2024-06-20T18:36:12Z 83 pages, 2 figures. v2: Introduction rewritten, various other small corrections. Note that the letter-labelled main results have been rearranged and therefore changed labels Daniel Groves Peter Haïssinsky Jason F. Manning Damian Osajda Alessandro Sisto Genevieve S. Walsh http://arxiv.org/abs/2603.11309v1 2026-03-11T21:09:04Z

Rosenmann and Ventura asked "What is the right definition of dependence of subgroups for general groups?". Here we aim to answer this question and generalise the notion first used by Rosemann. We consider a definition of subgroup independence which is a special case of a category-theoretic one. It is that: Two subgroups of a group are independent if and only if any two endomorphisms, one acting on each subgroup, can be extended to an endomorphism of the group generated by these subgroups. This definition helps to illuminate that the usual condition of almost disjointness of subgroups (two subgroups $A$ and $B$ are almost disjoint if and only if $A \cap B = \{e\}$, where $e$ is the identity element) is not enough to force independence and here we find necessary and (different) sufficient conditions for subgroup independence. The aim of this note is to introduce this general notion of subgroup independence to the group theory community and to pose the open question of its characterisation. We present the partial results known up to this point. Moreover, we use the progress made so far to give a heuristic algorithm that decides subgroup independence for many cases.

2026-03-11T21:09:04Z Alexa Gopaulsingh http://arxiv.org/abs/2603.12295v1 2026-03-11T18:25:53Z

Consider the power map $x\mapsto x^L$ for a prime $L\neq 2$ such that $L|q-1$ where $q$ is a power of a prime. We determine the periodic points under this map for $\operatorname{M}_n(q)$, the algebra of $n\times n $ matrices over a finite field of order $q$, and also for the group $\operatorname{GL}_n(q)=\operatorname{M}_n(q)^\times$. We compute the limit $ \lim\limits_{\substack{q\longrightarrow \infty\\v_L(q-1)=c}}\dfrac{\left|\operatorname{Per}(x^L,\operatorname{M}_\ell(q))\right|}{|\operatorname{M}_\ell(q)|}$ and consequently $\lim\limits_{\substack{q\longrightarrow \infty v_L(q-1)=c}}\dfrac{\left|\operatorname{Per}(x^L,\operatorname{GL}_\ell(q))\right|}{|\operatorname{GL}_\ell(q)|}$, where $v_L$ denotes the $L$-adic valuation. We also compute the quantity $\lim\limits_{\substack{q\longrightarrow \infty v_L(q-1)=c}}\dfrac{\left|\operatorname{Per}(x^L,\operatorname{Sp}_{2\ell}(q))\right|}{|\operatorname{Sp}_{2\ell}(q)|}$ and $\lim\limits_{\substack{q\longrightarrow \infty v_L(q-1)=c}}\dfrac{\left|\operatorname{Per}(x^L,\operatorname{U}_\ell(q))\right|}{|\operatorname{U}_\ell(q)|}$; turns out these two limiting values are same. In all the cases, it turns out that the regular semisimple elements play the role in determining the limiting values.

2026-03-11T18:25:53Z Preliminary version: 16 pages. Comments are always welcome! Saikat Panja http://arxiv.org/abs/2601.19772v2 2026-03-11T16:11:25Z

We record a folklore theorem that says a partial group embeds in a group if and only if each word has at most one possible multiplication, regardless of choice of parenthesization. We further investigate the partial groups which are exemplars of non-embeddability. Finally we show that a partial groupoid embeds in a groupoid if and only if its reduction embeds in a group.

2026-01-27T16:36:07Z 13 pages. v2: add alternate characterization of degree of universal counterexamples to section 3 (and other minor adjustments) Philip Hackney Justin Lynd Edoardo Salati http://arxiv.org/abs/2512.24266v2 2026-03-11T15:23:42Z

We establish several results on the word problem for just infinite groups. First, for finitely generated just infinite groups we show that the word problem is uniformly decidable for presentations with recursively enumerable sets of relations. Our proof does not use the Wilson--Grigorchuk theorem on the classification of just infinite groups and proceeds directly from the definition, using ideas from classical results on decidability of the word problem: Kuznetsov's theorem and Dyson--Mostowski theorem. For countably generated presentations of just infinite groups with a recursively enumerable set of relations we show that in most cases the word problem is decidable. These cases include all just infinite groups which are not locally finite and (more generally) the case when there exists an algorithm enumerating an infinite set of distinct elements. Finally, we construct presentations of countably generated locally finite groups with recursively enumerable set of relations, for which the word problem is undecidable. Yet, there exist other presentations of these groups, for which the word problem is decidable.

2025-12-30T14:39:20Z 10 pages. The paper has been significantly expanded by results for countably generated just infinite groups Alexey Talambutsa http://arxiv.org/abs/2603.10759v1 2026-03-11T13:34:48Z

Let $χ$ be a subgroup-theoretical property. We introduce an \emph{antichain condition} $\operatorname{ac}_χ$ which forbids the existence of infinite antichains of mutually permutable non-$χ$ subgroups whose infinite joins remain non-$χ$. This is a ''width'' analogue of the real chain condition on non-$χ$ subgroups, and it extends the usual hierarchy of weak chain conditions (double chain condition, deviation, and $\operatorname{RCC}$). Our main results show that, within the universe of generalized radical groups, the antichain condition is as rigid as the corresponding chain conditions. For the properties $χ$ of normality, almost normality, near normality, permutability, modularity, and pronormality, we prove that a generalized radical group satisfies $\operatorname{ac}_χ$ if and only if it satisfies $\operatorname{RCC}$ on non-$χ$ subgroups; equivalently, it satisfies any of the standard weak chain conditions on non-$χ$ subgroups. In particular, we obtain minimax-type dichotomies: either the group is minimax, or \emph{every} subgroup satisfies $χ$. This yields characterizations in terms of Dedekind groups, quasi-Hamiltonian groups, groups with modular subgroup lattice, and $\overline{T}$-groups. In the pronormal case, one has to deal with locally finite simple groups and a use of the Classification of Finite Simple Groups seems unavoidable.

2026-03-11T13:34:48Z Mattia Brescia Bernardo Di Siena Alessio Russo http://arxiv.org/abs/2601.15266v2 2026-03-11T13:28:50Z

Given finite groups $H \leq G$, a representation $σ$ of $G$ is called center-preserving on $H$ if the only elements of $H$ that become central under $σ$ are those that were already central in $G$. We prove that if $H$ has a faithful irreducible representation $ρ$, then at least one of the irreducible components of the induction $\operatorname{Ind}_H^G(ρ)$ is center-preserving on $H$. In consequence, $H$ has a faithful irreducible representation if and only if every finite group $G$ containing $H$ as a subgroup has an irreducible representation whose restriction to $H$ is faithful, and which is center-preserving on $H$. In addition, we give examples illustrating the sharpness of the statement, and discuss the connection with projective representations.

2026-01-21T18:49:08Z 19 pages. This second version includes minor corrections and improvements. Comments are welcome Pierre-Emmanuel Caprace Geoffrey Janssens François Thilmany http://arxiv.org/abs/2603.11116v1 2026-03-11T13:18:36Z

Let $G\curvearrowright T$ be a minimal action on an $\mathbb{R}$--tree with $G$ finitely presented. Assuming that $G$ is accessible over the family of arc-stabilisers of $T$, we give a description of the point-stabilisers of $T$ in terms of simplicial trees. In particular, these point-stabilisers are finitely generated. This has applications to the study of automorphisms of right-angled Artin groups and special groups.

2026-03-11T13:18:36Z 16 pages; previously an appendix to arXiv:2501.12321, split off at the editor's request for separate publication Elia Fioravanti http://arxiv.org/abs/2408.03879v4 2026-03-11T13:17:25Z

Let $G$ be a group. Associate a directed graph (called the Engel digraph of $G$) with $G$ whose vertex set is $G$, with an arc $(x,y)$ if $[y, {}_k x]=1$ for some positive integer $k$, where $[y,{}_kx]$ is the iterated commutator $[y,x,x,\ldots,x]$, with $k$ terms $x$ in the expression. From this we define the Engel graph by ignoring directions; the co-Engel graph is its complement. The co-Engel graph, under the name ``Engel graph'', was introduced by Abdollahi. However, the name we use is more natural. We begin with some general results about the Engel digraph and graph, before turning our attention to the co-Engel graph. Among other things, we show that (unlike what happens for the power graph) the undirected Engel graph does not determine the directed version up to isomorphism, though counterexamples seem to be fairly rare: there are just two orders less than $100$ for which this happens. The isolated vertices of the co-Engel graph form the set $L(G)$ be the set of all left Engel elements of $G$. In a finite group $G$, $L(G)$ is the Fitting subgroup of $G$ (a result of Abdollahi). We realize the induced subgraph of co-Engel graphs of certain finite non-Engel groups $G$ induced by $G \setminus L(G)$. The reduced co-Engel graph is obtained by deleting the isolated vertices. We compute genus, various spectra, energies and Zagreb indices of the reduced co-Engel graphs for those groups. As a consequence, we determine (up to isomorphism) all finite non-Engel group $G$ such that the clique number of the co-Engel graph is at most $4$ and the graph is toroidal or projective. Further, we show that the graph is super integral and satisfies the E-LE conjecture and the Hansen--Vuki{č}evi{ć} conjecture for the groups considered in this paper.

2024-08-07T16:28:35Z Peter J. Cameron Rishabh Chakraborty Rajat Kanti Nath Deiborlang Nongsiang http://arxiv.org/abs/2603.11115v1 2026-03-11T13:16:22Z

Let $G$ be a finitely generated group with an automorphism $\varphi\in{\rm Aut}(G)$, or an outer automorphism $φ\in{\rm Out}(G)$. Suppose that $G$ decomposes into simpler pieces on which the growth behaviour of $\varphi$ and $φ$ is known, particularly as a direct product, free product, or graph of groups. This article is devoted to the (often not entirely straightforward) problem of deducing information about the growth rates of $\varphi$ and $φ$ on the whole $G$.

2026-03-11T13:16:22Z 15 pages; previously an appendix to arXiv:2501.12321, split off at the editor's request for separate publication Elia Fioravanti http://arxiv.org/abs/2501.12321v2 2026-03-11T12:53:14Z

We study the speed of growth of iterates of outer automorphisms of virtually special groups, in the Haglund-Wise sense. We show that each automorphism grows either polynomially or exponentially, and that its stretch factor is an algebraic integer. For coarse-median preserving automorphisms, we show that there are only finitely many growth rates and we construct an analogue of the Nielsen-Thurston decomposition of surface homeomorphisms. These results are new already for right-angled Artin groups. However, even in this particular case, the proof requires studying automorphisms of arbitrary special groups in an essential way. As results of independent interest, we show that special groups are accessible over centralisers, and we construct a canonical JSJ decomposition over centralisers. We also prove that, for any virtually special group $G$, the outer automorphism group ${\rm Out}(G)$ is boundary amenable, satisfies the Tits alternative, and has finite virtual cohomological dimension.

2025-01-21T17:41:51Z 74 pages, abridged version without the appendices, which will be published separately; to appear in Duke Math. J Elia Fioravanti http://arxiv.org/abs/2603.10719v1 2026-03-11T12:50:35Z

A complex matrix is called \emph{coninvolutory} if $T\overline{T}=I$. In this paper, we study decompositions of affine transformations in $\mathrm{Aff}(n,\mathbb{C})=\mathrm{GL}(n,\mathbb{C})\ltimes \mathbb{C}^n$ into products of coninvolutions. We prove that an affine transformation $g$ is a product of two coninvolutions in $\mathrm{Aff}(n,\mathbb{C})$ if and only if its linear part $L(g)$ is $c$-reversible; that is, $L(g)$ is conjugate to $\overline{L(g)}^{-1}$ in $\mathrm{GL}(n,\mathbb{C})$. Equivalently, $g$ is conjugate to $\overline{g}^{-1}$ in $\mathrm{Aff}(n,\mathbb{C})$. We further characterize elements that are products of three coninvolutions via consimilarity and show that every $g=(A,v)\in \mathrm{Aff}(n,\mathbb{C})$ with $|\det(A)|=1$ can be expressed as a product of at most four coninvolutions.

2026-03-11T12:50:35Z 14 pages Sandipan Dutta Krishnendu Gongopadhyay Rahul Mondal http://arxiv.org/abs/2504.17831v3 2026-03-11T10:40:24Z

We give a cohomological criterion for certain decomposition of Borel graphs, which is an analog of Dunwoody's work on accessibility of groups. As an application, we prove that a Borel graph $(X,G)$ with uniformly bounded degrees of cohomological dimension one is Lipschitz equivalent to a Borel acyclic graph on $X$. This gives a new proof of a result of Chen-Poulin-Tao-Tserunyan on Borel graphs with components quasi-isometric to trees.

2025-04-24T10:47:47Z Introduction is updated Hiroki Ishikura