https://arxiv.org/api/mZMCJCXb8ks9dcGIIY2CQBCZPlY 2026-07-26T14:08:15Z 30432 690 15 http://arxiv.org/abs/2603.23614v2 2026-05-26T20:14:54Z

Let $ χ$ be a character of a complex irreducible representation of a finite group $G$. We present a simple formula for the expectation of the random variable $(|χ|/χ(1))^{t} $ in terms of character ratios $ (|χ(g)|/χ(1))^{t}, \; g \in G, \; t \geq 0 $. As a follow up we briefly discuss asymptotic properties of the formula and its relation to the subject of growth of dimensions of isotypic components in (virtual) tensor powers of irreducible representations. Similar type of reasoning can be applied to some questions related to commuting probability. In particular, we obtain an analogue of Frobenis formula for the probability of an "event" $ |χ( [x,y]^{-1}g)| = r $

2026-03-24T18:02:25Z Alexander Kushkuley http://arxiv.org/abs/2605.27280v1 2026-05-26T16:57:55Z

The first part of this article is devoted to characterizing the cocycles $α$ of a finite group $G$ that give rise to faithful projective representations of $G$. We prove that a $p$-group $G$ admits a faithful irreducible projective representation if and only if the cohomology class $[α]$ does not lie in the image of the inflation map $\operatorname{inf}: \mathrm{H}^2\!\left(G / N, \mathbb{C}^{\times}\right) \longrightarrow \mathrm{H}^2\!\left(G, \mathbb{C}^{\times}\right)$ for any non-trivial central subgroup $N$ of $G$. In the case where $[α] \in \operatorname{Im}(\operatorname{inf})$, we determine a criterion such that a direct sum of irreducible $α$-representations is faithful. We conclude this part by describing the behaviour of cocycles $α$ that yield faithful irreducible representations for direct products of groups. In the second part, we introduce the notion of the projective embedding degree of a finite group $G$, defined as the smallest integer $n$ such that $G$ embeds into $\mathrm{PGL}_n(\mathbb{C})$; equivalently, it is the smallest $n$ such that $G$ has a faithful complex projective representation of degree $n$. We also define the analogous notion of the irreducible projective embedding degree of $G$. These invariants have been investigated for several classes of groups, including direct products of groups, finite abelian groups, extra-special $p$-groups, Heisenberg groups, and groups of order $p^3$, $p^4$ (for primes $p$), and $p^5$ (for $p \geq 5$).

2026-05-26T16:57:55Z Sumana Hatui Poonam Nayak http://arxiv.org/abs/2605.27267v1 2026-05-26T16:43:24Z

Let $T_R(M)$ be a tensor ring, where $R$ is a ring and $M$ is an $N$-nilpotent $R$-bimodule. Under certain conditions, we characterize the Gorenstein flat-cotorsion modules over $T_R(M)$, showing that a $T_R(M)$-module $(X, u)$ is Gorenstein flat-cotorsion if and only if $u$ is monomorphic and $\Coker u$ is a Gorenstein flat-cotorsion $R$-module. As applications, we describe the Gorenstein flat-cotorsion modules over some trivial extension rings and Morita context rings.

2026-05-26T16:43:24Z Yongyun Qin Chaobin Yin http://arxiv.org/abs/2605.27263v1 2026-05-26T16:40:22Z

We consider three categories arising from the higher Auslander algebras of type $A$ in relation to $d$-dimensional cluster combinatorics: $d$-exact subcategory of the module category of $A^d_{n+1}$ generated by the $d$-cluster-tilting object, the $(d+2)$-angulated cluster category, and the $d$-almost positive subcategory of the derived category (the higher analogue of the category of two-term complexes of projectives). We show that the third one, introduced by the second-named author, is the $d$-exangulated quotient of the other two, introduced by Oppermann and Thomas, by the ideals generated by morphisms factoring through morphisms from injective to projective objects, thus providing an algebraic connection between the two models of Oppermann-Thomas. This is a $d$-exangulated version in type $A$ of a result of Brüstle and Yang and its interpretation by the first-named author together with Fang, Palu, Plamondon and Pressland. It also explains a well-known coincidence between the number of 2-term silting complexes in type $A_{n}$ and of tilting modules in type $A_{n+1}$ from the $0$-Auslander perspective. We expect this to serve as a prototypical example of the $0$-Auslander correspondence in higher homological algebra.

