\(K\)-regularity of locally convex algebras (Q504540)

In the category \textbf{ALC} of locally convex algebras over the complex field \(\mathbb C\) consider the topological algebra \(A^{\infty(I)}\) of smooth maps from the unit interval \(I\) to the topological algebra \(A\) and the evaluation maps \(\varepsilon_0, \varepsilon_1: A^{\infty(I)} \to A\); \(\varepsilon_0(f) := f(0); \varepsilon_1(f) := f(1)\). The kernel \(\mathcal J(A) =\ker \varepsilon_0\), the restriction map \(\tau_A= \varepsilon_1|_{\mathcal J(A)}: \mathcal J(A) \to A\) and the smooth homomorphism \(\delta_A: \mathcal J(A) \to \mathcal J^2(A)\) sending \(f\) to \(\delta_A(f)(s,t) = f(st)\) provide a smooth path cotriple \(\mathcal J\) and the augmented simplicial group \(\mathrm{GL}(\mathcal J^+_*(A)) = \mathrm{GL}(\mathcal J_*(A)) \to \mathrm{GL}(A)\). The smooth \(K\)-functor is defined as \(K^{sm}_n(A) := \pi_{n-2}\mathrm{GL}(\mathcal J_*(A)), \forall n \geq 3\) and \(K^{sm}_0(A) := K_0(A)\). Let \(\mathfrak F\) be the free cotriple, \(\mathfrak P\) the polynomial cotriple on the category of associative rings and \(\mathcal J\) the previous cotriple, then there are natural morphism \(\alpha,\beta,\delta\) such that \(\mathfrak F \stackrel{\alpha}{\longrightarrow} \mathfrak P \stackrel{\delta}{\longrightarrow} \mathcal J \stackrel{\beta}{\longrightarrow} \mathcal J.\) The topological \(K\)-groups are defined as \(K_n^{top}(A) := \pi_{n-2}\mathrm{GL}(\mathcal J^+_*(A)), \forall n\geq 3; K^{top}_0(A) := K_0(A)\) and the Karoubi-Villamayor \(K\)-groups are defined as \(KV_n(A):= \pi_{n-2}\mathrm{GL}(\mathfrak P^+_*(A)), \forall n\geq 1\). There are functorial homomorphisms \(K_n^{\mathrm{Swan}}(A)\cong K_n^{\mathrm{Quillen}}(A)=K_n(A) \to KV_n(A) \to K_n^{sm} \to K_n^{top}(A), \forall n\geq 1.\) Let \(\mathcal K\) be the ideal of compact operators on a infinite dimensional separable Hilbert space \(\mathcal H\), a C*-algebra \(B\) is quasi-stable if it is of the form \(A \hat\otimes \mathcal K\). Let \(M\) be a monoid, \(A[M]\) the monoid algebra of \(M\) and \(\mathbf{ALC}[M]\) - the monoid algebras over locally convex algebras \(A\). The main results of the paper under reviewing are isomorphisms: (i) \(KV_n((A \hat\otimes \mathcal K)[M]) \cong K^{sm}_n((A \hat\otimes \mathcal K)[M]) \) for any locally convex algebra \(A\) (Theorem 3.9), (ii) \(K_n((A \hat\otimes \mathcal K)[M]) \cong K^{sm}_n((A \hat\otimes \mathcal K)[M]) \) for any Fréchet algebra \(A\) with properly uniformly bounded approximate unit and not necessarily \(m\)-comvex (Theorem 3.10) and (iii) \(K_n((A \hat\otimes \mathcal K)) \cong K_n((A \hat\otimes \mathcal K)[x_1,\dots,x_m]) \) for any Fréchet algebra \(A\) with properly uniformly bounded approximate unit and not necessarily \(m\)-comvex (Theorem 3.11). These results give confirming the Karoubi's conjecture about the isomorphism of algebraic and topological \(K\)-groups and also the \(K\)-regularity property for quasi stable Fréchet algebras with uniformly bounded approximate unit.