Differential graded Hopf algebra structure on free symmetric cosimplicial operads

技術的概要：自由対称余単項演算子上の微分次数付きホップ代数構造

問題と動機
本論文は、自由対称連結乗法的微分次数付き（dg）演算子における代数構造の構成を取り扱います。Batkam と Tcheka による点付き乗法的演算子に関する最近の研究に触発され、著者らは、結合的演算子に関する既知の結果を、より広範な一般自由対称演算子の文脈に拡張する包括的な代数枠組みの確立を目指しています。具体的には、演算子的合成、余単項構造、およびテンソル積の相互作用を利用し、これらの演算子上に新たな鎖複体代数、双複体代数、および微分次数付きホップ代数構造を構成することを目的としています。

手法
著者らは、加法対称モノイド圏（具体的には体 $K$ 上のベクトル空間）上の演算子理論に基づいた構成的手法を採用しています。手法は以下の手順で進められます。

1. 定義と予備知識：$\Sigma$-dg 演算子に必要な定義、すなわち部分合成と全合成、等変性、および微分を確立します。また、2 入力を持つ次数 0 の要素 $\mu$ を持つ乗法的演算子と、次数 0 の基本点 $1_0$ を持つ点付きまたは連結演算子を区別します。
2. 余単項構造の構成：自由な点付き乗法的 dg 演算子に対して、乗法 $\mu$ と基本点 $1_0$ による部分合成を用いて、余面写像（$D^i$）と余退化写像（$s_i$）を定義します。これらの写像は、境界作用素 $\partial$（余退化写像の交互和）と余境界作用素 $\delta$（余面写像の交互和）を誘導します。
3. 代数積の定義：
   • $\odot$ 積は、乗法 $\mu$ を通じて $x \odot y = (\mu \circ_2 y) \circ_1 x$ として定義されます。
   • ねじれたシャッフル積（$\nabla$ と表記）は、演算子成分のテンソル積上で定義され、シャッフルの符号と対称群の作用を組み込みます：$x \nabla y = \sum_{\sigma \in \Sigma(p,q)} \text{sgn}(\sigma)(x \odot y) \cdot \sigma^{-1}$。
4. ホップ代数の構成：微分次数付きでない場合（次数 0 に集中している場合）、著者らは反復された余退化写像から導かれる特定の線形写像（$es^j_k$）を用いて余積 $\Delta$ を定義します。この余積が代数構造と両立することを確認し、生成元の入力数に基づいて反復的に反極 $A$ を構成します。

主要な貢献と結果

• 双複体および鎖複体代数：著者らは、自由対称連結乗法的 dg 演算子 $(O, d)$ に対して以下のことを証明します。

  • 対 $((O, d), \odot)$ は鎖複体代数を形成します。
  • 三つ組 $((O, d), \partial, \odot)$ および $((O, d), \delta, \odot)$ は双複体代数を形成します。
  • 三つ組 $((O, d), \nabla)$ は、結合的演算子 ($Ass$) 上の Malvenuto-Reutenauer ねじれ代数構造を一般化するねじれた微分次数付き代数を構成します。

• 微分次数付きホップ代数構造：演算子が次数 0 に集中している場合（$d=0$）に焦点を当て、論文は微分次数付きホップ代数構造を構成します。

  • 余積：写像 $\Delta: O(k) \to \bigoplus_{j=0}^k O(j) \otimes O(k-j)$ を通じて、余拡大微分次数付き余代数構造が確立されます。
  • 反極：必要な反極恒等式を満たす反復的な反極 $A$ が定義されます。
  • 主要定理：五つ組 $((O, \delta), \odot, \eta, \Delta, \epsilon)$ が微分次数付きホップ代数であることが証明されます。

• 誘導される構造：この構成は、自然に自己準同型環 $\text{End}(O)$ 上に畳み込み代数構造を誘導します。これにより、Adams 鎖コホモロジー作用素（$\phi_k$）の定義が可能となり、これらの作用素が畳み込みのもとでモノイドを形成することが確立されます。さらに、畳み込み積は交換子括弧を通じて $\text{End}(O)$ 上にリー代数構造を誘導します。

• **結合的演算子 ($Ass$) への応用**：この理論は、結合的演算子$Ass = \bigoplus_{n \geq 0} K[S_n]$に適用されます。著者らは、構成された余積$\Delta$が、体$K$を環$\mathbb{Z}$ と同一視するもとで、古典的な Malvenuto-Reutenauer 余積 $\Delta_{MR}$ と一致することを示します。その結果、本論文は $Ass$ が微分次数付きホップ代数構造を担うことを確認し、古典的な Malvenuto-Reutenauer の結果を、より広範な自由対称連結乗法的演算子のクラスに拡張します。

意義
本論文は、すべての自由対称連結乗法的演算子が自然に微分次数付きホップ代数構造を担うことを示すことで、Malvenuto-Reutenauer の結果を拡張すると主張しています。余単項構造を演算子的合成および $\odot$ 積と統合することにより、この研究はホモロジーにおける乗法的構造を解釈するための一般的な枠組みを提供します。ねじれた微分次数付き代数およびそれに続くホップ代数構造の構成は、ホモトピー不変な代数構造およびその階層を研究するための新たな道具を提供し、特に有理ホモトピー理論およびグラフ複体の文脈において重要です。自己準同型環上の誘導された畳み込み代数およびリー代数構造の同定は、演算子理論を Adams 作用素のような古典的な代数作用素へとさらに結びつけています。