同変K理論

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

である。特に、 は、 のグロタンディーク群である。この理論は、1980年代に  により開発された。特に、彼は局所化定理のような基本的の同変類似を証明した。

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

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

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

出典

参考文献 
.

関連文献 

代数的K理論
K-理論
数学に関する記事