On the non-commutative endomorphism rings of abelian surfaces
Abstract
A conjecture of Coleman implies that only finitely many quaternion algebras over the rational numbers can be the endomorphism $\mathbf{Q}$-algebras of abelian surfaces over the complex numbers which can be defined over $\mathbf{Q}$. One may think of this as a higher-dimensional version of the Gauss Class Number problem. Before now, no one has ruled out quaternion algebras over $\mathbf{Q}$ not already ruled out by the Albert classification. We rule out infinitely many such quaternion algebras by showing that for infinitely many $D$, the Atkin-Lehner quotient Shimura curve $X^D/w_D$ has no $\mathbf{Q}$-rational points. Our principal method is to use the level structure maps above $X^D$ to create torsors for use in the descent obstruction. Numerous Diophantine and analytic results on Shimura curves are also proved.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2015
- DOI:
- 10.48550/arXiv.1511.02518
- arXiv:
- arXiv:1511.02518
- Bibcode:
- 2015arXiv151102518S
- Keywords:
-
- Mathematics - Number Theory;
- 11G10;
- 11G30;
- 14G35;
- 11G18
- E-Print:
- There is a gap in section 4, invalidating the application to Torsors and Rational Points. The technical work of section 2 remains valid, but the result on Atkin-Lehner quotients and endomorphism rings does not until the gap is filled