[論文レビュー] Galois descent in Galois theories

Daniel Bertrand|arXiv (Cornell University)|Jul 19, 2010

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

ひとこと要約

この論文は、Picard-Vessiot、Kolchin、Pillayの微分ガロア理論を統一的かつ一般化するためにガロア降下を適用し、それらのガロア群が構造的に類似した記述を持つことを示している。アーベル・スキームに対しては、切断の除法点のガロア群が、有界指数のアーベル部分多様体の$n$- torsionの部分群に同型であることが示され、Ax-Schanuel型の結果が非定数設定へと拡張されている。

ABSTRACT

Inspired by Kummer theory on abelian varieties, we give similar looking descriptions of the Galois groups occuring in the differential Galois theories of Picard-Vessiot, Kolchin and Pillay, and mention some arithmetic applications.

研究の動機と目的

• 共通のガロア降下枠組みを通じて、Picard-Vessiot、Kolchin、Pillayの微分ガロア理論のガロア群を統一的に記述すること。
• 非定数代数群およびアーベル・スキームへのAx-Schanuel型の超越結果を拡張すること。
• 関数体上のアーベル・スキームの切断の除法点におけるガロア作用を分析すること。
• モノドロミーと強近似を用いて、捩れ点によって生成される体拡張の次数に上限を設けること。
• 非定数アーベル多様体およびベクトル的拡張へのカミー理論を一般化すること。

提案手法

• ガロア降下を用いて、微分ガロア群と代数群およびそのリー代数の幾何学的性質を関連付ける。
• 指数関数および対数関数が満たす微分方程式を定義するために、対数的微分 $ abla_{LG} \circ \ell n_G$ を適用する。
• ユニバーサルベクトル的拡張のリー代数上のモノドロミー作用を用いて、$n$-除法点のガロア群をモデル化する。
• $GL_m(\mathbb{Z})$ の有限生成部分群に対する強近似性質を用いて、$\ell$-進および $\ell$-捩れ群におけるモノドロミー像を制御する。
• 超越問題を非退化条件に還元する：任意の真の代数的部分群 $H \subset G$ に対して $x$ が $LH + LG(\mathbb{C})$ に属さないこと。
• ガロア群 $N_a^\partial$ におけるモノドロミー群 $\Pi$ のザリスキ・コアの性質を用いて、捩れ体における有界指数の結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 Picard-Vessiot、Kolchin、Pillayの微分理論のガロア群を、統一的かつ構造的に記述する方法は何か？
• RQ2 関数体上のアーベル・スキームの切断の除法点におけるガロア理論的性質は何か？
• RQ3 Ax-Schanuel予想は、$\mathbb{C}(S)$ 上に定義された非定数代数群およびアーベル多様体へとどの程度拡張可能か？
• RQ4 モノドロミーは、切断の捩れ点によって生成される体拡張の次数にどのように影響を与えるか？
• RQ5 強近似は、$B[n]$ におけるガロア群の指数を制限するために果たす役割は何か？

主な発見

• 複素数体上に定義されたアーベル多様体 $A_0$ に対して、ガロア群 $\mathrm{Gal}(K(\frac{1}{n}y)/K)$ は、有界指数の $B[n]$ の部分群に同型であり、$n$ が $\nu(A_0, K, y)$ と素数のときは指数が 1 である。
• アーベル多様体 $A$ が $\mathbb{C}$ 上に定義されていないとき、ガロア群 $\mathrm{Gal}(K_n(\frac{1}{n}y)/K_n)$ は、$B[n]$ の有界指数の部分群を含み、$n$ が $\nu(A, K, y)$ と素数のときは $B[n]$ に等しい。
• 十分に大きなすべての素数 $\ell$ に対して、$\frac{1}{\ell}\Omega_y$ の $B[\ell]$ における像は $B[\ell]$ 全体を占めるため、このような $\ell$ に対してガロア群は $B[\ell]$ に上に射影する。
• モノドロミー群 $\Pi$ はガロア群 $N_a^\partial$ においてザリスキ・コアであり、これは $(L\tilde{B})^\partial$ と一致するため、周期格子 $\Omega_y$ はガロア群のリー代数においてザリスキ・コアである。
• 体拡張の次数 $[K(\frac{1}{n}\overline{y}):K]$ は $c n^{2\dim B}$ で下から抑えられ、$c = 1/\nu_y$ であるため、捩れ次数に関して多項式的成長を示す。
• 対数的微分 $\partial \ell n_G: G(\mathcal{K}) \to LG(\mathcal{K})$ は適切に定義され、微分構造を保存するため、指数関数に対する微分代数的公理系を構築可能である。