Restriction on the coefficients for an operator in the free group factor $L(\mathbb{F}_2)$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T23:47:42Z http://mathoverflow.net/feeds/question/69115 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/69115/restriction-on-the-coefficients-for-an-operator-in-the-free-group-factor-l-mat Restriction on the coefficients for an operator in the free group factor $L(\mathbb{F}_2)$ Jiang 2011-06-29T14:22:14Z 2011-06-29T18:47:28Z <p>Let <code>$\mathbb{F}_2$</code> denotes the free group generated by a,b, denote this group by $G$. Then consider the von Neumann algebra $L(G)$ generated by the family <code>$\{L_{x_g} : g \in G\}$</code>, here, with $g \in G$, we denote by $x_g$ the function on $G$ that takes the value 1 at g and 0 at other elements of $G$. Then, note that we have the following relations:</p> <p>$(L_{x_g})^*=L_{(x_g)^{-1}} , L_{x_g}L_{x_h}=L_{x_g*x_h}=L_{x_{gh}}$, then, for any $A \in L(G),$we can set $A=\sum_{g \in g}\mu_g L_{x_g},$ with $\mu_g \in \mathbb{C}.$</p> <p>When we calculate $||Ax_{h}||^2$, we find that $\sum_{g \in G}|\mu_g|^2 &lt; \infty.$</p> <p>Then, is this condition sufficient for $A \in L(G)$? Or some stronger condition is necessary? Like $\sum_{g \in G}|\mu_g| &lt; \infty,$ or something else?</p> http://mathoverflow.net/questions/69115/restriction-on-the-coefficients-for-an-operator-in-the-free-group-factor-l-mat/69130#69130 Answer by Matthew Daws for Restriction on the coefficients for an operator in the free group factor $L(\mathbb{F}_2)$ Matthew Daws 2011-06-29T16:34:03Z 2011-06-29T17:11:25Z <p>It is more common to just write $L_g$ for $L_{x_g}$. As $L(G)$ admits a finite trace, there is a natural injective map $L(G)$ into $\ell^2(G)$-- this is your map $A \mapsto (\mu_g)$. It is absolutely not true that this map surjects (Open Mapping Theorem). It is obviously sufficient that $(\mu_g)\in\ell^1(G)$ for there to be some $A$ giving rise to $(\mu_g)$.</p> <p>With $G=\mathbb F_2$, one can say a bit more. For example, Haagerup showed in:<br/> Haagerup, Uffe<br/> An example of a nonnuclear C∗-algebra, which has the metric approximation property.<br/> Invent. Math. 50 (1978/79), no. 3, 279–293. <br/> See Lemma 1.4 that if $f$ is a function of finite support, then denoting $f_n$ the function which agrees with $f$ on the collection of words of reduced length $n$, and is zero elsewhere, we have that there is $A\in L(G)$ inducing $f$, with $\|A\| \leq \sum_{n\geq 0} (n+1) \|f_n\|_2$. From this, it's easy to construct functions not in $\ell^1(G)$, but which are nonetheless induced by members of $L(G)$.</p> http://mathoverflow.net/questions/69115/restriction-on-the-coefficients-for-an-operator-in-the-free-group-factor-l-mat/69134#69134 Answer by Dave Penneys for Restriction on the coefficients for an operator in the free group factor $L(\mathbb{F}_2)$ Dave Penneys 2011-06-29T18:47:28Z 2011-06-29T18:47:28Z <p>For convenience, let's identify $L(G)$ with its image in $\ell^2(G)$ as per @Matthew Daws' answer. For $f=\sum_{g\in G} \mu_g L_g\in\ell^2(G)$, we have $f\in L(G)$ if and only if $f* \xi\in \ell^2(G)$ for all $\xi\in \ell^2(G)$, where $*$ is convolution. Another way of saying this is that $L(G)$ is all $\ell^2$-sums which define bounded operators on $\ell^2(G)$ by convolution.</p> <p>A good reference for this is Vaughan Jones' <a href="http://www.math.berkeley.edu/~vfr/MATH20909/VonNeumann2009.pdf" rel="nofollow">course notes/book</a> on von Neumann algebras.</p>