About: 同変K理論

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