ヴィラソロ代数

数学・物理学においてヴィラソロ代数（ヴィラソロだいすう、テンプレート:Lang-en）は、円周上定義される多項式ベクトル場全体の成すリー環の複素化（ヴィット代数）の中心拡大として与えられる無限次元複素リー環で、共形場理論や弦理論において広く用いられる。名称は物理学者のテンプレート:仮リンクに由来する。

定義

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

[L_{m}, L_{n}] = (m - n) L_{m + n} + \frac{c}{12} (m^{3} - m) δ_{m + n, 0}, [C, L_{n}] = 0 (\forall n, m)

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

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

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

表現論

最高ウエイト表現

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

L_{0} v_{h} = h v_{h}, L_{n} v_{h} = 0 (n \geq 1)

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

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

L_{- n_{1}} L_{- n_{2}} \dots L_{- n_{l}} v_{h} (n_{1} \geq n_{2} \geq \dots \geq n_{l} > 0)

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

最高ウエイトベクトル $v_{h}$ によって生成される最高ウエイト表現 $V_{h}$ には以下の条件によって定まる不偏内積 $(\cdot, \cdot) : V_{h} \otimes V_{h} \to ℂ$ が定義される：

(L_{n} w_{1}, w_{2}) = (w_{1}, L_{- n} w_{2}), (v_{h}, v_{h}) = 1, w_{1}, w_{2} \in V_{h} .

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

カッツ行列

既約でない最高ウェイト表現はカッツ行列式から求められる。レベルNのカッツ行列とは、整数 N の分割 $(n_{1}, n_{2}, \dots)$ と $(n'_{1}, n'_{2}, \dots)$ （つまり $n_{1} \geq n_{2} \geq \dots$ となる正整数の有限列）に対して、内積

(L_{- n'_{1}} L_{- n'_{2}} \dots v_{h}, L_{- n_{1}} L_{- n_{2}} \dots v_{h})

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

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

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

h_{r, s} (c) = \frac{(p r - q s)^{2} - (p - q)^{2}}{4 p q}

と置くと、カッツ行列式 ${d e t}_{n}$ には以下の公式が知られている。

{d e t}_{N} = A_{N} \prod_{1 \leq r, s \leq N} (h - h_{r, s} (c))^{p (N - r s)} .

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

特異ベクトル

ヴィラソロ代数の最高ウエイト表現上のベクトル $χ \neq v_{h}$ が特異ベクトルであるとは

L_{n} χ = 0 (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 - \frac{6}{m (m + 1)} = 0, 1 / 2, 7 / 10, 4 / 5, 6 / 7, 25 / 28, \dots

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

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

(r = 1, 2, 3, ..., m−1; s= 1, 2, 3, ..., r) のいずれかの値をとる場合であり、かつそのときに限る。このときq=m, p=m+1に対応している。これらの条件の必要性はテンプレート:Harvtxt によって示され、テンプレート:Harvtxt がテンプレート:仮リンクあるいはテンプレート:仮リンク（ヴィラソロ代数のユニタリ表現をアフィンカッツ・ムーディリー環のユニタリ表現のテンソル積と同一視する）を用いて十分性を示した。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 δ_{n + m, 0}

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

L_{n} = \frac{1}{2} \sum_{k \in ℤ} : a_{n - k} a_{k} : - α (n + 1) a_{n}

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

一般化

ヴィラソロ代数の超対称的拡大にテンプレート:仮リンク、テンプレート:仮リンクと呼ばれる2つがある。これらの代数の理論はヴィラソロ代数のそれとよく似ている。

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

歴史

ヴィット環（ヴィラソロ代数から中心拡大を除いたもの）はテンプレート:Harvtxt によって発見された。その有限体上の類似物が1930年代にエルンスト・ヴィットによって研究される。ヴィラソロ代数を与えるヴィット環の中心拡大が（正標数の場合に）初めてテンプレート:Harvtxt によって発見され、それと独立にテンプレート:Harvtxt によって（標数0の場合が）再発見された。ヴィラソロは1970年、双対共鳴モデルの研究の中でヴィラソロ代数を生成する演算子のいくつかを書き下ろしているが、中心拡大の発見には到っていない。テンプレート:Harvtxt によれば、中心拡大がヴィラソロ代数を与えることの物理学における再発見は程なく J. H. Weis によって成されている。

ヴィラソロ代数

目次

定義

表現論

最高ウエイト表現

カッツ行列

特異ベクトル

ユニタリ表現

自由場表示

一般化

歴史

関連項目

関連文献

ナビゲーションメニュー

ヴィラソロ代数

定義

表現論

最高ウエイト表現

カッツ行列

特異ベクトル

ユニタリ表現

自由場表示

一般化

歴史

関連項目

関連文献

ナビゲーション メニュー

検索

ナビゲーションメニュー