Crepant resolution of isolated fourfold singularity - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T00:08:00Z http://mathoverflow.net/feeds/question/105371 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/105371/crepant-resolution-of-isolated-fourfold-singularity Crepant resolution of isolated fourfold singularity Salix 2012-08-24T07:36:42Z 2012-08-25T02:57:57Z <p>I stumbled upon this isolated singularity of a Calabi-Yau fourfold: $$x_1x_2+x_3x_4+x_5^2=0$$ as a hypersurface in $\mathbb{C}^5$.</p> <p>Clearly, I can resolve this by a simple blow-up. This does not seem to be a crepant resolution however.</p> <p>So my question is: Is there some simple criterion which allows me to tell if there exists a crepant resolution ? In case the answer is yes, how would one go about constructing one ?</p> <p>In the corresponding threefold case there even exists a small resolution. A second question is hence: Are there results on the existence of small resolutions of isolated fourfold singularities ?</p> http://mathoverflow.net/questions/105371/crepant-resolution-of-isolated-fourfold-singularity/105382#105382 Answer by Karl Schwede for Crepant resolution of isolated fourfold singularity Karl Schwede 2012-08-24T12:27:52Z 2012-08-24T14:39:53Z <p>That particular singularity only can have a crepant resolution if it has a small resolution.</p> <h2>Terminal singularities</h2> <p>If a variety has terminal singularities (like yours does), the then every further blow-up also has discrepancies $> 0$. (In other words, whether or not the variety has terminal singularities can be read off from a single log resolution). In particular, every discrete valuation has discrepancy $> 0$. It follows that:</p> <p><strong>Fact:</strong> <em>If a variety has terminal singularities, then it only has a (commutative) crepant resolution if it has a small resolution</em></p> <p>In your example above, the variety clearly has terminal singularities, which can be read off from the blowup you mentioned.</p> <h2>Small resolutions</h2> <p>Ok, so now you want to check whether your variety has a small resolution. The first thing you can do is look at <a href="http://mathoverflow.net/questions/31696/best-strategy-for-small-resolutions" rel="nofollow">THIS ANSWER</a> by Sándor Kovács. The upshot is there is only hope for a small resolution if your singularity is not factorial. </p> <p>After staring at your singularity for 4 minutes, I don't see why its not a UFD (hopefully someone, ie Hailong Dao, can tell us easily -- i have a recollection that higher dimensional isolated hypersurface singularities are factorial). </p> <p><strong>EDIT:</strong> <em>Olivier Benoist points out in a comment below that this singularity is factorial due to Samuel's conjecture (proven by Grothendieck).</em></p> <p>However, if you see any given singularity that is not factorial, here's what I would try:</p> <p>Find a Weil divisor that is not Cartier (the existence of such is equivalent to it being factorial). Blowup the ideal of that Weil divisor. (Maybe do this more than once). The reason I suggest this is because: </p> <p><strong>Fact:</strong> <em>The only way to get a small resolution is to blowup ideals whose vanishing locus has codimension one.</em></p> <p>Here's a quick proof, Blowup an ideal $J$ on a (Noetherian!) variety who vanishing locus $W = V(J)$ has codimension $\geq 2$. The blowup turns that ideal $J$ into a Cartier divisor (it principalizes the ideal). In particular, there is now a divisor lying over $W$. Thus this isn't a small resolution.</p> <p>Of course, blowing up Weil divisors that are not Cartier is how you get the small resolutions in the $xy-uv = 0$ example.</p> http://mathoverflow.net/questions/105371/crepant-resolution-of-isolated-fourfold-singularity/105439#105439 Answer by Sándor Kovács for Crepant resolution of isolated fourfold singularity Sándor Kovács 2012-08-25T02:32:05Z 2012-08-25T02:57:57Z <p>Actually, there is a rather straightforward way to see that this singularity is factorial:</p> <p>Let $X=\mathrm{Spec}\ k[x_1,x_2,x_3,x_4,x_5]/(x_1x_2+x_3x_4+x_5^2)$ and let $D=(x_2=0)\subseteq X$ be a principal divisor. Notice that then $D= \mathrm{Spec}\ k[x_1,x_3,x_4,x_5]/(x_3x_4+x_5^2)$, so it is a cone over a quadric cone. In particular, it is irreducible and reduced and hence one has an exact sequence: $$\mathbb Z\cdot D \to \mathrm{Cl}(X) \to \mathrm{Cl}(X\setminus D)\to 0.$$</p> <p>Since $D$ is principal, it is actually zero in $\mathrm{Cl}(X)$, so this says that $$\mathrm{Cl}(X) \simeq \mathrm{Cl}(X\setminus D)$$</p> <p>On the other hand, it is easy to see that $$X\setminus D=\mathrm{Spec}\ k[x_1,x_2,x_2^{-1},x_3,x_4,x_5]/(x_1x_2+x_3x_4+x_5^2)\simeq \mathrm{Spec}\ k[x_2,x_2^{-1},x_3,x_4,x_5].$$ Clearly, $k[x_2,x_2^{-1},x_3,x_4,x_5]$ is a UFD, so $\mathrm{Cl}(X) \simeq \mathrm{Cl}(X\setminus D)=0$. Therefore the singularity in question is indeed factorial. Then, as Karl has already pointed out, it follows for instance from <a href="http://mathoverflow.net/questions/31696/best-strategy-for-small-resolutions/45193#45193" rel="nofollow">the argument here</a> that it does not admit a small resolution of singularities and since it is terminal then also all of its resolutions are non-crepant (I guess perhaps the correct word would be "discrepant").</p> <hr> <p>In fact, the above argument shows the same statement for any singularity defined by a non-degenerate quadric equation in at least 5 variables. </p> <p>It may be worth noting that the argument fails for fewer number of variables because $D$ is either not irreducible (in 4 variables) or reduced (in 3 variables). In 2 variables X itself is not irreducible. </p> <hr> <p>Finally, let me add that I find it odd to call this a Calabi-Yau 4fold. I know that this terminology is used by others (especially physicists) as well, but I think it is rather misleading. This is at best a log Calabi-Yau. </p>