[论文解读] Real quadratic fields with a universal quadratic form of given rank have density zero

Vítězslav Kala, Pavlo Yatsyna+1 more|arXiv (Cornell University)|Feb 23, 2023

Analytic Number Theory Research被引用 4

一句话总结

该论文证明了在所有正平方自由判别式 D 中，能够支持给定秩的通用二次型的实二次域的密度为零。通过将此类型的秩与 √D 的连分数展开系数联系起来，并应用格中短向量的界，作者证明仅稀疏的域集合支持低秩通用型，且在 X 以内满足条件的域的数量增长慢于任何正幂次的 X。

ABSTRACT

We prove an explicit upper bound on the number of real quadratic fields that admit a universal quadratic form of a given rank, thus establishing a density zero statement. More generally, we obtain such a result for totally positive definite quadratic lattices that represent all the multiples of a given rational integer. Our main tools are short vectors in quadratic lattices combined with an estimate for the number of periodic continued fractions with bounded coefficients.

研究动机与目标

• 确定能够支持给定秩的通用二次型的实二次域的自然密度。
• 将分析从经典格扩展至包含表示固定整数 m 的所有全正倍数的 mO_H-通用格。
• 通过证明此类域极为稀少，解决仅存在有限多个实二次域支持小秩通用型的猜想。
• 建立在给定界 X 以内此类域数量的显式上界，表明其构成密度为零的集合。

提出的方法

• 利用 √D 的连分数展开来刻画 Q(√D) 的整数环中不可约元素的结构。
• 通过短向量数量的界，将最大奇数索引连分数系数 u_{2i+1} 与 mO_H-通用格的最小秩 R 关联起来。
• 应用 Z-格中给定范数向量数量的精确估计（定理 3.1），推导出最大奇数索引系数的上界 B(R,m)。
• 利用上界 B(R,m) 根据连分数结构限制存在 R-秩 mO_H-通用格的 D 的集合。
• 结合关于有界系数周期连分数的计数结果（推论 2.12），对满足 D ≤ X 的此类 D 进行上界估计。
• 推导出在 X 以内支持此类格的平方自由 D 的渐近上界，表明其增长为次多项式。

实验结果

研究问题

• RQ1 对于固定的秩 R，实二次域 Q(√D) 支持通用二次型的自然密度是多少？
• RQ2 √D 的连分数结构如何约束 Q(√D) 上低秩通用二次格的存在性？
• RQ3 能否以 R 和固定整数 m 为参数，统一地界定具有秩 ≤ R 的通用型的实二次域数量？
• RQ4 √D 的连分数系数在多大程度上限制了小秩 mO_H-通用格的存在性？
• RQ5 在 X 以内，支持经典 mO_H-通用格（秩 R）的平方自由 D 的数量增长速率如何？

主要发现

• 对于任意 ε > 0，满足 R_class(Q(√D)) ≤ D^{1/12−ε} 的平方自由 D > 0 的集合密度为零，且满足 D ≤ X 的此类 D 的数量被控制在 O(X^{1−3ε/2} (log X)^{3/2}) 以内。
• 满足 R(Q(√D)) ≤ D^{1/24−ε} 的平方自由 D ≤ X 的数量被控制在 O(X^{1−3ε} (log X)^{3/2}) 以内，确认非经典通用型在低秩下也极为稀少。
• 若在 Q(√D) 上存在秩为 R 的 mO_H-通用经典格，则 √D 的最大奇数索引连分数系数被 B(R,m) 有界，其中 B(R,m) 是由格向量计数推导出的函数。
• 在 X 足够大时，支持秩为 R 的 mO_H-通用经典格的平方自由 D ≤ X 的数量被控制在 O(B(R,m)^{3/2} X^{7/8} (log X)^{3/2}) 以内。
• 结果表明，实二次域上通用型的秩通常极大，对几乎所有 D 的增长速度超过任何幂次 D^{1/12−ε}。
• 该方法通过使用短向量界与连分数控制，首次在此类背景下建立了密度为零的结果，克服了文献中以往的局限。