[論文レビュー] The Gorenstein defect category

Petter Andreas Bergh, David A. Jorgensen+1 more|arXiv (Cornell University)|Feb 13, 2012

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

ひとこと要約

この論文は、ネーター環がグローマインであるまでにどれほど遠いかを測る三角圏であるグローマイン欠損カテゴリを導入する。Artin環および可換ネーター局域環に対して、全純的複体のホモトピー圏から特異カテゴリへの自然な函手が全射であるための必要十分条件が、環がグローマインであることであると証明し、グローマイン環のカテゴリカルな特徴づけを提供する。

ABSTRACT

We consider the homotopy category of complexes of projective modules over a Noetherian ring. Truncation at degree zero induces a fully faithful triangle functor from the totally acyclic complexes to the stable derived category. We show that if the ring is either Artin or commutative Noetherian local, then the functor is dense if and only if the ring is Gorenstein. Motivated by this, we define the Gorenstein defect category of the ring, a category which in some sense measures how far the ring is from being Gorenstein.

研究の動機と目的

• グローマイン環を三角圏を用いて特徴づけること。
• グローマイン欠損カテゴリを定義し、それが環がグローマインであるまでにどれほど遠いかを測る指標としての役割を調べること。
• 全純的複体から特異カテゴリへの函手が全射となる条件を調査すること。
• 特にアーティン環および可換局所ネーター環の文脈において、グローマイン欠損カテゴリの次元を分析すること。
• 非自明な全純的複体をもつがグローマインでない最小の非グローマイン環を同定すること。

提案手法

• 次数0での粗い切断を用いて、全純的複体のホモトピー圏から特異カテゴリへの三角函手を誘導する。
• この函手の像による特異カテゴリの商としてグローマイン欠損カテゴリを定義する。
• 厚い部分圏の技法を適用し、環のラディカルのローウィ長を用いて特異カテゴリの次元を評価する。
• バッハヴァイツおよび他の研究者による、導来圏および最大コhen＝マカウル・モジュールの安定圏に関する結果を用いる。
• クリステンセンとヴェリチェの定理を応用し、ローウィ長が小さい全純的複体をもつ環の構造を制限する。
• ラディカルの冪零指数がnである環の特異カテゴリの次元はn−2以下であるという事実を用いて、グローマイン欠損カテゴリの次元を評価する。

実験結果

リサーチクエスチョン

• RQ1 ネーター環に対して、全純的複体のホモトピー圏から特異カテゴリへの函手がいつ全射となるか。
• RQ2 アーティン環および可換ネーター局所環に対して、グローマイン欠損カテゴリの構造と次元は何か。
• RQ3 どの有限次元局所環が非自明な全純的複体をもち、かつグローマインでないか。
• RQ4 非グローマイン局所環で非自明な全純的複体をもつものの中で、ローウィ長、埋め込み次元、長さの最小値は何か。
• RQ5 グローマイン欠損カテゴリの次元は、ローウィ長や埋め込み次元などの不変量とどのように関係するか。

主な発見

• アーティン環または可換ネーター局所環に対して、全純的複体のホモトピー圏から特異カテゴリへの函手が全射であることと、環がグローマインであることとは同値である。
• グローマイン欠損カテゴリが自明（すなわちゼロ）であることと、環がグローマインであることとは同値である。
• ラディカルが𝔪ⁿ = 0 を満たす可換局所環に対して、特異カテゴリの次元はn−2以下である。
• 環R = k[x,y,z]/(x²,y²,z²,yz) は、ローウィ長、埋め込み次元、長さの観点から、非自明な全純的複体をもつ最小の可換局所非グローマイン環である。
• Rのグローマイン欠損カテゴリの次元は1以下であり、特異カテゴリの商であるため、その次元は特異カテゴリの次元によって上から抑えられる。
• 環Rに対して、グローマイン欠損カテゴリの次元は1以下であり、その上限は、ラディカルおよびシンジーギーの構造から得られるもので、鋭いものである。