Inverse K-Chevalley formulas for semi-infinite flag manifolds, I: minuscule weights in ADE type

We prove an explicit inverse Chevalley formula in the equivariant K-theory of semi-infinite flag manifolds of simply laced type. By an ‘inverse Chevalley formula’ we mean a formula for the product of an equivariant scalar with a Schubert class, expressed as a $\mathbb {Z}\left [q^{\pm 1}\right ]$ -linear combination of Schubert classes twisted by equivariant line bundles. Our formula applies to arbitrary Schubert classes in semi-infinite flag manifolds of simply laced type and equivariant scalars $e^{\lambda }$ , where $\lambda $ is an arbitrary minuscule weight. By a result of Stembridge, our formula completely determines the inverse Chevalley formula for arbitrary weights in simply laced type except for type $E_8$ . The combinatorics of our formula is governed by the quantum Bruhat graph, and the proof is based on a limit from the double affine Hecke algebra. Thus our formula also provides an explicit determination of all nonsymmetric q-Toda operators for minuscule weights in ADE type.

Generic Newton points and the Newton poset in Iwahori-double cosets

We consider the Newton stratification on Iwahori-double cosets in the loop group of a reductive group. We describe a group-theoretic condition on the generic Newton point, called cordiality, under which the Newton poset (that is, the index set for non-empty Newton strata) is saturated and Grothendieck’s conjecture on closures of the Newton strata holds. Finally, we give several large classes of Iwahori-double cosets for which this condition is satisfied by studying certain paths in the associated quantum Bruhat graph.

Maximal Newton polygons via the quantum Bruhat graph

International audience This paper discusses a surprising relationship between the quantum cohomology of the variety of complete flags and the partially ordered set of Newton polygons associated to an element in the affine Weyl group. One primary key to establishing this connection is the fact that paths in the quantum Bruhat graph, which is a weighted directed graph with vertices indexed by elements in the finite Weyl group, encode saturated chains in the strong Bruhat order on the affine Weyl group. This correspondence is also fundamental in the work of Lam and Shimozono establishing Peterson's isomorphism between the quantum cohomology of the finite flag variety and the homology of the affine Grassmannian. In addition, using some geometry associated to the poset of Newton polygons, one obtains independent proofs for several combinatorial statements about paths in the quantum Bruhat graph and its symmetries, which were originally proved by Postnikov using the tilted Bruhat order. An important geometric application of this work is an inequality which provides a necessary condition for non-emptiness of certain affine Deligne-Lusztig varieties in the affine flag variety. Cet article étudie une relation surprenante entre la cohomologie quantique de la variété de drapeaux complets et l'ensemble partiellement ordonné de polygones de Newton associé à un élément du groupe de Weyl affine. L’élément clé pour établir cette connexion est le fait que les chemins dans le graphe de Bruhat quantique, qui est un graphe orienté pondéré dont les sommets sont indexés par des éléments du groupe de Weyl fini, encodent des chaînes saturées dans l'ordre de Bruhat fort sur le groupe de Weyl affine. Cette correspondance est aussi fondamentale dans les travaux de Lam et Shimonozo qui établissent l'isomorphisme de Peterson entre la cohomologie quantique de la variété de drapeaux finie et l'homologie de la Grassmannienne affine. De plus, en utilisant la géométrie associée à l'ensemble partiellement ordonné des polygones de Newton, on obtient des preuves indépendantes pour plusieurs assertions combinatoires sur les chemins dans le graphe de Bruhat quantiques et les symétries de ce graphe, qui ont été originellement démontrées par Postnikov en utilisant l'ordre de Bruhat incliné. Une application géométrique importante de ce travail est une inégalité qui donne une condition nécessaire pour que certaines variétés de Deligne-Lusztig affines dans la variété de drapeaux affine soient non-vides.