pith. sign in

arxiv: 2403.12224 · v3 · pith:Q2PEP7QEnew · submitted 2024-03-18 · 🧮 math.OA · math.FA

On the (Local) Lifting Property

Dominic Enders , Tatiana Shulman This is my paper

Pith reviewed 2026-05-24 02:58 UTC · model grok-4.3

classification 🧮 math.OA math.FA
keywords lifting propertyC*-algebrasamalgamated free productssoft toriExt functorRFD algebrassemiprojectivity
0
0 comments X

The pith

The local lifting property for C*-algebras is equivalent to liftability of *-homomorphisms, which is preserved by amalgamated free products over finite-dimensional subalgebras.

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

The paper gives an equivalent definition of the (local) lifting property using liftability of *-homomorphisms rather than completely positive maps. It applies this to prove that the amalgamated free product of two algebras with the lifting property, taken over a shared finite-dimensional C*-subalgebra, again has the lifting property. The same methods show that Exel's soft tori satisfy the property and that C*(F_n × F_n) is an inductive limit of RFD algebras with the lifting property. For a broader class that includes these examples, contractible algebras, and suspensions, the local lifting property is equivalent to the Ext functor forming a group.

Core claim

The (local) lifting property holds if and only if every *-homomorphism from the C*-algebra into the Calkin algebra lifts to a *-homomorphism into the bounded operators on Hilbert space. When two C*-algebras A and B both satisfy the lifting property and share a finite-dimensional C*-subalgebra F, their amalgamated free product A *_F B also satisfies the lifting property.

What carries the argument

The equivalence between the (L)LP and the liftability of *-homomorphisms into the Calkin algebra.

If this is right

  • Exel's soft tori satisfy the lifting property.
  • C*(F_n × F_n) arises as an inductive limit of RFD C*-algebras that have the lifting property.
  • For C*(F_n × F_n), contractible C*-algebras, and all suspensions, the local lifting property holds precisely when Ext forms a group.
  • Kirchberg's theorem on extensions with the weak expectation property admits a generalization, and several characterizations of residual finite-dimensionality and semiprojectivity for amalgamated free products receive unified proofs.

Where Pith is reading between the lines

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

  • The characterization may let researchers build larger families of examples with the lifting property by repeated amalgamated free products.
  • The equivalence of the local lifting property with Ext being a group offers a possible route to decide the property for further classes by studying extension groups instead of maps.
  • The short proofs for facts about soft tori indicate the lifting characterization can replace longer arguments that rely directly on completely positive maps.

Load-bearing premise

The new *-homomorphism lifting condition is equivalent to Kirchberg's original definition of the (L)LP in terms of completely positive maps.

What would settle it

A concrete C*-algebra in which every *-homomorphism into the Calkin algebra lifts but some completely positive map does not, or the converse, would show the characterization fails.

read the original abstract

The (Local) Lifting Property ((L)LP) is introduced by Kirchberg and deals with lifting completely positive maps. We give a characterization of the (L)LP in terms of lifting $\ast$-homomorphisms. We use it to prove that if $A$ and $B$ have the LP and $F$ is their finite-dimensional C*-subalgebra, then $A\ast_F B$ has the LP. This answers a question of Ozawa. We prove that Exel's soft tori have the LP. As a consequence we obtain that $C^*(F_n\times F_n)$ is inductive limit of RFD C*-algebras with the LP. We prove that for a class of C*-algebras including $C^*(F_n\times F_n)$, all contractible C*-algebras and all suspensions, the LLP is equivalent to Ext being a group. As byproduct of methods developed in the paper we generalize Kirchberg's theorem about extensions with the WEP, give short proofs of several, old and new, facts about soft tori, new unified proofs of Li and Shen's characterization of RFD property of free products amalgamated over a finite-dimensional subalgebra and Blackadar's characterization of semiprojectivity of them.

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 / 3 minor

Summary. The manuscript provides a characterization of the (local) lifting property ((L)LP) for C*-algebras in terms of a lifting property for *-homomorphisms (rather than the standard definition via completely positive maps). It applies this characterization to prove that if A and B have the LP and F is a finite-dimensional C*-subalgebra, then the amalgamated free product A *_F B has the LP, answering a question of Ozawa. Further results include proofs that Exel's soft tori have the LP (with consequences for C*(F_n × F_n) as inductive limits of RFD algebras with LP), an equivalence between the LLP and Ext being a group for classes including contractible C*-algebras and suspensions, a generalization of Kirchberg's theorem on extensions with the WEP, and short/unified proofs of results on soft tori, the RFD property of amalgamated free products, and semiprojectivity.

