ヴィラソロ代数のソースを表示

[[数学]]・[[物理学]]において'''ヴィラソロ代数'''（ヴィラソロだいすう、{{lang-en|''Virasoro algebra''}}）は、円周上定義される多項式ベクトル場全体の成すリー環の複素化（[[ヴィット代数]]）の[[リー環の拡大#中心拡大|中心拡大]]として与えられる無限次元複素[[リー代数|リー環]]で、[[共形場理論]]や[[弦理論]]において広く用いられる。名称は物理学者の{{仮リンク|ミゲル・ヴィラソロ|en|Miguel Ángel Virasoro (physicist)}}に由来する。

== 定義 ==
'''ヴィラソロ代数'''とは交換関係
:<math>[L_m,L_n]=(m-n)L_{m+n}+\frac{c}{12}(m^3-m)\delta_{m+n,0}, \quad [C,L_n]=0 \quad (\forall n, m)</math>
を満たす可算無限個の元 <math>\{ L_n | n \in \mathbb{Z} \} \cup \{ C\}</math>によって生成される'''[[リー代数]]'''である（1/12 という因子は単に慣習的なものである）。ここでの中心元 ''C'' は'''[[セントラルチャージ]]'''と呼ばれる。

ヴィラソロ代数は、円周上の多項式ベクトル場全体の成す[[ヴィット代数|複素ヴィット環]]の中心拡大である。円周上の実多項式場全体の成す実リー環は円周上の微分同相全体の成すリー環の稠密な部分リー環である。

[[弦理論]]における[[エネルギー・運動量テンソル]]は{{仮リンク|世界面|en|Worldsheet}}の共形群の生成元すべてを含むので、2つのヴィラソロ代数の直積の交換関係に従う。これは、共形群が前方および後方光円錐の分離微分同相に分解されるからである。世界面の微分同相不変性はエネルギー・運動量テンソルが消えることをも意味している。このことは{{仮リンク|ヴィラソロ制限|en|Virasoro constraint}}として知られ、量子化された理論では、すべての状態について成り立つのではなく、物理的な状態（[[ノルム]]が正の状態）にだけ成り立つ（{{仮リンク|グプタ・ブロイラー量子化|en|Gupta-Bleuler quantization}}参照）。

== 表現論 ==

=== 最高ウエイト表現 ===
ヴィラソロ代数の'''最高ウェイト表現'''とは、
:<math> L_0 v_h=h v_h, \quad L_n v_h=0 \quad (n \geq 1) </math>
を満たし、<math>C v_h=c v_h </math> (<math>h, c \in \mathbb{C}</math>)
となるようなベクトル <math> v_h</math> によって生成されるベクトル空間である。このとき <math>L_0</math> の固有値である複素数 <math>h</math> を最高ウェイトと呼び、ベクトル <math>v_h</math> を最高ウェイト <math>h</math> の最高ウェイトベクトルと呼ぶ。（注意：通常、表現と言った場合にはリー代数から <math>\mathrm{End}(V)</math> への準同型写像 <math>\rho</math> のことであるが、ヴィラソロ代数の表現論においては上記の <math>v_h</math> によって生成される表現空間 <math>V</math> そのものを最高ウェイト表現と呼ぶことが多い。また表現の記号 <math>\rho</math> は省略して、よく <math> \rho (L_n) v</math> を <math> L_n v</math> と表記する。またヴィラソロ代数の元としての <math>C</math> とその固有値 <math>c</math> とに同じ文字 <math>c</math> が使われることもある。）

ヴィラソロ代数の最高ウェイト表現は以下の形のベクトル
:<math> L_{-n_1} L_{-n_2} \cdots L_{-n_l} v_h \quad (n_1 \geq n_2 \geq \cdots \geq n_l >0) </math>
の線形結合によって張ることができる。またこの形のベクトルがすべて線形独立であるとき、その最高ウェイト表現を{{仮リンク|ヴァーマ加群|en|Verma module}}と呼ぶ。これらのベクトルはすべて <math>L_0</math> の固有ベクトルであり、その固有値は <math>h+\sum_{i=1}^l n_i </math> である。従って最高ウェイト <math>h</math> のヴァーマ加群は <math>L_0</math>の固有空間によって分解され、固有値 <math>h+n</math> (<math>n \in \mathbb{N}</math>) の固有空間の次元は <math>n</math> の[[分割数]] <math>p(n)</math> となる。
またこのときの <math> n </math> をその固有空間のレベルと呼ぶ。

最高ウエイトベクトル <math> v_h </math> によって生成される最高ウエイト表現 <math>V_h</math> には
以下の条件によって定まる不偏内積 <math> (\cdot, \cdot):V_h \otimes V_h \rightarrow \mathbb{C} </math> が定義される：
:<math>(L_n w_1, w_2)=(w_1, L_{-n} w_2) , \quad (v_h, v_h)=1, \qquad w_1, w_2 \in V_h. </math>
最高ウエイト表現の2つのベクトルはレベルが異なるとき不変内積について直交する。
どの複素数の組 ( <math>h</math>, <math>c</math> ) についても、既約最高ウェイト表現が一意的に存在する。

=== カッツ行列 ===
既約でない最高ウェイト表現は'''カッツ行列式'''から求められる。
レベルNの'''カッツ行列'''とは、整数 N の[[整数分割|分割]] <math>(n_1, n_2, \ldots)</math> と <math>(n'_1, n'_2, \ldots)</math>
（つまり <math> n_1\geq n_2 \geq \cdots</math> となる正整数の有限列）に対して、内積
:<math> (L_{-n'_1} L_{-n'_2} \cdots v_h, L_{-n_1} L_{-n_2} \cdots v_h) </math>
を成分にもつ <math>p(n) \times p(n)</math> 行列のことで、
その行列式をカッツ行列式という。
ヴィラソロ代数の中心 c を
:<math> c = 1 - 6 {(p-q)^2 \over pq}</math>
とパラメトライズし、整数''r, s''に対して
:<math> h_{r,s}(c) = {{(pr-qs)^2-(p-q)^2} \over 4pq}</math>
と置くと、
カッツ行列式 <math>\mathrm{det}_n</math> には以下の公式が知られている。
:<math>\mathrm{det}_N=A_N\prod_{1\le r,s\le N}(h-h_{r,s}(c))^{p(N-rs)}.</math>
（関数 ''p''(''N'') は[[分割数]]であり、''A''<sub>''N''</sub> は定数である）
この公式は {{harvtxt|Kac|1978}} によって主張され（{{harvtxt|Kac|Raina|1987}} も参照）、{{harvtxt|Feigin|Fuks|1984}}において初めて証明された。
<math>h=h_{r,s}</math> に対応するヴァーマ加群では、以下に説明する特異ベクトルが存在するため、可約となる。
特に、''q''/''p''が正の有理数の場合、無限個の特異ベクトルが存在しそれらの生成する極大部分加群による商をミニマル表現という。
この表現は{{harvtxt|Belavin|1984}} らが研究を始めた{{仮リンク|ミニマル模型|en|Minimal models}}に対応する。
この結果は {{harvtxt|Feigin|Fuks|1984}} によってすべての既約最高ウェイト表現の指標を求めるために使われた。

=== 特異ベクトル ===
ヴィラソロ代数の最高ウエイト表現上のベクトル <math>\chi \neq v_h</math> が特異ベクトルであるとは
:<math> L_n \chi =0 \quad (n \geq 1) </math>
となることである。最高ウエイトが <math>h=h_{r,s}</math> のとき、ヴァーマ加群はレベル ''rs'' に特異ベクトルを持つ。
特異ベクトルが存在するとそれを最高ウエイトベクトルとする部分加群が存在するので、
元の表現の既約性を判定することができる。
また特異ベクトルはヴィラソロ代数を自由場表示することによって、
長方形ヤング図形に対応した{{仮リンク|ジャック多項式|en|Jack polynomials}}に一致することが知られている。

=== ユニタリ表現 ===
最高ウェイト表現が'''ユニタリ'''であるとは、内積 <math> (\cdot, \cdot)</math> が正定値となるということである。
実数の固有値 <math>h</math>, <math>c</math> を持つ既約最高ウェイト表現がユニタリであるのは、
<math>c\geq 1</math> かつ <math>h \geq 0 </math> である場合、若しくは
上の条件 <math>h=h_{r,s}</math> にさらに制限を加え <math>c</math> が
:<math> c = 1-{6\over m(m+1)} = 0,\quad 1/2,\quad 7/10,\quad 4/5,\quad 6/7,\quad 25/28, \ldots</math>
(''m'' = 2, 3, 4, ...) のいずれかの値をとり、かつ ''h'' が
:<math> h = h_{r,s}(c) = {((m+1)r-ms)^2-1 \over 4m(m+1)}</math>
(''r'' = 1, 2, 3, ..., ''m''&minus;1; ''s''= 1, 2, 3, ..., ''r'') のいずれかの値をとる場合であり、かつそのときに限る。
このときq=m, p=m+1に対応している。
これらの条件の必要性は {{harvtxt|Friedan|Qiu|Shenker|1984}} によって示され、{{harvtxt|Goddard|Kent|Olive|1986}} が{{仮リンク|コセット構成|en|coset construction}}あるいは{{仮リンク|GKO構成|en|GKO construction}}（ヴィラソロ代数の[[ユニタリ表現]]をアフィン[[カッツ・ムーディ代数|カッツ・ムーディリー環]]のユニタリ表現のテンソル積と同一視する）を用いて十分性を示した。''c'' &lt; 1 を持つユニタリ既約最高ウェイト表現は、ヴィラソロ代数の'''離散系列表現'''と総称される。

離散系列表現の最初のほうは以下のように与えられる。
* ''m'' = 2: ''c'' = 0, ''h'' = 0. （自明表現）
* ''m'' = 3: ''c'' = 1/2, ''h'' = 0, 1/16, 1/2. （[[イジング模型]]に関連する 3 種類の表現）
* ''m'' = 4: ''c'' = 7/10. ''h'' = 0, 3/80, 1/10, 7/16, 3/5, 3/2. （三重臨界イジング模型に関連する 6 種類の表現）
* ''m'' = 5: ''c'' = 4/5. （3-状態[[ポッツ模型]]に関連する 10 種類の表現）
* ''m'' = 6: ''c'' = 6/7. （三重臨界 3-状態ポッツ模型に関連する 15 種類の表現）

=== 自由場表示 ===
<math>a_n</math>を交換関係
:<math> [a_n,a_m]=n \delta_{n+m,0} </math>
を満たす[[ハイゼンベルク代数]]の生成元とする。
このときヴィラソロ代数の生成元は
:<math>L_n = \frac{1}{2} \sum_{k \in \mathbb{Z}} :a_{n-k} a_k: -\alpha (n+1) a_n</math>
と表示することができる。ただし <math> :\quad: </math> は正規順序化の記号であり、
ヴィラソロ代数の中心を<math>c=1-12\alpha^2</math>とパラメトライズした。

== 一般化 ==
ヴィラソロ代数の超対称的拡大に{{仮リンク|ヌヴ・シュワルツ代数|en|Neveu-Schwarz algebra}}、{{仮リンク|ラモン代数|en|Ramond algebra}}と呼ばれる2つがある。これらの代数の理論はヴィラソロ代数のそれとよく似ている。

ヴィラソロ代数は、種数 0 のリーマン面上で固定された2点を除いて正則であるような有理型ベクトル場全体の成すリー環の中心拡大である。{{harvtxt|Krichever|Novikov|1987}} はより高い種数のコンパクトリーマン面上で固定された2点の例外を除いて正則であるような有理型ベクトル場全体の成すリー環の中心拡大を発見、また {{harvtxt|Schlichenmaier|1993}} はこれを例外が2点より多い場合に拡張した。

== 歴史 ==
ヴィット環（ヴィラソロ代数から中心拡大を除いたもの）は {{harvtxt|Cartan|1909}} によって発見された。その有限体上の類似物が1930年代に[[エルンスト・ヴィット]]によって研究される。ヴィラソロ代数を与えるヴィット環の中心拡大が（正標数の場合に）初めて {{harvtxt|Block|1966|p=381}} によって発見され、それと独立に {{harvtxt|Gel'fand|Fuks|1968}} によって（標数0の場合が）再発見された。ヴィラソロは1970年、双対共鳴モデルの研究の中でヴィラソロ代数を生成する演算子のいくつかを書き下ろしているが、中心拡大の発見には到っていない。{{harvtxt|Brower|Thorn|1971|p=167}} によれば、中心拡大がヴィラソロ代数を与えることの物理学における再発見は程なく J. H. Weis によって成されている。

== 関連項目 ==
* [[ヴィット代数]]
* [[WZWモデル]]
* [[共形場理論]]
* [[ゴースト非存在定理]]

== 関連文献 ==
* {{citation | first1=Alexander |last1=Belavin | first2=Alexander |last2=Polyakov | first3=Alexander | last3=Zamolodchikov | url=https://doi.org/10.1016/0550-3213(84)90052-X | title=Infinite conformal symmetry in two-dimensional quantum field theory | series= Nucl. Phys. B241 | year=1984 | pp=333–380}}
* {{citation | first=R.E. | last=Block | url=http://links.jstor.org/sici?sici=0002-9947%28196602%29121%3A2%3C378%3AOTMAFL%3E2.0.CO%3B2-H | title=On the Mills–Seligman axioms for Lie algebras of classical type | series= Trans. Amer. Math. Soc. , 121 | year=1966 | pp=378–392}}
* {{citation| first1=R. C. | last1=Brower | first2= C. B. | last2=Thorn | url= https://doi.org/doi:10.1016/0550-3213(71)90452-4 | title=Eliminating spurious states from the dual resonance model. | series= Nucl. Phys. B31 | pp=163-182 | year=1971}}
* {{citation| first=E. | last= Cartan | authorlink=エリ・カルタン | url=http://www.numdam.org/numdam-bin/fitem?id=ASENS_1909_3_26__93_0 | title=Les groupes de transformations continus, infinis, simples. | publisher=Ann. Sci. Ecole Norm. Sup. 26, 93-161 |year=1909}}
* {{citation| first1=B.L. | last1=Feigin | first2=D.B. | last2=Fuks | title=Verma models over the Virasoro algebra | others= L.D. Faddeev (ed.) A.A. Mal'tsev (ed.) , Topology. Proc. Internat. Topol. Conf. Leningrad 1982 , Lect. notes in math. , 1060 , | publisher=Springer |year=1984|pp=230–245}}
* {{citation| last1=Friedan | first1= D. | last2= Qiu | first2= Z. | last3= Shenker | first3= S. | url=http://prola.aps.org/abstract/PRL/v52/i18/p1575_1 | title= Conformal invariance, unitarity and critical exponents in two dimensions | series= Phys. Rev. Lett. 52 | year=1984 | pp= 1575-1578}}
* {{citation|first1=I.M. |last1=Gel'fand |authorlink1= イズライル・ゲルファント | first2=D.B. | last2=Fuks | title=The cohomology of the Lie algebra of vector fields in a circle | series= Funct. Anal. Appl. , 2 | year=1968 | pp=342–343}} Funkts. Anal. i Prilozh. , 2 : 4 (1968) pp. 92–93
* {{citation | first1=P. | last1=Goddard | first2= A. | last2=Kent | first3= D. | last3= Olive | url= http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.cmp/1104114626 | title= Unitary representations of the Virasoro and super-Virasoro algebras | series= Comm. Math. Phys. 103, no. 1 | year=1986 | pp=105–119}}
* {{citation| first=A. | last=Kent | url= http://www.sciencedirect.com/science/article/B6TVN-46YKH94-X5/2/bac331f52494e09b55cb8cf2bee52f0c | title= Singular vectors of the Virasoro algebra | series= Physics Letters B, Volume 273, Issues 1-2, | date= 12 December 1991 | pp= 56-62}}
* {{SpringerEOM|title=Virasoro algebra|author=Victor Kac|urlname=Virasoro_algebra}}
* {{citation | first=V.G. |last= Kac | title= Highest weight representations of infinite dimensional Lie algebras | publisher=Proc. Internat. Congress Mathematicians | location= Helsinki | year= 1978}}
* {{citation | first= V.G. |last=Kac | first2=A.K. | last2=Raina | title=Bombay lectures on highest weight representations | publisher= World Sci. | year=1987 | isbn=9971503956}}
* {{citation| first= V.K. |last=Dobrev | title=Multiplet classification of the indecomposable highest weight modules over the Neveu-Schwarz and Ramond superalgebras | series= Lett. Math. Phys. '''11''' | year=1986 |pp= 225-234}} & correction: ibid. '''13''' (1987) 260.
* {{citation| first=I.M. |last=Krichever | first2=S.P. |last2=Novikov | title=Algebras of Virasoro type, Riemann surfaces and structures of the theory of solitons | series= Funkts. Anal. Appl. , 21:2 | year=1987 | pp=46–63}}
* {{citation | first=V.K. |last=Dobrev | title=Characters of the irreducible highest weight modules over the Virasoro and super-Virasoro algebras | series= Suppl. Rendiconti Circolo Matematici di Palermo, Serie II, Numero 14 | year=1987 | pp=25-42}}
* {{citation| first=M. | last=Schlichenmaier | title=Differential operator algebras on compact Riemann surfaces | others= H.-D. Doebner (ed.) V.K. Dobrev (ed.) A.G Ushveridze (ed.) | series= Generalized Symmetries in Physics, Clausthal 1993 , World Sci | year=1994 | pp=425–435}}
* {{citation| first= M. A. |last=Virasoro | url=http://prola.aps.org/abstract/PRD/v1/i10/p2933_1 | title=Subsidiary conditions and ghosts in dual-resonance models| series= Phys. Rev. , D1 | year=1970 | pp=2933–2936}}
* {{citation| first=A. J. |last= Wassermann | url=http://iml.univ-mrs.fr/~wasserm/ | title=Lecture Notes on the Kac-Moody and Virasoro algebras}}

{{Normdaten}}
{{DEFAULTSORT:ういらそろたいすう}}
[[Category:共形場理論]]
[[Category:リー環論]]
[[Category:数学に関する記事]]