Homotopy Mackey functors of equivariant algebraic \(K\)-theory (Q2134645)

Given a ring \(R\), classical algebraic \(K\)-theory produces a spectrum whose homotopy groups are the algebraic \(K\)-groups of \(R\). If the ring \(R\) is equipped with an action by a finite group \(G\), work of Merling provides a \(G\)-spectrum, whose homotopy gives an equivariant version of \(K\)-theory for rings. This homotopy forms a \textit{Mackey functor}, which consists of a collection of abelian groups indexed over subgroups of \(G\) together with restriction and transfer maps subject to some conditions appearing here in definition 2.1.5. Mackey functors are equivalent to modules over the \textit{Burnside category} (see definition 2.1.2.), and one can also define \textit{spectral Mackey functors}, which are modules over a spectrally-enriched version of the Burnside category. Guillou and May showed that spectral Mackey functors are equivalent to \(G\)-spectra, and this permits to interpret (the \(G\)-spectrum of) equivariant \(K\)-theory as a spectral Mackey functor: this is the Mankiewicz and Merling construction on Waldhausen \(G\)-categories, discussed here in sections 2.4 and 2.5. The above construction of equivariant \(K\)-theory from spectral Massey functors is categorical and the Massey functors that make up its homotopy have not been calculated in general. This work provides a direct algebraic construction that gives an easier interpretation of the homotopy Massey functors of equivariant \(K\)-theory. The author uses \textit{twisted group rings} \(R_\theta[G]\) for each ring \(R\) equipped with an action \(\theta\) by the group \(G\), a version of the group ring \(R[G]\) but with multiplication twisted by the group action (definition 2.3.1). One central result is then Theorem 3.0.1, showing the existence of a Mackey functor \(\underline K^G_n(R)\) whose value at \(G/H\), where \(H\) is a subgroup \(G\), is given by the algebraic \(K\)-theory \(K_n(R_\theta[H])\) and whose restriction and transfer maps come from extension and restriction of scalars along homomorphisms of twisted group rings. The definition of these Mackey functors \(\underline K^G_n(R)\) is done in section 3, and specifically the axioms of a Massey functor are checked in sections 3.3 and 3.4 (plus appendix a). Proposition 3.6.2 in the short section 3.6 shows that, whenever the \(G\)-action is trivial, these Massey functors recover those constructed by Dress and Kuku. The other major result here is Theorem 4.0.1, where the author shows the existence of spectral Mackey functors \(\mathbf{K}_G(R)\), for \(G\)-rings \(R\) (such that the order of the finite group \(G\) is invertible in \(R\)), whose homotopy consists of the previously defined Mackey functors \(\underline K^G_n(R)\). The \(\mathbf{K}_G(R)\) are equivalent to the equivariant algebraic \(K\)-theory of \(R\) of Malkievich and Merling. The final section of this work constructs different families of Mackey functors from the previous results. These include the \(K\)-theory of endomorphism rings (proposition 5.3.3), the \(K\)-theory of Galois extension (proposition 5.2.1), and the topological Hochschild homology of twisted group rings (example 5.3.4).