2026-05-26T16:40:22Z 13 pages Mikhail Gorsky Nicholas J. Williams http://arxiv.org/abs/2605.27244v1 2026-05-26T16:25:02Z

We investigate a new notion of regularity for tensor triangulated categories, called residual regularity. We show that residual regularity descends and ascends via finite separable extensions and we classify all finite groups whose derived category of permutation modules is residually regular.

2026-05-26T16:25:02Z 31 pages, comments welcome! Emmy Van Rooy http://arxiv.org/abs/2605.27197v1 2026-05-26T15:49:49Z

In this paper, we introduce and study shifted twisted quantum affine algebras which provide a twisted counterpart of the theory of shifted quantum affine algebras. The shifted twisted quantum affine algebra $\U_q^{μ_+,μ_-}(\hgs)$ is obtained from the Drinfeld current presentation of twisted quantum loop algebras by shifting the Cartan--Drinfeld currents $φ_i^\pm(z)$ according to a coweight pair $(μ_+,μ_-)$. We prove that it admits a triangular decomposition and that, up to isomorphism, they depend only on the total shift $μ=μ_+ + μ_-$. For each shift $μ$, we define a category $\mathcal O_μ$ of representations of $\U_q^μ(\hgs) = \U_q^{0,μ}(\hgs)$ and prove a rationality theorem for the Cartan currents: on every weight space, the two currents $φ_i^+(z)$ and $φ_i^-(z)$ are expansions of the same rational operator-valued function, whose degree is prescribed by $α_i(μ)$. As a consequence, we classify the simple objects of $\mathcal O_μ$ by rational $\ell$-weights of the corresponding degrees. We then construct a deformed Drinfeld coproduct and use it to define a fusion product on the direct sum $\mathcal{O}^{sh}$ of the categories $\mathcal O_μ$. This fusion product is compatible with $q$-characters. We also classify finite-dimensional simple modules in $\mathcal{O}^{sh}$ in terms of dominant rational $\ell$-weights, with a separate treatment of type $A_{2n}^{(2)}$. Finally, we construct restriction representations relating representations of twisted quantum affine Borel algebras to representations of shifted twisted quantum affine algebras, and establish a $q$-characters formula for simple finite-dimensional representations of shifted twisted quantum affine algebras in terms of the $q$-characters of the corresponding simple representations of the twisted quantum affine Borel algebra $\U_q(\bs)$.

2026-05-26T15:49:49Z Fei-Fei Li Jian-Rong Li Yan-Feng Luo http://arxiv.org/abs/2511.19825v3 2026-05-26T15:39:42Z

In the first part of this series, the authors introduced the quantum wreath product, providing a unified framework that encompasses numerous results previously addressed only through case-by-case analysis. This paper shifts focus to the fundamental construction of modules over these products, termed wreath modules. Our approach utilizes parabolic induction on tensor products combined with a sophisticated labeling scheme based on multipartitions. While the underlying constructions are technically involved, they offer a transparent realization of several prominent module families. Specifically, these wreath modules recover and unify: Simple modules over the Ariki-Koike algebra; Specht and simple modules over the Hu algebra; (anti)spherical modules and Kashiwara-Miwa-Stern modules over the affine Hecke algebra and its pro-p Iwahori variants. Finally, we demonstrate that these wreath modules for the Hu algebra serve as a critical component in solving the Ginzburg-Guay-Opdam-Rouquier problem. This solution enables a concrete realization of Category O for the rational Cherednik algebra in Type D.

2025-11-25T01:37:51Z 30 pages. v2: The second half of version 1 was split from the paper and expanded into part III of the series. v3: minor typos fixed Chun-Ju Lai Daniel K. Nakano Ziqing Xiang http://arxiv.org/abs/2509.13231v2 2026-05-26T14:04:15Z

