pith. sign in

arxiv: 1907.06224 · v2 · pith:TPR7OD4Cnew · submitted 2019-07-14 · 🧮 math.OA · math.FA

On a Characterization of the Weak Expectation Property (WEP)

Gilles Pisier This is my paper

Pith reviewed 2026-05-24 21:44 UTC · model grok-4.3

classification 🧮 math.OA math.FA
keywords Weak Expectation PropertyWEPKirchberg conjectureConnes embedding problemC*-algebrasoperator algebrascompletely positive maps
0
0 comments X

The pith

A new characterization of the Weak Expectation Property for C*-algebras receives its first detailed proof.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper supplies the first complete proof of a characterization of the Weak Expectation Property that Haagerup announced decades ago. The result is framed around Kirchberg's conjecture, known to be equivalent to the Connes embedding problem. The work also assembles the standard facts that link the new characterization to that conjecture. A reader would care because the characterization supplies a concrete test for a property that remains central to several open questions in operator algebra theory.

Core claim

We give a detailed proof of a new characterization of the Weak Expectation Property (WEP) announced by Haagerup in the 1990's but unavailable (in any form) till now. Our main result is motivated by a well known conjecture of Kirchberg, which is equivalent to the Connes embedding problem. We review the basic relevant facts connecting our main theorem with the latter conjecture.

What carries the argument

The new characterization of the Weak Expectation Property, which supplies an equivalent condition for a C*-algebra to possess WEP and thereby links directly to Kirchberg's conjecture.

If this is right

  • The characterization gives an equivalent condition for C*-algebras to have the Weak Expectation Property.
  • The result supplies a concrete link between WEP and Kirchberg's conjecture.
  • The review of background facts shows how the main theorem relates to the Connes embedding problem.
  • The proof makes the announced characterization available for use in further arguments.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The characterization could be applied to decide WEP for specific families of algebras whose status was previously unclear.
  • If the characterization simplifies calculations, it might shorten proofs that previously relied on indirect arguments about expectation properties.
  • The same condition might be checked in related settings such as exactness or nuclearity questions.

Load-bearing premise

Standard background facts from operator algebras suffice to connect the new characterization to Kirchberg's conjecture and the Connes embedding problem.

What would settle it

An explicit C*-algebra that satisfies the stated condition yet fails to have the Weak Expectation Property, or vice versa, would disprove the characterization.

read the original abstract

We give a detailed proof of a new characterization of the Weak Expectation Property (WEP) announced by Haagerup in the 1990's but unavailable (in any form) till now. Our main result is motivated by a well known conjecture of Kirchberg, which is equivalent to the Connes embedding problem. We review the basic relevant facts connecting our main theorem with the latter conjecture, along the lines of our forthcoming lecture notes volume on the Connes-Kirchberg problem.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper provides a detailed proof of a new characterization of the Weak Expectation Property (WEP) announced by Haagerup in the 1990s but previously unavailable. The main result is motivated by Kirchberg's conjecture (equivalent to the Connes embedding problem), and the manuscript reviews basic relevant facts connecting the theorem to this conjecture, following the lines of forthcoming lecture notes on the Connes-Kirchberg problem.

Significance. If the claimed detailed proof holds, the result would be significant for operator algebras by supplying the first accessible proof of a long-announced characterization, thereby clarifying connections between WEP, Kirchberg's conjecture, and the Connes embedding problem. The inclusion of a review of background facts adds expository value for researchers working on these topics.

minor comments (1)
  1. The abstract refers to 'our forthcoming lecture notes volume'; if this manuscript is intended to stand alone, consider adding a brief self-contained summary of the key connecting facts rather than relying on external notes.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive evaluation of the significance of the manuscript. The recommendation is listed as uncertain, but no specific major comments or concerns are provided in the report. We are happy to address any points the referee may wish to raise upon further review of the detailed proof.

Circularity Check

0 steps flagged

No significant circularity; derivation is a self-contained proof of an external announcement

full rationale

The paper's central claim is an explicit detailed proof of a characterization first announced (but not published) by Haagerup in the 1990s. The abstract and context describe this as filling a gap by supplying the missing argument, while reviewing standard background facts that link the result to Kirchberg's conjecture. No equations, definitions, or load-bearing steps are exhibited that reduce by construction to fitted parameters, self-definitions, or self-citation chains. The cited prior announcement is external to the present authors, and the work is presented as independent verification rather than a renaming or ansatz smuggling. This matches the default expectation of a non-circular proof paper.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on abstract; no specific free parameters, axioms, or invented entities are identifiable.

