Idealizer rings and noncommutative projective geometry

DOI10.1016/J.JALGEBRA.2004.04.001MaRDI QIDQ1880697zbMATH OpenOpenAlexFDO

Publication date 1 October 2004

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0305002

idealizer rings Noetherian graded rings noncommutative projective geometry strongly left Noetherian algebras

Noncommutative algebraic geometry (14A22) Projective techniques in algebraic geometry (14N05) Module categories in associative algebras (16D90) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Noetherian rings and modules (associative rings and algebras) (16P40) Rings arising from noncommutative algebraic geometry (16S38) Graded rings and modules (associative rings and algebras) (16W50)

Abstract: We study some properties of graded idealizer rings with an emphasis on applications to the theory of noncommutative projective geometry. In particular we give examples of rings for which the

c h i

-conditions of Artin and Zhang and the strong noetherian property have very different behavior on the left and right sides.

Review text

For several decades, there has been a belief that (left and right) Noetherian rings should display a rather symmetric behavior with respect to most left and right handed properties, respectively. The current paper demonstrates the failure of this intuition for certain invariants that arise quite naturally in the theory of noncommutative projective geometry. Indeed, a connected finitely presented graded Noetherian algebra \(T\) over an algebraically closed field \(k\) is constructed (as the idealizer of a certain left ideal in a Zhang twist of a polynomial ring) that has the following properties. (1) \(T\) is strongly left Noetherian, that is, \(T\otimes_kB\) is left Noetherian for every commutative Noetherian \(k\)-algebra \(B\), but \(T\) is not strongly right Noetherian; (2) the algebra \(T\otimes_kT\) is left but not right Noetherian, yet \(T\otimes_kT^{\text{op}}\) is Noetherian (on both sides); (3) the noncommutative projective schemes \(T\text{-Proj}=(T\text{-Qgr},\mathcal T)\) and \(\text{Proj-}T=(\text{Qgr-}T,\mathcal T)\) have equivalent underlying categories \(T\)-Qgr and Qgr-\(T\), respectively, but non-isomorphic distinguished objects, where \(T\)-Qgr (Qgr-\(T\)) denotes the quotient category of the category of \(\mathbb{Z}\)-graded left (right) \(T\)-modules by the full subcategory of modules that are direct limits of modules with finite \(k\)-dimension, and the distinguished object \(\mathcal T\) is the image of the module \(_TT\) (\(T_T\)) in \(T\)-Qgr (Qgr-\(T\)); (4) for every integer \(d\geq 2\), the algebra \(T\) can be chosen such that it satisfies \(\chi_{d-1}\) but not \(\chi_d\) on the left, yet fails \(\chi_1\) on the right. Here the graded algebra \(T=\bigoplus^\infty_{n=0}T_n\) is said to satisfy \(\chi_i\) on the left (right) if \(\dim_k\underline{\text{Ext}}^j_T(T/T_{\geq 1},M)<\infty\) for all finitely generated left (right) \(T\)-modules \(M\) and all \(0\leq j\leq i\), where \(\underline{\text{Ext}}\) indicates the Ext group in the ungraded module category. The methods employed are mostly algebraic, but the development of a geometric framework for algebras similar to the ones studied in the paper under review by the author, \textit{D.~S.~Keeler} and \textit{J.~T.~Stafford} [Duke Math. J. 126, No. 3, 491-546 (2005; Zbl 1082.14003)] suggests that the results discussed above hold for a wider class of idealizer rings.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Idealizer rings and noncommutative projective geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1880697)