[论文解读] The Borsuk-Ulam property for homotopy classes of selfmaps of surfaces of Euler characteristic zero

Daciberg Lima Gonçalves, John Guaschi+1 more|arXiv (Cornell University)|Aug 1, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用 13

一句话总结

本文研究了在自由对合作用下，欧拉示性数为零的曲面——即2-环面（T²）和克莱因瓶（K²）——上自映射同伦类的Borsuk-Ulam性质。通过辫群理论与基本群同态，本文对满足该性质的同伦类进行了分类：对于T²上保持方向的对合，该性质成立当且仅当诱导矩阵满足(β₁,₁, β₂,₁) ≠ (0,0)且β₁,₂, β₂,₂均为偶数；对于K²，当且仅当同伦类可提升至环面时，该性质成立。结果为这些曲面在自由对合作用下的同伦分类提供了完整描述。

ABSTRACT

Let M and N be topological spaces such that M admits a free involution $$ au $$ τ . A homotopy class $$\beta \in [ M , N ] $$ β ∈ [ M , N ] is said to have the Borsuk–Ulam property with respect to $$ au $$ τ if for every representative map $$f:\,M ightarrow N$$ f : M → N of $$\beta $$ β , there exists a point $$x \in M$$ x ∈ M such that $$f ( au ( x) ) = f(x)$$ f ( τ ( x ) ) = f ( x ) . In the case where M is a compact, connected manifold without boundary and N is a compact, connected surface without boundary different from the 2-sphere and the real projective plane, we formulate this property in terms of the pure and full 2-string braid groups of N, and of the fundamental groups of M and the orbit space of M with respect to the action of $$ au $$ τ . If $$M=N$$ M = N is either the 2-torus $$\mathbb {T}^2$$ T 2 or the Klein bottle $$\mathbb {K}^2$$ K 2 , we then solve the problem of deciding which homotopy classes of [M, M] have the Borsuk–Ulam property. First, if $$ au :\,\mathbb {T}^2 ightarrow \mathbb {T}^2$$ τ : T 2 → T 2 is a free involution that preserves orientation, we show that no homotopy class of $$[ \mathbb {T}^2, \mathbb {T}^2]$$ [ T 2 , T 2 ] has the Borsuk–Ulam property with respect to $$ au $$ τ . Second, we prove that up to a certain equivalence relation, there is only one class of free involutions $$ au :\,\mathbb {T}^2 ightarrow \mathbb {T}^2$$ τ : T 2 → T 2 that reverse orientation, and for such involutions, we classify the homotopy classes in $$[\mathbb {T}^2, \mathbb {T}^2]$$ [ T 2 , T 2 ] that have the Borsuk–Ulam property with respect to $$ au $$ τ in terms of the induced homomorphism on the fundamental group. Finally, we show that if $$ au :\,\mathbb {K}^2 ightarrow \mathbb {K}^2$$ τ : K 2 → K 2 is a free involution, then a homotopy class of $$[\mathbb {K}^2, \mathbb {K}^2]$$ [ K 2 , K 2 ] has the Borsuk–Ulam property with respect to $$ au $$ τ if and only if the given homotopy class lifts to the torus.

研究动机与目标

• 理解在欧拉示性数为零的曲面上，哪些自映射同伦类在自由对合作用下满足Borsuk-Ulam性质。
• 解决Borsuk-Ulam问题的细化：对任意代表f∈β，何时存在x使得f(τ(x)) = f(x)？
• 为M = N = T²或K²且自由对合τ的情形，提供具有Borsuk-Ulam性质的同伦类的完整分类。
• 建立克莱因瓶上Borsuk-Ulam性质与到万有覆叠（即环面）的提升性质之间的联系。
• 运用代数拓扑工具——辫群、基本群及同态——以群论条件刻画该性质。

提出的方法

• 利用目标曲面N的纯2-辫群与全2-辫群，对同伦类的Borsuk-Ulam性质进行形式化。
• 通过基本群π₁(M)与轨道空间M/τ，将Borsuk-Ulam条件与群同态及正合列联系起来。
• 分析π₁(T²) ≅ ℤ ⋊ ℤ上诱导同态β#的表示，即由整数矩阵给出的形式，以确定保持方向与反向对合下的Borsuk-Ulam性质。
• 应用覆叠空间理论与提升判定准则：对于K²，当且仅当通过双覆盖T² → K²，映射β可提升至环面时，其具有Borsuk-Ulam性质。
• 利用涉及辫群B₂(N)与P₂(N)，以及对称群S₂的短正合列，对同伦提升与轨道结构进行建模。
• 通过P₂(K²)与B₂(K²)中元素的群论条件，验证满足Borsuk-Ulam条件的映射的存在性。

实验结果

研究问题

• RQ1 对于T²上的自由保持方向对合τ，哪些同伦类β ∈[T², T²]具有Borsuk-Ulam性质？
• RQ2 对于T²上的自由反向对合τ，哪些同伦类β ∈[T², T²]具有Borsuk-Ulam性质？其代数特征如何？
• RQ3 K²上自映射的Borsuk-Ulam性质是否依赖于映射是否可提升至环面？
• RQ4 T²上自由对合的等价类如何影响具有Borsuk-Ulam性质的同伦类的分类？
• RQ5 对于欧拉示性数为零的曲面，Borsuk-Ulam性质与基本群上诱导同态之间有何关系？

主要发现

• 对于具有自由保持方向对合τ的2-环面T²，不存在任何同伦类β ∈[T², T²]满足Borsuk-Ulam性质。
• 对于T²上的自由反向对合τ₂，同伦类β具有Borsuk-Ulam性质当且仅当诱导矩阵(βᵢⱼ)满足(β₁,₁, β₂,₁) ≠ (0,0)且β₁,₂, β₂,₂均为偶数。
• 在等价意义下，T²上仅存在一类自由反向对合，因此该分类对所有此类对合均适用。
• 对于克莱因瓶K²，同伦类β ∈[K², K²]在自由对合τ作用下具有Borsuk-Ulam性质，当且仅当β通过双覆盖T² → K²可提升至环面。
• 该提升条件等价于诱导同态β# : ℤ ⋊ ℤ → ℤ ⋊ ℤ 属于群同态分类中的B型。
• K²的同胚保持Borsuk-Ulam性质：若f₁可提升至环面，则f₂ = f₁ ◦ H⁻¹也可提升，因此该性质在同胚下不变。