Synthetic aspects of \(C^{\infty}\)-mappings. II: Mather's theorem for infinitesimally represented germs
type: Item
instance of: scholarly article
title: Synthetic aspects of \(C^{\infty}\)-mappings. II: Mather's theorem for infinitesimally represented germs
zbMATH Open document ID: 0657.18006
DOI: 10.1016/0022-4049(88)90117-X
author: Felipe Gago
author: Marta Bunge
published in: Journal of Pure and Applied Algebra
publication date: 1988-01-01T00:00:00Z
review text: This paper continues the work of the first author [ibid. 28, 41-63 (1983; Zbl 0531.18005)] on studying the theory of \(C^{\infty}\)-mappings via synthetic differential geometry (SDG), and it provides further evidence of the power and insight inherent in the synthetic approach. The article begins with a discussion of various axioms which are added to the usual list of axioms of SDG. These axioms are studied in detail and their validity in the Dubuc model \({\mathcal G}\) of SDG is established. (Recall that the Dubuc model is the topos of sheaves on the open cover topology on \({\mathbb{B}}^{op}\), where \({\mathbb{B}}\) is the category of \(C^{\infty}\)- rings of finite presentation by a germ-determined ideal.) It is then shown how it is possible to develop an infinitesimal notion of stability by representing germs as actual mappings on an infinitesimal domain. This is used to prove Mather's theorem [\textit{J. N. Mather}, Ann. Math., II. Ser. 89, 254-291 (1969; Zbl 0177.260] synthetically. The classical result is recovered by interpretation in the Dubuc model \({\mathcal G}\). The paper concludes by using a particular interpretation of the synthetic Mather theorem in \({\mathcal G}\) to study Wassermann's theory of unfoldings [\textit{G. Wassermann}, Stability of unfoldings; (1974; Zbl 0288.57017)]. There is not such a direct link to unfoldings when the situation is studied classically.
Mathematics Subject Classification ID: 18F15
zbMATH DE Number: 4073250
zbMATH Keywords: synthetic differential geometry
zbMATH Keywords: Dubuc model
zbMATH Keywords: infinitesimal notion of stability
zbMATH Keywords: synthetic Mather theorem
zbMATH Keywords: Wassermann's theory of unfoldings
reviewed by: K. I. Rosenthal
MaRDI profile type: Publication
cites work: Q3906801
cites work: Q3697206
cites work: Vector fields on \({\mathbb{R}}^{{\mathbb{R}}}\) in well adapted models of synthetic differential geometry
cites work: Q4057338
cites work: Synthetic aspects of \(C^\infty\)-mappings
cites work: Q4722245
cites work: Q3807405
cites work: C ∞ -Schemes
cites work: Q3926774
cites work: Germ representability and local integration of vector fields in a well adapted model of SDG
cites work: Q4722244
cites work: Q3924684
cites work: Q4046802
cites work: Q4134602
cites work: Q3918651
cites work: Synthetic characterization of reduced algebras
cites work: Lie group valued integration in well-adapted toposes
cites work: Q5523404
cites work: Q4187965
cites work: Q3672755
cites work: Stability of \(C^ \infty\) mappings. I: The division theorem
cites work: Stability of \(C^\infty\) mappings. II: Infinitesimal stability implies stability
cites work: Q3871594
cites work: Smooth spaces versus continuous spaces in models for synthetic differential geometry
cites work: Q3223016
cites work: Analyse différentielle
cites work: Q3333645
cites work: The measure of the critical values of differentiable maps
cites work: Q3241067
cites work: Stability of unfoldings
description: scientific article; zbMATH DE number 4073250