[论文解读] Non-zero degree maps between $2n$-manifolds

Haibao Duan, Shicheng Wang|ArXiv.org|Feb 8, 2004

Geometric and Algebraic Topology参考文献 10被引用 21

一句话总结

本文利用 Thom-Pontrjagin 对偶性和交形式，为 (n−1)-連通 2n-流形之間存在非零度映射提供了可計算的必要且充分條件。關鍵結果是：對於 4-流形，當且僅當 L 的交形式同構於 M 的交形式的直和項時，存在從閉合定向 4-流形 M 到單連通 4-流形 L 的度數為 1 的映射；對於一般 k 值，則推廣為矩陣條件。

ABSTRACT

Thom-Pontrjagin constructions are used to give a computable necessary and sufficient condition when a homomorphism $ϕ: H^n(L;Z) o H^n(M;Z)$ can be realized by a map $f:M o L$ of degree $k$ for closed $(n-1)$-connected $2n$-manifolds $M$ and $L$, $n>1$. A corollary is that each $(n-1)$-connected $2n$-manifold admits selfmaps of degree larger than 1, $n>1$. In the most interesting case of dimension 4, with the additional surgery arguments we give a necessary and sufficient condition for the existence of a degree $k$ map from a closed orientable 4-manifold $M$ to a closed simply connected 4-manifold $L$ in terms of their intersection forms, in particular there is a map $f:M o L$ of degree 1 if and only if the intersection form of $L$ is isomorphic to a direct summand of that of $M$.

研究动机与目标

• 確定 (n−1)-連通 2n-流形的上同調群之間的同態何時可由非零度映射實現。
• 為 n>1 時閉合、定向的 (n−1)-連通 2n-流形之間的度數 k 映射存在性，提供必要且充分條件。
• 透過交形式將特徵化推廣至 4-流形，特別是針對映射到單連通 4-流形的情形。
• 證明每一個 (n−1)-連通 2n-流形（當 n>1 時）都存在度數大於 1 的自映射。
• 透過矩陣方程與同倫群，建立此類映射的完整同倫與代數分類。

提出的方法

• 利用 Thom-Pontrjagin 對偶性，將流形之間的映射與上同調與同調上的同態聯繫起來，特別關注 H^n 的自由部分。
• 在 H^n(M) 的自由部分上定義交形式 X_M，並在所選基底下以單位行列式矩陣 A 表示。
• 推導出矩陣條件 P^T A P = kB，其中 P 表徵同調上誘導映射，B 為目標流形的交形式。
• 透過 Whitehead 乘積 [s^n, s^n] 在 π_{2n−1}(S^n) 中引入次級同倫不變量，以考慮 2n-胞腔的非平凡黏合映射。
• 對於 4-流形，證明度數 k 映射 f:M→L 存在的條件等價於矩陣方程 P^T A P = kB，且對 f 的同倫類有額外約束。
• 利用手术與分類結果，證明此類映射的同倫類數有限，且受 π_{2n}(L) 控制。

实验结果

研究问题

• RQ1 給定同態 φ:H^n(L;Z)→H^n(M;Z)，何時可由某個度數非零 k 的映射 f:M→L 產生？
• RQ2 在交形式與同倫不變量上，何種精確代數條件可保證 (n−1)-連通 2n-流形之間度數 k 映射的存在？
• RQ3 對於 4-流形，何時存在從 M 到 L 的度數 1 映射？其與交形式結構有何關聯？
• RQ4 有多少同倫類的映射可實現給定的度數 k 映射？
• RQ5 每一個 (n−1)-連通 2n-流形（當 n>1 時）是否都存在度數大於 1 的自映射？

主要发现

• 在 (n−1)-連通 2n-流形之間，度數 k 映射 f:M→L 存在的充要條件是矩陣 P 滿足 P^T A P = kB，且滿足涉及 Whitehead 乘積的次級同倫條件。
• 對於 4-流形，度數 k 映射 f:M→L 存在的充要條件是 P^T A P = kB，其中 A 和 B 分別為 M 和 L 在所選基底下的交形式。
• 度數 1 映射 f:M→L 存在的充要條件是 L 的交形式同構於 M 的交形式的直和項。
• 每一個 (n−1)-連通 2n-流形（當 n>1 時）都存在度數大於 1 的自映射，此為主定理的推論。
• 實現給定度數 k 映射的同倫類數有限，且與 π_{2n}(L) 的元素一一對應。
• 對於 4-流形，CP²#CP² 和 S²×S² 的情形下 D(M,L) = {0}，而 D(T⁴, #₃S²×S²) = Z，顯示所有整數度數皆可實現。