[论文解读] 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

一句话总结

本文证明了Belavin、Bershtein与Tarnopolsky提出的猜想：在$N=1$超Virasoro代数的Verma模中，经过玻色化后，奇异向量对应于参数$γ = 1/t_+^2$的Uglov对称函数，其中$t_+ = \rho + \sqrt{\rho^2 + 1}$。证明表明，这些奇异向量是特定微分差分算子$C^1_0(\gamma)$的本征函数，该算子通过三角展开与本征值性质唯一刻画了Uglov函数。

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$超Virasoro代数奇异向量在玻色化后与Uglov对称函数相等的猜想，当$p=2$时。
• 通过到Fock表示的互变算子，建立Verma模中奇异向量与Uglov对称函数之间的精确对应关系。
• 证明奇异向量在玻色化映射下的像为算子$C^1_0(\gamma)$的本征函数，其中$\gamma = 1/t_+^2$。
• 证明该本征函数性质，结合在偏序下的三角展开，唯一刻画了Uglov对称函数$P^{(\gamma,2)}_{(r^s)}$。

提出的方法

• 证明使用了从Verma模$M(c,h)$到Fock表示$\mathcal{F}(\alpha)$的玻色化映射$\mathfrak{s}_{t^+}$，其中$t^+ = \rho + \sqrt{\rho^2 + 1}$。
• Fock空间中的奇异向量$\chi_{r,s}^+$经$\mathfrak{s}_{t^+}$映射为$\Lambda_{\mathbb{C}}$中的对称函数。
• 证明显示$\mathfrak{s}_{t^+}(\chi_{r,s}^+)$是算子$C^1_0(\gamma)$的本征函数，其中$\gamma = 1/t_+^2$，如命题2.3所确立。
• 通过证明其在偏序下的三角展开与$C^1_0(\gamma)$下具有相同本征值的对称函数唯一，从而证明了Uglov对称函数的唯一性，如命题2.2所述。
• 该构造依赖于有限变量差分-微分算子$C^1_{(N)}(\gamma)$的极限，其在$N \to \infty$时收敛于$C^1_0(\gamma)$，如命题B.3所形式化。
• 证明利用对称函数的投射极限结构，并与限制映射$\operatorname{pr}_N$相容，以定义算子的无限变量极限。

实验结果

研究问题

• RQ1 能否在玻色化下将$N=1$超Virasoro代数的奇异向量识别为Uglov对称函数？
• RQ2 奇异向量$\chi_{r,s}^+$在玻色化映射$\mathfrak{s}_{t^+}$下的像是否与Uglov对称函数$P^{(1/t_+^2,2)}_{(r^s)}$成比例？
• RQ3 算子$C^1_0(\gamma)$在$\gamma = 1/t_+^2$时是否通过本征函数与三角性条件唯一刻画Uglov对称函数？
• RQ4 有限变量差分-微分算子的无限变量极限与作用于对称函数上的算子$C^1_0(\gamma)$之间有何关系？

主要发现

• 在Fock表示$\mathcal{F}(\alpha_{r,s}^+)$中的奇异向量$\chi_{r,s}^+$经$\mathfrak{s}_{t^+}$映射后，其像与Uglov对称函数$P^{(1/t_+^2,2)}_{(r^s)}$成比例，从而证明了该猜想。
• 算子$C^1_0(\gamma)$在$\gamma = 1/t_+^2$时作用于对称函数上，为微分差分算子，且$\mathfrak{s}_{t^+}(\chi_{r,s}^+)$为其本征函数。
• Uglov对称函数$P^{(\gamma,2)}_{(r^s)}$由其在偏序下的三角展开与在$C^1_0(\gamma)$下的本征值唯一刻画，确认了其与玻色化奇异向量的对应关系。
• $C^1_0(\gamma)$是有限变量算子$C^1_{(N)}(\gamma)$的投射极限，且与限制映射$\operatorname{pr}_{M,N}$相容，如命题B.3所示。
• 证明依赖于算子极限与对称函数投射系统之间的相容性，利用了[AMOS]中的生成函数与指数映射技术。
• 该结果将Virasoro-Jack与deformed Virasoro-Macdonald对应关系推广至超代数情形，建立了这些关系的超代数类比。