A note on Green functors with inflation

From MaRDI portal
Publication:2397556



Abstract: This note is motivated by the problem to understand, given a commutative ring F, which G-sets X, Y give rise to isomorphic F[G]-representations F[X]cong F[Y]. A typical step in such investigations is an argument that uses induction theorems to give very general sufficient conditions for all such relations to come from proper subquotients of G. In the present paper we axiomatise the situation, and prove such a result in the generality of Mackey functors and Green functors with inflation. Our result includes, as special cases, a result of Deligne on monomial relations, a result of the first author and Tim Dokchitser on Brauer relations in characteristic 0, and a new result on Brauer relations in characteristic p>0. We will need the new result in a forthcoming paper on Brauer relations in positive characteristic.


For a finite group \(G\) field \(A\) of characteristic \(p\geq 0\), let \(B(G)\) be he Burnside ring of \(G\), and \(R_A(G)\) the representation ring of \(G\) over \(A\). Let \(K_A(G)\) denote the kernel of the a natural homomorphism \(B(G) \to R_A(G)\). Then \(K_A(G)\) only depends on the characteristic of \(A\), so its elements are called the Brauer relations of \(G\) in characteristic \(p\). The best way to investigate the structure of \(K_A(G)\) is to view it as a Mackey functor with inflation. Let \(\mathrm{Imprim}_{K_A}(G)\) be the subgroup of \(K_A(G)\) generated by all relations that are induced from proper subgroups of \(G\) or lifted from proper quotients of \(G\), and let \(\mathrm{Prim}_{K_A}(G) = K_A(G)/ \mathrm{Imprim}_{K_A}(G)\). When \(A\) has characteristic \(0\), structure of \(\mathrm{Prim}_{K_A}(G)\) has been completely determined by the first author and T.~Dokchitser. In this paper, the authors give an axiomatic approach, by proving a general result on kernels of morphisms between Green functors with inflation. They also need to prove an induction theorem for \((p,q)\)-Dress groups, where recall that if \(p\) and \(q\) are primes, then a group is \(q\)-quasi-elementary if it has a normal cyclic subgroup of \(q\)-power index, it is \(p\)-hypo-elementary if it has a normal \(p\)-subgroup with cyclic quotient, and it is a \((p,q)\)-Dress group if it has a normal \(p\)-subgroup with \(q\)-quasi-elementary quotient. The general result has, as applications, a result of Deligne on monomial relations, a previous result of the first author and T.~Dokchitser on Brauer relations in characteristic \(0\), and a new result on Brauer relations in characteristic \(p > 0\), which is expected to be useful in the study of \(\mathrm{Prim}_{\mathbb{F}_p} (G)\).











This page was built for publication: A note on Green functors with inflation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2397556)