同変K理論
X を同変代数的スキームとする。
局所化定理 ― 同変代数的スキームの閉埋め込み Z ↪ X {\displaystyle Z\hookrightarrow X} を開埋め込み Z − U ↪ X {\displaystyle Z-U\hookrightarrow X} が与えられると、次の群の長完全系列が存在する。
⋯ → K i G ( Z ) → K i G ( X ) → K i G ( U ) → K i − 1 G ( Z ) → ... {\displaystyle \dots \to K_{i}^{G}(Z)\to K_{i}^{G}(X)\to K_{i}^{G}(U)\to K_{i-1}^{G}(Z)\to \dots }