MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

I'm wondering what the landscape looks like for proofs of Hironaka's desingularisation theorem.

Are there many proofs in the literature?

Is there a commonly accepted simplest bare-knuckle proof out there that might be considered a pleasant read for people outside of algebraic geometry?

Would that still be Hironaka's original manuscript?

Thanks for any insights.

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

There's an article by Herwig Hauser in the Bulletin of the AMS:

which is aimed at giving an accessible account (I must admit I didn't read most of it though).

Mircea Mustata also gave a 5 lecture course at the 2008 Park City summer school. He did not prove every fact he needed, but the lectures contained all of the relevant ideas. If I remember correctly, the main idea was to find the right invariants for varieties (I think it has something to do with multiplier ideals, but I could be wrong) and just show that one can make the invariants "smaller" by choosing the right blow-ups to do at each step. Someone correct me if I am wrong, please. I don't know if those notes can be downloaded anywhere, but they will appear in the summer school proceedings.

As far as I have been informed, the original proof of Hironaka is extremely difficult to understand.

share|cite|improve this answer
Wonderful article. – Ilya Nikokoshev Nov 8 '09 at 16:13

you might be looking for Kollar's book Lectures on Resolution of Singularities

share|cite|improve this answer
Wow, thanks Steven and David. Those both look like excellent references. – Ryan Budney Nov 8 '09 at 10:04

For a long time, Hironaka's paper was probably the canonical reference. New proofs started to crop up in the late 90's, and truly changed the perception of the problem. The motivation was to make Hironaka's proof more constructive, and ultimately, make it tractable by computer algebra. This was ultimately done by Schicho and Bodnar in Maple (desing project). (Of course, the complexity is atrocious, but it still allows to run example beyond what one could reasonably do by hand.)

Two main groups worked on it in the late 90's, and they have been referenced already in the prior answers: Bierstone-Milman on the one hand, and Encinas-Villamayor and maybe a couple of others on the other hand (spanning many papers). There was a year-long seminar at Purdue in 2000-2001 led by Kenji Matsuki and Andrei Gabrielov to work through the Encinas-Villamayor proof. This was an opportunity to clarify quite a few things in the construction, and Matsuki posted his notes (128 p.) on Arxiv.

Ultimately, this lead Jaroslaw Wlodarczyk to offer the shortest proof of desingularization (by far, 24 pages vs. 100+ for everyone else) .

Jaroslaw Wlodarczyk
Simple Hironaka resolution in characteristic zero.
J. Amer. Math. Soc. 18 (2005), no. 4, 779--822

I hope this helps! (Sorry for the delay in my answer, I only joined MO last week-end.)

(Added later) How could I forget? There is also a nice expository paper that covers all these developments. It should be very useful for someone trying to understand how the various works fit together (does predate Wlodarczyk's paper though).

H. Hauser
The Hironaka theorem on resolution of singularities (or: A proof we always wanted to understand).
Bull. Amer. Math. Soc. (N.S.) 40 (2003), no. 3, 323--403

share|cite|improve this answer
Hi Thierry. To clarify the page count to other readers, Jarek's original manuscript was much shorter than the published version. Also if I can comment here on Borcherd's post, the lack of an obvious algorithm associated to the de Jong-ist approach, is another reason why some prefer other methods. – Donu Arapura Aug 10 '10 at 15:33

There are some very short proofs of resolution using toric geometry and de Jong's idea of semistable reduction of curves that are independent of Hironaka's work. These proofs seem to be largely ignored by the resolution community, possibly because it is not clear that the resolutions they produce have various nice properties such as functorialiy for smooth morphisms.

Smoothness, Semistability, and Toroidal Geometry by Dan Abramovich, Johan de Jong
Weak Hironaka theorem by Fedor Bogomolov, Tony Pantev
for a couple of 10 page proofs using these ideas (though both proofs assume deep results about semistable reduction and toric geometry, so maybe the short length is a bit misleading).

share|cite|improve this answer

There is also Dale Cutkosky's book, Resolution of Singularities.

More in line with the main question, I'll point out that Bierstone and Milman have "A simple constructive proof of Canonical Resolution of Singularities," which may or may not be simple, but is certainly constructive, unlike Hironaka's.

share|cite|improve this answer

Bierstone, E., Milman, P.: A simple constructive proof of canonical resolution of singularities.


share|cite|improve this answer

When I was learning this, I found several articles by Villamayor et al to be very illuminating.

In particular, see the following paper of Bravo, Encinas and Villamayor. BEV05

share|cite|improve this answer

This may not be the answer to the question, but you may be interested. You'll find his recent talks.

share|cite|improve this answer

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.