[Paper Review] Non-commutative Castelnuovo-Mumford Regularity and AS-regular Algebras

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

Commutative Algebra and Its Applications13 references3 citations

TL;DR

This paper establishes a non-commutative analogue of Römer’s theorem by proving that a Noetherian connected graded $k$-algebra $A$ with a balanced dualizing complex is Koszul AS-regular if and only if Castelnuovo-Mumford regularity and Ext-regularity coincide for all finitely generated graded $A$-modules. The result extends classical commutative regularity criteria to non-commutative settings using derived categories and local cohomology.

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}.

Motivation & Objective

• To establish a non-commutative version of Römer’s theorem linking regularity invariants to Koszul AS-regularity.
• To generalize Mori’s result on AS-Gorenstein algebras by showing equivalence between finite left injective dimension and finite left projective dimension of the dualizing complex.
• To prove that any Koszul standard AS-Gorenstein algebra is AS-regular, using non-commutative regularity techniques.
• To provide a new characterization of AS-regularity in terms of regularity invariants under the assumption of a balanced dualizing complex.
• To resolve the non-commutative analog of the classical regularity coincidence problem in non-commutative projective geometry.

Proposed method

• Adopting the non-commutative Castelnuovo-Mumford regularity defined via local cohomology and Ext-regularity via derived functors.
• Using minimal free resolutions and quasi-isomorphisms in the derived category $D^b( ext{gr} ext{-}A)$ to compare regularity invariants.
• Applying the local duality theorem to relate local cohomology of cones of morphisms to Ext groups.
• Employing the structure of the dualizing complex and its derived properties to analyze injective and projective dimensions.
• Proving that the coincidence of CM.reg and Ext.reg for all modules implies finite projective dimension of the dualizing complex.
• Using the fact that $F^{ ext{≥q}s}$ and $F^{ ext{≤q}s-1}$ are minimal free complexes to derive contradictions when regularity invariants disagree.

Experimental results

Research questions

• RQ1 Does the coincidence of Castelnuovo-Mumford regularity and Ext-regularity characterize Koszul AS-regular algebras in the non-commutative setting?
• RQ2 Can the equivalence between finite left injective dimension and finite left projective dimension of the dualizing complex be established for non-commutative AS-Gorenstein algebras?
• RQ3 Is every Koszul standard AS-Gorenstein algebra necessarily AS-regular in the non-commutative case?
• RQ4 To what extent does the classical regularity coincidence result from commutative algebra extend to non-commutative graded algebras with balanced dualizing complexes?
• RQ5 Why does the condition $\mathrm{Ext.reg}\,k < \infty$ fail to characterize Koszul algebras in the non-commutative setting?

Key findings

• A Noetherian connected graded $k$-algebra $A$ with a balanced dualizing complex is Koszul AS-regular if and only if $\mathrm{CM.reg}\,M = \mathrm{Ext.reg}\,M$ for all non-zero finitely generated graded $A$-modules.
• The equivalence between $A$ being AS-Gorenstein, having finite left injective dimension, and having a dualizing complex of finite left projective dimension holds in the non-commutative setting.
• Any Koszul standard AS-Gorenstein algebra is AS-regular, generalizing a result of Mori to the non-commutative case.
• The condition $\mathrm{CM.reg}\,M - \mathrm{CM.reg}\,A = \mathrm{Ext.reg}\,M$ holds for all modules of finite projective dimension over such algebras.
• The classical characterization $\mathrm{Ext.reg}\,k < \infty \Leftrightarrow$ Koszul fails in the non-commutative case, as there exist non-Koszul AS-regular algebras with finite $\mathrm{Ext.reg}\,k$.
• The proof technique avoids the commutative reduction to polynomial algebras, relying instead on derived category methods and local duality in non-commutative settings.