k1-injectivity of the Paschke dual algebra for certain simple C*-algebras

TL;DR

This paper proves that the Paschke dual algebra associated with certain simple C*-algebras is $K_1$-injective, leading to new $KK$-theoretic uniqueness results that extend classical essential codimension theorems.

Contribution

It establishes $K_1$-injectivity of the Paschke dual algebra for a class of simple C*-algebras, generalizing known $KK$-uniqueness theorems.

Findings

Proves $K_1$-injectivity of the Paschke dual algebra.

Derives new $KK$-uniqueness theorems.

Extends Brown-Douglas-Fillmore essential codimension property.

Abstract

Let $\mathcal{B}$ be a nonunital separable simple stable C*-algebra with strict comparison of positive elements and $T(\mathcal{B})$ having finite extreme boundary, and let $\mathcal{A}$ be a simple unital separable nuclear C*-algebra. We prove that the Paschke dual algebra $\mathcal{A}^d_{\mathcal{B}}$ is $K_1$-injective. As a consequence, we obtain interesting $KK$-uniqueness theorems which generalize the Brown-Douglas-Fillmore essential codimension property.