[論文レビュー] Singular vectors of $N=1$ super Virasoro algebra via Uglov symmetric functions

Shintarou Yanagida|arXiv (Cornell University)|Aug 25, 2015

Algebraic structures and combinatorial models参考文献 12被引用数 7

ひとこと要約

この論文は、ベルビン、ベルシュテイン、タルノポルスキーの予想を証明する。$N=1$ スーパーヴィラソロ代数のヴェルマ加群における特異ベクトルは、ボソン化後に、パrameter $\gamma = 1/t_+^2$ におけるウグロフ対称関数に対応する。証明では、これらの特異ベクトルが特定の微分差分作用素 $C^1_0(\gamma)$ の固有関数であることが示され、これがウグロフ関数を三角展開および固有値の性質によって一意に特徴付ける。

ABSTRACT

We give a proof of the conjecture by Belavin, Bershtein and Tarnopolsky, which claims that a bosonization of singular vectors of $N=1$ super Virasoro algebra can be identified with Uglov (Jack $\mathfrak{gl}_p$) symmetric functions with $p=2$.

研究の動機と目的

• $N=1$ スーパーヴィラソロ代数の特異ベクトルがボソン化された後、$p=2$ のときウグロフ対称関数に同定されることを証明すること。
• ヴェルマ加群の特異ベクトルとウグロフ対称関数との間の明確な対応関係を、フォック表現へのインターツインナーマップを通じて確立すること。
• ボソン化写像の下での特異ベクトルの像が、$\gamma = 1/t_+^2$ のとき作用素 $C^1_0(\gamma)$ の固有関数であることを示すこと。
• この固有関数性に加え、優越順序における三角展開の性質が、ウグロフ対称関数 $P^{(\gamma,2)}_{(r^s)}$ を一意に特徴付けること。

提案手法

• 証明は、ヴェルマ加群 $M(c,h)$ からフォック表現 $\mathcal{F}(\alpha)$ へのボソン化写像 $\mathfrak{s}_{t^+}$ を用いる。ここで $t^+ = \rho + \sqrt{\rho^2 + 1}$ である。
• フォック空間における特異ベクトル $\chi_{r,s}^+$ は $\mathfrak{s}_{t^+}$ を通じて $\Lambda_{\mathbb{C}}$ 内の対称関数に写される。
• $\mathfrak{s}_{t^+}(\chi_{r,s}^+)$ が $\gamma = 1/t_+^2$ のとき作用素 $C^1_0(\gamma)$ の固有関数であることが示され、これは命題 2.3 で確立されている。
• ウグロフ対称関数の一意性は、優越順序における三角展開と、$C^1_0(\gamma)$ での同じ固有値を持つ唯一の対称関数として示され、命題 2.2 に述べられている。
• 構成は、有限変数の微分差分作用素 $C^1_{(N)}(\gamma)$ の極限に依拠しており、$N \to \infty$ のとき $C^1_0(\gamma)$ に収束する。これは命題 B.3 で形式化されている。
• 証明は、対称関数の射影極限構造と、制限写像 $\operatorname{pr}_N$ との整合性に依拠し、作用素の無限変数極限を定義する。

実験結果

リサーチクエスチョン

• RQ1 $N=1$ スーパーヴィラソロ代数の特異ベクトルは、ボソン化によってウグロフ対称関数に同定できるか？
• RQ2 ボソン化写像 $\mathfrak{s}_{t^+}$ の下での特異ベクトル $\chi_{r,s}^+$ の像は、ウグロフ対称関数 $P^{(1/t_+^2,2)}_{(r^s)}$ に比例するか？
• RQ3 $\gamma = 1/t_+^2$ のとき作用素 $C^1_0(\gamma)$ は、固有関数性と三角不等性の条件によってウグロフ対称関数を一意に特徴付けるか？
• RQ4 有限変数の微分差分作用素の無限変数極限は、対称関数に作用する作用素 $C^1_0(\gamma)$ とどのように関係するか？

主な発見

• フォック表現 $\mathcal{F}(\alpha_{r,s}^+)$ 内の特異ベクトル $\chi_{r,s}^+$ は $\mathfrak{s}_{t^+}$ を通じて、ウグロフ対称関数 $P^{(1/t_+^2,2)}_{(r^s)}$ に比例する対称関数に写され、これにより予想が証明された。
• $\gamma = 1/t_+^2$ のとき作用素 $C^1_0(\gamma)$ は対称関数に作用する微分差分作用素であり、$\mathfrak{s}_{t^+}(\chi_{r,s}^+)$ はその固有関数である。
• ウグロフ対称関数 $P^{(\gamma,2)}_{(r^s)}$ は、優越順序における三角展開と、$C^1_0(\gamma)$ での固有値によって一意に特徴付けられ、ボソン化された特異ベクトルとの同定が確認された。
• $C^1_0(\gamma)$ は、有限変数作用素 $C^1_{(N)}(\gamma)$ の射影極限であり、制限写像 $\operatorname{pr}_{M,N}$ と整合する。命題 B.3 で示された。
• 証明は、対称関数の射影系と作用素の極限の整合性に依拠し、[AMOS] で用いられた生成関数および指数写像の技法を用いた。
• この結果は、バーラソロ＝ジャックおよび変形バーラソロ＝マクドナルド対応関係を超えて、代数的超代数の設定に拡張し、これら関係の超代数版を確立した。