File failed to load: https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/extensions/TeX/mathtools.js

2018-10-07

グラスマン多様体上の超幾何関数3: ガウスの超幾何関数への還元

前回のエントリー「グラスマン多様体上の超幾何関数2: Gr(2,n) の場合」の続きで、このシリーズの最終回です。今回は Gr(2,4) 上の超幾何関数が通常のガウス超幾何関数になることを丁寧に復習します。とくに青本流の手法による超幾何関数の積分表示から、超幾何関数の満たす1階のFuchs型微分方程式を系統的に導出しました。これらの1階微分方程式はすべて通常の2階のガウス超幾何微分方程式に変形できます。このような1階微分方程式の一部はすでに文献で知られていましたが、今回は新しい結果も含めてツイスト・コホモロジー、ホモロジーを用いて系統的に求められることを示しました。これらの1階微分方程式には \cp^1 上の正則関数がもつ広域共形対称性である SL(2, \C)対称性が自然に現れることが見て取れますが、実際の算出においてはツイスト・コホモロジーの同値性(あるいはアーベル型ゲージ不変性)を考慮する必要があり、これらの微分方程式を具体的に求めるのは自明ではありません。詳しくは下記の 3.4, 3.5 節を参照してください。今回のエントリーでは式が大量(合計80個)でてくるので読み進めるのは大変かもしれませんが、話の流れは上記の通りなので結果だけ知りたい人は細部にこだわらずに読み進めてください。なお、引用される式番号 (1-xx) は一つ目のエントリー、(2-xx) は二つ目のエントリーにでてくる式番号に対応しているので、気になる人はそちらのページも参照してください。それでは、どうぞ!


3. ガウスの超幾何関数への還元


3.1 基本事項


まずガウスの超幾何関数の基本的な事柄を復習しよう。級数展開での定義は
    F (a, b, c; z) \, = \, \sum_{n= 1}^{\infty}     \frac{ (a)_n (b)_n }{ (c)_n \, n! } z^n     \tag{3-1}
