[论文解读] On the rank of universal quadratic forms over real quadratic fields

Valentin Blomer, Vítězslav Kala|arXiv (Cornell University)|May 10, 2017

Analytic Number Theory Research参考文献 9被引用 9

一句话总结

本文建立了实二次域 $\mathbb{Q}(\sqrt{D})$ 上对角通用二次型所需最小变量数的界限，将该秩与基本单位的连分数展开联系起来。证明了最小秩 $m_{\mathrm{diag}}(D)$ 的下界为连分数系数之和，上界为同一和的倍数，渐近估计将这些和与 $L$-函数及类数数据联系起来。

ABSTRACT

We study the minimal number of variables required by a totally positive definite diagonal universal quadratic form over a real quadratic field $\mathbb Q(\sqrt D)$ and obtain lower and upper bounds for it in terms of certain sums of coefficients of the associated continued fraction. We also estimate such sums in terms of $D$ and establish a link between continued fraction expansions and special values of $L$-functions in the spirit of Kronecker's limit formula.

研究动机与目标

• 确定在实二次域 $\mathbb{Q}(\sqrt{D})$ 上，对角通用二次型所需的最小变量数。
• 将此最小秩与整数环的基本单位的连分数展开联系起来。
• 以判别式 $\Delta$ 和类数为参数，估计连分数系数之和的增长。
• 建立连分数系数与 $L$-函数特殊值之间的联系，扩展克罗内克极限公式的思想。

提出的方法

• 定义 $M_D$ 为 $\omega_D = \sqrt{D}$ 或 $(1+\sqrt{D})/2$（取决于 $D \mod 4$）的连分数系数的加权和，周期长度为偶数或奇数时采用不同公式。
• 引入 $M^{*}_{D,\varepsilon}$，即满足 $u_i \geq D^{1/8+\varepsilon}$ 的系数之和，以改进下界。
• 利用 $\mathcal{O}_K$ 中加法不可约整数的理论，刻画任何对角通用型中必须作为系数出现的元素。
• 应用解析数论工具，包括类数 $h$、狭义类数 $h^+$ 和 $L$-函数 $L(s, \chi_\Delta)$，以估计系数之和。
• 通过在满足 $N\mathfrak{a} \leq \sqrt{\Delta}$ 的理想 $\mathfrak{a}$ 上取加权和，并引入光滑截断函数 $w$，推导渐近公式。
• 利用 $L$-函数的函数方程及在广义黎曼猜想下的有界性，进一步优化渐近估计。

实验结果

研究问题

• RQ1 在实二次域 $\mathbb{Q}(\sqrt{D})$ 上，对角通用二次型所需的最小变量数是多少？
• RQ2 基本单位的连分数展开系数如何与加法不可约整数的可表示性相关？
• RQ3 连分数系数之和 $\sum_{i=1}^s u_i$ 关于 $D$ 或 $\Delta$ 的渐近增长行为如何？
• RQ4 能否以克罗内克极限公式的精神，明确建立连分数与 $L$-函数特殊值之间的联系？
• RQ5 对 $m_{\mathrm{diag}}(D)$ 的界限如何依赖于类数 $h$ 及负范数单位的存在性？

主要发现

• 最小秩 $m_{\mathrm{diag}}(D)$ 满足 $\max\left(\frac{M_D}{\kappa s}, C_\varepsilon M^{*}_{D,\varepsilon}\right) \leq m_{\mathrm{diag}}(D) \leq 8M_D$，其中 $\kappa = 2$ 当连分数周期长度为奇数，否则 $\kappa = 1$。
• 连分数系数之和 $\sum_{i=1}^s u_i$ 满足渐近关系 $\sum_{i=1}^s u_i \sim \frac{\sqrt{\Delta}}{\zeta^{(\Delta)}(2)} \left( L(D) + \frac{1}{h} L(1,\chi_\Delta) \log\sqrt{D} \right)$ 当 $D \to \infty$，误差项为 $O(D^{1/2 - 1/2000})$。
• 和 $M_D$ 的上界为 $c \sqrt{\Delta} (\log \Delta)^2$，其中 $c > 0$ 为绝对常数；在广义黎曼猜想下，上界改善为 $\ll \sqrt{D} \left(1 + \frac{\log D}{h} \right) (\log \log D)^2$。
• 当 $s$ 为奇数时（即 $\mathcal{O}_K$ 存在负范数单位），对任意 $\varepsilon < 1/8$，有 $M^{*}_{D,\varepsilon} \geq \sqrt{\Delta}$，从而提供一个强有力的下界。
• 和 $\sum_{i=1}^s u_i$ 渐近等价于 $\frac{\sqrt{\Delta}}{\zeta^{(\Delta)}(2)} \left( L(D) + \frac{1}{h} L(1,\chi_\Delta) \log\sqrt{D} \right)$，揭示了连分数与 $L$-值之间的深刻联系。
• 在广义黎曼猜想下，$M^{*}_{D,\varepsilon}$ 的下界得到加强，且 $\sum u_i$ 的渐近增长满足 $\gg \sqrt{D} \left(1 + \frac{\log D}{h \log \log D} \right)$，表明对大多数 $D$，该和的增长快于 $\sqrt{D}$。