위트 벡터의 기본 기하학: 아핀 경우의 새로운 접근

논문은 Witt 벡터 함자를 새로운 관점에서 재구성한다. 먼저, R을 Dedekind 영역, E를 R의 최대 아이디얼들의 유한 집합으로 잡고, E‑typical Witt 벡터 함자 W_{R,E}를 정의한다. 기존의 p‑typical Witt 벡터는 A^ℕ에 정수 계수를 가진 다항식으로 연산을 정의했지만, 여기서는 N(E)라 불리는 자유 가법군이 A^{N(E)}에 작용하는 방식을 이용한다. 이 작용이 Λ_{R,E}‑구조, 즉 각 m∈E에 대해 Frobenius 상승 ψ_m이 m‑제곱 잔류체 위에서 Frobenius 사상으로 감소하는 구조와 일치한다는 점을 핵심으로 삼는다. E‑flat(즉, 모든 m∈E에 대해 m‑torsion‑free)인 R‑대수 A에 대해, A^{N(E)} 안에서 N(E) 작용에 안정되고 Λ_{R,E}‑구조를 만족하는 최대 부분대수 B를 선택한다. 이 B를 W^{\flat}_{R,E}(A)라 정의하고, 이는 보편적 성질을 만족하는 오른쪽 적응자(right adjoint)임을 보인다. 그런 다음, 일반적인 R‑대수에 대해 좌 Kan 확장을 수행해 전체 함자 W_{R,E}를 얻는다. 다음 단계에서는 차단된 버전 W_{R,E,n}을 도입한다. 이는 W^{\flat}_{R,E}(A)를 A^{