「もし、場の量子論からラグランジアンが完全に消え去ったら、私たちは物理量をどうやって計算すればよいのか?」
現代の場の量子論(QFT)を学ぶ大学院生や研究者が必ず直面する大きなパラダイムシフトが、結合定数による摂動展開(ファインマン・ダイアグラム)が原理的に定義すらできない**「非ラグランジアン理論(強結合理論)」の台頭です。摂動論という標準武器を失ったとき、理論物理学者が到達した究極の切り札こそが「共形対称性(Conformal Symmetry)」と「代数的無撞着性(ブートストラップ)」**でした。
本記事では、現代CFT・超対称場の理論における金字塔的アプローチを体系的に学ぶため、CERN / ダラム大学の Madalena Lemos 氏による名講義録:
“Lectures on chiral algebras of superconformal field theories” (arXiv:2006.13892 / PDF)
の**第1章「Introduction and motivation」を徹底解説します。単なる数式要約にとどまらず、「なぜ4次元の複雑な強結合理論が、2次元の代数(頂点作用素代数: VOA)へと驚くほど鮮やかに還元されるのか?」**という物理的動機と数理的機構を、現代CFTの原論文を自力で読み解くための実践的ロードマップとして紐解いていきます。
💡 本記事で得られる具体的な学び・スキル
- ラグランジアン不要のCFT解析フロー: 演算子スペクトルとOPE係数のみから相関関数を再構築する定石プロセスの習得
- ブートストラップ方程式の構造理解: クロッシング対称性を行列計算・数値最適化(半正定値計画問題)へ落とし込む論理的道筋の把握
- 4d/2d対応(Beemら2013)の核心把握: 4次元の保護されたセクター(Schur sector)が、なぜ2次元VOAの正則性・代数計算に帰着するのかという数理的機構の整理
数式の導出だけでなく、**「なぜそのアプローチを取るのか」「物理的に何を意味しているのか」**という背景と思想に焦点を当てて見ていきましょう。
目次
- 1. 4次元超共形場理論(SCFT)の広大なランドスケープ
- 2. CFTの抽象的アプローチ:何が理論を決定するのか?
- 3. 演算子積展開(OPE)と CFT データ:理論を解く実践的3ステップ
- 4. 共形ブロック分解:4点関数の構造
- 5. コンフォーマル・ブートストラップの思想と数値的実装アプローチ
- 6. 力学的ブレークスルー:4d SCFTから「2次元カイラル代数」へ
- 7. まとめと次回への展望
- 参考文献
1. 4次元超共形場理論(SCFT)の広大なランドスケープ
現代の場の量子論において、私たちは無数の4次元SCFTの存在を知っています。
かつて場の量子論といえば「局所ラグランジアン(作用積分)を書き下し、そこからファインマン・ダイアグラムを展開して摂動計算を行う」というのが標準的なアプローチでした。しかし、超共形場理論の世界には、そのような古典的描像が原理的に通用しない理論が数多く存在します。
「ラグランジアンを持たない」強結合理論たち
例えば、6次元の 型超共形場理論をリーマン面上にコンパクト化(twisted compactification)することで得られるclass 理論や、クーロン枝の特異点に現れるArgyres-Douglas理論などは、原理的に弱結合極限を持たない**真の強結合理論(intrinsically strongly coupled theories)**の典型例です。
これらの理論の多くには、私たちが自由に微調整できる結合定数(摂動展開の自由パラメータ)が存在せず、通常の場の変数によるラグランジアン記述を持ちません。
では、局所ラグランジアンが知られていない理論を、私たちは一体どうやって研究すればよいのでしょうか? その強力な切り札となるのが**「対称性(Symmetry)」と「共形ブートストラップ(Conformal Bootstrap)」**です。
超対称性の度合いによる理論空間の違い
4次元の超対称性 の数によって、理論空間の広がりや解析のしやすさは大きく異なります。
- SYM(最大超対称性): 16個のポアンカレ超電荷を持ちます。厳密に平坦なモジュライ空間を持ち、ゲージ群の同定を中心とする理論空間の構造が極めて深く理解されています。
- SCFT: 12個の超電荷を持ちます。比較的最近(2015年以降、S-fold構成などを通じて)発見された孤立した強結合固定点を含み、理論空間は極めて強く制約されています。
- SCFT: 8個の超電荷を持ちます。クーロン枝やヒッグス枝、Seiberg-Witten幾何など非常に豊かな物理構造を持つ一方で、超共形代数による非摂動的統制が効き、系統的な分類が射程圏内にある絶妙なバランスに位置しています。
- SCFT: 4個の超電荷。理論の自由度がきわめて広大であり、双対性や固定点の網羅的探索にはまだ多くの開拓余地が残されています。
こうした理由から、**「 の超共形場理論」**は、理論の豊かさと可解性の両面から、非摂動的アプローチにおける最重要ターゲットの一つとなっています。
2. CFTの抽象的アプローチ:何が理論を決定するのか?
ラグランジアンに頼らない場合、私たちはCFTをどのように捉えればよいでしょうか。 現代の共形ブートストラップでは、次のような**抽象的観点(Abstract viewpoint)**を基本骨格に据えます。
局所的な観測量の観点において、CFTは「局所演算子のスペクトル」と「それらの相関関数(OPE係数)」の整合的な集合によって特徴づけられる。
※大局的な位相構造や理論全体の完全な記述にはウィルソンループや面欠陥などの非局所演算子(拡張演算子)も重要になりますが、局所演算子同士のなす部分系は自己無撞着に閉じた解析単位を構成するため、まずはここを出発点とします。
対称性が運動学(Kinematics)を固定する
共形対称性は非常に強力です。時空の並進・回転・スケール変換・特殊共形変換からなる共形群 の要請により、低次の局所演算子相関関数の関数形は対称性だけで完全に決定されます。
(1) 1点関数
スケール不変性により、共形次元 を持つスカラー演算子の1点関数は、恒等演算子 ()を除いて厳密にゼロになります。
(2) 2点関数
共形不変性により、異なる共形次元を持つ演算子同士の2点関数は直交し、時空座標への依存性は完全に固定されます。
ユニタリなCFTでは、適切な直交基底を選ぶことで係数行列を対角化し、 に規格化できます。
💡 【詳細解説】
並進・回転・スケール変換および特殊共形変換(SCT)や反転対称性から、この2点関数および3点関数の関数形を厳密に導出するステップ(Exercise 1の完全解法)は、以下の演習解説記事で詳しく扱っています。
👉 【演習解説】共形不変性からスカラー2点関数・3点関数を厳密に導出する(4d SCFT講義録 Exercise 1)
(3) 3点関数
3つのスカラープライマリ演算子の3点関数も、座標依存性はすべて対称性で決まります。
ここで残された未定の定数 こそが、理論の力学(相互作用の強さ)を担う**3点結合定数(OPE係数)**です。スピンを持つ演算子の場合も未定係数の数は有限個のテンソル構造に制約されます。
つまり、1点・2点・3点関数の時空依存性には任意の未定関数が入る余地がなく、理論の力学的情報は定数 に完全に集約されているのです。
3. 演算子積展開(OPE)と CFT データ:理論を解く実践的3ステップ
CFTのもう一つの本質的な性質が、**有限の収束半径を持つ演算子積展開(OPE: Operator Product Expansion)**の存在です。
状態演算子対応(State-Operator Correspondence)に支えられ、ユークリッド空間において演算子同士を近づけた際、その積を他の局所演算子の無限和として厳密に展開できます。
ここで重要なポイントは以下の2点です。
- カッコ内の微分項(ディセンダント演算子 )の係数 などは、共形対称性によってプライマリ演算子の寄与から一意に決定される。
- このOPEの展開係数 は、先ほどの3点関数の結合定数 と厳密に一致する。
したがって、任意の局所高次相関関数(4点関数、5点関数、…)は、OPEを繰り返し適用することで、原理的には3点結合定数 と共形次元 の組み合わせへと帰着させることが可能です。
理論を「解く」とはどういうことか?
このことから、局所観測量の観点でCFTを解明する(解く)ために必要な情報の実体が明確になります。
【CFT データ(CFT data)】
- 演算子スペクトル: 存在する共形プライマリ演算子の量子数 (および内部対称性の表現)
- OPE係数の集合: 3点結合定数
理論に含まれる局所演算子の共形次元・スピンと、それらの間のOPE係数がすべて求まれば、原理上そのCFTの任意の局所相関関数を構成できます。
📌 【実践】非摂動CFTを解析する際の具体的アルゴリズム
- Kinematicsの固定: 共形群の代数を用いて、対象とするスカラーまたはテンソル演算子の2点・3点関数のテンソル構造を決定する。
- OPE展開とブロック同定: 4点関数にペアワイズでOPEを適用し、普遍関数である共形ブロック の展開形を得る。
- CFTデータの決定: 次節で解説するクロッシング方程式とユニタリ性境界を課し、スペクトル と結合定数 の許容領域を絞り込む。
4. 共形ブロック分解:4点関数の構造
では、理論の非自明な力学が初めて現れる4点関数を見てみましょう。簡単のため、4つの同一スカラー演算子 の4点関数を考えます。
共形対称性により、4点関数の座標依存性は以下の形に制限されます。
ここで、 は4点の位置から作られる**共形不変なクロス比(conformally invariant cross-ratios)**です。
4つの点は共形変換によって同一平面上に移すことができ、そのうち3点を に固定できるため、残る1点の複素座標 に対応して2つの独立な自由度 が現れます。関数 は対称性だけでは決まらない非自明な力学関数です。
ダブルOPE展開と共形ブロック
ここで、演算子積展開を と のペアに適用(ダブルOPE)してみます。
この展開に現れる関数 を**共形ブロック(Conformal Block)**と呼びます。
- 中間状態として交換されるプライマリ演算子 と、そのすべてのディセンダント(時空微分)の寄与を足し上げたもの。
- 理論の相互作用によらず、運動学(共形対称性)のみで一意に決定される普遍関数である。
つまり、未知の力学的関数 は、既知のブロック に対し、理論固有の重み を掛けた無限和として完全に分解・整理できるのです。
5. コンフォーマル・ブートストラップの思想と数値的実装アプローチ
ここまでの枠組みから、いよいよ極めて強力な制約条件が導かれます。 それが**演算子積代数の結合律(Associativity)**です。
相関関数の中で3つ以上の演算子を作用させる際、どのペアから先にOPEを展開しても結果は一致しなければなりません。
これを4点関数に適用するとどうなるでしょうか?
- というペアでOPEを取る( チャンネル)
- というペアでOPEを取る( チャンネル)
この2つの展開方法は、全く同一の物理的相関関数を表現していなければなりません。
この等式を**クロッシング方程式(Crossing equation)**と呼びます。
ブートストラップの威力と具体的ワークフロー
クロッシング方程式は、数学的には自明ではない無限次元の関数等式であり、ここに**「ユニタリ性(Unitarity)」**の物理要請が加わることで極めてタイトな拘束力を発揮します。
- 反射陽性(Reflection positivity)を持つユニタリ理論では、実スカラーの3点結合定数は実数となり、中間状態の二乗係数は非負()を満たす。
- ユニタリ性境界(Unitarity bounds)により、演算子の共形次元に下限が存在する(例:スカラーなら )。
未知のCFTデータ集合 に対し、すべての連続変数 で等式が成立しなければならないため、整合的な物理理論の解空間は極めて強く限定されます。
【ブートストラップ数値解析の定石手順】
1. クロッシング方程式を F_{Δ, ℓ}(u, v) の和(ベクトル形式)として整理
2. 対称点 z = z̄ = 1/2 の周りでテイラー展開し、有限次元の線形汎関数空間に射影
3. 半正定値計画法(SDPソルバー: SDPBなど)を用いて、恒等演算子を除くすべての寄与を正にする汎関数 α を探索
4. 条件を満たす解が存在しない領域を「物理的に不可能な理論」として厳密に排除(Islandsの同定)
2008年の Rattazzi, Rychkov, Tonni, Vichi らの先駆的研究以降、この半正定値計画法を用いた数値的共形ブートストラップが確立され、3次元イジング模型の臨界指数が世界最高精度で決定されるなど、場の量子論の非摂動解析に大きなブレークスルーをもたらしました。
6. 力学的ブレークスルー:4d SCFTから「2次元カイラル代数」へ
一方で、4次元のブートストラップ方程式を解析的に一般解まで解き切ることは依然として高い数学的ハードルが存在します。数値探索では高精度な境界が得られるものの、「理論の代数的・幾何学的構造の完全な理解」にはもう一段の飛躍が求められていました。
そこで本講義録の主役となるのが、Christopher Beem, Madalena Lemos, Pedro Liendo, Wolfger Peelaers, Leonardo Rastelli, Balt C. van Rees の6名によって2013年に発見された画期的な対応関係です。
【主結果(Result 1: Beem et al. 2013)】 任意の4次元 超共形場理論に対し、その特定の保護された演算子部分空間(シュア演算子セクター)から2次元カイラル代数(頂点作用素代数)への代数的準同型写像が存在する:
なぜこれが革命的なのか?(3つの本質的利点)
- 4次元の保護された力学が、2次元の代数計算へと精緻に縮約される:
4次元の局所演算子のうち、特定の超電荷のコホモロジーに属する「シュア演算子(Schur operators)」に注目すると、その相関関数は4次元時空内の特定2次元平面に制限され、反正則座標 への依存性がコホモロジーレベルで消失して**厳密に正則(holomorphic)**になります。 - 2次元の無限次元対称性が直接活用できる:
得られる代数は、2次元共形場理論の左移動セクター、すなわち数学における**頂点作用素代数(VOA: Vertex Operator Algebra)**の構造を正確に備えています。Virasoro代数やアフィン・リー代数、 代数など、2次元特有の無限次元代数の強力な表現論を4次元の量(シュア指数の計算や相関関数)へと直接還元できます。 - ラグランジアン非依存で厳密計算が可能:
この対応関係の導出には、微視的なラグランジアン記述の有無を一切必要としません。強結合で摂動論が破綻している非ラグランジアン理論であっても、対応する2次元VOAが同定できれば、4次元理論の一部のOPE係数やフレーバーカレント相関関数などを代数的に厳密導出できます。
射程と限界:何が分かり、何が残されるのか?
ここで学術的な誠実さとして留意すべき重要な点は、この写像が**「4次元SCFTの全セクターを解く万能の魔法ではない」**という事実です。
- 解ける部分(Schur sector): 1/4 BPSおよび1/8 BPS条件を満たす保護された演算子の構造定数、中心電荷、フレーバー対称性のカレント代数など。
- 残される部分(Non-protected sector): 超対称性によって保護されない長多重項(long multiplet)の異常次元や一般の相関関数。
すなわち、4d/2d対応は「4次元の全データを2次元に落とす」のではなく、**「解析困難な強結合理論の中に、2次元無限次元代数で厳密に解ける強固な背骨(backbone)を突き刺す」**アプローチなのです。この明快な境界線こそが、数値ブートストラップとの相補的連携を可能にしています。
🎯 本連載で目指す読者の到達ゴール
- 4次元の超共形多重項から、どの自由度が2次元の生成元(Virasoroカレントやアフィンカレント)に対応するかを代数的条件から追跡できるようになる。
- 非ラグランジアン理論(Argyres-Douglas理論など)の保護された物理量を、対応するVOAの指標(characters)やモジュラー変換性を通じて解析的に導出・理解できるようになる。
7. まとめと次回への展望
講義録第1章で語られたストーリーを整理しましょう。
- 課題: 4次元の SCFTには、ラグランジアンを持たない真の強結合理論が無数に存在する。
- 思想: CFTは対称性とOPEの結合律(クロッシング対称性)から迫ることができ、これが「コンフォーマル・ブートストラップ」の基盤をなす。
- 架け橋: SCFTにおいて特定の保護された演算子セクターを取り出すことで、2次元カイラル代数(VOA)へと厳密に写像して代数的に解く道が拓かれる。
第2章では、この受け皿となる「2次元共形場理論とカイラル代数(VOA)」の基本構造をおさらいし、第3章において、いよいよ**「4次元の演算子からどのようにして2次元代数が構成されるのか(超共形コホモロジー構成)」**の数理的詳細へと足を踏み入れます。
超対称性と無限次元代数学が美しく交錯するこの最先端のフレームワークを、引き続きじっくりと紐解いていきましょう!
関連記事・演習解説
参考文献
- M. Lemos, “Lectures on chiral algebras of superconformal field theories”, arXiv:2006.13892 [hep-th] (PDF).
- C. Beem, M. Lemos, P. Liendo, W. Peelaers, L. Rastelli, B. C. van Rees, “Infinite Chiral Symmetry in Four Dimensions”, Commun. Math. Phys. 336 (2015) 1359–1433, arXiv:1312.5344 [hep-th].
- D. Simmons-Duffin, “The Conformal Bootstrap”, TASI 2015, arXiv:1602.07982 [hep-th].