[论文解读] Brouwer degree, domination of manifolds, and groups presentable by products

Pierre de la Harpe|arXiv (Cornell University)|Sep 21, 2016

Geometric and Algebraic Topology参考文献 32被引用 5

一句话总结

本文通過群可表示為積的觀念，研究了透過非零次數的連續映射實現流形的支配關係，將此拓撲概念與群論性質聯繫起來。研究結果顯示，某些群——特別是不可約、無限且非仿射的考克斯eter群，以及特定的線性代數群——無法被分解為交換無限子群的積，其障礙來自布勞 Werer 次數與單純體積。

ABSTRACT

For oriented connected closed manifolds of the same dimension, there is a transitive relation: $M$ dominates $N$, or $M \ge N$, if there exists a continuous map of non-zero degree from $M$ onto $N$. Section 1 is a reminder on the notion of degree (Brouwer, Hopf), Section 2 shows examples of domination and a first set of obstructions to domination due to Hopf, and Section 3 describes obstructions in terms of Gromov's simplicial volume. In Section 4 we address the particular question of when a given manifold can (or cannot) be dominated by a product. These considerations suggest a notion for groups (fundamental groups), due to D. Kotschick and C. Löh: a group is presentable by a product if it contains two infinite commuting subgroups which generate a subgroup of finite index. The last section shows a small sample of groups which are not presentable by products; examples include appropriate Coxeter groups.

研究动机与目标

• 理解一個流形透過非零次數的連續映射支配另一個流形的條件。
• 研究支配關係的拓撲與幾何障礙，特別是與單純體積及基本群結構的關聯。
• 描述哪些群可表示為積——即包含兩個生成有限指數子群的無限交換子群。
• 識別出不可表示為積的群類別，特別是在考克斯eter群與線性代數群的脈絡下。
• 將幾何不變量如單純體積與次數理論，連結至群論性質，例如可分解性與李代數中的理想結構。

提出的方法

• 使用布勞 Werer 次數理論處理同維數的定向、緊緻、連通流形之間的光滑映射。
• 應用霍普夫的支配障礙理論，透過次數非零與基本類上誘導的同調映射。
• 運用格羅莫夫的單純體積作為拓撲障礙：若一一流形具有正單純體積，則無法被任一相同維數的積流形支配。
• 分析線性代數群的李代數結構，以判斷其是否可透過存在交換非平凡理想而表示為積。
• 應用扎里斯基稠密性概念，將代數群性質提升至離散子群，如鮑姆斯拉格-索利塔群與 $\mathrm{SL}_n(\mathbb{Z})$。
• 利用考克斯eter群在保持蒂茨形式的正交群中的幾何表示，透過李代數理想結構證明其不可表示為積。

实验结果

研究问题

• RQ1 哪些流形可被積流形支配？其拓撲障礙為何？
• RQ2 基本群的哪些條件會阻止流形被積流形支配？
• RQ3 哪些有限生成群可表示為積？其可檢測性如何透過李代數或群論結構實現？
• RQ4 單純體積與布勞 Werer 次數如何共同作用以阻礙積流形對支配關係的實現？
• RQ5 不可約、無限且非仿射的考克斯eter群是否可表示為積？其阻止此一性質的結構特徵為何？

主要发现

• 具有正單純體積的流形無法被任何同維數的流形積所支配。
• 實仿射群 $\mathrm{Af}_1(\mathbb{R})$ 的李代數不可表示為積，因其僅有一個非平凡理想，進而推得 $\mathrm{BS}(1,n)$（$|n| \geq 2$）亦不可表示為積。
• $\mathrm{SL}_n(\mathbb{Z})$（$n \geq 2$）不可表示為積，因其李代數中無非平凡交換理想。
• 半直積 $V^r \rtimes \mathfrak{g}$（$\mathfrak{g}$ 為單李代數且在 $V^r$ 上不可約作用）不可表示為積，因其中心化子與理想結構所致。
• 不可約、無限且非仿射的考克斯eter群不可表示為積，因其對應李代數形式為 $V^r \rtimes \mathfrak{g}$，且無交換非平凡理想。
• 扎里斯基稠密於 $\mathrm{SL}_n(\mathbb{R})$ 的子群繼承不可表示為積的性質，使結果可推廣至離散算術群。