1. Introduction
Our aim is to find a wide class of locally convex algebras for which the K-regularity property holds [
1]. For this purpose first we will investigate the relationship between Karoubi-Villamayor algebraic K-theory and topological K-theory in the category of locally convex complex algebras. Then the existing comparison of Quillen algebraic K-theory and topological K-theory [
2,
3,
4,
5,
6,
7,
8] will be extended to monoid algebras over locally convex algebras. To establish these results the topological invariants introduced in [
4,
9] and called smooth K-groups will be used. It should be noted that K-theories related to smooth K-groups have been treated in [
2,
10].
More recent results on K-regularity of rings were obtained by Gubeladze [
11,
12] and by Cortinas, Haesemeyer and Weibel [
13]. For commutative
-algebras the K-regularity was established by Rosenberg [
14]. Further results about K-regularity of operator algebras were obtained for stable
-algebras [
15] and for stable profinite
-algebras [
16].
All previous results of Wodzicki, Suslin-Wodzicki, Cortinas-Thom and Cuntz in that direction were obtained exclusively for multiplicatively convex (m-convex) Frechet algebras. The novelty of our investigation consists of considering arbitrary Frechet algebras, and we don’t assume the m-convexity property. The confirmation of Karoubi Conjecture for arbitrary Frechet algebras is based on the compatibility property of smooth maps with respect to Grothendieck tensor product of locally convex algebras (Lemma 3.1). The continuous maps don’t satisfy this property even for Banach algebras. That is the reason for which topological K-groups and homotopy functors are replaced by smooth K-groups and smooth homotopy functors respectively. That gave us the possibility to apply Higson and Wodzicki-Suslin methods to extend comparison theorems for arbitrary Frechet algebras (Theorems 3.8 and 3.9).
The Frechet algebras considered in this article are not necessarily locally multiplicatively convex (m-convex). Many important examples of functional algebras occur in analysis that are not locally multiplicatively convex and are Frechet algebras with properly uniformly bounded approximate unit (for instance the Frechet algebra of all complex-valued measurable functions on the unit interval and the convolution Schwartz algebras, see Examples 1–4, [
4]).
2. Preliminaries
In this section we recall some definitions and propositions given in [
4] which will be used later.
As noted above the smooth K-theory was introduced in [
4,
9] for locally convex algebras. The same definition is valid for arbitrary real or complex topological algebras and is completely similar. Namely, let
be the topological algebra of smooth maps from the unit interval
I to the topological algebra
A. Any continuous homomorphism of topological algebras
induces a homomorphism of topological algebras
. For any topological algebra
A consider the evaluation maps at
and
Denote by
the kernel of
and by
the restriction of
on
. There is a smooth homomorphism
sending
to
. One gets the smooth path cotriple
(for locally convex algebras see [
4]) which induces the augmented simplicial group
Definition 2.1. For any topological algebra A the smooth K-functors ,
are defined as follows for ,
and for are defined by the exact sequence Definition 2.2. Let be a continuous injective algebra homomorphism for a Banach algebra B. If an approximate unit of the Frechet algebra A is the image of a bounded approximate unit of B, then it is called properly uniformly bounded approximate unit of the Frechet algebra A.
This is a substantial generalization of the notion of uniformly bounded approximate unit of m-convex Frechet algebras.
Definition 2.3. It will be said that a ring A possesses the property if for any collection there exist such that for and the left annihilators in A of c and are equal.
This definition was introduced in [
6].
Theorem 2.4. If A is a Frechet algebra with properly uniformly bounded approximate unit and not necessarily m-convex, then it possesses the -property and therefore the excision property in algebraic K-theory and the H-unitality property.
3. Smooth Karoubi Conjecture and K-regularity
Besides the aforementioned assertions given in [
4] for locally convex algebras we need the following important property of smooth maps which will be used to prove Theorems 3.6, 3.8 and 3.9:
Lemma 3.1. There is an isomorphism for any A and B locally convex algebras. Remark 3.2. (1) For m-convex locally convex algebras Lemma 3.1 is proved in [17]. The proof for the general case is due to Larry Schweitzer. (2) It should be noted that this property doesn’t hold for continuous maps and arbitrary locally convex algebras even for Banach algebras.
Theorem 3.3. Let be a full subcategory of the category of topological algebras containing with any topological algebra A the topological algebra .
Then- (1)
the functors and are isomorphic on the category if and only if is a smooth homotopy functor on ,
- (2)
the functors and are isomorphic on the category if and only if is a smooth homotopy functor on ,
where denotes Karoubi-Villamayour’s algebraic K-theory. Let M be a monoid and a monoid algebra over a locally convex algebra A. Regarding the topology on the monoid algebra over a locally convex algebra A, it can be considered as the union of the set S of finite products of copies of A indexed by finite subsets of M and partially ordered by inclusion. Then we take on the union topology induced by the topology of these finite products.
Proposition 3.4. If a ring A has the property, then the monoid algebra has also the property for any monoid M.
This proposition generalizes Lemma 16 [
15]. Therefore the polynomial algebra
,
, and the Laurent polynomial algebra
over a Frechet algebra
A with properly uniformly bounded approximate unit possess the excision property in algebraic K-theory and the H-unitality property.
In what follows the following property of smooth maps for any locally convex algebra algebra
A will be also used
Definition 3.5. A functor T from the category of locally convex algebras to the category of groups is called smooth homotopy functor if for two continuous maps of locally convex algebras for which there exists a continuous map such that one has . These f and g continuous maps are called smoothly homotopic.
In K-theory the smooth homotopy property was also investigated in [
2,
18] and [
19,
20].
Let M be a monoid and denote by the category of monoid algebras over locally convex algebras A and by the category of -algebras. Let T be an arbitrary functor T from the category to the category of abelian groups.
Theorem 3.6. If the functor is a stable and split exact functor for any locally convex algebra A,
then the functor is a smooth homotopy functor. Definition 3.7. A locally convex algebra B is called quasi-stable if it has the form for some locally convex algebra A. where is the -algebra of compact operators on the infinite dimensional Hilbert space .
Theorem 3.8. For any locally convex algebra A there is an isomorphism for all Theorem 3.8 generalizes Higson’s result [
21] on the isomorphism of Karoubi-Villamayor algebraic K-functors and topological K-functors for stable
-algebras.
Theorem 3.9. For any Frechet algebra A with properly uniformly bounded approximate unit and not necessarily m-convex there is an isomorphism for all ,
where denotes Quillen algebraic K-functor. Theorem 3.10. For any Frechet algebra A with properly uniformly bounded approximate unit one has isomorphisms for .
Theorem 3.10 is a consequence of Theorems 3.8 and 3.9.
Corollary 3.11. Let A be a Frechet algebra with properly uniformly bounded approximate unit. Then one has isomorphisms for all and Remark 3.12. Guillermo Cortinas informed me that in particular cases, namely for countable monoid M, Theorems 3.8 and 3.9 can be obtained respectively by Theorem 6.2.1 [2] and for m-convex Frechet algebra with uniformly bounded approximate unit by applying argument of Theorem 12.1.1 and Remark 12.1.4 [18].