https://arxiv.org/api/61K59NpBWusMfXoT+tpy6dKPQqQ 2026-04-01T08:36:30Z 25263 180 15 http://arxiv.org/abs/2507.14551v2 2026-03-13T05:29:03Z

L. Kauffman (2024) introduced multi-virtual and symmetric multi-virtual braid groups, which are generalizations of the virtual braid group. We introduce multi-virtual pure and multi-virtual semi-pure braid groups, which are normal subgroups of index $n!$. We give a set of generators and defining relations for these groups, show that multi-virtual (symmetric multi-virtual) braid group is a semi-direct products of multi-virtual pure (symmetric multi-virtual pure) braid group and symmetric group. Also, we introduce multi-welded and multi-unrestricted braid groups and examines structure of three-strand 2-virtual braid group and some its subgroups and quotients. The paper concludes by outlining open problems and suggesting avenues for future research in this area.

2025-07-19T09:13:40Z 23 pages, 12 figures Valeriy G. Bardakov Tatyana A. Kozlovskaya Komal Negi Madeti Prabhakar http://arxiv.org/abs/2603.12428v1 2026-03-12T20:23:18Z

We show that every finite-dimensional pointed Hopf algebra over a finite simple Chevalley group, different from $PSL_2(q)$ with q= 3 mod 4 (and from $PSL_3(2)\simeq PSL_2(7)$), is isomorphic to the corresponding group algebra. To do this, we complete the analysis of the Nichols algebras of Yetter-Drinfeld modules over such groups whose support is a semisimple orbit, begun in arXiv:1506.06794, arXiv:2301.03361. In addition to the techniques used in loc. cit., we introduce a general procedure to determine when a semisimple conjugacy class in a Chevalley or Steinberg group is of type C and a new criterion based on the results of arXiv:2411.02304 that applies to arbitrary racks. Throughout the process, we obtain results on Nichols algebras over racks beyond the framework of Chevalley groups.

2026-03-12T20:23:18Z 80 pages Nicolás Andruskiewitsch Giovanna Carnovale http://arxiv.org/abs/2603.12425v1 2026-03-12T20:17:09Z

For regular continued fractions (CFs), points with finite expansions are exactly the rationals and, by Lagrange's theorem, points with eventually-periodic expansions are exactly the roots of non-degenerate quadratic equations with integer coefficients. We extend both results to proper and discrete Iwasawa CFs, including real, complex, 3D, quaternionic, octonionic, and Heisenberg CFs. Namely, the following three conditions are equivalent for a point $p$: $p$ has a finite expansion, $p\in \mathcal M(\infty)$ for the appropriate modular group $\mathcal M$, and $p$ is a fixed point of a parabolic transformation in $\mathcal M$. Eventually-periodic points correspond exactly to fixed points of loxodromic elements of $\mathcal M$, which can be interpreted as roots of non-degenerate quadratics using the Clifford Algebra formalism of Ahlfors. In particular, this provides a new geometric proof of Lagrange's theorem for nearest-integer real CFs and Hurwitz complex CFs. Lastly, we comment on generalizations of the identity $i+1/i=0$.

2026-03-12T20:17:09Z 20 pages, 1 figure Anton Lukyanenko Joseph Vandehey http://arxiv.org/abs/2603.12348v1 2026-03-12T18:09:53Z

We show that if $G$ is a finite group whose Sylow $2$-subgroups are wreathed, then the intersection $\Outc(G) \cap \OutCol(G)$ has odd order, where $\Outc(G)$ and $\OutCol(G)$ denote the class-preserving and Coleman outer automorphism groups, respectively. This implies that $G$ satisfies the normalizer problem for its integral group ring. Combined with earlier work on the dihedral and semidihedral cases, this settles the question for all three families of $2$-groups of $2$-rank two classified by Gorenstein--Walter and Alperin--Brauer--Gorenstein.

2026-03-12T18:09:53Z Riccardo Aragona http://arxiv.org/abs/2510.23955v3 2026-03-12T17:18:56Z

