yagibrary
← 記事一覧に戻る
公開日: 2026-09-13 • 約20分で読めます (9,657文字)

【解説】4次元超共形場理論と2次元カイラル代数の架け橋(1):CFTの抽象的アプローチとブートストラップ

4次元N>=2超共形場理論(SCFT)に付随する2次元カイラル代数の講義録(arXiv:2006.13892)第1章を徹底解説。CFTデータ、OPE代数、共形ブロック分解、共形ブートストラップの基本思想から、保護された部分空間から2次元カイラル代数(VOA)への写像がもたらす革新的意義までを丁寧に紐解きます。

「もし、場の量子論からラグランジアンが完全に消え去ったら、私たちは物理量をどうやって計算すればよいのか?」

現代の場の量子論(QFT)を学ぶ大学院生や研究者が必ず直面する大きなパラダイムシフトが、結合定数による摂動展開(ファインマン・ダイアグラム)が原理的に定義すらできない**「非ラグランジアン理論(強結合理論)」の台頭です。摂動論という標準武器を失ったとき、理論物理学者が到達した究極の切り札こそが「共形対称性(Conformal Symmetry)」と「代数的無撞着性(ブートストラップ)」**でした。

本記事では、現代CFT・超対称場の理論における金字塔的アプローチを体系的に学ぶため、CERN / ダラム大学の Madalena Lemos 氏による名講義録:

“Lectures on chiral algebras of N≥2\mathcal{N} \ge 2 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)の広大なランドスケープ

現代の場の量子論において、私たちは無数の4次元SCFTの存在を知っています。

かつて場の量子論といえば「局所ラグランジアン(作用積分)を書き下し、そこからファインマン・ダイアグラムを展開して摂動計算を行う」というのが標準的なアプローチでした。しかし、超共形場理論の世界には、そのような古典的描像が原理的に通用しない理論が数多く存在します。

「ラグランジアンを持たない」強結合理論たち

例えば、6次元の (2,0)(2,0) 型超共形場理論をリーマン面上にコンパクト化(twisted compactification)することで得られるclass S\mathcal{S} 理論や、クーロン枝の特異点に現れるArgyres-Douglas理論などは、原理的に弱結合極限を持たない**真の強結合理論(intrinsically strongly coupled theories)**の典型例です。

これらの理論の多くには、私たちが自由に微調整できる結合定数(摂動展開の自由パラメータ)が存在せず、通常の場の変数によるラグランジアン記述を持ちません。

では、局所ラグランジアンが知られていない理論を、私たちは一体どうやって研究すればよいのでしょうか? その強力な切り札となるのが**「対称性(Symmetry)」と「共形ブートストラップ(Conformal Bootstrap)」**です。

超対称性の度合いによる理論空間の違い

4次元の超対称性 N\mathcal{N} の数によって、理論空間の広がりや解析のしやすさは大きく異なります。

  • N=4\mathcal{N}=4 SYM(最大超対称性): 16個のポアンカレ超電荷を持ちます。厳密に平坦なモジュライ空間を持ち、ゲージ群の同定を中心とする理論空間の構造が極めて深く理解されています。
  • N=3\mathcal{N}=3 SCFT: 12個の超電荷を持ちます。比較的最近(2015年以降、S-fold構成などを通じて)発見された孤立した強結合固定点を含み、理論空間は極めて強く制約されています。
  • N=2\mathcal{N}=2 SCFT: 8個の超電荷を持ちます。クーロン枝やヒッグス枝、Seiberg-Witten幾何など非常に豊かな物理構造を持つ一方で、超共形代数による非摂動的統制が効き、系統的な分類が射程圏内にある絶妙なバランスに位置しています。
  • N=1\mathcal{N}=1 SCFT: 4個の超電荷。理論の自由度がきわめて広大であり、双対性や固定点の網羅的探索にはまだ多くの開拓余地が残されています。

こうした理由から、**「N≥2\mathcal{N} \ge 2 の超共形場理論」**は、理論の豊かさと可解性の両面から、非摂動的アプローチにおける最重要ターゲットの一つとなっています。


2. CFTの抽象的アプローチ:何が理論を決定するのか?

ラグランジアンに頼らない場合、私たちはCFTをどのように捉えればよいでしょうか。 現代の共形ブートストラップでは、次のような**抽象的観点(Abstract viewpoint)**を基本骨格に据えます。

