WZWモデル

理論物理学および数学において、ベス・ズミノ・ウィッテンモデル (Wess–Zumino–Witten (WZW) model) とは、アフィン・カッツ・ムーディ代数が解となるような単純な共形場理論モデルのことを言う。WZWモデルと省略されたり、ベス・ズミノ・ノヴィコフ・ウィッテンモデル(Wess–Zumino–Novikov–Witten model)とも言う。命名はユリウス・ヴェス、ブルーノ・ズミノ、セルゲイ・ノヴィコフとエドワード・ウィッテンによる 。 G をコンパクトで単連結なリー群とし、g をその単純リー代数とする。γ を G に値を持つ複素平面上の場とする。さらに、γ をリーマン球面 S2上で定義したい。これは無限遠点を加えることで複素平面をコンパクト化したものである。 そこで、WZWモデルは、次で与えられる作用をもつ γ で定義される非線型シグマモデルと定義される。 S k ( γ ) = − k 8 π ∫ S 2 d 2 x K ( γ − 1 ∂ μ γ , γ − 1 ∂ μ γ ) + 2 π k S W Z ( γ ) . {\displaystyle S_{k}(\gamma )=-\,{\frac {k}{8\pi }}\int _{S^{2}}d^{2}x\,{\mathcal {K}}(\gamma ^{-1}\partial ^{\mu }\gamma \,,\,\gamma ^{-1}\partial _{\mu }\gamma )+2\pi k\,S^{\mathrm {WZ} }(\gamma ).} ここに ∂μ = ∂/∂xμ は偏微分であり、和はユークリッド計量のインデックスを渡る普通のアインシュタインの縮約記法を使う。ここに、 K {\displaystyle {\mathcal {K}}} は g 上のキリング形式であり、従って、第一項は、場の量子論の標準的な力学項である。 項 S W Z {\displaystyle S^{WZ}} は、ベス・ズミノ項 (Wess–Zumino term) と呼ばれ、次のように書くことができる。 S W Z ( γ ) = − 1 48 π 2 ∫ B 3 d 3 y ϵ i j k K ( γ − 1 ∂ γ ∂ y i , [ γ − 1 ∂ γ ∂ y j , γ − 1 ∂ γ ∂ y k ] ) {\displaystyle S^{\mathrm {WZ} }(\gamma )=-\,{\frac {1}{48\pi ^{2}}}\int _{B^{3}}d^{3}y\,\epsilon ^{ijk}{\mathcal {K}}\left(\gamma ^{-1}\,{\frac {\partial \gamma }{\partial y^{i}}}\,,\,\left[\gamma ^{-1}\,{\frac {\partial \gamma }{\partial y^{j}}}\,,\,\gamma ^{-1}\,{\frac {\partial \gamma }{\partial y^{k}}}\right]\right)} ここに、[,] は交換子であり、εijk は完全反対称テンソル（英語版）(completely anti-symmetric tensor)で、積分は、座標 yi (i = 1, 2, 3) に対し、単位球 B 3 {\displaystyle B^{3}} を渡ることする。この積分では、場 γ は単位球の内部で定義されるように拡張される。ホモトピー群 π2(G) が常に任意のコンパクトな単連結なリー群の上ではゼロとなることから、この拡張はいつでも可能である。もともと γ を2次元球面 S 2 = ∂ B 3 {\displaystyle S^{2}=\partial B^{3}} 上で定義した。 ea がリー代数の基底ベクトルとすると、 K ( e a , [ e b , e c ] ) {\displaystyle {\mathcal {K}}(e_{a},[e_{b},e_{c}])} はリー代数の構造定数であることに注意する。また、構造定数は完全反対称であるので、これらは G の群多様体の3-形式を決定する。従って、上記の積分は、まさに調和 3-形式の球面 B 3 {\displaystyle B^{3}} への引き戻し（英語版）である。調和 3-形式の γ* による引き戻しを c と書くと、 S W Z ( γ ) = ∫ B 3 γ ∗ c {\displaystyle S^{\mathrm {WZ} }(\gamma )=\int _{B^{3}}\gamma ^{*}c} となる。この形式は、WZ項のトポロジカルな解析へ直接つながっていく。 幾何学的には、この項は多様体の捩率テンソルを記述している。この捩れの存在は強制的に多様体の遠隔平行性（英語版）となり、捩れをもつ曲率テンソルの自明性を導く。従って、繰り込みフローや繰り込み群の赤外固定点（英語版）(infrared fixed point)、ジオメトロスタシス(geometrostasis)と呼ばれる現象を把握することができる。 球体の内部内部の場の拡張は一意的ではなく、拡張とは独立であるという物理的要請より、レベルと呼ばれる結合パラメータ k について量子化条件を導入することとなる。γ の球体の内部への異なった 2つの拡張を考える。これらは平坦な 3次元空間からリー群 G への写像である。ここでこれらの 2つの球を境界 S 2 {\displaystyle S^{2}} で互いに貼り合わせることを考える。貼り合わせの結果はトポロジカルな3-球となり、各々の球体 B 3 {\displaystyle B^{3}} は S 3 {\displaystyle S^{3}} の半球である。γ のそれぞれの球体上での 2つの異なる拡張は、写像 S 3 → G {\displaystyle S^{3}\rightarrow G} となる。しかし、任意のコンパクトな単連結なリー群 G に対して、ホモトピー群 π3(G) = Zである。 このようにして、 S W Z ( γ ) = S W Z ( γ ′ ) + n   , {\displaystyle S^{\mathrm {WZ} }(\gamma )=S^{\mathrm {WZ} }(\gamma ')+n~,} を得る。ここに γ と γ' は 2つの異なる球体上への拡張を表し、n は整数で互いに貼り合わせたときの巻き付き数を表す。 もし、 exp ⁡ ( i 2 π k S W Z ( γ ) ) = exp ⁡ ( i 2 π k S W Z ( γ ′ ) ) . {\displaystyle \exp \left(i2\pi kS^{\mathrm {WZ} }(\gamma )\right)=\exp \left(i2\pi kS^{\mathrm {WZ} }(\gamma ')\right).} であれば、これらのモデルの導く物理が同じでなるはずである。このようにしてトポロジカルな考えは、レベル k は G がコンパクトな単連結な単準リー群のときには整数であるはずであるという結論を導く。半単純、もしくは非連結なコンパクトリー群に対しては、各々の連結で単純な成分ごとに整数のレベルがある。 このトポロジカルな障害はまた、理論のアフィンリー代数の対称性の表現論ともみなすことができる。各々のレベルが正の整数の場合に、アフィンリー代数はある絶対的な整数の最高ウェイトであるユニタリな表現論を持つ。そのような表現は、各々の単純ルートではられる部分代数に関して、有限次元の部分代数へ分解し、対応する負のルートとその交換子は、カルタンの生成子を形成する。 SL(2,R) のような非コンパクトな単純リー群 G についての WZWモデルに興味が向き、これらはジュアン・マルダセーナ(Juan Maldacena)や大栗博司(Hirosi Ooguri)により 3次元の反ド・ジッター空間上の弦理論を記述することに使われた。 これは群 SL(2,R) の普遍被覆である。この場合には、π3(SL(2,R)) = 0 となるので、トポロジカルな障害はなく、レベルは整数となるとは限らない。対応して、そのような非コンパクトなリー群の表現論はこれらのコンパクトな部分よりも豊かな内容を持つ。 上記ではWZWモデルをリーマン球面上で定義したが、γ がコンパクトリーマン面上にあるように一般化する。 WZWモデルのカレント代数（英語版）(current algebra)は、カッツ・ムーディリー代数である。ストレスエネルギーテンソルは菅原構成（英語版）(Sugawara construction)により与えられる。 WZWモデルの商を取ると、中心電荷が元の 2つの差異であるような新しい共形場理論を得られる。 ^ Wess, J.; Zumino, B. (1971). “Consequences of anomalous ward identities”. Physics Letters B 37: 95. Bibcode: 1971PhLB...37...95W. doi:10.1016/0370-2693(71)90582-X.  ^ Witten, E. (1983). “Global aspects of current algebra”. Nuclear Physics B 223 (2): 422–421. Bibcode: 1983NuPhB.223..422W. doi:10.1016/0550-3213(83)90063-9.  ^ Witten, E. (1984). “Non-abelian bosonization in two dimensions”. Communications in Mathematical Physics 92 (4): 455–472. Bibcode: 1984CMaPh..92..455W. doi:10.1007/BF01215276.  ^ Novikov, S.P. (1981). “Multivalued functions and functionals. An analogue of the Morse theory”. Sov. Math., Dokl. 24: 222–226. ; Novikov, S. P. (1982). “The Hamiltonian formalism and a many-valued analogue of Morse theory”. Russian Mathematical Surveys 37 (5): 1–9. doi:10.1070/RM1982v037n05ABEH004020.  ^ Braaten, E.; Curtright, T. L.; Zachos, C. K. (1985). "Torsion and geometrostasis in nonlinear sigma models". Nuclear Physics B 260 (3–4): 630. Bibcode:1985NuPhB.260..630B. doi:10.1016/0550-3213(85)90053-7 ^ Maldacena, J.; Ooguri, H. (2001). “Strings in AdS3 and the SL(2,R) WZW model. I: The spectrum”. Journal of Mathematical Physics 42 (7): 2929. doi:10.1063/1.1377273.