有理共形場理論の『指紋』を解き明かす：Fuchs型微分方程式と円分体予想による編組行列の完全決定

導入（1行サマリー＆つかみ）

「トーラス上のモジュラー変換（S行列・T行列）が完全に一致していても、同じRCFT（有理共形場理論）とは限らない」――この事実に戦慄したことのある数理物理学徒なら、今回紹介する論文の放つ凄みが直感的に伝わるはずです。

通常の場の量子論（QFT）や電磁気学では、空間の次元や粒子の散乱振幅をファインマン・ダイアグラムの摂動展開で逐次計算します。しかし、空間が2次元（複素1次元平面）かつスケール不変性を持つ共形場理論（CFT）では、対称性が無限次元のVirasoro（ヴィラソロ）代数へと劇的に拡大し、相関関数が代数幾何学的な「剛性」を持つようになります。

今回は、arXivに登場した極めて刺激的なプレプリント、Suresh Govindarajan氏、Aditya Jain氏、Akhila Sadanandan氏、Prasanta K. Tripathy氏による研究 “Conformal blocks and braiding matrices for RCFTs I: Virasoro minimal models”（2609.19904v1）を、行間を極限まで噛み砕いて解剖します。

難解な数式に突入する前に、まずは全体像を直観的に掴んでおきましょう。

【この記事の核心アイデア（1分で掴む直観的イメージ）】 RCFTにおける4点相関関数のビルディングブロック（共形ブロック）を別チャンネル同士で貼り合わせる「F行列（フュージョン・結合性行列）」は、理論の分類を決定づけるDNA（指紋）である。従来の手法では、理論の不要な冗長度である「特異ベクトル（Null状態）」をゼロとおく微分方程式（BPZ方程式）を解く必要があったが、表現のレベルが上がると代数計算が爆発して手詰まりになっていた。本論文は、状態の内積を規定するShapovalov形式を用いて共形ブロックの級数を直接数項だけ計算し、確定特異点を持つ常微分方程式（Fuchs型ODE）の未定係数（アクセサリーパラメータ）を一瞬で特定。2つの特異点（ $z=0$ と $z=1$ ）の周りのフロベニウス級数解を繋ぐ接続問題としてF行列を数値的に抽出し、さらに「F行列の成分の二乗は円分体（1の冪根を添加した数体）に含まれる」という代数学的予想を打ち立てることで、数値データを寸分の狂いもない完全な厳密代数解へとリフティング（逆変換）する汎用パイプラインを確立した。

2次元物理の相関関数と、3次元トポロジカル場論（TQFT）の結び目不変量を架橋するモジュラー・テンソル・カテゴリ（MTC）の核心へ、いかにして解析学・幾何学・数論の三位一体で切り込むのか。その鮮やかな機構を、前提知識から1ステップずつ丁寧に解き明かしていきましょう。

背景にある物理・数学の壁

まずは、なぜこの研究が必要だったのか、その背後にある数理物理の障壁を整理します。

1. 初等的な場の理論との違いと、共形ブロックの物理的動機

電磁気学や標準的な4次元場の量子論では、4つの粒子が衝突して散乱される振幅を計算する際、中間状態として光子やゲージ粒子が飛ぶ過程をファインマン振幅の積分として計算します。一方、2次元の共形場理論では、複素座標 $z, \bar{z}$ を用いて記述され、無限次元の共形変換群の作用によって、局所場 $\phi_i(z, \bar{z})$ は左巻き（カイラル、正則 $z$ ）成分と右巻き（反カイラル、反対則 $\bar{z}$ ）成分に美しく因数分解されます。

4つのカイラルな局所場（プライマリ場）の4点相関関数 $\langle \phi_1(z_1) \phi_2(z_2) \phi_3(z_3) \phi_4(z_4) \rangle$ は、 $SL(2, \mathbb{C})$ 大域共形不変性（メビウス変換）によって、3点をそれぞれ $z_1 \to \infty, z_2 \to 1, z_4 \to 0$ に固定し、残る1点の座標 $z_3 \to z$ （クロス比）の関数として表すことができます。この相関関数は、中間状態として現れるすべての可能な既約表現（プライマリ場 $\phi_p$ ）の寄与に分解されます：

\langle \phi_1(\infty) \phi_2(1) \phi_3(z) \phi_4(0) \rangle = \sum_p C_{12}^p C_{p34} \, \mathcal{F}_p(z)

