ポン酢お兄ちゃんです。
この記事は 数学カフェアドベントカレンダー2017 の10番目の記事です。
9番目の記事は simizut22 さんの ``tropical curve の moduli の話" でした。
また、ブログ「ポン酢形式」の初記事でもあります!!(cf. ブログ開設日は今年の4月頃:
ブログの名前はポン酢型式,になりました.
— l進Galois表現の整合性 (@Riemann_Zeta_F) 2017年4月6日
)
今回は、2018年1月5-7日の3日間で行われる、数学カフェのゼータ関数会(講演者: ゼータ兄貴/たけのこ赤軍)の概要を
書きます。
この記事の構成はこんな感じ:
1日目: (「形式的な」予習会) (講演者: ゼータ兄貴/たけのこ赤軍)
現代数学、特に数論と呼ばれる分野においては、ゼータ関数 という対象が、18世紀のEulerによる研究をはじめとして、
長い間に渡り、現在も最先端の数学で研究されています。その Euler による発見は次のようなものです:
この問題は当時の超難問で、Jacob Bernoulli など多くの数学者を撥ね付けた問題でした。その後、Euler はこの問題を
一般化して、次のような関数を定めました*1:
一般に、ゼータ関数の極/零点の情報を取り出すことによって、そのゼータ関数にとって「素数的なもの」に関する結果を得ることができるのですが、Riemann ゼータ関数の場合は「素数的なもの」は「素数」です。たとえば Bernhard Riemann (1859) によって次の定理が証明されています:
今回は特に、Riemann の 画期的な研究を通して、1896年に Hadamard/de la Valée Poussin によって証明された素数定理
を、1日目の主定理として証明します(!)。素数定理の Riemann ゼータ関数を用いた証明の鍵は、2日目の最初にも少し触れて
いますが、
が に零点を持たない
という事実を示すことでした。
また、2日目以降で用いる重要な概念としてひとつあるのが、保型形式と呼ばれるものです。保型形式の定義を念のため
書いておくことにすると*2、
上半平面 上の Modular 群 に関する 保型形式 とは、関数 であって、次の3つの条件を満たすもの:
(i) (保型性) ある整数 に対して、。
(ii) (正則性) は 上で正則。
(iii) (増大条件) は任意の尖点で正則。
といった感じです。保型形式は、1日目で予習する楕円曲線と深い関係があったりします。
さて、保型形式の具体例として 実解析的 Eisenstein 級数 を挙げます (cf.
o-v-e-r-h-e-a-t.hatenablog.com
) 。実は、この記事でも述べられていることですが、この関数は 素数定理の別証明を与えることができる のです(素数定理を「予習会」で証明するときくと凄そうですが、「Riemann ゼータ関数の応用例」「保型形式の紹介」「佐藤-Tate予想への動機付け」という重要な項目を完璧に満たしていることに二人で気がつくと証明せずにはいられなくなりました) !
1日目の予習会では、「素数定理の Riemann ゼータ関数を使った (Hadamard/de la Valée Poussin型の議論の) / 実解析的 Eisenstein 級数を使った (一般線形群 の保型形式的な) 証明」を目標とします。
2日目: (佐藤-Tate予想) (講演者: ゼータ兄貴)
- --- ただし --- は に有利型関数として解析接続され、 で
1位の極を持ち、 では極も零点も持たない
素数定理 (1896, Hadamard/de la Valée Poussin): - --- ただし は非自明な Dirichlet 指標 --- は に
正則関数として解析接続され、 では零点を持たない
Dirichlet の算術級数定理 (1896, de la Valée Poussin):
というように、古くから ゼータ関数 や 関数 の解析的性質は研究されていて、特に零点や極の位置から素数に関する情報を
引き出せることが知られていました。2006年の Taylor 達による 佐藤-Tate予想 の (大部分の!) 証明も、このアイデアに基づいています。
佐藤-Tate予想の定式化.
を代数体とし、 を を満たす の元の組とします。 上の楕円曲線
を考えます。ここで、 の 不変量 は
で定義されます。 を の有限素点とし、 を における剰余体とします。 の位数を とおいたとき、有限個の を
除いて、 の定義方程式の 還元は 上の楕円曲線 を定めます。このとき、 は において 良い還元 を持つと
いい (このときの の集合を と書く) 、そうでないとき は において 悪い還元 を持つ (このときの の集合を
と書く) といいます。 の -有理点 の集合 の位数を とおくと、Hasse の定理より
が成り立ちます (キモチ: は とほぼ等しく、誤差は高々) 。では、 を動かしたときに誤差項は
どのように振舞うのでしょうか? そのために、 を用いて
--- ただし --- とおきます。少し雑にいうと、佐藤-Tate予想とは、誤差項を表す角度 が
のグラフの形に分布する、という予想です。より正確な定式化は次の通り:
が 虚数乗法を持たない とは、 の 上の自己準同型環が と同型であることをいい、そうでないとき は 虚数乗法を
持つ といいます。虚数乗法を持つ楕円曲線に対してはHecke 指標の理論によって の分布を用意に決定することができます (佐藤-Tate予想のような分布にはなりません。たとえば や の場合にはすべての有限素点のおよそ
半分の について、ぴったり となってしまいます) 。従って、佐藤-Tate予想において が虚数乗法を持たない という仮定は本質的であるといえます。
Taylor 達が証明した定理は次の定理です:
を代数体 上の虚数乗法を持たない楕円曲線とする。このとき、 が代数的整数でないならば、 に対する佐藤-Tate予想は正しい。
代数体 が総実であるとは、任意の体の埋め込み に対し、その像が に含まれることをいいます (e.g., は総実代数体) 。 の仮定については少し技術的で、 を有限次拡大体に取り換えると、ある有限素点に
おいて楕円曲線 が乗法的還元を持つことと同値です。これらの仮定は、志村多様体を用いて の保型表現に伴う
Galois 表現を構成するために必要なものです*3。
証明の方針.
Taylor 達による佐藤-Tate予想の証明は、素数定理 / Dirichlet 算術級数定理の証明と同じアイディアに基づくものです。
代数体 上の楕円曲線 から、 次の Euler 積を持つ 対称積 関数 を
によって --- ただし --- 定義します。ここで が良い還元を持つ有限素点 に対しては 関数の局所因子 は を用いて
--- ただし --- で表されます。この 関数は で絶対収束します。 の
場合、i.e., は の Dedekind ゼータ関数であり、 における解析的性質はよく分かっています。 の場合には次の予想があります:
実はこの予想に対しては次の定理が証明されていました:
つまり、素数定理/Dirichlet 算術級数定理と同様に、ゼータ関数やその親戚の 関数について、
絶対収束域ギリギリの線上での非零性から、数論的な帰結を得る
という手法によって佐藤-Tate予想は導かれるわけです。
Conjecture の証明の方針としては、 が の Euler 積の収束領域外であったり、各項を
定める が ごとに定まっていたりと、その解析的性質を直接調べることが難しいため、 をもともと
解析的性質がよく分かっている 関数と結びつけて調べる というものがあります*4。その鍵となるのは、非可換類体論による枠組みです*5。
このように佐藤-Tate予想の大部分は、現代の解析/代数的整数論、数論幾何学の技術が駆使されて解決されました。
2日目では、主に非可換類体論の発展についてお話しようと思っています。現代数学におけるゼータ関数論/保型形式論に
興味ある方、是非聴いていただけると嬉しいです。
3日目: (多重三角関数) (講演者: たけのこ赤軍)
Riemannゼータ関数 は和の範囲が自然数, ではこれをGauss整数 にしてみると?
その答えを与えるのが上の式です. これをよくみると, 左には が, 右には が多く現れているのがわかります. 私の言葉だと
これらをそれぞれ 次元, 次元にいる関数であると表現します.
これは が の整数環であるのに対して は の整数環であることに対応しています ( は の 乗根).
さらに,
であることも と の対応になっていて, と の定義もみごとに と が対比させられる形になっています (定義は
ここでは省略, 両方とも有理数列). もっというと
から, これを 次元で作り直した式
を作ることができ, ここにでてくる という関数はどうやら の 次元での姿なのではないかと推測できます.
さらにさらに,
からも
というふうな 次元版を考えることができ, もちろん はガンマ関数 の 次元版であると考えられます.
こういう感じで, 次元での関数や公式をすべて 次元で作り直してみよう, というのが私の理論のもっとも具体的な部分です. しかし, こういった " 次元での再構成" を試していくうちに, "分裂"といえるような減少が起こっていることに気が付きます.
たとえば 次元での関数 があったとして, これが性質Aと性質Bを共に満たしているとしましょう. しかしこれを 次元に持ち上げてできた は性質Aを問題なく満たしてくれるのですが, 性質Bは満たしてくれないのです.
そこで, 別の持ち上げ方を使ってできた を考え (持ち上げ方が違うだけで, これももちろん の 次元版です) て
みると, こいつは逆に性質Aを満たさないのに性質Bを満たしている, というようなことが起きるわけです.
つまり, という対象を持ち上げたときに性質A,Bがそれぞれ の方へと"分裂"してしまっているわけですね. 遺伝の逆をイメージしていただくとわかりやすいです (1人の子供が持つ形質が2人の親に引き継がれている, ということ).
このような現象はしばしば発生するのですが, 次元から 次元へ持ち上げる際の分裂は本質的に一つしかないことが推測
できるのです. これはゼータ関数や三角関数、ガンマ関数、モジュラー形式などがそれぞれの次元で密接に複雑に絡み合って
いるからで, どれか一つの分裂の様子がわかると他の関数たちも同じように分裂していく, ということです.
具体例を挙げてみると(といっても本質的に一つなので全部挙げていることになるんですが), は と の二つに分裂
します, 分裂しているということはさっき言った通り性質を分け合っているということですから, と は の性質を
分け合っていることになります.
具体的に言ってみると, に継承されるのは無限積展開, reflection formula, 正則性で, ヘ継承されるのはEulerの公式, 逆関数の積分表示, Taylor展開です. この分裂現象は必ずしも完全に二つに別れるわけではなく, 同じ性質を 次元で共有していることもあります. このケースだと, 円周率は と とで共通です.
このような関数の分裂や, 分裂先での性質の変化などを調べるのが私の理論です. しかも, ゼータ関数においては通常の分裂だけでなく"同速度で"分裂するような現象が確認されていて, これを詳しく見ていくとなんと数の集合の代数的構造を複素関数の
視点から眺めることが可能になります. 自分で作っておいてなんですが非常に美しい理論なので, ぜひお聴きいただけると
幸いです.
*1:実際は実数の範囲でのみ考察していたようです。
*2:これは Modular 形式 と呼ばれる特別な場合の保型形式です。
*3: の 次元既約 進 Galois 表現 と の代数的な尖点的保型表現 の間には の構成に難しさがあって、
この部分の技術的な障害が取り除かれていません。その詳細を書くにはこの余白は狭すぎる気がしますので、この記事では一旦置いておく
ことにします。
*4:ここで候補となるのが 保型表現の 関数 ですが、表現論の話を詳しく書こうとするとどうしても長くなってしまうので、ここでは
割愛します。
*5:他にも 谷山志村予想 や Langlands 予想 などが、非可換類体論を通して考えると見通しがとてもよくなります。