Homotopy invariance through small stabilizations

DOI10.1007/S40062-013-0069-9MaRDI QIDQ496286zbMATH OpenOpenAlexFDO

Publication date 21 September 2015

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1212.5901

\(K\)-theory Calkin's theorem crossed product Karoubi's cone operator ideal

Algebraic (K)-theory and (L)-theory (category-theoretic aspects) (18F25) (K)-theory and homology; cyclic homology and cohomology (19D55) Topological (K)-theory (55N15)

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.

Review text

Let \(\mathfrak A\) be a bornological algebra, \(\ell^\infty\) the algebra of bounded sequences, \(\mathcal B = \mathcal B(\ell^\infty)\) the algebra of bounded operators in \(\ell^\infty\), Emb the inverse monoid of all partially defined injections \(f: \mathrm{dom}(f)\subset \mathbb N \to \mathbb N\). To each \(f\in\mathrm{Emb}\) one associates a partial isometry \(U_f\in \mathcal B (\ell^\infty)\) mapping any basis vector \(e_n\) of \(\ell^\infty\) to \(e_{f(n)}\), if \(n\in \mathrm{dom}(f)\) and 0 otherwise. Let each vector \(\alpha\in \ell^\infty\) act on \(\ell^\infty\) itself by the diagonal action \(\mathrm{diag}(\alpha)(e_n) = \alpha(n)e_n\). Let \(\Gamma^\infty\) be the subalgebra of \(\mathcal B\) generated by partial isometries \(U_f, f\in\mathrm{Emb}\) and \(\mathrm{diag}(\alpha), \alpha\in \ell^\infty\). Calkin's correspondence establishes a one-to-one correspondence between two-sided ideals of \(\mathcal B\) and the ideals of \(\ell^\infty\) that are symmetric (i.e. invariant under the action of Emb): a symmetric ideal \(S \triangleleft \ell^\infty\) is mapped to the ideal \(J_S\triangleleft \mathcal B\) of the operators whose sequence of singular values belongs to \(S\). The first result of the paper is Theorem 4.2 stating that the correspondence \(J \mapsto J \cap \Gamma^\infty\) between the set of two-sided ideals \(J\) in \(\mathcal B(\ell^2(\mathbb N))\) and the set of ideals \(I\) in \(\Gamma^\infty\) is a bijection and if the ideal \(S\triangleleft \ell^\infty\) is symmetric then \(I_S= J_S \cap \Gamma^\infty\). The next interesting result is Theorem 8.2 stating that: Weibel's homotopy algebraic K-theory \(\mathfrak A \mapsto KH_*(I_{c_0(\mathfrak A)})\) from the category BAlg of bornological algebras to the category \(\mathfrak{Ab}\) of abelian groups is invariant under continuous homotopy. Let \(S(\mathfrak A) = S \tilde{\otimes} \mathfrak A\). The third interesting result is Theorem 8.5 stating that for \(S\) being one of the ideals \(c_0\), \(\ell^p\), \(\ell^{p+} = \cap_{s>p} \ell^s , \ell^{p-} = \cup_{r <p} \ell^r (0<p<\infty)\) of \(\ell^\infty\), there are long exact sequences between Weibel's homotopy algebraic K-theory \(KH_*\), Quillen's K-theory \(K_*\) and cyclic homology \(HC_*\): \[ KH_{n+1}(I_{S(\mathfrak A)}) \to HC_{n-1}(I_{S(\mathfrak A)}) \to K_n(I_{S(\mathfrak A)}) \to KH_n(I_{S(\mathfrak A)}) \] and \[ KH_{n+1}(I_{S(\mathfrak A)}) \to HC_{n-1}(\Gamma^\infty(\mathfrak A): I_{S(\mathfrak A)}) \to K_n(\Gamma^\infty(\mathfrak A):I_{S(\mathfrak A)}) \to KH_n(I_{S(\mathfrak A)}) \]

Recommendations

Cites work

Cited in

(6)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q496286)