话题
搜索

怀特黑德扭转


(K,L)是由以下部分组成的一对有限的,有限的,有联系的 CW-复合体哪里L(左)是的子复合体K(K)定义关联的复杂的 C(K,L) -每个人都明智第页通过设置

 C_p(K,L)=H_p(|K^p联合L|,|K^(p-1)联合L|)
(1)

哪里H(H)表示奇异同调具有整数系数和其中|千磅|表示联盟所有的细胞属于K(K)属于小于或等于第页.请注意(_p)自由阿贝尔有一个发电机对于每个第页-细胞属于K-L公司.

接下来,考虑通用覆盖层复合体L^^子集K^^属于L(左)K(K),分别。这个基本群 像素_1(K)属于K(K)可以用属于甲板变换属于K(K)^^所以每个pi_1(K)中的西格玛确定地图

 西格玛:(K^^,L^^)->(K^,L ^)
(2)

这会导致链图

 sigma_#:C(K^^,L^^)->C(K*^^。
(3)

这个链图 西格玛_#转动每个链条组C_p(K^^,L^^)模块结束这个群环 Zpi_1(K)哪个是Zpi_1(K)-自由的带一台发电机对于每个第页-单元格属于K-L公司并且是有限生成的Zpi_1(K)由于K(K).

因此,有一个免费的链式复合体

 C_n(K^^,L^^)->C_(n-1)(K^,L ^)->…->C_0(K^^,L^^)
(4)

结束Zpi_1(K),这个同调群 _i(K^^,L^^)其中为零,因为|K(K)^^| 变形收缩到上面|L(左)^^|.一个简单的论证表明存在所谓的偏好基础对于每个C_p(K^^,L^^)(米尔诺),据此可以将怀特海扭转定义为形象扭力的τC(K^^,L^^)综合体的C(K^^,L^^)在中怀特海商群 Wh(pi_1(K)).

值得注意的是,怀特黑德扭转是Reidemeter扭转,其前面是定义为阿贝尔群元素而不是一个代数数就像后者一样。专家请注意Reidemeter扭转后来被纳入怀特黑德扭转研究(Ranicki 1997),而怀特海扭转为检验可微性提供了一个基本工具和具有非平凡的组合流形基本的.


另请参见

代数数,解析扭转,单元格,链条,链条复杂,链同态,有联系的,CW-复合,甲板转型,变形收缩,自由阿贝尔群,基础,,发电机,分组环,扭转,同源组,图像,歧管,模块,,R-模块,减少怀特黑德集团,Reidemister扭转,奇异同调,平滑歧管,扭转,工会,通用盖子,怀特黑德

此条目由贡献克里斯托弗斯托弗

与Wolfram一起探索| Alpha

工具书类

Milnor,J.“怀特黑德扭转”牛市。阿默尔。数学。Soc公司。 72, 358-423, 1966.A.Ranicki“关于Reidemeister的笔记扭转。" 1997.http://www.maths.ed.ac.uk/~aar/papers/torsion.pdf.

引用如下:

克里斯托弗·斯托弗“怀特黑德扭转”摘自数学世界--Wolfram Web资源,创建人埃里克韦斯特因.https://mathworld.wolfram.com/WhiteheadTorsion.html

主题分类