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.

Improve this question
$\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
    Commented Mar 17, 2012 at 13:09
  • $\begingroup$ Thx. What is $S.C(K)^H$? $\endgroup$
    – Marc Palm
    Commented 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
    Commented 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
    Commented Mar 17, 2012 at 14:49

1 Answer 1

Reset to default
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.

Improve this answer
$\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$
    – Reimundo Heluani
    Commented 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
    Commented Mar 17, 2012 at 19:48

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .