pith. sign in

arxiv: 2508.00125 · v4 · submitted 2025-07-31 · 🧮 math.OA · math.FA

Homotopy lifting, asymptotic homomorphisms, and traces

Tatiana Shulman This is my paper

Pith reviewed 2026-05-19 01:20 UTC · model grok-4.3

classification 🧮 math.OA math.FA MSC 46L05
keywords C*-algebrasasymptotic homomorphismshomotopy liftingMF-propertyquasidiagonal tracesextension groupsKK-theory
0
0 comments X

The pith

If two *-homomorphisms from a C*-algebra are homotopic and one lifts to an asymptotic homomorphism, then so does the other.

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

The paper proves a homotopy lifting theorem showing that homotopic *-homomorphisms into a quotient of C*-algebras lift together to asymptotic homomorphisms when one of them does. It also gives a completely positive version and a version in which one map is already an asymptotic homomorphism. These results are applied to establish that the MF-property is homotopy invariant and to transfer quasidiagonality or MF conditions on amenable or hyperlinear traces from one algebra to another under homotopy domination. Readers care because the theorem links homotopy in the category of C*-algebras directly to lifting and approximation properties that control traces and extension groups.

Core claim

Let ϕ, ψ: B → D/I be homotopic *-homomorphisms. If ψ lifts to a discrete asymptotic homomorphism, then ϕ lifts to a discrete asymptotic homomorphism and the entire homotopy lifts. The paper also proves a cp version of the theorem and a version replacing ϕ by an asymptotic homomorphism, then uses the lifting property to obtain five concrete applications on homotopy invariance and trace properties.

What carries the argument

The homotopy lifting theorem for *-homomorphisms and asymptotic homomorphisms into C*-algebra quotients, which allows the lift of one map and the homotopy to transfer to the other.

If this is right

  • The MF-property of C*-algebras is invariant under homotopy.
  • If A is homotopy dominated by B, one of them is exact, and all amenable traces on B are quasidiagonal, then all amenable traces on A are quasidiagonal.
  • If A is homotopy dominated by a nuclear C*-algebra B and all hyperlinear traces on B are MF, then all hyperlinear traces on A are MF.
  • Some of the extension groups introduced by Manuilov and Thomsen coincide.
  • The C*-algebra qA appearing in Cuntz's picture of KK-theory is always quasidiagonal.

Where Pith is reading between the lines

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

  • The lifting theorem may allow direct transfer of other approximation properties, such as quasidiagonality itself, across homotopy equivalences without separate verification.
  • It could simplify arguments that certain KK-theory elements or extension classes are realized by quasidiagonal algebras.
  • The result suggests that homotopy domination preserves a range of trace approximation conditions whenever the dominating algebra satisfies them.

Load-bearing premise

The standard definitions of homotopy between *-homomorphisms and of discrete asymptotic homomorphisms are compatible with passage to quotients in C*-algebras.

What would settle it

An explicit pair of homotopic *-homomorphisms ϕ and ψ into a quotient D/I such that ψ lifts to a discrete asymptotic homomorphism while ϕ does not, or such that the homotopy itself fails to lift.

read the original abstract

The following homotopy lifting theorem is proved: Let $\phi, \psi: B \to D/I$ be homotopic $\ast$-homomorphisms and suppose $\psi$ lifts to a (discrete) asymptotic homomorphism. Then $\phi$ lifts to a (discrete) asymptotic homomorphism. Moreover the whole homotopy lifts. We also prove a cp version of this theorem and a version where $\phi$ is replaced by an asymptotic homomorphism. We obtain a lifting characterization of several important properties of C*-algebras and use them together with the lifting theorem to get the following applications: 1) MF-property is homotopy invariant; 2) If either $A$ or $B$ is exact, $A$ is homotopy dominated by $B$ and all amenable traces on $B$ are quasidiagonal, then all amenable traces on $A$ are quasidiagonal; 3) If a C*-algebra $A$ is homotopy dominated by a nuclear C*-algebra $B$ and all (hyperlinear) traces on $B$ are MF, then all hyperlinear traces on $A$ are MF. 4) Some of the extension groups introduced by Manuilov and Thomsen coincide. 5) The C*-algebra $qA$ from Cuntz's picture of KK-theory is always quasidiagonal.

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

