[논문 리뷰] Non-zero degree maps between $2n$-manifolds

Haibao Duan, Shicheng Wang|ArXiv.org|2004. 02. 08.

Geometric and Algebraic Topology참고 문헌 10인용 수 21

한 줄 요약

이 논문은 톰-폰트랴긴 dualit와 교차 형식을 이용하여 (n−1)-연결된 2n-다양체 사이의 0이 아닌 차수를 가진 사상의 존재에 대한 계산 가능한 필요충분 조건을 제공한다. 주요 결과는 4-다양체에 대해, 닫힘된 옹호된 4-다양체 M에서 단순연결된 4-다양체 L로의 차수-k 사상이 존재하는 것은 k=1일 때 L의 교차 형식이 M의 교차 형식의 직접 합성의 부분군과 동형일 때이고, 일반적으로 임의의 k에 대해 행렬 조건으로 일반화됨.

ABSTRACT

Thom-Pontrjagin constructions are used to give a computable necessary and sufficient condition when a homomorphism $ϕ: H^n(L;Z) o H^n(M;Z)$ can be realized by a map $f:M o L$ of degree $k$ for closed $(n-1)$-connected $2n$-manifolds $M$ and $L$, $n>1$. A corollary is that each $(n-1)$-connected $2n$-manifold admits selfmaps of degree larger than 1, $n>1$. In the most interesting case of dimension 4, with the additional surgery arguments we give a necessary and sufficient condition for the existence of a degree $k$ map from a closed orientable 4-manifold $M$ to a closed simply connected 4-manifold $L$ in terms of their intersection forms, in particular there is a map $f:M o L$ of degree 1 if and only if the intersection form of $L$ is isomorphic to a direct summand of that of $M$.

연구 동기 및 목표

• 연결된 (n−1)-2n-다양체의 코homology 군 간의 준동형사상이 0이 아닌 차수를 가진 사상에 의해 실현될 수 있는지의 조건을 규명하는 것.
• n>1인 경우, 닫힘되고 옹호된 (n−1)-연결된 2n-다양체 사이의 차수-k 사상이 존재하는 데 필요한 필요충분 조건을 제공하는 것.
• 특히 단순연결된 4-다양체로의 사상에 대해 교차 형식을 이용하여 특성화를 확장하는 것.
• n>1인 경우, 모든 (n−1)-연결된 2n-다양체가 1보다 큰 차수의 자기사상을 가진다는 것을 보여주는 것.
• 행렬 방정식과 호모토피 군을 통한 이러한 사상의 완전한 호모토피적 및 대수적 분류를 수립하는 것.

제안 방법

• Thom-Pontrjagin dualit를 사용하여 다양체 사이의 사상과 코homology 및 homology 위의 준동형사상 간의 관계를 설정하며, 특히 H^n의 자유 부분군에 초점을 맞춤.
• H^n(M)의 자유 부분군에 정의된 교차 형식 X_M를 선택된 기저 하에서 단위형 행렬 A로 표현함.
• P^T A P = kB라는 행렬 조건을 유도함. 여기서 P는 호모로지 위의 유도된 사상에 대한 정보를 담고 있으며, B는 목표 다양체의 교차 형식임.
• 2n-세포의 비자명한 부착 사상들을 고려하기 위해 호모토피 군 π_{2n−1}(S^n) 내의 Whitehead 곱 [s^n, s^n]을 통한 보조 호모토피 불변량을 통합함.
• 4-다양체의 경우, 사상 f:M→L가 차수-k를 가진다는 것은 P^T A P = kB라는 행렬 방정식과 함께 f의 호모토피 동치류에 대한 추가 제약 조건이 성립함을 증명함.
• 수술과 분류 결과를 이용하여 이러한 사상의 호모토피 동치류의 수가 유한하며 π_{2n}(L)에 의해 제어됨을 보임.

실험 결과

연구 질문

• RQ1 주어진 준동형사상 φ:H^n(L;Z)→H^n(M;Z)이 0이 아닌 차수 k를 가진 사상 f:M→L로부터 유도되는가?
• RQ2 차수-k 사상이 존재하기 위한 (n−1)-연결된 2n-다양체 사이의 교차 형식과 호모토피 불변량에 대한 정확한 대수적 조건은 무엇인가?
• RQ3 4-다양체의 경우, M에서 L로의 차수-1 사상이 존재하는 조건은 무엇이며, 이는 그들의 교차 형식의 구조와 어떻게 관련되는가?
• RQ4 이러한 다양체 사이의 주어진 차수-k 사상이 실현되는 호모토피 동치류는 몇 개인가?
• RQ5 모든 (n−1)-연결된 2n-다양체가 n>1일 때 1보다 큰 차수의 자기사상을 가질 수 있는가?

주요 결과

• 차수-k 사상 f:M→L가 (n−1)-연결된 2n-다양체 사이에 존재하는 것은 P^T A P = kB를 만족하고, Whitehead 곱을 포함한 보조 호모토피 조건이 함께 성립할 때에만 가능함.
• 4-다양체의 경우, 차수-k 사상 f:M→L가 존재하는 것은 P^T A P = kB를 만족할 때에만 가능하며, 여기서 A와 B는 각각 M과 L의 교차 형식을 선택된 기저 하에서 표현한 것임.
• 차수-1 사상 f:M→L가 존재하는 것은 L의 교차 형식이 M의 교차 형식의 직접 합성의 부분군과 동형일 때에만 가능함.
• 모든 (n−1)-연결된 2n-다양체는 n>1일 때 1보다 큰 차수의 자기사상을 가짐을 주요 정리의 추론으로서 보임.
• 주어진 차수-k 사상을 실현하는 호모토피 동치류의 수는 유한하며, π_{2n}(L)의 원소와 일대일 대응됨.
• 4-다양체의 경우, CP²#CP²와 S²×S²의 경우 D(M,L) = {0}이지만, D(T⁴, #₃S²×S²) = Z이므로 모든 정수 차수의 사상이 실현됨.