2025-11-21T07:58:15.334520

On the $v$-adic values of G-functions II

Papas

This is the second in a series of papers by the author centered around the study of values of G-functions associated to $1$-parameter families of abelian varieties $f:\CX\rightarrow S$ and a point $s_0\in S(K)$ with smooth fiber over some number field $K$. Here we study the case where $f:\CX\rightarrow S$ is a family of elliptic curves. We construct relations among the values of G-functions in this setting at points whose fiber is a CM elliptic curve. These lead to bounds for the height of such points, via AndrÃ©'s G-functions method. We also discuss implications of our height bounds to the search for an effective version of Siegel's lower bounds for class numbers of imaginary quadratic number fields.

academic

On the $v$ -adic values of G-functions II

基本信息

论文ID: 2510.11814
标题: On the $v$ -adic values of G-functions II: Towards Effective Brauer-Siegel
作者: Georgios Papas
分类: math.NT (Number Theory)
发表时间: October 15, 2025 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.11814

摘要

本文是作者关于G函数研究系列的第二篇论文，专注于研究与1参数阿贝尔簇族 $f: X \to S$ 相关的G函数值，以及数域 $K$ 上光滑纤维点 $s_0 \in S(K)$ 。本文特别研究 $f: X \to S$ 为椭圆曲线族的情况，构建了在纤维为复乘(CM)椭圆曲线的点处G函数值之间的关系。通过André的G函数方法，这些关系导出了此类点的高度界。文章还讨论了高度界对寻找Siegel虚二次数域类数下界有效版本的意义。

研究背景与动机

核心问题

本文旨在解决以下关键问题：

Siegel定理的有效化问题：Siegel的经典结果给出了虚二次数域类数的下界 $h(D) \geq c(\epsilon)|D|^{1/2-\epsilon}$ ，但常数 $c(\epsilon)$ 是非有效的
G函数方法在椭圆曲线族中的应用：研究1参数椭圆曲线族上CM点处G函数值的关系

问题重要性

数论基础问题：类数下界的有效估计是代数数论的核心问题之一
理论意义：连接了复乘理论、G函数理论和丢番图几何
方法创新：将André的G函数方法扩展到新的几何设置

现有方法局限性

Siegel原始结果：常数非有效，无法实际应用
Tatuzawa结果：虽然常数有效，但存在例外域的问题
André方法限制：在椭圆曲线族中缺乏退化时难以应用

核心贡献

构建新的v进关系：在CM椭圆曲线纤维点处构建了G函数值之间的新关系，特别是在 $v|3$ 的分歧素点处
统一处理不同约化类型：给出了普通约化和超奇异约化情况下的完整处理
有效高度界：建立了有效可计算的高度界，形式为 $h(s) \leq c_0(\epsilon) \cdot ((|\Sigma_{Q(s_0),ssing}(s,0)| + \text{disc}(\text{End}(X_s))^\epsilon) \cdot [K(s):Q])^{c_1}$
向有效Brauer-Siegel的进展：将问题归约为某个素数集合基数的上界估计

方法详解

任务定义

研究1参数椭圆曲线族 $f: E \to S$ ，其中 $S$ 是数域 $K$ 上的光滑不可约曲线， $s_0 \in S(K)$ 使得纤维 $E_{s_0}$ 是CM椭圆曲线。目标是在其他CM纤维点 $s \in S(\overline{Q})$ 处建立G函数值的关系。

核心方法架构

1. 周期矩阵理论

对于CM椭圆曲线 $E$ ，在每个素点 $v \in \Sigma_K$ 处都有周期矩阵：

阿基米德情况：通过de Rham-Betti比较同构
非阿基米德情况：通过de Rham-crystalline比较同构

关键引理2.6：存在Hodge基 $\Gamma_{dR}(E)$ 使得周期矩阵具有对角形式 $\begin{pmatrix} \varpi_v & 0 \\ 0 & \varpi_v^{-1} \end{pmatrix}$

2. G函数族构造

给定椭圆曲线族和中心点 $s_0$ ，构造G函数矩阵 $Y_G(x) \in SL_2(\overline{Q}[[x]])$ ，其中 $x = j - j_0$ 是局部参数。

3. 关系构造的分类处理

普通约化情况（命题4.1）：对于 $v$ 是 $E_0$ 的普通约化素点，且 $s$ 使得 $\text{End}^0_{\overline{Q}}(E_s) = \text{End}^0_{\overline{Q}}(E_0)$ ，有： $\iota_v(Y_{1,2}(x(s))) = 0$

超奇异约化情况（命题4.3，André结果）：存在多项式 $R_{s,ssing,unr} \in \overline{Q}[X_{i,j}]$ 使得对所有相关 $v$ 有 $\iota_v(R_{s,ssing,unr}(Y_G(x(s)))) = 0$

分歧素点情况（命题5.6）：针对 $v|3$ 的分歧素点，构造新的关系多项式 $R_{s,Ram}$

技术创新点

分歧素点处理：首次处理了CM域中分歧素点的情况，填补了Beukers和André工作的空白
关系的素点无关性：在普通约化情况下，关系不依赖于具体的素点 $v$
计算机辅助验证：使用Mathematica代码验证关系的非平凡性

实验设置

具体设置

椭圆曲线族： $j$ -族 $f: E \to S$ ，其中 $S = \mathbb{A}^1 \setminus \{0, 1728\}$
中心点： $j_0 = s_0 \in S(K)$ 使得 $E_{s_0}$ 具有CM域 $\mathbb{Q}(\sqrt{-3})$
局部参数： $x = j - j_0$

计算工具

使用Wolfram Mathematica进行：

关系多项式的计算
Gröbner基约化
非平凡性验证

实验结果

主要结果

定理1.5：在 $g=1$ 且 $s_0$ 的纤维具有 $\mathbb{Q}(\sqrt{-3})$ 复乘的设置下，对于 $v$ -进接近 $s_0$ 的点 $s$ ，存在多项式 $R_{s,v} \in \overline{Q}[X]$ 使得 $\iota_v(R_{s,v}(Y_G(s))) = 0$ 且在函数层面 $R_{s,v}(Y_G(x)) \neq 0$ 。

定理1.6（高度界）：对所有 $\epsilon > 0$ ，存在有效可计算常数 $c_0(\epsilon), c_1 > 0$ 使得： $h(s) \leq c_0(\epsilon) \cdot ((|\Sigma_{Q(s_0),ssing}(s,0)| + \text{disc}(\text{End}(X_s))^\epsilon) \cdot [K(s):Q])^{c_1}$

特殊情况结果

命题5.5：对于具有相同CM域的CM点集合 $A(j_0) = \{j : \text{End}^0_{\overline{Q}}(E_j) = \text{End}^0_{\overline{Q}}(E_0)\}$ ，有更强的界： $h(j) \leq C_1 + C_2 \log([Q(j):Q])$