[论文解读] On the number of integral binary $n$-ic forms having bounded Julia invariant

Manjul Bhargava, Andrew Yang|arXiv (Cornell University)|Dec 27, 2013

Algebraic Geometry and Number Theory参考文献 11被引用 4

一句话总结

该论文确定了具有 k 对复根且 Julia 不变量有界的整系数二元 n 次型在 SL₂(ℤ) 等价关系下的渐近数量，证明该计数的渐近行为为 cₙ,ₖX^{(n+1)/2} + O(X^{(n+1)/2 − 1/n})，其中 n + k ≥ 3。该结果推广了高斯和戴维斯关于二元二次型与三次型的经典定理，并通过 Julia 不变量——1917 年引入的 fundamental SL₂(ℝ)-不变量——为整系数型的计数提供了一个统一的框架。

ABSTRACT

In 1848, Hermite introduced a reduction theory for binary forms of degree $n$ which was developed more fully in the seminal 1917 treatise of Julia. This canonical method of reduction made use of a new, fundamental, but irrational $\mathrm{SL}_2$-invariant of binary $n$-ic forms defined over $\mathbb{R}$, which is now known as the Julia invariant. In this paper, for each $n$ and $k$ with $n+k\geq 3$, we determine the asymptotic behavior of the number of $\mathrm{SL}_2(\mathbb{Z})$-equivalence classes of binary $n$-ic forms, with $k$ pairs of complex roots, having bounded Julia invariant. Specializing to $(n,k)=(2,1)$ and $(3,0)$, respectively, recovers the asymptotic results of Gauss and Davenport on positive definite binary quadratic forms and positive discriminant binary cubic forms, respectively.

研究动机与目标

• 确定具有 k 对复根且 Julia 不变量有界的整系数不可约二元 n 次型在 SL₂(ℤ) 等价类下的渐近增长速率。
• 将先前的 Oε(X^{(n+1)/2 + ε}) 误差界改进为精确的渐近展开式，且误差项为幂次节省形式。
• 通过将 Julia 不变量作为基于不变量的统一计数框架中的核心参数，统一并推广经典关于二元二次型与三次型的结果。
• 证明 Julia 不变量是分类整系数二元 n 次型在 SL₂(ℤ) 等价关系下的自然且有效的参数。

提出的方法

• 作者利用 Julia 的 SL₂(ℝ)-不变量 θ(f)，通过 f 的一个规范正定二次协变 Q 定义，从而在二元 n 次型空间中定义了一个有界区域。
• 通过在对称空间上积分并结合群论平均的方法，分析与 Julia 不变量 θ(f) ≤ X 相关的基本域 R_X(L) 的体积。
• 通过格点计数方法将主要计数函数 Nₙ,ₖ(X) 与该区域的体积联系起来，误差项由稳定子群与尖点区域上的积分控制。
• 证明过程借鉴了几何数论与遍历论的技术，特别是利用 SL₂(ℝ) 群及其在型空间上作用的结构。
• 通过单独估计误差项，处理可约型的情况，表明其贡献为 O(X^{(n+1)/2 − 1/n})。
• 对于同余条件，通过在每个素数 p 处引入局部密度 μₚ(S)，推导出渐近公式的加权版本，结合缩放与体积归一化方法。

实验结果

研究问题

• RQ1 具有 k 对复根且 Julia 不变量不超过 X 的整系数二元 n 次型在 SL₂(ℤ) 等价类下共有多少个？
• RQ2 能否将此前关于此类型数量的 Oε(X^{(n+1)/2 + ε}) 估计改进为具有幂次节省误差项的精确渐近展开式？
• RQ3 Julia 不变量是否能作为所有次数 n 与符号类型 k 下整系数二元 n 次型分类的统一且有效参数？
• RQ4 Nₙ,ₖ(X) 增长中的精确渐近常数 cₙ,ₖ 是什么？它与二次型与三次型情形下的已知常数有何关系？

主要发现

• 具有 k 对复根且 Julia 不变量 ≤ X 的整系数二元 n 次型在 SL₂(ℤ) 等价类下的数量渐近为 cₙ,ₖX^{(n+1)/2} + O(X^{(n+1)/2 − 1/n})，其中 n + k ≥ 3。
• 渐近常数 cₙ,ₖ 由型空间中基本域的体积除以稳定子群体积得到，对所有有效的 n 与 k 均为正数。
• 当 (n,k) = (2,1) 时，常数 c₂,₁ 为 π/36，恢复了高斯关于正定二元二次型类数公式的结果。
• 当 (n,k) = (3,0) 时，常数 c₃,₀ 为 π²/36，恢复了戴维斯关于正判别式二元三次型的渐近结果。
• 误差项 O(X^{(n+1)/2 − 1/n}) 为幂次节省且最优，与沈田在经典情形下发现的二阶项一致。
• 该结果可推广至由有限个同余条件定义的集合，此时渐近公式由所有素数 p 上的局部密度 μₚ(S) 的乘积修正。