Is there a characterization of free groups in terms of the unitary dual? If $G$ is a countable discrete group, I'm curious if it is possible to decide whether $G$ is a free group only by looking at properties of $Rep(G)$, the collection of (equivalence classes of) strongly continuous unitary representations of G on separable Hilbert space.
If this question is too crude, consider the following refinement: 
If $G$ is a countable discrete group, is it possible to decide whether $G$ is a free group only by looking at properties of $Rep(G)$ viewed as the unitary dual of $G$, the topological space of (unitary equivalence classes of) unitary representations of $G$ on separable Hilbert space, equipped with Fell's topology? 
 A: I put it as an answer because it is too long for a comment. Perhaps you had in mind the following. There are groups with very "few" unitary representations. Perhaps if you take such a group $G$ and take the direct product $G\times F_2$, you get the same space of unitary representations as for $F_2$. For example, if you take $G$ to be a simple torsion infinite group (such exist by Novikov-Adian-Zelmanov). Then all finite dimensional unitary representations of $G$ are trivial. Now the space of finite dimensional unitary representations of $G\times F_2$ is the same as for $F_2$.  
A: There is a very strong form of residual finiteness that holds for free groups, property FD, introduced by Lubotzky and Shalom, which says that finite representations are dense in the unitary dual (with respect to the Fell topology). So property FD is certainly a necessary condition for the group to be free. 
If $S\subset G$ is a generating set for $G$, then we may detect whether $S$ generates $G$ freely from the unitary dual. Let $F_S$ be the free group generated by $S$. Then the map $F_S\to G$ induces a bijection of unitary duals $\tilde{G}\to\tilde{F_S}$ if and only if $S$ generates $G$ freely. This is because free groups are residually finite, so if $w\in F_S$ were a relator $G$, then there would be a finite group $H$ and a homomorphism $\varphi:F_S\to H$ such that $\varphi(w)\neq 1$. So the finite unitary representation of $F_S$ corrsponding to $\varphi$ would not be in the image of $\tilde{G}\to \tilde{F_S}$. 
A: The equivalence classes of representation of the free group on two generators are in bijection with $(U(H) \times U(H))/U(H)$, i.e. pairs of unitaries up to simultaneous conjugation. I doubt that this, as a topological space characterizes the free group. 
However, it is true that any group homomorphism between countable groups which induces an isomorphism on the space of unitary representations up to conjugation (on an infinite-dimensional separable Hilbert space) is an isomorphism of groups. One way to see this is to note that the induced map on maximal group $C^*$-algebras is monic and epic and hence an isomorphism (see this post).
As Mark showed, this obviously fails if the Hilbert space is too small.
Also, maybe my anwser to this question is helpful.
