The universal category $\mathcal{O}$ and the Gelfand-Graev action

2026-06-19T17:14:04Z

We show that the definition and many useful properties of Soergel's functor $\mathbb{V}$ extend to "universal" variants of the BGG category $\mathcal{O}$, such as the category which drops the semisimplicity condition on the Cartan action. We show that this functor naturally factors through a quotient known as the nondegenerate quotient and show that this quotient admits a "Gelfand-Graev" action of the Weyl group. Although these categories are not finite length in any sense, we explicitly compute the kernel of this functor in a universal case and use this to extend these results to an arbitrary DG category with an action of a reductive group. Along the way, we prove a result which may be of independent interest, which says that a functor of $G$-categories with a continuous adjoint is an equivalence if and only if it is an equivalence at each field-valued point, strengthening a result of Ben-Zvi--Gunningham--Orem.

Resolving subcategories for gentle algebras III: Tilting modules for gentle tree algebras

2026-06-19T13:41:24Z

This paper is the third part of a series that intends to study the resolving subcategories for gentle algebras over an algebraically closed field $\mathbb{K}$. As in the previous two papers, we continue to focus on gentle trees $(Q,R)$. Via a modified surface model for gentle algebras with finite global dimension, we developed combinatorial, poset, and quiver representation techniques that allow one to calculate all the resolving subcategories of $\mathbb{K}Q/\langle R \rangle$-mod. Furthermore, they enable one to calculate the resolving subcategory generated by any collection of $\mathbb{K}Q/\langle R \rangle$-modules. In this paper, based on those techniques, we give a combinatorial realization of the Auslander--Reiten one-to-one correspondence between resolving subcategories and tilting modules in $\mathbb{K}Q/\langle R \rangle$-mod.

The algebraic K-theory of $k[\operatorname{SL}_2(\mathbb{F}_q)]$

2026-06-19T13:40:20Z

We compute via trace methods the higher algebraic $K$-theory of the group ring $k[\operatorname{SL}_2(\mathbb{F}_q)]$, as well as the related groups $\operatorname{PSL}_2(\mathbb{F}_q)$, $\operatorname{PGL}_2(\mathbb{F}_q)$, and $\operatorname{GL}_2(\mathbb{F}_q)$, where $k$ is a perfect field of characteristic $p$ and $q=p^r$. At the core of the computation is the algebraic $K$-theory of the group ring of the Sylow $p$-subgroup, $k[C_p^r]$, which we determine via a theorem of Lück--Reich--Rognes--Varisco on cyclic assembly for topological cyclic homology. In the process, we reprove the cyclic assembly result in the language of Nikolaus--Scholze, analyse assembly for smaller families of subgroups, and develop further tools for computing topological cyclic homology of group rings.

Homological stability for Iwahori-Hecke algebras of type B

2026-06-19T13:02:17Z

We show that homological stability holds for the family of Iwahori-Hecke algebras of type B_n, where homology is identified with the relevant Tor group. This family of algebras is related to the Coxeter groups of type B_n, which are groups of signed permutations. The result builds on Hepworth's result for Iwahori-Hecke algebras of type A_n.

On Braverman-Kazhdan's asymptotic Hecke algebra for inner forms of $\mathrm{GL}_n$

2026-06-19T10:51:48Z

We study Braverman-Kazhdan's asymptotic Hecke algebra $\mathcal{J}(G)$ for inner forms $G$ of $p$-adic $\mathrm{GL}_n$. We show that $\mathcal{J}(G)$ and the property for a $G$-representation to extend to a $\mathcal{J}(G)$-module are defined over $\overline{\mathbb{Q}_\ell}$, and hence make sense in the context of the categorical local Langlands correspondence. We show a rudimentary form of compatibility with Hecke operators, allowing us discuss stalks of sheaves on $\mathrm{Bun}_n$ corresponding to the trivial vector bundles on the stack of $L$-parameters, in particular the Whittaker sheaf, in terms of $\mathcal{J}(\mathrm{GL}_n)$-modules. We provide explicit formulas in terms of reductive centralizer of $L$-parameters for many functions in $\mathcal{J}(G)$, and show that $\mathcal{J}(G)$ has the same Hochschild homology as $C_c^\infty(G)$, and that the Kazhdan-Lusztig bijection appears in the isomorphism. We proceed via Bushnell-Kutzko and Sécherre-Stevens types, generalizing a theorem of Suzuki for $\mathrm{GL}_n$ for which we provide a proof.

