[論文レビュー] Quillen homology for operads via Gröbner bases

Dotsenko, Vladimir, Khoroshkin, Anton|arXiv (Cornell University)|Mar 22, 2012

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

ひとこと要約

本稿では、シャッフルoperadの圏におけるGroebner基底を用いた、operadのQuillenホモロジーの計算手法を提示する。この手法により、最小モデルにおけるホモロジー類および微分構造の明示的計算が可能となる。Groebner基底による単項式置換と組合せ的分解の変形を活用し、ベクトル空間としてのQuillenホモロジーを計算するとともに、可換代数やBatalin–Vilkovisky構造に由来するいくつかのoperadのKoszul性を確立する。

ABSTRACT

The main goal of this paper is to present a way to compute Quillen homology of operads. The key idea is to use the notion of a shuffle operad we introduced earlier; this allows to compute, for a symmetric operad, the homology classes and the shape of the differential in its minimal model, although does not give an insight on the symmetric groups action on the homology. Our approach goes in several steps. First, we regard our symmetric operad as a shuffle operad, which allows to compute its Gröbner basis. Next, we define a combinatorial resolution for the "monomial replacement" of each shuffle operad (provided by the Gröbner bases theory). Finally, we explain how to "deform" the differential to handle every operad with a Gröbner basis, and find explicit representatives of Quillen homology classes for a large class of operads. We also present various applications, including a new proof of Hoffbeck's PBW criterion, a proof of Koszulness for a class of operads coming from commutative algebras, and a homology computation for the operads of Batalin-Vilkovisky algebras and of Rota-Baxter algebras.

研究の動機と目的

• 対称operadのQuillenホモロジーを計算する体系的な手法を開発すること。
• 対称operadにおける単項式置換の欠如を補うために、シャッフルoperadの圏で作業すること。
• 既知のGroebner基底を有する一般のoperadを扱うために、単項式シャッフルoperadに対する組合せ的分解を構成し、それを変形すること。
• 広範なクラスのoperadに対して、Quillenホモロジー類の明示的代表元を提供すること。
• ホモロジー代数、Koszul双対性、およびFrobenius多様体などの幾何的構造との関係を確立すること。

提案手法

• 対称operadをシャッフルoperadとして表現することで、対称圏では利用不可能なGroebner基底計算を可能にする。
• 包含・排除原理およびクラスタ法の技術を用いて、シャッフルoperadの単項式置換に対する組合せ的分解を構成する。
• 代数的Morse理論を適用し、分解のホモロジーを計算し、ベクトル空間としてQuillenホモロジーを抽出する。
• 単項式分解の微分を、関係式の低次の項を組み込むように変形することで、元のoperadの分解を得る。
• ホモトピーco-operadのホモトピー転送定理を用いて、Quillenホモロジー上でのホモトピーco-operad構造を再構成する。
• 既知の同型および準同型（例：$BV_{ullet}$ と $ ext{Hycom}_{ullet}$ の間）を活用し、幾何的文脈における結果の妥当性と解釈を検証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、Groebner基底技法を用いて対称operadのQuillenホモロジーを明示的に計算できるか？
• RQ2 組合せ的分解を介して、Gröbner基底からoperadの最小モデルの構造を再構成できるか？
• RQ3 シャッフルoperadの圏における単項式置換が、元の対称operadのホモロジー的情報をどの程度保っているか？
• RQ4 Quillenホモロジー上に存在するホモトピーco-operad構造の役割は何か？ また、微分の変形を用いてどのように計算できるか？
• RQ5 既知の幾何的構成（例：Frobenius多様体、$BV/ abla$-商）は、$BV$ や $Hycom$ のようなoperadのホモロジー的構造とどのように関係しているか？

主な発見

• 対称operadのQuillenホモロジーは、その関連するシャッフルoperadのQuillenホモロジーと同型であり、より取り扱いやすい設定でホモロジー計算が可能である。
• 本手法により、$Grav$、$Hycom$、$BV$、およびRota–Baxter代数などのoperadに対して、Quillenホモロジー類の明示的代表元が得られる。
• 本フレームワークにより、$Grav$ および $Hycom$ がKoszulであることが証明され、それらのホモロジー的有限性が確認された。
• Groebner基底と分解の道具立てを通じて、HoffbeckのPBW基準の新たな証明が得られた。
• $BV_{ullet}$ の最小モデルにおける微分が、$Hycom_{ullet}$ の微分を変形することで得られ、$D_2 = d_2 + m^*$ であり、高次の成分 $D_k$ が混合木単項式へ写像することが示された。
• $BV_{ullet} o ext{Hycom}_{ullet}$ の準同型が最小モデルを通じて持ち上がるという事実により、$BV$-代数と形式的Frobenius多様体の間の深いoperad的関係が確認された。