[논문 리뷰] Cobordisms of maps without prescribed singularities

Yoshifumi Ando|ArXiv.org|2004. 12. 13.

Geometric Analysis and Curvature Flows참고 문헌 34인용 수 9

한 줄 요약

이 논문은 코버디즘 클래스의 호모토피 이론적 분류를 통해 매끄러운 다성분의 매끄러운 사상에서의 제어된 특이점을 다루며, Thom-Boardman 기호를 사용하여 $Ω^I$-정규 사상을 정의한다. 이는 코버디즘 군이 안정 호모토피 군과 톰 복합체 구성에 의해 동형임을 보이며, 특이점의 대수적 불변량(예: $e$-불변량 및 접선 번들의 특성류)을 통해 구의 안정 호모토피 군에 속하는 원소를 탐지하는 데 응용된다.

ABSTRACT

Let $N$ and $P$ be smooth closed manifolds of dimensions $n$ and $p$ respectively. Given a Thom-Boardman symbol $I$, a smooth map $f:N o P$ is called an $Ω^{I}$-regular map if and only if the Thom-Boardman symbol of each singular point of $f$ is not greater than $I$ in the lexicographic order. We will represent the group of all cobordism classes of $Ω^{I}$-regular maps of $n$-dimensional closed manifolds into $P$ in terms of certain stable homotopy groups. As an application we will study the relationship among the stable homotopy groups of spheres, the above cobordism group and higher singularities.

연구 동기 및 목표

• Thom-Boardman 기호를 통해 제어된 특이점을 가진 매끄러운 사상의 코버디즘 이론을 정의하고 연구하기.
• $Ω^I$-정규 사상의 코버디즘 군과 안정 호모토피 군 사이의 호모토피 이론적 동형을 확립하기.
• 특이점의 대수적 불변량을 통해 구의 안정 호모토피 동치류를 탐지하기.
• 높은 차수의 특이점과 특성류(예: $P_1$, $P_2$)가 $π_n^S$ 내의 $e$-불변량과 어떻게 관련되는지 밝히기.

제안 방법

• Thom-Boardman 기호의 사전순서를 이용해 $Ω^I$-정규 사상을 정의하며, 기호 $≤ I$인 잔여 미분의 형태로 제한한다.
• 관련 벡터 번들의 톰 공간 사이의 번들 사상 $\mathbf{b}(\widehat{\gamma})^{(\Omega_n^I,\Omega_{n+1}^J)}$을 구성한다.
• 안정 호모토피 군에 유도된 톰 사상으로 코버디즘 동치류를 표현한다.
• 장애 이론과 특성류($w_2$, $P_1$, $P_2$)를 사용해 $π_n^S$ 내의 비자명 원소를 탐지한다.
• Vassiliev 복합체와 톰 다항식을 사용해 $(x^2+y^2,x^4)$ 및 $(x^2+y^3,xy^2)$ 유형의 특이점의 대수적 수를 계산한다.
• 특이점의 대수적 수를 24 또는 240로 나눈 나머지와 안정 호모토피 불변량(예: $e$-불변량)을 연결한다.

실험 결과

연구 질문

• RQ1 어떻게 제어된 특이점을 가진 사상의 코버디즘 동치류를 안정 호모토피 군을 통해 분류할 수 있는가?
• RQ2 특이점의 성격(Thom-Boardman 기호로 기술)과 그에 대응하는 사상의 안정 호모토피 동치류 사이의 정확한 관계는 무엇인가?
• RQ3 $n=1,2,3,7$일 때 특성류 $w_2$, $P_1$, $P_2$는 $π_n^S$ 내의 비자명 원소를 어떻게 탐지하는가?
• RQ4 특정 유형의 특이점의 대수적 수로부터 $e$-불변량을 복원할 수 있는가?
• RQ5 Vassiliev 복합체와 톰 다항식은 특이 사상의 불변량을 계산하는 데 어떤 역할을 하는가?

주요 결과

• $n=1$일 때, $e$-불변량은 $(1,1,0)$-특이점의 mod 2 수에 의해 mod 2로 탐지된다.
• $n=2$일 때, 안정 호모토피 동치류 $ω_0([f]) \neq 0$이 되는 것은 $w_2(\tau(\widehat{V},\mathcal{T}(f))) \neq 0$이 되는 것과 동치이며, 이는 $(1,1,0)$-특이점의 존재를 의미한다.
• $n=3$일 때, $e$-불변량은 $P_1(\tau(\widehat{V},\mathcal{T}(f)))/2$에 대해 mod 24로 동일하며, $(2,0)$-특이점의 대수적 수는 $π_3^S \approx \mathbb{Z}/(24)$를 계산한다.
• $n=7$일 때, 안정 호모토피 동치류는 $P_2(\tau(\widehat{V},\mathcal{T}(f)))/6$에 대해 mod 240로 탐지되며, $(2,0)$ 및 $(2,1)$-특이점의 대수적 수는 해당 불변량을 제공한다.
• $(x^2+y^3,xy^2)$ 및 $IV_4$ 유형의 특이점의 대수적 수의 차이 $A - 2B$는 54로 나누어지며, $(A-2B)/54$는 $π_7^S \approx \mathbb{Z}/(240)$ 내의 안정 호모토피 동치류에 대응한다.
• 사이클 $\langle(x^2+y^3,xy^2) - 2IV_4\rangle$의 톰 다항식은 $9P_2(\tau(\widehat{V},\mathcal{T}(f)))$이며, 이는 특이점 수와 특성류 사이의 연결고리를 제공한다.