[論文レビュー] Motivic decompositions for the Hilbert scheme of points of a K3 surface

Andrei Neguţ, Georg Oberdieck+1 more|arXiv (Cornell University)|Dec 19, 2019

Algebraic Geometry and Number Theory参考文献 33被引用数 11

ひとこと要約

本稿は、K3表面の点のヒルベルトスキームに対して明示的で乗法的なチャウ・クネンショーディスセッションを構成し、Looijenga–Lunts–Verbitsky (LLV) リー代数作用を用いてそれを精緻化する。ハイゼンベルク代数とMaulik–Negu�の公式を用い、除数類およびチャーン類が正しい成分に属することを証明し、ブルヴィルとヴォジンの予想を確認するとともに、カップ積に関して分解の乗法性を確立する。

ABSTRACT

We construct an explicit, multiplicative Chow-Künneth decomposition for the Hilbert scheme of points of a K3 surface. We further refine this decomposition with respect to the action of the Looijenga-Lunts-Verbitsky Lie algebra.

研究の動機と目的

• K3表面の点のヒルベルトスキームに対して明示的で乗法的なチャウ・クネンショーディスセッションを構成すること。
• Looijenga–Lunts–Verbitsky (LLV) リー代数作用に関して、この分解を精緻化すること。
• 除数類およびチャーン類が、ブルヴィルとヴォジンの期待する成分に属することを確認すること。
• カップ積に関して分解の乗法性を確立すること。これはアーベル多様体で観察される構造を模倣する。

提案手法

• 著者たちは、アーベル多様体における $[N]^*$ 行動の代わりに、$ H^{2i}(X) $ 上で乗法的に $ i - n $ を作用させるように正規化された $ h \in A^{2n}(X \times X) $ の勾配作用素を用いる。
• 彼らは、ヒルベルトスキームのチャウモチーフにおけるハイゼンベルク代数作用に基づいて、射影子を明示的に構成する。
• 分解は、コホモロジーにおいてデンジャーリング–ムーレー分解、チャウにおいてブルヴィル分解に特殊化されることが示される。
• カップ積に関する分解の乗法性は、サイクルのテンソル積上の $ h $ の作用を比較することで検証される。
• 精緻化された分解は、LLV代数の $ \mathfrak{g}_{\mathrm{NS}} $-作用を尊重し、既約表現における同型成分をもつ。
• 計算的には、$ h_{\alpha\beta}, h_{\alpha\delta} $ とチャーン類に関連する乗法作用素間の交換関係を用い、交換子の消滅を証明することで、適合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 K3表面の点のヒルベルトスキームは、LLV代数作用と整合する乗法的チャウ・クネンショーディスセッションをもつか？
• RQ2 ヒルベルトスキームの除数類およびチャーン類は、ブルヴィルとヴォジンが予想したように、そのような分解の正しい成分に属するか？
• RQ3 Maulik–Negu�の既知の公式とハイゼンベルク代数生成子を用いて、分解を明示的に構成できるか？
• RQ4 カップ積に関して分解は乗法的か、すなわち $ \cup: \mathfrak{h}^i \otimes \mathfrak{h}^j \to \mathfrak{h}^{i+j} $ が成り立つか？
• RQ5 LLV代数の作用はコホモロジーからチャウへ持ち上げられ、チャウ・クネンショーディスセッションを精緻化できるか？

主な発見

• 本稿は、$ h $ が $ \mathfrak{h}^{2i}(X) $ 上で乗法的に $ i - n $ を作用させるように、$ \mathfrak{h}(X) = \bigoplus_{i=0}^{2n} \mathfrak{h}^{2i}(X) $ という一意的で乗法的なチャウ・クネンショーディスセッションを構成する。射影子はハイゼンベルク代数に基づいて明示的に与えられる。
• 分解は、チャウにおいてブルヴィル分解に特殊化され、成分 $ A^i(X)_{2s} = \{ \alpha \in A^i(X) \mid h(\alpha) = (i - s - n)\alpha \} $ をもつ。
• ヒルベルトスキームの除数類およびチャーン類が、分解の正しい成分に属することを示し、ブルヴィルとヴォジンの予想を確認する。
• 分解が乗法的であることが証明された：カップ積は次数を尊重し、$ \cup: \mathfrak{h}^{2i} \otimes \mathfrak{h}^{2j} \to \mathfrak{h}^{2i+2j} $ が成り立つ。
• LLV代数の $ \mathfrak{g}_{\mathrm{NS}} $-作用に関して精緻化された分解が構成され、既約表現 $ \psi $ に対して同型成分 $ \mathfrak{h}_\psi(X) $ をもつ。これは乗法的である。
• $ h_{\alpha\delta} $ がチャーン類作用素上に作用するとき、乗法作用素と可換であることが示され、$ h_{\alpha\delta}(\mathrm{ch}_k(\mathrm{Tan})) = 0 $ が成り立つ。これは分解の整合性を検証するための重要なステップである。