ヴィラソロ代数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

数学物理学においてヴィラソロ代数(ヴィラソロだいすう、英語: Virasoro algebra)は円周上定義される複素多項式ベクトル場の中心拡大英語版として与えられる無限次元複素リー環で、共形場理論弦理論において広く用いられる。名称は物理学者のミゲル・ヴィラソロ英語版に由来する。

定義[編集]

ヴィラソロ代数とは交換関係

[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)

を満たす可算無限個の元 \{ L_n | n \in \mathbb{Z} \} \cup \{ C\}によって生成されるリー代数である(1/12 という因子は単に慣習的なものである)。ここでの中心元 Cセントラルチャージと呼ばれる。

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

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

表現論[編集]

最高ウエイト表現[編集]

ヴィラソロ代数の最高ウェイト表現とは、

  L_0 v_h=h v_h, \quad L_n v_h=0 \quad (n \geq 1)

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

ヴィラソロ代数の最高ウェイト表現は以下の形のベクトル

 L_{-n_1} L_{-n_2} \cdots L_{-n_l} v_h \quad (n_1 \geq n_2 \geq \cdots \geq n_l >0)

の線形結合によって張ることができる。またこの形のベクトルがすべて線形独立であるとき、その最高ウェイト表現をヴァーマ加群英語版と呼ぶ。これらのベクトルはすべて L_0 の固有ベクトルであり、その固有値は h+\sum_{i=1}^l n_i である。従って最高ウェイト h のヴァーマ加群は L_0の固有空間によって分解され、固有値 h+n (n \in \mathbb{N}) の固有空間の次元は n分割数 p(n) となる。 またこのときの  n をその固有空間のレベルと呼ぶ。

最高ウエイトベクトル  v_h によって生成される最高ウエイト表現 V_h には 以下の条件によって定まる不偏内積  (\cdot, \cdot):V_h \otimes V_h \rightarrow \mathbb{C} が定義される:

(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.

最高ウエイト表現の2つのベクトルはレベルが異なるとき不変内積について直交する。 どの複素数の組 ( h, c ) についても、既約最高ウェイト表現が一意的に存在する。

カッツ行列[編集]

既約でない最高ウェイト表現はカッツ行列式から求められる。 レベルNのカッツ行列とは、整数 N の分割 (n_1, n_2, \ldots)(n'_1, n'_2, \ldots) (つまり  n_1\geq n_2 \geq \cdots となる正整数の有限列)に対して、内積

 (L_{-n'_1} L_{-n'_2} \cdots v_h, L_{-n_1} L_{-n_2} \cdots v_h)

を成分にもつ p(n) \times p(n) 行列のことで、 その行列式をカッツ行列式という。 ヴィラソロ代数の中心 c を

 c = 1 - 6 {(p-q)^2 \over pq}

とパラメトライズし、整数r, sに対して

 h_{r,s}(c) = {{(pr-qs)^2-(p-q)^2} \over 4pq}

と置くと、 カッツ行列式 \mathrm{det}_n には以下の公式が知られている。

\mathrm{det}_N=A_N\prod_{1\le r,s\le N}(h-h_{r,s}(c))^{p(N-rs)}.

(関数 p(N) は分割数であり、AN は定数である) この公式は Kac (1978) によって主張され(Kac & Raina (1987) も参照)、Feigin & Fuks (1984)において初めて証明された。 h=h_{r,s} に対応するヴァーマ加群では、以下に説明する特異ベクトルが存在するため、可約となる。 特に、q/pが正の有理数の場合、無限個の特異ベクトルが存在しそれらの生成する極大部分加群による商をミニマル表現という。 この表現はBelavin (1984) らが研究を始めたミニマル模型英語版に対応する。 この結果は Feigin & Fuks (1984) によってすべての既約最高ウェイト表現の指標を求めるために使われた。

特異ベクトル[編集]

ヴィラソロ代数の最高ウエイト表現上のベクトル \chi \neq v_h が特異ベクトルであるとは

 L_n \chi =0 \quad (n \geq 1)

となることである。最高ウエイトが h=h_{r,s} のとき、ヴァーマ加群はレベル rs に特異ベクトルを持つ。 特異ベクトルが存在するとそれを最高ウエイトベクトルとする部分加群が存在するので、 元の表現の既約性を判定することができる。 また特異ベクトルはヴィラソロ代数を自由場表示することによって、 長方形ヤング図形に対応したジャック多項式英語版に一致することが知られている。

ユニタリ表現[編集]

最高ウェイト表現がユニタリであるとは、内積  (\cdot, \cdot) が正定値となるということである。 実数の固有値 h, c を持つ既約最高ウェイト表現がユニタリであるのは、 c\geq 1 かつ h \geq 0 である場合、若しくは 上の条件 h=h_{r,s} にさらに制限を加え c

 c = 1-{6\over m(m+1)} = 0,\quad 1/2,\quad 7/10,\quad 4/5,\quad 6/7,\quad 25/28, \ldots

(m = 2, 3, 4, ...) のいずれかの値をとり、かつ h

 h = h_{r,s}(c) = {((m+1)r-ms)^2-1 \over 4m(m+1)}

(r = 1, 2, 3, ..., m−1; s= 1, 2, 3, ..., r) のいずれかの値をとる場合であり、かつそのときに限る。 このときq=m, p=m+1に対応している。 これらの条件の必要性は Friedan, Qiu & Shenker (1984) によって示され、Goddard, Kent & Olive (1986)コセット構成英語版あるいはGKO構成英語版(ヴィラソロ代数のユニタリ表現をアフィンカッツ・ムーディリー環のユニタリ表現のテンソル積と同一視する)を用いて十分性を示した。c < 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 種類の表現)

自由場表示[編集]

a_nを交換関係

 [a_n,a_m]=n \delta_{n+m,0}

を満たすハイゼンベルグ代数の生成元とする。 このときヴィラソロ代数の生成元は

L_n = \frac{1}{2} \sum_{k \in \mathbb{Z}} :a_{n-k} a_k: -\alpha (n+1) a_n

と表示することができる。ただし  :\quad: は正規順序化の記号であり、 ヴィラソロ代数の中心をc=1-12\alpha^2とパラメトライズした。


一般化[編集]

ヴィラソロ代数の超対称的拡大にヌヴ・シュワルツ代数英語版ラモン代数英語版と呼ばれる2つがある。これらの代数の理論はヴィラソロ代数のそれとよく似ている。

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

歴史[編集]

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

関連項目[編集]

関連文献[編集]