arXiv subjects
Publications and source records attributed to Peng Shan.
This is an expository paper based on the authors' joint works. The goal is to explain the statements and the ideas behind two conjectures on associated varieties and simple modules of simple affine vertex algebras $L_k(\mathfrak{g})$ for a simple and simply-laced Lie algebra $\mathfrak{g}$ and a integer level $k$ above the critical level.
We present a conjecture for associated varieties of simple affine vertex algebras $L_k(\mathfrak{g})$ attached to a simple Lie algebra $\mathfrak{g}$ of simply-laced type and any rational level $k$ greater than the critical level. The key new ingredient compared to the integral case is the covering duality map introduced by Gao-Liu-Lo-Shahidi. We provide evidence for the conjecture.
In this paper, we introduce and study two cyclotomic level maps defined respectively on the set of nilpotent orbits $\underline{\mathcal{N}}$ in a complex semi-simple Lie algebra $\mathfrak{g}$ and the set of conjugacy classes $\underline{W}$ in its Weyl group, with values in positive integers. We show that these maps are compatible under Lusztig's map $\underline{W} \to \underline{\mathcal{N}}$, which is also the minimal reduction type map as shown by Yun. We also discuss their relationship with two-sided cells in affine Weyl groups. We use these maps to formulate a conjecture on the associated varieties of simple affine vertex algebras attached to $\mathfrak{g}$ at non-admissible integer levels, and provide some evidence for this conjecture.
We prove a conjecture of the first and third named authors relating the Kauffman bracket skein algebra of a genus zero surface with boundary to a quantized $K$-theoretic Coulomb branch. As a consequence, we see that our skein algebra arises as the Grothendieck ring of the bounded derived category of equivariant coherent sheaves on the Braverman-Finkelberg-Nakajima variety of triples with monoidal structure defined by the convolution product. We thus give a monoidal categorification of the skein algebra, partially answering a question posed by D. Thurston.
We consider the quantized $\mathrm{SL}_2$-character variety of a once-punctured torus. We show that this quantized algebra has three $\mathbb{Z}_2$-invariant subalgebras that are isomorphic to quantized $K$-theoretic Coulomb branches in the sense of Braverman, Finkelberg, and Nakajima. These subalgebras are permuted by the $\mathrm{SL}_2(\mathbb{Z})$ mapping class group action. Our results confirm various predictions from the physics literature about 4d $\mathcal{N}=2^*$ theories and their dualities.
We construct a bijection between admissible representations for an affine Lie algebra $\mathfrak{g}$ at boundary admissible levels and $\mathbb{C}^\times$ fixed points in homogeneous elliptic affine Springer fibres for the Langlands dual affine Lie algebra $\mathfrak{g}^\vee$. Using this bijection, we relate the modularity of the characters of admissible representations to Cherednik's Verlinde algebra construction coming from double affine Hecke algebras. Finally, we show that the expected behaviors of simple modules under quantized Drinfeld-Sokolov reductions are compatible with the reductions from affine Springer fibres to affine Spaltenstein varieties. This yields (modulo some conjectures) a similar bijection for irreducible representations of $\mathcal{W}$-algebras, as well as an interpretation for their modularity properties.
To a compact oriented surface of genus at most one with boundary, we associate a quantized $K$-theoretic Coulomb branch in the sense of Braverman, Finkelberg, and Nakajima. In the case where the surface is a three- or four-holed sphere or a one-holed torus, we describe a relationship between this quantized Coulomb branch and the Kauffman bracket skein algebra of the surface. We formulate a general conjecture relating these algebras.
In this paper, we construct a categorical double quantum Heisenberg action on the representation category of finite classical groups $\mathrm{O}_{2n+1}(q)$, $\mathrm{Sp}_{2n}(q)$ and $\mathrm{O}^{\pm}_{2n}(q)$ with $q$ odd. Over a field of characteristic zero or characteristic $\ell$ with $\ell\nmid q(q-1)$, we deduce a categorical action of a Kac-Moody algebra $\mathfrak{s}\mathfrak{l}'_{I_+}\oplus\mathfrak{s}\mathfrak{l}'_{I_-}$ on the representation category of finite classical groups. We show that the colored weight functions $\mathbb{O}^+(u)(\bullet)$, $\mathbb{O}^-(v)(\bullet)$ and uniform projection can distinguish all irreducible characters of finite classical groups. In particular, the colored weight functions are complete invariants of quadratic unipotent characters. We also show that using the theta correspondence and extra symmetries of categorical double quantum Heisenberg action, the Kac-Moody action on the Grothendieck group of the whole category can be determined explicitly.
We propose a mirror symmetry for 4d $\mathcal{N}=2$ superconformal field theories (SCFTs) compactified on a circle with finite size. The mirror symmetry involves vertex operator algebra (VOA) describing the Schur sector (containing Higgs branch) of 4d theory, and the Coulomb branch of the effective 3d theory. The basic feature of the mirror symmetry is that many representational properties of VOA are matched with geometric properties of the Coulomb branch moduli space. Our proposal is verified for a large class of Argyres-Douglas (AD) theories engineered from M5 branes, whose VOAs are W-algebras, and Coulomb branches are the Hitchin moduli spaces. VOA data such as simple modules, Zhu's algebra, and modular properties are matched with geometric properties like $\mathbb{C}^*$-fixed varieties in Hitchin fibers, cohomologies, and some DAHA representations. We also mention relationships to 3d symplectic duality.
We propose a new geometric model for the center of the small quantum group using the cohomology of certain affine Springer fibers. More precisely, we establish an isomorphism between the equivariant cohomology of affine Spaltenstein fibers for a split element and the center of the deformed graded modules for the small quantum group. We also obtain an embedding from the invariant part of the nonequivariant cohomology under the action of the extended affine Weyl group to the invariant part of the center of the small quantum group under Langlands dual group action, which we conjecture to be an isomorphism. Finally, we give a dimension formula for the invariants on the cohomology side, thus providing a lower bound for the dimension of the center.
We construct an equivalence of graded Abelian categories from a category of representations of the quiver-Hecke algebra of type $A_1^{(1)}$ to the category of equivariant perverse coherent sheaves on the nilpotent cone of type $A$. We prove that this equivalence is weakly monoidal. This gives a representation-theoretic categorification of the preprojective K-theoretic Hall algebra considered by Schiffmann-Vasserot. Using this categorification, we compare the monoidal categorification of the quantum open unipotent cells of type $A_1^{(1)}$ given by Kang-Kashiwara-Kim-Oh-Park in terms of quiver-Hecke algebras with the one given by Cautis-Williams in terms of equivariant perverse coherent sheaves on the affine Grassmannians.
We compute the equivariant cohomology of smooth Calogero-Moser spaces and some associated symplectic resolutions of symplectic quotient singularities.
We categorify a coideal subalgebra of the quantum group of $\mathfrak{sl}_{2r+1}$ by introducing a $2$-category \`a la Khovanov-Lauda-Rouquier, and show that self-dual indecomposable $1$-morphisms categorify the canonical basis of this algebra. This allows us to define a categorical action of this coideal algebra on the categories of modules over cohomology rings of partial flag varieties and on the BGG category $\mathcal{O}$ of type B/C.
We give a proof of the parabolic/singular Koszul duality for the category O of affine Kac-Moody algebras. The main new tool is a relation between moment graphs and finite codimensional affine Schubert varieties. We apply this duality to q-Schur algebras and to cyclotomic rational double affine Hecke algebras.
Varagnolo and Vasserot conjectured an equivalence between the category O for CRDAHA's and a subcategory of an affine parabolic category O of type A. We prove this conjecture. As applications, we prove a conjecture of Rouquier on the dimension of simple modules of CRDAHA's and a conjecture of Chuang-Miyachi on the Koszul duality for the category O of CRDAHA's.
We prove that certain parabolic Kazhdan-Lusztig polynomials calculate the graded decomposition matrices of v-Schur algebras given by the Jantzen filtration of Weyl modules, confirming a conjecture of Leclerc and Thibon.
We define the i-restriction and i-induction functors on the category O of the cyclotomic rational double affine Hecke algebras. This yields a crystal on the set of isomorphism classes of simple modules, which is isomorphic to the crystal of a Fock space.
We prove a conjecture of Kashiwara and Miemietz on canonical bases and branching rules of affine Hecke algebras of type D. The proof is similar to the proof of the type B case.