[论文解读] Geometric Complexity Theory VII: Nonstandard quantum group for the plethysm problem

Ketan Mulmuley|ArXiv.org|Sep 5, 2007

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

一句话总结

本文引入了一个非标准量子群 $G_q^H$，其为表示理论中plethysm问题的正 #P 公式提供了一个潜在框架。通过在 $G_q^H$ 与对称群代数的非标准量子化之间建立对偶性，并假设存在规范基，该工作为类似于通过量子群的 Littlewood-Richardson 法则的 plethysm 构造性解法奠定了基础。

ABSTRACT

This article describes a {\em nonstandard} quantum group that may be used to derive a positive formula for the plethysm problem, just as the standard (Drinfeld-Jimbo) quantum group can be used to derive the positive Littlewood-Richardson rule for arbitrary complex semisimple Lie groups. The sequel \cite{GCT8} gives conjecturally correct algorithms to construct canonical bases of the coordinate rings of these nonstandard quantum groups and canonical bases of the dually paired nonstandard deformations of the symmetric group algebra. A positive $#P$-formula for the plethysm constant follows from the conjectural properties of these canonical bases and the duality and reciprocity conjectures herein.

研究动机与目标

• 开发一个量子群框架，以实现类似于 Littlewood-Richardson 法则的 plethysm 常数的正公式。
• 构建一个非标准量子群 $G_q^H$，以对重代数群的同态 $H \to G$ 进行量子化。
• 在 $G_q^H$ 与对称群代数 $\mathbb{C}[S_r]$ 的非标准量子化 $\mathcal{B}_r^H(q)$ 之间建立对偶性。
• 假设 $G_q^H$ 及其对偶存在规范基，从而导出 plethysm 常数的正公式。
• 提供一条通过表示论对偶性与 q-变形计算 plethysm 常数的构造性算法路径。

提出的方法

• 提出一个非标准量子群 $G_q^H$，作为对重代数子群 $H$ 到 $G=GL(X)$ 的同态 $H \to G$ 的量子化。
• 证明 $G_q^H$ 的有限维多项式表示是完全可约的，并满足量子 Peter-Weyl 定理。
• 引入对称群代数 $\mathbb{C}[S_r]$ 的非标准量子化 $\mathcal{B}_r^H(q)$，其与 $G_q^H$ 对偶。
• 假设 $G_q^H$ 与 $\mathcal{B}_r^H(q)$ 在 $X_q^{\otimes r}$ 上的作用互为中央化子，形成 Schur-Weyl 对偶性。
• 定义 $G$ 的 Weyl 模 $V_\lambda$ 的 $q$-类比 $V_{q,\lambda}^H$，满足 $\lim_{q\to 1} V_{q,\lambda}^H \cong V_\lambda$ 作为 $H$-模。
• 假设一个互惠律，将 $G_q^H$-模 $W_{q,\alpha}$ 在 $V_{q,\lambda}^H$ 中的重数与 $\mathcal{B}_r^H(q)$-模的特化中 Specht 模 $S_\lambda$ 的重数联系起来。

实验结果

研究问题

• RQ1 能否构造一个非标准量子群 $G_q^H$，以对重代数群的同态 $H \to G$ 进行量子化？
• RQ2 非标准量子群 $G_q^H$ 是否具有类似于标准 Drinfeld-Jimbo 量子群的规范基理论？
• RQ3 是否存在 $G_q^H$ 与对称群代数的非标准量子化 $\mathcal{B}_r^H(q)$ 之间的对偶性？
• RQ4 能否通过 $G_q^H$ 的规范基，将 plethysm 常数 $a_{\lambda,\mu}^\pi$ 表示为正 #P 公式？
• RQ5 互惠猜想是否将 $q$-类比 Weyl 模的分解与对称群的表示理论联系起来？

主要发现

• 存在一个非标准量子群 $G_q^H$，其对同态 $H \to G$ 进行了量子化，其有限维多项式表示是完全可约的。
• $G_q^H$ 的矩阵坐标环满足量子 Peter-Weyl 定理，意味着其可分解为不可约表示的直和。
• 一般情况下，非标准量子群 $G_q^H$ 是奇异的，因为其行列式可能为零，且反演映射可能不存在。
• 构造了一个对称群代数的非标准量子化 $\mathcal{B}_r^H(q)$，并假设其通过 Schur-Weyl 对偶性与 $G_q^H$ 对偶。
• $X_q^{\otimes r}$ 作为 $G_q^H$ 与 $\mathcal{B}_r^H(q)$ 上的双模，其分解被猜想为 $\bigoplus_\alpha W_{q,\alpha} \otimes T_{q,\alpha}$，其中 $W_{q,\alpha}$ 是 $G_q^H$-不可约模，$T_{q,\alpha}$ 是 $\mathcal{B}_r^H(q)$-不可约模。
• 在对偶性与互惠猜想成立的前提下，plethysm 常数 $a_{\lambda,\mu}^\pi$ 被猜想可通过 $G_q^H$ 与 $\mathcal{B}_r^H(q)$ 的规范基表示为正 #P 公式。