[論文レビュー] Hochschild Cohomology of Algebras in Monoidal Categories and Splitting Morphisms of Bialgebras
本稿では、アーベルなモノイダル圏における代数のホッシャルドコhomologyを構築し、双代数およびホップ代数に応用する。もしホップ代数 $ A $ が、ネガティブなホップイデアルを介して半単純な商 $ H $ を持つならば、自然な射影 $ A \to H $ は $ H $-コリニアスな代数的セクションをもつことが示され、これにより $ A $ は $ H $ 上のイェッター–ドリンフェルト代数の一般化されたボソン化として実現可能となる。これはラドフォードの定理を圏論的に一般化するものである。
The main goal of this paper is to investigate the structure of Hopf algebras with the property that either its Jacobson radical is a Hopf ideal or its coradical is a subalgebra. In order to do that we define the Hochschild cohomology of an algebra in an abelian monoidal category. Then we characterize those algebras which have dimension less than or equal to 1 with respect to Hochschild cohomology. Now let us consider a Hopf algebra A such that its Jacobson radical J is a nilpotent Hopf ideal and H:=A/J is a semisimple algebra. By using our homological results, we prove that the canonical projection of A on H has a section which is an H-colinear algebra map. Furthermore, if H is cosemisimple too, then we can choose this section to be an (H,H)-bicolinear algebra morphism. This fact allows us to describe A as a `generalized bosonization' of a certain algebra R in the category of Yetter-Drinfeld modules over H. As an application we give a categorical proof of Radford's result about Hopf algebras with projections. We also consider the dual situation. In this case, many results that we obtain hold true for a large enough class of H-module coalgebras, where H is a cosemisimple Hopf algebra.
研究の動機と目的
- アーベルなモノイダル圏における代数のホッシャルドコhomologyを発展させ、古典的なホモロジー的道具を圏論的枠組みへと拡張すること。
- ホッシャルドコhomological次元 ≤1 である代数を特徴づけ、特に分離可能で形式的に滑らかな代数に注目すること。
- ホップ代数 $ A $ からその半単純な商 $ H $ への自然な射影が、$ H $-コモジュール圏における代数的セクションをもつための条件を確立すること。
- ラドフォードの定理を、持ち上げ法とボソン化を用いて、ブラケット付き圏における圏論的一般化を提供すること。
- コラディカルフィルトレーションのケースに双対化を適用し、コラディカルが半単純なホップ代数がイェッター–ドリンフェルト代数のボソン化と同型であることを示すこと。
提案手法
- アーベルなモノイダル圏 $ \text{Mod} $ 内の代数 $ A $ と $ (A,A) $-双モジュール $ M $ に対して、ホッシャルドコhomology $ \textbf{H}^\bullet(A, M) $ を定義し、古典的ホッシャルドコhomologyを一般化する。
- 分離可能代数を $ \text{Ext} $-射影的双モジュールとして定義し、形式的に滑らかな代数を、次数 ≥1 でホッシャルドコhomology が自明であるものとして定義する。
- $ \textbf{H}^2(A,M) $ とホッシャルド拡張の同値類の対応関係を用いて、コホモロジーの消滅を介して代数的セクションを構成する。
- この形式的枠組みを、右 $ H $-コモジュールの圏 $ \text{Mod}^H $ および $ (H,H) $-双コモジュールの圏 $ {}^H\text{Mod}^H $ に適用する。ここで $ H $ は半単純なホップ代数である。
- イェッター–ドリンフェルトモジュールとホップ双モジュールの間の同値性を活用し、$ R = A^{\text{co}H} $ を $ {}^H\text{Mod}^H $ 内の対象として実現し、双対イェッター–ドリンフェルト四重組を構成する。
- タケウチの同型定理を用いて、$ A $ が $ R \\setminus\#^b H $ としてのバイアリューブイ（およびホップ代数）として同型であることを示し、$ \theta \neq 0 $ のとき構造写像 $ \theta: R \to H \to R \to H $ が非自明であることを示す。
実験結果
リサーチクエスチョン
- RQ1ホップ代数 $ A $ からその半単純な商 $ H $ への自然な射影 $ A \to H $ が、$ H $-コリニアスな代数的セクションをもつための圏論的条件は何か？
- RQ2モノイダル圏におけるホッシャルドコhomologyは、ウェダーバルグ–マールツェフの定理を一般化し、形式的に滑らかな代数を特徴づけるためにどのように用いられるか？
- RQ3ブラケット付き圏における圏論的ホモロジー的道具とボソン化を用いて、ホップ代数の射影に関するラドフォードの定理を再導出できるか？
- RQ4ホップ代数 $ A $ のコラディカル $ H $ が半単純な部分ホップ代数であるとき、その構造は何か？また、$ A $ は $ H $ 上のイェッター–ドリンフェルト代数からどのように再構成可能か？
- RQ5ホップ代数 $ A $ とその双対 $ A^* $ の双対性は、関連するイェッター–ドリンフェルト四重組とそのボソン化の構造にどのように反映されるか？
主な発見
- $ A $ がジャコブソン根 $ J $ がネガティブなホップイデアルで、$ H = A/J $ が半単純であるホップ代数であるならば、自然な射影 $ \tau: A \to H $ は $ H $-コリニアスな代数的セクション $ \rho: H \to A $ をもつ。これにより $ A $ は $ H $ 上の $ R = A^{\text{co}H} $ の一般化されたボソン化として実現可能である。
- $ H $ が同時にコ半単純である場合、セクション $ \rho $ は $ (H,H) $-双コリニアスに選べるため、バイアリューブイ構造と整合性が保証される。
- ホップ代数 $ A $ はバイアリューブイ（およびホップ代数）として $ R \\setminus\#^b H $ に同型であり、ここで $ R = A^{\text{co}H} $ である。$ \theta \neq 0 $ のとき、構造写像 $ \theta: R \to H \to R \to H $ は非自明である。例として $ \theta(x_2 \times x_1) = a(c^2 - 1) $ が挙げられる。
- 双対 $ A^* $ は双対定理の条件を満たし、$ (A^*)^{\text{co}H^*} $ は $ R^* $ に同型である。双対構造写像 $ \theta^* $ は元の $ \theta $ に対応する。
- 同型 $ \theta^* $ は合成 $ \text{Hom}(R \times R, K) \to (R \times R)^* $ を通じて実現され、図式は可換である。これにより $ \theta \neq 0 $ のとき $ A $ が非自明なボソン化であることが示される。
- 結果として、圏論的にラドフォードの定理が一般化される：任意のホップ代数が、半単純なホップ代数の商 $ H $ を持ち、$ J $ がネガティブであるならば、$ H $ 上のイェッター–ドリンフェルト代数のボソン化として分解可能である。
より良い研究を、今すぐ始めましょう
論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。
クレジットカード登録不要
このレビューはAIが作成し、人間の編集者が確認しました。