[論文レビュー] 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 である特定の対角的八次形式による整数の表現数の明示的公式を導出する。重さ 4 の $\Gamma_0(48)$ 上の特定のキャラクターを持つモジュラー形式の空間に明示的な基底を構成することで、以前未解決だったケースを完了し、特に係数が 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 の形式に拡張すること。
• 重さ 4 の $\Gamma_0(48)$ 上のディリクレキャラクターを持つモジュラー形式を用いて、表現数の明示的公式を提供すること。

提案手法

• 著者たちは、特定のディリクレキャラクター $\chi_8$ を持つ $\Gamma_0(48)$ 上の重さ 4 のモジュラー形式の空間に明示的な基底を構成する。
• 八次形式に関連するシータ級数が、特定のキャラクターを持つ $\Gamma_0(48)$ 上の重さ 4 のモジュラー形式であることに着目する。
• 表現数 $N(1^i,2^j,3^k,4^l,6^m;n)$ は、算術関数 $\sigma_{3;\chi_8,\mathbf{1}}(n)$、$\sigma_{3;\mathbf{1},\chi_8}(n)$、および係数 $a_{4,8,\chi_8;1}(n)$、$a_{4,8,\chi_8;2}(n)$ の線形結合として表現される。
• モジュラー形式空間は次元と基底を用いて分析され、フーリエ係数の一致によって表現公式が導出される。
• この手法は、特にカスプ形式とイーゼンスタイン級数の空間の分解に依存するモジュラー形式理論に基づく。
• 著者たちは、既知の結果との比較と正規化・還元技術による特殊ケースの処理を通じて、公式の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 係数が 1, 2, 3, 4, 6 である対角的八次形式による整数の表現数の明示的公式は何か？
• RQ2 係数が 1, 2, 4 の混合偶奇性形式の残り 12 件の未解決ケースは、モジュラー形式を用いてどのように解決できるか？
• RQ3 $\Gamma_0(48)$ 上の重さ 4 のキャラクター付きモジュラー形式の空間の構造は何か？ そして、この構造は表現公式の導出をどのように支援するか？
• RQ4 係数が 1, 2, 3, 4, 6 の新しい公式は、係数が 1, 2, 3, 6 や 2, 3, 6 の形式に関する先行結果と比べてどう異なるか？
• RQ5 すべての 203 件のケースにおいて、共通のモジュラー形式の基底を用いて表現数を一様に表現できるか？

主な発見

• 著者たちは、$\Gamma_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)$ に等しい。
• 係数が 1, 2, 3, 4, 6 の形式について、203 件の新しい公式を導出した。ただし、係数が 2, 3 または 1, 2, 3, 6 の既存の結果に還元可能なケースは除く。
• 表現数は、除数和とモジュラー形式の係数を含む算術関数の有理数線形結合として表現される。
• 特定の $n$ 値、たとえば $n = 40013$, $40031$, $42011$, $50021$, $60011$ について数値的に検証され、表に正確な分数係数が提示された。