Blow-analytic equivalence of two variable real analytic function germs
Authors:
Satoshi Koike and Adam Parusiński
Journal:
J. Algebraic Geom. 19 (2010), 439-472
DOI:
https://doi.org/10.1090/S1056-3911-09-00527-X
Published electronically:
December 1, 2009
MathSciNet review:
2629597
Full-text PDF
Abstract |
References |
Additional Information
Abstract:
Blow-analytic equivalence is a notion for real analytic function germs, introduced by Tzee-Char Kuo in order to develop real analytic equisingularity theory. In this paper we give complete characterisations of blow-analytic equivalence in the two dimensional case, in terms of the real tree model for the arrangement of real parts of Newton-Puiseux roots and their Puiseux pairs, and in terms of minimal resolutions. These characterisations show that in the two dimensional case the blow-analytic equivalence is a natural analogue of topological equivalence of complex analytic function germs. Moreover, we show that in the two-dimensional case the blow-analytic equivalence can be made cascade, and hence satisfies several geometric properties. It preserves, for instance, the contact order of real analytic arcs.
In the general $n$-dimensional case, we show that a singular real modification satisfies the arc-lifting property.
References
- Ould M. Abderrahmane, Polyèdre de Newton et trivialité en famille, J. Math. Soc. Japan 54 (2002), no. 3, 513–550 (French, with English summary). MR 1900955, DOI https://doi.org/10.2969/jmsj/1191593907
- Ould M. Abderrahmane, Weighted homogeneous polynomials and blow-analytic equivalence, Singularity theory and its applications, Adv. Stud. Pure Math., vol. 43, Math. Soc. Japan, Tokyo, 2006, pp. 333–345. MR 2325144, DOI https://doi.org/10.2969/aspm/04310333
- Arnaud Beauville, Surfaces algébriques complexes, Société Mathématique de France, Paris, 1978 (French). Avec une sommaire en anglais; Astérisque, No. 54. MR 0485887
- W. Burau, Kennzeichung der Schlauchknoten, Abh. Math. Sem. Hamburg, 9, 1932, 125–133
- Goulwen Fichou, Motivic invariants of arc-symmetric sets and blow-Nash equivalence, Compos. Math. 141 (2005), no. 3, 655–688. MR 2135282, DOI https://doi.org/10.1112/S0010437X05001168
- Toshizumi Fukui and Etsuo Yoshinaga, The modified analytic trivialization of family of real analytic functions, Invent. Math. 82 (1985), no. 3, 467–477. MR 811547, DOI https://doi.org/10.1007/BF01388866
- Toshizumi Fukui, Seeking invariants for blow-analytic equivalence, Compositio Math. 105 (1997), no. 1, 95–108. MR 1436747, DOI https://doi.org/10.1023/A%3A1000177700927
- Toshizumi Fukui, Satoshi Koike, and Tzee-Char Kuo, Blow-analytic equisingularities, properties, problems and progress, Real analytic and algebraic singularities (Nagoya/Sapporo/Hachioji, 1996) Pitman Res. Notes Math. Ser., vol. 381, Longman, Harlow, 1998, pp. 8–29. MR 1607662
- T. Fukui, S. Koike, and M. Shiota, Modified Nash triviality of a family of zero-sets of real polynomial mappings, Ann. Inst. Fourier (Grenoble) 48 (1998), no. 5, 1395–1440 (English, with English and French summaries). MR 1662251
- Toshizumi Fukui and Laurentiu Paunescu, Modified analytic trivialization for weighted homogeneous function-germs, J. Math. Soc. Japan 52 (2000), no. 2, 433–446. MR 1742795, DOI https://doi.org/10.2969/jmsj/05220433
- Toshizumi Fukui and Laurentiu Paunescu, On blow-analytic equivalence, Arc spaces and additive invariants in real algebraic and analytic geometry, Panor. Synthèses, vol. 24, Soc. Math. France, Paris, 2007, pp. 87–125 (English, with English and French summaries). MR 2409690
- Jean-Pierre Henry and Adam Parusiński, Invariants of bi-Lipschitz equivalence of real analytic functions, Geometric singularity theory, Banach Center Publ., vol. 65, Polish Acad. Sci. Inst. Math., Warsaw, 2004, pp. 67–75. MR 2104338, DOI https://doi.org/10.4064/bc65-0-5
- Heisuke Hironaka, Introduction to real-analytic sets and real-analytic maps, Istituto Matematico “L. Tonelli” dell’Università di Pisa, Pisa, 1973. Quaderni dei Gruppi di Ricerca Matematica del Consiglio Nazionale delle Ricerche. MR 0477121
- Heisuke Hironaka, Monique Lejeune-Jalabert, and Bernard Teissier, Platificateur local en géométrie analytique et aplatissement local, Singularités à Cargèse (Rencontre Singularités Géom. Anal., Inst. Études Sci. de Cargèse, 1972) Astérisque, Nos. 7 et 8, 1973, pp. 441–463. MR 0409884
- Shuzo Izumi, Satoshi Koike, and Tzee-Char Kuo, Computations and stability of the Fukui invariant, Compositio Math. 130 (2002), no. 1, 49–73. MR 1883691, DOI https://doi.org/10.1023/A%3A1013784111756
- Masanori Kobayashi and Tzee-Char Kuo, On blow-analytic equivalence of embedded curve singularities, Real analytic and algebraic singularities (Nagoya/Sapporo/Hachioji, 1996) Pitman Res. Notes Math. Ser., vol. 381, Longman, Harlow, 1998, pp. 30–37. MR 1607666
- Satoshi Koike, On strong $C^0$-equivalence of real analytic functions, J. Math. Soc. Japan 45 (1993), no. 2, 313–320. MR 1206656, DOI https://doi.org/10.2969/jmsj/04520313
- S. Koike and A. Parusiński, Motivic-type invariants of blow-analytic equivalence, Ann. Inst. Fourier (Grenoble) 53 (2003), no. 7, 2061–2104 (English, with English and French summaries). MR 2044168
- S. Koike, A. Parusiński, Equivalence relations for two variable real analytic function germs, arXiv:0801.2650
- Tzee Char Kuo, Une classification des singularités réelles, C. R. Acad. Sci. Paris Sér. A-B 288 (1979), no. 17, A809–A812 (French, with English summary). MR 535641
- Tzee Char Kuo, The modified analytic trivialization of singularities, J. Math. Soc. Japan 32 (1980), no. 4, 605–614. MR 589100, DOI https://doi.org/10.2969/jmsj/03240605
- T.-C. Kuo, On an O.D.E. problem in equisingularities, Annales Polonici Math. XXXXVIII (1980), 219–226.
- Tzee Char Kuo and Yung Chen Lu, On analytic function germs of two complex variables, Topology 16 (1977), no. 4, 299–310. MR 460711, DOI https://doi.org/10.1016/0040-9383%2877%2990037-4
- Tzee Char Kuo and J. N. Ward, A theorem on almost analytic equisingularity, J. Math. Soc. Japan 33 (1981), no. 3, 471–484. MR 620284, DOI https://doi.org/10.2969/jmsj/03330471
- Tzee Char Kuo, Some viewpoints on algebraic geometry and singularity theory, Math. Chronicle 11 (1982), no. 1-2, 67–80. MR 677452
- Tzee Char Kuo, Equivalence of isolated complex singularities, Bull. Inst. Math. Acad. Sinica 11 (1983), no. 3, 415–432. MR 726988
- T.-C. Kuo, Sur le problème de l’equisingularité, Séminaire sur la Géométrie Algébrique Réelle, Publ. Math. de l’Université de Paris, VII (1984), pp. 119–122.
- Tzee Char Kuo, On classification of real singularities, Invent. Math. 82 (1985), no. 2, 257–262. MR 809714, DOI https://doi.org/10.1007/BF01388802
- Krzysztof Kurdyka and Laurentiu Paunescu, Arc-analytic roots of analytic functions are Lipschitz, Proc. Amer. Math. Soc. 132 (2004), no. 6, 1693–1702. MR 2051130, DOI https://doi.org/10.1090/S0002-9939-04-07323-X
- Adam Parusiński, A criterion for topological equivalence of two variable complex analytic function germs, Proc. Japan Acad. Ser. A Math. Sci. 84 (2008), no. 8, 147–150. MR 2457803
- Masahiro Shiota, Equivalence of differentiable mappings and analytic mappings, Inst. Hautes Études Sci. Publ. Math. 54 (1981), 237–322. MR 644558
- Robert J. Walker, Algebraic curves, Springer-Verlag, New York-Heidelberg, 1978. Reprint of the 1950 edition. MR 513824
- C. T. C. Wall, Singular points of plane curves, London Mathematical Society Student Texts, vol. 63, Cambridge University Press, Cambridge, 2004. MR 2107253
- Oscar Zariski, On the Topology of Algebroid Singularities, Amer. J. Math. 54 (1932), no. 3, 453–465. MR 1507926, DOI https://doi.org/10.2307/2370887
References
- O. M. Abderrahmane Yacoub, Polyhèdre de Newton et trivialité en famille, J. Math. Soc. Japan 54 (2002), 513–550. MR 1900955 (2003d:58064)
- O. M. Abderrahmane Yacoub, Weighted homogeneous polynomials and blow-analytic equivalence, in Singularity Theory and Its Applications, Advances Studies in Pure Mathematics 43, 2006, Mathematical Society of Japan, Tokyo, 333–345. MR 2325144 (2008g:58045)
- A. Beauville, Surfaces algébriques complexes, Astérisque 54 (1978). MR 0485887 (58:5686)
- W. Burau, Kennzeichung der Schlauchknoten, Abh. Math. Sem. Hamburg, 9, 1932, 125–133
- G. Fichou, Motivic invariants of arc-symmetric sets and blow-Nash equivalence, Comp. Math. 141 (2005), 655–688. MR 2135282 (2006b:14102)
- T. Fukui, E. Yoshinaga, The modified analytic trivialization of family of real analytic functions, Invent. math. 82 (1985), 467–477. MR 811547 (87a:58028)
- T. Fukui, Seeking invariants for blow-analytic equivalence, Compositio Math. 105 (1997), 95–107. MR 1436747 (98c:32009)
- T. Fukui, S. Koike, T.-C. Kuo, Blow-analytic equisingularities, properties, problems and progress, Real Analytic and Algebraic Singularities (T. Fukuda, T. Fukui, S. Izumiya and S. Koike, eds.), Pitman Research Notes in Mathematics Series, 381 (1998), pp. 8–29. MR 1607662 (99a:32051)
- T. Fukui, S. Koike, M. Shiota, Modified Nash triviality of a family of zero-sets of real polynomial mappings, Ann. Inst. Fourier 48 (1998), 1395–1440. MR 1662251 (99m:14112)
- T. Fukui, L. Paunescu, Modified analytic trivialization for weighted homogeneous function-germs, J. Math. Soc. Japan 52 (2000), 433–446. MR 1742795 (2001a:58060)
- T. Fukui, L. Paunescu, On Blow-analytic Equivalence, in “Arc Spaces and Additive Invariants in Real Algebraic Geometry”, Proceedings of Winter School “Real algebraic and Analytic Geometry and Motivic Integration”, Aussois 2003, Panoramas et Synthèses 24 (2008), SMF, 87–125. MR 2409690
- J.P. Henry, A. Parusiński, Invariants of bi-Lipschitz equivalence of real analytic functions, Banach Center Publications 65 (2004), Warszawa PWN, 67–75. MR 2104338 (2005h:32066)
- H. Hironaka, Introduction to real-analytic sets and real-analytic maps, Quaderni dei Gruppi di Ricerca Matematica del Consiglio Nazionale delle Ricerche, Istituto Matematico “L. Tonelli” dell’Università di Pisa (1973). MR 0477121 (57:16665)
- H. Hironaka, M. Lejeune-Jalabert, B. Teissier : Platificateur local en géométrie analytique et aplatissement local, Singularités à Cargèse, Astérisque 7 & 8 (1973), 441–463. MR 0409884 (53:13636)
- S. Izumi, S, Koike, T.-C. Kuo, Computations and Stability of the Fukui Invariant, Compositio Math. 130 (2002), 49–73. MR 1883691 (2003a:32050)
- M. Kobayashi, T.-C. Kuo, On Blow-analytic equivalence of embedded curve singularities, Real Analytic and Algebraic Singularities (T. Fukuda, T. Fukui, S. Izumiya and S. Koike, eds.), Pitman Research Notes in Mathematics Series, 381 (1998), pp. 30–37. MR 1607666 (99d:58028)
- S. Koike, On strong $C^0$-equivalence of real analytic functions, J. Math. Soc. Japan 45 (1993), 313-320. MR 1206656 (93k:58023)
- S. Koike, A. Parusiński, Motivic-type invariants of blow-analytic equivalence, Ann. Inst. Fourier 53 (2003), 2061–2104. MR 2044168 (2005g:32039)
- S. Koike, A. Parusiński, Equivalence relations for two variable real analytic function germs, arXiv:0801.2650
- T.-C. Kuo, Une classification des singularités réells, C.R. Acad. Sci. Paris 288 (1979), 809–812. MR 535641 (80i:32034)
- T.-C. Kuo, The modified analytic trivialization of singularities, J. Math. Soc. Japan 32 (1980), 605–614. MR 589100 (82d:58012)
- T.-C. Kuo, On an O.D.E. problem in equisingularities, Annales Polonici Math. XXXXVIII (1980), 219–226.
- T.-C. Kuo, Y. C. Lu, On analytic function germs of complex variables, Topology 16 (1977), 299–310. MR 0460711 (57:704)
- T.-C. Kuo, J. Ward, A theorem on almost analytic equisingularities, J. Math. Soc. Japan 33 (1981), 471–484. MR 620284 (83c:32015)
- T.-C. Kuo, Some viewpoints on algebraic geometry and singularity theorem, Math. Chronicle 11 (1982), 67–80. MR 677452 (84k:58036)
- T.-C. Kuo, Equivalence of isolated complex singularities, Bull. of Inst. Math. Acad. Sinica 11 (1983), 415–432. MR 726988 (85m:32009)
- T.-C. Kuo, Sur le problème de l’equisingularité, Séminaire sur la Géométrie Algébrique Réelle, Publ. Math. de l’Université de Paris, VII (1984), pp. 119–122.
- T.-C. Kuo, On classification of real singularities, Invent. math. 82 (1985), 257–262. MR 809714 (87d:58025)
- K. Kurdyka, L. Paunescu, Arc-analytic roots of analytic functions are Lipschitz, Proc. Amer. Math. Soc. 132 (2004), 1693–1702. MR 2051130 (2005c:32012)
- A. Parusiński, A criterion for the topological equivalence of two variable complex analytic function germs, Proc. Japan Acad. Ser. A Math. Sci. Volume 84, Number 8 (2008), 147–150. MR 2457803
- M. Shiota, Equivalence of differentiable mappings and analytic mappings, Publ. Math. Inst. IHES 54 (1981), 37–122. MR 644558 (84k:58039)
- R. J. Walker, Algebraic Curves, Springer-Verlag, New York, Heidelberg, Berlin, 1950. MR 513824 (80c:14001)
- C.T.C. Wall, Singular Points of Plane Curves, London Mathematical Society, Student Texts 63, Cambridge University Press 2004. MR 2107253 (2005i:14031)
- O. Zariski, On the topology of algebroid singularities, Amer. Jour. Math. 54 (1932), 453–465. MR 1507926
Additional Information
Satoshi Koike
Affiliation:
Department of Mathematics, Hyogo University of Teacher Education, 942-1 Shimokume, Kato, Hyogo 673-1494, Japan
Email:
koike@hyogo-u.ac.jp
Adam Parusiński
Affiliation:
Laboratoire Angevin de Recherche en Mathématiques, UMR 6093 du CNRS, Université d’Angers, 2, bd Lavoisier, 49045 Angers cedex, France
Address at time of publication:
Laboratoire J. A. Dieudonné U.M.R. C.N.R.S. N 6621, Université de Nice Sophia-Antipolis, Parc Valrose 06108 Nice Cedex 02, France
Email:
adam.parusinski@unice.fr
Received by editor(s):
April 1, 2008
Received by editor(s) in revised form:
December 19, 2008
Published electronically:
December 1, 2009
Additional Notes:
This research was partially supported by the Grant-in-Aid for Scientific Research (No. 18540084) of the Ministry of Education, Science and Culture of Japan.