https://arxiv.org/api/m6wXvA1hu81bjzxH48RWD1fzQeA 2026-03-30T08:43:30Z 25236 165 15 http://arxiv.org/abs/2504.17831v3 Decomposition of Borel graphs and cohomology 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 http://arxiv.org/abs/2603.06174v2 Haar-Type Measures on Topological Quasigroups and Kunen's Theorem 2026-03-11T03:27:02Z Haar measure is a fundamental structure in harmonic analysis on locally compact groups. Its existence reflects the compatibility between topology and the associative algebraic structure of groups. In this paper we propose a framework for Haar-type measures on topological quasigroups. Since associativity is absent, strict translation invariance is generally too strong to expect. We therefore introduce quasi-invariant measures whose defect is measured by a modular cocycle attached to translations. We then explain, in a detailed and cautious form, how Moufang-type identities may impose strong constraints on this cocycle. In particular, under additional quasi-invariance assumptions for right translations, the Moufang-type identity $(N1)$ leads naturally to a multiplicativity relation for the cocycle. This suggests a measure-theoretic interpretation of Kunen's theorem: the emergence of loop structure may be viewed as the collapse of a modular defect in the translation geometry of a quasigroup. 2026-03-06T11:31:16Z 25 pages. Minor revisions. Added a conceptual conjecture (Modular Collapse Conjecture), improved appendix diagrams, and clarified the interpretation of Kunen's theorem Takao Inoué http://arxiv.org/abs/2506.04437v4 Graph quandles: Generalized Cayley graphs of racks and right quasigroups 2026-03-10T17:19:17Z This article lays the foundations for an analogue of geometric group theory that studies actions on graphs by right quasigroups, including racks and quandles. We study markings of graphs that realize racks, and we introduce (di)graph invariants based on such markings. We show that all right quasigroups are realizable by edgeless graphs and complete (di)graphs. Using Schreier (di)graphs, we also characterize Cayley (di)graphs of right quasigroups Q that realize Q. In particular, all racks are realizable by their full Cayley (di)graphs. This solves two problems of Valeriy Bardakov. Finally, we give graph-theoretic characterizations of labeled Cayley digraphs of right-cancellative magmas, right-divisible magmas, right quasigroups, racks, quandles, involutory racks, and kei. 2025-06-04T20:42:53Z 18 pages + references, 8 figures, 1 table. Rewrote introduction and abstract and made minor edits according to referee's recommemdations Luc Ta http://arxiv.org/abs/2501.01712v2 Continuity of asymptotic entropy on wreath products 2026-03-10T16:10:36Z We prove the continuity of asymptotic entropy as a function of the step distribution for non-degenerate probability measures with finite entropy on wreath products $ A \wr B = \bigoplus_B A \rtimes B $, where $A$ is any countable group and $B$ is a countable hyper-FC-central group that contains a finitely generated subgroup of at least cubic growth. As one step in proving the above, we show that on any countable group $G$ the probability that the $μ$-random walk on $G$ never returns to the identity is continuous in $μ$, for measures $μ$ such that the semigroup generated by the support of $μ$ contains a finitely generated subgroup of at least cubic growth. Finally, we show that among random walks on a group $G$ that admit a separable completely metrizable space $X$ as a model for their Poisson boundary, the weak continuity of the associated harmonic measures on $X$ implies the continuity of the asymptotic entropy. This result recovers the continuity of asymptotic entropy on known cases, such as Gromov hyperbolic groups and acylindrically hyperbolic groups, and extends it to new classes of groups, including linear groups and groups acting on $\mathrm{CAT}(0)$ spaces. 2025-01-03T09:13:32Z 47 pages. Accepted in J. Reine Angew. Math. (Crelle's journal) Eduardo Silva 10.1515/crelle-2026-0030 http://arxiv.org/abs/2310.10160v4 The Poisson boundary of wreath products 2026-03-10T16:06:50Z We give a complete description of the Poisson boundary of wreath products $A\wr B= \bigoplus_{B} A\rtimes B$ of countable groups $A$ and $B$, for probability measures $μ$ with finite entropy where lamp configurations stabilize almost surely. If, in addition, the projection of $μ$ to $B$ is Liouville, we prove that the Poisson boundary of $(A\wr B,μ)$ is equal to the space of limit lamp configurations, endowed with the corresponding hitting measure. In particular, this answers an open question asked by Kaimanovich, and Lyons-Peres, for $B=\mathbb{Z}^d$, $d\ge 3$, and measures $μ$ with a finite first moment. 2023-10-16T08:00:25Z 35 pages. Accepted in Comment. Math. Helv Joshua Frisch Eduardo Silva http://arxiv.org/abs/2512.05004v3 Dimension statistics of representations of finite groups 2026-03-10T15:14:20Z The first part of this paper deals with unipotent and reductive groups over finite fields with $q$ elements in which either $q$ goes to infinity or $G=GL_n(q)$ and $n$ goes to infinity. The second part of the paper deals with the symmetric group $S_n$. The main conclusion that we want to bring out in the case of reductive groups $G(q)$, $q$ varying, is that the dimension data, resp. the size of conjugacy classes, is in a statistical sense, ``roughly'' constant and the same (up to taking the squares). We introduce the notion of {\it asympototically constant}, and {\it asympototically log constant} to make precise these notions, which we apply to various groups discussed in this paper including the symmetric groups $S_n$. 2025-12-04T17:16:01Z 22 pages Arvind Ayyer Dipendra Prasad http://arxiv.org/abs/2603.09711v1 Locally $\aleph_0$-categorical theories and locally Roelcke precompact groups 2026-03-10T14:21:17Z It is well-known that Polish Roelcke precompact groups are the groups that can be represented as automorphism groups of $\aleph_0$-categorical structures in continuous logic and that there is a precise correspondence between properties of the group and properties of the structure. The goal of this paper is to extend this correspondence to the classes of locally Roelcke precompact groups and locally $\aleph_0$-categorical structures, the latter of which we define here. We characterise locally Roelcke precompact groups in terms of their isometric actions. We define locally $\aleph_0$-categorical theories and structures, prove an appropriate version of the Ryll-Nardzewski theorem, and identify the Polish locally Roelcke precompact groups as the automorphism groups of such structures. In all locally $\aleph_0$-categorical structures, there is a definable metric, which we call localising, and which captures the coarse geometric structure of the corresponding automorphism group. We show that two locally $\aleph_0$-categorical structures are bi-interpretable if and only if their automorphism groups are isomorphic. Finally, we show that (the unit ball of) a Banach space is $\aleph_0$-categorical if and only if the corresponding affine space is locally $\aleph_0$-categorical (as a metric space). 2026-03-10T14:21:17Z 32 pages Itaï Ben Yaacov Todor Tsankov http://arxiv.org/abs/2603.09640v1 On the Maximal Size of Irredundant Generating Sets in Lie Groups and Algebraic Groups 2026-03-10T13:15:30Z We show that a topologically generating set $S$ of a connected compact Lie group $G$ of size larger than a fixed polynomial in the rank of $G$ must be redundant (i.e., some proper subset of $S$ still topologically generates $G$). Similar results are obtained for amenable Lie groups and for reductive algebraic groups with the Zariski topology. The quantitative bounds produced by our method are controlled by corresponding bounds for finite simple groups of Lie type. We also treat redundancy up to Nielsen transformations, thereby partially answering a few conjectures of Gelander. We show that these conjectures are implied by the Wiegold conjecture. 2026-03-10T13:15:30Z Tal Cohen Itamar Vigdorovich http://arxiv.org/abs/2603.09575v1 On Some Bi-Cayley Graphs over Cyclic Groups of Order $p^2 q^2$ and Related Extensions 2026-03-10T12:22:17Z We investigate structural and combinatorial properties of Bi-Cayley graphs defined over cyclic groups of order $p^2q^2$, where $p$ and $q$ are distinct primes. We begin by describing their fundamental group-theoretic underpinnings. The main focus is on analyzing their connectivity, girth, clique number, chromatic number, diameter, and independence number. It is shown that these Bi-Cayley graphs are connected, biregular with explicitly determined degrees, and possess girth three. Furthermore, we prove that their diameter is equal to five. We further extend several results to Bi-Cayley graphs over arbitrary finite groups under suitable restrictions on the connecting set, with particular emphasis on the case where the connecting set consists of all its involutions. These results clarify structural similarities and differences between Cayley graphs and their Bi-Cayley generalizations. 2026-03-10T12:22:17Z 21 pages, 3 figures, partially presented in the Indonesian Algebra Society Seminar 2025 Iqbal Atmaja Yeni Susanti Ahmad Erfanian http://arxiv.org/abs/2603.09456v1 Rigidity of the dynamics of ${\rm Aut}({\mathsf{F}}_n)$ on representations into a compact group 2026-03-10T10:11:55Z Let $G$ be a compact Lie group. Let ${\mathsf{F}}_n$ be the free group of rank $n$. We describe the orbits of ${\mathsf{Aut}}(\mathsf{F}_n)$ on ${\mathsf{Hom}}(\mathsf{F}_n;G)$ when $n$ is sufficiently large. The dynamics stabilizes: orbit closures and invariant probability measures are algebraic, as in Ratner's theorems. 2026-03-10T10:11:55Z Serge Cantat IRMAR Christophe Dupont IRMAR Florestan Martin-Baillon MPI-MiS http://arxiv.org/abs/2511.20192v4 Higher property T and below-rank phenomena of lattices 2026-03-10T09:49:46Z The purpose of this paper is twofold. We explore higher property T as an abstract group-theoretic property. In particular, we provide new operator-algebraic characterizations of higher property T. Then we turn to lattices in semisimple Lie groups. We relate higher property T to other cohomological, rigidity and geometric phenomena below the real rank. The second part outlines a conjectural framework that unifies these aspects and reviews recent advances. 2025-11-25T11:18:25Z 45 pp; an abridged version will appear in the Proceedings of the ICM 2026; added new applications and clarified relations between Banach und unitary results; added alternative proof of Ozawa's criterion and additional references Uri Bader Roman Sauer http://arxiv.org/abs/2603.09369v1 On Zappa's question in the case of alternating groups 2026-03-10T08:46:12Z In 1962, Guido Zappa asked whether a non-trivial coset of a Sylow $p$-subgroup of a finite group could contain only elements whose orders are powers of $p$. Marston Conder gives a positive answer to this question in the case of $p=5$. It is known that the smallest group satisfying the conditions of this problem must be a non-abelian simple group. In this paper, we prove that the smallest group of the Zappa problem could not be an alternating simple group for any prime $p$. 2026-03-10T08:46:12Z Ru Zhang Rulin Shen http://arxiv.org/abs/2603.09363v1 Siblings and twins in finite p-groups and a group identification for the groups of order $2^9$ 2026-03-10T08:44:13Z We investigate which invariants of groups are powerful in distinguishing non-isomorphic p-groups. We introduce the notations of siblings and twins for p-groups that are difficult to distinguish and we describe the siblings and twins among the groups of small prime-power order. We then use these ideas to device an effective group identification algorithm for the $10,494,213$ groups of order $2^9$. 2026-03-10T08:44:13Z 15 pages Bettina Eick Henrik Schanze http://arxiv.org/abs/2601.11738v2 Multiary gradings 2026-03-10T07:05:03Z This article develops a comprehensive theory of multiary graded polyadic algebras, extending the classical concept of group-graded algebras to higher-arity structures. We introduce the notion of grading by multiary groups and investigate various compatibility conditions between the arity of algebra operations and grading group operations. Key results include quantization rules connecting arities, classification of graded homomorphisms, the First Isomorphism Theorem for graded polyadic algebras and concrete examples including ternary superalgebras and polynomial algebras over $n$-ary matrices. The theory reveals fundamentally new phenomena not present in the binary case, such as the existence of higher power gradings and nontrivial constraints on arity compatibility. 2026-01-16T19:44:27Z 22 pages, amslatex; v.2: the First Isomorphism Theorem and examples are added, Section 4 is extended, DOI and Journal reference are added Axioms 2026, 15 (3), 197 (Special issue Computational Algebra, Coding Theory and Cryptography: Theory and Applications, 3nd Edition), https://www.mdpi.com/2075-1680/15/3/197 Steven Duplij 10.3390/axioms15030197 http://arxiv.org/abs/2505.21267v3 Sum of the squares of the $p'$-character degrees 2026-03-09T18:52:03Z We study the sum of the squares of the irreducible character degrees not divisible by some prime $p$, and its relationship with the the corresponding quantity in a $p$-Sylow normalizer. This leads to study a recent conjecture by E. Giannelli, which we prove for $p=2$ and in some other cases. 2025-05-27T14:41:53Z Accepted in Pacific J. Math Nguyen N. Hung J. Miquel Martínez Gabriel Navarro