Hironaka desingularisation theorem -- new proofs in literature? - MathOverflow

Hironaka desingularisation theorem -- new proofs in literature?

2009-11-08T05:42:22Z

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.

Answer by Steven Sam for Hironaka desingularisation theorem -- new proofs in literature?

2009-11-08T06:02:17Z

There's an article by Herwig Hauser in the Bulletin of the AMS: http://www.ams.org/bull/2003-40-03/S0273-0979-03-00982-0/S0273-0979-03-00982-0.pdf

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.

Answer by David Lehavi for Hironaka desingularisation theorem -- new proofs in literature?

2009-11-08T09:32:48Z

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

Answer by Graham Leuschke for Hironaka desingularisation theorem -- new proofs in literature?

2009-11-09T15:09:04Z

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.

Answer by sanokun for Hironaka desingularisation theorem -- new proofs in literature?

2009-11-10T05:47:42Z

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

http://www.ms.u-tokyo.ac.jp/video/conference/2009gcoeopsym/index.html

Answer by Franklin for Hironaka desingularisation theorem -- new proofs in literature?

2010-07-11T02:38:44Z

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

Answer by Karl Schwede for Hironaka desingularisation theorem -- new proofs in literature?

2010-07-12T15:24:34Z

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

Answer by Thierry Zell for Hironaka desingularisation theorem -- new proofs in literature?

2010-08-10T13:48:42Z

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
Arxiv

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

Answer by Richard Borcherds for Hironaka desingularisation theorem -- new proofs in literature?

2010-08-10T14:27:23Z

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.

See
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).