[논문 리뷰] Classes d'homotopie de champs de vecteurs Morse-Smale sans singularité sur les fibrés de Seifert

Emmanuel Dufraine|ArXiv.org|2003. 12. 05.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 닫힘 양의 3차원 다성분에서 2차원 구면으로의 매끄러운 사상에 대한 호모토피 기준을 제시하며, 이는 사상이 일치하거나 반대가 되는 집합의 호모로지 클래스와 연결수를 기반으로 한다. 이를 세이프트 3차원 다성분에서 비특이적이고 모어스-스말 매장장에 대해 확장하여, 모든 비특이적 장이 유한한 주기 궤도를 가지는 모어스-스말 장으로 호모토피 가능하다는 것을 증명한다. 이는 장의 호모토피 클래스에 관계없이 성립한다.

ABSTRACT

In the first part of this paper, we consider smooth maps from a compact orientable 3-manifold without boundary to the 2-sphere. We give a geometric criterion to decide whether two given maps are homotopic, based on the sets of points where the maps are equal or antipodal. We extend this criterion to non-singular vector fields (and co-oriented plane fields) on 3-manifolds. In the second part, we make use of this criterion to study non-singular Morse-Smale vector fields on Seifert manifolds, giving a simple proof of a result of Yano.

연구 동기 및 목표

• 닫힘 양의 3차원 다성분에서 2차원 구면으로의 매끄러운 사상의 호모토피를 일치 및 반대 집합을 기반으로 하는 기하학적 기준을 제공한다.
• 이 기준을 3차원 다성분에서 비특이적 장과 양의 평면장으로 확장하며, 접선 번들의 자명화에 의존하지 않는다.
• 이 기준을 세이프트 다성분에서 비특이적 모어스-스말 장의 분류에 적용하여, 각 호모토피 클래스 내에서 주기 궤도의 수가 유한함을 증명한다.
• 둥근 손잡이 분해를 피하는 새로운 간단한 증명을 통해, 제한된 주기 궤도를 가진 모어스-스말 대표자가 존재함을 보인다.

제안 방법

• 두 사상 $f,g: M \to S^2$에 대해 $C_+(f,g)$와 $C_-(f,g)$를 각각 일치하거나 반대가 되는 집합으로 정의하고, 변형 후 이들이 올바른 방향을 가진 링크가 됨을 보인다.
• 호모토피의 첫 번째 장애물로 $[C_-(f,g)]_{H_1(M)} = 0$을 사용하여 $c_f = c_g$임을 유도한다.
• 연결수 $\operatorname{Link}(C_+, C_-)$를 $2p$ 모듈로($p$는 $c_f$의 최대 약수)로 사용하여 두 번째 장애물을 도입한다.
• 비특이적 장에 대해 $C_+(X,Y)$와 $C_-(X,Y)$ 집합을 통해 기준을 확장하며, 이는 벡터가 양의 또는 음의 비례일 때를 의미한다.
• 비특이적 장의 호모토피 클래스를 특징짓기 위해 오일러 클래스 $\mathcal{E}(X)$의 푸앵카레 쌍대를 사용한다.
• 주기 궤도에 대한 와다 연산을 통해 모어스-스말 장을 구성하고, 장식 불변량을 조정하여 주어진 오일러 클래스를 실현한다.

실험 결과

연구 질문

• RQ1 닫힘 양의 3차원 다성분에서 $S^2$로의 두 매끄러운 사상 $f,g$는 언제 호모토피인가?
• RQ2 핸들 분해에 의존하지 않고 3차원 다성분에서 비특이적 장의 호모토피 유형을 어떻게 분류할 수 있는가?
• RQ3 세이프트 3차원 다성분에서의 모든 비특이적 장은 주기 궤도가 유한한 모어스-스말 장으로 호모토피 가능한가?
• RQ4 연결 불변량과 오일러 클래스의 약수는 비특이적 장의 호모토피 유형 분류에서 어떤 역할을 하는가?
• RQ5 세이프트 다성분에서 실현 가능한 모든 링크 유형이 모어스-스말 장의 주기 궤도 링크로 나타날 수 있는가?

주요 결과

• 두 매끄러운 사상 $f,g: M \to S^2$는 $[C_-(f,g)]_{H_1(M)} = 0$ 이고 $\operatorname{Link}(C_+, C_-) \equiv 0 \pmod{2p}$일 때이고, $p$는 클래스 $c_f = [f^{-1}(y)]_{H_1(M)}$의 최대 약수일 때에만 호모토피이다.
• 3차원 다성분에서 비특이적 장 $X,Y$에 대해, 호모토피는 $[C_-(X,Y)]_{H_1(M)} = 0$ 이고 $\operatorname{Link}(C_+, C_-) \equiv 0 \pmod{p}$일 때이고, $p$는 $\mathcal{E}(X) = \mathcal{E}(Y)$의 최대 약수이다.
• 세이프트 3차원 다성분에서의 모든 비특이적 장은 최대 $n(M)$개의 주기 궤도를 가지는 비특이적 모어스-스말 장으로 호모토피 가능하며, $n(M)$은 유한한 수이다.
• 모든 $c \in H_1(M,\mathbb{Z})$에 대해 $c_{X_\tau} = c$인 모어스-스말 장 $X$가 존재하므로, 오일러 클래스의 완전한 실현 가능성이 입증된다.
• 와다 연산을 통한 구성은 동일한 오일러 클래스를 가진 모든 호모토피 유형에 대해 모어스-스말 대표자가 존재함을 보장하며, 제어된 장식 변화를 사용한다.
• 최종 구성에서 연결수 $\lambda$는 $\operatorname{Link}(C_+, C_-) = \lambda$를 만족하므로, 이 불변량을 임의의 정수로 조절할 수 있으며, 따라서 기준이 정확함을 보여준다.