1
$\begingroup$

Let $K$ be a compact or a finite group with a closed subgroup $H$. Let $C(K)$ be the convolution algebra of continuous functions on $K$.

The Peter Weyl theorem asserts that the $*$ algebra $C(K)$ and the subalgebra $C(K)^H$ of functions with $$ f(h^{-1}k h) = f(k) \qquad h\in H$$ are Morita equivalent (wrong!). The algebra $C(K)^H$ can have additional modules.

$\endgroup$
4
  • 1
    $\begingroup$ I guess that if you understand the finite case, the compact case will be very similar. So let us suppose K finite. Here is a candidate : let S be any multiplicity one left-submodule of C(K) containing a copy of each simple left module. Then take $M=N:=S. C(K)^H$. I am much too lazy to check anything at the moment, but I'm pretty sure it works for H=K or H=\{e\}$ ! On the other hand this is maybe not as nice a construction as what you would hope for. $\endgroup$
    – Jef
    Mar 17, 2012 at 13:09
  • $\begingroup$ Thx. What is $S.C(K)^H$? $\endgroup$
    – Marc Palm
    Mar 17, 2012 at 13:41
  • $\begingroup$ Well, the product of these two subsets of $C(K)$, or if you prefer, the $(C(K)^H)^{opp}$ submodule of $C(K)$ for the right multiplcation that is spanned by S (which is a $C(K)$-submodule for the left multiplication). $\endgroup$
    – Jef
    Mar 17, 2012 at 14:48
  • $\begingroup$ Argh, I don't know how to edit the previous comment. I meant the product of these two subvectorspaces, not subsets. I.e. linear combinations of products. $\endgroup$
    – Jef
    Mar 17, 2012 at 14:49

1 Answer 1

7
$\begingroup$

I don't believe this statement. In the finite case $C(K)$ is the usual group algebra. Let $K$ be nonabelian of order $6$ and let $H\subset K$ have order $2$. Then $C(K)^H$ is not Morita equivalent to $C(K)$: It is semisimple, but it has four simple modules up to isomorphism whereas $C(K)$ has three.

$\endgroup$
2
  • $\begingroup$ I think pm might be confused with the algebra of bi-invariant functions which also happens to be a commutant in the spirit of Morita's theorem: $Hom_K(L(X),L(X))=L(H\K/H)$ where $X=K/H$. $\endgroup$ Mar 17, 2012 at 18:54
  • $\begingroup$ Okay, thank you for this counter example. So you consider $A_3 = <d>$ inside $S_3$. The conjugation orbits are $1$, $<d> - 1$ and $S_3 -<d>$, but that is how far I can go. @Reimundo Heluani: No, I was not confused with this example. My proof goes as follows. I identify invariant functionals with irreducible representation,and observe that the invariant functionals on $C(K)$ are isomorphic to invariant functionals on $C(K)^H$. No I guess, I am simply mistaken that modules over $C(K)^H$ are not associated to representations anymore;( $\endgroup$
    – Marc Palm
    Mar 17, 2012 at 19:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.