English

A comparison between the max and min norms on $C^*(F_n) \otimes C^*(F_n)$

Operator Algebras 2016-09-07 v1 Functional Analysis

Abstract

Let FnF_n, n2n\geq2, be the free group with nn generators, denoted by U1,U2,...,UnU_1,U_2,...,U_n. Let C(Fn)C*(F_n) be the full CC^*-algebra of FnF_n. Let X\mathcal{X} be the vector subspace of the algebraic tensor product C(Fn)C(Fn)C^*(F_n) \otimes C^*(F_n), spanned by 11,U11,...,Un1,1U1,...,1Un1\otimes1,U_1\otimes1,...,U_n\otimes1,1\otimes U_1,...,1\otimes U_n. Let min|| \cdot ||_{\min} and max|| \cdot ||_{\max} be the minimal and maximal CC^* tensor norms on C(Fn)C(Fn)C^*(F_n) \otimes C^*(F_n), and use the same notation for the corresponding (matrix) norms induced on Mk(C)XM_k(\mathbb{C})\otimes\mathcal{X}. Identifying X\mathcal{X} with the subspace of C(F2n)C^*(F_{2n}) obtained by mapping U11,...,1UnU_1\otimes1,...,1\otimes U_n into the 2n2n generators and the identity into the identity, we get a matrix norm C(F2n)|| \cdot ||_{C^*(F_{2n})} which dominates the max|| \cdot ||_{\max} norm, on Mk(C)XM_k(\mathbb{C})\otimes\mathcal{X}. In this paper we prove that, with N=2n+1=dimXN=2n+1=\dim\mathcal{X}, we have XmaxXC(F2n)(N2N)1/2Xmin,XMk(C)X||X||_{\max} \leq ||X||_{C^*(F_{2n})} \leq (N^2-N)^{1/2} ||X||_{\min}, X\in M_k(\mathbb{C})\otimes\mathcal{X}.

Keywords

Cite

@article{arxiv.math/0202061,
  title  = {A comparison between the max and min norms on $C^*(F_n) \otimes C^*(F_n)$},
  author = {Florin Radulescu},
  journal= {arXiv preprint arXiv:math/0202061},
  year   = {2016}
}

Comments

11 pages, AMS-LaTeX