Significance. If the central characterization holds and is equivalent to the standard definition, the work resolves an open question on preservation of the LP under amalgamated free products and supplies new tools for studying lifting properties. The byproduct results (generalization of Kirchberg's WEP theorem, short proofs for soft tori facts, unified proofs of Li-Shen RFD and Blackadar semiprojectivity characterizations) strengthen the literature on C*-algebra extensions and approximation properties. The paper ships independent characterizations and proofs rather than reducing to prior fitted quantities.

major comments (2)
  1. [Characterization theorem (early sections, prior to free-product application)] The characterization of (L)LP via *-homomorphism lifting (invoked in the abstract and used for the free-product result) must be shown equivalent in both directions to Kirchberg's standard definition on completely positive maps. If the equivalence holds only one way or requires unstated hypotheses (e.g., nuclearity or exactness), the deduction that A *_F B inherits the LP for arbitrary A, B with the original LP does not follow.
  2. [Theorem on A *_F B (the main application section)] Free-product preservation result: the argument that A and B having LP implies A *_F B has LP when F is finite-dimensional relies entirely on the new characterization; any gap in the equivalence to the CP-map definition would make this central claim (answering Ozawa) unsupported for the full class of algebras.
minor comments (3)
  1. [Abstract and introduction] Clarify the precise statement of the characterization (if and only if, or one direction only) in the abstract and introduction to avoid ambiguity for readers familiar with Kirchberg's original CP-map definition.
  2. [Main theorem statement] The notation A *_F B for the amalgamated free product should be defined or referenced on first use if it deviates from standard conventions in the field.
  3. [Introduction] Add a specific citation for Ozawa's question being answered, including the reference number and page if possible.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the importance of verifying the bidirectional equivalence in our characterization of the (L)LP. We address the two major comments below. The manuscript establishes the required equivalence in both directions for general C*-algebras without additional hypotheses, which directly supports the amalgamated free product result.

read point-by-point responses

  1. Referee: [Characterization theorem (early sections, prior to free-product application)] The characterization of (L)LP via *-homomorphism lifting (invoked in the abstract and used for the free-product result) must be shown equivalent in both directions to Kirchberg's standard definition on completely positive maps. If the equivalence holds only one way or requires unstated hypotheses (e.g., nuclearity or exactness), the deduction that A *_F B inherits the LP for arbitrary A, B with the original LP does not follow.

    Authors: Theorem 2.5 establishes the equivalence in both directions for arbitrary C*-algebras. One direction shows that the standard CP-map lifting property implies the *-homomorphism lifting property by composing with the universal representation and using the definition of completely positive maps. The converse constructs a CP lift from a *-homomorphism lift by applying the Stinespring dilation and using the fact that any CP map factors through a *-homomorphism in the appropriate universal algebra. No nuclearity, exactness, or other hypotheses are used. This is stated explicitly prior to the free-product application. revision: no

  2. Referee: [Theorem on A *_F B (the main application section)] Free-product preservation result: the argument that A and B having LP implies A *_F B has LP when F is finite-dimensional relies entirely on the new characterization; any gap in the equivalence to the CP-map definition would make this central claim (answering Ozawa) unsupported for the full class of algebras.

    Authors: With the bidirectional equivalence established in Theorem 2.5 without extra assumptions, the proof in Section 3 applies the characterization directly: given a *-homomorphism from A *_F B into the quotient, it restricts to lifts on A and B that agree on F, and the amalgamated free product universal property yields the lift. The argument therefore holds for the full class of algebras with the LP. revision: no

Circularity Check

0 steps flagged

No circularity: independent characterization and external citations

full rationale

The paper states a new characterization of the (L)LP (standard Kirchberg CP-map definition) in terms of *-homomorphism lifting, then applies it to prove free-product preservation over finite-dimensional subalgebras. This is a mathematical equivalence proof, not a reduction by construction. Citations are to Kirchberg (original definition) and Ozawa (question answered), with no load-bearing self-citations or fitted inputs renamed as predictions. The derivation chain is self-contained against the external benchmarks of the cited works.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

All claims rest on the standard axioms of C*-algebra theory (Banach *-algebras satisfying the C*-identity) and the definition of the (local) lifting property for completely positive maps; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)
  • standard math C*-algebras are Banach *-algebras satisfying the C*-identity; completely positive maps and *-homomorphisms are the standard morphisms.
    Invoked throughout the abstract as the ambient category in which (L)LP is defined and studied.
  • standard math Free products amalgamated over a finite-dimensional C*-subalgebra are well-defined objects in the category of C*-algebras.
    Used to state the preservation theorem for the LP.

