Functoriality, Smith theory, and the Brauer homomorphism (Q5962627): Difference between revisions

This paper describes a functorial lift of mod \(p\) automorphic forms. Let \(\mathbf{G}\) be a semisimple group over a number field \(F\), and let \(k\) be an algebraically closed field of characteristic \(p\). The authors consider ``mod \(p\) automorphic forms'', which are Hecke eigenclasses in the cohomology of congruence subgroups with \(k\)-coefficients. Let \(\sigma\) be an automorphism of \(\mathbf{G}\) of order \(p\), defined over \(F\). Assume that the group \(\mathbf{G}^\sigma\) is connected. For almost all places \(v\), the authors construct a homomorphism \(\psi_v\) from a Hecke algebra for \(G_v=\mathbf{G}(F_v)\) to a Hecke algebra for \(G^\sigma_v\). Main theorem. If a \(\text{mod}\, p\) automorphic form for \(\mathbf{G}^\sigma\) has Satake parameters \(\{a_v \}\), then there exists a \(\text{mod}\, p\) automorphic form for \(\mathbf{G}\) with Satake parameters \(\{\psi_v^*(a_v) \}\). The authors also describe the correspondence at ramified places. Finally, they compute \(\psi_v\) in terms of dual groups. As explained in the paper, if a mod \(p\) automorphic form lifts to characteristic zero, then functoriality can also be obtained by classical methods (by comparison of trace formulae), and the classical methods sometimes give stronger results. Indeed, the functoriality results for mod \(p\) classes that do not lift to characteristic zero are the main novelty of this paper.