[論文レビュー] Algebraic independence of periods and logarithms of Drinfeld modules (with an appendix by Brian Conrad)

Chieh-Yu Chang, Matthew A. Papanikolas|arXiv (Cornell University)|May 27, 2010

Advanced Topics in Algebra参考文献 6被引用数 9

ひとこと要約

本稿は、ドリンフェルト加群における古典的代数的独立性予想の完全な関数体版を確立する。周期、準周期、代数的点の対数は、自己準同型によって制約されない限り、関数体の代数的閉包上で代数的独立性を示す。主な結果は、ドリンフェルト加群上の代数的点の対数が、自己準同型環上で線形独立であれば、それらは基本体上で代数的独立であることを示しており、以前の特殊ケースにおける結果を一般化する。

ABSTRACT

Let rho be a Drinfeld A-module with generic characteristic defined over an algebraic function field. We prove that all of the algebraic relations among periods, quasi-periods, and logarithms of algebraic points on rho are those coming from linear relations induced by endomorphisms of rho.

研究の動機と目的

• 楕円曲線およびアーベル多様体論にインspiredされた、周期および対数の代数的独立性に関する古典的予想の関数体における完全な類似を確立すること。
• ドリンフェルト加群上の代数的点の周期、準周期、対数の間の代数的関係の構造を解明すること。
• これらの特殊値の間の唯一の代数的関係が、ドリンフェルト加群の自己準同型によって生じることを証明すること。
• 特にランク1（カーリッツ）および複素乗法をもたないランク2の場合に得られた以前の結果を、任意のランクのドリンフェルト加群に対して一般化する枠組みを構築すること。
• 関数体上のドリンフェルト加群の文脈において、超越次数および代数的独立性の完全な特徴付けを提供すること。

提案手法

• 著者たちは、関数体上でのドリンフェルト加群およびそれに関連する指数関数および対数写像の理論を用いる。
• 彼らは、準周期関数をパラメトライズする de Rham コホロロジー群 $ H_{\text{DR}}(\rho) $ を分析し、周期行列 $ \mathrm{P}_{\rho} $ を得る。
• 周期行列 $ \mathrm{P}_{\rho} $ は、$ A $-格子 $ \Lambda $ の基底上で準周期関数の値を用いて構成され、周期および準周期を符号化する。
• 証明は、自己準同型環 $ \operatorname{End}(\rho) $ 及びその分数体 $ K_\rho $ の構造に依存しており、これにより対数の線形関係が支配される。
• 彼らは、$ A $-加群理論および $ \mathbb{C}_\infty $ 内の $ A $-格子の理論、特に指数写像 $ \exp_\rho(z) = e_\Lambda(z) $ を用いて、代数的点とその対数との関係を結ぶ。
• 補遺では、スティーブン・コンラッド氏が特徴2の代数的群のシミレティックおよび直交群に関する基礎的群論的結果を提供しており、関連する代数群の構造を扱う上で不可欠である。

実験結果

リサーチクエスチョン

• RQ1 ドリンフェルト加群上の代数的点の周期、準周期、対数の間の完全な代数的関係は何か？
• RQ2 ドリンフェルト加群上の代数的点の対数が、自己準同型環上で線形独立であれば、それらは基本体上で代数的独立であるか？
• RQ3 ドリンフェルト加群の自己準同型は、その特殊値の間のすべての代数的依存関係をどれほど説明できるか？
• RQ4 楕円曲線の文脈における古典的代数的独立性予想は、任意のランクのドリンフェルト加群へ完全に拡張可能か？
• RQ5 de Rham コホロロジー群 $ H_{\text{DR}}(\rho) $ の構造は、特殊値の代数的独立性をどのように制御するか？

主な発見

• ドリンフェルト加群上の代数的点の周期、準周期、対数の間のすべての代数的関係は、加群の自己準同型によって誘導される線形関係に起因する。
• $ u_1, \dots, u_n \in \mathbb{C}_\infty $ が $ \exp_\rho(u_i) \in \overline{k} $ を満たし、$ K_\rho $ 上で線形独立であれば、それらは $ \overline{k} $ 上で代数的独立である。これは定理1.1.1の証明を示す。
• $ \overline{k}(\mathrm{P}_\rho) $、すなわち周期行列 $ \mathrm{P}_\rho $ の成分によって生成される体は、$ \Lambda $ 及び $ H_{\text{DR}}(\rho) $ の基底の選び方に依存せず、代数的独立性の主張の不変性を保証する。
• 周期行列 $ \mathrm{P}_\rho $ は、最初の列に周期、残りの列に準周期を含み、その成分は特殊値の完全な超越体を生成する。
• 補遺では、特徴2におけるシミレティック群のベクトル群による拡張が分裂することを示しており、これは主結果の群論的基盤にとって不可欠である。
• 本結果は、以前のランク1（カーリッツ）および複素乗法をもたないランク2の場合の結果を一般化し、それらを一つの代数的独立性原理に統合する。