Three perspectives on categorical symmetric Howe duality

2026-07-15T15:55:46Z

In this paper, we consider the categorical symmetric Howe duality introduced by Khovanov, Lauda, Sussan and Yonezawa. While originally defined from a purely diagrammatic perspective, this construction also has geometric and representation-theoretic interpretations, corresponding to certain perverse sheaves on spaces of quiver representations and the category of Gelfand-Tsetlin modules over $\mathfrak{gl}_n$. In particular, we show that the "deformed Webster algebras" discussed in work of Khovanov-Lauda-Sussan-Yonezawa manifest a Koszul duality between blocks of the category of Gelfand-Tsetlin modules over $\mathfrak{gl}_n$, and the constructible sheaves on representations of a linear quiver invariant under a certain parabolic in the group that acts by changing bases. Furthermore, we show that this duality intertwines translation functors with a diagrammatic categorical action. Includes an appendix by the author and Jerry Guan.

On categorical local langlands program for $GL_n$

2026-07-15T14:51:48Z

We study various moduli spaces of local Shtukas in the setting of Fargues' program for $GL_n$. In certain cases, this gives us an explicit description of the spectral action which was recently introduced by Fargues and Scholze. This description sheds light to the categorical local Langlands program for $GL_n$ and allows us to construct Hecke eigensheaves associated to certain $\ell$-adic Weil representations of rank $n$ and to prove some parts of Fargues' conjecture. Moreover, by using this description, we can prove new cases of the Harris-Viehmann conjecture for non-basic Rapoport-Zink spaces and compute some parts of the cohomology of the Igusa varieties associated to $GL_n$.

Scattering and a Plancherel formula for real reductive spherical spaces

2026-07-15T13:18:07Z

We establish the analog for real homogeneous spherical varieties of the Scattering Theorem of Sakellaridis and Venkatesh (Periods and harmonic analysis on spherical varieties, Asterisque 396, (2017), Theorem 7.3.1) for p-adic wavefront spherical varieties. We use properties of the Harish-Chandra homomorphism of Knop for invariant differential operators of the variety, special coverings of the variety and spectral projections. Our main result depend on an analog of the Discrete Series Conjecture of Sakellaridis and Venkatesh (\cite{SV}, Conjecture 9.4.6). Their result quoted above depends on this Discrete series conjecture.

Geometry of regular semisimple Lusztig varieties

2026-07-15T12:43:41Z

Lusztig varieties are subvarieties in flag manifolds $G/B$ associated to an element $w$ in the Weyl group $W$ and an element $x$ in $G$, introduced in Lusztig's papers on character sheaves. We study the geometry of these varieties when $x$ is regular semisimple. In the first part, we establish that they are normal, Cohen-Macaulay, of pure expected dimension and have rational singularities. We then show that the cohomology of ample line bundles vanishes in positive degrees, in arbitrary characteristic. This extends to nef line bundles when the base field has characteristic zero or sufficiently large characteristic. Along the way, we prove that Lusztig varieties are Frobenius split in positive characteristic and that their open cells are affine. We also prove that the open cells in Deligne-Lusztig varieties are affine, settling a question that has been open since the foundational paper of Deligne and Lusztig. In the second part, we explore their relationship with regular semisimple Hessenberg varieties. Both varieties admit Tymoczko's dot action of $W$ on their (intersection) cohomology. We associate to each element $w$ in $W$ a Hessenberg space using the tangent cone of the Schubert variety associated with $w$, and show that the cohomology of the associated regular semisimple Lusztig varieties and Hessenberg varieties is isomorphic as graded $W$-representations when they are smooth. This relationship extends to the level of varieties: we construct a flat degeneration of regular semisimple Lusztig varieties to regular semisimple Hessenberg varieties. In particular, this proves a conjecture of Abreu and Nigro on the homeomorphism types of regular semisimple Lusztig varieties in type $A$, and generalizes it to arbitrary Lie types.

