Thom配边理论的影响.pdfVIP

维普资讯 综合报告 Thorn配边理论的影响 MichaelAtiyah 1．引言 1958年，在Edinburgh召开的世界数学家大会上，Ren6Thom荣获了两枚Fields奖 章之一，获奖工作是发展了配边理论．在对Thom工作的介绍中1『1]，Hein,Hopf将配边 的定义描述为一种初等、且易见的平凡构造，从中很难期望会产生重要成果．他将配边 的定义与Hurewicz对于同伦群的定义进行比较，后者同样产生于一个十分简单的观点， 却导致了异常丰硕的成果．Hopf接着指出，Thom实际上揭示了一节密切连接配边理 论和同伦理论的链环． 事实上，联系同伦理论与微分流形的基本想法可追溯到Pontrjagin的下述构造[13】． 对于两个紧致、连通、定向的微分流形间的一个光滑映射，：Y_÷X，它在一个正则值 P∈X处的逆像Fp=厂 Cp)是y的一个定向子流形F，其维数是dimF=dimY—dimX． 容易证实， 在y中决定的同调类[]与点P的取法无关，并且是，的一个同伦不变 量：事实上，在y的Poincar~对偶下，[]对应于上同调群类f()，此处 是 的顶 维上同调群中的基本类． 然而，与同调类[相比，F的几何蕴含了，的更多的信息．例如，当Y=S。，X=S， 而，是Hopf纤维化时，F是S。中的一个扭结。进一步，任意两个如此产生的扭结间的 环绕数是1．将这个方法应用于任意一个映射，：S。_÷S，我们获得称为Hopf不变量的 一 个同伦不变量． 从另一个角度谈，两个纤维 和Fq(P，q∈X)之间的同调等价可以强化为一个更 为精确的几何关系，即存在一个定向流形 ，它以 和一Fq(具有相反定向的 )为边 界．流形 自然呈现为Y×I的一个子流形，此处 是由 中一条从P到q的一般位 置道路定义的单位区间．在Thorn的术语中， 称为 和 之间的配边． 在Hopf不变量的想法的影响下，Pontrjagin的最初的想法是从流形 的几何中 提取，的同伦信息．在早期的同伦理论中，这个几何方法产生了一定的成效，但却需要 精细的技巧(且常常会导致错误)．到了50年代初期，强有力的新的代数方法被引进到 同伦理论中，特别是纤维丛的Leray—Serre谱序列，而Pontrjagin的方法变得过时了，但 Thom扭转了形势，利用同伦理论向流形的几何进攻．尤其是，他证明了抽象地规定的 配边群可解释为特定空间MSO(n)的同伦群 1【5】．正如记号所暗示，此类空间来自于正 交群SO(n)，它们的出现基于任意光滑流形在无穷小意义下具有线性结构。这个紧要的观 原题：TheImpactofThom’SCobordismTheory．译自：Bulletin(NewSeries／oftheAMS， Vo1．41(2004)，No．3，P．337-340． ． 290 · 维普资讯 察产生出一系列重要的后果． 值得强调的是，和球面同伦群相比，这些复杂空间MSO(n)的同伦群十分容易计算． 在很短的时间里，所有配边群得到确定，仅管球面的同伦群仍未展示其最终的神秘． 在有理域上，配边环成为一个多项式代数，它在每个4维有一个生成元，以复射影 空间P2(C)作为代表．进一步，配边环的一个完整 (有理)不变量系由Pontrjagin数给 出．它们由本质上产生于正交群上同调的Pontrijagin类所构造，强调了由无穷小线性结 构给出的流形的切丛的重要性． 2．与 一理论的关系 配边理论的首批重要应用之一，归功于Hirzebruch[9]，对于4维流形的同调群 -／／2k(X，R)上的二次型，他得到了著名的符号差公式．Hirzebruch以十分精湛的技艺， 将这个由 L“一亏格”表述的公式应用于他对复射影代数流形的广义Riemann—Roch定理 (HRR)的证明中．这个证明综合了配边理论和各种新技术，值得一提的有Cartan—Serre 凝聚解析层论． 紧随其后，Grothendieck引进了他的K一群，对于代数态射，：Y_÷X，构思并证明 了Grothendieck—Riemann—Roch定理 (GRR)．当 是单点时，GRR约化为HRR[6】． 接着，随着关于典型群同伦群的Bott周期性定理[7]的问世，At