[論文レビュー] The cup product of the Hilbert scheme for K3 surfaces

Manfred Lehn, Christoph Sorger|ArXiv.org|Dec 18, 2000

Algebraic Geometry and Number Theory参考文献 8被引用数 41

ひとこと要約

本稿は、任意の順序付きフォビオラス代数 $ A $ に対して、新しい順序付きフォビオラス代数 $ A^{[n]} $ を関手的に定義する。$ A = H^*(X;\mathbb{Q})[2] $ がK3表面 $ X $ のとき、得られる代数は Hilbert 構造のコホロジー環 $ H^*(X^{[n]};\mathbb{Q})[2n] $ に同型である。主な結果は、自然な環同型 $ \bigoplus_{n\geq 0} A^{[n]} \cong \mathcal{V}(A) $ であり、これは頂点代数的構造を通じて Hilbert 構造のコホロジーを実現し、中野のペアリング同型の欠落していたカップ積構造を解消する。

ABSTRACT

To any graded Frobenius algebra A we associate a sequence of graded Frobenius algebras A^[n] in such a way that for any smooth projective surface X with trivial canonical divisor there is a canonical isomorphism of rings between (H*X)^[n] and the cohomology H*(X^[n]) of the n-th Hilbert scheme of X.

研究の動機と目的

• Hilbertスキームの点のコホロジーにおけるカップ積構造を、K3表面の点に一貫的かつ関手的に計算するための体系的で関手的な方法を構築すること。
• 中野のペアリング同型を、欠落していたカップ積構造を解消することで、完全な環同型に拡張すること。
• 新しい代数的構成 $ A^{[n]} $ を通じて、Hilbertスキームのコホロジーをボソン的頂点代数 $ \mathcal{V}(H^*(X;\mathbb{Q})) $ の構造と統一すること。
• 従来の記述が暗黙的であったものとは異なり、$ H^*(X^{[n]};\mathbb{Q}) $ のカップ積を明示的かつ組合せ論的に記述すること。

提案手法

• 順序付きフォビオラス代数 $ A $ と対称群 $ S_n $ を用いて、群代数とワーピング積の中間的構造である $ A\{S_n\} $ を定義し、自然な $ S_n $-作用を備える。
• $ A^{[n]} $ を $ A\{S_n\} $ の $ S_n $-不変部分代数として構成し、これにより順序付きフォビオラス代数構造を誘導する。
• $ \mathcal{V}(A) $ を $ A $ にカップ積ペアリングを備えたボソン的頂点代数として定義し、$ \bigoplus_{n\geq 0} A^{[n]} \cong \mathcal{V}(A) $ なる自然な同型を確立する。
• 頂点作用素の計算と、場 $ \varphi_\beta(a)(z) $ の交換関係を用いて、代数的構造を記述する微分作用素 $ D_1 $ と $ D_2 $ を導出する。
• $ -D_2 $ の指数を $ t_1 $ に作用させ、得られる場における $ z $ の係数を計算することで、カップ積構造を回復する。
• $ \mu: H[z,z^{-1}][t_1,t_2,\ldots] \to \mathfrak{gl}(\mathbb{H}) $ の同一視を用いて、代数的演算を頂点作用素表現に翻訳し、最終的な同型を導出する。

実験結果

リサーチクエスチョン

• RQ1 K3表面 $ X $ の $ n $ 点のHilbertスキームにおける $ H^*(X^{[n]};\mathbb{Q}) $ のカップ積構造を、どのように明示的に記述できるか。
• RQ2 コホロジー環 $ H^*(X;\mathbb{Q})[2] $ を $ H^*(X^{[n]};\mathbb{Q})[2n] $ に写像する関手的構成 $ A \mapsto A^{[n]} $ が、環同型として存在するか。
• RQ3 ボソン的頂点代数 $ \mathcal{V}(H^*(X;\mathbb{Q})) $ に、中野の同型が環同型となるような環構造を導入できるか。
• RQ4 対称群作用とワーピングに類似した代数 $ A\{S_n\} $ は、Hilbertスキームのコホロジーをどのように符号化しているか。
• RQ5 頂点作用素の交換関係から導かれる微分作用素 $ D_1 $ と $ D_2 $ は、どのようにしてコホロジー環におけるカップ積を再構成するか。

主な発見

• 構成 $ A^{[n]} $ により、自然な環同型 $ \bigoplus_{n\geq 0} A^{[n]} \cong \mathcal{V}(A) $ が得られ、$ \mathcal{V}(A) $ を $ A $ 上のボソン的頂点代数として定義することで、Hilbertスキームのコホロジーの完全な代数的モデルが確立される。
• 正則なペアクリングを有する任意の滑らかで射影的な表面 $ X $ に対して、$ (H^*(X;\mathbb{Q})[2])^{[n]} \cong H^*(X^{[n]};\mathbb{Q})[2n] $ が環として成り立つ。これは、ペアリングを備えたベクトル空間としての同型を超えて、環の構造として成立する。
• $ H^*(X^{[n]};\mathbb{Q}) $ のカップ積は、頂点代数的構造を通じて完全に再構成され、中野の元々のペアリング同型における欠落していたカップ積構造が解消される。
• この方法により、頂点作用素の交換関係から得られる微分作用素 $ D_1 $ と $ D_2 $ を用いて、カップ積構造が代数的構造として符号化される。
• 最終的な頂点作用素作用の式における係数 $ c_\alpha $ は、$ \frac{(-1)^{\|\alpha\|-|\alpha|}}{\prod_i \alpha_i!} \left(1 + \frac{|||\alpha|||-1}{24}e\right) $ であると予想され、数値的証拠がその形を支持している。
• 構成 $ A \mapsto A^{[n]} $ は、ヴァッサロットおよび著者らの群環の中心に関する先行結果を一般化し、対称積の場合のチェン＝ルアンのオルビフォールドコホロジーと一致する。これは、K3表面におけるY. ルアンの予想を確認する。