[논문 리뷰] Strong convergence in the motivic Adams spectral sequence

Jonas Irgens Kylling, Glen Matthew Wilson|arXiv (Cornell University)|2019. 01. 10.

Analytic and geometric function theory참고 문헌 34인용 수 7

한 줄 요약

이 논문은 소수 2에서 가상 코homological 차원이 유한한 체 위에서 구의 스펙트럼에 대한 모티브적 애덤스 스펙트럴 급수의 강수렴성을 확립하며, 기약 소수에서 임의의 체 위에서도 강수렴성을 보인다. 수체와 같은 수체 위에서는 강수렴성이 실패함을 증명하고, Ext 군의 영영역과 보크슈타인 스펙트럴 급수를 활용하여 $(\ell,\eta)$-완비화된 모티브적 안정 스템의 제로스템에 대한 지수의 상한을 유도하고 이를 계산한다.

ABSTRACT

We prove strong convergence results for the motivic Adams spectral sequence of the sphere spectrum over fields with finite virtual cohomological dimension at the prime 2, and over arbitrary fields at odd primes. We show that the motivic Adams spectral sequence is not strongly convergent over number fields. As applications we give bounds on the exponents of the $(\ell,η)$-completed motivic stable stems, and calculate the zeroth $(\ell,η)$-completed motivic stable stems.

연구 동기 및 목표

• 일般적인 기저 체 위에서 구의 스펙트럼에 대한 모티브적 애덤스 스펙트럴 급수의 수렴 성질을 규명하는 것.
• 무한한 $\rho$- torsion이 존재할 경우 유도된 $E_\infty$-항이 0이 아닐 때 막히는 강수렴 문제를 해결하는 것.
• 밀놀 K-이론의 구조와 모티브적 스틴더 대수의 성질을 이용해 위상수학적 영영선을 모티브적 설정으로 확장하는 것.
• $(\ell,\eta)$-완비화된 모티브적 안정 스템의 지수에 대한 상한을 계산하고 제로스템을 결정하는 것.
• 완비화와 필터링을 통한 모티브적 안정 호모토피 군과 밀놀-위트 K-이론 간의 관계를 명확히 하는 것.

제안 방법

• 체 위에서의 모티브적 Ext와 그 실폐기체 위에서의 모티브적 Ext를 연결하는 확장 스펙트럴 급수를 사용하며, $\mathbb{Z}/2[\rho]$-모듈러 구조를 활용한다.
• 무한한 $h_0$-타워가 존재할 수 있는 영역인 $w \leq t-s \leq 0$에서 모티브적 애덤스 스펙트럴 급수의 $E_2$-항에서 영영선 추론을 적용한다.
• 기약 소수에서 $\ell$-보크슈타인 스펙트럴 급수를 사용하여 위상수학적 영영선을 모티브적 설정으로 확장한다.
• 필터링을 $K^{MW}_n$에 분석하고, 맵 $\Phi$를 통해 모티브적 안정 호모토피 군의 애덤스 필터링과 연결한다.
• $\Phi: \widehat{K^{MW}_n} \to \pi_{-n,-n}(\mathbf{S}_{\ell,\eta}^\wedge)$ 를 구성하고, 이 맵이 완비화를 유도하는 동형사상을 유도함을 증명한다.
• Mantovani의 결과에 따라 $H$-완비화가 $(\ell,\eta)$-완비화와 일치하므로, 강수렴을 유도된 $E_\infty$-항의 영성으로 환원한다.

실험 결과

연구 질문

• RQ1 기저 체에 어떤 조건이 성립할 경우, 구의 스펙트럼에 대한 모티브적 애덤스 스펙트럴 급수가 강수렴하는가?
• RQ2 유한형 $E_2$-항을 가진다 해도, 왜 수체 $\mathbb{Q}$와 같은 수체에서는 강수렴이 실패하는가?
• RQ3 특히 $h_0$-타워 영역에서 모티브적 Ext 군의 영영역이 수렴을 어떻게 통제하는가?
• RQ4 보크슈타인 또는 확장 스펙트럴 급수를 이용해, $\operatorname{Ext}$에서의 위상수학적 영영선을 어느 정도까지 모티브적 설정으로 확장할 수 있는가?
• RQ5 제로스템인 $(\ell,\eta)$-완비화된 모티브적 안정 스템의 구조는 어떻게 되며, 안정 스템의 지수는 어떻게 행동하는가?

주요 결과

• 가상 코호몰로지 차원이 유한한 체 위에서 소수 2일 때, 모티브적 애덤스 스펙트럴 급수의 강수렴성이 유도된 $E_\infty$-항의 영성으로 인해 성립한다.
• 수체 $\mathbb{Q}$와 같은 수체 위에서는, $K^M_*(\mathbb{Q})/2$ 내의 무한한 $\rho$- torsion으로 인해 유도된 $E_\infty$-항이 0이 아니므로 강수렴이 성립하지 않는다.
• $(\ell,\eta)$-완비화된 모티브적 안정 스템의 제로스템은 $\ell=2$일 때 $k_n$과 동형이며, 기약 소수 $\ell$일 때는 $\varprojlim_k K^M_n/\ell^k$와 동형이며, 후자는 $n<0$일 때 영이 된다.
• $\ell=2$일 때, $\pi_{-n,-n}(\mathbf{S})$의 $\ell$-완비화는 완비화 $\widehat{K^{MW}_n}$과 동형이며, 맵 $\Phi$는 완비화에서 동형사상을 유도한다.
• 가상 코호몰로지 차원이 유한한 체 위에서는 유도된 $E_\infty$-항이 영이 되므로, 보드먼의 수렴 기준에 의해 강수렴이 가능하다.
• 기약 소수에서 $\ell$-보크슈타인 스펙트럴 급수를 통해 위상수학적 영영선을 모티브적 설정으로 확장할 수 있으며, 이는 임의의 체 위에서 구의 스펙트럼에 대한 수렴을 보장한다.