Equivariant algebraic \(K\)-functors for \(\Gamma\)-rings (Q6146105)

This paper sets forth a further investigation of the author's approach to group actions in homological algebra in the settings of algebraic \(K\)-theory that could be called an introduction to \(\Gamma\)-algebraic \(K\)-theory. The originality of his approach to the study of homological properties of groups and rings lies in the definition of a new and unexpected action of a group \(\Gamma\) on the classical chain complexes defining the homology of a group \(G\) and of a ring \(R\). By taking homology groups of the tensor product of the classical chain complex under this action of \(\Gamma\) with the coefficient group, he has defined new homology and cohomology groups of \(\Gamma\)-groups and \(\Gamma\)-rings, called \(\Gamma\)-equivariant (co)homology. These new tools has allowed him to extend important homological properties of groups and rings to \(\Gamma\)-groups and \(\Gamma\)-rings, opening a new direction in homological algebra that is called \(\Gamma\)-homological algebra. In this paper, he investigates the influence of group actions on the foundations of algebraic \(K\)-theory when a discrete group is acting on the basic ring. For \(\Gamma\)-rings, the Milnor algebraic \(K\)-theory and Swan algebraic \(K\)-functors are introduced and investigated. In particular, the Matsumoto conjecture related to the symbol group, and the Milnor conjectures related to Witt algebras and Chow groups for \(\Gamma\)-rings are extended.