クニーズニク・ザモロドチコフ方程式

テンプレート:要改訳 数学において、クニーズニク・ザモロドチコフ方程式(Knizhnik–Zamolodchikov equations)、あるいは、KZ方程式(KZ equations)は、固定されたレベルでのアフィンリー代数（の表現）に付随する共形場理論の相関函数が満たすべき、付加する一連の制限条件である。これらの方程式は、テンプレート:仮リンク(primary field)の N-点函数が満たすテンプレート:仮リンク(regular singular point)を持つ複素偏微分方程式系を形成し、リー代数かテンプレート:仮リンク(vertex algebra)のどちらかの定式化を使い導出することができる。共形場理論の種数 0 の部分の構造は、これらの方程式のモノドロミー的な性質の中にコード化されている。特に、プライマリ場のブレイディングやフュージョン（あるいは、それらに付随する表現）は、4-点函数の性質から導出することができる。このため、KZ方程式は単一な行列に値を持つフックス型の一階複素常微分方程式へ帰着される。もともとは、ロシアの物理学者であるテンプレート:仮リンク(Vadim Knizhnik)とテンプレート:仮リンク(Alexander Zamolodchikov)が、超幾何微分方程式の接続係数(connection coefficients)に関する古典的なガウスの公式を使い、SU(2)に対する理論を導いた。

定義

${\widehat{𝔤}}_k$ で、レベル テンプレート:Mvar と双対テンプレート:仮リンク(Coxeter number) テンプレート:Mvar を持つアフィンリー代数を表す。テンプレート:Mvar で ${\widehat{𝔤}}_k$ のゼロモード表現からのベクトルを表し、$\mathrm{\Phi }(v,z)$ でそれに付帯するプライマリ場を表すとする。$t^a$ でもととなるリー代数 $𝔤$ の基底、$t_i^a$ でプライマリ場 $\mathrm{\Phi }(v_i,z)$ 上でのそれらの表現、テンプレート:Mvar でキリング形式を表す。すると、$i,j=1,2,\dots ,N$ に対して、クニーズニク・ザモロドチコフ方程式は、

$((k+h){\partial }_{z_i}+\sum _{j\ne i}\frac{\sum _{a,b}{\eta }_{ab}{t}_i^a\otimes t_j^b}{z_i-z_j})⟨\mathrm{\Phi }(v_N,z_N)\dots \mathrm{\Phi }(v_1,z_1)⟩=0.$

と定義される。

導出

クニーズニク・ザモロドチコフ方程式は、${\widehat{𝔤}}_k$ 加群の中のヌルベクトルの存在から導かれる。このことは、テンプレート:仮リンク(minimal models)の場合と全く同様である。ミニマルモデルでは、ヌルベクトルの存在は、相関函数上に付加された制限条件の結果として得られる。

${\widehat{𝔤}}_k$ 加群のヌルベクトルは、

$(L_{-1}-\frac{1}{2(k+h)}\sum _{k\in 𝐙}\sum _{a,b}{\eta }_{ab}{J}_{-k}^a{J}_{k-1}^b)v=0,$

の形をしている。ここに テンプレート:Mvar は最高ウェイトベクトルで、$J_k^a$ はアフィン生成子 $t^a$ に付随する保存カレントである。テンプレート:Mvar は最高ウェイトであるので、その上の最高 $J_k^a$ 作用は消滅し、$J_{-1}^a{J}_0^b$ だけが残る。従って、作用素状態の対応は、上で与えたクニーズニク・ザモロドチコフ方程式を導く。

数学的定式化

テンプレート:Harvtxtで扱われて以来、クニーズニク・ザモロドチコフ方程式は テンプレート:Harvtxt や テンプレート:Harvtxtにより、テンプレート:仮リンク(vertex algebra)の言葉を使い、数学的に定式化されてきた。このアプローチは、テンプレート:Harvtxt により理論物理学者の間に広められ、テンプレート:Harvtxtにより数学者の間に広められた。

固定されたレベルでのアフィンカッツ・ムーディ代数の真空表現 H₀ は、頂点代数の中にコード化される。微分 テンプレート:Mvar は、H₀ 上にエネルギー作用素 L₀ として作用し、L₀ の非負な整数個の固有空間の直和として書くことができ、ゼロエネルギー空間は真空ベクトル Ω により生成される。L₀ の固有ベクトルの固有値は、エネルギーと呼ばれる。L の中のすべての状態 a に対し、頂点作用素 V(a,z) が存在し、

$V(a,0)\mathrm{\Omega }=a.$

として、a を真空ベクトル Ω から生成する。エネルギーが 1 である頂点作用素は、アフィン代数

$X(z)=\sum X(n)z^{-n-1}$

の生成子に対応する。ここに X は元となる有限次元の単純複素リー代数 $𝔤$ の元を渡る。

エネルギー 2 の固有ベクトル テンプレート:Math が存在し、セーガル・菅原構成(Segal–Sugawara construction)

$T(z)=\sum L_n{z}^{-n-2}.$

により、カッツ・ムーディ代数を持つヴィラソロ代数の生成子 L_n を与える。

