[논문 리뷰] Coincidence theory in arbitrary codimensions: the minimizing problem

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

Cosmology and Gravitation Theories참고 문헌 1인용 수 4

한 줄 요약

이 논문은 임의의 코드레인지에서 다성간의 매핑 사이의 최소 일치 구성 요소 수를 연구하기 위해 정상 보르드יזם 이론적 프레임워크를 개발한다. 자유 경로 공간의 경로 성분과 굴절된 정상 번들의 사용을 통해 불변량을 구성함으로써 최소 일치 수에 대한 하한을 확립하며, 고차원 코드레인지로의 니엘슨 이론 일반화를 이루고, 구에서 홀수 차원의 구형 공간 형상으로의 매핑에 대해 최소 일치 수가 기본군 또는 차수를 포함하는 계산 가능한 불변량과 일치함을 증명한다.

ABSTRACT

Coincidences of maps between smooth manifolds are studied via a geometric approach which involves (nonstabilized) normal bordism theory and pathspaces.

연구 동기 및 목표

• 임의의 코드레인지에서 고정점 이론을 일치 이론으로 일반화하여, 일치 집합이 이산점이 아니라 다성간이 되는 경우를 다루는 것.
• 호모토피 하에 최소 일치 구성 요소 수에 대한 하한을 제공하는 새로운 불변량 $N(f_1,f_2)$ 및 $N^\#(f_1,f_2)$ 를 정의하는 것.
• 정상 보르드יזם과 경로 공간 분해를 이용한 기하학적 및 위상수학적 제약 조건을 포착하는 프레임워크를 구축하는 것.
• 이론을 이용해 구에서 홀수 차원의 구형 공간 형상으로의 매핑에 대해 최소 일치 수를 계산하고, 많은 경우에 완전한 분류를 얻는 것.

제안 방법

• 논문은 비안정화된 정상 보르드יזם 이론을 사용하여, 일치 다성간 $C(f_1,f_2)$, 그 포함성 $M$ 및 안정화된 정상 번들 동형사상의 포함을 반영하는 보르드יזם 집합 $\Omega^\#(f_1,f_2)$ 내에서 정교한 불변량 $\omega^\#(f_1,f_2)$ 를 정의한다.
• 경로 공간 $E(f_1,f_2)$ 는 $f_1(x)$ 에서 $f_2(x)$ 로의 경로를 포함하며, $\widetilde{g}: C(f_1,f_2) \to E(f_1,f_2)$ 라는 사상이 구성되며, 그 경로 성분은 라이드마이스터 집합 $R(f_1,f_2)$ 와 대응된다.
• 불변량 $\widetilde{\omega}(f_1,f_2)$ 는 계수 번들 $\widetilde{\varphi} = \mathrm{pr}^*(f_1^*(TN) - TM)$ 을 가진 정상 보르드יזם 군 $\Omega_{m-n}(E(f_1,f_2); \widetilde{\varphi})$ 에 속하며, 일치 궤적의 기하학을 캡슐화한다.
• 경로 공간 $E(f_1,f_2)$ 의 경로 성분에 따라 $C(f_1,f_2)$ 의 원상으로 분해함으로써 $N(f_1,f_2)$ 와 $N^\#(f_1,f_2)$ 는 비자명한 보르드יזם 기여의 수로 정의된다.
• 만약 $M = S^m$ 이고 $N$ 이 홀수 차원의 구형 공간 형상이라면, $\Omega^\#(f_1,f_2)$ 는 $\pi_m(S^n \wedge \Omega(N)^+)$ 와 동일시되며, 문제를 안정 호모토피 이론과 연결한다.
• 이 접근법은 $N \times \mathbb{R}$ 내의 링크 매핑으로 확장되어 풀 수 없는 막힘의 장애물과 링크 호모토피 계열에 대한 니엘슨 수를 제공한다.

실험 결과

연구 질문

• RQ1 두 다성간 $f_1,f_2: M \to N$ 사이의 호모토피로 달성할 수 있는 최소 일치 구성 요소 수 $MCC(f_1,f_2)$ 는 무엇인가? 이는 임의의 코드레인지에서 성립한다.
• RQ2 고정점 이론에서의 니엘슨 유형 불변량이 일치 이론으로 일반화될 수 있는가? 이는 일치 집합이 점이 아니라 다성간이 되는 양의 코드레인지에서 성립한다.
• RQ3 경로 공간 $E(f_1,f_2)$ 와 그 기본군 작용이 일치 궤적을 분해하고 $MCC(f_1,f_2)$ 의 계산 가능한 하한을 정의하는 데 사용될 수 있는가?
• RQ4 구에서 홀수 차원의 구형 공간 형상으로의 매핑에 대해 $MCC(f_1,f_2)$ 의 정확한 값은 무엇이며, 이는 호모토피 계열과 차수에 어떻게 의존하는가?
• RQ5 불변량 $N(f_1,f_2)$ 와 $N^\#(f_1,f_2)$ 는 링크 매핑에서 풀 수 없는 막힘의 장애물을 얼마나 잘 탐지하는가?

주요 결과

• 구에서 홀수 차원의 구형 공간 형상 $N$ 으로의 매핑 $f_1,f_2: S^m \to N$ 에 대해 $MCC(f_1,f_2) = N^\#(f_1,f_2)$ 이며, 이 수치는 $f_1 \sim f_2$ 이거나 $m < n$ 이면 0이며, $f_1 \not\sim f_2$ 이고 $m > 1$ 이면 $\#\pi_1(N)$ 과 같고, $m = n = 1$ 이면 $|d^0(f_1) - d^0(f_2)|$ 와 같다.
• 불변량 $N(f_1,f_2)$ 는 대칭적이다: $N(f_1,f_2) = N(f_2,f_1)$ 이며, $f_1$ 과 $f_2$ 의 호모토피에 대해 불변하므로 하한으로서의 강건성을 보장한다.
• 부등식 $0 \leq N(f_1,f_2) \leq N^\#(f_1,f_2) \leq MCC(f_1,f_2) < \infty$ 가 성립하며, 이는 $N$ 과 $N^\#$ 가 최소 일치 수에 대해 효과적인 하한임을 보여준다.
• 만약 $m = n$ 이면 $N(f_1,f_2) = N^\#(f_1,f_2)$ 는 고전적인 니엘슨 수와 일치하며, 이를 일치 이론으로 확장한다.
• $\omega^\#(f_1,f_2)$ 의 $\Omega^\#(f_1,f_2)$ 내 구성은 $\widetilde{\omega}(f_1,f_2)$ 보다 더 날카운 불변량을 제공하며, 비안정화된 정상 번들 자료를 캡슐화한다.
• 이 프레임워크는 $N \times \mathbb{R}$ 내 링크 매핑에 대해 풀 수 없는 막힘의 장애물을 제공하며, 일부 경우에 이 불변량을 통해 링크 호모토피 계열의 완전한 분류를 가능하게 한다.