Using geometric arguments, we compute the group of homotopy classes of maps from a closed $(n+1)$-dimensional manifold to the $n$-sphere for $n \geq 3$. Our work extends results from Kirby, Melvin and Teichner for closed oriented 4-manifolds and from Konstantis for closed $(n+1)$-dimensional spin manifolds, considering possibly non-orientable and non-spinnable manifolds. In the process, we introduce two types of manifolds that generalize the notion of odd and even 4-manifolds. Furthermore, for the case that $n \geq 4$, we discuss applications for rank $n$ spin vector bundles and obtain a refinement of the Euler class in the cohomotopy group that fully obstructs the existence of a non-vanishing section.
论文ID : 2307.03805标题 : A geometric computation of cohomotopy groups in co-degree one作者 : Michael Jung, Thomas O. Rot分类 : math.GT (几何拓扑), math.AT (代数拓扑)发表时间 : 2023年7月 (arXiv预印本，最后修订于2024年3月25日)论文链接 : https://arxiv.org/abs/2307.03805 本文使用几何论证计算了从闭( n + 1 ) (n+1) ( n + 1 ) n n n n ≥ 3 n \geq 3 n ≥ 3 ( n + 1 ) (n+1) ( n + 1 ) n ≥ 4 n \geq 4 n ≥ 4 n n n
上同伦集π n ( X ) = [ X n + k , S n ] \pi^n(X) = [X^{n+k}, S^n] π n ( X ) = [ X n + k , S n ] ( n + k ) (n+k) ( n + k ) X X X n n n n n n
对于k = 1 k=1 k = 1 n ≥ 3 n \geq 3 n ≥ 3 π n ( X ) \pi^n(X) π n ( X ) 0 → H n + 1 ( X ; Z 2 ) / ( S q 2 ∘ r ) ( H n − 1 ( X ; Z ) ) → π n ( X ) → H n ( X ; Z ) → 0 0 \to H^{n+1}(X;\mathbb{Z}_2)/(Sq^2 \circ r)(H^{n-1}(X;\mathbb{Z})) \to \pi^n(X) \to H^n(X;\mathbb{Z}) \to 0 0 → H n + 1 ( X ; Z 2 ) / ( S q 2 ∘ r ) ( H n − 1 ( X ; Z )) → π n ( X ) → H n ( X ; Z ) → 0
虽然Taylor等人使用Postnikov塔的同伦技术研究了相应的群扩张，但当X X X ( n + 1 ) (n+1) ( n + 1 )
完善k = 1 k=1 k = 1 n ≥ 3 n \geq 3 n ≥ 3 ( n + 1 ) (n+1) ( n + 1 ) π n ( X ) \pi^n(X) π n ( X )
本文的主要贡献包括：
完整的几何计算框架 ：为所有闭( n + 1 ) (n+1) ( n + 1 ) π n ( X ) \pi^n(X) π n ( X ) 流形分类的推广 ：引入了两类流形（I型和II型），推广了奇偶4-流形的概念主要定理 ：建立了正规框架链环与扭系数同调之间的关系Pin− ^- − ：证明了序列分裂当且仅当流形承认Pin− ^- − 向量丛应用 ：对于n ≥ 4 n \geq 4 n ≥ 4 设X X X ( n + 1 ) (n+1) ( n + 1 ) n ≥ 3 n \geq 3 n ≥ 3 π n ( X n + k ) ≅ F k ( X ) \pi^n(X^{n+k}) \cong F_k(X) π n ( X n + k ) ≅ F k ( X ) F k ( X ) F_k(X) F k ( X ) X X X k k k X × [ 0 , 1 ] X \times [0,1] X × [ 0 , 1 ]
对于函数( w 1 2 + w 2 ) : H 2 ( X ; Z 2 ) → Z 2 (w_1^2 + w_2): H_2(X;\mathbb{Z}_2) \to \mathbb{Z}_2 ( w 1 2 + w 2 ) : H 2 ( X ; Z 2 ) → Z 2 r : H 2 ( X ; o X ) → H 2 ( X ; Z 2 ) r: H_2(X;o_X) \to H_2(X;\mathbb{Z}_2) r : H 2 ( X ; o X ) → H 2 ( X ; Z 2 )
I型流形 ：( w 1 2 + w 2 ) ∘ r ≢ 0 (w_1^2 + w_2) \circ r \not\equiv 0 ( w 1 2 + w 2 ) ∘ r ≡ 0 II型流形 ：( w 1 2 + w 2 ) ∘ r ≡ 0 (w_1^2 + w_2) \circ r \equiv 0 ( w 1 2 + w 2 ) ∘ r ≡ 0 命题2.3 ：如果存在嵌入闭曲面ι : Σ ↪ X \iota: \Sigma \hookrightarrow X ι : Σ ↪ X w 1 ( ν ι ) = 0 w_1(\nu_\iota) = 0 w 1 ( ν ι ) = 0 w 2 ( ν ι ) ≠ 0 w_2(\nu_\iota) \neq 0 w 2 ( ν ι ) = 0 X X X X X X
对于n ≥ 4 n \geq 4 n ≥ 4
I型 ：存在闭曲面Σ ⊂ X \Sigma \subset X Σ ⊂ X ν Σ \nu_\Sigma ν Σ II型 ：所有可定向法丛的闭曲面都有平凡法丛存在自然的遗忘映射：
h : F 1 ( X ) → H 1 ( X ; o X ) h: F_1(X) \to H_1(X; o_X) h : F 1 ( X ) → H 1 ( X ; o X ) 0 → ker ( h ) → F 1 ( X ) → h H 1 ( X ; o X ) → 0 0 \to \ker(h) \to F_1(X) \xrightarrow{h} H_1(X; o_X) \to 0 0 → ker ( h ) → F 1 ( X ) h H 1 ( X ; o X ) → 0
定理1.1（主定理） ：
如果X X X h : F 1 ( X ) → H 1 ( X ; o X ) h: F_1(X) \to H_1(X; o_X) h : F 1 ( X ) → H 1 ( X ; o X ) 如果X X X 0 → Z 2 → F 1 ( X ) → h H 1 ( X ; o X ) → 0 0 \to \mathbb{Z}_2 \to F_1(X) \xrightarrow{h} H_1(X; o_X) \to 0 0 → Z 2 → F 1 ( X ) h H 1 ( X ; o X ) → 0 Ext ( H 1 ( X ; o X ) , Z 2 ) \text{Ext}(H_1(X; o_X), \mathbb{Z}_2) Ext ( H 1 ( X ; o X ) , Z 2 ) w 1 2 ( X ) + w 2 ( X ) w_1^2(X) + w_2(X) w 1 2 ( X ) + w 2 ( X ) 引理3.5 ：子群ker ( h ) ⊂ F 1 ( X ) \ker(h) \subset F_1(X) ker ( h ) ⊂ F 1 ( X ) [ U 1 ] [U_1] [ U 1 ] U 1 U_1 U 1 D D D
引入扭Bockstein同态β k : H k + 1 ( X ; Z 2 ) → H k ( X ; o X ) \beta_k: H_{k+1}(X;\mathbb{Z}_2) \to H_k(X; o_X) β k : H k + 1 ( X ; Z 2 ) → H k ( X ; o X )
定理1.2 ：如果X X X − ^- − − ^- −
可定向情形：所有等价Spin结构与分裂映射一一对应 不可定向情形：所有等价Pin− ^- − 例4.2 ：对于X = R P 4 k X = \mathbb{RP}^{4k} X = RP 4 k k ≥ 1 k \geq 1 k ≥ 1 R P 2 ⊂ R P 4 k \mathbb{RP}^2 \subset \mathbb{RP}^{4k} RP 2 ⊂ RP 4 k w 1 ( ν R P 2 ) = 0 w_1(\nu_{\mathbb{RP}^2}) = 0 w 1 ( ν RP 2 ) = 0 w 2 ( ν R P 2 ) ≠ 0 w_2(\nu_{\mathbb{RP}^2}) \neq 0 w 2 ( ν RP 2 ) = 0 H 1 ( R P 4 k ; o X ) ≅ H 4 k − 1 ( R P 4 k ; Z ) = 0 H_1(\mathbb{RP}^{4k}; o_X) \cong H_{4k-1}(\mathbb{RP}^{4k};\mathbb{Z}) = 0 H 1 ( RP 4 k ; o X ) ≅ H 4 k − 1 ( RP 4 k ; Z ) = 0 F 1 ( R P 4 k ) = 0 F_1(\mathbb{RP}^{4k}) = 0 F 1 ( RP 4 k ) = 0
例5.12 ：对于X = R P n + 1 X = \mathbb{RP}^{n+1} X = RP n + 1
( n + 1 ) m o d 4 (n+1) \bmod 4 ( n + 1 ) mod 4 0 1 2 3 w 1 ( ν R P 2 ) w_1(\nu_{\mathbb{RP}^2}) w 1 ( ν RP 2 ) 0 1 0 1 w 2 ( ν R P 2 ) w_2(\nu_{\mathbb{RP}^2}) w 2 ( ν RP 2 ) 1 1 0 0 类型 I IIb IIa IIa π n ( R P n + 1 ) \pi^n(\mathbb{RP}^{n+1}) π n ( RP n + 1 ) 0 Z 4 \mathbb{Z}_4 Z 4 Z 2 \mathbb{Z}_2 Z 2 Z 2 ⊕ Z 2 \mathbb{Z}_2 \oplus \mathbb{Z}_2 Z 2 ⊕ Z 2
定理7.5 ：设E → X E \to X E → X n ≥ 4 n \geq 4 n ≥ 4 ( L , φ ) (L,\varphi) ( L , φ ) E E E [ L , φ ] = 0 [L,\varphi] = 0 [ L , φ ] = 0 F 1 ( X ) F_1(X) F 1 ( X )
定理1.3 ：设X X X ( n + 1 ) (n+1) ( n + 1 ) n ≥ 4 n \geq 4 n ≥ 4 E → X E \to X E → X n n n e ( E ) = 0 e(E) = 0 e ( E ) = 0 E E E
定理1.4 ：设X X X ( n + 1 ) (n+1) ( n + 1 ) − ^- − n ≥ 4 n \geq 4 n ≥ 4 E → X E \to X E → X n n n E E E e ( E ) e(E) e ( E ) κ ( E ) \kappa(E) κ ( E )
Steenrod (1947) ：建立了基本的上同伦序列Kirby-Melvin-Teichner (2012) ：为闭定向4-流形提供几何证明Konstantis (2020) ：为闭( n + 1 ) (n+1) ( n + 1 ) Taylor (2012) ：使用Postnikov塔的同伦方法本文完成了几何图景，处理了不一定自旋或可定向的流形，并建立了与Pin− ^- −
完整刻画了闭( n + 1 ) (n+1) ( n + 1 ) π n ( X ) \pi^n(X) π n ( X ) 建立了流形类型与上同伦群结构的对应关系 证明了Pin− ^- − 为自旋向量丛的截面问题提供了完全的几何阻碍理论 本工作将代数拓扑中的抽象理论与微分几何中的具体构造联系起来，为理解流形的拓扑性质提供了新的几何视角。
该理论框架可应用于：
向量丛分类问题 流形的拓扑不变量研究 微分几何中的阻碍理论 理论完整性 ：提供了问题的完整几何解决方案技术创新 ：巧妙结合了代数拓扑和微分几何技术结果深刻 ：建立了Pin− ^- − 应用广泛 ：为向量丛理论提供了新工具几何构造 ：通过具体的几何构造避免了抽象的同伦理论分类方法 ：I型/II型流形的分类简洁而有效计算技巧 ：利用扭系数同调处理不可定向情形维数限制 ：结果主要适用于n ≥ 3 n \geq 3 n ≥ 3 技术复杂性 ：某些证明涉及复杂的几何构造应用范围 ：主要集中在理论层面，实际计算仍有挑战本文为几何拓扑和代数拓扑的交叉研究提供了重要贡献，预期将影响相关领域的后续研究，特别是在流形分类和向量丛理论方面。
论文引用了23篇重要文献，涵盖了代数拓扑、微分几何和流形理论的经典结果，为本研究提供了坚实的理论基础。