局所的な観測量の観点において、CFTは「局所演算子のスペクトル」と「それらの相関関数(OPE係数)」の整合的な集合によって特徴づけられる。

※大局的な位相構造や理論全体の完全な記述にはウィルソンループや面欠陥などの非局所演算子(拡張演算子)も重要になりますが、局所演算子同士のなす部分系は自己無撞着に閉じた解析単位を構成するため、まずはここを出発点とします。

対称性が運動学(Kinematics)を固定する

共形対称性は非常に強力です。時空の並進・回転・スケール変換・特殊共形変換からなる共形群 SO(d,2)SO(d,2) の要請により、低次の局所演算子相関関数の関数形は対称性だけで完全に決定されます。

(1) 1点関数

スケール不変性により、共形次元 ΔO\Delta_{\mathcal{O}} を持つスカラー演算子の1点関数は、恒等演算子 1\mathbf{1}(Δ=0\Delta=0)を除いて厳密にゼロになります。

⟨O(x)⟩=0(ΔO≠0)\langle \mathcal{O}(x) \rangle = 0 \quad (\Delta_{\mathcal{O}} \neq 0)

(2) 2点関数

共形不変性により、異なる共形次元を持つ演算子同士の2点関数は直交し、時空座標への依存性は完全に固定されます。

⟨Oi(x1)Oj(x2)⟩=δΔi,ΔjCijx122Δi(x12≡∣x1−x2∣)\langle \mathcal{O}_i(x_1) \mathcal{O}_j(x_2) \rangle = \frac{\delta_{\Delta_i, \Delta_j} C_{ij}}{x_{12}^{2\Delta_i}} \quad (x_{12} \equiv |x_1 - x_2|)

ユニタリなCFTでは、適切な直交基底を選ぶことで係数行列を対角化し、Cij=δijC_{ij} = \delta_{ij} に規格化できます。

💡 【詳細解説】
並進・回転・スケール変換および特殊共形変換(SCT)や反転対称性から、この2点関数および3点関数の関数形を厳密に導出するステップ(Exercise 1の完全解法)は、以下の演習解説記事で詳しく扱っています。
👉 【演習解説】共形不変性からスカラー2点関数・3点関数を厳密に導出する(4d SCFT講義録 Exercise 1)

(3) 3点関数

3つのスカラープライマリ演算子の3点関数も、座標依存性はすべて対称性で決まります。

⟨O1(x1)O2(x2)O3(x3)⟩=λ123∣x12∣Δ1+Δ2−Δ3∣x13∣Δ1+Δ3−Δ2∣x23∣Δ2+Δ3−Δ1\langle \mathcal{O}_1(x_1) \mathcal{O}_2(x_2) \mathcal{O}_3(x_3) \rangle = \frac{\lambda_{123}}{|x_{12}|^{\Delta_1+\Delta_2-\Delta_3} |x_{13}|^{\Delta_1+\Delta_3-\Delta_2} |x_{23}|^{\Delta_2+\Delta_3-\Delta_1}}

ここで残された未定の定数 λ123\lambda_{123} こそが、理論の力学(相互作用の強さ)を担う**3点結合定数(OPE係数)**です。スピンを持つ演算子の場合も未定係数の数は有限個のテンソル構造に制約されます。

つまり、1点・2点・3点関数の時空依存性には任意の未定関数が入る余地がなく、理論の力学的情報は定数 λijk\lambda_{ijk} に完全に集約されているのです。


3. 演算子積展開(OPE)と CFT データ:理論を解く実践的3ステップ

CFTのもう一つの本質的な性質が、**有限の収束半径を持つ演算子積展開(OPE: Operator Product Expansion)**の存在です。

状態演算子対応(State-Operator Correspondence)に支えられ、ユークリッド空間において演算子同士を近づけた際、その積を他の局所演算子の無限和として厳密に展開できます。

O1(x)O2(0)∼∑k : primaryλ12kxΔ1+Δ2−Δk(Ok(0)+βxμ∂μOk(0)+… )\mathcal{O}_1(x) \mathcal{O}_2(0) \sim \sum_{k \text{ : primary}} \frac{\lambda_{12k}}{x^{\Delta_1+\Delta_2-\Delta_k}} \left( \mathcal{O}_k(0) + \beta x^\mu \partial_\mu \mathcal{O}_k(0) + \dots \right)

