[论文解读] Computational approaches to Poisson traces associated to finite subgroups of Sp(2n,C)

Pavel Etingof, Sherry Gong+3 more|arXiv (Cornell University)|Jan 26, 2011

Advanced Algebra and Geometry参考文献 7被引用 7

一句话总结

本文开发了计算与理论方法，以确定有限辛群在复向量空间上作用下的多项式不变量上的泊松迹。通过界定迹的次数并利用柯尔祖复形与群表示理论，作者将问题简化为有限计算，证明泊松同调 $\pi_0(\vartheta_V^G)$ 在三次度数下可非平凡——通过在 $\varphi_2$ 上使用二次型与阿夫不变量的显式构造，得出某些12维群的4维三次分量。

ABSTRACT

We reduce the computation of Poisson traces on quotients of symplectic vector spaces by finite subgroups of symplectic automorphisms to a finite one, by proving several results which bound the degrees of such traces as well as the dimension in each degree. This applies more generally to traces on all polynomial functions which are invariant under invariant Hamiltonian flow. We implement these approaches by computer together with direct computation for infinite families of groups, focusing on complex reflection and abelian subgroups of GL(2,C) < Sp(4,C), Coxeter groups of rank <= 3 and A_4, B_4=C_4, and D_4, and subgroups of SL(2,C).

研究动机与目标

• 通过界定迹的次数与维度，将 $\mathcal{O}_V^G$ 上泊松迹计算的无限维问题简化为有限计算。
• 将已知的 $\mathsf{HP}_0$ 同构结果扩展至 $\mathsf{HP}_0(\mathcal{O}_V^G, \mathcal{O}_V)^*$，即在 $G$-不变哈密顿流下不变的泛函空间。
• 利用 $\mathbb{F}_2$ 上的表示理论，构造 $\mathsf{HP}_0(\mathcal{O}_V^G)$ 在三次度数下非平凡的显式例子。
• 实现算法以计算无限群族（包括复反射群、秩 $\leq 3$ 的考克斯eter群，以及 $\mathsf{SL}_2(\mathbb{C})$ 的子群）中的这些迹。

提出的方法

• 利用柯尔祖复形界定泊松迹的最高次数，并约束每个次数分量的维度。
• 利用同构 $\mathsf{HH}_0(\mathcal{D}_X^G, \mathcal{D}_X) \cong \mathbb{C}[G]_{\mathrm{ad}}$（由满足 $g - \mathrm{Id}$ 可逆的元素 $g \in G$ 张成），将霍赫希尔德迹与泊松迹关联。
• 通过在 $\mathbb{F}_2$-向量空间上使用二次型与阿夫不变量构造中心扩张，生成非平凡的三次不变量。
• 使用 Magma 计算显式例子，找出非退化的二次型 $q_1, q_2$，其阿夫不变量均为 1，且 $q_1 + q_2$ 亦为非退化且阿夫不变量为 1。
• 定义 $V = Y_{q_1} \oplus Y_{q_2} \oplus Y_{q_1+q_2}$，其中 $Y_q$ 为 $\widetilde{E}_q$ 的不可约表示，以实现非平凡的三次泊松迹。
• 通过验证 $\dim (Y_{q_1} \otimes Y_{q_2} \otimes Y_{q_3})^G = 4$（其中 $q_3 = q_1 + q_2$），确认 $\mathsf{HP}_0(\mathcal{O}_V^G)$ 在度数 3 处具有 4 维分量。

实验结果

研究问题

• RQ1 对于哪些有限子群 $G < \mathrm{Sp}_{2n}(\mathbb{C})$，$\mathsf{HP}_0(\mathcal{O}_V^G)$ 在度数 3 处非平凡？
• RQ2 能否通过次数与维度的有界性，将 $\mathcal{O}_V^G$ 上泊松迹的空间简化为有限计算？
• RQ3 在 $\mathbb{F}_2$ 上的二次型的阿夫不变量在构造 $\mathcal{O}_V^G$ 中非平凡三次不变量的过程中起何作用？
• RQ4 $\widetilde{E}_q$ 的表示 $Y_q$ 如何贡献于 $\mathsf{HP}_0(\mathcal{O}_V^G)$ 的结构？
• RQ5 $\mathsf{HP}_0(\mathcal{O}_V^G)$ 在何种条件下与霍赫希尔德迹的分次版本 $\mathsf{gr}\, \mathsf{HH}_0(\mathcal{D}_X^G)$ 一致？

主要发现

• 对于通过 $\mathbb{F}_2$ 上阿夫不变量为 1 的二次型构造的 12 维辛表示 $V$ 及其有限群 $G$，空间 $\mathsf{HP}_0(\mathcal{O}_V^G)$ 在三次度数下非平凡。
• 当 $G$ 构造为 4 维 $\mathbb{F}_2$-空间的中心扩张，且非退化二次型 $q_1, q_2, q_3 = q_1 + q_2$ 的阿夫不变量均为 1 时，$\mathsf{HP}_0(\mathcal{O}_V^G)$ 的三次分量维度为 4。
• 该构造生成了 $\mathcal{O}_V^G$ 中 $G$-不变的三次多项式，其对称平方与张量积的不变量在不同不可约表示间为平凡，确保三次部分未被迹关系所“消除”。
• 该方法成功通过次数有界与表示论约束，将泊松迹计算的无限维问题简化为有限计算。
• 使用 Magma 计算显式例子，确认 $q_1 = x_1x_2 + x_3^2 + x_3x_4 + x_4^2$ 与 $q_2 = x_1^2 + x_1x_4 + x_2^2 + x_2x_3 + x_3x_4$ 满足阿夫不变量为 1 且和为非退化的条件。
• 结果表明，即使 $\mathsf{HP}_0(\mathcal{O}_V^G)$ 不同构于分次霍赫希尔德同调，其在度数 3 处仍可非平凡，表明存在非平凡的滤子结构。