[论文解读] Independence of Artin L-functions

Mircea Cimpoeaş, Florin Nicolae|arXiv (Cornell University)|May 21, 2018

Algebraic Geometry and Number Theory参考文献 4被引用 3

一句话总结

该论文建立了在阶小于1的亚纯函数域上，与伽罗瓦群不同特征标相关的阿廷L函数导数的线性与代数独立性。利用狄利克雷级数和算术函数的性质，作者证明了在 $ 1 \leq j \leq r $，$ 0 \leq k \leq m $ 条件下，导数 $ L^{(k)}(s, \chi_j) $ 在该域上线性无关，将此前在 $ \mathbb{C} $ 上的结果加以推广，并表明该结果在增长阶意义下是最优的。

ABSTRACT

Let $K/\mathbb Q$ be a finite Galois extension. Let $χ_1,\ldots,χ_r$ be $r\geq 1$ distinct characters of the Galois group with the associated Artin L-functions $L(s,χ_1),\ldots, L(s,χ_r)$. Let $m\geq 0$. We prove that the derivatives $L^{(k)}(s,χ_j)$, $1\leq j\leq r$, $0\leq k\leq m$, are linearly independent over the field of meromorphic functions of order $<1$. From this it follows that the L-functions corresponding to the irreducible characters are algebraically independent over the field of meromorphic functions of order $<1$.

研究动机与目标

• 建立阿廷L函数更强的独立性结果，超越在 $ \mathbb{C} $ 上的线性无关性。
• 研究在阶小于1的亚纯函数域上，阿廷L函数的代数独立性。
• 确定线性依赖关系中系数函数最优的增长条件（阶 <1）。
• 将关于L函数导数线性无关性的已知结果，推广至更广泛的系数函数类。
• 证明不可约阿廷L函数在阶小于1的亚纯函数域上代数独立。

提出的方法

• 利用阿廷L函数的狄利克雷级数展开，分析其算术函数 $ f_j(n) $，并证明其满足 $ O(n^\varepsilon) $，其中任意 $ \varepsilon > 0 $。
• 应用一个关于绝对收敛性与狄利克雷级数系数在空间 $ \mathcal{A}_\varepsilon \subset \mathcal{B}_\varepsilon $ 中的引理，且该空间与 $ \mathcal{V}_\varepsilon $ 的交集为平凡。
• 运用全纯函数的唯一性定理，推导出在半直线上为零的系数函数必恒为零。
• 利用谢巴托雷夫密度定理，证明不同特征标对应的算术函数 $ f_j(n) $ 两两不等价。
• 应用算术函数理论中的推论4，得出导数在 $ \mathcal{A}_\varepsilon $ 上的线性无关性。
• 通过利用恒等式 $ L(s, \sum n_i \chi_i) = \prod L(s, \chi_i)^{n_i} $，将结果扩展至代数独立性。

实验结果

研究问题

• RQ1 在阶小于1的亚纯函数域上，导数 $ L^{(k)}(s, \chi_j) $ 是否线性无关？
• RQ2 能否将阿廷L函数在 $ \mathbb{C} $ 上的线性无关性结果，加强为在更大系数域上的独立性？
• RQ3 阶小于1的增长条件是否为这类独立性结果的最优条件？
• RQ4 与不可约特征标相关的阿廷L函数在阶小于1的亚纯函数域上是否代数独立？
• RQ5 算术函数 $ f_j(n) $ 在决定L函数独立性方面起什么作用？

主要发现

• 在 $ 1 \leq j \leq r $，$ 0 \leq k \leq m $ 条件下，导数 $ L^{(k)}(s, \chi_j) $ 在阶小于1的亚纯函数域上线性无关。
• 该结果是最优的：无法使用更大类别的系数函数（以增长阶衡量），因为阿廷L函数本身阶为1。
• 不可约阿廷L函数 $ L(s, \chi_1), \ldots, L(s, \chi_h) $ 在阶小于1的亚纯函数域上代数独立。
• 证明依赖于通过谢巴托雷夫密度定理建立的不同特征标所关联的算术函数的不等价性。
• 线性无关性结果将 [6, 定理1] 的早期结果从系数在 $ \mathbb{C} $ 推广至阶小于1的亚纯函数。
• 该结果表明，在不同阿廷L函数的导数之间，不存在非平凡的线性关系，其系数属于阶小于1的亚纯函数域。