[論文レビュー] Rankin-Cohen brackets on quasimodular forms

François Martin, Emmanuel Royer|ArXiv.org|Sep 28, 2005

Advanced Algebra and Geometry参考文献 7被引用数 15

ひとこと要約

本稿は、SL(2,Z) 上の擬モジュラー形式に対するランキン＝コーエンブラケットを導入し、モジュラー形式に対するコーエンの構成を一般化する。重みと深さを保つ線形微分作用素 Φₙ;ₖ,ₛ;ℓ,ₜ を定義し、通常の微分作用素 D に関してライプニッツ則を満たし、ラマヌジャンの、ニーバールの、ヴァン・ダー・ポールの、およびチャジー方程式といった算術的に重要な微分方程式を導出する。これらはブラケット形式論理によって構造的起源を説明できる。

ABSTRACT

We give the algebra of quasimodular forms a collection of Rankin-Cohen operators. These operators extend those defined by Cohen on modular forms and, as for modular forms, the first of them provide a Lie structure on quasimodular forms. They also satisfy a ``Leibniz rule'' for the usual derivation. Rankin-Cohen operators are useful for proving arithmetic identities. In particular we give an interpretation of the Chazy equation and explain why such an equation has to exist.

研究の動機と目的

• モジュラー形式に対するランキン＝コーエンブラケットを、擬モジュラー形式へと拡張すること。
• 与えられた重みと深さの擬モジュラー形式から、より高い重みで有界な深さを持つ形式へ写像する、双線形微分作用素 Φₙ;ₖ,ₛ;ℓ,ₜ を定義すること。
• この作用素が標準的微分作用素 D = d/(2πi dz) に関してライプニッツ則を満たすことを確立すること。
• この作用素が、ラマヌジャンの、ニーバールの、ヴァン・ダー・ポールの、およびチャジー方程式を含む、古典的な算術的恒等式を導出できることを示すこと。
• チャジー方程式がその特定の形をとる構造的背景を、ブラケットの代数的性質と関連付けて説明すること。

提案手法

• 作用素 Φₙ;ₖ,ₛ;ℓ,ₜ(f,g) = ∑ᵣ₌₀ⁿ (-1)ʳ (k−s+n−1 choose n−r)(ℓ−t+n−1 choose r) Dʳf Dⁿ⁻ʳg を定義する。
• Φₙ;ₖ,ₛ;ℓ,ₜ が M̃ₖ≤ₛ × M̃ₗ≤ₜ から M̃ₖ₊ₗ₊₂ₙ≤ₛ₊ₜ への写像であり、擬モジュラー構造を保つことを証明する。
• ライプニッツ則が成り立つことを示す：DΦₙ;ₖ,ₛ;ℓ,ₜ(f,g) = Φₙ;ₖ,ₛ;ℓ+2,ₜ+1(f,Dg) + Φₙ;ₖ+2,ₛ+1;ℓ,ₜ(Df,g)。
• 出力のフーリエ係数を既知のモジュラー形式と一致させることで、既知の微分方程式を導出する。
• E₂ と Δ への繰り返し的なランキン＝コーエンブラケットの適用によって、チャジー方程式が自然に導かれるこを示す。
• この作用素は、単純な微分結合よりも出力形式の深さを小さくするため、算術的応用において最適であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 元々モジュラー形式に対して定義されたランキン＝コーエンブラケットを、深さの成長を制御可能な擬モジュラー形式へ一般化できるか？
• RQ2 一般化されたブラケットは、標準的微分作用素 D = d/(2πi dz) に関してライプニッツ則を満たすか？
• RQ3 これらのブラケットの代数的構造を用いて、チャジー方程式のような古典的微分方程式を導出し、説明できるか？
• RQ4 なぜチャジー方程式はその特定の形をとるのか？この形は、より深い代数的または幾何的構造の結果であるか？
• RQ5 これらのブラケットは、ラマヌジャンの、ニーバールの、ヴァン・ダー・ポールの公式といった既知の算術的恒等式をどのように回復するのか？

主な発見

• 作用素 Φₙ;ₖ,ₛ;ℓ,ₜ は、重み k、深さ ≤ s および重み ℓ、深さ ≤ t の擬モジュラー形式を、重み k+ℓ+2n、深さ ≤ s+t の擬モジュラー形式へ写像する。
• 作用素はライプニッツ則を満たす：D[ f,g ]ₙ = [Df,g]ₙ + [f,Dg]ₙ であり、モジュラー形式における重要な性質を拡張する。
• n > 0 のとき、像は Sₖ₊ₗ₊₂ₙ ⊕ ⨁ⱼ₌₁^{s+t} DʲMₖ₊ₗ₊₂ₙ₋₂ʲ に属し、n > s+t のときより鋭い境界が得られる。
• ラマヌジャンの微分方程式 D E₂ = −1/12 (E₄ − E₂²) は、[E₂, Δ]₁ = Δ E₄ から導かれる。
• ニーバールの恒等式 τ(n) = n⁴σ₁(n) − 24∑ₐ₌₁ⁿ⁻¹(35a⁴−52a³n+18a²n²)σ₁(a)σ₁(n−a) は、[E₂,E₂]₄ = −48Δ から回復される。
• チャジー方程式 2D³E₂ − 2E₂D²E₂ + 3(D E₂)² = 0 は、E₂ と Δ に繰り返しランキン＝コーエンブラケットを適用した結果として自然に導出される。