[論文レビュー] 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関数のより強い独立性結果を確立すること。
• 1より小さい位のメラノモーフィック関数体上でのアーティンL関数の代数的独立性を調査すること。
• 線形従属関係における係数関数の成長条件（位<1）が最適であることを特定すること。
• L関数の微分の線形独立性に関する既知の結果を、より広い係数関数のクラスに拡張すること。
• 1より小さい位のメラノモーフィック関数体上での、既約アーティンL関数が代数的に独立であることを証明すること。

提案手法

• アーティンL関数のディリクレ級数展開を用い、その算術関数 $ f_j(n) $ が任意の $ \varepsilon > 0 $ に対して $ O(n^\varepsilon) $ であることを示す。
• 空間 $ \mathcal{A}_\varepsilon \subset \mathcal{B}_\varepsilon $ に係数を持つディリクレ級数の絶対収束性および消滅に関する補題を適用する。ただし、$ \mathcal{A}_\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 $ L^{(k)}(s, \chi_j) $ は1より小さい位のメラノモーフィック関数体上で線形独立か？
• RQ2 $ \mathbb{C} $ 上でのアーティンL関数の線形独立性は、より大きな係数体上でも強化可能か？
• 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より小さい位のメラノモーフィック関数体上の非自明な線形関係式が存在しないことを示唆している。