×

On the K-theory and cyclic homology of a square-zero ideal I. (English) Zbl 0659.18013

The purpose of this paper is to establish an integral connection between the relative K-theory and cyclic homology of a square-zero ideal \(I\subset R\), R a ring with unit. We restrict attention to the case when R is a split extension of R/I by I. The outline of the paper is as follows: in Section 2, we compute a direct summand of \(HC_*(R,I)\), where \(HC_*(R,I)\) is graded in analogy to relative K-theory and fits into a long-exact sequence \[ ...\quad \to \quad HC_ n(R)\quad \to \quad HC_ n(R/I)\to^{\partial}HC_{n-1}(R,I)\quad \to \quad HC_ n(R)\quad \to \quad...\quad. \] In Section 3, we construct double- brackets symbols (after Loday), and prove their relevant properties. In Section 4, we prove that the summand of \(HC_{n-1}(R,I)\) generated by these symbols splits off of \(K_ n(R,I)\) after inverting n. By severely restricting the quotient rings R/I under consideration, we get some information on the remaining piece of \(K_ n(R,I)\). We also give an application to the stable K-groups \(K^ m_*(R,A)\) of Hatcher, Igusa and Waldhausen. It is a theorem of Goodwillie’s that rationally there is an isomorphism \(K_*(R_.,I_.)\otimes Q\to^{\cong}HC_{*- 1}(R_*I_*)\otimes Q\) when \(I_.\subset R_.\) is a nilpotent ideal (generalizing earlier results of Burghelea and Staffeldt). Therefore the splitting mentioned is only of interest when taken integrally.

MSC:

18G99 Homological algebra in category theory, derived categories and functors
18F25 Algebraic \(K\)-theory and \(L\)-theory (category-theoretic aspects)
Full Text: DOI

References:

[1] Aisbett, J.; Snaith, V., On \(K_∗(Z/n)\) and \(K_∗(F_q[t]/(t^2)\), Mem. Amer. Math. Soc., 330 (1985), to appear
[2] D. Burghelea, Cyclic homology and the algebraic \(K\); D. Burghelea, Cyclic homology and the algebraic \(K\) · Zbl 0615.55009
[3] D. Burghelea and Z. Fiedorowicz, Cyclic homology and algebraic \(K\); D. Burghelea and Z. Fiedorowicz, Cyclic homology and algebraic \(K\) · Zbl 0639.55003
[4] Connes, A., Non-commutative differential geometry, (DeRham homology and non-commutative algebra (1983), IHES), Chapter II · Zbl 0564.58002
[5] Dennis, R. K.; Igusa, K., Hochschild homology and the second obstruction for pseudoisotopy, (Lecture Notes in Mathematics, 1046 (1980), Springer: Springer Berlin), 7-58 · Zbl 0524.57020
[6] Evens, L.; Friedlander, E. M., On \(K∗(Zp^2Z)\) and related homology groups, Trans. Amer. Math. Soc., 270, 1-46 (1982) · Zbl 0492.18008
[7] Goodwillie, T., Cyclic homology, derivations and the free loop space, Topology, 24, 2, 187-216 (1985) · Zbl 0569.16021
[8] Loday, J. L., Symboles en \(K\)-théorie algébrique supérieure, C.R. Acad. Sci. Paris Sér. I Math., 292, 863-866 (1981) · Zbl 0493.18006
[9] Loday, J. L.; Quillen, D., Cyclic homology and the Lie algebra of matrices, Comment. Math. Helv., 59, 4, 565-591 (1984) · Zbl 0565.17006
[10] Maazen, H.; Stienstra, J., A presentation for \(K_2\) of split radical pairs, J. Pure Appl. Algebra, 10, 271-294 (1977) · Zbl 0393.18013
[11] Ogle, C., A map from cyclic homology into \(K\)-theory, (Thesis (1984), Brandeis) · Zbl 0776.19004
[12] R. Staffeldt, Rational algebraic \(K\); R. Staffeldt, Rational algebraic \(K\) · Zbl 0578.18008
[13] R. Staffeldt, Rational algebraic \(K\); R. Staffeldt, Rational algebraic \(K\) · Zbl 0578.18008
[14] Suslin, A., Mennicke symbols and their applications in the \(K\)-theory of fields, (Lecture Notes in Mathematics, 966 (1980), Springer: Springer Berlin), 334-356 · Zbl 0502.18004
[15] Suslin, A., On the equivalence of \(K\)-theories, Comm. Algebra, 9, 1559-1565 (1981) · Zbl 0469.18010
[16] Waldhausen, F., Algebraic \(K\)-theory of topological spaces I, (Proc. Sympos. Pure Math., 32 (1978)), 35-60, (part 1) · Zbl 0414.18010
[17] Waldhausen, F., Algebraic \(K\)-theory of topological spaces II, (Lecture Notes in Mathematics, 763 (1979), Springer: Springer Berlin), 356-394 · Zbl 0431.57004
[18] Weibel, C., \(K_2, K_3\) and nilpotents ideals, J. Pure Appl. Algebra, 18, 333-345 (1980) · Zbl 0444.13004
[19] Weibel, C., Mayer-Vietoris sequences and mod p K-theory, (Lecture Notes in Mathematics, 966 (1982), Springer: Springer Berlin) · Zbl 0499.18012
[20] C. Weibel, Module structures on the \(K\); C. Weibel, Module structures on the \(K\) · Zbl 0611.13012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.