{"entities":{"Q1414065":{"pageid":1424805,"ns":120,"title":"Item:Q1414065","lastrevid":57362763,"modified":"2026-03-30T16:28:46Z","type":"item","id":"Q1414065","labels":{"en":{"language":"en","value":"HKR theorem for smooth \\(S\\)-algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2005930"}},"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":"Q1414065$0AAD44FC-EBDF-4F0D-ADE3-297665CFD6DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"347c9a359b9444744aaa422048605a1844d2c714","datavalue":{"value":{"text":"HKR theorem for smooth \\(S\\)-algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1414065$FC327F5C-4C33-4ACB-906C-B5A001142A0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70846b22022d49d67d9d625af9c2d062539f1b02","datavalue":{"value":"1051.55005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1414065$3019F8F8-8BCA-448A-9521-1489782585D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48296f0c12dad0e75a0b66439d2bea1d88ea60a8","datavalue":{"value":"10.1016/S0022-4049(03)00089-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1414065$F14052C9-FBCE-48A9-8AD7-7987CF56018D","rank":"normal"}],"P16":[{"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":"Q1414065$D023045A-FA4C-40D3-BEC3-33AAC97FDF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d3ace5d46ba663c75abd1ca252aa3f294c2f4eb","datavalue":{"value":{"entity-type":"item","numeric-id":1414064,"id":"Q1414064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414065$7941204B-2A23-4E73-815C-88EA4F66C941","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414065$85FFCC95-D164-49ED-AF86-F29D33DBF71B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"960a65d2197ccc5a526cafb12da2c37218f9207b","datavalue":{"value":{"time":"+2003-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1414065$AB1F4A7F-6BBC-4A7B-834B-C4F78BE002AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04b5bd987feed7934c31e3a2ee07b76c6f9bc2b4","datavalue":{"value":"https://arxiv.org/abs/math/0306243","type":"string"},"datatype":"url"},"type":"statement","id":"Q1414065$74E8F87A-8032-482F-BADC-BD5DDEE542DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8872a431d57609d16e17041e67bf737e4a578bed","datavalue":{"value":"The ``HKR'' theorem of the title is an extension of the Hochschild-Kostant-Rosenberg theorem which says that, if \\(k\\) is a commutative ring, the Hochschild homology of a smooth \\(k\\)-algebra is given by the differential forms. The context of this paper is that of commutative ring spectra, or commutative \\(S\\)-algebras.  The authors give a definition of (\\textit{thh}-)\u00e9tale and smooth maps extending the usual definitions, and prove the HKR-theorem: If \\(f\\colon R\\to A\\) is a \\textit{thh}-smooth map in the category of connective commutative \\(S\\)-algebras, then the derivative map  \\[ THH(A| R)\\to \\Sigma TAQ(A| R) \\]  has a section in the category of \\(A\\)-modules which induces an equivalence of \\(A\\)-algebras  \\[ \\mathbb P_A\\Sigma\\, {TAQ}(A| R)@>\\sim>>THH(A| R) \\]  where \\(\\mathbb P_A\\) is the symmetric algebra triple.  A key result in the paper is the ``\u00e9tale descent formula'', i.e. the authors give conditions implying that the claim that a map \\(A\\to B\\) of commutative \\(R\\)-algebras is \\textit{thh}-\u00e9tale is equivalent to claiming that the map  \\[ (A\\otimes_RX)\\wedge_AB\\to B\\otimes_RX \\]  is an equivalence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1414065$2279700F-7D13-4E22-80C7-196E88F4A16F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5dea9ebd548c99a0fa43e2eb827cf51c5dda5d0","datavalue":{"value":"55P43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1414065$AD694F65-C25B-4111-8D60-C4D6B52EC9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57019a7481029b9c4fb2fc878c0e00a55dc7560","datavalue":{"value":"13D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1414065$FC42BA27-2E39-4759-87C5-B69FB4DA7F43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e736224f3e1178f5ff0c55162a5279957ca2a2e","datavalue":{"value":"2005930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1414065$AE372317-CA38-4DCB-A46C-927D47D3CDB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e80124954174ed467026821d443c8eb3113ddd77","datavalue":{"value":"Hochschild-Kostant-Rosenberg theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1414065$F2CD389F-21D2-41CD-8225-217E85A40746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39878dfebe1661847a475713aa510684531230c3","datavalue":{"value":"smooth maps of \\(S\\)-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1414065$3712C4DA-BA8B-451A-9F93-EC7ACEACEECE","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":"Q1414065$69A3E38A-8D75-410E-A9E4-E427EB7CC3A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59f65d1717197cfc08d1d3bdb75d4ae5544afbf","datavalue":{"value":{"entity-type":"item","numeric-id":1964127,"id":"Q1964127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414065$B6A9D679-B1F8-4E62-9238-5E872D8D5FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c3542442eaefde6eb483040f7dd158311309d8","datavalue":{"value":{"entity-type":"item","numeric-id":4896538,"id":"Q4896538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414065$3D4D3947-6E90-45E4-87F0-CBE086EAB40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4ee6ec554fb5440819f6e4b3b4a8d4cca5d12a","datavalue":{"value":{"entity-type":"item","numeric-id":4317713,"id":"Q4317713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414065$DF8EC513-5554-40EC-889F-41D32AAACBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0542c32e1908ac295af96bddc1e0ccd272aed27","datavalue":{"value":{"entity-type":"item","numeric-id":4716283,"id":"Q4716283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414065$2878857D-38F4-49FB-8BD6-938EF5029D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97cb55cb464a93699379b086108e6ac33d48ae0b","datavalue":{"value":{"entity-type":"item","numeric-id":1179511,"id":"Q1179511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414065$51712679-4AA1-4E31-A106-BE07B9D121F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c65d1acc6207b01fefba4bb1134934ac1b1e05","datavalue":{"value":{"entity-type":"item","numeric-id":4433116,"id":"Q4433116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414065$1FADC482-A42C-4EC0-A58A-4A5B7C08989F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fc6d0eef02220767f3493dcc12733f261af34d","datavalue":{"value":{"entity-type":"item","numeric-id":5288307,"id":"Q5288307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414065$7305E65F-F113-402C-B06A-3F5856EC701B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42914cd3f021e918474f380b5561cfd8a9fadd4c","datavalue":{"value":{"entity-type":"item","numeric-id":1591430,"id":"Q1591430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414065$22234C2B-82DD-4C83-B1E8-9E71FA6A0AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"910e7054a0bfdd96b986988643830fdb30935d80","datavalue":{"value":{"entity-type":"item","numeric-id":5653373,"id":"Q5653373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414065$AF78FD66-D1CD-41A1-BA36-9950482A1F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d51609ecbe4f02c36c88462867d118fe552f87e","datavalue":{"value":{"entity-type":"item","numeric-id":1371298,"id":"Q1371298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414065$655CA878-AF1E-4301-BD5D-E888B0ABA119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0628f28785ba231d2720e4e9d6b1eb473a31cf50","datavalue":{"value":{"entity-type":"item","numeric-id":1873734,"id":"Q1873734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414065$D54F9582-EB7B-46D2-A5D9-1F48B646890D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1833ccedb6122575301e0c8898a3eca6eefe24","datavalue":{"value":{"entity-type":"item","numeric-id":2752390,"id":"Q2752390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7367548660ad091db854378fc0a75d7989f563","datavalue":{"value":{"amount":"+0.8092249631881714","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":"Q1414065$7C3857E1-C7AA-477F-AF8F-48913660455D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ca3f04f78376c981894b5869971c29a7ed1cf0","datavalue":{"value":{"entity-type":"item","numeric-id":503814,"id":"Q503814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd0b4e8bf0e0ec3728640a093ef3ad1a6ad38a35","datavalue":{"value":{"amount":"+0.8088238835334778","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":"Q1414065$8355AEA2-6C0D-4AC9-A206-F298DC7AF282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68f4ac1b1bc0aafb6fd643b9286ee310d8d0d72","datavalue":{"value":{"entity-type":"item","numeric-id":4520477,"id":"Q4520477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7caea6e61a7317016d5f930168acd2e839e3bef","datavalue":{"value":{"amount":"+0.7680889368057251","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":"Q1414065$88A41DF0-9556-40F2-802C-ABC1EC8602FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9257685437aba033eea5092efe77a3dd18ea7166","datavalue":{"value":{"entity-type":"item","numeric-id":3993839,"id":"Q3993839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a3c8a69bb3a8abfa798d7772ca1b8ffa1c3523","datavalue":{"value":{"amount":"+0.7679129838943481","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":"Q1414065$DACF25C7-267F-444E-96A3-52D4CF5C667C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587d5d998d21b55a0e3ad9c44d7f5db5fec9bd5a","datavalue":{"value":{"entity-type":"item","numeric-id":3107324,"id":"Q3107324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead5b2922aa7a4111cb9ef72dcd7fbd56c37447b","datavalue":{"value":{"amount":"+0.7551783919334412","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":"Q1414065$178F0DD1-0C36-44AF-9394-E3A66B841089","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1414065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1414065"}}}}}