[논문 리뷰] Fold cobordisms and stable homotopy groups

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

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

한 줄 요약

이 논문은 (n+q)-다양체에서 R^n으로의 접선 맵의 cobordism 군이 q > 0 이고 n ≥ 1 인 경우에 안정적인 호모토피 군과 구의 구역 및 실수 사영 공간의 안정적인 호모토피 군을 포함하는 직접 합성부를 가짐을 증명한다. 특이 집합과 그들의 임베딩에서 유도된 기하적 불변량을 사용하여, 저자는 이러한 안정적인 호모토피 군이 정렬된 및 비정렬된 접선 맵의 cobordism 군 모두에서 직접 합성부로 나타남을 증명한다.

ABSTRACT

We show that the cobordism groups of negative codimensional folds maps contain direct sums of stable homotopy groups of Thom spaces of vector bundles like the circle and the infinite dimensional projective space. We give geometrical invariants which detect these direct summands.

연구 동기 및 목표

• 접선 맵의 cobordism 군에서 안정적인 호모토피 군을 반영하는 대수적 불변량을 규명하는 것.
• q > 0 인 경우 (n+q)-다양체에서 R^n으로의 접선 맵의 cobordism 군의 구조를 규명하는 것.
• 기하적 및 호모토피적 방법을 통해 모스 함수와 접선 맵에 대한 기존 결과를 고차원 수축으로 확장하는 것.
• 안정적인 호모토피 군이 접선 맵의 cobordism 군에 직접 합성부로 나타남을 보여주는 것.
• 보르드와 임베딩 불변량을 사용하여 안도의 결과를 고차원 수축 접선 맵으로 일반화하는 것.

제안 방법

• 접선 맵을 정의하고, 이차형식을 포함하는 국소 모델을 사용하며, 인덱스 λ로 특이점을 분류하는 것.
• 접선 맵 f의 특이 집합 S_f를 (n-1)-차원 부분다양체로 간주하고, f|S_f 가 수축-일 차원 임베딩임을 이용하는 것.
• 이러한 임베딩의 cobordism 군류를 통해 기하적 불변량을 구성하며, 특히 그룹 Imm(n-1,1)과 그 변종을 사용하는 것.
• Mapping cylinder와 R^{2k} 위의 접선 맵을 포함하는 구성에 의해, Imm(n-1,1)에서 Cob_f(n+q, -q)로의 호모모르피즘을 수립하는 것.
• 역함수와 정방향 함수의 합성 사상이 항등사상임을 증명하여, Imm(n-1,1)이 직접 합성부로 포함됨을 보이는 것.
• 합성 사상의 동형 타입을 사용하여 cobordism 군이 Imm(n-1,1)과 관련된 군의 직접 합을 포함함을 보이는 것.

실험 결과

연구 질문

• RQ1 n ≥ 1 이고 q > 0 인 경우, (n+q)-다양체에서 R^n으로의 접선 맵의 cobordism 군이 안정적인 호모토피 군의 (n-1)번째 군을 직접 합성부로 포함하는 조건은 무엇인가?
• RQ2 접선 맵의 특이 집합의 구조는 톰 공간의 안정적인 호모토피 군과 어떻게 관련이 있는가?
• RQ3 q와 n의 어떤 값에 대해, 비정렬 접선 맵의 cobordism 군이 RP∞의 n번째 안정적인 호모토피 군을 직접 합성부로 포함하는가?
• RQ4 접선 맵의 기하적 불변량—특히 그 특이 임베딩의 cobordism 군류—는 cobordism 군의 토르션을 탐지할 수 있는가?
• RQ5 접선 맵의 cobordism 군은 안정적인 호모토피 군을 포함하는 직접 합으로 얼마나 깊이 분해될 수 있는가?

주요 결과

• n ≥ 1 이고 q > 0 인 경우, (n+q)-다양체에서 R^n으로의 접선 맵의 정렬된 cobordism 군은 ⌊(q+1)/2⌋개의 (n-1)번째 안정적인 호모토피 군의 복수의 직접 합성부를 포함한다.
• k ≥ 1 이고 q = 2k - 1 인 경우, (n+q)-다양체에서 R^n으로의 비정렬 접선 맵의 cobordism 군은 RP∞의 n번째 안정적인 호모토피 군을 직접 합성부로 포함한다.
• 증명은 Imm(n-1,1)과 Cob_f(n+q, -q) 사이의 사상의 합성에 의해 cobordism 군의 분할을 구성하는 데 기반하며, 이 합성 사상이 항등사상임을 보여준다.
• 접선 맵의 기하적 불변량—특히 그 특이 임베딩의 cobordism 군류—는 톰 공간 구성에 의해 안정적인 호모토피 군을 탐지한다.
• 보드의 군에 대해서도 유사한 결과가 성립하며, 동일한 안정적인 호모토피 군이 보드 군 Bor_f^(O)(n+q, -q)의 직접 합성부로 나타난다.
• 결과는 p-토르션을 계산하는 것이 매우 어렵다는 것을 시사하며, 특히 작은 소수 p에 대해서는 이러한 안정적인 호모토피 합성부의 존재로 인해 어렵다.