Intereting Posts

The product of all the elements of a finite abelian group
Asymptotic difference between a function and its binomial average
Let $\rho$ f.d. rep of a nilpotent Lie algebra such that $\rm{det} \rho(X) = 0$, $\forall X$. Then $\exists v \neq 0$: $\rho(X)v = 0, \forall X$.
Group of order $p^2$ is commutative with prime $p$
Values of $\gcd(a-b,\frac{a^p-b^p}{a-b} )$
Double dual of the space $C$
Expected value when die is rolled $N$ times
Why does the largest Jordan block determine the degree for that factor in the minimal polynomial?
Calculate the p.m.f. of a non-monotonous function of a random variable
How to proof that more than half binary algebraic operations on a finite set are non-commutative?
What's a good book for a beginner in high school math competitions?
Combinatorial prime problem
What does $ \langle Y_{lm} | Y _{\lambda\mu} \rangle = \delta_{l\lambda} \delta _{m\mu} $ mean?
Quaternions as roots
How can I solve this linear differential equation $y^{\prime\prime}-4y^{\prime}+3y=\frac{1}{1+e^{-x}}$?

Let $G$ be a compact (Hausdorff) group and $V$ a faithful (complex, continuous, finite-dimensional) representation of it. (Hence $G$ is a Lie group.) Is it true that every irreducible representation of $G$ occurs as a summand of $V^{\otimes n} \otimes (V^{\ast})^{\otimes m}$ for some $m, n$? (The original question only asked for summands of $V^{\otimes n}$ and, as anon mentions below, $\text{U}(1)$ is an easy counterexample.)

I know that the corresponding result is true for finite groups, but the proof I know doesn’t seem to easily generalize. It seems we ought to be able to apply Stone-Weierstrass: the characters you get from summands of $V^{\otimes n} (V^{\ast})^{\otimes m}$ form an algebra of class functions closed under addition, multiplication, and complex conjugate, so if we know that they separate points, they ought to be dense in the space of class functions. But

1) I’m not sure if we can show that these functions separate points, and

- Pushforward of Inverse Map around the identity?
- Special linear group as a submanifold of $M(n, \mathbb R)$
- Redundance of the Smoothness of the Inversion Map in the Definition of a Lie Group.
- Existence of Killing field
- Projectivization and stereographic projection, or: Why nonlinear + nonlinear = linear?
- — Cartan matrix for an exotic type of Lie algebra --

2) I’m not sure if the space of conjugacy classes (with the quotient topology from $G$) is even Hausdorff.

**Motivation:** I was looking for cheap ways to set up the representation theory of $\text{SU}(2)$. In this rather special case the character of the defining representation $V$, which is self-dual, already separates conjugacy classes, and I *think* the above argument works. Then Clebsch-Gordan allows me to quickly classify the irreducible representations of $\text{SU}(2)$ without using Lie algebras.

- Intuitive explanation of Left invariant Vector Field
- Minimal embedding of a group into the group $S_n$
- On the converse of Schur's Lemma
- Is the exponential map ever not injective?
- Can every group be represented by a group of matrices?
- The physical meaning of the tensor product
- Lie bracket; confusing proof from lecture
- the converse of Schur lemma
- Symmetric and antisymmetric powers of SU(2) representations
- Which non-Abelian finite groups contain the two specific centralizers? - part II

It doesn’t work for $U(1)$: take $V$ to be the standard representation, you only get the “nonnegative” representations.

Indeed to use Stone Weierstrass in the complex case, the algebra has to be stable under complex conjugation.

Maybe consider the $V^n \otimes (V^*)^m$ instead.

Yes all irreducible rep. of compact groups can be found in such tensor products of a faithful rep. and its dual. The idea is to use the so called representative functions. One way to define this algebra, is that it’s the sum of matrix elements of finite dim. representations. One then shows that this is dense in the algebra of continuous functions, and that it is the algebra generated by the matrix elements of a faithful matrix representation and their conjugate elements. Now you can use this density to show that all irreducible rep. must sit in such tensor products.

It’s also true that the conjugacy class space is Hausdorff; actually, it’s an important fact towards the understanding of compact group representations. This space is homeomorphic to the quotient of the compact group by a maximal torus.

You should have a look to “Brocker, tom Dieck, Representations of compact Lie groups”, page 137 (applications of the theorem of Peter Weyl), and p.166 (consequences of the conjugacy theorem).

Cheers,

Amin

Asked and answered on MathOverflow.

- An elementary problem in Group Theory: the unique noncyclic group of order 4
- Solving inequalities comparing $f(x)$ to $0$ where $f$ is an elementary function
- Non-Decreasing Digits
- What's the precise meaning of imaginary number?
- solve for m by rewriting the equation (transposition)
- How to create new mathematics?
- Show that the group is cyclic.
- Well-Ordering and Mathematical Induction
- What does $\forall x \exists y(x + y = 0)$ mean?
- Discriminant of $x^n-1$
- Prime factorization of $\frac{3^{41} -1}{2}$
- Prove that $\left(\frac{3+\sqrt{17}}{2}\right)^n + \left(\frac{3-\sqrt{17}}{2}\right)^n$ is always odd for any natural $n$.
- A number system that is not unique factorization domain
- Characterization of lower semicontinuous functions
- Find the parametric form $S(u, v)$ where $a \le u \le b$ and $c \le v \le d$ for the triangle with vertices $(1, 1, 1), (4, 2, 1),$ and $(1, 2, 2)$.