https://arxiv.org/api/eJOyCvWKatDqf8YmTxORAmjb/+4 2026-03-22T20:15:59Z 29619 180 15 http://arxiv.org/abs/2502.02353v3 2026-03-02T19:38:36Z

We derive two formulas for motives of nullcones of quiver representations, one being explicit, the other being of wall-crossing type.

2025-02-04T14:37:47Z SIGMA 22 (2026), 020, 21 pages Lydia Gösmann Markus Reineke 10.3842/SIGMA.2026.020 http://arxiv.org/abs/2511.07718v2 2026-03-02T19:17:15Z

Consider the action of a subgroup $G$ of the permutation group on the polynomial ring $S := k[x_{1}, \ldots, x_{n}]$ via permutations. We show that if $k$ does not have characteristic two, then the following are independent of $k$: the $a$-invariant of $S^{G}$, the property of $S^{G}$ being quasi-Gorenstein, and the Hilbert functions of $H_{\mathfrak{m}}^{n}(S)^{G}$ as well as $H_{\mathfrak{n}}^{n}(S^{G})$; moreover, these Hilbert functions coincide. In particular, being independent of characteristic, they may be computed using characteristic zero techniques, such as Molien's formula. In characteristic two, we show that the ring of invariants is always quasi-Gorenstein, compute the $a$-invariant explicitly, and show that the Hilbert functions of $H_{\mathfrak{m}}^{n}(S)^{G}$ and $H_{\mathfrak{n}}^{n}(S^{G})$ agree up to a shift, given by the number of transpositions. We determine when the inclusion $S^{G} \hookrightarrow S$ splits, thereby proving the Shank--Wehlau conjecture for permutation subgroups. Lastly, we determine the ring of $k$-linear differential operators on $S^{G}$, and show that each differential operator lifts to one over $\mathbb{Z}$.

2025-11-11T00:51:05Z Updated to include results about the rings of differential operators. To appear in Proc. Amer. Math. Soc Aryaman Maithani http://arxiv.org/abs/2310.14302v4 2026-03-02T16:14:49Z

We compute the Hilbert series of the coordinate ring of some highest weight varieties. We also explain why Narayana numbers (and their generalizations) appear naturally in the numerator of the Hilbert series of the homogeneous coordinate ring of the Grassmannian $Gr(d,n+d+1)$ and of the minimal nilpotent adjoint orbit in $\mathfrak{sl}_\mathrm{n+1}(\mathbb{C})$.

2023-10-22T13:52:57Z 10 pages Boming Jia http://arxiv.org/abs/2308.15800v4 2026-03-02T15:03:06Z

Let $X=H\backslash G$ be a spherical variety over a $p$-adic field. Assume $G$ is split. Let $\widehat{G}$ be the Langlands dual group of $G$. There is a complex group $\widehat{G}_X$ whose root datum is the little Weyl group of $X$. It was proposed by Sakellaridis-Venkatesh and fully proven by Knop and Schalke that there is a homomorphism $\widehat{\varphi}_X:\widehat{G}_X\times\operatorname{SL}_2(\mathbb{C})\to \widehat{G}$. Conjecturally, this detects the $H$-distinguished representations of $G$. In this strictly utilitarian note, assuming $X$ is a symmetric variety, we give a more conceptual way of constructing the homomorphism $\widehat{\varphi}_X:\widehat{G}_X\times\operatorname{SL}_2(\mathbb{C})\to \widehat{G}$, and make a few conjectures on how $\widehat{\varphi}_X$ is related to $H$-distinguished representations of $G$ by using various known examples and conjectures, especially in the framework of the theory of Kato-Takano and Lagier on relative cuspidality and relative square integrability. We will also show that the local Langlands parameter of the trivial representation of $G$ factors through $\widehat{\varphi}_X$ for any symmetric variety $X=H\backslash G$.

2023-08-30T07:10:30Z Slightly revised Shuichiro Takeda http://arxiv.org/abs/2601.16092v2 2026-03-02T13:57:36Z

We show how monoidal adjunctions can be used to prove the existence of monoidal abelian envelopes of pseudo-tensor categories, in particular, those admitting a combinatorial description with certain properties. We derive concrete general criteria, which we then demonstrate by giving relatively simple combinatorial proofs of the existence of new abelian envelopes for interpolation categories of the hyperoctahedral and of the modified symmetric groups.

2026-01-22T16:42:56Z Johannes Flake Robert Laugwitz Sebastian Posur http://arxiv.org/abs/2603.01742v1 2026-03-02T11:07:09Z

