Representation Rings of Fusion Systems and Brauer Characters

2026-06-11T14:35:59Z

Let $\mathcal{F}$ be a fusion system over a $p$-group $S$. We study the complex character ring $R_{\mathbb{C}}(\mathcal{F})$ of $\mathcal{F}$ by applying techniques from modular character theory to $\mathcal{F}$-stable characters. We use these techniques to investigate a conjecture posed by Jason Semeraro concerning the volume of $R_{\mathbb{C}}(\mathcal{F})$ as a $\mathbb{Z}$-lattice. Proving it holds for all saturated fusion systems would allow for easy verification that a given set of linearly independent $\mathcal{F}$-stable characters forms a $\mathbb{Z}$-basis of $R_{\mathbb{C}}(\mathcal{F})$. We prove that this conjecture holds for all non-exotic fusion systems and a weakened conjecture holds for all fusion systems. We also show that any minimal counter example must be indecomposable by describing the characters of a product of two fusion systems. As a byproduct of our proof method, we describe the modular character rings of $\mathcal{F}$, provide analogues of the decomposition and Cartan matrices for $\mathcal{F}$-stable characters, and give a method for decomposing the regular character of $S$ into $\mathcal{F}$-stable constituents.

Iterated Hopf Ore Extensions over Group Rings

2026-06-11T11:37:05Z

We introduce and study a class of Hopf algebras $H(G, χ, η, b, c, β)$ which are two-step Ore extensions of a group algebra $\mathbb{K}[G]$. This construction unifies and generalizes some known families of Hopf algebras such as generalized Taft algebras and Hopf algebras related to $\mathfrak{sl}_2$ constructed by Wang, Wu, and Tan. We analyze the ring theoretical properties of these algebras and classify all finite dimensional simple modules over them. We also consider the tensor products of simple modules in the zero derivation case.

Rings with Clean-Like Properties: Endomorphism, Matrix and Structural Theorems

2026-06-11T08:33:27Z

We investigate three clean-like properties for arbitrary rings, for endomorphism rings of abelian groups and for matrix rings over finite fields. Specifically, we study and establish when a ring is weakly strongly $k$-nil-clean for some fixed natural number $k\geq 2$, when the matrix ring is either quasi $2$-nil-clean or quasi $3$-nil-clean, and when the endomorphism ring is weakly clean. Our theorems improve substantially on some results due to Goldsmith-Vámos in Rend. Sem. Mat. Univ. Padova (2007), Breaz {\it et al}. in Linear Algebra \& Appl. (2013), Koşan-Zhou in Front. Math. China (2016), Su {\it et al}. in J. Algebra \& Appl. (2027), and some other existing results in this current topic.

Two-sided tilting complexes over symmetric algebras sending simple modules to shifts of modules

2026-06-11T07:09:54Z

For a tilting complex over a finite-dimensional symmetric algebra over an algebraically closed field, whose distinct graded components have no indecomposable projective direct summands in common, we explicitly (re)construct a two-sided tilting complex that corresponds to the tilting complex, starting from a bimodule inducing a stable equivalence of Morita type.

A new new coproduct on quantum loop algebras

2026-06-11T06:47:46Z

Quantum loop algebras generalize $U_q(\widehat{\mathfrak{g}})$ for simple Lie algebras $\mathfrak{g}$, and they include examples such as quantum affinizations of Kac-Moody Lie algebras, K-theoretic Hall algebras of quivers, and BPS algebras for toric Calabi-Yau threefolds. In the present paper, we define a coproduct on general quantum loop algebras, which coincides with the Drinfeld-Jimbo coproduct in the particular case of $U_q(\widehat{\mathfrak{g}})$. We use our construction to prove fundamental facts about representations of quantum loop algebras, such as the rationality of $R$-matrices, multiplicativity of $q$-characters, and polynomiality of theta series.

Harish-Chandra D-modules for bi-Whittaker reduction

2026-06-11T03:45:12Z

