Zonal Spherical Functions of Quantum Symmetric Pairs

2026-06-26T09:52:49Z

We identify the zonal and character spherical functions for quantum symmetric pairs with the symmetric Koornwinder--Macdonald polynomials. To this end, the methods of Letzter's 2004 paper are translated to modern conventions and right coideal subalgebras, and extended to non-standard cases and cases with non-reduced restricted root systems. For the last elusive Satake type, FII, a conjecture is provided.

Brick chain filtrations

2026-06-26T09:37:07Z

We deal with the category of finitely generated modules over an artin algebra $A$. Recall that an object in an abelian category is said to be a brick provided its endomorphism ring is a division ring. Simple modules are, of course, bricks, but in case $A$ is connected and not local, there do exist bricks which are not simple. The aim of this survey is to focus the attention to filtrations of modules where all factors are bricks, with bricks being ordered in some definite way. In general, a module category will have many oriented cycles. Recently, Demonet has proposed to look at so-called brick chains in order to deal with a very interesting directedness feature of a module category. These are the orderings of bricks which we will use. This is a survey which relies on recent investigations by a quite large group of mathematicians. We have singled out some important observations and have reordered them in order to obtain a completely self-contained (and elementary) treatment of the relevance of bricks in a module category. (Most of the papers we rely on are devoted to what is called $τ$-tilting theory, but for the results we are interested in, there is no need to deal with $τ$-tilting, or even with the Auslander-Reiten translation $τ$).

The brick chain complexity of an artin algebra

2026-06-26T09:21:35Z

We consider the category of finitely generated modules over an artin algebra $A$. It is known that any module $M$ has a brick chain filtration. We say that M has brick chain complexity at most $t$ provided $M$ has a brick chain filtration of length at most $t$. The brick chain complexity of A is by definition the supremum of the brick chain complexity of the indecomposable $A$-modules. The aim of this note is to calculate the brick chain complexity for some algebras. We will exhibit algebras with arbitrarily large brick chain complexity.

Morita equivalences between cyclotomic KLR algebras in types $\mathtt{C}_\infty$ and $\mathtt{A}_\infty$

2026-06-26T08:01:56Z

We prove that level one cyclotomic KLR algebras in type $\mathtt{C}_\infty$ are graded Morita equivalent to level two cyclotomic KLR algebras in type $\mathtt{A}_\infty$. We hence deduce the graded decomposition numbers and full submodule structures of all level one cyclotomic KLR algebras in type $\mathtt{C}_\infty$.

Affine and cyclotomic Schur categories

2026-06-26T07:40:55Z

Using the affine web category introduced in a prequel as a building block, we formulate a diagrammatic $\Bbbk$-linear monoidal category, the affine Schur category, for any commutative ring $\Bbbk$. We then formulate diagrammatic categories, the cyclotomic Schur categories, with arbitrary parameters at positive integral levels. Integral bases consisting of elementary diagrams are obtained for affine and cyclotomic Schur categories. A second diagrammatic basis, called a double SST basis, for any such cyclotomic Schur category is also established, leading to a conjectural higher level RSK correspondence. We show that the endomorphism algebras with the double SST bases are isomorphic to degenerate cyclotomic Schur algebras with their cellular bases, providing a first diagrammatic presentation of the latter. The presentations for the affine and cyclotomic Schur categories are much simplified when $\Bbbk$ is a field of characteristic zero.

On Franke's theorem in the simplest case

2026-06-26T06:09:19Z

For level one spherical automorphic forms on the upper half-plane, we prove directly that every automorphic form is a sum of a cusp form and a linear combination of Laurent coefficients of the standard Eisenstein series. This is the simplest instance of Franke's general theorem, which asserts that automorphic forms on a reductive group are spanned by Laurent coefficients of Eisenstein series induced from cuspidal automorphic forms on Levi subgroups. Unlike Franke's general argument, ours does not invoke Langlands' construction of the discrete automorphic spectrum from cuspidal Eisenstein series. It rests instead on basic analytic properties of automorphic forms and Green's identity.

Semirings

2026-06-26T04:53:55Z

We survey theory developed over the past 10 years of semirings which need not be additively cancellative. The main features are a specified ``null ideal'' $\mcA_0$ of a semiring $\mcA,$ taking the place of a zero element, and a ``surpassing relation,'' taking the place of equality, which permit generalizations of the classical algebraic theory to polynomials and their roots, algebraic geometry, matrices, linear algebra, varieties, categories, and module theory. The ``pair'' $(\mcA,\mcA_0)$ is studied along the lines of universal algebra.

The representations of the Lie superalgebra $p(3)$ in characteristic 3

2026-06-26T04:12:25Z

Let $g$ be the Lie superalgebra $p(3)$ of rank 2 over an algebraically closed field $K$ of characteristic $p=3$. We classify all irreducible modules of $g$, and give the character formulae for irreducible modules.

Representations of infinite species

2026-06-26T02:54:45Z