We study the Higgs branch and associated vertex operator algebra (VOA) of 4d $\mathcal{N}=2$ superconformal field theories (SCFTs) from the geometric engineering of IIB superstring on canonical threefold singularities. For terminal singularities, we explain how to derive the 4d Higgs branch from their small resolution. We also investigate singularities with compact 4-cycles in their crepant resolution, and discuss different ways to compute their Higgs branch. Using a symplectic duality argument, we propose the first examples of 4d $\mathcal{N}=2$ SCFTs with the E-type Kleinian singularities as their Higgs branches, and conjecture their associated VOA to be affine E-type W-algebra. Many new VOAs with no known W-algebra descriptions are found, with conjectured associated varieties. We investigate the singularities associated with lisse VOAs and propose predictions for the BPS quivers of $D_N^N[k]$ and $E_7^{14}[k]$ from the perspective of deformed singularities. We further analyze the structure of the Schur index using the Coulomb branch IR formula, derive the expressions for the Schur index corresponding to these two classes of singularities, and illustrate, in a general setting, how the Schur index is determined by the BPS quiver.

2026-03-02T11:07:09Z Yi-Nan Wang Wenbin Yan Peihe Yang http://arxiv.org/abs/2603.01643v1 2026-03-02T09:20:37Z

We prove that if the 0-th Tanaka prolongation $\mathfrak{g}_0=\mathfrak{der}_0(\mathfrak{m})$ of a fundamental graded nilpotent Lie algebra $\mathfrak{m}=\mathfrak{g}_{-s}\oplus\dots\oplus\mathfrak{g}_{-1}$ is irreducible on $\mathfrak{g}_{-1}$, then $\mathfrak{m}$ is prolongation rigid: $\text{pr}_+(\mathfrak{m})=0$. The only exceptions are given by negative gradations of maximal parabolic subalgebras of a simple Lie algebra.

2026-03-02T09:20:37Z Boris Kruglikov http://arxiv.org/abs/2603.01424v1 2026-03-02T04:04:11Z

Let $R$ be a noetherian algebra over a Cohen--Macaulay ring admitting a canonical module, and assume that $R$ is maximal Cohen--Macaulay over the base ring. We provide a characterization of when $R$ is left weakly Gorenstein. We further show that the category of finitely generated Gorenstein projective $R$-modules coincides with the left $\Ext$-orthogonal class of the thick subcategory generated by finitely generated $R$-modules of finite projective or finite injective dimension. As a consequence, finitely generated Gorenstein projective $R$-modules generate a hereditary cotorsion pair. Moreover, we show that a Cohen--Macaulay local ring is Gorenstein if and only if the right $\Ext$-orthogonal class of finitely generated Gorenstein projective modules coincides with the category of finitely generated modules of finite projective dimension.

2026-03-02T04:04:11Z Souvik Dey Jian Liu Xue-Song Lu http://arxiv.org/abs/2502.19445v2 2026-03-02T02:28:55Z

We begin the systematic study of cohomological Hecke operators of modifications of coherent sheaves on a smooth surface $X$, along a fixed proper curve $Z \subset X$. We develop the necessary geometric foundations in order to define the $T$-equivariant cohomological Hall algebra $\mathbf{HA}^{\mathbf{D}, T}_{X,Z}$ of the moduli stack of coherent sheaves on $X$ with set-theoretic support on $Z$, in the setting of a general motivic formalism $\mathbf{D}$. The algebra $\mathbf{HA}^{\mathbf{D}, A}_{X,Z}$ is functorial with respect to closed immersions $Z' \subset Z$ and transformations of the motivic formalism $\mathbf{D}$, and only depends on the formal neighborhood $\widehat{X}_Z$ of $Z$ in $X$. Assume $\mathbf{D}$ gives rise to Borel-Moore homology. When $X$ is a resolution of a Kleinian singularity and $Z$ is the exceptional divisor, we explicitly identify $\mathbf{HA}^T_{X,Z}$ with a completed nonstandard positive half $\mathbb{Y}^+_\infty(\mathfrak{g})$ of the affine Yangian $\mathbb{Y}(\mathfrak{g})$ of the corresponding affine ADE type Lie algebra $\mathfrak{g}$. Let $Z_1,Z_2 \subset X$ be curves with $Z_1\cap Z_2$ being zero-dimensional. We conjecture a PBW type theorem relating the COHAs of the pairs $(X, Z_1\cup Z_2), (X, Z_1)$, and $(X, Z_2)$ and partially prove it in several interesting cases, including all Kleinian resolutions of singularities and elliptic surfaces of types $D$ and $E$. Our main tools are: (i) a continuity theorem describing the behavior of COHAs of objects in the heart of $t$-structures $τ_n$ when the sequence $(τ_n)_n$ converges in an appropriate sense to a fixed $t$-structure $τ_\infty$; (ii) a theorem relating the action of the braid group $B_Q$ by derived autoequivalences on the preprojective algebra of a quiver $Q$ with the algebraic action of $B_Q$ on the associated COHA $\mathbf{HA}^T_Q$.

2025-02-25T09:39:43Z v2: Title changed to reflect that the various parts of the manuscript will be posted separately; 335 pages. v1: 335 pages Duiliu-Emanuel Diaconescu Mauro Porta Francesco Sala Olivier Schiffmann Eric Vasserot http://arxiv.org/abs/2603.01373v1 2026-03-02T02:15:51Z

