[论文解读] Geometry-of-numbers methods over global fields I: Prehomogeneous vector spaces

Manjul Bhargava, Arul Shankar+1 more|arXiv (Cornell University)|Dec 9, 2015

Algebraic Geometry and Number Theory参考文献 19被引用 23

一句话总结

本文在全局域上发展了数的几何技术，用于计算预齐次向量空间中的整数轨道，从而确定了在任意特征不为2的全局域上，次数不超过5的域扩张的判别式密度。关键结果建立了对这类扩张按自同构群大小的倒数加权后的数量的渐近公式，适用于数域和函数域，推广了此前仅对小次数扩张的结果。

ABSTRACT

We develop geometry-of-numbers methods to count orbits in prehomogeneous vector spaces having bounded invariants over any global field. As our primary example, we apply these techniques to determine, for any base global field $F$, the density of discriminants of field extensions of degree at most 5 over $F$.

研究动机与目标

• 将数的几何技术从全局域推广至任意全局域，包括数域和函数域。
• 在具有有界不变量的全局域上，对预齐次向量空间中的整数轨道进行计数。
• 确定在任意特征不为2的全局域上，次数不超过5的域扩张的判别式渐近密度。
• 将此前仅对Q上次数2、3、4的判别式密度结果推广至任意全局域和更高次数。
• 在局部代数满足可接受条件的前提下，将有限或无限多个素点的局部条件纳入计数中。

提出的方法

• 通过阿代尔积分和调和分析，建立在全局域上对预齐次向量空间中整数轨道计数的框架。
• 在阿代尔环上应用泊松求和公式，将轨道数量与zeta函数和局部密度联系起来。
• 使用导子基测度和局部zeta积分，对具有有界不变量的轨道分布进行建模。
• 通过自同构群大小的倒数进行加权计数，以确保在不同次数间的一致性。
• 在函数域中使用除子类群和线丛技术，对投影中格点数量进行有界。
• 利用线丛全局截面的界，对阿代尔空间中有界集合的投影的体积进行估计。

实验结果

研究问题

• RQ1 对于特征不为2的全局域F，次数n≤5的域扩张的判别式渐近密度是多少？
• RQ2 如何将数的几何技术从Z推广至任意全局域，包括函数域？
• RQ3 能否将预齐次向量空间中整数轨道的计数推广至包含有限或无限多个素点的局部条件？
• RQ4 伽罗瓦群在加权计数的域扩张中起什么作用，它如何影响密度公式？
• RQ5 在函数域情况下，有限位置处的局部密度如何贡献于判别式全局密度？

主要发现

• 对于具有r₁个实嵌入和r₂个复嵌入的数域F，相对判别式有界的次数n≤5扩张的密度由F的zeta函数的留数给出，经伽罗瓦群和局部因子调整。
• 对于特征q≠2的有限域F_q上的函数域F，密度表示为ζ_F(s)在s=1处的留数，乘以有限位置上局部密度的乘积，其中包含分拆函数。
• 该公式包含权重(#{Aut(L/F)})⁻¹，当n=2时为1/2，当n≥3时为1，确保渐近陈述的一致性。
• 每个有限位置p的局部因子表示为对分拆q(k,n−k)−q(k−1,n−k+1)的求和，反映了具有平方自由判别式的埃泰勒代数的数量。
• 结果证实了[5]中猜想A对n≤5的情形，并将戴森-黑尔布伦和达茨科夫斯基-赖特定理推广至任意全局域。
• 该方法可推广至包含有限多个素点的任意局部条件，以及某些可接受的无限局部条件集合。