[论文解读] Essential dimension of abelian varieties over number fields

Patrick Brosnan, Ramesh Sreekantan|ArXiv.org|Feb 29, 2008

Algebraic Geometry and Number Theory被引用 3

一句话总结

本文证明了任意非平凡阿贝尔簇在数域上的基本维数为无穷，解决了椭圆曲线的猜想，并将其推广至所有阿贝尔簇。证明利用了塔特模上的伽罗华表示与波戈莫洛夫定理，表明某些 $\varepsilon$-进结构通过 $\Pi/\ell^n$-挠子簇的基本维数迫使基本维数为无穷。

ABSTRACT

We affirmatively answer a conjecture in the preprint ``Essential dimension and algebraic stacks,'' proving that the essential dimension of an abelian variety over a number field is infinite.

研究动机与目标

• 解决文献[3]中的猜想10.5，该猜想提出：任何数域上的椭圆曲线的基本维数为无穷。
• 将此结果推广至所有正维数的非平凡阿贝尔簇。
• 建立一个关于基本维数为无穷的一般性判别准则，基于域扩张中存在 $\Pi/\ell^n$-挠子簇以及有限但非平凡的 $\mu_{\ell^\infty}$-挠子簇。
• 提供一个比基于卡拉佩科与梅尔库杰夫理论的替代方法更简短、自包含的证明，同时强调定理3的独立兴趣。

提出的方法

• 利用弗洛伦斯建立的关于域扩张上群概形 $\mathbb{Z}/\ell^n$ 的基本维数结果，对阿贝尔簇的基本维数进行下界估计。
• 应用波戈莫洛夫定理于伽罗华表示在 $T_\ell A$ 上的像的李代数，以检测开子群。
• 构造一个伽罗华扩张 $L/k$，使得 $\mathbb{Q}_\ell/\mathbb{Z}_\ell \subset A(L)$ 且 $1 < |\mu_{\ell^\infty}(L)| < \infty$，利用弗罗贝尼乌斯环面与切波塔列夫密度定理。
• 利用 $T_\ell A$ 携带伽罗华作用的事实，以及在良约化但非超奇异素数处，弗罗贝尼乌斯环面 $T_\mathfrak{p}$ 的秩 $\geq 2$，以确保非平凡环面作用。
• 在分裂环面的特征格上运用线性代数，寻找一个固定向量且在行列式上非平凡作用的秩1子环面。
• 将基本维数问题约化为 $\mu_{\ell^\infty}(L)$ 的行为以及伽罗华群在 $\mathrm{GL}(V_\ell A)$ 中像的行为。

实验结果

研究问题

• RQ1 每个非平凡阿贝尔簇在数域上是否都具有无穷基本维数？
• RQ2 当其 $j$-不变量为整数时，阿贝尔簇的基本维数是否仍可为无穷？这排除了塔特曲线方法的适用性。
• RQ3 伽罗华表示在 $T_\ell A$ 上的何种结构条件可推出无穷基本维数？
• RQ4 是否存在一个统一的判别准则，基于域扩张中 $\mathbb{Q}_\ell/\mathbb{Z}_\ell$-挠子簇与有限 $\mu_{\ell^\infty}$-挠子簇的存在性，以判定基本维数为无穷？
• RQ5 当阿贝尔簇包含此类子簇时，$A$ 的基本维数是否可由 $\mathbb{Z}/\ell^n$-挠子簇的基本维数下界控制？

主要发现

• 任意非平凡阿贝尔簇在数域上的基本维数为无穷。
• 对任意非平凡阿贝尔簇 $A$ 在数域 $k$ 上，存在一个奇素数 $\ell$ 和一个域扩张 $L/k$，使得 $\mathbb{Q}_\ell/\mathbb{Z}_\ell \subset A(L)$ 且 $1 < |\mu_{\ell^\infty}(L)| < \infty$，这蕴含基本维数为无穷。
• 证明依赖于在良约化但非超奇异的素数处存在秩至少为2的弗罗贝尼乌斯环面。
• 在正密度的素数 $\ell$ 上，$T_\ell A$ 上的伽罗华表示在 $\mathbb{Q}_\ell$ 上包含一个秩 $\geq 2$ 的分裂环面，从而可构造出所需的子环面。
• $L$ 上 $\mathbb{Z}/\ell^n$ 的基本维数，当 $|\mu_{\ell^\infty}(L)| = \ell^r$ 时，其增长为 $\max\{1, \ell^{n-r}\}$，当 $n \to \infty$ 时趋于无穷，因此迫使 $\mathrm{ed}(A) = \infty$。
• 即使 $j$-不变量为整数，该结果依然成立，从而在塔特曲线方法不适用的范围内解决了该猜想。