宇宙際タイヒミュラー理論入門を読んでみた。 | 摂理研究所/キリスト教福音宣教会

おはようございます、satoです。

この間書いたこちらの記事がTwitterで少しだけRTされてびっくりしました(^o^)
やはり、宇宙際タイヒミュラー理論という最先端の理論を理解したい、気になる、という人が少なからずいるんだな…と。
私もその一人です。

そこで、私も少しずつ宇宙際タイヒミュラー理論がどのようなものなのかを説明している星裕一郎さんの解説論文を読みながら、そこに出てくる単語を自分なりに説明していこうと思いますﾟ( ﾟ∀ﾟ)o彡°残念ながら数論幾何は専門でないのでかなり不正確、思い込みもあるかもしれません…(´・ω:;.:…

目次非表示

遠アーベル幾何学とは
円分物

遠アーベル幾何学とは

まず、宇宙際タイヒミュラー理論につながる分野として遠アーベル幾何学があります。
これは数論幾何の一分野で、次のような哲学に基づいた理論になります。

「ある種の図形は(数論的)基本群によって決定される」

このある種の図形、というのは、「双曲的代数曲線」を含む「遠アーベル代数多様体」と言いまして、基本群が「アーベル(可換)」とは程遠い性質を持つものです。
数論的基本群というのが何かは…またいずれ…。ひとまずここで書きたいことは

「対称性を表す群から決まる図形の種類が存在する」

ということです。

この哲学を最初に考えたのはGrothendieckです。Grothendieckが挙げた12のテーマの一つで、彼が数学をしていた頃にはまだ表に上がらなかったものです。
遠アーベル幾何学についてはGrothendieck予想というものがありまして、上の哲学が「双曲的代数曲線」では成り立つということを予想しています。
これを解決したのが望月新一教授なのです。

遠アーベル幾何学の中に出てきた「群論によって性質が決まる」という考えは宇宙際タイヒミュラー理論のモデルの一つです。
望月新一教授も自身のHPにて宇宙際タイヒミュラー理論の「心」について次のように書いています。

数論幾何において本質的なのは、環やスキームのような‘具体的’な対象たちではなく、むしろそれらの具体的なスキーム論的な対象たちを統制している、様々な（‘組み合わせ論的アルゴリズム’に近い）抽象的なパターンである。

この「抽象的なパターン」が群論、あるいはモノイドと呼ばれる対象になります。

円分物

星裕一郎さんの解説論文に書かれているものの中で最初に出て来る専門的な単語が「円分物」です。
これはTate捻り $\widehat{\mathbb{Z}}(1)$ とのことです。…って、それは何でしょうか？
その次に書いてある、次の文章がとても参考になります。

(標数 $0$ の) 代数閉体 $\Omega$ に対する $\Lambda(\Omega) \overset{\text{def}}{=} \lim_{\leftarrow n}\mu_n(\Omega)$
—　ここで, $n \ge 1$ に対して, $\mu_n(\Omega) \subset\Omega$ は, $\Omega$ の中の $1$ の $n$ 乗根のなす群.

代数閉体というのを一旦複素数全体とします。(本当は $p$ 進体なのだと思いますが、わかりやすくするため)
「 $1$ の $n$ 乗根全体」というのは、方程式 $x^n-1=0$ の解全体のことです。
…と書いても難しいのですが、実はもっと分かりやすく話すことができます。端的に言えば…半径1の円に内接する正 $n$ 角形の頂点のことです。

たとえば、 $x^2-1=0$ の解は、 $x=\pm1$ です。
このときは、数直線上の $\pm1$ のところに点が打たれます。
それでは $x^3-1=0$ の解はどうなっているのか、というと、次の図のようになっています。

赤い点が解なのですが、これはちょうど0, 60, 120度のところにあります。つまり、 $(1,0)$ を一つの頂点にした「正三角形」の頂点になっています。
ちなみに、1の3乗根は $\omega$ と書かれていますが、数学ガールでは $\omega$ のワルツなんてものが出てきます。確かに3拍子で元に戻りますからね…。