话题
搜索

Reidemister扭转


代数拓扑,Reidemister扭转是一个最初作为3流形的拓扑不变量引入的概念现已广泛适应各种环境。在发现时,雷德米斯特扭转是第一个能够区分歧管同伦等价但是同胚的从那时起,这个概念适应更高维度歧管,链接,动力系统,维滕方程等等。特别是,对于不同的上下文,它有许多不同的定义。

对于交换环 A类,让C类__是有限的无环的链式复合体基于(共)有限生成的 自由的 R模块表单的

 C_=…->C_n->C_(n-1)->C_(n-2)->…->C_1->C_0。
(1)

Reidemeister扭转C类__是值A中的增量(C_)^*由定义

 Delta(C_)=det(d+Gamma),
(2)

哪里A类^*是一组单位属于A类,伽马:0=1:C__->C__是一个收缩,d: C_n->C_(n-1)边界图、和

 d+伽马=[d 0 0…;伽马d 0…;0伽马d…;|||…]
(3)

是来自的地图C_1直和C_3直和C5直和。。。C_0直和C_2直和C_4直和。。。.在这种情况下,Reidemister扭转有时被称为综合体C类__(Nicolaescu 2002),可以认为是行列式矩阵(拉尼基,1997年)。

定义Reidemeister扭转的另一个常见上下文是在CW-复合体。从契约 度量空间 X(X)有限CW-decompositionS(X)并考虑规范归纳复杂的 C_(X)属于自由阿贝尔群,

 C_(X)=直接和_n直接和_(S_n(X)中的sigma)H_n(sigma,partialsigma)。
(4)

举起S(X)到CW-decompositionS(X ^^)最大值的阿贝尔(Abelian) pi:X^^->X属于X(X)生成关联的链式复合体 C_(X^^)它有一个Z[H_1(X)] 基础特别是,定义

 A=(产品_(k>=0)S_(S_k(X))×Z_2^(S_k(X)
(5)

哪里S_S(_S)表示排列群一套的S公司链复合体的扭转C_(X^^)免费的Z[H_1(X)]-模块关于这个A类-轨道属于Z[H_1(X)]-底座被称为帝国主义者的扭转S(X).在这种情况下,雷德米斯特扭转是一个定义明确的因素Q(Z[H_1(X)])/+/-H_1(X).此结构的详细信息可以在例如Nicolaescu(2002)中找到。

Reidemister扭转有时也称为R扭转或Reidemister-Franz扭转。此外,R-扭转与许多其他拓扑工具密切相关包括怀特黑德扭转,并已被证明通过Cheeger和Müller将其等同于分析的扭转在以下情况下契约 黎曼(Riemannian)歧管.


另请参见

非环链复合体,解析扭转,依据,链条,连锁综合体,链式收缩,链条同态,交换环,契约歧管,紧凑的空间,有联系的,占地面积,CW-复合,决定因素,动态系统,自由阿贝尔群,,组生成器,动态观察,分组环,扭转,同胚现象,同伦等效性,不变量,,链接,歧管,公制空间,模块,置换,商组,R-模块,黎曼流形,扭转,工会,单位,单位戒指,矢量基础,怀特黑德扭转,威滕方程

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

与Wolfram一起探索| Alpha

新型网络搜索引擎

更多需要尝试的事情:

工具书类

Cheeger,J.“分析扭转和Reidemister扭转”程序。国家。阿卡德。科学。美国 74, 2651-2654, 1977.尼古拉斯库,拉丁美洲。《雷德米斯特扭力记》,2002年。http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.8.4031&rep=rep1&type=pdf.拉尼基,A.“Reidemister扭转注释”,1997年。http://www.maths.ed.ac.uk/~aar/papers/torsion.pdf.图拉耶夫,V.G.公司。“结理论中的Reidemister扭转。”乌斯佩基·马特·诺克。 41,97-147, 1986.

引用如下:

克里斯托弗·斯托弗“Reidemister Torsion”摘自数学世界--Wolfram Web资源,创建人埃里克韦斯特因.https://mathworld.wolfram.com/ReidemeisterTorsion.html

主题分类