[論文レビュー] Noncommutative quadric surfaces and noncommutative conifolds

Shinnosuke Okawa, Kazushi Ueda|arXiv (Cornell University)|Mar 4, 2014

Algebraic Geometry and Number Theory参考文献 17被引用数 3

ひとこと要約

本稿は、幾何学的不変理論（GIT）を用いて、非可換な二次曲面および非可換なコノイドのコン pact なモジュライ空間を構成する。非可換二次曲面のモジュライ空間は重み付き射影空間 P(2,4,4,6) に同型であり、コノイドのポテンシャルのモジュライ空間は P(1,2,3,4) に同型であり、それらの間には次数 4 の有限準同型が存在する。これにより、非可換幾何学とポテンシャルのモジュライの間の深い関係が確立される。

ABSTRACT

We introduce a compact moduli of noncommutative quadrics, and show that it is the weighted projective space of weight (2,4,4,6). We also introduce a compact moduli of potentials for the conifold quiver, and show that it is the weighted projective space of weight (1,2,3,4). There is a natural morphism from the latter to the former, which is finite of degree 4.

研究の動機と目的

• 非可換二次曲面のコン pact モジュライ空間を幾何学的不変理論を用いて構成すること。
• コノイドクーヴァーのポテンシャルのモジュライ空間を定義・研究し、それが重み付き射影空間であることを示すこと。
• コノイドポテンシャルのモジュライ空間と非可換二次曲面のモジュライ空間の間の自然な有限準同型を確立すること。
• これらのモジュライ空間が非可換なクレパント解体および導来同値とどのように関係するかを明らかにすること。
• モチーフ的ドナルドソン＝トーマス不変量がポテンシャルの選択にどのように依存するかを調査すること。

提案手法

• SL 群の作用に基づく GIT 商を用いて、ポテンシャルの空間からコン pact モジュライスキームを構成する。
• 2次元ベクトル空間の五つ組 (V₀,V₁,V₂,V₃,W) と 1 次元部分空間 W ⊂ V₀⊗V₁⊗V₂⊗V₃ を用いた非可換二次曲面の分類を適用する。
• モジュライスタックを [Sym²(V₀⊗V₁)/GL(V₀)×GL(V₁)] として構成し、その後 GIT 商をとることで Mpot を得る。
• コノイドクーヴァーの二重被覆を用いて、コノイドポテンシャルと P¹×P¹ クーヴァーを関連させ、パス代数内の関係を導出する。
• ヴァン・デン・ベルクおよびボンドアル＝ポリシュチュークの非可換二次曲面および Z-代数に関する結果を応用する。
• フレーム付き表現と安定性条件を分析し、モチーフ的ドナルドソン＝トーマス不変量の定義と計算を行う。

実験結果

リサーチクエスチョン

• RQ1 非可換二次曲面のコン pact モジュライ空間は何か？ そしてそれはどのように GIT を用いて構成されるか？
• RQ2 コノイドクーヴァーのポテンシャルのモジュライ空間は何か？ その幾何的構造はどのようなものか？
• RQ3 コノイドポテンシャルのモジュライ空間と非可換二次曲面のモジュライ空間の間に自然な準同型が存在するか？ その次数は何か？
• RQ4 モチーフ的ドナルドソン＝トーマス不変量は、コノイドクーヴァーにおけるポテンシャルの選択にどのように依存するか？
• RQ5 五つ組による非可換二次曲面のモジュライ空間と曲線論的記述によるものとは、双有理同値か？

主な発見

• 一般の安定化子 Gₘ⁴ を除いた非可換二次曲面のモジュライ空間は、GIT 商と双有理同値であり、重み付き射影空間 P(2,4,4,6) に同型である。
• コノイドポテンシャルのモジュライ空間は、SL(V₀)×SL(V₁) による Sym²(V₀⊗V₁) の GIT 商として得られ、重み付き射影空間 P(1,2,3,4) に同型である。
• コノイドポテンシャルのモジュライ空間から非可換二次曲面のモジュライ空間への自然な有限準同型が存在し、その次数は 4 である。
• 五つ組による非可換二次曲面のモジュライ空間と楕円曲線による記述のモジュライ空間は双有理同値であり、二つの分類枠組みの等価性が確立される。
• モチーフ的ドナルドソン＝トーマス不変量はポテンシャルに依存する：一般のポテンシャルでは不変量は −L⁻³/²([Φ⁻¹(1)] − [Φ⁻¹(0)]) に等しく、標準的な解体済みコノイドの場合とは異なる。
• 数値的 DT 不変量はポテンシャルに依存しないと予想されるが、モチーフ的精錬はその依存性を示しており、明示的な計算で裏付けられている。