保型形式の基礎のキソ:アイゼンシュタイン級数とラマヌジャンのデルタ

はじめに
ランベルト級数
アイゼンシュタイン級数
$q$ -展開
重さ $2$ のアイゼンシュタイン級数
ラマヌジャンのデルタ
デデキントのイータ関数
アイゼンシュタイン級数との関係
モジュラー形式の基底
補題
$M_{k}$ の次元と基底
おまけ：モジュラー形式の微分
ラマヌジャンの $τ$ 関数
漸化式と乗法性
二次のオイラー積
ラマヌジャンの合同式
参考文献

文献あり

保型形式の基礎のキソ:アイゼンシュタイン級数とラマヌジャンのデルタ

2063

はじめに

　この記事では前回の記事に引き続いてモジュラー形式のお話を、今回はアイゼンシュタイン級数
$E_{2 k} (z) = 1 - \frac{4 k}{B_{2 k}} \sum_{n = 1}^{\infty} \frac{n^{2 k - 1} q^{n}}{1 - q^{n}}$
とラマヌジャンのデルタ
$Δ (z) = q \prod_{n = 1}^{\infty} (1 - q^{n})^{24}$
に焦点を当てて解説していきます。

ランベルト級数

　モジュラー形式の $q$ -展開にはフーリエ級数
$\sum_{n = 0}^{\infty} a_{n} q^{n}$
の他にランベルト級数
$\sum_{n = 1}^{\infty} A_{n} \frac{q^{n}}{1 - q^{n}}$
という展開をすることがあります。
　フーリエ級数とランベルト級数は以下のような関係によって変換し合うことができます。

　数列 $a_{n}, A_{n}$ に対し
$a_{n} = \sum_{d | n} A_{n} ⟺ A_{n} = \sum_{d | n} μ (\frac{n}{d}) a_{d}$
が成り立つ。またこのとき
$\sum_{n = 0}^{\infty} a_{n} q^{n} = \sum_{n = 0}^{\infty} A_{n} \frac{q^{n}}{1 - q^{n}}$
が成り立つ。ただし $μ (n)$ はメビウス関数とした。

　前者はメビウスの反転公式である。また後者については
$\sum_{n = 1}^{\infty} A_{n} \frac{q^{n}}{1 - q^{n}} = \sum_{n = 1}^{\infty} A_{n} \sum_{m = 1}^{\infty} q^{m n} = \sum_{l = 1}^{\infty} (\sum_{d | l} A_{d}) q^{l}$
とわかる。

アイゼンシュタイン級数

　アイゼンシュタイン級数は以下のように定義される級数のことを言います。

アイゼンシュタイン級数

　自然数 $k \geq 2$ と $z \in H$ に対して
$G_{2 k} (z) = \sum_{\begin{matrix} m, n \in Z \\ (m, n) \neq (0, 0) \end{matrix}} \frac{1}{(m z + n)^{2 k}}, E_{2 k} (z) = \frac{1}{2} \sum_{\begin{matrix} c, d \in Z \\ gcd (c, d) = 1 \end{matrix}} \frac{1}{(c z + d)^{2 k}}$
と定められる関数のことをそれぞれアイゼンシュタイン級数、正規化アイゼンシュタイン級数と言う。

　いま $m, n \in Z$ の最大公約数を $l$ として $m = l c, n = l d$ とおくことで
$\begin{array}{rcl} G_{2 k} (z) & = & \sum_{l = 1}^{\infty} \sum_{(c, d) = 1} \frac{1}{l^{2 k} (c z + d)^{2 k}} \\ = & (\sum_{l = 1}^{\infty} \frac{1}{l^{2 k}}) \sum_{(c, d) = 1} \frac{1}{(c z + d)^{2 k}} \\ = & 2 ζ (2 k) E_{2 k} (z) \end{array}$
という関係があることがわかります。
　またアイゼンシュタイン級数は重さ $2 k$ のモジュラー形式となります。そのことは
$\begin{aligned} G_{2 k} (z + 1) & = \sum_{(m, n) \neq (0, 0)} \frac{1}{(m z + (m + n))^{2 k}} = G_{2 k} (z) \\ G_{2 k} (- \frac{1}{z}) & = \sum_{(m, n) \neq (0, 0)} \frac{z^{2 k}}{(n z - m)^{2 k}} = z^{2 k} G_{2 k} (z) \end{aligned}$
が成り立つことから( 前回の記事の命題3と合わせて)わかります。

$q$ -展開

　上のように $G_{2 k}$ の逆数和による表示はその保型性を確かめるのに便利ですが、モジュラー形式を考える上ではその $q$ -展開による表示が重要となってきます。
　いまアイゼンシュタイン級数の $q$ -展開を求めるためにまず以下の公式を紹介しておきましょう。

リプシッツの公式

　自然数 $k \geq 2$ に対し
$\sum_{n = - \infty}^{\infty} \frac{1}{(z + n)^{k}} = (- 1)^{k} \frac{(2 π i)^{k}}{(k - 1)!} \sum_{n = 1}^{\infty} n^{k - 1} q^{n}$
が成り立つ。

