A₆-extensions of Q and the mod p cohomology of GL₃( Z)

From MaRDI portal
Publication:817259



Abstract: We present six examples of 3-dimensional mod p Galois representations of type A_6 for which we were able to obtain computational evidence for the generalization of Serre's Conjecture proposed by Ash, Doud, Pollack, and Sinnott. We also propose a further refinement of the conjecture corresponding to the "peu vs. tr`es ramifi'ee" distinction of Serre.


A special case of a generalization of a conjecture of Serre is as follows. Let \(\rho:G_{\mathbb{Q}}\rightarrow \text{GL}_3(\bar{\mathbb{F}}_p)\) be a continuous irreducible representation. If \(p>2\), we assume that \(\rho(\text{Frob}_\infty)\) has eigenvalues \(1,1,-1\) or \(1,-1,-1\). Let \(N\) be the level and \(\varepsilon\) the nebentype character associated to \(\rho\). Then for any weight \((a,b,c)\) associated to \(\rho\), there exists a Hecke eigenclass \(x\) in \(H^3(\Gamma_0(N),F(a,b,c)_\varepsilon)\) with \(\rho\) attachted. As usual, \(G_{\mathbb{Q}}\) denotes the absolute Galois group of \({\mathbb{Q}}\). The level \(N=\prod_{q\neq p}q^{n_q}\) is defined via higher ramification groups \(G_i\) with \(n_q=\sum_{i=0}^\infty (|G_i|/|G_0|)\cdot \dim M/M^{G_i}\). A weight is a triple \((a,b,c)\) satisfying \(0\leq a-b,b-c\leq p-1\) and \(0\leq c\leq p-2\). \(\Gamma_0(N)\) is the subgroup of \(\text{Sl}_3({\mathbb{Z}})\) consisting of matrices whose first row is congruent to \((\star,0,0)\) modulo \(N\). The authors present six examples of \(3\)-dimensional mod\,\(p\) Galois representations of projective type \(A_6\) for which they are able to obtain computational evidence for the conjecture. They looked at twelve \(A_6\)-extensions of \({\mathbb{Q}}\), which are ramified at most at two primes \(\leq 19\). They could feasible check the conjecture at six of these extensions. The checking of the conjecture requires studying the local behavior of these extensions. These computations were done entirely with PARI/GP.





Describes a project that uses

Uses Software






This page was built for publication: \(A_6\)-extensions of \(\mathbb Q\) and the mod \(p\) cohomology of \(\text{GL}_3(\mathbb Z)\)

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