ここで、各記号の物理的意味は以下の通りです：

$C_{ij}^k$ ：演算子積展開（OPE）の構造定数（3点関数の結合強度）
$\mathcal{F}_p(z)$ ：対称性（Virasoro代数）のみによって完全に規定される普遍的な幾何学的関数であり、これを「共形ブロック（Conformal Block）」と呼びます。中間状態に場 $\phi_p$ が流れる散乱チャンネルを表しています。

2. $s$ チャンネルと $t$ チャンネルの貼り合わせ：F行列の幾何学的正体

場の量子論において、粒子 1 と 2 が合体して中間状態 $p$ を経由する過程（ $s$ チャンネル： $z \to 0$ の領域）と、粒子 2 と 3 が合体して中間状態 $q$ を経由する過程（ $t$ チャンネル： $z \to 1$ の領域）は、本質的に同じ物理現象を別の基底で眺めているに過ぎません（クロッシング対称性）。

したがって、 $z=0$ の周りで展開される共形ブロック $\mathcal{F}_p^{(s)}(z)$ の基底ベクトルと、 $z=1$ の周りで展開される共形ブロック $\mathcal{F}_q^{(t)}(z)$ の基底ベクトルは、ある正方行列 $\mathbf{F}$ を介して線形結合で変換できなければなりません：

\mathcal{F}_p^{(s)}(z) = \sum_q F_{pq} \, \mathcal{F}_q^{(t)}(z)

この基底変換行列 $F_{pq}$ こそが「F行列（フュージョン行列・結合性行列）」です。トポロジカルには、4本の外部端子を持つファインマン図のトポロジーを「H型」から「I型」へと組み替える操作に相当します。

3. モジュラーデータだけでは理論を分類できないという「壁」

有理共形場理論（RCFT）とは、理論に含まれるプライマリ場の数が有限個であるような行儀の良いCFTのことです。近年の「ホログラフィック・モジュラーブートストラップ」では、トーラス上の分配関数のカイラル構成要素である指標 $\chi_i(\tau) = \text{Tr}_{\mathcal{H}_i}(q^{L_0 - c/24})$ が、モジュラー変換群 $SL(2, \mathbb{Z})$ の作用：

\tau \to -\frac{1}{\tau} \quad (\text{S変換}), \qquad \tau \to \tau + 1 \quad (\text{T変換})

によって互いにどう混ざり合うかを記述するモジュラーデータ（ $S$ 行列と $T$ 行列）を分類してきました。しかし、近年極めて深刻な問題が判明しました。「全く同一のモジュラーデータ $(S, T)$ を持ちながら、互いに同型でない異なるテンソル圏構造（F行列やR行列）を持つエキゾチックなRCFTの反例」が発見されたのです。すなわち、モジュラーデータ $(S, T)$ はRCFTの指紋としては不完全であり、理論の代数的・トポロジカルな正体を唯一無二に決定するためには、4点関数の編組情報である「F行列」を完全に手中に収めなければならないのです。

4. BPZ方程式と「アクセサリーパラメータ」の泥沼

では、F行列をどうやって計算するのか？共形場理論の標準教程（BPZ理論）では、最高ウェイト状態 $|\phi\rangle$ にVirasoro下降演算子 $L_{-m}$ を作用させて得られる「セカンダリ状態（子孫状態）」の中に、ノルムがゼロになる特異ベクトル（Null state）が存在することを利用します。例えばレベル2のNull状態は次のように書かれます：

\left( L_{-2} - \frac{3}{2(2h + 1)} L_{-1}^2 \right) | \phi \rangle = 0

ここで $h$ は共形ウェイト、 $c$ は中心電荷です。相関関数の中にこのNull状態を挿入し、共形Ward恒等式：

\mathcal{L}_{-1} = \partial_z, \quad \mathcal{L}_{-2} = \sum_{i \neq 3} \left( \frac{h_i}{(z_i - z)^2} + \frac{\partial_{z_i}}{z_i - z} \right)

を用いて微分演算子へと置き換えることで、共形ブロック $\mathcal{F}(z)$ が満たす常微分方程式（ODE）を導出できます。しかし、表現のレベル（特異ベクトルの階数）が $N \ge 3$ になると、次の2大障壁が立ちはだかります：

