[論文レビュー] Some generalizations of the variety of transposed Poisson algebras

B. K. Sartayev|arXiv (Cornell University)|May 22, 2023

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

ひとこと要約

この論文は、ノヴィコフ積が可換であるような可換ゲルファンド＝ドルフマン代数の多様体が、転置ポisson代数の多様体と一致することを確立している。また、転置ポアソンオペラッドのグレブナー＝シルシュォフ基底を次数4まで計算し、すべての転置ポアソン代数がF多様体であることを証明し、GD代数の特別な恒等式がこの多様体で成り立つことを検証した。その結果、すべての転置ポアソン代数が特定の写像を介して微分ポアソン代数に埋め込める、すなわち「特別」であるという予想に至っている。

ABSTRACT

It is shown that the variety of transposed Poisson algebras coincides with the variety of Gelfand-Dorfman algebras in which the Novikov multiplication is commutative. The Gröbner-Shirshov basis for the transposed Poisson operad is calculated up to degree 4. Furthermore, we demonstrate that every transposed Poisson algebra is F-manifold. We verify that the special identities of GD-algebras hold in transposed Poisson algebras. Finally, we propose a conjecture stating that every transposed Poisson algebra is special, i.e., can be embedded into a differential Poisson algebra.

研究の動機と目的

• 非結合的代数の既知の多様体と関連付けることで、転置ポアソン代数の代数的構造を明確にすること。
• 転置ポアソン代数が、ゲルファンド＝ドルフマン代数に対して以前に同定された特別な恒等式を満たすかどうかを特定すること。
• すべての転置ポアソン代数が微分ポアソン代数に埋め込めるかどうか、すなわち「特別」かどうかを調査すること。
• 転置ポアソンオペラッドのグレブナー＝シルシュォフ基底を次数4まで計算し、その多重線形基底を理解すること。

提案手法

• 著者はオペラッド理論と忘却函手を用い、単項式のシャッフルを介して可換ゲルファンド＝ドルフマンオペラッドの多重線形基底を計算した。
• 転置ポアソン代数の定義的恒等式に基づく書き換え系を構築し、単項式の簡約と恒等式の検証を実行した。
• 文献からの恒等式とオペラッド的書き換え系を用いて、次数4までにわたるグレブナー＝シルシュォフ基底を計算した。
• ゲルファンド＝ドルフマン代数からポアソン代数への導分を伴う写像τを適用し、埋め込み可能性と特別性を分析した。
• 項の書き換えと代入を用いて、GD代数の次数4の既知の特別な恒等式が転置ポアソン代数でも成り立つことを検証した。
• すべての転置ポアソン代数がF多様体の恒等式を満たすことを証明し、Frobenius多様体構造と整合することを示した。

実験結果

リサーチクエスチョン

• RQ1 転置ポアソン代数の多様体は、ノヴィコフ積が可換である可換ゲルファンド＝ドルフマン代数の多様体と一致するか？
• RQ2 ゲルファンド＝ドルフマン代数の次数4の既知の特別な恒等式が、転置ポアソン代数でも成り立つか？
• RQ3 写像τを介して、すべての転置ポアソン代数が微分ポアソン代数に埋め込めるか、すなわち特別であるか？
• RQ4 転置ポアソンオペラッドのグレブナー＝シルシュォフ基底は、次数4まででどのようなものか？
• RQ5 すべての転置ポアソン代数はF多様体であるか、すなわちF多様体の恒等式を満たすか？

主な発見

• 転置ポアソン代数の多様体は、ノヴィコフ乗法が可換である可換ゲルファンド＝ドルフマン代数の多様体と同型である。
• 転置ポアソンオペラッドのグレブナー＝シルシュォフ基底は、次数4まで計算され、この多様体における自由代数の多重線形基底を提供した。
• すべての転置ポアソン代数はF多様体の恒等式を満たし、F多様体構造と整合する構造を有する。
• 文献で知られているGD代数の次数4の特別な恒等式（恒等式(4)および(5)）が、項の書き換えによって転置ポアソン代数でも成り立つことが確認された。
• 著者は、すべての転置ポアソン代数が特別である、すなわち写像τを介して微分ポアソン代数に埋め込めるという予想に強く支持する証拠を提供した。
• 恒等式 $2[x_1,x_2]x_3 = [x_1x_3,x_2] + [x_1,x_2x_3]$ が転置ポアソン代数の多様体を定義することを示し、それが可換GD代数と同値であることを確認した。