Braided cohomology of quasi-triangular bialgebras and braided Morita invariance

技術的要約：準三越型双代数の編組コホモロジーと編組森田不変性

問題提起
本論文は、Staicによって群に対して定義され、Shiba, Sanada, および Itaba によって余可換ホップ代数へと拡張された対称コホモロジーの一般化を、準三越型双代数の設定へと適用するものである。古典的および余可換な設定においては、余鎖複体は対称モノイダル圏における反転射（flip morphism）に由来する、次数ごとの対称群の作用を含む。しかし、準三越型双代数の場合、関連するのは対称ではなく編組（braiding、すなわち $R$-行列）であり、基礎となる圏は対称的なものではなく編組モノイダル圏である。著者らは、任意の線形モノイダル圏における編組余コラジュ（braided coalgebra）に対する「編組コホモロジー（braided cohomology）」を定義し、その編組森田同値（すなわち、加群圏の線形編組モノイダル同値）に対して、このコホモロジーが不変であるかどうかを調査することを目的としている。

手法
著者らは、Krasauskas および Fiedorowicz–Loday によって導入された交差型単体的群である増強編組圏 $(\Delta B)_+$ を中心とした圏論的枠組みを採用している。手法は以下のステップを通じて進行する：

1. 圏論的構成： 著者らは、線形モノイダル圏 $\mathcal{C}$ における編組余コラジュ $(C, c)$ を定義する。ここで $C$ は対象であり、$c$ は余コラジュ構造と特定の適合条件を満たす編組同型である。
2. 関手的な関連付け： すべての編組余コラジュに対し、増強編鳥圏 $(\Delta B)_+$ から $\mathcal{C}$ の自己関手の圏への厳密モノイダル関手 $\tilde{T}_\bullet(C, c): (\Delta B)_+^{op} \to [\mathcal{C}, \mathcal{C}]$ を対応させる。この関手は、増強編組圏を、$\mathcal{C}$ の自己関手の圏へと写す。
3. 複体の定義： この関手を用いて、対象 $M$ を係数とする編組余鎖複体 $KB^\bullet(C, c, M)$ を構成する。これは以下の手順で行われる：
   • 関手を部分圏 $(\Delta_{inj}B)_+$（編組単射）に制限する。
   • 単位対象において評価を行い、$\text{Hom}_\mathcal{C}(-, M)$ 関手を適用することで、$k$-加群の圏（$\mathcal{V}$）へと着地させる。
   • 微分を面写像（face maps）の交代和として定義する。
   • （古典的な対称不変量で用いられる対称不変量を一般化したものとして）特定の編組群 $B_{n+1}$ の作用による不変元（具体的には、$\phi$ が $K(\tau_i^n)(\phi) = -\phi$ を満たすような要素）のサブ複体を取る。
4. 相対的射： 不変性を研究するために、著者らは厳密モノイダル関手間の相対的射（relative morphisms）という概念を導入する。彼らは、$\tilde{T}_\bullet(C, c)$ から $\tilde{T}_\bullet(D, c')$ への相対的射と、ターゲットとなる圏における、モノイダル関手 $F$ に適応された余コラジュ射に類似した条件を満たす特定の射 $\alpha: D \to F(C)$ との間に、全単射な対応関係を確立している。

主要な貢献と結果

• 編組コホモロジーの定義： 著者らは、任意の線形モノイダル圏における編組余コラジュのための編組余鎖複体および編組コホモロジーを定義する。この枠組みは、準三越型双代数（その加群圏における編組余コラジュと見なされるもの）、微分勾配（DG）の設定、およびYetter-Drinfel'd加群を包含する。
• 定理 A（相対的射の性質）： 著者らは、編組余コラジュに関連付けられた関手間の相対的射が、編組構造と関手のモノイダル構造を含む特定の構造方程式を満たす射 $\alpha$ と全単射に対応することを証明している。これにより、複雑な関手の自然変換の研究が、基礎となる圏における単一の射の研究へと還元される。
• 定理 B（編組森田不変性）： 準三越型 $k$-双代数 $(A, R)$ と $(B, R')$ に対し、忘却関手と可換である（自然同型を除いて）$k$-線形編組モノイダル同値 $F: (A\text{-Mod}, c_R) \to (B\text{-Mod}, c_{R'})$ が存在する場合、余鎖複体の同型 $KB^\bullet(A, R, M) \cong KB^\bullet(B, R', F(M))$ が存在する。したがって、編組コホモロジーはこのような同値の下で不変である。
• 系 C（有限次元の場合）： 忘却関手と可換であるという条件は、有限次元の準三越型双代数に対しては自動的に満たされる。ゆえに、有限次元準三越型双代数の編組コホモロジーは、編組森田不変量である。
• 具体的な計算： 著者らは、非可換な例であるSweedlerのホップ代数を用いた具体的な計算を提供している。パラメータ $\lambda \in k$ によってパラメータ化された異なる $R$-行列に対して、第1編組コホモロジー群 $KB^1(A, R_\lambda, M)$ が $k$-ベクトル空間として同型であることを示し、双代数の捻れ（twist）によって誘導される編組森ディタ同値を通じて、その同型を明示的に構成している。

意義と主張
本論文は、対称群を編組群に、反転射を任意の編組に置き換えることで、余可換ホップ代数の対称コホモロジーをより広いクラスの準三越型双代数へと一般化する統一的な枠組みを提供すると主張している。

• 一般化： 非可換な設定（Sweedlerのホップ代数、Kac-Paljutkinホップ代数、Drinfel'd doubleなど）を含む、対称コホモロジーの適用範囲を拡張する。
• 不変性： 編組コホモロジーが、加群圏のモノイダル同値として用いられる自然な同値（編組森田同値）の下で安定したロバストな不変量であることを確立している。これは、準三越型構造を分類するために極めて重要である。
• 圏論的接続： 本研究は、増強編組圏と編組余コラのコホモロジーとの直接的なつながりを明らかにしており、Singhが編組群の表現の文脈で提起した問題に対処している。
• 今後の方向性： 著者らは、彼らの構成が非加法的な状況（例：単体的集合、スペクトル）にも適用可能であることを述べ、編組コホモロジーが $\infty$-圏論的な一般化を許容することを示唆しているが、これは現在の研究では展開されていない。

本論文は、すべての準三越型双代数の分類を解くことを目的としているのではなく、それらの構造を分類するために用いられる自然な同値（編組森田同値）の下で安定する、コホモロジー的なツールを提供することを目指している。結果は、群やホップ代数のコホモロジーの理論的な一般化として提示されている。