[論文レビュー] The homotopy limit problem and (etale) hermitian K-theory

Marco Schlichting|arXiv (Cornell University)|Nov 23, 2010

Algebraic Geometry and Number Theory参考文献 6被引用数 7

ひとこと要約

本稿では、2 が可逆で、Krull次元が有限かつ有界な mod-2 コホロロジー次元をもつノエザー的スキームに対して、自己同型作用 Z/2 における K-理論のホモトピー固定点へのヘルミート K-理論からの比較写像が 2-進同値であることを確立する。さらに、高次グローテンディーク＝ウット理論とそのエタール版の間の写像が、クイレン＝リヒテンバウム予想が予測する範囲でホモトピー群の同型を誘導することを示し、これにより複素代数的多様体および 2-整数環の高次グローテンディーク＝ウット群の計算が可能になる。

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 etale 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 が可逆で、mod-2 コホロロジー次元が有界なスキームに対して、Z/2-作用における K-理論のホモトピー固定点とヘルミート K-理論との間の 2-進同値性を確立すること。
• 高次グローテンディーク＝ウット理論とそのエタール版との間の比較写像が、クイレン＝リヒテンバウム予想に類似した範囲でホモトピー群の同型を誘導することを証明すること。
• これらの結果を用いて、複素代数的多様体および数体における 2-整数環の高次グローテンディーク＝ウット群を計算すること。
• これらの計算から、2-進およびエタールコホロロジー的制約の文脈におけるディーデキントゼータ関数の特殊値を導出すること。

提案手法

• K-理論における Z/2-作用を用い、ホモトピー固定点を分析することで、ヘルミート K-理論と比較する。
• エタールコホロロジーと有界なコホロロジー次元の技術を適用し、剰余体の振る舞いを制御する。
• クイレン＝リヒテンバウムの枠組みを、エタール比較写像における同型が予想される範囲のテンプレートとして用いる。
• 2 が可逆であり、十分な線分束の族が存在することを仮定することで、K-理論スペクトラムにおける幾何的制御を保証する。
• 仮想 mod-2 コホロロジー次元に関する結果を適用し、比較写像が同型となる範囲を制限する。
• グローテンディーク＝ウットスぺクトラムおよびそのエタール局所化の構造に依存して、比較同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 与えられた幾何的およびコホロロジー的条件下で、K-理論の Z/2-作用におけるホモトピー固定点へのヘルミート K-理論からの比較写像が 2-進同値であるか？
• RQ2 高次グローテンディーク＝ウット理論とそのエタール版との間の写像が、クイレン＝リヒテンバウム予想が予測する範囲でホモトピー群の同型を誘導するか？
• RQ3 確立された比較同型を用いて、複素代数的多様体および数体における 2-整数環の高次グローテンディーク＝ウット群を計算できるか？
• RQ4 これらの比較が 2-進設定におけるディーデキントゼータ関数の特殊値にどのような意味を持つのか？
• RQ5 正式に実数の剰余体が存在しない条件では、2-進同値性ではなく整数同値性が保証されるのはどのような場合か？

主な発見

• 指定された条件を満たすスキームに対して、ヘルミート K-理論から K-理論の Z/2-作用におけるホモトピー固定点への比較写像は 2-進同値である。
• X に正式に実数の剰余体が存在しない場合、比較写像は 2-進同値性ではなく整数同値性となる。
• 高次グローテンディーク＝ウット理論とそのエタール版との間の写像は、クイレン＝リヒテンバウム予想と類似した範囲でホモトピー群の同型を誘導する。
• これらの結果により、複素代数的多様体および数体における 2-整数環の高次グローテンディーク＝ウット群の明示的計算が可能になる。
• これらの計算から、特に 2-進設定におけるディーデキントゼータ関数の特殊値に関する情報が得られる。
• 剰余体の有界な仮想 mod-2 コホロロジー次元は、比較同型が成立する範囲を制御するために不可欠である。