[논문 리뷰] Exotic Motivic Periodicities

Bogdan Gheorghe|arXiv (Cornell University)|2017. 09. 04.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 9

한 줄 요약

이 논문은 $\operatorname{Spec} \mathbb{C}$ 위에서의 동역학적 호모토피 군에서 비널포텐셜 원소 $\eta$를 기반으로 한 새로운 모티빅 주기성 이론, 즉 $w_n$-주기성을 제안한다. 동역학적 체수 $K(w_n)$와 $\pi_{\ast,\ast}(wBP) \cong \mathbb{F}_2[w_0, w_1, \ldots]$를 만족하는 $E_\infty$ 링 스펙트럼 $wBP$를 구축함으로써, 동역학적 호모토피 이론에서의 이국적 주기 현상을 탐지할 수 있는 프레임워크를 제공한다.

ABSTRACT

One can attempt to study motivic homotopy groups by mimicking the classical (non-motivic) chromatic approach. There are however major differences, which makes the motivic story more complicated and still not well understood. For example, classically the $p$-local sphere spectrum $S^0_{(p)} $ admits an essentially unique non-nilpotent self-map, which is not the case motivically, since Morel showed that the first Hopf map $η\colon S^{1,1} o S^{0,0}$ is non-nilpotent. In the same way that the non-nilpotent self-map $2 = v_0 \in π_{\ast,\ast}(S^{0,0})$ starts the usual chromatic story of $v_n$-periodicity, there is a similar theory starting with the non-nilpotent element $η\in π_{\ast,\ast}(S^{0,0})$, which Andrews-Miller denoted by $η= w_0$. In this paper we investigate the beginning of the motivic story of $w_n$-periodicity when the base scheme is $\mathbf{Spec} \! \ \mathbb{C}$. In particular, we construct motivic fields $K(w_n)$ designed to detect such $w_n$-periodic phenomena, in the same way that $K(n)$ detects $v_n$-periodic phenomena. In the hope of detecting motivic nilpotence, we also construct a more global motivic spectrum $wBP$ with homotopy groups $π_{\ast,\ast}(wBP) \cong \mathbb{F}_2[w_0, w_1, \ldots]$.

연구 동기 및 목표

• 고전적 크로모틱 주기성 이론의 동역학적 유사체를 수립하기 위해, $v_0 = 2$ 대신 첫 번째 동역학적 호프 사상인 $w_0 = \eta$를 출발점으로 삼는다.
• 2와 $\eta$와 같은 여러 비널포텐셜 자기사상이 존재함으로써 고전적 크로모틱 알고리즘이 동역학적 호모토피 이론에서 실패하는 문제를 다룬다.
• 고전적 $K(n)$이 $v_n$-주기성을 탐지하는 것과 유사하게, $w_n$-주기 현상을 탐지할 수 있는 동역학적 체수 스펙트럼 $K(w_n)$를 구축한다.
• $\pi_{\ast,\ast}(wBP) \cong \mathbb{F}_2[w_0, w_1, \ldots]$를 만족하는 $E_\infty$ 링 스펙트럼 $wBP$를 정의하고 구축함으로써, 전역적 동역학적 주기성 이론을 제공한다.
• $\overline{H}$-기반 $C\tau$-선형 동역학적 애덤스 스펙트럼 급수열을 통해 $w_n$-주기적 구조를 분석할 수 있는 계산 프레임워크를 제공한다.

제안 방법