We establish a canonical basis character formula for the irreducible modules in arbitrary parabolic BGG-type categories, including the category of finite-dimensional modules, for finite $W$-superalgebras of type $A$. These categories categorify the tensor product modules of irreducible polynomial representations and their duals over a quantum group of type $A$. Moreover, the standard modules and irreducible modules in these categories categorify the standard basis and Lusztig's dual canonical basis in the tensor product modules. Our formula provides a uniform generalization of several character formulas in BGG categories for Lie superalgebras and for $W$-algebras of type $A$.

2026-03-02T02:15:51Z 28 Pages, no figures Shun-Jen Cheng Weiqiang Wang http://arxiv.org/abs/2504.19073v2 2026-03-02T01:15:29Z

The $\imath$quantum groups have two realizations: one via the $\imath$Hall algebras and the other via the quantum Grothendieck rings of quiver varieties, as developed by the first author and Wang. The isoclasses of perverse sheaves provide the dual canonical bases for $\imath$quantum groups of type ADE with integral and positive structure constants. In this paper, we present a new construction of the dual canonical bases in the setting of $\imath$Hall algebras. We also introduce Fourier transforms for $\imath$Hall algebras, and prove the invariance of the dual canonical bases under braid group actions and Fourier transforms. Since quantum groups are $\imath$quantum groups of diagonal type, all results also apply to this classical case.

2025-04-27T01:55:45Z v2, 39 pages. This is separated from Sections 5, 7.1, 7.2 of the long paper v1, which splits into 3 papers Ming Lu Xiaolong Pan http://arxiv.org/abs/2603.01350v1 2026-03-02T01:13:02Z

The $\imath$quantum groups admit two realizations: one via the $\imath$Hall algebras and the other via the quantum Grothendieck rings of quiver varieties, as developed by the first author and Wang. Based on these two realizations, we establish the dual canonical bases for $\imath$quantum groups of type ADE in two distinct ways, using perverse sheaves and Hall algebras respectively. In this paper, we prove that these two dual canonical bases coincide, thereby proving their invariance under braid group actions, and that their structural constants are integral and positive. Furthermore, we establish the positivity of the coefficients of the transition matrix from the Hall basis (and PBW basis) to the dual canonical basis.

2026-03-02T01:13:02Z 49 pages. This is separated from Section 4, 6, 7.3, 7.4, 9 of arXiv:2504.19073 v1 Ming Lu Xiaolong Pan http://arxiv.org/abs/2603.01310v1 2026-03-01T22:37:19Z

We show how regulator constants of a finitely generated $\mathbb{Z}[G]$-module can be related to $G$-cohomology, where $G$ is a finite group. We then derive consequences of such relation for modules naturally arising in number theory, such as ring of integers and units of number fields, $K$-theory groups of ring of integers and Mordell-Weil groups of elliptic curves.

2026-03-01T22:37:19Z 23 pages Luca Caputo http://arxiv.org/abs/2603.01265v1 2026-03-01T20:43:16Z

We begin the study of Khovanov-Lauda-Rouquier type algebras associated to moduli stacks of coherent sheaves on smooth projective curves. We consider the case of $\mathbb{P}^1$ and define, for any pair $(r,d)$ of a rank and a degree, the KLR and Schur algebras $A_{r,d}, \mathcal{R}_{r,d}$ as suitable convolution algebras in the Borel-Moore homology of an analog of the Steinberg stack built from the stacks $Coh_{r,d}(\mathbb{P}^1)$. We use the tilting equivalence and Bridgeland stability conditions to construct an interpolation between the KLR or Schur algebras of the categories of coherent sheaves on $\mathbb{P}^1$ and the KLR or Schur algebras of the categories of representations of the Kronecker quiver. We also introduce a stratification of the Steinberg stacks into cohomologically pure pieces and use this to construct a PBW basis of the corresponding algebra.

2026-03-01T20:43:16Z Comments welcome Olivier Schiffmann Fang Yang http://arxiv.org/abs/2512.15897v2 2026-03-01T19:21:35Z

We develop the theory of $q$-characters for quantum affine superalgebras of type $A$ in connection with deformed Cartan matrices. To achieve this, we establish a Khoroshkin-Tolstoy-type multiplicative formula of the universal $R$-matrix of the associated generalized quantum group, from which one can read off a 2-parameter deformation of Cartan matrices of super type $A$. We also propose a Frenkel-Mukhin-type algorithm for $q$-characters of finite-dimensional simple modules with integral highest $\ell$-weights.

2025-12-17T19:08:11Z 61 pages, v2: this is the version to be submitted for publication where revisions are made throughout the article; large part of the introduction and Section 3.5 rewritten, Section 5.2 on the application to the universal coefficient and the denominator of R-matrices and Appendix A newly added, a number of errors and typos are fixed Sin-Myung Lee