[论文解读] Quasiinvariants of Coxeter groups and m-harmonic polynomials

Misha Feigin, А. П. Веселов|ArXiv.org|May 11, 2001

Algebraic structures and combinatorial models被引用 12

一句话总结

本文通过证明空间 $m$-调和多项式 $H_m$ 同构于商环 $Q_m/I_m$，建立了 $m$-调和多项式与考克斯eter群准不变量之间的深层联系，其中 $Q_m$ 是 $m$-准不变量环，$I_m$ 是由 $G$-不变多项式生成的理想。关键结果是映射 $\pi_m: Q_m \to H_m$，定义为 $\pi_m(q) = \tilde{L}_q(w_m)$，诱导出同构 $Q_m/I_m \to H_m$，从而证明 $Q_m$ 是由 $H_m$ 生成的 $S^G$ 上的自由模，并证实了关于二面体群 $Q_m$ 结构的猜想。

ABSTRACT

The space of m-harmonic polynomials related to a Coxeter group G and a multiplicity function m on its root system is defined as the joint kernel of the properly gauged invariant integrals of the corresponding generalised quantum Calogero-Moser problem. The relation between this space and the ring of all quantum integrals of this system (which is isomorphic to the ring of corresponding quasiinvariants) is investigated.

研究动机与目标

• 澄清与考克斯eter群 $G$ 及其多重函数 $m$ 相关的 $m$-准不变量环 $Q_m$ 的代数结构。
• 研究 $m$-调和多项式空间 $H_m$ 与准不变量环 $Q_m$ 之间的关系。
• 证明通过规范微分算子定义的映射 $\pi_m: Q_m \to H_m$ 诱导出同构 $Q_m/I_m \cong H_m$，其中 $I_m$ 是由 $G$-不变多项式生成的理想。
• 建立 $Q_m$ 是由 $H_m$ 的基生成的 $S^G$ 上的自由模，从而证实关于 $Q_m$ 的 Cohen-Macaulay 性质的猜想。
• 为理解在可积系统与根系背景下 $m$-调和多项式的表示论与几何结构提供一个框架。

提出的方法

• 将 $m$-调和多项式 $H_m$ 定义为与基本不变量 $\sigma_1, \dots, \sigma_n$ 相关的规范 Calogero-Moser 算子 $\tilde{L}_1, \dots, \tilde{L}_n$ 的公共零化子。
• 通过 $\pi_m(q) = \tilde{L}_q(w_m)$ 构造映射 $\pi_m: Q_m \to H_m$，其中 $w_m = \prod_{\alpha \in A} (\alpha, x)^{2m_\alpha + 1}$ 是 $m$-判别式。
• 利用 $\tilde{L}_q$ 与 $\tilde{L}_i$ 可交换的事实，得出对任意 $q \in Q_m$ 都有 $\pi_m(q) \in H_m$。
• 证明 $\pi_m$ 的核包含由 $S^G$ 生成的理想 $I_m$，并利用次数论证和双线性型的非退化性，证明在二面体群情形下 $\ker \pi_m = I_m$。
• 通过直接计算证明双线性型 $\langle q, q' \rangle = \tilde{L}_q(w_m)$ 在 $H_m$ 上是非退化的，从而证明 $\pi_m|_{H_m}$ 是单射，因此是同构。
• 利用同构 $Q_m/I_m \cong H_m$ 推出 $Q_m$ 是由 $H_m$ 的任意基生成的 $S^G$-自由模，从而证实了猜想的 Cohen-Macaulay 结构。

实验结果

研究问题

• RQ1 映射 $\pi_m: Q_m \to H_m$ 的核是否等于由 $G$-不变多项式生成的理想 $I_m$？
• RQ2 $\pi_m|_{H_m}: H_m \to H_m$ 在所有考克斯eter群下是否为同构？
• RQ3 $m$-准不变量环 $Q_m$ 是否构成 $S^G$ 上的自由模？
• RQ4 空间 $H_m$ 的 $m$-调和多项式能否通过规范微分算子作用于 $Q_m$ 的像来表征？
• RQ5 同构 $Q_m/I_m \cong H_m$ 所诱导的 $H_m$ 的乘法结构是什么？

主要发现

• 对于二面体群，映射 $\pi_m: Q_m \to H_m$ 的核恰好是 $G$-不变多项式生成的理想 $I_m$，从而证明了猜想 1。
• $\pi_m|_{H_m}: H_m \to H_m$ 在二面体群下是同构，证实了猜想 2。
• $H_m$ 上的双线性型 $\langle q, q' \rangle = \tilde{L}_q(w_m)$ 是非退化的，这意味着 $\pi_m|_{H_m}$ 是单射，因此是同构。
• $m$-调和多项式空间 $H_m$ 同构于商环 $Q_m/I_m$，建立了准不变量与调和多项式之间的结构性联系。
• $Q_m$ 是由 $H_m$ 的任意基生成的 $S^G$-自由模，证实了 $Q_m$ 是 Cohen-Macaulay 环。
• $m$-判别式 $w_m = \prod_{\alpha \in A} (\alpha, x)^{2m_\alpha + 1}$ 既是 $m$-准不变量也是 $m$-调和多项式，是构造 $\pi_m$ 的关键对象。