# some doubts about noncommutative algebraic geometry

Can someone tell me what's the appalication of the Rosenberg' method on the definition of the noncommutative algebraic geometry (left spectrum)?
Now when talking about noncommutative algebraic geometry, we will follow the way of the category theory (abelian category, triangulated category and so on). What's the obstruction of the direct way from the algebraic geometry rather than the category theory? For example, have someone studied or founded the theorem like Riemann-Roch theorem on the noncommutative schemes?

-
Your question is very vague. Also, what have you read about Rosenberg's method? Even on mathoverflow there are various good answers which explain it. – Martin Brandenburg Oct 17 '11 at 10:38
At the risk of being accused of self-promotion, if you're interested in obstruction results for noncommutative spectra, you can find one here: arxiv.org/abs/1101.2239 – Manny Reyes Oct 17 '11 at 13:26
As noncommutative spectra have structure stacks (and by evidence of plethora of other phenomena like the importance of bimodule morphisms) one should not expect 1-categorical functoriality, but at least a generalization like 2-categorical (pseudo)functoriality... – Zoran Skoda Oct 17 '11 at 14:30
Your last sentence is discussed here: mathoverflow.net/questions/11746/… or in brief, yes, in many settings. – B. Bischof Oct 17 '11 at 16:19
The answer to your first question can be found in Xin Tang's thesis, of which I do not have a link on hand(I'm typing on a phone). In short, the left spectrum was developed for purposes of application to representation theory. A natural place to look for a reference is the work of Rosenberg. In particular, his book from '95 uses the spectrum to consider representations of a certain class of algebras(those he refers to as hyperbolic algebras). Of course looking at the n-lab page on Rosenberg will provide you with many of his manuscripts of which many will answer you also. – B. Bischof Oct 17 '11 at 16:30

As Zoran says, by "decent" I mean nice enough to allow us to jump back and forth between the ring and the spectrum. In the classical situation if $R$ is a (commutative) ring and $X = Spec(R)$ then one can recover $R$ as the ring of global sections of the structure sheaf. In the noncommutative case, for instance if $R$ is the Weyl algebra $k<x,y>/(yx-xy-1)$ the spectrum is reduced to a single point and the global sections are constant functions. – javier Oct 17 '11 at 14:27