[論文レビュー] Rankin-Cohen Brackets and van der Pol-Type Identities for the Ramanujan's Tau Function

B. Ramakrishnan, Brundaban Sahu|ArXiv.org|Nov 22, 2007

Advanced Mathematical Identities参考文献 12被引用数 3

ひとこと要約

この論文は、ランクイン＝コーン brackets と準モジュラー形式を用いて、ラマヌジャンのタウ関数に対するヴァン・ダール・ポール型の恒等式の新しい証明を提示している。これにより、除数関数を含む新しい畳み込み恒等式が得られ、合同式が導出される。この手法により、既知の結果の別証明が可能となり、モジュラー形式および準モジュラー形式の理論を用いて、以前に証明されていなかった恒等式が確立される。

ABSTRACT

We use Rankin-Cohen brackets for modular forms and quasimodular forms to give a different proof of the results obtained by D. Lanphier and D. Niebur on the van der Pol type identities for the Ramanujan's tau function. As consequences we obtain convolution sums and congruence relations involving the divisor functions.

研究の動機と目的

• モジュラー形式および準モジュラー形式におけるランクイン＝コーン bracket を用いて、ラマヌジャンのタウ関数に対するヴァン・ダール・ポール型の恒等式の新しい証明を提供すること。
• 除数関数 σ₃(n)、σ₅(n)、σ₇(n)、σ₁₁(n) の積の和を含む、タウ関数に関する新しい畳み込み恒等式を導出すること。
• モジュラー形式および準モジュラー形式のフーリエ係数を分析することにより、除数関数の間の合同式を確立すること。
• 準モジュラー形式を用いてニーバーの恒等式を再証明し、以前に証明されていなかった新しい恒等式を提示すること。
• ランクイン＝コーン bracket および準モジュラー形式の理論を体系的に適用することにより、τ(n) に関する既知の結果を統一的かつ拡張すること。

提案手法

• モジュラー形式 E₄ および E₆ のランクイン＝コーン bracket を用いて、フーリエ係数を比較することで、τ(n) に関する新しい恒等式を生成する。
• 準モジュラー形式の理論を応用し、Δ(z) を E₂ 及びその微分で表現することで、ニーバー型の恒等式を導出可能にする。
• 微分作用素および SL₂(ℤ) における E₂ の変換法則を用いて、DᵏE₂ 及びその積を含む恒等式の検証を行う。
• 準モジュラー形式をイーゼンスタイン級数および微分の和に分解することで、フーリエ展開を等置し、畳み込み恒等式を導出する。
• 複数のランクイン＝コーン bracket 表現間の途中形式（例：Δ(z), D⁴E₄）を削除することで、新しい恒等式を導出する。
• 既知の次元公式およびモジュラー性の性質（例：dim S₁₆(1) = 1）を用いて、モジュラー形式を等置し、係数の恒等式を抽出する。

実験結果

リサーチクエスチョン

• RQ1 ランクイン＝コーン bracket を用いて、既知のヴァン・ダール・ポール型のラマヌジャンのタウ関数の恒等式を再導出できるか？
• RQ2 σ₃, σ₅, σ₇, σ₁₁ 関数を含むランクイン＝コーン bracket を用いて、τ(n) に関する新しい畳み込み恒等式はどのようなものか？
• RQ3 準モジュラー形式の理論および E₂ の微分を用いて、ニーバーの τ(n) に関する恒等式を再証明できるか？
• RQ4 τ(n) および畳み込み和を含む導出された恒等式から、除数関数の間で生じる新しい合同式は何か？
• RQ5 準モジュラー形式から導出された恒等式は、モジュラー形式の bracket 構成から得られるものと比べて、構造的および新規性においてどのように異なるか？

主な発見

• 論文は、σ₇(n)、σ₃(n)、および σ₃(m)σ₃(n−m) の畳み込み和を含む、τ(n) に関する4つの新しい恒等式を確立している。これには定理2.1(i)–(iv) が含まれる。
• 論文は、σ₉(n)、σ₅(n)、σ₃(n)、および σ₃(m)σ₅(n−m) の畳み込み和を含む、τ(n) に関する5つの新しい恒等式を導出している。これには定理2.2(i)–(v) が含まれる。
• σ₁₁(n)、σ₅(n)、および σ₅(m)σ₅(n−m) の畳み込み和を含む、τ(n) に関する新しい恒等式が定理2.3で証明されている。
• 論文は、σ₁₁(n)、σ₃(n)、σ₇(n)、および σ₃(m)σ₇(n−m) の畳み込み和を含む、τ(n) に関する2つの新しい恒等式を提示している。これには定理2.4(i)–(ii) が含まれる。
• σ(n) および σ(m)σ(n−m) の畳み込み和のみを用いた、τ(n) に関する新しい恒等式が定理2.5(i)–(iv) で導出されており、ニーバーの元の結果を拡張している。
• 論文は、σ(m)σ(n−m) の畳み込み和が σ(n) および σ₃(n) と関係する恒等式 (25)、(30)、(31) を証明しており、これらが定理2.9でさらに恒等式を導出するために用いられている。