Seidel product formula in equivariant quantum $K$-theory of flag varieties

1. Problématique et Contexte

L'article s'intéresse à la K-théorie quantique équivariante ($QK_T(G/B)$) des variétés de drapeaux généralisées $G/B$, où $G$ est un groupe algébrique complexe simple et simplement connexe, et $T$ un tore maximal.

Le problème central est l'établissement d'une formule de produit de Seidel pour ces variétés. Le produit de Seidel, introduit initialement par Seidel dans le contexte de la cohomologie quantique, décrit l'action d'éléments spécifiques (les classes de Seidel) sur la base de Schubert de l'anneau de cohomologie ou de K-théorie quantique.

• État de l'art : Des formules de produit de Seidel avaient déjà été prouvées par Buch, Chaput et Perrin pour les variétés de drapeaux cominuscules (un cas particulier où les nœuds du diagramme de Dynkin sont dits "spéciaux"). D'autres travaux ont traité le cas de la cohomologie quantique équivariante pour des variétés $G/P$ arbitraires.
• Lacune : Il manquait une formule générale pour la K-théorie quantique équivariante sur les variétés de drapeaux complètes $G/B$ (et par extension $G/P$) pour des groupes $G$ quelconques, au-delà du cas cominuscule.

2. Méthodologie

La preuve proposée par les auteurs repose sur une approche algébrique profonde, s'inscrivant dans la philosophie « quantique = affine » (quantum equals affine), initiée par Peterson. Les outils méthodologiques clés sont :

1. L'isomorphisme de Peterson en K-théorie (Kato) :
   Les auteurs utilisent l'isomorphisme $\Phi$ établi par Kato entre l'homologie K-équivariante de la grassmannienne affine $KT_*(Gr_G)$ (localisée) et la K-théorie quantique équivariante $QK_T(G/B)$ (localisée). Cet isomorphisme permet de traduire les problèmes géométriques sur $G/B$ en problèmes algébriques sur l'algèbre de Peterson affine.

2. L'algèbre de Peterson K-théorique étendue :
   Ils font appel à une version étendue de l'algèbre de nil-Hecke K-théorique, développée par Ikeda, Shimozono et Yamaguchi. Cette structure, notée $\hat{K}_{af}$, est associée au groupe de Weyl affine étendu $\hat{W}_{af} = \Sigma \ltimes W_{af}$.

   • Ils exploitent une sous-algèbre commutative $\hat{L}_G$ (l'algèbre de Peterson étendue) qui modélise l'homologie de la grassmannienne affine du groupe adjoint.
   • L'action du groupe de Weyl étendu, en particulier l'action du groupe $\Sigma \cong P^\vee / Q^\vee$ (groupe fondamental du groupe adjoint), joue un rôle crucial.

3. Éléments de Seidel et symétries affines :
   Pour chaque nœud spécial (cominuscule) $i$ du diagramme de Dynkin, ils définissent un élément de Seidel $v_i$ dans le groupe de Weyl $W$. La démonstration consiste à calculer l'action de ces éléments via l'isomorphisme de Peterson, en utilisant les propriétés des éléments $\pi_i \in \Sigma$ (automorphismes du diagramme affine) et les bases de Schubert de l'algèbre de Peterson.

3. Contributions et Résultats Principaux

Le résultat central est l'établissement d'une formule explicite pour le produit de Seidel dans $QK_T(G/B)$.

Théorème 1.1 (Formule de produit de Seidel pour $G/B$) :
Soit $i$ un nœud spécial (cominuscule) du diagramme de Dynkin de $G$, et $v_i$ l'élément de Seidel correspondant. Pour tout $w \in W$ (groupe de Weyl), on a dans $QK_T(G/B)$ :
$$\mathcal{O}^{G/B}_{v_i} \cdot v_i^L \mathcal{O}^{G/B}_w = Q^{\varpi^\vee_i - w^{-1}(\varpi^\vee_i)} \mathcal{O}^{G/B}_{v_i w}$$
où :

• $\mathcal{O}^{G/B}_w$ désigne la classe de Schubert.
• $v_i^L$ est l'automorphisme de l'anneau correspondant à l'action à gauche de $v_i$.
• $Q^\beta$ est le paramètre quantique associé à la coracine $\beta$.
• $\varpi^\vee_i$ est le poids fondamental dual.

Corollaire 1.2 (Cas parabolique $G/P$) :
En utilisant l'homomorphisme de pushforward de Kato $\pi_* : QK_T(G/B) \to QK_T(G/P)$, les auteurs déduisent une formule analogue pour les variétés de drapeaux partielles $G/P$ :
$$\mathcal{O}^{G/P}_{\lfloor v_i \rfloor_P} \cdot v_i^L \mathcal{O}^{G/P}_w = Q^{\lfloor \varpi^\vee_i - w^{-1}(\varpi^\vee_i) \rfloor_P} \mathcal{O}^{G/P}_{\lfloor v_i w \rfloor_P}$$
Cette formule généralise les résultats non-équivariants de Buch-Chaput-Perrin au cas équivariant et pour des variétés $G/P$ arbitraires.

Lemmes techniques clés :

• Lemme 3.1 : Une relation précise sur les ensembles de descente : $\gamma_{v_i w} = \gamma_w - w^{-1}(\varpi^\vee_i)$.
• Proposition 2.6 : La compatibilité entre l'action de $W$ sur l'homologie affine (via l'action étoile) et l'action à gauche sur la K-théorie quantique via l'isomorphisme $\Phi$.

4. Signification et Impact

• Généralisation majeure : Ce travail étend considérablement les résultats connus sur les variétés cominuscules à toutes les variétés de drapeaux $G/B$, fournissant une formule unifiée pour les groupes simples.
• Lien profond entre géométrie et algèbre : La preuve démontre la puissance de l'isomorphisme de Peterson en K-théorie. Elle montre que les symétries cachées de l'algèbre de Peterson affine (liées au groupe de Weyl étendu et aux automorphismes du diagramme affine) se traduisent directement par des propriétés de produit dans la K-théorie quantique.
• Outils pour le calcul : La formule fournie permet de calculer explicitement les produits de classes de Schubert par des éléments de Seidel, ce qui est essentiel pour comprendre la structure de l'anneau de K-théorie quantique et ses applications en théorie des représentations et en géométrie énumérative.
• Exemples concrets : L'article inclut des calculs explicites pour les types $A_{n-1}$, $C_2$ et $D_5$, validant la théorie par des exemples concrets et illustrant la complexité des coefficients quantiques dans les cas non-cominuscules.

En résumé, cet article résout un problème ouvert en K-théorie quantique équivariante en établissant une formule de produit de Seidel générale, en s'appuyant sur une synthèse élégante de la théorie des groupes de Weyl affines, de l'algèbre de nil-Hecke et de la géométrie des grassmanniennes affines.