2
$\begingroup$

Consider the compact Lie groups $U(l)$ (the unitary group) and $U(1) \times SU(l)$ for some natural number $l$. Both the groups have the same Lie algebra $\frak{gl}_l$. Which means that they both have the "same" dense Peter-Weyl subalgebra $PW$ of their $C^*$-algebra of continuous functions.

The Gelfand-Naimark theorem says that the $C^*$-algebras of $U(l)$ and $U(1) \times SU(l)$ are non-isomorphic.

How to resolve the fact that both $C^*$-algebras are completions of the same algebra PW? Is it the case that both spaces have different norms, and or algebra structure, on PW? I guess this must be what is happening?

$\endgroup$
3
  • $\begingroup$ You surely mean that $U(k)$ and $U(1) \times SU(k)$ have the same complexified Lie algebra $\mathfrak{gl}_k(\mathbb{C})$? $\endgroup$ Oct 20, 2021 at 23:23
  • $\begingroup$ @Branimir: Yes of course. Thank you for spotting this. $\endgroup$ Oct 20, 2021 at 23:24
  • $\begingroup$ I thought that the representations of the two were in bijective correspondence. But your comment about $SU(2)$ and $SO(3)$ has made me doubt this. $\endgroup$ Oct 21, 2021 at 12:13

1 Answer 1

1
$\begingroup$

There were silly errors in my comments, so let me start again. You have a canonical surjection $U(1) \times SU(k) \to U(k)$ given by scalar multiplication, so that any representation of $U(k)$ lifts to a representation of $U(1) \times SU(k)$; the question is whether or not every representation of $U(1) \times SU(k)$ descends to a $U(k)$.

Now, the kernel of this canonical surjection is $\langle (\omega_k,\omega_k^{-1}I_k)\rangle \cong \mathbb{Z}_k$, where $\omega_k$ is a primitive $k$th root of unity. Then, for any integer $n$ not divisible by $k$, the map $\pi_n : U(1) \times SU(k) \to U(1)$ given by $\pi_n(z,u) := u^n$ is a representation of $U(1) \times SU(k)$ that doesn’t descend to $U(k)$, since $\pi_n(\omega_k,\omega_k^{-1}I_k) = \omega_k^n \neq 1$.

In terms of Peter–Weyl algebras, what’s going on is that the Peter–Weyl algebra $\mathcal{O}(U(k))$ of $U(k)$ can be identified with the proper $\ast$-subalgebra of $\mathbb{Z}_k$-invariants in the Peter–Weyl algebra $\mathcal{O}(U(1)\times SU(k))$ of $U(1) \times SU(k)$, where $\mathbb{Z}_k$ acts through translation by the central element $(\omega_k,\omega_k^{-1}I_k)$.

$\endgroup$

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.