ここで重要なポイントは以下の2点です。

  1. カッコ内の微分項(ディセンダント演算子 ∂…∂Ok\partial \dots \partial \mathcal{O}_k)の係数 β\beta などは、共形対称性によってプライマリ演算子の寄与から一意に決定される。
  2. このOPEの展開係数 λ12k\lambda_{12k} は、先ほどの3点関数の結合定数 λ12k\lambda_{12k} と厳密に一致する。

したがって、任意の局所高次相関関数(4点関数、5点関数、…)は、OPEを繰り返し適用することで、原理的には3点結合定数 λijk\lambda_{ijk} と共形次元 Δ\Delta の組み合わせへと帰着させることが可能です。

理論を「解く」とはどういうことか?

このことから、局所観測量の観点でCFTを解明する(解く)ために必要な情報の実体が明確になります。

【CFT データ(CFT data)】

  • 演算子スペクトル: 存在する共形プライマリ演算子の量子数 {Δk,ℓk}\{\Delta_k, \ell_k\}(および内部対称性の表現)
  • OPE係数の集合: 3点結合定数 {λijk}\{\lambda_{ijk}\}

理論に含まれる局所演算子の共形次元・スピンと、それらの間のOPE係数がすべて求まれば、原理上そのCFTの任意の局所相関関数を構成できます。

📌 【実践】非摂動CFTを解析する際の具体的アルゴリズム

  1. Kinematicsの固定: 共形群の代数を用いて、対象とするスカラーまたはテンソル演算子の2点・3点関数のテンソル構造を決定する。
  2. OPE展開とブロック同定: 4点関数にペアワイズでOPEを適用し、普遍関数である共形ブロック gΔ,ℓ(u,v)g_{\Delta, \ell}(u, v) の展開形を得る。
  3. CFTデータの決定: 次節で解説するクロッシング方程式とユニタリ性境界を課し、スペクトル Δk\Delta_k と結合定数 λijk\lambda_{ijk} の許容領域を絞り込む。

4. 共形ブロック分解:4点関数の構造

では、理論の非自明な力学が初めて現れる4点関数を見てみましょう。簡単のため、4つの同一スカラー演算子 O\mathcal{O} の4点関数を考えます。

共形対称性により、4点関数の座標依存性は以下の形に制限されます。

⟨O(x1)O(x2)O(x3)O(x4)⟩=1x122ΔOx342ΔOg(u,v)\langle \mathcal{O}(x_1) \mathcal{O}(x_2) \mathcal{O}(x_3) \mathcal{O}(x_4) \rangle = \frac{1}{x_{12}^{2\Delta_{\mathcal{O}}} x_{34}^{2\Delta_{\mathcal{O}}}} g(u, v)

ここで、u,vu, v は4点の位置から作られる**共形不変なクロス比(conformally invariant cross-ratios)**です。

u=x122x342x132x242,v=x232x142x132x242u = \frac{x_{12}^2 x_{34}^2}{x_{13}^2 x_{24}^2}, \quad v = \frac{x_{23}^2 x_{14}^2}{x_{13}^2 x_{24}^2}

4つの点は共形変換によって同一平面上に移すことができ、そのうち3点を 0,1,∞0, 1, \infty に固定できるため、残る1点の複素座標 (z,zˉ)(z, \bar{z}) に対応して2つの独立な自由度 u,vu, v が現れます。関数 g(u,v)g(u, v) は対称性だけでは決まらない非自明な力学関数です。

ダブルOPE展開と共形ブロック

ここで、演算子積展開を O(x1)O(x2)\mathcal{O}(x_1)\mathcal{O}(x_2) と O(x3)O(x4)\mathcal{O}(x_3)\mathcal{O}(x_4) のペアに適用(ダブルOPE)してみます。

⟨(O(x1)O(x2))(O(x3)O(x4))⟩=1x122ΔOx342ΔO∑Δk,ℓkλOOk2 gΔk,ℓk(u,v)\langle (\mathcal{O}(x_1)\mathcal{O}(x_2)) (\mathcal{O}(x_3)\mathcal{O}(x_4)) \rangle = \frac{1}{x_{12}^{2\Delta_{\mathcal{O}}} x_{34}^{2\Delta_{\mathcal{O}}}} \sum_{\Delta_k, \ell_k} \lambda_{\mathcal{O}\mathcal{O}k}^2 \, g_{\Delta_k, \ell_k}(u, v)