交換関係適用の天文学的爆発：高レベルのVirasoro交換関係 $[L_m, L_n] = (m-n)L_{m+n} + \frac{c}{12}m(m^2-1)\delta_{m+n,0}$ を整理する代数計算が人間業を超えて破綻する。
アクセサリーパラメータの出現：導かれる $N$ 階の微分方程式において、特異点（ $z=0, 1, \infty$ ）の特性指数（局所的な共形ウェイトのデータ）だけでは定まらない未定の定数「アクセサリーパラメータ」が方程式の係数に混入し、方程式そのものを確定できなくなる。

この二重苦によって、高次表現のF行列を系統的に計算することは長年極めて困難な課題だったのです。

この論文の核心アイデアと数理的機構

本論文の著者らは、この泥沼を「Shapovalov形式」「Fuchs型ODEの接続問題」「円分体予想」という見事な連携プレーによって完全に打破しました。その解法ステップを数理的に追体験しましょう。

ステップ1：Shapovalov形式によるアクセサリーパラメータの決定

共形ブロック $\mathcal{F}_p(z)$ は、 $z=0$ の周りで以下のように級数展開できます：

\mathcal{F}_p(z) = z^{h_p - h_3 - h_4} \left( 1 + a_1 z + a_2 z^2 + \mathcal{O}(z^3) \right)

この展開係数 $a_n$ は、中間状態に挿入されるVirasoro Verma加群のレベル $n$ の子孫状態の寄与です。 Verma加群 $V_h^c$ の状態は、整数の分割 $\lambda = (\lambda_1, \lambda_2, \dots)$ に対応する下降演算子で作られます：

|\phi^\lambda\rangle = L_{-\lambda_1} L_{-\lambda_2} \dots L_{-\lambda_k} |\phi\rangle

これらの状態の間の内積行列をShapovalov形式（Shapovalov form）と呼びます：

\mathcal{M}_{\lambda \lambda'} = \langle \phi^\lambda | \phi^{\lambda'} \rangle

【途中計算の導出ステップ】例えばレベル1では、状態は $L_{-1}|\phi\rangle$ のただ1つです。そのノルムは：

ステップ1：共役をとると $(L_{-1}|\phi\rangle)^\dagger = \langle\phi| L_1$
ステップ2：内積は $\langle\phi| L_1 L_{-1} |\phi\rangle = \langle\phi| [L_1, L_{-1}] |\phi\rangle + \langle\phi| L_{-1} L_1 |\phi\rangle$
ステップ3： $L_1|\phi\rangle = 0$ （プライマリ条件）および代数の関係式 $[L_1, L_{-1}] = 2 L_0$ より、 $\mathcal{M}_{(1)(1)} = 2 \langle\phi| L_0 |\phi\rangle = 2h$

