Simple Hironaka resolution in characteristic zero

Włodarczyk, Jarosław

doi:10.1090/S0894-0347-05-00493-5

Simple Hironaka resolution in characteristic zero
HTML articles powered by AMS MathViewer

by Jarosław Włodarczyk

J. Amer. Math. Soc. 18 (2005), 779-822

DOI: https://doi.org/10.1090/S0894-0347-05-00493-5

Published electronically: July 13, 2005

PDF | Request permission

Abstract:

Building upon work of Villamayor and Bierstone-Milman we give a proof of the canonical Hironaka principalization and desingularization. The idea of “homogenized ideals" introduced in the paper gives a priori the canonicity of the algorithm and radically simplifies the proof.

References

Shreeram S. Abhyankar, Desingularization of plane curves, Singularities, Part 1 (Arcata, Calif., 1981) Proc. Sympos. Pure Math., vol. 40, Amer. Math. Soc., Providence, RI, 1983, pp. 1–45. MR 713043, DOI 10.1090/pspum/040.1/713043
Shreeram S. Abhyankar, Good points of a hypersurface, Adv. in Math. 68 (1988), no. 2, 87–256. MR 934366, DOI 10.1016/0001-8708(88)90015-1
D. Abramovich and A. J. de Jong, Smoothness, semistability, and toroidal geometry, J. Algebraic Geom. 6 (1997), no. 4, 789–801. MR 1487237
Dan Abramovich and Jianhua Wang, Equivariant resolution of singularities in characteristic $0$, Math. Res. Lett. 4 (1997), no. 2-3, 427–433. MR 1453072, DOI 10.4310/MRL.1997.v4.n3.a11
Jose M. Aroca, Heisuke Hironaka, and José L. Vicente, The theory of the maximal contact, Memorias de Matemática del Instituto “Jorge Juan”, No. 29. [Mathematical Memoirs of the Jorge Juan Institute, No. 29], Instituto “Jorge Juan” de Matemáticas, Consejo Superior de Investigaciones Científicas, Madrid, 1975. MR 0444999
José M. Aroca, Heisuke Hironaka, and José L. Vicente, Desingularization theorems, Memorias de Matemática del Instituto “Jorge Juan” [Mathematical Memoirs of the Jorge Juan Institute], vol. 30, Consejo Superior de Investigaciones Científicas, Madrid, 1977. MR 0480502
Edward Bierstone and Pierre D. Milman, Semianalytic and subanalytic sets, Inst. Hautes Études Sci. Publ. Math. 67 (1988), 5–42. MR 972342, DOI 10.1007/BF02699126
Edward Bierstone and Pierre D. Milman, Uniformization of analytic spaces, J. Amer. Math. Soc. 2 (1989), no. 4, 801–836. MR 1001853, DOI 10.1090/S0894-0347-1989-1001853-2
Edward Bierstone and Pierre D. Milman, A simple constructive proof of canonical resolution of singularities, Effective methods in algebraic geometry (Castiglioncello, 1990) Progr. Math., vol. 94, Birkhäuser Boston, Boston, MA, 1991, pp. 11–30. MR 1106412, DOI 10.1007/978-1-4612-0441-1_{2}
Edward Bierstone and Pierre D. Milman, Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant, Invent. Math. 128 (1997), no. 2, 207–302. MR 1440306, DOI 10.1007/s002220050141
Edward Bierstone and Pierre D. Milman, Desingularization algorithms. I. Role of exceptional divisors, Mosc. Math. J. 3 (2003), no. 3, 751–805, 1197 (English, with English and Russian summaries). {Dedicated to Vladimir Igorevich Arnold on the occasion of his 65th birthday}. MR 2078560, DOI 10.17323/1609-4514-2003-3-3-751-805

Desingularization of toric and binomial varieties.

