[論文レビュー] 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

ひとこと要約

本稿では、有限集合内の補集合をなす部分集合におけるバーデルモンド行列式の組み合わせ的恒等式を新たに確立し、これを用いて無限二面体群の群代数の有限双対を計算する。ロビンソン＝シェンステッド＝クヌース対応およびハンケル行列式の性質を活用することで、有限双対の閉形式表現が得られ、明示的な代数的同型写像により、それが特定のホップ代数に同型であることが証明される。

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.

研究の動機と目的

• 有限集合の補集合をなす部分集合上で、バーデルモンド行列式の積の和を含む新しい組み合わせ的恒等式を確立すること。
• この恒等式を用いて、特性が0の代数的に閉じた体上の無限二面体群の群代数の有限双対を特定すること。
• 除数関数や特殊関数に関連する多次元積分の離散的類似が、表現論的およびホップ代数的構造とどのように関連するかを明らかにすること。
• 明示的な代数的同型写像を用いて、無限二面体群代数の有限双対が特定のホップ代数に同型であることを証明すること。

提案手法

• 固定された和 t を持つ m 要素部分集合 X ⊂ {1, ..., m+n} に対して、その補集合 Y = U ∖ X を用いて、Vandermonde 行列式の積の和 ∑V_X V_Y を含む組み合わせ的恒等式を導出する。
• ロビンソン＝シェンステッド＝クヌース対応を用いて、和 ∑V_X V_Y を三角形配列の数え上げ問題に帰着させ、X と Y の補集合構造を活用する。
• この和を、x と x^{-1} の累乗を含む 2m×2m 行列 A の行列式に結びつけ、バーンズ G 関数の性質を用いてその行列式を計算する。
• 生成関数と線形独立性の議論を用いて、群代数の余有限イデアルによる商代数の双対の基底を構成する。
• 既知の双対代数から無限二面体群代数の有限双対へのホップ代数的同型写像 Θ を定義し、線形独立性と中国剰余定理を用いてその全単射性を証明する。
• 基底の議論により単射性を示し、双対空間の構造を用いて全射性を確認することで、写像が同型であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 固定された和を持つ有限集合の補集合部分集合におけるバーデルモンド行列式の積の和を支配する組み合わせ的恒等式は何か？
• RQ2 この恒等式を用いて、無限二面体群代数の有限双対をどのように計算できるか？
• RQ3 特性 0 の体上の無限二面体群代数の有限双対の代数的構造は何か？
• RQ4 離散的積分 γ_m の類似が、表現論的およびホップ代数的構造とどのように関係するか？
• RQ5 無限二面体群代数の有限双対と既知の代数的構造との間にホップ同型写像が存在するか？

主な発見

• 本稿では、恒等式 ∑_{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_∞ の有限双対は、明示的なホップ同型写像 Θ を通じて特定のホップ代数 A に同型であることが示された。
• x^k と x^{-k} を含む 2m×2m 行列 A の行列式は、|A| = G(m+1)^2 ⋅ (x^{-1} - x)^{m^2} に等しいことが示された。
• 余有限イデアル I を用いた商代数 (kD_∞ / I)^* の双対空間の次元は 4r であり、λ^i および iλ^i を含む生成関数を用いて基底が構成された。
• 行列式行列 B の非ゼロ性を示すことで、双対基底要素の線形独立性が確立され、これはコロナリー2の行列 A の構造と一致する。
• ホップ写像 Θ: kD_∞^∘ → (kD_∞)^∘ がホップ同型写像であることが証明され、有限双対が E, Φ_λ, Ψ_λ で生成される代数に同型であることが示された。