Fields of definition of building blocks

Quer, Jordi

doi:10.1090/S0025-5718-08-02132-7

Fields of definition of building blocks
HTML articles powered by AMS MathViewer

by Jordi Quer;

Math. Comp. 78 (2009), 537-554

DOI: https://doi.org/10.1090/S0025-5718-08-02132-7

Published electronically: May 13, 2008

PDF | Request permission

Abstract:

We investigate the fields of definition up to isogeny of the abelian varieties known as building blocks. These varieties are defined as the $\mathbb {Q}$-varieties admitting real or quaternionic multiplications of the maximal possible degree allowed by their dimensions (cf. Pyle (2004)). The Shimura-Taniyama conjecture predicts that every such variety is isogenous to a non-CM simple factor of a modular Jacobian $J_1(N)$.

The obstruction to descend the field of definition of a building block up to isogeny is given by Ribet in 1994 as an element in a Galois cohomology group. In this paper we begin by studying these elements from an abstract Galois-cohomological point of view, and obtain results and formulas for the computation of invariants related to them. When considered for the element attached to a building block, these invariants give the structure of its endomorphism algebra, and also complete information on the possible fields of definition up to isogeny of this building block.

We implemented these computations in Magma for building blocks given as $\overline {\mathbb {Q}}$-simple factors up to isogeny of the Jacobian of the modular curve $X_1(N)$. Using this implementation we computed a table for conductors $N\leq 500$, which is described in the last section. This table is a source of examples of building blocks with different behaviors and of statistical information; in particular, it contains many examples that answer a question posed by Ribet in 1994 on the existence of a smallest field of definition up to isogeny for RM-building blocks of even dimension.

References

Elisabeth E. Pyle, Abelian varieties over $\Bbb Q$ with large endomorphism algebras and their simple components over $\overline {\Bbb Q}$, Modular curves and abelian varieties, Progr. Math., vol. 224, Birkhäuser, Basel, 2004, pp. 189–239. MR 2058652
Jordi Quer, Embedding problems over abelian groups and an application to elliptic curves, J. Algebra 237 (2001), no. 1, 186–202. MR 1813898, DOI 10.1006/jabr.2000.8578
Jordi Quer, La classe de Brauer de l’algèbre d’endomorphismes d’une variété abélienne modulaire, C. R. Acad. Sci. Paris Sér. I Math. 327 (1998), no. 3, 227–230 (French, with English and French summaries). MR 1650241, DOI 10.1016/S0764-4442(98)80137-7
Kenneth A. Ribet, Fields of definition of abelian varieties with real multiplication, Arithmetic geometry (Tempe, AZ, 1993) Contemp. Math., vol. 174, Amer. Math. Soc., Providence, RI, 1994, pp. 107–118. MR 1299737, DOI 10.1090/conm/174/01854
Kenneth A. Ribet, Abelian varieties over $\bf Q$ and modular forms, Modular curves and abelian varieties, Progr. Math., vol. 224, Birkhäuser, Basel, 2004, pp. 241–261. MR 2058653, DOI 10.1007/978-3-0348-7919-4_{1}5
J.-P. Serre, Modular forms of weight one and Galois representations, Algebraic number fields: $L$-functions and Galois properties (Proc. Sympos., Univ. Durham, Durham, 1975) Academic Press, London-New York, 1977, pp. 193–268. MR 450201