[論文レビュー] Points on quantum projectivations

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

Algebraic structures and combinatorial models参考文献 10被引用数 4

ひとこと要約

本稿では、平坦な切り捨てられた点モジュールの族を定義するための随伴正方形の適合理論を構築することで、非可換射影化の幾何的不変量を構成する。関手 Γₙ を長さ n+1 の切り捨てられた点モジュールの平坦な族として定義し、Γₙ が ℙ_{X²}(ℰ^⊗ⁿ) の閉部分スキームとして表現可能であることを示す。逆系 {Γₙ} が最終的に定数であるとき——特に量子ルールド表面の場合に——点モジュールは ℙ_{X²}(ℰ) の閉点によってパラメトライズされる。

ABSTRACT

The use of geometric invariants has recently played an important role in the solution of classification problems in non-commutative ring theory. We construct geometric invariants of non-commutative projectivizations, a significant class of examples in non-commutative algebraic geometry.

研究の動機と目的

• 非可換射影幾何学における切り捨てられた点モジュールの平坦な族を扱うために、随伴正方形の適合理論を開発すること。
• 長さ n+1 の切り捨てられた T(ℰ)/ℑ-点モジュールの関手 Γₙ を ℙ_{X²}(ℰ^⊗ⁿ) の閉部分スキームとして表現すること。
• 切り捨て写像 Γₙ → Γₙ₋₁ によって形成される逆系 {Γₙ} を分析し、それがいつ安定化するかの条件を特定すること。
• T(ℰ)/ℑ 上の完全な点モジュールをパラメトライズするスキームの存在に十分な条件を確立すること。
• 量子ルールド表面の場合、点モジュールが ℙ_{X²}(ℰ) の閉点によってパラメトライズされることを示すこと。

提案手法

• 平坦な切り捨てられた点モジュールの族の構造を管理するため、随伴正方形における適合理論を導入する。
• Γₙ を長さ n+1 の切り捨てられた T(ℰ)/ℑ-点モジュールのモジュライ関手として定義する。
• 双モジュールセグレ埋め込みを用いて、Γₙ を射影バンドル ℙ_{X²}(ℰ^⊗ⁿ) の閉部分スキームとして表現する。
• 双モジュールセグレ埋め込みを構築し、ℙ_{X²}(ℰ^⊗ⁿ) の幾何と点モジュールの構造との関係を関連付ける。
• 切り捨て準同型 Γₙ → Γₙ₋₁ を用いた逆系 {Γₙ} を用いて、点モジュールの極限的挙動を分析する。
• 点モジュールをパラメトライズするスキームの存在のためには、{Γₙ} が最終的に定数でなければならないという安定性条件を適用する。

実験結果

リサーチクエスチョン

• RQ1 切り捨てられた点モジュールの逆系 {Γₙ} がいつ最終的に定数になるか。
• RQ2 切り捨てられた点モジュールの関手 Γₙ がどのようにスキームとして表現可能になるか。
• RQ3 双モジュールセグレ埋め込みが点モジュールのパラメトライズに果たす役割は何か。
• RQ4 どの場合にスキーム ℙ_{X²}(ℰ) が T(ℰ)/ℑ の完全な点モジュールをパラメトライズするか。
• RQ5 随伴正方形における適合理論が非可換幾何におけるモジュライ関手の構成をどのように支援するか。

主な発見

• 長さ n+1 の平坦な T(ℰ)/ℑ-点モジュールの族を表す関手 Γₙ は、ℙ_{X²}(ℰ^⊗ⁿ) の閉部分スキームとして表現可能である。
• 表現スキームは、両方のイデアル ℑₙ と双モジュールセグレ埋め込みを用いて定義される。
• 切り捨て写像 Γₙ → Γₙ₋₁ は逆系 {Γₙ} を形成し、点モジュールがスキームによってパラメトライズ可能であるためには、この系が最終的に定数でなければならない。
• 系 {Γₙ} が最終的に定数であるための十分条件が提示され、これらは Proj T(ℰ)/ℑ が量子ルールド表面である場合に満たされる。
• 量子ルールド表面の場合、T(ℰ)/ℑ 上の点モジュールは ℙ_{X²}(ℰ) の閉点によってパラメトライズされる。
• 本構成により、切り捨てられた点モジュールのスキーム的実現を通じて、非可換射影化の幾何的不変量が確立される。