[논문 리뷰] Coincidence free pairs of maps

Ulrich Koschorke|ArXiv.org|2006. 06. 01.

Advanced Topology and Set Theory참고 문헌 15인용 수 3

한 줄 요약

이 논문은 다각형 사이의 일치점의 최소 수를 측정하기 위해 $ N^\#(f_1,f_2) $라는 강력한 니엘센 수를 도입함으로써 위상적 일치 이론을 발전시킨다. 또한 일치가 없는 쌍을 통한 호모토피 집합의 필터링을 수립한다. 실수 및 복소 사영 공간으로의 사상에 대해, 일치가 없는 쌍을 갖는 호모토피 클래스의 집합이 부분군을 이룬다는 것을 증명하고, 안정 범위에서 $ \pi_m^c(\mathbb{K}P(n')) = 0 $임을 명시적인 계산을 통해 보여주며, 특정 경우에 $ \pi_m^{(2)}(\mathbb{K}P(n')) \cong \mathbb{Z}_2 $임을 밝힌다.

ABSTRACT

This paper centers around two basic problems of topological coincidence theory. First, try to measure (with help of Nielsen and minimum numbers) how far a given pair of maps is from being loose, i.e. from being homotopic to a pair of coincidence free maps. Secondly, describe the set of loose pairs of homotopy classes. We give a brief (and necessarily very incomplete) survey of some old and new advances concerning the first problem. Then we attack the second problem mainly in the setting of homotopy groups. This leads also to a very natural filtration of all homotopy sets. Explicit calculations are carried out for maps into spheres and projective spaces.

연구 동기 및 목표

• 호모토피 하에 일치점의 최소 수를 측정하고, 니엘센 수와 같은 위상적 불변량과의 관계를 규명한다.
• 일치가 없는 대표 쌍을 갖는 사상의 호모토피 클래스 집합을 특성화한다.
• 일치가 없는 쌍의 존재에 기반한 호모토피 집합의 필터링을 개발한다.
• 특히 $ \mathbb{R}P(n') $ 와 $ \mathbb{C}P(n') $ 에 대해, 구와 사영 공간에서의 명시적 예제를 계산한다.

제안 방법

• 경로 공간 $ E(f_1,f_2) $ 를 통한 일치집합의 분해로부터 유도된 강력한 니엘센 수 $ N^\#(f_1,f_2) $ 를 도입한다.
• 일치 이론으로의 니엘센 고정점 동치의 일반화를 위해 $ \widetilde{g}: C(f_1,f_2) \to E(f_1,f_2) $ 라는 사상을 사용한다.
• 안정 호모토피 이론과 스텝을 적용하여 $ \partial_\mathbb{R} $ 를 분석하고, 이를 자기교차 불변량과 연결한다.
• 특성 클래스를 활용하여 $ \mathbb{K}P(n') $ 로의 사상이 구상으로 올라가는 조건을 결정함으로써, 일치가 없는 쌍의 구성에 기여한다.
• 구성 공간의 정확한 수열과 피브어 백열을 이용하여 $ \widetilde{C}_2(N) $ 의 호모토피 군과 $ \pi_m^{(2)}(N) $ 의 관계를 규명한다.
• 토다의 표와 알려진 안정 호모토피 군을 적용하여 $ \pi_m^{(2)}(\mathbb{R}P(n')) $ 와 $ \pi_m^c(\mathbb{R}P(n')) $ 을 계산한다.

실험 결과

연구 질문

• RQ1 호모토피 하에 사상 쌍의 일치점의 최소 수는 무엇이며, 니엘센 수와 같은 위상 불변량과 어떤 관계가 있는가?
• RQ2 어떤 호모토피 클래스의 사상 쌍이 일치가 없는 대표 쌍을 갖는가?
• RQ3 사영 공간으로의 사상의 호모토피 클래스 집합은 일치가 없는 쌍의 존재에 의해 어떻게 필터링될 수 있는가?
• RQ4 $ \pi_m^{(2)}(\mathbb{K}P(n')) $ 의 구조는 무엇이며, 전체 호모토피 군 $ \pi_m(\mathbb{K}P(n')) $ 과 어떻게 비교되는가?
• RQ5 표준 사영 $ p: S^{n+d-1} \to \mathbb{K}P(n') $ 가 단면을 갖는 조건은 무엇이며, 이는 일치가 없는 쌍의 존재에 어떤 영향을 미치는가?

주요 결과

• 만약 $ M = S^m $ 이면, 일치가 없는 쌍을 갖는 호모토피 클래스의 집합은 $ \pi_m^c(\mathbb{K}P(n')) \oplus \pi_m^c(\mathbb{K}P(n')) $ 와 동형이며, 이는 $ \pi_m(\mathbb{K}P(n')) $ 의 부분군이다.
• 만약 $ \mathbb{K} = \mathbb{R} $ 이고 $ n' $ 이 홀수이면 $ \pi_m^{(2)}(\mathbb{R}P(n')) = \pi_m(\mathbb{R}P(n')) $ 이지만, $ n' $ 이 짝수이면 $ \pi_m^{(2)}(\mathbb{R}P(n')) $ 는 엄밀히 더 작다.
• $ m < 2n - 2 $ 이면 $ \ker \partial_\mathbb{R} = \{ z \in \pi_m(S^n) \mid (1 + (-1)^n) \cdot z = 0 \} $ 이다. 이는 스텝과 자기교차 불변량을 연결한다.
• 명시적 계산을 통해 $ \pi_9^c(\mathbb{R}P(6)) = 0 $, $ \pi_9^{(2)}(\mathbb{R}P(6)) \cong \mathbb{Z}_2 $, 그리고 $ \pi_9(\mathbb{R}P(6)) \cong \mathbb{Z}_{24} $ 임을 확인한다.
• 유사하게 $ \pi_{17}^c(\mathbb{R}P(10)) = 0 $, $ \pi_{17}^{(2)}(\mathbb{R}P(10)) \cong \mathbb{Z}_2 $, 그리고 $ \pi_{17}(\mathbb{R}P(10)) \cong \mathbb{Z}_{240} $ 임을 토다의 표로 확인한다.
• 구성 공간의 호모토피 군에서의 사상 $ p_{2,2*} \circ p_{2,1*}^{-1} $ 는 중심적인 군 동형사상 $ c $ 를 실현하며, 이는 느슨한 쌍을 특성화하는 데 핵심적이다.