Parabolic induction for modular finite $W$-algebras

2026-06-19T09:57:20Z

We study the modules of minimal dimension for reduced enveloping algebras of Lie algebras of reductive algebraic groups using the theory of modular finite $W$-algebras. First of all we consider the case where the $p$-character lies in a unique sheet, and demonstrate that in classical cases and in most exceptional cases all minimal modules are parabolically induced from a Levi subalgebra and a rigid $p$-character. Secondly we consider the minimal modules which are invariant under twisting by the component group, showing that in classical cases and in most exceptional cases these are also parabolically induced from a Levi subalgebra and a rigid $p$-character.

Derived equivalence of posets of torsion classes

2026-06-19T09:05:58Z

We investigate the structure of the poset of torsion classes for a finite dimensional algebra admitting a simple projective module. We generalise a result of Ladkani by showing that if two algebras are related by a 1-APR tilt, then their posets of torsion classes are related by a flip-flop. This implies that the incidence algebras of the posets are derived equivalent. We give two different proofs of this result. The first one applies to functorially finite torsion classes, and a key ingredient is to see the two posets we want to relate as subposets of a common poset of silting objects. The second proof applies to arbitrary torsion classes, and we use a similar strategy, this time embedding the two posets into a common poset of s-torsion pairs.

A remark on an integral structure of the imperfect coefficient ring of $(\varphi,Γ)$-modules

2026-06-19T07:22:06Z

Let $K$ be a complete discrete valuation field of characteristic $0$ with perfect residue field of characteristic $p>0$. Let $\mathbb{A}_K$ denote the imperfect coefficient ring of $(\varphi,Γ)$-modules defined by Jean-Marc Fontaine. We prove that the canonical map $W(k_{K_\infty})[[μ]]\rightarrow \mathbb{A}_K\cap A_{\mathrm{inf}}$ is an isomorphism, even when $K$ is ramified. This fact was remarked by Nathalie Wach without proof. In Appendix 2, we include a result of Dylan Pentland. Both results indicate the difficulty of constructing a coefficient ring of ``Wach modules'' in the ramified case.

Poisson structures of deformed $W$-algebras and classical $W$-algebras

2026-06-19T06:42:51Z

In this paper, we explain how classical $W$-algebras can be obtained as limits of $q$-deformed $W$-algebras in type $A$. To this end, we give a detailed examination of the construction of deformed $W$-algebras via Hamiltonian reduction of deformed affine Poisson algebras. We first derive an affine Poisson vertex algebra (PVA) from the Poisson structure of the deformed affine Poisson algebra. This construction identifies a specific set of generators of the deformed $W$-algebra with generators of the classical $W$-algebra.

Perfecting group schemes

2026-06-19T05:11:25Z

We initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups, and obtains a bijection with the set of classifying spaces of compact connected Lie groups topologically localised away from the characteristic. We also study the representations of perfectly reductive groups. We establish a highest weight classification of simple modules, the decomposition into blocks, and relate extension groups to those of the underlying abstract group.

A special class of prime ideals for infinite symmetric group algebras

2026-06-19T05:05:19Z

We identify an interesting special class of prime ideals in the finitary infinite symmetric group algebra. We show that the set of such ideals carries a semiring structure. Over the complex numbers, we establish a connection with spherical representations of (the Gelfand pair corresponding to) the infinite symmetric group. In positive characteristic, we investigate a close connection with the structure theory of symmetric tensor categories.

Triangular Decomposition of the Crystal Lattice of Quantized Function Algebras: Revisited

2026-06-18T17:35:23Z

