[논문 리뷰] Cobordism of fold maps, stably framed manifolds and immersions

Boldizsár Kalmár|ArXiv.org|2008. 03. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 6

한 줄 요약

이 논문은 접선 맵이 유클리드 공간으로 들어가는 경우에 대해, 안정적으로 프레임된 다발과 정해진 노름 다발을 가진 임mersions를 조합하여 완전한 기하학적 코버디즘 불변량을 수립한다. 접선 맵의 짝수codimension 버전과 프레임된 접선 맵의 코버디즘 클래스는 안정 호모토피 군과 임머션 코버디즘 군에서 유도된 불변량에 의해 완전히 분류됨을 증명하며, 이는 간단한 구성과 접선 맵에 대한 h-원리의 추론을 사용한다.

ABSTRACT

We give complete geometric invariants of cobordisms of fold maps with oriented singular set and cobordisms of even codimensional fold maps. These invariants are given in terms of cobordisms of stably framed manifolds and cobordisms of immersions with prescribed normal bundles defined by the author in his earlier works.

연구 동기 및 목표

• 접선 집합이 정렬된 경우와 짝수 codimension을 가진 접선 맵의 코버디즘 클래스에 대한 완전한 기하학적 불변량을 제공하는 것.
• 소스 다발의 특이 집합 외부의 코버디즘 클래스를 이전의 불변량에 통합함으로써 이전의 불변량을 확장하는 것.
• 안정 호모토피 군과 임머션 코버디즘 군을 사용하여 유클리드 공간으로의 프레임된 접선 맵과 짝수 codimension 접선 맵의 완전한 분류를 수립하는 것.

제안 방법

• 논문은 접선 맵의 구조에 의해 유도된 표준 프레임을 가진 특이 집합의 임머션 코버디즘 클래스를 이용해 불변량을 구성한다.
• 코버디즘 군의 안정적으로 프레임된 다발을 핵심 구성 요소로 사용하여 소스 다발의 위상과 접선 맵의 코버디즘 클래스를 연결한다.
• 접선 맵에 대한 앤도의 h-원리의 단순한 추론을 이용하여, 불변량이 0일 경우에 null-cobordism을 구성한다.
• 특이 집합 외부에서 부분적으로 정의된 접선 맵을 null-cobordant 다발 위에서 완전한 프레임된 접선 맵으로 확장하기 위해 상대 h-원리를 사용하여 불변량이 충분함을 보장한다.
• 불변량은 톰 공간으로의 사상과 안정 호모토피 군을 통해 정의되며, 특히 $ \pi^{s}_{n-1} $ 및 $ \pi^{s}_{n-1}(B(O(\lambda) \times O(q+1-\lambda))) $ 를 포함한다.
• 불변량의 존재가 null-cobordism를 유도함을 보여줌으로써 구성의 타당성을 검증하며, 이는 섬유별 전성사상과 프레임 확장을 사용한다.

실험 결과

연구 질문

• RQ1 정렬된 특이 집합을 가진 접선 맵의 코버디즘 클래스에 대한 완전한 기하학적 불변량은 무엇인가?
• RQ2 특이 집합 외부의 소스 다발의 코버디즘 클래스는 기존의 위상 불변량으로 어떻게 기록할 수 있는가?
• RQ3 안정적으로 프레임된 다발과 임머션 코버디즘 군을 사용하여 짝수 codimension 접선 맵의 코버디즘 군을 완전히 분류할 수 있는가?
• RQ4 이전 연구 [16, 17, 18]의 불변량이 안정적으로 프레임된 코버디즘과 결합될 때, 완전한 분류를 얻을 수 있는가?
• RQ5 불변량이 0일 경우 접선 맵에 대한 h-원리가 null-cobordism를 구성하는 데 충분한가?

주요 결과

• oriented 코버디즘 군에서 접선 맵으로의 호모모피즘 $ \Im_{n,q}^{(O)} $ 는 안정 코버디즘 군 $ \mathcal{C}^{O}_{n+q}(n) $ 과 안정 호모토피 군의 곱으로부터의 사상으로서 단사적이다.
• 짝수 codimension $ q = 2k $ 인 경우, 불변량 $ \Im_{n,2k}^{(O)} $ 는 코버디즘 군 $ \mathcal{C}ob^{(O)}_{f}(n+2k, -2k) $ 의 완전한 분류를 제공한다.
• 만약 $ q = 0 $ 이면, 정렬된 코버디즘 군 $ \mathcal{C}ob^{O}_{f}(n,0) $ 는 $ n $-번째의 구의 안정 호모토피 군 $ \pi^{s}_{n} $ 과 동형이며, 이 동형에 대한 새로운 증명을 제공한다.
• 불변량 $ \xi_{\lambda,q} $ 와 $ \sigma_{n,q} $ 는 null-cobordism를 탐지하는 데 충분하다: 모든 불변량이 0이면, 접선 맵은 프레임된 null-cobordant이다.
• 구성은 임머션과 프레임 불변량이 0일 경우 상대 h-원리를 통해 프레임된 null-cobordism의 존재를 보여준다.
• 결과는 비정렬 케이스로 확장되어, $ \Im_{n,q} $ 는 비정렬 코버디즘 클래스에 대해서도 단사적임을 보여준다.