关于$\text{GL}_2$型阿贝尔簇的自同态代数及丢番图应用
On endomorphism algebras of $\text{GL}_2$-type abelian varieties and Diophantine applications
摘要 Abstract
设$f$和$g$为两个不同的没有复乘的新形式,且它们具有相同的系数域。本文的主要结果证明了:若素数$p$足够大时,与$f$和$g$相关的伽罗瓦表示之间存在一个同余关系,则由Eichler-Shimura构造得到的阿贝尔簇$A_f$和$A_g$的自同态代数之间存在同构。这表明了它们的构建块之间的重要关系。我们结果的一个非平凡应用是:对于所有满足$d\equiv 3 \pmod{8}$且$\mathbb{Q}(\sqrt{-d})$的类数与$3$互素的素数$d$,当$p$足够大时,方程$x^4 + dy^2 = z^p$没有非平凡本原解。我们还对方程$x^2 + dy^6 = z^p$得到了类似的结果。
Let $f$ and $g$ be two different newforms without complex multiplication having the same coefficient field. The main result of the present article proves that a congruence between the Galois representations attached to $f$ and to $g$ for a large prime $p$ implies an isomorphism between the endomorphism algebras of the abelian varieties $A_f$ and $A_g$ attached to $f$ and $g$ by the Eichler-Shimura construction. This implies important relations between their building blocks. A non-trivial application of our result is that for all prime numbers $d$ congruent to $3$ modulo $8$ satisfying that the class number of $\mathbb{Q}(\sqrt{-d})$ is prime to $3$, the equation $x^4+dy^2 =z^p$ has no non-trivial primitive solutions when $p$ is large enough. We prove a similar result for the equation $x^2+dy^6=z^p$.