[论文解读] A combinatorial identity and the finite dual of infinite dihedral group algebra

Fan Ge, Gongxiang Liu|arXiv (Cornell University)|May 4, 2020

Algebraic structures and combinatorial models参考文献 13被引用 5

一句话总结

本文建立了一项关于有限集中互补子集的Vandermonde行列式的新型组合恒等式，该恒等式随后被用于计算无限二面体群群代数的有限对偶。通过利用Robinson-Schensted-Knuth对应关系及Hankel行列式的性质，作者推导出有限对偶的闭式表达式，证明其通过显式代数同构同构于特定的Hopf代数。

ABSTRACT

In this note, we find a combinatorial identity which is closely related to the multi-dimensional integral $γ_{m}$ in the study of divisor functions. As an application, we determine the finite dual of the group algebra of infinite dihedral group.

研究动机与目标

• 建立一个涉及有限集互补子集上Vandermonde行列式乘积和的新型组合恒等式。
• 将该恒等式应用于确定在特征为零的代数闭域上，无限二面体群群代数的有限对偶。
• 将与除数函数及特殊函数相关的多维积分的离散类比与表示论及Hopf代数结构联系起来。
• 通过显式代数同态证明无限二面体群代数的有限对偶同构于特定的Hopf代数。

提出的方法

• 推导出关于集合{1, ..., m+n}中所有m元子集X（满足∑x_i = t）及其补集Y = U ∖ X）的Vandermonde行列式乘积和的组合恒等式。
• 利用Robinson-Schensted-Knuth对应关系，将∑V_X V_Y与三角形数组的计数问题联系起来，利用X与Y的互补结构。
• 将该和关联到一个包含x^k与x^{-k}幂的2m×2m矩阵的行列式，并利用Barnes G-函数的性质计算其行列式。
• 通过生成函数与线性无关性论证，构造群代数模一个余有限理想之商代数的对偶基。
• 定义一个从已知对偶代数到无限二面体群代数有限对偶的Hopf代数同态，并利用线性无关性与中国剩余定理证明其双射性。
• 通过基论证证明该同态的单射性，通过对偶空间的结构证明其满射性，从而验证其为同构。

实验结果

研究问题

• RQ1 什么组合恒等式控制了有限集中互补子集上Vandermonde行列式乘积和（固定和）？
• RQ2 该恒等式如何用于计算无限二面体群群代数的有限对偶？
• RQ3 在特征为零的域上，无限二面体群代数的有限对偶的代数结构是什么？
• RQ4 离散类比的积分γ_m如何与表示论及Hopf代数构造相关联？
• RQ5 是否存在无限二面体群代数有限对偶与已知代数结构之间的Hopf同构？

主要发现

• 本文证明了恒等式 ∑_{X⊂U, ∑x_i=t} V_X V_Y = G(m+1)G(n+1) ⋅ (mn choose t*)，其中 t* = t - m(m+1)/2 且 Y = U ∖ X。
• 群代数kD_∞的有限对偶同构于特定Hopf代数A，通过显式Hopf同构Θ得以证明。
• 包含x^k与x^{-k}项的2m×2m矩阵A的行列式满足 |A| = G(m+1)^2 ⋅ (x^{-1} - x)^{m^2}。
• 商代数(kD_∞ / I)^*的对偶空间维数为4r，其基通过包含λ^i与iλ^i的生成函数构造。
• 通过对偶基元素的行列式矩阵B的非零性，证明了其线性无关性，该矩阵B的结构与引理2中的矩阵A一致。
• Hopf同态Θ: kD_∞^∘ → (kD_∞)^∘被证明为Hopf同构，从而确立了有限对偶同构于由E, Φ_λ, Ψ_λ生成的代数。