Toda谱Ⅴ（1）和Ⅴ（2）同伦群的一些新元素.docx

研究概况 Freudental定理[11](P85)指出，双角锥同态 S：71n+r(S礼)一71n+r+1(s礼+1) 当几r+1为同构，此时％押(伊)叫做球面的稳定同伦群．我们说某 些现象是稳定的，如果它出现在任一维数，或者出现在充分大的维数，并 且它不依赖于这个维数本事，而是在维数充分大的时候，以相同的方式 出现这种现象，因此有球面稳定同伦群的出现． 由Serre C理论，丌r(S)(r0)是有限群．因此P局部化丌r(S)p就 是它的P分量群(P—primary)．我们已经叙述了收敛到球面稳定同伦群的Adams谱序列： 霹’。=Ez髫(乙，乙)令71t一。(s)p 这是计算球面稳定同伦群的重要工具，它的易项，即Steenrod代数A 的上同调 HS,t(A)=Ez亡奢(乙，磊) 是决定球面稳定同伦群的主要数据． 上式等式的右半部分是上同调群．因此对于它的有关计算显得尤为 重要．几十年来，对于日”(A)的计算，取得了很重要的课题研究成果． Ez如+(Zp，乙)竺乙是显然的． Ez亡j+(乙，名)实际上由Steenrod[7]确定． Ezt身+(乙，乙)当P=2由Adams J．F．[12]确定，并且得出 了Ez攻+(乙，名)中的分解元． Ez亡女+(名，名)当P2由Liulevicius[13]得出． Ez亡盖+(名，名)当P=2由Wang[10】得出．当P2由Aikawa T．[9】 得出． 另外，Tangora[15】得出：E疵穿(磊，磊)当t一8≤70，P=2．Nakamara[14】利用May谱序列[16]得出：E砚岔(名，磊)，当t一8≤ 2(p一1)(3矿+3p+4)一2． 早在1971年，Toda H．[1]就证明了谱y(死)当p2n(n=0，1，2，3)存 在，有以下周期性元素： Q：∑2(p一1’y(o)一y(o)，∥：∑2(p2—1’y(1)_y(1)， ，y：∑2(p3—1’y(2)_y(2)． 谱y∽)的同伦群和球面稳定同伦群联系非常密切，以此意为出发点，如果 找到了7r。y(n)的新元素，我们就有希望导出丌。S的新元素． 2001年，林金坤教授在[3]中证明了当p≥5，n≥3时，7r(p,t+p)q-3S(q= 印一2)具协阶和第三滤子的非零元素族的存在，并在Adams谱序列 中霹’∽+p)g掣Ez亡支pn+p)q(磊，乙)的表示为60h。+hibn一1． 2002年，林金坤教授在[4]中证明了kgo∈E射支p“+p+2)g(日木 y(o)，磊)在Adams谱序列中收敛到丌(pn+p+2)q--3y(o)的一个非零 同伦元素，利用与铂的Yoneda乘积得到k跏蚀 ≠0 ∈ E疵盒p“g+3(p2+舛1)4(乙，名)在Adams谱序列中收敛到丌m+3(p。+计1)g一6s的 一个p阶非零同伦元素． 最近几年，用此种方法也探索出球面稳定同伦群的一些新元素． 本文也是从此角度出发，得到了较为重要的结果，期望导出球面稳定 同伦群的新元素． IV 第一章第一节 第一章 (ili)率(乃；忍o)及(i，i)木(乃呈‰)在以y(1)中的收敛性 本章利用Adams谱序列，证明了(ili)。(b2ko)Ffll(ilt)。(62‰)是永久循环但不是边 缘，因此分别收敛到7r母y(1)中非零元． 第一节 (ili)乖(堵‰)收敛到7r术y(1)中的非零元 由[1】，当p2n，佗=0，1，2，3时，谱y(佗)存在且有以下上纤维序列：(g=印一2) S卫s／y(o)二ES，p≥2 Eqy(0)j翌y(o)二缉y(1)—马∑q+1y(o)，P≥3 ∑(p+1)gy(1)』骘y(1)上§y(2)乌E(p+I)q+IV(1)，P≥5 ∑(p2+舛1)qy(2)』骘y(2)_兰§y(3)』§E(p2+p+1)g+1y(2)，P≥7 即存在上纤维序列： E2(p“一1)V(n—l尸马y(n—l产—形(n)丛。∑2pn一1y(n一1)P≥7 此上纤维序列可以导出短的乙上同调群的短正合序列： 0一∑2p”_1H+y(n一1)一H+y(n)叫H+y(n一1)叫0 因此导出下面Ext群的长正合序列： Ezt茅·，t(日·y(n)，磊)立0宅z亡i·，t一(2pt-1)(U·y(n一1)，名)蚓宅耐岔(日·y(佗一1)，名) 蚓宅眈岔(日·y(礼)，乙)蚓Ez亡奢一(z矿一t’(日·y(礼一1)，名)亟h 第一章第一‘节 其中(i礼+1蔬)。=(in+1)。(z礼)木为复合映射(n≥1)，J|-(ili)。=(il)。i。． 命题1．1．1 E耐警(日+y(扎)，乙)竺EztT(磊，乙)，当亡一s2pn+l-1，佗=0，1，2，3，其 中P为素数． 证明 设M=E(Qo，Q1 ．，Qn)表示由A的Minlor基元Qo，Qi ．，Qn生成