{"entities":{"Q1842644":{"pageid":1853386,"ns":120,"title":"Item:Q1842644","lastrevid":46359630,"modified":"2025-12-24T15:29:25Z","type":"item","id":"Q1842644","labels":{"en":{"language":"en","value":"Stable \\(K\\)-theory and topological Hochschild homology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 750885"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842644$849EBA8E-BF70-4927-9BCF-4FB96B6C7E3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fa687eff7b013bfd269a04859dbea60387866a5","datavalue":{"value":{"text":"Stable \\(K\\)-theory and topological Hochschild homology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1842644$1FEBAA77-0D48-44C8-958F-F2417C881110","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4188b1f8131b79b10078d4cbd62ee64a847b37a4","datavalue":{"value":"0833.55007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842644$22C7FD4D-3EA1-4B94-99BF-58681EA88E9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfc16e4dc2d3e31e4600b40352bd533da5975517","datavalue":{"value":"10.2307/2118621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842644$CF9EBBC7-4B78-4C0A-90AB-E56B6980369C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c1ab802c3392b21e63272864559960637caefef","datavalue":{"value":{"entity-type":"item","numeric-id":436192,"id":"Q436192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842644$3B25359B-FB31-4724-BC0A-2D38C0E27976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b150b3f68c09e78dac32a2e21f9813fb561f5d67","datavalue":{"value":{"entity-type":"item","numeric-id":422837,"id":"Q422837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842644$B5C65E1A-C9EA-4E47-ACB4-F5A8EDC2ADDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842644$14DB723C-0D9C-4098-A4BD-743B40A9AE7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f47269cc05cc8bc3f8c30f2fa806cbfd4e04e799","datavalue":{"value":{"time":"+1995-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1842644$F1472281-9AC8-4C8F-897D-2BD24DF1C9CF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"59e48095d7d7f578b38b4aaa1d1e4a32cde78d59","datavalue":{"value":"Waldhausen's algebraic \\(K\\)-theory of spaces is the extension of classical algebraic \\(K\\)-theory of rings, viewed as \\(\\mathbb{Z}\\)-algebras, to rings up to coherent homotopies, viewed as algebras over \\(QS^0= \\text{codim}_n \\Omega^n S^n\\). In a similar way, topological Hochschild homology THH is the translation of Hochschild homology over the ground ring \\(\\mathbb{Z}\\) to the new ``ground ring'' \\(QS^0\\). Admitting topological spaces as inputs allows stabilization processes; stable \\(K\\)-theory \\(K^s\\) is obtained from Waldhausen \\(K\\)-theory this way.    Right from the start of this new algebra Goodwillie conjectured that stable \\(K\\)-theory agrees with topological Hochschild homology. The present paper contains an elegant proof of this conjecture in the case of simplicial rings \\(R_\\bullet\\) and simplicial \\(R_\\bullet\\)-bimodules \\(M_\\bullet\\).    For a ring \\(R\\) and an \\(R\\)-bimodule \\(M\\) let \\(K(R; M)\\) be the algebraic \\(K\\)-theory of the exact category with objects \\((P, \\alpha)\\), \\(P\\) a finitely generated projective \\(R\\)-module and \\(\\alpha: P\\to\\) \\(P\\otimes M\\) an \\(R\\)-linear map. Extend this definition to simplicial bimodules degreewise, and define \\(K(R; M; X)= K(R; M[M]/ M[*])\\) for simplicial sets \\(X\\). The authors show that \\(\\text{THH} (R; M)\\) is weakly homotopy equivalent to the underlying space of the Goodwillie derivative of \\(K(R; M; -)\\). Since \\(K^S (R, M)\\) is the Goodwillie derivative of the functor \\(X\\mapsto \\Omega K(R\\oplus M[X]/ M[*])\\) the result is obtained by comparing \\(K(R; -)\\) with \\(k(R \\oplus -)\\). Here \\(R\\oplus M\\) is the ring with multiplication \\((r, m)\\cdot (r', m')= (r\\cdot r', rm'+ mr')\\), and \\(R\\oplus M[X]/ M[*]\\) is the simplicial ring using this multiplication degreewise.    There is an alternative proof of Goodwillie's conjecture due to Schw\u00e4nzl, Staffeldt and Waldhausen. It is based on the analysis of Nil- terms in the algebraic \\(K\\)-theory of free products of rings up to homotopy and includes the general case of rings up to homotopy (to appear). Recently, the first author has also announced a proof of the general case. It consists of a reduction to the case of simplicial rings and bimodules using a line of arguments suggested by Goodwillie.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842644$4A6D23A0-3B5F-454F-BC68-D4A835DD0503","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67a883ab2549ab867df00bfed7d397d94b240960","datavalue":{"value":"55N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842644$A0237D23-4AC9-4CDD-8832-1AE21D424759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"29809340e83938f44ddde1ea70aa5ac9cf46faca","datavalue":{"value":"19D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842644$50976AD4-E65B-4FA2-BEA8-03DAA1A1F026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9caab26fda95fa74fd6e59e44f16009012de257d","datavalue":{"value":"55N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842644$22855775-506C-45CC-8E0A-449965F4CA7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b54cc920424813de40f93610f37c5b231ceecb35","datavalue":{"value":"750885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842644$E5AD9928-D328-476D-8E00-3C5E20A66314","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ced90e1e24fac4a1ecbf9feca58fbffbc2c0e51","datavalue":{"value":"simplicial bimodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842644$5849B83F-93B0-489D-B473-67A3CC7343CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89eae101b2372875aa55446ce8bd2e38d80b38f2","datavalue":{"value":"algebraic \\(K\\)-theory of spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842644$A5447DAF-DAE9-4156-B4CF-0C8C52BA6F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08bd5c33fbdb35f9d52e102d1c72dd03ecd39d8c","datavalue":{"value":"rings up to coherent homotopies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842644$481D2C3A-90EC-481F-AEB7-589D437E70B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d39862fbbbd56cd097faea39eaef5a78aba24046","datavalue":{"value":"topological Hochschild homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842644$04BC89C1-58B0-4D1F-86C6-B9C616A051E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc92c9f4e03b82c7823e0328b41ee05b9b0282d","datavalue":{"value":"stable \\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842644$94AD9728-68B5-44FF-A394-EA535E9470DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cb4e32ad09dd4c7ccf6b90b07a6a40fdb79a957","datavalue":{"value":"simplicial rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842644$F4E6DE7D-D168-486E-A81E-CC5CD7AE55FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc863dc70c58292264a74312c876a37797afb5cd","datavalue":{"value":"Goodwillie derivative","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842644$674DB00F-6F47-43D6-9FE0-60DD19DF8BAD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"37e56e01762594b88bb0c896953a034ba0518800","datavalue":{"value":{"entity-type":"item","numeric-id":276569,"id":"Q276569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842644$E7DA78E1-E8B9-4E97-8C46-D2CD42AAD27C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842644$CDE170DC-F349-441A-B7E6-9DCECFB7479D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32390cb4da88d3021d686a2713638a2865a3931e","datavalue":{"value":"https://doi.org/10.2307/2118621","type":"string"},"datatype":"url"},"type":"statement","id":"Q1842644$34BE02B4-0178-4A34-8B6E-20D2BB9BE3CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30664350b6c0b35d293fdb7125476d6db191f3cd","datavalue":{"value":"W2039713884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842644$0F0A4930-C967-49E0-AD52-D1A8D84E4882","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db67d41f6721242c0bbd87caa8bdc27f9167dc10","datavalue":{"value":{"entity-type":"item","numeric-id":4896028,"id":"Q4896028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602630579714f6bcd10f4b8e4dc6aca6e2619c0a","datavalue":{"value":{"amount":"+0.890843391418457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842644$AB117DF0-CB5D-4C23-B98B-9DF80D0352A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e9e88ca8812cab68e3401d3487e737c53301ee","datavalue":{"value":{"entity-type":"item","numeric-id":1195942,"id":"Q1195942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a02c4e3f7ef27809d92135e24085fc2a3390d127","datavalue":{"value":{"amount":"+0.8403195738792419","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842644$ADE7FA4F-6F5A-4BE1-BB9C-9569F8D235B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932cb997fa7617591747e150ef0b66c5c4b1556d","datavalue":{"value":{"entity-type":"item","numeric-id":1339903,"id":"Q1339903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108bac2b4dd7d562e15a40697025a256998021e9","datavalue":{"value":{"amount":"+0.8335614800453186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842644$210F115C-BC1D-43A5-8DA6-C9108D9B0CE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1842644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1842644"}}}}}