[논문 리뷰] Cobordism invariants of fold maps

Boldizsár Kalmár|ArXiv.org|2007. 09. 04.

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

한 줄 요약

이 논문은 접선 맵에 대한 폰트리아진-투옴 유형의 구성법을 수립하여, 프레임된 임베딩을 통해 접선 맵의 코버디즘 동치류를 안정적인 호모토피 군 $BO(k)$의 분류 공간으로 연결한다. 특정 대칭군을 갖는 접선의 국소 모델을 사용하여, 임베딩된 다양체 위에 모스 함수의 피브레이션을 구성함으로써, 저자는 $BO(k)$의 안정적 호모토피 군이 접선 맵의 코버디즘 준군에 직접 합성분으로 나타남을 증명한다. 이는 이전의 구에 대한 결과를 일반화된 분류 공간으로 확장한다.

ABSTRACT

This is a survey paper of author's results on cobordism groups and semigroups of fold maps and simple fold maps. The results include: establishing a relation between fold maps and immersions through geometrical invariants of cobordism classes of fold maps and simple fold maps in terms of immersions with prescribed normal bundles, detecting stable homotopy groups of spheres as direct summands of the cobordism semigroups of fold maps, Pontryagin-Thom type construction for -1 codimensional fold maps and estimations about the cobordism classes of manifolds which have fold maps into stably parallelizable manifolds. In the last section some of these results are extended and we show that our invariants also detect stable homotopy groups of the classifying spaces $BO(k)$ as direct summands of the cobordism semigroups of fold maps.

연구 동기 및 목표

• 이전의 접선 맵에 대한 코버디즘 불변량 결과를 $BO(k)$의 안정적 호모토피 군을 포함하도록 확장하기 위해.
• 프레임된 정규 범주를 갖는 접선 맵과 임베딩 사이의 기하학적 대응관계를 폰트리아진-투옴 유형의 구성법을 통해 수립하기 위해.
• 접선 맵의 코버디즘 준군이 $BO(k)$의 안정적 호모토피 군을 직접 합성분으로 포함하고 있음을 보여주기 위해.
• 접선 맵이 구에서 스테이블리 평행가능한 다각형으로 일반화된 경우, 불변량을 어떻게 확장할 수 있는지에 대해.

제안 방법

• 특정 대칭군을 갖는 접선 근처 모델을 사용하여, 임베딩된 다각형 위에 모스 함수의 피브레이션을 구성하기 위해.
• singular set의 표준 프레임을 사용하여, 임베딩의 코버디즘 군에서 접선 코버디즘 준군으로의 준동형사상 $\alpha_{j,q}^N$을 정의하기 위해.
• 사상 공간에 유도된 사상으로 안정적 호모토피 군과의 연결을 위해, $\xi_{j,q}^N \circ \alpha_{j,q}^N$의 복합을 활용하기 위해.
• 안정적 호모토피 군 간의 자연스러운 준동형사상 $\beta_{j,*}$를 적용하여 단사성과 직접 합성분의 구조를 감지하기 위해.
• 복합 $\xi_{j,q}^N \circ \alpha_{j,q}^N$이 특정 합성분에서 항등사상으로 작용함을 이용하여, 코버디즘 준군 내의 직접 합성분 존재성을 증명하기 위해.
• 모델로 $(q+1)$-구와 모스 함수 $h_j$를 사용하여, 핸들 분해와 대칭성을 분석함으로써, 구성의 잘 정의됨을 보장하기 위해.

실험 결과

연구 질문

• RQ1 접선 맵의 코버디즘 준군이 $BO(k)$의 안정적 호모토피 군을 직접 합성분으로 감지할 수 있는가?
• RQ2 특정 정규 범주를 갖는 접선 맵에 대해 폰트리아진-투옴 유형의 구성법을 어떻게 조정할 수 있는가?
• RQ3 대칭군은 임베딩에서 접선 맵을 구성할 때 어떤 역할을 하는가?
• RQ4 접선 맵의 불변량은 분류 공간의 안정적 호모토피 군과 어떤 방식으로 관련이 있는가?
• RQ5 결과는 접선 맵이 구로의 경우에서 스테이블리 평행가능한 다각형으로 일반화될 수 있는가?

주요 결과

• 접선 맵의 코버디즘 준군 $\mathcal{C}ob_{N,f}(n+q,-q)$은 $2 \leq j < (q+1)/2$ 인 경우에 안정적 호모토피 군 $\pi_1^s(B(O(1,j-1)\times O(q+1-j)))$를 직접 합성분으로 포함한다.
• $n=2$ 이고 $N^2 = \mathbb{R}^2$ 이면, 코버디즘 군 $\mathcal{C}ob_f(2+q,-q)$는 $\mathbb{Z}_2^{3\lfloor q/2\rfloor}$ 를 직접 합성분으로 포함한다.
• 코버디즘 군 $\mathcal{C}ob_f^O(2+q,-q)$는 $\mathbb{Z}_2^{2\lfloor q/2\rfloor}$ 를 직접 합성분으로 포함한다.
• 복합 $\xi_{j,q}^N \circ \alpha_{j,q}^N$ 은 합성분 $\{\dot{N}, SB(O(1,j-1)\times O(q+1-j))\}$ 에서 항등사상으로 작용함을 보여, 직접 합성분의 존재성을 증명한다.
• 준동형사상 $\alpha_{1,q}^N$ 은 특별한 정점 집합의 표준 프레임과 모스 함수 모델의 대칭성 덕분에 잘 정의되어 있다.
• 이전의 $\pi_n^s$ 가 접선 코버디즘 준군에서 감지된 결과를 $BO(k)$의 경우로 일반화함으로써, 불변량의 적용 범위를 확장한다.