コンテンツにスキップ

Witt 代数と Virasoro 代数:中心拡大の分類と Bott–Virasoro コサイクル

対象読者: 学部の線形代数と複素解析、Lie 代数の基本(括弧積・表現・Killing 形式)を学んだ人。Lie 代数のコホモロジーと多様体上の微分同相群は、この記事の中で導入するので仮定しません。

前提となる記事:Lie 環の構造論:Engel・Lie の定理、Killing 形式と Cartan の判定法、Weyl の完全可約性

生 Markdown

平面の上で角度を保つ変形(共形変換)を考えると、独立な動かし方が無限に多くあります。この記事では、その動かし方がつくる代数に「余分な定数の方向」を 1 本足す方法(中心拡大)が、本質的にただ 1 通りしかないことを示します。読み終えると、2 次元共形場理論に現れる中心電荷 cc がなぜ 1 つの数で足りるのかを、計算で説明できるようになります。

  • Witt 代数 W\mathcal{W} は基底 dnd_n(n∈Zn\in\mathbb{Z})と括弧 [dm,dn]=(m−n)dm+n[d_m,d_n]=(m-n)d_{m+n} をもつ Lie 代数で、Laurent 多項式環 C[z,z−1]\mathbb{C}[z,z^{-1}] の微分 dn=−zn+1ddzd_n=-z^{n+1}\frac{d}{dz} の全体です。円周上の三角多項式ベクトル場の複素化でもあり、円周の微分同相群 Diff+(S1)\mathrm{Diff}^+(S^1) の Lie 代数の「代数的な芯」です。
  • Lie 代数 g\mathfrak{g} の 1 次元中心拡大(括弧に影響しない方向を 1 本足した代数)の同値類は、第 2 コホモロジー H2(g,C)H^2(\mathfrak{g},\mathbb{C})(拡大の違いを数える道具)と 1 対 1 に対応します。
  • 主定理: H2(W,C)H^2(\mathcal{W},\mathbb{C}) は 1 次元で、コサイクル ω(dm,dn)=m3−m12δm+n,0\omega(d_m,d_n)=\frac{m^3-m}{12}\delta_{m+n,0} が張ります。したがって非自明な 1 次元中心拡大は Virasoro 代数 [Lm,Ln]=(m−n)Lm+n+c12(m3−m)δm+n,0[L_m,L_n]=(m-n)L_{m+n}+\frac{c}{12}(m^3-m)\delta_{m+n,0} ただ 1 つです。
  • 群の側では、Diff+(S1)\mathrm{Diff}^+(S^1) 上の Bott コサイクル B(φ,ψ)=12∫S1log⁡(φ∘ψ)′ dlog⁡ψ′B(\varphi,\psi)=\frac12\int_{S^1}\log(\varphi\circ\psi)'\,d\log\psi' が群の 2-コサイクルになり、中心拡大群(Virasoro–Bott 群)を与えます。その 2 階微分は Gelfand–Fuchs コサイクル ∫f′g′′ dθ\int f'g''\,d\theta で、Fourier 基底で m3m^3 に比例します。
  • 中心項の m3−mm^3-m という形は、{d−1,d0,d1}≅sl(2,C)\{d_{-1},d_0,d_1\}\cong\mathfrak{sl}(2,\mathbb{C}) 上でコサイクルが消えるように正規化した結果です。

2 次元の共形変換は、局所的には正則関数 z↦f(z)z\mapsto f(z) のすべてで与えられ、無限次元の対称性をなします。その無限小生成子 −zn+1∂z-z^{n+1}\partial_z たちがつくる Lie 代数が Witt 代数です。ところが量子論では、対称性は射影表現(作用の合成が定数倍を除いてしか成り立たない表現)として実現されるのが普通で、Lie 代数のレベルでは 中心拡大 が現れます。2 次元共形場理論の基本的な不変量である 中心電荷 cc は、まさにこの中心拡大の係数です。

そこで最初に問うべきことは「Witt 代数の中心拡大にはどれだけの自由度があるか」です。答えは「本質的に 1 つ」で、これが Virasoro 代数がただ 1 つのパラメータ cc をもつ理由です。この記事ではこれを Lie 代数のコホモロジーの計算として証明し、さらに群 Diff+(S1)\mathrm{Diff}^+(S^1) の側で同じ拡大を与える 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 変換、W3\mathcal{W}_3 のゼロモード、量子 Hamilton 簡約

前半 3 章は Lie 代数の表現論(最高ウェイト理論)の無限次元版として、後半 3 章は頂点作用素代数という代数構造の上で議論します。

ここから先は有料(買い切り ¥200)の内容です。

この章は博士課程以上・研究水準の内容です。続き(定義・定理・証明・例・演習)は ¥200 の買い切りで、他の有料章と 100 本ノックも含めてすべて読めます。無料の章は最後まで読めます。

購入する ログイン

このテーマの 100 本ノック(50 問)

執筆: Claude Code(Opus 5.5)、Claude Code(Sonnet 5.5)・監査 2 回(Claude Code)・最終 2026-10-12

この記事の誤りを報告する ・運営: 夢現技研合同会社 ・料金 ・利用条件 ・特定商取引法に基づく表記

© 2026 夢現技研合同会社 ・コード例は MIT ライセンスです。