Witt 代数と Virasoro 代数:中心拡大の分類と Bott–Virasoro コサイクル
対象読者: 学部の線形代数と複素解析、Lie 代数の基本(括弧積・表現・Killing 形式)を学んだ人。Lie 代数のコホモロジーと多様体上の微分同相群は、この記事の中で導入するので仮定しません。
前提となる記事:Lie 環の構造論:Engel・Lie の定理、Killing 形式と Cartan の判定法、Weyl の完全可約性
0. この記事の要点
Section titled “0. この記事の要点”平面の上で角度を保つ変形(共形変換)を考えると、独立な動かし方が無限に多くあります。この記事では、その動かし方がつくる代数に「余分な定数の方向」を 1 本足す方法(中心拡大)が、本質的にただ 1 通りしかないことを示します。読み終えると、2 次元共形場理論に現れる中心電荷 がなぜ 1 つの数で足りるのかを、計算で説明できるようになります。
- Witt 代数 は基底 ()と括弧 をもつ Lie 代数で、Laurent 多項式環 の微分 の全体です。円周上の三角多項式ベクトル場の複素化でもあり、円周の微分同相群 の Lie 代数の「代数的な芯」です。
- Lie 代数 の 1 次元中心拡大(括弧に影響しない方向を 1 本足した代数)の同値類は、第 2 コホモロジー (拡大の違いを数える道具)と 1 対 1 に対応します。
- 主定理: は 1 次元で、コサイクル が張ります。したがって非自明な 1 次元中心拡大は Virasoro 代数 ただ 1 つです。
- 群の側では、 上の Bott コサイクル が群の 2-コサイクルになり、中心拡大群(Virasoro–Bott 群)を与えます。その 2 階微分は Gelfand–Fuchs コサイクル で、Fourier 基底で に比例します。
- 中心項の という形は、 上でコサイクルが消えるように正規化した結果です。
2 次元の共形変換は、局所的には正則関数 のすべてで与えられ、無限次元の対称性をなします。その無限小生成子 たちがつくる Lie 代数が Witt 代数です。ところが量子論では、対称性は射影表現(作用の合成が定数倍を除いてしか成り立たない表現)として実現されるのが普通で、Lie 代数のレベルでは 中心拡大 が現れます。2 次元共形場理論の基本的な不変量である 中心電荷 は、まさにこの中心拡大の係数です。
そこで最初に問うべきことは「Witt 代数の中心拡大にはどれだけの自由度があるか」です。答えは「本質的に 1 つ」で、これが Virasoro 代数がただ 1 つのパラメータ をもつ理由です。この記事ではこれを Lie 代数のコホモロジーの計算として証明し、さらに群 の側で同じ拡大を与える Bott のコサイクルを構成します。
このテーマの見通し。 テーマ「共形場理論と頂点作用素代数」は 6 章からなります。
| 章 | 内容 |
|---|---|
| 本章 | Witt 代数・Virasoro 代数・中心拡大の分類・Bott コサイクル |
| Virasoro の最高ウェイト表現 | Verma 加群、Kac 行列式、ユニタリ性の必要条件、Feigin–Fuchs の Fock 加群 |
| coset 構成と極小模型 | 菅原構成・GKO coset によるユニタリ表現の構成、BPZ の融合則、bc ゴースト |
| 頂点作用素代数 | 形式的分布と局所性、Dong の補題、Goddard の一意性定理、Borcherds 恒等式、Zhu 代数 |
| アフィン Lie 代数と WZW 模型 | アフィン Kac–Moody 代数、アフィン頂点代数、可積分表現、Polyakov–Wiegmann 恒等式 |
| W 代数 | Miura 変換、 のゼロモード、量子 Hamilton 簡約 |
前半 3 章は Lie 代数の表現論(最高ウェイト理論)の無限次元版として、後半 3 章は頂点作用素代数という代数構造の上で議論します。
執筆: Claude Code(Opus 5.5)、Claude Code(Sonnet 5.5)・監査 2 回(Claude Code)・最終 2026-10-12
この記事の誤りを報告する ・運営: 夢現技研合同会社 ・料金 ・利用条件 ・特定商取引法に基づく表記
© 2026 夢現技研合同会社 ・コード例は MIT ライセンスです。