Summary. The paper proves a homotopy lifting theorem: if ϕ, ψ : B → D/I are homotopic *-homomorphisms and ψ lifts to a discrete asymptotic homomorphism, then ϕ lifts to a discrete asymptotic homomorphism and the homotopy lifts as well. A completely positive version and a version in which ϕ is itself an asymptotic homomorphism are also established. These yield lifting characterizations of the MF property, quasidiagonality, and hyperlinearity, which are applied to obtain five results: (1) the MF property is homotopy invariant; (2) if A or B is exact, A is homotopy dominated by B, and all amenable traces on B are quasidiagonal, then all amenable traces on A are quasidiagonal; (3) if A is homotopy dominated by a nuclear B and all hyperlinear traces on B are MF, then all hyperlinear traces on A are MF; (4) certain extension groups of Manuilov–Thomsen coincide; (5) the Cuntz algebra qA is quasidiagonal.

Significance. If the central lifting theorem holds, the work supplies a flexible tool for transferring asymptotic-homomorphism and trace properties across homotopies and homotopy dominations. The direct, non-circular proofs that rely only on standard C*-algebraic identities (quotient norms, asymptotic multiplicativity) constitute a clear strength. The five applications are concrete and falsifiable, and the lifting characterizations of MF, quasidiagonality, and hyperlinearity are likely to be cited in subsequent work on exactness, nuclearity, and KK-theory.

minor comments (3)
  1. [§2.1] §2.1: the precise definition of a discrete asymptotic homomorphism (sequence of maps with ||f_n(ab) − f_n(a)f_n(b)|| → 0) is used throughout but is only sketched; a self-contained paragraph recalling the exact norm condition and the role of the discrete parameter would improve readability for readers outside the immediate literature.
  2. [Theorem 4.3] Theorem 4.3 (lifting characterization of quasidiagonality): the statement that the lift preserves the quasidiagonal property for amenable traces is stated without an explicit reference to the norm estimate used in the limit; adding the one-line estimate would make the passage from the homotopy lift to the trace property fully transparent.
  3. [Application 5] Application 5 (quasidiagonality of qA): the reduction to the lifting theorem is brief; a short diagram or sentence indicating which of the two homotopic maps is the given lift would clarify the argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful and positive report on our manuscript. The referee's summary accurately reflects the main results, including the homotopy lifting theorem for asymptotic homomorphisms, its completely positive and asymptotic variants, and the five applications to homotopy invariance of the MF property, quasidiagonality of amenable traces, MF traces under homotopy domination, coincidence of certain extension groups, and quasidiagonality of qA. We appreciate the recognition of the direct proofs relying on standard C*-algebraic identities and the potential utility of the lifting characterizations. We will incorporate minor revisions as recommended.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The manuscript states and proves a homotopy lifting theorem for *-homomorphisms and asymptotic homomorphisms directly from the definitions of C*-algebra quotients, asymptotic multiplicativity (||f_n(ab) - f_n(a)f_n(b)|| → 0), and continuous paths realizing homotopies. The lift is constructed explicitly by combining the given asymptotic lift of ψ with the homotopy path and passing to the limit in the quotient norm; all verifications use standard recalled identities without fitted parameters, self-definitional loops, or load-bearing self-citations. The listed applications (MF invariance, trace quasidiagonality, etc.) are stated as immediate corollaries inheriting the same direct support. No step reduces by construction to its own input or to an unverified prior result of the author.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the established framework of C*-algebras, homotopies, and asymptotic homomorphisms without introducing new free parameters, ad-hoc axioms, or invented entities.

axioms (1)
  • domain assumption Standard axioms and definitions of C*-algebras, *-homomorphisms, quotients, and asymptotic homomorphisms from prior operator-algebra literature.
    Invoked throughout the statement of the lifting theorem and applications.

pith-pipeline@v0.9.0 · 5768 in / 1255 out tokens · 36944 ms · 2026-05-19T01:20:45.990341+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

