[论文解读] On the Existence of Generalized Parking Spaces for Complex Reflection Groups

Yosuke Ito, Soichi Okada|arXiv (Cornell University)|Aug 27, 2015

Advanced Combinatorial Mathematics参考文献 9被引用 3

一句话总结

本文解决了何时类函数 $\varphi_k(w) = k^{\dim V^w}$ 及其 $q$-类比 $\widetilde{\varphi}_k(w)$ 作为不可约复反射群 $W$ 的表示（分别作为分次表示）的特征标出现的问题。它基于 $W$ 的次数和余次数建立了一个完整的判别准则，证明 $\varphi_k$ 是特征标当且仅当 $k$ 满足一个涉及 $k$ 与 $W$ 的次数的最大公约数的可除性条件，其中关键的技术工具是专门化西格马函数的最大公约数。

ABSTRACT

Let $W$ be an irreducible finite complex reflection group acting on a complex vector space $V$. For a positive integer $k$, we consider a class function $φ_k$ given by $φ_k(w) = k^{\dim V^w}$ for $w \in W$, where $V^w$ is the fixed-point subspace of $w$. If $W$ is the symmetric group of $n$ letters and $k=n+1$, then $φ_{n+1}$ is the permutation character on (classical) parking functions. In this paper, we give a complete answer to the question when $φ_k$ (resp. its $q$-analogue) is the character of a representation (resp. the graded character of a graded representation) of $W$. As a key to the proof in the symmetric group case, we find the greatest common divisors of specialized Schur functions. And we propose a unimodality conjecture of the coefficients of certain quotients of principally specialized Schur functions.

研究动机与目标

• 确定对于哪些整数 $k$，类函数 $\varphi_k(w) = k^{\dim V^w}$ 是有限复反射群 $W$ 的表示的特征标。
• 刻画 $q$-类比 $\widetilde{\varphi}_k(w) = \frac{\det_V(1 - q^k w)}{\det_V(1 - q w)}$ 何时是分次 $W$-表示的分次特征标。
• 将停车空间的概念从对称群推广到任意不可约复反射群及任意参数 $k$，并扩展经典卡塔兰组合学。

提出的方法

• 定义 $\varphi_k(w) = k^{\dim V^w}$ 为 $W$ 上的类函数，其中 $V^w$ 是 $w \in W$ 的固定点子空间，并研究其作为特征标的实现。
• 引入 $q$-类比 $\widetilde{\varphi}_k(w) = \frac{\det_V(1 - q^k w)}{\det_V(1 - q w)}$，其在 $q=1$ 时插值 $\varphi_k$，并分析其作为分次特征标的角色。
• 使用广义 $q$-卡塔兰数 $\operatorname{Cat}_k(W,q)$ 和 $\operatorname{Cat}^*_k(W,q)$ 来表述 $\varphi_k$ 和 $\widetilde{\varphi}_k$ 为特征标的必要与充分条件。
• 建立一个关键技术结果：对满足 $l(\lambda) \leq k$ 的 $n$ 的分拆 $\lambda$，专门化西格马函数 $s_\lambda(1, q, \dots, q^{k-1})$ 的最大公约数，该结果使特征标刻画成为可能。
• 证明 $\varphi_k$ 是 $W$ 的特征标当且仅当 $k$ 满足一个涉及 $W$ 的次数 $d_i$ 和余次数 $d_i^*$ 的可除性条件，具体为对所有 $i$ 有 $\gcd(k + d_i - 1, d_i) = \gcd(k - d_i^* - 1, d_i)$，并证明该条件等价于 $\operatorname{Cat}_k(W,1)$ 为整数。
• 提出并支持一个关于主专门化西格马函数商的系数的单峰性猜想，暗示 $W$ 表示理论中更深层次的代数结构。

实验结果

研究问题

• RQ1 对于哪些正整数 $k$，类函数 $\varphi_k(w) = k^{\dim V^w}$ 是不可约复反射群 $W$ 的表示的特征标？
• RQ2 何时 $q$-类比 $\widetilde{\varphi}_k(w) = \frac{\det_V(1 - q^k w)}{\det_V(1 - q w)}$ 是分次 $W$-表示的分次特征标？
• RQ3 能否将原本定义于对称群和考克斯eter群的广义停车空间构造推广到所有不可约复反射群及参数 $k$？
• RQ4 当 $\varphi_k$ 存在时，其所赋予的表示背后的代数或组合结构是什么？
• RQ5 商式 $\frac{s_\lambda(1,q,\dots,q^{k-1})}{[k]_q / [d]_q}$ 的系数（其中 $d = \gcd(n,k)$）是否为单峰序列？

主要发现

• 类函数 $\varphi_k(w) = k^{\dim V^w}$ 是 $W$ 的表示的特征标当且仅当对所有 $i$，$k$ 满足 $\gcd(k + d_i - 1, d_i) = \gcd(k - d_i^* - 1, d_i)$，其中 $d_i$ 和 $d_i^*$ 是 $W$ 的次数和余次数。
• $\widetilde{\varphi}_k(w)$ 是分次 $W$-表示的分次特征标当且仅当 $k$ 满足相同的可除性条件，且该条件等价于广义 $q$-卡塔兰数 $\operatorname{Cat}_k(W,q)$ 是具有非负整数系数的多项式。
• 对于对称群 $\mathfrak{S}_n$，作者计算了满足 $l(\lambda) \leq k$ 的 $n$ 的分拆 $\lambda$ 的专门化西格马函数 $s_\lambda(1,q,\dots,q^{k-1})$ 的最大公约数，这对证明主要刻画至关重要。
• 本文证明 $\varphi_k$ 是特征标当且仅当 $\operatorname{Cat}_k(W,1)$ 为整数，且该整数等于广义停车空间的维数。
• 作者提出一个单峰性猜想：对于 $d = \gcd(n,k)$，商式 $\frac{s_\lambda(1,q,\dots,q^{k-1})}{[k]_q / [d]_q}$ 的系数在偶数次部分和奇数次部分均为单峰序列，尽管整个序列可能并非单峰。
• 本文完全解决了不可约复反射群的表示存在性问题，表明 $\varphi_k$ 和 $\widetilde{\varphi}_k$ 的表示论实现由 $k$ 相对于 $W$ 的次数和余次数的精确数论条件所控制。