a がエネルギー テンプレート:Mvar であれば、対応する頂点作用素は、

$V(a,z)=\sum V(a,n)z^{-n-\alpha }$

という形となる。

頂点作用素は、

$\begin{array}{cc}\frac{d}{dz}V(a,z)& =[L_{-1},V(a,z)]=V(L_{-1}a,z)\\ [L_0,V(a,z)]& =(z^{-1}\frac{d}{dz}+\alpha )V(a,z)\end{array}$

と、局所性、結合性関係式

$V(a,z)V(b,w)=V(b,w)V(a,z)=V(V(a,z-w)b,w).$

を満す。

二つのこれらの関係式は、解析接続として理解することができる。三つの表現を満す有限なエネルギーのベクトルとの内積は、領域 |z| < |w|, |z| > |w|, |z – w| < |w| の中で、テンプレート:Math, テンプレート:Math の同一の多項式を定義する。カッツ・ムーディ代数とヴィラソロ代数のすべての構造関係式より、セーガル・菅原構成であるこれらの関係式を再現することができる。

同じレベルでの他のすべての整数表現 H_i は、頂点代数の加群となる。この意味は、各々の a に対して、頂点作用素 テンプレート:Math が H_i 上に存在し、

$V_i(a,z)V_i(b,w)=V_i(b,w)V_i(a,z)=V_i(V(a,z-w)b,w)$

となることである。

与えられたレベルの中で最も一般的な頂点代数は、表現 H_i と H_j の間のテンプレート:仮リンク(intertwining operator) テンプレート:Math である。ここに v は H_k の中にある。これらの作用素は、

$\mathrm{\Phi }(v,z)=\sum \mathrm{\Phi }(v,n)z^{-n-\delta }$

とも書くこともできるが、δ は今のところ有理数であることも可能である。繰り返すが、これらの相互作用素は、

$V_j(a,z)\mathrm{\Phi }(v,w)=\mathrm{\Phi }(v,w)V_i(a,w)=\mathrm{\Phi }(V_k(a,z-w)v,w)$

という性質と上記同様の L₀ と L₋₁ との関係により特徴付けられる。

v が H_k 上の L₀ の中の最低エネルギー部分空間にあるとき、$𝔤$ の既約表現である作用素 テンプレート:Math をチャージ k のテンプレート:仮リンク(primary field)と呼ぶ。

H₀ に始点と終点を持つ一連の n 個のプライマリ場が与えられると、それらの相関函数、あるいは、n-点函数は、

$⟨\mathrm{\Phi }(v_1,z_1)\mathrm{\Phi }(v_2,z_2)\cdots \mathrm{\Phi }(v_n,z_n)⟩=(\mathrm{\Phi }(v_1,z_1)\mathrm{\Phi }(v_2,z_2)\cdots \mathrm{\Phi }(v_n,z_n)\mathrm{\Omega },\mathrm{\Omega })$

により定義される。

$𝔤$ の対応する既約表現によるラベル付けが明確な場合には、物理の文献において、v_i が省略されたり、プライマリ場が Φ_i(z_i) と書かれたりすることもある。

頂点代数からの導出方法

(X_s) をキリング形式の $𝔤$ の直交基底とし、相関函数

$\sum _s⟨X_s(w)X_s(z)\mathrm{\Phi }(v_1,z_1)\cdots \mathrm{\Phi }(v_n,z_n)⟩(w-z{)}^{-1}$

を最初の変数 w で z の周りの小さな円を回る積分と解釈することにより、クニーズニク・ザモロドチコフ方程式を得ることができる。コーシーの定理により、次のように z_j を中心とする n 個の小さな円の上の積分の和として表すことができる。

$\frac{1}{2}(k+h)⟨T(z)\mathrm{\Phi }(v_1,z_1)\cdots \mathrm{\Phi }(v_n,z_n)⟩=-\sum _{j,s}⟨X_s(z)\mathrm{\Phi }(v_1,z_1)\cdots \mathrm{\Phi }(X_s{v}_j,z_j)\mathrm{\Phi }(X_n,z_n)⟩(z-z_j{)}^{-1}.$

z_i を中心とする小さな円について変数 z で両辺を積分すると、i-番目のクニーズニク・ザモロドチコフ方程式が得られる。

リー代数からの導出方法

頂点代数を明確に使うことなしに、クニーズニク・ザモロドチコフ方程式を導くこともできる。r = 0, ±1 として、相関函数の中の項 テンプレート:Math を L_r を持つ交換子と置き換えることができる。この結果は、z_i についての項として表すことができる。他方、L_r もセーガル・菅原公式により与えられる。

$\begin{array}{cc}{L}_0& =(k+h{)}^{-1}\sum _s[\frac{1}{2}{X}_s(0{)}^2+\sum _{m>0}{X}_s(-m)X_s(m)]\\ L_{\pm 1}& =(k+h{)}^{-1}\sum _s\sum _{m\ge 0}{X}_s(-m\pm 1)X_s(m)\end{array}$

これらの L_r の公式を代入すると、結果として、交換公式

$[X(m),\mathrm{\Phi }(a,n)]=\mathrm{\Phi }(Xa,m+n).$

