[論文レビュー] (Pure) transcendence bases in $\phi$-deformed shuffle bialgebras

Văn Chiến Bùi, Gérard Duchamp+3 more|arXiv (Cornell University)|Jul 4, 2015

Algebraic structures and combinatorial models参考文献 16被引用数 4

ひとこと要約

本稿は、$φ$-変形シャッフル双代数における反極、リー・アイディアル、双対基底の存在に必要な十分条件を確立し、一般化されたシュッツェンベルク因子分解を導入して（純粋な）超越基底とPBW型基底の構成を行う。主たる貢献は、ホイ・ノーマン定理の$φ$-変形版を用いて、ハウスドルフ群における局所座標系を構築し、無限次元的かつ非可換な設定に古典的結果を拡張するものであり、リノーマライゼーションやポリゼータ関数への応用を含む。

ABSTRACT

Computations with integro-differential operators are often carried out in an associative algebra with unit, and they are essentially non-commutative computations. By adjoining a cocommutative co-product, one can have those operators perform act on a bialgebra isomorphic to an enveloping algebra. That gives an adequate framework for a computer-algebra implementation via monoidal factorization, (pure) transcendence bases and Poincar\\'e--Birkhoff--Witt bases. In this paper, we systematically study these deformations, obtaining necessary and sufficient conditions for the operators to exist, and we give the most general cocommutative deformations of the shuffle co-product and an effective construction of pairs of bases in duality. The paper ends by the combinatorial setting of local systems of coordinates on the group of group-like series.

研究の動機と目的

• $φ$-変形シャッフル双代数を体系的に研究し、反極、リー・アイディアル、双対基底の存在に必要な十分条件を特定すること。
• シュッツェンベルクの因子分解を$φ$-変形双代数へ拡張し、リンドン語を用いて（純粋な）超越基底を構成すること。
• 非可換な多項式対数および調和和の生成系列の文脈において、PBW型基底とその双対の有効な構成を行うこと。
• $φ$-変形畳み込み作用素を用いて、群的系列の無限次元リー群へのホイ・ノーマン定理の一般化を行うこと。
• $φ$-変形双代数における群的系列の群における局所座標の組合せ的枠組みを確立すること。

提案手法

• 中程度で、結合的かつ可換な関数$φ$を用いて定義される$φ$-変形シャッフル積を用い、標準的シャッフル積を一般化する。
• モノイダル因子分解と$φ$-拡張シュッツェンベルク因子分解を適用し、双代数内の対角系列を分解する。
• 降順の連結を用いて基底$\{\Pi_w\}$と$\{\Sigma_w\}$を構成し、PBW型構造と双対性$\langle \Pi_u | \Sigma_v \rangle = \delta_{u,v}$を保証する。
• $w = l_1^{i_1} \cdots l_k^{i_k}$に対して、公式$\Sigma_w = \frac{1}{i_1! \cdots i_k!} \Sigma_{l_1}^{i_1} \cdots \Sigma_{l_k}^{i_k}$を導出する。ここで$l_i$はリンドン語である。
• $\hat{\otimes}_{\varphi}$積を備えた二重代数$\mathbb{K}\langle\langle Y\rangle\rangle \hat{\otimes} \mathbb{K}\langle\langle Y\rangle\rangle$を用いて、因子分解$\sum_{w \in Y^*} w \otimes w = \prod_{l \in \mathcal{L}yn Y}^{\searrow} e^{\Sigma_l \hat{\otimes} P_l}$を導出する。
• 対角系列に作用素$(S \hat{\otimes} \mathrm{Id})$を適用し、$S = \prod_{l \in \mathcal{L}yn Y}^{\searrow} e^{\langle S | \Sigma_l \rangle P_l}$を導出することで、ハウスドルフ群上での局所座標系を獲得する。

実験結果

リサーチクエスチョン

• RQ1 $φ$-変形シャッフル双代数が反極と明確に定義されたリー・アイディアルを有するための条件は何か？
• RQ2 $φ$-変形シャッフル双代数内で（純粋な）超越基底とPBW型基底を双対的に構成する方法は何か？
• RQ3 $φ$-変形双代数における対角系列の因子分解の一般形は何か？また、群的系列とどのように関係するか？
• RQ4 $φ$-変形双代数の文脈において、ホイ・ノーマン定理を群的系列の無限次元リー群に一般化できるか？
• RQ5 $φ$-変形は、多項式対数と調和和の非可換生成系列の双対性にどのように影響を与えるか？

主な発見

• $φ$-変形シャッフル双代数$\mathcal{H}_{\varphi}$は、標準的シャッフル双代数と同型であり、$\varphi$に関する弱い条件下で、反極の存在や双対性を含むすべての構造的性質が保たれる。
• リンドン語$\mathcal{L}yn Y$による（純粋な）超越基底が$φ$-変形シャッフル双代数に存在し、制限された族$\{\Pi_l\}_{l \in \mathcal{L}yn Y}$は、原始的元$\mathcal{P}$の基底をなす。
• 降順連結を用いて全基底$\{\Pi_w\}$が構成され、PBW型基底をもたらし、その双対$\{\Sigma_w\}$は$w = l_1^{i_1} \cdots l_k^{i_k}$に対して明示的公式$\Sigma_w = \frac{1}{i_1! \cdots i_k!} \Sigma_{l_1}^{i_1} \cdots \Sigma_{l_k}^{i_k}$を満たす。
• 対角系列の因子分解$\sum_{w \in Y^*} w \otimes w = \prod_{l \in \mathcal{L}yn Y}^{\searrow} e^{\Sigma_l \hat{\otimes} P_l}$は、$φ$-変形二重代数で成立し、シュッツェンベルクの因子分解を一般化する。
• 任意の群的系列$S$に対して、公式$S = \prod_{l \in \mathcal{L}yn Y}^{\searrow} e^{\langle S | \Sigma_l \rangle P_l}$は、ハウスドルフ群上での局所座標系を提供し、古典的ホイ・ノーマン定理を無限次元的設定に拡張する。
• すべての級数と和集合性が保証されるよう、$\varphi$が中程度であるという仮定のもとで、この構成は有効である。