The density of ramified primes

From MaRDI portal
Publication:2279531



Abstract: Let F be a number field, mathcalO be a domain with fraction field mathcalK of characteristic zero and ho:mathrmGal(overlineF/F)omathrmGLn(mathcalO) be a representation such that hootimesoverlinemathcalK is semisimple. If mathcalO admits a finite monomorphism from a power series ring with coefficients in a p-adic integer ring (resp. mathcalO is an affinoid algebra over a p-adic number field) and ho is continuous with respect to the maximal ideal adic topology (resp. the Banach algebra topology), then we prove that the set of ramified primes of ho is of density zero. If mathcalO is a complete local Noetherian ring over mathbbZp with finite residue field of characteristic p, ho is continuous with respect to the maximal ideal adic topology and the kernels of pure specializations of ho form a Zariski-dense subset of mathrmSpecmathcalO, then we show that the set of ramified primes of ho is of density zero. These results are analogues, in the context of big Galois representations, of a result of Khare and Rajan, and are proved relying on their result.


Summary: Let \(F\) be a number field, \(\mathcal{O}\) be a domain with fraction field \(\mathcal{K}\) of characteristic zero and \(\rho:\text{Gal}(\overline F/F)\to\text{GL}_n(\mathcal{O})\) be a representation such that \(\rho\otimes\overline{\mathcal{K}}\) is semisimple. If \(\mathcal{O}\) admits a finite monomorphism from a power series ring with coefficients in a \(p\)-adic integer ring (resp. \(\mathcal{O}\) is an affinoid algebra over a \(p\)-adic number field) and \(\rho\) is continuous with respect to the maximal ideal adic topology (resp. the Banach algebra topology), then we prove that the set of ramified primes of \(\rho\) is of density zero. If \(\mathcal{O}\) is a complete local Noetherian ring over \(\mathbb{Z}_p\) with finite residue field of characteristic \(p,\rho\) is continuous with respect to the maximal ideal adic topology and the kernels of pure specializations of \(\rho\) form a Zariski-dense subset of \(\text{Spec}\mathcal{O}\), then we show that the set of ramified primes of \(\rho\) is of density zero. These results are analogues, in the context of big Galois representations, of a result of \textit{C. Khare} and \textit{C. S. Rajan} [Int. Math. Res. Not. 2001, No. 12, 601--607 (2001; Zbl 1043.11049)], and are proved relying on their result.











This page was built for publication: The density of ramified primes

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