{"entities":{"Q1421773":{"pageid":1432513,"ns":120,"title":"Item:Q1421773","lastrevid":67407408,"modified":"2026-04-12T17:25:19Z","type":"item","id":"Q1421773","labels":{"en":{"language":"en","value":"Structure theorem of Kummer \u00e9tale \\(K\\)-group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2037056"}},"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":"Q1421773$55B9043E-ABD5-48F8-B256-08567C0B7EFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38dda620d3e19ea60e4855a7b7c76aa6c9069592","datavalue":{"value":{"text":"Structure theorem of Kummer \u00e9tale \\(K\\)-group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1421773$C16388BA-5C48-4FF8-BAEB-F88DA1DC430A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38508336bbd4d446fcc23392dea69cca7f0ac6f5","datavalue":{"value":"1038.19002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421773$7758C3AE-7464-424A-97F3-55234E10C02B","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":"Q1421773$2950359A-3588-42E9-94CC-E9715FAF7230","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4fd8d30a01f0e4f960db804210ae144d972127d","datavalue":{"value":{"entity-type":"item","numeric-id":184992,"id":"Q184992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421773$E4F17301-A4DA-4F48-AE3A-3DB6659537C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90f9531aea2ff67f2ad60a47f2412a1f7827bd33","datavalue":{"value":{"time":"+2004-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1421773$42E6BC9F-712E-4D42-A0FE-ABB5C9680488","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c034ecd65657b68c4c6c61fefa416236b858e6fd","datavalue":{"value":"The author deals with a \\(K\\)-theory peculiar to logarithmic geometry, the so-called Kummer \u00e9tale \\(K\\)-theory. One considers the category of fs log schemes: a log scheme is called fine if \u00e9tale locally it admits a strict morphism to \\(\\text{Spec}\\,\\mathbb{Z}[P]\\) for some finitely generated integral monoid \\(P\\). A morphism \\(f: X\\to Y\\) between log schemes is called strict if for any \\(x\\in X\\) the induced map \\(\\overline M_{Y,\\overline f(x)}\\to\\overline M_{X,\\overline x}\\) is an isomorphism, where \\(\\alpha_X: M_X\\to{\\mathcal O}\\) is a homomorphism on \\(X_{\\text{\u00e9t}}\\) such that \\(\\alpha^{-1}{\\mathcal O}^*_X\\simeq{\\mathcal O}^*_X\\), \\(\\overline M_X= M_X/{\\mathcal O}^*_X\\) and similarly for \\(Y\\). A fine log scheme is called an fs log scheme if we can take an fs monoid as \\(P\\) (an fs monoid is a finitely generated and saturated monoid).   Then one defines Kummer \u00e9tale topos and denotes by \\(({\\mathcal K}\\acute et/X)\\) the full subcategory of fs log schemes over \\(X\\) consisting of fs log schemes \\(X'\\) which are Kummer \u00e9tale over \\(X\\). Let \\(Q\\text{\\,coh\\,}X_{\\text{Zar}}\\) be the category of quasi coherent sheaves on \\(X_{\\text{Zar}}\\): then there is a fully faithful functor \\(\\varepsilon^*: Q\\text{\\,coh\\,}X_{\\text{Zar}}\\to {\\mathcal M}od(X_{\\text{K\u00e9t}})\\). Let \\({\\mathcal V}ect(X_{\\text{K\u00e9t}})\\) be the full subcategory of \\({\\mathcal M}od(X_{\\text{K\u00e9t}})\\) consisting of K\u00e9t-vector bundles.   For those Noetherian fs log schemes the Quillen higher \\(K\\)-groups of \\(\\text{Vect}(X_{\\text{K\u00e9t}})\\) are defined. The main result of the paper is a comparison theorem between \\(K_q(X_{\\text{K\u00e9t}})\\) and the usual \\(K\\)-groups of \\(X\\).   Theorem. Let \\(X\\) be a scheme, smooth, separated and of finite type over a separably closed field \\(k\\) of characteristic \\(p\\), \\(D\\) a simple normal crossing divisor and \\(\\{D_i/i\\in I\\}\\) its irreducible components. Let \\(K_q(X_{\\text{K\u00e9t}})\\) be the K\u00e9t \\(K\\)-groups of \\(X\\), endowed with the associated log structure. Then there is an isomorphism:  \\[ K_q(X_{\\text{K\u00e9t}})\\simeq \\bigoplus_{J\\subset I} K_q(D_J)\\otimes_{\\mathbb{Z}} \\Lambda_{| J|}, \\]  where, for \\(J= \\{i_1,\\dots, i_r\\}\\), \\(D_J= D_{i_1}\\cap\\cdots\\cap D_{i_r}\\) and, for \\(| J|= r\\), \\(\\Lambda_{| J|}\\) is the free abelian group generated by the set \\(\\{a_1,\\dots, a_r\\}\\) with \\(a_i\\in\\bigoplus_{l\\neq p}\\mathbb{Q}_l/\\mathbb{Z}_l- \\{0\\}\\), for any \\(i\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421773$83BB4A11-F8A9-4C07-8A74-B0F0B756FB48","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":"Q1421773$64716946-B5FA-4656-A1B5-1CF59375385A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0de07df041448f087b0052398b7d304d4d46469","datavalue":{"value":"19E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421773$F5931794-F94D-42B1-B51B-5CA1EB250253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d760f9b893faa1cac06367d503424a26de9e552","datavalue":{"value":"19D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421773$DDC5D278-CC4F-4782-8274-D1CF99F7781F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65e0d1a695ac653af4127479cfdcfa876a4303fc","datavalue":{"value":"14C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421773$037AA5A2-3179-4C7A-88B7-65C368E9B13F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19a9b953090b963351e9a574dc3628b25b071816","datavalue":{"value":"2037056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421773$D5F596BD-182C-43F2-A375-801FCC75C7C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32f8f39877adf6414db57a5d6c27cb52f7753afc","datavalue":{"value":"logarithmic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421773$4A3F72DF-E74C-4F66-A7BE-B154FD552B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117911215d8bb64c6e3caf2962069dde0ce1063e","datavalue":{"value":"Kummer \u00e9tale \\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421773$F95D58B4-0614-40CE-BF4C-F4B67AC89D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e01d75fb870c9bfac2d8002ec045f181fdc7bb9","datavalue":{"value":"fs log schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421773$BEBBC428-17B1-4116-AC8B-22C6F76B7D9C","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":"Q1421773$34A40AC0-C4B2-4B7E-9C8B-19AA51AFB842","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68efb4e2099522fa1001f9050925226a5355c4c1","datavalue":{"value":"https://doi.org/10.1023/b:kthe.0000006867.98007.5c","type":"string"},"datatype":"url"},"type":"statement","id":"Q1421773$19B1C5C7-544B-4001-8C63-20B839A38AE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fff400ee8dd1c607b6f541e9728653599eb4fa30","datavalue":{"value":"W1986777118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421773$88E61436-1585-45FA-A52B-570F6AC1B9A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd4870e64888fdef6db1f740c8e1442c3425a041","datavalue":{"value":"10.1023/B:KTHE.0000006867.98007.5C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421773$302ACF95-BE87-4660-B9E4-C5630E976D1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b291bb26d90c6f96e7e667678363268279c3bc7","datavalue":{"value":{"entity-type":"item","numeric-id":504295,"id":"Q504295"},"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":"Q1421773$A6EDC479-E249-4E89-8571-38E66312FBFF","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":"49b74608cc9c8f7e883af750fd10e3b1ca70e1d0","datavalue":{"value":{"amount":"+0.865646481513977","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":"Q1421773$CB032E30-4AA8-40D8-BFC1-6AF0407E22FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712892c5865aa4a382fe829acebc04c15afc9071","datavalue":{"value":{"entity-type":"item","numeric-id":2357482,"id":"Q2357482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a07fc8f92652278b7f6a980e10406b1905db1a9","datavalue":{"value":{"amount":"+0.8460274934768677","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":"Q1421773$7C163F60-A03D-4403-904D-CE1B9C2D3726","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":"04fe04bf7f75c60fc4220556c60f7ee7b4b450e4","datavalue":{"value":{"amount":"+0.8010140657424927","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":"Q1421773$98D8479B-9E65-4DAF-A9F5-795A7B808DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da500568b48e348fb3feb54e25ab64896bb707c","datavalue":{"value":{"entity-type":"item","numeric-id":5070566,"id":"Q5070566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d0cce286ec2a3f9d018f6e0d83999ca0921988","datavalue":{"value":{"amount":"+0.7738738656044006","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":"Q1421773$F143962B-B560-4D47-9E5D-7EE6E3817C20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structure theorem of Kummer \u00e9tale \\(K\\)-group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structure_theorem_of_Kummer_%C3%A9tale_%5C(K%5C)-group"}}}}}