Projectionless C*-algebra explained

In mathematics, a projectionless C*-algebra is a C*-algebra with no nontrivial projections. For a unital C*-algebra, the projections 0 and 1 are trivial. While for a non-unital C*-algebra, only 0 is considered trivial. The problem of whether simple infinite-dimensional C*-algebras with this property exist was posed in 1958 by Irving Kaplansky,[1] and the first example of one was published in 1981 by Bruce Blackadar.[1] [2] For commutative C*-algebras, being projectionless is equivalent to its spectrum being connected. Due to this, being projectionless can be considered as a noncommutative analogue of a connected space.

Examples

Dimension drop algebras

Let

l{B}0

be the class consisting of the C*-algebras

C0(R),

2),
C
0(R

Dn,SDn

for each

n\geq2

, and let

l{B}

be the class of all C*-algebras of the form
M
k1

(B1)

M
k2

(B2)...

M
kr

(Br)

,

where

r,k1,...,kr

are integers, and where

B1,...,Br

belong to

l{B}0

.

Every C*-algebra A in

l{B}

is projectionless, moreover, its only projection is 0. [4]

Notes and References

  1. .
  2. .
  3. .
  4. Book: Rørdam, M.. An introduction to K-theory for C*-algebras. 2000. Cambridge University Press. F. Larsen, N. Laustsen. 978-1-107-36309-0. Cambridge, UK. 831625390.