No Arabic abstract
We study classes determined by the Kazhdan-Lusztig basis of the Hecke algebra in the $K$-theory and hyperbolic cohomology theory of flag varieties. We first show that, in $K$-theory, the two different choices of Kazhdan-Lusztig bases produce dual bases, one of which can be interpreted as characteristic classes of the intersection homology mixed Hodge modules. In equivariant hyperbolic cohomology, we show that if the Schubert variety is smooth, then the class it determines coincides with the class of the Kazhdan-Lusztig basis; this was known as the Smoothness Conjecture. For Grassmannians, we prove that the classes of the Kazhdan-Lusztig basis coincide with the classes determined by Zelevinskys small resolutions. These properties of the so-called KL-Schubert basis show that it is the closest existing analogue to the Schubert basis for hyperbolic cohomology; the latter is a very useful testbed for more general elliptic cohomologies.
We study the equivariant oriented cohomology ring $h_T(G/P)$ of partial flag varieties using the moment map approach. We define the right Hecke action on this cohomology ring, and then prove that the respective Bott-Samelson classes in $h_{T}(G/P)$ can be obtained by applying this action to the fundamental class of the identity point, hence generalizing previously known results by Brion, Knutson, Peterson, Tymoczko and others. We then focus on the equivariant oriented cohomology theory corresponding to the 2-parameter Todd genus. We give a new interpretation of Deodhars construction of the parabolic Kazhdan-Lusztig basis. Based on it, we define the parabolic Kazhdan-Lusztig (KL) Schubert classes independently of a reduced word. We make a positivity conjecture, and a conjecture about the relationship of such classes with smoothness of Schubert varieties. We then prove several special cases.
We describe a relationship between work of Laksov, Gatto, and their collaborators on realizations of (generalized) Schubert calculus of Grassmannians, and the geometric Satake correspondence of Lusztig, Ginzburg, and Mirkovic and Vilonen. Along the way we obtain new proofs of equivariant Giambelli formulas for the ordinary and orthogonal Grassmannians, as well as a simple derivation of the rim-hook rule for computing in the equivariant quantum cohomology of the Grassmannian.
Expanding the classic works of Kazhdan-Lusztig and Deodhar, we establish bar involutions and canonical (i.e., quasi-parabolic KL) bases on quasi-permutation modules over the type B Hecke algebra, where the bases are parameterized by cosets of (possibly non-parabolic) reflection subgroups of the Weyl group of type B. We formulate an $imath$Schur duality between an $imath$quantum group of type AIII (allowing black nodes in its Satake diagram) and a Hecke algebra of type B acting on a tensor space, providing a common generalization of Jimbo-Schur duality and Bao-Wangs quasi-split $imath$Schur duality. The quasi-parabolic KL bases on quasi-permutation Hecke modules are shown to match with the $imath$canonical basis on the tensor space. An inversion formula for quasi-parabolic KL polynomials is established via the $imath$Schur duality.
We formulate a general super duality conjecture on connections between parabolic categories O of modules over Lie superalgebras and Lie algebras of type A, based on a Fock space formalism of their Kazhdan-Lusztig theories which was initiated by Brundan. We show that the Brundan-Kazhdan-Lusztig (BKL) polynomials for Lie superalgebra gl(m|n) in our parabolic setup can be identified with the usual parabolic Kazhdan-Lusztig polynomials. We establish some special cases of the BKL conjecture on the parabolic category O of gl(m|n)-modules and additional results which support the BKL conjecture and super duality conjecture.
Let $F$ be a non-archimedean local field with residue field $mathbb{F}_q$ and let $G = GL_2/F$. Let $mathbf{q}$ be an indeterminate and let $H^{(1)}(mathbf{q})$ be Vigneras generic pro-p Iwahori-Hecke algebra of the p-adic group $G(F)$. Let $V_{widehat{G}}$ be the Vinberg monoid of the dual group of $G$. We establish a generic version for $H^{(1)}(mathbf{q})$ of the Kazhdan-Lusztig-Ginzburg antispherical representation, the Bernstein map and the Satake isomorphism. We define the flag variety for the monoid $V_{widehat{G}}$ and establish the characteristic map in its equivariant K-theory. These generic constructions recover the classical ones after the specialization $mathbf{q} = q in mathbb{C}$. At $mathbf{q} = q = 0 inoverline{mathbb{F}}_q$, the antispherical map provides a dual parametrization of all the irreducible $H^{(1)}_{overline{mathbb{F}}_q}(0)$-modules. This work supersedes our earlier work arXiv:1907.08808. We explain the relationship between the two articles in the introduction.