We show that there is a collection of subgroups of the mapping class group of a surface such that the associated coset intersection complex is quasi-isometric and homotopy equivalent to the curve complex. Moreover, we prove that these two complexes are combinatorially equivalent in the sense that one can be obtained from the other via taking a nerve. As an application, we prove that the automorphism group of this coset intersection complex is the extended mapping class group, a result in the spirit of for Ivanov's metaconjecture.

2025-10-28T00:19:16Z v3: some minor changes Haoyang He Eduardo Martínez-Pedroza http://arxiv.org/abs/2603.12095v1 2026-03-12T16:01:40Z

We construct Grothendieck pairs witnessing that the following are not profinite invariants: stable commutator length, quasimorphisms (answering a question of Echtler and Kammeyer), property NL (which obstructs actions on hyperbolic spaces), and property FW$_\infty$ (which obstructs actions on finite-dimensional CAT(0) cube complexes). We also recover that property FA and non-abelian free subgroups are not profinite invariants. The method combines Rips constructions with iterated group-theoretic Dehn filling on hyperbolic virtually special groups.

2026-03-12T16:01:40Z 21 pages Francesco Fournier-Facio http://arxiv.org/abs/2510.14028v2 2026-03-12T15:40:29Z

The representation theory of tensor functions is a powerful mathematical tool for constitutive modeling of anisotropic materials. A major limitation of the traditional theory is that many point groups require fourth- or sixth-order structural tensors, which significantly impedes practical engineering applications. Recent advances have introduced a reformulated representation theory that enables the modeling of anisotropic materials using only lower-order structural tensors (i.e., second-order or lower). Building upon the reformulated theory, this work establishes the representations of tensor functions for three-dimensional centrosymmetric point groups. For each point group, we propose a lower-order structural tensor set and derive the representations of tensor functions explicitly. For scalar-valued and second-order symmetric tensor-valued functions, our theory is indeed applicable to all three-dimensional point groups because their representations are determined by the corresponding centrosymmetric groups. The representation theory presented here is broadly applicable for constitutive modeling of anisotropic materials.

2025-10-15T19:09:08Z Mohammad Madadi Pu Zhang http://arxiv.org/abs/2410.23052v4 2026-03-12T15:26:33Z

Tambara functors are the analogue of commutative rings in equivariant algebra. Nakaoka defined ideals in Tambara functors, leading to the definition of the Nakaoka spectrum of prime ideals in a Tambara functor. In this work, we continue the study of the Nakoaka spectra of Tambara functors. We describe, in terms of the Zariski spectra of ordinary commutative rings, the Nakaoka spectra of many Tambara functors. In particular: we identify the Nakaoka spectrum of the fixed point Tambara functor of any $G$-ring with the GIT quotient of its classical Zariski spectrum; we describe the Nakaoka spectrum of the complex representation ring Tambara functor over a cyclic group of prime order $p$; we describe the affine line (the Nakaoka spectra of free Tambara functors on one generator) over a cyclic group of prime order $p$ in terms of the Zariski spectra of $\mathbb{Z}[x]$, $\mathbb{Z}[x,y]$, and the ring of cyclic polynomials $\mathbb{Z}[x_0,\ldots,x_{p-1}]^{C_p}$. To obtain these results, we introduce a "ghost construction" which produces an integral extension of any $C_p$-Tambara functor, the Nakaoka spectrum of which is describable. To relate the Nakaoka spectrum of a Tambara functor to that of its ghost, we prove several new results in equivariant commutative algebra, including a weak form of the Hilbert basis theorem, going up, lying over, and levelwise radicality of prime ideals in Tambara functors. These results also allow us to compute the Krull dimensions of many Tambara functors.

2024-10-30T14:19:31Z 46 pages. Comments welcome! v2: Improved exposition in section 3.2; updated remark 7.8 v3: Improved introduction and tightened the exposition elsewhere. Shortened paper v4: Final version as published in Advances in Mathematics Advances in Mathematics 493 (2026) 110908 David Chan David Mehrle J. D. Quigley Ben Spitz Danika Van Niel 10.1016/j.aim.2026.110908 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