[论文解读] Enumeration of $\C{H}$-strata in quantum matrices with respect to dimension

Jason P. Bell, Karel Casteels+1 more|arXiv (Cornell University)|Sep 13, 2010

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

一句话总结

本文通过将每个 stratum 与一个排列关联（利用管道梦境），并证明其维数等于该排列中奇循环的数量，为量子矩阵代数 $\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ 中 $Χ$-strata 的维数提供了一个组合公式。关键成果是得到了 $d$-维 strata 数量的闭式生成函数，从而解决了关于其在 $n \to \infty$ 时渐近比例的先前猜想。该方法依赖于 Cauchon 图、受限排列，以及斜对称矩阵与排列矩阵的核空间之间的同构关系。

ABSTRACT

We present a combinatorial method to determine the dimension of $\C{H}$-strata in the algebra of $m imes n$ quantum matrices $\Oq$ as follows. To a given $\C{H}$-stratum we associate a certain permutation via the notion of pipe-dreams. We show that the dimension of the $\C{H}$-stratum is precisely the number of odd cycles in this permutation. Using this result, we are able to give closed formulas for the trivariate generating function that counts the $d$-dimensional $\C{H}$-strata in $\Oq$. Finally, we extract the coefficients of this generating function in order to settle conjectures proposed by the first and third named authors \cite{bldim,bll} regarding the asymptotic proportion of $d$-dimensional $\C{H}$-strata in $\Oq$.

研究动机与目标

• 确定 $\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ 中 $\mathcal{H}$-strata 维数的组合准则。
• 解决 Bell 与 Launois 关于 $n \to \infty$ 时 $d$-维 $\mathcal{H}$-strata 渐近比例的猜想。
• 建立以 $m$、$n$ 和 $d$ 表示的 $d$-维 $\mathcal{H}$-strata 数量的闭式生成函数。

提出的方法

• 将每个 $\mathcal{H}$-素理想与一个 Cauchon 图关联，该图通过组合网格着色规则参数化 $\mathcal{H}$-strata。
• 利用 Cauchon 图与满足 $|\sigma(i) - i| \leq \max(m,n)$ 的受限排列 $\sigma \in S_{m+n}$ 之间的双射。
• 定义环面排列 $\tau = \sigma \omega^{-1}$，其中 $\omega$ 是受限排列在反 Bruhat 顺序下的最大元。
• 建立 $\ker(M(D))$ 与 $\ker(P_\sigma + P_\omega)$ 之间的同构，其中 $M(D)$ 是从 Cauchon 图 $D$ 导出的斜对称矩阵，$P_\mu$ 是排列 $\mu$ 的矩阵表示。
• 证明 $\dim(\ker(M(D)))$ 等于 $\tau$ 中奇循环的数量，其中奇循环指长度为偶数的循环。
• 推导出三元生成函数 $C(x,y,t)$，其 $\frac{x^m}{m!}\frac{y^n}{n!}t^d$ 项的系数即为 $\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ 中 $d$-维 $\mathcal{H}$-strata 的数量。

实验结果

研究问题

• RQ1 给定 $\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ 中的一个 $\mathcal{H}$-stratum，其维数是多少？
• RQ2 如何对所有 $m,n$ 枚举 $d$-维 $\mathcal{H}$-strata 的数量？
• RQ3 当 $n \to \infty$ 时，$\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ 中 $d$-维 $\mathcal{H}$-strata 的渐近比例是多少？
• RQ4 是否存在一个以 $m$、$n$ 和 $d$ 表示的 $d$-维 $\mathcal{H}$-strata 数量的闭式生成函数？
• RQ5 $\mathcal{O}_q(M_{n,n}(\mathbb{K}))$ 中 $d$-维 $\mathcal{H}$-strata 的比例在 $n \to \infty$ 时是否收敛？

主要发现

• 在 $\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ 中，一个 $\mathcal{H}$-stratum 的维数等于其 $\mathcal{H}$-素理想所关联的环面排列 $\tau = \sigma \omega^{-1}$ 中奇循环的数量。
• 在 $\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ 中，$d$-维 $\mathcal{H}$-strata 的数量由三元生成函数 $C(x,y,t)$ 中 $\frac{x^m}{m!}\frac{y^n}{n!}t^d$ 项的系数给出，该生成函数已显式计算。
• 当 $n \to \infty$ 时，$\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ 中 $d$-维 $\mathcal{H}$-strata 的比例趋于 $a(d)/(m!2^m)$，其中 $a(d) = [t^d](t+1)(t+3)\cdots(t+2m-1)$。
• 对于小的 $m$（如 $m=2,3,4,5$），$h(m,n,d)$（即 $d$-维 $\mathcal{H}$-strata 的数量）的公式已显式推导，并与先前工作的已知结果一致。
• 生成函数 $C(x,y,t)$ 可表示为包含第二类 Stirling 数与 Pochhammer 符号的有限和，从而可通过 Maple 等符号代数系统高效计算。
• 在 $n \to \infty$ 时，$\mathcal{O}_q(M_{n,n}(\mathbb{K}))$ 中 $d$-维 $\mathcal{H}$-strata 比例的极限存在，且猜想其值为 $a(d)/(n!2^n)$，但确切值仍待确定。