Existence of non-commutative desingularizations - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T21:27:01Z http://mathoverflow.net/feeds/question/14350 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/14350/existence-of-non-commutative-desingularizations Existence of non-commutative desingularizations Hailong Dao 2010-02-06T02:34:11Z 2010-02-06T15:34:31Z <p>Let $R$ be normal, local ring of dimension at least $2$. Let $M$ be a <a href="http://mathoverflow.net/questions/7490/differences-between-reflexives-and-projectives-modules/7588#7588" rel="nofollow">reflexive</a> $R$-module and let $A=Hom_R(M,M)$. Suppose $A$ has <a href="http://en.wikipedia.org/wiki/Global%5Fdimension" rel="nofollow">finite global dimension</a>. Then one can view $A$ as a <em>weak</em> non-commutative desingularization of $R$ (note that, a) there is a natural map $R\to A$ and b) in the commutative case, finite global dimension implies regularity, hence the name).</p> <p>This concept imitates Van den Bergh's definition of non-commutative crepant resolution (NCCR). His definition arises from a proof of dimension $3$ case of <a href="http://projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.dmj/1082665284" rel="nofollow">Bondal-Orlov conjecture</a>. This is a long story, but an excellent account of the reasons behind the definition can be found in Section 4 of this <a href="http://arxiv.org/abs/math/0211064" rel="nofollow">paper</a>. For existence of NCCR in some high dimensions case, check out <a href="http://arxiv.org/abs/0911.2659" rel="nofollow">this</a>. </p> <p>Now, non-commutative crepant resolution does not always exist (the above papers proves the equivalence, in some cases, with existence of projective crepant resolutions, which exists rarely in high dimensions). What we do know from Hironaka, in characteristic $0$ at least, is that resolution of singularity exist. So:</p> <p><strong>Question</strong>: Does weak non-commutative desingularizations of $R$ (as specified in the first paragraph) always exist? </p> <p>Some discussions (I am a beginner in this, so feel free to correct me): </p> <p>1) Why weak? By Morita equivalence, to ensures the desingularization is an isomorphism on the regular locus one needs $M$ to be free on that locus of $R$. </p> <p>2) If one requires extra conditions (like $M$ being an generator-cogenerator) then there are examples when such desingularization does not exist (in some paper by Iyama which I forgot the name). I have not seen an example in the generality above. </p> <p>3) There are positive results in diemension $0,1$, but I care about normal rings, so we start in dimension $2$. </p> <p>4) Some people like Van den Bergh or Lieven le Bruyn probably know. May be they are even on MO! </p> <p>I would appreciate even heuristic reasons for one way or another. </p> <p><strong>EDIT</strong>: The question is now resolved, by Lieven's answer below (as expected (:). I will provide a little bit more details in case someone is interested: Van den Bergh and Stafford <a href="http://front.math.ucdavis.edu/0612.5032" rel="nofollow">proved</a> that, in characteristic $0$, if $A$ is a non-commutative crepant resolution, then $R$ has rational singularity. The definition of NCCR is stronger, but if, for example, $R$ is Gorenstein of dimension $2$, it coincides with my version. So a counterexample is something like $R=k[x,y,z]/(x^3+y^3+z^3)$, which is a non-rational hypersurface.</p> http://mathoverflow.net/questions/14350/existence-of-non-commutative-desingularizations/14360#14360 Answer by Brian Jurgelewicz for Existence of non-commutative desingularizations Brian Jurgelewicz 2010-02-06T05:14:24Z 2010-02-06T05:14:24Z <p>If you haven't already, definitely check out the paper by Burban Iyama Keller and Reiten on Cluster Tilting for One-Dimensional Hypersurface Singularities.</p> <p>Also, you may google "Auslander representation dimension." It is defined by rep.dim(R) = inf{gl.dim(End_R(M)) | M is a generator-cogenerator}. </p> <p>In the ADE case the preprojective algebra of the affine dynkin quiver arises this way, and it has finite global dimension.</p> <p>But you are dropping the condition that M be a generator-cogenerator.</p> <p>Here is a very general result of Van den Bergh: Assume X is separated. Then there exists a perfect complex E such that D(Qcoh X) is equivalent to D(A) where A is the DG-algebra RHom_X(E,E).</p> <p>Here is another article which is highly related: D. Orlov, Remarks on generators and dimensions of triangulated categories.</p> http://mathoverflow.net/questions/14350/existence-of-non-commutative-desingularizations/14365#14365 Answer by Brian Jurgelewicz for Existence of non-commutative desingularizations Brian Jurgelewicz 2010-02-06T06:40:09Z 2010-02-06T06:40:09Z <p>(sorry i cannot reply bc i don't have enough points) The VdB result I'm quoting is from his survey paper on FM transforms; he references both himself and Rouquier for proofs. This helps because maybe you don't have an algebra with finite global dimension, but you do have a dga. Philosophically, in my humble opinion, D(A) = Perf Y, where Y is some would-be smooth variety. </p> <p>As for the Gorenstein condition, maybe someone who knows about the minimal model program could comment on this. All I know is there is a paper by Yoshino, "Graded CM modules over graded CM domains" where he relates the stable category of graded CM modules of a non-Gorenstein ring to one where it is Gorenstein. basically the idea there is that Proj R (in the stacky sense) is equivalent to Proj R' (stacky sense). The example he gives is easy to see in terms of Q-divisors on P1. but anyway, it's going off on a tangent..</p> http://mathoverflow.net/questions/14350/existence-of-non-commutative-desingularizations/14389#14389 Answer by lieven lebruyn for Existence of non-commutative desingularizations lieven lebruyn 2010-02-06T13:38:33Z 2010-02-06T13:38:33Z <p>There are already counter-examples in dimension 2. If you take a 2-dml non-rational singularity, then there cannot exist a non-commutative resolution in your sense. In fact, any 2-dml nc-resolution your sense is also an nc-resolution in Michel's sense and so must have rational singularities by a <a href="http://arxiv.org/abs/math/0612032" rel="nofollow">result of Toby Stafford and Michel</a>.</p> <p>In dimension two you can resort to ancient stuff such as the book 'Graded orders' by Fred, Michel and me, an online scanned version can be found <a href="http://win.ua.ac.be/~lebruyn/LeBruyn1988f.pdf" rel="nofollow">here</a>. Lemma IV.2.3 says that a tame order (such as your End(M)) of global dim 2 is 'moderated regular' (defn IV.1.4) and hence a tame order of finite representation type which are classified further in the book to yield rational central singularities. That lemma (and dfn IV.1.1 and thm IV.1.2) also shows that your and Michel's dfns coincide in dim 2.</p> <p>Further, I didnt understand your remark about an Iyama counterexample in the case M is projective? In that case End(M) is Azumaya, so if it has finite gldim, then the center has to be regular too.</p>