[论文解读] 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$系列的Weyl群得出了肯定结果；在特征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的质量公式重新表述为局部域绝对伽罗瓦群的置换表示的计数公式。
• 探究是否存在类似的质量公式，适用于其他李型的Weyl群表示，特别是$B_n$、$D_n$和$G_2$。
• 研究此类质量公式与$p$-进李群上积分之间的潜在联系。
• 确定质量公式现象是否在所有剩余特征标下统一成立，尤其是特征2的情形。
• 通过机器计算与理论分析解决$D_n$情形，特别关注奇与偶剩余特征标的差异。

提出的方法

• 利用组合学中的指数公式重新表述Bhargava的公式，推导出置换表示的计数公式。
• 应用Artin导子理论与特征标理论，为伽罗瓦表示$\rho$定义总质量$M(K, \rho)$。
• 使用导子-判别式公式，从$c(M/K)$和$c(L/K)$计算$c(M/L/K)$，从而实现贡献的递归计算。
• 使用计算代数系统（GAP与SAGE）分析$\mathbb{Q}_2$上八次扩张的子域塔与自同构计数，特别针对$D_4$。
• 对伽罗瓦群与稳定子群进行逐案分析，检测$\#\operatorname{Aut}(M/K) \neq \#\operatorname{Aut}(M/L/K)$的例外情况，并相应修正自同构计数。
• 通过级数展开推导总质量的生成函数，并利用数域数据库中的数据验证系数。

实验结果

研究问题

• RQ1 是否存在一个与Bhargava原始公式类似的、适用于$B_n$系列Weyl群表示的质量公式？
• RQ2 该公式能否推广至$D_n$系列，特别是在奇剩余特征标下？
• RQ3 在特征2下，$D_n$与$G_2$系列会发生什么情况——公式是否仍然成立？
• RQ4 是否存在一个对所有局部域统一的$W(D_n)$质量公式，还是特征2破坏了这一规律？
• RQ5 在特征2下$G_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}$，违反了统一性。
• 在特征2下，$G_2$的质量公式不成立，表明对例外群存在根本性障碍，无法建立统一的质量公式。
• $D_4$中的差异源于一个例外情形：$\#\operatorname{Aut}(M/K) = 8$，但$\#\operatorname{Aut}(M/L/K) = 4$，需对自同构计数进行修正。