Stable Limit DAHA of type $(C^{\vee},C)$ and Stable Limit Koornwinder Polynomials

2026-07-15T09:52:39Z

We construct two stable limit representations of the double affine Hecke algebra of type $(C^\vee,C)$ on the space of almost symmetric Laurent polynomials, namely the positive and negative stable limit representations. Starting from the standard polynomial representation of the finite rank DAHA of type $(C_n^\vee,C_n)$, we study the asymptotic behavior of the Cherednik operators under the two natural rescalings by positive and negative powers of the parameter $t$. We prove that these rescaled Cherednik operators admit well-defined limits on the ring of almost symmetric Laurent polynomials. This yields stable positive and negative actions of a common stable limit DAHA. The action of the limit Cherednik operators is also proven to be triangular on a natural basis of almost symmetric Laurent polynomials labeled by tuple-partition symbols with respect to the induced Bruhat order. We further construct for each of the two stable limit representations a set of simultaneous eigenfunctions of the limit Cherednik operators using the partial symmetrization operators acting on the non-symmetric Koornwinder polynomials. We show that each of the two sets of the eigenfunctions form a basis of the space of almost symmetric Laurent polynomials, and denote them by the positive and negative stable limit Koornwinder polynomials.

Aubert duality and co-tempered Langlands data

2026-07-15T08:59:22Z

Let $F$ be a non-archimedean local field of characteristic 0, and let $G$ be either $\mathrm{Sp}_{2n}(F)$ or $\mathrm{SO}_{2n+1}(F)$. We introduce a new algorithm to compute the Aubert dual at the level of Langlands data. This algorithm acts as the dual to the recent Lanard-Mínguez algorithm. It fundamentally differs in two ways: it follows a bottom-up approach rather than a top-down one, and its internal computations strictly preserve the temperedness of the representations. Consequently, this approach naturally yields a new constructive characterization of co-tempered representations. By operating exclusively within the realm of tempered data, this algorithm enables inductive proofs of new properties for co-tempered representations. In particular, we provide a precise description of their tempered components and establish an explicit duality formula for a large class of tempered representations.

Type $B$ Webs

2026-07-14T20:34:31Z

We solve the type $B$ case of the main open problem from Kuperberg's 1996 paper "Spiders for rank 2 Lie algebras." That is, we define a $\mathbb{C}(q)$-linear pivotal category $\mathbf{Web}(\mathfrak{so}_{2n+1})$ and prove that it is equivalent to the full subcategory of finite-dimensional representations of $U_q(\mathfrak{so}_{2n+1})$ tensor-generated by the fundamental representations. A consequence of our main result is an explicit construction of braid group symmetries for nonclassical finite-dimensional representations of the $ι$quantum group ${U}^ι_{-q^2}(\mathfrak{so}_m)$, which may be of independent interest.

On the Strong Unital Property for the Affine VOAs

2026-07-14T19:00:38Z

Representations of vertex operator algebras $V$ (VOAs) have numerous applications, including the construction of sheaves of conformal blocks on moduli spaces of curves. For a $V$-module $W = \oplus W_d$, a sequence of associative algebras $\mathfrak{A}_d$ acts on each graded component $W_d$. When these $d$th-mode transition algebras $\mathfrak{A}_d$ are strongly unital - meaning they are unital with units acting as the identity on $W_d$ - the associated sheaves of conformal blocks are vector bundles rather than merely coherent sheaves. This strong unital property, while difficult to verify in practice, has other important implications as well. Here we construct explicit strong units for $L_{\widehat{\mathfrak{sl}_2}}(1,0)$, the simple affine VOA for $\mathfrak{sl}_2$ at level $1$, and establish that mode transition algebras for universal affine VOAs for $\mathfrak{sl}_2$ are never strongly unital at any level $k$ not equal to the critical level $-2$.