Let $D(G)$ be the algebra of algebraic differential operators on a complex reductive group $G$. Denote by $\mathbb{W}$ the bi-Whittaker quantum Hamiltonian reduction of $D(G)$, also known as the quantum Toda lattice. In this article we define the admissible $\mathbb{W}$-modules and the special case of Harish-Chandra modules, the latter being bi-Whittaker variants of the invariant holonomic systems of Hotta-Kashiwara. We then study their torsion properties up to completion relative to the Kazhdan filtration, which in general is unbounded in both directions, through the geometry of universal centralizer. In the case of regular infinitesimal characters, the corresponding $D(G)$-module is shown to be the minimal extension of an irregular connection on the open Bruhat cell. Certain ring-theoretic properties of the completion of $\mathbb{W}$ are also obtained.

Rank recursion for $q$-Whittaker and Macdonald operators

2026-06-11T01:46:01Z

In this paper, we introduce and prove a set of rank recurrence relations for $q$-Whittaker and Macdonald operators. We also derive an explicit expression for the $k$-th power of the $q$-Whittaker operators in terms of the $q$-deformed binomial probability distribution, and we express the rank recurrence relations for the Macdonald operators in terms of the Cauchy determinant.

A proof of Dolbeault geometric Langlands for $\mathrm{GL}_2$ with reduced spectral curves

2026-06-10T23:46:27Z

In our previous paper with Tudor Pădurariu, we introduced the notion of limit categories for moduli stacks of Higgs bundles and formulated the Dolbeault geometric Langlands correspondence. These limit categories are expected to provide an effective ``classical limit'' of the categories of D-modules on the moduli stack of bundles, and our formulation links categorical Donaldson-Thomas theory with the geometric Langlands correspondence. In this paper, we prove the above Dolbeault geometric Langlands correspondence for $\mathrm{GL}_2$ over the locus in the Hitchin base where the spectral curves are reduced. This is the first non-trivial case in which the relevant moduli stacks are not quasi-compact, and the use of limit categories is essential to the formulation and proof of the correspondence. Our approach also outlines a strategy for proving the correspondence in greater generality and explains the current obstructions to such an extension.

Boundary Cochains and the Toeplitz Index on the Half-Lattice

2026-06-10T23:44:23Z

