MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $f:X\rightarrow Y$ is a birational morphism between smooth varieties and D is a snc divisor on $Y$. Can we find a smooth blowup sequence on $Y$ which dominates $f$ such that the preimage of D and all other subsequent preimages involved are snc divisors? Thanks for any comments or references.

share|cite|improve this question
up vote 7 down vote accepted

Here's an easy way to do it for morphisms in characteristic zero.

Suppose that $f : X \to Y$ is projective and thus the blowup of some ideal $I$ on $Y$, see Harthsorne Chapter II, Section 7 (if $f$ is not projective, make it projective by compactifying and using Chow's lemma).

The nice thing about setting things up this way is that now if $Z \to Y$ is any log resolution / principalization of $(Y, I)$, then $Z \to Y$ factors through $X$ by the universal property of blowing up.

Goal: All you need to do is a sequence of blowups $h : Z \to Y$ at smooth centers on $Y$ that principalizes $I$ to become an SNC divisor $E$ and keeps $h^{\star} D \cup E$ SNC (and keeps the pullback of $D$ SNC at each stage)

Fortunately, modern resolution algorithms do exactly this if I recall correctly. Indeed, when you are run a modern resolution algorithm, you are running it somewhat recursively on data $(I, D)$ where $D$ is a SNC divisor obtained by previous blowups (you need to keep track of this data for the resolution algorithm to work at further steps).

In particular, if you pass your resolution algorithm both $D$ and $I$ (in other words, telling the algorithm that this divisor needs to be handled with care), you should be able to do exactly what you want.

I would suggest checking out the following sources to see if what I said is actually accurate :-) (It's been a long time since I thought seriously about this).

Explicitly, in reference 2 below, you should apply Theorem 3.10 to the basic object $(Y, (I, 1), D)$.

  1. János Kollár's book

  2. A paper by Bravo-Encinas-Villamayor

  3. A paper by Wlodarczyk

share|cite|improve this answer
Thanks a lot. You are very nice. – MZWang Sep 5 '12 at 2:27

Your Answer


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.