# On the non-commutative endomorphism rings of abelian surfaces

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.

**Comments:**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

## Similar Publications

We present a conjectural formula for the principal minors and the characteristic polynomial of Gross's regulator matrix associated to a totally odd character of a totally real field. The formula is given in terms of the Eisenstein cocycle, which was defined and studied earlier by the authors and collaborators. For the determinant of the regulator matrix, our conjecture follows from recent work of Kakde, Ventullo and the first author. Read More

We prove that there is a true asymptotic formula for the number of one sided simple closed curves of length $\leq L$ on any Fuchsian real projective plane with three points removed. The exponent of growth is independent of the hyperbolic structure, and it is noninteger, in contrast to counting results of Mirzakhani for simple closed curves on orientable Fuchsian surfaces. Read More

In this work we introduce new methods to study the $abc$ conjecture and related problems. These methods are based on the theory of Shimura curves. The three main applications that we obtain are the following: (1) we show new unconditional effective bounds for the minimal discriminant and Faltings height of elliptic curves over $\mathbb{Q}$ in terms of the conductor, (2) we prove that for any given $\epsilon>0$, if $a,b,c$ are coprime positive integers with $a+b=c$ then $d(abc)\ll_\epsilon rad(abc)^{8/3+\epsilon}$, where $d$ is the number of divisors function, and (3) we show that appropriate bounds for modular degrees imply Szpiro's conjecture in the context of modular elliptic curves over totally real number fields, thus extending beyond $\mathbb{Q}$ a classical modular approach of Frey to Szpiro's conjecture. Read More

We describe several improvements to algorithms for the rigorous computation of the endomorphism ring of the Jacobian of a curve defined over a number field. Read More

We consider the problem of counting the number of rational points of bounded height in the zero-loci of Brauer group elements on semi-simple algebraic groups over number fields. We obtain asymptotic formulae for the counting problem for wonderful compactifications using the spectral theory of automorphic forms. Applications include asymptotic formulae for the number of matrices over Q whose determinant is a sum of two squares. Read More

We derive new bounds for moments of the error in the Sato-Tate law over families of elliptic curves. The novelty lies in establishing power savings instead of power of logarithm saving, as obtained in earlier works. As applications, we deduce new almost-all results for the said errors and a conditional Central Limit Theorem on the distribution of these errors. Read More

We prove that every Diophantine quadruple in $\mathbb{R}[X]$ is regular. More precisely, we prove that if $\{a, b, c, d\}$ is a set of four non-zero polynomials from $\mathbb{R}[X]$, not all constant, such that the product of any two of its distinct elements increased by $1$ is a square of a polynomial from $\mathbb{R}[X]$, then $$(a+b-c-d)^2=4(ab+1)(cd+1).$$ One consequence of this result is that there does not exist a set of four non-zero polynomials from $\mathbb{Z}[X]$, not all constant, such that a product of any two of them increased by a positive integer $n$, which is not a perfect square, is a square of a polynomial from $\mathbb{Z}[X]$. Read More

We study almost prime solutions of systems of Diophantine equations in the Birch setting. Previous work shows that there exist integer solutions of size B with each component having no prime divisors below B^{1/u}, where u=c_0n^{3/2}, n is the number of variables and c_0 is a constant depending on the degree and the number of equations. We improve the polynomial growth n^{3/2} to the logarithmic (\log n) (\log \log n)^{-1}. Read More

We prove the unpolarized Shafarevich conjecture for K3 surfaces: the set of isomorphism classes of K3 surfaces over a fixed number field with good reduction away from a fixed and finite set of places is finite. Our proof is based on the theorems of Faltings and Andr\'e, as well as the Kuga-Satake construction. Read More

Let $V$ be a quasiprojective variety defined over $\mathbb{F}_q$, and let $\phi:V\rightarrow V$ be an endomorphism of $V$ that is also defined over $\mathbb{F}_q$. Let $G$ be a finite subgroup of $\operatorname{Aut}_{\mathbb{F}_q}(V)$ with the property that $\phi$ commutes with every element of $G$. We show that idempotent relations in the group ring $\mathbb{Q}[G]$ give relations between the periodic point counts for the maps induced by $\phi$ on the quotients of $V$ by the various subgroups of $G$. Read More