Partial Hopf module categories. (Q2376590): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 07:55, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Partial Hopf module categories. |
scientific article |
Statements
Partial Hopf module categories. (English)
0 references
24 June 2013
0 references
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.
0 references
\(k\)-categories
0 references
globalizations of partial Hopf module categories
0 references
partial actions
0 references
Sweedler Hopf algebra
0 references
Morita equivalences
0 references
partial smash products
0 references