Partial Hopf module categories. (Q2376590): Difference between revisions

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.