[논문 리뷰] Pontryagin-Thom-Szucs type construction for non-positive codimensional singular maps with prescribed singular fibers

Boldizsár Kalmár|ArXiv.org|2006. 12. 05.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 4

한 줄 요약

이 논문은 비양성 차원의 특이 사상에 대해 Pontryagin-Thom-Szűcs 유형의 구성법을 개발하여, 고정된 특이 섬유를 갖는 $-1$ 차원의 안정적 사상의 코버디즘 및 보르디즘 군의 연구를 가능하게 한다. 구조 군을 컴act 부분군으로 줄이고 호모토피 이론적 기법을 적용함으로써, 저차원에서의 코브라스 맵의 옹호된 코버디즘 군을 계산하며, $ \mathcal{C}ob_{\mathfrak{c}}^{O}(3,-1) \cong \mathbb{Z}_2$ 및 $ \mathcal{C}ob_{\mathfrak{c}}^{O}(4,-1)$의 랭크가 2임을 보이며, 이는 특정한 특이 섬유 유형과 관련된 생성자를 가짐을 보여준다.

ABSTRACT

We give a Pontryagin-Thom-Szucs type construction for non-positive codimensional singular maps, and obtain results about cobordism and bordism groups of -1 codimensional stable maps with prescribed singular fibers.

연구 동기 및 목표

• 비양성 차원의 특이 사상, 특히 차원 $-1$에 대해 Pontryagin-Thom-Szűcs 구성법을 확장하기.
• 이 설정에서 고정된 특이 섬유를 갖는 안정적 사상의 코버디즘 및 보르디즘 군을 연구하기.
• 호모토피 분석을 위해 특이 섬유 번들의 구조 군을 컴 pact 부분군으로 줄이기.
• 구성된 프레임워크를 사용하여 저차원에서의 코브라스 맵의 명시적 코버디즘 군을 계산하기.

제안 방법

• 주어진 사상 $h: X^l \to \mathbb{R}^k$ 와 구조 군 $\mathcal{G} \subset \mathrm{AUT}(h)$ 에 대해 Milnor 구성법을 통해 보편 번들을 구성하기.
• Pontryagin-Thom-Szűcs 구성법을 사용하여 특이 사상의 가닥을 토모스페이스로의 호모토피 클래스와 연결하기.
• 리만 구조와 대칭 고려를 통해 특이 집합 위의 번들 $\xi_\SS(f)$ 의 구조 군을 컴 pact 부분군으로 줄이기.
• 구성에서 유도된 호모토피 정확수열을 적용하여 코버디즘 군을 계산하기.
• 기존의 안정적 호모토피 군과 토모스페이스 결과를 활용하여 $\mathcal{C}ob_{\mathfrak{sc}}^{O}(n+1,-1) \cong \pi_{n-1}^s(\mathbb{R}P^\infty)$ 를 식별하기.
• 기하적 구성법과 대수적 수를 포함한 불변량들(특이 섬유의 수 등)을 활용하여 코버디즘 군의 랭크와 토르션을 결정하기.

실험 결과

연구 질문

• RQ1 Pontryagin-Thom-Szűcs 구성법은 비양성 차원의 특이 사상, 특히 차원 $-1$에 대해 어떻게 적응시킬 수 있는가?
• RQ2 이 맥락에서 특이 섬유 번들의 구조 군은 어떤 축소가 가능하며, 이는 코버디즘 분류에 어떤 영향을 미치는가?
• RQ3 저차원에서의 $-1$ 차원 코브라스 맵의 옹호된 코버디즘 군의 구조는 어떠한가?
• RQ4 특이 섬유의 대수적 수와 같은 불변량은 코버디즘 군의 생성자와 어떻게 관련되는가?
• RQ5 간단한 코브라스 맵의 코버디즘 군은 $\mathbb{R}P^\infty$ 의 안정적 호모토피 군과 일치하는가?

주요 결과

• 옹호된 코버디즘 군 $\mathcal{C}ob_{\mathfrak{c}}^{O}(3,-1)$ 는 $\mathbb{Z}_2$ 와 동형이며, 이 동형은 사상의 특이 집합을 그 코버디즘 클래스로 매핑하는 호모모르피즘 $\gamma$ 에 의해 실현된다.
• 코버디즘 군 $\mathcal{C}ob_{\mathfrak{c}}^{O}(4,-1)$ 는 랭크 2를 가지며, 이는 유형 $\mathrm{III}^8$ 과 $\mathrm{III}^b$ 의 특이 섬유의 대수적 수에 의해 생성된다.
• 특이 섬유 $\sigma_\SS$ 와 관련된 번들 $\xi_\SS(f)$ 의 구조 군은 컴 pact 부분군으로 줄일 수 있으며, 이는 전방성과 호모토피 이론적 방법의 호환성을 보장한다.
• 각 연결 성분당 최대 하나의 특이점만을 갖는 단순 코브라스 맵의 경우, 옹호된 코버디즘 군 $\mathcal{C}ob_{\mathfrak{sc}}^{O}(n+1,-1)$ 은 $\pi_{n-1}^s(\mathbb{R}P^\infty)$ 와 동형이다.
• 옹호된 접선 코버디즘 군에서 유래한 합성 $\pi_{n-1}^s$ 는 $\mathcal{C}ob_{\mathfrak{sc}}^{O}(n+1,-1)$ 에서 0으로 매핑되며, 이는 자연 호모모르피즘의 핵이 정확히 접선 부분의 이미지임을 의미한다.
• 특이 섬유-기저 $\sigma_\SS$ 에 대해 리만 구조를 보존하는 등급의 집합인 $\mathrm{ISO}(\sigma_\SS)$ 는 $\sigma_\SS$ 가 원형 성분을 갖지 않으며, $p > \kappa(\SS)$ 가 그 순서를 나누지 않는 한 유한하다.