[论文解读] The relative Gel'fand-Kalinin-Fuks cohomology groups of the formal Hamiltonian vector fields on 6-dimensional plane

Kentaro Mikami|arXiv (Cornell University)|Feb 27, 2014

Advanced Topics in Algebra参考文献 6被引用 4

一句话总结

本文计算了在6维平面上的形式哈密顿向量场的相对盖尔范德-卡利宁-富克斯上同调群，重点关注权重2、4和6。通过使用晶体基理论克服n=3情形下的计算复杂性，确定了贝蒂数，并显式构造了上同调群的基，揭示了在权重6时存在非平凡上同调，其欧拉示性数为3，余维数为2的上边界算子。

ABSTRACT

Using Crystal basis theory, we study the relative Gel'fand-Kalinin-Fuks cohomology groups of the formal Hamiltonian vector fields on 6-dimensional plane with weight =2,4,6.

研究动机与目标

• 计算在 $\mathbb{R}^6$ 上形式哈密顿向量场的李代数的相对盖尔范德-卡利宁-富克斯上同调群，特别关注权重2、4和6。
• 克服在 $n=3$ 情形下的计算挑战，此时传统表示论工具（如利特尔伍德-理查森规则）变得不可行。
• 应用晶体基理论分解 $\mathfrak{sp}(6,\mathbb{R})$-表示的张量积，并显式计算上同调空间。
• 确定上同调群的贝蒂数与欧拉示性数，从而对低权重下的相对上同调给出完整描述。

提出的方法

• 上链复形通过 $\mathbb{R}^6$ 上齐次多项式函数的对偶空间定义，其中度数为 $\ell$ 的多项式赋予权重 $\ell - 2$。
• 通过在完备李代数 $\mathfrak{ham}_6^0$ 上作用的上边界算子 $d$ 计算相对上同调，且该算子保持权重。
• 使用晶体基理论处理 $\mathfrak{sp}(6,\mathbb{R})$-表示张量积的不可约分解，替代在 $n=3$ 情形下不可行的利特尔伍德-理查森规则。
• 通过识别 $\Lambda^4\mathfrak{S}_3 \otimes \mathfrak{S}_4$ 中的最大向量并投影到平凡表示子空间，构造上同调空间的显式基。
• 将上边界算子 $d$ 表示为作用在 $\mathfrak{C}^5_6$ 的基上的矩阵，其秩为2。
• 通过利用晶体结构进行系统化约化，计算出 $\mathfrak{C}^5_6$ 的显式基元素，其中某些表达式包含超过20万个项。

实验结果

研究问题

• RQ1 在权重2、4和6下，$\mathbb{R}^6$ 上形式哈密顿向量场的相对盖尔范德-卡利宁-富克斯上同调群的贝蒂数是什么？
• RQ2 当标准表示论工具在 $n=3$ 情形下失效时，如何计算 $\mathfrak{ham}_6^0$ 以 $\mathfrak{sp}(6,\mathbb{R})$ 为系数的上同调？
• RQ3 对于权重 $w=2,4,6$，相对上链复形 $\mathfrak{C}^j_w$ 的结构如何？其各分量的维数是多少？
• RQ4 晶体基理论能否有效用于计算高维张量积中平凡表示子空间的显式基？
• RQ5 上边界算子 $d$ 作用在权重6的5-上链空间上时，其秩是多少？

主要发现

• 在权重2时，贝蒂数为 $b^0_2 = 1$，$b^1_2 = 0$，$b^2_2 = 1$，欧拉示性数为1。
• 在权重4时，贝蒂数为 $b^0_4 = 1$，$b^4_4 = 2$，其余全为零，欧拉示性数为2。
• 在权重6时，贝蒂数为 $b^0_6 = 1$，$b^5_6 = 2$，$b^6_6 = 5$，其余全为零，欧拉示性数为3。
• 5-上链空间 $\mathfrak{C}^5_6$ 的维数为4，其平凡表示子空间为4维，由4个最大向量构成基。
• 上边界算子 $d$ 作用在 $\mathfrak{C}^5_6$ 上的秩为2，其矩阵表示作用于4个向量的基上可得此结论。
• 构造了 $\mathfrak{C}^5_6$ 的显式基元素，其中一个示例包含超过20万个项，完整基的计算共占1567页。