Let $\g$ be a simple complex Lie algebra of type $G_2$, $F_4$, or $E_8$, and let $G$ be the unique connected simply connected complex Lie group with $\mathrm{Lie}(G)=\g$ and compact real form $K$. We prove a triangular decomposition theorem for the lower crystal lattice $\OAztG$ of the quantized function algebra $\OtG$, establishing that $\OAztG=A_0\text{-alg}<\RAzp \cup \RAzm>.$ This extends the triangular decomposition recently obtained for types $A_n, B_n, C_n, D_n, E_6$, and $E_7$ in~\cite{DDPa} to all simple complex Lie algebras. As a consequence, we obtain: (i) the inclusion $\OAztG\subseteq\OAztK$ conjectured by Matassa-Yuncken and (ii) the crystal limit $\CpKo$ is a compact quantum semigroup with a unique bi-invariant (Haar) state.

Linear representation of groups associated to graphs

2026-06-18T16:49:18Z

In this article, we introduce a group linear representation associated to a graph. We study this representation as well as the canonical decomposition of the associated module. A character study is conducted, demonstrating the relevance of this approach to graph theory. We also develop the links that exist between algebra and graphs, particularly in the language of representations.

Silting t-structures in $Q$-shaped derived categories

2026-06-18T16:24:58Z

Torsion pairs, and in particular t-structures, play a central role in the study of triangulated categories. Specifically, t-structures induced by silting (or tilting) objects often admit desirable properties with strong connections to derived equivalences. In this paper, using the correspondence of Saorín-Šťovíček between cohereditary cotorsion pairs in Frobenius exact categories and t-structures in their stable categories, we construct a family of t-structures in the $Q$-shaped derived category of Holm and Jorgensen, arising from admissible partitions of $Q$. We give an explicit description of the associated cotorsion pairs inside the Frobenius exact category of the bifibrant objects, and we identify the corresponding co-aisles by certain homological vanishing conditions. Such t-structures are proved to be induced by a silting object, that can be completely determined by the combinatorics of $Q$. Finally, we illustrate our results by recovering well-known equivalences in the $Q$-shaped setting, while also providing examples where the combinatorial conditions fail (e.g. cyclic quivers), showing that such categories may admit no non-trivial t-structures, revealing phenomena analogous to those observed by Linckelmann in stable module categories.

Characters of modules over negative rank-2 Borcherds-Kac-Moody Lie algebras

2026-06-18T15:44:31Z

Let $\mathfrak{g}=\mathfrak{g}(A)$ be the Borcherds-Kac-Moody Lie algebra (BKM LA), corresponding to a BKM Cartan matrix $A$ filled by negative integers. Let $P^+\subset \mathfrak{h}^*$ the classical dominant integral cone (wherein pairings are non-negative). The non-integrable simple highest weight modules $L(μ)$'s widely studied were broadly those by Naito ([Trans. Amer. Soc., 1995]), for $μ$'s dot-linked to $P^+$-translates of sums $- \sum_{j\in J}α_j$ of mutually orthogonal and imaginary simple roots $α_j$'s. Recently, we computed weights of all highest weight $\mathfrak{g}$-modules $V$'s, and characters of $L(ρ)$ for Weyl vector $ρ$ in negative type-$A$. These needed a family of ``integrable'' $L(μ)$'s for $μ$'s inside our novel signed-dominant-integral cone $P^{\pm}$ (which generalizes $P^+$). Pairings $μ(α_i^{\vee})\leq 0$ therein are multiples of $\frac{A_{ii}}{2}$ for all $i$. Nevertheless, $L(μ)$ contain ``Chevalley-Serre relations'' $f_i^{\frac{2}{A_{ii}}{μ(α_i^{\vee})}+1}L(μ)_μ=0$; which differ from relations in $L(λ)$ for all $λ\in P^+$, and are seemingly unstudied earlier (also by Naito). This paper initiates the study in rank-2, of the module structures and maximal vectors (or Verma embeddings) in the Verma covers $M(μ)$ of $L(μ)$'s for $μ\in P^{\pm}$. In this, our goal is to explore in weight spaces of those Verma covers, the strictness (or otherwise, an uniform equality) of lower bounds by Kac and Kazhdan ([Adv. Math., 1979]) for count of linearly independent maximal vectors. We obtain presentations and characters of all $V$'s when Kac-Kazhdan equation has unique solution in the interior of root-cone. This builds on the unique solution case in Lemma 3.1 from that paper.