　部分分数展開の記事で紹介したように $\cot z$ は
$\cot z = \frac{1}{z} + \sum_{\begin{matrix} n = - \infty \\ n \neq 0 \end{matrix}}^{\infty} (\frac{1}{z - π n} + \frac{1}{π n})$
という部分分数展開を持ち、これを $z \mapsto π z$ として $π$ を掛けることで
$π \cot π z = \frac{1}{z} + \sum_{n \neq 0} (\frac{1}{z + n} - \frac{1}{n})$
が成り立つ。
　また $q = e^{2 π i z}$ とおくと $π \cot π z$ は
$\begin{aligned} π \cot π z & = π i \frac{e^{π i z} + e^{- π i z}}{e^{π i z} - e^{- π i z}} \\ = - π i (1 + \frac{2}{1 - q}) \\ = - π i - 2 π i \sum_{n = 1}^{\infty} q^{n} \end{aligned}$
と $q$ -展開できるので
$\frac{1}{z} + \sum_{n \neq 0} (\frac{1}{z - n} + \frac{1}{n}) = - π i - 2 π i \sum_{n = 1}^{\infty} q^{n}$
がわかり、これを $k - 1$ 回微分することで主張を得る。

　これを用いると $E_{2 k} (z)$ は次のような $q$ -展開を持つことがわかります。

$\begin{aligned} E_{2 k} (z) & = 1 - \frac{4 k}{B_{2 k}} \sum_{n = 1}^{\infty} \frac{n^{2 k - 1} q^{n}}{1 - q^{n}} \\ = 1 - \frac{4 k}{B_{2 k}} \sum_{n = 1}^{\infty} σ_{2 k - 1} (n) q^{n} \end{aligned}$
が成り立つ。ただし $B_{2 k}$ はベルヌーイ数、 $σ_{k} (n)$ は約数関数
$σ_{k} (n) = \sum_{d | n} d^{k}$
とした。

　リプシッツの公式から $G_{2 k} (τ)$ は
$\begin{array}{rcl} G_{2 k} (z) & = & \sum_{n \neq 0} \frac{1}{(0 z + n)^{2 k}} + 2 \sum_{m = 1}^{\infty} \sum_{n = - \infty}^{\infty} \frac{1}{(m z + n)^{2 k}} \\ = & 2 ζ (2 k) + (- 1)^{2 k} \frac{2 (2 π i)^{2 k}}{(2 k - 1)!} \sum_{m = 1}^{\infty} \sum_{n = 1}^{\infty} n^{2 k - 1} q^{m n} \\ = & 2 ζ (2 k) + \frac{2 (2 π i)^{2 k}}{(2 k - 1)!} \sum_{n = 1}^{\infty} n^{2 k - 1} \frac{q^{n}}{1 - q^{n}} \end{array}$
とランベルト級数展開できる。
　またゼータ関数の特殊値は
$ζ (2 k) = - \frac{(2 π i)^{2 k}}{2 (2 k)!} B_{2 k}$
と表せたので結局
$G_{2 k} (z) = 2 ζ (2 k) (1 - \frac{4 k}{B_{2 k}} \sum_{n = 1}^{\infty} \frac{n^{2 k - 1} q^{n}}{1 - q^{n}})$
が成り立ち、あとは $G_{2 k} (z) = 2 ζ (2 k) E_{2 k} (z)$ であったことと $q$ -展開の変換公式(定理1)に注意すると主張を得る。

　 $E_{2 k} (z)$ が"正規化"アイゼンシュタイン級数と言われているのは、このように $q$ -展開の定数項が $1$ となることにちなんでいたわけです。

おまけ：ベルヌーイ数の具体値

$\begin{array}{cccccc} B_{2} = \frac{1}{6}, & B_{4} = - \frac{1}{30}, & B_{6} = \frac{1}{42}, & B_{8} = - \frac{1}{30}, & B_{10} = \frac{5}{66}, & B_{12} = - \frac{691}{2730} \\ \frac{4}{B_{2}} = 24, & \frac{8}{B_{4}} = - 240, & \frac{12}{B_{6}} = 504, & \frac{16}{B_{8}} = - 480, & \frac{20}{B_{10}} = \frac{1320}{5}, & \frac{24}{B_{12}} = - \frac{65520}{691} \end{array}$

重さ $2$ のアイゼンシュタイン級数

　ところで上で定義したアイゼンシュタイン級数では $2 k \geq 4$ としていました。しかし諸性質の証明を追ってみると $2 k = 2$ のときにも同じ議論ができるように思います。でも実は $2 k = 2$ のときはうまくいかないみたいです。具体的には $2 k = 2$ のときは
$\sum_{(m, n) \neq (0, 0)} \frac{1}{(m z + n)^{2}}$
が条件収束になる(絶対収束しない)ことが関わっているのだと思います。(ちなみに後で見るように実は重さ $2$ のモジュラー形式はどこを探しても存在しないのでこれは必然的な現象とも言えます。)
　ですが $E_{2} (z)$ を $q$ -展開から定義することで重さ $2$ のモジュラー形式のようなものは構成することができます。

$E_{2} (z) = 1 - 24 \sum_{n = 1}^{\infty} \frac{n q^{n}}{1 - q^{n}}$
とおくと $E_{2} (z + 1) = E_{2} (z)$ および
$E (- \frac{1}{z}) = z^{2} E (z) + \frac{6 z}{π i}$
が成り立つ。