• 셀룰러 동역학적 스펙트럼을 $\operatorname{Spec} \mathbb{C}$ 위에서 모델링하기 위해 $C\tau$-모듈의 범주를 사용하며, 이로써 $\overline{H}$-호모로지의 계산이 가능해진다.
• $\overline{H}$-기반 $C\tau$-선형 동역학적 애덤스 스펙트럼 급수열을 적용하여, 몫 스틴로드 대수 $\overline{\mathcal{A}}//E(P_1, P_2, \ldots)$ 위의 $\operatorname{Ext}$ 군을 계산한다.
• $\overline{H}$-스틴로드 대수 위에서 $\mathbb{F}_2$의 해소를 통해 $k(w_n)$을 구성한 후, $E_\infty$-링 구조를 통해 $K(w_n)$으로 올린다.
• $\overline{\mathcal{A}}//E(P_1, P_2, \ldots)$ 위에서 $\mathbb{F}_2$의 해소를 통해 $wBP$를 구축하며, $\overline{H}^{\ast,\ast}(wBP) \cong \overline{\mathcal{A}}//E(P_1, P_2, \ldots)$임을 만족한다.
• 환전환 이중성 등식을 사용하여 애덤스 스펙트럼 급수열이 $E_2$에서 붕괴함을 보이며, 이로써 $\pi_{\ast,\ast}(wBP) \cong \mathbb{F}_2[w_0, w_1, \ldots]$를 도출한다.
• $w_{n+1}, w_{n+2}, \ldots$로 나누어 $wBP$의 몫으로서 $wBP\langle n\rangle$을 구성하며, $\pi_{\ast,\ast}(wBP\langle n\rangle) \cong \mathbb{F}_2[w_0, \ldots, w_n]$임을 만족한다.

실험 결과

연구 질문

• RQ1 고전적 $v_0 = 2$ 대신 $w_0 = \eta$를 출발점으로 삼는 동역학적 주기성 이론을 구축할 수 있는가?
• RQ2 적절한 동역학적 체수 스펙트럼 $K(w_n)$는 무엇이며, 이는 $w_n$-주기 현상을 탐지하는 데 어떻게 기능하는가?
• RQ3 $\pi_{\ast,\ast}(wBP) \cong \mathbb{F}_2[w_0, w_1, \ldots]$를 만족하는 $E_\infty$ 링 스펙트럼 $wBP$는 어떻게 구축할 수 있는가?
• RQ4 동역학적 애덤스 스펙트럼 급수열이 $wBP$에 대해 $E_2$에서 붕괴하는가? 이는 호모토피 군에 어떤 의미를 갖는가?
• RQ5 $wBP\langle n\rangle$의 구축이 $E_\infty$ 링 구조와 호환될 수 있는가?

주요 결과

• 동역학적 애덤스 스펙트럼 급수열이 $wBP$에 대해 $E_2$에서 붕괴하며, 숨겨진 확장이 없이 $\pi_{\ast,\ast}(wBP) \cong \mathbb{F}_2[w_0, w_1, \ldots]$를 도출한다.
• 동역학적 체수 스펙트럼 $K(w_n)$는 $\overline{H}^{\ast,\ast}(K(w_n)) \cong \overline{\mathcal{A}}//E(P_1, \ldots, P_n)$를 만족하는 $E_\infty$ 링 스펙트럼이며, $\overline{\mathcal{A}}$-모듈로서의 구조를 가진다.
• $wBP\langle n\rangle$는 $wBP$의 몫으로서 구성되며, $\pi_{\ast,\ast}(wBP\langle n\rangle) \cong \mathbb{F}_2[w_0, \ldots, w_n]$를 만족하는 $E_\infty$ 링 구조를 가진다.
• $wBP$의 $\overline{H}$-호모로지는 $\overline{\mathcal{A}}//E(P_1, P_2, \ldots)$와 동형이며, 주기성 이론의 예상되는 대수적 구조를 확인한다.
• $wBP$의 구축은 $C\tau$-선형 해소를 통해 $\overline{H}$-스틴로드 대수 위에서 $\mathbb{F}_2$를 해소함으로써 이루어지며, 미분은 마르골리스 원소 $P_t^s$를 사용하여 정의된다.
• $wBP\langle n\rangle$의 스펙트럼 급수열 역시 $E_2$에서 붕괴하며, $\operatorname{Ext}$-군은 $\mathbb{F}_2[w_0, \ldots, w_n]$과 동형이 되어 주기성 구조를 확인한다.