Non-commutative Castelnuovo-Mumford Regularity and AS-regular Algebras
arXiv:0808.0407
Abstract
Let be a connected graded -algebra with a balanced dualizing complex. We prove that is a Koszul AS-regular algebra if and only if that the Castelnuovo-Mumford regularity and the Ext-regularity coincide for all finitely generated -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) is AS-Gorenstein; (2) has finite left injective dimension; (3) the dualizing complex has finite left projective dimension. This generalizes \cite[Corollary 5.9]{mori}.
17 pages