24 extracted references · 24 canonical work pages · 1 internal anchor

  1. [1]

    Blackadar, The homotopy lifting theorem for semiprojective C*-algebras, Mathematica Scandinavica Vol

    B. Blackadar, The homotopy lifting theorem for semiprojective C*-algebras, Mathematica Scandinavica Vol. 118, No. 2: 291-302, 2016

    work page 2016

  2. [2]

    N. P. Brown and N. Ozawa, C*-algebras and finite-dimensional apprixima- tions, Graduate Studies in Mathematics 88, 2008

    work page 2008

  3. [3]

    Brown, Invariant Means and Finite Representation Theory of C*- algebras, Memoirs of the American Mathematical Society 184(865), 2013

    N. Brown, Invariant Means and Finite Representation Theory of C*- algebras, Memoirs of the American Mathematical Society 184(865), 2013

    work page 2013

  4. [4]

    N. P. Brown, J. Carrion, and S. White, Decomposable approximations revisited, Operator Algebras and Applications, The Abel Symposium 2016, Abel Symposia, vol. 12: 45-59, Springer, 2016. 33

    work page 2016

  5. [5]

    Schafhauser, An asymptotic homotopy lifting property, Munster J

    J.Carrion and C. Schafhauser, An asymptotic homotopy lifting property, Munster J. of Math

    work page

  6. [6]

    Connes and N

    A. Connes and N. Higson, Deformations, morphismes asymptotiques et K- theorie bivariante, C. R. Acad. Sci. Paris, I. Ser., Math., 311: 101-106, 1990

    work page 1990

  7. [7]

    Dadarlat, A note on asymptotic homomorphisms, K-Theory 8: 465–482, 1994

    M. Dadarlat, A note on asymptotic homomorphisms, K-Theory 8: 465–482, 1994

    work page 1994

  8. [8]

    Davidson, Lifting positive elements in C*-algebras, Integral Equations and Operator Theory, 14(2):183-191, 1991

    Kenneth R. Davidson, Lifting positive elements in C*-algebras, Integral Equations and Operator Theory, 14(2):183-191, 1991

    work page 1991

  9. [9]

    Gabe, Quasidiagonal traces on exact C*-algebras, J

    J. Gabe, Quasidiagonal traces on exact C*-algebras, J. Funct. Anal, 272: 1104-1120, 2017

    work page 2017

  10. [10]

    Hadwin, Free entropy and approximate equivalence in von Neumann algebras, Operator algebras and operator theory, (Shanghai, 1997) 111- 131, Contemp

    D. Hadwin, Free entropy and approximate equivalence in von Neumann algebras, Operator algebras and operator theory, (Shanghai, 1997) 111- 131, Contemp. Math., 228, Amer. Math. Soc., Providence, RI, 1998

    work page 1997

  11. [11]

    Hadwin, A lifting characterization of RFD C*-algebras, Math

    D. Hadwin, A lifting characterization of RFD C*-algebras, Math. Scand. 115, no. 1: 85-95, 2014

    work page 2014

  12. [12]

    Loring, Lifting solutions to perturbing problems in C*-algebras, volume 8 of Fields Institute Monographs

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

    work page 1997

  13. [13]

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

    work page 2012

  14. [14]

    Manuilov, Asymptotic homomorphisms of C*-algebras and C*- extensions, Journal of Mathematical Sciences, Vol

    V. Manuilov, Asymptotic homomorphisms of C*-algebras and C*- extensions, Journal of Mathematical Sciences, Vol. 123, No. 4, 2004

    work page 2004

  15. [15]

    Manuilov and K

    V. Manuilov and K. Thomsen, On the lack of inverses to C*-extensions related to property T groups, Canad. Math. Bull. 50 (2): 268-283, 2007

    work page 2007

  16. [16]

    Manuilov and K

    V. Manuilov and K. Thomsen, The Connes-Higson construction is an iso- morphism, Journal of Functional Analysis 213: 154-175, 2004

    work page 2004

  17. [17]

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

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

    work page 1987

  18. [18]

    Neagu, A note on when amenable traces are quasidiagonal, arXiv:2211.01666, 2022

    work page arXiv 2022

  19. [19]

    Crossed products of nuclear C*-algebras and their traces, Advances in Mathematics Volume 347: 105-149, 2019

    work page 2019

  20. [20]

    Schafhauser, A new proof of the Tikuisis-White-Winter Theorem, J

    C. Schafhauser, A new proof of the Tikuisis-White-Winter Theorem, J. Reine Angew. Math., 759: 291-304, 2020. 34

    work page 2020

  21. [21]

    Thiel, Inductive limits of semiprojective C*-algebras, Advances in Math- ematics

    H. Thiel, Inductive limits of semiprojective C*-algebras, Advances in Math- ematics. 347: 597-618, 2019

    work page 2019

  22. [22]

    Tikuisis, S

    A. Tikuisis, S. White, W. Winter, Quasidiagonality of nuclear C*-algebras, Annals of mathematics, Volume 185, Issue 1: 229-284, 2017

    work page 2017

  23. [23]

    D. V. Voiculescu, A note on quasi-diagonal C*-algebras and homotopy, Duke Math. J. 62: 267-271, 1991

    work page 1991

  24. [24]

    Sections and cones

    T. Shulman, Sections and cones, arXiv:2507.22783. 35

    work page internal anchor Pith review Pith/arXiv arXiv