Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

ISSN 1088-6842(online) ISSN 0025-5718(print)

 

 

Fields of definition of building blocks


Author: Jordi Quer
Journal: Math. Comp. 78 (2009), 537-554
MSC (2000): Primary 11F11, 11G18
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 $ \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\leq500$, 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 [Enhancements On Off] (What's this?)

  • [1] Elisabeth E. Pyle, Abelian varieties over ℚ with large endomorphism algebras and their simple components over \overline{ℚ}, Modular curves and abelian varieties, Progr. Math., vol. 224, Birkhäuser, Basel, 2004, pp. 189–239. MR 2058652
  • [2] Jordi Quer, Embedding problems over abelian groups and an application to elliptic curves, J. Algebra 237 (2001), no. 1, 186–202. MR 1813898, 10.1006/jabr.2000.8578
  • [3] 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, 10.1016/S0764-4442(98)80137-7
  • [4] 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, 10.1090/conm/174/01854
  • [5] Kenneth A. Ribet, Abelian varieties over 𝑄 and modular forms, Modular curves and abelian varieties, Progr. Math., vol. 224, Birkhäuser, Basel, 2004, pp. 241–261. MR 2058653, 10.1007/978-3-0348-7919-4_15
  • [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) Academic Press, London, 1977, pp. 193–268. MR 0450201

Similar Articles

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: http://dx.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.