Modularity of fibres in rigid local systems

From MaRDI portal



Abstract: It is believed that any p-adic Galois representation which is potentially semistable arises from a modular form. The main theorem of Wiles establishes this modularity when the representation in question satisfies various technical restrictions, together with the key hypothesis that its reduction modulo p arises itself from a modular form. This article explains how a strong version of Wiles' "lifting theorem" implies the modularity of all hypergeometric abelian varieties - so-called because their periods are expressed in terms of values of classical hypergeometric functions. While this strong version remains unproved, various strengthenings of Wiles' original result, notably those arising from work of Wiles and Skinner, allow one to unconditionally establish the modularity of infinite collections of hypergeometric abelian varieties.


The paper under review considers two-dimensional \(\ell\)-adic representations of the absolute Galois group \(G_K\) of a totally real number field \(K\) occurring in `rigid families' of such representations. This means that these representations are obtained by specialising a representation \(\rho\) of \(G_{K(t)}\) at points \(x \in {\mathbb P}^1(K)\), where it is unramified, which is assumed to be the case for all \(x \notin \{0, 1, \infty\}\). Under some technical conditions on the monodromy at the three exceptional points, the author proves that the representations \(\rho[x]\) are modular for all \(x \in {\mathbb P}^1({\mathbb Q}) \setminus \{0, 1, \infty\}\), provided certain instances of the `lifting conjecture' are true. This conjecture asserts that an \(\ell\)-adic representation \(\rho\) is modular if its residual representation \(\bar{\rho}\) is modular, and has been proved in some cases, see for example \textit{C. M. Skinner} and \textit{A. Wiles} [Proc. Natl. Acad. Sci. USA 94, 10520-10527 (1997; Zbl 0924.11044)]. The main idea of the proof is to identify the representations under consideration with representations on Tate modules of certain abelian varieties.











This page was built for publication: Modularity of fibres in rigid local systems

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