[论文解读] Equidistribution of shapes of complex cubic fields of fixed quadratic resolvent

Robert Harron|arXiv (Cornell University)|Jul 16, 2019

Advanced Algebra and Geometry参考文献 14被引用 2

一句话总结

该论文证明了当判别式趋于无穷时，具有固定二次型判别式的复三次域的形状在模曲面上的特定测地线上关于双曲测度呈等分布。论文证明了形状是复三次域的完全不变量，并表明这些形状位于迹零形式的上界空间上，通过涉及迹和闵可夫斯基形式的格拉姆矩阵的矩阵恒等式，将结果推广至埃泰勒Q-代数中的整序。

ABSTRACT

We show that the shape of a complex cubic field lies on the geodesic of the modular surface defined by the field's trace-zero form. We also prove a general such statement for all orders in \'etale Q-algebras. Applying a method of Manjul Bhargava and Piper H to results of Bhargava and Ariel Shnidman, we prove that the shapes lying on a fixed geodesic become equidistributed with respect to the hyperbolic measure as the discriminant of the complex cubic field goes to infinity. We also show that the shape of a complex cubic field is a complete invariant (within the family of all cubic fields).

研究动机与目标

• 研究比完整家族更不随机的数域族中形状的分布，特别是具有固定二次型判别式的复三次域。
• 确定复三次域的形状是否在所有三次域中为完全不变量。
• 将形状的几何与算术结构推广至埃泰勒Q-代数中的整序。
• 通过双曲测度在模曲面上的测地线上证明形状的等分布性。

提出的方法

• 利用闵可夫斯基嵌入，并将整数格投影到迹零子空间，以定义数域的形状。
• 应用勒维–德龙–法德耶夫对应关系，将三次域与二元三次型及其判别式联系起来。
• 通过矩阵恒等式 MT⁻¹M = T（其中 M 和 T 分别为闵可夫斯基形式与迹零形式的格拉姆矩阵）证明形状位于迹零形式的上界空间上。
• 结合巴尔加瓦与施尼德曼的渐近计数结果，以及巴尔加瓦与H的方法，证明在测地线上实现等分布。
• 在模曲面上使用双曲测度，并通过体积比论证，证明在判别式趋于无穷时实现等分布。
• 通过证明对于任意此类整序，矩阵恒等式 MT⁻¹M = T 成立，将结果推广至有限埃泰勒Q-代数中的整序。

实验结果

研究问题

• RQ1 随着判别式增大，具有固定二次型判别式的复三次域的形状是否在模曲面上的测地线上趋于等分布？
• RQ2 复三次域的形状是否在所有三次域中为完全不变量？
• RQ3 数域的形状如何与迹零形式及其相关二次型的几何结构相关联？
• RQ4 是否可对具有固定迹零形式的数域族建立形状的等分布性？
• RQ5 埃泰勒Q-代数中整序的形状精确位于何种几何轨迹上（例如，上界空间）？

主要发现

• 复三次域的形状位于对应其迹零形式的模曲面上的测地线上。
• 当判别式趋于无穷时，具有固定二次型判别式的复三次域的形状在相关测地线上关于双曲测度呈等分布。
• 形状是复三次域的完全不变量：任意两个非同构的三次域不可能具有相同的形状。
• 有限埃泰勒Q-代数中所有整序的形状均位于该整序迹零形式的上界空间上。
• 矩阵恒等式 MT⁻¹M = T 对闵可夫斯基形式与迹零形式的格拉姆矩阵成立，证明了形状在上界空间中的几何包含性。
• 等分布结果意味着具有二次型判别式 Q(√−3) 的三次域数量呈对数因子增长，与科恩–莫拉及巴尔加瓦–施尼德曼的渐近结果一致。