The Action of the Lie Algebra $\mathfrak{sl}_n$ on Colored Graphs and Multicolored Johnson Graphs

2026-07-14T18:59:38Z

We consider the space of $(n-1)$-colored graphs on a fixed set of $N$ vertices. Each edge position of the complete graph $K_N$ has $n$ possible states: the absence of an edge and $n-1$ colors. This gives a natural identification of the space of such graphs with the tensor power $(\mathbb C^n)^{\otimes m}$, where $m=\binom N2$, and defines on it the diagonal action of the Lie algebra $\mathfrak{gl}_n$, and, after restriction, the action of $\mathfrak{sl}_n$. For a fixed profile $α=(α_0,\dots,α_{n-1})$, we consider the graph $J(m;α)$ whose vertices are colored graphs of this profile and whose adjacency is defined by a single exchange of states in two edge positions. This graph is the transposition graph on the set of words with fixed profile, also known as the \emph{multislice}. The main result is an expression of the adjacency operator in terms of the root operators of $\mathfrak{sl}_n$ and a derivation of its spectrum by means of the quadratic Casimir operator of $\mathfrak{gl}_n$ and the Schur--Weyl decomposition. It is proved that the adjacency operator belongs to the center of the algebra $\End_{S_m}(\mathcal C_α)$. The contribution of each spectral block to the multiplicity of the corresponding eigenvalue is described in terms of a Kostka number and the dimension of a Specht module. For $n=2$, one obtains the classical Johnson graph and its known spectrum. As applications, a formula for the valency is established, connectivity is proved, the Hoffman bound for independent sets is obtained, and the three-state case is considered in detail; in this case the natural symmetrized subspace realizes the module $\Sym^m(\mathbb C^3)$.

Fano 4-fold quiver moduli from subspace quivers

2026-07-14T15:34:25Z

We classify the moduli spaces of representations of subspace quivers which are Fano fourfolds, under a natural assumption on the dimension vector. These moduli spaces can also be described as GIT quotients of products of Grassmannians by the diagonal action of a projective linear group, and there are exactly four of them. They are rational, of pure Hodge-Tate type, infinitesimally rigid, and have finite automorphism groups, with Picard ranks 5, 6, 6 and 7, making them interesting examples in the classification of Fano fourfolds of large Picard rank, as they are not toric or products. Two are known varieties: Manivel's Segre cousin of the Segre cubic 3-fold, and the Fano model of the blowup of $\mathbb{P}^4$ in six points. The other two appear to be new: one is an involution surface bundle over $\mathbb{P}^2$, and the other is a "Segre cousin once-removed", whose geometry closely parallels that of the Segre cousin. Using techniques from quiver moduli, which we survey, we describe the geometry of all four fourfolds in detail.

Record compositions of alternating permutations and noncommutative symmetric functions

2026-07-14T15:22:24Z

