[论文解读] 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

一句话总结

本文通過證明：具有平衡對偶複形的諾特連通分次 $k$-代數 $A$ 是科 szul AS-正則的，當且僅當所有有限生成分次 $A$-模的 Castelnuovo-Mumford 正則性與 Ext-正則性一致，從而建立了一個非交換版本的 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}.

研究动机与目标

• 建立一個非交換版本的 Römer 定理，將正則性不變量與科 szul AS-正則性聯繫起來。
• 透過證明對偶複形的有限左內射維數與有限左投影維數之間的等價性，推廣 Mori 對 AS-Gorenstein 代數的結果。
• 利用非交換正則性技術，證明任何科 szul 標準 AS-Gorenstein 代數均為 AS-正則。
• 在具有平衡對偶複形的假設下，以正則性不變量為基礎，提供 AS-正則性的新特徵化。
• 解決非交換射影幾何中經典正則性一致問題的非交換類比。

提出的方法

• 採用透過局部上同調定義的非交換 Castelnuovo-Mumford 正則性，以及透過導出函子定義的 Ext-正則性。
• 在導出範疇 $D^b(\text{gr}\text{-}A)$ 中使用最小自由解析與擬同構，以比較正則性不變量。
• 應用局部對偶定理，將同態的錐的局部上同調與 Ext-群關聯起來。
• 利用對偶複形的結構及其導出性質，分析內射與投影維數。
• 證明：若所有模的 CM.reg 與 Ext.reg 一致，則對偶複形具有有限投影維數。
• 利用 $F^{\text{≥q}s}$ 與 $F^{\text{≤q}s-1}$ 為最小自由複形的事實，當正則性不變量不一致時導出矛盾。

实验结果

研究问题

• RQ1 在非交換設定下，Castelnuovo-Mumford 正則性與 Ext-正則性的一致性是否能特徵化科 szul AS-正則代數？
• RQ2 能否在非交換 AS-Gorenstein 代數中建立對偶複形的有限左內射維數與有限左投影維數之間的等價性？
• RQ3 在非交換情形下，所有科 szul 標準 AS-Gorenstein 代數是否必然為 AS-正則？
• RQ4 經典正則性一致結果在交換代數中的推廣，其在具有平衡對偶複形的非交換分次代數中可延伸至何種程度？
• RQ5 為何條件 $\mathrm{Ext.reg}\,k < \infty$ 在非交換設定下無法特徵化科 szul 代數？

主要发现

• 具有平衡對偶複形的諾特連通分次 $k$-代數 $A$ 是科 szul AS-正則的，當且僅當對所有非零有限生成分次 $A$-模有 $\mathrm{CM.reg}\,M = \mathrm{Ext.reg}\,M$。
• 在非交換設定下，$A$ 為 AS-Gorenstein、具有有限左內射維數，以及對偶複形具有有限左投影維數之間的等價性成立。
• 任何科 szul 標準 AS-Gorenstein 代數均為 AS-正則，此結果推廣了 Mori 在非交換情形下的結果。
• 對於此類代數中具有有限投影維數的模，恆有 $\mathrm{CM.reg}\,M - \mathrm{CM.reg}\,A = \mathrm{Ext.reg}\,M$。
• 在非交換情形下，經典特徵化 $\mathrm{Ext.reg}\,k < \infty \Leftrightarrow$ 科 szul 失效，因為存在非科 szul 但 $\mathrm{Ext.reg}\,k$ 有限的 AS-正則代數。
• 證明技術避開了將問題歸約至多項式代數的交換方法，轉而依賴非交換設定下的導出範疇方法與局部對偶。