Parahoric Hecke Ext-algebras in characteristic $p$

2026-06-14T11:55:32Z

Let $\mathfrak{F}$ be a nonarchimedean local field of residual characteristic $p$, and let $G$ denote the group of $\mathfrak{F}$-points of a connected reductive group over $\mathfrak{F}$. For an open compact subgroup $\mathcal{U}$ of $G$ and a unital commutative ring $k$, we let $\mathbf{X}_{\mathcal{U}}$ denote the space of compactly supported $k$-valued functions on $G/\mathcal{U}$. Building on work of Ollivier--Schneider, we investigate the graded $\textrm{Ext}$-algebra $E_{\mathcal{U}}^* := \textrm{Ext}_G^*(\mathbf{X}_{\mathcal{U}},\mathbf{X}_{\mathcal{U}})^{\textrm{op}}$. In particular, we describe the Yoneda product, an involutive anti-automorphism, and (when $k$ is a field of characteristic $p$ and $\mathcal{U}$ has no $p$-torsion) a duality operation. We allow for the reductive group to be non-split, and for the open compact subgroup $\mathcal{U}$ to be non-pro-$p$. Specializing further to the case $G = \textrm{SL}_2(\mathbb{Q}_p)$ with $p \geq 5$ and a coefficient field of characteristic $p$, we obtain more precise results when $\mathcal{U}$ is equal to an Iwahori subgroup $J$ or a hyperspecial maximal compact subgroup $K$. In particular, we compute the structure of $E_J^*$ as an $E_J^0$-bimodule, obtain an explicit description of the center $\mathcal{Z}(E_J^*)$ of $E_J^*$, and construct a surjective morphism of algebras $\mathcal{Z}(E_J^*) \longrightarrow E_K^*$ (analogous to the compatibility between Bernstein and Satake isomorphisms in characteristic 0). From this we deduce the (somewhat surprising) fact that $E_K^*$ is not graded-commutative, contrary to what happens for almost all $\ell$-modular characteristics.

K-theoretic construction of affine quantum Schur algebras and iquantum groups with unequal parameters

2026-06-14T10:12:03Z

We present an equivariant K-theoretic construction of affine quantum Schur algebras of type C with three parameters by taking advantage of Kato's exotic framework. This enables the derivation of an equivariant K-theoretic realization of affine iquantum groups of type AIII with three parameters. Additionally, in Appendix A, we provide an equivariant K-theoretic construction of affine quantum Schur algebras of types B/C/F/G with two parameters, following Antor's recent work on affine Hecke algebras with two parameters.

Crystal Structure of Upper Cluster Algebras

2026-06-14T08:38:18Z

We describe the upper seminormal crystal structure for the $μ$-supported $δ$-vectors for any quiver with potential with reachable frozen vertices, or equivalently for the tropical points of the corresponding cluster $\mc{X}$-variety. We show that the crystal structure can be algebraically lifted to the generic basis of the upper cluster algebra. This can be viewed as an additive categorification of the crystal structure arising from cluster algebras. We introduce the biperfect bases in the cluster algebra setting and give a description of all biperfect bases, which are parametrized by lattice points in a product of polyhedral sets. We illustrate this theory from classical examples and new examples.

The Coxeter transformation as an automorphism of the Tamarkin--Tsygan calculus

2026-06-14T04:35:16Z

Let $A$ be a finite-dimensional algebra over a field $\kk$. We show that the Auslander--Reiten bimodule $\ar_A:=\D A[-1]$ is central in the derived Picard group of $A$ and that, when $\gldim A<\infty$, it induces through the derived-invariance functor $\HB$ of \cite{Armenta19,ArmentaKeller17,ArmentaKeller19} a canonical automorphism $σ_A$ of the Tamarkin--Tsygan calculus of $A$; the pair $(\HB(A),σ_A)$ is invariant under derived equivalence. We then compute both components of $σ_A$. On the Hochschild homology of an elementary algebra, which is concentrated in degree zero, the matrix of $σ_A$ in the basis of idempotent traces is $-C_A^{-1}C_A^{\mathrm{T}}$, so its characteristic polynomial is the Coxeter polynomial; the enriched calculus strictly refines both the calculus and the Coxeter polynomial, as the path algebras of quivers of types $\mathbb{A}_4$ and $\mathbb{D}_4$ show, although it is not a complete derived invariant, as the smallest cospectral pair of trees shows. On Hochschild cohomology we prove that $σ_A$ is the identity: the left and right actions of $\HH^\bullet(A)$ on the bimodule $\D A$ coincide for every finite-dimensional $A$. This yields a short conceptual proof that the Nakayama automorphism of a Frobenius algebra acts trivially on Hochschild cohomology, recovering a recent theorem of Suárez-Álvarez. Finally we extend the construction to smooth and proper differential graded algebras, hence to perfect derived categories of smooth projective varieties; the enrichment degenerates precisely on Calabi--Yau categories, and on $\PP^n$ it is governed by the Coxeter polynomial $(x+(-1)^n)^{n+1}$ of the Beilinson algebra. Happel's trace formula and de la Peña's cyclotomicity theorem for fractionally Calabi--Yau algebras become statements internal to the enriched calculus.

