J-不変量

数学では複素変数&nbsp;τ の函数であるフェリックス・クラインの ***j''-不変量''' (''j''-invariant)（もしくは***j*-函数*'）とは、複素数の上半平面上に定義された  のウェイト 0 のモジュラー函数である。-不変量として、尖点で一位の極を持つ以外は正則な関数であり、次を満たすものが一意に定まる。
:j\left(e^{\frac{2}{3}\pi i}\right) = 0, \quad j(i) = 1728

の有理函数はモジュラーであり、実際にすべてのモジュラー函数を与える。古典的には、-不変量は  上の楕円曲線のパラメータ化として研究されていたが、驚くべきことに、モンスター群の対称性との関係を持っている（この関係はモンストラス・ムーンシャインと呼ばれる）。

## 定義

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

:g_2  = 60\sum_{(m,n) \neq (0,0)} (m + n\tau)^{-4},
:g_3 = 140\sum_{(m,n) \neq (0,0)} (m + n\tau)^{-6},

と定義すると、この格子はヴァイエルシュトラスの楕円函数を通して、y2 = 4x3 − g2x - g3 で定義された **C** 上の楕円曲線に対応する。このとき、*j*-不変量は、
:j(\tau) = 1728\,\frac{g_2^3}{\Delta}
と定義される。ここに**モジュラー判別式**(modular discriminant) Δ は
:\Delta = g_2^3 - 27g_3^2
である。

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

## 基本領域

2つの変換 τ → τ + 1 と τ → -τ−1 はモジュラ群と呼ばれる群を生成し、この群は射影特殊線型群 PSL(2, **Z**) と同一視できる。この群に属する適当な変換
: \tau \mapsto \frac{a\tau + b}{c\tau +d}, \qquad ad-bc =1,
を選択することにより、τ を j の(fundamental region)内にあり *j* に対して同じ値をとる、ある値に帰着させることができる。基本領域は次の条件を満たす τ から構成されている。

:\begin{align}
        |\tau| &\ge 1 \\
  -\tfrac{1}{2} & 1
\end{align}.

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

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

## 類体論と ''j''-不変量
*j*-不変量は、多くの注目すべき性質を有する。

*τ が虚数乗法である、すなわち、虚数部が正である虚二次体の任意の元である（従って、j-不変量が定義される）ならば、*j*(τ) は代数的整数である。

* 体の拡大  はアーベル的、すなわち、ガロア群がアーベル的になる。

* Λ を {1, τ} で生成される **C** の中の格子とすると、乗法の下に Λ を固定する **Q**(τ) のすべての元が、(order)と呼ばれる環の単位元(unit)を形成することが容易にわかる。同様に、同じ整環の生成子 {1, τ′} を持つ格子は、**Q**(τ) 上で *j* (τ) の代数的共役である *j* (τ') を定義する。包含関係に従い、**Q**(τ) の唯一の最大整環は、**Q**(τ) の代数的整数の環であり、その環を持つ τ の値は、**Q**(τ) の不分岐拡大を導く。

これらの古典的な結果は、虚数乗法論の出発点となっている。

## 超越的性質
1937年、(Theodor Schneider)は、前述の τ が上半平面で二次の無理数であれば *j*(τ) は代数的数であるということを証明した。加えて、 τ が代数的数だが虚二次体の数でないならば、*j*(τ) は超越数であることをも証明した。

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

:j(\tau), \frac{j^\prime(\tau)}{\pi}, \frac{j^{\prime\prime}(\tau)}{\pi^2}.

## q-展開とムーンシャイン
*j* の注目すべき性質のいくつかは、q = exp(2πiτ) でのローラン級数として書かれるq-展開（フーリエ級数展開）に関連している。*q*-展開は、
:j(\tau) = {1 \over q} + 744 + 196884 q + 21493760 q^2 + 864299970 q^3 + 20245856256 q^4 + \cdots
で始まっている。

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

このフーリエ係数はすべて整数であり、このことがいくつかの概整数、例えば有名な(Ramanujan's constant)の理由となる。
:e^{\pi \sqrt{163}} \approx 640320^3 + 744

 の係数の(asymptotic formula)は、(Hardy–Littlewood circle method)で示すことができたように、

:\frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{3/4}},

により与えられる。

### ムーンシャイン

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

ムーンシャイン予想の研究は、ジョン・ホートン・コンウェイと(Simon P. Norton)により種数 0 のモジュラ函数を見つけることに発展した。ジョン・G・トンプソンは、
:q^{-1} + {O}(q)
という形式に正規化される種数 0 のモジュラ函数が、有限個しか存在しないことを証明した。

## 別の表現
λ を(modular lambda function)とし、x = λ(1−λ) と置くと
:j(\tau) = \frac{256(1-x)^3}{x^2} 
を得る。
: \lambda(\tau) = \frac{\theta_2^4(0,\tau)}{\theta_3^4(0,\tau)} = k^2(\tau)
は、ヤコビのテータ函数 \theta_{m} の比率であり、楕円モジュラス k(\tau) の二乗である。 λ が次の非調和比(cross-ratio)の 6つの値で入れ替わるときは、j の値は不変である。
:\left\lbrace { \lambda, \frac{1}{1-\lambda}, \frac{\lambda-1}{\lambda}, \frac{1}{\lambda}, \frac{\lambda}{\lambda-1}, 1-\lambda } \right\rbrace.

j の分岐点は {0, 1, ∞} であるので、(Belyi function)である。

## テータ函数による表現

q=e^{\pi i \tau} （ノーム）と定義し直すと、ヤコビのテータ函数
:
\vartheta(0; \tau) = \vartheta_{00}(0; \tau) = 1 + 2 \sum_{n=1}^\infty \left(e^{\pi i\tau}\right)^{n^2} = \sum_{n=-\infty}^\infty q^{n^2}
から指標付きテータ函数を導くことができる。次のように置くこととする。
:a=\theta_{2}(0; q)=\vartheta_{10}(0; \tau)
:b=\theta_{3}(0; q)=\vartheta_{00}(0; \tau)
:c=\theta_{4}(0; q)=\vartheta_{01}(0; \tau)
ここに \theta_{m} と \vartheta_{n} は記法を変えたものとした。すると、ヴァイエルシュトラス定数 g2, g3 とデデキントのエータ函数 η(τ) に対して、
:g_2(\tau) = \tfrac{2}{3}\pi^4 \left(a^8 + b^8 + c^8\right)
:g_3(\tau) = \tfrac{4}{27}\pi^6 \sqrt{\frac{(a^8+b^8+c^8)^3-54(abc)^8}{2}}
:\Delta = g_2^3-27g_3^2 = (2\pi)^{12}\eta(\tau)^{24} = (2\pi)^{12} \left(\tfrac{1}{2}a b c\right)^8
となる。このようにすると、j (τ) を早く計算できる形に書き換えることができる。
::j(\tau) = 1728\frac{g_2^3}{g_2^3-27g_3^2} = 32 {(a^8 + b^8 + c^8)^3 \over (a b c)^8}.
ただし、
:a^4 - b^4 + c^4 = 0
であることに注意する。

## 代数的定義
今までは、j を複素変数の函数として考えてきたが、楕円曲線の同型類の不変量としては、j を純粋に代数的に定義することもできる。
:y^2 + a_1 xy + a_3 y = x^3 + a_2 x^2 + a_4 x + a_6
を任意の体の上の平面楕円曲線とすると、
:b_2 = a_1^2 + 4a_2,\quad b_4 = a_1a_3 + 2a_4
:b_6 = a_3^2 + 4a_6,\quad b_8 = a_1^2a_6 - a_1a_3a_4 + a_2a_3^2 + 4a_2a_6 - a_4^2
:c_4 = b_2^2 - 24b_4,\quad c_6 = -b_2^3 + 36b_2b_4 - 216b_6
と定義することができ、
:\Delta = -b_2^2b_8 + 9b_2b_4b_6 - 8b_4^3 - 27b_6^2
と表すと、これは楕円曲線の判別式を表している。

ここで、楕円曲線の j-不変量を
:j = {c_4^3 \over \Delta}
と定義する。

楕円曲線が定義されている体の標数が 2 もしくは 3 でない場合に、この定義は
:j= 1728{c_4^3 \over c_4^3-c_6^2}
と書き直すことができる。

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

**方法 1**: (modular lambda function) λ の6次式を解く方法。
:j(\tau) = \frac{256(1-\lambda(1-\lambda))^3}{(\lambda(1-\lambda))^2}.
x = λ(1−λ) とすると 6次式は x の 3次式となる。すると、λ の 6つの値のどれに対しても、
:\tau = i \ \frac{13+\sqrt{93}}}\cdot\sqrt[3]{\tfrac{\sqrt{31}+\sqrt{27}}{\sqrt{31}-\sqrt{27}}}+\sqrt{\tfrac{13+\sqrt{93}}{13-\sqrt{93}}}\cdot\sqrt[3]{\tfrac{\sqrt{31}-\sqrt{27}}{\sqrt{31}+\sqrt{27}}}\right)\right)^2\right)^3\\
J(5i) &= \left( 1 + \tfrac{9}{4} \sqrt{5} \left( 13 + 5 \sqrt{5} \right)^2 \right)^3\\
J\left( \tfrac{5 i + 1}{2} \right) &= \left( 1 - \tfrac{9}{4} \sqrt{5} \left( 13 - 5 \sqrt{5} \right)^2 \right)^3\\
J(6i) &= \tfrac{1}{216}\left(2 + \sqrt{3}\right)^{10} \left(231 + 380\sqrt{3} + \left(204 + 158\sqrt{3} \right)\sqrt[4]{12}\right)^3\\
J(\sqrt{70}i) &= \left(1 + \tfrac{9}{4}\left(303 + 220\sqrt{2} + 139\sqrt{5} + 96\sqrt{10}\right)^2 \right)^3\\
J(\sqrt{94}i) &= \left(1 + \tfrac{9}{8192} \left(3 + 2\sqrt{2} + \sqrt{9+8\sqrt{2}}\right)^8 \left(8 + \left(-1 - \sqrt{2} + \sqrt{9+8\sqrt{2}}\right) \left(-2 + 2\sqrt{2} + \sqrt{3 + 4\sqrt{2} + 3\sqrt{9 + 8\sqrt{2}}}\right)\right)^2\right)^3\\
J(7i) &= \left( 1 + \tfrac{9}{32}\sqrt[4]{28} \left(3+\sqrt{7}\right)^3 \left(13 + 3\sqrt{7} + \left(6+\sqrt{7} \right)\sqrt[4]{28}\right)^2 \right)^3\\
J(8i) &= \left( 1 + \tfrac{9}{4} \sqrt[4]{2} \left (1 + \sqrt{2} \right) \left(123 + 104\sqrt[4]{2} + 88\sqrt{2} + 73\sqrt[4]{8}\right)^2 \right)^3\\
J(10i) &= \left(1 + \tfrac{9}{8}\left(2402 + 1607\sqrt[4]{5} + 1074\sqrt[4]{25} + 719\sqrt[4]{125}\right)^2 \right)^3\\
J\left( \tfrac{5 i}{2} \right) &= \left(1 + \tfrac{9}{8}\left(2402 - 1607\sqrt[4]{5} + 1074\sqrt[4]{25} - 719\sqrt[4]{125}\right)^2 \right)^3\\
J(\sqrt{130}i) &= \left(1 + \tfrac{9}{4}\left(7392 + 3289\sqrt{5} + 2040\sqrt{13} + 917\sqrt{65}\right)^2 \right)^3\\
J(\sqrt{190}i) &= \left(1 + 18 \left(31570 + 22323\sqrt{2} + 14139\sqrt{5} + 9998\sqrt{10}\right)^2 \right)^3\\
J(2\sqrt{58}i) &= \left(1+\tfrac{9}{256}\left(1+\sqrt{2}\right)^5\left(5+\sqrt{29}\right)^5\left(793+907\sqrt{2}+237\sqrt{29}+103\sqrt{58}\right)^2\right)^3\\
J\left( \tfrac{1 + \sqrt{1435}i}{2} \right) &= \left( 1 - 9 \left ( 9892538 + 4424079\sqrt{5} + 1544955\sqrt{41} + 690925\sqrt{205} \right )^2 \right)^3\\
J\left( \tfrac{1 + \sqrt{1555}i}{2} \right) &= \left( 1 - 9 \left ( 22297077 + 9971556\sqrt{5} + \left ( 3571365 + 1597163\sqrt{5} \right ) \sqrt{\tfrac{31 + 21\sqrt{5}}{2}} \right)^2 \right)^3\\
\end{align}

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

:\begin{align}
J \left( \tfrac{5 i + 2}{4} \right) &= \left( 1 - \tfrac{9 \left( 1 + \sqrt{5} \right)^{38}}{2^{41} \sqrt{2}} \Bigl( 7485 - 762 \sqrt{2} + 1479 \sqrt{5} - 3072 \sqrt{10} - \sqrt[4]{5} \left( 178 - 2221 \sqrt{2} + 3148 \sqrt{5} - 1289 \sqrt{10} \right) \Bigr)^2 \right)^3\\
J \left( \tfrac{10 i + 1}{2} \right) &= \left( 1 - \tfrac{9 \left( 1 + \sqrt{5} \right)^{38}}{2^{41} \sqrt{2}} \Bigl( 7485 - 762 \sqrt{2} + 1479 \sqrt{5} - 3072 \sqrt{10} + \sqrt[4]{5} \left( 178 - 2221 \sqrt{2} + 3148 \sqrt{5} - 1289 \sqrt{10} \right) \Bigr)^2 \right)^3\\
J \left( \tfrac{5 i}{4} \right) &= \left( 1 + \tfrac{9 \left( 1 + \sqrt{5} \right)^{38}}{2^{41} \sqrt{2}} \Bigl( 7485 + 762 \sqrt{2} + 1479 \sqrt{5} + 3072 \sqrt{10} - \sqrt[4]{5} \left( 178 + 2221 \sqrt{2} + 3148 \sqrt{5} + 1289 \sqrt{10} \right) \Big)^2 \right)^3\\
J(20 i) &= \left( 1 + \tfrac{9 \left( 1 + \sqrt{5} \right)^{38}}{2^{41} \sqrt{2}} \Bigl( 7485 + 762 \sqrt{2} + 1479 \sqrt{5} + 3072 \sqrt{10} + \sqrt[4]{5} \left( 178 + 2221 \sqrt{2} + 3148 \sqrt{5} + 1289 \sqrt{10} \right) \Bigr)^2 \right)^3
\end{align}

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

:\begin{align}
J \left( \tfrac{5 i \pm 1}{4} \right) &= \left(1 - \tfrac{9}{8}\left((2402 - 1074\sqrt{5}) i \pm (1607 - 719\sqrt{5}) \sqrt[4]{5} \right)^2 \right)^3
\end{align}

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

:\begin{align}
J \left( \tfrac{4 \left( 5 i \pm 1 \right)}{13} \right) = \left(1 - \tfrac{9 \left( 1 - \sqrt{5} \right)^{38}}{2^{41} \sqrt{2}} \Bigl( 7485 - 762 \sqrt{2} - 1479 \sqrt{5} + 3072 \sqrt{10} \pm i \sqrt[4]{5} \left( 178 - 2221 \sqrt{2} - 3148 \sqrt{5} + 1289 \sqrt{10} \right) \Bigr)^2 \right)^3\\
J \left( \tfrac{5 \left( 4 i \pm 1 \right)}{17} \right) = \left(1 + \tfrac{9 \left( 1 - \sqrt{5} \right)^{38}}{2^{41} \sqrt{2}} \Bigl( 7485 + 762 \sqrt{2} - 1479 \sqrt{5} - 3072 \sqrt{10} \pm i \sqrt[4]{5} \left( 178 + 2221 \sqrt{2} - 3148 \sqrt{5} - 1289 \sqrt{10} \right) \Bigr)^2 \right)^3
\end{align}

## 参考文献

*. Provides a very readable introduction and various interesting identities.
**
*. Provides a variety of interesting algebraic identities, including the inverse as a hypergeometric series.
* Introduces the j-invariant and discusses the related class field theory.
*. Includes a list of the 175 genus-zero modular functions.
*. Provides a short review in the context of modular forms.
*.