Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I would like to know if there is a standard technique to check if a singular variety admits a small resolution. What are the main references for these types of questions?

I am mostly interested in threefolds and fourfolds with singularities in codimension 2 or higher.

(By a small resolution, I mean a proper birational transformation $Y\rightarrow X$ such that Y is smooth and the exceptional locus does not contain any divisors.)

share|improve this question
    
What is 'small' in this context? –  Mariano Suárez-Alvarez Jul 14 '10 at 6:46

1 Answer 1

up vote 16 down vote accepted

I assume that by a small morphism you mean a proper birational morphism $f:Y\to X$ such that $f$ does not have an exceptional divisor. If $X$ is smooth in codimension $1$ as in your last sentence, then this is equivalent to that $f$ is an isomorphism in codimension $1$ on both $Y$ and $X$. A small morphism is a small resolution if $Y$ is smooth.

There is a nice criterion to check that a variety does not admit a small resolution:

Let $f:Y\to X$ be a small morphism. If $Y$ is quasi-projective and $X$ is normal then $X$ is not $\mathbb Q$-factorial (being $\mathbb Q$-factorial means that every Weil divisor is $\mathbb Q$-Cartier, that is, it has a non-zero integer multiple which is Cartier). The proof is very simple: Let $H$ be a Cartier divisor on $Y$ that is not trivial on a curve that gets contracted by $f$, for example an ample divisor on $Y$ will do. Now if $X$ were $\mathbb Q$-factorial, then $m(f_*H)$ is a Cartier divisor for some $m\neq 0$. Then by the condition the divisors $mH$ and $f^*(m(f_*H))$ agree. However, the former was chosen to be non-trivial on a curve that is contracted while the latter must be trivial on every such curve as it is a pull-back. Q.E.D.

There is also something one can say for the reverse direction:

If $X$ has klt singularities, then it is possible to construct a morphism $f:Y\to X$ such that $f$ is small and $Y$ is $\mathbb Q$-factorial. I don't know a very easy proof of this. The essence is to take a resolution and then use a well-chosen directed mmp (in the sense of BCHM) to contract all the exceptional divisors.

This implies that the existence of a non-trivial small morphism $f:Y\to X$ where $X$ has klt singularities and $Y$ is quasi-projective is equivalent to $X$ not being $\mathbb Q$-factorial. Whether or not $X$ admits a small resolution is then decided on whether or not there exists a directed mmp so the "$\mathbb Q$-factorial model" obtained by the above method is smooth. It is possible that all choices lead to something $\mathbb Q$-factorial which is still singular and that $X$ does not admit a small resolution after all.

EDIT: Removed previous statement about the reverse direction as that was not true as stated. At this time I am not sure how to fix that statement. I replaced it with a different one that I know how to prove, but the margin is not wide enough to include a proof, so it is just stated without proof. Sorry. However, the current statement is probably pretty close to what one might hope for.

share|improve this answer
    
Thanks Sandor, that was very useful. I think the criterion you explain is what some people call "Van der Waerden purity". –  JME Nov 16 '10 at 23:13
3  
In relation to this criterion and the codimension of singularities, it seems that Grothendieck's proof of Samuel's conjecture implies that at least for complete intersections X, in order for a small morphism to exist, the singular locus of X should not be of codimension > 3. (Otherwise X is locally factorial.) I.e. if X is a c.i. fourfold with isolated singularities, no small morphism exists. As example, the abel map is a non trivial small resolution of the (non factorial) theta divisor of a non hyperelliptic curve with g = 4,5. –  roy smith Jun 15 '12 at 16:14

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.