Lifting isomorphisms in $K$-theory through gradings of $C^*$-algebras

TL;DR

This paper demonstrates that strongly graded C*-algebras are Cuntz--Pimsner algebras and establishes conditions under which K-theory isomorphisms lift from zero-graded components to the entire algebra, especially for torsion-free abelian groups.

Contribution

It characterizes strongly graded C*-algebras as Cuntz--Pimsner algebras and provides new criteria for lifting K-theory isomorphisms in graded settings.

Findings

Strongly graded C*-algebras are Cuntz--Pimsner algebras.

K-theory isomorphisms on zero-graded components lift to the whole algebra.

Simplified conditions for checking K-theory isomorphisms when the grading group is free abelian.

Abstract

We show that every strongly $\mathbb{Z}$-graded C*-algebra (equivalently, every C*-algebra carrying a strongly continuous $\mathbb{T}$-action with full spectral subspaces) is a Cuntz--Pimsner algebra, and describe subalgebras and subspaces that can be used as the coefficient algebra and module in the construction. We deduce that for surjective graded homomorphisms $\phi$ of C*-algebras $A$ graded by torsion-free abelian groups $H$, if the restriction $\phi_0$ of $\phi$ to the zero-graded component $A_0$ of $A$ induces isomorphisms in K-theory, so does $\phi$ itself. When $H$ is free abelian, we show how to pick out smaller subalgebras of $A_0$ on which it suffices to check that $\phi$ induces isomorphisms in $K$-theory.