Algebraic & Geometric Topology

Cobordism of Morse functions on surfaces, the universal complex of singular fibers and their application to map germs

Osamu Saeki

Full-text: Open access


We give a new and simple proof for the computation of the oriented and the unoriented fold cobordism groups of Morse functions on surfaces. We also compute similar cobordism groups of Morse functions based on simple stable maps of 3–manifolds into the plane. Furthermore, we show that certain cohomology classes associated with the universal complexes of singular fibers give complete invariants for all these cobordism groups. We also discuss invariants derived from hypercohomologies of the universal homology complexes of singular fibers. Finally, as an application of the theory of universal complexes of singular fibers, we show that for generic smooth map germs g:(3,0)(2,0) with 2 being oriented, the algebraic number of cusps appearing in a stable perturbation of g is a local topological invariant of g.

Article information

Algebr. Geom. Topol., Volume 6, Number 2 (2006), 539-572.

Received: 22 September 2005
Accepted: 25 January 2006
First available in Project Euclid: 20 December 2017

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 57R45: Singularities of differentiable mappings
Secondary: 57R75: O- and SO-cobordism 58K60: Deformation of singularities 58K65: Topological invariants

Morse function cobordism singular fiber universal complex simple stable map hypercohomology stable perturbation map germ


Saeki, Osamu. Cobordism of Morse functions on surfaces, the universal complex of singular fibers and their application to map germs. Algebr. Geom. Topol. 6 (2006), no. 2, 539--572. doi:10.2140/agt.2006.6.539.

Export citation


  • A du Plessis, T Wall, The geometry of topological stability, London Mathematical Society Monographs. New Series 9, The Clarendon Press, Oxford University Press, New York (1995)
  • A T Fomenko, Differential geometry and topology, Contemporary Soviet Mathematics, Consultants Bureau, New York (1987)
  • T Fukuda, Local topological properties of differentiable mappings. II, Tokyo J. Math. 8 (1985) 501–520
  • T Fukuda, G Ishikawa, On the number of cusps of stable perturbations of a plane-to-plane singularity, Tokyo J. Math. 10 (1987) 375–384
  • T Fukui, J J Nuño Ballesteros, M J Saia, On the number of singularities in generic deformations of map germs, J. London Math. Soc. $(2)$ 58 (1998) 141–152
  • M Golubitsky, V Guillemin, Stable mappings and their singularities, Springer–Verlag, New York (1973)
  • K Ikegami, Cobordism group of Morse functions on manifolds, Hiroshima Math. J. 34 (2004) 211–230
  • K Ikegami, O Saeki, Cobordism group of Morse functions on surfaces, J. Math. Soc. Japan 55 (2003) 1081–1094
  • B Kalmár, Cobordism group of Morse functions on unoriented surfaces, Kyushu J. Math. 59 (2005) 351–363
  • M È Kazaryan, Hidden singularities and Vassiliev's homology complex of singularity classes, Mat. Sb. 186 (1995) 119–128 English translation in Sb. Math. 186 (1995) 1811–1820
  • M A Kervaire, J W Milnor, Groups of homotopy spheres. I, Ann. of Math. $(2)$ 77 (1963) 504–537
  • L Kushner, H Levine, P Porto, Mapping three-manifolds into the plane. I, Bol. Soc. Mat. Mexicana $(2)$ 29 (1984) 11–33
  • H Levine, Elimination of cusps, Topology 3 (1965) 263–296
  • H Levine, Classifying immersions into $\mathbf{R}\sp 4$ over stable maps of $3$-manifolds into $\mathbf{R}\sp 2$, Lecture Notes in Mathematics 1157, Springer–Verlag, Berlin (1985)
  • T Nishimura, Topologically $\infty$-determined map germs are topologically cone-like, Compositio Math. 64 (1987) 117–129
  • J J Nuño Ballesteros, M J Saia, Multiplicity of Boardman strata and deformations of map germs, Glasgow Math. J. 40 (1998) 21–32
  • T Ohmoto, Vassiliev complex for contact classes of real smooth map-germs, Rep. Fac. Sci. Kagoshima Univ. Math. Phys. Chem. 27 (1994) 1–12
  • M Ohsumi, Whitney's umbrellas in stable perturbations of a map germ from $(\mathbb{R}^n, 0) \to (\mathbb{R}^{2n-1}, 0)$, preprint (2004)
  • R Rimányi, A Szücs, Pontrjagin-Thom-type construction for maps with singularities, Topology 37 (1998) 1177–1191
  • R Sadykov, Bordism groups of special generic mappings, Proc. Amer. Math. Soc. 133 (2005) 931–936
  • O Saeki, Simple stable maps of $3$-manifolds into surfaces. II, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 40 (1993) 73–124
  • O Saeki, Topology of special generic maps into $\mathbf{R}\sp 3$, Mat. Contemp. 5 (1993) 161–186
  • O Saeki, Simple stable maps of $3$-manifolds into surfaces, Topology 35 (1996) 671–698
  • O Saeki, Cobordism groups of special generic functions and groups of homotopy spheres, Japan. J. Math. $($N.S.$)$ 28 (2002) 287–297
  • O Saeki, Topology of singular fibers of differentiable maps, Lecture Notes in Mathematics 1854, Springer–Verlag, Berlin (2004)
  • E H Spanier, Algebraic topology, McGraw-Hill Book Co., New York (1966)
  • R Thom, Quelques propriétés globales des variétés différentiables, Comment. Math. Helv. 28 (1954) 17–86
  • V A Vassilyev, Lagrange and Legendre characteristic classes, Advanced Studies in Contemporary Mathematics 3, Gordon and Breach Science Publishers, New York (1988)