J-不変量

数学では複素変数   τ の函数であるフェリックス・クラインの //-不変量 とは、複素数の上半平面上に定義された SL}} のウェイト 0 のモジュラー函数である。j}}-不変量として、尖点で一位の極を持つ以外は正則な関数であり、次を満たすものが一意に定まる。j}}の有理函数はモジュラーであり、実際にすべてのモジュラー函数を与える。古典的には、j}}-不変量は C}} 上の楕円曲線のパラメータ化として研究されていたが、驚くべきことに、モンスター群の対称性との関係を持っている。

1. 定義
-----

//j//-不変量はある無限和で純粋に定義することができるが、これらは楕円曲線の同型類を考えることが動機となる。C 上のすべての楕円曲線 //E// は複素トーラスであるので、ランク 2 の格子、つまり C の 2 次元格子と同一視できる。格子の互いに平行な反対側の辺を同一視することで、そのようにみなすことができる。複素数を格子に掛けることは格子の回転やスケーリングに対応し、これらは楕円曲線の同型類を保存することがわかり、このことから、格子を 1 と上半平面 H のある元 τ によって生成されると考えてよい。逆に、

と定義すると、この格子はヴァイエルシュトラスの楕円函数を通して、y2 = 4x3 − g2x - g3 で定義された C 上の楕円曲線に対応する。このとき、//j//-不変量は、

と定義される。ここにモジュラー判別式 Δ は

である。

Δ はウェイト 12 のモジュラー形式であることと、//g//2 はウェイト 4 のモジュラー形式であるのでその3乗はウェイト 12 であることを示すことができる。したがって、 //j// がこれらの商であることから //j// はウェイト 0 のモジュラ函数であり、特に、SL の作用の下に不変な有理型函数 H → C である。以下に説明するように //j// は全射であり、このことは C 上の楕円曲線の同型類と複素数の間の全単射を与えることを意味する。

2. 基本領域
-------

2つの変換 τ → τ + 1 と τ → -τ−1 はモジュラ群と呼ばれる群を生成し、この群は射影特殊線型群 PSL と同一視できる。この群に属する適当な変換

を選択することにより、τ を j の基本領域内にあり //j// に対して同じ値をとる、ある値に帰着させることができる。基本領域は次の条件を満たす τ から構成されている。

函数 //j//  をこの領域へ制限すると、複素数 C のすべての値をちょうど一度だけ取る。言い換えると、C すべての元 //c// に対し、//c// = //j// となる基本領域の元 τ が一意に存在する。このように、//j// は基本領域を全複素平面へ写像するという性質を持っている。

リーマン面として、基本領域の種数は 0 であり、すべてのモジュラー函数は //j// の有理函数であり、逆に、//j// のすべての有理函数はモジュラー函数である。言い換えると、モジュラー函数全体のなす体は C である。

3. 類体論と //j//-不変量
-----------------

//j//-不変量は、多くの注目すべき性質を有する。

τ が虚数乗法である、すなわち、虚数部が正である虚二次体の任意の元であるならば、//j// は代数的整数である。
体の拡大 Q[j , τ]/Q}} はアーベル的、すなわち、ガロア群がアーベル的になる。
Λ を {1, τ} で生成される C の中の格子とすると、乗法の下に Λ を固定する Q のすべての元が、整環と呼ばれる環の単位元を形成することが容易にわかる。同様に、同じ整環の生成子 {1, τ′} を持つ格子は、Q 上で //j//  の代数的共役である //j//  を定義する。包含関係に従い、Q の唯一の最大整環は、Q の代数的整数の環であり、その環を持つ τ の値は、Q の不分岐拡大を導く。これらの古典的な結果は、虚数乗法論の出発点となっている。

4. 超越的性質
--------

1937年、テオドール・シュナイダーは、前述の τ が上半平面で二次の無理数であれば //j// は代数的数であるということを証明した。加えて、 τ が代数的数だが虚二次体の数でないならば、//j// は超越数であることをも証明した。

//j//-函数は数多くの超越的性質を持つ。クルト・マーラーはマーラー予想とも呼ばれる特別な超越性を予想し、1990年代にユーリ・ネステレンコとパトリス・フィリポンの結果の系として証明された。マーラー予想とは、τ が上半平面にあればexp と //j// は双方が同時に代数的にはならないであろうという予想である。現在はより強い結果が知られていて、例えば、exp が代数的であれば次の 3つの数は代数的に独立で、超越数になる。

5. q-展開とムーンシャイン
---------------

//j// の注目すべき性質のいくつかは、q = exp でのローラン級数として書かれるq-展開に関連している。//q//-展開は、

で始まっている。

