同変K理論
数学において、同変代数的K理論(どうへんだいすうてきKりろん、英: equivariant algebraic K-theory)は、ダニエル・キレンのQ-構成を通して、線型代数群 G の作用(英語版)を持つ代数的スキーム X 上の同変連接層(英語版)の圏 Coh G  ( X ) {\displaystyle \operatorname {Coh} ^{G}(X)} に付随する代数的K-理論である。同変代数的 K-理論は、定義により、
K i G ( X ) = π i ( B + Coh G  ( X ) ) {\displaystyle K_{i}^{G}(X)=\pi _{i}(B^{+}\operatorname {Coh} ^{G}(X))}
である。