[論文レビュー] Analogue of the theta group $Γ_θ$

Kazuhide Matsuda|arXiv (Cornell University)|Feb 25, 2026

Advanced Algebra and Geometry被引用数 0

ひとこと要約

論文は高次の theta 群 Γθ,3 と Γθ,4 を構築し、F(τ)=η((τ−1)/3)η((τ+1)/3) および G(τ)=η((τ−1)/4)η((τ+1)/4) がこれらの群上のモジュラ形式であり、乗数系を計算し、核と余類分解を分析する。

ABSTRACT

In this paper, we introduce higher level versions of the theta group $Γ_θ.$ In particular, we treat level 3 and 4 versions of the theta group, $Γ_{θ,3}$ and $Γ_{θ,4}$ and prove that $\displaystyle F(τ)=η\left(\frac{τ-1}{3} ight) η\left(\frac{τ+1}{3} ight)$ and $\displaystyle G(τ)=η\left(\frac{τ-1}{4} ight) η\left(\frac{τ+1}{4} ight)$ are modular forms on $Γ_{θ,3}$ and $Γ_{θ,4}$ respectively. Moreover we compute their multiplier systems, $ν_{F}$ and $ν_{G}$.

研究の動機と目的

• 高次の theta 群 Γθ,N をモチベートし定義することと、そのモジュラ形式理論を研究すること。
• それぞれ Γθ,3 および Γθ,4 上の明示的な η-積モジュラ形式 F と G を構成すること。
• これらの形の乗数系 νF と νG を計算し分類すること。
• νF^k および νG^k の核を調べ、それらの核に対する Γ(1) の余類分解を導出すること。

提案手法

• Γθ,N を { (a b; c d) ∈ SL(2,Z) | a ≡ d (mod N), b ≡ −c (mod N) } と定義する。
• η の Knopp 乗数系を用いて η((τ−1)/N) および η((τ+1)/N) の変換を計算し、二つの η 要素の積から νF と νG を導出する。
• F(τ)=η((τ−1)/3)η((τ+1)/3) について、M ∈ Γθ,3 が 3) の法で ±I または ±S に合同となる場合と c のパリティを分析して explicit νF(M) を得る。
• 同様に G(τ)=η((τ−1)/4)η((τ+1)/4) について、η-乗数と行列分解を用いて M ∈ Γθ,4 に対する νG(M) を計算する。
• νF^k および νG^k の様々な k ≡ 12 の整数について核の説明を導出し、S = [1 1; 0 1] のような生成子を用いた Γ(1) の余類分解を提供する。

実験結果

リサーチクエスチョン

• RQ1 η-積 F および G が Γθ,3 および Γθ,4 でどのようにモジュラ変換するか。
• RQ2 それぞれの群上での νF および νG の明示的な乗数系は何か。
• RQ3 異なる modulo 12 の場合の νF^k および νG^k の核は何か、そしてこれらが Γ(1) の余類分解にどう影響するか。
• RQ4 3 および 4 の合同条件によって核と余類分解はどのように変わるか。
• RQ5 Γ(1) を核として核の説明に用いるための明示的な余類代表を選べるか（例：S のべき乗）？

主な発見

• F は Γθ,3 上のある重みのモジュラ形式であり、 νF は表現の乗数である。 νF の明示的な式は定理 3.2–3.5 に与えられ、定理 3.6 に要約される。
• G は Γθ,4 上のある重みのモジュラ形式であり、 νG は表現の乗数である。 明示的な式は定理 4.3 に提供されている。
• k ≡ 0 (mod 12) のとき Ker νF^k = Γθ,3（定理 3.8）、k ≡ 6 (mod 12) のとき Ker νF^k は 2 および 4 の合同類で記述される（定理 3.9）、他の k ≡ 12 のときも同様の核の記述（定理 3.11–3.15）。
• 論文は Γ(1) の νF^k の核（必要に応じて νG^k の核）に対する余類分解を、S^n（n は指定された集合内の値）といった生成子の選択とともに提供する。
• セクション 5 は核の余類分解を示すために、核 νF^k（および relevant な場合は νG^k）に対する余類分解を議論する。