https://arxiv.org/api/too1ypssaz0L87f+QABMEyLzXQk 2026-04-05T12:58:12Z 25278 210 15 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 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/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