　 $E_{2} (z + 1) = E_{2} (z)$ は定義から明らか。
　また以下で登場するラマヌジャンのデルタの対数微分を取ると
$\begin{aligned} \log Δ (z) & = 2 π i z + 24 \sum_{n = 1}^{\infty} \log (1 - q^{n}) \\ \frac{d}{d z} \log Δ (z) & = 2 π i - 24 \sum_{n = 1}^{\infty} \frac{2 π i n q^{n}}{1 - q^{n}} \\ = 2 π i E_{2} (z) \end{aligned}$
が成り立つ。
　このとき $Δ (z)$ の保型性
$Δ (- \frac{1}{z}) = z^{12} Δ (z)$
から、この両辺を対数微分することで
$\begin{aligned} \frac{d}{d z} \log Δ (- \frac{1}{z}) & = \frac{1}{z^{2}} \frac{d \log Δ}{d z} (- \frac{1}{z}) = \frac{2 π i}{z^{2}} E_{2} (- \frac{1}{z}) \\ = \frac{12}{z} + \frac{d}{d z} \log Δ (z) = \frac{12}{z} + 2 π i E_{2} (z) \end{aligned}$
すなわち
$E (- \frac{1}{z}) = z^{2} E (z) + \frac{6 z}{π i}$
を得る。

　ちなみに一般に
$Δ (\frac{a z + b}{c z + d}) = (c z + d)^{12} Δ (z)$
を対数微分することで
$E_{2} (\frac{a z + b}{c z + d}) = (c z + d)^{2} E_{2} (z) + \frac{6 c (c z + d)}{π i}$
となることがわかります。

ラマヌジャンのデルタ

　ラマヌジャンのデルタとは次に定義されるような関数のことを言います。

ラマヌジャンのデルタ

　 $z \in H$ に対して
$Δ (z) = q \prod_{n = 1}^{\infty} (1 - q^{n})^{24} (q = e^{2 π i z})$
と定められる関数 $Δ (z)$ のことをラマヌジャンのデルタと言い、その $q$ -展開
$Δ (z) = \sum_{n = 1}^{\infty} τ (n) q^{n}$
の係数として定まる数列 $τ (n)$ をラマヌジャンの $τ$ 関数と言う

　以下に示すようにラマヌジャンのデルタは重さ $12$ のモジュラー形式となります。またカスプ $z = i \infty$ (つまり $q = 0$ )において $0$ になるカスプ形式でもあります。
　ここで出てくるラマヌジャンの $τ$ は数論的に興味深い性質を持つことで有名ですが、それはしばしばこのラマヌジャンのデルタそのものがそもそも良い性質を持っていることに起因します。ラマヌジャンのデルタが持つ良い性質の中で特に注目すべき点は $z \in H$ において零点を持たないことだと私は思います。
　この性質により逆数 $Δ (z)^{- 1}$ は $z \in H$ において正則であり、カスプにおいて一位の極を持つことを除けば形式的に重さ $- 12$ のモジュラー形式として扱え、様々なモジュラー形式に $Δ (z)^{- 1}$ を掛けて重さ $0$ のモジュラー形式とすることで前回の記事の命題5と合わせて様々な関数等式を生み出すことができます。

デデキントのイータ関数

　いま $Δ (z)$ の保型性を確かめるためにデデキントのイータ関数
$η (z) = q^{\frac{1}{24}} \prod_{n = 1}^{\infty} (1 - q^{n}) (= Δ (z)^{\frac{1}{24}})$
というものを考えましょう。イータ関数は次のフーリエ展開を持ちます。

オイラーの五角数定理

$\prod_{n = 1}^{\infty} (1 - q^{n}) = \sum_{n = - \infty}^{\infty} (- 1)^{n} q^{\frac{n (3 n - 1)}{2}}$
が成り立つ。特に
$η (z) = \sum_{n = - \infty}^{\infty} (- 1)^{n} q^{\frac{(6 n - 1)^{2}}{24}}$
と表せる。

　楕円関数の記事のおまけとして示したヤコビの三重積
$\sum_{n = - \infty}^{\infty} p^{n^{2}} w^{n} = \prod_{n = 1}^{\infty} (1 - p^{2 n}) (1 + p^{2 n - 1} w) (1 + p^{2 n - 1} w^{- 1})$
において $p = q^{\frac{3}{2}}, w = - q^{- \frac{1}{2}}$ とすると
$\begin{array}{rcl} \sum_{n = - \infty}^{\infty} (- 1)^{n} q^{\frac{3 n^{2} - n}{2}} & = & \prod_{n = 1}^{\infty} (1 - q^{3 n}) (1 - q^{3 n - 2}) (1 - q^{3 n - 1}) \\ = & \prod_{n = 1}^{\infty} (1 - q^{n}) \end{array}$
を得る。あとは
$\frac{3 n^{2} - n}{2} + \frac{1}{24} = \frac{(6 n - 1)^{2}}{24}$
に注意するとわかる。

