[论文解读] On the number of representations by certain octonary quadratic forms with coefficients 1, 2, 3, 4 and 6

B. Ramakrishnan, Brundaban Sahu+1 more|arXiv (Cornell University)|Jul 13, 2016

Advanced Algebra and Geometry参考文献 12被引用 3

一句话总结

本文利用模形式理论，推导出某些系数为1、2、3、4和6的对角八元二次型表示整数的显式公式。通过构造 $̳_0(48)$ 上权为4、具有特定特征的模形式空间的显式基，作者完成了此前未解决的案例，特别是针对系数为1、2、4的混合奇偶性形式，并将结果扩展至包含系数3和6，从而为203种情况提供了新的闭式表达式。

ABSTRACT

In this paper, we find formulas for the number of representations of certain diagonal octonary quadratic forms with coefficients $1,2,3,4$ and $6$. We obtain these formulas by constructing explicit bases of the space of modular forms of weight $4$ on $Γ_0(48)$ with character.

研究动机与目标

• 完成对系数为1、2、3、4和6的对角八元二次型表示数的分类。
• 解决此前未涵盖的、系数为1、2、4的混合奇偶性形式的12个剩余案例。
• 将先前关于系数为1、2、3、6和2、3、6的形式结果扩展至包含系数为1、2、3、4、6的形式。
• 利用 $̳_0(48)$ 上权为4、具有狄利克雷特征的模形式，提供表示数的显式公式。

提出的方法

• 作者构造了 $̳_0(48)$ 上权为4、具有特定狄利克雷特征 $χ_8$ 的模形式空间的显式基。
• 他们使用与八元二次型相关的theta级数，这些级数是 $̳_0(48)$ 上权为4、具有特征的模形式。
• 表示数 $N(1^i,2^j,3^k,4^l,6^m;n)$ 表示为算术函数的线性组合：$σ_{3;\chi_8,\mathbf{1}}(n)$、$σ_{3;\mathbf{1},\chi_8}(n)$，以及系数 $a_{4,8,\chi_8;1}(n)$、$a_{4,8,\chi_8;2}(n)$。
• 通过分析模形式空间的维数和基，利用傅里叶系数匹配推导出表示公式。
• 该方法依赖于模形式理论，特别是尖点形式空间与Eisenstein级数的分解。
• 作者通过与已知结果比较，并利用归一化和约化技术处理特殊情况，验证了公式。

实验结果

研究问题

• RQ1 对于系数为1、2、3、4和6的对角八元二次型，其表示整数的显式公式是什么？
• RQ2 如何利用模形式解决系数为1、2、4的混合奇偶性形式的12个剩余未解案例？
• RQ3 $̳_0(48)$ 上权为4、具有特征的模形式空间的结构是什么？它如何支持表示公式的推导？
• RQ4 新公式在系数为1、2、3、4、6时与先前关于系数为1、2、3、6或2、3、6的形式结果相比如何？
• RQ5 所有203种情况的表示数是否能通过模形式的同一组基统一表达？

主要发现

• 本文通过利用 $̳_0(48)$ 上权为4的模形式，完成了系数为1、2、4的八元形式中12个缺失案例的推导。
• 对于情形 $N(1^1,2^1,4^6;n)$，公式为 $\frac{2}{11}\sigma_{3;\chi_8,\mathbf{1}}(n) + \frac{2}{11}\sigma_{3;\mathbf{1},\chi_8}(n/2) + \frac{6}{11}a_{4,8,\chi_8;1}(n) + \frac{14}{11}a_{4,8,\chi_8;2}(n) + \frac{48}{11}a_{4,8,\chi_8;1}(n/2) - \frac{28}{11}a_{4,8,\chi_8;2}(n/2)$。
• 对于 $N(1^1,2^3,4^4;n)$，公式为 $\frac{4}{11}\sigma_{3;\chi_8,\mathbf{1}}(n) + \frac{2}{11}\sigma_{3;\mathbf{1},\chi_8}(n/2) + \frac{1}{11}a_{4,8,\chi_8;1}(n) + \frac{17}{11}a_{4,8,\chi_8;2}(n) + \frac{48}{11}a_{4,8,\chi_8;1}(n/2) + \frac{16}{11}a_{4,8,\chi_8;2}(n/2)$。
• 作者推导出203个新公式，适用于系数为1、2、3、4、6的形式，排除了可约化为先前关于系数2、3或1、2、3、6结果的案例。
• 表示数以涉及除数和与模形式系数的算术函数的有理线性组合形式表达。
• 通过数值验证，对特定 $n$ 值如 $n = 40013$、$40031$、$42011$、$50021$ 和 $60011$，提供了精确的分数系数，结果列于表格中。