Let $F$ be a locally compact non-Archimedean field of characteristic $0$, and let $G$ be either the split special orthogonal group $\mathrm{SO}_{2n+1}(F)$ or the symplectic group $\mathrm{Sp}_{2n}(F)$. The goal of this paper is to give an explicit description of the Aubert-Zelevinsky duality for $G$ in terms of Langlands parameters. We present a new algorithm, inspired by the Moeglin-Waldspurger algorithm for $\mathrm{GL}_n(F)$, which computes the dual Langlands data in a recursive and combinatorial way. Our method is simple enough to be carried out by hand and provides a practical tool for explicit computations. Interestingly, the algorithm was discovered with the help of machine learning tools, guiding us toward patterns that led to its formulation.

2025-09-16T16:38:35Z 86 pages. Added a determinant = 1 condition in the definition of symmetrical multisegment Thomas Lanard Alberto Mínguez http://arxiv.org/abs/2510.26199v3 2026-05-26T13:29:56Z

Tilting bundles provide a fundamental bridge between algebraic geometry and representation theory. For a tilting bundle on a smooth proper $d$-dimensional variety, the global dimension of its endomorphism algebra is at least $d$, and the most meaningful case is when this lower bound is attained. Such a tilting bundle, called a $d$-tilting bundle, fits into the framework of the derived McKay correspondence and higher Auslander--Reiten theory. The first main result of this paper shows that the existence of such a bundle forces the variety to be weak Fano: more precisely, if a smooth proper $d$-dimensional variety admits a $d$-tilting bundle, then its anti-canonical bundle is semiample and big. As a consequence, the endomorphism algebra of a $d$-tilting bundle is $d$-representation tame, so the geometry naturally produces higher-dimensional analogues of extended Dynkin quivers. Second, we prove a converse in dimension two: every weak del Pezzo surface over an algebraically closed field admits a $2$-tilting bundle. Together, these results give an affirmative answer to a conjecture posed by Daniel Chan for the variety case: a smooth projective surface admits a $2$-tilting bundle if and only if it is a weak del Pezzo surface. As an application, we construct non-commutative crepant resolutions (NCCRs) of anti-canonical cones over Du Val del Pezzo surfaces. Such an NCCR is obtained as the $3$-Calabi--Yau completion of the endomorphism algebra of a $2$-tilting bundle on the corresponding weak del Pezzo surface. This extends the known construction for smooth del Pezzo surfaces to the Du Val case and places Du Val del Pezzo cones within the framework of the derived McKay correspondence via higher Auslander--Reiten theory.

2025-10-30T07:19:21Z 18 pages, v3: Theorem 3.1 has been strengthened. An error in the proof of the bigness of the anti-canonical bundle has been fixed Ryu Tomonaga http://arxiv.org/abs/2605.27007v1 2026-05-26T13:27:59Z

Given an acyclic directed graph (DAG), the space of strength one flows is a lattice polytope called the flow polytope of the DAG. If the DAG admits an ample framing, then the flow polytope is Gorenstein and it linearly projects onto a reflexive polytope called the $\mathbf{g}$-polytope. We provide a combinatorial characterization of amply framed DAGs that have a locally anti-blocking $\mathbf{g}$-polytope, and we characterize the minimal faces of the $\mathbf{g}$-polytope containing a fixed pair of vertices. We prove in this case that the unimodular triangulation of the $\mathbf{g}$-polytope induced by the DKK triangulation of the flow polytope is a pulling triangulation, and we characterize the pulling orders that yield the DKK triangulation. To prove our results, we introduce and study coherence diagrams, a combinatorial model of coherence for amply framed DAGs with locally anti-blocking $\mathbf{g}$-polytopes. We conclude by indicating possible extensions of these results to the setting of $\mathbf{g}$-polytopes for gentle Nakayama algebras.

2026-05-26T13:27:59Z Jonah Berggren Benjamin Braun Alvaro Cornejo James Ford McElroy Chloe' Napier Zachery Peterson Williem Rizer Khrystyna Serhiyenko Martha Yip http://arxiv.org/abs/2605.11903v2 2026-05-26T13:05:15Z

