Witt 벡터 유한 길이의 대수 K 이론: 가일스 하강과 저차 K 군 계산

본 논문은 특성 p인 완전체 k와 그에 대한 p‑typical Witt 벡터 Wₙ(k) (n은 양의 정수)의 대수 K‑이론을 전면적으로 연구한다. 서론에서는 k 자체의 K‑이론이 p‑완성 후 차원 0에만 집중된다는 사실을 상기하고, 이를 특성 0으로 승격시키는 Witt 벡터 구조가 K‑이론을 복잡하게 만든다는 점을 지적한다. 기존 연구는 p‑adic 정수 Zₚ와 완전 이산 평가 체의 경우에 한해 K‑이론을 완전히 계산했으며, 유한 길이 Witt 벡터에 대해서는 정규성 결여와 비정규성 때문에 전통적인 기하학적 방법이 적용되지 못했다는 점을 강조한다. 첫 번째 주요 결과(Theorem A)는 K(Wₙ(k))가 가일스 하강을 만족한다는 것이다. 구체적으로, 유한 군 G가 작용하는 완전체 확장 k→k′에 대해, K(Wₙ(k))→K(Wₙ(k′))^{hG}가 p‑완성 후 연결 커버에서 동형임을 증명한다. 증명은 다음과 같은 단계로 전개된다. (1) TC와 TF 스펙트럼을 이용해 K‑이론을 연결 커버의 동등체로 교체한다(정밀히는 cyclotomic trace trc:K→TC가 p‑완성 후 동형임을 이용). (2) Wₙ(k)를 p‑거듭제곱에 의해 필터링하고, 이 필터링이 T H H에 유도하는 스펙트럴 시퀀스를 구축한다. (3) 필터링된 T H H는 E₁ 페이지가 H H_{*}(k