, , ,

1 Introduction

The category of locally convex algebras is very vast. Besides natural Fréchet-algebras arising from differential calculus on manifolds it also contains algebras defined purely algebraically (any complex algebra with a countable basis is a locally convex algebra in a natural way with the fine topology). The category is therefore very flexible and allows constructions mixing analytic and algebraic structures. It seems to cover nearly all examples of (usually noncommutative) algebras associated with differential geometric objects, such as algebras of differential or pseudodifferential operators, algebras of differential forms, deformation algebras etc., etc. In connection with index theory and noncommutative geometry it therefore seems highly desirable to have at our disposal tools such as a computable version of topological

K

-theory preferably in bivariant form as it had been developed for

C^{*}

-algebras by Kasparov and others and associated invariants, also in connection with the various classes of “infinitesimals” used by Connes [4] .

In[9] , the first named author had developed such a theory for the smaller category consisting of all locally convex algebras that can be topologized by a family of submultiplicative seminorms (i.e. the category of projective limits of Banach algebras).

This theory has all the desirable properties and covers already many of the important examples. However, there are still very natural examples of locally convex algebras that do not fit into this category. Particularly relevant examples are given by algebras of differential operators and in particular, in the simplest case, by the so called Weyl algebra.

In [7] a bivariant

K

-theory

k k^{a l g}

on the category of all locally convex algebras was then indeed developed. This bivariant homology theory again has very good formal properties, in particular the usual properties of (differentiable) homotopy invariance, long exact sequences associated with extensions and stability under tensoring by the algebra

K

of rapidly decreasing matrices. Therefore the

k k^{a l g}

-invariants can be computed for many interesting examples of locally convex algebras as modules over the graded coefficient ring

R_{*} = k k_{*}^{a l g} (C, C)

. However, the determination of

R_{*}

and more generally, a

K

-theoretic description of

k k_{0}^{a l g} (C, A)

