On right-equivalence (Q1076384): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Q1076382 / rank | |||
Property / author | |||
Property / author: Q1076383 / rank | |||
Property / author | |||
Property / author: Andrew A. Du Plessis / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Leslie Charles Wilson / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local normal forms of functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Singularities of differentiable maps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite determinacy and topological triviality. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: More on the determinacy of smooth map-germs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4352247 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Contact equivalence for Lagrangian manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fourier integral operators. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Classification of Germs of Maps from R<sup>2</sup> to R<sup>3</sup> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4093557 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the determinacy of smooth map-germs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Mappings of Finite Codimension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On right-equivalence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5590138 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3660073 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5664590 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3668522 / rank | |||
Normal rank |
Latest revision as of 14:29, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On right-equivalence |
scientific article |
Statements
On right-equivalence (English)
0 references
1985
0 references
Study of G-equivalence of germs (in particular for \(G=A\), C, H, L, R) is the basis of singularity theory. A key invariant is the locus of instability. Equivalence of germs implies equivalence of the corresponding loci, and also equivalence of the restriction of the germs to their instability loci, so that a natural approach to classification is to classify possible types of restriction to a given locus. This point of view is taken up in this paper for R; the instability locus in this case is the critical set. A \(C^{\tau}\) map-germ f: (N,x\({}_ 0)\to (P,y_ 0)\) has non- degenerate critical set if (i) \(J(f)=\{\phi \in C_ N^{\tau}|\) \(\phi\) vanishes on \(\Sigma\) (f\(\}\), (ii) \(\Sigma\) (f) has dimension p-1 in N. Theorem. Let f: (N,x\({}_ 0)\to (P,y_ 0)\) be a map-germ with non-degenerate critical set. Let g: (N,x\({}_ 0)\to (P,y_ 0)\) be a map-germ satisfying: (\(\alpha)\) \(\Sigma\) (f)\(\subset \Sigma (g)\); (\(\beta)\) \(f| \Sigma (f)=g| \Sigma (f)\); (\(\gamma)\) Im Tg\({}_ x\subset Im Tf_ x\) for x in some dense subset of \(\Sigma\) (f). (i) Suppose that f has cokernel rank \(>1\), or that f has cokernel rank 1 and zero full second intrinsic derivative. Then f,g are \(R_{J(f)}\)- equivalent. (ii) Suppose that f has cokernel rank 1 and non-zero intrinsic derivative. Then the following are equivalent: (a) f,g are \(R_{J(f)}\)-equivalent. (b) \(j^ 2f\), \(j^ 2g\) are R-equivalent. (c) \(\Sigma (f)=\Sigma (g)\), g has non-degenerate critical set, and in the \(C^{\infty}\) and \({\mathbb{R}}\)-analytic cases the Hessians H(f), H(g) have the same index. (d) g has cokernel rank 1 and the Hessians H(f), H(g) have the same rank, and, in the \(C^{\infty}\) and \({\mathbb{R}}\)-analytic cases, the same index. If f is also generically finite-to-one on its critical set, then (\(\gamma)\) is redundant, being implied by (\(\alpha)\), (\(\beta)\). The converses to the above \(R_{J(f)}\)-equivalence results also hold; for, as is easily seen, if map-germs f, g are \(R_{I(\Sigma (f))}\)- equivalent then f,g satisfy (\(\alpha)\), (\(\beta)\), (\(\gamma)\) (indeed with equality in (\(\alpha)\), (\(\gamma)\)). A generalization of this theorem is given for arbitrary smooth or analytic map-germs.
0 references
equivalence
0 references
right-equivalence
0 references
map-germs
0 references
singularity theory
0 references
locus of instability
0 references
non-degenerate critical set
0 references
smooth or analytic map-germs
0 references