The multiplicative structure of the K-theoretical McKay correspondence for the Hilbert scheme of points in the complex plane

Résumé technique : La structure multiplicative de la correspondance de McKay en K-théorie pour le schéma de Hilbert de points dans le plan complexe

Énoncé du problème
L'article étudie la K-théorie du schéma de Hilbert de $n$ points dans le plan complexe, noté $Hilb^n(\mathbb{A}^2_{\mathbb{C}})$. Dans le cadre de la correspondance de McKay en K-théorie, la K-théorie équivariante de ce schéma, $K^{S_n}(\mathbb{C}^{2n})$, est isomorphe à l'espace des fonctions symétriques de degré $n$, $\Lambda_n$. Les auteurs abordent deux questions principales concernant la structure multiplicative induite sur $\Lambda_n$ par le produit tensoriel dans l'anneau de K-théorie $K(Hilb^n)$ :

1. Le problème de l'endomorphisme (A) : Pour une classe donnée $F \in K(Hilb^n)$, déterminer une formule compacte pour l'endomorphisme induit $E_F: \Lambda_n \to \Lambda_n$ tel que le diagramme impliquant l'isomorphisme de McKay $\Theta$ et la multiplication par tensorisation par $F$ commute. Plus précisément, les auteurs se concentrent sur le cas où $F$ est les puissances d'Adams $\psi^k B_n$ du fibré vectoriel tautologique $B_n$, qui génèrent l'anneau de K-théorie.
2. Le problème des constantes de structure (B) : Décrire les constantes de structure $c^\mu_{\lambda_1, \lambda_2}$ pour la multiplication $\odot$ sur $\Lambda_n$ induite par le produit tensoriel, spécifiquement dans la base des sommes de puissances.

Méthodologie
Les auteurs emploient une combinaison d'intuition géométrique et de réduction combinatoire.

• Réduction géométrique : Alors que l'action standard du tore $T = (\mathbb{C}^*)^2$ sur le schéma de Hilbert donne un ensemble fini de points fixes, la combinatoire des poids tangents est complexe. Les auteurs introduisent une réduction vers un sous-tore de coordonnées unidimensionnel $T_q \subset T$. Sous cette restriction (correspondant à la substitution $t=1$ dans les formules combinatoires), l'ensemble des points fixes $Hilb^{T_q}_n$ devient une union disjointe d'espaces affines. Cela simplifie la géométrie de l'ensemble des points fixes et, de manière cruciale, simplifie la combinatoire des poids tangents.
• Analyse combinatoire : La preuve repose sur les propriétés des polynômes de Macdonald $\tilde{H}_\lambda(q,t)$ et de leur restriction à $t=1$. Les auteurs utilisent l'application caractéristique de Frobenius pour relier la K-théorie du schéma de Hilbert aux fonctions symétriques. Ils analysent les opérateurs $\nabla_F$ (adjoints des opérateurs de multiplication) et démontrent que, sous la restriction au sous-tore $T_q$, ces opérateurs satisfont la règle de Leibniz, une propriété absente dans le cadre équivariant complet.
• Localisation et bases propres : En utilisant le théorème de localisation, les auteurs travaillent avec la base des classes fondamentales des points fixes. Ils établissent que les polynômes de Macdonald modifiés (restreints à $t=1$) forment une base propre pour les opérateurs pertinents, permettant un calcul explicite de l'action des puissances d'Adams.

Contributions et résultats clés

1. Preuve de la conjecture de Boissière : Le résultat principal est la preuve d'une formule conjecturée par Boissière [Boi06b] pour l'endomorphisme $E_{\psi^k B_n}$. Les auteurs établissent que pour tout entier naturel $k$ :
   $$E_{\psi^k B} = \sum_{\lambda} \frac{k^{l(\lambda)-1} s(\lambda)}{\prod_{i \in \mathbb{N}} a_i(\lambda)!} p_{s(\lambda)} \partial_\lambda$$
   où la somme porte sur les partitions $\lambda$, $l(\lambda)$ est la longueur, $s(\lambda)$ est la somme, $a_i(\lambda)$ est la multiplicité de la partie $i$, et $\partial_\lambda$ est l'opérateur différentiel associé à la partition. Ceci est présenté comme le Théorème 5.15. Une formulation équivalente impliquant l'opérateur $\nabla^*_k$ est également fournie.

2. Règle de Leibniz via restriction au sous-tore : Une contribution technique centrale est la démonstration que la restriction de l'opérateur $\nabla_k$ au sous-tore $T_q$ (en posant $t=1$) satisfait la règle de Leibniz : $\nabla^q_k(fg) = \nabla^q_k(f)g + f\nabla^q_k(g)$. Cette propriété permet aux auteurs de dériver des formules fermées pour les opérateurs en calculant leur action sur les générateurs (sommes de puissances) et en étendant via la règle du produit.

3. Constantes de structure pour le produit tensoriel : Dans la section 7, les auteurs dérivent une formule pour les constantes de structure $c^\mu_{\lambda_1, \lambda_2}$ de la multiplication $\odot$ sur $\Lambda_n$. Le Théorème 7.3 exprime ces constantes comme les coefficients d'une série entière spécifique impliquant le produit scalaire des fonctions symétriques et une fonction de poids $W_\nu(q)$. La formule est donnée par :
   $$c^\mu_{\lambda_1, \lambda_2} = \text{Coeff}_{q-1} \left( l(\lambda_1) + l(\lambda_2) - n - l(\mu); \frac{[\mu]_q}{z_\mu [\lambda_1]_q [\lambda_2]_q} \cdot \sum_{\nu \vdash n} \frac{\langle p_{\lambda_1}, h_\nu \rangle \langle p_{\lambda_2}, h_\nu \rangle \langle p_\mu, m_\nu \rangle}{W_\nu(q)} \right)$$
   Ce résultat clarifie les conditions d'annulation de ces constantes basées sur les degrés des partitions.

4. Correction de la littérature antérieure : Les auteurs notent une divergence dans les résultats de calcul de [Boi06b] concernant le produit $p_{22} \odot p_{22}$. En utilisant leur formule dérivée et des arguments dimensionnels (Remarque 7.5), ils affirment que le produit devrait être nul, suggérant une erreur de frappe dans l'ouvrage antérieur.

Portée et affirmations
L'article prétend résoudre une conjecture spécifique concernant la correspondance de McKay en K-théorie, fournissant une expression sous forme fermée pour l'action des puissances d'Adams du fibré tautologique sur les fonctions symétriques. Les auteurs soulignent que leur preuve est « purement combinatoire » mais s'appuie sur l'intuition géométrique de la restriction de l'action du tore à un sous-tore pour simplifier la géométrie des points fixes.

La portée réside dans :

• La fourniture de la première preuve de la conjecture de Boissière pour un $k$ arbitraire.
• L'établissement des constantes de structure multiplicative pour le produit induit par la K-théorie sur les fonctions symétriques, une structure distincte du cas cohomologique en raison du caractère non gradué de la K-théorie.
• La démonstration que la restriction à un sous-tore $T_q$ est un outil puissant pour simplifier des calculs complexes de K-théorie équivariante, les transformant en problèmes combinatoires traitables impliquant la règle de Leibniz.

Les auteurs ne prétendent pas étendre ces résultats à d'autres variétés ou groupes dans ce travail, ni ne proposent de nouvelles applications expérimentales. L'ouvrage est présenté comme une solution définitive aux problèmes algébriques et combinatoires spécifiques posés par la correspondance de McKay en K-théorie pour le schéma de Hilbert de points dans le plan.