[論文レビュー] Non-commutative Mori contractions and $\PP^1$-bundles

Daniel Chan, A. Nyman|ArXiv.org|Apr 10, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 4

ひとこと要約

本稿では、フーリエ＝ムカイ変換と基本点自由性条件を用いて、非可換スキームから可換な射影曲線への非可換モーリー収縮を構成する手法を提示する。非可換 $\mathbb{P}^1$-バンドルが滑らかで、良い振る舞いを示すヒルベルト汎関手を持ち、そのセレールファンクターが計算可能であることが確立され、$K_Y \cdot C < 0$ かつ $C^2 = 0$ を満たす表面における極小モデルプログラムの非可換類似が与えられる。主な貢献は、このような収縮を用いた非可換表面におけるルールド性の判定基準の確立である。

ABSTRACT

We give a method for constructing maps from a non-commutative scheme to a commutative projective curve. With the aid of Artin-Zhang's abstract Hilbert schemes, this is used to construct analogues of the extremal contraction of a $K$-negative curve with self-intersection zero on a smooth projective surface. This result will hopefully be useful in studying Artin's conjecture on the birational classification of non-commutative surfaces. As a non-trivial example of the theory developed, we look at non-commutative ruled surfaces and, more generally, at non-commutative $\PP^1$-bundles. We show in particular, that non-commutative $\PP^1$-bundles are smooth, have well-behaved Hilbert schemes and we compute its Serre functor. We then show that non-commutative ruled surfaces give examples of the aforementioned non-commutative Mori contractions.

研究の動機と目的

• 非可換代数幾何における準同型の構成法の不足に応えること、特に非可換表面に対して。
• モーリーの極小モデルプログラムの非可換類似を構築すること、特に $K_Y \cdot C < 0$ かつ $C^2 = 0$ を満たす曲線の極小収縮に焦点を当てる。
• 非可換表面におけるルールド性の判定基準を提供することにより、アーチンの非可換表面の双有理分類に関する予想を支援すること。
• 非可換 $\mathbb{P}^1$-バンドルを非自明な例として研究し、滑らかさの証明とセレールファンクターの計算を行うこと。
• 非可換ルールド表面が提示された非可換モーリー収縮を実現することを確立し、理論を具体的な幾何的例と結びつけること。

提案手法

• アーチン＝シャンの抽象ヒルベルト汎関手を用いて、非可換準スキーム $Y$ から可換な射影曲線 $X$ への準同型を構成する。
• 相対チエチコホモロジーを介したフーリエ＝ムカイ変換を適用し、引き戻しファンクター $f^*$ を因数分解することで、可換の場合のグラフ構成を一般化する。
• カーネル層に「基本点自由性」条件を課すことにより、フーリエ＝ムカイ変換が右完全であり、右随伴を持つことを保証する。
• 非可換代数幾何からの交線論、セレール双対性、コホモロジーを用いて $Y$ の幾何を分析する。
• 射の定義は、モジュールカテゴリ間の随伴関手対として行われ、$\operatorname{Mod}Y$ を非可換スキームとして用いる。
• $\mathbb{P}^1$-ファイバーに対応する $\mathcal{O}_Y$ の普遍商を用いて、ヒルベルト汎関手を介して準同型 $f: Y \to X$ を構成する。

実験結果

リサーチクエスチョン

• RQ1 線形系に依存せずに、自己交わりがゼロで $K$-負である曲線の非可換類似の極小収縮を構成することは可能か？
• RQ2 線形系が存在しない状況下で、非可換スキームから可換曲線への準同型を体系的に構成する方法は何か？
• RQ3 非可換 $\mathbb{P}^1$-バンドルの幾何的性質は何か？滑らかさとセレール双対性を満たすか？
• RQ4 非可換版の $\mathbb{P}^1$-ファイブレーション定理は成り立つか？特に $f^*\mathcal{O}_X$ がヒルベルト汎関手において普遍商であるか？
• RQ5 非可換ルールド表面は非可換モーリー収縮として実現可能か？理論のテストケースを提供するか？

主な発見

• 非可換 $\mathbb{P}^1$-バンドルは滑らかであり、良い振る舞いを示すヒルベルト汎関手を持ち、計算可能なセレールファンクターを持つ。
• 基本点自由性を用いたフーリエ＝ムカイ変換の構成により、右随伴の存在が保証され、非可換設定における準同型の定義が可能になる。
• 写像 $\nu: \mathcal{O}_Y \to f^*\mathcal{O}_X$ が同型でないための必要十分条件は、$\operatorname{Ext}^1(f^*\mathcal{O}_p, \mathcal{O}_Y) \to \operatorname{Ext}^1(f^*\mathcal{O}_p, f^*\mathcal{O}_p)$ がゼロであること、または $f^*\mathcal{O}_{2p}$ が一様でないことのいずれかである。
• もし $\nu$ が同型でなく、条件 (i) が成立しない場合、$f^*\mathcal{O}_{2p}$ は互いに自明に交わる2つの非自明な部分モジュールを含むため、非一様性が示される。
• 理論は非可換ルールド表面に適用可能であり、非可換モーリー収縮を実現するための具体的な例を提供する。