[논문 리뷰] Constructions of round fold maps on $C^{\infty}$ bundles

Naoki Kitazawa|arXiv (Cornell University)|2013. 05. 08.

Geometric and Algebraic Topology참고 문헌 23인용 수 8

한 줄 요약

이 논문은 새로운 P-연산과 국소적으로 평탄한 라운드 폴드 맵 구성 기법을 사용하여 구와 더 일반적인 다양체, 특히 이국적 구와 $S^1$-_bundle를 포함한 $C^{\infty}$-_bundle에 대한 새로운 라운드 폴드 맵의 가닥을 구성한다. 주요 기여는 이러한 맵을 허용하는 소스 다양체의 명시적 미분형 분류이며, 안정적 폴드 맵 이론과 군대 이론 기법을 통해 이전 결과를 새로운 위상형으로 확장한다.

ABSTRACT

In this paper, we construct round fold maps or stable fold maps with concentric singular value sets introduced by the author on smooth bundles over spheres or bundles over more general manifolds. The class of round fold maps includes special generic maps on spheres and such maps have been constructed on smooth bundles over standard spheres of dimensions larger than 1 and connected sums of smooth bundles over standard spheres of dimensions larger than 1 whose fibers are standard spheres, for example, in previous studies by the author. In this paper, we obtain round fold maps and the diffeomorphism types of their source manifolds which do not appear in these studies in new manners.

연구 동기 및 목표

• 표준 및 연결합 범주에서의 이전 구성 외에, 라운드 폴드 맵을 허용하는 다양체의 분류를 확장하기 위해.
• 표준 및 이국적 구와 일반적인 기저 다양체 위의 $C^{\infty}$-bundle에 대한 라운드 폴드 맵을 구성하기 위한 새로운 방법을 개발하기 위해.
• 국소적으로 평탄한 라운드 폴드 맵을 가진 다양체 위의 $S^1$-bundle에서 유래하는 소스 다양체의 미분형을 규명하기 위해.
• 특수 일반성 및 안정적 폴드 맵에 대한 이전 결과를 일반화하기 위해, 라운드 폴드 맵의 구조를 유지하는 P-연산을 도입하기 위해.

제안 방법

• 국소적으로 $C^{\infty}$-평탄한 라운드 폴드 맵의 개념을 도입하여, 군대 구성에 사용하기 위해 $C^{\infty}$-평탄한 맵을 일반화한다.
• 이전 군대 구성 기법의 일반화로서 P-연산을 적용하여, 국소적으로 평탄한 라운드 폴드 맵을 가진 다양체 위의 $S^1$-bundle에 새로운 라운드 폴드 맵을 생성한다.
• 소스 다양체의 위상적 불변량, 특히 $\pi_1$, $\pi_2$, 및 $H^2$를 분석하기 위해 Reeb 공간과 호모토피군의 동형을 사용한다.
• 장애 이론적 추론을 적용하여, 라운드 폴드 맵 조건 하에서 $f^{-1}(\partial N(C))$ 위의 $S^1$-bundle의 첫 번째 스티펠-브라운 클래스와 오일러 클래스가 0이 됨을 보인다.
• 라운드 폴드 맵에서의 적절한 코어와 축의 구조를 활용하여, 소스 다양체의 호모토피군과 Reeb 공간 $W_f$의 위상적 관계를 규명한다.
• 위상적으로 준평탄한 맵의 존재와 $k \leq m-n-1$에 대해 $\pi_k(M) \cong \pi_k(W_f)$인 동형을 기반으로 소스 다양체를 분류한다.

실험 결과

연구 질문

• RQ1 표준 및 연결합 구성 외에, 이국적 구나 구 위의 $C^{\infty}$-bundle에 대해 라운드 폴드 맵을 구성할 수 있는가?
• RQ2 국소적으로 평탄한 라운드 폴드 맵을 가진 다양체 위의 $S^1$-bundle에서 라운드 폴드 맵을 허용하는 소스 다양체의 미분형은 무엇인가?
• RQ3 P-연산은 이전 군대 구성 기법을 어떻게 일반화하여 새로운 라운드 폴드 맵을 생성하면서도 구조적 및 위상적 불변량을 유지하는가?
• RQ4 어떤 조건에서, 라운드 폴드 맵을 가진 다양체 위의 $S^1$-bundle이 P-연산을 통해 라운드 폴드 맵을 상속하는가?
• RQ5 결과로 유도된 소스 다양체의 호모토피 및 코homology 불변량, 특히 $H^2(M,\mathbb{Z})$와 $\pi_1(M)$는 무엇인가?

주요 결과

• 표준 및 연결합 구성 외로도, 이국적 구와 $S^2 \times S^3$ 위의 $S^1$-bundle에 대해 새로운 라운드 폴드 맵을 구성하였다.
• 모든 $n=2$ 및 $m-n \geq 3$에 대해, 라운드 폴드 맵의 소스 다양체 $M$는 $\pi_1(M) \cong \{0\}$ 및 $H^2(M,\mathbb{Z}) \cong \mathbb{Z}^l$를 만족하며, 여기서 $l$은 축 맵의 Reeb 공간 내 루프의 수이다.
• 모든 $S^1$-bundle의 오일러 클래스는 $f^{-1}(\partial N(C))$ 위로 제한되었을 때 0이 되며, 이는 단순히 다발의 정규성과 단순성의 보장이다.
• 라운드 폴드 맵 $f: M \to \mathbb{R}^2$에 대한 P-연산은 $M$ 위의 $C^{\infty}$-oriented $S^1$-bundle $M(\alpha)$에 대해 새로운 라운드 폴드 맵을 생성하며, 여기서 오일러 클래스는 $\alpha$이며, $\alpha \in H^2(M,\mathbb{Z})$이다.
• 이 구성은 $\mathbb{R}^2$로의 라운드 폴드 맵을 $S^3 \times S^3$에 대해 생성하였으며, 이는 이전에 알려진 맵들과 다름을 보이며, 이 방법의 신선함을 입증한다.
• 맵의 Reeb 공간 $W_f$는 $k \leq m-n-1$에 대해 $\pi_k(M) \cong \pi_k(W_f)$를 만족하며, 이는 Reeb 공간을 통한 소스 다양체의 호모토피 분류를 가능하게 한다.