We consider species, consisting of a possibly infinite set of rings, and bimodules between them. Simson realised the category of representations as a functor category, which we prove is hereditary when each of the rings is semisimple. We use purity to provide sufficient conditions, in order for a representation to decompose into indecomposables with local endomorphism rings. For any bifunctor valued in bimodules, we functorially construct species equipped with commutativity conditions. This generates examples coming from a range of topics, such as subobject lattices in abelian length categories, the field choice problem in persistent homology, and topological field theories with defects.

Cutoff profiles for conjugacy invariant random walks on symmetric groups

2026-06-25T22:39:45Z

We prove asymptotic equivalents of characters for finite-level representations of symmetric groups, that is, for Young diagrams which have all but finitely many boxes on their first row. The proofs rely on computing the number of ribbon tableaux of different types, which allows us to estimate characters via the Murnaghan--Nakayama rule. We deduce that random walks on symmetric groups generated by conjugacy classes with a macroscopic number of fixed points have a Poissonian cutoff profile. We also prove that the random involution walk exhibits cutoff and find its cutoff profile. Finally, we obtain numerics for the random transposition walk on a deck of 52 cards, giving concrete estimates on the question that originally motivated Diaconis and Shahshahani.

Classification of simple commutative algebras in the Delannoy category

2026-06-25T20:42:59Z

The Delannoy category is an interesting pre-Tannakian category associated to the oligomorphic group $\mathbb{G}$ of automorphisms of the totally ordered set $(\mathbf{R}, <)$. By construction, it admits some obvious simple commutative algebras, corresponding to certain transitive $\mathbb{G}$-sets. We show that these account for all of the simple commutative algebras in the Delannoy category. Previous results of this kind have been limited to interpolation categories; since the Delannoy category cannot be obtained by interpolation, new methods are required.

The Drinfeld center of an oligomorphic tensor category

2026-06-25T20:41:06Z

Recently, Harman and the second author introduced a new construction of pre-Tannakian tensor categories based on oligomorphic groups. We develop tools for analyzing the Drinfeld centers of these categories, and compute the center explicitly in a number of cases. In particular, we find several finitely tensor-generated pre-Tannakian categories (including the Delannoy category) that are identified with their own center via the canonical functor; prior to this work, we knew no such examples besides the category of vector spaces.

Affine Jacobi-Trudi Identities and $q,t$-Rogers-Ramanujan Identities

2026-06-25T20:36:47Z

We conjecture affine or Hall-Littlewood analogues of the dual Jacobi-Trudi identities for orthogonal and symplectic Schur functions indexed by rectangular partitions of maximal height. These conjectures are then used to derive $t$-analogues of many known Rogers-Ramanujan identities for the characters of standard modules of affine Lie algebras. This includes $t$-analogues of the classical Rogers-Ramanujan identities, (some of) the Andrews-Gordon identities and the $\mathrm{C}_n^{(1)}$, $\mathrm{A}_{2n}^{(2)}$ and $\mathrm{D}_{n+2}^{(2)}$ GOW identities. We also prove an affine analogue of the dual Jacobi-Trudi identity for Schur functions indexed by rectangular partitions of arbitrary height.

Coordinate projections of $c$-vectors of cluster algebras from the annulus

2026-06-25T20:10:28Z

For an acyclic cluster algebra, the $c$-vectors are, up to sign, the real Schur roots of the associated root system. We study the two-coordinate projections $(c_v, c_w)$ of this configuration: when the difference $c_v - c_w$ is bounded the image lies in a band of lattice lines, and we ask when the projection fills that band. A band-existence dichotomy, valid in every acyclic type, shows the difference is bounded if and only if the null root satisfies $δ_v = δ_w$. For affine type $\widetilde{A}_n$ (the annulus), in the source-sink orientation, we resolve the filling question completely: every coordinate projection fills its band except along the source-sink diagonal, which carries only the finite regular part. The obstruction is the Auslander--Reiten defect, which a projection sees on its diagonal exactly when the defect is a coordinate difference; the only such pair is the source-sink pair of $\widetilde{A}_n$, so the pattern depends on the chosen seed. More generally, every banded pair of null-root coefficient one fills, except these diagonals. Off the diagonal a banded pair in $\widetilde{E}_7$ fails to fill, so non-filling is not confined to type $\widetilde{A}_n$; a computation classifies the pairs of coefficient at least two over a range of affine types, where this $\widetilde{E}_7$ pair is the only further failure, and the general classification remains open.

Enumerating matrices with prescribed entries in an adjoint orbit

2026-06-25T19:24:10Z

We study intersections of conjugacy classes of square matrices over a finite field with affine coordinate subspaces, or equivalently matrices in a fixed adjoint orbit with prescribed entries. Our main result treats the case of prescribed columns: for a partially defined linear map we give a Hall scalar product formula for the number of extensions to an endomorphism with prescribed similarity invariants. This formula is expressed in terms of skew modified Hall--Littlewood functions and $q$-Whittaker functions. As applications, we count monic matrix polynomials over $\mathbb{F}_q$ with prescribed Smith normal form and with prescribed determinant, and recover the Gerstenhaber--Reiner formula for the number of square matrices with a fixed characteristic polynomial. We also note that known point-count formulas for Hessenberg varieties imply related formulas for Hessenberg supports involving chromatic quasisymmetric functions, motivating polynomiality questions for more general supports and prescribed affine slices.