Mutations of simple-minded collections revisited

2026-06-14T01:40:37Z

Simple-minded collections in the bounded derived category $\mathsf{D}^\mathrm{b}(\operatorname{\mathsf{mod}} A)$ are necessary tools in tilting theory of finite dimensional algebras, as well as silting complexes in the perfect derived category $\mathsf{K}^\mathrm{b}(\operatorname{\mathsf{proj}} A)$. In this paper, we give an explicit mutation formula of simple-minded collections at arbitary direct summands, which is compatible with that of silting complexes. Though this mutation formula may be known to experts, we provide a thorough proof for completeness and future reference. Then we use our formula to revisit $τ$-tilting theory in terms of mutations of 2-term simple-minded collections, including their relationship with maximal/minimal completions of 2-term presilting complexes and $τ$-tilting reduction.

Critical groups for Hopf algebra modules

2026-06-13T18:22:06Z

This paper considers an invariant of modules over a finite-dimensional Hopf algebra, called the critical group. This generalizes the critical groups of complex finite group representations studied by Benkart, Klivans, Reiner and Gaetz. A formula is given for the cardinality of the critical group generally, and the critical group for the regular representation is described completely. A key role in the formulas is played by the greatest common divisor of the dimensions of the indecomposable projective representations.

Cohen Macaulay modules and positroid varieties

2026-06-13T17:10:12Z

Jensen, King, and Su described a category $\operatorname{CM}(C)$ which categorifies the cluster structure on the homogeneous coordinate ring of a Grassmannian. In this paper we describe subcategories $\operatorname{R}(v,w) \subseteq \operatorname{CM}(C)$ which lift Leclerc's categories $\mathcal{C}_{v,w}$ in the case where $v \in \left(W^{k}\backslash W\right)^{\max}$ and $w \geq v.$ As such, these categories are Frobenius, stably 2-CY, have natural cluster characters, and induce a cluster structure in lifts of open positroid varieties.

Quiver representations and idempotent loops

2026-06-13T17:06:31Z

We study $\mathbb{C}^{\times}$-actions on quiver representations by adding idempotent loops. We construct a category mod $\widehat{\operatorname{W}}(\mathrm{Q})$ and relate it to $\mathbb{C}Q$ modules with $\mathbb{C}^{\times}$-actions. We further describe a subcategory $\widehat{\operatorname{W}}_{T}(\mathrm{Q})$ equivalent to the category of equivariant modules where $\mathbb{C}^{\times}$ acts on $\mathbb{C}Q$ via a character $T \in \mathbb{Z}^{Q_1}.$ This allows us to study $\mathbb{C}^{\times}$-actions on quiver Grassmannians and we can recover known combinatorial descriptions of their Euler characteristics via the category mod $\widehat{\operatorname{W}}(\mathrm{Q}).$ We directly relate morphisms of quivers to full subcategories of mod $\widehat{\operatorname{W}}(\mathrm{Q}).$ Finally we show that the representation theory of quivers with idempotents can be applied in a useful way to preprojective algebras. We show that this gives constructions of Galois covers and cluster characters used by Geiss, Leclerc, and Schröer.

Shalika Models for Finite General Linear and Unitary Groups

2026-06-13T13:42:46Z

We completely and explicitly classify the irreducible representations of finite general linear groups ${\rm{GL}}_{2\frak{n}}(\mathbb{F}_q)$ and finite unitary groups ${\rm{U}}_{2\frak{n}}(\mathbb{F}_q)$ that admit a Shalika model. Using Lusztig's Jordan decomposition of irreducible representations, we establish a multiplicity formula for Shalika multiplicities in terms of the Weyl group of the centralizer of a semisimple element in the dual group. We also derive connections to symplectic models, linear models, and relative Langlands duality.

Quantum $K$-invariants via Quot schemes II

2026-06-13T13:26:39Z

We derive a $K$-theoretic analogue of the Vafa--Intriligator formula, computing the (virtual) Euler characteristics of vector bundles over the Quot scheme that compactifies the space of degree $d$ morphisms from a fixed projective curve to the Grassmannian $\mathrm{Gr}(r,N)$. As an application, we deduce interesting vanishing results, used in our previous work to study the quantum $K$-ring of $\mathrm{Gr}(r,N)$. In the genus-zero case, we prove a simplified formula involving Schur functions, consistent with the Borel--Weil--Bott theorem in the degree-zero setting. These new formulas offer a novel approach for computing the structure constants of quantum $K$-products.

