[論文レビュー] Serre duality for non-commutative P^1-bundles

A. Nyman|arXiv (Cornell University)|Oct 6, 2002

Algebraic structures and combinatorial models参考文献 12被引用数 9

ひとこと要約

本稿では、滑らかな射影的多様体上に非可換対称代数 $\mathcal{A}$ を生成する局所自由な $\mathcal{O}_X$-双加群 $\mathcal{E}$ のランクが 2 の場合に、$\mathcal{A}$ が Gorenstein であることを示し、$\mathrm{Proj}\mathcal{A}$ 上で導来関手を用いて Serre 対称性を確立することで、滑らかな射影的多様体上に非可換 $\mathbb{P}^1$-バンドルを構成する。その主要な貢献は、基底多様体の次元が $d$ である場合に、非可換幾何的対象のコホモロジー次元が $d+1$ に拡張されることである。

ABSTRACT

Let E be a locally free, rank n bimodule over a smooth projective scheme X, and let A be the non-commutative symmetric algebra generated by E. We construct an internal Hom functor on the category of graded right A-modules. When E has rank 2, we prove that A is Gorenstein by computing the right derived functors of the internal Hom functor. When X is a smooth projective variety, we use the Gorensteinness of A to prove a version of Serre duality on Proj A, the non-commutative P^1 bundle defined by A.

研究の動機と目的

• 滑らかな射影的多様体上に非可換 $\mathbb{P}^1$-バンドルを構成する。
• ランク 2 の局所自由な $\mathcal{O}_X$-双加群 $\mathcal{E}$ によって生成される非可換対称代数 $\mathcal{A}$ が Gorenstein であることを確立する。
• $\mathcal{A}$-右加群の可換な次数付きカテゴリ上に内部 Hom 関手 $\underline{\mathcal{H}om}_{\mathrm{Gr}\mathcal{A}}(-,-)$ を定義し、その性質を分析する。
• 滑らかな射影的多様体上に非可換 $\mathbb{P}^1$-バンドルが、基底多様体の次元 $d$ に対してコホモロジー次元 $d+1$ を持つことを証明する。
• このようなバンドルに対して、交線理論の基礎を提供する。特に、Serre 対称性と Ext-有限性といった重要な条件を検証する。

提案手法

• 可換な次数付き $\mathcal{A}$-右加群のカテゴリ上に内部 Hom 関手 $\underline{\mathcal{H}om}_{\mathrm{Gr}\mathcal{A}}(-,-)$ を構成する。
• $\underline{\mathcal{H}om}_{\mathrm{Gr}\mathcal{A}}(\mathcal{O}_X, -)$ の右導来関手を用いて、$\mathcal{E}$ のランクが 2 のとき $\mathcal{A}$ が Gorenstein であることを証明する。
• $\varinjlim \underline{\mathcal{H}om}_{\mathrm{Gr}\mathcal{A}}(\mathcal{A}/\mathcal{A}_{\geq n}, -)$ の極限を用いて、$\mathrm{Proj}\mathcal{A}$ 上での Serre 対称性を定義する。
• 随伴性および結合性同型の自然性を用いて、導来圏フレームワーク内での重要な図式の可換性を検証する。
• $\mathcal{A}$ がランク 2 の局所自由な $\mathcal{O}_X$-双加群 $\mathcal{E}$ を基にした非可換対称代数であることの構造を用いて、コホモロジー的性質を導出する。
• $\mathrm{Proj}\mathcal{A} = \mathrm{Gr}\mathcal{A} / \mathrm{Tors}\mathcal{A}$ の商カテゴリを用いて非可換 $\mathbb{P}^1$-バンドルをモデル化し、双対性を適用する。

実験結果

リサーチクエスチョン

• RQ1 非可換幾何的枠組みにおいて、滑らかな射影的多様体上に非可換 $\mathbb{P}^1$-バンドルが Serre 対称性を満たすか。
• RQ2 ランク 2 の局所自由な $\mathcal{O}_X$-双加群 $\mathcal{E}$ によって生成される非可換対称代数 $\mathcal{A}$ は Gorenstein か。
• RQ3 基底多様体 $X$ が次元 $d$ の滑らかな射影的多様体であるとき、$\mathrm{Proj}\mathcal{A}$ のコホモロジー次元は何か。
• RQ4 可換な次数付き $\mathcal{A}$-加群カテゴリ上の内部 Hom 関手の導来関手を用いて、$\mathrm{Proj}\mathcal{A}$ 上で Serre 対称性ペアリングを定義できるか。
• RQ5 非可換 $\mathbb{P}^1$-バンドル $\mathrm{Proj}\mathcal{A}$ は、非可換曲面に必要な Ext-有限性およびコホモロジー次元条件を満たすか。

主な発見

• ランク 2 の局所自由な $\mathcal{O}_X$-双加群 $\mathcal{E}$ によって生成される非可換対称代数 $\mathcal{A}$ は、$\underline{\mathcal{H}om}_{\mathrm{Gr}\mathcal{A}}(\mathcal{O}_X, -)$ の右導来関手を計算することで、Gorenstein であることが示された。
• 基底多様体 $X$ が次元 $d$ の滑らかな射影的多様体であるとき、$\mathrm{Proj}\mathcal{A}$ のコホモロジー次元は $d+1$ である。これは非可換曲面に必要な重要な条件を確認するものである。
• $\varinjlim \underline{\mathcal{H}om}_{\mathrm{Gr}\mathcal{A}}(\mathcal{A}/\mathcal{A}_{\geq n}, -)$ の右導来関手を用いて、$\mathrm{Proj}\mathcal{A}$ 上で Serre 対称性が確立された。これは古典的双対性を非可換設定に一般化するものである。
• 内部 Hom 関手 $\underline{\mathcal{H}om}_{\mathrm{Gr}\mathcal{A}}(-,-)$ は適切に定義されており、次数付き $\mathcal{A}$-加群構造と整合的であるため、導来圏の技法を用いることが可能である。
• 非可換 $\mathbb{P}^1$-バンドルが滑らかな射影的曲線上に構成される場合、交線理論に必要な Ext-有限性およびコホモロジー次元条件を満たすことが検証された。
• 関手的性質およびテンソル積の自然性を用いて、結合性、双対性、評価準同型を含む複雑な図式の可換性を検証するプロセスに依存している。