[論文レビュー] Schur Q-Polynomials and Kontsevich-Witten Tau Function

Xiaobo Liu, Chenglang Yang|arXiv (Cornell University)|Mar 26, 2021

Advanced Combinatorial Mathematics参考文献 26被引用数 6

ひとこと要約

本稿は、ミロンォフ＝モローゾの公式がコンツェビッチ＝ウィッテンのτ関数をシュールQ多項式の線形結合として表すものであるが、行列モデルに依存しない直接的で行列式フリーの証明を提供する。著者らは、この展開がウィッテンのτ関数と同値であることを示し、ミロンォフ＝モローゾの予想を裏付け、さらにスケーリング後のBKP階層のハイパージェオメトリックτ関数であることを証明する。

ABSTRACT

Using matrix model, Mironov and Morozov recently gave a formula which represents Kontsevich-Witten tau-function as a linear expansion of Schur Q-polynomials. In this paper, we will show directly that the Q-polynomial expansion in this formula satisfies the Virasoro constraints, and consequently obtain a proof of this formula without using matrix model. We also give a proof for Alexandrov's conjecture that Kontsevich-Witten tau-function is a hypergeometric tau-function of the BKP hierarchy after re-scaling.

研究の動機と目的

• コンツェビッチ＝ウィッテンのτ関数のミロンォフ＝モローゾの公式を、行列モデルに依存せずに直接証明すること。
• 提案されたQ多項式展開がバーラスロ作用素の制約を満たすことを確認し、それがコンツェビッチ＝ウィッテンのτ関数と同値であることを裏付けること。
• アレクサンドロフの予想、すなわちコンツェビッチ＝ウィッテンのτ関数がスケーリング後にBKP階層のハイパージェオメトリックτ関数であることを証明すること。
• 展開係数に現れる定数 $ Q_{\nu}(\delta_{k,3}/3) $ に対する明示的な組合せ的恒等式を導出すること。

提案手法

• 奇数添え字の変数 $ t_{2m+1} $ に対して定義されたバーラスロ作用素 $ L_m $ を用い、特定の微分作用素および乗法項を含む。
• シュールQ多項式の性質を用いて、提案された関数 $ \tau_{MM} $ がすべての $ m \geq -1 $ に対して $ L_m \tau_{MM} = 0 $ を満たすことを直接的に検証する。
• Q多項式の乗法公式（補題2.2）および双対バーラスロ作用素のQ多項式への作用公式（命題4.4）を導出する。
• 定理3.1を用いて定数 $ Q_{\lambda}(\delta_{k,3}/3) $ を明示的に計算し、展開係数の閉形式表現を提供する。
• 置換および部分集合の符号付き和を用いた組合せ的恒等式を用いて、バーラスロ制約を検証する（補題5.16–5.17）。
• 反対称性および再帰的削減技術を用いて、ゼロ成分を含むQ多項式の恒等式を証明する（付録A）。

実験結果

リサーチクエスチョン

• RQ1 ミロンォフ＝モローゾの公式がシュールQ多項式の線形結合として表されるコンツェビッチ＝ウィッテンのτ関数が、バーラスロ作用素の制約を満たすか。
• RQ2 行列モデルを用いずに、ミロンォフ＝モローゾの公式とコンツェビッチ＝ウィッテンのτ関数との同値性を確立できるか。
• RQ3 アレクサンドロフの予想が正しければ、コンツェビッチ＝ウィッテンのτ関数はスケーリング後にBKP階層のハイパージェオメトリックτ関数であるか。
• RQ4 Q多項式展開に現れる係数 $ Q_{\lambda}(\delta_{k,3}/3) $ を支配する明示的な組合せ的恒等式は何か。
• RQ5 バーラスロ作用素の制約を満たすために必要な、および十分なシュールQ多項式の構造的性質は何か。

主な発見

• シュールQ多項式の性質を直接用いて証明されたように、ミロンォフ＝モローゾの公式で定義される関数 $ \tau_{MM} $ は、すべての $ m \geq -1 $ に対してバーラスロ作用素の制約 $ L_m \tau_{MM} = 0 $ を満たす。
• ミロンォフ＝モローゾの公式が正当であることが確認された：$ \tau_{KW}(\mathbf{t}) = \tau_{MM}(\mathbf{t}) $ であり、行列モデルに依存しないで予想が裏付けられた。
• 定理3.1において、$ Q_{\lambda}(\delta_{k,3}/3) $ の明示的な閉形式表現が得られ、展開係数の完全な計算が可能になった。
• 定数 $ Q_{\lambda}(\delta_{k,3}/3) $ は非自明な組合せ的恒等式を満たしており、これらは第5節で証明され、バーラスロ制約の検証に不可欠である。
• コンツェビッチ＝ウィッテンのτ関数がスケーリング後にBKP階層のハイパージェオメトリックτ関数であることが確認され、アレクサンドロフの予想が裏付けられた。
• 証明により、通常のシュール関数展開よりも単純であるだけでなく、Q多項式展開がBKP階層の構造と本質的に結びついていることが示された。