https://arxiv.org/api/0G2WML1X/LW0bBwB+ofnivlTeXE 2026-03-22T13:24:34Z 25194 75 15 http://arxiv.org/abs/2412.09227v3 2026-03-12T13:34:18Z

In this article, we discuss the notion of partition of elements in an arbitrary Coxeter system $(W,S)$: a partition of an element $w$ is a subset $\mathcal P\subseteq W$ such that the left inversion set of $w$ is the disjoint union of the left inversion set of the elements in $\mathcal P$. Partitions of elements of $W$ arises in the study of the Belkale-Kumar product on the cohomology $H^*(X,\mathbb Z)$, where $X$ is the complete flag variety of any complex semi-simple algebraic group. Partitions of elements in the symmetric group $\mathcal S_n$ are also related to the {\em Babington-Smith model} in algebraic statistics or to the simplicial faces of the Littlewood-Richardson cone. We state the conjecture that the number of right descents of $w$ is the sum of the number of right descents of the elements of $\mathcal P$ and prove that this conjecture holds in the cases of symmetric groups (type $A$) and hyperoctahedral groups (type $B$).

2024-12-12T12:34:38Z 31 pages, 1 figure v2: The statement of Conjecture 3 had a typo that is corrected in this version. v3: 33p to appear in Algebraic Combinatorics Christophe Hohlweg Viviane Pons http://arxiv.org/abs/2603.11833v1 2026-03-12T11:59:24Z

This paper provides a preparatory introduction to torsors, written with a view toward later applications in the author's work. Rather than aiming at a comprehensive survey, the exposition focuses on those aspects of torsors that are most useful for understanding torsor-based reasoning: group actions, orbits, free transitive actions, the absence of a canonically chosen origin, and the interpretation of group elements as transports between points. After developing the basic definition and several elementary examples, we emphasize a central theme: torsors are not only characterized abstractly by free transitive group actions, but also arise naturally as objects obtained by gluing local trivial pieces by means of transition data satisfying cocycle conditions. A brief optional section indicates a sheaf- and topos-theoretic perspective. In the final part, we explain how these ideas prepare the ground for later conceptual applications, including aspects of $Σ$-protocols.

2026-03-12T11:59:24Z 49 pages. Lecture notes / expository article. Preparatory introduction to torsors with emphasis on affine spaces, local triviality, gluing data, cocycle descriptions, and sheaf torsors; includes a conceptual bridge toward $Σ$-protocols in cryptography Takao Inoué http://arxiv.org/abs/2603.11806v1 2026-03-12T11:09:03Z

In this paper, we propose a novel mathematical framework for piecewise diffeomorphic image registration that involves discontinuous sliding motion using a diffeomorphism groupoid and algebroid approach. The traditional Large Deformation Diffeomorphic Metric Mapping (LDDMM) registration method builds on Lie groups, which assume continuity and smoothness in velocity fields, limiting its applicability in handling discontinuous sliding motion. To overcome this limitation, we extend the diffeomorphism Lie groups to a framework of discontinuous diffeomorphism Lie groupoids, allowing for discontinuities along sliding boundaries while maintaining diffeomorphism within homogeneous regions. We provide a rigorous analysis of the associated mathematical structures, including Lie algebroids and their duals, and derive specific Euler-Arnold equations to govern optimal flows for discontinuous deformations. Some numerical tests are performed to validate the efficiency of the proposed approach.

2026-03-12T11:09:03Z Lili Bao Bin Xiao Shihui Ying Stefan Sommer 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