レベル2以上でも、同様に交換関係を用いてShapovalov行列 $\mathcal{M}$ を純代数的に決定できます。中間状態に完全系 $\sum_{\lambda, \lambda'} |\phi^\lambda\rangle (\mathcal{M}^{-1})_{\lambda \lambda'} \langle\phi^{\lambda'}|$ を挿入することで、共形ブロックの展開係数 $a_1, a_2$ は、Null状態条件の微分方程式を解くことなく、代数的な内積の計算だけで直接かつ瞬時に求まります。

一方、共形ブロックが満たすべき一般の $N$ 階Fuchs型微分方程式は次のような形をとります：

\left[ \frac{d^N}{dz^N} + \sum_{k=1}^N Q_k(z) \frac{d^{N-k}}{dz^{N-k}} \right] \Psi(z) = 0

ここで $Q_k(z)$ の特異点近傍での極の振る舞いは特異点の指数（共形ウェイト）で拘束されますが、分子には未定のアクセサリーパラメータ $\kappa$ が残ります。そこで、Shapovalov形式から求めた $\Psi(z) = z^{h_p - h_3 - h_4}(1 + a_1 z + \dots)$ をこのODEに直接代入します。 $z$ の最低次のべき乗項をイコールゼロとおく（1ステップの代入と係数比較）だけで、未知数だったアクセサリーパラメータ $\kappa$ が瞬時に代数方程式の解として一意に固定されるのです！

ステップ2：Frobenius解の接続問題としてのF行列

アクセサリーパラメータが確定すれば、ODEの係数は完全に決定された確定特異点型（Fuchs型）の方程式になります。方程式の解空間の次元は $N$ 次元です。特異点 $z=0$ の周りでのFrobenius（フロベニウス）の級数解の基底を並べたベクトルを $\vec{\psi}^{(0)}(z)$ 、 $z=1$ の周りでのFrobenius基底を $\vec{\psi}^{(1)}(z)$ とします。

複素平面上の領域 $0 < \text{Re}(z) < 1$ （例えば $z = 1/2$ ）において、両者の解はどちらも正則であり、同じ解空間の基底を張っているため、ある定数正方行列 $\mathbf{F}$ を介して一意に結ばれます：

\vec{\psi}^{(0)}(z) = \mathbf{F} \, \vec{\psi}^{(1)}(z)

この関係式の両辺を、特異点から十分離れた収束領域の中心 $z=1/2$ およびその近傍の複数点で高精度に評価します。十分な桁数（例えば任意精度演算で100桁以上）でフロベニウス級数を数値計算し、連立一次方程式を解くことで、物理的に求めるべきF行列の数値解を超高精度に抽出できるのです。

ステップ3：ユニタリ化と「円分体（Cyclotomic Field）予想」

しかし、得られたF行列は数値データ（浮動小数点数）に過ぎず、このままでは数学的な厳密解とは言えません。ここからが本論文の極めて独創的な数理展開です。

相関関数の物理的要請（演算子の規格化と内積の正定値性）から、理論の3点関数係数 $C_{ijk}$ を用いて共形ブロックの基底を再スケーリングすることで、F行列はユニタリ行列 $U$ へと変換されることが知られています。

【ユニタリ化の変形ステップ】

ステップ1：元のFuchs基底に対するF行列 $F_{pq}$ に対し、物理的な共形ブロックの基底変換係数（リギング係数）を $u_p = \sqrt{C_{12}^p C_{p34}}$ 、 $v_q = \sqrt{C_{23}^q C_{1q4}}$ とおく。
ステップ2：再定義されたユニタリF行列 $U_{pq}$ は次式で結ばれる：

U_{pq} = \frac{u_p}{v_q} F_{pq}

ステップ3：ユニタリ条件 $U U^\dagger = \mathbb{I}$ 、すなわち $\sum_q U_{pq} (U_{p'q})^* = \delta_{pp'}$ を課す。対角成分・非対角成分の方程式から、比率 $(u_p / v_q)$ の自乗、ひいては未知であった3点関数OPE係数の積 $C_{12}^p C_{p34}$ が副産物として厳密に決定されます。

こうしてユニタリ化された行列 $U$ の数値成分を凝視した著者らは、極めて深遠な代数的構造を見出しました。

【Conjecture 3.1（F行列の円分体性に関する予想）】 Virasoro極小模型において、適切に規格化・ユニタリ化されたF行列の各成分の絶対値の二乗 $|U_{pq}|^2$ は、有理数体 $\mathbb{Q}$ に1の原始 $n$ 乗根 $\zeta_n = e^{2\pi i / n}$ を添加した円分体（Cyclotomic Field） $\mathbb{Q}(\zeta_n)$ の元である：
$|U_{pq}|^2 \in \mathbb{Q}(\zeta_n)$

円分体の元であるということは、 $|U_{pq}|^2$ が $\cos(2\pi k / n)$ や $\sin(2\pi k / n)$ の有理数係数線形結合で書けることを意味します。この強力な数学的制約があれば、数値解析で得られた100桁精度の数値をPSLQアルゴリズム（整数関係検出アルゴリズム）に投入することで、一切の誤差なく、完全な厳密代数解（整数の比と平方根、三角関数の厳密な組み合わせ）へと瞬時にリフティング（復元）できるのです！

で、私（筆者）はどう考えるか？

今回の論文の意義について、数理物理の広範な潮流を踏まえて、私自身の視点を3つの論点で提示したいと思います。

1. 2D/4D双対性（AGT対応・カイラル代数）への即時波及効果

現代の超弦理論・超対称場の理論において、最も美しい成果の1つは、4次元 $\mathcal{N}=2$ 超対称共形場理論（SCFT）のSchur演算子セクターが、2次元カイラル代数（Vertex Operator Algebra: VOA）と同型になるという「Beemらの4D/2D対応」です。 4次元側の超共形インデックスやBPS欠陥演算子の物理を解明しようとすると、対応する2次元側にはしばしば非ユニタリな極小模型や高ランクのW代数が現れます。従来のクーロンガス形式（Dotsenko-Fateev積分）によるF行列の計算は、多重周回積分のスクリーニング演算子の挿入という泥臭い積分計算に依存しており、模型ごとに職人芸的な変数変換を要していました。本論文の手法は、「Shapovalov形式による代数級数展開＋ Fuchs型ODEの数値接続＋円分体リフティング」という完全に自動化・アルゴリズム化可能な普遍的パイプラインを提示しています。これは4次元SCFTの欠陥演算子相関関数や、Hitchin系・Seiberg-Witten幾何との接続問題を解く強力無比な武器になります。

2. なぜ「円分体」なのか？――量子群 $U_q(\mathfrak{sl}_2)$ と剛構造の必然

「F行列の二乗が円分体に入る」というConjecture 3.1は、単なる数値計算からの推測にとどまらず、代数的トポロジーの観点から極めて美しい必然性を帯びています。有理共形場理論は、量子群（Drinfeld-Jimbo型の量子変形普遍包絡環） $U_q(\mathfrak{sl}_2)$ において、変形パラメータ $q$ が「1の冪根（Root of unity）」である表現論の圏（モジュラー・テンソル・カテゴリ）と同値であることが知られています（Kazhdan-Lusztig対応）：

q = \exp\left(i \pi \frac{p'}{p}\right)

3次元トポロジカル場論（Chern-Simons理論）におけるウィルソン線の交差や結び目不変量を記述する $6j$ -シンボル（Racah-Wigner係数）は、量子整数：

[n]_q = \frac{q^n - q^{-n}}{q - q^{-1}} = \frac{\sin\left(\frac{\pi n p'}{p}\right)}{\sin\left(\frac{\pi p'}{p}\right)}

の有理式として表されます。この量子整数 $[n]_q$ は、まさに円分体 $\mathbb{Q}(e^{2\pi i / 2p})$ の元そのものです。微分方程式という連続解析的な対象を数値的に解いて現れた接続行列が、背後にある量子群の離散的・剛的な表現論の円分体構造と寸分違わず合致したという事実は、解析学（ODE）と量子代数（MTC）が根底で完全に握手している証拠であり、深く感動せざるを得ません。

3. この手法の射程と「残された未解決課題」

あえて批判的・野心的な視点から課題を挙げるならば、次の2点があります：

多重アクセサリーパラメータへのスケーラビリティ：今回の論文では主にアクセサリーパラメータが1つのケースが扱われていますが、中間状態に多数のプライマリ場が走る高階（4階以上）のODEでは、独立なアクセサリーパラメータが複数現れます。その場合、Shapovalov形式の展開次数をより高次まで計算して連立代数方程式を解く必要があります。
ストークス現象（Stokes phenomenon）の制御：確定特異点を持つFuchs型ODEではフロベニウス級数が大域的に扱いやすいですが、不確定特異点を持つような理論（例えば非コンパクトなCFTやある種の不確定特異点型リウヴィル場論）へと拡張した場合、ストークス現象による解の跳びをどのように厳密リフティングに組み込むのか。これは幾何学的ラングランズ対応やリサージェンス理論（Resurgence theory）とも交差する魅力的な未開拓フロンティアです。

まとめ＆論文リンク

本論文は、長年CFT研究者を苦しめてきた高レベル共形ブロックの計算障壁を、

Shapovalov形式による低次代数展開（Null状態方程式の導出を完全バイパス）
Fuchs型微分方程式のアクセサリーパラメータ固定とFrobenius数値接続
円分体予想（Conjecture 3.1）による厳密代数解へのリフティング

という、解析・幾何・数論が見事に調和した三位一体のアプローチで鮮やかに打ち破りました。

モジュラーブートストラップによって得られた「許容指標（Tenable characters）」が、絵に描いた餅ではなく、真に物理的な共形場理論（あるいは一貫したモジュラー・テンソル・カテゴリ）を構成できるのかを判定する究極の試金石として、本手法は今後のRCFT分類における標準プロトコル（基盤技術）となっていくはずです。

数理物理の醍醐味は、無機質な微分方程式を解き進めたその先に、量子群や数論の美しい結晶が突如として姿を現す瞬間にあります。代数と幾何が織りなす理論物理の最前線を、これからも熱く追跡していきましょう。

論文参照リンク：

arXivアブストラクト：arXiv:2609.19904v1
PDF直リンク：Download PDF

🔗 あわせて読みたい当ブログの関連記事

【AWS SAA対策】Direct ConnectとVPNの併用！専用線の暗号化を実現するセキュアハイブリッド接続を徹底解説 - AWS SAA試験でよく問われるハイブリッドネットワーク設計！「Direct Connectを使っているのに通信の暗号化が必要な場合はどう構成する？」という疑問に答え、Direct…

📊 本日の自律型 AI パイプライン採点レポート

選定元: [arXiv:2609.19904v1] / カテゴリ: hep-th
本日のランキング: 第9位（選考スコア: 18.066）
Jev 論文スクリーニング:
- 数理物理核心度: 95.0%
- 理論的新規性・深度: 1.75 / 3.0
- 話題性・アピール度: 1.44 / 3.0
- サブ領域: holography_bootstrap_exact
Jev 記事品質推敲（Evaluator-Optimizer）:
- 最終品質スコア: 11.22 / 12.0（判定: 合格）
- 数理・理論の具体性: 2.93 / 3.0
- 行間・途中計算の丁寧さ: 2.70 / 3.0
- 筆者オピニオン度: 2.77 / 3.0
- 知的好奇心刺激度: 2.82 / 3.0
- 「で、あなたの意見は？」リスク: 29.0%
- 「難解・置いてけぼり」リスク: 39.0%
- 自律推敲・改善プロセス (計 2 回): 第1稿: 9.70点 [足切り (need_pedagogical_steps)] ➡️ 第2稿: 11.22点 [合格]

有理共形場理論の『指紋』を解き明かす：Fuchs型微分方程式と円分体予想による編組行列の完全決定

導入（1行サマリー＆つかみ）

背景にある物理・数学の壁

1. 初等的な場の理論との違いと、共形ブロックの物理的動機

2. $s$ チャンネルと $t$ チャンネルの貼り合わせ：F行列の幾何学的正体

3. モジュラーデータだけでは理論を分類できないという「壁」

4. BPZ方程式と「アクセサリーパラメータ」の泥沼

この論文の核心アイデアと数理的機構

ステップ1：Shapovalov形式によるアクセサリーパラメータの決定

ステップ2：Frobenius解の接続問題としてのF行列

ステップ3：ユニタリ化と「円分体（Cyclotomic Field）予想」

で、私（筆者）はどう考えるか？

1. 2D/4D双対性（AGT対応・カイラル代数）への即時波及効果

2. なぜ「円分体」なのか？――量子群 $U_q(\mathfrak{sl}_2)$ と剛構造の必然

3. この手法の射程と「残された未解決課題」

まとめ＆論文リンク

🔗 あわせて読みたい当ブログの関連記事

📊 本日の自律型 AI パイプライン採点レポート

タイトル

この記事をシェアする

Ryohei Yaginuma

📚 関連記事

導入（1行サマリー ＆ つかみ）

背景にある物理・数学の壁

1. 初等的な場の理論との違いと、共形ブロックの物理的動機

2. sss チャンネルと ttt チャンネルの貼り合わせ：F行列の幾何学的正体

3. モジュラーデータだけでは理論を分類できないという「壁」

4. BPZ方程式と「アクセサリーパラメータ」の泥沼

この論文の核心アイデアと数理的機構

ステップ1：Shapovalov形式によるアクセサリーパラメータの決定

ステップ2：Frobenius解の接続問題としてのF行列

ステップ3：ユニタリ化と「円分体（Cyclotomic Field）予想」

で、私（筆者）はどう考えるか？

1. 2D/4D双対性（AGT対応・カイラル代数）への即時波及効果

2. なぜ「円分体」なのか？――量子群 Uq(sl2)U_q(\mathfrak{sl}_2)Uq​(sl2​) と剛構造の必然

3. この手法の射程と「残された未解決課題」

まとめ ＆ 論文リンク

🔗 あわせて読みたい当ブログの関連記事

📊 本日の自律型 AI パイプライン採点レポート

タイトル

この記事をシェアする

Ryohei Yaginuma

📚 関連記事

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

Argyres-Douglas理論の深淵へ：4D/2D対応のほころびを正す「有限拡大」とヒッグス枝の2重被覆幾何

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

ファイバー束の糊代を解剖する：遷移関数のコサイクル条件とゲージ変換則の幾何学的導出

導入（1行サマリー＆つかみ）

2. $s$ チャンネルと $t$ チャンネルの貼り合わせ：F行列の幾何学的正体

2. なぜ「円分体」なのか？――量子群 $U_q(\mathfrak{sl}_2)$ と剛構造の必然

まとめ＆論文リンク