Amdeberhan, Shareshian, and Stanley recently proved that a function $\varphi$ arising in the theory of partition Eisenstein series counts the alternating permutations of $\{1,\dots,2n\}$ with a given `record' partition, and they asked whether there is a similar theory for record compositions, suggesting a role for noncommutative symmetric functions. Here we solve their open problem by showing that the number of alternating permutations of $\{1,\dots,2n\}$ with record composition $(α_1,\dots,α_\ell)$ is \[ \prod_{j=1}^{\ell}\binom{2s_j-1}{2α_j-1}E_{2α_j-1}, \] where $s_j=α_1+\dots+α_j$, $E_k$ is an Euler number, and the record composition of $w=a_1a_2\dots a_{2n}$ (so $a_1>a_2\dotsb$) lists the factor lengths obtained by cutting $a_1a_3\dots a_{2n-1}$ before each left-to-right maximum other than the first. These numbers are the coefficients of a natural lift of the degree-$n$ sprout symmetric function with seed $\sec(\sqrt{t}\,)$ to noncommutative symmetric functions, expanded in products of noncommutative power sums of the first kind. An analogous refinement holds for every sprout sequence whose seed is given by the exponential formula. AxiomProver autonomously produced and verified the results in this paper in Lean.

A Proof of Sundaram's Bounded-Interval Higher Lie Positivity Conjecture

2026-07-14T13:17:46Z

For positive integers $n$ and $M$, Sundaram defined $ F_{n,M}=\sum_{\substack{d\mid n\\d\le M}} Lie_{n/d}[p_d] $ and conjectured that every coefficient in its Schur expansion is a nonnegative integer. We prove the conjecture. The power-sum expansion isolates the contribution of the identity class, and the proof divides Young diagrams at the intrinsic majority threshold. If the first row or first column contains more than half of the boxes, the Bernstein creation formula separates each rectangular-cycle character value into a hook constant and a remainder supported only on short cycles. The restrictions of the trivial and sign characters to the cyclic subgroup evaluate the constants exactly, whereas a uniform binomial contraction controls every distance from the boundary at once. If neither a row nor a column has a majority, Swanson's opposite-hook estimate gives a Catalan-scale lower bound for the dimension. The Fomin--Lulov rectangular-character estimate, together with uniform bounds for the truncated Möbius weights, then shows that the identity class dominates. Sundaram's plethystic identity consequently implies that $\prod_{r=1}^M(1-p_r)^{-1}$ is Schur-positive for every fixed $M$. We also record a degree-$12$ counterexample to a separate congruence-class product conjecture attributed to Richard Stanley.

Semi-infinite parabolic IC-sheaf

2026-07-14T13:04:16Z

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

A universal leading-residue formula for Witten zeta functions

2026-07-14T12:58:23Z

Let $Φ$ be an irreducible crystallographic root system of rank $r$, with Coxeter number $h$, Weyl group $W$, Cartan matrix $C_Φ$, and invariant degrees $2=d_1\leq\cdots\leq d_r=h$. We prove that Au's normalized Witten zeta function $ξ_Φ(s)$ has a simple pole at $s=2/h$, with residue $\mathop{\rm Res}_{s=2/h}ξ_Φ(s)=\frac{2(2π)^{r/2}\sqrt{\det C_Φ}}{h|W|}\frac{\prod_{i=1}^{r-1}Γ(1-d_i/h)}{Γ(1-1/h)^r}$. The proof identifies the leading lattice coefficient with a convergent spherical Coxeter-discriminant integral at the critical exponent and evaluates this integral using the boundary pole of the Macdonald--Mehta--Opdam identity. Proper parabolic strata are shown to be strictly subcritical. This establishes Au's gamma-product-shape conjecture and his prediction in type $A_4$. We also obtain a direct, non-Tauberian asymptotic, with an explicit constant for every simple type, for the number of irreducible representations of dimension at most $X$.

Fusion rules and rigidity for weight modules over the simple admissible affine $\mathfrak{sl}(2)$ and $\mathcal{N}=2$ superconformal vertex operator superalgebras

2026-07-14T10:38:00Z

We prove that the categories of weight modules over the simple $\mathfrak{sl}(2)$ and $\mathcal{N}=2$ superconformal vertex operator algebras at fractional admissible levels and central charges are rigid (and hence the categories of weight modules are braided ribbon categories) and that the decomposition formulae of fusion products of simple projective modules conjectured by Thomas Creutzig, David Ridout and collaborators hold (including when the decomposition involves summands that are indecomposable yet not simple). In addition to solving this old open problem, we develop new techniques for the construction of intertwining operators by means of integrating screening currents over certain cycles, which are expected to be of independent interest, due to their applicability to many other algebras. In the example of $\mathfrak{sl}(2)$ these new techniques allow us to give explicit formulae for a logarithmic intertwining operator from a pair of simple projective modules to the projective cover of the tensor unit, namely, the vertex operator algebra as a module over itself.