この展開に現れる関数 gΔk,ℓk(u,v)g_{\Delta_k, \ell_k}(u, v) を**共形ブロック(Conformal Block)**と呼びます。

  • 中間状態として交換されるプライマリ演算子 Ok\mathcal{O}_k と、そのすべてのディセンダント(時空微分)の寄与を足し上げたもの。
  • 理論の相互作用によらず、運動学(共形対称性)のみで一意に決定される普遍関数である。

つまり、未知の力学的関数 g(u,v)g(u, v) は、既知のブロック gΔk,ℓk(u,v)g_{\Delta_k, \ell_k}(u, v) に対し、理論固有の重み λOOk2\lambda_{\mathcal{O}\mathcal{O}k}^2 を掛けた無限和として完全に分解・整理できるのです。


5. コンフォーマル・ブートストラップの思想と数値的実装アプローチ

ここまでの枠組みから、いよいよ極めて強力な制約条件が導かれます。 それが**演算子積代数の結合律(Associativity)**です。

相関関数の中で3つ以上の演算子を作用させる際、どのペアから先にOPEを展開しても結果は一致しなければなりません。

((O1(x1)O2(x2))O3(x3))=(O1(x1)(O2(x2)O3(x3)))\Big( \big( \mathcal{O}_1(x_1) \mathcal{O}_2(x_2) \big) \mathcal{O}_3(x_3) \Big) = \Big( \mathcal{O}_1(x_1) \big( \mathcal{O}_2(x_2) \mathcal{O}_3(x_3) \big) \Big)

これを4点関数に適用するとどうなるでしょうか?

  • (12)(34)(12)(34) というペアでOPEを取る(ss チャンネル)
  • (14)(23)(14)(23) というペアでOPEを取る(tt チャンネル)

この2つの展開方法は、全く同一の物理的相関関数を表現していなければなりません。

∑kλ12kλ34k gΔk,ℓk(u,v)=(uv)ΔO∑mλ23mλ14m gΔm,ℓm(v,u)\sum_{k} \lambda_{12k}\lambda_{34k} \, g_{\Delta_k, \ell_k}(u, v) = \left(\frac{u}{v}\right)^{\Delta_{\mathcal{O}}} \sum_{m} \lambda_{23m}\lambda_{14m} \, g_{\Delta_m, \ell_m}(v, u)

この等式を**クロッシング方程式(Crossing equation)**と呼びます。

ブートストラップの威力と具体的ワークフロー

クロッシング方程式は、数学的には自明ではない無限次元の関数等式であり、ここに**「ユニタリ性(Unitarity)」**の物理要請が加わることで極めてタイトな拘束力を発揮します。

  • 反射陽性(Reflection positivity)を持つユニタリ理論では、実スカラーの3点結合定数は実数となり、中間状態の二乗係数は非負(λ2≥0\lambda^2 \ge 0)を満たす。
  • ユニタリ性境界(Unitarity bounds)により、演算子の共形次元に下限が存在する(例:スカラーなら Δ≥d−22\Delta \ge \frac{d-2}{2})。

未知のCFTデータ集合 {Δk,λijk}\{\Delta_k, \lambda_{ijk}\} に対し、すべての連続変数 (u,v)(u, v) で等式が成立しなければならないため、整合的な物理理論の解空間は極めて強く限定されます。

【ブートストラップ数値解析の定石手順】
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次元 N≥2\mathcal{N} \ge 2 超共形場理論に対し、その特定の保護された演算子部分空間(シュア演算子セクター)から2次元カイラル代数(頂点作用素代数)への代数的準同型写像が存在する:

∃ χ:HSchur⊂{4d N≥2 SCFTs}⟶{2d chiral algebras (VOAs)}\exists \, \chi : \mathcal{H}_{\text{Schur}} \subset \{ 4\text{d } \mathcal{N} \ge 2 \text{ SCFTs} \} \longrightarrow \{ 2\text{d chiral algebras (VOAs)} \}

