[논문 리뷰] Geometric approach towards stable homotopy groups of spheres. The Kervaire invariant II

Петр Михайлович Ахметьев|ArXiv.org|2008. 01. 09.

Homotopy and Cohomology in Algebraic Topology인용 수 4

한 줄 요약

이 논문은 코버디즘 이론과 프레임드 임mersions의 자기교차 다발을 이용하여 Kervaire 불변량 1 문제에 기하적 접근을 제시한다. 자기교차 다발에 대해 ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/2$-제어와 ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-구조를 도입하여, 충분히 큰 $n = 2^l - 2$ 에서 구의 안정 호모토피 군에서 Kervaire 불변량이 0이 됨을 증명함으로써 고차원에서 문제를 해결한다.

ABSTRACT

The notion of the geometrical $\Z/2 \oplus \Z/2$--control of self-intersection of a skew-framed immersion and the notion of the $\Z/2 \oplus \Z/4$-structure (the cyclic structure) on the self-intersection manifold of a $\D_4$-framed immersion are introduced. It is shown that a skew-framed immersion $f:M^{\frac{3n+q}{4}} \looparrowright \R^n$, $0 < q <

연구 동기 및 목표

• 고차원 안정 호모토피 이론에서 기하 코버디즘 방법을 사용하여 Kervaire 불변량 1 문제를 해결하기.
• 왜곡된 프레임드 임머ersions의 자기교차 다발에 대한 ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/2$-제어를 정의하고 적용하기.
• ${\bf D}_4$-프레임드 임머ersions의 자기교차 다발에 대한 ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-구조의 존재를 확립하기.
• $l \geq l_0$ 인 모든 $n = 2^l - 2$ 에서 Kervaire 불변량이 0이 됨을 증명하기.
• $\delta^k$ 와 $\Theta^k_{{\bf D}_4}$ 사상들을 통해 코버디즘 군에서 고차원으로 Kervaire 불변량을 일반화하기.

제안 방법

• ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/2$-제어의 개념을 도입하여, 특성류를 $\mathbb{R}P^{(3(n-q))/4}$ 로 재진행함으로써 왜곡된 프레임드 임머ersions의 자기교차에 대해 제어한다.
• ${\bf D}_4$-프레임드 임머ersions과 그들의 자기교차 다발을 범주 분해를 통해 ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-구조로 정의한다.
• 재진행 정리(Reformation Theorem)를 사용하여 큰 $n=2^l-2$ 에서는 임의의 왜곡된 프레임드 임머션이 순서 $q=62$ 의 재진행을 가짐을 보이며, 자기교차를 제어할 수 있음을 보인다.
• $H_*(K({\mathbb{Z}}/2\oplus{\mathbb{Z}}/2,1);{\mathbb{Z}}/2)$ 에서의 전이 준동형사상과 특성류를 적용하여 Kervaire 불변량의 0성을 탐지한다.
• $Imm^{sf}(n-k,k)$, $Imm^{{\bf D}_4}(n-2k,2k)$, 그리고 $\Theta^k_{{\bf D}_4}$ 를 연결하는 교환 다이어그램을 구성하여 Kervaire 불변량을 일반화한다.
• 전이 준동형사를 사용하여 $H_{62}(K({\mathbb{Z}}/2\oplus{\mathbb{Z}}/2,1);{\mathbb{Z}}/2)$ 에서 영구 호모로지 클래스를 정의하고, $H_{62}(K({\bf I}_b,1);{\mathbb{Z}}/2)$ 와의 동형사상 하에서 그가 0임을 보인다.

실험 결과

연구 질문

• RQ1 충분히 큰 $l$ 에서 모든 $n = 2^l - 2$ 에서 Kervaire 불변량이 0이 되는가?
• RQ2 ${\bf D}_4$-프레임드 임머션의 자기교차 다발이 정규 코버디즘 동치류에서 홀수 토르션을 무시할 때 ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-구조를 지닐 수 있는가?
• RQ3 $n=2^l-2$ 와 $l \geq l_0$ 인 경우, $H_{62}(K({\bf I}_b,1);{\mathbb{Z}}/2)$ 에서 특성류 $p_{\ast,b} \circ \hat{\eta}_*(\hat{\Lambda})$ 는 0인가?
• RQ4 $\delta^k$ 와 $\Theta^k_{{\bf D}_4}$ 사상들을 통해 코버디즘 군에서 고차원으로 Kervaire 불변량을 일반화할 수 있는가?
• RQ5 왜곡된 프레임드 임머션의 특성류에 대해 순서 $q=62$ 의 재진행이 존재하면 Kervaire 불변량이 0이 되는가?

주요 결과

• $l \geq l_0$ 인 모든 $n = 2^l - 2$ 에서 Kervaire 불변량이 0이 되며, 이는 주정리의 증명이다.
• ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/2$-제어는 왜곡된 프레임의 특성류가 $\mathbb{R}P^{(3(n-q))/4}$ 로 순서 $q$ 의 재진행을 가질 때 달성된다.
• 충분히 큰 $n=2^l-2$ 에서 모든 ${\bf D}_4$-프레임드 임머션은 정규 코버디즘 동치류에서 ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-구조를 지닌 대표자를 가진다.
• $(\mu_a \times \kappa_a)^!_*([\bar{\Lambda}^{62}_{k_1,k_2}]) \in H_{62}(K({\mathbb{Z}}/2\oplus{\mathbb{Z}}/2,1);{\mathbb{Z}}/2)$ 에서의 호모로지 클래스는 잘 정의되어 있으며, $H_{62}(K({\bf I}_b,1);{\mathbb{Z}}/2)$ 와의 동형사상 하에서 0이다.
• $H_{62}(K({\bf I}_b,1);{\mathbb{Z}}/2)$ 에서의 특성류 $p_{\ast,b} \circ \hat{\eta}_*(\hat{\Lambda})$ 는 상대 클래스의 이미지와 일치하며, 0이다.
• $L^{62}$ 의 부분다발 $L_0^{10} \subset L^{62}$ 의 정규다발은 자명하며, $12\kappa_a \oplus 12\mu_a$ 로 분해되며, 이는 [A2]의 보조정리 6.1 및 보조정리 7.1에 의해 Kervaire 불변량의 0성을 암시한다.