　いま
$η (z) = \sum_{n = 1}^{\infty} (- 1)^{n} q^{\frac{(6 n - 1)^{2}}{24}} + \sum_{n = 0}^{\infty} (- 1)^{n} q^{\frac{(6 n + 1)^{2}}{24}}$
なのでディリクレ指標 $χ (n)$ を
$χ (n) = {\begin{array}{cl} 1 & n \equiv \pm 1 (\mod 12) \\ - 1 & n \equiv \pm 5 (\mod 12) \\ 0 & otherwise . \end{array}$
と定めると
$η (z) = \sum_{n = 1}^{\infty} χ (n) q^{\frac{n^{2}}{24}}$
と表すことができます。このことからイータ関数は以下の関数等式を持ちます。

$ψ_{χ} (t) = \sum_{n = 1}^{\infty} χ (n) e^{- \frac{π n^{2} t}{12}}$
とおくと
$ψ_{χ} (t) = \frac{1}{\sqrt{t}} ψ_{χ} (\frac{1}{t})$
が成り立つ。特に
$η (- \frac{1}{z}) = \sqrt{- i z} η (z)$
が成り立つ。

　ディリクレ指標 $χ$ が法 $12$ において原始的であること、偶指標であること、実指標であることに注意するとこの記事の公式4から
$ψ_{χ} (t) = \frac{\sqrt{12}}{τ (χ) \sqrt{t}} ψ_{χ} (\frac{1}{t})$
が成り立つ。このとき $χ$ のガウス和は
$\begin{array}{rcl} τ (χ) & = & \sum_{n = 1}^{12} χ (n) e^{\frac{2 π i n}{12}} \\ = & e^{\frac{π i}{6}} - e^{\frac{5 π i}{6}} - e^{- \frac{5 π i}{6}} + e^{- \frac{π i}{6}} \\ = & 2 \cos \frac{π}{6} - 2 \cos \frac{5 π}{6} \\ = & 2 \sqrt{3} \end{array}$
と計算できるので
$ψ_{χ} (t) = \frac{1}{\sqrt{t}} ψ_{χ} (\frac{1}{t})$
を得る。
　また $ψ (t) = η (i t)$ に注意するとこれは
$η (i t) = \frac{1}{\sqrt{t}} η (- \frac{1}{i t})$
と表せるので $t = - i z$ とおくことで
$η (- \frac{1}{z}) = \sqrt{- i z} η (z)$
がわかる。

　以上により $η (z)$ は(擬)保型性
$η (z + 1) = e^{\frac{π i}{12}} η (z), η (- \frac{1}{z}) = \sqrt{- i z} η (z)$
を持つことがわかり、これを $24$ 乗することで
$Δ (z + 1) = Δ (z), Δ (- \frac{1}{z}) = z^{12} Δ (z)$
つまり $Δ (z)$ は重さ $12$ のモジュラー形式となることがわかります。

アイゼンシュタイン級数との関係

　上でも触れた通り重さ $k \geq 12$ のカスプ形式 $f$ に対し $f / Δ$ は重さ $k - 12$ の正則モジュラー形式となります。特に $k = 12$ のときは前回の記事の命題5からこれは定数関数となり $f = A Δ$ という等式が得られることとなります。
　更に $E_{2 k}$ の正規性 $E_{2 k} (i \infty) = 1$ に注意するとアイゼンシュタイン級数とラマヌジャンのデルタは次のような関係を持つことがわかります。

$Δ (z) = \frac{E_{4} (z)^{3} - E_{6} (z)^{2}}{1728}$
および
$Δ (z) = \frac{691}{65520 + 1008 \cdot 691} (E_{12} (z) - E_{6} (z)^{2})$
が成り立つ。

$E_{4} (z)^{3}, E_{6} (z)^{2}, E_{12} (z)$
はそれぞれ重さ $12$ のモジュラー形式であり、それぞれカスプ $z = i \infty$ において $1$ となるので
$E_{4} (z)^{3} - E_{6} (z)^{2}, E_{12} (z) - E_{6} (z)^{2}$
は重さ $12$ のカスプ形式となり
$\frac{E_{4} (z)^{3} - E_{6} (z)^{2}}{Δ (z)}, \frac{E_{12} (z) - E_{6} (z)^{2}}{Δ (z)}$
は重さ $0$ の正則モジュラー形式、つまり定数関数 $A, B$ となる。
　あとは
$\begin{aligned} Δ (z) & = q + τ (2) q^{2} + \dots \\ E_{4} (z)^{3} & = (1 + 240 q + \dots)^{3} = 1 + 3 \cdot 240 q + \dots \\ E_{6} (z)^{2} & = (1 - 504 q + \dots)^{2} = 1 - 2 \cdot 504 q + \dots \\ E_{12} (z) & = 1 + \frac{65520}{691} q + \dots \end{aligned}$
に注意すると
$\begin{aligned} A & = lim_{z \to i \infty} \frac{E_{4} (z)^{3} - E_{6} (z)^{2}}{Δ (z)} = 3 \cdot 240 + 2 \cdot 504 = 1728 \\ B & = lim_{z \to i \infty} \frac{E_{12} (z) - E_{6} (z)^{2}}{Δ (z)} = \frac{65520}{691} + 2 \cdot 504 = \frac{65520 + 1008 \cdot 691}{691} \end{aligned}$
を得る。

モジュラー形式の基底

　重さ $k$ のモジュラー形式、カスプ形式全体の集合をそれぞれ $M_{k} = M_{k} (Γ), S_{k} = S_{k} (Γ)$ とおくとこれらは $C$ 上の線形空間となります。さらにその次元は有限であり、その基底はアイゼンシュタイン級数で表現できることがわかります。以下でその次元や基底がどう表現されるのか見ていきましょう。

補題

　 $ω = e^{\frac{2 π i}{3}}$ とおくと
$E_{4} (i) \neq 0, E_{6} (i) = 0$
$E_{4} (ω) = 0, E_{6} (ω) \neq 0$
が成り立つ。

$E_{4} (ω) = E_{6} (i) = 0$
であることは前回の記事の命題8系として示した。
$E_{4} (i), E_{6} (ω) \neq 0$
であることは、任意の $z \in H$ に $Δ (z) \neq 0$ であることと
$E_{4} (z)^{3} - E_{6} (z)^{2} = 1728 Δ (z)$
であったことから、 $E_{4} (ω) = E_{6} (i) = 0$ と合わせてわかる。

$\begin{aligned} M_{k} & = C E_{k} \oplus S_{k} & (k \geq 4) \\ S_{k} & = Δ \cdot M_{k - 12} & (k \geq 12) \end{aligned}$
が成り立つ。

　任意の $f \in M_{k} (k \geq 4)$ に対し $a_{0} = f (i \infty)$ とおくと $f - a_{0} E_{k}$ はカスプにおいて $0$ になるのでこれは $S_{k}$ の元となり、したがって
$M_{k} = C E_{k} \oplus S_{k} (k \geq 4)$
を得る。(直和であることは明らか)
　また任意の $f \in S_{k} (k \geq 12)$ に対し $g = f / Δ$ は重さ $k - 12$ の正則モジュラー形式となり、逆に任意の $g \in M_{k - 12}$ に対し $f = Δ \cdot g$ は重さ $k$ のカスプ形式となるので
$S_{k} = Δ \cdot M_{k - 12} (k \geq 12)$
を得る。

　 $M_{0} = C, M_{2} = 0$ および
$\begin{aligned} M_{k} & = C E_{k} & (4 \leq k \leq 10) \\ S_{k} & = 0 & (0 \leq k \leq 10) \end{aligned}$
が成り立つ。

　 $M_{0} = C$ は前回の記事の命題5そのものである。
　いま任意の $f \in S_{k} (k < 12)$ に対し $f^{12} / Δ^{k}$ は例のごとく定数関数となるが、これはカスプ $z = i \infty$ を少なくとも $12 - k$ 位の零点に持つので $f^{12} / Δ^{k} = 0$ となることがわかる。したがって
$S_{k} = 0 (0 \leq k \leq 10)$
および
$M_{k} = C E_{k} \oplus S_{k} = C E_{k} (4 \leq k \leq 10)$
を得る。
　また任意の $f \in M_{2}$ に対し $f \cdot E_{4} \in M_{6} = C E_{6}$ なのである $c \in C$ に $f \cdot E_{4} = c E_{6}$ が成り立つが、補題8より
$c = \frac{f (i) E_{4} (i)}{E_{6} (i)} = 0$
つまり $f = 0$ となることがわかる。したがって $M_{2} = 0$ を得る。

$M_{k}$ の次元と基底

$\begin{aligned} \dim M_{k} & = {\begin{cases} ⌊ \frac{k}{12} ⌋ + 1 & k ≢ 2 (\mod 12) \\ ⌊ \frac{k}{12} ⌋ & k \equiv 2 (\mod 12) \end{cases} \\ \dim S_{k} & = {\begin{cases} 0 & k < 12 \\ \dim M_{k - 12} & k \geq 12 \end{cases} \end{aligned}$
が成り立つ。

　 $\dim S_{k}$ については $k < 12$ において補題10より、 $k \geq 12$ において補題9からわかる。
　 $\dim M_{k}$ については補題13より $0 \leq k \leq 10$ において
$\dim M_{k} = {\begin{array}{cl} 1 & k ≢ 2 (\mod 12) \\ 0 & k \equiv 2 (\mod 12) \end{array}$
と求まり、補題12より $k \geq 12$ において
$\dim M_{k} = \dim (C E_{k}) + \dim (S_{k}) = 1 + \dim M_{k - 12}$
という漸化式が成り立つことからわかる。

$M_{k} = ⨁_{\begin{matrix} 4 a + 6 b = k \\ a, b \geq 0 \end{matrix}} C E_{4}^{a} E_{6}^{b}$
が成り立つ。

$M_{k}^{'} = ⨁_{\begin{matrix} 4 a + 6 b = k \\ a, b \geq 0 \end{matrix}} C E_{4}^{a} E_{6}^{b}$
とおくと $0 \leq k \leq 10$ において
$M_{0}^{'} = C, M_{2}^{'} = 0, M_{4}^{'} = C E_{4}, M_{6}^{'} = C E_{6}, M_{8}^{'} = C E_{4}^{2}, M_{10}^{'} = C E_{4} E_{6}$
であるので
$(E_{8} - E_{4}^{2}) \in S_{8} = 0$
$(E_{10} - E_{4} E_{6}) \in S_{10} = 0$
つまり $E_{8} = E_{4}^{2}, E_{10} = E_{4} E_{6}$ に注意すると
$M_{k} = C E_{k} = M_{k}^{'} (0 \leq k \leq 10)$
がわかる。
　いま $M_{k - 12} = M_{k - 12}^{'}$ が成り立っているとする。このとき任意に $4 a + 6 b = k$ なる非負整数 $a, b$ を取ると、補題9と同様にして
$\begin{aligned} M_{k} & = C E_{4}^{a} E_{6}^{b} \oplus S_{k} \\ = C E_{4}^{a} E_{6}^{b} \oplus Δ \cdot M_{k - 12} \\ = C E_{4}^{a} E_{6}^{b} \oplus (E_{4}^{3} - E_{6}^{2}) \cdot M_{k - 12} \subset M_{k}^{'} \end{aligned}$
がわかるので、明らかに $M_{k}^{'} \subset M_{k}$ であることから
$M_{k} = M_{k}^{'}$
を得る。

直和であること

　上では触れていなかったが
$\sum_{\begin{matrix} 4 a + 6 b = k \\ a, b \geq 0 \end{matrix}} C E_{4}^{a} E_{6}^{b}$
が直和であることは次にようにしてわかる。
　いまある $r$ 個の複素数 $c_{l} \neq 0$ と異なる非負整数の組 $a_{l}, b_{l} (4 a_{l} + 6 b_{l} = k)$ があって
$\sum_{l = 1}^{r} c_{i} E_{4}^{a_{l}} E_{6}^{b_{l}} = 0$
が成り立つとする。このとき $b_{l}$ のなかで最小のものを $b_{j}$ とすると
$\sum_{l = 1}^{r} c_{l} E_{4} (i)^{a_{l}} E_{6} (i)^{b_{l} - b_{j}} = c_{j} E_{4} (i)^{a_{j}} = 0$
となるが $E_{4} (i) \neq 0$ なので $c_{j} = 0$ であり、これは $c_{l}$ の取り方に反する。
　よって $E_{4}^{a} E_{6}^{b} (4 a + 6 b = k, a, b \geq 0)$ は $C$ 上線形独立である。

おまけ：モジュラー形式の微分

　上ではモジュラー形式のなす環
$M = ⨁_{k = 0}^{\infty} M_{k}$
が $E_{4}, E_{6}$ によって生成される、つまり
$M = C [E_{4}, E_{6}]$
となることを見ました。
　さて余談ですが $E_{2}, E_{4}, E_{6}$ は次のような微分関係式を持つことが知られています(証明については便利さんの記事などをご参照ください)。
$\begin{aligned} \frac{1}{2 π i} \frac{d E_{2}}{d z} & = \frac{E_{2}^{2} - E_{4}}{12} \\ \frac{1}{2 π i} \frac{d E_{4}}{d z} & = \frac{E_{2} E_{4} - E_{6}}{3} \\ \frac{1}{2 π i} \frac{d E_{6}}{d z} & = \frac{E_{2} E_{6} - E_{4}^{2}}{2} \end{aligned}$
このことから $M$ に $E_{2}$ を付加したもの
$\tilde{M} = M [E_{2}] = C [E_{2}, E_{4}, E_{6}]$
は微分演算に対して閉じた環となったりします。
　ちなみにこの環 $\tilde{M}$ のことはring of quasimodular forms(準モジュラー形式環)と言います。

ラマヌジャンの $τ$ 関数

　以上がモジュラー形式の基本的な理論の一端となりますが、折角なので発展的な話としてラマヌジャンの $τ$ 関数の持つ性質についても解説していこうと思います。

漸化式と乗法性

　素数 $p$ に対しMordell作用素 $T_{p}$ を
$T_{p} f (z) = \frac{1}{p} \sum_{l = 0}^{p - 1} f (\frac{z + l}{p}) + p^{11} f (p z)$
によて定めると
$T_{p} Δ (z) = τ (p) Δ (z)$
が成り立つ。

　 $T_{p} Δ (z)$ が重さ $12$ のモジュラー形式であること、および $\frac{T_{p} Δ (z)}{Δ (z)}$ がカスプ $z = i \infty$ において $τ (p)$ となることを示せばよい。

$T_{p} Δ (z)$ がモジュラー形式であること

　 $T_{p} Δ (z + 1) = T_{p} Δ (z)$ であることは簡単にわかる。
　 $T_{p} Δ (- 1 / z) = z^{12} T_{p} Δ (z)$ を確かめるには
$\begin{array}{rcl} T_{p} Δ (- \frac{1}{z}) & = & \frac{1}{p} \sum_{l = 1}^{p - 1} Δ (\frac{- 1 + l z}{p z}) + \frac{1}{p} Δ (- \frac{1}{p z}) + p^{11} Δ (- \frac{p}{z}) \\ = & \frac{1}{p} \sum_{l = 1}^{p - 1} Δ (\frac{l z - 1}{p z}) + p^{11} z^{12} Δ (p z) + \frac{z^{12}}{p} Δ (\frac{z}{p}) \end{array}$
より
$\sum_{l = 1}^{p - 1} Δ (\frac{l z - 1}{p z}) = z^{12} \sum_{l = 1}^{p - 1} Δ (\frac{z + l}{p})$
となることを示せばよい。
　そのことは $1 \leq l \leq p - 1$ に対して $l l^{'} \equiv - 1 (\mod p)$ なる $1 \leq l^{'} \leq p - 1$ を取り $k = (l l^{'} + 1) / p$ とおくと
$(\begin{matrix} l & k \\ p & - l^{'} \end{matrix}) \in S L (2, Z)$
かつ
$(\begin{matrix} l & - 1 \\ p & 0 \end{matrix}) = (\begin{matrix} l & k \\ p & - l^{'} \end{matrix}) (\begin{matrix} 1 & l^{'} \\ 0 & p \end{matrix})$
が成り立つことから
$\begin{aligned} \sum_{l = 1}^{p - 1} Δ ((\begin{array}{c} l & - 1 \\ p & 0 \end{array}) z) & = \sum_{l^{'} = 1}^{p - 1} Δ ((\begin{array}{c} l & k \\ p & - l^{'} \end{array}) (\begin{array}{c} 1 & l^{'} \\ 0 & p \end{array}) z) \\ = \sum_{l^{'} = 1}^{p - 1} {(p \frac{z + l^{'}}{p} - l^{'})}^{12} Δ (\frac{z + l^{'}}{p}) \\ = z^{12} \sum_{l^{'} = 1}^{p - 1} Δ (\frac{z + l^{'}}{p}) \end{aligned}$
とわかる。

比が $τ (p)$ であること

$\begin{array}{rcl} \frac{1}{p} \sum_{l = 0}^{p - 1} Δ (\frac{z + l}{p}) & = & \frac{1}{p} \sum_{l = 0}^{p - 1} \sum_{n = 1}^{\infty} τ (n) e^{2 π i n \frac{z + l}{p}} \\ = & \sum_{n = 1}^{\infty} τ (n) (\frac{1}{p} \sum_{l = 1}^{p - 1} e^{\frac{2 π i n l}{p}}) q^{\frac{n}{p}} \\ = & \sum_{n = 1}^{\infty} τ (p n) q^{n} \end{array}$
に注意すると
$lim_{z \to i \infty} \frac{T_{p} Δ (z)}{Δ (z)} = lim_{q \to 0} \frac{(τ (p) q + τ (2 p) q^{2} + \dots) + p^{11} (q^{p} + τ (2) q^{2 p} + \dots)}{q + τ (2) q^{2} + \dots} = τ (p)$
を得る。

　素数 $p$ と自然数 $n$ に対して漸化式
$τ (p n) + p^{11} τ (\frac{n}{p}) = τ (p) τ (n)$
が成り立つ。ただし自然数ではない実数 $x$ に対しては $τ (x) = 0$ と定める。

　補題6とその証明で見たように
$\begin{array}{rcl} T_{p} Δ (z) & = & \sum_{n = 1}^{\infty} τ (p n) q^{n} + p^{11} \sum_{n = 1}^{\infty} τ (n) q^{p n} \\ = & τ (p) \sum_{n = 1}^{\infty} τ (n) q^{n} = τ (p) Δ (z) \end{array}$
が成り立ってるのでこの両辺の $q^{n}$ の係数に注意するとわかる。

　ラマヌジャンの $τ$ 関数は乗法性を持つ。つまり任意の互いに素な自然数 $m, n$ に対し $τ (m n) = τ (m) τ (n)$ が成り立つ。

　任意の素数 $p$ と自然数 $k, n (p ∤ n)$ に対して
$τ (p^{k} n) = τ (p^{k}) τ (n)$
が成り立つことを示せばよい。 $k$ についての数学的帰納法で示す。
　 $k = 0$ のときは $τ (1) = 1$ に注意すると
$τ (p^{0} n) = 1 τ (n) = τ (p^{0}) τ (n)$
と、 $k = 1$ のときは定理14および $τ (\frac{n}{p}) = 0$ に注意すると
$τ (p n) = τ (p) τ (n) - p^{11} τ (\frac{n}{p}) = τ (p) τ (n)$
とわかる。
　いま $l \leq k$ において
$τ (p^{l} n) = τ (p^{l}) τ (n)$
が成り立つとすると定理14において $n \mapsto p^{k} n, n \mapsto p^{k + 1}$ とすることで
$\begin{aligned} τ (p^{k + 1} n) + p^{11} τ (p^{k - 1} n) & = τ (p) τ (p^{k} n) \\ τ (p^{k + 1}) + p^{11} τ (p^{k - 1}) & = τ (p) τ (p^{k}) \end{aligned}$
がわかるので
$\begin{array}{rcl} τ (p^{k + 1} n) & = & τ (p) τ (p^{k} n) - p^{11} τ (p^{k - 1} n) \\ = & (τ (p) τ (p^{k}) - p^{11} τ (p^{k - 1})) τ (n) \\ = & τ (p^{k + 1}) τ (n) \end{array}$
と $l = k + 1$ においても
$τ (p^{l} n) = τ (p^{l}) τ (n)$
が成り立つことがわかる。

二次のオイラー積

　ラマヌジャンの $L$ 関数を
$L (s, Δ) = \sum_{n = 1}^{\infty} \frac{τ (n)}{n^{s}}$
と定めるとこれはオイラー積表示
$L (s, Δ) = \prod_{p : prime} \frac{1}{1 - τ (p) p^{- s} + p^{11} p^{- 2 s}}$
を持つ。

　 $τ (n)$ の乗法性より
$L (s, Δ) = \sum_{n = 1}^{\infty} \frac{τ (n)}{n^{s}} = \prod_{p : prime} \sum_{n = 1}^{\infty} \frac{τ (p^{n})}{p^{n s}}$
と分解できるので $x = p^{- s}$ に対して
$\sum_{n = 1}^{\infty} τ (p^{n}) x^{n} = \frac{1}{1 - τ (p) x + p^{11} x^{2}}$
が成り立つことを示せばよい。
　いま定理14において $n = p^{k - 1} (k \geq 1)$ とした式
$τ (p^{k}) + p^{11} τ (p^{k - 2}) = τ (p) τ (p^{k - 1})$
から
$\begin{array}{rcl} \sum_{k = 0}^{\infty} (τ (p^{k}) - τ (p) τ (p^{k - 1}) + p^{11} τ (p^{k - 2})) x^{k} \\ = & (τ (p^{0}) - τ (p) τ (p^{- 1}) + p^{11} τ (p^{- 2})) x^{0} = 1 \end{array}$
であって、また
$\begin{array}{rcl} \sum_{k = 0}^{\infty} (τ (p^{k}) - τ (p) τ (p^{k - 1}) + p^{11} τ (p^{k - 2})) x^{k} \\ = & \sum_{k = 0}^{\infty} τ (p^{k}) x^{k} - \sum_{k = 0}^{\infty} τ (p) τ (p^{k}) x^{k + 1} + \sum_{k = 0}^{\infty} p^{11} τ (p^{k}) x^{k + 2} \\ = & \sum_{k = 0}^{\infty} τ (p^{k}) x^{k} (1 - τ (p) x + p^{11} x^{2}) \end{array}$
なので
$(1 - τ (p) x + p^{11} x^{2}) \sum_{k = 0}^{\infty} τ (p^{k}) x^{k} = 1$
すなわち
$\sum_{n = 1}^{\infty} τ (p^{n}) x^{n} = \frac{1}{1 - τ (p) x + p^{11} x^{2}}$
を得る。

　ちなみにここで現れる $x$ についての二次式
$1 - τ (p) x + p^{11} x^{2}$
の判別式 $D = τ (p)^{2} - 4 p^{11}$ が常に負である、つまり
$| τ (p) | < 2 p^{\frac{11}{2}}$
が成り立つことを主張するのがラマヌジャン予想と呼ばれています。ラマヌジャン予想は長年未解決でありましたが1974年に肯定的に解決されたそうです。

ラマヌジャンの合同式

$τ (n) \equiv σ_{11} (n) (\mod 691)$
が成り立つ。特に素数 $p$ に対して
$τ (p) \equiv 1 + p^{11} (\mod 691)$
が成り立つ。

　定理7
$(65520 + 1008 \cdot 691) Δ (z) = 691 E_{12} (z) - 691 E_{6} (z)^{2}$
の両辺において
$\begin{aligned} Δ (z) & = \sum_{n = 1}^{\infty} τ (n) q^{n} \\ E_{6} (z)^{2} & = {(1 - 504 \sum_{n = 1}^{\infty} σ_{5} (n) q^{n})}^{2} \\ 691 E_{12} (z) & = 691 + 65520 \sum_{n = 1}^{\infty} σ_{11} (n) q^{n} \end{aligned}$
の各係数が整数であることに注意して、法 $691$ で係数を比較すると
$65520 τ (n) \equiv 65520 σ_{11} (n) (\mod 691)$
がわかり、 $65520$ は $691$ と互いに素なので
$τ (n) \equiv σ_{11} (n) (\mod 691)$
を得る。

参考文献

[1]

黒川信重, 栗原将人, 斎藤毅, 数論II 岩澤理論と保型形式, 岩波書店, 2005

[2]

オイラーの五角数定理, Wikipedia, 閲覧日 2021年3月29日, https://ja.wikipedia.org/wiki/%E3%82%AA%E3%82%A4%E3%83%A9%E3%83%BC%E3%81%AE%E4%BA%94%E8%A7%92%E6%95%B0%E5%AE%9A%E7%90%86

投稿日：2021年3月30日

更新日：2024年1月13日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

子葉

1104

274166

主に複素解析、代数学、数論を学んでおります。私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

他の人のコメント

コメントはありません。

読み込み中

子葉

保型形式の基礎のキソ:アイゼンシュタイン級数とラマヌジャンのデルタ

はじめに
ランベルト級数
アイゼンシュタイン級数
$q$ -展開
重さ $2$ のアイゼンシュタイン級数
ラマヌジャンのデルタ
デデキントのイータ関数
アイゼンシュタイン級数との関係
モジュラー形式の基底
補題
$M_{k}$ の次元と基底
おまけ：モジュラー形式の微分
ラマヌジャンの $τ$ 関数
漸化式と乗法性
二次のオイラー積
ラマヌジャンの合同式
参考文献

保型形式の基礎のキソ:アイゼンシュタイン級数とラマヌジャンのデルタ

はじめに

ランベルト級数

アイゼンシュタイン級数

q-展開

おまけ：ベルヌーイ数の具体値

重さ2のアイゼンシュタイン級数

ラマヌジャンのデルタ

デデキントのイータ関数

アイゼンシュタイン級数との関係

モジュラー形式の基底

補題

Mkの次元と基底

直和であること

おまけ：モジュラー形式の微分

ラマヌジャンのτ関数

漸化式と乗法性

TpΔ(z)がモジュラー形式であること

比がτ(p)であること

二次のオイラー積

ラマヌジャンの合同式

参考文献

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

$q$ -展開

重さ $2$ のアイゼンシュタイン級数

$M_{k}$ の次元と基底

ラマヌジャンの $τ$ 関数

$T_{p} Δ (z)$ がモジュラー形式であること

比が $τ (p)$ であること