光滑映射芽的决定性理论

书籍：现代科技综述大辞典上更新时间：2018-11-16 21:28:42

出处：按学科分类—自然科学总论北京出版社《现代科技综述大辞典上》第82页（4012字）

奇点理论中十分活跃的研究专题，描述微分流形之间的光滑映射在一点附近最重要的局部性态。

刻划有限决定的映射芽的本质特征，判定一个映射芽在什么条件下有限决定并对其决定性阶数进行估计，是映射芽的决定性理论的基本问题。在1968～1971年期间，马瑟(J．N．Mather)以《C^∞映射的稳定性》为总标题发表的6篇系列论文为这一研究奠定了基础。

一般地，在C^∞映射芽集上给定一等价关系，可考虑由它的r次导网j^rf有限决定的问题。马瑟引入了5类C^∞微分同胚芽群，并通过这些群在集上的作用来规定等价关系，这5类群通常记为，，，，。

例如群与分别由源空间(Rⁿ，0)及靶空间(R^p，0)上的C^∞坐标变换组成，(及)在上的作用是通过映射芽复合从右边(及左边)作用在f上。群定义为与的直积。

C^∞芽f：(Rⁿ，0)→(R^p，0)是决定的(其中可为上述5类群中的任何一个)，是指中所有与f具有相同r－导网的映射芽均位于轨道中。而f的决定性阶数是使得f为决定的最小正整数r₀。

例如若f：(Rⁿ，0)→R是莫尔斯函数芽(此时Df(0)=0，且矩阵满秩)，则由莫尔斯引理知f恰为2－R－决定的。

对于一般的有限决定的C^∞芽，在等价意义下，可由它的有限次泰勒展式来完全确定，因而在局部分析中具有重要意义。

为叙述马瑟的着名结果，记C^∞函数芽环C_n=｛(Rⁿ，0)→R｝的极大理想为m_n，令θ_f表示沿f的C^∞向量场芽所组成的C_n模，简记θ₁｜Rⁿ，0)为θ_n。tf_：θ_n→θ_f和ωf：θ_p→θ_f分别由tf(ξ)=Tf_oξ和ωf(η)=η_of给出。

视的不同情形分别取为(f)=tf(m_nθ_n)，，(f)，，。整数d叫做f关于的余维。加夫尼(T．Gaffney)于1979年给出了着名的马瑟无穷小判别法的一个改进形式。

设，则下列各条等价：

(b)f是有限决定的，

(t)对于某，

(d)。

更精确地，有(i)若f是决定的，则，(ii)若，则f是决定，(iii)若d，则，其中当，或时，ε=1；当或时，ε=2。

群中的成员取s－导网为恒同映射者所成之集是群的正规子群，在C^∞芽集上的作用可定义上的等价关系，从而可定义决定性。对于及有限决定性，库哈兹(W．Kucharz)于1976年就函数芽、热尔韦(J．-J．Gervais)于1977年就一般的映射芽给出了刻划。1984年布鲁斯(J．W．Bruce)等对及有限决定性提供了另一种形式的刻划，戴蒙(J．Damon)分别对和的一类几何子群刻划了有限决定性。

对有限决定性的刻划还可用托姆(R．Thom)提出的通用开折概念来描述，即C^∞芽f是有限决定的，当且仅当f有一个通用开折。

通用开折是奇点理论对现代数学最重要的贡献之一，它是突变理论的核心。

对应于上述5类群的5种决定性，它们之间具有某种联系，(及)有限决定性与有限决定性相关，有限决定性与有限决定性又彼此相联。例如若C^∞芽不是浸入与浸没，则f是有限决定的且f是有限决定的。

假若f是实解析芽，那么f作为C^∞芽是有限决定作为实解析芽是有限决定的复化作为全纯芽是y一有限决定。因此在对C^∞芽的决定性阶数进行估计时，近十多年来人们的兴趣更多地是就及的情形来进行研究。从历史上看，马瑟的工作着重于C^∞稳定性、稳定映射的稠密性与分类问题。他对稳定的映射芽的决定性阶数已作出好的估计，并且给出了各类稳定映射芽的标准型，但对非稳定的有限决定的映射芽的阶数估计以及标准型问题尚未深入考虑。

