Naïve noncommutative blowing up

Noncommutative algebraic geometry (14A22) 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: Let B(X,L,s) be the twisted homogeneous coordinate ring of an irreducible variety X over an algebraically closed field k with dim X > 1. Assume that c in X and s in Aut(X) are in sufficiently general position. We show that if one follows the commutative prescription for blowing up X at c, but in this noncommutative setting, one obtains a noncommutative ring R=R(X,c,L,s) with surprising properties. In particular: (1) R is always noetherian but never strongly noetherian. (2) If R is generated in degree one then the images of the R-point modules in qgr(R) are naturally in (1-1) correspondence with the closed points of X. However, both in qgr(R) and in gr(R), the R-point modules are not parametrized by a projective scheme. (3) qgr R has finite cohomological dimension yet H^1(R) is infinite dimensional. This gives a more geometric approach to results of the second author who proved similar results for X=P^n by algebraic methods.

Review text

In the article [\textit{D. Rogalski}, Adv. Math. 184, 289--341 (2004; Zbl 1068.16038)], the author constructed in a purely algebraic way a class of noncommutative surfaces with surprising properties. The aim of the paper under review is to give a geometric construction of these and more general algebras with similar properties. The basic idea of the construction is a noncommutative analog of the blow up in a closed point in sufficiently general position. Similarly to the construction of bimodule algebras, the authors start with an automorphism \(\sigma\) of an irreducible variety \(X\) of dimension at least two. For a closed point \(c\in X\) in sufficiently general position (with respect to \(\sigma\)) and a \(\sigma\)-ample invertible sheaf \(\mathcal L\) on \(X\), they define a sheaf \(\mathcal R\) of graded algebras. The main objects of study are the algebra \(R\) of global sections of \(\mathcal R\) and the category qgr-\(R\) of finitely generated \(R\)-modules modulo torsion. It is shown that \(R\) is always Noetherian, but never strongly Noetherian, i.e.~there is a commutative Noetherian algebra \(C\) such that \(R\otimes C\) is not Noetherian. The category qgr-\(R\) is shown to be equivalent to qgr-\(\mathcal R\) and independent of the sheaf \(\mathcal L\). It is proved that simple objects in qgr-\(R\) are in bijective correspondence with closed points in \(X\), but \(R\)-point modules are not parametrized by a scheme of locally finite type. Finally, some cohomological properties of \(R\) are analyzed. In particular, qgr-\(R\) has finite cohomological dimension, and for smooth \(X\) finite homological dimension, but the group Ext\(^1(R,R)\) is infinite dimensional.

Recommendations

Cites work

Cited in

(27)

This page was built for publication: Naïve noncommutative blowing up

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