[論文レビュー] Non-commutative Castelnuovo-Mumford Regularity and AS-regular Algebras

Zhe Dong, Q.-S. Wu|ArXiv.org|Aug 4, 2008

Commutative Algebra and Its Applications参考文献 13被引用数 3

ひとこと要約

この論文は、局所コホホロジーと導来函手を用いた非可換なCastelnuovo-Mumford正則性とExt正則性の一致を仮定することで、平衡的双対複体を備えたNoether的連結次数 $k$-代数 $A$ がKoszul AS正則であるための必要十分条件を確立し、Römerの定理の非可換版を構築する。この結果は、導来カテゴリと局所コホホロジーを用いて、非可換設定における古典的可換正則性基準を拡張する。

ABSTRACT

Let $A$ be a connected graded $k$-algebra with a balanced dualizing complex. We prove that $A$ is a Koszul AS-regular algebra if and only if that the Castelnuovo-Mumford regularity and the Ext-regularity coincide for all finitely generated $A$-modules. This can be viewed as a non-commutative version of \cite[Theorem 1.3]{ro}. By using Castelnuovo-Mumford regularity, we prove that any Koszul standard AS-Gorenstein algebra is AS-regular. As a preparation to prove the main result, we also prove the following statements are equivalent: (1) $A$ is AS-Gorenstein; (2) $A$ has finite left injective dimension; (3) the dualizing complex has finite left projective dimension. This generalizes \cite[Corollary 5.9]{mori}.

研究の動機と目的

• 正則性不変量とKoszul AS正則性を結ぶRömerの定理の非可換版を確立すること。
• 双対複体の左有限内射次元と左有限射影次元の同倹を示すことにより、MoriのAS-Gorenstein代数に関する結果を一般化すること。
• 非可換正則性技法を用いて、任意のKoszul標準AS-Gorenstein代数がAS正則であることを証明すること。
• 平衡的双対複体の仮定の下で、正則性不変量を用いたAS正則性の新しい特徴付けを提供すること。
• 非可換射影幾何における古典的正則性一致問題の非可換類似を解決すること。

提案手法

• 局所コホホロジーを用いた非可換Castelnuovo-Mumford正則性と、導来函手を用いたExt正則性の定式化を採用すること。
• 導来カテゴリ $D^b( ext{gr} ext{-}A)$ における最小自由複体と準同型の比較を通じて、正則性不変量を比較すること。
• 局所双対性定理を用いて、準同型のコーンの局所コホホロジーとExt群を関連させること。
• 双対複体の構造とその導来的性質を用いて、内射次元と射影次元を分析すること。
• すべての加群においてCM.regとExt.regが一致することは、双対複体の有限射影次元を示すことを証明すること。
• 正則性不変量が一致しない場合に、$F^{ ext{≥q}s}$ と $F^{ ext{≤q}s-1}$ が最小自由複体であることを利用して矛盾を導出すること。

実験結果

リサーチクエスチョン

• RQ1 非可換設定において、Castelnuovo-Mumford正則性とExt正則性の一致は、Koszul AS正則代数を特徴付けるか？
• RQ2 非可換AS-Gorenstein代数において、双対複体の左有限内射次元と左有限射影次元の同値性は確立可能か？
• RQ3 任意のKoszul標準AS-Gorenstein代数は、非可換の場合にも必ずAS正則であるか？
• RQ4 可換代数における古典的正則性一致結果は、平衡的双対複体を備えた非可換次数代数へどの程度拡張可能か？
• RQ5 なぜ非可換設定では $\mathrm{Ext.reg}\,k < \infty$ がKoszul代数を特徴付けないのか？

主な発見

• 平衡的双対複体を備えたNoether的連結次数 $k$-代数 $A$ は、すべての非ゼロな有限生成次数 $A$-加群 $M$ に対して $\mathrm{CM.reg}\,M = \mathrm{Ext.reg}\,M$ が成り立つならば、かつその場合に限りKoszul AS正則である。
• 非可換設定において、$A$ がAS-Gorensteinであること、左有限内射次元であること、および双対複体が左有限射影次元であることの3つが同値である。
• 任意のKoszul標準AS-Gorenstein代数はAS正則である。これはMoriの結果を非可換ケースに一般化したものである。
• このような代数において、有限射影次元をもつすべての加群について $\mathrm{CM.reg}\,M - \mathrm{CM.reg}\,A = \mathrm{Ext.reg}\,M$ が成り立つ。
• 古典的特徴付け $\mathrm{Ext.reg}\,k < \infty \Leftrightarrow$ Koszul は非可換の場合に成立しない。非KoszulなAS正則代数であっても $\mathrm{Ext.reg}\,k < \infty$ となる例が存在する。
• 証明技法は可換多項式環への還元を避け、非可換設定における導来カテゴリ手法と局所双対性に依拠する。