{"entities":{"Q1730271":{"pageid":1741012,"ns":120,"title":"Item:Q1730271","lastrevid":72865329,"modified":"2026-04-14T08:21:08Z","type":"item","id":"Q1730271","labels":{"en":{"language":"en","value":"Two categorical characterizations of local fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7032357"}},"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":"Q1730271$F4B575E0-9E06-49DB-9E58-2893B7BA8C23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ec1383722ad4870927058e0aedb0804606785b7","datavalue":{"value":{"text":"Two categorical characterizations of local fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1730271$7150504E-3C0C-4AF8-A94B-3545C117023D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c70249b768227772e3574bf9a3b6d8a858768044","datavalue":{"value":"1409.14005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730271$E248D3D4-7B63-4D87-AC5B-969C2B32815F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a23efb6b8fb907ac73cf9d8df94d2deb0c9da4","datavalue":{"value":{"entity-type":"item","numeric-id":297522,"id":"Q297522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730271$6D733110-0C5C-41EA-846A-04FADF52C1F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ff1738183464565e1571c6f5c1efa36ed974056e","datavalue":{"value":{"entity-type":"item","numeric-id":175744,"id":"Q175744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730271$613E3291-06C1-4A7B-BA39-E761822D6D84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c236a5296bce37f0e3594963375752714d7f6e86","datavalue":{"value":{"time":"+2019-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1730271$E2E21B22-6CEC-4273-A635-0C291C70AE15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f94fa51eb08505cf143c7120fdcf8322b11f8723","datavalue":{"value":"https://projecteuclid.org/euclid.hmj/1544238027","type":"string"},"datatype":"url"},"type":"statement","id":"Q1730271$928D4918-F225-462D-8E4D-862DC0BBFD65","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e31a66ae0a4654db9878e64893ce8615871606a7","datavalue":{"value":"Let $K$ be a local field -- a finite extension of either $\\mathbb{F}_p((t))$ or $\\mathbb{Q}_p$. It is well known that the absolute Galois group $G_K$ does not determine the isomorphism type of $K$: there exist non-isomorphic local fields $K,K'$ of characteristic zero such that $G_K\\simeq G_{K'}$. However, a result of Mochizuki states that $G_K$ together with its filtration by ramification subgroups \\textit{does} determine the isomorphism type of the local field $K$. The present paper establishes two different categorical versions of this result. \\par The first section of the paper describes the category $\\mathscr{B}_K$ of irreducible normal schemes that are finite, flat, and generically \u00e9tale over the ring of integers of $K$. In particular, this section briefly recalls the argument by which $\\mathscr{B}_K$ is equivalent to the category of finite transitive $G_K$-sets. As a consequence, the category $\\mathscr{B}_K$ determines the isomorphism type of $G_K$, but not of the local field $K$ itself. The next two sections of the paper introduce related categories that are rich enough to encode the isomorphism type of $K$. The basic idea is to build sufficient structure into the categories so that the ramification filtration of $G_K$ can be recovered. \\par Section 2 describes a category $\\mathscr{C}_K$ consisting of pairs $(S,\\mathscr{F})$ where $S$ is an object of $\\mathscr{B}_K$ and $\\mathscr{F}$ is a coherent module over $S$. The category satisfies a certain condition $(\\mathfrak{C})$ which ensures that the ramification filtration on $G_K$ can be recovered. It follows from Mochizuki's result that if $K,K'$ are local fields such that $\\mathscr{C}_K$ is equivalent to $\\mathscr{C}_{K'}$, then $K$ is isomorphic to $K'$. \\par Similarly, Section 3 describes a category $\\mathscr{F}_K$ consisting of irreducible schemes $S$ that are finite over the spectrum of the ring of integers of $K$. The category satisfies a certain condition $(\\mathfrak{F})$ which ensures that the ramification filtration on $G_K$ can be recovered. Again, it follows from Mochizuki's result that if $K,K'$ are local fields such that $\\mathscr{F}_K$ is equivalent to $\\mathscr{F}_{K'}$, then $K$ is isomorphic to $K'$.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1730271$28702C7E-0BCE-401A-B5AA-DD1F65139802","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3448bcabcfc9c2041d3bd7fc061d7bde2b62a524","datavalue":{"value":{"entity-type":"item","numeric-id":592102,"id":"Q592102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730271$6740D885-AB35-4E0A-9915-179DE0876AEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a34080d6e1d663615882ff871e04330e61f89ca9","datavalue":{"value":"14A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730271$B513FB8C-B3EB-4BDC-9670-EB02FEF8F9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3412639f3101288ddd5c038ee8180b27627c32d5","datavalue":{"value":"11S20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730271$2EFB9806-9363-4A52-A158-0775F35256E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c2d4d98ae2280075deb06170b67550c46ce597e","datavalue":{"value":"7032357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730271$ED9E78C5-AD17-4BDF-9E31-B346415D139D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f598c111d19fc20e356d2b89ece51954ebe05e","datavalue":{"value":"local field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1730271$A938BA38-19D7-44AD-8C44-1F43B4CF5FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"514a8791f56d5132b9a8bd5c27eef908ba5393ab","datavalue":{"value":"categorical characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1730271$0662F3BB-9FF2-4D78-B97F-4C150976B5B8","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":"Q1730271$3DED6D0F-5879-4B6D-B4E8-1609926DCD79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67667314ae539109710a2bc98224b78c7f95a34f","datavalue":{"value":"W2905341797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730271$52AAC73E-B362-48AB-B57B-4F0CF819F951","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"71101f9238cc73b663daf2de95d2789854abc535","datavalue":{"value":"Q128763144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730271$E13ED4E4-1E32-4D79-8E08-89A789B44E0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3050e7882303cb7b30206359edcd36e48f56345","datavalue":{"value":"10.32917/HMJ/1544238027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730271$58CEDE50-5894-4DB0-8D0D-E7136F65EF8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8caddba22450a761781037a92c15b9bc7046c294","datavalue":{"value":{"entity-type":"item","numeric-id":2728496,"id":"Q2728496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989d6f3f2d684640a6d6c65510b352107aef2467","datavalue":{"value":{"amount":"+0.7781971096992493","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":"Q1730271$13B9549B-DB9D-4F30-AA64-CF5DC50F1BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8389f76e2038409aec29c579e0d8779205098c","datavalue":{"value":{"entity-type":"item","numeric-id":614472,"id":"Q614472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a6d3b75a1a94e5aed272a0ab3313e1b3506f87","datavalue":{"value":{"amount":"+0.7536575198173523","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":"Q1730271$9947EA51-1EE8-4ED5-A5D6-E14846AF7BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c07bbe05cfb1c02b6718aaddbce27e4a66256e","datavalue":{"value":{"entity-type":"item","numeric-id":4352158,"id":"Q4352158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8c24f9334128ad262e83aba1bb29cc8617ae9b0","datavalue":{"value":{"amount":"+0.7392248511314392","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":"Q1730271$CA6626AD-3AC6-4AB0-B35D-924A951DC118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dab53da249f26d4ef31a64bcc5da176c18b0a481","datavalue":{"value":{"entity-type":"item","numeric-id":2483697,"id":"Q2483697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8c24f9334128ad262e83aba1bb29cc8617ae9b0","datavalue":{"value":{"amount":"+0.7392248511314392","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":"Q1730271$17BE3F83-2F74-43DC-A54A-1ACD1B0C9297","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two categorical characterizations of local fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_categorical_characterizations_of_local_fields"}}}}}