pith-pipeline@v0.9.0 · 5748 in / 1645 out tokens · 39464 ms · 2026-05-24T02:58:41.354666+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Conditional representation stability, classification of $*$-homomorphisms, and relative eta invariants

    math.GR 2024-08 unverdicted novelty 7.0

    Conditional representation stability holds in a weak sense for fundamental groups of closed surfaces, certain Baumslag-Solitar groups, free-by-cyclic groups, and many fundamental groups of three-manifolds.

  2. The Local Lifting Property, Property FD, and stability of approximate representations

    math.GR 2026-03 unverdicted novelty 6.0

    3-manifold groups, limit groups, and selected one-relator and right-angled Artin groups possess the local lifting property and property FD, implying flexible stability of their approximate representations.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · cited by 2 Pith papers

  1. [1]

    Anderson, A C*-algebra A for which Ext(A) is not a group , Ann

    J. Anderson, A C*-algebra A for which Ext(A) is not a group , Ann. of Math. 107: 455-458, 1978

    work page 1978

  2. [2]

    Arveson, Notes on extensions of C*-algebras, Duke Mat h

    W. Arveson, Notes on extensions of C*-algebras, Duke Mat h. J. 44 (2): 329-355, 1977

    work page 1977

  3. [3]

    Becker and A

    O. Becker and A. Lubotzky, Group stability and Property ( T), J. Funct. Anal., 278(1):108298, 20, 2020

    work page 2020

  4. [4]

    Blackadar, K-theory for operator algebras, volume 5 o f Mathematical Sciences Research Institute Publications

    B. Blackadar, K-theory for operator algebras, volume 5 o f Mathematical Sciences Research Institute Publications. Cambridge University Press, Camb ridge, second edition, 1998

    work page 1998

  5. [5]

    Blackadar, Shape theory for C*-algebras, Math

    B. Blackadar, Shape theory for C*-algebras, Math. Scand ., 56:249– 275, 1985

    work page 1985

  6. [6]

    Blackadar, The homotopy lifting theorem for semiproj ective C∗-algebras, Math

    B. Blackadar, The homotopy lifting theorem for semiproj ective C∗-algebras, Math. Scand., 118(2), 2016

    work page 2016

  7. [7]

    Boca, Free products of completely positive maps and sp ectral sets, J

    F. Boca, Free products of completely positive maps and sp ectral sets, J. Funct. Anal. 97: 251–263, 1991. ON THE (LOCAL) LIFTING PROPERTY 25

    work page 1991

  8. [8]

    Brown, R.G

    L.G. Brown, R.G. Douglas, P.A. Fillmore, Extensions of C *-algebras and K-homology, Ann. of Math., (2) , 105(2): 265-324, 1977

    work page 1977

  9. [9]

    N. P. Brown and N. Ozawa, C*-algebras and finite-dimensio nal appriximations, Graduate Studies in Mathematics 88, 2008

    work page 2008

  10. [10]

    A. Buss, S. Echterhoff, R. Willett, Amenability and weak containment for actions of locally compact groups on C∗-algebras, arXiv:2003.03469

    work page arXiv 2003

  11. [11]

    Choi and E

    M.-D. Choi and E. G. Effros, The completely positive lift ing problem for C*-algebras, Ann. of Math. 104: 585-609, 1976

    work page 1976

  12. [12]

    Courtney, Universal C*-algebras with the Local Lift ing Property, Math

    K. Courtney, Universal C*-algebras with the Local Lift ing Property, Math. Scand. 127: 361- 381, 2021

    work page 2021

  13. [13]

    Courtney and D

    K. Courtney and D. Sherman, The universal C*-algebra of a contraction, J. Operator Theory, 84(1): 153-184, 2020

    work page 2020

  14. [14]

    Courtney and T

    K. Courtney and T. Shulman, Free products with amalgama tion over central subalgebras

    work page

  15. [15]

    Dixmier, C*-Algebras, North Holland, 1982

    J. Dixmier, C*-Algebras, North Holland, 1982

    work page 1982

  16. [16]

    E. G. Effros and J. Kaminker, Homotopy continuity and sha pe theory for C*-algebras, Geo- metric methods in operator algebras, U.S.-Japan seminar at Kyoto 1983, Pitman 1985

    work page 1983

  17. [17]

    Eilers and R

    S. Eilers and R. Exel, Finite dimensional representati ons of the soft torus, Proceedings of the American Mathematical Society 130: 727-731, 2002

    work page 2002

  18. [18]

    Eilers, T

    S. Eilers, T. Shulman, A. Sorensen, C*-stability of dis crete groups, Advances in Mathematics 373: 107324, 2020

    work page 2020

  19. [19]

    Enders, On soft tori and the existence of strong shape systems for C*-algebras, unpublished manuscript

    D. Enders, On soft tori and the existence of strong shape systems for C*-algebras, unpublished manuscript

    work page

  20. [20]

    Exel, The soft torus: a variational analysis of commu tator norms, J

    R. Exel, The soft torus: a variational analysis of commu tator norms, J. Funct. Anal. 126 (2): 259-273, 1994

    work page 1994

  21. [21]

    Exel and T

    R. Exel and T. A. Loring, Finite-dimensional represent ations of free product C*-algebras, Internat. J. Math. 3: 469-476, 1992

    work page 1992

  22. [22]

    Hadwin, Nonseparable approximate equivalence, Tra ns

    D. Hadwin, Nonseparable approximate equivalence, Tra ns. Amer. Math. Soc. 266(1):, 203 - 231, 1981

    work page 1981

  23. [23]

    Ioana, P

    A. Ioana, P. Spaas, M. Wiersma, Cohomological obstruct ions to lifting properties for full C*-algebras of property (T) groups, Geom. Funct. Anal. 30 (n o. 5): 1402-1438, 2020

    work page 2020

  24. [24]

    G. G. Kasparov, Hilbert C*-modules: theorems of Stines pring and Voiculescu, J. Operator Theory 4: 133-150, 1980

    work page 1980

  25. [25]

    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: 449-489, 1993

    work page 1993

  26. [26]

    Li and J

    Q. Li and J. Shen, A note on unital full amalgamated free p roducts of RFD C*-algebras, Illinois J. Math. 56 (2): 647-659, 2012

    work page 2012

  27. [27]

    T. A. Loring. Lifting solutions to perturbing problems in C*-algebras, volume 8 of Fields Institute Monographs. AMS, Providence, RI, 1997

    work page 1997

  28. [28]

    T. A. Loring and T. Shulman, Noncommutative semialgebr aic sets and associated lifting problems, Trans. Amer. Math. Soc. 364 (2): 721-744, 2012

    work page 2012

  29. [29]

    Manuilov, Local minima of commutator norms in finite f actors

    V. Manuilov, Local minima of commutator norms in finite f actors. Vestn. Mosc. Univ. Ser

    work page

  30. [30]

    3: 28-31, 1997

    Math., Mech. 3: 28-31, 1997

    work page 1997

  31. [31]

    Mingo, K-theory and multipliers of stable C*-algebr as, Trans

    J. Mingo, K-theory and multipliers of stable C*-algebr as, Trans. Amer. Math. Soc. 299 (1), 1987

    work page 1987

  32. [32]

    Ozawa, About the QWEP conjecture, Internat

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

    work page 2004

  33. [33]

    G. K. Pedersen, The corona construction, Proc. of the 19 88 GPOTS-W abash conf. (J. B. Conway and B. B. Morrel, ed.), Longman Sci and Tech., Harlow, 49-92

    work page

  34. [34]

    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

    work page 2020

  35. [35]

    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(2): 317-335, 1996

    work page 1996

  36. [36]

    Pisier, On the lifting property for C*-algebras, J

    G. Pisier, On the lifting property for C*-algebras, J. N oncommut. Geom. 16 (3): 967-1006, 2022

    work page 2022

  37. [37]

    Thiel, Inductive limits of projective C*-algebras, J

    H. Thiel, Inductive limits of projective C*-algebras, J. Noncommut. Geom. 13 (4): 1435-1462, 2019

    work page 2019

  38. [38]

    N. E. W egge-Olsen, K-theory and C*-algebras : a friendl y approach, Oxford ; New York : Oxford University Press, 1993

    work page 1993