pith. sign in

arxiv: 2104.05008 · v4 · submitted 2021-04-11 · 🧮 math.OA · math.FA

Operator spaces with the WEP, the OLLP and the Gurarii property

Gilles Pisier This is my paper

Pith reviewed 2026-05-24 13:10 UTC · model grok-4.3

classification 🧮 math.OA math.FA
keywords operator spacesWeak Expectation PropertyLocal Lifting PropertyGurarii spacenon-exactcompletely isometric isomorphismfinite dimensional operator spaces
0
0 comments X

The pith

Non-exact operator spaces can satisfy both the Weak Expectation Property and the Operator space Local Lifting Property.

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

The paper constructs operator spaces that are not exact yet possess the Weak Expectation Property and the Operator space version of the Local Lifting Property. It also produces analogues of the Gurarii space in the operator space setting, each linked to a class of finite-dimensional operator spaces that meet certain conditions. For every such class the construction yields a space that exists and is unique up to completely isometric isomorphism. These objects extend an earlier C*-algebra example with similar properties and prior work on Gurarii-type spaces. A reader would care because the properties govern lifting and approximation behavior, which helps separate exactness from other structural features in operator spaces.

Core claim

We construct non-exact operator spaces satisfying the Weak Expectation Property (WEP) and the Operator space version of the Local Lifting Property (OLLP). These examples should be compared with the example we recently gave of a C*-algebra with WEP and LLP. The construction produces several new analogues among operator spaces of the Gurarii space, extending Oikhberg's previous work. Each of our 'Gurarii operator spaces' is associated to a class of finite dimensional operator spaces (with suitable properties). In each case we show the space exists and is unique up to completely isometric isomorphism.

What carries the argument

The Gurarii operator space, built inductively from a class of finite-dimensional operator spaces with suitable properties, which produces the WEP, OLLP, non-exactness, and uniqueness up to complete isometry.

If this is right

  • Non-exact operator spaces with WEP and OLLP exist.
  • Gurarii operator spaces exist and are unique up to complete isometry when associated to suitable classes of finite-dimensional operator spaces.
  • The construction extends the prior C*-algebra example to the operator space category.
  • These spaces provide new analogues of the Gurarii space beyond earlier operator space results.

Where Pith is reading between the lines

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

  • Exactness may turn out to be independent of the combination of WEP and OLLP in wider classes of operator algebras.
  • The resulting spaces could serve as test objects for checking additional properties such as the metric approximation property.
  • The inductive method might adapt to other lifting or approximation conditions in operator space theory.

Load-bearing premise

Suitable classes of finite-dimensional operator spaces exist that permit the inductive construction to succeed while delivering uniqueness up to complete isometry.

What would settle it

An explicit proof that every operator space with WEP and OLLP must be exact, or a demonstration that the required classes of finite-dimensional spaces do not exist for the construction to achieve uniqueness.

read the original abstract

We construct non-exact operator spaces satisfying the Weak Expectation Property (WEP) and the Operator space version of the Local Lifting Property (OLLP). These examples should be compared with the example we recently gave of a $C^*$-algebra with WEP and LLP. The construction produces several new analogues among operator spaces of the Gurarii space, extending Oikhberg's previous work. Each of our "Gurarii operator spaces" is associated to a class of finite dimensional operator spaces (with suitable properties). In each case we show the space exists and is unique up to completely isometric isomorphism.

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

2 major / 2 minor

Summary. The paper constructs non-exact operator spaces satisfying both the Weak Expectation Property (WEP) and the Operator space Local Lifting Property (OLLP). It introduces several new Gurarii-type operator spaces, each associated to a class C of finite-dimensional operator spaces possessing suitable closure and approximation properties. For each such class the authors prove existence of the associated Gurarii operator space and uniqueness up to completely isometric isomorphism, extending Oikhberg’s earlier work and providing operator-space analogues of recent C*-algebra examples with WEP and LLP.

Significance. If the constructions are valid, the results furnish concrete new examples that separate exactness from the combination of WEP and OLLP in the operator-space category. The systematic association of each Gurarii space to an arbitrary admissible class C supplies a flexible framework for producing further examples with prescribed finite-dimensional local properties, which is a methodological strength.

