Restriction on the coefficients for an operator in the free group factor $ L(\mathbb{F}_2) $ - MathOverflow

Restriction on the coefficients for an operator in the free group factor $ L(\mathbb{F}_2) $

2011-06-29T14:22:14Z

Let $\mathbb{F}_2$ 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 $\{L_{x_g} : g \in G\}$ , 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:

$(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}.$

When we calculate $ ||Ax_{h}||^2 $, we find that $ \sum_{g \in G}|\mu_g|^2 < \infty.$

Then, is this condition sufficient for $ A \in L(G) $? Or some stronger condition is necessary? Like $ \sum_{g \in G}|\mu_g| < \infty,$ or something else?

Answer by Matthew Daws for Restriction on the coefficients for an operator in the free group factor $ L(\mathbb{F}_2) $

2011-06-29T16:34:03Z

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)$.

With $G=\mathbb F_2$, one can say a bit more. For example, Haagerup showed in:
Haagerup, Uffe
An example of a nonnuclear C∗-algebra, which has the metric approximation property.
Invent. Math. 50 (1978/79), no. 3, 279–293.
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)$.

Answer by Dave Penneys for Restriction on the coefficients for an operator in the free group factor $ L(\mathbb{F}_2) $

2011-06-29T18:47:28Z

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.

A good reference for this is Vaughan Jones' course notes/book on von Neumann algebras.