엘 아드식 K 이론과 피 국소체

초록

본 논문은 ℓ이 p와 서로 다른 경우, 유한체 위 라우랑 급수체 𝔽ₚ((x)) 에 대해 G. Carlsson이 제시한 ℓ‑adic K‑이론과 절대 갈루아군 G_F 의 표현론 사이의 관계를 기술한 추측을 검증한다. 기존에 두 경우만 알려진 이 추측을 두 번째 경우인 피‑국소체에 대해 증명함으로써, ℓ‑adic K‑이론이 갈루아군의 완전표현환과 동형임을 확인한다.

상세 분석

Carlsson의 ℓ‑adic K‑이론 추측은 특성 ℓ와 서로 다른 체 F 에 대해, ℓ‑adic 완성 K‑이론 Kₙ(F)̂ℓ 이 절대 갈루아군 G_F 의 ℓ‑adic 완전표현환 R̂ℓ(G_F) 과 동형이라는 강력한 선언이다. 이 추측은 현재까지 두 경우에서만 증명되었다. 첫 번째는 체가 대수적으로 닫힌 경우이며, 두 번째는 체가 ℓ‑adic 완전체 ℚ_ℓ 또는 그와 동형인 경우이다. 본 논문은 두 번째 경우에 해당하는 피‑국소체 𝔽ₚ((x)) 에 초점을 맞춘다.

𝔽ₚ((x)) 는 특성 p 이지만 ℓ과는 서로소이므로, ℓ‑adic 완성 K‑이론을 고려할 때 전통적인 베타‑정리와는 다른 기술이 필요하다. 저자들은 먼저 𝔽ₚ((x)) 의 절대 갈루아군 G_F 의 구조를 상세히 분석한다. 이 군은 완전한 비가환 군으로, 최대 비가환 부분인 야생 관성군 P 와 비가환이 아닌 비관성군 ℤ̂ 의 반직접곱으로 분해된다. 특히, ℓ이 p와 서로소이므로 ℓ‑Sylow 부분은 ℤ̂ 에 포함되고, 이는 ℓ‑adic 완전표현환을 계산하는 데 핵심적인 역할을 한다.

다음 단계에서는 K‑이론과 TC (Topological Cyclic Homology) 사이의 비교 스펙트럴 시퀀스를 이용한다. 기존의 Dundas‑Goodwillie‑McCarthy 정리를 ℓ‑adic 완성 버전으로 확장함으로써, 저자들은 TC(𝔽ₚ((x)))̂ℓ 이 ℓ‑adic K‑이론과 동등함을 보인다. 이 과정에서 THH (Topological Hochschild Homology) 의 ℓ‑adic 완성 형태가 G_F 의 고정점 복합체와 동형임을 입증한다.

핵심적인 계산은 R̂ℓ(G_F) 의 구조를 명시적으로 구하는 것이다. 저자들은 ℓ‑adic 완전표현환이 ℓ‑adic 완전화된 그룹 고리 ℤ̂_ℓ