{"entities":{"Q1688699":{"pageid":1699440,"ns":120,"title":"Item:Q1688699","lastrevid":72517695,"modified":"2026-04-14T05:27:38Z","type":"item","id":"Q1688699","labels":{"en":{"language":"en","value":"Topological Hochschild homology of \\(K/p\\) as a \\(K_p^\\wedge\\) module"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6824740"}},"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":"Q1688699$06C72D16-C9ED-4D1A-B775-0933429BE7F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"487bf14e0eaa134f17ed668a2b084be6bc5cb248","datavalue":{"value":{"text":"Topological Hochschild homology of \\(K/p\\) as a \\(K_p^\\wedge\\) module","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1688699$37705160-7AE2-4677-8507-F59D165C17D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68ce6ab5b4dd6fdadf037fd7849aa28b81e75034","datavalue":{"value":"1384.55006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688699$5D913BFA-9D6E-498A-9EF8-CFDC55FA621B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8865af5840312ac206515e5079126e325569bdf","datavalue":{"value":{"entity-type":"item","numeric-id":344797,"id":"Q344797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688699$71D6F9E2-E049-4A74-903A-7FF0869EFA72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1e22c5b89240190fc74b760088a55141cf0fb60b","datavalue":{"value":{"entity-type":"item","numeric-id":180135,"id":"Q180135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688699$529F1CB8-D24A-49FC-AD01-D21114EDFD6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"256848ce0dfd32b0c1f66d8f44fb1041feec461a","datavalue":{"value":{"time":"+2018-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1688699$C92560E5-4474-470A-A95E-E09CAB2A96CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1a2b73d5644af3e384d85fb20d4908af2a734df","datavalue":{"value":"https://arxiv.org/abs/1006.4347","type":"string"},"datatype":"url"},"type":"statement","id":"Q1688699$03B4AAD9-6338-4D85-8B03-BAF46904C85D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3491502c7826bea7ca0543ac86fa915d693c9c5","datavalue":{"value":"In order to calculate the topological Hochschild homology of \\(K/p\\), the mod \\(p\\) \\(K\\)-theory spectrum, the author uses generalized Thom spectra effectively.  Let \\(K_p^{\\wedge}\\) be the \\(p\\)-adic \\(K\\)-theory spectrum and let \\(\\zeta = 1-p : S^1 \\to BLG_1(K_p^{\\wedge})\\) denote the map chosen via the isomorphism \\(\\pi_1(BGL_1(K_p^{\\wedge}))\\cong \\pi_0(GL_1(K_p^{\\wedge}))\\cong {\\mathbb Z}_p^{\\times}\\). Then we have an extension \\(f : {\\mathbb C}P^1 \\to B^2GL_1 (K_p^{\\wedge})\\) of \\(\\Sigma(1-p)\\) along the standard maps \\(\\Sigma S^1 \\to {\\mathbb C}P^1\\) and \\(\\Sigma BGL_1 (K_p^{\\wedge}) \\to B^2GL_1 (K_p^{\\wedge})\\) to the classifying spaces. The main theorem of the paper under review asserts that for odd primes \\(p\\),  \\[  \\pi_n(THH^{K_p^{\\wedge}}(K/p, f)) = \\begin{cases} ({\\mathbb Z}/(p^\\infty))^i & \\text{if }n\\text{ is even} \\\\ 0 & \\text{if }n\\text{ is odd}. \\end{cases}  \\]  Here \\(i\\) is an integer between \\(1\\) and \\(p-1\\) which is determined by the \\(A_\\infty\\)-ring structure of \\(K/p\\simeq (S^1)^\\zeta\\) depending on the choice of \\(f\\) with \\(\\zeta \\simeq \\Omega f\\). The key to proving the theorem is to regard the topological Hochschild homology as a Thom spectrum. In fact, one has a homotopy equivalence \\(THH^{K_p^{\\wedge}}(K/p, f) \\simeq (L{\\mathbb C}P^\\infty)^{\\widehat{f}}\\), where \\(\\widehat{f}\\) is the composite \\(L{\\mathbb C}P^\\infty \\overset{Lf}{\\to} LB^2GL_1(K_p^{\\wedge}) \\simeq B^2GL_1(K_p^{\\wedge}) \\times BGL_1(K_p^{\\wedge}) \\overset{p_2}{\\to} BGL_1(K_p^{\\wedge})\\). The Thom spectrum \\((L{\\mathbb C}P^\\infty)^{\\widehat{f}}\\) fits into a pushout square of Thom spectra. Thus rewriting the Mayer-Vietoris sequence obtained by the pushout square, the author gives a long exact sequence of the form  \\[ \\cdots \\overset{}{\\longrightarrow} {K_p^{\\wedge}}_*({\\mathbb C}P^\\infty) \\overset{u-1}{\\longrightarrow} {K_p^{\\wedge}}_*({\\mathbb C}P^\\infty) \\overset{}{\\longrightarrow} \\pi_*((L{\\mathbb C}P^\\infty)^{\\widehat{f}}) \\overset{}{\\longrightarrow} {K_p^{\\wedge}}_{*-1}({\\mathbb C}P^\\infty) \\overset{}{\\longrightarrow} \\cdots. \\]  Explicit consideration of the map \\(u : \\Sigma {\\mathbb C}P^\\infty_+ \\to BGL_1(K_p^{\\wedge})\\) allows us to deduce the main theorem mentioned above.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688699$4B6D5BD5-5E8D-4D32-B3CD-2783BB8EDD92","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"402a5caca6f9aeb2071baad8bd46cdcf010e092a","datavalue":{"value":{"entity-type":"item","numeric-id":290430,"id":"Q290430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688699$5DBBF96C-BE8C-430F-B0DD-23CA97B87B20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a7efb5b93ac18dfb1f73a454b030ac0e8209f91","datavalue":{"value":"55P42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688699$754C3CAC-D183-47D4-AC14-A85C9B1643C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9caab26fda95fa74fd6e59e44f16009012de257d","datavalue":{"value":"55N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688699$5FFFB16C-F67E-4162-939D-C061F97739A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5dea9ebd548c99a0fa43e2eb827cf51c5dda5d0","datavalue":{"value":"55P43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688699$234F1777-2530-4A4A-93C6-91F6A8B051D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c9d60de60d2f640c48994efae1192e319926d26","datavalue":{"value":"6824740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688699$E6E245B3-EAB4-4AE7-A486-D6D9AF91513C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48cd26d8428fe9ff0e3597d6fa388b384ea47e5d","datavalue":{"value":"\\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688699$86108892-C1EB-4C1A-BCE8-D172C61C01A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d39862fbbbd56cd097faea39eaef5a78aba24046","datavalue":{"value":"topological Hochschild homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688699$E62A4651-2D28-45F1-B85A-899888737A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee6cee396f085b879186f9f822b3feab9ba4df8","datavalue":{"value":"Thom spectra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688699$74E9FF0B-25AF-40F8-8CC9-FE97F3EE19B6","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":"Q1688699$8224ABAE-DF83-4AC9-9777-C7B96A3BD853","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74e4be6571c24858081c7084adf3b37df6e5c9f8","datavalue":{"value":"10.4310/HHA.2017.V19.N1.A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688699$5C66DDF3-4290-4DE3-8C10-E67DF5C5C323","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1e94fb96ce6f79a8523d4a0693aa941378e37b5","datavalue":{"value":{"entity-type":"item","numeric-id":5113424,"id":"Q5113424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d8b24c7264951ca513d4a86f059eee7a585c5e2","datavalue":{"value":{"amount":"+0.8481205701828003","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":"Q1688699$041AD55B-3904-445F-A380-47D522E2167B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c2df9ffdd872e99ca68dd76f957da1631489bc","datavalue":{"value":{"entity-type":"item","numeric-id":3374159,"id":"Q3374159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d76ec6c24f59f5b6ae0beec1dc31c14f57445c6","datavalue":{"value":{"amount":"+0.8298569321632385","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":"Q1688699$74CAA723-564E-41F2-8C45-1372B1557B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd65a1057e410a7eb30cb47895252338afd7f42","datavalue":{"value":{"entity-type":"item","numeric-id":4327592,"id":"Q4327592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dce9a6e9c72a6c75aeb8fa85d5d075a55d939cd","datavalue":{"value":{"amount":"+0.8251926302909851","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":"Q1688699$B3AEFCF6-6D1D-45DF-BFD0-98569B309C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6ea8a79db6ca496b7166409a4a4dc4f48c15c48","datavalue":{"value":{"entity-type":"item","numeric-id":5286445,"id":"Q5286445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b564be68d62c6fc52448af6d76544d44575e8b1","datavalue":{"value":{"amount":"+0.8155513405799866","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":"Q1688699$2A4AF729-249C-4724-AF22-5905C566FB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c07884a36587948cb1311995507c4b4c826e9a","datavalue":{"value":{"entity-type":"item","numeric-id":2045748,"id":"Q2045748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0dd0fb436096545744d31a432a06a301fb09189","datavalue":{"value":{"amount":"+0.81484055519104","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":"Q1688699$775ABCBD-C48A-4EEF-910C-2F96AE685602","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topological Hochschild homology of \\(K/p\\) as a \\(K p^\\wedge\\) module","badges":[]}}}}}