K-theory, genotypes, and biset functors

Abstract

Let p be an odd prime number. In this paper, we show that the genome $Γ(P)$ of a finite $p$-group $P$, defined as the direct product of the genotypes of all rational irreducible representations of $P$, can be recovered from the first group of $K$-theory $K_1(\mathbb{Q}P)$. It follows that the assignment $P \to Γ(P)$ is a $p$-biset functor. We give an explicit formula for the action of bisets on $Γ$, in terms of generalized transfers associated to left free bisets. Finally, we show that $Γ$ is a rational $p$-biset functor, i.e. that $Γ$ factors through the Roquette category of finite $p$-groups.