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

Technische Samenvatting: De Multiplicatieve Structuur van de K-theoretische McKay-correspondentie voor het Hilbert-schema van Punten in het Complexe Vlak

Probleemstelling
Het artikel onderzoekt de K-theorie van het Hilbert-schema van $n$ punten in het complexe vlak, aangeduid als $Hilb^n(\mathbb{A}^2_{\mathbb{C}})$. Onder de K-theoretische McKay-correspondentie is de equivariante K-theorie van dit schema, $K^{S_n}(\mathbb{C}^{2n})$, isomorf met de ruimte van symmetrische functies van graad $n$, $\Lambda_n$. De auteurs behandelen twee hoofdvragen met betrekking tot de multiplicatieve structuur die op $\Lambda_n$ wordt geïnduceerd door het tensorproduct in de K-theoriering $K(Hilb^n)$:

1. Het Endomorfisme-probleem (A): Voor een gegeven klasse $F \in K(Hilb^n)$, bepaal een compacte formule voor de geïnduceerde endomorfisme $E_F: \Lambda_n \to \Lambda_n$ zodat het diagram dat de McKay-isomorfisme $\Theta$ en de vermenigvuldiging met $F$ via tensorproduct omvat, commutatieert. Specifiek richten de auteurs zich op $F$ als de Adams-poten $\psi^k B_n$ van het tautologische vectorbundel $B_n$, die de K-theoriering genereren.
2. Het Structuurconstante-probleem (B): Beschrijf de structuurconstanten $c^\mu_{\lambda_1, \lambda_2}$ voor de vermenigvuldiging $\odot$ op $\Lambda_n$ geïnduceerd door het tensorproduct, specifiek in de machtsom-basis.

Methodologie
De auteurs maken gebruik van een combinatie van geometrische intuïtie en combinatorische reductie.

• Geometrische Reductie: Hoewel de standaard torusactie $T = (\mathbb{C}^*)^2$ op het Hilbert-schema een eindige verzameling vaste punten oplevert, is de combinatoriek van raakvector-gewichten complex. De auteurs introduceren een reductie naar een één-dimensionale coördinatie subtorus $T_q \subset T$. Onder deze restrictie (corresponderend met de substitutie $t=1$ in combinatorische formules) wordt de verzameling vaste punten $Hilb^{T_q}_n$ een disjuncte unie van affiene ruimten. Dit vereenvoudigt de geometrie van de verzameling vaste punten en, cruciaal, vereenvoudigt het de combinatoriek van de raakvector-gewichten.
• Combinatorische Analyse: Het bewijs rust op de eigenschappen van Macdonald-polynomen $\tilde{H}_\lambda(q,t)$ en hun restrictie tot $t=1$. De auteurs maken gebruik van de Frobenius-karakteristieke afbeelding om de K-theorie van het Hilbert-schema te relateren aan symmetrische functies. Ze analyseren de operatoren $\nabla_F$ (geadjungeerden van de vermenigvuldigingsoperatoren) en tonen aan dat onder de restrictie tot $T_q$ deze operatoren de Leibniz-regel voldoen, een eigenschap die niet aanwezig is in de volledige equivariante setting.
• Localisatie en Eigenbases: Met behulp van de localisatiestelling werken de auteurs met de basis van fundamentele klassen van vaste punten. Ze stellen vast dat de gemodificeerde Macdonald-polynomen (gerestricteerd tot $t=1$) een eigenbasis vormen voor de relevante operatoren, wat expliciete berekening van de werking van Adams-poten mogelijk maakt.

Belangrijkste Bijdragen en Resultaten

1. Bewijs van de Vermoeden van Boissière: Het primaire resultaat is het bewijs van een formule die door Boissière [Boi06b] is vermoed voor de endomorfisme $E_{\psi^k B_n}$. De auteurs stellen vast dat voor elk natuurlijk getal $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$$
   waarbij de som loopt over partities $\lambda$, $l(\lambda)$ de lengte is, $s(\lambda)$ de som is, $a_i(\lambda)$ de multipliciteit van het deel $i$ is, en $\partial_\lambda$ de differentiaaloperator geassocieerd met de partitie is. Dit wordt gepresenteerd als Stelling 5.15. Een equivalente formulering die de operator $\nabla^*_k$ omvat, wordt eveneens gegeven.

2. Leibniz-regel via Subtorus-restrictie: Een centrale technische bijdrage is de demonstratie dat de restrictie van de operator $\nabla_k$ tot de subtorus $T_q$ (door $t=1$ te stellen) voldoet aan de Leibniz-regel: $\nabla^q_k(fg) = \nabla^q_k(f)g + f\nabla^q_k(g)$. Deze eigenschap stelt de auteurs in staat gesloten formules voor de operatoren af te leiden door hun werking op de generatoren (machtsommen) te berekenen en dit uit te breiden via de productregel.

3. Structuurconstanten voor Tensorproduct: In Sectie 7 leiden de auteurs een formule af voor de structuurconstanten $c^\mu_{\lambda_1, \lambda_2}$ van de vermenigvuldiging $\odot$ op $\Lambda_n$. Stelling 7.3 drukt deze constanten uit als coëfficiënten van een specifieke machtreeks die het inproduct van symmetrische functies en een gewichtsfunctie $W_\nu(q)$ omvat. De formule wordt gegeven door:
   $$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)$$
   Dit resultaat verduidelijkt de verdwijningsvoorwaarden voor deze constanten op basis van de graden van de partities.

4. Correctie van Eerdere Literatuur: De auteurs wijzen op een discrepantie in de berekeningsresultaten van [Boi06b] met betrekking tot het product $p_{22} \odot p_{22}$. Met behulp van hun afgeleide formule en dimensionale argumenten (Opmerking 7.5) stellen ze dat het product nul moet zijn, wat suggereert dat er een drukfout in het eerdere werk staat.

Betekenis en Aanspraken
Het artikel claimt een specifiek vermoeden met betrekking tot de K-theoretische McKay-correspondentie op te lossen, en biedt een gesloten-vorm expressie voor de werking van Adams-poten van het tautologische bundel op symmetrische functies. De auteurs benadrukken dat hun bewijs "puur combinatorisch" is, maar is geworteld in de geometrische intuïtie van het beperken van de torusactie tot een subtorus om de geometrie van vaste punten te vereenvoudigen.

De betekenis ligt in:

• Het leveren van het eerste bewijs van het vermoeden van Boissière voor willekeurige $k$.
• Het vaststellen van de multiplicatieve structuurconstanten voor het door K-theorie geïnduceerde product op symmetrische functies, een structuur die verschilt van het cohomologische geval vanwege het niet-gegradeerde karakter van K-theorie.
• Het aantonen dat de restrictie tot een subtorus $T_q$ een krachtig hulpmiddel is om complexe equivariante K-theoretische berekeningen te vereenvoudigen, en ze om te zetten in hanteerbare combinatorische problemen die de Leibniz-regel omvatten.

De auteurs claimen niet om deze resultaten uit te breiden tot andere variëteiten of groepen binnen dit werk, noch stellen ze nieuwe experimentele toepassingen voor. Het werk wordt gepresenteerd als een definitieve oplossing voor de specifieke algebraïsche en combinatorische problemen die worden gesteld door de K-theoretische McKay-correspondentie voor het Hilbert-schema van punten in het vlak.