[论文解读] Closed manifolds admitting no special generic maps whose codimensions are negative and their cohomology rings

Naoki Kitazawa|arXiv (Cornell University)|Aug 10, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用 5

一句话总结

本文確立了閉流形在什麼條件下無法映射到負codimension的歐幾里得空間中成為特殊通用映射，並以上同調環結構作為關鍵不變量。研究證明，滿足特定上同調條件的流形——特別是存在有界度數的類的非零上積——無法映射到低維歐幾里得空間中成為特殊通用映射，從而推廣了對異常球面與實射影空間的已知結果。

ABSTRACT

Special generic maps are higher dimensional versions of Morse functions with exactly two singular points, characterizing spheres topologically except $4$-dimensional cases: in these cases standard spheres are characterized. Canonical projections of unit spheres are special generic. In suitable cases, it is easy to construct special generic maps on manifolds represented as connected sums of products of spheres for example. It is an interesting fact that these maps restrict the topologies and the differentiable structures admitting them strictly in various cases. For example, exotic spheres, which are not diffeomorphic to standard spheres, admit no special generic map into some Euclidean spaces in considerable cases. In general, it is difficult to find (families of) manifolds admitting no such maps of suitable classes. The present paper concerns a new result on this work where key objects are products of cohomology classes of the manifolds. We can see that manifolds such as closed symplectic manifolds and real projective spaces admit no special generic maps into any connected nin-closed manifold in considerable cases.

研究动机与目标

• 識別閉流形上特殊通用映射存在的拓撲與微分拓撲障礙。
• 研究上同調環結構——特別是非零上積——如何限制此類映射的存在性。
• 將已知關於異常球面與實射影空間的結果推廣至更廣泛的流形類別。
• 建立一個上同調條件，記為 $\mathrm{CohP}_{A,m,n_0}^{}$，其暗示特殊通用映射的不存在性。
• 提供一個框架，透過連通和與乘積構造出新的流形族，使其不具備特殊通用映射。

提出的方法

• 引入上同調條件 $\mathrm{CohP}_{A,m,n_0}$，要求在 $H^*(X;A)$ 中存在一組上同調類，其個別度數有界，總度數至少為 $n_0$，且其上積非零。
• 將此條件應用於檢測 $\mathbb{R}^n$ 中 $n < m$ 時特殊通用映射的不存在性。
• 利用流形的連通和與乘積結構，傳播特殊通用映射的不存在性。
• 運用嵌入技術於圓盤與流形的乘積，以在條件滿足時構造特殊通用映射。
• 利用已知關於異常球面與實射影空間的結果作為上同調障礙的基礎案例。
• 結合微分拓撲工具（如摺疊映射與特殊通用映射）與代數拓撲方法，透過上積結構進行分析。

实验结果

研究问题

• RQ1 在何種上同調條件下，閉流形無法映射到負codimension的歐幾里得空間中成為特殊通用映射？
• RQ2 閉辛流形與實射影空間的上同調環如何阻礙特殊通用映射的存在性？
• RQ3 能否利用上同調不變量，將特殊通用映射的不存在性從異常球面推廣至更廣泛的流形類別？
• RQ4 流形的連通和與乘積在維持或破壞特殊通用映射存在性方面發揮何種作用？
• RQ5 上同調條件 $\mathrm{CohP}_{A,m,n_0}$ 在多大程度上可作為特殊通用映射的完整障礙？

主要发现

• 滿足上同調條件 $\mathrm{CohP}_{A,m,n_0}$ 的閉流形，無法映射到 $\mathbb{R}^n$ 中成為特殊通用映射，其中 $n < m$。
• 七維實射影空間及同調與 $\mathbb{R}P^7$ 同構的某些閉流形，無法映射到 $\mathbb{R}^n$ 中成為特殊通用映射，其中 $n = 1,2,3,4,5,6$。
• 28 種類型中的 14 種異常七維球面，無法映射到 $\mathbb{R}^{m-3}, \mathbb{R}^{m-2}, \mathbb{R}^{m-1}$ 中成為特殊通用映射，其中 $m=7$。
• 條件 $\mathrm{Sp}_{\geq n_0}$——即對所有 $n_0 \leq n < m$，存在映射到 $\mathbb{R}^n$ 的特殊通用映射——在特定連通和與乘積下保持不變。
• 在維度約束下，若 $M'$ 滿足 $\mathrm{Sp}_{\geq n_0'}$，且 $F$ 為緊緻李群或某個管狀鄰域的邊界，則流形乘積 $M' \times F$ 可能存在映射到 $\mathbb{R}^{n_0 + k}$ 的特殊通用映射。
• 當上積的度數約束被維持時，上同調障礙 $\mathrm{CohP}_{A,m,n_0}$ 在乘積與連通和下保持不變。