[논문 리뷰] The Borsuk-Ulam property for homotopy classes of selfmaps of surfaces of Euler characteristic zero

Daciberg Lima Gonçalves, John Guaschi외 1명|arXiv (Cornell University)|2016. 08. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 13

한 줄 요약

이 논문은 오일러 표오수 0을 가진 표면—특히 2토러스(T²)와 클라인 병(K²)—에 대해 자유 호환(자유 인벌루션) 하에서 자기 사상의 호모토피 유형에 대한 보르수크-울람 성질을 조사한다. 브레이드 군 이론과 기본군의 준동형사상(호모모르피즘)을 사용하여 어떤 호모토피 유형이 이 성질을 만족하는지 분류한다: 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.

연구 동기 및 목표

• 오일러 표오수가 0인 표면에서 자유 인벌루션 하에서 자기 사상의 호모토피 유형 중 보르수크-울람 성질을 만족하는 것들을 이해한다.
• 보르수크-울람 문제의 정밀화: 모든 대표자 f ∈ β에 대해 f(τ(x)) = f(x) 를 만족하는 어떤 x 가 존재하는가?
• M = N = T² 또는 K² 이고 자유 인벌루션 τ 가 존재할 때, 보르수크-울람 성질을 가진 호모토피 유형의 완전한 분류를 제공한다.
• 클라인 병에 대해 보르수크-울람 성질과 그 기본 겹침표면(유니버설 커버)인 토러스로의 올리프팅 성질 간의 연결 고리를 설정한다.
• 브레이드 군, 기본군, 준동형사상을 포함한 대수적 위상수학 도구를 사용하여, 군론적 조건으로 성질를 특성화한다.

제안 방법

• 대상 표면 N 의 순수 2문자 브레이드 군과 전체 2문자 브레이드 군을 사용하여 호모토피 유형에 대한 보르수크-울람 성질을 수립한다.
• 기본군 π₁(M) 과 궤도 공간 M/τ 을 사용하여 보르수크-울람 조건을 군 준동형사상과 정확한 수열과 연결한다.
• π₁(T²) ≅ ℤ ⋊ ℤ 에 대한 유도된 준동형사상 β# 를 정수 행렬로 표현하여, 방향을 유지하거나 뒤집는 인벌루션에 대해 보르수크-울람 성질을 결정한다.
• 피복 공간 이론과 올리프팅 기준을 적용: K²의 경우, 지도 β 가 보르수크-울람 성질을 가진다는 것은 T² → K² 의 이중 피복을 통해 토러스로 올리프팅될 때 성립한다.
• 브레이드 군 B₂(N) 과 P₂(N) 과 대칭군 S₂ 를 포함하는 짧은 정확한 수열을 사용하여 호모토피 올리프팅과 궤도 구조를 모델링한다.
• P₂(K²) 와 B₂(K²) 의 원소에 대한 군론적 조건을 사용하여 보르수크-울람 조건을 만족하는 지도의 존재를 검증한다.

실험 결과

연구 질문

• RQ1 자유 방향 유지 인벌루션 τ 를 가진 2토러스 T² 에 대해, β ∈[T², T²] 의 어떤 호모토피 유형이 보르수크-울람 성질을 가질까?
• RQ2 자유 방향 뒤집기 인벌루션 τ₂ 를 가진 T² 에 대해, β ∈[T², T²] 의 어떤 호모토피 유형이 보르수크-울람 성질을 가지며, 이를 어떻게 대수적으로 특성화할 수 있을까?
• RQ3 클라인 병 K² 의 자기 사상에 대해 보르수크-울람 성질은 그 사상이 토러스로 올리프팅되는지 여부에 따라 달라지는가?
• RQ4 T² 에 존재하는 자유 인벌루션의 동치류는 보르수크-울람 성질을 가진 호모토피 유형의 분류에 어떻게 影響을 미치는가?
• RQ5 오일러 표오수가 0인 표면에 대해 보르수크-울람 성질과 기본군에 유도된 준동형사상 간의 관계는 무엇인가?

주요 결과

• 자유 방향 유지 인벌루션 τ 를 가진 2토러스 T² 에서, β ∈[T², T²] 의 어떤 호모토피 유형도 보르수크-울람 성질을 가지지 않는다.
• T² 에서 자유 방향 뒤집기 인벌루션 τ₂ 에 대해, 호모토피 유형 β 가 보르수크-울람 성질을 가질 조건은 유도된 행렬 (βᵢⱼ) 가 (β₁,₁, β₂,₁) ≠ (0,0) 이고 β₁,₂, β₂,₂ 가 모두 짝수일 때이다.
• 동치류에 대해 유일하게 하나의 자유 방향 뒤집기 인벌루션 유형만 존재하므로, 이 분류는 모든 이러한 인벌루션에 대해 동일하게 적용된다.
• 클라인 병 K² 에 대해, 호모토피 유형 β ∈[K², K²] 가 자유 인벌루션 τ 에 대해 보르수크-울람 성질을 가질 조건은 T² → K² 의 이중 피복을 통해 토러스로 올리프팅될 때이다.
• 올리프팅 조건은 유도된 준동형사상 β# : ℤ ⋊ ℤ → ℤ ⋊ ℤ 가 군 준동형사상 분류에서 유형 B 인 것과 동치이다.
• K² 의 호메오모르피즘은 보르수크-울람 성질을 유지한다: f₁ 이 토러스로 올리프팅된다면, f₂ = f₁ ◦ H⁻¹ 도 올리프팅되므로 성질은 호메오모르피즘에 대해 불변이다.