と書ける。ただし、|z| < 1, c \not \in \Z_{\le 0},
    (a)_{n} =     \left\{       \begin{array}{ll}         1 & ~~ (n=1) \\         a(a+1)(a+2) \cdots (a+n-1) & ~~(n \ge 1) \\       \end{array}     \right.     \tag{3-2}
である。F (a, b, c; z) は超幾何微分方程式
    \left[     \frac{d^2}{dz^2} + \left( \frac{c}{z} + \frac{a+b+1 - c}{z-1} \right) \frac{d}{d z}     + \frac{ab}{z (z-1) }     \right] F ( a, b,c; z)  \, = \, 0     \tag{3-3}
を満たす。F ( a, b,c; z) に対するオイラーの積分公式は
    F ( a, b,c; z) \, = \, \frac{\Ga ( c) }{\Ga( a ) \Ga (c - a)}     \, \int_{0}^{1} t^{a-1} (1 -t )^{c-a-1} (1 - z t )^{-b} \, dt     \tag{3-4}
と表せる。ただし、| z | < 1 , 0 < \Re(a) < \Re(c ) である。(この条件は積分 (3-4) によく知られているポッホハマーの経路を使えば、a \not \in \Z, c-a \not \in \Z と緩めることができる。)\Ga (a) はガンマ関数
    \Gamma (a ) \, = \, \int_{0}^{\infty} e^{-t} t^{a -1} dt     ~~~~~ ( \Re (a) > 0 )     \tag{3-5}
を表す。2階の微分方程式 (3-3) は z = 0, 1, \infty に確定特異点を持つ。各特異点のまわりに2つの独立な解があり、それらは
\begin{eqnarray}     z = 0 ~: && \left\{     \begin{array}{l}       f_1 (z) \, = \, F(a,b,c; z) \\       f_2 (z) \, = \, z^{1-c} F( a-c+1, b-c+1, 2-c;z)     \end{array}     \right.     \tag{3-6} \\     z = 1  ~: && \left\{     \begin{array}{l}       f_3 (z) \, = \, F(a,b,a+b-c+1; 1-z) \\       f_4 (z) \, = \, (1-z)^{c-a-b} F( c-a, c-a, c-a-b+1;1-z)     \end{array}     \right.     \tag{3-7} \\     z = \infty ~: &&  \left\{     \begin{array}{l}       f_5 (z) \, = \, z^{-a} F(a,a-c+1,a-b+1; 1/z) \\       f_6 (z) \, = \, z^{-b} F(b-c+1, b,b-a+1;1z)     \end{array}     \right.     \tag{3-8} \end{eqnarray}
と表せる。ただし、z= 0, z = 1, z = \infty の特異点においてそれぞれ、c \not \in \Z, a+b-c \not \in \Z , a-b \not \in \Z を仮定した。


3.2 ガウスの超幾何関数への還元1: 定義式から


積分表示 (3-4) から関連する 2 \times 4 行列は
    Z =     \left(       \begin{array}{cccc}         1 & 0 & 1 & 1  \\         0 & 1 & -1 & -z  \\       \end{array}     \right)     \tag{3-9}
という形で書けることが分かる。従って、(1-2)-(1-4) の関係式は次のように書き下せる:
\begin{eqnarray}     ( \d_{00} + \d_{02} + \d_{03} ) F &=& -F     \tag{3-10} \\     ( \d_{11} - \d_{12} + z \d_z ) F &=& -F     \tag{3-11} \\     ( \d_{10} + \d_{12} - \d_{z} ) F &=& 0     \tag{3-12} \\     ( \d_{01} + \d_{02} - \d_{03} ) F &=& 0     \tag{3-13} \\     \d_{00} F &=& \al_0 F     \tag{3-14} \\     \d_{11} F &=& \al_1 F     \tag{3-15} \\     ( \d_{02} - \d_{12} ) F &=& \al_2 F     \tag{3-16} \\     ( \d_{03} + z \d_{z} ) F &=& \al_3 F     \tag{3-17} \\     -  \d_{z} \d_{02} F &= & \d_{12} \d_{03} F     \tag{3-18} \end{eqnarray}
ただし、\d_{ij} = \frac{\d}{\d z_{ij}}, \d_{13} = - \frac{\d}{\d z} = - \d_z である。最後の式(3-18) は (2-4) から得られるが、ここでは非自明なもので \d_z に関するものを書き出した。(3-10) と (3-11) の和は (3-14) から (3-17) の和と等しいので、\al_0 + \cdots + \al_3 = -2 が簡単にわかる。よって、(2-5) が確認できる。これらより2階の方程式 (3-18) は
    - \d_z ( \al_1 + \al_2 + 1 + z \d_z  ) F \, = \,     ( \al_1 + 1 + z \d_z ) ( \al_3 - z \d_z ) F     \tag{3-19}
と書ける。これを変形すると
    \left[     z (1-z) \d^{2}_{z} + \left( c - (a+ b+1) z \right) \d_z -ab     \right] F \, = \, 0     \tag{3-20}
となる。ただし、
\begin{eqnarray}     a &=& \al_1 + 1     \nonumber \\     b &=& - \al_3     \tag{2-21} \\     c &=& \al_1 + \al_2 + 2     \nonumber \end{eqnarray}
である。(3-20) が超幾何微分方程式 (3-3) と同じであることは容易に確認できる。

(2-1) で見たように n > 3 の場合は複数の複素変数が存在する。これらの場合についても原理的には定義式 (2-2)-(2-4) を書き下すことができるが、残念ながら n=3 の場合ほどうまくはいかない。


3.3 ガウスの超幾何関数への還元2: ツイスト・コホモロジーを用いて


超幾何方程式 (3-3) は2階の微分方程式である。f_1 = F, f_2 =  \frac{z}{b} \frac{d}{dz} F とおくと (3-3) は1階のFuchs型微分方程式の形に表せる [1]:
    \frac{d}{d z}     \left(       \begin{array}{c}         f_1 \\         f_2 \\       \end{array}     \right)     =     \left(     \frac{A_0}{z} + \frac{A_1}{z-1}     \right)      \left(       \begin{array}{c}         f_1 \\         f_2 \\       \end{array}     \right)     \tag{3-22}
ただし、
    A_0 =     \left(       \begin{array}{cc}         0 & b \\         0 & 1-c \\       \end{array}     \right),     ~~     A_1 =     \left(       \begin{array}{cc}         0 & 0 \\         -a & c-a-b-1 \\       \end{array}     \right)     \tag{3-23}
である。以下ではツイスト・コホモロジーから得た (2-3)-(2-9) の結果を用いて、1階の超幾何微分方程式がどのように導かれるか見てみよう。

まず、非射影化された多価関数
    \Phi \, = \, t^a (1-t)^{c-a} ( 1- zt )^{-b}     \tag{3-24}
から始めよう。ここで、
    a \, , \, c-a \, , \, -b \not \in \Z     \tag{3-25}
である。\PhiX = \cp^1 - \{ 0,1,1/z , \infty \} 上で定義される。これらより X 上のランク1局所系 {\cal L} とその双対 {\cal L}^\vee がきまる。すると、(3-7) からコホモロジー群 H^1 ( X , {\cal L}) の基底として
\begin{eqnarray}     \varphi_{\infty 0} &=& \frac{dt}{t}     \tag{3-26} \\     \varphi_{01} &=& \frac{dt}{t (1-t)}     \tag{3-27} \\     \varphi_{1 \frac{1}{z}} &=& \frac{(z-1) dt}{(1-t) ( 1 -zt)}     \tag{3-28} \end{eqnarray}
が得られる。同様に、(3-8) からホモロジー群 H_1 ( X ,{\cal L}^\vee ) の基底は
    \{ \Del_{\infty 0} \, , \, \Del_{01} \, , \, \Del_{1 \frac{1}{z}}     \}     \tag{3-29}
で与えられる。これらを用いるとガウスの超幾何関数は
    f_{01} (Z)     \,  =  \,  \int_{\Del_{01}}  \Phi \varphi_{01}     \, = \,     \int_{0}^{1} t^{a-1} ( 1- t)^{c-a-1} ( 1 - z t)^{-b}  dt     \, := \, f_{01} (z)     \tag{3-30}
と表せる。

f_{01} (Z) = f_{01}(z)z-微分は
    \frac{d}{d z} f_{01}(z) \, = \,     \frac{d}{d z} \int_{\Del_{01}}  \Phi \varphi_{01}     \, = \,     \int_{\Del_{01}}  \Phi  \, \nabla_{\! z} \varphi_{01}     \tag{3-31}
と書ける。ただし、
    \nabla_{\! z} \, = \, \d_z + \d_z \log \Phi     \, = \, \d_z + \frac{bt}{1-zt}     \tag{3-32}
である。したがって、z-微分は \nabla_{\! z} \varphi_{01} の計算に帰着される。ここで、ツイスト・サイクル \Del の選択は微分に関する限り無関係であることに注意されたい。(3-31)式を積分として解釈するには、\nabla_{\! z} \varphi_{01} \in H^1 ( X , {\cal L}) を要請する必要がある。つまり、\nabla_{\! z} \varphi_{01} は (3-26)-(3-28) の線形結合として表されなければならない。しかしながら、ここで注意しなければならないのは (1-13) と (1-14) でみたように H^1 ( X , {\cal L}) の要素は同値類を成す。今の場合 (k=1)、(1-13) の \al は 0-形式つまり定数なので、\nabla_{\! z} \varphi_{01} の計算において関係式
    d \log \Phi     \, = \,     a \frac{dt}{t} - (c-a) \frac{dt}{1-t}     + b \frac{z \, dt}{1-zt}     \, \equiv \,     0     \tag{3-33}
を要請できる。このため、基底要素の数は3から2に減少する。つまり、H^1 ( X , {\cal L}) の要素は条件 (3-33) のもとで (3-26)-(3-28) の任意の2つのペアによってあらわすことができる。これにより (1-50) と (2-7) のが図の不一致が説明できる。また、前回のエントリーで紹介したコホモロジー群の次元についての一般的な結果 \left(    \begin{array}{c}      n-1  \\       k  \\    \end{array}  \right) =  \left(    \begin{array}{c}      2  \\      1  \\    \end{array}  \right) = 2 とも矛盾しない。

そこで、具体的に ( \varphi_{01}, \varphi_{\infty 0} ) のペアをとると、
\begin{eqnarray}     \nabla_{\! z} \varphi_{\infty 0} &=& \frac{b dt}{1-zt}     \nonumber \\     & \equiv &     \frac{1}{z} \left( - a \frac{dt}{t} + (c-a) \frac{dt}{1-t} \right)     \nonumber \\     &=& \frac{c-a}{z} \varphi_{01} - \frac{c}{z} \varphi_{\infty 0}     \tag{3-34} \\     \nabla_{\! z} \varphi_{01} &=&     \nabla_{\! z} \left( \varphi_{\infty 0} + \frac{dt}{1-t} \right)     \nonumber \\     &=&     \nabla_{\! z} \varphi_{\infty 0} + \frac{b}{1-z} \left( \frac{dt}{1-t} - \frac{dt}{1-zt} \right)     \nonumber \\     &=&     \frac{z}{z-1} \nabla_{\! z} \varphi_{\infty 0} - \frac{b}{z-1} ( \varphi_{01} - \varphi_{\infty 0} )     \nonumber \\     & \equiv &     \frac{c-a-b}{z-1} \varphi_{01} + \frac{b-c}{z-1} \varphi_{\infty 0}     \tag{3-35} \end{eqnarray}
が得られる。ここで記号 \equiv は条件 (3-33) を用いたことを示す。よって、(3-31)式を使うと1階の微分方程式
    \frac{d}{dz}     \left(        \begin{array}{c}          f_{01} \\          f_{\infty 0} \\        \end{array}     \right)     =     \left(         \frac{A^{(\infty 0)}_{0}}{z}   + \frac{A^{(\infty 0)}_{1}}{z -1 }     \right)     \left(        \begin{array}{c}          f_{01} \\          f_{\infty 0} \\        \end{array}      \right)     \tag{3-36}
が得られる。ただし、
    A^{(\infty 0)}_{0} =     \left(       \begin{array}{cc}         0 & 0 \\         c-a & -c \\       \end{array}     \right),     ~~     A^{(\infty 0)}_{1} =     \left(       \begin{array}{cc}         c-a-b & b-c \\         0 & 0 \\       \end{array}     \right)     \tag{3-37}
である。これを f_{01} について解くと、(3-36) がガウスの超幾何微分方程式 (3-3) を導くことが簡単に確認できる。

同様に、( \varphi_{01}, \varphi_{1 \frac{1}{z} } ) のペアについては、
\begin{eqnarray}     \nabla_{\! z} \varphi_{01}     &=&     \frac{b}{z-1} \varphi_{1 \frac{1}{z} }     \tag{3-38} \\     \nabla_{\! z} \varphi_{1 \frac{1}{z} }     & \equiv &     \nabla_{\! z} \left( -\frac{a}{b} \frac{z-1}{z} \varphi_{01} +     \frac{c-a}{b} \frac{z-1}{z} \frac{dt }{(1-t)^2} \right)     \nonumber \\     & \equiv &     - \frac{a}{z} \varphi_{01} + \left( - \frac{c+1}{z} + \frac{c-a-b+1}{z-1} \right)     \varphi_{1 \frac{1}{z} }     \tag{3-39} \end{eqnarray}
となることが分かる。\varphi_{01}\varphi_{1 \frac{1}{z} } には共通因子(1-t)^{-1} があるが、この因子は (3-24) の \Phi の定義に吸収できる。つまり、微分公式 (3-31) を適用する際に、cc-1 に置き換えればよい。これより、上と同様に1階の微分方程式
    \frac{d}{dz}     \left(        \begin{array}{c}          f_{01} \\          f_{1 \frac{1}{z}} \\        \end{array}     \right)     =     \left(         \frac{A^{(1 \frac{1}{z})}_{0}}{z}   + \frac{A^{(1 \frac{1}{z})}_{1}}{z -1 }     \right)     \left(        \begin{array}{c}          f_{01} \\          f_{1 \frac{1}{z}} \\        \end{array}      \right)     \tag{3-40}
が得られる。ただし、
    A^{(1 \frac{1}{z})}_{0} =     \left(       \begin{array}{cc}         0 & 0 \\         -a & -c \\       \end{array}     \right),     ~~     A^{(1 \frac{1}{z})}_{1} =     \left(       \begin{array}{cc}         0 & b \\         0 & c-a-b \\       \end{array}     \right)     \tag{3-41}
である。f_{01} について解くと (3-40) もガウスの超幾何微分方程式 (3-3) となることが確認できる。

(3-23) と (3-37) の表示はそれぞれ青本・喜多 [1] と原岡 [2] によって得られた。最後のもの (3-41) は筆者が知る限り文献にはない。ツイスト・コホモロジーを使った上の議論を流用するとこの青本・喜多の結果 (3-23) も次のように得られる。まず、新しい 1-形式
    \widetilde{\varphi}_{1 \frac{1}{z}}     \, =  \, \frac{z}{z-1} \varphi_{1 \frac{1}{z}}     \, = \,  \frac{z \, dt}{ (1-t)(1-zt) }     \tag{3-42}
を導入しよう。対応する超幾何関数は \widetilde{f}_{1 \frac{1}{z}} = \int_{\Del_{01}} \Phi \widetilde{\varphi}_{1 \frac{1}{z}} で与えられる。(3-38) から \nabla_{\! z} \varphi_{01} = \frac{b}{z} \widetilde{\varphi}_{1 \frac{1}{z}} となることがすぐに分かる。これは (3-22) でみた条件 f_1 = F, f_2 =  \frac{z}{b} \frac{d}{dz} F に沿うものである。zz \ne 0 ,1 として定義されているので、\frac{b}{z} \widetilde{\varphi}_{1 \frac{1}{z}}\frac{b}{z-1} \varphi_{1 \frac{1}{z}} はともに問題なく定義された 1-形式である。よって、コホモロジー群の基底として ( \varphi_{01} , \widetilde{\varphi}_{1 \frac{1}{z}} ) のペアを選ぶことができる。したがって、(共変)微分 \nabla_{\! z} \varphi_{01}, \nabla_{\! z} \widetilde{\varphi}_{1 \frac{1}{z}}  は
\begin{eqnarray}     \nabla_{\! z} \varphi_{01}     &=&     \frac{b}{z} \widetilde{\varphi}_{1 \frac{1}{z}}     \tag{3-43} \\     \nabla_{\! z} \widetilde{\varphi}_{1 \frac{1}{z}}     & \equiv &     \nabla_{\! z} \left(     - \frac{a}{b} \varphi_{01} + \frac{c-a}{b} \frac{dt}{ (1-t)^2 }     \right)     \nonumber \\     & \equiv &     - \frac{a}{z-1}  \varphi_{01} + \left( \frac{-c}{z} + \frac{c-a-b}{z-1}     \right)\widetilde{\varphi}_{1 \frac{1}{z}}     \tag{3-44} \end{eqnarray}
と計算できる。ただし、ここでの導出では関係式
\begin{eqnarray}     \frac{t \, dt }{(1-zt)( 1-t)} &=& \frac{1}{z-1} \left(     \frac{dt}{1-zt} - \frac{dt}{1-t} \right)     \tag{3-45} \\     \frac{dt}{(1-t)^2} & \equiv & \frac{1}{c-a}     \left( a \varphi_{01} + b \widetilde{\varphi}_{1 \frac{1}{z}} \right)     \tag{3-46} \end{eqnarray}
を用いた。以前同様、\varphi_{01}\widetilde{\varphi}_{1 \frac{1}{z}} は共通因子 (1-t)^{-1} をもつ。よって、cc-1 で置き換えると、1階の微分方程式
    \frac{d}{dz}     \left(        \begin{array}{c}          f_{01} \\          \widetilde{f}_{1 \frac{1}{z}} \\        \end{array}     \right)     =     \left(         \frac{\widetilde{A}^{(1 \frac{1}{z})}_{0}}{z}   + \frac{\widetilde{A}^{(1 \frac{1}{z})}_{1}}{z -1 }     \right)     \left(        \begin{array}{c}          f_{01} \\          \widetilde{f}_{1 \frac{1}{z}} \\        \end{array}      \right)     \tag{3-47}
を得る。ただし、\widetilde{f}_{1 \frac{1}{z}} = \int_{\Del_{01}} \Phi \widetilde{\varphi}_{1 \frac{1}{z}} および
    \widetilde{A}^{(1 \frac{1}{z})}_{0} =     \left(       \begin{array}{cc}         0 & b \\         0 & 1-c \\       \end{array}     \right),     ~~     \widetilde{A}^{(1 \frac{1}{z})}_{1} =     \left(       \begin{array}{cc}         0 & 0 \\         -a & c-a-b-1 \\       \end{array}     \right)     \tag{3-48}
である。したがって、青本・喜多の表示 (3-22), (3-23) を1階超幾何微分方程式の系統的な構成法により再導出できた。

最後に \varphi_{\infty 0} = \frac{dt}{t}\varphi_{01} = \frac{dt}{t(1-t)} は共通因子 t^{-1} をもつが、この因子は \Phi に吸収できないことに注意しよう。(3-7) で議論したように H^1 ( X , {\cal L}) の基底要素は一般に d \log \frac{l_{j+1}}{l_j} の形で与えられるので、この意味で dt を H^1 ( X , {\cal L}) の基底要素と取れないことからも分かる。


3.4 ガウスの超幾何関数への還元3: 順列不変性から


前節では1階のFuchs型微分方程式を導出においてどのようにツイスト・サイクル \Del を選択するかは関与しないことを見た。したがって、超幾何関数は (3-30) よりもさらに一般的な積分の形、つまり
    f_{01}^{(\Del_{pq})} (z) \, = \,     \int_{\Del_{pq}} \Phi \varphi_{01}     \, = \, \int_{p}^{q} t^{a-1} ( 1- t)^{c-a-1} ( 1 - z t)^{-b}     dt     \tag{3-49}
として表現できる。ただし、(p, q) は4つの分岐点のうちの任意の2つのペア p, q \in \{ 0, 1, 1/z , \infty \} を表す。これは分岐点について順列不変性を課せることを意味する。よって、\Del_{pq} はツイスト・サイクルの集合
    \Del_{pq} \, = \,     \{  \Del_{\infty 0} \, , \, \Del_{01} \, , \, \Del_{1 \frac{1}{z}}     \, , \,  \Del_{1 \infty} \, , \, \Del_{\frac{1}{z} \infty} \, , \, \Del_{0 \frac{1}{z}}     \}     \tag{3-50}
で与えられ、要素の数は\left(    \begin{array}{c}     4  \\     2  \\    \end{array} \right) = 6となる。これに対応してコホモロジー群の基底要素は (3-26)-(3-28) に加えて
\begin{eqnarray}     \varphi_{1 \infty } &=& \frac{dt}{1-t}     \tag{3-51} \\     \varphi_{\frac{1}{z} \infty} &=& \frac{z \, dt}{1-zt}     \tag{3-52} \\     \varphi_{0 \frac{1}{z}} &=& \frac{ dt}{t ( 1 -zt)}     \tag{3-53} \end{eqnarray}
が含まれる。f_{01}^{(\Del_{pq})} (z) は (3-6)-(3-8) の局所解 f_i (z) (i= 1,2, \cdots , 6) と次のように関係づけられることが知られている。
\begin{eqnarray}       f_{01}^{(\Del_{01})} (z) & = & B( a, c-a) f_1 (z)       \tag{3-54} \\       f_{01}^{ ( \Del_{\frac{1}{z} \infty} )} (z) & = & e^{i \pi (a+b-c+1)} B( b-c+1 , 1-b) f_2 (z)       \tag{3-55} \\       f_{01}^{(\Del_{\infty 0})} (z) & = & e^{i \pi (1-a)} B( a , b-c+1) f_3 (z)       \tag{3-56} \\       f_{01}^{(\Del_{1 \frac{1}{z}})} (z) & = & e^{i \pi (a-c+1)} B( c-a , 1-b) f_4 (z)       \tag{3-57} \\       f_{01}^{(\Del_{1 \frac{1}{z}})} (z) & = & B( a , 1-b) f_5 (z)       \tag{3-58} \\       f_{01}^{(\Del_{1 \infty})} (z) & = & e^{- i \pi (a+b-c+1)} B( b-c+1 , c-a) f_6 (z)       \tag{3-59} \end{eqnarray}
ただし、B(a, b) はベータ関数
    B (a, b) \, = \, \frac{\Ga (a) \Ga (b)}{\Ga(a+b)}     \, = \, \int_{0}^{1} t^{a-1} (1-t)^{b-1} dt     ~~~~~ ( \Re (a ) > 0 \, , \, \Re(b) > 0 )     \tag{3-60}
である。(これらの関係式についてその導出と詳細は [2] を参照されたい。)

このとき行列 Z で表される配位空間は Gr (2, 4) / \S_4 で与えられる。ここで、\S_4 はランク4の対称群である。順列不変性は \varphi_{01} と (3-51)-(3-53) のうちのどれか1つを選んで、1階の微分方程式の組を導くことによっても確認できるはずである。以下ではこの確認を行う。

( \varphi_{01}, \varphi_{1 \infty} ) のペアを選択した場合、
\begin{eqnarray}     \nabla_{\! z} \varphi_{1 \infty}     &=&     \frac{bt}{1-zt} \frac{dt}{(1-t)}     \nonumber \\     & \equiv &     - \frac{a}{z(z-1)} \varphi_{01} + \left( \frac{c}{z(z-1)} - \frac{b}{z-1} \right)     \varphi_{1 \infty}     \tag{3-61} \\     \nabla_{\! z} \varphi_{01 }     &=& \nabla_{\! z} \frac{dt}{t} + \nabla_{\! z} \varphi_{1 \infty}     \nonumber \\     & \equiv &     - \frac{a}{z-1} \varphi_{01} +  \frac{c-b}{z-1}  \varphi_{1 \infty }     \tag{3-62} \end{eqnarray}
となる。よって、対応する微分方程式は
    \frac{d}{dz}     \left(        \begin{array}{c}          f_{01} \\          f_{1 \infty} \\        \end{array}     \right)     =     \left(         \frac{A^{(1 \infty)}_{0}}{z}   + \frac{A^{(1 \infty)}_{1}}{z -1 }     \right)     \left(        \begin{array}{c}          f_{01} \\          f_{1 \infty} \\        \end{array}      \right)     \tag{3-63}
と書ける。ただし、
    A^{(1 \infty)}_{0} =     \left(       \begin{array}{cc}         0 & 0 \\         a & -c \\       \end{array}     \right),     ~~     A^{(1 \infty)}_{1} =     \left(       \begin{array}{cc}         -a & c-b \\         -a & c-b \\       \end{array}     \right)     \tag{3-64}
である。f_{01} について解くと、(3-63) は確かにガウスの超幾何微分方程式 (3-3) となることが確認できる。

同様に、( \varphi_{01}, \varphi_{\frac{1}{z} \infty} ) の場合
\begin{eqnarray}     \nabla_{\! z} \varphi_{01 }     &=& \frac{b \, dt}{(1-zt)(1-t)}     \nonumber \\     & \equiv &     - \frac{1}{z-1} \frac{ab}{c} \varphi_{01} -  \frac{1}{z-1} \frac{b}{c} (b-c)     \varphi_{\frac{1}{z} \infty }     \tag{3-65} \\     \nabla_{\! z} \varphi_{\frac{1}{z} \infty}     & \equiv &     \nabla_{\! z} \left( -\frac{a}{b} \varphi_{01} + \frac{c}{b} \frac{dt}{1-t} \right)     \nonumber \\     & \equiv &     \frac{1}{z-1} \frac{a}{c} (a -c) \varphi_{01} + \left( \frac{1}{z-1} \frac{1}{c} (b-c)(a-c)     - \frac{c}{z} \right)     \varphi_{\frac{1}{z} \infty}     \tag{3-66} \end{eqnarray}
となる。よって、1階の微分方程式は
    \frac{d}{dz}     \left(        \begin{array}{c}          f_{01} \\          f_{\frac{1}{z} \infty} \\        \end{array}     \right)     =     \left(         \frac{A^{(\frac{1}{z} \infty)}_{0}}{z}   + \frac{A^{(\frac{1}{z} \infty)}_{1}}{z -1 }     \right)     \left(        \begin{array}{c}          f_{01} \\          f_{\frac{1}{z} \infty} \\        \end{array}      \right)     \tag{3-67}
と表せる。ただし、
    A^{(\frac{1}{z} \infty)}_{0} =     \left(       \begin{array}{cc}         0 & 0 \\         0 & -c \\       \end{array}     \right),     ~~     A^{(\frac{1}{z} \infty)}_{1} =     \left(       \begin{array}{cc}         -\frac{ab}{c} & - \frac{b}{c}(b-c) \\         \frac{a}{c}(a-c) & \frac{1}{c} (b-c)(a-c) \\       \end{array}     \right)     \tag{3-68}
であり、(3-67) は f_{01} についての超幾何微分方程式となることがチェックできる。

最後に、(\varphi_{01} , \varphi_{0 \frac{1}{z}} ) の場合は
\begin{eqnarray}     \nabla_{\! z} \varphi_{01 }     &=& \frac{b \, dt}{(1-zt)(1-t)}     \nonumber \\     & = &     - \frac{b}{z-1} \left( \varphi_{01} -   \varphi_{0 \frac{1}{z} } \right)     \tag{3-69} \\     \nabla_{\! z} \varphi_{0 \frac{1}{z}}     & \equiv &     \frac{b \, dt}{ ( 1-zt)^2 }     \nonumber \\     & \equiv &     - \frac{c-a}{z(z-1)}  \varphi_{01} + \frac{c - az}{z(z-1)} \varphi_{0 \frac{1}{z}}     \tag{3-70} \end{eqnarray}
となり、対応する1階微分方程式は
    \frac{d}{dz}     \left(        \begin{array}{c}          f_{01} \\          f_{0 \frac{1}{z}} \\        \end{array}     \right)     =     \left(         \frac{A^{(0 \frac{1}{z})}_{0}}{z}   + \frac{A^{(0 \frac{1}{z})}_{1}}{z -1 }     \right)     \left(        \begin{array}{c}          f_{01} \\          f_{0 \frac{1}{z}} \\        \end{array}      \right)     \tag{3-71}
と表せる。ただし、
    A^{(0 \frac{1}{z})}_{0} =     \left(       \begin{array}{cc}         0 & 0 \\         c-a & -c \\       \end{array}     \right),     ~~     A^{(0 \frac{1}{z})}_{1} =     \left(       \begin{array}{cc}         -b & b \\         -c+a & c-a \\       \end{array}     \right)     \tag{3-72}
である。(3-71) も f_{01} についての超幾何関数になることがチェックできる。

(3-42) の場合のように \widetilde{\varphi}_{ \frac{1}{z} \infty} =  \frac{z-1}{z} \varphi_{\frac{1}{z} \infty} =  \frac{(z-1) \, dt}{ 1-zt } と考えたくなるが、\varphi_{01}\widetilde{\varphi}_{ \frac{1}{z} \infty} のペアだと (3-67) のような超幾何微分方程式に帰着する1階の微分方程式で表すことができない。これは、\nabla_{\! z}  \varphi_{01}\nabla_{\! z}  \widetilde{\varphi}_{ \frac{1}{z} \infty} をそれぞれ \varphi_{01}\widetilde{\varphi}_{ \frac{1}{z} \infty} で展開すると、その z-依存性が \frac{1}{z} あるいは \frac{1}{z-1} の形で書けないためである。


3.4 まとめ


このエントリーでは青本の一般化された超幾何関数の最も簡単な場合としてツイスト・コホモロジーを用いて、ガウスの超幾何方程式を1階の微分方程式で表現する系統的な導出を行った。一般に、この1階微分方程式は
    \frac{d}{d z}     \left(       \begin{array}{c}         f_{01} \\         f_{pq} \\       \end{array}     \right)     =     \left(     \frac{A^{(pq)}_{0}}{z} + \frac{A^{(pq)}_{1}}{z-1}     \right)      \left(       \begin{array}{c}         f_{01} \\         f_{pq} \\       \end{array}     \right)     = \, A^{(pq) }_{01}      \left(       \begin{array}{c}         f_{01} \\         f_{pq} \\       \end{array}     \right)     \tag{3-73}
と表せる。ただし、(pq)\Phi = t^a (1-t)^{c-a} (1-zt)^{-b} の4つの分岐点 \{ 0, 1 , 1/z , \infty \} のうちの2つのペアを示す。このエントリーで得られた (2 \times 2) 行列 A^{(pq)}_{01} のリストは以下の通りである。
\begin{eqnarray}     A_{01}^{( \infty 0)} &=&     \left(       \begin{array}{cc}         \frac{c-a-b}{z-1} & \frac{b-c}{z-1} \\         \frac{c-a}{z} & - \frac{c}{z} \\       \end{array}     \right)     \tag{3-74} \\     A_{01}^{(1 \frac{1}{z})} &=&     \left(       \begin{array}{cc}         0 & \frac{b}{z-1} \\         - \frac{a}{z} & - \frac{c}{z} + \frac{c-a-b}{z-1} \\       \end{array}     \right)     \tag{3-75} \\     \widetilde{A}_{01}^{(1 \frac{1}{z})} &=&     \left(       \begin{array}{cc}         0 & \frac{b}{z} \\         - \frac{a}{z-1} & - \frac{c-1}{z} + \frac{c-a-b-1}{z-1} \\       \end{array}     \right)     \tag{3-76} \\     A_{01}^{(1 \infty )} &=&     \left(       \begin{array}{cc}         -\frac{a}{z-1} & \frac{c-b}{z-1} \\         \frac{a}{z} - \frac{a}{z-1} & - \frac{c}{z} + \frac{c-b}{z-1} \\       \end{array}     \right)     \tag{3-77} \\     A_{01}^{( \frac{1}{z} \infty )} &=&     \left(       \begin{array}{cc}         - \frac{1}{z-1} \frac{ab}{c} & - \frac{1}{z-1} \frac{b}{c} (b-c)  \\         \frac{1}{z-1} \frac{a}{c} (a-c) & - \frac{c}{z} + \frac{1}{z-1} \frac{1}{c}(b-c) (a-c) \\       \end{array}     \right)     \tag{3-78} \\     A_{01}^{( 0 \frac{1}{z})} & =&     \left(       \begin{array}{cc}         - \frac{b}{z-1} & \frac{b}{z-1} \\         \frac{c-a}{z} - \frac{c-a}{z-1} & - \frac{c-1}{z} + \frac{c-a}{z-1} \\       \end{array}     \right)     \tag{3-79} \end{eqnarray}
ただし、\widetilde{A}_{01}^{(1 \frac{1}{z})} は青本・喜多の表示 [1] である。 (3-74) と (3-76) を除くこれらの結果は筆者の知る限りでは、ガウスの超幾何微分方程式の変形として新しいものである。これらの行列は共通して同じ行列式
    \det A^{(pq)}_{01} \, = \, \frac{ab}{z(z-1)}     \tag{3-80}
をもつ。1階微分方程式 (3-73) において、このことはコホモロジー群 H^1 ( X , {\cal L} ) の基底要素に対応するベクトル      \left(       \begin{array}{c}         f_{01} \\         f_{pq} \\       \end{array}     \right) への微分作用が SL(2, \C) 代数の要素で表されることを意味する。言い換えると、コホモロジー群の基底の変換は SL(2, \C) 対称性をもつ。この SL(2, \C)不変性は \cp^1 上の正則関数がもつ広域共形対称性に対応している。今の場合、我々の議論は X = \cp^1 - \{ 0 , 1, 1/z , \infty \} 上で定義される (3-24)式の多価関数\Phiから始めた。したがって、(3-80) の結果はコンセプトとしては自然なことであるが、実際の計算上は自明ではない。というのも、(3-33) の同値条件 d \log \Phi \equiv 0 が関係式 (3-74)-(3-79) に暗に組み込まれているからである。


参考文献


1. 青本和彦, 喜多通武,『超幾何関数論』シュプリンガー・フェアラーク東京, 1994.
2. 原岡喜重, 『超幾何関数』(すうがくの風景)朝倉書店, 2002.

0 件のコメント: