Intereting Posts

Generously Feasible?
Number of distinct arrangements {$n_i$} $n_1<n_2<n_3<n_4<n_5$ such that $\sum n_i=20$
Focal length of an ellipse and related results
Problems on submanifolds
“Proof” that $g(t) = (t,t,t,…)$ is not continuous with uniform topology
Significance of the Riemann hypothesis to algebraic number theory?
Euler-Lagrange equation
What is the difference between ⊢ and ⊨?
Ring homomorphisms from $\mathbb{Z}_n$ to $\mathbb{Z}_m$
Prove that $|a+b|^p \leq 2^p \{ |a|^p +|b|^p \}$
Is $1992! – 1$ prime?
Determining if an arbitrary point lies inside a triangle defined by three points?
Do mathematicians, in the end, always agree?
Every increasing function from a certain set to itself has at least one fixed point
Is the power of complex number defined yet?

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

- Looking for a non trivial homomorphism I
- Homotopy groups of some magnetic monopoles
- Given a group $ G $, how many topological/Lie group structures does $ G $ have?
- Proving left-invariance (and proof-verification for right-invariance) for metric constructed from left-invariant Haar measure
- Lie algebra 3 Dimensional with 2 Dimensional derived lie algebra #2
- Fundamental group of $SO(3)$

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.

- Two Dimensional Lie Algebra
- Characters of the symmetric group corresponding to partitions into two parts
- Schur-Weyl Duality ( Classical ) and the Double Commutant reference request
- The tangent bundle of a Lie group is trivial
- How to obtain a Lie group from a Lie algebra
- Quickest self-contained way of finding $\pi_1(\text{SU}(2))$ and $\pi_1(\text{SO}(3))$?
- Facts about induced representations
- On the converse of Schur's Lemma
- Harmonic Analysis on the real special linear group
- How To Formalize the Fact that $(g, h)\mapsto dL_g|_h$ is smooth where $g, h\in G$ a Lie Group

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.

- Is the zero map (between two arbitrary rings) a ring homomorphism?
- Is there a bijective continuous function $f: \Bbb R \to \Bbb R$ whose inverse $f^{-1}$ is not continuous?
- Infinite Series $\sum\limits_{n=1}^\infty\frac{(H_n)^2}{n^3}$
- If $a^3 b = ba^3$ and if $ a $ has order 7, show that $ab = ba$
- Does a perfect compact metric space have a closed subset homeomorphic to a countable product of 2 point sets?
- Sum of two closed sets in $\mathbb R$ is closed?
- Showing $\int_0^{2\pi} \log|1-ae^{i\theta}|d\theta=0$
- Is the center of the fundamental group of the double torus trivial?
- Multivariate polynomials have infinitely many zeroes
- $\nabla^2(\|\boldsymbol{x}-\boldsymbol{x}_0\|^{-1})=-4\pi\delta(\boldsymbol{x}-\boldsymbol{x}_0)$ with distributions defined on Schwartz space
- Why is the sheaf $\mathcal{O}_X(n)$ called the “twisting sheaf” (where $X=\operatorname{Proj}(S)$ for a graded ring $S$)?
- How to find the vertices angle after rotation
- “Modus moron” rule of inference?
- Free Graph Theory Resources
- Gradient and Swiftest Ascent