[논문 리뷰] Notes on fold maps obtained by surgery operations and algebraic information of their Reeb spaces

Naoki Kitazawa|arXiv (Cornell University)|2018. 11. 10.

Geometric and Algebraic Topology참고 문헌 14인용 수 18

한 줄 요약

이 논문은 수술 연산을 통해 얻어진 매끄러운 다양체 위의 접기 맵(fold maps)을 조사하며, 그들의 리브 공간(Reeb spaces)의 코homology 링(cohomology rings)에 초점을 맞춘다. 리브 공간은 위상적 불변량을 캐릭터라이즈하는 몫을 지닌 몫공간이다. 버블링 연산을 통해 명시적인 접기 맵을 구성하고, 그로 인해 유도되는 대수적 구조를 분석함으로써, 저자는 특정 계승된 교환 코homology 링을 실현하는 방법을 제시하며, 특이점 이론을 통한 다양체의 위상학적 이해를 위한 구조적 프레임워크를 제공한다.

ABSTRACT

The theory of Morse functions and their higher dimensional versions or fold maps on manifolds and its application to geometric theory of manifolds is one of important branches of geometry and mathematics. Studies related to this was started in 1950s by differential topologists such as Thom and Whitney and they have been studied actively. In this paper, we study fold maps obtained by surgery operations to fundamental fold maps, and especially Reeb spaces, defined as the spaces of all connected components of preimages and in suitable situations inheriting fundamental and important algebraic invariants such as (co)homology groups. Reeb spaces are fundamental and important tools in studying manifolds also in general. The author has already studied about homology groups of the Reeb spaces and obtained several results and in this paper, we study about their cohomology rings for several specific cases, as more precise information. These studies are motivated by a problem that construction of explicit fold maps is important in investigating (the worlds of explicit classes of) manifolds in geometric and constructive ways and difficult. It is not so difficult to construct these maps for simplest manifolds such as standard spheres, products of standard spheres and manifolds represented as their connected sums. We see various types of cohomology rings of Reeb spaces via systematic construction of fold maps.

연구 동기 및 목표

• 수술과 버블링 연산을 사용하여 다양체 위의 명시적 접기 맵을 체계적으로 구성하는 방법을 개발하기 위해.
• 이러한 접기 맵과 관련된 리브 공간의 코homology 링을 분석하여, 호몰로지만으로는 제공할 수 없는 더 정교한 대수적 불변량을 제공하기 위해.
• 특정 계승된 교환 대수들이 접기 맵의 리브 공간의 코homology 링으로서 나타나는 조건을 확립하기 위해.
• 이전의 호몰로지 결과를 코homology 링으로 일반화하여, 리브 공간의 대수적 이해를 향상시키기 위해.
• 명시적인 기하적 구성 방법을 통해 특정 코homology 링 구조가 실현 가능함을 보여주기 위해.

제안 방법

• 접기 맵을 고차원에서의 모스 함수의 일반화로 간주하며, 특이점 집합이 코드림이 1인 구조를 가짐.
• 기존의 접기 맵을 수정하고 새로운 맵을 구성하기 위해 수술 연산—특히 기본 버블링(default bubbling)과 M-버블링(M-bubbling) 연산—을 적용함.
• 리브 공간을 원소가 같은 연결 성분에 속한 점들을 동치관계로 식별하는 소스 다양체의 몫공간으로 분석함.
• 원래 링과 자유 모듈과 부분모듈 $ B_{R,s_k} $를 포함하는 직합과 동형인 계승된 교환 대수 $ A $를 조합하여 리브 공간의 코homology 링을 구성함.
• 모듈 분해를 통해 $ H^k(Q; R) $, $ B_{R,s_k} $, 그리고 $ G_j $를 사용함. 여기서 $ B_{R,s_k} $ 는 리브 공간 내부에 매끄럽게 임bed된 $ k $-구면의 쌍대 클래스들에 의해 생성됨.
• 코homology 모듈 간의 동형관계를 활용하고, 계수를 $ R $로 하는 맵을 통해 코homology의 곱을 추론함.

실험 결과

연구 질문

• RQ1 수술 연산을 통해 체계적으로 명시적인 접기 맵을 구성하여 리브 공간 내에서 원하는 대수적 불변량을 실현할 수 있는가?
• RQ2 접기 맵에 대한 버블링 연산이 리브 공간의 코homology 링에 어떤 영향을 미치는가?
• RQ3 주어진 계승된 교환 대수가 접기 맵의 리브 공간의 코homology 링으로서 나타나는 조건은 무엇인가?
• RQ4 특이점 집합의 위상과 맵의 국소 모델이 코homology 링의 구조를 어느 정도 제어할 수 있는가?
• RQ5 리브 공간의 코homology 링에서의 곱 연산은 원래 접기 맵의 기하학적 성질과 그 수술의 특성과 어떻게 관련되는가?

주요 결과

• 구성된 접기 맵 $ f' $ 의 리브 공간의 코homology 링 $ H^*(W_{f'}; R) $ 은 $ H^*(W_f; R) $ 과 계승된 교환 대수 $ A $ 의 직합과 동형이며, 특정한 모듈 분해를 가짐.
• 코homology 링의 구조는 자유 모듈 $ B_k $, 부분모듈 $ B_{R,s_k} $, 그리고 $ G_j $ 의 선택에 의해 제어되며, 여기서 $ B_{R,s_k} $ 는 리브 공간 내부에 매끄럽게 임베딩된 $ k $-구면의 쌍대 클래스들에 의해 생성됨.
• 코homology의 곱은 명시적으로 계산 가능함: 특정 원소들에 대해 곱은 $ A_{1,j,j_1,j_2} $ 와 $ H^n(W_{f'}; R) $ 의 생성자 곱으로 나타나며, 계수는 $ G_n $ 의 구조에 의해 결정됨.
• 일부 코homology 클래스의 곱은 한 인자 요소가 특정 합성부분에 속할 경우 0이 되며, 이는 링의 구조에 비자명한 관계가 있음을 시사함.
• 이 구성은 새로운 맵 $ f' $ 의 리브 공간이 원래 맵 $ f $ 의 것과 동일한 대수적 구조를 유지하고 확장함을 보장하며, 제어된 랭크와 모듈 분해를 가짐.
• 이 방법은 $ R $ 위의 광범위한 계승된 교환 대수, 특히 GCPS 대수를 포함하여, 접기 맵의 리브 공간의 코homology 링으로서 실현 가능함을 보여줌.