前回の記事では、モジュラー曲線 と楕円曲線の同型類全体が全単射であることを示しました。すなわち、 は楕円曲線の(同型類の)モジュライ空間になっているということでした。
tsujimotter.hatenablog.com
今回はレベル構造が入ったモジュラー曲線 を考えたいと思います。このモジュラー曲線は一体何のモジュライ空間なのかというのが今回の主題です。
実は、上の話の類似で、 はレベル構造が付いた楕円曲線のモジュライ空間になっています。今日はそれを示すのを目的とします。
前提知識等
今回の記事はモジュラー曲線シリーズの記事の内容を前提としています。
tsujimotter.hatenablog.com
シリーズ記事をまだ読んでいない方は、一通り参照してから本記事を読まれることを推奨します。
特に、前回の記事「モジュラー曲線(3):複素トーラスとしての楕円曲線」は関連度が高く、命題をいくつか引用します。
目次
0. モジュラー曲線
合同部分群について復習しましょう。
モジュラー群 には、正の整数 に対して 合同部分群 と呼ばれる部分群
が存在しました。
今回は、合同部分群の中でも、特に の定義を思い出しましょう。
つまり
という形の行列全体を考えるということです。
「何でこんな条件なの?」と思うかもしれませんが、この理由は最後の方でわかります。
も と同様に上半平面 に作用します。そこで、 の作用で割った空間
を考えます。この を に関する モジュラー曲線 と言います。
と表します。これも に関するモジュラー曲線といいます。
と の違いは、コンパクトかどうかです。 の元をカスプといいますが、カスプが付け加えられることで、 はコンパクトな空間になります。
なお、モジュライ空間を考えるときにはカスプは不要なので、 は今回は扱いません。
さて、 の連結な代表元を集めた図形を の基本領域といいます。基本領域は、 の形を表していると言えますが、一体どんな図形になっているのでしょうか。
モジュラー群 の基本領域 は次のようなものでした。
の剰余類の代表元の集合 を考えます。これは
を満たします。代表元の選び方を工夫すれば に を作用させてできる図形
を連結にとることができます。これが の基本領域となります。
それでは、 の基本領域 を図示してみましょう。
しかしながら、実はこれが難しい。まず剰余類の個数は
となります。たとえば、 のときは 個になります。多いのです。
しかも 個を選んだとして、それによって写された領域が連結になるとは限りません。したがって、連結になるように120個のパズルのピースを組み立てる必要があります。
のときはネットを探して正解の図形を見つけたので、それを見ながら代表元を探すことができましたが、今回は正解も見つかりません。
そんなわけで、この問題は実は2年ぐらい前からずっと悩んでいまして、半ば諦めていたのですが・・・。
つい先日、方法を見つけました。
参考:
sagemath - Drawing fundamental domains with sage - Mathematics Stack Exchange
sagemathというソフトで、合同部分群に関する基本領域を描画する機能があるというのです。sagemathすごい!
仕様はこちらに書いてありました:
Farey Symbol for arithmetic subgroups of \({\rm PSL}_2(\ZZ)\) — Sage 9.5 Reference Manual: Arithmetic Subgroups of ${\rm SL}_2({\bf Z})$
それでは、以下のコマンドを実行してみましょう。
G = Gamma1(11); G FareySymbol(G).fundamental_domain(ymax = 1.2)
なんと、一発で の基本領域が描画されます。
おお、こんな形をしていたのですね!!
少しだけ、図形の見方を説明します。 の基本領域として以下のような図形を紹介しましたが、実際はこのような基本領域の選び方には任意性があります。
上の図形を縦に半分に切って、片側を の変換によって次のように写した図形も の基本領域となります。
この図形を とし、 に対して適切な の代表元を作用させてできた図形が、sagemathの計算した の基本領域というわけです。
以上でモジュラー曲線 の導入は終わりですが、今回の主題は
ということです。
に関する基本領域と に関する基本領域を比べてみると、明らかに後者の方が大きくなっていました。
ちょうどコセットの個数 倍の大きさになっています。したがって、前回やったように、試しに楕円曲線の同型類をそのまま割り当ててしまうと、1つの楕円曲線の同型類に対して、複数の点(具体的には 個の点)が重複して対応してしまいます。
ぴったり の点と対応させるためには、楕円曲線の同型類では、少々おおざっぱすぎることがわかります。そこで、同型の取り方をもう少し細かくしよう という発想が出てきます。それが、レベル構造付き楕円曲線 のアイデアです。
1. レベル構造付き楕円曲線
任意の 上の楕円曲線 は、格子 が存在して と表せるので、今回も楕円曲線といったら を指すものとしましょう。
また、前回に引き続き以下の記法を用います。
- 格子の基底が であることを明示するときは、 と表現。
- 格子の基底が であることを明示するときは、 と表現。
楕円曲線 には正の整数 に対して自分自身への同種写像である「 倍写像」があります。 の点 に対して
を満たす最小の を の位数といいます。ここで位数がちょうど である点を考えます。
たとえば、 のときは、次の点が位数 の点です。
たとえば、 のときは、次の点が位数 の点です。
楕円曲線を とし、その位数 の点のうち1点を選んで とします。この と の組
を レベル構造付き楕円曲線 と呼びます。
のような台となる集合や群に、 のような構造を加えたものを考えることがあります。これを付加構造といいます。
たとえば、位相空間を思い浮かべると、良い例になっていると思います。位相空間 は台となる集合 があり、それに開集合系 という付加構造を考えますね。
この手の例は、ほかにもいくつかあげることができます。
- アフィンスキーム :環のスペクトル に層 を付加構造として加えたもの
- 基点付き位相空間 :位相空間 に基点 を付加構造として加えたもの
大事なことは、付加構造込みで一つの対象だと思うという点です。楕円曲線に付加構造として位数 の点を入れたものは、たとえ楕円曲線として同型であっても、付加構造の点が異なれば別のものとみなされるというわけです。
2. レベル構造付き楕円曲線の同型射
次に、レベル構造付き楕円曲線における同型射を定義しましょう。
以下、レベルを に固定します。2つのレベル構造付き楕円曲線 を考えます。
ここで楕円曲線の間の同型射
があるとします。 これは単なる楕円曲線としての同型射です(定義は前回の記事参照)。
写像 によって が に写されるとき、すなわち
が成り立つとき、 はレベル構造付き楕円曲線としての( 上の) 同型射 であるといいます。
と の間に同型射が存在するとき、 と はレベル構造付き楕円曲線として( 上)同型 であるといい
と表します。
単なる楕円曲線のときより、同型射の条件が厳しくなっていることがわかるでしょうか。
楕円曲線として同型射であったとしても、 でなければ、レベル構造付き楕円曲線としては同型でないということです。
たとえば、2つのレベル付き楕円曲線 を図のようにとりましょう。
これらは同型写像 を通して、楕円曲線としては同型となります(格子点がぴったり一致するように写せます)。しかしながら、 となり、レベル構造付き楕円曲線としては同型ではありません。
同型が定義できたので、レベル構造付き楕円曲線 の同型類を次のように定義します。
このレベル構造付き楕円曲線の同型類全体を集めたものを とします。
を定義したことにより、0章で述べた「同型の取り方をもう少し細かくしよう」という話が説明できます。
上で図示して説明した例は、楕円曲線としては同型であるので「楕円曲線としては」同じ同型類に属します。一方で、 であるので「レベル構造付き楕円曲線としては」同型ではないのです。
付加構造を考えることで、楕円曲線全体の空間を「より細かく分類する方法」を我々は手に入れました。レベル構造付き楕円曲線の同型類全体 を考えると、単なる楕円曲線の同型類全体 よりは同型類の個数が多くなります。
以降では、こうして得られたより細かな分類 が、ちょうどぴったり と全単射を持つという話をしたいと思います。
3. 上半平面とレベル構造付き楕円曲線
ここでは、上半平面 上の点に対してレベル構造付き楕円曲線を対応させる方法について述べたいと思います。
前回、 に対して、楕円曲線 を対応させるルールを与えました。これをそのまま使います。
あとは、 の位数 の点のうち、どれを対応させるかを決める必要があります。ここでは、 を選びます(下図)。
このようにして選んだ こそが、上半平面 の点 に対応するレベル構造付き楕円曲線です。
実はこの対応関係について私はものすごく「もやっと」していたのです。
今回対応させた点は、 という形のものだけです。つまり、位数 の点の中で、特に「左下の隅にある特定の点」しか選んでいないわけです。
一方で、レベル構造付き楕円曲線全体を考えると、楕円曲線とその位数 の点の すべての組み合わせ を考えているはずです。
これじゃあ全然足りないじゃないか。実は、 に対応しないレベル構造付き楕円曲線とかあるんじゃないか?
そんなことを考えながら、しばらく悶々としていました。ところが、実はそうではないということがわかりました。それを主張するのが次の命題です。
が成り立つ.すなわち
が成り立つ.
これは、前回の「複素トーラスとしての楕円曲線」の記事の命題4に対応する命題です。
つまり、任意のレベル構造付き楕円曲線をとってきたとして、それに対応する の点があるといっているわけですね。つまり
という形のものだけを考えれば、同型類としては十分であった、というわけです。これは私にとってはとても意外なことで、正直驚きました。
証明は結構込み入っているのですが、ポイントとなるのは次の2点だと思います。
一つは、楕円曲線 における「任意の位数 の点 」は、 なる整数 を用いて
とかけるということです。
の条件は、 の位数が「ちょうど 」であることから従います。もし、 なる が存在すれば
となってしまいます。つまり、 は位数 の点であったということです(それはおかしい)。 の条件はこの対偶です。
二つめのポイントは、全射
の存在です。行列の各成分について をとる写像は全射になるということです。これは明らかですね。
全射性より、 の元 があると、 して になる の行列 が存在することが言えます。
また、前回最後に示した「補題6」も使うことになりますので、再掲しておきましょう。
- (i)
- (ii) が存在して,次が成り立つ:
それでは、ポイントを押さえたところで命題1の証明に行きたいと思います。少々長いのですが、頑張ってついてきてください。
任意のレベル構造付き楕円曲線の同型類 をとります。
このとき、「前回の命題4」より はある が存在して、楕円曲線としての同型写像
があります。また、 によって と対応する点 を、 として次のように表すことができます。
これによってレベル構造付き楕円曲線の同型射
が一つ得られました。
また、このとき点 の位数はちょうど なので、 が言えます。よって、ユークリッドの互除法により
なる が存在します。
上で得られた を用いて行列
を考えます。( は の元とは限らないことに注意!)
より、上記の行列 の各成分を して得られる行列 は、 の行列になります。
ここで、 を することは に対して影響を与えないことに注意します。
また、上で議論したように、 に対して をとる写像は全射です。したがって、この全射で に対応する の元 がとれます。
以上の議論により我々は
であって
を満たす行列を手に入れました。
ここで とし、 とします。このとき
となります。すると
となりますが、「前回の補題6の(ii)(i)」を用いると
となります。よって
です。したがって、楕円曲線としての同型写像
が得られます。
また、写像 によって
を満たします。
すなわち、レベル構造付き楕円曲線としての同型射
が得られました。
で得られた2つの同型射 の合成
により、任意のレベル構造付き楕円曲線 に対して、 が存在して に同型な が得られました。
証明の手順を辿れば、任意の と同型な を具体的に計算することもできるでしょう。
せっかくなので「補足1:同型なレベル構造付き楕円曲線の作り方」で計算してみたいと思います。
4. レベル構造付き楕円曲線のモジュライ空間
最後に、 と の間にちょうどぴったり全単射がある ことを示しましょう。
そのために、以下の命題を証明します。
- (i)
- (ii) が存在して
この命題は「複素トーラスとしての楕円曲線」の記事の命題5に対応しています。 以下のように置き換えたものになっています。
- 前回命題5「楕円曲線の同型」を「レベル構造付き楕円曲線の同型」に
- 前回命題5「」を「」に
それでは証明に入りましょう。
(i)(ii) を示す:
に対して
が成り立つと仮定します。
このとき、楕円曲線としての同型 より、ある が存在して
が成り立ちます(「前回の命題3」より)。また、レベル構造付き楕円曲線の同型射の条件より
も成り立ちます。
と 「前回の補題6」の(i)(ii)より
であるから、特に が言えます。したがって、 より
が言えるので、 がわかります。よって、 であることがわかります。
かつ より
であり、 として、 を満たす が存在することが言えました。
(ii)(i) を示す:
が存在して が を満たすと仮定します。
また、 とします。このとき より
が言えます。このことから 「前回の補題6」の(ii)(i)より
であり、つまり
が言えます。
また、 を 倍することによって
も言えます。
しかしここで、 の定義より なので、 は
となります。
より、同型射
が存在することが言えました。
が に化けることで、同型射として 倍写像が具体的に構成できるということでした。
これを通して の元に課された という謎の条件は
となるための必要十分条件だったことがわかります!
これで、 が、レベル付き楕円曲線の同型写像と対応する理由がはっきりしました。うまいことできていますね!
ここまでくればあとは簡単です。命題2を使って目的の命題を示すことができます。
この命題は「前回の命題7」に対応するものです。今回示した命題2と命題3があれば、簡単に示すことができます。
の well-defined 性を示す:
が
言えればよいが、これは命題3の (ii) (i) より言える。
の単射性を示す:
が
言えればよいが、これは命題3の (i) (ii) より言える。
の全射性を示す:
任意のレベル構造付き楕円曲線の同型類 に対して、 なる が存在することが言えればよいが、これは命題2より言える。
5. おわりに
今回は、レベル構造付き楕円曲線について解説しました。楕円曲線に、 等分点という構造を加えて同型写像を考えることで、単なる楕円曲線としての同型類より細かい分類を作ることができるのでした。
このアイデアにより、モジュラー曲線 とレベル構造付き楕円曲線の同型類 の間に全単射が得られました。
モジュラー曲線 は、レベル構造付き楕円曲線のモジュライ空間だったということですね。
モジュラー曲線シリーズの記事は、当初は第3回で終わりの予定でしたが、もう少し書きたいことが残っています。今のところの予定では、あと2、3回程度は続くはずなので、よろしければ引き続きご覧になってください。
それでは、今日はこの辺で。
補足1:同型なレベル構造付き楕円曲線の作り方
簡単ですが、ノートでまとめてみたものを写真に撮りました。
時間があるときに、まとめ直したいと思います、
補足2: のモジュライ解釈
今回示したように、モジュラー曲線 は 等分点 を加えたレベル構造付き楕円曲線 のモジュライ空間となるのでした。
ところで、モジュラー曲線 に対しては、モジュライ空間として解釈できるのでしょうか。
実は、先ほどとは異なるタイプのレベル構造付き楕円曲線に対するモジュライ空間になることが示せます。楕円曲線の位数 の点 をとります。これは位数 なので、 が生成する巡回群 が存在します。この を構造として加えた、レベル構造付き楕円曲線 を考えます。このようなレベル構造付き楕円曲線の同型射も同様に考えることができ、同型類全体を とすると、全単射
が得られます。
今回の記事と全く同じ流れで証明できますので、興味を持った方は演習問題としてぜひ考えてみてください。
参考文献
を計算したいと思ったきっかけは、次の本の6章の三枝先生の記事を読んだことでした。
とてもわかりやすく良い解説だったのですが、一部( の全射性など)証明がわからないところがありました。
そこで見つけたのが次の本です。
今回の記事は、基本的にはこちらの本の記法に揃えて書いています。