を使い、表現を簡素化することができる。

もともとの導出方法

テンプレート:Harvtxtにより再現された テンプレート:Harvtxt のもともとの証明は、上の二つを結合した方法を使っている。まず注意することは、$𝔤$ の元 X に対し、

$⟨X(z)\mathrm{\Phi }(v_1,z_1)\cdots \mathrm{\Phi }(v_n,z_n)⟩=\sum _j⟨\mathrm{\Phi }(v_1,z_1)\cdots \mathrm{\Phi }(X{v}_j,z_j)\cdots \mathrm{\Phi }(v_n,z_n)⟩(z-z_j{)}^{-1}$

となることである。従って、

$\sum _s⟨X_s(z)\mathrm{\Phi }(z_1,v_1)\cdots \mathrm{\Phi }(X_s{v}_i,z_i)\cdots \mathrm{\Phi }(v_n,z_n)⟩=\sum _j\sum _s⟨\cdots \mathrm{\Phi }(X_s{v}_j,z_j)\cdots \mathrm{\Phi }(X_s{v}_i,z_i)\cdots ⟩(z-z_j{)}^{-1}$

を得る。一方、

$\sum _s{X}_s(z)\mathrm{\Phi }(X_s{v}_i,z_i)=(z-z_i{)}^{-1}\mathrm{\Phi }(\sum _s{X}_s^2{v}_i,z_i)+(k+g)\frac{\partial }{\partial z_i}\mathrm{\Phi }(v_i,z_i)+O(z-z_i)$

であるので、

$(k+g)\frac{\partial }{\partial z_i}\mathrm{\Phi }(v_i,z_i)=\underset{z\to z_i}{\lim }[\sum _s{X}_s(z)\mathrm{\Phi }(X_s{v}_i,z_i)-(z-z_i{)}^{-1}\mathrm{\Phi }(\sum _s{X}_s^2{v}_i,z_i)]$

となる。

結果は、前の等式のこの極限を使うことにより得られる。

KZ方程式のモノドロミー表現

共形場理論において、上の定義に従うと、プライマリ場の n-点相関函数はKZ方程式を満す。特に、${𝔰𝔩}_2$ と非負である整数 k に対し、テンプレート:仮リンク(spin _j representation) ( j = 0, 1/2, 1, 3/2,.., k/2) に対応する、k + 1 個のプライマリ場 ${\mathrm{\Phi }}_j(z_j)$ が存在する。表現 $(\rho ,V_i)$ に対するプライマリ場 ${\mathrm{\Phi }}_j(z_j)$ の相関函数 $\mathrm{\Psi }(z_1,\dots ,z_n)$ は、テンソル積 $V_1\otimes \cdots \otimes V_n$ に値をとり、KZ方程式は、

$(k+2)\frac{\partial }{\partial z_i}\mathrm{\Psi }=\sum _{i,j\ne i}\frac{{\mathrm{\Omega }}_{ij}}{z_i-z_j}\mathrm{\Psi }$

である。ここに上記の導出に従い ${\mathrm{\Omega }}_{ij}=\sum _a{\rho }_i(J^a)\otimes \rho (J_a)$ である。

この n-点相関函数は、多価の正則函数として、$z_i\ne z_j,i\ne j$ である領域 $X_n\subset {ℂ}^n$ へ解析接続することができる。この解析接続により、KZ方程式のテンプレート:仮リンク(holonomy)を、エミール・アルティン(Emil Artin)が導入したブレイド群 $B_n$ により記述することができるテンプレート:Harvtxt。一般に、半単純な複素リー群 $𝔤$ とその表現 $(\rho ,V_i)$ は、KZ方程式のホロノミーとして、ブレイド群の線型表現

$\theta :B_n\to V_1\otimes \cdots \otimes V_n$

を与える。一方、KZ方程式は、ホロノミーとしてブレイド群の線型表現を与える。

KZ方程式の解析接続による $V_1\otimes \dots \otimes V_n$ 上の作用を、KZ方程式のモノドロミー表現(monodromy representation of KZ equation)と呼ぶ。特に、すべての $V_i$ がスピン _1/2 表現を持つ場合は、KZ方程式から得られる線型表現は、ジョーンズ(Vaughan Jones)が作用素代数論から構成した表現と一致する。一般の半単純なリー代数を持つKZ方程式のモノドロミー表現は、対応する量子群(quantum group)のテンプレート:仮リンク(R-matrix)により与えられるブレイド群の線型表現と一致することも示されている。

応用

• アフィンリー代数と量子群(quantum group)の表現論
• ブレイド群
• テンプレート:仮リンク(hyperplane complements)のトポロジー
• 結び目理論とテンプレート:仮リンク(3-fold)

関連項目

• 共形場理論
• 相関函数
• テンプレート:仮リンク(quantum KZ equations)
• 複素微分方程式

参考文献

• テンプレート:Cite journal
• テンプレート:Citation
• テンプレート:Citation (Erratum in volume 19, pp. 675–682.)
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation、オリジナルは、河野俊丈著, 場の理論とトポロジー, 岩波書店, 現代数学の展開, 第22巻, 1998年