https://arxiv.org/api/E/BGKv+z7O2iSbVi/7Au9bVUpJU 2026-07-26T10:55:16Z 30432 630 15 http://arxiv.org/abs/2606.01609v1 2026-06-01T02:59:56Z

Let $G$ be a connected reductive algebraic group defined over $\mathbb{R}$. In the 1980s, Arthur conjectured the existence of certain packets of irreducible admissible representations of $G(\mathbb{R})$ satisfying various remarkable properties. These packets were given a precise definition in the book of Adams, Barbasch, and Vogan in terms of microlocal geometry on a space of Langlands parameters. A longstanding conjecture, originally due to Arthur, is that all Arthur packets consist of $\textit{unitary}$ representations. In this paper, we prove this conjecture in general. The main new idea is a `Jordan decomposition' for Arthur packets: a canonical two-step process for realizing an arbitrary Arthur packet via real parabolic and cohomological induction from a unipotent Arthur packet for a certain Levi subgroup. This process is analogous to the decomposition of an element of a complex algebraic group as a (unique) commuting product of elliptic, hyperbolic, and unipotent parts. Using our Jordan decomposition, we reduce the question of unitarity to the case of unipotent Arthur packets, where the answer is already known (by work of Adams-Arancibia-Mezo, Adams-van Leeuwen-Miller-Vogan, Arthur, Barbasch, Barbasch-Ma-Sun-Zhu, and Davis-Mason-Brown). As an application of the same methods, we also give a proof of Jiang's conjecture for real reductive groups, which gives an upper bound on the wavefront sets of the members of an Arthur packet in terms of the Barbasch-Vogan dual of the Arthur $SL_2(\mathbb{C})$.

2026-06-01T02:59:56Z Jeffrey Adams Andrei Ionov Lucas Mason-Brown David Vogan http://arxiv.org/abs/2606.01507v1 2026-06-01T00:07:44Z

We show that the top cohomology of any affine Springer fiber, as a Weyl group representation, contains a large part of the total cohomology of certain Springer fibers. The main ingredient of the proof is the construction of a ``perverse filtration'' on the pure part of the cohomology of affine Springer fibers.

2026-06-01T00:07:44Z 22 pages Zhiwei Yun http://arxiv.org/abs/2606.01371v1 2026-05-31T17:54:43Z

The behavior of representations under restriction is a central theme in Lie theory. We study wide regular subalgebras of symmetrizable Kac-Moody algebras, extending work of Douglas and Repka on semisimple Lie algebras. A subalgebra is wide if every irreducible integrable highest weight module remains indecomposable upon restriction. Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra with Cartan subalgebra $\mathfrak{h}$, root system $Φ$, simple roots $Π$, and root space decomposition $\mathfrak{g}=\mathfrak{h}\oplus\bigoplus_{α\inΦ}\mathfrak{g}_α$. Denote by $Φ_{\operatorname{re}}$ the set of real roots. To a regular subalgebra $\mathfrak{s}$ normalized by $\mathfrak{h}$, we associate a closed subset $T\subseteq Φ$ by declaring $α\in T$ if $\mathfrak{s}\cap \mathfrak{g}_α\ne \{0\}$. Our main result is an extension of Schur's lemma: if $\mathfrak{h}\subseteq \mathfrak{s}$ and the real closure of $(T\cup(-T))\cap Φ_{\operatorname{re}}$ contains $Π$, then $(\operatorname{End} V)^{\mathfrak{s}}=\mathbb{C}\operatorname{Id}_V$ for every irreducible integrable highest weight module $V$. As a consequence, this real-root closure condition yields a sufficient condition for wideness. In the affine case, we establish a converse: if $\mathfrak{s}$ is wide, then the closure of $T\cup(-T)$ in $Φ$ is all of $Φ$, and this implication holds without assuming that $\mathfrak{h}\subseteq \mathfrak{s}$. A key ingredient is a structural result showing that closed subsets of affine root systems are closed under arbitrary finite root sums that remain roots.

2026-05-31T17:54:43Z Andrew Douglas Abid Ali http://arxiv.org/abs/2208.00336v2 2026-05-31T17:43:19Z

We prove irreducible components of moduli spaces of semistable representations of skewed-gentle algebras, and more generally, clannish algebras, are isomorphic to products of projective spaces. This is achieved by showing irreducible components of varieties of representations of clannish algebras can be viewed as irreducible components of skewed-gentle algebras, which we show are always normal. The main theorem generalizes an analogous result for moduli of representations of special biserial algebras proven by Carroll-Chindris-Kinser-Weyman.

2022-07-31T02:04:10Z Cody Gilbert http://arxiv.org/abs/2606.01206v1 2026-05-31T12:48:32Z

Let $G$ be a split, simply connected, almost simple algebraic group over a field of characteristic zero, and let $P$ be a maximal parabolic subgroup of $G$. We study the ring of differential operators on $P^{\mathrm{der}}\backslash G$, showing that it shares several key structural properties with classical Weyl algebras. We also develop a corresponding theory of $D$-modules.

2026-05-31T12:48:32Z 24 pages. Comments welcome Chun-Hsien Hsu http://arxiv.org/abs/2410.06046v3 2026-05-31T09:06:51Z

For each simple Lie algebra $\mathfrak{g}$ of simply-laced type, Hernandez and Leclerc introduced a certain category $\mathcal{C}_{\mathbb{Z}}$ of finite-dimensional representations of the quantum affine algebra of $\mathfrak{g}$, as well as certain subcategories $\mathcal{C}_{\mathbb{Z}}^{\leq ξ}$ depending on a choice of height function adapted to an orientation of the Dynkin graph of $\mathfrak{g}$. In our previous work we constructed an algebra homomorphism $\widetilde{D}_ξ$ whose domain contains the image of the Grothendieck ring of $\mathcal{C}_{\mathbb{Z}}^{\leq ξ}$ under the truncated $q$-character morphism $\widetildeχ_q$ corresponding to $ξ$. We exhibited a close relationship between the composition of $\widetilde{D}_ξ$ with $\widetildeχ_q$ and the morphism $\overline{D}$ recently introduced by Baumann, Kamnitzer and Knutson in their study of the equivariant homology of Mirković-Vilonen cycles. In this paper, we extend $\widetilde{D}_ξ$ in order to investigate its composition with Frenkel-Reshetikhin's original $q$-character morphism. Our main result consists in proving that the $q$-characters of all standard modules in $\mathcal{C}_{\mathbb{Z}}$ lie in the kernel of $\widetilde{D}_ξ$. This provides a large family of new non-trivial rational identities suggesting possible geometric interpretations.

2024-10-08T13:45:11Z Revision following referee's suggestions. 32 pages Élie Casbi Jian-Rong Li http://arxiv.org/abs/2605.26963v2 2026-05-31T07:24:59Z

Absolutely indecomposable vector bundle and parabolic vector bundles are well-studied via quiver representations. In this paper, we study absolutely indecomposable quasi-parabolic $G$-bundles over $\mathbb{P}^1$ with generic additive character varieties. Furthermore, we give a geometric interpretation of the multiplicity of the tensor product of irreducible characters of finite reductive groups using generic additive character varieties.

2026-05-26T12:51:57Z Typos are fixed. Comments are welcome! GyeongHyeon Nam http://arxiv.org/abs/2606.00961v1 2026-05-31T02:30:28Z

We show that the conflated expression graph for an arbitrary permutation has a unique minimal element and a unique maximal element, and every reduced expression sits on a maximal chain from the source to the sink. This generalizes the work of Manin-Schechtman regarding higher Bruhat orders, and gives an independent and self-contained proof of certain results in Hothem. In addition, we give explicit algorithms for elements in the top and bottom commutation classes. Given any reduced expression $ρ$, we give an explicit method for producing a maximal chain containing $ρ$.

2026-05-31T02:30:28Z 10 pages, comments are welcome Jieru Zhu http://arxiv.org/abs/2510.12035v3 2026-05-31T01:48:04Z

Webs are planar directed graphs that encode invariant vectors for tensor products of fundamental $U_q(\mathfrak{sl}_n)$-representations. For $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$, web calculus is governed by effective reduction rules and well-understood reduced-web bases, but these features break down in higher rank. In this paper we develop a global combinatorial framework for untagged $\mathfrak{sl}_n$ webs, called strandings, which organizes local labeling data into systems of colored directed paths on the web graph. Our main result is an explicit state-sum formula for the invariant vector of an untagged web as a weighted sum over its valid strandings. The usual labeling-based contruction requires a choice of decomposition into elementary web pieces and a vertex-by-vertex coefficient calculation. Our global reformulation avoids both. We prove that the vectors produced by strandings are $U_q(\mathfrak{sl}_n)$-invariant, compare the untagged theory with the tagged-web framework of Cautis, Kamnitzer, and Morrison, and use this comparison to obtain a complete set of relations for untagged web graphs. We also give applications of strandings to nonvanishing results, basis constructions from tableaux, and connections with Springer-theoretic combinatorics.

2025-10-14T00:42:49Z 48 pages, 33 figures; V2 changes notation and terminology, moves some technical proofs to an appendix, and rearranges some content Heather M. Russell Julianna Tymoczko http://arxiv.org/abs/2606.00908v1 2026-05-30T22:08:29Z

Let $\mathcal{A}$ be a Grothendieck category. In this paper we classify subcategories of $\mathcal{A}$ via a support notion defined by Krause \cite{Kr2024} based on the spectral category of $\mathcal{A}$. We show that this aligns with Nemman's support \cite{Ne1992}, and thereby extends earlier classifications of subcategories of the category of modules over a commutative noetherian ring and subcategories of its derived category. Over a locally coherent category $\mathcal{A}$, we show that this support agrees with open subsets of the Ziegler topology on $\mathcal{A}$.

2026-05-30T22:08:29Z Reza Sazeedeh http://arxiv.org/abs/2604.16805v2 2026-05-30T20:41:21Z

Let \(Λ\) be a finite-dimensional Koszul algebra with Koszul dual \(Λ^!\). We establish derived Koszul dualities at the level of bounded derived categories, both in the graded setting \(\mathsf{D}^{b}(Λ\textup{-gmod})\) and in the ungraded setting \(\mathsf{D}^{b}(Λ\textup{-mod})\), without imposing finiteness conditions on \(Λ^!\). We first prove a graded derived Koszul duality for every finite-dimensional Koszul algebra, with no Noetherian or coherence assumptions on the Koszul dual. We then show that the bounded derived category \(\mathsf{D}^{b}(Λ\textup{-mod})\) can be reconstructed from the graded theory as the triangulated hull of an orbit category. This yields a genuinely non-graded derived Koszul duality. We further establish singular and dg refinements of these dualities. For Iwanaga--Gorenstein Koszul algebras, this gives a stable Koszul duality for graded Gorenstein-projective modules and their ungraded counterparts, providing a non-graded form of the Bernstein--Gel'fand--Gel'fand correspondence. As applications, we obtain new descriptions of the bounded derived categories \(\mathsf{D}^{b}(\mathcal{O}_λ)\) for all integral blocks of category \(\mathcal{O}\), including singular blocks, thereby closing a gap left open in the work of Beilinson, Ginzburg, and Soergel. We also establish analogous dualities for certain categories of perverse sheaves arising in geometric representation theory. Finally, we formulate conjectural descriptions of bounded derived and singularity categories of finite-dimensional graded algebras in terms of dg orbit categories.

2026-04-18T03:28:11Z 72 pages A. M. Bouhada http://arxiv.org/abs/2504.20549v3 2026-05-30T12:56:30Z

The Pappas--Rapoport coherence conjecture, proved by Zhu, states that the dimensions of spaces of sections of certain line bundles coincide. The two sides of the equality correspond to line bundles on spherical Schubert varieties in affine Grassmannians and to line bundles on unions of Schubert varieties in affine flag varieties. Algebraically, the claim can be reformulated as an equality between the dimensions of certain Demazure modules and certain sums of Demazure modules. The goal of this paper is to formulate an algebraic construction that provides an explicit link between the aforementioned Demazure modules. Our construction works only in type A, but it applies to a much wider class of representations than those arising in the geometric coherence conjecture. In the general case, one side of the conjectural equality involves affine Kostant--Kumar modules.

2025-04-29T08:52:10Z 32 pages Evgeny Feigin an appendix in collaboration with Andrey Karenskih http://arxiv.org/abs/2606.00679v1 2026-05-30T11:35:25Z

We give a spectral realization of the Robinson-Schensted-Knuth (RSK) correspondence in terms of the representation theory of the symmetric group $S_n$ and the degenerate affine Hecke algebra (AHA) $H_n$. We view RSK, which builds a pair of standard Young tableaux from a permutation, as a special case of rectification, also known as Jeu de Taquin, which turns skew tableaux into straight ones. In this framing, the initial permutation corresponds to a skew tableau of staircase shape. To interpret this in terms of representation theory, take permutations to label weight vectors in a generic $H_n$-module $V(a_1, \ldots , a_n)$, which is isomorphic to $\mathbb{C}[S_n]$ as an $S_n$-module. Writing permutations as staircases amounts to placing these weight vectors inside the regular representation of a larger symmetric group containing $S_n$; more geometrically, we push $S_n$ to the right toward infinity so its Jucys-Murphy (JM) elements have enough room to represent the external translations of $H_n$. Then, rectification corresponds to squeezing out this extra room from the left, leaving only $S_n$ and its regular JM elements as the limit of the external translations. By expressing slides via sequences of exchanges of consecutive values inside the tableau, we can model rectification by an operator acting on the regular representation. This lets us explicitly write down the change of basis between $H_n$-weight vectors and $S_n$-weight vectors, where the latter are eigenvectors of the JM elements in $S_n$ acting both on the left and on the right, and hence labeled by pairs of standard tableaux. The resulting correspondence between the labels of the weight vectors is exactly RSK.

2026-05-30T11:35:25Z 26 pages plus references. Comments and suggestions welcome! Eugene Stern http://arxiv.org/abs/2502.02108v3 2026-05-30T08:28:35Z

We study the Schur algebra counterpart of a vast class of quantum wreath products. This is achieved by developing a theory of twisted convolution algebras, inspired by geometric intuition. In parallel, we provide an algebraic Schurification via a Kashiwara-Miwa-Stern-type action on a tensor space. We give a uniform proof of Schur duality, and construct explicit bases of the new Schur algebras. This provides new results for, among other examples, Vignéras' pro-$p$ Iwahori Hecke algebras of type $A$, degenerate affine Hecke algebras, Kleshchev-Muth's affine zigzag algebras, and Rosso-Savage's affine Frobenius Hecke algebras.

2025-02-04T08:42:38Z v3: final version, to appear in Rep. Theory; v2: moved some computations to appendix, corrected Conjecture 8.3 Chun-Ju Lai Alexandre Minets http://arxiv.org/abs/2606.00589v1 2026-05-30T07:42:07Z

Let $p$ be a prime, $G$ be a finite group, $H$ a proper subgroup of $G$ and $V$ a finite dimensional $GF(p)G$-module. The triple $(G,H,V)$ is immutable if and only if $G$ and $H$ have the same orbits on the vectors of $V$. We determine the immutable triples for $G$ a quasisimple group, $H$ a subgroup of $G$ and $V$ a $GF(2)G$-module.

2026-05-30T07:42:07Z Chris Parker B. G. Rodrigues