A. Bravo and O. Villamayor U., A strengthening of resolution of singularities in characteristic zero, Proc. London Math. Soc. (3) 86 (2003), no. 2, 327–357. MR 1971154, DOI 10.1112/S0024611502013801
Fedor A. Bogomolov and Tony G. Pantev, Weak Hironaka theorem, Math. Res. Lett. 3 (1996), no. 3, 299–307. MR 1397679, DOI 10.4310/MRL.1996.v3.n3.a1
Vincent Cossart, Desingularization of embedded excellent surfaces, Tohoku Math. J. (2) 33 (1981), no. 1, 25–33. MR 613106, DOI 10.2748/tmj/1178229492
Steven Dale Cutkosky, Resolution of singularities, Graduate Studies in Mathematics, vol. 63, American Mathematical Society, Providence, RI, 2004. MR 2058431, DOI 10.1090/gsm/063
Santiago Encinas and Herwig Hauser, Strong resolution of singularities in characteristic zero, Comment. Math. Helv. 77 (2002), no. 4, 821–845. MR 1949115, DOI 10.1007/PL00012443
S. Encinas and O. Villamayor, Good points and constructive resolution of singularities, Acta Math. 181 (1998), no. 1, 109–158. MR 1654779, DOI 10.1007/BF02392749
Santiago Encinas and Orlando Villamayor, A course on constructive desingularization and equivariance, Resolution of singularities (Obergurgl, 1997) Progr. Math., vol. 181, Birkhäuser, Basel, 2000, pp. 147–227. MR 1748620
Santiago Encinas and Orlando Villamayor, A new proof of desingularization over fields of characteristic zero, Proceedings of the International Conference on Algebraic Geometry and Singularities (Spanish) (Sevilla, 2001), 2003, pp. 339–353. MR 2023188, DOI 10.4171/RMI/350
Jean Giraud, Sur la théorie du contact maximal, Math. Z. 137 (1974), 285–310 (French). MR 460712, DOI 10.1007/BF01214371
Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. MR 0463157, DOI 10.1007/978-1-4757-3849-0
Herwig 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. MR 1978567, DOI 10.1090/S0273-0979-03-00982-0
Heisuke Hironaka, An example of a non-Kählerian complex-analytic deformation of Kählerian complex structures, Ann. of Math. (2) 75 (1962), 190–208. MR 139182, DOI 10.2307/1970426
Heisuke Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II, Ann. of Math. (2) 79 (1964), 109–203; 79 (1964), 205–326. MR 0199184, DOI 10.2307/1970547
Heisuke Hironaka, Introduction to the theory of infinitely near singular points, Memorias de Matemática del Instituto “Jorge Juan”, No. 28, Consejo Superior de Investigaciones Científicas, Madrid, 1974. MR 0399505
Heisuke Hironaka, Idealistic exponents of singularity, Algebraic geometry (J. J. Sylvester Sympos., Johns Hopkins Univ., Baltimore, Md., 1976) Johns Hopkins Univ. Press, Baltimore, Md., 1977, pp. 52–125. MR 0498562
Rebecca Goldin and Bernard Teissier, Resolving singularities of plane analytic branches with one toric morphism, Resolution of singularities (Obergurgl, 1997) Progr. Math., vol. 181, Birkhäuser, Basel, 2000, pp. 315–340. MR 1748626
Zbigniew Jelonek, The extension of regular and rational embeddings, Math. Ann. 277 (1987), no. 1, 113–120. MR 884649, DOI 10.1007/BF01457281
A. J. de Jong, Smoothness, semi-stability and alterations, Inst. Hautes Études Sci. Publ. Math. 83 (1996), 51–93. MR 1423020, DOI 10.1007/BF02698644
Joseph Lipman, Introduction to resolution of singularities, Algebraic geometry (Proc. Sympos. Pure Math., Vol. 29, Humboldt State Univ., Arcata, Calif., 1974) Amer. Math. Soc., Providence, R.I., 1975, pp. 187–230. MR 0389901

Notes on the inductive algorithm of resolution of singularities.

Tadao Oda, Infinitely very near singular points, Complex analytic singularities, Adv. Stud. Pure Math., vol. 8, North-Holland, Amsterdam, 1987, pp. 363–404. MR 894302, DOI 10.2969/aspm/00810363
Orlando Villamayor, Constructiveness of Hironaka’s resolution, Ann. Sci. École Norm. Sup. (4) 22 (1989), no. 1, 1–32. MR 985852, DOI 10.24033/asens.1573
O. E. Villamayor U., Patching local uniformizations, Ann. Sci. École Norm. Sup. (4) 25 (1992), no. 6, 629–677. MR 1198092, DOI 10.24033/asens.1662
Orlando Villamayor U., Introduction to the algorithm of resolution, Algebraic geometry and singularities (La Rábida, 1991) Progr. Math., vol. 134, Birkhäuser, Basel, 1996, pp. 123–154. MR 1395178