Explicit determination of images of Galois representations attached to Hilbert modular forms (Q2488828)

\(F\) sei ein total-reeller algebraischer Zahlkörper. Die Fourierkoeffizienten \(c(f,\pi)\) einer Neuform \(f\) der Stufe \(N\) der Hilbertschen Modulgruppe zu \(F\) vom Gewicht \(k\) und Charakter \(\psi\) für einen Primdivisor \(\pi\) von \(F\) erzeugen einen Zahlkörper \(E\). Jeder Primzahl \(\lambda\) von \(E\) kann man eine \(\lambda\)-adische Darstellung \(\rho_\lambda\) zuordnen. \(\ell\) sei die rationale Primzahl unterhalb \(\lambda\). Der zweite der beiden Verf. hat diese Darstellungen ausführlich untersucht [Ann. Sci. Éc. Norm. Supér. 38, 505--551 (2005; Zbl 1160.11325)] und gezeigt, daß für \(\lambda\) außerhalb einer endlichen Menge von Ausnahmeprimzahlen das Bild von \(\rho_\lambda\bmod \lambda\) groß ist, d.h., \(\text{SL}_2 (\mathbb{F}_\ell)\) enthält, falls \(f\) keine Thetareihe ist. In der vorliegenden Arbeit wird eine Schranke für \(\ell\) angegeben und es werden drei Beispiele durchgerechnet (für \(F=\mathbb{Q}(\sqrt 5)\) und \(F=\mathbb{Q}(\sqrt {257})\), wobei sich als Ausnahme\-primzahlen nur Teiler von \(2\cdot 3 \cdot 5\) bzw. \(2\cdot 3\cdot 5\cdot 19\) bzw. \(2\cdot 3\cdot 257\) ergeben).