Abstract
In 1991 Effros and Ruan conjectured that a certain Grothendieck-type inequality for a bilinear form on C*-algebras holds if (and only if) the bilinear form is jointly completely bounded. In 2002 Pisier and Shlyakhtenko proved that this inequality holds in the more general setting of operator spaces, provided that the operator spaces in question are exact. Moreover, they proved that the conjecture of Effros and Ruan holds for pairs of C*-algebras, of which at least one is exact. In this paper we prove that the Effros–Ruan conjecture holds for general C*-algebras, with constant one. More precisely, we show that for every jointly completely bounded (for short, j.c.b.) bilinear form on a pair of C*-algebras A and B, there exist states f 1, f 2 on A and g 1, g 2 on B such that for all a∈A and b∈B,
While the approach by Pisier and Shlyakhtenko relies on free probability techniques, our proof uses more classical operator algebra theory, namely, Tomita–Takesaki theory and special properties of the Powers factors of type IIIλ, 0<λ<1.
Similar content being viewed by others
References
Blecher, D.: Generalizing Grothendieck’s program. In: Jarosz, K. (ed.) Function Spaces. Lect. Notes Pure Appl. Math., vol. 136, pp. 126–144. Marcel Dekker, New York (1992)
Christensen, E., Sinclair, A.: A survey of completely bounded operators. Bull. Lond. Math. Soc. 21, 417–448 (1989)
Connes, A.: Une classification des facteurs de type III. Ann. Sci. Éc. Norm. Supér., IV. Sér. 6, 133–252 (1973)
Connes, A.: Classification of injective factors. Cases II1, II∞, IIIλ, λ≠=1. Ann. Math. 104, 73–115 (1976)
Effros, E., Ruan, Z.-J.: A new approach to operator spaces. Can. Math. Bull. 34(3), 329–337 (1991)
Effros, E., Ruan, Z.-J.: Self-duality for the Haagerup tensor product and Hilbert space factorization. J. Funct. Anal. 100, 257–284 (1991)
Effros, E., Ruan, Z.-J.: Operator Spaces. Lond. Math. Soc. Monogr., New Ser., vol. 23. Oxford University Press, New York (2000)
Grothendieck, A.: Resumé de la théorie métrique des produits tensorielles topologiques. Bol. Soc. Mat., Sao Paolo 8, 1–79 (1956)
Haagerup, U.: The Grothendieck inequality for bilinear forms on C*-algebras. Adv. Math. 56(2), 93–116 (1985)
Haagerup, U.: The injective factors of type IIIλ, 0<λ<1. Pac. J. Math. 137(2), 265–310 (1989)
Kadison, R.V., Ringrose, J.R.: Fundamentals of the Theory of Operator Algebras II. Academic Press, Orlando, FL (1986)
Lindenstrauss, J., Tzafriri, L.: Classical Banach Spaces I, Sequence Spaces. Ergeb. Math. Grenzgeb., vol. 92. Springer, Berlin (1979)
Pisier, G.: Grothendieck’s theorem for non-commutative C*-algebras with an appendix on Grothendieck’s constant. J. Funct. Anal. 29, 397–415 (1978)
Pisier, G.: The Operator Hilbert Space OH, Complex Interpolation and Tensor Norms. Mem. Am. Math. Soc., vol. 122(585). AMS, Providence, RI (1996)
Pisier, G.: An Introduction to the Theory of Operator Spaces. Lond. Math. Soc. Lect. Note Ser., vol. 294. Cambridge University Press, Cambridge (2003)
Pisier, G., Shlyakhtenko, D.: Grothendieck’s theorem for operator spaces. Invent. Math. 150, 185–217 (2002)
Takesaki, M.: The structure of von Neumann algebras with a homogeneous periodic state. Acta Math. 131, 79–121 (1973)
Takesaki, M.: Theory of Operator Algebras II, III. Springer, Berlin Heidelberg New York (2003)
Xu, Q.: Operator space Grothendieck inequalities for noncommutative L p -spaces. Duke Math. J. 131, 525–574 (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (2000)
46L10, 47L25
Rights and permissions
About this article
Cite this article
Haagerup, U., Musat, M. The Effros–Ruan conjecture for bilinear forms on C*-algebras. Invent. math. 174, 139–163 (2008). https://doi.org/10.1007/s00222-008-0137-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-008-0137-7