remained open in [7] (it was shown though that

R_{0}

admits a non-trivial unital homomorphism into

C

In the present paper we show that the problem of determining the coefficient ring can be overcome simply by stabilizing by the Schatten ideal

ℒ_{p}

rather than by

K

In fact for the

ℒ_{p}

-stabilized theory

k k^{ℒ_{p}}

we show that

k k_{0}^{ℒ_{p}} (C, A) = K_{0} (A \hat{\otimes} ℒ_{p})

for

p > 1

and thus, in particular, that

k k_{*}^{ℒ_{p}} (C, C) = Z [u, u^{- 1}]

, with a generator

u

in degree

2

(see Corollary 6.2.3 ). Stabilization by

ℒ_{p}

is a very natural operation in Connes' setting for noncommutative geometry. Similar results hold for stabilization with more general symmetrically normed multiplicative Banach ideals (see definition 2.2.1 ) including the dual

ℒ_{1^{+}}

of the Macaev ideal.

The key to our result is a locally convex version of an old homotopy invariance theorem proved by Higson in [13] on the basis of previous work by Kasparov and one of us. One ingredient in our proof of this result is the development of a setup in which the technology of abstract Kasparov modules can be applied algebraically (and thus in particular to locally convex algebras). Technically, we prove smooth homotopy-invariance of

M_{2}

-stable and split-exact functors (see definition 3.1.1 ), i.e. in particular of negative algebraic

K

-theory, for “weakly

J

-stable” locally convex algebras,

J

being a harmonic Banach ideal (see definition 2.2.2 ). All algebras of the form

B \hat{\otimes} J

, where

B

is an arbitrary locally convex algebra, are weakly

J

-stable. The result implies that, for such an algebra

A

, the canonical evaluation maps from the algebra

A [0, 1]

of smooth

A

-valued functions on

[0, 1]

induce the same map

K_{i} (A [0, 1]) \overset{e v_{0}, e v_{1}}{\to} K_{i} (A)

for each non-positive

i \in Z

. In particular, since

A [t] \subset A [0, 1]

, we conclude that

A

K_{0}

-regular. We mention that the original version of Higson's theorem has been used in the category of

C^{*}

-algebras in a similar spirit by Suslin-Wodzicki in their proof of the Karoubi conjecture [17] , see also [16] for a nice exposition of this result and of related ideas.

Our conclusions are not obvious, even in the case

i = 0

, since we do not make any assumption concerning openness of the group of invertibles, stability under functional calculus etc.. Indeed, as it turns out, it is wrong for

i = 1

, contradicting a claim in [14] concerning

K_{1} (ℒ_{p})

. We include a computation of

K_{1} (J)

for any harmonic Banach ideal.

For higher algebraic

K

-theory, smooth homotopy invariance fails in general for weakly

J

-stable algebras. This fact is, from our point of view, due to the lack of excision. Cortin͂as (see [5] ) has given a long exact sequence relating the algebraic and topological

K

-theory of such algebras.

Our results imply the existence of a homomorphism of graded rings

k k_{*}^{a l g} (C, C) = R_{*} \to Z [u, u^{- 1}]

. It seems that a proof of the assertion that this homomorphism is an isomorphism could be derived from the results claimed in [18] . However, we were not able to verify the arguments in [18] .

There is independent partially published work by Wodzicki. There are hints to a deep relationship between the results announced in [21] , see also [11] pp.3, and implications of our results. It should be interesting to pursue this further.

The second author wants to thank G. Cortin͂as for fruitful discussions about the last section. We thank Chr. Valqui and G. Cortin͂as for helpful comments.

2 $J$ -stable bivariant $K$ -theory

2.1 Definitions

By a locally convex algebra we mean an algebra over

C

equipped with a complete locally convex topology such that the multiplication

A \times A \to A

is (jointly) continuous.

This means that, for every continuous seminorm

α

A

, there is another continuous seminorm

α^{'}

such that

α (x y) \leq α^{'} (x) α^{'} (y)

for all

x, y \in A

. Equivalently, the multiplication map induces a continuous linear map

A \hat{\otimes} A \to A

from the completed projective tensor product

A \hat{\otimes} A

. All homomorphisms between locally convex algebras will be assumed to be continuous.

Every Banach algebra or projective limit of Banach algebras obviously is a locally convex algebra. But so is every algebra over

C

with a countable basis if we equip it with the “fine” locally convex topology, see e.g. [10] . The fine topology on a complex vector space

V

is given by the family of all seminorms on

V

Let

[a, b]

be an interval in

R

. We denote by

C [a, b]

the algebra of complex-valued

C^{\infty}

-functions

f

[a, b]

, all of whose derivatives vanish in

a

and in

b

(while

f

itself may take arbitrary values in

a

and

b

). Also the subalgebras

C (a, b], C [a, b)

and

C (a, b)

C [a, b]

, which, by definition consist of functions

f

, that vanish in

a

, in

b

, or in

a

and

b

, respectively, will play an important role. The topology on these algebras is the usual Fréchet topology.

Given two complete locally convex spaces

V

and

W

, we denote by

V \hat{\otimes} W

their completed projective tensor product (see [20] , [10] ). We note that

C [a, b]

is nuclear in the sense of Grothendieck [20] and that, for any complete locally convex space

V

, the space

C [a, b] \hat{\otimes} V

is isomorphic to the space of

C^{\infty}

-functions on

[a, b]

with values in

V

, whose derivatives vanish in both endpoints, [20] , § 51.

Given a locally convex algebra

A

, we write

A [a, b]

A [a, b)

and

A (a, b)

for the locally convex algebras

A \hat{\otimes} C [a, b]

A \hat{\otimes} C [a, b)

and

A \hat{\otimes} C (a, b)

(their elements are

A

valued

C^{\infty}

-functions whose derivatives vanish at the endpoints). The algebra

A (0, 1)

is called the suspension of

A

and denoted by

Σ A

We denote by

M_{n}

the algebra of

n \times n

-matrices over

C

and abbreviate, as usual,

A \otimes M_{n}

M_{n} A

. Given continuous homomomorphisms

φ_{1}, . . ., φ_{n} : A \to B

, we denote by

φ_{1} \oplus \cdot \cdot \cdot \oplus φ_{n} : A \to M_{n} (B)

the diagonal sum of the

φ_{i}

We also consider the algebra

M_{\infty} = {lim}_{⟶_{k}} M_{k} (C) .

It is a locally convex algebra with the fine topology (which is also the inductive limit topology in the representation as inductive limit of the algebras

M_{k} (C)

). Note that, if

A

is a finitely generated algebra, every homomorphism from

A

M_{\infty}

factors through

M_{k}

for some

k \in N

. Finally, given a locally convex algebra

A

, we denote by

A^{+}

its unitization (as a locally convex space

A^{+}

is the direct sum

A \oplus C

2.2 Banach Ideals

Let

H

be an infinite dimensional separable Hilbert space. Denote by

ℬ (H)

the algebra of bounded operators on

H

. Given

p \in [1, \infty)

, the Schatten ideal

ℒ_{p} \subset ℬ (H)

is defined as

ℒ_{p} = {x \in ℬ (H) | T r | x |^{p} < \infty}

Equivalently, a compact operator

x

is in

ℒ_{p}

if the sequence

(μ_{n})

of its singular values is in

ℓ^{p} (N)

ℒ_{p}

is a Banach algebra with the norm

∥ x ∥_{p} = (T r | x |^{p})^{1 / p} .

We denote by

ℒ_{\infty}

the algebra of all compact operators on

H

Definition 2.2.1. A symmetrically normed, multiplicative Banach ideal

J

assigns to each infinite-dimensional separable Hilbert space

H

a normed ideal

J (H)

in the algebra

ℬ (H)

of bounded operators such that

$∙$ the norm $∥ . ∥_{J}$ on $J (H)$ is complete,
$∙$ $∥ A B C ∥_{J} \leq ∥ A ∥ ∥ B ∥_{J} ∥ C ∥$ for all $A, C \in ℬ (H)$ and $B \in J (H)$ ,
$∙$ there is a natural continuous homomorphism $J (H) \hat{\otimes} J (H) \to J (H \otimes H)$ , compatible with the homomorphism $ℬ (H) \hat{\otimes} ℬ (H) \to ℬ (H \otimes H)$ , and
$∙$ the assignment $H \mapsto J (H)$ is functorial under unitary transformations.

By abuse of notation, in the following we also denote by

J

the algebra

J (H)

(which depends on

H

only up to unitary isomorphism).

We will abbreviate the term symmetrically normed, multiplicative Banach ideal to Banach ideal, since we are considering only such. The main examples we have in mind are of course the Schatten ideals

ℒ_{p}

and the ideal

ℒ_{\infty}

, but also the Macaev ideal and its dual, which we denote by

ℒ_{1^{+}}

. The Banach ideal

ℒ_{1^{+}}

is of major importance in Connes' non-commutative geometry. It consists of all compact operators with singular values

(μ_{n})

, satisfying

\sum_{i = 1}^{N} μ_{n} = O (l o g (N))

(see [4] , pp.439). Although our main result does not apply to

ℒ_{1}

it still applies to

ℒ_{1^{+}}

The only non-trivial Banach ideal which is closed in operator norm in

ℬ (H)

, is the ideal

ℒ_{\infty}

. For our purposes, in particular for the proof of theorem 4.2.1 , we need to consider a Banach ideal as a closed ideal in some algebra related to

ℬ (H)

. This can be achieved using the following construction.

Given a Banach ideal

J

, we construct the algebra

ℬ (H) ⋉ J (H)

. Topologically, this algebra is defined to be

ℬ (H) \oplus J (H)

with

l_{1}

-norm and the multiplication is such that as many summands as possible are put in

J (H)

. Since

J (H)

is symmetrically normed,

ℬ (H) ⋉ J (H)

is clearly a Banach algebra. Note that

J (H)

is a closed ideal in

ℬ (H) ⋉ J (H)

and that there is a split extension (see definition 3.1.1 )

0 \to J (H) \to ℬ (H) ⋉ J (H) \to ℬ (H) \to 0 .

Definition 2.2.2. A Banach ideal

J

is called harmonic if

J (H)

contains a compact operator with singular values given by the harmonic series for one (and hence each) Hilbert space

H

. If the Hilbert

H

space has a standard basis

{e_{i}, i \in N}

, we denote by

ω

the operator which multiplies the

n

-th basis vector

e_{n}

1 / n

J

is harmonic if and only if

ω \in J (l^{2} (N))

Note that

ℒ_{p}

for

p > 1

and

ℒ_{1^{+}}

are harmonic, whereas

ℒ_{1}

is clearly not.

Let

J

be a harmonic Banach ideal. We have the following chain of inclusions of sub-algebras of

ℬ (l^{2} (N))

M_{\infty} \subset K \subset ℒ_{1} \subset J \subset ℒ_{\infty}

in which only the three right-most algebras are Banach ideals. Clearly, every smooth compact operator is trace class. The fact, that

ℒ_{1}

is contained in any harmonic Banach ideal is due to the following chain of inequalities

∥ A ∥_{ℒ_{1}} \geq \sum_{i = 1}^{k} μ_{i} \geq k μ_{k} .

This implies, given any

A \in ℒ_{1}

, that there is a bounded operator

B \in ℬ (l^{2} (N))

such that

U B ω U^{*} = | A |

, for some partial isometry

U

, hence

A \in J

2.3 Bivariant $k k$ -theory

The bivariant homology theory

k k^{a l g}

associates with any pair

A, B

of locally convex algebras abelian groups

k k_{n}^{a l g} (A, B)

n \in Z

, see section 6.1 for a definition and [7] for complete proofs. We list some important properties of

k k^{a l g}

Theorem 2.3.1. (a) Every continuous homomorphism

α : A \to B

determines an element

k k (α)

k k_{0}^{a l g} (A, B)

. Given two homomorphisms

α

and

β

, we have

k k (α \circ β) = k k (β) k k (α)

(b) Every extension (see section 3.1 for a definition)

E : 0 \to I \overset{i}{⟶} A ⟶^{q} B \to 0

determines canonically an element

k k (E)

k k_{- 1}^{a l g} (B, I)

. The class of the cone extension

0 \to Σ A \to A (0, 1] \to A \to 0

is the identity element in

k k_{0}^{a l g} (A, A) = k k_{- 1}^{a l g} (A, Σ A)

\begin{matrix} (E) : & 0 & \to & A_{1} & \to & A_{2} & \to & A_{3} & \to & 0 \end{matrix}

\begin{matrix} ↓ α & ↓ & ↓ β \end{matrix}

\begin{matrix} (E^{'}) : & 0 & \to & B_{1} & \to & B_{2} & \to & B_{3} & \to & 0 \end{matrix}

is a morphism of extensions (a commutative diagram where the rows are extensions), then

k k (E) k k (α) = k k (β) k k (E^{'})

(c)

k k^{a l g}

satisfies Bott periodicity:

k k_{n - 2}^{a l g} (A, B) \sim = k k_{n}^{a l g} (A, B)

(d) Let

D

be any locally convex algebra. Every extension

E : 0 \to I \overset{i}{⟶} A ⟶^{q} B \to 0

induces exact sequences in

k k^{a l g} (D, \cdot)

and

k k^{a l g} (\cdot, D)

of the following form:

\begin{matrix} \begin{matrix} k k_{0}^{a l g} (D, I) & \overset{\cdot k k (i)}{⟶} & k k_{0}^{a l g} (D, A) & \overset{\cdot k k (q)}{⟶} & k k_{0}^{a l g} (D, B) \\ ↑ & ↓ \\ k k_{1}^{a l g} (D, B) & \overset{\cdot k k (q)}{⟵} & k k_{1}^{a l g} (D, A) & \overset{\cdot k k (i)}{⟵} & k k_{1}^{a l g} (D, I) \end{matrix} \end{matrix}

(1)

and

\begin{matrix} \begin{matrix} k k_{0}^{a l g} (I, D) & \overset{k k (i) \cdot}{⟵} & k k_{0}^{a l g} (A, D) & \overset{k k (q) \cdot}{⟵} & k k_{0}^{a l g} (B, D) \\ ↓ & ↑ \\ k k_{1}^{a l g} (B, D) & \overset{k k (q) \cdot}{⟶} & k k_{1}^{a l g} (A, D) & \overset{k k (i) \cdot}{⟶} & k k_{1}^{a l g} (I, D) \end{matrix} \end{matrix}

(2)

The vertical arrows in ( 1 ) and ( 2 ) are (up to a sign) given by right and left multiplication, respectively, by the class

k k (E)

. (e) For each locally convex algebra

D

, there is a multiplicative transformation

τ_{D} : k k_{*}^{a l g} (A, B) \to k k_{*}^{a l g} (A \hat{\otimes} D, B \hat{\otimes} D)

such that

τ_{D} (k k (α)) = k k (α \otimes i d_{D})

, for any homomorphism

α : A \to B

For the proof see [7] .

Definition 2.3.2. Let

A

and

B

be locally convex algebras and

J

be a Banach ideal. We define

k k_{n}^{J} (A, B) = k k_{n}^{a l g} (A, B \hat{\otimes} J)

A priori, the definition depends on an additional variable, the Hilbert space. To see the independence, we only need to know that the action of the unitary group of the Hilbert space

H

J (H)

is trivial after applying

H \mapsto k k^{a l g} (A, B \otimes J (H))

. This is easy to see and a particular case of Lemma 3.2.3 .

Having the independence of the Hilbert space, we can use the natural map

J (H) \hat{\otimes} J (H) \to J (H \otimes H)

and its obvious associativity property in combination with property 2.3.1 (e), to define an associative product

k k_{n}^{J} (A, B) \times k k_{m}^{J} (B, C) \to k k_{n + m}^{J} (A, C)

The properties listed in 2.3.1 extend to the bivariant homology theory

k k^{J}

, since the projective tensor product is exact on extensions with continuous split.

The following theorem, which is of independent interest, will show that for the ideals

ℒ_{p}

(

p \in [1, \infty)

p = 1^{+}

), the theories

k k^{ℒ_{p}}

are all naturally isomorphic.

Theorem 2.3.3. Let

A

and

B

be locally convex algebras. We assume that there is a continuous homomorphism

α : A \to B

and a continuous map

β : B \hat{\otimes} B \to A

, such that

$∙$ $β \circ (α \hat{\otimes} α) : A \hat{\otimes} A \to A$ is the multiplication on $A$ and
$∙$ $α \circ β : B \hat{\otimes} B \to B$ is the multiplication on $B$ .

Under these conditions,

[α] \in k k^{a l g} (A, B)

is invertible.

Proof. Consider the locally convex vector space $Σ A \oplus B$ . Let $t \mapsto φ_{t}$ be a smooth homeomorphism from $[0, 1]$ to itself with vanishing derivatives at the endpoints and satisfying $φ_{0} = 0$ . Endowed with the multiplication $(a_{t}, b) \cdot (a_{t}^{'}, b^{'}) = (a_{t} a_{t}^{'} + β (α (a_{t}) \otimes φ_{t} b^{'} + φ_{t} b \otimes α (a_{t}^{'}) + φ_{t} b \otimes φ_{t} b^{'}), b b^{'})$ it is a locally convex algebra which we denote by $L (α, β)$ . There is a natural homomorphism $A (0, 1] \to L (α, β)$ given by $A (0, 1] ∋ a_{t} \mapsto (a_{t} - φ_{t} a_{1}, α (a_{1})) .$ Similarly, there is a natural map $L (α, β) \to B (0, 1]$ given by the assignment $L (α, β) ∋ (a_{t}, b) \mapsto α (a_{t}) + φ_{t} b \in B (0, 1] .$ Consider the following diagram of extensions.
$\begin{matrix} 0 & \to & Σ A & \to & A (0, 1] & \to & A & \to & 0 \end{matrix}$

$\begin{matrix} ↓ & ↓ & ↓ \end{matrix}$

$\begin{matrix} 0 & \to & Σ A & \to & L (α, β) & \to & B & \to & 0 \end{matrix}$

$\begin{matrix} ↓ & ↓ & ↓ \end{matrix}$

$\begin{matrix} 0 & \to & Σ B & \to & B (0, 1] & \to & B & \to & 0 \end{matrix}$
By 2.3.1 , (b), the commutativity of the diagram implies that the class in $k k_{0}^{a l g} (A, B)$ determined by the extension in the middle is left and right inverse to $k k (α) \in k k^{a l g} (A, B)$ . □

Remark 2.3.4. The argument in the proof of 2.3.3 shows at the same time that

Σ α

induces an isomorphism

E (Σ A) \sim = E (Σ B)

for any half-exact (see 4.1.1 ) functor

E

on the category of locally convex algebras which is diffotopy invariant.

Corollary 2.3.5. For

1 \leq q < \infty

q = 1^{+}

, the natural map

k k_{n}^{ℒ_{1}} (A, B) \to k k_{n}^{ℒ_{q}} (A, B)

defines an isomorphism for all

A, B

and

n

Proof. Note that the multiplication $ℒ_{2 p} \hat{\otimes} ℒ_{2 p} \to ℒ_{2 p}$ factors continuously through $ℒ_{p}$ by Hölders inequality. By 2.3.3 the inclusion map $α : A \hat{\otimes} ℒ_{p} \to B \hat{\otimes} ℒ_{q}$ induces an isomorphism in $k k^{a l g}$ whenever $p \leq q \leq 2 p$ and, by iteration, whenever $p \leq q$ . □

3 $M_{2}$ -stable and split-exact functors

3.1 Split exactness

We consider functors from the category of locally convex algebras with continuous homomorphisms, which we denote by

L C A

, to the category of abelian groups, which we denote by

A b

. There is a natural forgetful functor from the category of locally convex algebras to the category of locally convex vector spaces. A sequence

0 \to A \to B \to C \to 0

of locally convex algebras is called an extension, if it is a split-extension in the category of locally convex vector spaces, i.e. the middle term is a topological direct sum of kernel and co-kernel. An extension is called split-extension if there is a continuous splitting

C \to B

which at the same time is a homomorphism.

Definition 3.1.1. Let

E : L C A \to A b

be a functor.

(a) The functor $E$ is called split-exact, if any split extension of locally convex algebras is mapped to a split extension of abelian groups, i.e. if, for every extension $0 \to I \to A \to B \to 0$ of locally convex algebras with a homomorphism splitting $B \to A$ , the induced sequence $0 \to E (I) \to E (A) \to E (B) \to 0$ is exact (and then automatically also split).
(b) The functor $E$ is called $M_{2}$ -stable, if for any locally convex algebra $A$ , the natural inclusion map $j_{2} : A \to A \hat{\otimes} M_{2}$ which embeds $A$ in the upper left corner induces an isomorphism under $E$ .

The most important example of a split-exact and

M_{2}

-stable functor is of course the algebraic

K

-theory functor

K_{0}

, but there are other examples which are of independent interest. Cortin͂as has heavily used the diffotopy invariance result (Theorem 4.2.1 ), which we will derive for all weakly

J

-stable, split-exact and

M_{2}

-stable functors, for the functors

H P_{*}

K_{*}^{i n f}

and

K H_{*}

in order to obtain results about the structure of higher algebraic

K

-theory of weakly

J

-stable algebras, see [5] and the definitions in section 4 .

Split exact functors satisfy the following familiar property, the proof of which is trivial.

Proposition 3.1.2. Let

E

be a split exact functor and let

φ, ψ : A \to B

be homomorphisms with

φ (x) ψ (y) = ψ (x) φ (y) = 0

for all

x, y \in A

. We have that the linear map

φ + ψ : A \to B

is a homomorphism and that

E (φ + ψ) = E (φ) + E (ψ)

We will show that every split exact and

M_{2}

-stable functor admits a pairing with abstract Kasparov modules. Kasparov modules are a convenient way of encoding the extended functoriality of

M_{2}

-stable and split-exact functors. The underlying construction is the one of quasihomomorphisms, which were introduced in [8] . Next, we give a brief introduction to the basics of quasihomomorphisms.

3.2 Quasi-homomorphisms

Let

α

and

\bar{α}

be two homomorphisms

A \to D

between locally convex algebras.

Assume that

B

is a closed subalgebra of

D

such that

α (x) - \bar{α} (x) \in B

and

α (x) B \subset B

B α (x) \subset B

for all

x \in A

. We call such a pair

(α, \bar{α})

a quasihomomorphism from

A

B

relative to

D

and denote it by

(α, \bar{α}) : A \to B

We will show that

(α, \bar{α})

induces a homomorphism

E (α, \bar{α}) : E (A) \to E (B)

in the following way. Define

α^{'}, {\bar{α}}^{'} : A \to A \oplus D

α^{'} (x) = (x, α (x)), {\bar{α}}^{'} = (x, \bar{α} (x))

and denote by

D^{'}

the subalgebra of

D \oplus A

generated by all elements

α^{'} (x), x \in A

and by

0 \oplus B

. We obtain an extension with two splitting homomorphisms

α^{'}

and

{\bar{α}}^{'}

0 \to B \to D^{'} \to A \to 0

where the map

D^{'} \to A

by definition maps

(x, α (x))

x

and

(0, b)

0

. The map

E (α, \bar{α})

is defined to be

E (α^{'}) - E ({\bar{α}}^{'}) : E (A) \to E (B) \subset E (D^{'})

(this uses split-exactness). Note that

E (α, \bar{α})

is independent of

D

in the sense that we can enlarge

D

without changing

E (α, \bar{α})

as long as

B

maintains the properties above.

Proposition 3.2.1. The assignment

(α, \bar{α}) \to E (α, \bar{α})

has the following properties:

(a) $E (\bar{α}, α) = - E (α, \bar{α})$
(b) If the linear map $φ = α - \bar{α}$ is a homomorphism and satisfies $φ (x) \bar{α} (y) = \bar{α} (x) φ (y) = 0$ for all $x, y \in A$ , then $E (α, \bar{α}) = E (φ)$ .

Proof. (a) This is obvious from the definition. (b) This follows from proposition 3.1.2 and the fact that $φ + \bar{α} = α$ . □

Definition 3.2.2. We say that a functor

E : L C A \to A b

$∙$ invariant under inner automorphisms, if $E (A d U) = i d_{E (A)}$ for any invertible element $U$ in a unital algebra $A$ ,
$∙$ invariant under idealizing automorphisms, if the following holds:
Whenever $A$ is isomorphic to a subalgebra of a unital algebra $D$ and $U$ is an invertible element in $D$ such that $A U, U A, A U^{- 1}, U^{- 1} A \subset A$ , then $E (A d U) = 1_{E (A)}$ for the automorphism $A d U : A \to A$ .

Lemma 3.2.3.

(a) Every split-exact functor that is invariant under inner automorphisms is also invariant under idealizing automorphisms.
(b) Every $M_{2}$ -stable functor is invariant under inner automorphisms.
(c) Every split-exact and $M_{2}$ -stable functor is invariant under idealizing automorphisms.
(d) Assume that $E$ is invariant under inner automorphisms and let $(α, \bar{α}) : A \to B$ be a quasihomomorphism relative to $D$ . If there is an invertible element $U$ in $D$ such that $B U, U B, B U^{- 1}, U^{- 1} B \subset B$ and such that moreover $U α (x) - α (x) \in B$ , $\bar{α} (x) = U α (x) U^{- 1}$ for all $x \in A$ , then $E (α, \bar{α}) = 0$ .

Proof. (a) Let $A$ be a locally convex algebra and $U \in D$ be an idealizing element of $A \subset D$ . Let $B$ be the sub-algebra of $D \oplus C [t, t^{- 1}]$ which is generated by $A \oplus 0$ and $U \oplus t$ (we view $C [t, t^{- 1}]$ as a locally convex algebra with the fine topology). There is a natural split extension $0 \to A \to B \to C [t, t^{- 1}] \to 0 .$ The inner automorphism determined by $U \oplus t$ induces the identity on $E (B)$ and thus on $E (A)$ .
(b) Let $U$ induce an inner automorphism of the algebra $A$ . Consider the inner automorphism of $A \hat{\otimes} M_{2}$ induced by $U \oplus 1$ . Since, by an easy argument, the inclusions of $A$ into the upper left corner and the inclusion into the lower right corner of $A \hat{\otimes} M_{2}$ determine the same isomorphism under $E$ , this implies that $E$ is invariant under idealizing automorphisms.
(c) Combine (b) and (a).
(d) Note that $W = (1, U)$ defines an idealizing automorphism of the algebra $D^{'}$ that appears in the split-extension defining the map $E (α, \bar{α})$ . By (c), we know that $E ({\bar{α}}^{'}) = E (A d W) \circ E (α^{'}) = E (α^{'})$ . Hence, we get $E (α, \bar{α}) = 0$ . □

3.3 Kasparov modules

Definition 3.3.1. Let

A, I

and

D

be locally convex algebras. Assume that

D

is unital and contains

I

as a closed ideal. An abstract Kasparov

(A, I)

-module relative to

D

is a triple

(φ, U, P)

where

$∙$ $φ$ is a continuous homomorphism from $A$ into $D$ .
$∙$ $U$ is an invertible element and $P$ is an idempotent element in $D$ such that the following commutators are in $I$ for all $x \in A$ :
$[U, φ (x)], [P, φ (x)], [U, P] .$

Remark 3.3.2. (a) The condition that

I

is a closed ideal in

D

could be weakened to demanding that the inclusion

I \to D

and the homomorphisms

A \otimes I \to I

and,

I \otimes A \to I

which are given by mapping

A

D

and multiplying in

D

are continuous for the projective topology on the tensor product.

Furthermore, just as for quasihomomorphisms, the morphisms that we construct from a Kasparov module will be independent of the algebra

D

in the sense that

D

can be enlarged as long as the conditions on the commutators and the ideal are maintained.

(b) In Definition 3.3.1 one could replace the condition that

[U, P] \in I

by the condition that

[U, P] φ (x)

and

φ (x) [U, P]

are in

I

for all

x \in A

In the sequel, given an idempotent

P

in a unital algebra, we will denote by

P^{⊥}

the idempotent

1 - P

. Given an abstract Kasparov module

(φ, U, P)

, we define invertible matrices

W_{P}

and

U_{P}

M_{2} (D)

as follows

W_{P} = (\begin{matrix} P & P^{⊥} \\ - P^{⊥} & P \end{matrix}),

and

U_{P} = W_{P} (\begin{matrix} U & 0 \\ 0 & 1 \end{matrix}) W_{P}^{- 1} = (\begin{matrix} P U P + P^{⊥} & - P U P^{⊥} \\ - P^{⊥} U P & P + P^{⊥} U P^{⊥} \end{matrix}) .

We obtain in this way a quasihomomorphism

((φ \oplus 0), A d U_{P} \circ (φ \oplus 0)) : A \to M_{2} (I)

Definition 3.3.3. Let

E

be a functor that is split exact and

M_{2}

-stable and let

(φ, U, P)

be an abstract

(A, I)

-Kasparov module. We denote by

E (φ, U, P)

the map

E (A) \to E (M_{2} I) \sim = E (I)

associated with the quasihomomorphism

((φ \oplus 0), A d U_{P} \circ (φ \oplus 0)) : A \to M_{2} I

and the natural inclusion

j_{2} : I \to M_{2} I

Lemma 3.3.4. Let

E

be split exact and

M_{2}

-stable. We consider abstract

(A, I)

-Kasparov modules.

(a) $E (φ, U U^{'}, P) = E (φ, U, P) + E (φ, U^{'}, P)$ whenever all terms are defined.
(b) If $P P^{'} = P^{'} P = 0$ , then $E (φ, U, P + P^{'}) = E (φ, U, P) + E (φ, U, P^{'})$ .
(c) If $P$ commutes with all $φ (x)$ , $φ^{'} (x)$ and if $P φ (x) = P φ^{'} (x)$ for all $x$ , then $E (φ, U, P) = E (φ^{'}, U, P)$ .
(d) If $φ (x) U - φ (x) \in I$ for all $x \in A$ , then $E (φ, U, P) = 0$ .
(e) If $P U - P^{'} U^{'} \in I$ , then $E (φ, U, P) = E (φ, U^{'}, P^{'})$ .

Proof. (a) We have

(U U^{'})_{P} = U_{P} U_{P}^{'}

. This implies

\begin{matrix} E (φ, U U^{'}, P) & = & E (φ \oplus 0, A d ((U U^{'})_{P}) \circ (φ \oplus 0)) \end{matrix}

\begin{matrix} = & E (φ \oplus 0, A d (U_{P}) \circ (φ \oplus 0)) \end{matrix}

\begin{matrix} + E (A d (U_{P})) \circ (φ \oplus 0), A d (U_{P} U_{P}^{'}) \circ (φ \oplus 0)) \end{matrix}

\begin{matrix} = & E (φ, U, P) + E (A d (U_{P})) \circ E (φ, U^{'}, P) \end{matrix}

\begin{matrix} = & E (φ, U, P) + E (φ, U^{'}, P) \end{matrix}

The last equality follows, since

A d (U_{P})

is an idealizing automorphism of

M_{2} (I)

and we have shown the invariance under such in Lemma 3.2.3 (c).

(b) One easily checks that

1 - (U_{P + P^{'}})^{- 1} U_{P} U_{P^{'}} \in M_{2} (I)

. The assertion then follows from (a) combined with (d).

M_{2}

-stability shows that

E (P^{⊥} φ, U, P) = E (P^{⊥} φ \oplus 0, P^{⊥} φ \oplus 0) = 0

This observation implies that

E (φ, U, P) = E (P φ, U, P) = E (P φ^{'}, U, P) = E (φ^{'}, U, P) .

(d) The element

U_{P}

satisfies the hypotheses of lemma 3.2.3 (d) with respect to

φ \oplus 0

(e) We have the following chain of congruences mod the ideal

I

P \equiv U^{- 1} U^{'} P^{'} = (U^{- 1} U^{'} P^{'}) P^{'} \equiv P P^{'} \equiv P (P U {U^{'}}^{- 1}) = P U {U^{'}}^{- 1} \equiv P^{'}

(

\equiv

denotes congruence mod

I

The explicit form of the matrix

U_{P}

is as follows:

U_{P} = (\begin{matrix} P U P + P^{⊥} & - P U P^{⊥} \\ - P^{⊥} U P & P + P^{⊥} U P^{⊥} \end{matrix})

and similarly for

U_{P^{'}}^{'}

. Therefore the matrices

{U^{'}}_{P^{'}}^{- 1} U_{P} (1 \oplus 0)

and

(1 \oplus 0) U_{P}^{- 1} U_{P^{'}}^{'}

are in

M_{2} (I^{+})

. These two matrices produce an algebraic equivalence in

M_{2} (I^{+})

between the idempotents

1 \oplus 0

and

{U^{'}}_{P}^{- 1} U_{P} (1 \oplus 0) U_{P}^{- 1} U_{P^{'}}^{'}

. Using the standard technique (e.g. [2] prop. 4.3.1) there exists an invertible element

V

M_{4} (I^{+})

such that

V ({U^{'}}_{P^{'}}^{- 1} U_{P} \oplus 1 \oplus 1) (1 \oplus 0 \oplus 0 \oplus 0) = (1 \oplus 0 \oplus 0 \oplus 0)

and

(1 \oplus 0 \oplus 0 \oplus 0) (U_{P^{'}}^{'} U_{P}^{- 1} \oplus 1 \oplus 1) V^{- 1} = (1 \oplus 0 \oplus 0 \oplus 0) .

Moreover,

V

can be chosen such that

V \equiv 1 \oplus 1 \oplus 1 \oplus 1

. This last observation, together with

M_{2}

-stability, implies the third equality in the following computation.

\begin{matrix} 0 & = & E (φ \oplus 0 \oplus 0 \oplus 0, φ \oplus 0 \oplus 0 \oplus 0) \end{matrix}

\begin{matrix} = & E (φ \oplus 0 \oplus 0 \oplus 0, A d (V) \circ A d ({U^{'}}_{P^{'}}^{- 1} U_{P} \oplus 1 \oplus 1) \circ (φ \oplus 0 \oplus 0 \oplus 0)) \end{matrix}

\begin{matrix} = & E (φ \oplus 0, A d ({U^{'}}_{P^{'}}^{- 1} U_{P}) \circ (φ \oplus 0)) \end{matrix}

\begin{matrix} = & E (φ \oplus 0, A d ({U^{'}}_{P^{'}}^{- 1}) (φ \oplus 0)) + E (A d ({U^{'}}_{P^{'}}^{- 1})) \circ E (φ \oplus 0, A d (U_{P}) \circ (φ \oplus 0)) \end{matrix}

\begin{matrix} = & E (φ, {U^{'}}^{- 1}, P^{'}) + E (φ, U, P) \end{matrix}

The last equality is due to the observation that

A d ({U^{'}}_{P^{'}}^{- 1})

is an idealizing automorphism of

M_{2} (I)

. This proves the assertion

E (φ, U^{'}, P^{'}) = E (φ, U, P),

using (a) and (d). □

3.4 Diffotopy invariance via Kasparov modules

In this section we construct explicit Kasparov modules which induce the evaluation maps, stabilized by the smooth compact operators. They are used in the proof of the diffotopy invariance theorem (see Theorem 4.2.1 ).

We let

C^{\infty} (S^{1})

act in the usual way on

ℓ^{2} (Z)

and denote by

P

the Hardy projection from

ℓ^{2} (Z)

onto the subspace

ℓ^{2} (N)

We denote by

D

the subalgebra of

ℬ (ℓ^{2} (Z))

generated algebraically by

C^{\infty} (S^{1})

together with

P

and all smooth compact operators. There is a natural isomorphism of

C^{\infty} (S^{1})

with the Schwartz space of rapidly decreasing

Z

-sequences

s \subset ℓ^{2} (Z)

defined by the action on the basis vector

e_{0} \in ℓ^{2} (Z)

. A vector is called smooth if it belongs to the image of this embedding.

We list some elementary properties concerning the action of the smooth algebras that we consider on

ℓ^{2} (Z)

Lemma 3.4.1.

(a) There is an isomorphism of topological vector spaces $s \hat{\otimes} s \to K$ extending the map $(λ_{i})_{i \in Z} \otimes (μ_{j})_{j \in Z} \mapsto (λ_{i} μ_{j})_{i, j \in Z}$ . In particular, any finite-rank operator built out of smooth vectors is a smooth compact operator.
(b) The action of $K \sim = s \hat{\otimes} s$ on the Hilbert space $ℓ^{2} (Z)$ is induced by $a \otimes b (ξ) = a 〈 b | ξ 〉$ where $〈 \cdot | \cdot 〉$ denotes the canonical bilinear form on $ℓ^{2} (Z)$ . In particular the image $k (ℓ^{2} (Z))$ of any $k \in K$ is contained in $s$ . Any eigenvector for an eigenvalue $\neq 0$ of an element $k \in K$ is smooth.
(c) The algebra $K$ (resp. its unitization $K^{+}$ ) is a subalgebra of the $C^{*}$ -algebra $ℒ_{\infty}$ of compact operators (resp. of its unitization $ℒ_{\infty}^{+}$ ) which is closed under functional calculus by holomorphic functions for arbitrary elements (in particular the spectrum of an element in $K$ is the same as in $ℒ_{\infty}$ ), and under functional calculus by $C^{\infty}$ -functions for self-adjoint and normal elements.
(d) The algebra $D$ preserves the space of smooth vectors.

Proof. The only non-trivial assertion is (c). Let $N$ be the unbounded operator in $H = ℓ^{2} (Z)$ defined by $N (e_{i}) = | 1 + i | e_{i}$ on the domain $D$ consisting of all (finite) linear combinations of vectors $e_{i}$ in the standard orthonormal basis for $H$ . It is trivial to check that $K$ can be identified with the set of operators $a$ in $ℬ (H)$ for which $N^{i} a N^{j}$ extends from $D$ to a bounded operator on $H$ for all $i, j \in N$ .
Define norms $η_{k}$ on $K$ by $η_{k} (a) = \sum_{i + j = k} ∥ N^{i} a N^{j} ∥$ where $∥ \cdot ∥$ denotes the operator norm. Then, for $a, b \in K$ we have:
$η_{k} (a b) = \sum_{i + j = k} ∥ N^{i} a b N^{j} ∥ \leq \sum_{i + j = k} ∥ N^{i} a ∥ ∥ b N^{j} ∥ \leq \sum_{i + j = k} η_{i} (a) η_{j} (b)$ Thus, the family $(η_{j})$ defines a differential seminorm in the sense of [3] . The topology on $K$ is described by the family of sub-multiplicative norms $∥ \cdot ∥_{k}$ defined by $∥ a ∥_{k} = \sum_{0 \leq j \leq k} η_{j} (a)$ The results in [3] then immediately imply that $K$ is a subalgebra of the algebra $ℒ_{\infty}$ of compact operators on $H$ which is closed under functional calculus by holomorphic functions for arbitrary elements (see [3] , 3.12) and by functional calculus by $C^{\infty}$ -functions for self-adjoint or normal elements (see [3] , 6.4). □

Linearly,

D

splits into

K \oplus C^{\infty} (S^{1}) \oplus C^{\infty} (S^{1})

via the linear isomorphism

K \oplus C^{\infty} (S^{1}) \oplus C^{\infty} (S^{1}) ∋ (k, f, g) \mapsto k + f + g P \in D .

We topologize

D

by norms

∥ \cdot ∥_{k} \oplus p_{k} \oplus p_{k}

, where

∥ \cdot ∥_{k}

is of the type described in Lemma 3.4.1 , (c) and

p_{k}

is the usual sub-multiplicative norm on

C^{\infty} (S^{1})

defined by

p_{k} (f) = \sum_{0 \leq j \leq k} \frac{1}{j!} ∥ f^{(j)} ∥

An easy computation shows that these norms are sub-multiplicative. This shows that

D

is a locally convex algebra and contains the algebra

K

of smooth compact operators as a closed ideal.

We identify

C^{\infty} (S^{1})

with the algebra of smooth periodic functions on the interval

[0, 4]

and divide this interval into four succeeding intervals

I_{1}, I_{2}, I_{3}, I_{4}

of length

1

We define a homomorphism

φ : C [0, 1] \to C^{\infty} (S^{1})

in the following way:

\begin{matrix} φ (f) \equiv f (0) o n I_{1} φ (f) = f o n I_{2} \end{matrix}

\begin{matrix} φ (f) \equiv f (1) o n I_{3} φ (f) = \overset{ˇ}{f} o n I_{4} \end{matrix}

where we identify the interval

[0, 1]

with each of the intervals

I_{k}

and where we put

\overset{ˇ}{f} (t) = f (1 - t)

, for

t \in [0, 1]

Let now

u_{t}

t \in [0, 1]

be a smooth family of unitary elements in

C^{\infty} (S^{1})

such that each

u_{t}

has winding number 1 and such that

u_{0} \equiv 1

outside a closed interval

I_{1}^{'}

contained in the interior of

I_{1}

and

u_{1} \equiv 1

outside an interval

I_{3}^{'}

contained in the interior of

I_{3}

(there is an obvious explicit family with these properties).

Since

[P, φ (x)] \in K

and

[P, u_{t}] \in K

for each

x

and

t

(φ, u_{t}, P)

defines an abstract Kasparov module for each

t

Lemma 3.4.2. Let

E

be an

M_{2}

-stable and split exact functor. Then

E (φ, u_{0}, P) = E (j \circ {ev}_{0}) E (φ, u_{1}, P) = E (j \circ {ev}_{1})

where

{ev}_{t} : C [0, 1] \to C

are the evaluation maps and

j : C \to K

is the natural inclusion.

Proof. Let

h

be a function in

C^{\infty} (S^{1})

such that

h \equiv 1

I_{1}^{'}

h \equiv 0

outside

I_{1}

and

0 \leq h \leq 1

and put

Q = (\begin{matrix} h & (h (1 - h))^{\frac{1}{2}} \\ (h (1 - h))^{\frac{1}{2}} & 1 - h \end{matrix})

We consider

Q

as an idempotent in

M_{2} (D)

. It commutes exactly with

φ (f) \oplus {ev}_{0} (f), f \in C [0, 1]

and we have

Q (φ (f) \oplus {ev}_{0} (f)) = Q ({ev}_{0} (f) \oplus {ev}_{0} (f))

and

(u_{0} \oplus 1) Q^{⊥} = Q^{⊥} (u_{0} \oplus 1) = Q^{⊥} .

We have, using the last identity and Lemma 3.3.4 (e), the following equalities:

\begin{matrix} E (φ, u_{0}, P) & = & E (φ \oplus {ev}_{0}, u_{0} \oplus 1, P \oplus P) \end{matrix}

\begin{matrix} = & E ((φ \oplus {ev}_{0}) Q, u_{0} \oplus 1, P \oplus P) \end{matrix}

\begin{matrix} = & E (({ev}_{0} \oplus {ev}_{0}) Q, u_{0} \oplus 1, P \oplus P) \end{matrix}

\begin{matrix} = & E ({ev}_{0} \oplus {ev}_{0}, u_{0} \oplus 1, P \oplus P) \end{matrix}

\begin{matrix} = & E ({ev}_{0}, u_{0}, P) \end{matrix}

An analogous argument shows that

E (φ, u_{1}, P) = E ({ev}_{1}, u_{1}, P)

Now, note that

u_{0}

is connected to the standard unitary

z = {t \mapsto e^{2 π i t}}

by a continuous path

w_{t}

C^{\infty} (S^{1})

with

w_{0} = z

and

w_{1} = u_{0}

. Since

P

commutes with all elements in

C^{\infty} (S^{1})

modulo compact operators we see that

P w_{t} P

describes a continuous path of operators, which are Fredholm on

ℓ^{2} (N)

. The operator

P z P

is clearly of index

- 1

, then so is

v = P u_{0} P

. Applying functional calculus by the holomorphic function, which is equal to

z^{- 1 / 2}

in a neighborhood of 1 and equal to 0 in a neighborhood of 0, to

v^{*} v

, there is a positive element

h

in the algebra generated by

P K P

and

P

, which differs from

P

only by an element in

K

such that

v h

is a partial isometry still of index

- 1

(in fact with the same kernel and cokernel as

v

). Choose a partial isometry

k

ℬ (ℓ^{2} (N))

with support

k e r v

and range contained in

c o k e r v

. Since the range and support of

k

consist of smooth vectors,

k

is in

K

. Thus

a = v h + k

is an isometry of index -1 on

ℓ^{2} (N) \subset ℓ^{2} (Z)

which differs from

v

only by an element in

K

In the same way one gets a coisometry

b

of index 1 on

ℓ^{2} (Z) ⊖ ℓ^{2} (N)

and equal to

P^{⊥} u_{0} P^{⊥}

modulo

K

. Adding a partial isometry of rank 1 in

K

, that connects

k e r b

and

c o k e r a

, to

a + b

one obtains a unitary

u

ℬ (ℓ^{2} (Z))

that differs from

u_{0}

only by an element in

K

such that

u P = a

Using Lemma 3.3.4 (e) and the explicit form of the quasihomomorphism defined by the abstract Kasparov module

({ev}_{0}, u, P)

, we have

E ({ev}_{0}, u_{0}, P) = E ({ev}_{0}, u, P) = E ({ev}_{0}, A d (a + P^{⊥}) {ev}_{0})

However, by the choice of

a

, we have

{ev}_{0} = A d (a + P^{⊥}) {ev}_{0} + j \circ {ev}_{0}

, so that

E ({ev}_{0}, u_{0}, P) = E (j_{0} \circ {ev}_{0})

by 3.2.1 (b). The argument for

E ({ev}_{1}, u_{1}, P)

is exactly symmetric. □

4 Diffotopy invariance theorem

4.1 Half-exact functors and diffotopy invariance

We continue with some definitions.

Definition 4.1.1. Let

E : L C A \to A b

be a functor from the category of locally convex algebras to the category of abelian groups. Let

J

be a Banach ideal. We say that

$∙$ $E$ is diffotopy invariant, if the maps ${ev}_{t} : E (A [0, 1]) \to E (A)$ induced by the different evaluation maps for $t \in [0, 1]$ are all the same (it is easy to see that this is the case if and only if the map induced by evaluation at $t = 0$ is an isomorphism).
$∙$ $E$ is half-exact, if, for every extension $0 \to I \to A \to B \to 0$ of locally convex algebras, the induced short sequence $E (I) \to E (A) \to E (B)$ is exact.
$∙$ $E$ is $J$ -stable, if the map $E (A) \to E (A \hat{\otimes} J)$ induced by the natural inclusion $j : A \to A \hat{\otimes} J$ , defined by any minimal idempotent in $J$ , is an isomorphism for each locally convex algebra $A$ (note that any Banach ideal contains minimal idempotents).
$∙$ $E$ is weakly $J$ -stable, if there is a natural map $E (A \hat{\otimes} J) \to E (A)$ , such that the composition $E (A) \to E (A \hat{\otimes} J) \to E (A)$ with the map induced by the inclusion map $A \to A \hat{\otimes} J$ defined by a minimal idempotent in $J$ is the identity for each locally convex algebra $A$ .

Remark 4.1.2. We are using weak

J

-stability only for Banach ideals

J

, but note that weak stability is hereditary for certain subalgebras of

J

In particular, if

J

contains all smooth compact operators (for instance if

J

is harmonic, see end of section 2.2 ), then any weakly

J

-stable functor is also weakly

K

-stable.

Definition 4.1.3. Two homomorphisms

α, β : A \to B

between locally convex algebras are called diffotopic if there is a homomorphism

φ : A \to B [0, 1]

such that

α = {ev}_{0} \circ φ β = {ev}_{1} \circ φ .

Remark 4.1.4. In [9] and elsewhere it was stated that the condition defining diffotopy in 4.1.3 was equivalent to the fact that there exists a family of homomorphisms

φ_{t} : A \to B, t \in [0, 1]

such that, for each

x

A

, the function

t \mapsto φ_{t} (x)

is in

B [0, 1]

and such that

α = φ_{0}

β = φ_{1}

The equivalence between the two conditions holds only if

A

and

B

are Fréchet, i.e. metrizable. A counterexample in the general case, due to Frerick and Shkarin, was communicated to us by L.Frerick [12] . Since only the condition given in the definition above was used in all the proofs, this does not affect any of the results in [9] or [10] .

It is easy to check that diffotopy is an equivalence relation. If

α

and

β

are diffotopic and

E

is a diffotopy invariant functor, then obviously

E (α) = E (β)

The next lemma illustrates the important consequences of the combination of the properties of diffotopy invariance and half-exactness. Note that the algebraic

K

-theory functor

K_{0}

is half-exact, in fact, it satisfies excision (see [1] ). Using the formally similar property of split-exactness, we are going to conclude that the

J

-stabilized version of the algebraic

K

-theory functor is diffotopy invariant. However, split-exactness does not imply half-exactness in general, nor does the reverse implication hold. For some of the notation, the reader is referred to section 6.1 .

Lemma 4.1.5. Let

E : L C A \to A b

be a functor from the category of locally convex algebras to the category of abelian groups which is diffotopy invariant and half-exact. Then

(a) $E$ has long exact sequences, i.e. for each extension $0 \to I \to A \to B \to 0$ of locally convex algebras there is a long exact sequence (infinite to the left) of the form $\dots \to E (Σ A) \to E (Σ B) \to E (I) \to E (A) \to E (B)$
(b) There is a natural isomorphism $E (J A) \sim = E (Σ A)$

Proof. (a) is well known and follows from a standard argument using mapping cones.
(b) Apply the long exact sequence from (a) to the extension $0 \to J A \to T A \to A \to 0$ and use the fact that $E (T A) = E (Σ T A) = 0$ by diffotopy invariance of $E$ and the fact that $T A$ is smoothly contractible. □

4.2 Main theorem

In this section we state and prove the diffotopy invariance theorem.

Theorem 4.2.1. Every functor from the category of locally convex algebras to the category of abelian groups which is split exact,

M_{2}

-stable and weakly

J

-stable for some harmonic Banach ideal, is diffotopy invariant.

Proof. Given a weakly $J$ -stable, $M_{2}$ -stable and split-exact functor $E : L C A \to A b$ , these properties are inherited by the functor $E^{A} : L C A \to A b$ which assigns $B \mapsto E (A \hat{\otimes} B)$ , for any given locally convex algebra $A$ . This implies that w.l.o.g. it is enough to show that the two evaluation maps from $E (C [0, 1])$ to $E (C)$ are equal.
Using the result of Lemma 3.4.2 and the injectivity of $E (j) : E (C) \to E (K)$ , which followed from weak $J$ -stability and remark 4.1.2 , it suffices to show that we have an equality of $(C [0, 1], K)$ -Kasparov modules $E (φ, u_{0}, P) = E (φ, u_{1}, P) .$ Using the weak $J$ -stability again we conclude that it also suffices to show that the following $(C [0, 1], K \hat{\otimes} J))$ -Kasparov modules are equal:
$E (φ \otimes 1, u_{0} \oplus 1 \oplus . . ., P \otimes 1) = E (φ \otimes 1, u_{1} \oplus 1 \oplus . . ., P \otimes 1) .$ Note that $u_{0} {u_{1}}^{- 1} = e^{i h}$ for some self-adjoint element $h \in C^{\infty} (S^{1})$ . Denote by $Z$ the unitary in $(C^{\infty} (S^{1}) \hat{\otimes} J)^{+} \subset (D \hat{\otimes} J)^{*}$ given by $Z = e^{i h} \oplus 1 \oplus 1 \oplus . . . .$ where $D$ is as in 3.4 .
We have to show that $E (φ \otimes 1, Z, P \otimes 1) = 0$ . The element $Z$ is the product of elements $X_{1} = e^{i h} \oplus e^{- \frac{i h}{2}} \oplus e^{- \frac{i h}{2}} \oplus e^{\frac{i h}{4}} \oplus e^{\frac{i h}{4}} \oplus e^{\frac{i h}{4}} \oplus e^{\frac{i h}{4}} \oplus e^{- \frac{i h}{8}} \oplus . . .$ and $X_{2} = 1 \oplus e^{\frac{i h}{2}} \oplus e^{\frac{i h}{2}} \oplus e^{- \frac{i h}{4}} \oplus e^{- \frac{i h}{4}} \oplus e^{- \frac{i h}{4}} \oplus e^{- \frac{i h}{4}} \oplus e^{\frac{i h}{8}} \oplus . . . .$ Here, the term with $\pm \frac{i h}{2^{n}}$ appears precisely $2^{n}$ times. The elements $X_{i}$ lie in $(C^{\infty} (S^{1}) \hat{\otimes} J)^{+}$ since they are exponentials of elements $i h \otimes x_{i}$ with $x_{i} \leq 2 ω \in J$ .
This is the only place, where we use the assumption that $J$ is harmonic in an essential way. Note that the elements $X_{i}$ commute with $C^{\infty} (S^{1}) \otimes 1$ and with $P \otimes 1$ modulo $K \hat{\otimes} J$ and hence define abstract Kasparov $(C [0, 1], K \hat{\otimes} J)$ -modules relative to $(D \hat{\otimes} J)^{+}$ .
Note further that $X_{1} = W_{1} \cdot W_{2}$ with $W_{1} = e^{\frac{i h}{2}} \oplus e^{- \frac{i h}{2}} \oplus 1 \oplus e^{\frac{i h}{8}} \oplus e^{\frac{i h}{8}} \oplus e^{\frac{i h}{8}} \oplus e^{\frac{i h}{8}} \oplus e^{- \frac{i h}{8}} \oplus . . .$ and $W_{2} = e^{\frac{i h}{2}} \oplus 1 \oplus e^{- \frac{i h}{2}} \oplus e^{\frac{i h}{8}} \oplus e^{\frac{i h}{8}} \oplus e^{\frac{i h}{8}} \oplus e^{\frac{i h}{8}} \oplus 1 \oplus . . . .$ Clearly, $W_{2} = (1 \otimes Y) W_{1}^{- 1} (1 \otimes Y^{- 1})$ for some permutation matrix $Y \in ℬ (H)$ .
We see that $[φ (C [0, 1]) \otimes 1, 1 \otimes Y] = [P \otimes 1, 1 \otimes Y] = 0$ so that abstract Kasparov $(C [0, 1], K \otimes J)$ -modules relative to $D \hat{\otimes} (ℬ (H) ⋉ J)$ are defined, since $K \hat{\otimes} J$ is a closed ideal in $D \hat{\otimes} (ℬ (H) ⋉ J)$ . (For a definition of $ℬ (H) ⋉ J$ see section 2.2 .) By lemma 3.3.4 (a) wee see that $E (φ \otimes 1, X_{1}, P \otimes 1) = E (φ \otimes 1, W_{1} 1 \otimes Y W_{1}^{- 1} (1 \otimes Y)^{- 1}, P \otimes 1) = 0$ .
A similar reasoning applies to $X_{2}$ . This finishes the proof. □

5 $K_{0}$ of a stable algebra.

5.1 Stabilized functors

In this section we consider split-exact and

M_{2}

-stable functors

E^{'} : L C A \to A b

, defined on the category of locally convex algebras.

Definition 5.1.1. Let

A

be a locally convex algebra and let

E^{'}

be a

M_{2}

-stable and split-exact functor. Let

J

be a Banach ideal. The algebra

A

is called weakly

J

-stable with respect to the functor

E^{'}

if the functor

B \mapsto E^{'} (B \hat{\otimes} A)

is weakly

J

-stable (see definition 4.1.1 ).

Proposition 5.1.2 shows that

J

is weakly

J

-stable, so that there is always one obvious weakly

J

-stable algebra. Moreover, if

B

is weakly

J

-stable and

A

is any locally convex algebra, the

A \hat{\otimes} B

is weakly

J

-stable.

Let now

J

be a harmonic Banach ideal and

A

be a weakly

J

-stable algebra with respect to the functor

E^{'}

. In this section we show, as a corollary of theorem 4.2.1 , that the associated

A

-stabilized functor

E = E^{'} (? \hat{\otimes} A) : L C A \to A b

satisfies diffotopy invariance. See the remark after definition 3.1.1 for important examples of split-exact and

M_{2}

-stable functors to which such a result could be applied.

Proposition 5.1.2. The functor

E : L C A \to A b

which assigns

A \mapsto E^{'} (A \hat{\otimes} J)

is weakly

J

-stable in the sense of definition 4.1.1 , i.e. the algebra

J

is weakly

J

-stable with respect to any

M_{2}

-stable and split exact functor.

Proof. The natural map $θ : J (H) \hat{\otimes} J (H) ⟶ J (H \hat{\otimes} H)$ induces a natural map $θ_{A} : E (A \hat{\otimes} J) \to E (A)$ for every locally convex algebra $A$ . We want to show that $θ_{A} \circ j_{A} = i d_{E (A)}$ for the natural map $j_{A} : E (A) \to E (A \hat{\otimes} J)$ induced by the inclusion $j : C \to J$ , i.e. $j_{A} = E^{'} (i d_{A} \hat{\otimes} j \hat{\otimes} i d_{J})$ .
There is an isometry $V$ in $ℬ (H \hat{\otimes} H)$ such that $θ \circ (j \hat{\otimes} i d_{J}) (x) = A d (V) = V x V^{*}$ for $x \in J$ . Choose a second isometry $V^{'}$ in $ℬ (H \hat{\otimes} H)$ such that $V V^{*} + V^{'} {V^{'}}^{*} = 1$ .
Denote by $O_{2}$ the algebra generated algebraically by $1 \hat{\otimes} V, 1 \hat{\otimes} V^{*}$ and $1 \hat{\otimes} V^{'}, 1 \hat{\otimes} {V^{'}}^{*}$ in $A \hat{\otimes} ℬ (H \hat{\otimes} H)$ and by $D$ the algebra generated by $A \hat{\otimes} J$ together with $1 \hat{\otimes} V, 1 \hat{\otimes} V^{*}$ and $1 \hat{\otimes} V^{'}, 1 \hat{\otimes} {V^{'}}^{*}$ inside $A \hat{\otimes} ℬ (H \hat{\otimes} H)$ . We have a split extension $0 \to A \hat{\otimes} J \to D \to O_{2} \to 0$ It is easy to see that there is a unitary $U$ in $M_{2} (O_{2})$ and hence in $M_{2} (D)$ such that $U x U^{*} = (1 \hat{\otimes} V) x (1 \hat{\otimes} V^{*})$ for $x$ in the subalgebra $(\begin{matrix} A \hat{\otimes} J & 0 \\ 0 & 0 \end{matrix})$ of $M_{2} (A \hat{\otimes} J)$ . Thus, by $M_{2}$ stability of $E$ it is clear that $E (A d (1 \hat{\otimes} V)) = i d$ on $E (D)$ . On the other hand, from the split extension above, we see that $E (D) = E (A \hat{\otimes} J) \oplus E (O_{2})$ so that the restriction of $A d (1 \hat{\otimes} V)$ induces the identity on $E (A \hat{\otimes} J)$ also. □

Corollary 5.1.3. Let

E^{'} : L C A \to A b

be an

M_{2}

-stable and split exact functor and let

A

be a weakly

J

-stable algebra with respect to the functor

E^{'}

, for a fixed harmonic Banach ideal

J

. Under these circumstances, the functor

E = E^{'} (? \hat{\otimes} A)

is diffotopy invariant.

Proof. This follows now from 4.2.1 . □

5.2 Algebraic $K$ -theory

We continue by applying Corollary 5.1.3 to the algebraic

K

-theory functor

K_{0}

and identify algebraic

K

-theory of stable algebras with a suitable group of homotopy classes of maps.

Consider the algebra

Q C = C * C

and denote by

e, \bar{e}

the two generators

e = ι_{1} (1), \bar{e} = ι_{2} (1)

. The argument in [8] , 3.1, shows that

E (Q C \hat{\otimes} A) \sim = E (A) \oplus E (A)

and that

E (q C \hat{\otimes} A) \sim = E (A)

for each

M_{2}

-stable and diffotopy invariant functor

E

. With the classical description of

K_{0}

in [1] , the generator of

K_{0} (q C \hat{\otimes} J)

is given by the difference of equivalence classes of the idempotent elements

p

and

\bar{p}

M_{2} ((q C \hat{\otimes} J)^{+})

p = W (\begin{matrix} {\bar{e}}^{⊥} & 0 \\ 0 & e \end{matrix}) W^{- 1} where W = (\begin{matrix} {\bar{e}}^{⊥} & \bar{e} \\ - \bar{e} & {\bar{e}}^{⊥} \end{matrix})

and,

\bar{p} = (\begin{matrix} 1 & 0 \\ 0 & 0 \end{matrix}) .

Note that

p - \bar{p} \in M_{2} (q C \hat{\otimes} J)

and that therefore

[p] - [\bar{p}] \in K_{0} (q C \hat{\otimes} J)

Proposition 5.2.1. For each locally convex algebra

A

, one has natural isomorphisms

K_{0} (A \hat{\otimes} J) \sim = 〈 q C, A \hat{\otimes} J \hat{\otimes} M_{\infty} 〉 \sim = {lim}_{⟶_{n}} 〈 q C, A \hat{\otimes} J \hat{\otimes} M_{n} 〉 .

Proof. First of all, note that the righthand side is an abelian semigroup by block sum. The second isomorphism follows from the fact that

q C

is finitely generated and from properties of the fine topology on

M_{\infty}

We construct a map

φ : 〈 q C, A \hat{\otimes} J \hat{\otimes} M_{\infty} 〉 \to K_{0} (A \hat{\otimes} J) .

It sends a diffotopy class

〈 h 〉 \in 〈 q C, A \hat{\otimes} J \hat{\otimes} M_{\infty} 〉

to the difference of equivalence classes of projections

[h (p)] - [h (\bar{p})]

K_{0} ((A \hat{\otimes} J)^{+})

. The difference lies in the direct summand

K_{0} (A \hat{\otimes} J)

The map is well-defined by the preceding corollary.

This map is surjective since all generators of

K_{0}^{a l g} (A \hat{\otimes} J)

and their negatives are hit and since the map is clearly a map of abelian semigroups. In order to prove injectivity we use Lemma

7.1

in [9] which we reprove for sake of completeness.

Lemma 5.2.2. Let

φ : q C \to M_{2} (q C)

be the restriction of the homomorphism

Q C \to M_{2} ((Q C)^{+})

, which sends

e

p

and

\bar{e}

\bar{p}

. Then

φ

is diffotopic to the inclusion map

ι : q C \to M_{2} (q C)

Proof. Let

γ_{t} : q C \to M_{2} (q C), t \in [0, π / 2]

be the restriction of the homomorphism

γ_{t}^{'} : Q C \to M_{2} ((Q C)^{+})

which is defined by

\begin{matrix} γ_{t}^{'} (e) = W_{t} (\begin{matrix} {\bar{e}}^{⊥} & 0 \\ 0 & e \end{matrix}) W_{- t} \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} γ_{t}^{'} (\bar{e}) = W_{t} (\begin{matrix} {\bar{e}}^{⊥} & 0 \\ 0 & \bar{e} \end{matrix}) W_{- t} \end{matrix}

where

W_{t} = (\begin{matrix} {\bar{e}}^{⊥} & 0 \\ 0 & {\bar{e}}^{⊥} \end{matrix}) + (\begin{matrix} \bar{e} cos t & \bar{e} sin t \\ - \bar{e} sin t & \bar{e} cos t \end{matrix})

For each

t

the difference

γ_{t}^{'} (e) - γ_{t}^{'} (\bar{e})

lies in the ideal

M_{2} (q C)

. Therefore

γ_{t}

defines a diffotopy, which connects

φ

with

ι

. □

To prove injectivity we now use Lemma 5.2.2 . Assume that

η_{1}, η_{2} : q C \to A \hat{\otimes} J \hat{\otimes} M_{n}

are homomorphisms, such that

[η_{1}^{'} (p)] = [η_{2}^{'} (p)]

K_{0} (A \hat{\otimes} J)

(where

η_{i}^{'}

denotes the induced map

M_{2} (q C^{+}) \to (A \hat{\otimes} J)^{+} \hat{\otimes} M_{2 n}

This means that the there exists a projector

q \in (A \hat{\otimes} J)^{+} \hat{\otimes} M_{k}

and an invertible element

u \in (A \hat{\otimes} J)^{+} \hat{\otimes} M_{2 n + k}

such that

u (η_{1}^{'} (p) \oplus q) u^{- 1} = η_{2}^{'} (p) \oplus q

. This element

u

can even be chosen to be connected to

1

by a differentiable family

u_{t}, t \in [1, 2]

, such that

1 - u_{t} \in A \hat{\otimes} J \hat{\otimes} M_{2 n + k}

for all

t

Consider the homomorphisms

ζ_{1}, ζ_{2} : q C \to A \hat{\otimes} J \hat{\otimes} M_{2 n + k}

defined as restrictions of the maps from

Q C

that map

e

η_{1}^{'} (p) \oplus q

and

η_{2}^{'} (p) \oplus q

, respectively, and

\bar{e}

\bar{p} \oplus q

. Note that

ζ_{i} = M_{2} (η_{i}) \circ φ

According to Lemma 5.2.2 ,

ζ_{1} = M_{2} (η_{1}) \circ φ

is diffotopic to

η_{1} = M_{2} (η_{1}) \circ ι

and similarly

ζ_{2}

is diffotopic to

η_{2}

. On the other hand, the family

ζ_{t}

t \in [1, 2]

, of homomorphisms

q C \to A \hat{\otimes} J \hat{\otimes} M_{2 n + k}

, obtained as restrictions of the maps from

Q C

, which map

e

u_{t} (η_{1}^{'} (p) \oplus q) {u_{t}}^{- 1}

and

\bar{e}

η_{1}^{'} (\bar{p}) \oplus q

, defines a diffotopy connecting

ζ_{1}

ζ_{2}

. □

6 Determination of $k k^{J} (C, A)$

6.1 Bivariant $k k$ -theory revisited

We now finally have to use the explicit definition of

k k^{a l g}

. To this end we recall some constructions and notation from [10] .

Let

V

be a complete locally convex space. Consider the algebraic tensor algebra

T_{a l g} V = V \oplus V \otimes V \oplus V^{\otimes^{3}} \oplus . . .

with the usual product given by concatenation of tensors. There is a canonical linear map

σ : V \to T_{a l g} V

mapping

V

into the first direct summand. We equip

T_{a l g} V

with the locally convex topology given by the family of all seminorms of the form

α \circ φ

, where

φ

is any homomorphism from

T_{a l g} V

into a locally convex algebra

B

such that

φ \circ σ

is continuous on

V

, and

α

is a continuous seminorm on

B

. We further denote by

T V

the completion of

T_{a l g} V

with respect to this locally convex structure.

For any locally convex algebra

A

we have the natural extension

\begin{matrix} 0 \to J A \to T A \overset{π}{\to} A \to 0 . \end{matrix}

(3)

Here

π

maps a tensor

x_{1} \otimes x_{2} \otimes \dots \otimes x_{n}

x_{1} x_{2} \dots x_{n} \in A

and

J A

is defined as Ker

π

. This extension is (uni)versal in the sense that, given any extension

0 \to I \to E \to B \to 0

of a locally convex algebra

B

, admitting a continuous linear splitting, and any continuous homomorphism

α : A \to B

, there is a morphism of extensions

\begin{matrix} \begin{matrix} 0 & \to & J A & \to & T A & \to & A & \to & 0 \\ ↓ γ & ↓ τ & ↓ α \\ 0 & \to & I & \to & E & \to & B & \to & 0 \end{matrix} \end{matrix}

(4)

The map

τ : T A \to E

is obtained by choosing a continuous linear splitting

s : B \to E

in the given extension and mapping

x_{1} \otimes x_{2} \otimes \dots \otimes x_{n}

s^{'} (x_{1}) s^{'} (x_{2}) \dots s^{'} (x_{n}) \in E

, where

s^{'} : = s \circ α

. Then

γ

is the restriction of

τ

Choosing

0 \to J B \to T B \to B \to 0

in place of the second extension

0 \to I \to E \to B \to 0

, we see that

A \to J A

is a functor, i.e. any homomorphism

α : A \to B

induces a homomorphism

J (α) : J A \to J B

Using the universal property of

T A

, one can associate a classifying map with any linearly split extension of locally convex algebras of the form

0 \to I \to E_{1} \to E_{2} \to \dots \to E_{n} \to A \to 0

We consider such an extension as a complex, denoting the arrows (boundary maps) by

π_{i}

and we say that it is linearly split if there is a continuous linear map

s

of degree -1 such that

s π + π s = i d

. Every such splitting

s

induces a commutative diagram of the form

\begin{matrix} 0 & \to & I & \to & E_{1} & \to & E_{2} & \to & . . . & \to & E_{n} & \to & A & \to & 0 \end{matrix}

\begin{matrix} ↑ & ↑ & ↑ & . . . & ↑ & ↑ \end{matrix}

\begin{matrix} 0 & \to & J^{n} A & \to & T (J^{n - 1} A) & \to & T (J^{n - 2} A) & \to & . . . & \to & T A & \to & A & \to & 0 \end{matrix}

The leftmost vertical arrow in this diagram is the classifying map for this

n

-step extension. It depends on

s

only up to diffotopy.

Recall then from [10] the following definitions.

Definition 6.1.1. Let

A

and

B

be locally convex algebras. For any continuous homomorphism

φ : A \to B

, we denote by

〈 φ 〉

the equivalence class of

φ

with respect to diffotopy and we set

〈 A, B 〉 = {〈 φ 〉 | φ is a continuous homomorphism A \to B}

Given

n \in Z

we set

k k_{n}^{a l g} (A, B) = {lim}_{⟶_{k}} 〈 J^{k - n} A, Σ^{k} B \hat{\otimes} K 〉

where the inductive limit is with respect to the natural maps

〈 J^{k} A, K \hat{\otimes} B (0, 1)^{k} 〉 \to 〈 J^{k + 1} A, K \hat{\otimes} B (0, 1)^{k + 1} 〉

mapping the diffotopy class of

α

to the diffotopy class of

α^{'}

, where

α^{'}

is defined by the commutative diagram

\begin{matrix} 0 & \to & J^{k + 1} A & \to & T J^{k} A & \to & J^{k} A & \to & 0 \end{matrix}

\begin{matrix} ↓ α^{'} & ↓ τ & ↓ α \end{matrix}

\begin{matrix} 0 & \to & B^{'} (0, 1)^{k + 1} & \to & B^{'} (0, 1)^{k} [0, 1) & \to & B^{'} (0, 1)^{k} & \to & 0 \end{matrix}

where

B^{'} = K \hat{\otimes} B

Thus, by definition of

k k^{J}

, we have

k k_{n}^{a l g} (A, B) = {lim}_{⟶_{k}} 〈 J^{k - n} A, Σ^{k} B \hat{\otimes} J \hat{\otimes} K 〉

In the sequel we will also use stabilization by the finite matrix algebras

M_{n}

Proposition 6.1.2. The natural maps, induced by the inclusion

M_{n} \to K

〈 J^{k} A, Σ^{k} B \hat{\otimes} J \hat{\otimes} M_{n} 〉 \to 〈 J^{k} A, Σ^{k} B \hat{\otimes} J \hat{\otimes} K 〉

define an isomorphism

α

of abelian groups:

{lim}_{⟶_{k}} {lim}_{⟶_{n}} 〈 J^{k} A, Σ^{k} B \hat{\otimes} J \hat{\otimes} M_{n} 〉 \sim = k k_{0}^{J} (A, B) .

Proof. Let $V$ be an isometry in $ℬ (H)$ and $j_{n} : J \to M_{n} (J)$ the inclusion map (into the upper left corner). A standard argument shows that $j \circ A d V : J \to J \otimes M_{n}$ is diffotopic to $j$ .
Denote by $θ : J \hat{\otimes} J \to J$ the natural tensor product of operators and by $φ : K \to J$ the natural inclusion. We claim that the inverse $β$ to the map $α$ above is induced by $j_{n} \circ θ \circ (i d_{J} \otimes φ) : J \hat{\otimes} K \to J \otimes M_{n}$ The identity $β \circ α = 1$ follows from the fact that the composition $J \sim = J \otimes M_{n} \to J \hat{\otimes} K \overset{i d_{J} \hat{\otimes} φ}{⟶} J \hat{\otimes} J \overset{θ}{\to} J$ is of the form $A d V$ as above.
To show that $α \circ β = 1$ , consider the inclusions $ι_{l}, ι_{r} : K \to ℋ \hat{\otimes} K$ into the left, resp. right, factor using the standard rank 1 projector onto the first basis vector in $H$ . By [10] , 2.2.1, $ι_{l}$ and $ι_{r}$ are diffotopic and in fact both diffotopic to the natural isomorphism $K \to K \hat{\otimes} K$ .
We want to show that the composition of the following maps $J \hat{\otimes} K \overset{i d_{J} \hat{\otimes} φ}{⟶} J \hat{\otimes} J \overset{θ}{\to} J \to J \hat{\otimes} K$ is diffotopic to the identity. This composition can also be factored as follows $J \hat{\otimes} K \overset{i d_{J} \hat{\otimes} ι_{l}}{⟶} J \hat{\otimes} K \hat{\otimes} K \overset{i d_{J} \hat{\otimes} φ \hat{\otimes} i d_{K}}{⟶} J \hat{\otimes} J \hat{\otimes} K \overset{θ \hat{\otimes} i d_{K}}{\to} J \hat{\otimes} K .$ Replacing in this composition $ι_{l}$ by the diffotopic map $ι_{r}$ we again obtain a map of $J \hat{\otimes} K \to J \hat{\otimes} K$ of the form $A d V \otimes i d_{K}$ which is diffotopic to id (using the fact that $j_{2} : K \to K \otimes M_{2}$ is diffotopic to the natural isomorphism $K \sim = K \otimes M_{2}$ ). □

6.2 Main theorem

Our main result in this section is the following computation. Its proof requires some preparation and is given in section 6.3 .

Theorem 6.2.1. For every locally convex algebra

A

and for every harmonic Banach ideal

J

one has

k k_{0}^{J} (C, A) = K_{0} (A \hat{\otimes} J)

Remark 6.2.2. In particular this shows that

K_{0} (A \hat{\otimes} ℒ_{p})

does not depend on

p

for

1 < p < \infty

(see also [14] , 4.1).

Corollary 6.2.3. Let

J

be a harmonic Banach ideal. The coefficient ring

k k_{*}^{J} (C, C)

is isomorphic to

Z [u, u^{- 1}]

Proof. By properties of $k k^{a l g}$ we are reduced to a computation of $k k_{0}^{J} (C, C)$ and $k k_{0}^{J} (C, Σ)$ . By Theorem 6.2.1 these groups are isomorphic to the algebraic $K$ -groups $K_{0} (J)$ and $K_{0} (Σ J)$ . Both algebras appearing are smooth sub-algebras of $C^{*}$ -algebras whose $K$ -theory is well-known, i.e.
$K_{0} (J) = K_{0} (ℒ_{\infty}) = Z$ and $K_{0} (Σ J) = K_{0} (C_{0} (R, ℒ_{\infty})) = 0 .$ This finishes the proof of the corollary. □

Corollary 6.2.4. Let

W

be the Weyl algebra, i.e the unital algebra with two generators

x

and

y

satisfying the relation

x y - y x = 1

(with the fine topology). Then for every harmonic Banach ideal

J

we have

k k_{0}^{J} (C, W) = Z

and

k k_{1}^{J} (C, W) = 0

Proof. This follows from the result in [10] , 12.4 in combination with 6.2.3 above. □

Similarly, the

J

-stable

K

-theory of many other algebras can now be computed as an abelian group rather than just as a module over the coefficient ring.

In order to organize the notation in the following computations, we introduce a category

H_{J}

. The objects are locally convex algebras and the morphisms between two locally convex algebras are given by

[A, B] = {lim}_{⟶_{n}} 〈 A, B \hat{\otimes} J \hat{\otimes} M_{n} 〉 .

Given two diffotopy classes of continuous homomorphisms

φ : A \to B \hat{\otimes} J \hat{\otimes} M_{n}

and

ψ : B \to C \hat{\otimes} J \hat{\otimes} M_{m}

, their composition in

H_{J}

is defined to be the diffotopy class of

A \overset{φ}{\to} B \hat{\otimes} J \hat{\otimes} M_{n} \overset{ψ \hat{\otimes} i d}{⟶} B \hat{\otimes} J \hat{\otimes} M_{n} \hat{\otimes} J \hat{\otimes} M_{m} \overset{i d \hat{\otimes} θ}{⟶} C \hat{\otimes} J \hat{\otimes} M_{n m} .

It is clear that composition is associative at the level of diffotopy classes. Moreover, note that endo-functors like

J (?)

and

Σ \hat{\otimes} ?

descend to endo-functors on

H_{J}

, since, for example, there is a natural map

J (A \hat{\otimes} J \hat{\otimes} M_{n}) \to J (A) \hat{\otimes} J \hat{\otimes} M_{n}

In particular, using the new notation, we have

k k_{i}^{J} (A, B) = {lim}_{⟶_{k}} [J^{k - i} A, Σ^{k} B]

by proposition 6.1.2 and

K_{0} (A \hat{\otimes} J) = [q C, A]

by proposition 5.2.1 .

Proposition 6.2.5. For all locally convex algebras

A

and

B

one has

k k_{i}^{J} (A, B) = {lim}_{⟶_{k}} [J^{2 k - i} A, B]

This identity was noted in [10] , remark 8.4. In order to give an explicit proof, we have to introduce some notation. Throughout, we are working in the category

H_{J}

Denote by

ρ_{A} : J A \to Σ A

the classifying map of the cone extension of

A

. Denote by

ɛ_{A}^{'} : J Σ A \to A

the classifying map of the Toeplitz extension tensored with

A

. We define

ɛ_{A} = ɛ_{A}^{'} \circ J (ρ_{A}) : J^{2} A \to A

. (The map

ɛ_{A}

has the important interpretation as the classifying map for the

2

-step extension given by the Yoneda product of the Toeplitz extension and the cone extension.) Furthermore, note that

J^{2} (ɛ_{A}) = ɛ_{J^{2} (A)}

by Korollar 3.1.1 in [9] , or by Lemma 4.6 in [10] , for all algebras

A

. For

φ : A \to B

, we also have the identity

φ \circ ɛ_{A} = ɛ_{B} \circ J^{2} (φ) .

We define inductively

{ɛ^{'}}_{A}^{n} : J^{n} Σ^{n} A \to A

by setting

{ɛ^{'}}_{A}^{n} = {ɛ^{'}}_{A}^{n - 1} \circ J^{n - 1} (ɛ_{Σ^{n - 1} A}^{'})

and

ρ_{A}^{n} : J^{n} A \to Σ^{n} A

by setting

ρ_{A}^{n} = ρ_{Σ^{n - 1} A} \circ J (ρ_{A}^{n - 1})

. We also define

ɛ_{A}^{n} : J^{2 n} A \to A

by setting

ɛ_{A}^{n} = ɛ_{A}^{n - 1} \circ ɛ_{J^{2 n - 2} A}

. Note that, in the definition of

ɛ_{A}^{n}

, all other choices lead to the same definition of

ɛ_{A}^{n}

, since

J^{2} (ɛ_{A}) = ɛ_{J^{2} A}

. Note that

{ɛ^{'}}_{A}^{n} \circ J^{n} (ρ_{A}^{n}) = ɛ_{A}^{n} : J^{2 n} A \to A

, as the following induction argument shows.

\begin{matrix} {ɛ^{'}}_{A}^{n} \circ J^{n} (ρ_{A}^{n}) & = & {ɛ^{'}}_{A}^{n - 1} \circ J^{n - 1} (ɛ_{Σ^{n - 1} A}^{'}) \circ J^{n} (ρ_{Σ^{n - 1} A} \circ J (ρ_{A}^{n - 1})) \end{matrix}

\begin{matrix} = & {ɛ^{'}}_{A}^{n - 1} \circ J^{n - 1} (ɛ_{Σ^{n - 1} A}^{'} \circ J (ρ_{Σ^{n - 1} A}) \circ J^{2} (ρ_{A}^{n - 1})) \end{matrix}

\begin{matrix} = & {ɛ^{'}}_{A}^{n - 1} \circ J^{n - 1} (ɛ_{Σ^{n - 1} A} \circ J^{2} (ρ_{A}^{n - 1})) \end{matrix}

\begin{matrix} = & {ɛ^{'}}_{A}^{n - 1} \circ J^{n - 1} (ρ_{A}^{n - 1} \circ ɛ_{J^{n - 1} A}) \end{matrix}

\begin{matrix} = & {ɛ^{'}}_{A}^{n - 1} \circ J^{n - 1} (ρ_{A}^{n - 1}) \circ ɛ_{J^{2 n - 2} A} \end{matrix}

\begin{matrix}  \end{matrix}

With this notation, the abelian group

k k^{J} (A, B)

is defined as the direct limit of a system of abelian groups

[J^{n} A, Σ^{n} B]

via a stabilization map

[J^{n} A, Σ^{n} B] ∋ ψ \mapsto ρ_{Σ^{n} B} \circ J (ψ) \in [J^{n + 1}, Σ^{n + 1} B] .

The

k

-th stabilization map is given by

[J^{n} A, Σ^{n} B] ∋ φ \mapsto ρ_{Σ^{n} B}^{k} \circ J^{k} (φ) \in [J^{n + k} A, Σ^{n + k} B],

which, again, follows from an easy induction argument.

The right hand side is defined as the direct limit of abelian semi-groups

[J^{2 n} A, B]

via the stabilization map

[J^{2 n} A, B] \in ψ \mapsto ɛ_{B} \circ J^{2} (ψ) = ψ \circ ɛ_{J^{2 n} A} \in [J^{2 n + 2} A, B] .

Proof. First of all, we define a map

[J^{n} A, Σ^{n} B] \to [J^{2 n} A, B]

φ \mapsto {ɛ^{'}}_{B}^{n} \circ J^{n} (φ) \in [J^{2 n}, B] .

This assignment induces a map of directed systems since it is compatible with the stabilization maps. Indeed,

ρ_{Σ^{n} B} \circ J (φ)

is mapped to

{ɛ^{'}}_{B}^{n + 1} \circ J^{n + 1} (ρ_{Σ^{n} B} \circ J (φ))

and the following computation shows that this is the desired result.

\begin{matrix} {ɛ^{'}}_{B}^{n + 1} \circ J^{n + 1} (ρ_{Σ^{n} B} \circ J (φ)) & = & {ɛ^{'}}_{B}^{n} \circ J^{n} (ɛ_{Σ^{n} B}^{'}) \circ J^{n} (J (ρ_{Σ^{n} B} \circ J^{2} (φ))) \end{matrix}

\begin{matrix} = & {ɛ^{'}}_{B}^{n} \circ J^{n} (ɛ_{Σ^{n} B}^{'} \circ J (ρ_{Σ^{n} B}) \circ J^{2} (φ)) \end{matrix}

\begin{matrix} = & {ɛ^{'}}_{B}^{n} \circ J^{n} (ɛ_{Σ^{n} B} \circ J^{2} (φ)) \end{matrix}

\begin{matrix} = & {ɛ^{'}}_{B}^{n} \circ J^{n} (φ \circ ɛ_{J^{n} A}) \end{matrix}

\begin{matrix} = & {ɛ^{'}}_{B}^{n} \circ J^{n} (φ) \circ ɛ_{J^{2 n} A} \end{matrix}

\begin{matrix}  \end{matrix}

This implies that there is a well-defined map

σ_{A, B} : {lim}_{⟶_{k}} [J^{k} A, Σ^{k} B] \to {lim}_{⟶_{k}} [J^{2 k} A, B] .

Consider a class

[φ] \in {lim}_{⟶_{k}} [J^{k} A, Σ^{k} B]

which is represented by a homomorphism

φ : J^{n} A \to Σ^{n} B

. If the composition

{ɛ^{'}}_{B}^{n} \circ J^{n} (φ) \circ ɛ_{J^{2 n} A}^{m} : J^{2 m + 2 n} A \to B

is homotopic to zero for some

m \in N

, then also

[{ɛ^{'}}_{B}^{n}] \circ [J^{n} (φ)] \circ [ɛ_{J^{2 n} A}^{m}] = 0

as element in

{lim}_{⟶_{k}} [J^{k} J^{2 m + 2 n} A, Σ^{k} B] .

Note that, for any

A

and

B

, the functor

J

maps

{lim}_{⟶_{k}} [J^{k} A, Σ^{k} B]

isomorphically onto

{lim}_{⟶_{k}} [J^{k} J A, Σ^{k} J B]

. Furthermore,

[ɛ_{A}^{'}]

and

[ɛ_{A}]

are invertible for all

A

. This together implies that

[φ] = 0

as a class in

{lim}_{⟶_{k}} [J^{k + n} A, Σ^{k + n} B]

and hence that

σ_{A, B}

is injective.

We still have to show that

σ_{A, B}

is surjective. Consider a class

[φ] \in {lim}_{⟶_{k}} [J^{2 k} A, B]

which is represented by a homomorphism

φ : J^{2 n} A \to B

. The element

φ

gives rise to a class in

{lim}_{⟶_{k}} [J^{k} J^{2 n} A, Σ^{k} B]

. The natural map

{lim}_{⟶_{k}} [J^{k} A, Σ^{k} B] \to {lim}_{⟶_{k}} [J^{k} J^{2 n} A, Σ^{k} B]

which is induced by the assignment

[J^{k} A, Σ^{k} B] ∋ ψ \mapsto ψ \circ J^{k} (ɛ_{A}^{n}) \in [J^{k} J^{2 n} A, Σ^{k} B]

is an isomorphism. I.e. there is some

k \in N

and

η : J^{k} A \to Σ^{k} B

such that

η \circ J^{k} (ɛ_{A}^{n}) = ρ_{B}^{k} \circ J^{k} (φ) .

We claim that

[η] \in {lim}_{⟶_{k}} [J^{k} A, Σ^{k} B]

does the job. Indeed, it is mapped to

{ɛ^{'}}_{B}^{k} \circ J^{k} (η) : J^{2 k} A \to B .

Stabilizing yields

\begin{matrix} {ɛ^{'}}_{B}^{k} \circ J^{k} (η) \circ ɛ_{J^{2 k} A}^{n} & = & {ɛ^{'}}_{B}^{k} \circ J^{k} (η) \circ J^{2 k} (ɛ_{A}^{n}) \end{matrix}

\begin{matrix} = & {ɛ^{'}}_{B}^{k} \circ J^{k} (ρ_{B}^{k}) \circ J^{2 k} (φ) \end{matrix}

\begin{matrix} = & ɛ_{B}^{k} \circ J^{2 k} (φ) \end{matrix}

\begin{matrix} = & φ \circ ɛ_{J^{2 k} A}^{k} . \end{matrix}

\begin{matrix}  \end{matrix}

This shows the surjectivity of

σ_{A, B}

. It is another easy check to show, that the assignment is compatible with the several composition products. □

6.3 Proof of the main theorem

We now proceed by proving Theorem 6.2.1 . By proposition 5.2.1 it suffices to shows that there is a natural isomorphism

[q C, A] \sim = {lim}_{⟶_{k}} [J^{2 k} C, A] .

The existence of a natural map will become apparent in the sequel of the proof.

Proof. There is a natural map

α_{1} : J^{2} (C) \to q C

given as the classifying map of a

2

-step extension which comes as the Yoneda-product of the Toeplitz extension and a canonical extension

0 \to Σ q C \to E \to C \to 0,

where

E = {f : [0, 1] \to Q C | f (0) \in C * 0, f (1) \in 0 * C, f (0) - f (t) \in q C, \forall t \in [0, 1]} .

Denote by

δ : q C \to C

the restriction of

i d * 0 : C * C \to C

. It follows from the definition of

ɛ_{C} : J^{2} (C) \to C

that

δ \circ α_{1} = ɛ_{C}

We define natural maps

α_{n} = α_{1} \circ ɛ_{J^{2} C}^{n - 1} \in [J^{2 n} C, q C]

Since

A \mapsto K_{0} (A \otimes J)

is a half-exact and diffotopy invariant functor by Theorem 4.2.1 , we conclude by Lemma 4.1.5 that there are natural isomorphisms

K_{0} (J^{2 n} C \hat{\otimes} J) \sim = K_{0} (Σ^{2 n} J)

. However, the righthand side of the last equation is isomorphic to

K_{0} (C_{0} (R^{2 n})) = Z

and contains a canonical generator. Denote the canonical generators of

K_{0} (J^{2 n} C \hat{\otimes} J)

β_{m} \in [q C, J^{2 n} (C)]

. The following identities are immediate, once we have the alternative description of

K_{0} (? \hat{\otimes} J)

, given in proposition 5.2.1 .

\begin{matrix} α_{n} \circ β_{n} & = & i d_{q C} \end{matrix}

\begin{matrix} ɛ_{J^{n - k} C}^{k} \circ β_{n} & = & β_{n - k} \end{matrix}

\begin{matrix} ɛ_{C}^{n} \circ β_{n} & = & δ \end{matrix}

It is clear from the identities above that the maps

α^{*} : l i m_{n \in N} [J^{2 n} C, A] \to [q C, A]

and

β^{*} : [q C, A] \to l i m_{n \in N} [J^{2 n} C, A]

, which are induced from

α_{n}

and

β_{n}

by precomposition, are well defined. Furthermore,

β^{*} \circ α^{*}

is equal to the identity. We now show that

α^{*} \circ β^{*}

is also equal to the identity.

\begin{matrix} β_{n} \circ α_{n} \circ ɛ_{J^{2 n} C}^{n} & = & ɛ_{J^{2 n} C}^{n} \circ J^{2 n} (β_{n} \circ α_{n}) \end{matrix}

\begin{matrix} = & J^{2 n} (ɛ_{C}^{n}) \circ J^{2 n} (β_{n} \circ α_{n}) \end{matrix}

\begin{matrix} = & J^{2 n} (ɛ_{C}^{n} \circ β_{n} \circ α_{n}) \end{matrix}

\begin{matrix} = & J^{2 n} (δ \circ α_{n}) \end{matrix}

\begin{matrix} = & J^{2 n} (δ \circ α_{1} \circ ɛ_{J^{2} C}^{n - 1}) \end{matrix}

\begin{matrix} = & J^{2 n} (ɛ_{C}^{n}) \end{matrix}

\begin{matrix} = & ɛ_{J^{2 n} C}^{n} \end{matrix}

□

7 Computation of $K_{1} (J)$ for harmonic Banach ideals

In this section we want to give a computation of the algebraic

K

-theory group

K_{1} (J)

for a harmonic Banach ideal

J

(see definition 2.2.2 ). The result contradicts an old result in [14] prop. 4.1. The error in the proof of proposition 4.1 in [14] was brought to our attention by Valqui and Cortin͂as. This concrete computation fits nicely with the far more general structure theorem about higher algebraic

K

-theory of locally convex algebras stabilized by harmonic Banach ideals, which was obtained by Cortin͂as in [5] using our diffotopy invariance theorem for weakly

J

-stable,

M_{2}

-stable, split-exact functors.

Let

A

be a locally convex algebra. In this section

A^{+}

denotes the unitization by

Z

rather than by

C

. A priori, this difference matters and one has to be careful not to use the complex unitization.

The abelian group

K_{1} (J)

is defined as

k e r (K_{1} (J^{+}) \to K_{1} (Z))

. Denote by

J^{2}

the (algebraic) square of

J

, i.e. the image of the algebraic tensor product

J \otimes J

under the multiplication map. We consider the map

J^{+} \to J^{+} / J^{2}

. Since

J^{+} / J^{2}

is abelian, we have a naturally defined determinant map

⋃_{n \in N} G l_{n} (J^{+} / J^{2}) \to (J^{+} / J^{2})^{\times} = Z^{\times} ⋉ J / J^{2} .

We get induced maps

d e t : K_{1} (J) \to K_{1} (J / J^{2}) \to k e r (Z^{\times} ⋉ J / J^{2} \to Z^{\times}) = J / J^{2}

(we use here the identification of the additive group

J / J^{2}

with the multiplicative group

{1 + a | a \in J / J^{2}}

We want to show that

d e t : K_{1} (J) \to J / J^{2}

is an isomorphism. Note, that it is obviously surjective, since

d e t (e^{a}) = a + J^{2}

for any

a \in J

Theorem 7.1. Let

J

be a harmonic Banach ideal. The natural determinant map yields an isomorphism

K_{1} (J) \sim = J / J^{2} .

The preceding result implies that our diffotopy result does not extend to higher algebraic

K

-theory. The first topological

K

-theory of the Schatten ideals is well-known to be zero. The proof of the preceding theorem is given after stating and proving a lemma.

Note that, every class

[z] \in K_{1} (J)

is represented by an element

z \in G l_{n} (J^{+})

which maps to the identity under the canonical evaluation onto

G l_{n} (Z)

. Using the next lemma, we are able to show injectivity of the determinant map.

Lemma 7.2.

(a) Every invertible element in $M_{n} (J)^{+}$ which maps to $1 \in Z$ is a product of exponentials of elements in $M_{n} (J)$ .
An invertible element in $M_{n} (J^{2})^{+}$ which is connected by a norm continuous path of elements, which are invertible in $M_{n} (J^{2})^{+}$ , to $1 \in M_{n} (J^{2})^{+}$ is a product of exponentials of elements in $M_{n} (J^{2})$ .
(b) Let $g \in M_{n} (J^{2})$ . The element $e^{g}$ is invertible in $M_{n} (J)^{+}$ and $[e^{g}] = 0$ in $K_{1} (J)$ .
(c) Let $g, h \in M_{n} (J)$ . We have that $[e^{g + h}] = [e^{g}] + [e^{h}]$ in $K_{1} (J)$ .
(d) Let $g \in M_{n} (J)$ . If $t r (g) \in J^{2}$ , then $[e^{g}] = 0$ in $K_{1} (J)$ .

Proof. Since M n ( J ) is isomorphic to J and ( M n J ) 2 = M n J 2 we can restrict our reasoning, for a proof of (a),(b) and (c), to the case n = 1
.
(a) If a ∈ J + is close to one, then the logarithmic series converges to an element in J . An easy calculation shows that the logarithm lies in J 2 if a ∈ ( J 2 ) + (it can be written as a product of a by an element in J + ). The assertion follows by standard arguments using compactness and the fact that the group of invertible elements in J + which map to 1 ∈ Z
is connected.
(b) The proof of this lemma follows the idea in [14] , 4.1, using a scheme going back to [15] . As in the proof of the homotopy invariance theorem we consider certain invertible elements which we want to represent by commutators. Consider $M_{2} (J)$ as acting on $H \oplus H$ and choose an isometry between the second copy of $H$ in this direct sum and $\oplus_{n \in N} H$ . Under this identification, we define $X_{1} = e^{g} \oplus e^{- g / 2} \oplus e^{- g / 2} \oplus e^{g / 4} \oplus . . .$ and $X_{2} = 1 \oplus e^{g / 2} \oplus e^{g / 2} \oplus e^{- g / 4} \oplus . . .$ (again, with $e^{\pm g / 2^{n}}$ -term appearing $2^{n}$ times) can be considered as elements in $M_{2} (J)$ , since $J$ is harmonic (compare to the proof of Theorem 4.2.1 ). Clearly $X_{1} X_{2} = e^{g} \oplus 1$ . In order to show that $[e^{g}] = 0$ , it suffices to show $[e^{g} \oplus 1] = 0$ in $K_{1} (J)$ . We want to show that $X_{1}$ and $X_{2}$ are products of commutators. This implies that $e^{g} \oplus 1$ is also a product of commutators and hence finishes the proof.
We first concentrate on $X_{1}$ . As before we construct matrices $W_{1} = e^{g / 2} \oplus e^{- g / 2} \oplus 1 \oplus e^{g / 8} . . .$ and $W_{2} = e^{g / 2} \oplus 1 \oplus e^{- g / 2} \oplus e^{g / 8} . . .$ which satisfy $W_{1} W_{2} = X_{1}$ . There is an explicit isomorphism $M_{2} (J)^{+} \sim = M_{3} (J)^{+}$ (preserving the ideal $J^{2}$ ) such that the matrix $W_{1}$ is mapped to a matrix of the form $γ \oplus γ^{- 1} \oplus 1$ . The element $h = 1 - γ$ is in $J^{2}$ (since the exponential series was already convergent in $(J^{2})^{+}$ ) and therefore decomposes into $α β$ with $α, β \in J$ . To see this assume that $h = \sum_{i \leq n} a_{i} b_{i}$ with $a_{i}$ and $b_{i}$ in $J$ . Then there are $A$ and $B$ in $M_{n} J$ such that $h \oplus 0 = A B$ . Identify then $J$ with $M_{n} (J)$ using $A d V$ for a suitable isometry $V$ .
By the proof of Vaserstein's lemma (or by direct computation), we have that $γ \oplus γ^{- 1} \oplus 1 = [(\begin{matrix} γ & 0 & 0 \\ 0 & 1 & 0 \\ - γ β & 0 & 1 \end{matrix}), (\begin{matrix} γ^{- 1} & 0 & γ^{- 1} α \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{matrix})] [(\begin{matrix} 1 & 0 & 0 \\ 0 & γ^{- 1} & - γ^{- 1} α \\ 0 & 0 & 1 \end{matrix}), (\begin{matrix} 1 & 0 & 0 \\ 0 & γ & 0 \\ 0 & γ β & 1 \end{matrix})]$ where $[\cdot, \cdot]$ denotes a multiplicative commutator. Thus, $W_{1}$ is a product of two multiplicative commutators in $M_{2} (J)^{+}$ . A similar reasoning applies to $W_{2}$ and matrices occurring in a similar decomposition of $X_{2}$ . Thus $[e^{g}] = 0$ in $K_{1} (J)$ .
(c) Since the leading terms in the series expansion of $e^{g + h} e^{- g} e^{- h} - 1$ vanish, this element can be written as a sum of four terms where each term is a product of $g^{2}, g h, h g, h^{2}$ respectively, by an element in $J^{+}$ . Therefore $e^{g + h} e^{- g} e^{- h}$ as well as its inverse lie in $(J^{2})^{+}$ . By (a) $e^{g + h} e^{- g} e^{- h}$ is a product of exponentials of elements in $(J^{2})^{+}$ . Using (b), this implies the claim.
(d) A matrix with trace in $J^{2}$ is a finite sum of

$∙$ off-diagonal matrices with one entry in $J$ ,

$∙$ matrices of the form $a \otimes e_{i i} - a \otimes e_{j j}$ with $a \in J$ and

$∙$ a matrix $a \otimes e_{11}$ with $a \in J^{2}$ .

The classes in $K_{1} (J)$ of their exponentials are zero, whence the claim by iterated application of (c). □

We now proceed with the proof of the theorem.

Proof. Let $A$ be an invertible element in $M_{n} (J^{+})$ which maps to the identity in $M_{n} (Z)$ and with determinant zero. By (a) of the preceding lemma it is of the form $e^{h_{1}} \dots e^{h_{k}}$ and $d e t A = h_{1} + \cdot \cdot \cdot + h_{k} + J^{2} = J^{2}$ . The matrix $e^{h_{1}} \oplus \dots \oplus e^{h_{n}} \in M_{n k} (J)^{+}$ has the same class in $K_{1} (J)$ and the trace of its logarithm is just a lift of its determinant $d e t A$ to $J$ and hence in $J^{2}$ . By (d) of the preceding lemma the class in $K_{1} (J)$ is zero. This shows injectivity of the determinant map. Surjectivity was obvious, hence the assertion. □

Remark 7.0.1. It is of course always true that

K_{1} (J)

maps surjectively onto

J / [J, J]

J

being a Banach ideal.

References

H.Bass, Algebraic $K$ -theory, W.A. Benjamin, New York (1968).
B.Blackadar, $K$ -theory for Operator Algebras, Springer-Verlag, Heidelberg / Berlin / New York / Tokyo (1986).
B.Blackadar and J. Cuntz, Differential Banach algebra norms and smooth subalgebras of $C^{*}$ -algebras, J. Operator Theory 26 (1991), 255-282.
A.Connes, Non-commutative Geometry, Academic Press (1994).
G.Cortin͂as, Algebraic $K$ -theory of locally convex algebras, in preparation
J.Cuntz, A class of $C^{*}$ -algebras generated by isometries, Commun. Math. Phys. 57 (1977), 173-185.
J.Cuntz, K-theory and $C^{*}$ -algebras, in ”Algebraic K-theory, Number theory, Geometry and Analysis”, Springer Lecture Notes in Math. 1046, 55-79.
J.Cuntz, A new look at KK-theory, K-theory 1 (1987), 31-52.
J.Cuntz, Bivariante $K$ -theorie für lokalkonvexe Algebren und der bivariante Chern-Connes-Charakter, Docum. Math. J. DMV 2 (1997), 139-182, http://www.mathematik.uni-bielefeld.de/documenta
J.Cuntz, Bivariant $K$ -theory and the Weyl algebra, $K$ -theory (to appear).
K.Dykema, T.Figiel, G.Weiss and M.Wodzicki, Commutator structure of operator ideals, Adv. in Mathematics 185 (2004), 1-79.
L.Frerick and S.Shkarin, Completeness of certain function spaces, preprint.
N.Higson, Algebraic $K$ -theory of stable $C^{*}$ -algebras. Adv. in Math. 67 (1988), no. 1, 140 pp.
M.Karoubi, Homologie de groupes discrets associés à des algèbres d'opérateurs, J. Operator Theory 15 (1986), no. 1, 109–161.
C.Pearcy and D.Topping, On commutators in ideals of compact operators. Michigan Math. J. 18 (1971) 247–252
J.Rosenberg, Comparison between algebraic and topological $K$ -theory for Banach algebras and $C^{*}$ -algebras, preprint.
A.Suslin and M.Wodzicki, Excision in algebraic $K$ -theory, Ann. of Math. (2) 136 (1992), no. 1, 51–122.
J.Tapia, $K$ -théorie algébrique négative et $K$ -théorie topologique de l'algèbre de Fréchet des opérateurs régularisants, Ann. Sci. Ecole Norm. Sup. (4) 30 (1997), no. 2, 241–277.
A.Thom, Connective $E$ -theory and bivariant homology, 2003, preprint
F.Treves, Topological vector spaces, distributions and kernels, Academic Press, New York, London, 1967.
M.Wodzicki, Algebraic $K$ -theory and functional analysis, in: Proceedings of the First European Congress of Mathematics, Paris, Vol. II (1992), 485-496, Progress in Mathematics vol. 120, Birkhäuser Verlag, Basel (1994).

Joachim Cuntz, Mathematisches Institut, Einsteinstr.62, 48149 Munster, Germany E-mail address : cuntz@math.uni-muenster.de URL: http://www.math.uni-muenster.de/u/cuntz/cuntz Andreas Thom, SFB 478, Hittorfstr.27, 48149 Munster, Germany E-mail address : thoman@math.uni-muenster.de URL: http://www.math.uni-muenster.de/u/thoman