Derived induction theory for the K-theory of modular group algebras

We prove an induction theorem for the higher algebraic K-groups of group algebras $kG$ of finite groups $G$ over characteristic $p$ finite fields $k$. For a certain class of finite groups, which we call $p$-isolated, this reduces calculations to calculations for their $p$-subgroups. We do so by showing that the stable module categories of $kH$ as $H$ ranges over subgroups of $G$ assemble into a categorical Green functor, which results in a spectral Green functor structure on K-theory. By general induction theory, this reduces proving a spectrum-level induction statement to proving an induction statement on ${\pi }_0$ Green functors, which we accomplish using modular representation theory. For $p$-isolated groups with Sylow $p$-subgroups of order $p$, we produce explicit new calculations of K-groups.