On the local conformal structure of Imaginary Liouville theory

技術的要約：虚イマジナリー・リウヴィル理論の局所共形構造について

問題提起
虚イナリー・リウヴィル理論（Imaginary Liouville theory）は、構造定数として「虚イマジナリー・DOZZ」公式を持つ、中心電荷 $c < 1$ の非有理共形場理論（CFT）のパス積分構成案として提唱されてきた。特定の領域（電荷中立性など）における厳密な計算がクーロンガス表現と結び付けられている一方で、この理論に対する共形ブートストラップ・プログラムの厳密な実装は未解決の問題であった。具体的には、ゼロモードに関する複素輪郭上での積分を伴うパス積分定義が、ワード恒等式やベラデリン・ポリアコフ・ザモロドフコフ（BPZ）微分方程式を導出するために必要な、固有の局所共形不変性を備えているかどうかが不明であった。先行研究では、虚イマジナリー・リouville理論は従来のボゾン作用からは導出できないことが確立されており、場の空間における急勾配降下サイクル（steepest-descent cycles）を用いた定義が必要であるとされている。

手法
著者らは、[UGRS26]で導入された虚イナリー・リウヴィル理論のパス積分定義に基づく、構成的な確率論的アプローチを採用している。核心となる手法は以下の通りである：

1. 確率論的定式化: 理論は、リーマン球面上の一般化関数空間上の測度によって定義される。リウヴィル場は、ゼロモード $c$ と揺らぎの部分 $\phi_0$ に分解される。ゼロモードは、複素平面内の特定の無限の向きを持つ輪郭 $U$ 上で積分され、揺らぎの部分はガウス自由場（GFF）を通じて扱われる。
2. 虚イマジナリー・ガウス乗法的カオス（Imaginary GMC）: 作用における相互作用項は、虚イマジナリー・GMCの一例として解釈される。相関関数は、この虚イマジナリー・GMCのラプラス変換を含む期待値として表現される。
3. 仮定と予想: 導出は、ゼロモードが $-i\infty$ へ移動する際の虚イマジナリー・GMCのラプラス変換の特定の減衰率を仮定する**予想1（Conjecture 1）に依存している。この予想は、ゼロモード積分の収束を保証するものである。また、著者らは、相関関数が定義可能となるためのセイバーグ境界（頂点演算子の重み $\alpha_k$ に関する条件）を精緻化した予想2（Conjecture 2）**も提案している。
4. 正則化と繰り込み: 特異点を扱うため、著者らは二段階の正則化を用いている：
   • スケール $\epsilon$ でのGFFの平滑化。
   • 頂点演算子の挿入点の周囲の半径 $\rho$ の近傍の除外。
   • ウィック積およびガウス積分による部分積分を用いて、リウヴィル場および降下場（descendant fields）の微分を定義する。
5. 融合推定（OPE）: 理論の重要な技術的要素は、虚イナリー・リウヴィル相関関数の離散的な演算子積展開（OPE）推定値の導出である。これらの推定値は、二つの挿入点が衝突する際の漸近挙動を記述するものであり、虚イマジナリー・GMCの異なる挙動により、通常の（実数の）リウヴィル理論とは区別される。

主要な貢献と結果

1. 局所共形不変性: 本論文は、虚イナリー・リウヴィル理論が局所共形不変性を満たすことを確立している。これは、降下場の共形ワード恒等式を導出することによって示される。著者らは、相関関数が以下を満たすことを証明した：
   $$\left\langle L_{-n}^{\alpha_1} V_{\alpha_1}(x_1) \prod_{k=2}^N V_{\alpha_k}(x_k) \right\rangle = \sum_{k=2}^N \left( -\frac{\partial_{x_k}}{(x_k - x_1)^{n-1}} + \frac{\Delta_{\alpha_k}}{(x_k - x_1)^n} \right) \left\langle \prod_{k=1}^N V_{\alpha_k}(x_k) \right\rangle$$
   この結果は、予想1および電荷 $\alpha_k$ に関する特定の境界条件の下で成立する。

2. BPZ微分方程式の導出: 退化場（$\alpha_1 \in \{-\beta/2, 2/\beta\}$）に対してワード恒等式を特殊化することにより、著者らは有名なBPZ微分方程式を導出した：
   $$\left( -\frac{1}{\alpha_1^2}\partial_{x_1}^2 + \sum_{k=2}^N \left( \frac{\partial_{x_k}}{x_1 - x_k} + \frac{\Delta_{\alpha_k}}{(x_1 - x_k)^2} \right) \right) \left\langle \prod_{k=1}^N V_{\alpha_k}(x_k) \right\rangle = 0$$
   これにより、パス積分構成が、中心電荷 $c < 1$ のCFTに期待される微分構造を持つことが確認された。

3. 離散OPEとスペクトルの含意: 著者らは、二つの頂点演算子の積に関する離散的なOPE展開（補題3.4）を証明した。虚イマジナリー・リウヴィル理論で想定される連続的なスペクトルとは異なり、これらの推定値は、通常の（実数の）リウヴィル理論と同様の、スペクトルの離散的な寄与の存在を示唆している。この展開は、有限個のヴィラソロ降下項の和と、シフトされた電荷を持つ主項を含む。

4. KPZ恒等式とゼロモード不変性: ワード恒等式の証明は、宇宙定数 $\mu$ に関する相関関数の微分と頂点演算子の挿入を関連付けるKPZ恒等式（命題3.5）に基づいている。決定的なことに、著者らは、局所共形不変性が虚方向へのシフトに対するゼロモード積分の不変性から生じることを示している。一方で、大域的な共形共変性は、実方向へのシフトに対する不変性を必要とするが、選択された輪郭ではそれは満たされない。

意義と主張
本論文は、中心電荷が1未満のCFTに対して、共形ブートストラップ・プログラムが厳密に実行可能であるという、物理学および数学の両面における最初の解析的な証拠を提供したと主張している。これは、特殊な領域における厳密な計算を超えて、虚イナリー・リウヴィル理論の固有の性質を調査した最初の研究である。

これらの結果は、パス積分枠組み内での虚イマジナリー・DOZZ公式の厳密な導出に向けた基礎的なステップとなる。ワード恒等式とBPZ方程式を確立することで、著者らはパス積分構成が局所共形対称性の公理と整合していることを示している。

限界と未解決問題
著者らは自らの研究の完全性について謙虚な姿勢を保っている。彼らは明示的に以下の点を述べている：

• 相関関数の大域的な共形共変性（またはワイル不変性）はまだ証明されていない。これには、現在の輪郭の選択では保証されない、実方向へのシフトに対するゼロモード積分の不変性が必要となる。
• ゼロモード積分の収束は予想1に依存しており、これはヘリスティックおよび数値的な証拠によって支持されているものの、本研究内では厳密には証明されていない。
• 任意の相関関数を共形ブロックで表現する完全なブートストラップ公式はまだ導出されていないが、BPZ方程式はそのための経路を提供している。

要約すると、本研究は、虚イマジナリー・ガウス乗法的カオスの減衰特性を前提としつつ、虚イナリー・リウヴィル理論の確率論的なパス積分定義と、CFTの代数的構造（ワード恒等式、BPZ方程式）との間の溝を埋めることに成功した。