[논문 리뷰] Algebraic K-theory of the fraction field of topological K-theory

Christian Ausoni, John Rognes|ArXiv.org|2009. 11. 25.

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

한 줄 요약

이 논문은 상위 순환 homology를 사용하여 $S$-대수 $\ell/p = k(1)$의 대수적 K-이론을 모듈로 $p$ 및 $v_1$로 계산하고, 이를 통해 전이 사상 $K(L/p) \to K(L_p)$의 호모토피 코프라이어를 $위상적 K-이론의 $p$-완비 아담스 합성부분의 '분수체'의 대수적 K-이론으로 식별한다. 결과적으로 이는 $p$-진 필드에 대한 타이트–파이투 다항성과 유사한 산술 대칭성 정리가 존재할 것임을 시사한다.

ABSTRACT

We compute the algebraic K-theory modulo p and v_1 of the S-algebra ell/p = k(1), using topological cyclic homology. We use this to compute the homotopy cofiber of a transfer map K(L/p) --> K(L_p), which we interpret as the algebraic K-theory of the "fraction field" of the p-complete Adams summand of topological K-theory. The results suggest that there is an arithmetic duality theorem for this fraction field, much like Tate--Poitou duality for p-adic fields.

연구 동기 및 목표

• 위상적 K-이론의 $p$-완비 아담스 합성부분 $\ell_p$의 대수적 K-이론을 갈로아 수축과 국소화를 통해 이해하기 위해.
• 전이 사상 $K(L/p) \to K(L_p)$의 대상이 되는 $\mathrm{ff}(\ell_p)$로 간주되는 '$\ell_p$의 분수체'를 특정하기 위해.
• $K(\mathbb{Z}_p)$ 및 $K(\mathbb{Q}_p)$의 구조와 유사한 $V(1)$-호모토피 군의 개념적 프레임워크를 $K(\mathrm{ff}(\ell_p))$에 대해 수립하기 위해.
• $\mathrm{ff}(\ell_p)$의 대수적 K-이론이 $p$-진 필드에 대한 타이트–파이투 다항성과 유사한 산술 대칭성을 만족할 것임을 제안하기 위해.
• $K(n)$-국소화 갈로아 확장과 공진된 등가 $L_{K(n+1)}K(\Omega_n) \simeq E_{n+1}$를 통해 이 프레임워크를 고차원 색계 수준으로 확장하기 위해.

제안 방법

• 상위 순환 homology(TC)를 사용하여 $V(1)_*K(\ell/p)$를 계산하며, 여기서 $\ell/p = k(1)$은 아담스 합성부분의 모듈로 $p$ 축소이다.
• 블룸버그와 만델에 의해 확립된 국소화 수열 $K(\mathbb{Z}/p) \to K(\ell_p) \to K(L_p)$을 적용하여 $K(\ell_p)$와 $K(L_p)$를 연결한다.
• 전이 사상 $K(L/p) \to K(L_p)$의 호모토피 코프라이어를 분수체의 대수적 K-이론인 $K(\mathrm{ff}(\ell_p))$로 해석한다.
• 공통 $S$-대수에 대한 갈로아 수축 스펙트럴 시퀀스를 사용하여 $K(\overline{\mathbb{Q}}_p)$ 위의 절대 갈로아 군 작용을 모델링하고, 타이트–파이투 다항성을 일반화한다.
• 모티브 스펙트럴 시퀀스와 블로흐의 고차 코호몰로지 군을 활용하여 모듈로 $p$ 모티브 코호몰로지와 갈로아 코호몰로지를 연결하고, $r > i$에서 잘라낸다.
• 고차 보트 원소를 $V(1)_*K(ku)$에 구성하고, 이를 $\mathbb{F}_{p^2}(1)$ 위의 갈로아 작용과 연결한다. 이는 $b \mapsto w u^{p+1}$ 및 $\xi \mapsto u^j$를 통해 $\mathbb{F}_{p^2}[u^{\pm 1}]$를 실현한다.

실험 결과

연구 질문

• RQ1 위상적 K-이론의 $p$-완비 아담스 합성부분 $\ell_p$의 분수체의 대수적 K-이론은 무엇인가?
• RQ2 전이 사상 $K(L/p) \to K(L_p)$의 호모토피 코프라이어는 $\mathrm{ff}(\ell_p)$의 대수적 K-이론과 어떻게 관련이 있는가?
• RQ3 $\mathrm{ff}(\ell_p)$에 대해 타이트–파이투 다항성과 유사한 산술 대칭성 정리를 수립할 수 있는가?
• RQ4 고차 보트 원소와 $V(1)_*K(ku)$ 위의 갈로아 작용은 $\mathbb{F}_{p^2}[u^{\pm 1}]$의 구조를 어떻게 실현하는가?
• RQ5 $K(n)$-국소화 갈로아 확장과 공진된 등가 $L_{K(n+1)}K(\Omega_n) \simeq E_{n+1}$를 통해 이 프레임워크를 고차원 색계 수준으로 확장할 수 있는가?

주요 결과

• $K(\ell/p)$의 $V(1)$-호모토피 군은 자유 $P(v_2) = \mathbb{F}_p[v_2]$-모듈로, $|v_2| = 2p^2 - 2$이며, $4p+4$개의 생성자를 가진다.
• 전이 사상 $K(L/p) \to K(L_p)$의 호모토피 코프라이어는 $\ell_p$의 분수체의 대수적 K-이론인 $K(\mathrm{ff}(\ell_p))$로 식별된다.
• $V(1)_*K(\mathrm{ff}(\ell_p))$의 구조는 $p$-진 필드에 대한 타이트–파이투 다항성과 유사한 산술 대칭성을 만족할 것이라 추측된다.
• $V(1)_{2p+2}K(\Omega_1)[v_2^{-1}]$의 생성자는 비분열 $\Delta$-갈로아 확장 $L_p \to KU_p$에 의해 실현되며, $w \in \mathbb{F}_{p^2}^\times$가 $w^{p-1} = -1$를 만족할 때 이미지로 $wu^{p+1}$를 가진다.
• $V(1)_{2p+2}K(ku)$에 속하는 고차 보트 원소 $b$는 $b^{p-1} = -v_2 = -u^{p^2 - 1}$를 만족하고, 그 이미지는 $V(1)_*K(\Omega_1)[v_2^{-1}]$에서 $\mathbb{F}_{p^2}\{u^{p+1}\}$를 생성한다.
• $L_{K(n+1)}K(\Omega_n) \simeq E_{n+1}$의 공진이 제안되며, 여기서 $\Omega_n$은 $L_{K(n)}S$ 또는 $E_n$의 분수체의 $K(n)$-국소화 분리 폐쇄이므로, 색계에 따른 산술 대칭성의 확장이 가능하다.