完全交和加权完全交的拓扑.pdf

摘要 摘要 1986年在美国加州Arcta举行的代数拓扑会议上，与会者讨论了代数拓扑 438-456])．其中数学家M．Kreck，A． 学的一些前沿有待解决的问题([12，page 完全交％(d)：=‰(dl…．，西)是复射影空间Clip“打中7．个横截相交的齐 次多项式的零点的轨迹，dl…．，西是r个齐次多项式的次数．d=(d1…．，西)称 为多重次数，积d=dl…cfr称为全次数，％(d)是一个礼维复流形．相交型和 心f不变量(Kervaire不变量)由全次数来决定，示性类都可以写成多重次数的多 项式([301)，所以试图用一些拓扑的量来分类完全交，这是一个有趣的问题，但这 也是一个很棘手的问题．关于这方面的文献有很多，参见[6，18，19，35，38，39，40， 54l等．其中大部分结果都是在对全次数的素数分解做了一定限制条件后得到的． Kreck([35])引入了一个修正的手术理论，将光滑流形的微分同胚分类问题归结到 配边不变量上．ClaudiaTracing([54】)按照这个理论得到了一些完全交的微分同 胚分类的结果，这个结果的条件要求完全交的全次数含有较多的小素数因子．不 Klauss对于复4维的光滑完全 对全次数的素数分解加以限制，方复全和Stephan 交进行了彻底的同胚分类(cf．【19】)． 本文的第二部分，我们主要应用Kreck的修正手术理论来给出复5，6，7维光 滑完全交的一个同胚分类，此结果推广了【19】． 定理A．当复维数他=5，6，7，两个完全交五。(d)，％(d，)同胚当且仅当他 们具有相同的全次数d，Pontrjagin类和Euler示性类． 如同f19，35]，证明上定理的关键是将同胚分类问题转化为配边问题，所以关 谱的稳定同伦群．Adams谱序列是计算稳定同伦祥的有力工具．构造Adams谱 此配边群中的挠元和自由元进行分析．排除挠元对分类所可能产生的障碍，最终 完成我们定理的证明． 加权射影空间舻押(w)：=妒押(蛐…．，‰+r)和加权完全交五；(d；W)：= ％(dl…．，dr；蜘…．，‰押)(简记为WCI)是普通的复射影空间，完全交的一种推 Ⅱ 摘要 广．加权射影空间是复射影空间通过加权作用得到的商空间．当这个加权作用 平凡，也就是说权w=(1…．，1)，加权射影空间就是普通的射影空间，加权完 w=(‰…．，‰+r)相对互素，即对于任何i≠歹，最大公因子gcd(wi，％)=1，乘 积n％整除全次数d：=l-I；：1呜，则加权完全交％(d；w)是复佗维的光滑流 形．在本文的第三部分，我们讨论光滑加权完全交的同伦型．与完全交不同，经典 的Lefschetz截面定理此时不可用，对加权完全交的拓扑知之甚少．首先我们将给 出加权完全交嵌入到加权射影空间的相对拓扑． i。是满射． 利用Wood的移除柄的方法([611)，可以将光滑加权完全交做一个连通和分 解．此连通和分解由加权完全交的Kervaire不变量，Eulerer示性类决定．通过比 较两个不同加权完全交的连通和分解(对比[39】)，我们可以证明如下的定理． 定理C．设T／,=2m+l，如果全次数d=dl…西没有小于m+2的素数因 子，W相对互素，则光滑加权完全交．k(d；w)的同伦型由n，d和Euler示性类， Kervaire不变量所决定． 加权射影空间的复K群由Amrani([4])计算．作为一个完备补充，我们对加 权射影空间的实K群也傲一个描述． 命题D．如果权w=(uo…．，‰)是奇的，即蛐…．，‰都是奇数，则加权射 影空间的实K群Ⅳ0(p(w))可以分解成一些整数群Z和挠群Z2的直和，并且 如果佗≠1mod mod 4，KD(舻(w))是自由群；如果n=14，KD(p(w))有一个 Z2挠群的直和项． 在本文的第四部分，我们将考虑定义在同一个加权超曲面中的两个光滑加权 完全交的微分同胚型．此时应用Kreck的修正手术理论，我们需要建立—个法m一 完全交的配边类属于Thorn谱的