同変K理論

数学において、同変代数的K理論（どうへんだいすうてきKりろん、）は、ダニエル・キレンのQ-構成を通して、を持つ代数的スキーム X 上のの圏 に付随する代数的K-理論である。同変代数的 K-理論は、定義により、

である。特に、 は、 のグロタンディーク群である。この理論は、1980年代に により開発されたCharles A. Weibel, Robert W. Thomason (1952–1995).。特に、彼は局所化定理のような基本的の同変類似を証明した。

同じことであるが、 は 上の連接層の圏の として定義される（よって、同変 K-理論は、の特別な場合である）。

レフシェッツ不動点定理は、同変（代数的）K-理論の設定でも成立する。

基本定理 X を同変代数的スキームとする。

出典

参考文献 .

関連文献