arXiv subjects
Publications and source records attributed to Changlong Zhong.
This paper studies the KL-Schubert classes defined by Kazhdan-Lusztig bases in $K$-theory and hyperbolic cohomology of flag varieties. We first establish Poincaré dualities of these classes. We then focus on Grassmannians, and establish the Billey-type formula for KL-Schubert classes in hyperbolic cohomology.
The open projected Richardson varieties are images of the open Richardson varieties of the complete flag variety under the canonical projection to the partial flag variety. Our main result compares the Segre motivic Chern (SMC) classes of the open projected Richardson varieties with those of the affine Schubert cells by pushing or pulling these classes to the affine Grassmannian. The main method is the recursive relation determined by the Demazure--Lusztig operators. As another application of this recursive relation, we relate the localization of the SMC classes to the twisted Kazhdan--Lusztig R-polynomials. In the case of Grassmannians, the open projected Richardson varieties are known as the open positroid varieties. We give a combinatorial formula for the SMC classes of these varieties.
The main goal of this paper is to extend two fundamental combinatorial results in Schubert calculus on flag manifolds from equivariant cohomology and $K$-theory to equivariant elliptic cohomology. The foundations of elliptic Schubert calculus were laid in a few relatively recent papers by Rimányi, Weber, and Kumar. They include the recursive construction of elliptic Schubert classes via generalizations of the cohomology and $K$-theory push-pull operators and the study of the corresponding Demazure algebra. We derive a Billey-type formula for the localization of elliptic Schubert classes (for partial flag manifolds of arbitrary type) and a pipe dream model for their polynomial representatives in the case of type $A$ flag manifolds. The latter extends the pipe dream model for double Schubert and Grothendieck polynomials. We also study the degeneration of elliptic Schubert classes to $K$-theory, which recovers the corresponding classical formulas.
In this expository note, by using the Kostant-Kumar method, we prove the Poincaré duality of the elliptic classes associated to Schubert varieties.
We use the formal affine Demazure algebra to construct an explicit Leray-Hirsch Theorem for torus equivariant oriented cohomology of flag varieties. We then generalize the Borel model of such theory to partial flag varieties.
We obtain a formula for structure constants of certain variant form of Bott-Samelson classes for equivariant oriented cohomology of flag varieties. Specializing to singular cohomology/K-theory, we recover formulas of structure constants of Schubert classes of Goldin-Knutson, and that of structure constants of Segre-Schwartz-MacPherson classes of Su. We also obtain a formula for K-theoretic stable basis. Our method comes from the study of formal affine Demazure algebra, so is purely algebraic, while the above mentioned results are geometric.
This paper explores a construction of the elliptic classes of the Springer resolution using the periodic Hecke module. The module is established by employing the Poincaré line bundle over the product of the abelian variety of elliptic cohomology and its dual. Additionally, we introduce the elliptic twisted group algebra, which acts on the periodic module. The construction of the elliptic twisted group algebra is such that the Demazure-Lusztig (DL) operators with dynamical parameters are rational sections. We define elliptic classes as rational sections of the periodic module, and give explicit formulas of the restriction to fixed points. Our main result shows that a natural assembly of the DL operators defines a rational isomorphism between the periodic module and the one associated to the Langlands dual root system. This isomorphism intertwines the (opposite) elliptic classes with the fixed point basis in the dual system.
In the present notes, we study a generalization of the Peterson subalgebra to an oriented (generalized) cohomology theory which we call the formal Peterson subalgebra. Observe that by recent results of Zhong the dual of the formal Peterson algebra provides an algebraic model for the oriented cohomology of the affine Grassmannian. Our first result shows that the centre of the formal affine Demazure algebra generates the formal Peterson subalgebra. Our second observation is motivated by the Peterson conjecture. We show that a certain localization of the formal Peterson subalgebra for the extended Dynkin diagram of type $\hat A_1$ provides an algebraic model for `quantum' oriented cohomology of the projective line. Our last result can be viewed as an extension of the previous results on Hopf algebroids of structure algebras of moment graphs to the case of affine root systems. We prove that the dual of the formal Peterson subalgebra (an oriented cohomology of the affine Grassmannian) is the $0$th Hochshild homology of the formal affine Demazure algebra.
Associated to any root datum, there is an elliptic affine Hecke algebra defined by Ginzburg, Kapranov, and Vasserot. In this study, we establish a Fourier-Mukai functor from the representation category of the elliptic affine Hecke algebra to the corresponding category associated with the Langlands dual root datum. To achieve this connection, we employ the elliptic Hecke algebra with dynamical parameters as an intermediary.
We generalize the property of small-torus equivariant K-homology of the affine Grassmannian to general oriented (co)homology theory in the sense of Levine and Morel. The main tool we use is the formal affine Demazure algebra associated to the affine root system. More precisely, we prove that the small-torus equivariant oriented cohomology of the affine Grassmannian satisfies the GKM condition. We also show that its dual, the small-torus equivariant homology, is isomorphic to the centralizer of the equivariant oriented cohomology of a point in the the formal affine Demazure algebra.
We prove that irreducible representations of the elliptic affine Hecke algebras of Ginzburg, Kapranov, and Vasserot are in one-to-one correspondence with certain nilpotent Higgs bundles on the elliptic curve. The main tool we use is the equivariant elliptic cohomology of the Steinberg variety of the Springer resolution. As a by-product, we study representations at roots of unity in type-$A$. As another by-product, we define a version of elliptic Demazure-Lusztig operators with dynamical parameters that satisfy the braid relations. We discuss speculative indications of this correspondence in 4d $\mathcal N=2$ gauge theory.
We compare the $K$-theory stable bases of the Springer resolution associated to different affine Weyl alcoves. We prove that (up to relabelling) the change of alcoves operators are given by the Demazure-Lusztig operators in the affine Hecke algebra. We then show that these bases are categorified by the Verma modules of the Lie algebra, under the localization of Lie algebras in positive characteristic of Bezrukavnikov, Mirković, and Rumynin. As an application, we prove that the wall-crossing matrices of the $K$-theory stable bases coincide with the monodromy matrices of the quantum cohomology of the Springer resolution.
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 Zelevinsky's 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.
For any Bott-Samelson resolution $q_{I}:\hat{X_{I}}\rightarrow G/B$ of the flag variety $G/B$, and any torus equivariant oriented cohomology $h_T$, we compute the restriction formula of certain basis $η_L$ of $h_T(\hat{X_{I}})$ determined by the projective bundle formula. As an application, we show that $h_T(\hat{X_{I}})$ embeds into the equivariant oriented cohomology of $T$-fixed points, and the image can be characterized by using the Goresky-Kottwitz-MacPherson (GKM) description. Furthermore, we compute the push-forward of the basis $η_L$ onto $h_T(G/B)$, and their restriction formula.
In this note, we collect basic facts about Maulik and Okounkov's stable bases for the Springer resolution, focusing on their relations to representations of Lie algebras over complex numbers and algebraically closed positive characteristic fields, and of the Langlands dual group over non-Archimedean local fields.
Cohomological and K-theoretic stable bases originated from the study of quantum cohomology and quantum K-theory. Restriction formula for cohomological stable bases played an important role in computing the quantum connection of cotangent bundle of partial flag varieties. In this paper we study the K-theoretic stable bases of cotangent bundles of flag varieties. We describe these bases in terms of the action of the affine Hecke algebra and the twisted group algebra of Kostant-Kumar. Using this algebraic description and the method of root polynomials, we give a restriction formula of the stable bases. We apply it to obtain the restriction formula for partial flag varieties. We also build a relation between the stable basis and the Casselman basis in the principal series representations of the Langlands dual group. As an application, we give a closed formula for the transition matrix between Casselman basis and the characteristic functions.
We define the formal affine Demazure algebra and formal affine Hecke algebra associated to a Kac-Moody root system. We prove the structure theorems of these algebras, hence, extending several result and construction (presentation in terms of generators and relations, coproduct and product structures, filtration by codimension of Bott-Samelson classes, root polynomials and multiplication formulas) that were previously known for finite root system.
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 Deodhar's 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.