[論文レビュー] Classification of resolving subcategories and grade consistent functions

Hailong Dao, Ryo Takahashi|arXiv (Cornell University)|Feb 25, 2012

Algebraic structures and combinatorial models参考文献 27被引用数 7

ひとこと要約

本稿は、コンmutative noetherian 環上の有限生成加群の解消部分カテゴリを、スペクトル上の階数一貫性のある整数値関数を用いて完全に分類する。主な結果は、有限射影次元をもつ加群に含まれる解消部分カテゴリとこのような関数との間の1対1対応であり、これはAuslanderによる「欠落した定理」を回復・カテゴリフィケーションしたものであり、局所的超曲面環および完全交差環へも拡張可能である。

ABSTRACT

We classify certain resolving subcategories of finitely generated modules over a commutative noetherian ring R by using integer-valued functions on Spec R. As an application we give a complete classification of resolving subcategories when R is a locally hypersurface ring. Our results also recover a "missing theorem" by Auslander.

研究の動機と目的

• commutative noetherian 環上の有限生成加群の解消部分カテゴリを、スペクトル上の整数値関数を用いて分類すること。
• 特異性を持つ環、特に局所的超曲面環および完全交差環に対して分類を拡張すること。
• Auslanderの解消部分カテゴリに関する「欠落した定理」を回復・カテゴリフィケーションすること。
• syzygy、拡張、直和成分による加群の構成を、明示的かつ計算可能な枠組みで提供すること。

提案手法

• Spec R 上の階数一貫性関数を定義：f: Spec R → ℕ で、f(p) ≤ grade(p) かつ f(p) ≤ f(q) (p ⊆ q のとき) を満たす関数。
• 解消部分カテゴリと階数一貫性関数との間の1対1対応を確立：φ(X)(p) = max{pd(X_p) | X ∈ X} および ψ(f) = {M | pd(M_p) ≤ f(p) すべての p に対して} を用いて。
• 局所的な深さと射影次元の関係を、最大コhen-Macaulay 加群およびsyzygyとco-syzygyの双対性を用いて同定。
• 導来圏における既存の分類結果と接続するため、tilting 加群およびコンパクト生成 t-構造の理論を適用。
• [31]、[16]、[27] の結果を活用し、特異点集合の専属閉部分集合と分類を関連付ける。
• syzygy と射影的分解を含む完全系列を構成することで、φ と ψ が互いに逆写像であることを証明。

実験結果

リサーチクエスチョン

• RQ1 commutative noetherian 環上の有限生成加群の解消部分カテゴリは、スペクトル上の関数を用いて分類可能か？
• RQ2 関数 f: Spec R → ℕ が、部分カテゴリ {M | pd(M_p) ≤ f(p) すべての p に対して} が解消的であるための条件は何か？
• RQ3 解消部分カテゴリの分類は、特に局所的超曲面環または完全交差環の場合の R の特異点集合とどのように関係するか？
• RQ4 この分類は、Auslander の解消部分カテゴリに関する「欠落した定理」を回復・カテゴリフィケーションできるか？
• RQ5 深さと射影次元は、局所的不変量を用いた解消部分カテゴリの特徴づけにおいて、どのように役立つか？

主な発見

• PD(R) に含まれる mod R の解消部分カテゴリと Spec R 上の階数一貫性関数との間には1対1対応が存在する。
• 局所的超曲面環 R に対して、解消部分カテゴリは、Sing R の専属閉部分集合 W と、Spec R 上の階数一貫性関数 f のペア (W, f) と1対1対応する。
• 正則環 S に対して R = S/(x₁,…,x_c) である完全交差環では、解消部分カテゴリは、射影的スキーム Y ⊂ ℙ_S^{c-1} で ∑x_i y_i = 0 で定義される特異点集合の専属閉部分集合 Z と、Spec R 上の階数一貫性関数 f のペア (Z, f) によって分類される。
• この分類により、Auslander の「欠落した定理」が回復・カテゴリフィケーションされ、彼の予想された対応の明示的実現が得られる。
• syzygy と拡張による加群の構成は、関数 f によって完全に制御され、各素点での深さ条件が属するかを決定する。
• 写像 φ と ψ は互いに逆写像であり、関数 f(𝔭) = max{pd(X_𝔭) | X ∈ X} が、PD(R) 内の解消部分カテゴリ X を完全に決定することが示された。