axioms (1)
  • domain assumption Standard facts in operator algebra theory connecting WEP to Kirchberg's conjecture
    The paper reviews basic relevant facts but does not specify them in the abstract.

pith-pipeline@v0.9.0 · 5594 in / 1001 out tokens · 28639 ms · 2026-05-24T21:44:51.302036+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

  1. [1]

    Blackadar, Weak expectations and injectivity in oper ator algebras, Proc

    B. Blackadar, Weak expectations and injectivity in oper ator algebras, Proc. Amer. Math. Soc. 68 (1978), 49–53

    work page 1978

  2. [2]

    Blackadar, Weak expectations and nuclear C ∗-algebras, Indiana Univ

    B. Blackadar, Weak expectations and nuclear C ∗-algebras, Indiana Univ. Math. J 27 (1978), 1021–1026

    work page 1978

  3. [3]

    Brown and K

    L. Brown and K. Dykema, Popa algebras in free group factor s, J. Reine Angew. Math. 573 (2004), 157–180

    work page 2004

  4. [4]

    Brown and N

    N.P. Brown and N. Ozawa, C ∗-algebras and finite-dimensional approximations , Graduate Studies in Mathematics, 88, American Mathematical Society , Providence, RI, 2008

    work page 2008

  5. [5]

    Choi and E

    M.D. Choi and E. Effros, Nuclear C ∗-algebras and the approximation property. Amer. J. Math. 100 (1978), 61–79

    work page 1978

  6. [6]

    Choi and E

    M.D. Choi and E. Effros, Nuclear C*-algebras and injectivi ty: The general case. Indiana Univ. Math. J. 26 (1977), 443–446

    work page 1977

  7. [7]

    Choi and E

    M.D. Choi and E. Effros, Injectivity and operator spaces. J. Funct. Anal. 24 (1977), 156–209

    work page 1977

  8. [8]

    Choi and E

    M.D. Choi and E. Effros, Separable nuclear C ∗-algebras and injectivity. Duke Math. J. 43 (1976), 309–322

    work page 1976

  9. [9]

    Connes, Classification of injective factors

    A. Connes, Classification of injective factors. Cases II 1, II ∞ , III λ , λ ̸= 1, Ann. Math. (2) 104 (1976), 73–115

    work page 1976

  10. [10]

    Dixmier, Les Alg` ebres d’Op´ erateurs dans l’Espace Hilbertien (Alg ` ebres de von Neu- mann), Gauthier-Villars, Paris 1969

    J. Dixmier, Les Alg` ebres d’Op´ erateurs dans l’Espace Hilbertien (Alg ` ebres de von Neu- mann), Gauthier-Villars, Paris 1969. (in translation: von Neumann algebras, North-Holland, Amsterdam-New York 1981.) 14

    work page 1969

  11. [11]

    Douglas and C

    R. Douglas and C. Pearcy, Von Neumann algebras with a sin gle generator, Michigan Math. J. 16 (1969), 21–26

    work page 1969

  12. [12]

    Effros and U

    E. Effros and U. Haagerup, Lifting problems and local refle xivity for C ∗-algebras, Duke Math. J. 52 (1985), 103–128

    work page 1985

  13. [13]

    Effros and C

    E. Effros and C. Lance, Tensor products of operator algebr as, Adv. Math. 25 (1977), 1–34

    work page 1977

  14. [14]

    Effros and Z.J

    E. Effros and Z.J. Ruan, Operator Spaces. Oxford Univ. Press, Oxford, 2000

    work page 2000

  15. [15]

    Operator algebras and their connection with Topology and Ergodic The ory

    U. Haagerup, Injectivity and decomposition of complet ely bounded maps in “Operator algebras and their connection with Topology and Ergodic The ory”. Springer Lecture Notes in Math. 1132 (1985), 170–222

    work page 1985

  16. [16]

    Haagerup

    U. Haagerup. Self-polar forms, conditional expectati ons and the weak expectation property for C ∗-algebras, Unpublished manuscript (1993)

    work page 1993

  17. [17]

    Junge and C

    M. Junge and C. Le Merdy, Factorization through matrix s paces for finite rank operators betweenC ∗-algebras, Duke Math. J. 100, (1999), 299–319

    work page 1999

  18. [18]

    Junge and G

    M. Junge and G. Pisier, Bilinear forms on exact operator spaces and B(H) ⊗ B(H), Geom. Funct. Anal. 5 (1995), 329–363

    work page 1995

  19. [19]

    Kirchberg, On nonsemisplit extensions, tensor prod ucts and exactness of group C ∗- algebras

    E. Kirchberg, On nonsemisplit extensions, tensor prod ucts and exactness of group C ∗- algebras. Invent. Math. 112 (1993), 449–489

    work page 1993

  20. [20]

    Kirchberg, Commutants of unitaries in UHF algebras a nd functorial properties of exact- ness, J

    E. Kirchberg, Commutants of unitaries in UHF algebras a nd functorial properties of exact- ness, J. reine angew. Math. 452 (1994), 39–77

    work page 1994

  21. [21]

    Kirchberg, Exact C ∗-algebras, tensor products, and the classification of purel y infinite algebras, Proceedings of the International Congress of Mathematicians , Vol

    E. Kirchberg, Exact C ∗-algebras, tensor products, and the classification of purel y infinite algebras, Proceedings of the International Congress of Mathematicians , Vol. 1, 2 (Z¨ urich, 1994), 943-954, Birkh¨ auser, Basel, 1995

    work page 1994

  22. [22]

    Lance, On nuclear C ∗-algebras

    C. Lance, On nuclear C ∗-algebras. J. Funct. Anal. 12 (1973), 157–176

    work page 1973

  23. [23]

    Ozawa, About the QWEP conjecture, Internat

    N. Ozawa, About the QWEP conjecture, Internat. J. Math. 15 (2004), 501–530

    work page 2004

  24. [24]

    Ozawa, About the Connes embedding conjecture: algeb raic approaches, Jpn

    N. Ozawa, About the Connes embedding conjecture: algeb raic approaches, Jpn. J. Math. 8 (2013), no. 1, 147–183

    work page 2013

  25. [25]

    V. Paulsen. Completely bounded maps and operator algebras , Cambridge Univ. Press, Cam- bridge, 2002

    work page 2002

  26. [26]

    Pisier, Projections from a von Neumann algebra onto a subalgebra, Bull

    G. Pisier, Projections from a von Neumann algebra onto a subalgebra, Bull. Soc. Math. France 123 (1995), 139–153

    work page 1995

  27. [27]

    Pisier, A simple proof of a theorem of Kirchberg and re lated results on C ∗-norms, J

    G. Pisier, A simple proof of a theorem of Kirchberg and re lated results on C ∗-norms, J. Operator Theory 35 (1996), 317–335

    work page 1996

  28. [28]

    Pisier, Introduction to operator space theory , Cambridge University Press, Cambridge, 2003

    G. Pisier, Introduction to operator space theory , Cambridge University Press, Cambridge, 2003

    work page 2003

  29. [29]

    Pisier, Tensor products of C ∗-algebras and operator spaces, The Connes-Kirchberg prob- lem, Cambridge University Press, to appear

    G. Pisier, Tensor products of C ∗-algebras and operator spaces, The Connes-Kirchberg prob- lem, Cambridge University Press, to appear. 15

    work page

  30. [30]

    Sherman, On cardinal invariants and generators for v on Neumann algebras, Canad

    D. Sherman, On cardinal invariants and generators for v on Neumann algebras, Canad. J. Math. 64 (2012), 455–480

    work page 2012

  31. [31]

    R. R. Smith, Completely bounded module maps and the Haag erup tensor product, J. Funct. Anal. 102 (1991), 156–175

    work page 1991

  32. [32]

    Takesaki, Theory of Operator algebras, vol

    M. Takesaki, Theory of Operator algebras, vol. I. Sprin ger-Verlag, Berlin, Heidelberg, New York, 1979

    work page 1979

  33. [33]

    Takesaki, Theory of Operator algebras, vol

    M. Takesaki, Theory of Operator algebras, vol. II-III. Springer-Verlag, Berlin, Heidelberg, New York, 2003

    work page 2003

  34. [34]

    Tomiyama

    J. Tomiyama. Tensor products and projections of norm on e in von Neumann algebras, Lecture Notes, Univ. of Copenhagen, 1970

    work page 1970

  35. [35]

    Wassermann, Exact C ∗-algebras and related topics , Lecture Notes Series, 19

    S. Wassermann, Exact C ∗-algebras and related topics , Lecture Notes Series, 19. Seoul Na- tional University, Seoul, 1994. 16

    work page 1994