同変K理論

数学において、同変代数的K理論（）は、ダニエル・キレンのQ-構成を通して、を持つ代数的スキーム "X" 上のの圏 formula_1 に付随する代数的K-理論である。同変代数的 K-理論は、定義により、
である。特に、formula_3 は、formula_1 のグロタンディーク群である。この理論は、1980年代に により開発された。特に、彼は局所化定理のような基本的の同変類似を証明した。
同じことであるが、formula_5 は formula_6 上の連接層の圏の formula_7 として定義される（よって、同変 K-理論は、の特別な場合である）。
レフシェッツ不動点定理は、同変（代数的）K-理論の設定でも成立する。
基本定理.
"X" を同変代数的スキームとする。