{"entities":{"Q1411283":{"pageid":1422023,"ns":120,"title":"Item:Q1411283","lastrevid":67382964,"modified":"2026-04-12T17:15:10Z","type":"item","id":"Q1411283","labels":{"en":{"language":"en","value":"On the \\(K\\)-theory of local fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1997273"}},"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":"Q1411283$72359E39-7E02-4B68-92E5-5356F6FCC98A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb50097fdc613a1d116ab31fe1442be1de9d4040","datavalue":{"value":{"text":"On the \\(K\\)-theory of local fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1411283$BCABB575-5663-4E3C-8D24-24386B21C0F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b7438607672ea198d8f8f0768b5e3f32354886e","datavalue":{"value":"1033.19002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411283$2A801F69-C9EB-4034-A0BE-D740DC369CD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbd66e08f2d99d8eb8755f26cc60b4439fdac917","datavalue":{"value":{"entity-type":"item","numeric-id":244454,"id":"Q244454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411283$91927C47-6C97-4B99-B563-D182DDB27875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cae589278757085bb23ae2e40a1348f0eff1abb7","datavalue":{"value":{"entity-type":"item","numeric-id":218941,"id":"Q218941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411283$75DE6C67-FD3D-4C91-8D05-C9FFD7A090DF","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":"Q1411283$2C0A0C46-45FD-4983-A4A1-0E2BDA91D8FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4f55d3c3a8d7c01de9d0ae690e870fdd3864763","datavalue":{"value":{"time":"+2003-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1411283$087B8C19-A4BD-48AB-837E-3B0B714B0511","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5227d5594c455b75f864927f4e31a96cabb7c814","datavalue":{"value":"https://arxiv.org/abs/math/9910186","type":"string"},"datatype":"url"},"type":"statement","id":"Q1411283$C6DC8B97-B8E3-4C22-9E03-37BEF2F8D59B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1832b9f5b2e145b86195533e9d2f6acc80b00da","datavalue":{"value":"This fascinating paper offers one of the ultimate calculations of algebraic K-theory of fields through the topological cyclic homology of \\textit{M. B\u00f6kstedt, W. C. Hsiang} and \\textit{I. Madsen} [Invent. Math. 111, 465--539 (1993; Zbl 0804.55004)], and provides interesting algebraic interpretations of the calculation.  Let \\(K\\) be a complete discrete valuation field field of characteristic zero with perfect residue field \\(k\\) of characteristic \\(p>2\\). This paper verifies the Lichtenbaum--Quillen conjecture for \\(K\\): for \\(s\\geq 1\\) and \\(v\\geq 1\\) there are natural isomorphisms  \\[ \\begin{aligned} K_{2s}(K,\\mathbb Z/p^v)&\\cong H^0(K,\\mu^{\\otimes s}_{p^v})\\oplus H^2(K,\\mu^{\\otimes (s+1)}_{p^v})\\\\ K_{2s-1}(K,\\mathbb Z/p^v)&\\cong H^1(K,\\mu^{\\otimes s}_{p^v}). \\end{aligned} \\]  When \\(k\\) is finite the Galois groups on the right can be effectively calculated, and in this case the authors also give the homotopy type of the algebraic K-theory space of \\(K\\) after \\(p\\)-completion. Away from the characteristic, the K-groups are accessible through rigidity results of Gabber and Suslin, and the calculation of Quillen of the K-theory of finite fields.  The result is obtained through trace methods. Let \\(\\mathcal C\\) be a category with cofibrations and weak equivalences in the sense of Waldhausen. The cyclotomic trace is a natural transformation from algebraic K-theory to a variant of topological cyclic homology \\(tr\\colon K(\\mathcal C)\\to TC(\\mathcal C;p)\\) which in certain situations is close to being an equivalence. For the applications in the current paper the construction of \\textit{B. I. Dundas} and \\textit{R. McCarthy} [J. Pure Appl. Algebra 109, 231--294 (1996; Zbl 0856.19004)] suffices. In particular, if \\(\\mathcal C\\) is the category \\(\\mathcal P_R\\) of finitely generated projective modules over a ring \\(R\\), this construction agrees with the original, up to the equivalence \\(TC(R) \\simeq TC(\\mathcal P_R)\\).  Let \\(A\\) be the valuation ring of \\(K\\). The localization sequence in algebraic K-theory derives in this situation from applying Waldhausen's \\(S\\)-construction to the sequence  \\[ C^b_z(\\mathcal P_A)^q\\subseteq C^b_z(\\mathcal P_A)\\to C^b_q(\\mathcal P_A) \\]  of categories with cofibrations and weak equivalences. Here \\(C^b_z(\\mathcal P_A)\\) is the category of bounded chain complexes in \\(\\mathcal P_A\\) with injections as cofibrations and chain maps inducing isomorphism in homology as weak equivalences, \\(C^b_z(\\mathcal P_A)^q\\) is the subcategory of chain complexes with torsion homology, and \\(C^b_q(\\mathcal P_A)\\) equals \\(C^b_z(\\mathcal P_A)\\) as a category, but with weak equivalences those chain maps inducing isomorphism in rational homology.  Extending techniques of Waldhausen, Thomason, McCarthy and the reviewer, the authors then show that the trace map induces a map of cofiber sequences  \\[ \\begin{tikzcd} K(C^b_z(\\mathcal P_A)^q)\\ar[r]\\ar[d,\"\\simeq\" '] & K(C^b_z(\\mathcal P_A))\\ar[r]\\ar[d,\"\\simeq\"] & K(C^b_q(\\mathcal P_A)) \\ar[d]\\\\  TC(C^b_z(\\mathcal P_A)^q;p)\\ar[r] & TC(C^b_z(\\mathcal P_A);p)\\ar[r] & TC(C^b_q(\\mathcal P_A);p)\\rlap{\\,,} \\end{tikzcd} \\]  and that the first two vertical maps can be identified with the trace maps \\(K(k)\\to TC(k;p)\\) and \\(K(A)\\to TC(A;p)\\), which by earlier work of the authors [\\textit{L. Hesselholt} and \\textit{I. Madsen}, Topology 36, 29--101 (1997; Zbl 0866.55002)] are known to induce isomorphisms of homotopy groups with \\(\\mathbb Z/p^v\\)-coefficients in non-negative degrees.  Hence the problem is reduced to analyzing \\(TC(A| K;p)=TC(C^b_q(\\mathcal P_A);p)\\), which occupies the rest of the paper. Topological Hochschild homology \\(T(-)\\) comes with an action by the circle group \\(\\mathbb T\\), and the authors let \\(\\text{TR}^{n+1}(-;p)\\) be the fixed point spectrum \\(T(-)^{C_{p^{n}}}\\) where \\(C_m\\subseteq \\mathbb T\\) is the cyclic subgroup of order \\(m\\). Topological cyclic homology is then constructed as a homotopy limit of the \\(\\text{TR}^n\\) under the ``Restriction'' and ``Frobenius'' maps.  The authors prove that \\(\\pi_*T(A| K)\\) has a ``log differential graded ring'' structure in the sense of \\textit{K. Kato} [in: Algebraic analysis, geometry, and number theory, Proc. Conf. 1988, Baltimore/MD, 191--224 (1989; Zbl 0776.14004)]. This consists partly of the obvious map \\(A\\cap K^\\times\\subseteq A\\to \\pi_0T(A| K)\\), but more interestingly of the following data. Consider the self-equivalences \\(\\text{Aut}(A)\\cong A\\cap K^\\times\\) in \\(C^b_q(\\mathcal P_A)\\) of the chain complex with only non-zero entry the rank one module \\(A\\) placed in degree \\(0\\). Then the map \\(\\Sigma^\\infty B \\text{Aut}(A)_+\\to K(C^b_q(\\mathcal P_A))\\) composed with the trace gives a map \\(d\\text{log}\\colon A\\cap K^\\times\\to \\pi_1 T(A| K)\\). These maps, together with Connes' operator \\(B\\) (coming from the cyclic action) gives the desired structure on \\(\\pi_*T(A| K)\\). Together with the abstract calculation of \\(\\pi_*T(A)\\) by \\textit{A. Lindenstrauss} and \\textit{I. Madsen} [Trans. Am. Math. Soc. 352, 2179--2204 (2000; Zbl 0949.19003)] this allows the authors to identify \\(\\pi_*T(A| K)\\) in terms of a universal log differential graded ring.  The log differential graded ring structure also lifts to \\( \\pi_*\\text{TR}^{\\bullet}(A| K)\\). Together with the Restriction, Frobenius and ``Verschiebung'' maps this qualifies \\(\\pi_*\\text{TR}^{\\bullet}(A| K)\\) as a ``log Witt complex''. The authors show that there is a universal log Witt complex which they call the deRham-Witt complex with log poles \\(W_{{\\bullet}}\\omega^*_{(A,A\\cap K^\\times)}\\) extending the results of \\textit{O. Hyodo} and \\textit{K. Kato} [in: P\u00e9riodes \\(p\\)-adiques, Ast\u00e9risque 223, 221--268 (1994; Zbl 0852.14004)] from \\(\\mathbb F_p\\)-algebras to \\(\\mathbb Z_{(p)}\\)-algebras.  The main result of the paper is that there is a canonical isomorphism  \\[ W_{{\\bullet}}\\omega^*_{(A,A\\cap K^\\times)}\\otimes S_{\\mathbb Z/p^v}(\\mu_{p^v})\\cong \\pi_*\\text{TR}^{\\bullet}(A| K;p,\\mathbb Z/p^v). \\]  The identification of \\(\\pi_*\\text{TR}^n(A| K;p)\\) follows by the usual comparison with the Tate-spectrum \\(\\text{TR}^{n}(A| K;p)\\to \\hat{\\mathbb H}(C_{p^n};T(A| K))\\). This map is an equivalence (in positive degrees) for \\(n=1\\), and hence by \\textit{S. Tsalidis} [Topology 37, 913--934 (1998; Zbl 0922.19001)] for all \\(n\\). An analysis of the spectral sequence converging to the homotopy groups of the Tate spectrum then gives the desired homotopy groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411283$6C186E28-17A1-48FF-B2AA-1EDAA9B96AA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"29809340e83938f44ddde1ea70aa5ac9cf46faca","datavalue":{"value":"19D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411283$06B0E475-4ABC-4C9A-81B9-4F646FAD48A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"687b1b43cab87bb5e56f82ef3963ecec46f1bc5c","datavalue":{"value":"11S70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411283$3DBABBFD-98A2-451A-8974-D8DA17954818","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ece6e70b61c65748880322d5dbb0def002bbae9f","datavalue":{"value":"1997273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411283$0BD30261-D3E3-433B-BC7B-2564E9F26100","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3dde463ab6934828f21c03086d53b982c48c03","datavalue":{"value":"topological cyclic homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411283$2B7C375F-E852-420B-82BF-FD48C31DCCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32980e1f5a9a408b5f6af0b12cb70e6e293f521c","datavalue":{"value":"deRham Witt complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411283$9B6BF702-5018-459E-AF1E-1BEF7167BCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e427fbcade14a6dbc0e280dd8b18664555dce02","datavalue":{"value":"K-theory of local fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411283$89FF9D3F-1252-400C-BBE8-E5FA16EB8EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56f23c58658d464346caac8cb3d65a62cc1b27c3","datavalue":{"value":"proof of Lichtenbaum-Quillen conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411283$3C5530FF-C4EC-48A3-BE40-65EE04686C7E","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":"Q1411283$0B14A82C-BA77-4B15-8FF1-F4A4AED49877","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3476a45adccd68f9392817c7155891272de5d07","datavalue":{"value":"W2130891823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411283$46ED69EE-D628-4EDC-97F5-0C7283311BE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"436b18c8c39b95e5333cf02cb38a7a53e263b80c","datavalue":{"value":"10.4007/ANNALS.2003.158.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411283$B40E4178-A18D-4767-B81E-5F20EDC6C74F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3164e196b0180e32995e032b61e2a19c81e8d98e","datavalue":{"value":{"entity-type":"item","numeric-id":5475470,"id":"Q5475470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86647f3c9feb7d35d525a4a183de274a580a8254","datavalue":{"value":{"amount":"+0.8591721653938293","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":"Q1411283$588D16CF-40D8-4B65-80F5-E0A97D86442A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac030d4df1f8b355c560d0cea1d71502f9b8642d","datavalue":{"value":{"entity-type":"item","numeric-id":4549295,"id":"Q4549295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6101faf285a357f142b6a1da99b303f0f337491","datavalue":{"value":{"amount":"+0.8538253307342529","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":"Q1411283$5D9F3B82-1529-4796-A648-3808C91FEE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"064633f8188edfa39a58543c22e4ee4d24426ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4324334,"id":"Q4324334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8719ea417c54a408bfefef590017a5035681747a","datavalue":{"value":{"amount":"+0.8520327210426331","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":"Q1411283$41487FBB-1183-4A52-B160-81629922502A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84fdea7eacdf2238defc8f5bfe787428efd12883","datavalue":{"value":{"entity-type":"item","numeric-id":1925109,"id":"Q1925109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c115dd865ba4423d09c986d08a8326335cad0b5","datavalue":{"value":{"amount":"+0.8490113615989685","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":"Q1411283$21F19161-BDD9-4023-A1BA-9976FD475007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f4ccdb95e2d273f966bdc41a647bcb0d256adf","datavalue":{"value":{"entity-type":"item","numeric-id":799733,"id":"Q799733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c115dd865ba4423d09c986d08a8326335cad0b5","datavalue":{"value":{"amount":"+0.8490113615989685","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":"Q1411283$C2E3C1D8-3EEF-4D4D-A360-758F252160AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the \\(K\\)-theory of local fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_%5C(K%5C)-theory_of_local_fields"}}}}}