[论文解读] Caractère d'isogénie et critères d'irréductibilité

Ágnes Dávid|arXiv (Cornell University)|Mar 20, 2011

Algebraic Geometry and Number Theory被引用 7

一句话总结

该论文为定义在数域上的椭圆曲线的 torsion 点所关联的伽罗华表示建立了显式且一致的不可约性准则，尤其针对由指定的半稳定约化类型定义的无限族。它推导出莫莫塞关于素数次同源的定理的显式界，并改进了此前关于伽罗华表示像中位似变换的统一界，为具有特定分歧和约化条件的数域上的算术几何与伽罗华表示理论提供了定量改进。

ABSTRACT

This article deals with the Galois representation attached to elliptic curves with an isogeny of prime degree over a number field. We first determine uniform criteria for the irreducibility of Galois representations attached to elliptic curves in some infinite families, characterised by their reduction type at some fixed places of the base field. Then, we give an explicit form for a bound that appear in a theorem of Momose. Finally, we use these results to precise a previous theorem of the author about the homotheties contained in the image of the Galois representation.

研究动机与目标

• 确定数域上椭圆曲线伽罗华表示的统一不可约性准则，以它们在固定位置的半稳定约化类型为参数。
• 为莫莫塞在数域上关于素数次同源的定理中的非有效界提供显式形式。
• 改进先前关于伽罗华表示像中位似变换的统一界，尤其在可约情形下。
• 通过在约化类型上施加显式条件，将 Mazur 在 Q 上的统一不可约性结果推广到一般的伽罗华数域。

提出的方法

• 该方法依赖于分析伽罗华数域 $K$ 上椭圆曲线的 $p$- torsion 点上伽罗华群的作用，使用表示 $\varphi_{E,p}: G_K \to \mathrm{GL}_2(\mathbb{F}_p)$。
• 它引入了基于 $K$ 的次数 $d_K$、单位格 $R_K$、类数 $h_K$ 和判别式 $\Delta_K$ 的显式界 $C(K,n)$，这些界源自丢番图逼近和类域论中的有效界。
• 分析根据小素数上方的约化类型（乘法型、普通型、超奇异型）区分情形，使用局部伽罗华表示和弗朗西斯群作用。
• 应用切博塔廖夫密度定理和类群调节子的界，以控制具有指定约化类型的素点的存在性。
• 证明利用了 $\varphi_{E,p}$ 的像的结构，特别是其对角线和循环特征标，以分析位似变换的存在性。
• 它利用了 Serre、Mazur 和 Momose 关于 $\varphi_{E,p}$ 的渐近满射性和同源性质的结果，并通过显式统一界加以改进。

实验结果

研究问题

• RQ1 对于哪些在伽罗华数域 $K$ 上的椭圆曲线的无限族，可以建立统一的界 $C(K,\mathcal{E})$，使得对所有 $p > C(K,\mathcal{E})$，有 $\varphi_{E,p}$ 不可约？
• RQ2 在曲线具有适当约化条件下，莫莫塞定理中关于素数次同源的非有效界是否可以显式化？
• RQ3 当表示可约时，$\varphi_{E,p}$ 的像中位似变换的阶的最优统一界是什么？
• RQ4 在小素数处指定的半稳定约化类型如何影响整体伽罗华表示及其不可约性？

主要发现

• 该论文为伽罗华数域 $K$ 上的椭圆曲线建立了统一不可约性准则：当存在两个在 $K$ 中完全分裂的相异素数 $q, q'$，使得 $E$ 在 $q$ 和 $q'$ 上方的素点处具有不同的半稳定约化类型时，只要 $p > C(K,M)$，就有 $\varphi_{E,p}$ 不可约。
• 推导出显式界 $C(K,n) = \left(n^{12h_K} C_2(K) + n^{6h_K}\right)^{2d_K}$，其中 $C_2(K) = \exp(12d_K C_1(K) R_K)$，且 $C_1(K)$ 仅依赖于 $K$ 的次数 $d_K$，从而为莫莫塞的结果提供了构造性版本。
• 在普通情形下，当 $p > C_K$ 时，$\varphi_{E,p}$ 的像包含所有位似变换的 12 次幂，优于先前的界。
• 在超奇异情形下，当 $p > C_K$ 时，$\varphi_{E,p}$ 的像包含所有位似变换的 4 次幂，同样具有显式界。
• 结果改进了作者先前关于位似变换统一界的成果，现在显式依赖于 $K$ 和 $n$，并将其推广到可约情形。
• 这些准则具有有效性，且仅依赖于数域 $K$ 的次数、单位格、类数和判别式，因此对任意给定的 $K$ 均可计算。