なお、 j は尖点で一位の単純極を持つので、q-展開には q−1 以下の項がない。

このフーリエ係数はすべて整数であり、このことがいくつかの概整数、例えば有名なラマヌジャン定数の理由となる。

qn}} の係数の漸近公式は、ハーディ・リトルウッドの円周法で示すことができたように、

,により与えられる。

5.1. ムーンシャイン
------------

さらに注目すべきは、q の正のべき乗の項のフーリエ係数がモンスター頂点代数と呼ばれるモンスター群の無限次元次数付き代数表現の次数部の次元であることである。特に、qn の係数は、ムーシャイン加群の次数 n の次元となっている。第一の例はグライス代数であり、この代数は次元 196,884 で、項196884q に対応している。この驚くべき観察がムーンシャイン理論の出発点であった。

ムーンシャイン予想の研究は、ジョン・ホートン・コンウェイとシモン・ノートンにより種数 0 のモジュラ函数を見つけることに発展した。ジョン・G・トンプソンは、

という形式に正規化される種数 0 のモジュラ函数が、有限個しか存在しないことを証明した。

6. 別の表現
-------

λ をモジュララムダ函数とし、x = λ と置くと

を得る。

は、ヤコビのテータ函数 の比率であり、楕円モジュラス の二乗である。 λ が次の非調和比の 6つの値で入れ替わるときは、j の値は不変である。

j の分岐点は {0, 1, ∞} であるので、ベリイ函数である。

7. テータ函数による表現
-------------

と定義し直すと、ヤコビのテータ函数

から指標付きテータ函数を導くことができる。次のように置くこととする。

ここに と は記法を変えたものとした。すると、ヴァイエルシュトラス定数 g2, g3 とデデキントのエータ函数 η に対して、

となる。このようにすると、j  を早く計算できる形に書き換えることができる。

ただし、

であることに注意する。

8. 代数的定義
--------

今までは、j を複素変数の函数として考えてきたが、楕円曲線の同型類の不変量としては、j を純粋に代数的に定義することもできる。

を任意の体の上の平面楕円曲線とすると、

と定義することができ、

と表すと、これは楕円曲線の判別式を表している。

ここで、楕円曲線の j-不変量を

と定義する。

楕円曲線が定義されている体の標数が 2 もしくは 3 でない場合に、この定義は

と書き直すことができる。

9. 逆函数
------

j-不変量の逆函数は、超幾何函数 2F1 で表すこともできる。与えられた数値 N に対して 式 j = N を τ について解くためには、少なくとも 4つの方法が知られている。

方法 1: モジュララムダ函数 λ の6次式を解く方法。

x = λ とすると 6次式は x の 3次式となる。すると、λ の 6つの値のどれに対しても、

となる。

方法 2: γ の 4次式を解く方法。

任意の 4つの根に対して、

となる。

方法 3: β の 3次式を解く方法。

すると、任意の 3つの根に対し、

となる。

方法 4: α の 2次式を解く方法。

すると、

となる。

2つの根は τ と -1/τ であるが、j  = j  であるために、どの α を選んでも差異はない。後半 3つの方法は、ラマヌジャンの交代基底についての楕円函数論で発見された。

逆函数は、これらの根の比率が有界でないにもかかわらず、楕円函数の周期の高精度な計算を通して、うまく適用することが可能である。また、関連する帰結として、2 のべきの大きさをもつ虚数軸上の点で j の値が二次の根となることを通して表すことができる。レベルが 2 のモジュラ函数は 3次式であるので、この結果は自明ではない。

10. π公式
-------

チュダノフスキーのアルゴリズムは、1987年に、

を発見し、 という事実を示すことに使用した。同様な公式は、ラマヌジャン・佐藤級数を参照。

11. ボーチャーズの積公式
--------------

次はリチャード・ボーチャーズによって発見された。

である．

12. 特殊値
-------

j-不変量は、基本領域の「角」

では 0 となる。

以下に、いくつかの特殊値を示す1=。

2014年にはいくつかの特殊値が計算された。

これ以前に示したすべての値は実数である。複素共役のペアは、 と に対し、参考文献のように値に沿って、上記のように対称的になっていると推察される。

4つの特殊値は、2つの複素共役のペアにより与えられる。

13. 参考文献
--------

first=Tom M.. Provides a very readable introduction and various interesting identities.
doi=10.4153/CMB-1999-050-1. Provides a variety of interesting algebraic identities, including the inverse as a hypergeometric series.
first=David A. Introduces the j-invariant and discusses the related class field theory.
first1=John Horton. Includes a list of the 175 genus-zero modular functions.
first=Robert A.. Provides a short review in the context of modular forms.
first=Theodor.