クニーズニク・ザモロドチコフ方程式
数学において、クニーズニク・ザモロドチコフ方程式(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)に対する理論を導いた。
formula_1 で、レベル と双対(Coxeter number) を持つアフィンリー代数を表す。 で formula_1 のゼロモード表現からのベクトルを表し、formula_3 でそれに付帯するプライマリ場を表すとする。formula_4 でもととなるリー代数 formula_5 の基底、formula_6 でプライマリ場 formula_7 上でのそれらの表現、 でキリング形式を表す。すると、formula_8 に対して、クニーズニク・ザモロドチコフ方程式は、
と定義される。
クニーズニク・ザモロドチコフ方程式は、formula_1 加群の中のヌルベクトルの存在から導かれる。このことは、(minimal models)の場合と全く同様である。ミニマルモデルでは、ヌルベクトルの存在は、相関函数上に付加された制限条件の結果として得られる。
formula_1 加群のヌルベクトルは、
の形をしている。ここに は最高ウェイトベクトルで、formula_13 はアフィン生成子 formula_4 に付随する保存カレントである。 は最高ウェイトであるので、その上の最高 formula_13 作用は消滅し、formula_16 だけが残る。従って、作用素状態の対応は、上で与えたクニーズニク・ザモロドチコフ方程式を導く。
で扱われて以来、クニーズニク・ザモロドチコフ方程式は や により、(vertex algebra)の言葉を使い、数学的に定式化されてきた。このアプローチは、 により理論物理学者の間に広められ、により数学者の間に広められた。
固定されたレベルでのアフィンカッツ・ムーディ代数の真空表現 "H" は、頂点代数の中にコード化される。微分 は、"H" 上にエネルギー作用素 "L" として作用し、"L" の非負な整数個の固有空間の直和として書くことができ、ゼロエネルギー空間は真空ベクトル Ω により生成される。"L" の固有ベクトルの固有値は、エネルギーと呼ばれる。"L" の中のすべての状態 "a" に対し、頂点作用素 "V"("a","z") が存在し、
として、"a" を真空ベクトル Ω から生成する。エネルギーが 1 である頂点作用素は、アフィン代数
の生成子に対応する。ここに "X" は元となる有限次元の単純複素リー代数 formula_5 の元を渡る。
エネルギー 2 の固有ベクトル が存在し、セーガル・菅原構成(Segal–Sugawara construction)
により、カッツ・ムーディ代数を持つヴィラソロ代数の生成子 "L" を与える。
"a" がエネルギー であれば、対応する頂点作用素は、
という形となる。
頂点作用素は、
と、局所性、結合性関係式
を満す。
二つのこれらの関係式は、解析接続として理解することができる。三つの表現を満す有限なエネルギーのベクトルとの内積は、領域 |"z"| < |"w"|, |"z"| > |"w"|, |"z" – "w"| < |"w"| の中で、, の同一の多項式を定義する。カッツ・ムーディ代数とヴィラソロ代数のすべての構造関係式より、セーガル・菅原構成であるこれらの関係式を再現することができる。
同じレベルでの他のすべての整数表現 "H" は、頂点代数の加群となる。この意味は、各々の "a" に対して、頂点作用素 が "H" 上に存在し、
となることである。
与えられたレベルの中で最も一般的な頂点代数は、表現 "H" と "H" の間の(intertwining operator) である。ここに "v" は "H" の中にある。これらの作用素は、
とも書くこともできるが、δ は今のところ有理数であることも可能である。繰り返すが、これらの相互作用素は、
という性質と上記同様の "L" と "L" との関係により特徴付けられる。
"v" が "H" 上の "L" の中の最低エネルギー部分空間にあるとき、formula_5 の既約表現である作用素 をチャージ "k" の(primary field)と呼ぶ。
"H" に始点と終点を持つ一連の "n" 個のプライマリ場が与えられると、それらの相関函数、あるいは、"n"-点函数は、
により定義される。
formula_5 の対応する既約表現によるラベル付けが明確な場合には、物理の文献において、"v" が省略されたり、プライマリ場が Φ("z") と書かれたりすることもある。
("X") をキリング形式の formula_5 の直交基底とし、相関函数
を最初の変数 "w" で "z" の周りの小さな円を回る積分と解釈することにより、クニーズニク・ザモロドチコフ方程式を得ることができる。コーシーの定理により、次のように "z" を中心とする "n" 個の小さな円の上の積分の和として表すことができる。
"z" を中心とする小さな円について変数 "z" で両辺を積分すると、"i"-番目のクニーズニク・ザモロドチコフ方程式が得られる。
頂点代数を明確に使うことなしに、クニーズニク・ザモロドチコフ方程式を導くこともできる。"r" = 0, ±1 として、相関函数の中の項 を "L" を持つ交換子と置き換えることができる。この結果は、"z" についての項として表すことができる。他方、"L" もセーガル・菅原公式により与えられる。
これらの "L" の公式を代入すると、結果として、交換公式
を使い、表現を簡素化することができる。
により再現された のもともとの証明は、上の二つを結合した方法を使っている。まず注意することは、formula_5 の元 "X" に対し、
となることである。従って、
を得る。一方、
であるので、
となる。
結果は、前の等式のこの極限を使うことにより得られる。
共形場理論において、上の定義に従うと、プライマリ場の "n"-点相関函数はKZ方程式を満す。特に、formula_40 と非負である整数 "k" に対し、(spin representation) ( "j = 0, 1/2, 1, 3/2.., k/2") に対応する、"k + 1" 個のプライマリ場 formula_41 が存在する。表現 formula_42 に対するプライマリ場 formula_41 の相関函数 formula_44 は、テンソル積 formula_45 に値をとり、KZ方程式は、
である。ここに上記の導出に従い formula_47 である。
この "n"-点相関函数は、多価の正則函数として、formula_48 である領域 formula_49 へ解析接続することができる。この解析接続により、KZ方程式の(holonomy)を、エミール・アルティン(Emil Artin)が導入したブレイド群 formula_50 により記述することができる。一般に、半単純な複素リー群 formula_5 とその表現 formula_42 は、KZ方程式のホロノミーとして、ブレイド群の線型表現
を与える。一方、KZ方程式は、ホロノミーとしてブレイド群の線型表現を与える。
KZ方程式の解析接続による formula_54 上の作用を、KZ方程式のモノドロミー表現(monodromy representation of KZ equation)と呼ぶ。特に、すべての formula_55 がスピン 表現を持つ場合は、KZ方程式から得られる線型表現は、ジョーンズ(Vaughan Jones)が作用素代数論から構成した表現と一致する。一般の半単純なリー代数を持つKZ方程式のモノドロミー表現は、対応する量子群(quantum group)の(R-matrix)により与えられるブレイド群の線型表現と一致することも示されている。