[論文レビュー] An introduction to Noncommutative Projective Geometry

D. Rogalski|arXiv (Cornell University)|Mar 12, 2014

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

ひとこと要約

この論文は、非可換 Groebner 基底と Diamond Lemma を用いて、graded 代数を分析する Artin-Schelter 正則代数の枠組みを通じて、非可換射影幾何学を導入する。点モジュールや非可換射影的スキームの研究のための基礎的ツールを確立し、非可換曲線および非可換曲面の分類結果に至る。正則代数の幾何学的性質およびその Ext モジュールの理解に重要な貢献を行う。

ABSTRACT

These notes are an expanded version of the author's lectures at the graduate workshop "Noncommutative Algebraic Geometry" at the Mathematical Sciences Research Institute in June 2012. The main topics discussed are Artin-Schelter regular algebras, point modules, and the noncommutative projective scheme associated to a graded algebra.

研究の動機と目的

• 多様な代数的背景を持つ研究者向けに、非可換射影幾何学について自己完結的でアクセス可能な導入を提供すること。
• 非可換代数幾何学の中心的枠組みとして、Artin-Schelter 正則代数の理論を確立すること。
• 特に Diamond Lemma と非可換 Groebner 基底を用いて、有限生成の graded 代数を分析するためのツールを開発すること。
• graded 環を通じて、点モジュールのパラメータ空間および非可換射影的スキームの構造を研究すること。
• 特に次元 4 における未解決問題を強調しつつ、非可換曲線および非可換曲面の分類結果を提示すること。

提案手法

• 有限生成の graded 代数における関係を分析するために、Diamond Lemma と非可換 Groebner 基底を用いる。
• ホモロジー代数的手法を適用して、Artin-Schelter 正則代数上の Ext 群を計算し、モジュール構造を研究する。
• 点モジュールの概念を、射影空間内の点の非可換類似物として導入する。
• graded A-モジュールの torsion を除いた商圏 qgr-A を用いて、非可換射影的スキームを構成する。
• Ext モジュールの有限次元性を分析するために、最小の射影的および単射的分解を用いる。
• 非可換設定における Hom および Ext の構造を研究するために、商 A/A≥n における Ext 群の直和極限を用いる。

実験結果

リサーチクエスチョン

• RQ1 Artin-Schelter 正則代数を基礎対象として用いることで、非可換射影幾何学を体系的にどのように展開できるか。
• RQ2 非可換 Groebner 基底と Diamond Lemma は、有限生成の graded 代数の分類においてどのような役割を果たすか。
• RQ3 点モジュールは非可換射影的多様体をどのようにパラメータ化するのか。また、それらはどのような幾何的情報を符号化するか。
• RQ4 非可換代数上の Ext 群は、可換の場合と比べて、次元性の面でどのように異なるか。
• RQ5 非可換曲線および非可換曲面の構造的および分類的性質は何か。特に低次元における性質は。

主な発見

• A が Artin-Schelter 正則代数であるとき、射影的および単射的分解の相互作用により、Ext^i(k, A) は k-ベクトル空間として有限次元である。
• 非可換整域 A に対して、Ext^1(k, A) は無限次元である。これは、Hom_A(A≥1, A) に属する線形独立な無限個の準同型が存在し、Hom_A(A, A) の像に属さないことを示している。
• B における By の理想化子は A に等しく、したがって B/A は graded A-モジュールとして ⊕_{n≥1} k(-n) に同型である。
• 写像 Hom_A(A, A) → Hom_A(A≥1, A) は単射だが全射でなく、その余核は無限次元である。これは、導来圏における非自明な構造を示している。
• 直和極限 lim_{n→∞} Ext^1(A/A≥n, A) は無限次元であり、これは非可換設定における Hom および Ext 構造の非可換性を反映している。
• 可換の場合、Ext^i(k, A) は左および右モジュール構造の一致により有限次元であるが、非可換設定ではこの性質は成立しない。