Homotopy invariance through small stabilizations

Abstract: We associate an algebra

G a m i (f A)

to each bornological algebra

f A

. The algebra

G a m i (f A)

contains a two-sided ideal

I_{S (f A)}

for each symmetric ideal

S r i q u i e l l i

of bounded sequences of complex numbers. In the case of

G a m i = G a m i (C)

, these are all the two-sided ideals, and

I_{S} m a p s t o J_{S} = c B I_{S} c B

gives a bijection between the two-sided ideals of

G a m i

and those of

c B = c B (e l l^{2})

. We prove that Weibel's

K

-theory groups

K H_{*} (I_{S (f A)})

are homotopy invariant for certain ideals

S

including

c_{0}

and

e l l^{p}

. Moreover, if either

S = c_{0}

and

f A

is a local

C^{*}

-algebra or

S = e l l^{p}, e l l^{p p m}

and

f A

is a local Banach algebra, then

K H_{*} (I_{S (f A)})

contains

K_{*}^{o p} (f A)

as a direct summand. Furthermore, we prove that for

S i n c_{0}, e l l^{p}, e l l^{p p m}

the map

K_{*} (G a m m a^{i} n f t y (f A) : I_{S (f A)}) o K H_{*} (I_{S (f A)})

fits into a long exact sequence with the relative cyclic homology groups

H C_{*} (G a m m a^{i} n f t y (f A) : I_{S (f A)})

. Thus the latter groups measure the failure of the former map to be an isomorphism.

Recommendations

Cites Work

Cited In (6)

This page was built for publication: Homotopy invariance through small stabilizations