A note on Virasoro constriants for products

以下は、Hsian-Hua Tseng による論文「A NOTE ON VIRASORO CONSTRIANTS FOR PRODUCTS（積多様体におけるヴィラソロ制約に関するノート）」の技術的な要約です。

1. 研究の背景と問題設定

背景:
グロモフ・ウィッテン（Gromov-Witten: GW）理論における「ヴィラソロ予想（Virasoro conjecture）」は、1990 年代に提起された未解決の重要な問題です。この予想は、滑らかな射影多様体 $W$ の GW 理論の全降下ポテンシャル（total descendant potential）$D_W$ が、無限個の微分方程式（ヴィラソロ制約）$L_m^W D_W = 0$ ($m \ge -1$) を満たすことを主張しています。

研究課題（Problem 1.1）:
$X$ と $Y$ を滑らかな射影多様体とするとき、「積多様体 $X \times Y$ に対してヴィラソロ予想が成り立つこと」と「$X$ および $Y$ それぞれに対してヴィラソロ予想が成り立つこと」は同値であるか？
この自然な問いに対して、過去数十年間ほとんど進展がありませんでした。

本論文の目的:
この問題に対する部分的な解決策を提示し、研究の進展を促すことです。具体的には、一方の因子（$Y$）の量子コホモロジーが半単純（semi-simple）である場合において、積多様体 $X \times Y$ におけるヴィラソロ制約の成立条件を明らかにします。

2. 手法と理論的枠組み

本論文は、ギヴァンタル（Givental）のアプローチ、特にトーリック束（toric bundles）に対するヴィラソロ制約の研究手法 [5] を応用しています。主要な理論的構成要素は以下の通りです。

1. コホモロジー場理論（CohFT）の定式化:
   GW 理論をコホモロジー場理論の枠組みで記述します。単位元を持つ CohFT は、安定グラフ上の積分を通じて定義されます。
2. $R$-行列作用（ループ群作用）:
   半単純な量子コホモロジーを持つ CohFT に対して、ギヴァンタル・テレマン（Givental-Teleman）の分類定理が適用可能です。これにより、任意の半単純 CohFT $\Omega$ は、位相的場理論（位相的 CohFT）$\omega$ に、あるユニークな $R$-行列（ループ群要素）$R(z)$ を作用させることで得られることが示されます（$\Omega = R \cdot \omega$）。
3. 積多様体の GW 不変量の積公式:
   $X \times Y$ の GW 不変量は、$X$ と $Y$ の不変量の積として記述できるという既知の公式 [3] を利用します。
4. 量子化形式（Quantization Formalism）:
   生成関数（ポテンシャル）に対する作用を、二次ハミルトニアンの量子化として扱います。

3. 主要な結果と導出プロセス

定理 1.2（主要結果）:
$Y$ の量子コホモロジーが何らかの点で半単純であると仮定する。このとき、積多様体 $X \times Y$ に対するヴィラソロ制約が成り立つことは、$X$ に対するヴィラソロ制約が成り立つことと同値である。
（注：$Y$ 自体のヴィラソロ制約の成立は、半単純性の仮定により既知または自明とみなされる文脈です。）

導出のステップ:

1. CohFT の分解:
   $Y$ の量子コホモロジーが半単純であるため、$Y$ の GW 理論（CohFT）$\Omega_{Y,t}$ は、位相的理論 $\omega_{Y,t}$ に対してユニークな $R_Y$ 行列が作用した形で記述されます（$\Omega_{Y,t} = R_Y \cdot \omega_{Y,t}$）。
2. 積理論の再構成:
   積公式を用いて、$X \times Y$ の GW 理論 $\Omega_{X \times Y}$ を導出します。この際、$Y$ 側の $R_Y$ 作用が $X$ 側の理論とどのように相互作用するかを解析します。
   結果として、$X \times Y$ の理論は、$X$ の理論と、$Y$ の半単純性に基づくループ群要素 $R = \text{Id} \otimes R_Y$ の作用として表現されます。
3. ポテンシャルの公式化:
   生成関数（祖先ポテンシャルおよび全降下ポテンシャル）$D_{X \times Y}$ について、$D_X$ と $R$ 作用を用いた具体的な変換公式（式 3.8）を導出します。
   $$D_{X \times Y} \approx \widehat{(S_{X \times Y})^{-1}} \widehat{R} \prod_i \widehat{S_X} D_X$$
   ここで、$\widehat{R}$ は $R$ 行列の量子化作用素です。
4. 次数保存とループ群共変性:
   導出された変換公式において、現れる作用素が次数（grading）を保存することを示します。具体的には、$X \times Y$ のヴィラソロ演算子 $L_m^{X \times Y}$ を、上記の変換公式の右辺の作用素で共役変換（conjugate）すると、$X$ と $N$ 点（$Y$ のランク）の積に対する演算子 $L_m^{X \times \{N \text{ points}\}}$ に帰着されます。
5. 結論:
   ループ群の共変性（loop group covariance）[5] により、変換後の演算子が $D_X$ に作用してゼロになることと、元の演算子が $D_{X \times Y}$ に作用してゼロになることが同値であることが示されます。これにより定理 1.2 が証明されます。

4. 貢献と意義

• 積多様体におけるヴィラソロ予想の進展:
  長年の未解決問題であった「積多様体におけるヴィラソロ予想の帰結」に対して、一方の因子が半単純であるという自然な条件下で肯定的な回答を与えました。
• 手法の一般化:
  トーリック束への適用 [5] で用いられた手法を、より一般的な積多様体の設定に拡張し、CohFT とループ群作用の構造を明確に結びつけました。
• オーブifold 理論への拡張可能性:
  付録（Remark 3.5）において、この議論はオーブifold GW 理論（orbifold Gromov-Witten theory）にも拡張可能であることを示唆しています。CohFT の分類定理と積公式がオーブifold 版でも成立するため、同様の結果が得られると予想されます。

5. まとめ

本論文は、ギヴァンタル・テレマンの分類定理と積公式を巧みに組み合わせることで、半単純な量子コホモロジーを持つ因子を持つ積多様体において、ヴィラソロ制約が「因子ごとの制約の成立」に帰着されることを証明しました。これは、ヴィラソロ予想の完全な解決に向けた重要な一歩であり、GW 理論の構造的理解を深めるものです。