Fields of definition of building blocks

Author:
Jordi Quer

Journal:
Math. Comp. **78** (2009), 537-554

MSC (2000):
Primary 11F11, 11G18

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

Published electronically:
May 13, 2008

MathSciNet review:
2448720

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We investigate the fields of definition up to isogeny of the abelian varieties known as *building blocks*. These varieties are defined as the -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 .

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 -simple factors up to isogeny of the Jacobian of the modular curve . Using this implementation we computed a table for conductors , 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.

**[1]**E. Pyle,*Abelian varieties over with large endomorphism algebras and their simple components over*. Modular curves and abelian varieties, 189-239, Progr. Math.,**224**, Birkhäuser, Basel, 2004. MR**2058652 (2005f:11119)****[2]**J. Quer,*Embedding problems over abelian groups and an application to elliptic curves*. J. Algebra**237**(2001), no. 1, 186-202. MR**1813898 (2002b:12008)****[3]**J. 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. MR**1650241 (99j:14045)****[4]**K. Ribet,*Fields of definition of abelian varieties with real multiplication*. Arithmetic geometry (Tempe, AZ, 1993), 107-118, Contemp. Math.,**174**, Amer. Math. Soc., Providence, RI, 1994. MR**1299737 (95i:11057)****[5]**K. Ribet,*Abelian varieties over and modular forms*. Modular curves and abelian varieties, 241-261, Progr. Math.,**224**, Birkhäuser, Basel, 2004 MR**2058653 (2005k:11120)****[6]**J.-P. Serre,*Modular forms of weight one and Galois representations*. Algebraic number fields: -functions and Galois properties (Proc. Sympos., Univ. Durham, Durham, 1975), pp. 193-268. Academic Press, London, 1977. MR**0450201 (56:8497)**

Retrieve articles in *Mathematics of Computation*
with MSC (2000):
11F11,
11G18

Retrieve articles in all journals with MSC (2000): 11F11, 11G18

Additional Information

**Jordi Quer**

Affiliation:
Universitat Politècnica de Catalunya, Departament Matemàtica Aplicada II, Campus Nord, Edifici Omega, Despatx 438, Jordi Girona 1–3, 08034-Barcelona, Spain

Email:
Jordi.Quer@upc.edu

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

Received by editor(s):
June 1, 2006

Received by editor(s) in revised form:
December 26, 2007

Published electronically:
May 13, 2008

Additional Notes:
This research was supported by grants MTM2006-15038-C02-01 and 2005SGR-00443

Article copyright:
© Copyright 2008
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.