Moduli space of modules over non-commutative rings - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T05:17:25Z http://mathoverflow.net/feeds/question/107133 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/107133/moduli-space-of-modules-over-non-commutative-rings Moduli space of modules over non-commutative rings Muon 2012-09-13T23:39:11Z 2012-09-14T09:10:57Z <p>Let $X=Proj(A)$ be a projective scheme, one can the moduli space of coherent sheaves on $X$ with fixed Hilbert polynomial and stability. Since coherent sheaves on $X$ are all obtained as the sheafification $\widetilde{M}$ of a graded $A$-module $M$, it is reasonable to ask whether we can construct the moduli space of sheaves on non-commutative space, i.e. the moduli space of graded right $B$-modules for some $good$ non-commutative graded ring $B$ with some fixed data. I am pretty sure that some works in this direction have been done (what condition on $B$ and what data of modules should be fixed, etc). </p> <p>Could anyone tell me a reference or paper which discuss the construction? Thank you very much. </p> <p><strong>Edit</strong> I have for example a quantum plane in my mind. </p> http://mathoverflow.net/questions/107133/moduli-space-of-modules-over-non-commutative-rings/107141#107141 Answer by Peter Samuelson for Moduli space of modules over non-commutative rings Peter Samuelson 2012-09-14T02:52:34Z 2012-09-14T02:52:34Z <p>This question is very open-ended. The paper by Berest and Wilson below address one possible interpretation of the question, but it may not be exactly what you're looking for. The paper gives an explicit description of the moduli space $M$ of isomorphism classes of left ideals in the Weyl algebra $\mathbb C \langle x,y\rangle / (xy-yx-1)$. The space $M$ is diffeomorphic (but not isomorphic as schemes) to the disjoint union $\sqcup_n H(n,\mathbb C^2)$ of the Hilbert schemes of $n$ points in the plane. There are a number of other papers in this direction.</p> <p><a href="http://arxiv.org/abs/math/0104248" rel="nofollow">http://arxiv.org/abs/math/0104248</a></p> http://mathoverflow.net/questions/107133/moduli-space-of-modules-over-non-commutative-rings/107157#107157 Answer by Andrew Davies for Moduli space of modules over non-commutative rings Andrew Davies 2012-09-14T09:10:57Z 2012-09-14T09:10:57Z <p>I think the paper "Abstract Hilbert Schemes" by Artin and Zhang might be useful. This may be one of the other papers Peter had in mind in his answer.</p> <p>The basic idea as far as I understand it seems to be the following; things work nicely if your ring is strongly noetherian! This condition means that whenever you tensor your ring with a commutative noetherian ring your ring is still noetherian. There are examples of rings which are noetherian but not strongly noetherian (the naive blow-ups of Rogalski), but the quantum plane is certainly strongly noetherian - it is an Ore extension and when you tensor with a commutative ring you can express the result as another Ore extension. Then you can use the version of Hilbert's Theorem for Ore extensions, Theorem 2.6 in Goodearl and Warfield's "Introduction to Noncommutative Noetherian rings".</p> <p>Back to Artin and Zhang's paper, quoting from the abstract, they show that "For the category of the graded modules over a strongly Noetherian graded ring, the Hilbert functor of graded modules with a fixed Hilbert series is represented by a commutative projective scheme."</p> <p>There is a recent paper of Nevins and Sierra which I think looks at what can be said for non-strongly noetherian rings, <a href="http://arxiv.org/abs/1009.2061" rel="nofollow">http://arxiv.org/abs/1009.2061</a>. I think that they may work with just point modules though, these being the graded modules with Hilbert series that of a polynomial ring in one variable.</p> <p>I hope this is the kind of thing you were looking for. Also, I'm sure that someone more expert than myself would be able to explain in more detail what Artin and Zhang do.</p>