[논문 리뷰] On the $\eta$-inverted sphere

Oliver Röndigs|arXiv (Cornell University)|2016. 02. 29.

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

한 줄 요약

이 논문은 특성 2가 아닌 모든 체 위에서 $η$-역행렬화된 구면 스펙트럼의 첫 번째 및 두 번째 호모토피 군이 식별적으로 0이 됨을 증명한다. 연결 유희 이론을 통한 $η$-역행렬화된 구면 스펙트럼의 분해와 2-역행렬화 이후의 위상적 연결성 결과를 활용하여, 모티브 아담스 스펙트럴 시리즈와 슬라이스 필터링 기법을 통해 정수 계수에서의 0화를 확립하며, 이는 이전의 유리수 및 2-진수 계산을 일반화한 것이다.

ABSTRACT

It is shown that the first and second homotopy groups of the $\\eta$-inverted sphere spectrum over a field of characteristic not two are zero. A cell presentation of higher Witt theory is given as well, at least over the complex numbers.

연구 동기 및 목표

• 특성 2가 아닌 체 위에서 $η$-역행렬화된 구면 스펙트럼의 첫 번째 및 두 번째 호모토피 군의 0화를 확립하는 것.
• 모티브 스펙트럼 호모토피 군의 이전의 유리수 및 2-진수 계산을 정수 계수로 확장하는 것.
• 복소수 위에서 $η$-역행렬화된 구면 스펙트럼을 사용한 연결 유희 이론의 셀 표현을 제공하는 것.
• Morel의 제로 라인과 밀너-위트 K-이론의 식별을 바탕으로, $η$-역행렬화가 1차 및 2차 호모토피 군에 대해 자명한 군을 유도함을 증명하는 것.
• 아이유브의 베티 실현의 실수판을 통해 모티브적 및 위상적 방법을 연결하여 $π_{n+3,n}\mathbf{1}[1/\eta]$ 의 정수 계수 계산을 해결하는 것.

제안 방법

• 연결 유희 이론을 통한 $η$-역행렬화된 구면 스펙트럼의 분해를 사용: $ι[1/\eta] \to \mathsf{cKW} \to \mathsf{cKW} \wedge \mathsf{cKW}$.
• 분해에서 두 번째 사상의 연결성을 적용하여 $π_{n+1,n}\mathbf{1}[1/\eta]$ 와 $π_{n+2,n}\mathbf{1}[1/\eta]$ 의 0화를 유도한다.
• 실수판을 가진 조셉 아이우브의 베티 실현 모델을 활용하여 연결 실수 K-이론에서 연결 유희 이론으로 결과를 이전한다.
• 모티브 슬라이스 필터링과 모티브 아담스 스펙트럴 시리즈의 수렴성을 활용하여 $2$-완비화된 호모토피 군을 분석한다.
• 밀너의 유도된 극한 정확열 시퀀스를 사용하여 $2$-완비화와 $2$- torsion 정보를 호모토피 군 내에서 연결한다.
• Morel의 제로 라인과 밀너-위트 K-이론의 식별을 통한 등장사실 $π_{n,n}\mathbf{1}[1/\eta] \cong W(F)$ (기저 체의 유희 환)를 적용한다.

실험 결과

연구 질문

• RQ1 특성 2가 아닌 체 위에서 $η$-역행렬화된 구면 스펙트럼의 1차 및 2차 호모토피 군이 자명한가?
• RQ2 $π_{n+3,n}\mathbf{1}[1/\eta]$ 의 정수 계수 계산이 연결 유희 이론과 슬라이스 필터링을 통해 달성될 수 있는가?
• RQ3 사상 $ι[1/\eta] \to \mathsf{cKW}$ 의 연결성이 낮은 차수의 호모토피 군의 0화를 어떻게 유도하는가?
• RQ4 모티브 아담스 스펙트럴 시리즈가 $Χ$ 와 $Σ$ 에서 정수 계수의 $π_{n+1,n}\mathbf{1}[1/\eta]$ 계산을 얼마나 허용하는가?
• RQ5 위상적 결과인 연결 실수 K-이론의 성질이 모티브적 맥락에서 연결 유희 이론으로 이전될 수 있는가?

주요 결과

• 특성 2가 아닌 모든 체 위에서 모든 정수 $n$ 에 대해 $π_{n+1,n}\mathbf{1}[1/\eta]$ 와 $π_{n+2,n}\mathbf{1}[1/\eta]$ 가 0이 된다.
• $\mathsf{cKW}$ 에 대한 사상 $ι[1/\eta] \to \mathsf{cKW}$ 는 $2$-연결적이며, 분해에서 두 번째 사상 $ι[1/\eta] \to \mathsf{cKW} \to \mathsf{cKW} \wedge \mathsf{cKW}$ 도 $2$-연결적이므로, 관련된 호모토피 층의 0화가 유도된다.
• $n \geq 5$ 이고 $k \geq 1$ 이면, $π_{n+3,n}\mathsf{sc}\mathbf{1} \to \u03c0_{n+3,n}\mathsf{sc}\mathbf{1}/2^k$ 의 표준 사상이 전사적이며, 이는 $\lim^1$ 항의 0화를 이끌어내고, 결과적으로 $2$-완비화된 호모토피 군의 0화를 이룬다.
• $π_{n+1,n}\mathbf{1}^\wedge_2 \cong \lim_k \pi_{n+1,n}(\mathsf{sc}\mathbf{1})/2^k$ 는 참이며, $n \geq 5$ 에서 $π_{n+2,n}\mathsf{sc}\mathbf{1}$ 가 0이므로 $n \geq 5$ 에서 $π_{n+1,n}\mathbf{1}^\wedge_2 = 0$ 이 된다. 이는 정수 계수의 0화를 유도하는 데 기여한다.
• 복소수에 대해서는 연결 유희 이론의 완전하고 작은 셀 표현을 얻었으며, 이는 $π_{3,0}\mathbf{1}[1/\eta]$ 의 생성자를 사용해 4-셀을 붙임으로써 시작되나, 주 증명에서는 사용되지 않는다.
• $π_{n+1,n}\mathbf{1}[1/\eta]$ 와 $π_{n+2,n}\mathbf{1}[1/\eta]$ 의 0화는 $2$-완비화와 $2$- torsion 분석을 밀너의 정확열 시퀀스를 통해 결합함으로써, $2$-역행렬화 이후가 아니라 정수 계수에서도 성립한다.