n实验室球纤维的沙利文模型

目录

目录

想法

A类最小模型对于球形纤维在里面有理同伦理论.

属性

理性欧拉与蓬特里亚金类

提议

n个n\in\mathbb{n}成为自然数,n个1n \geq 1号机组,让

(1)S公司 n个 E类 X(X)\阵列{S^n&\向右长箭头&E\\&&\大\向下箭头\\&&X(X)}

成为球形纤维属于拓扑空间这样的话X(X)X(X)承认沙利文模型 A类 X(X)dgcAlg公司dgcAlg中的A_X\.然后是沙利文模型 A类 E类A(_E)用于总空间E类E类具有以下形式:

n个n个古怪的

如果n个=2k个+1n=2k+1是一个奇数,然后

(2)A类 E类=A类 X(X)[ω 2k个+1]/(d日ω 2k个+1=c(c) 2k个+2)A(_E)\;=\;A_X(_X)\奥蒂姆斯\mathbb{Q}\big[\ω{2k+1}\大]/\大(d\omega{2k+1}=c{2k+2}\大)

对一些人来说

(3)c(c) 2k个+2A类 X(X)A_X中的c_{2k+2}

理性Euler类球形纤维.

特别是,如果E类=S公司(V(V))E=S(V)单位球束实向量束 V(V)X(X)V到X,然后

[c(c) 2k个]=χ[c{2k}]=\chi

Euler类向量束的ω 2k个+1\ω{2k+1}是一个cochain公司单位球束 S公司(E类)南(东)哪个在基本类任何(2k+1)-球体 纤维计算结果为负一:

(4)ω 2k个+1,[S公司 2k个+1]=1.\左侧语言\ω{2k+1},\左[S^{2k+1}\右]\右范围\;=\;-1\,.


n个n个即使

如果n个=2k个n=2k是一个偶数,然后这个 沙利文模型 A类 E类A(_E)作为一个军衔-2k个2公里 球形纤维超过一些X(X)X(X)具有沙利文模型 A类 X(X)A_X(_X)

(5)A类 E类=A类 X(X)[ω 2k个,ω 4k个1]/(d日ω 2k个 = 0 d日ω 4k个1 = ω 2k个ω 2k个+c(c) 4k个)A(_E)\;=\;A_X(_X)\奥蒂姆\mathbb{Q}\大[\ω_{2k},\ω_{4k-1}\大]/\左(\阵列{d日\,\ω{2k}&=& 0\\d\omega_{4k-1}& =& -\ω{2k}\楔形\ω{20k}+ c{4k}}\右侧)

哪里

  1. 新发电机ω 2k个\ω{2k}评估为统一基本类2k-球体 纤维 S公司 2k个E类 xE类S^{2k}\simeq E_x\hookrightarrow E在每个点上xX(X)x中的x:

    ω 2k个,[S公司 2k个]=1\大\langle\omega_2k},[S^{2k}]\big\rangle\;=\;1
  2. c(c) 4k个A类 X(X)A_X中的c_{4k}是基代数中的某个元素,由(5)是封闭的,代表理性上同调类杯子类的平方ω 2k个\ω{2k}:

    [c(c) 4k个]=[ω 2k个] 2H(H) 4k个(X(X),)\大[c{4k}\大]\;=\;\大[\ω{2k}\大]^2\;\在\;中;H^{4k}\大(十、 \mathbb{Q}\大)

    这一类对球面纤维化进行了合理的分类。

此外,如果球形纤维 E类X(X)E\到X碰巧是单位球束 E类=S公司(V(V))E=S(V)实向量束 V(V)X(X)V到X,然后

  1. 班级ω 2k个\ω{2k}1/21/2合理化的Euler类 χ(V(V)^)\chi(\widehat V)相应(…)等级的减少 V(V)^\宽温V属于V(V)V(V):

    [ω 2k个]=12χ(V(V)^)H(H) 2k个(X(X),)\大[\omega{2k}\big]\;=\;\tfrac{1}{2}\chi\big(\widehat V\big)\;\在\;中;H^{2k}\大(X,\mathbb{Q}\大)
  2. 班级c(c) 4k个c{4k}1/41/4合理化的k个k个第个蓬特里亚金类 第页 k个(V(V))p_k(V)属于V(V)V(V):

    [c(c) 4k个]=14第页 k个(V(V))H(H) 4k个(X(X),).\大[c{4k}\大]\;=\;\tfrac{1}{4}p_k(V)\;\在\;中;H^{4k}\大(X,\mathbb{Q}\大)\,.