We study the operator algebra of a rank-one boundary defect in a semi-infinite tight-binding chain, $T=U+\varepsilon E$ on $\ell^2(\mathbb{Z}_{\ge 0})$, with $U$ the forward unilateral shift and $E=\langle e_0,\cdot\rangle e_0$. The Lie algebra $\mathcal{A}=\mathrm{span}\{U^aE(U^*)^b,\,U^n\}$ has finitely supported, trace-zero commutators, the noncommutativity confined to the boundary and vanishing on the bulk. To each site we attach a $2$-cochain $ω_j(X,Y)=\langle e_j,[X,Y]e_j\rangle$; each is a Chevalley--Eilenberg coboundary, yet $H^2(\mathcal{A},\mathbb{C})$ is infinite-dimensional, carried by the abelian bulk and classifying the central extensions. On the polynomial Toeplitz algebra obtained by adjoining $U^*$, the total cochain $\sum_{j}ω_j(T_f,T_g)$ equals the symbol pairing $\frac{1}{2πi}\oint f\,dg$, which for conjugate symbols $g=1/f$ is the Fredholm index; the $ω_j$ thus form a site-resolved index density, $ω_j(U^n,(U^*)^n)=-\mathbf{1}_{\{j

An Algebraic Introduction to Persistence

2026-06-10T20:32:46Z

We introduce persistence with an emphasis on its algebraic foundations, using the representation theory of posets. Linear representations of posets arise in several areas of mathematics, including the representation theory of quivers and finite dimensional algebras, Morse theory and other areas of geometry, as well as topological inference and topological data analysis -- often via persistent homology. In some of these contexts, the category of poset representations of interest admits a metric structure given by the so-called interleaving distance. Persistence studies the algebraic properties of these poset representations and their behavior under perturbations in the interleaving distance. We survey fundamental results in the area, applications to pure and applied mathematics, advanced topics such as multiparameter persistence, as well as theoretical challenges and open questions.

Canonical Bernstein-Zelevinsky Filtration and Casselman's Comparison Conjecture

2026-06-10T16:23:47Z

We establish a canonical Bernstein--Zelevinsky filtration for Casselman--Wallach representations that is analogous to the $p$-adic case. In addition, we outline an approach to Casselman's comparison conjecture and prove it for general linear groups, as well as for quasi-split even orthogonal groups in some special cases. We also give some applications of the Bernstein--Zelevinsky filtration, such as to the study of highest derivatives and the indecomposability of mirabolic restrictions.

A Hecke algebra isomorphism over close local fields for metaplectic groups

2026-06-10T10:51:13Z

We establish the Kazhdan isomorphism for the $n$-fold metaplectic cover of the reductive group $\mathrm{SL}_2$ over two sufficiently close non-archimedean local fields $F$ and $F'$, both of which have residue characteristic coprime to $n$ and contain all distinct $n$th roots of unity.

Spin characters of symmetric and alternating groups which are proportional in characteristic 3

2026-06-10T09:29:09Z

Let $G$ be a finite group and $p$ a prime. It is interesting to determine when two ordinary irreducible representations of $G$ have the same $p$-modular reduction; this is the same as saying that the corresponding rows of the decomposition matrix are equal, or that the characters of the two representations agree on $p$-regular conjugacy classes. In fact we consider the more general problem of asking when two rows of the decomposition matrix are proportional. In the case where $G$ is a double cover of the alternating or symmetric group, this problem has been solved except when $p=3$. Here we resolve the missing case for spin characters (i.e. characters which are not lifted from the covered group), which completely solves the problem for the double cover of the symmetric group. There are surprising parallels to our solution to the corresponding problem for $p=2$.

Abstract Cluster Structures

2026-06-10T09:09:03Z

We describe a framework for encoding cluster combinatorics using categorical methods. We give a definition of an abstract cluster structure, which captures the essence of cluster mutation at a tropical level and show that cluster algebras, cluster varieties, cluster categories and surface models all have associated abstract cluster structures. For the first two classes, we also show that they can be constructed from abstract cluster structures. By defining a suitable notion of morphism of abstract cluster structures, we introduce a category of these and show that it has several desirable properties, such as initial and terminal objects and finite products and coproducts. We also prove that rooted cluster morphisms of cluster algebras give rise to morphisms of the associated abstract cluster structures, so that our framework includes a version of the extant category of cluster algebras. We can do more, however, because we can relate different types of representation of abstract cluster structures (cluster algebra, varieties, categories) directly via morphisms of their associated abstract cluster structures, even though no direct map from e.g. a cluster category to the associated cluster algebra is possible. In fact, we do much of the above in the setting of abstract quantum cluster structures, with some analysis of the difference between the category of these and that of the unquantized version. In order to show the relationship between abstract quantum cluster structures and quantum cluster algebras, we reformulate the usual construction of the latter in a way that is more amenable to our purposes and which we expect will be of independent interest and use.

Cotorsion pairs, thick subcategories, and finitely generated Gorenstein projective modules

2026-06-10T08:29:46Z

Let $R$ be a noetherian algebra over a Cohen--Macaulay ring $S$ admitting a canonical module $ω$, and assume that $R$ is maximal Cohen--Macaulay over $S$. We prove that the category of finitely generated Gorenstein projective $R$-modules coincides with the left $\mathrm Ext$-orthogonal class of the thick subcategory generated by $R$ and ${\mathrm Hom}_S(R,ω)$. As an application, finitely generated Gorenstein projective $R$-modules form the left half of a hereditary cotorsion pair. In the case of Cohen--Macaulay local rings, this yields an affirmative answer to a question of R. Takahashi. We further characterize when $R$ is left weakly Gorenstein. Finally, we prove that a Cohen--Macaulay local ring is Gorenstein if and only if the right $\mathrm Ext$-orthogonal class of finitely generated Gorenstein projective modules coincides with the category of finitely generated modules of finite projective dimension.