[论文解读] Le problème des diviseurs pour des formes binaires de degré 4

Régis de la Bretèche, T. D. Browning|ArXiv.org|Aug 18, 2008

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

一句话总结

本文建立了有理数域上可约二元四次型取值时除数函数平均阶的渐近公式，具体为两个线性型与一个不可约二次型的乘积。通过p进和adelic调和分析，推导出主项与 $ X^2 ("log X)^3 $ 成比例，且具有精确的算术常数，扩展了先前关于在膨胀凸区域中整点上乘性函数和的研究。

ABSTRACT

We study the average order of the divisor function, as it ranges over the values of binary quartic forms that are reducible over the rationals.

研究动机与目标

• 确定可约二元四次型 $ F(\mathbf{x}) = L_1(\mathbf{x})L_2(\mathbf{x})Q(\mathbf{x}) $ 在 $ \mathbb{Q} $ 上取值时除数函数 $ \tau(n) $ 的平均阶，其中 $ L_1, L_2 $ 为线性型，$ Q $ 为不可约二次型。
• 将 Heath-Brown 关于 $ r(n) $（两平方和）的和的研究扩展到二元型背景下除数函数 $ \tau(n) $ 的情形。
• 推导和 $ T(X) = \sum_{\mathbf{x} \in \mathbb{Z}^2 \cap X\mathcal{R}} \tau(L_1(\mathbf{x})L_2(\mathbf{x})Q(\mathbf{x})) $ 的渐近公式，其中 $ \mathcal{R} $ 为有界凸区域。
• 计算主项中的算术常数 $ C $，其表示为模 $ p^\nu $ 同余方程解的局部密度的欧拉乘积。
• 发展一种通用方法，适用于丹尼尔关于不可约四次型结果未覆盖的其他可约四次型。

提出的方法

• 作者采用二元分解，并通过p进和adelic调和分析应用广义圆法来研究带有对数约束条件的表示计数和 $ S(X;V) $。
• 他们将局部密度 $ \varrho(\mathbf{d}) $ 定义为模 $ d_1d_2d_3 $ 的方程组 $ d_i \mid L_i(\mathbf{x}) $, $ d_3 \mid Q(\mathbf{x}) $ 的解数，并利用欧拉乘积构建算术常数 $ C $。
• 关键技巧在于引入权函数 $ g $，并通过分部积分和对数空间中的体积估计分析和 $ T_g'(X;V') $。
• 他们引入函数 $ \overline{\varrho}^\dagger_p(\nu_1,\nu_2,\nu_3) $，以捕捉同余方程组的p进解密度，并通过Möbius反演将其与乘性函数关联。
• 该方法依赖于参数 $ L_1, L_2, Q, \mathcal{R} $ 的一致性估计，对 $ L_\infty $、$ r_\infty $ 和 $ r' $ 给出界，确保误差项为 $ O(X^2 (\log X)^{2+\varepsilon}) $。
• 证明通过变量替换和对数尺度下的体积比较，将和与区域 $ V' $ 的体积关联，从而导出最终的渐近公式。

实验结果

研究问题

• RQ1 在膨胀凸区域中，可约二元四次型在 $ \mathbb{Z}^2 $ 上取值的除数函数平均阶的渐近行为如何？
• RQ2 主项中的算术常数如何作为p进解同余方程局部密度的欧拉乘积显式计算？
• RQ3 本研究中用于可约四次型的方法在多大程度上可推广至不可约四次型，特别是丹尼尔结果未覆盖的情形？
• RQ4 局部密度 $ \varrho(\mathbf{d}) $ 在决定全局渐近常数 $ C $ 的过程中起什么作用？
• RQ5 在乘积为线性型与二次型时，除数函数的结构与在不可约四次型上的结构有何不同？

主要发现

• 和 $ T(X) = \sum_{\mathbf{x} \in \mathbb{Z}^2 \cap X\mathcal{R}} \tau(L_1(\mathbf{x})L_2(\mathbf{x})Q(\mathbf{x})) $ 满足渐近公式 $ T(X) = 2C \cdot \operatorname{vol}(\mathcal{R}) X^2 (\log X)^3 + O\big(X^2 (\log X)^{2+\varepsilon}\big) $，其中 $ C $ 为收敛的欧拉乘积。
• 算术常数 $ C $ 由 $ C = \prod_p \left(1 - \frac{1}{p}\right)^3 \left(1 + \sum_{\nu \in \mathbb{N}} \frac{\varrho(1,p^\nu,1) + \varrho(p^\nu,1,1) + \varrho(1,1,p^\nu)}{p^{2\nu}} \right) $ 给出，编码了局部可解性条件。
• 主项以 $ X^2 (\log X)^3 $ 的形式增长，反映了除数函数在三个不同形式乘积上的乘法结构。
• 误差项为 $ O(X^2 (\log X)^{2+\varepsilon}) $，隐含常数依赖于 $ \varepsilon $、$ L_1, L_2, Q $ 以及 $ \mathcal{R} $ 的直径。
• 该方法成功处理了可约四次型的情形，并为将此类结果推广至其他二元型类提供了框架。
• 本文证实，此类形式上除数函数的平均阶由局部密度的乘积决定，全局常数 $ C $ 来自p进与阿基米德贡献的结合。