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

技術的サマリー：複素平面における点のヒルベルトスキームの K 理論的マックイ対応の乗法的構造

問題提起
本論文は、複素平面における $n$ 点のヒルベルトスキーム $Hilb^n(\mathbb{A}^2_{\mathbb{C}})$ の K 理論を調査する。K 理論的マックイ対応の下で、このスキームの等変 K 理論 $K^{S_n}(\mathbb{C}^{2n})$ は、次数 $n$ の対称関数の空間 $\Lambda_n$ と同型である。著者らは、K 理論環 $K(Hilb^n)$ におけるテンソル積によって $\Lambda_n$ に誘導される乗法的構造に関する 2 つの主要な問いに取り組む：

1. 自己準同型問題 (A)：与えられた類 $F \in K(Hilb^n)$ に対して、マックイ同型 $\Theta$ と $F$ によるテンソル乗法を含む図式が可換となるような、誘導された自己準同型 $E_F: \Lambda_n \to \Lambda_n$ のコンパクトな公式を決定する。特に、著者らは K 理論環を生成する自明なベクトル束 $B_n$ のアダムス冪 $\psi^k B_n$ を $F$ として焦点を当てる。
2. 構造定数問題 (B)：テンソル積によって誘導される $\Lambda_n$ 上の乗法 $\odot$ の構造定数 $c^\mu_{\lambda_1, \lambda_2}$ を、べき和基底において記述する。

手法
著者らは、幾何学的直観と組合せ論的還元を組み合わせて用いる。

• 幾何学的還元：ヒルベルトスキームに対する標準的なトーラス作用 $T = (\mathbb{C}^*)^2$ は有限個の固定点集合をもたらすが、接空間の重みの組合せ論は複雑である。著者らは、1 次元の座標部分トーラス $T_q \subset T$ への還元を導入する。この制限（組合せ論的公式における $t=1$ への代入に対応）の下では、固定点集合 $Hilb^{T_q}_n$ はアフィン空間の非交和となる。これにより固定点集合の幾何学が単純化され、決定的なことに、接空間の重みの組合せ論が単純化される。
• 組合せ論的解析：証明は、マクドナルド多項式 $\tilde{H}_\lambda(q,t)$ の性質と、それらの $t=1$ への制限に依存する。著者らは、フロベニウス特性写像を用いて、ヒルベルトスキームの K 理論と対称関数との関係を結びつける。彼らは乗法作用素の随伴である作用素 $\nabla_F$ を解析し、$T_q$ への制限の下では、これらの作用素が全等変設定には存在しない性質であるライプニツ則を満たすことを示す。
• 局所化と固有基底：局所化定理を用いて、著者らは固定点の基本類の基底で作業する。彼らは、修正マクドナルド多項式（$t=1$ に制限されたもの）が関連する作用素の固有基底を形成することを確立し、アダムス冪の作用の明示的な計算を可能にする。

主要な貢献と結果

1. ブワシエールの予想の証明：主要な結果は、ブワシエール [Boi06b] によって予想された自己準同型 $E_{\psi^k B_n}$ の公式の証明である。著者らは、任意の自然数 $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$$
   ここで、和は分割 $\lambda$ 全体に走り、$l(\lambda)$ は長さ、$s(\lambda)$ は和、$a_i(\lambda)$ は部分 $i$ の重複度、$\partial_\lambda$ はその分割に関連する微分作用素である。これは定理 5.15 として提示される。作用素 $\nabla^*_k$ を用いた同等な定式化も提供される。

2. 部分トーラス制限によるライプニツ則：中心的な技術的貢献は、作用素 $\nabla_k$ の部分トーラス $T_q$ への制限（$t=1$ と設定）がライプニツ則 $\nabla^q_k(fg) = \nabla^q_k(f)g + f\nabla^q_k(g)$ を満たすことの証明である。この性質により、著者らは生成元（べき和）に対する作用を計算し、積の規則を通じて拡張することで、作用素の閉じた公式を導出できる。

3. テンソル積の構造定数：第 7 節において、著者らは $\Lambda_n$ 上の乗法 $\odot$ の構造定数 $c^\mu_{\lambda_1, \lambda_2}$ の公式を導出する。定理 7.3 は、これらの定数を、対称関数の内積と重み関数 $W_\nu(q)$ を含む特定のべき級数の係数として表現する。公式は以下のように与えられる：
   $$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)$$
   この結果は、分割の次数に基づいたこれらの定数の消滅条件を明確にする。

4. 既存文献の訂正：著者らは、[Boi06b] の計算結果における積 $p_{22} \odot p_{22}$ に関する不一致を指摘する。彼らが導出した公式と次元論的議論（注記 7.5）を用いて、この積はゼロであるべきであると主張し、以前の著作に誤植があった可能性を示唆する。

意義と主張
本論文は、自明な束のアダムス冪の対称関数への作用に対する閉形式の式を提供することで、K 理論的マックイ対応に関する特定の予想の解決を主張する。著者らは、証明が「純粋に組合せ論的」であることを強調しつつ、それは固定点幾何を単純化するためにトーラス作用を部分トーラスに制限するという幾何学的直観に基づいていると述べる。

その意義は以下の点にある：

• 任意の $k$ に対するブワシエールの予想の最初の証明を提供すること。
• K 理論の非次数的な性質に起因してコホモロジーの場合とは異なる構造を持つ、対称関数上の K 理論誘導積の乗法的構造定数を確立すること。
• 部分トーラス $T_q$ への制限が、複雑な等変 K 理論的計算をライプニツ則を含む扱いやすい組合せ論的問題へと変換する強力な道具であることを示すこと。

著者らは、本論文においてこれらの結果を他の多様体や群に拡張することを主張せず、また新しい実験的応用を提案することもしていない。この研究は、平面における点のヒルベルトスキームに対する K 理論的マックイ対応によって提示された特定の代数的および組合せ論的問題に対する決定的な解決として提示されている。