{"entities":{"Q504295":{"pageid":506062,"ns":120,"title":"Item:Q504295","lastrevid":62328483,"modified":"2026-04-11T05:20:31Z","type":"item","id":"Q504295","labels":{"en":{"language":"en","value":"Structure theorem of Kummer \u00e9tale \\(K\\)-group. II."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6674981"}},"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":"Q504295$E4BB4F29-3D6E-4FD7-804D-A96DE97D46DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3531fd4fbdd7ae2abed07c1b1bc49742f380486","datavalue":{"value":{"text":"Structure theorem of Kummer \u00e9tale \\(K\\)-group. II.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q504295$1A91369E-2F1A-43CB-9CCF-FF5571D807F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c473909b6b6b3b5fd4251b6379986448f03baf4b","datavalue":{"value":"1357.19001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504295$E1D4EC81-26EB-42DB-8F83-CC7A42F8774A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e094861e970b0573521616a0e56ca1f083235284","datavalue":{"value":{"entity-type":"item","numeric-id":504294,"id":"Q504294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504295$293D6832-6C64-4409-A044-8EF93FF1FEE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4add3c5163a5eee9bbe20dc8a36386ab43b68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":168490,"id":"Q168490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504295$B5552D80-54E0-4E69-AB50-75F0A838D933","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2eb662ea7cb47cef32ba8c44ae1bbc7101d3603f","datavalue":{"value":{"time":"+2017-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q504295$FF0EE745-BD32-40E6-8AE4-00B648ED7FB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1083ab675b977cdf5dd4e64486b63dff440a7712","datavalue":{"value":"http://www.emis.de/journals/DMJDMV/vol-21/36.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q504295$9F9BBFEB-8252-44D1-AC99-D108FC7C84D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2cc8f9a09a7fe4480aaa5355c92a6df7ea095a56","datavalue":{"value":"The author deals with a \\(K\\)-theory peculiar to logarithmic geometry, the so called Kummer \u00e9tale \\(K\\)-Theory. Let \\(k\\) be a field of characteristic \\(p\\), \\(X\\) a scheme smooth, separated and of finite type over \\(k\\) and let \\(D\\) be a strictly normal crossing divisor, with \\(\\{D_i\\}_{i\\in I}\\) its irreducible components. Let's denote by \\(X\\) the log scheme associate with \\((X,D)\\). In a previous paper [\\(K\\)-Theory 29, No. 2, 75--99 (2003; Zbl 1038.19002)] the same author proved a comparison theorem between \\(K_q(X_{K\\text{\u00e9t}})\\) and the usual \\(K\\)-groups of \\(X\\).  In this paper that result has been improved, by constructing, for a logarithmic variety satisfying some good conditions, an isomorphism between its Kummer \u00e9tale \\(K\\)-groups and the usual \\(K\\)-groups associated with its stratification, preserving their \\(\\lambda\\)-structures up to torsion. The main result is the following  Theorem 0.1. There is an isomorphism of rings  \\[ K_0(X_{K\\text{\u00e9t}})\\otimes_{\\mathbb Z}\\simeq\\varprojlim K_0(D_{J_2})\\otimes_{\\mathbb Z}\\mathbb Q[(\\mathbb Z_{(p)}/\\mathbb Z)^{\\oplus J_1}] \\]  which is compatible with the actions of Adam's operations.  Here, for \\(J=\\{i_1,\\dots,i_r\\}\\subset I\\) we put \\(D_J=D_{i_1}\\cap\\dots\\cap D_{i_r}\\) and  \\[ C_I=\\{(J_1,J_2)|J_1\\subset J_2\\subset I\\}. \\]  The limit is taken over \\(C_I\\), regarded as an ordered set by defining \\((J_1,J_2)\\geq (J'_1,J'_2)\\) if \\(J'_1\\subset J_1\\subset J_2\\subset J'_2\\). The transition morphism in the limit is induced by the natural closed inclusion \\(D_{J_2}\\supset D_{J'_2}\\) and a projection \\((\\mathbb Z_{(p)} /\\mathbb Z)^{\\oplus J_1}\\to (\\mathbb Z_{(p)} /\\mathbb Z)^{\\oplus J'_1}\\). The Adam operations \\(\\{\\Psi^m\\}_{m>0}\\) on \\(\\mathbb Q[(\\mathbb Z_{(p)} /\\mathbb Z)^{\\oplus J}]\\) are defined by \\(\\Psi^m ([\\alpha]=[m\\alpha]\\), for \\(m\\in\\mathbb N\\) and \\(\\alpha\\in (\\mathbb Z_{(p)} /\\mathbb Z)^{\\oplus J}\\). Then the Adams operations on the right hand side are naturally induced from the usual ones on \\(K_0(D_{J_2})_{\\mathbb Q}\\) and on \\(\\mathbb Q[(\\mathbb Z_{(p)}/\\mathbb Z)^{\\oplus J_1}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q504295$1F852FBD-977E-44C1-9E44-E6E2F6571836","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d252793400a3e7727bc8dca98844fda295175d28","datavalue":{"value":{"entity-type":"item","numeric-id":184998,"id":"Q184998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504295$E8A076CB-C8F1-41FD-9DAE-791A4EC9F49B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"29809340e83938f44ddde1ea70aa5ac9cf46faca","datavalue":{"value":"19D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504295$55BCEB57-59CC-4606-B3E3-0FF031C2C20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47e0ac8332e65ab042eb721c036fa65e1af589f","datavalue":{"value":"14F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504295$1D3CFD7D-4518-4BE4-9996-9BEABE729145","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a76d82b57d20d86e155d083d02ef36b3cb0f1a74","datavalue":{"value":"6674981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504295$B6BD7A98-7FC4-4DBF-92A7-35A90A188336","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8611d46c332329bd70d4eb7cd560061e8bf21bb9","datavalue":{"value":"algebraic \\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q504295$80970189-2142-455C-9BE1-471C78AF6A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32f8f39877adf6414db57a5d6c27cb52f7753afc","datavalue":{"value":"logarithmic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q504295$F77838A5-0D36-421C-A8D6-A05CD8F93620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb93f2f509c2f0d999030d370232c8476edf24d","datavalue":{"value":"algebraic cycles","type":"string"},"datatype":"string"},"type":"statement","id":"Q504295$2C234C0B-D32C-4742-8AE5-8DCF520BAF64","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":"Q504295$897FC60D-8F76-4C9C-88C8-886DDCC94891","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"3c58f7aa2ddfcb168dc8d0fd0ddd0b72b4c71f35","datavalue":{"value":"bafkreigigistek37on5s7isjyevirhro7p6susx4n7qk4chop7nll4db44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504295$2E6A1CB0-4B17-4888-92C3-AFFE447F12E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7dca9b631fb0ecff44e18f236493c89452051e3","datavalue":{"value":{"entity-type":"item","numeric-id":1421773,"id":"Q1421773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042c230a349920910d5eda3d7b76b9208b5942e8","datavalue":{"value":{"amount":"+0.8965433835983276","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":"Q504295$90A75240-5DC3-412E-89D8-1A7264922AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36dbc2fbe15602f75fa84b47817d31b3e6e8dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":5886984,"id":"Q5886984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42174f42f6a2e2e6f37a1f30d478a7589e8480be","datavalue":{"value":{"amount":"+0.8292495012283325","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":"Q504295$0061C773-D788-4416-9C92-A65EBC3882FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72fab54c93c8817d19426de1ccdfa738e3c395c9","datavalue":{"value":{"entity-type":"item","numeric-id":945451,"id":"Q945451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d5f0e723a6ec912520340d86773a32696f5d859","datavalue":{"value":{"amount":"+0.8219766020774841","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":"Q504295$012C09B4-45FB-49F5-B616-82124AACD4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e7a94bcd8ba9467df118679cd955652cddcf97","datavalue":{"value":{"entity-type":"item","numeric-id":4539743,"id":"Q4539743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b5ef18973a225c45760b1705b5c4f134a3f8da","datavalue":{"value":{"amount":"+0.7522456049919128","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":"Q504295$187EE3B3-5599-474B-ACE9-5C56BEAB9D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c50602bb96ffa554d0e2db9aac4f01fef65274","datavalue":{"value":{"entity-type":"item","numeric-id":3695382,"id":"Q3695382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ead8a3f9d7c18f586b684b168a15f64f678ead1","datavalue":{"value":{"amount":"+0.7393837571144104","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":"Q504295$50F43BD4-46DF-431D-BC97-5134F66FC513","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structure theorem of Kummer \u00e9tale \\(K\\)-group. II.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structure_theorem_of_Kummer_%C3%A9tale_%5C(K%5C)-group._II."}}}}}