自1975年以来，加夫尼、马蒂内(J．Martinet)以及迪普莱西(A．du Plessis)等提供了一系列好方法用以精确估计决定性阶数。现举下例加以简单说明：设映射芽f：R²，0)→(R²，0)，(x，y)→(x，y³+x²y)，按照马瑟的估计，f是决定的；而依加夫尼的方法，f是决定的；依迪普莱西的方法则为决定的。1985年以来，中国奇点理论工作者在李培信主持下开展了这方面的研究，对及决定性阶数估计取得一些好结果。

1979年，布罗德森(H．Brodersen)及威尔逊(L．C．Wilson)同时研究了决定性。

映射芽是决定的，意指中与f具有相同无穷泰勒级数的每一芽g(此时j^∞g(0)=j^∞f(0))必等价于f。此外，在这之前还引入了等价性，0≤k＜∞。事实上，群中的成员均为C^∞微分同胚芽，若将C^∞条件减弱为C^k，即用C^k微分同胚芽来代替便可得到群，由此可诱导出C^∞芽集上的等价关系，并且这些等价关系产生相应的决定性，于是可引入如下一些条件：对任意，

(a_k)f是决定的，

(b_k)f是有限决定的，

(t)，

(g)存在Rⁿ中原点0的一邻域U及芽f的一个代表R^p，使得对U－｛0｝中的每一有限子集S，在S处的多重芽是－稳定的。

几何条件(g)适用于解析芽，为此又引进了条件(e)，称为“椭圆性”条件。

例如当，或时，取C_n中的理想(f)分别为J_f(由Df的p×p子式所生成)、f^*_{m_p}．C_n及J_f+f^*m_p·C_n，并且条件(e)要求有限生成的理想。当然还可以用一组Lojasiewicz不等式来表达条件(e)。

沃尔(C．T．C．Wall)在1981年发表的综述性论文中，将许多学者的研究概括为下述结论：对于，，或，下列条件

(a_k)(o≤k≤∞)，(b_k)(0≤k＜∞)，(t)及(e)是等价的。

如果f是解析芽，则上述诸条件还等价于(g)。

而对于，布罗德森于1990年在一次奇点理论学术会上报告了下述结果：记条件

(g′)对于每一，若j^∞f(0)=j^∞f(0)，则f′满足(g)，

又0＜k≤∞，则条件(e)，(t)，(g′)及(a∞)是等价的，并且它们中的每一个与(a_k)(p+1≤k＜∞)及(b_k)(p+1≤k＜∞)中的任何一个等价。

在探讨有限决定映射芽的标准型时，自然提出如何识别属于同一等价类中的诸映射芽的问题。对此问题的研究，导致迪普莱西于1980年引入决定性，其中M为(C_n)^p的一个Cn－模，现就M=(I)^p(I为C_n中理想)简述之。f叫做决定，如果g是f的任意一个I－逼近(即要求y_jog-y_iof∈I，i=1，…，p)，则g与f是等价的。

通常所说的决定性就是这里的决定性，并且决定性就是决定性。1982年，加夫尼和迪普莱西对情形给出如下基本估计：若是有限奇异型的，又C_n中理想I满足，则f是决定的。

近几年来，中国一些学者开展了决定性的研究，其中，或。

映射芽的决定性理论还包括不变量的研究(映射芽的余维便是其中之一)，以及探讨(及)决定的映射芽是否有普遍意义的问题。

此外，由有限决定性进而研究半有限决定性，并且群不只限于前述的5类，这说明研究内容十分丰富。由于所讨论的映射芽的定义域是有限维空间，自然会问：能否将所述的理论推广到无穷维情形呢?马格努斯(R．J．Magnus)于1976年曾着文考察过定义在Banach空间上的函数芽的决定性及开折，但至今为止，对于无穷维情形的研究成果似乎不多，有待继续深入。