major comments (2)
  1. [§3] §3, Definition 3.4 and Theorem 3.8: the 'suitable properties' imposed on the class C (closure under direct sums, complete isometries, and local approximation) are used to guarantee that the inductive-limit construction yields a space with WEP+OLLP; however, the argument that there exists at least one non-trivial C for which the resulting space is non-exact is only sketched via a reference to a specific family of finite-dimensional operator spaces. A self-contained verification that this family satisfies all listed closure properties while forcing non-exactness of the limit is required, as this is the load-bearing step for the main existence claim.
  2. [§4] §4, Proposition 4.3: the uniqueness up to complete isometry is proved by showing that any two spaces satisfying the universal property for the given class C are completely isometric; the argument relies on an approximation argument that invokes the OLLP at each finite stage. It is not clear whether the same uniqueness holds when the class C is taken to be the maximal admissible class, which would be needed to confirm that the construction is canonical rather than dependent on a particular choice of C.
minor comments (2)
  1. [§3] The notation for the Gurarii operator space associated to C (denoted G_C in §3) is introduced without an explicit reminder of its dependence on C in the statement of the main existence theorem; adding a parenthetical reference would improve readability.
  2. [Introduction] Several citations to Oikhberg’s work appear in the introduction but lack page numbers or theorem references; supplying these would help readers locate the precise statements being extended.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Thank you for the referee's careful reading and constructive comments. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [§3] §3, Definition 3.4 and Theorem 3.8: the 'suitable properties' imposed on the class C (closure under direct sums, complete isometries, and local approximation) are used to guarantee that the inductive-limit construction yields a space with WEP+OLLP; however, the argument that there exists at least one non-trivial C for which the resulting space is non-exact is only sketched via a reference to a specific family of finite-dimensional operator spaces. A self-contained verification that this family satisfies all listed closure properties while forcing non-exactness of the limit is required, as this is the load-bearing step for the main existence claim.

    Authors: We agree that a self-contained verification strengthens the presentation. In the revised version we will expand the relevant paragraph in §3 to include an explicit check that the referenced family of finite-dimensional operator spaces is closed under direct sums and complete isometries, satisfies the local approximation property, and yields a non-exact inductive limit. This verification uses only standard facts about operator-space tensor products and the definition of exactness, making the existence of a non-exact example fully internal to the paper. revision: yes

  2. Referee: [§4] §4, Proposition 4.3: the uniqueness up to complete isometry is proved by showing that any two spaces satisfying the universal property for the given class C are completely isometric; the argument relies on an approximation argument that invokes the OLLP at each finite stage. It is not clear whether the same uniqueness holds when the class C is taken to be the maximal admissible class, which would be needed to confirm that the construction is canonical rather than dependent on a particular choice of C.

    Authors: Proposition 4.3 establishes uniqueness for any fixed admissible class C satisfying the hypotheses of Definition 3.4; the paper does not assert that the resulting Gurarii space is independent of the choice of C. Different admissible classes are expected to produce spaces with distinct local properties. The maximal admissible class need not itself be admissible in the sense required for the inductive-limit argument to produce WEP+OLLP, so the same uniqueness statement is not claimed for it. We will add a clarifying sentence after Proposition 4.3 noting that the result applies to each admissible C separately and that the main existence theorems rely on concrete admissible classes for which non-exactness holds. revision: partial

Circularity Check

0 steps flagged

Inductive construction of Gurarii operator spaces is self-contained; no reduction of claims to fitted inputs or self-citation chains

full rationale

The paper presents an explicit construction of Gurarii operator spaces associated to classes of finite-dimensional operator spaces satisfying suitable closure and approximation properties. It asserts existence and uniqueness up to complete isometry for each such class via an inductive-limit process. No equations, definitions, or steps in the provided abstract or description reduce the target objects (non-exact WEP+OLLP spaces) to their own inputs by construction, nor do they rename fitted parameters as predictions. The existence of appropriate non-trivial classes C is part of what the construction establishes rather than an unverified presupposition. Any self-citations (e.g., to Oikhberg) are not load-bearing for the central existence/uniqueness claims, which rest on the inductive argument itself. This is a standard non-circular existence proof in the area.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the existence of suitable classes of finite-dimensional operator spaces and on the standard axioms of operator-space theory (completely bounded maps, matrix norms, complete isometries). No free parameters or invented entities are visible in the abstract.

