Idealizer rings and noncommutative projective geometry (Q1880697): Difference between revisions

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.