[論文レビュー] Mass formulas for local Galois representations

Kiran S. Kedlaya, Daniel R. Gulotta|arXiv (Cornell University)|Nov 5, 2005

Advanced Algebra and Geometry参考文献 12被引用数 16

ひとこと要約

この論文は、局所体の絶対ガロア群の置換表現の数え上げ公式として解釈することで、Bhargavaの質量公式を局所ガロア表現へ一般化する。$B_n$ および $D_n$ 系列（奇数の残余特性）において肯定的な結果を確立し、特性 2 における $G_2$ に対しては否定的な結果を得ており、$p$-進積分との一様な関係性に潜在的な障害が存在する可能性を示している。

ABSTRACT

Bhargava has given a formula, derived from a formula of Serre, computing a certain count of extensions of a local field, weighted by conductor and by number of automorphisms. We interpret this result as a counting formula for permutation representations of the absolute Galois group of the local field, then speculate on variants of this formula in which the role of the symmetric group is played by other groups. We prove an analogue of Bhargava's formula for representations into a Weyl group in the B_n series, which suggests a link with integration on p-adic groups. We also obtain analogous positive results in odd residual characteristic, and negative results in residual characteristic 2, for the D_n series (in the appendix) and the exceptional group G_2.

研究の動機と目的

• 局所体の絶対ガロア群の置換表現の数え上げ公式として、Bhargavaの質量公式を再定式化すること。
• 他のリー型のワイル群への表現についても、類似の質量公式が存在するかを調査すること、特に $B_n$、$D_n$、$G_2$ を対象とする。
• このような質量公式と $p$-進リー群上の積分との潜在的な関連を調査すること。
• すべての残余特性にわたって質量公式の現象が一様に拡張可能かどうかを特定すること、特に特性 2 における状況を検討すること。
• 特に奇数特性と偶数特性の差を考慮して、$D_n$ の場合を機械的計算と理論的分析により解決すること。

提案手法

• 組合せ論の指数関数的公式を用いて、Bhargavaの公式を再定式化し、置換表現の数え上げ公式を導出する。
• アーティンの導分類理論と特徴表理論を適用して、ガロア表現 $\rho$ の総質量 $M(K, \rho)$ を定義する。
• 導分類-判別式公式を用いて $c(M/L/K)$ を $c(M/K)$ と $c(L/K)$ から計算し、寄与の再帰的計算を可能にする。
• 計算代数システム（GAP および SAGE）を用いて、特に $D_4$ の場合に、$\mathbb{Q}_2$ 上の8次拡大における部分体の塔と自己同型群の数を分析する。
• ガロア群と安定化部分群の個別的分析を実施し、$\#\operatorname{Aut}(M/K) \neq \#\operatorname{Aut}(M/L/K)$ となる例外的ケースを特定し、自己同型群の数を適切に補正する。
• 級数展開を用いて総質量の母関数を導出し、数体データベースからのデータを用いて係数を検証する。

実験結果

リサーチクエスチョン

• RQ1 $B_n$ 系列のワイル群への表現について、Bhargavaの公式と類似する質量公式が存在するか？
• RQ2 このような公式は、特に奇数の残余特性において $D_n$ 系列へ拡張可能か？
• RQ3 残余特性 2 における $D_n$ 系列および $G_2$ 系列では、公式は依然として成り立つか？
• RQ4 すべての局所体にわたって $W(D_n)$ の質量公式が一様に成り立つか、それとも特性 2 がそのパターンを破壊するか？
• RQ5 $G_2$ において特性 2 で質量公式が成り立たない理由は、$p$-進積分への構造的障害によって説明可能か？

主な発見

• 質量公式は $B_n$ 系列において成立し、Bhargavaの元々の $A_n$ に対する証明と類似した議論により、$p$-進積分との関連が示唆される。
• $D_n$ 系列については、奇数の残余特性において公式が成立しており、Daniel Gulotta による計算的検証を含む付録で証明されている。
• 残余特性 2 において、公式は $D_4$ で成立しない。実際に $M(\mathbb{Q}_2, W(D_4)) = \frac{1611}{1024} \neq \frac{51}{32}$ を計算した結果、一様性が破れている。
• $G_2$ においても、特性 2 で公式が成立せず、例外群に対する一様な質量公式の存在に根本的な障害があることを示している。
• $D_4$ の乖離は、$\#\operatorname{Aut}(M/K) = 8$ であるが $\#\operatorname{Aut}(M/L/K) = 4$ であるという例外的ケースに起因し、自己同型群の数の補正が必要となる。