今回は「保型形式(モジュラー形式)を勉強するとこんなにも楽しい」シリーズの 応用編 です!
数学ガール等を読んで保型形式について知ったけど、さわりの部分だけでは物足りない、もっと保型形式のその先を勉強してみたい、そう思っていた「あなた」のためのシリーズ記事です。
前回の記事では、「導入編」と称してモジュラー形式に関する最低限の事項を紹介しました。導入編で手に入れた知識は、まさに今回の応用編を読むために用意したものです。
tsujimotter.hatenablog.com
今回は「モジュラー形式を勉強するとこんなにも楽しい」ということを紹介したいと思います。いよいよ本題ですね。
前回の記事を読んだ方もそうでない方も、必要に応じて前回の記事を参照しつつ、読んでいただけたらと思います。
みなさんにご紹介したいのは、次の 5つ の話です。
- 応用①:「関数」の間の非自明な関係式が得られる(難易度:★★)
- 応用②:「数列」の間の非自明な関係式が得られる(難易度:★★)
- 応用③:ヘッケ作用素と2次のゼータ(難易度:★★★)
- 応用④:素数を表現する2次形式(難易度:★★★★★)
- 応用⑤:楕円曲線とフェルマーの最終定理(難易度:★★★★)
もちろんここにあげていないようなおもしろい話は、他にもたくさんあるかと思いますが、そういう話はまた別の本で読むときの楽しみにしてください。今回選んだ5つのテーマは、私が保型形式(モジュラー形式)を勉強する中で、本当に感動したものだけを厳選 して集めたものになっています。
中には相当難しい話も混ざっていますが、必ずしも全部理解できなくても大丈夫です。新しい世界のピクニックだと思って「散策してみよう」ぐらいの気軽な気持ちで読んでいただければと思います。
参考までに難易度を振っておきました。必要に応じて読めそうな部分だけを読んでいただいて大丈夫です。①と②以外は独立して読めるものとなっています。
それでは、順番に紹介していきましょう!
応用編の目次(今回の記事です!)
- 応用①:「関数」の間の非自明な関係式が得られる(難易度:★★)
- 応用②:「数列」の間の非自明な関係式が得られる(難易度:★★)
- 応用③:ヘッケ作用素と2次のゼータ(難易度:★★★)
- 応用④:素数を表現する2次形式(難易度:★★★★★)
- 応用⑤:楕円曲線とフェルマーの最終定理(難易度:★★★★)
- おわりに
- 参考文献
導入編の目次(前回の記事)
導入①:三角関数のおさらい
導入②:モジュラー形式とは?
導入③:これだけは覚えて欲しい2つのモジュラー形式
導入④:q-展開とカスプ形式
応用①:「関数」の間の非自明な関係式が得られる(難易度:★★)
最初のトピックとして、保型形式であるような2つ(ないしは3つ)の関数の間に「想像もつかないような関係式」が成り立つ、というお話を紹介します。
たとえば、2つの正規化されたアイゼンシュタイン級数 と を考えましょう。これらの間にどんな関係が成り立つでしょうか。
定義を思い出すと
でした。
どちらもアイゼンシュタイン級数なので、似ていることは似ているのですが、何か関係式が見出せそうな気はあまりしません。
これに対しては、次のような驚きの関係式が成り立ちます:
びっくりするぐらい綺麗にまとまりましたね。
級数の形に直すと
ですが、これだけ見せられるとよりびっくりします。
もう一つ、同じく正規化されたアイゼンシュタイン級数 を考えると
という関係式が成り立ちます。
これも級数の形にすると
ですが、これが成り立つというのはちょっと信じがたいですね。
このような関係式は他にもたくさん作ることができます。
式 と式 はどちらもアイゼンシュタイン級数の間の非自明な関係式ですが、重さ だけに着目すると次のような法則が観察されます:
- 式 の左辺は、重さ と重さ をかけると重さ になっている()
- 式 の左辺は、重さ と重さ をかけると重さ になっている()
一般論として、重さ のモジュラー形式 と重さ のモジュラー形式 を掛け合わせた は、重さ のモジュラー形式になります。
が成り立つので、重さ になることがわかります。
そのため、重さに関して辻褄が合わないと等式が成り立たないわけですね。その意味で、式 と式 は重さの条件はクリアします。
一方で、重さが一緒のモジュラー形式が2つあったとして、それらの間にちょうど定数倍の関係があるものなのでしょうか。
実は、そこには驚くべき事情があったのです。鍵となるのは モジュラー形式のベクトル空間 です。
一般論に入りますが、重さ のモジュラー形式 があったとき、 も重さ のモジュラー形式になります。上で「掛け算」のときとまったく同じ議論で示せます。
また、重さ のモジュラー形式 に対して、複素数 をかけた もまた重さ のモジュラー形式になります。
何がいいたいかというと、重さ のモジュラー形式全体の空間を考えたときに、これは 複素係数のベクトル空間 になっているというのです。この空間を とおきましょう。
また同様に、重さ のカスプ形式全体のなすベクトル空間を とおきましょう。重さが等しいカスプ形式同士も、和や複素数倍に対して閉じていることは簡単に示せます。明らかに、 は部分ベクトル空間になっていますね。
ここで面白いことは、これらの ベクトル空間 が有限次元 であり、次元がよくわかっている ということです。次元を調べることで、重さ のモジュラー形式の間の関係式があぶり出されるのです。
まず、導入編②で述べたことを使って、次の基本的な事実をいうことができます:
- 重さ のモジュラー形式は定数のみ。したがって、次元は 。
- 重さが奇数のモジュラー形式は のみ。したがって、次元は 。
よって、重さ が偶数の場合に次元を決定すれば十分です。
以下では、 の(複素係数のベクトル空間としての)次元を 、同様に の(複素係数のベクトル空間としての)次元を とします。
このとき、次の表のような事実が成り立ちます:
重さ | ||
---|---|---|
注目して欲しいのは、まず のときの次元が であることです。重さ のモジュラー形式は、 以外に存在しないというわけです。(アイゼンシュタイン級数も重さ のときは定義されませんでした。)
また、 が 以上のとき、 は 以上となります。これは各 に対して、少なくともアイゼンシュタイン級数 がいるからですね。たしかに はカスプ形式ではないモジュラー形式でした。
また、 まではモジュラー形式の次元は です。(カスプ形式の次元は です。)
状況が変わるのが のときで、このときはモジュラー形式の次元が になっています。カスプ形式の次元が に上がっているので、その分独立な基底が増えたという感じですね。
察しのいい読者の方は思い出したのではないかと思います。そう、ラマヌジャンのデルタは重さ のカスプ形式 でしたね!!
ラマヌジャンのデルタがいるので、新しくカスプ形式の空間ができたというわけです。それまでの重さではカスプ形式は存在しなかった というわけです。なるほど、それは確かにラマヌジャンのデルタは重要そうに思えます。
それ以降は、基本的には が の倍数になるたびに の次元が されます。これに合わせて の次元も されます。
やはりこれも、ラマヌジャンのデルタが原因です。
は重さ のカスプ形式になります。
この形以外の新しいカスプ形式は には存在しないので
が成立します。
また、 はカスプ形式ではないモジュラー形式でしたから、この分によって
となります。
以上を組み合わせると、 に対し
が成り立つので、重さ ごとに次元が されるわけです。
結局、モジュラー形式やカスプ形式の空間は、アイゼンシュタイン級数 とラマヌジャンのデルタ からできていたというわけですね。彼らは単なるモジュラー形式の例であっただけでなく、ある意味でモジュラー形式のすべてであったというわけです。
ただ、これらが重さに応じて や の線形結合で表せるというのは、とても重要な事実ですね
さて、本題の関係式に戻りましょう。
左辺も右辺も重さ のモジュラー形式です。次元を考えると、 なのでした。ということは、重さ のすべてのすべてのモジュラー形式は、複素数の定数倍の関係にあるということですね。
つまり、複素数 が存在して
が成り立つことがわかってしまうというわけです。
あとは、 の正則性を使って両辺の極限をとると
が成り立つことがわかります。(定数 は極限とっても のままということです。)
一方、正規化されたアイゼンシュタイン級数 と の -展開を考えると
なのでした。
の極限において となります。これにより は -展開の定数項に一致するわけですね。つまり
が成り立ちます。あとは式 に代入すれば定数が であることがわかるという寸法です。
まとめると、次のような方法で非自明な等式を見つけることができてしまうわけですね:
- 重さ のモジュラー形式の空間の次元が であるとする
- 次元 より、重さ の二つのモジュラー形式 の間に定数倍の関係がある
- の正則性より、-展開の定数項を比較することで、定数 が決定できる
いやー、これは面白いですね!!
次元が 以上の場合は同じようにはいきませんが、少なくとも線型結合でかけることが分かるので嬉しいことは多いです。カスプ形式の空間だけを考えることで次元 に出来ることもあるので、色々と応用の幅は広がります。
応用②:「数列」の間の非自明な関係式が得られる(難易度:★★)
応用①では、関数の間の関係式を紹介しました。関数の関係式なので、整数論にはあまり関係なさそうな気がしてします。
一方で、保型形式は整数論で重要な役割を果たすとよく言われます。これはいったいどういうことなのでしょうか。
重さ の2つのモジュラー形式 の間に、応用①でやったような方法を用いて関係式
が得られたとしましょう。
ここで、左辺と右辺をそれぞれ -展開したいと思います。するとそれぞれ
のように書けるわけです。両者はべき級数の間の等式だと思うと、任意の について
が成り立つということが分かってしまいます。つまり、数列の間の等式 が得られたというわけです。
ここで正規化されたアイゼンシュタイン級数 を思い出しましょう。 の -展開には
のように、係数に「約数関数 」という数論的に重要な数列が入っていました。
という関係式から、両辺を -展開することによって
という関係式を得ることができます。左辺を展開すると
となりますが、両辺の の係数を比較することで次の等式を得ることができます:
これはまさに約数関数の間の非自明な等式となっていて、面白いですね!!
こんな風に数論的に面白い関係式がバンバン出てきたら楽しそうですね!
もう一つ紹介したいのは ラマヌジャンの合同式 です。
これも相当に非自明な合同式だと思います。ラマヌジャンのタウ関数と約数関数の間にどうしてこんな関係が成り立つというのでしょう。そして はどこから出てきたのか。
種明かしをすると、重さ のモジュラー形式の間の関係式
から作ることができます。
重さ のモジュラー形式の次元は なので、応用①の方法ではうまくいかないと思うかもしれません。ところが、カスプ形式の方は次元 なので、これを使うことができます。
はそれぞれの定数項 を打ち消しているので、カスプ形式になります。ラマヌジャンのデルタはもちろんカスプ形式なので、両辺が重さ のカスプ形式になるわけですね。よって と の間に定数倍の関係が示されるわけです(式 )。
合同式の作り方ですが、式 の両辺を 倍した上で の係数を比較します。これは複雑な関係式になりますが、 をとると
が成立します。一見、左辺は消えてしまいそうに思うのですが、 の係数の分母には が出てくるので、うまいこと 倍が打ち消されてくれるのですね。 と は互いに素なので、ラマヌジャンの合同式 が導かれるというわけです。面白いですね。
計算過程を詳しく知りたい方はこちらの記事をどうぞ。
tsujimotter.hatenablog.com
応用③:ヘッケ作用素と2次のゼータ(難易度:★★★)
今度はラマヌジャンのデルタ に関する話です。
ラマヌジャンのデルタの -展開は、 を用いて
と表せるのでした。
以前書いた記事では、ラマヌジャンのデルタから「ゼータ関数(L関数)」を作ることができるという話をしています:
tsujimotter.hatenablog.com
この記事の内容を簡単に振り返ります。 を形式的に並べて作る
という関数を ラマヌジャンのゼータ といいます。これは 2次のオイラー積
という形で表すことができました。右辺は素数 に関する無限積の形で表されています。
変形の鍵となったのは、ラマヌジャンのタウ関数に成り立つ次の等式です:
この等式から2次のオイラー積が導かれることは、上の記事で説明していました。問題はこの等式がいかに導かれるかという点です。
ラマヌジャンのタウ関数同士の関係なので、応用②でやったような2つの保型形式を使う方法は、今回は適用できなさそうです。ここで使えるのが ヘッケ作用素 です。
重さ のモジュラー形式やカスプ形式の空間 はベクトル空間であったことを思い出しましょう。自然数 に対して
という線形写像を構成することができます。つまり、重さ のモジュラー形式 を、重さ の別のモジュラー形式 に写すような線形写像ですね。 をヘッケ作用素といいます。
この写像はカスプ形式をカスプ形式に写すので、 に制限させると
となります。
一般に、(あるいは )が与えられたときに、 に を適用した はさまざまなモジュラー形式(カスプ形式)になりえます。これがもし
を満たす(つまり、元のモジュラー形式(カスプ形式)の定数倍になる)のであれば、 を の固有値、 を の固有形式といいます。
任意の自然数 について、ある がすべての 対する固有形式になっているとき、 は の同時固有形式であるといいます。つまり
等々となるような、 が存在するということですね。
ラマヌジャンのデルタ は重さ のカスプ形式なので、 となります。 の次元は なので は の定数倍となります。よって、 は自動的に の同時固有形式となります。
さらに面白いのは、その固有値が になることです。すなわち
となるわけですね。
式 の両辺の -展開を比較することで(左辺はヘッケ作用素の定義式を展開することで)、式 の関係式を得ることができます。面白いですね!!
同様に、 をモジュラー形式とします。このとき、 に付随するL関数を
によって定義することができます。
特に、 が と正規化されているような、ヘッケ作用素 に対する同時固有形式とします。すると の に対する固有値は となります。このことから、ラマヌジャンのゼータと同じ要領で、オイラー積表示
が得られます。
つまり、ラマヌジャンのゼータは、正規化された固有形式から2次のオイラー積を持つゼータ関数(2次のゼータ)が得られる、という話の具体的な一例だったというわけですね!
応用④:素数を表現する2次形式(難易度:★★★★★)
次の話題は、素数 が整数 を用いて
と書ける条件についてです。この話は、概要を理解するだけであればそれほど難しくないのですが、ちゃんと理解しようとすると難易度が大きく上がります。
条件を明らかにするため、式 の右辺を分解してみると
のように表せます。このことから、この問題が虚2次体 の整数環 において がいつ分解するか、と関係することがわかります。
一方で、整数環 は単項イデアル整域(PID)ではないので、話はそう簡単ではありません。単に が素イデアルの積に分解するかどうかだけでは十分ではないのです。
そこで、 のさらに上の ヒルベルト類体 というものを考えます。 で が完全分解することが と書けることの必要十分条件というわけです。
ところで「類体論」によると、素数 が で分解するかどうかが「」によって表されるのは、 がアーベル拡大のときに限られるのでした。アーベル拡大ではない場合は、類体論によっては法則を見いだすことが原理的にできないのです。
残念ながら、今回の はアーベル拡大ではないガロア拡大であり、どうしたものかというわけです。
こんなときに使えるのが モジュラー形式 です。次のような、モジュラー形式を考えます:
この はこれまで扱ってきたようなフルモジュラーなモジュラー形式ではないことに注意します。「レベル」という構造が加わり、重さ でレベル のモジュラー形式となります。
の -展開を計算して、 次の係数を とします。すると、なんと次が成り立つのだそうです:
(ただし、有限個の を除く。)
これは驚きの結果だと思うのですが、「 で完全分解すること」と「 であること」がなんと同値だというのです。
これには非常に深い理由があるのですが、簡単に説明できるようなものではなさそうです。上で挙げた法則の裏には、図に示すような深く深い背景があります。
深海の底のような深い場所に大きな法則があり、素数の分解法則とモジュラー形式が繋がっているのです。上の法則は、さながら深海の上に現れた「氷山の一角」といったところでしょうか。
以下ではなんとかかいつまんで説明しようと試みます。かなり端折って説明しますが、より詳しく知りたい方は以下の記事か、元の伊藤先生の記事をご確認ください:
tsujimotter.hatenablog.com
「素数 が で完全分解するか」という問題は、一旦 の代数閉包 まで持ち上げて考えることになります。
のガロア群を絶対ガロア群 といいますが、 の中には素数 の分解法則を司るフロベニウス という元が存在します。
tsujimotter.hatenablog.com
実際、 を に制限させたときに、次が同値な条件となります。
(ただし、有限個の素数 を除く)
話をモジュラー形式に結びつけるために、ガロア表現 の問題にします。 なので、 の既約表現を使って、 を に埋め込みます。これにより、単位元が単位行列に送られます:
また、 の元を に制限することによって得られる全射 を考えます。これらを合成することによって得られる写像
は2次元のガロア表現となります。
によって、 を送ったときに単位行列
となれば、 は で完全分解します。(逆も言えます。)
一方、式 で定義したモジュラー形式 には、 に付随する2次元のガロア表現 が存在します。「付随する」というのは、 の -係数を としたとき、有限個を除く素数 に対して
が成り立つということです。
これ自体は大定理ですが、受け入れて進みましょう。つまり、モジュラー形式 からガロア表現 が得られたというわけですね。
ここで重要なことは、先ほどのガロア表現 と今作った が同値だということです。ガロア表現が同値というのは、(有限個を除く )素数 についてのフロベニウス をガロア表現 と で送ったときに、それぞれの行き先のトレースが等しいこと、と言い換えられます。
要するに、有限個の素数 を除いて
が成り立つわけです。ここが核心といえます。(図の深海の底ですね。)
あとは であることと、「完全分解 ⇔ 単位行列」なのでトレースが であることから、以下の同値をいうことができます。
以上により、 が で完全分解されるかどうかが、モジュラー形式 の -係数の値を見ることによってわかるという、大変摩訶不思議な現象が説明できるわけですね。いやー、面白い!!
核心にあったのは、2つのガロア表現 と の同値性という問題でした。「 と書ける素数の法則」には、こんなに深い背景があったのですね。改めて図を再掲します。
応用⑤:楕円曲線とフェルマーの最終定理(難易度:★★★★)
最後の話題として、フェルマーの最終定理 の話をしたいと思います。
よく知られているように、フェルマーの最終定理は1995年にアンドリュー・ワイルズによって証明されました。このとき使われた方針は、 上の楕円曲線とモジュラー形式の間の深い関係 「志村-谷山予想」 を証明することでした。ここでは志村-谷山予想を紹介します。
まず、 上の楕円曲線とは
の形で表せる曲線であって、右辺の についての 次式が重根を持たないものをいいます。 は有理数です。だから「 上の」楕円曲線ということですね。
志村-谷山予想とは、任意の 上の楕円曲線は「モジュラーである」という主張です。ただ、「モジュラーである」ということの意味が分からなければ何の意味もないので、より詳しく述べていきましょう。
楕円曲線 には、素数 対して「 の(無限遠点を含む)解の個数 」を数えることで
という量が定まります。この計算は冒頭に挙げた数学ガールでもやっています。
数学ガールの方では、 と定義されています。 は有限体上の解の個数なので、私の式とは数が だけずれているように思うかもしれません。しかし、上の式 で問題ないことがわかります。
実際、数学ガールの方は、 を数える際に「無限遠点」を数えていないのです。私の方では、 を数える際に「無限遠点」を数えることにしています。だから、 となり、1個ずれてみえるわけですね。だから、 としても、 としてもどちらでもよいわけです。
一方、モジュラー形式 に対しては、これまでやってきたように -係数 が定まるのでした。
与えられた 上の楕円曲線 に対して、あるモジュラー形式 が存在して、任意の に対して
が成り立つとき、 上の楕円曲線 はモジュラーであるといいます。
これで志村-谷山予想の主張が理解できたでしょう。
がモジュラーであるとは、あるモジュラー形式 が存在して、任意の素数 に対して
が成り立つことをいう。
より詳細には、 上の楕円曲線 に対しては(あとで出てくる)導手 と呼ばれる正の整数が定まります。モジュラー形式にも「レベル」という構造があるのですが、導手 の楕円曲線に対しては、重さ 、レベル のモジュラー形式 が対応します。
志村-谷山予想を証明する方針は、応用④でやったようにガロア表現を使うことです。
詳細は思い切り端折りますが、導手 の 上の楕円曲線 に対して2次元のガロア表現 が定まります。このとき、ある重さ 、レベル のモジュラー形式 が存在して、 と が存在することを示せばよいわけですね。
ただし、応用④では複素係数のガロア表現を考えていましたが、今度は素数 を用いた 進表現 を考えることになります。
ガロア表現が同値であれば、そのトレースが一致するわけなので
が成り立つというわけですね。
この記事の中で、志村-谷山予想の証明について、これ以上の踏み込んだ解説は不可能です。なにせ私が理解していないからです。
一方で、志村-谷山予想を仮定すると、どのようにしてフェルマーの最終定理が導かれるのかと言う点については、ある程度説明することができそうです。最後の仕上げにこれだけやってしまいましょう。
以下の図のような流れで進めていきます:
(志村-谷山予想 フェルマーの最終定理の証明)
背理法により証明します。素数 についての方程式 に、 なる整数解 があると仮定しましょう:
このとき、解 を用いて、次のような楕円曲線を得ることができます:
右辺を展開すると についての 次式になっていて、かつ、重根を持たないので楕円曲線です(係数も有理数なので 上でもある)。ゲルハルト・フライという人が発見したので、 はフライ曲線と呼ばれます。
フェルマーの最終定理に解があるとすると、フライ曲線と呼ばれる 上の楕円曲線が存在してしまうのですね。実は、このフライ曲線はとても「奇妙な」性質を持っているのだとか。
実際、右辺の根は なのですが
- と の差 が 乗数
- と の差 が 乗数
- と の差が で 乗数
となっていて、この点が「奇妙に」感じられるそうです。あとはこの「奇妙さ」をなんとかして「矛盾」に持ち込むことができれば「勝ち」というわけです。
この「奇妙さ」を象徴する量として、楕円曲線の判別式 および導手 があります。判別式とは、3次式の根の差の2乗を掛け合わせた量
です。導手 は を割り切るすべての素数 に 乗したものを掛け合わせた量となっています。今回の場合は となり
となるそうです。
志村-谷山予想を仮定すると、任意の 上の楕円曲線はモジュラーであるというのです。したがって、対応する重さ 、レベル のモジュラー形式 が存在することになります。
ここで、リベ(Ribet)の定理を適用します。リベの定理を今回の限定的な状況に適用すると、次のことが言えます。
( と は正の整数)であって
- 条件1:
- 条件2: は奇数で、 と は互いに素
という条件を満たすものが存在するとき、重さ 、レベル のカスプ形式 であって、 に対して は整数であり
であるものが存在する。
つまり、重さ ・レベル のモジュラー形式 から、 重さ ・レベル のカスプ形式 が作れるということです。 を小さくとることができれば、レベルが小さいカスプ形式が得られるわけです!
フライ曲線の解の差積を思い出すと、 なので条件1を満たしています。このことからも、リベの定理がまさにフライ曲線のためのセッティングという感じがします。
また、 の約数として が取れます。(これはフェルマーの最終定理の解 のいずれかには、必ず偶数が入ってくるからです。)
よって、 としてみましょう。すると、 は奇数であり、 と は互いに素なので、条件2も成立します。
リベの定理より、重さ ・レベル のカスプ形式 であって、 であるものの存在が示されました。(楕円曲線の がすべて で割り切れないことがわかり、このことから が恒等的に にならないことが言えるので、 も言える。)
ところがどっこい、重さ ・レベル のカスプ形式なんてものは、 しか存在しないということが、応用①と同じような議論により分かります。矛盾。
ゆえに、背理法の仮定である「素数 についての方程式 に、 なる整数解 がある」が偽であることが示されました。
以上により、志村-谷山予想を仮定して、( は素数)についてのフェルマーの最終定理が証明できました。めでたしめでたし。
すごいですね!
単に楕円曲線だけの議論であれば、判別式 が 乗数なのが「不思議だな」ぐらいで終わってしまい、証明が回らなかったわけです。
一方で、リベの定理によりモジュラー形式に結びつけたことによって、「モジュラー形式パワー」が発動し、モジュラー形式の空間の次元の話に持ち込むことができ、矛盾を導けたと言うわけです。
まさに、モジュラー形式さまさまという感じがしますね!
おわりに
今日の記事では、保型形式の入門記事として、モジュラー形式の簡単な導入をした後、「モジュラー形式を勉強するとこんなにも楽しい」ということが伝わるような応用事例を5つ紹介しました。
- 応用①:「関数」の間の非自明な関係式が得られる(難易度:★★)
- 応用②:「数列」の間の非自明な関係式が得られる(難易度:★★)
- 応用③:ヘッケ作用素と2次のゼータ(難易度:★★★)
- 応用④:素数を表現する2次形式(難易度:★★★★★)
- 応用⑤:楕円曲線とフェルマーの最終定理(難易度:★★★★)
いかがだったでしょうか。どれもモジュラー形式の面白さが詰まっているものだったかと思います。
かなり難しいものもあったので、どれぐらい伝わったかは分かりませんが、どれか一つでも引っかかるものがあったら嬉しいです。これを読んでいただいたみなさんが保型形式(モジュラー形式)に興味を持っていただけたら幸いです。
それでは今日はこの辺で!
参考文献
保型形式についての議論はこちらが基本的な文献となっています。
私自身は、ある程度は目を通したのですが、全部をきちんと理解しているわけではありませんので、よろしければこちらを合わせて参照されるとより良いかと思います。
まったく目を通せていないのですが、セールによる下記の本の第7章がおすすめであるとしばしば聞きます。
最近出た「数理科学2021年2月号」では「保型形式」の特集が組まれました。その中で金子先生が執筆された「1変数保型形式の数論入門」という記事が大変わかりやすく参考になるかと思います。
実は、執筆当初は(失礼ながら)この記事に目を通しておらず、2/3ぐらい執筆しているところでこれを読み「あれ、金子先生の記事と内容被ってね?」と思い焦りました。ある程度差別化できたように思うのですが、いかがでしょうか・・・。
ウェブ上の記事ですが、応用事例その③の「ヘッケ作用素」に関して調べているときに、加塩先生のこちらの講義資料がとても参考になりました。
加塩朋和「保型形式の入門的な授業のレジュメ」
https://www.rs.tus.ac.jp/a25594/2017_Modular_Form.pdf
応用事例その④のについては、伊藤先生による以下の記事を参考にさせていただきました:
伊藤哲史「平方数の和で表される素数について」城咲新人セミナー
https://drive.google.com/file/d/1RrC0WG676Hv3k2W0pfK6LY00hiC0kaR0/view
応用事例その⑤の「リベの定理」に関する議論については、加藤和也先生のこちらの本が大変参考になりました。
また、2016年の日本数学会70周年記念講演の講演動画では、加藤先生の肉声による解説を聞くことができて、先生のファンには大変オススメです。
mathsoc.jp
講演のアブストラクトも大変おもしろいものとなっています。ぜひご一読を。
加藤和也「整数論の近年の発展をふりかえって」
http://www.mathsoc.jp/pamph/history/70th2016/abstract/70-kato.pdf
数学ガール「フェルマーの最終定理」は今回挙げた本の中で一番おすすめしたい本です。気軽に読める本でありながら、楕円曲線と保型形式の関係を紹介する最終章はたいへん深くて数学好きにも満足できる内容になっているかと思います。ぜひご一読ください。