なぜこれが革命的なのか?(3つの本質的利点)

  1. 4次元の保護された力学が、2次元の代数計算へと精緻に縮約される:
    4次元の局所演算子のうち、特定の超電荷のコホモロジーに属する「シュア演算子(Schur operators)」に注目すると、その相関関数は4次元時空内の特定2次元平面に制限され、反正則座標 zˉ\bar{z} への依存性がコホモロジーレベルで消失して**厳密に正則(holomorphic)**になります。
  2. 2次元の無限次元対称性が直接活用できる:
    得られる代数は、2次元共形場理論の左移動セクター、すなわち数学における**頂点作用素代数(VOA: Vertex Operator Algebra)**の構造を正確に備えています。Virasoro代数やアフィン・リー代数、WW 代数など、2次元特有の無限次元代数の強力な表現論を4次元の量(シュア指数の計算や相関関数)へと直接還元できます。
  3. ラグランジアン非依存で厳密計算が可能:
    この対応関係の導出には、微視的なラグランジアン記述の有無を一切必要としません。強結合で摂動論が破綻している非ラグランジアン理論であっても、対応する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次元の N≥2\mathcal{N} \ge 2 SCFTには、ラグランジアンを持たない真の強結合理論が無数に存在する。
  • 思想: CFTは対称性とOPEの結合律(クロッシング対称性)から迫ることができ、これが「コンフォーマル・ブートストラップ」の基盤をなす。
  • 架け橋: N≥2\mathcal{N} \ge 2 SCFTにおいて特定の保護された演算子セクターを取り出すことで、2次元カイラル代数(VOA)へと厳密に写像して代数的に解く道が拓かれる。

第2章では、この受け皿となる「2次元共形場理論とカイラル代数(VOA)」の基本構造をおさらいし、第3章において、いよいよ**「4次元の演算子からどのようにして2次元代数が構成されるのか(超共形コホモロジー構成)」**の数理的詳細へと足を踏み入れます。

超対称性と無限次元代数学が美しく交錯するこの最先端のフレームワークを、引き続きじっくりと紐解いていきましょう!


関連記事・演習解説

参考文献

  • M. Lemos, “Lectures on chiral algebras of N≥2\mathcal{N} \ge 2 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].
🌐 記事のつながり(ローカルグラフ)
3D 宇宙空間を展開中...
📄 記事プレビュー

タイトル

要約文がここに入ります。

記事
タグ
現在の記事

この記事をシェアする

ABOUT THE AUTHOR / 著者紹介
R

Ryohei Yaginuma

Engineer & Author

クラウド(AWS)・Web技術の実践アーキテクチャから、現代物理学(超弦理論・数理物理)、古典・ビジネス名著の構造的解読まで、「知のOS」をアップデートする論考を発信しています。

📚 関連記事

2026-09-21

5次元超共形場理論の離散ゲージ化と磁気箙の幾何:EnE_n 理論の商空間を制するリース積の奇跡

5次元極限で出現する強結合SCFTの離散ゲージ化という未踏のフロンティア。磁気箙のリース積とモノポール公式の符号修正を通じ、EnE_n 理論のヒッグス枝が固定点部分代数へと縮約される厳密な数理的機構を行間まで解き明かす。

2026-09-13

【演習解説】共形不変性からスカラー2点関数・3点関数を厳密に導出する(4d SCFT講義録 Exercise 1)

Madalena Lemos氏の4次元SCFT講義録(arXiv:2006.13892)第1章 Exercise 1の完全解説。並進・回転・スケール変換・特殊共形変換(SCT)および反転(Inversion)の2通りのアプローチを用いて、スカラープライマリ演算子の2点関数と3点関数の関数形が対称性だけで一意に固定されるメカニズムを丁寧に紐解きます。

2026-09-23

例外型Virasoro極小模型の完全解――E系列バルクOPE係数の代数幾何的完全決定と量子群の影

モジュラー不変性のADE分類から約40年。長らく未完だった例外型(E6, E7, E8)Virasoro極小模型の全バルクOPE係数がついに完全決定された。普遍的カイラル因子による還元と1の冪根量子群の6j記号が織りなす、共形ブートストラップの極致を徹底解明する。

2026-09-23

4次元SCFTの線欠陥が3次元TQFTを織り成すとき:Gaiotto-Kimトレース公式とモジュラー圏の全貌

4次元超共形場理論と2次元頂点作用素代数を媒介する3次元TQFTの謎。本論文はGaiotto-Kimトレース公式に4次元半BPS線欠陥を挿入し、融合代数を保ちながら3次元Wilsonループへ写す準同型と、モジュラーS/T行列を厳密決定する系統的アルゴリズムを解き明かした。