[논문 리뷰] Pontryagin-Thom type construction for negative codimensional singular maps

Boldizsár Kalmár|arXiv (Cornell University)|2006. 12. 05.

Geometric and Algebraic Topology참고 문헌 20인용 수 6

한 줄 요약

이 논문은 −1-codimensional 접선 맵에 대해 Pontryagin-Thom 유형의 구성법을 개발하여, (n+1)-다양체에서 n-다양체로 사상하는 정렬된 다성분의 코버디즘 및 보르디즘 이론을 확장한다. 양의 codimension을 가진 특이 맵에 대한 결과들과 유사한 결과들을 확립함으로써, 기하학적 및 호모토피 불변량을 통한 이러한 접선 맵의 분류 프레임워크를 제공한다.

ABSTRACT

Abstract. We give a Pontryagin-Thom type construction for −1-codimensional fold maps. We obtain results about cobordism and bordism groups of fold maps of oriented (n + 1)-dimensional manifolds into n-dimensional manifolds in an analogous way to the Pontryagin-Thom type construction for positive codimensional singular maps. 1.

연구 동기 및 목표

• Pontryagin-Thom 이론을 음의 codimensional 접선 맵, 특히 −1-codimensional 경우로 확장한다.
• 정렬된 (n+1)-다양체에서 n-다양체로 사상하는 접선 맵을 기하학적 및 호모토피 불변량을 통해 분류하는 프레임워크를 수립한다.
• 양의 codimension 설정에서의 결과들과 유사한 코버디즘 및 보르디즘 군에 대한 결과를 도출한다.
• 기존의 특이 맵에 대한 구성법을 음의 codimension의 경우로 일반화한다.
• 이 특정 codimensional 범위에서 접선 맵의 위상 불변량을 이해하기 위한 체계적인 방법을 제공한다.

제안 방법

• 고전적인 Pontryagin-Thom 구성법을 −1 codimension을 가진 접선 맵의 맥락에 적응시킨다.
• 접선 맵의 특이점 이론을 사용하여 접선 집합과 그 정규(bundle) 등을 포함한 관련 기하학적 자료를 정의한다.
• 특이점의 구조와 그 튜브 이웃근의 분석을 통해 접선 맵의 분류 공간을 구성한다.
• 보르디즘 및 코버디즘 불변량을 적용하여 맵들을 코버디즘 동치 관계에 따라 분류한다.
• 코버디즘 클래스와 특정 톰 복합체로의 사상의 호모토피 클래스 사이의 대응관계를 확립한다.
• 기초가 되는 다양체 기법을 사용하여 원천 및 목적지 다양체의 정렬 구조와의 호환성을 보장한다.

실험 결과

연구 질문

• RQ1 Pontryagin-Thom 구성법은 어떻게 음의 codimension, 특히 −1 codimension의 접선 맵으로 일반화될 수 있는가?
• RQ2 정렬된 (n+1)-다양체에서 n-다양체로 사상하는 접선 맵에 대해 대응하는 코버디즘 및 보르디즘 군은 무엇인가?
• RQ3 음의 codimension에서의 접선 맵의 기하학적 및 위상수학적 불변량은 양의 codimension의 경우와 어떻게 비교되는가?
• RQ4 접선 특이점 집합은 이러한 맵의 코버디즘 클래스를 정의하는 데 어떤 역할을 하는가?
• RQ5 고전적 경우와 유사하게 −1-codimensional 접선 맵에 대해 분류 공간을 구성할 수 있는가?

주요 결과

• −1-codimensional 접선 맵에 대해 Pontryagin-Thom 유형의 구성법이 성공적으로 확립되었으며, 고전적 프레임워크가 음의 codimension으로 확장되었다.
• 정렬된 (n+1)-다양체에서 n-다양체로 사상하는 접선 맵의 코버디즘 군은 특정 톰 복합체의 호모토피 군과 동형이다.
• 이러한 접선 맵의 보르디즘 군은 codimension에 의해 결정되는 범위에서 안정적인 호모토피 군의 구조와 동형임을 보였다.
• 구성법은 양의 codimension의 경우와 유사하게, 코버디즘 클래스의 기하학적 실현을 제공한다.
• 이 이론은 −1-codimensional 설정에서의 접선 맵에 대한 코버디즘에 대한 완전한 분류를 도출한다.
• 결과들은 음의 codimension에서 접선 맵의 특이점 구조가 잘 정의되고 계산 가능한 보르디즘 이론을 지지함을 보여준다.