[논문 리뷰] Nielsen coincidence theory in arbitrary codimensions

Ulrich Koschorke|ArXiv.org|2004. 08. 03.

Advanced Differential Geometry Research참고 문헌 6인용 수 4

한 줄 요약

이 논문은 경로 공간 $E(f_1,f_2)$에서의 정상 bordism을 이용해, 일반적인 계수에 대해 Nielsen 공액 이론을 확장한다. 새로운 불변량인 Nielsen 공액 수 $N(f_1,f_2)$를 도입하며, 이는 $MCC(f_1,f_2) = N(f_1,f_2)$가 성립하는 세 가지 주요 케이스에서 $MCC(f_1,f_2)$의 최소 공액 성분 수에 대한 날카운 하한으로서의 역할을 입증한다. 이는 호모토피에 대한 최소 공액 성분 수의 정확한 하한을 제공한다.

ABSTRACT

Given two maps f_1, f_2 : M^m \longrightarrow N^n between manifolds of the indicated arbitrary dimensions, when can they be deformed away from one another? More generally: what is the minimum number MCC (f_1, f_2) of pathcomponents of the coincidence space of maps f'_1, f'_2 where f'_i is homotopic to f_i, i = 1, 2? Approaching this question via normal bordism theory we define a lower bound N (f_1, f_2) which generalizes the Nielsen number studied in classical fixed point and coincidence theory (where m = n). In at least three settings N (f_1, f_2) turns out to coincide with MCC (f_1, f_2): (i) when m < 2n - 2; (ii) when N is the unit circle; and (iii) when M and N are spheres and a certain injectivity condition involving James-Hopf invariants is satisfied. We also exhibit situations where N (f_1, f_2) vanishes, but MCC (f_1, f_2) is strictly positive.

연구 동기 및 목표

• 고전적 경우($m = n$)를 초월해, 임의의 계수($m \neq n$)로 Nielsen 고정점 및 공액 이론을 일반화하는 것.
• 호모토피에 대한 최소 공액 성분 수 $MCC(f_1,f_2)$의 하한으로서 새로운 Nielsen 유형 불변량 $N(f_1,f_2)$를 정의하는 것.
• $N(f_1,f_2)$가 $MCC(f_1,f_2)$와 같을 조건을 규명하여, 이가 사상의 완화에 대한 완전한 장벽임을 밝히는 것.
• 공액 클래스를 매개하는 경로 성분의 역할을 분석하고, 이들이 정상 bordism 클래스 $\widetilde{\omega}(f_1,f_2)$에 기여하는 방식을 규명하는 것.
• 예를 들어 $N(f_1,f_2) = 0$ 이지만 $MCC(f_1,f_2) > 0$ 인 경우를 구성함으로써, $N(f_1,f_2)$가 일반 계수에서 완전한 장벽이 되지 못할 수 있음을 밝히는 것.

제안 방법

• 경로 공간 $E(f_1,f_2)$를 구성하여, $x \in M$ 이고 $f_1(x)$에서 $f_2(x)$로 향하는 $N$ 안의 경로 $\theta$ 를 포함하는 쌍 $(x, \theta)$ 를 정의함으로써 Reidemeister 클래스를 표현한다.
• Hatcher-Quinn 이론을 이용해, $\widetilde{\varphi} = \text{pr}^*(f_1^*TN - TM)$ 이라 할 때, 정상 bordism 클래스 $\widetilde{\omega}(f_1,f_2) \in \Omega_{m-n}(E(f_1,f_2); \widetilde{\varphi})$ 를 정의한다.
• $\widetilde{\omega}(f_1,f_2)$ 를 $\pi_0(E(f_1,f_2))$ 의 경로 성분 $A$ 에 따라 분해하고, 이들 중 비자명한(비자명한 bordism) 성분의 수로 $N(f_1,f_2)$ 를 정의한다.
• 경로 공간 $E(f_1,f_2)$를 통한 일반화된 Whitney 기법을 이용해, $N(f_1,f_2) = 0$ 이면 공액을 제거할 수 있는 호모토피 $f_i \sim f_i'$ 를 구성한다.
• 프레임드 bordism 와 안정 호모토피 이론을 적용하여 $\Gamma_k$ 사상과 그 반사 및 부호 변화에 따른 자기 교차 불변량의 행동을 분석한다.
• Toda 표와 EHP 수열을 이용해 특정 안정 호모토피 군에서 $\Gamma_k$ 호모모르피즘의 단사성과 비단사성을 검증한다.

실험 결과

연구 질문

• RQ1 언제 $N(f_1,f_2)$ 가 최소 공액 성분 수 $MCC(f_1,f_2)$ 와 같아지는가?
• RQ2 어떤 계수 조건에서 $N(f_1,f_2)$ 가 두 사상의 완화에 대한 완전한 장벽이 되는가?
• RQ3 $N(f_1,f_2)$ 가 0이지만 $MCC(f_1,f_2)$ 가 양수일 수 있는가? 이는 Nielsen 수가 일반 계수에서 비완화 가능성을 탐지하지 못할 수 있음을 시사한다.
• RQ4 Reidemeister 클래스에 대응하는 $E(f_1,f_2)$ 의 경로 성분은 정상 bordism 클래스 $\widetilde{\omega}(f_1,f_2)$ 의 구조에 어떻게 영향을 미치는가?
• RQ5 $\Gamma_k$ 호모모르피즘의 행동은 안정 호모토피 군에서 어떻게 되며, 언제 단사적이거나 비단사적인가?

주요 결과

• 계수 조건 $m < 2n - 2$ 를 만족할 경우, $N(f_1,f_2) = MCC(f_1,f_2)$ 이며, 이에 따라 $N(f_1,f_2) = 0$ 이면 쌍 $(f_1,f_2)$ 는 완전히 완화 가능하다.
• $N$ 이 단위 원주 $S^1$ 이면, $N(f_1,f_2) = MCC(f_1,f_2)$ 가 성립하며, 이는 고전 Nielsen 이론을 계수 1로 확장한다.
• $M = S^m$, $N = S^n$ 이고 특정 James-Hopf 포함 조건이 만족될 경우, $N(f_1,f_2) = MCC(f_1,f_2)$ 가 성립한다.
• $N(f_1,f_2) = 0$ 이지만 $MCC(f_1,f_2) > 0$ 인 예가 존재함을 보여, 일반 계수에서 Nielsen 수가 항상 완전한 장벽이 되지 못함을 입증한다.
• $\Gamma_k: \pi_{m}(S^n) \to \pi^S_{m-1-k(n-1)}$ 는 $n \geq 2$ 일 때 $\pi_{n+1}(S^n)$ 과 $\pi_{n+2}(S^n)$, $\pi_5(S^2)$ 에서 단사적이며, Pontryagin-Thom 구성과 Toda 표를 통한 명시적 검증이 가능하다.
• $\Gamma: \pi_{24}(S^6) \to \pi^S_{23}$ 에서는 단사적이지 않으며, 도메인 $\mathbb{Z}_{24} \oplus \mathbb{Z}_6 \oplus \mathbb{Z}_2$ 의 순서가 목적지의 관련 토르션 부분군보다 크며, $2\Gamma_4 \equiv 0$ 이다.