Partial Hopf module categories.

Module categories in associative algebras (16D90) Twisted and skew group rings, crossed products (16S35) Smash products of general Hopf actions (16S40) Hopf algebras and their applications (16T05) Preadditive, additive categories (18E05)

Abstract: The effectiveness of the aplication of constructions in

G

-graded

k

-categories to the computation of the fundamental group of a finite dimensional

k

-algebra, alongside with open problems still left untouched by those methods and new problems arisen from the introduction of the concept of fundamental group of a

k

-linear category, motivated the investigation of

H

-module categories, i.e., actions of a Hopf algebra

H

on a

k

-linear category. The

G

-graded case corresponds then to actions of the Hopf algebra

k^{G}

on a

k

-linear category. In this work we take a step further and introduce partial

H

-module categories. We extend several results of partial

H

-module algebras to this context, such as the globalization theorem, the construction of the partial smash product and the Morita equivalence of this category with the smash product over a globalization. We also present a detailed description of partial actions of

k^{G}

.

Review text

Let \(k\) be a field and \(X\) a non-empty set. A \(k\)-category over \(X\) is a \(k\)-category \(\mathcal I\) with objects \(\mathcal I_0\) (\(= X\)) and morphisms \(\mathcal I_1\) (\(={_y\mathcal I_x}\)) for \(y x \in X\). Let \(H\) be a Hopf algebra over \(k\). Then a \(k\)-category \(\mathcal I\) is an \(H\)-module category if for each \(x,y\in\mathcal I_0\) there is a \(k\)-map: \(H\otimes {_y\mathcal I_x}\to {_y\mathcal I_x}\) sending \(h\otimes f\) to \(hf\) such that (1) \(1_H{_yf_x}={_yf_x}\), (2) \(h({_zf_y}\circ {_yg_x})=\sum(h_{(1)}{_zf_y})\circ(h_{(2)}{_yg_x})\), (3) \(h(k{_yf_x})=(hk){_yf_x}\), (4) \(h{_x1_x}=\varepsilon(h){_x1_x}\). We say that \(\mathcal I\) has a partial action by \(H\) if \(H\) acts trivially on objects, and for every \(x,y\in\mathcal I_0\) there is a \(k\)-linear map \(\alpha\colon H\otimes{_y\mathcal I_x}\to {_y\mathcal I_x}\) by \(\alpha(h\otimes f)=hf\) satisfying the above conditions (1) and (2), and \(hk{_yf_x}=\sum h_{(1)}{_y1_y})\circ((h_{(2)}k){_yf_x})=\sum((h_{(1)}k){_yf_x})\circ(h_{(2)}{_x1_x})\). Then \(\mathcal I\) is called a partial \(H\)-module category. Given a group \(G\), a \(G\)-graded \(k\)-category \(\mathcal I\) (= a \(kG\)-comodule category, the same as a \(k^G\)-module category if \(G\) is finite where \(k^G\) is the dual group algebra), the authors give a detailed description of the partial action for \(H=k^G\). Thus with the same techniques used in the description, all partial actions of the Sweedler Hopf algebra on the base field \(k\) are classified. It is also shown that every partial \(kG\)-module category has a canonical partial \(G\)-action. Let \(\mathcal I\) be a partial \(H\)-module category. A globalization of the partial action on \(\mathcal I\) is defined as a generalization of an enveloping action for a partial \(H\)-action on a unital algebra. Moreover, the partial smash product of a partial \(H\)-module category is defined and it is shown that the partial smash product is Morita equivalent to the smash product of the globalization of the partial \(H\)-module category.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Partial Hopf module categories.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2376590)