高阶Verma模特征的对数凹性与受限Kostant分部函数
Log-concavity of characters of parabolic Verma modules, and of restricted Kostant partition functions
摘要 Abstract
2022年,Huh-Matherne-Meszaros-St. Dizier证明了归一化的Schur多项式是Lorentzian的,从而得到了它们在正象限上的连续(或离散)对数凹性。这一结果的一个重新解释是,$\mathfrak{sl}_{n+1}(\mathbb{C})$有限维简单表示的特征是未归一化的Lorentzian。在同一论文中,这些作者还证明了$\mathfrak{sl}_{n+1}(\mathbb{C})$上Verma模的偏移特征也是未归一化的Lorentzian。在这项工作中,我们将这些结果推广到一个更大的模族:我们证明了$\mathfrak{sl}_{n+1}(\mathbb{C})$上所有抛物线Verma模的偏移特征都是未归一化的Lorentzian。证明涉及某些关于$[n+1]$的图;更进一步,我们解释了为什么任何无环多重图的Kostant分部函数的特征(即生成函数)在偏移和归一化后是Lorentzian的。相比之下,我们证明了一个更大的最高权模的泛家族——高阶Verma模,其特征并非离散对数凹。最后,我们将所有这些结果扩展到半单李代数$\oplus_{t=1}^T \mathfrak{sl}_{n_t+1}(\mathbb{C})$上的抛物线(即“一阶”)和高阶Verma模。
In 2022, Huh-Matherne-Meszaros-St. Dizier showed that normalized Schur polynomials are Lorentzian, thereby yielding their continuous (resp. discrete) log-concavity on the positive orthant (resp. on their support, in type-$A$ root directions). A reinterpretation of this result is that the characters of finite-dimensional simple representations of $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized Lorentzian. In the same paper, these authors also showed that shifted characters of Verma modules over $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized Lorentzian. In this work we extend these results to a larger family of modules that subsumes both of the above: we show that shifted characters of all parabolic Verma modules over $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized Lorentzian. The proof involves certain graphs on $[n+1]$; more strongly, we explain why the character (i.e., generating function) of the Kostant partition function of any loopless multigraph on $[n+1]$ is Lorentzian after shifting and normalizing. In contrast, we show that a larger universal family of highest weight modules, the higher order Verma modules, do not have discretely log-concave characters. Finally, we extend all of these results to parabolic (i.e. "first order") and higher order Verma modules over the semisimple Lie algebras $\oplus_{t=1}^T \mathfrak{sl}_{n_t+1}(\mathbb{C})$.