Cyclic-type cohomology of strict inductive limits of Fréchet algebras (Q2369022)

The main result for homologies is that for \(A = \varinjlim A_m\) a locally convex inductive limit algebra of Fréchet algebras \(A_m\) such that the extension \(0 \rightarrow A_m \rightarrow A_{m+1} \rightarrow A_{m+1}/A_m \rightarrow 0\) for each \(m\) is topologically pure (that is, \(0 \rightarrow X \otimes A_m \rightarrow X \otimes A_{m+1} \rightarrow X \otimes (A_{m+1}/A_m) \rightarrow 0\) for any Fréchet algebra \(X\)), we have \(H_n(A)= \varinjlim H_n(A_m)\) (inductive limit) for any \(n \geq 0\), where \(H_n(\cdot)\) means either the continuous bar and naive Hochschild homologies, the continuous Hochschild homology, or the continuous cyclic homology. The other results for the cohomologies are that for \(A = \varinjlim A_m\), a locally convex inductive limit algebra of Fréchet algebras \(A_m\), such that the extension \(0 \rightarrow A_m \rightarrow A_{m+1} \rightarrow A_{m+1}/A_m \rightarrow 0\) for each \(m\) is topologically pure, we have that \(H^n(A)\) is an extension of \(\varprojlim H^n(A_m)\) (projective limit) by \(\varprojlim^{(1)}H^{n-1}(A_m)\) (derived functor) for any \(n \geq 1\), where \(H^n(\cdot)\) means either the continuous bar and naive Hochshild cohomologies, the continuous Hochschild cohomology, or the continuous cyclic cohomology. Note that it is known that admissible (or splitting) extensions of Banach spaces and extensions of Banach algebras with ideals containing left or right bounded approximate identities are topologically pure. Also, an extension of Banach spaces is weakly admissible (i.e., its dual extension is splitting) if and only if it is topologically pure. It seems that the proof of Proposition 3.1 in this paper is the cohomology version of that for Proposition 2.1 of \textit{Z. A. Lykova} [Proc. Edinb. Math. Soc., II. Ser. 49, No. 1, 173--199 (2006; Zbl 1105.46051)], which treats those homologies and cohomologies for projective limits of topological algebras in a similar way.