这可以发现为Félix-Halperin-Tomas 00,15,示例4,p.202,另请参见Félix-Oprea-Tanré16号提案。2.3.纤维整体(4)后面是本道具。.

备注

请注意Prop中的Sullivan球形纤维模型。不是一般的最小值沙利文模型。

例如分类空间 B类 SO公司 ( 8 ) B SO(8) 属于SO(8)具有不可分解性Euler类发电机χ 8\智利_8方程式d日ω 7=χ 8d\omega_7=\chi_8 (2)用于普遍的7种纤维S公司 7SO公司(8)B类SO公司(8)S^7\slash SO(8)\ to B SO(八)违反了Sullivan极小条件(该条件要求右侧至少是生成器的二进制楔形乘积,或者等价于新生成器的阶ω 7\欧米伽_7大于任何以前的发电机)。

但是沙利文在《道具》中的模特儿。相对的最小模型,相对于基地的沙利文模型。

这尤其意味着这些模型的新生成器反映了-扭转 相对同伦群?,但不是在一般的非扭转绝对同伦群中。

球面有理映射空间的关系

根据一般事实(参见∞-作用)球形纤维,如(6)按地图分类到分类空间 B类Aut(奥特)(S公司 n个)B自闭症(S^n)自同构∞群 Aut(奥特)(S公司 n个)地图(S公司 n个,S公司 n个)Aut(S^n)\hookrightarrow映射在内部映射空间S公司 n个序号对自身而言,这就是连接的组件对应于 ±1\下午1点

Aut公司(S公司 n个)=地图 ±1(S公司 n个,S公司 n个).Aut(S^n)\;=\;地图{\pm 1}\big(S^n,S^n\big)\,.

因此,球面纤维由同伦拉回

(6)S公司 n个 E类 S公司 n个Aut(奥特)(S公司 n个) () X(X) c(c) B类Aut(奥特)(S公司 n个)\阵列{序号&\长向右箭头&E类&\长向右箭头&S^{n}\slash Aut(S^n)\\&& \大\向下箭头&{}{(铅)}&\大\向下箭头\\&& X(X)&\下划线{c}{\longrightarrow}&出生日期(S^n)}

沿分类图的通用球面纤维c(c)c(c).

它们的有理同伦类型连接的组件映射空间由提供映射空间的Sullivan模型:

提议

n个n\in\mathbb{n}成为自然数(f):S公司 n个S公司 n个f\冒号S^n \到S^n连续函数来自n维球面对自身而言。然后连接的组件 地图 (f)(S公司 n个,S公司 n个)地图_f\big(S^n,S^n\big)映射空间包含此地图的具有以下内容理性的 同伦型:

(7)地图 (f)(S公司 n个,S公司 n个) {S公司 n个×S公司 n个1 | n个即使,((f))=0 S公司 2n个1 | n个即使,((f))0 S公司 n个 | n个古怪的Maps_f\big(S^n,S^n\big)\;\simeq_{\mathbb{Q}}\;\左\{\阵列{S^n\times S^{n-1}&\vert&n\,\text{even}\,,度(f)=0\\S^{2n-1}&\vert&n\,\text{even}\,,deg(f)\neq 0\\S^n&\转换&n\,\text{奇数}}\对。

哪里((f))度(f)属于(f)(f).

(莫勒-劳森85,实施例2.5,Cohen-Voronov 05,引理5.3.5)

备注

此处道具。和道具。是相同情况的两个方面:

对于n个=2k个+1n=2k+1一个奇数理性的Euler类 (3)球面纤维的类是有理分类映射到S公司 2k个+1S^{2k+1}在里面(7);

对于n个=2k个n=2k一个偶数理性的蓬特里亚金类 (?)球面纤维的类是有理分类映射到S公司 4k个1S^{4k-1}在里面(7).

以下示例沙利文模型在里面有理同伦理论:

工具书类

上次修订时间:2024年3月4日23:23:04。请参阅历史获取所有贡献的列表。