Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

For a finitely presented group, does there always exist a nontrivial finite dimensional unitary representation? If two finitely presented groups have the same set of finite dimensional unitary representations, are they necessarily isomorphic?

share|improve this question
2  
What does it mean for the set of finite-dimensional unitary representations to be the "same"? –  Qiaochu Yuan Dec 2 '10 at 12:59
add comment

2 Answers 2

No, a finitely presented simple group does not have any non-trivial finite dimensional matrix representation because every finitely generated matrix group is residually finite. There are many non-isomorphic finitely presented simple groups: Thompson groups $T$ and $V$, Burger-Mozes groups and others. They all have the same fin. dim. unitary representations (trivial).

Update A more interesting question is whether two non-isomorphic residually finite groups can have the same finite dimensional matrix (unitary) representations. The answer, I think, is "yes", and is given by the class of groups, found by Nekrashevych in Trans. Amer. Math. Soc. 362 (2010), no. 1, 389–398. Any two groups in his class have the same finite quotients and every linear representation of any of these groups is finite (the latter result follows from the ``branch" property).

share|improve this answer
    
Well, if you have two nonisomorphic groups neither of which has finite-dimensional matrix representations, then certainly the answer to your updated question is yes! –  Theo Johnson-Freyd Dec 2 '10 at 19:03
    
The groups are residually finite so they have lots of finite dimensional unitary representations. I have answered the updated question also. But it is much less trivial than the original question. –  Mark Sapir Dec 2 '10 at 19:43
add comment

One can even find a nice criterion: By Malcev's theorem, every finitely generated linear group is residually finite. Conversely, a finite group clearly admits a nontrivial unitary representation. So a finitely generated group admits a nontrivial unitary representation if and only if it has a nontrivial finite quotient.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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