[論文レビュー] Rationality of instanton moduli

Dimitri Markushevich, А. С. Тихомиров|arXiv (Cornell University)|Dec 19, 2010

Rings, Modules, and Algebras参考文献 16被引用数 7

ひとこと要約

本稿では、$(G,H)$-スライス還元とノーナーム補題を組み合わせることで、アフィンバンドル構造を下りる（descent）ことにより、数学的インスタントンのモジュライ空間が無限大的であるとき、常に有理的であることを証明している。主な結果として、すべての奇数 $n \geq 1$ および $n = 2,4$ に対して有理的であることが示され、無限大的であるという仮定の下で長年の予想が裏付けられた。

ABSTRACT

Tikhomirov (2009) proved the irreducibility of the moduli space of mathematical instantons on the projective 3-space for all odd charges. The irreducibility for charges between 1 and 5 was known before. In the present paper, the rationality of the instanton moduli spaces is proved under the assumption of the irreducibility. So, in particular, the instanton moduli spaces are rational for all odd charges and for charges 2 and 4.

研究の動機と目的

• 数学的インスタントンのモジュライ空間 $I_n$ が無限大的であるとき、常に有理的であることを証明すること。
• 無限大的仮定の下で、$n \leq 5$ および奇数 $n$ の範囲を超えて、$I_n$ の既知の有理的性結果を拡張すること。
• 線形代数的データと群の商を用いた、インスタントンモジュライ空間の一般的な双有理的枠組みを提供すること。
• ノーナーム補題を用いて、商空間上のアフィンバンドルの下りのメカニズムを確立すること。

提案手法

• 群 $G = GL_n \times Sp_{2n+2}/\{\pm(1,1)\}$ の作用の下で、線形代数的データの局所的閉部分多様体の商として $I_n$ を表現する。
• $(G,H)$-スライス構成を用いて、群の作用を $G$ からより小さい部分群 $H \simeq O_n \times Sp_2/\{\pm(1,1)\}$ に還元し、双有理的同値性を保つ。
• 部分集合 $\Gamma_n'$ に $G$-等変なアフィンバンドル構造を構成し、そのファイバーは $\mathbb{A}^{4n}$ に同型であるようにする。このバンドルはスライス $\Sigma_n'$ 上にある。
• ノーナーム補題を用いて、$H$-等変なアフィンバンドル $\Gamma_n' \to \Sigma_n'$ が、$\mathbb{P}^2$ 上のベクトル束のモジュライ空間の開部分集合 $X_n'$ 上の自明バンドル $\mathbb{A}^{4n} \times X_n'$ に下りることを示す。
• ベクトル束のモジュライ空間が既に有理的であることを用いて、双有理的同値性により $I_n$ が有理的であることを結論づける。
• $I_n$ の開部分集合 $I_n'$ が $\mathbb{A}^{4n} \times X_n'$ に双有理的であることを示し、したがって有理的である。これにより $I_n$ が有理的であることも示される。

実験結果

リサーチクエスチョン

• RQ1 数学的インスタントンのモジュライ空間 $I_n$ が無限大的であるとき、有理的であるか？
• RQ2 無限大的仮定の下で、すべての奇数 $n \geq 1$ および $n = 2,4$ に対して $I_n$ の有理的性が示せるか？
• RQ3 ノーナーム補題は、インスタントンモジュライ空間の文脈において、アフィンバンドルの下りのメカニズムとして有効であるか？
• RQ4 $(G,H)$-スライス技法を用いて、商の双有理的性を保つように群の作用を還元できるか？

主な発見

• ノーナーム補題を用いた下りの議論により、$I_n$ が無限大的であるとき常に有理的であることが証明された。
• 奇数 $n \geq 1$ および $n = 2,4$ に対して $I_n$ の有理的性が確立され、$n \leq 5$ および奇数 $n$ の範囲に限られていた既存の結果が拡張された。
• $I_n$ の開部分集合 $I_n'$ が、有理的モジュライ空間の開部分集合 $X_n'$ 上の $\mathbb{A}^{4n} \times X_n'$ に双有理的であることが示され、$I_n$ の有理的性が裏付けられた。
• ノーナーム補題がインスタントンモジュライの文脈において、アフィンバンドルに新しい形で応用され、自明バンドル構造への下りを可能にした。
• $(G,H)$-スライス構成により、群の作用が $GL_n \times Sp_{2n+2}$ から $O_n \times Sp_2$ にうまく還元され、有理的基底空間への下りが可能になった。
• この証明により、$I_n$ が無限大的仮定の下で有理的であるという予想が確認され、インスタントンモジュライ理論における長年の未解決問題が解決された。