[논문 리뷰] Multiplicity of continuous maps between manifolds

Роман Карасев|arXiv (Cornell University)|2010. 02. 03.

Advanced Algebra and Geometry참고 문헌 9인용 수 5

한 줄 요약

이 논문은 연속적인 매핑 f: M → N에 대해 가상 범주 f*TN - TM의 특성류를 사용하여 다양체 간의 매핑에서의 다중도에 하한을 설정한다. 구성공간의 등급 대칭 코homology 클래스를 분석함으로써, Stiefel-Whitney 및 Pontryagin 특성류와 같은 비영 특성류가 일치하는 q-튜플의 존재를 보장함을 증명한다. 주요 결과로는 실수 사영 공간에서 유클리드 공간으로의 매핑에 대해 비자명한 다중도 하한을 확립하는 것이다.

ABSTRACT

We consider a continuous map $f :M o N$ between two manifolds and try to estimate its multiplicity from below, i.e. find a $q$-tuple of pairwise distinct points $x_1,..., x_q\in M$ such that $f(x_1) = f(x_2) = ... = f(x_q)$. We show that there are certain characteristic classes of vector bundle $f^*TN-TM$ that guarantee a bound on the multiplicity of $f$. In particular, we prove some non-trivial bound on the multiplicity for a continuous map of a real projective space of certain dimension into a Euclidean space.

연구 동기 및 목표

• 연속적인 매핑 f: M → N에서 다중점(일치하는 q-튜플)의 존재를 위한 충분조건을 설정하는 것.
• 매끄럽거나 일반적인 조건 없이 이중점 및 임베딩 이론을 일반 연속 매핑으로 확장하는 것.
• 실수 사영 공간에서 유클리드 공간으로의 매핑에 대한 다중도에 하한을 도출하는 것.
• 등급 대칭 코homology를 활용하여 구성공간의 Krasnosel’skii-Schwarz 위상수학적 차수와 Lyusternik-Schnirelmann 카테고리의 추정을 수행하는 것.
• 낮은 다중도를 갖는 임베딩 또는 임베딩의 존재를 막는 특성류를 도입하고 계산하는 것.

제안 방법

• M에 있는 서로 다른 q개의 점으로 이루어진 q-튜플의 구성공간 K^q(M)를 자유로운 Σ_q-작용과 함께 고려한다.
• 일치하는 q-튜플를 제거하는 데의 장벽으로서, Σ_q-등급 코homology 클래스 s_q(f) ∈ H^{n(q-1)}_{Σ_q}(K^q(M))를 분석한다.
• 분할 원리를 적용하여, 가상 범주 f*TN - TM의 특성류를 Stiefel-Whitney 및 Pontryagin 특성류로 표현한다.
• q = 2^l인 경우에 대해 s_{q,m-n}과, 소수 p에 대해 α_{p,i}를 도입하여 다중점을 탐지한다.
• 대표 범주 A_q ⊗ (ξ^⊥ ⊕ η)의 오일러 특성류를 사용하여 K^q(M)에서 비자명한 코homology 클래스를 탐지한다.
• 레마 4를 적용하여 비영 특성류가 K^q(M)/Σ_q의 위상수학적 차수와 카테고리에 대한 하한을 유도한다.

실험 결과

연구 질문

• RQ1 연속 매핑 f: M → N에 대해, 가상 범주 f*TN - TM의 어떤 특성류가 일치하는 q-튜플의 존재를 보장하는가?
• RQ2 실수 사영 공간 ℝP^n에서 유클리드 공간 ℝ^m으로의 연속 매핑에 대해 비자명한 다중도 하한을 확립할 수 있는가?
• RQ3 정규 범주 TM^⊥의 특성류가 구성공간 K^q(M)의 위상수학적 차수와 카테고리에 어떤 영향을 미치는가?
• RQ4 홀수 소수 p에 대해 p-주기 특성류(모듈로 p)는 일치하는 p-튜플를 탐지하는 데 어떤 역할을 하는가?
• RQ5 코homology 장벽을 사용하여 K^q(M)/Σ_q의 Krasnosel’skii-Schwarz 위상수학적 차수와 Lyusternik-Schnirelmann 카테고리에 하한을 설정할 수 있는가?

주요 결과

• 일부 조건 하에서 특성류 e(A_q ⊗ (ξ^⊥ ⊕ η))가 비영이면, 일치하는 q-튜플의 존재를 의미한다.
• q = 2^l일 경우, H^{n(q-1)}_{Σ_q}(K^q(M))에 속하는 클래스 s_{q,m-n}이 비자명할 경우 다중점을 탐지할 수 있다.
• 정리 3은 n이 충분히 클 경우 연속 매핑 f: ℝP^n → ℝ^m에 대해 비자명한 다중도 하한을 설정한다.
• p-튜플에 대해 p가 소수일 경우, 비영일 때 클래스 α_{p,i}(η - ξ)는 다중점을 탐지할 수 있으며, 이때 dim η - dim ξ + 1 ≤ 2i 이다.
• 보조정리 5는 q가 2의 거듭제곱일 때 조건 ¯w_{d+1}^{q-1} ≠ 0이면 g(K^q(M)) ≥ (m+d)(q-1)+1 이라는 하한을 제공한다.
• 보조정리 7은 어떤 i에 대해 ¯α_{p,i} ≠ 0이면 g(K^p(M)) ≥ (m+2i-1)(p-1)+1 이며, p-튜플에 대한 위상수학적 차수 추정을 제공한다.