# Module categories over $Rep(G)$.

Related to this question I also had some troubles to understand the classification of module categories over $Rep(G)$. Specifically, on page 12 of Ostrik's paper what is the category $\mathrm{Rep}^1(\tilde{H})$? $k^\*$ acting as "identity character on V" means $a.v=av$ for all $a \in k^*$ and $v \in V$? Then what is the structure of module category over $Rep(G)$? Tensor product should be after restricting representations of $G$ to $H$ and then inducing back to $\tilde{H}$?

Concretely, I was thinking about the following example. Let $H$ be a subgroup of $G$. Then $Rep(H)$ is a module category over $Rep(G)$ via tensor product as $H$-modules. What is the decomposition of $Rep(H)$ in indecomposable module categories and what are the corresponding subgroups $H$ and cocyles $\omega \in H^2(H,\;k^*)$ for each indecomposable subcategory?

-
Why is this post community wiki? –  Leonid Positselski Jan 5 '10 at 17:03
I'd think tensor product is by pulling back a representation from $G$ to $\tilde H$ and then tensoring over $\tilde H$. How is $\mathcal M$ a module category? –  t3suji Jan 5 '10 at 17:09
One rstricts a rep. of $G$ to $H$ and then it tensors over $H$ with some rep. from $\mathcal{O}$. The irreducible constituents of the tensor product are in the same orbit, $\mathcal{O}$. –  Sebastian Burciu Jan 5 '10 at 17:13
@ Leonid: It gives a classification of all modules categories over $Rep(G)$. Maybe I should have said this in the post. –  Sebastian Burciu Jan 5 '10 at 17:17
@Sebastian Burciu: Are they? Take $G=H$ and $\mathcal O$ to be the orbit of the one-point orbit of the trivial representation of $G$, for instance. Aren't you saying that the tensor product of the trivial representation and any representation is trivial? –  t3suji Jan 5 '10 at 17:19