[논문 리뷰] The homotopy fixed point theorem and the Quillen-Lichtenbaum conjecture in hermitian K-theory

A. J. Berrick, Max Karoubi외 2명|arXiv (Cornell University)|2010. 11. 23.

Algebraic Geometry and Number Theory참고 문헌 38인용 수 5

한 줄 요약

이 논문은 허미션자 K-이론에서 두 가지 핵심 추측을 확립한다: ℤ/2-작용 하에서 대수적 K-이론의 호모토피 고정점과 고차 Grothendieck-Witt 군(허미션자 K-이론) 사이의 2진 등가성을 증명하고, Quillen-Lichtenbaum 추측의 허미션자 버전을 검증하여, 그 모듈로 2^ν 비교 사상이 고전적 K-이론에서와 동일한 범위 내에서 호모토피 군에 대해 동형사상임을 보인다. 이러한 결과들은 수체의 2-정수환과 복소 기하 구조에서의 고차 Grothendieck-Witt 군의 명시적 계산을 가능하게 하며, 이들의 순서가 Dedekind 제타함수의 특수값과 연결됨을 보여준다.

ABSTRACT

Let X be a noetherian scheme of finite Krull dimension, having 2 invertible in its ring of regular functions, an ample family of line bundles, and a global bound on the virtual mod-2 cohomological dimensions of its residue fields. We prove that the comparison map from the hermitian K-theory of X to the homotopy fixed points of K-theory under the natural Z/2-action is a 2-adic equivalence in general, and an integral equivalence when X has no formally real residue field. We also show that the comparison map between the higher Grothendieck-Witt (hermitian K-) theory of X and its étale version is an isomorphism on homotopy groups in the same range as for the Quillen-Lichtenbaum conjecture in K-theory. Applications compute higher Grothendieck-Witt groups of complex algebraic varieties and rings of 2-integers in number fields, and hence values of Dedekind zeta-functions.

연구 동기 및 목표

• 노에테리안 스킴에 대해 ℤ/2-작용 하에서 대수적 K-이론과 허미션자 K-이론 사이의 호모토피 고정점 등가성에 대한 윌리엄스의 추측을 해결한다.
• Quillen-Lichtenbaum 추측의 허미션자 버전을 확립하여, 고전적 K-이론에서와 동일한 범위 내에서 허미션자 K-이론과 그 에탈리안 판별판 사이의 모듈로 2^ν 비교 사상이 호모토피 군에 대해 동형사상임을 증명한다.
• 에탈리안 코hom로지와 스펙트럴 시퀀스를 사용하여 전체 실수 수체의 2-정수환과 복소 대수기하 구조에서의 고차 Grothendieck-Witt 군을 계산한다.
• 이 군들의 순서를 Dedekind 제타함수의 특수값과 연결하여, 음의 정수에서의 제타함수 값에 대한 명시적 공식을 제시한다.

제안 방법

• 오르토곤럴 군의 분류공간과 ℤ/2-작용 하에서 유니타리 군의 호모토피 고정점 사이의 2진 호모토피 등가성을 증명하여, 위상적 실수 K-이론 등가성의 일반화를 수행한다.
• 호모토피 고정점 스펙트럴 시퀀스: H^{-p}(C₂; K_q(R)) ⇒ GW_{p+q}(R)를 사용하여, 고전적 Quillen-Lichtenbaum 스펙트럴 시퀀스를 허미션자 K-이론으로 확장한다.
• Nisnevich 수렴과 모티브 호모토피 이론의 결과(예: Hu-Kriz-Ormsby의 작업 및 Voevodsky의 Milnor 추측 증명)를 적용하여 비교 정리들을 확립한다.
• 수체의 2-정수환의 허미션자 K-이론 군을 계산하기 위해, 비틀린 ℤ₂ 및 μ₂ 계수를 가진 에탈리안 코호몰로지 기법을 적용한다.
• 특히 8을 모듈로로 하는 차수에서, 에탈리안 코호몰로지 군과 고차 Grothendieck-Witt 군 사이의 스펙트럴 시퀀스를 유도한다.
• 이 스펙트럴 시퀀스를 수체의 정수환에 대한 K-이론의 기존 결과들과 결합하여, GW-군의 순서와 제타함수 값 간의 관계를 명시적으로 유도한다.

실험 결과

연구 질문

• RQ1 노에테리안 스킴에 대해 허미션자 K-이론에서 호모토피 고정점의 대수적 K-이론으로 가는 비교 사상이 2진 등가성인가?
• RQ2 허미션자 K-이론과 그 에탈리안 판별판 사이의 모듈로 2^ν 비교 사상이 Quillen-Lichtenbaum 추측에서와 동일한 범위 내에서 호모토피 군에 대해 동형사상인가?
• RQ3 전체 실수 수체의 2-정수환에 대한 고차 Grothendieck-Witt 군은 에탈리안 코호몰로지와 스펙트럴 시퀀스를 통해 계산될 수 있는가?
• RQ4 이 군들의 순서는 Dedekind 제타함수의 특수값과 관련이 있으며, 만약 그렇다면 명시적 공식을 도출할 수 있는가?
• RQ5 F가 전체 실수 수체일 때, R = 𝒪_F'에 대해 GW_i(R)의 구조는 무엇이며, 특히 에탈리안 코호몰로지와 비틀린 계수를 통해 어떻게 기술할 수 있는가?

주요 결과

• 노에테리안 스킴에 대해 허미션자 K-이론에서 호모토피 고정점의 대수적 K-이론으로 가는 비교 사상은 2진 등가성임을 증명하였으며, 이는 위상적 실수 K-이론 등가성의 일반화이다.
• 허미션자 K-이론과 그 에탈리안 판별판 사이의 모듈로 2^ν 비교 사상은 Quillen-Lichtenbaum 추측에서와 동일한 범위 내에서 호모토피 군에 대해 동형사상임을 증명하여, 허미션자 Quillen-Lichtenbaum 추측을 확인하였다.
• 전체 실수 수체의 2-정수환에 대해 고차 Grothendieck-Witt 군은 비틀린 ℤ₂ 및 μ₂ 계수를 가진 에탈리안 코호몰로지로 계산되며, 명시적인 스펙트럴 시퀀스를 도출하였다.
• GW_{8k+2}^{[0]}(𝒪_F') 및 GW_{8k+3}^{[0]}(𝒪_F')의 순서는 ζ_F(-1-4k)와 관련이 있으며, 이 비율은 2^r / w_{4k+2}와 같다. 여기서 w_{4k+2} = 2^{a_F + ν₂(4k+2)}이다.
• 비슷하게, ζ_F(-3-4k) = 2^r / w_{4k+4}까지의 홀수 배수까지의 오차를 고려하면, GW_{8k+6}^{[0]}(𝒪_F') 및 GW_{8k+7}^{[0]}(𝒪_F')의 순서 비율은 2^r / w_{4k+4}와 같다.
• GW_{8k+6}^{[2]}(𝒪_F')의 토크션 부분군은 ζ_F(-3-4k)의 공식에 나타나며, 이는 허미션자 K-이론의 토크션 성분이 제타함수 값에 의해 감지될 수 있음을 보여준다.