[论文解读] Class Numbers of Orders in Quartic Fields

Mark Pavey|ArXiv.org|Feb 14, 2006

Analytic Number Theory Research参考文献 56被引用 4

一句话总结

本文通过谱理论和塞尔伯格迹公式，建立了对称空间 SL₄(ℝ)/SO(4) 的素测地线定理，用于分析闭测地线。该结果被应用于推导出在无实二次子域的全复四次数域中，其整序类数的渐近公式，表明类数加权于调节子的和渐近地增长为 e⁴ˣ/(2x)。

ABSTRACT

It is shown that the sum of class numbers of orders in totally complex quartic fields with no real quadratic subfield obeys an asymptotic law similar to the prime numbers, as the bound on the regulators tends to infinity. Here only orders which are maximal at a given set of primes containing an even number of elements are considered. The proof is accomplished by means of a Prime Geodesic Theorem for symmetric spaces formed as compact quotients of SL(4,R). This result extends work of Sarnak in the real quadratic case and of Deitmar and Hoffmann in the complex cubic case.

研究动机与目标

• 建立 SL₄(ℝ) 商所得紧致对称空间的素测地线定理，将 SL₂(ℝ) 的技术推广至高秩情形。
• 利用谱理论和塞尔伯格迹公式，分析对称空间 SL₄(ℝ)/SO(4) 中闭测地线的分布。
• 将几何不变量（特别是闭测地线的长度）与数域中整序的算术不变量联系起来。
• 推导出在无实二次子域的全复四次域中，整序类数之和的渐近公式。
• 通过 Ruelle zeta 函数与谱序列，将萨尔纳克对实二次域的方法推广至四次域。

提出的方法

• 利用塞尔伯格迹公式分析 SL₄(ℝ) 的 Ruelle zeta 函数的谱分解。
• 应用 Hochschild-Serre 谱序列研究算术群的上同调不变量。
• 运用 Wiener-Ikehara Tauberian 定理，推导测地线计数函数的渐近估计。
• 通过指数映射将闭测地线的范数与数域中整序的调节子联系起来。
• 利用 Ruelle zeta 函数及其函数方程，控制谱生成函数的解析行为。
• 应用素测地线定理来计数范数有界的测地线，并通过域嵌入与类数公式将其映射到四次域中的整序。

实验结果

研究问题

• RQ1 在对称空间 SL₄(ℝ)/SO(4) 上，闭测地线的渐近分布如何？
• RQ2 如何利用 SL₄(ℝ) 的谱理论，推导出类似于素数定理的素测地线定理？
• RQ3 闭测地线的长度与全复四次域中整序的调节子之间有何联系？
• RQ4 能否利用 Ruelle zeta 函数的几何数据，对全复四次域中整序的类数进行渐近估计？
• RQ5 此类域中，类数之和加权于调节子的精确渐近增长速率为何？

主要发现

• 在对称空间 SL₄(ℝ)/SO(4) 中，范数 ≤ x 的闭测地线数量渐近增长为 2x/log x。
• 对于无实二次子域的全复四次域中的整序，类数加权于调节子的和满足 π_S(x) ∼ e⁴ˣ/(2x)，当 x → ∞ 时。
• 当限制在 κ-不变量为平凡的整序时，类数之和渐近增长为 e⁴ˣ/(8x)，表明非平凡自同构有显著贡献。
• 类数之和渐近公式的误差项被控制在 O(e³ˣ/x) 内，与底层素测地线定理的误差一致。
• 具有非平凡 κ-不变量的整序的贡献为 o(e⁴ˣ/x)，确认其为低阶项。
• 提出一个猜想，将误差项细化为 O(e³ˣ/x)，形式为 L(4x) + O(e³ˣ/x)，其中 L(x) = ∫₁ˣ eᵗ/t dt，与萨尔纳克对实二次域的结果相呼应。