Motivic Chern classes are elements in the K-theory of an algebraic variety X, depending on an extra parameter y. They are determined by functoriality and a normalization property for smooth X. In this paper we calculate the motivic Chern classes of Schubert cells in the (equivariant) K-theory of flag manifolds G/B. We show that the motivic class of a Schubert cell is determined recursively by the Demazure-Lusztig operators in the Hecke algebra of the Weyl group of G, starting from the class of a point. The resulting classes are conjectured to satisfy a positivity property. We use the recursions to give a new proof that they are equivalent to certain K-theoretic stable envelopes recently defined by Okounkov and collaborators, thus recovering results of Fehér, Rimányi and Weber. The Hecke algebra action on the K-theory of the Langlands dual flag manifold matches the Hecke action on the Iwahori invariants of the principal series representation associated to an unramified character for a group over a nonarchimedean local field. This gives a correspondence identifying the Poincaré duals of the motivic Chern classes to the standard basis in the Iwahori invariants, and the fixed point basis to Casselman's basis. We apply this correspondence to prove two conjectures of Bump, Nakasuji and Naruse concerning factorizations and holomorphy properties of the coefficients in the transition matrix between the standard and the Casselman's basis. 1 The class SM Cy(Ω) := D(M Cy (Ω)) λy(T * (G/B)) may be regarded as the motivic analogue of the Segre-MacPherson class c * (1 1 Ω ) c(T (G/B)) .
Chern-Schwartz-MacPherson (CSM) classes generalize to singular and/or noncompact varieties the classical total homology Chern class of the tangent bundle of a smooth compact complex manifold. The theory of CSM classes has been extended to the equivariant setting by Ohmoto. We prove that for an arbitrary complex algebraic manifold X, the homogenized, torus equivariant CSM class of a constructible function ϕ is the restriction of the characteristic cycle of ϕ via the zero section of the cotangent bundle of X. This extends to the equivariant setting results of Ginzburg and Sabbah. We specialize X to be a (generalized) flag manifold G/B. In this case CSM classes are determined by a Demazure-Lusztig (DL) operator. We prove a 'Hecke orthogonality' of CSM classes, determined by the DL operator and its Poincaré adjoint. We further use the theory of holonomic DX -modules to show that the characteristic cycle of the Verma module, restricted to the zero section, gives the CSM class of a Schubert cell. Since the Verma characteristic cycles naturally identify with the Maulik and Okounkov's stable envelopes, we establish an equivalence between CSM classes and stable envelopes; this reproves results of Rimányi and Varchenko. As an application, we obtain a Segre type formula for CSM classes. In the non-equivariant case this formula is manifestly positive, showing that the extension in the Schubert basis of the CSM class of a Schubert cell is effective. This proves a previous conjecture by Aluffi and Mihalcea, and it extends previous positivity results by J. Huh in the Grassmann manifold case. Finally, we generalize all of this to partial flag manifolds G/P .
Abstract. We give restriction formula for stable basis of the Springer resolution, and generalize it to cotangent bundles of homogeneous spaces. By a limiting process, we get the restriction formula of Schubert varieties.
We study the Demazure–Lusztig operators induced by the left multiplication on partial flag manifolds $G/P$. We prove that they generate the Chern–Schwartz–MacPherson classes of Schubert cells (in equivariant cohomology), respectively their motivic Chern classes (in equivariant K-theory), in any partial flag manifold. Along the way, we advertise many properties of the left and right divided difference operators in cohomology and K-theory and their actions on Schubert classes. We apply this to construct left divided difference operators in equivariant quantum cohomology, and equivariant quantum K-theory, generating Schubert classes and satisfying a Leibniz rule compatible with the quantum product.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.