A classification of derived-discrete graded algebras

2026-06-13T12:16:07Z

A finite-dimensional algebra is derived-discrete, in the sense of Vossieck, precisely when it is a piecewise hereditary algebra of Dynkin type or a gentle one-cycle algebra not satisfying the clock condition. Building on the discrete triangulated categories of Broomhead, Pauksztello, and Ploog, we study derived-discreteness for locally finite non-positively graded algebras, regarded as connective locally finite dg algebras with trivial differential. Our main result extends Vossieck's classification to this setting: such a graded algebra is derived-discrete if and only if it is graded Morita equivalent to a piecewise hereditary algebra of Dynkin type, or it is a graded gentle one-cycle algebra not satisfying the graded clock condition. Along the way, using surface models we prove the conjecture of Kalck and Yang that the graded clock condition is invariant under derived equivalence. We also establish a restriction on semi-orthogonal decompositions of the bounded derived category of a path algebra of Dynkin type $D$.

A Generalization of UQ Rings

2026-06-13T08:59:25Z

We examine the newly defined class of {\it $n$-$UQ$ rings} described by the condition that $u^n - 1 \in QN(R)$ for every unit $u \in U(R)$, where $QN(R)$ denotes the set of quasi-nilpotent elements (see \cite{Tien}). This class naturally extends the recently defined class of rings in \cite{daoa} and \cite{dam}, as well as expectedly generalizes previously explored concepts such as $UJ$, $UU$ and $UQ$ rings. We conduct here a comprehensive structural analysis of these $n$-$UQ$ rings and study their stability under various ring-theoretic constructions including matrix rings, group rings, trivial extensions and power series rings. As a result, several new characterizations are established, thus revealing relevant connections between $n$-$UQ$ rings and fundamental classes of rings such as reduced, clean, exchange, semi-regular and potent rings, respectively. Moreover, we prove that the classes of $n$-$UJ$ and $n$-$UU$ rings are properly contained in the class of $n$-$UQ$ rings. These achievements not only unify and expand existing theories in this branch, but also provide a robust framework for possible further investigations into the interplay between the unit behavior and quasi-nilpotency in noncommutative ring theory.

The Opdam-Cherednik kernel is the Laplace transform of a positive measure

2026-06-13T08:16:06Z

We prove that the Opdam-Cherednik kernel, also known as the nonsymmetric Opdam hypergeometric function, can be written as the Laplace transform of a positive measure supported on the convex hull of the Weyl group orbit of its argument. As a consequence, the trigonometric Dunkl intertwining operator is positivity preserving. The main ingredient in the proof is a new formula for the Opdam-Cherednik kernel as a degeneration of nonsymmetric Macdonald polynomials. As a further application, we prove majorization inequalities for Macdonald polynomials and Heckman-Opdam hypergeometric functions associated with arbitrary root systems.

Cohomology of Flag Superschemes and Syzygies of Compositional Varieties

2026-06-12T20:54:12Z

We study the coherent cohomology of partial flag supervarieties and calculate the sheaf cohomology of the structure sheaves of four new infinite families of flag supervarieties. We introduce compositional varieties, a generalization of determinantal varieties obtained by imposing rank conditions on compositions of a pair of maps. We study geometric properties of compositional varieties and, in cases of interest, compute their $\mathrm{Tor}$-groups. For each of the four families of flag supervarieties, we show that the graded sheaf cohomology is isomorphic to the tensor product of the singular cohomology ring of an ordinary partial flag variety and the graded $\mathrm{Tor}$-groups of a compositional variety.

Theory of Infinite Maximal Green Sequences: Finest Stability Data, CBHO Sequence and Cluster quiver pattern

2026-06-12T15:30:20Z

In this paper, we introduce maximal green sequences of infinite length in abelian length categories and establish natural bijections among infinite maximal green sequences, finest stability data, and complete backward $\operatorname{Hom}$-orthogonal (briefly, CBHO) sequences of bricks. For cluster quiver patterns (equivalently, cluster algebras) of infinite rank, we define maximal green sequences of infinite length via $c$-vectors. Moreover, we prove that under suitable conditions such a maximal green sequence in a cluster quiver pattern of infinite rank can be categorified as a maximal green sequence of torsion classes in the corresponding representation category via a specific construction, thereby providing an example of a maximal green sequence in an abelian length category. This framework establishes a connection between infinite maximal green sequences in representation theory and maximal green sequences for cluster algebras of infinite rank.