It is known that a quasi compact scheme(even quasi separated scheme)can be determined uniquely by the category of quasi coherent sheaves on it by Gabriel-Rosenberg reconstruction theorem
The elementary case will be the following statement: If we have $R-mod\cong S-mod$(categories equivalence)for commutative ring $R,S$,then $R\cong S$.
However,this is not true for noncommutative ring or more general,noncommutative scheme.The counter example is provided by Morita equivalence.It is know that $R-mod\cong M_n(R)-mod$(as left modules)where $M_n(R)$ is ring of matrices with coefficient in $R$.This shows that category of left modules(considered as category of quasi coherent sheaves on "noncommutative affine scheme")can not uniquely determined the noncommutative ring uniquely.
My question is can we reconstruct noncommutative ring or noncommutative scheme(for nonaffine situation,I am not very sure what I mean,since I dont have an example in my head right now),or more precisely,taking consideration of the examples about $R-mod\cong M_n(R)-mod$,what more information do we need to uniquely determined the ring.
The real motivation for this question is from reconstruction of stacks.I was told by Sasha Rosenberg a couple of years ago that doing reconstruction of scheme,we just need one category,but doing reconstruction of stacks,we need two categories.(Something like fibered category or more general,category over category).It seems that the reconstruction problem for noncommutative ring is similar to that of stacks.So it seems that if we consider certain fibered category,we can do reconstruction for noncommutative scheme.What is the correct formalism to do this.There was a unpublised preprint by Sasha Rosenberg on homological algebra on fibered and cofibered category,he defined spectral of fibered category,but since its highly abstraction,I dont understand much right now
Thanks!
