[論文レビュー] Galois realizations of classical groups and the middle convolution

Michael Dettweiler|ArXiv.org|May 15, 2006

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

ひとこと要約

本稿では、エタールコhomologyにおける中間畳み込みの幾何学的理論を構築し、特にPGL₂(𝔽ₗ)およびSLₙをℚ(t)上でのガロア群として実現する。ピカール数19のK3多様体上の局所系の畳み込みを通じてモノドロミーとフロベニウス元を解析することにより、ℓ ≥ 11かつ(−3/ℓ) = −1のとき、z ↦ 1の特殊化がガロア群をPGL₂(𝔽ₗ)に保つことを証明し、これらの群がℚ上に正規実現されることを確立する。

ABSTRACT

We study the middle convolution of local systems on the punctured affine line in the setting of singular cohomology and in the setting of étale cohomology. We derive a formula to compute the topological monodromy of the middle convolution in the general case and use it to deduce some irreducibility criteria. Then we give a geometric interpretation of the middle convolution in the étale setting. This geometric approach to the convolution and the theory of Hecke characters yields information on the occurring arithmetic determinants. We employ these methods to realize special linear groups regularly as Galois groups over ${\bf Q}(t).$

研究の動機と目的

• エタールコhomologyにおける中間畳み込みの幾何学的解釈を発展させ、逆ガロア問題への応用を目的とする。
• モノドロミー計算を用いた局所系の畳み込みの不可約性基準を確立する。
• 層の畳み込みを用いて、特異線形群および射影線形群をℚ(t)上でのガロア群として実現する。
• ピカール数19のK3多様体から生じるガロア拡張のフロベニウス元を計算する。
• ℓ ≥ 11かつ(−3/ℓ) = −1のとき、ガロア群PGL₂(𝔽ₗ)が特殊化z ↦ 1で保たれることを証明する。

提案手法

• 特異コホモロジーとエタールコホモロジーを用いて、層コホモロジーの中央直接像として中間畳み込みを定義する。
• パラボリックコホモロジーの変動を用いて、中間畳み込みのトポロジカルモノドロミーの一般公式を導出する。
• エタール設定におけるファイバー空間とコンパクトsupporthを伴う高次直接像を通じて、畳み込みの幾何学的解釈を提供する。
• p進ホッジ理論とクリスタリン表現を応用し、ガロア拡張の特殊化を分析する。
• 互換性のあるℓ-adic系とスピン因子ノルムを用いてフロベニウス元を計算し、部分群を除外する。
• ヘッケキャラクタと整合性定理を用いて、潜在的な誘導を除外し、ガロア像を完全に保証する。

実験結果

リサーチクエスチョン

• RQ1 中間畳み込みをエタール設定において幾何学的に解釈することで、古典的群のガロア実現が得られるか？
• RQ2 ℚ(t)上の拡張において、ガロア群PGL₂(𝔽ₗ)が特殊化z ↦ 1で保たれる条件は何か？
• RQ3 ピカール数19のK3多様体上の畳み込み層に対して、モノドロミーとフロベニウス元はどのように計算できるか？
• RQ4 中間畳み込みのモノドロミーから導ける不可約性基準は何か？
• RQ5 どの素数ℓに対して、SO₃(𝔽ₗ)がK3多様体から生じる互換性のあるℓ-adic系の像として実現されるか？

主な発見

• ℓ ≥ 11かつ(−3/ℓ) = −1のとき、ℚ(t)上のPGL₂(𝔽ₗ)-拡張の特殊化z ↦ 1は、ℚ上でのガロア拡張を導き、そのガロア群はPGL₂(𝔽ₗ)に同型である。
• SO₃(𝔽ₗ) ≅ PGL₂(𝔽ₗ)は、ℓ ≥ 11かつ(−3/ℓ) = −1のとき、ガロア表現δₗ = ρₗ(1) ⊗ det(ρₗ(1))の像として実現される。
• 素数5と13におけるフロベニウス元の位数がそれぞれ5と4であることから、ガロア像は非アーベル的かつ非ジヘドラル的であり、より小さい部分群が除外される。
• ほとんどすべてのℓ ≢ ±1, 2 mod 8に対して、ガロア像はSO₃(𝔽ₗ)である。これは[58, Prop. 45]に従い、ヘッケキャラクタによる誘導が不可能であるためである。
• ほとんどすべてのℓに対して、SO₃(𝔽ₗ)の交換子部分群はガロア像に含まれており、最大トーラスの存在から、ガロア像は完全にSO₃(𝔽ₗ)に一致する。
• 幾何的中間畳み込み構成により、フロベニウス元の明示的計算が可能となり、畳み込み技法を用いてSLₙ(𝔽ₗ)がℚ(t)上に正規ガロア実現されることを確認する。