Quiver skew braces or skew bracoids are equivalent to braided groupoids, that is, groupoids with a constraint of abelianity. They are the quiver-theoretic version of skew braces, an increasingly studied structure lying in the intersection of group and ring theory. In this paper, we define ideals and quotients for quiver skew braces, with respect to two notions of morphisms. Following the track of a previous work of ours (2025), we define a classical semidirect product à la Brown, and a categorical semidirect product à la Bourn and Janelidze, for the category of quiver skew braces. It is known that connected groupoids can be expressed as the datum of a group of loops and a set of vertices. We demonstrate how no such decomposition holds for quiver skew braces, which makes their theory richer than the theory of groupoids.

2026-05-12T10:16:51Z 24 pages, 1 figure. (Cross-reference errors corrected.) Davide Ferri http://arxiv.org/abs/2511.20195v2 2026-05-26T12:42:48Z

Let $A=A(α, β)$ be a graded down-up algebra with weights $(\mathrm{deg}\, x, \mathrm{deg}\, y)=(n,m)$ and $β\neq 0$, and $\nabla A$ its Beilinson algebra. Such an algebra $A$ is a 3-dimensional cubic AS-regular algebra by Kirkman--Musson--Passman. Assuming $\mathrm{gcd}\,(n, m)=1$ and $m \geq n$, we extend the previous results on the Hochschild cohomology of $\nabla A$. Known cases include $(n,m) = (1,1)$ (Belmans) and $(n = 1,\,m \geq 2)$ (Itaba--Ueyama). In this paper, we determine the dimensions of the Hochschild cohomology groups of $\nabla A$ in the remaining case $n\geq 2$ and $m\geq 2$ by explicitly constructing the projective resolution and computing the ranks of the arising representation matrices. As a byproduct, for $m>n>1$, we show that the derived category of the noncommutative projective scheme associated to $A$ is not equivalent to the derived category of any smooth projective surface. Moreover, for all $m \geq n \geq 1$, we describe the ring structure of the Hochschild cohomology group $\nabla A$ with respect to the Yoneda product.

2025-11-25T11:20:55Z 30 pages Ayako Itaba Shu Minaki http://arxiv.org/abs/2506.21941v4 2026-05-26T06:31:34Z

Let $\mathfrak g$ be a complex semisimple Lie algebra. We define what it means for a finite dimensional representation of $\mathfrak g$ to be rectangular and completely classify faithful rectangular representations. As an application, we obtain new $λ$-independence results on the algebraic monodromy groups of compatible systems of $λ$-adic Galois representations of number fields.

2025-06-27T06:30:58Z 31 pages, 8 figures, accepted by International Mathematics Research Notices Chun-Yin Hui Wonwoong Lee http://arxiv.org/abs/2605.26565v1 2026-05-26T05:30:39Z

In this paper, we study maximal Cohen-Macaulay sheaves on closures of minimal nilpotent orbits in simple Lie algebras. For singularities of type $A_n$, we first classify vector bundles on their symplectic resolutions whose pushforwards are maximal Cohen-Macaulay. We then construct equivariant maximal Cohen-Macaulay sheaves via irreducible representations of the stabilizer group. We compare these two approaches in the case of maximal Cohen-Macaulay Weil divisors, and extend the equivariant construction to the classical types $B_n$, $C_n$, and $D_n$. Finally, we formulate the construction for an arbitrary simple Lie algebra and carry it out explicitly in the exceptional cases.

2026-05-26T05:30:39Z 27 pages Shang Xu http://arxiv.org/abs/2605.26556v1 2026-05-26T05:11:18Z

We use the connective formal group law to define a one-parameter ($β$-)deformation of the motivic Segre classes of Schubert cells in the $d$-step flag variety. This $β$-deformation specializes to the motivic Segre classes of Schubert cells when $β=1$ and to the Segre-Schwartz-MacPherson classes of Schubert cells when $β=0$. We define rational function representatives for the $β$-deformed classes in the $d=1$ case in terms of a solvable lattice model, and we prove a combinatorial formula for the structure constants in the $β$-deformed basis in the $d=1$ case using Knutson-Tao puzzles. The proof of the puzzle formula involves intertwiners for representations of the multi-parameter quantum group of type $\widehat{a}_2$. We show that our $β$-deformations can be viewed as quotients of canonical elements in a quotient of the equivariant algebraic cobordism ring of the cotangent bundle of the flag variety by proving that the canonical elements satisfy a GKM type condition.

2026-05-26T05:11:18Z Raj Gandhi