[論文レビュー] Algebraic relations among periods and logarithms of rank 2 Drinfeld modules

Chieh-Yu Chang, Matthew A. Papanikolas|arXiv (Cornell University)|Jul 20, 2008

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

ひとこと要約

本稿では、複素乗算をもたない、特異な特徴を持つ 𝔽_q(θ) の代数的閉包上のランク 2 Drinfeld モジュラーの周期行列の成分によって生成される体の超越次数が、正確に 4 に等しいことを確立する。その結果、𝔽_q(θ) 上で一次独立な代数的関数の Drinfeld 対数の代数的独立性が証明され、関数体算術における超越論の主要なケースが解決される。

ABSTRACT

For any rank 2 Drinfeld module rho defined over an algebraic function field, we consider its period matrix P, which is analogous to the period matrix of an elliptic curve defined over a number field. Suppose that the characteristic of F_q is odd and rho is without complex multiplication. We show that the transcendence degree of the field generated by the entries of P over F_q(theta) is 4. As a consequence, we show also the algebraic independence of Drinfeld logarithms of algebraic functions which are linearly independent over F_q(theta).

研究の動機と目的

• 𝔽_q(θ) 上のランク 2 Drinfeld モジュラーの周期行列の成分によって生成される体の超越次数を特定すること。
• 𝔽_q(θ) 上で一次独立な代数的関数の Drinfeld 対数の代数的独立性を確立すること。
• Frobenius 差分方程式の解の特別値を分析することによって、Drinfeld モジュラーの超越論を拡張すること。
• t-モジュラーの文脈において、ガロア群の次元を用いて周期、準周期、対数の間の線形関係を特徴化すること。
• 複素乗算が存在しない条件下で、これらの特別値の間のすべての代数的関係が、予想される線形構造によって完全に予測可能であることを証明すること。

提案手法

• Anderson の生成関数を用いて、周期および準周期を Frobenius 差分方程式の特別値に関連付ける。
• Drinfeld モジュラーに関連する t-モジュラーへの自明な t-モジュラーの拡張を介して、対数を分析する。
• 部分 t-部分モジュラー定理およびガロア群の技法を用いて、特別値の間の線形依存関係を特徴付ける。
• 関数方程式 F_δ(a(θ)z) − a(θ)F_δ(z) = δ_a(exp_ρ(z)) を用いて、双微分に付随する準周期的関数を定義する。
• Legendre の関係の類似を適用し、周期および対数の間の非自明な k-線形依存関係から矛盾を導く。
• t = θ における特殊化および 𝔸^1(ℂ_∞) 内の極の解析を用いて、無限個の極集合を除外し、有理関数の有理性および代数的独立性を保証する。

実験結果

リサーチクエスチョン

• RQ1 複素乗算をもたない 𝔽_q(θ) 上のランク 2 Drinfeld モジュラーの周期行列の成分によって生成される体の超越次数は何か？
• RQ2 𝔽_q(θ) 上で一次独立な代数的関数の Drinfeld 対数は、𝔽_q(θ) 上で代数的独立であるか？
• RQ3 ランク 2 Drinfeld モジュラーの周期、準周期、対数の間のすべての代数的関係は、予想される線形構造によって完全に特徴付けられるか？
• RQ4 Frobenius 差分方程式系のガロア群は、特別値の間の線形関係の空間の次元とどのように関係するか？
• RQ5 極構造および関数方程式は、対数特別値に由来する差分方程式の有理関数解にどのような制約を課えるか？

主な発見

• 特徴が奇数で、複素乗算をもたない 𝔽_q(θ) 上のランク 2 Drinfeld モジュラーの周期行列の成分によって生成される体の超越次数は、正確に 4 に等しい。
• 周期行列の 4 個の成分は 𝔽_q(θ) 上で代数的独立であり、ランク 2 モジュラーの最大超越次数が達成されていることを示している。
• 𝔽_q(θ) 上で一次独立な代数的関数の Drinfeld 対数は、ランク 2 で複素乗算をもたない場合、𝔽_q(θ) 上で代数的独立である。
• 証明は、周期および対数の間の非自明な k-線形依存関係が、有理関数における無限個の極の蓄積を引き起こすことで矛盾を導くことにより成り立つ。
• モジュラーに関連する Frobenius 差分方程式系のガロア群は最大次元をもち、線形代数によって予測される以外の予期しない代数的関係は存在しないことを示唆する。
• t = θ における解の特殊化に加え、関数方程式および極の解析を組み合わせることで、代数的依存性を仮定すると矛盾が生じるため、代数的独立性が証明される。