axioms (2)
  • standard math Standard axioms of operator spaces (matrix norms satisfying Ruan's axioms) and the definition of complete isometry.
    Uniqueness is stated up to completely isometric isomorphism, which presupposes the usual category of operator spaces.
  • domain assumption Existence of classes of finite-dimensional operator spaces possessing the 'suitable properties' needed for the construction.
    The abstract conditions the Gurarii-space construction on the choice of such classes.

pith-pipeline@v0.9.0 · 5619 in / 1442 out tokens · 25804 ms · 2026-05-24T13:10:45.952287+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages · 2 internal anchors

  1. [1]

    T. B. Andersen, Linear extensions, projections, and spl it faces. J. Functional Analysis 17 (1974), 161–173

    work page 1974

  2. [2]

    Avil´ es, F

    A. Avil´ es, F. Cabello, J. Castillo, M. Gonz` alez, Y. Mor eno, Banach spaces of universal disposition, J. Funct. Anal. 261 (2011) 2347–2361

    work page 2011

  3. [3]

    Symbolic Logic 80 (2015) 100–115

    Ben Yaacov, Fra ¨ ıss´ e limits of metric structures,J. Symbolic Logic 80 (2015) 100–115

    work page 2015

  4. [4]

    D. P. Blecher and C. Le Merdy, Operator algebras and their modules : an operator space approach, Oxford Univ. Press, Oxford (2004)

    work page 2004

  5. [5]

    D. P. Blecher and V. Paulsen, Tensor products of operator spaces. J. Funct. Anal. 99 (1991) 262–292

    work page 1991

  6. [6]

    Bourgain and G

    J. Bourgain and G. Pisier, A construction of L∞ -spaces and related Banach spaces, Bol. Soc. Bras. Mat. 14 (1983) 109–123

    work page 1983

  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]

    Effros and Z.J

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

    work page 2000

  9. [9]

    Friedman and B

    Y. Friedman and B. Russo, Solution of the contractive pro jection problem. J. Funct. Anal. 60 (1985), 56–79

    work page 1985

  10. [10]

    Friedman and B

    Y. Friedman and B. Russo, Conditional expectation with out order, Pacific J. Math. 115 (1984), 351–360

    work page 1984

  11. [11]

    Garbuli´ nska and W

    J. Garbuli´ nska and W. Kubi´ s, Remarks on Gurarii spaces, Extracta Math. 26 (2011), 235– 269

    work page 2011

  12. [12]

    Model-theoretic aspects of the Gurarij operator system

    I. Goldbring and M. Lupini, Model-theoretic aspects of the Gurarij operator space, https://arxiv.org/abs/1501.04332v3

    work page internal anchor Pith review Pith/arXiv arXiv

  13. [13]

    Gordon and D

    Y. Gordon and D. Lewis, Absolutely summing operators an d local unconditional structures. Acta Math. 133 (1974), 27–48

    work page 1974

  14. [14]

    V. I. Gurarij, Space of universal disposition, isotopi c spaces and the Mazur problem on rotations of Banach spaces, Sibirsk. Mat. .7, 1002–1013 (19 66)

    work page

  15. [15]

    Johnson and T

    W. Johnson and T. Oikhberg, Separable lifting property and extensions of local reflexivity, Illinois J. Math. 45 (2001), 123–137

    work page 2001

  16. [16]

    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

  17. [17]

    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

  18. [18]

    Kaur and Z-J

    M. Kaur and Z-J. Ruan, Local properties of ternary rings of operators and their linking C ∗-algebras, J. Funct. Anal. 195 (2002), 262–305. 27

    work page 2002

  19. [19]

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

    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, On restricted perturbations in inverse i mages and a description of normalizer algebras in C ∗-algebras, J

    E. Kirchberg, On restricted perturbations in inverse i mages and a description of normalizer algebras in C ∗-algebras, J. Funct. Anal. 129 (1995), 1–34

    work page 1995

  22. [22]

    Kisliakov, Spaces with a “small” annihilator

    S. Kisliakov, Spaces with a “small” annihilator. (Russ ian) Zap. Nauˇ cn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 65 (1976), 192–195, 209

    work page 1976

  23. [23]

    Kubi´ s and S

    W. Kubi´ s and S. Solecki, A proof of uniqueness of the Gur arii space, Israel J. Math. 195 (2013), 449–456

    work page 2013

  24. [24]

    Lazar and J

    A. Lazar and J. Lindenstrauss, Banach spaces whose dual s are L1-spaces and their repre- senting matrices, Acta Math. 126 (1971), 165–193

    work page 1971

  25. [25]

    Lehner, Mn-espaces, sommes d’unitaires et analyse harmonique sur le g roupe libre, Ph.D

    F. Lehner, Mn-espaces, sommes d’unitaires et analyse harmonique sur le g roupe libre, Ph.D. thesis, Universit´ e Paris VI, 1997. https://www.math.tu-graz.ac.at/ lehner/dvi/these2.pdf

    work page 1997

  26. [26]

    Lupini, Uniqueness, universality, and homogeneity of the noncommutative Gurarij space Adv

    M. Lupini, Uniqueness, universality, and homogeneity of the noncommutative Gurarij space Adv. Math. 298 (2016), 286–324

    work page 2016

  27. [27]

    Lupini, Fra ¨ ıss´ e limits in functional analysis,Adv

    M. Lupini, Fra ¨ ıss´ e limits in functional analysis,Adv. Math. 338 (2018), 93–174

    work page 2018

  28. [28]

    A universal nuclear operator system

    M. Lupini, A universal nuclear operator system, arXiv: 1412.0281 (2014)

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  29. [29]

    Lusky, The Gurarij spaces are unique, Arch

    W. Lusky, The Gurarij spaces are unique, Arch. Math. (Basel) 27 (1976), 627–635

    work page 1976

  30. [30]

    Oikhberg, Subspaces of maximal operator spaces, Integral Equations Operator Theory 48 (2004), 81–102

    T. Oikhberg, Subspaces of maximal operator spaces, Integral Equations Operator Theory 48 (2004), 81–102

    work page 2004

  31. [31]

    Oikhberg, The non-commutative Gurarii space, Arch

    T. Oikhberg, The non-commutative Gurarii space, Arch. Math. (Basel) 86 (2006), 356–364

    work page 2006

  32. [32]

    Ozawa, On the lifting property for universal C ∗-algebras of operator spaces, J

    N. Ozawa, On the lifting property for universal C ∗-algebras of operator spaces, J. Operator Theory 46 (2001), no. 3, suppl., 579–591

    work page 2001

  33. [33]

    Pisier, Some results on Banach spaces without local u nconditional structure Compositio Math

    G. Pisier, Some results on Banach spaces without local u nconditional structure Compositio Math. 37 (1978), 3–19

    work page 1978

  34. [34]

    Pisier, Counterexamples to a conjecture of Grothend ieck Acta Math

    G. Pisier, Counterexamples to a conjecture of Grothend ieck Acta Math. 151, (1983), 181– 209

    work page 1983

  35. [35]

    Pisier, Noncommutative vector valued Lp-spaces and completely p-summing maps, Ast´ erisque (Soc

    G. Pisier, Noncommutative vector valued Lp-spaces and completely p-summing maps, Ast´ erisque (Soc. Math. France)247 (1998) 1–131

    work page 1998

  36. [36]

    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

  37. [37]

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

    G. Pisier, Tensor products of C ∗-algebras and operator spaces, The Connes-Kirchberg prob- lem, Cambridge University Press, 2020. Available at: https://www.math.tamu.edu/~pisier/TPCOS.pdf 28

    work page 2020

  38. [38]

    Pisier, A non-nuclear C ∗-algebra with the Weak Expectation Property and the Local Lifting Property Invent

    G. Pisier, A non-nuclear C ∗-algebra with the Weak Expectation Property and the Local Lifting Property Invent. Math. 222 (2020) 513–544

    work page 2020

  39. [39]

    Pisier, On the Lifting Property for C ∗-algebras, J

    G. Pisier, On the Lifting Property for C ∗-algebras, J. non-commutative geometry, to appear

    work page

  40. [40]

    Szankowski, B(H) does not have the approximation property

    A. Szankowski, B(H) does not have the approximation property. Acta Math. 147 (1981), 89–108

    work page 1981

  41. [41]

    M. A. Youngson, Completely contractive projections on C ∗-algebras, Quart. J. Math. Oxford Ser. (2) 34 (1983), 507–511. 29

    work page 1983