[論文レビュー] Distributive laws between the Three Graces

Murray R. Bremner, Martin Markl|arXiv (Cornell University)|Sep 21, 2018

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

ひとこと要約

この論文は、結合的（Ass）、可換結合的（Com）、リー代数的（Lie）という3つの基本的代数的オペラッド間のすべての同次的分配則を、圏論的および計算的手法を用いて分類する。唯一存在するのは古典的で、自明で、切断された分配則であることが証明され、これらの代数的構造における驚くべき剛性が示され、主要な結果は、マップルを用いたグレブナー基底計算によって確認されている。この計算は、二次方程式系に対するものである。

ABSTRACT

By the Three Graces we refer, following J.-L. Loday, to the algebraic operads Ass, Com, and Lie, each generated by a single binary operation; algebras over these operads are respectively associative, commutative associative, and Lie. We classify all distributive laws (in the categorical sense of Beck) between these three operads. Some of our results depend on the computer algebra system Maple, especially its packages LinearAlgebra and Groebner.

研究の動機と目的

• 3つの基本的代数的オペラッド、すなわち結合的（Ass）、可換結合的（Com）、リー代数的（Lie）の間のすべての同次的分配則を分類すること。
• ポisson代数やゲルステンハーバー代数といったよく知られた例以外に、新しい非古典的分配則が存在するかどうかを調査すること。
• 分配則の条件から生じる大規模な二次方程式系を解くために、コンピュータ代数の役割を調査すること。
• 『三つの女神』の外にある奇妙に見える分配則が、代数的変換を用いて標準的なものと同型であるかどうかを検討すること。
• アソシエイティブ・マグマティックな分配則への分析を拡張し、たとえ外見が奇妙に見えても、実際には既知のタイプと同型である可能性を明らかにすること。

提案手法

• ジョン・ベックのオペラッド間の分配則の圏論的枠組みを用い、それをオペラッド的文脈における二次方程式系に翻訳する。
• マップルのコンピュータ代数システム、特に LinearAlgebra および Groebner パッケージを用い、分配則の公理から生じる大規模な多項式方程式系を解く。
• 多項式環上でのグレブナー基底技術を用いて、解を分類し、分配則の同型類を特定する。
• Eulerian substitution (13) などの代数的置換を用い、複雑に見える分配則を標準形に変換し、既知の分配則と同型であることを証明する。
• 特定のケースにおいて、分配則の整合性と一貫性を手作業で検証し、構造的制約を理解する。
• Ass–Mag や Lie–Com などのオペラッド対について結果を比較し、剛性と同型類のパターンを特定する。

実験結果

リサーチクエスチョン

• RQ1 『三つの女神』のオペラッド、すなわち Ass、Com、Lie 間には、古典的例以外に非自明で、同型でない分配則が存在するか？
• RQ2 『三つの女神』の3つのオペラッド間には、同型類として何種類の同次的分配則が存在するか？
• RQ3 マップルのようなコンピュータ代数システムは、数百個の二次方程式を含む分配則を効果的に分類できるか？
• RQ4 アソシエイティブとマグマティックな演算の間にあるような、奇妙に見える分配則は、実際には標準的なものと同型であると判明するか？
• RQ5 どのようなオペラッドの構造的性質が、有限個の分配則を生じさせるのか。この性質は他のオペラッド対へ一般化可能か？

主な発見

• Ass、Com、Lie オペラッド間には、自明で、切断され、古典的な分配則のみが存在し、新たな同型でない分配則は発見されなかった。
• Ass と Mag（マグマティック）演算の間の分配則の分類では、同型でないタイプがちょうど2つ存在する：自明な分配則と切断された分配則。
• マップルを用いたグレブナー基底計算により、『三つの女神』の間の分配則の二次方程式系には、有限個の解しか存在しないことが確認された。
• Eulerian substitution (13) を用いることで、複雑に見える分配則が標準的な切断形に変換され、既知の分配則と同型であることが証明された。
• Lie と Com の対については、唯一の非自明な分配則はポアソン代数構造に対応しており、これが一意的であることが確認された。
• 集合の圏においては、Ass と Mag 間には分配則が存在しないことが、補題 7.3 によって示された。これは、基礎体の役割がこのような構成において重要な役割を果たしていることを示している。