{"entities":{"Q662391":{"pageid":664240,"ns":120,"title":"Item:Q662391","lastrevid":63579144,"modified":"2026-04-11T14:07:36Z","type":"item","id":"Q662391","labels":{"en":{"language":"en","value":"Ramification of local fields with imperfect residue fields. III"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6008812"}},"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":"Q662391$6B43C8FF-67E0-4838-99EC-8B6184C09877","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cb9dbdbdda9e0536ff0e9535289f0702b821468","datavalue":{"value":{"text":"Ramification of local fields with imperfect residue fields. III","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q662391$C4722712-4190-45BA-B21B-3991C378F50E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d736bd3bf7b793d6ca2bf21d7312726d12f9edeb","datavalue":{"value":"1247.11146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662391$B117FB4A-DAE5-48D7-A9FA-2DEF98E72DF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce738976ed45729b8a79152ac35aee57637b1b8","datavalue":{"value":{"entity-type":"item","numeric-id":237186,"id":"Q237186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662391$77816090-19E8-4E23-BD2C-26082C23A64E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662391$42DAF77C-A82A-4A7F-A22D-65A0E6544C2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"164a811b4fdf46ae7f08d0247338084cafa3851b","datavalue":{"value":{"time":"+2012-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q662391$D17F0FCD-13C7-4059-B8C5-2C82C586A2B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e11aa6772911a079d2c0365506ce696ae963618f","datavalue":{"value":"https://arxiv.org/abs/1005.2824","type":"string"},"datatype":"url"},"type":"statement","id":"Q662391$02B7FF04-4A77-47D9-BA0E-D6C6D48C8422","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5681a77c7da17f45c42a0045cfe09d002c4e7da8","datavalue":{"value":"Let \\(K\\) be a complete discrete valuation field and \\(F\\) be the residue field which is finitely generated over a perfect subfield \\(k\\) of characteristic \\(p>0\\). Let \\(\\mathcal{O}_K\\) be the ring of integer of \\(K\\). There is an \\(F\\)-vector space of finite dimension  \\[ \\Omega_F(\\mathrm{log}):=(\\Omega_{F/k}^1 \\oplus (F \\otimes K^{\\times})/(d\\bar{a}-\\bar{a}\\otimes a; a \\in \\mathcal{O}_K^{\\times}). \\]  Let \\(\\mathrm{ord}_{\\bar{K}}\\) be the valuation of \\(\\bar{K}\\) extending the normalized valuation \\(\\mathrm{ord}_K\\) of \\(K\\) and we put \\(\\mathfrak{m}_{\\bar{K}^r} = \\{x \\in \\bar{K} \\; | \\; \\mathrm{ord}_{\\bar{K}} x \\geq r\\}\\) and \\(\\mathfrak{m}_{\\bar{K}^{r+}} = \\{x \\in \\bar{K} \\; | \\; \\mathrm{ord}_{\\bar{K}} x > r\\}\\). Consider the \\(\\bar{F}\\)-vector space \\(\\Theta^{(r)}_{\\bar{F}} = \\mathrm{Hom}_F(\\Omega_F(\\mathrm{log}), \\mathfrak{m}^r_{\\bar{K}}/\\mathfrak{m}^{r+}_{\\bar{K}})\\) as a smooth additive algebraic group over \\(\\bar{F}\\). In [Doc. Math., J. DMV Extra Vol., 5--72 (2003; Zbl 1127.11349)], the author defined a canonical surjection  \\[  \\pi_1(\\Omega_{\\bar{F}}^{(r)})^{\\mathrm{ab}} \\to \\mathrm{Gr}^r G_K. \\tag{*} \\]  Here \\(G_K = \\mathrm{Gal}(\\bar{K}/K)\\), and \\(\\mathrm{Gr}^rG_K = G_K^r/G^{r+}_K\\) where \\((G^r_K)_{r \\in \\mathbb{Q}, r>0}\\) is the decreasing filtration by logarithmic ramification groups and \\(G_K^{r+} = \\overline{\\bigcup_{s>r} G_K^s}\\).  \\textbf{Theorem}: The canonical surjection \\((*)\\) factors through the quotient of \\(\\pi_1(\\Omega_{\\bar{F}}^{(r)})^{\\mathrm{ab}}\\) classifying \u00e9tale isogenies. Consequently, the abelian group \\(\\mathrm{Gr}^rG_K\\) is killed by \\(p\\) and there exists a canonical injection  \\[ \\mathrm{Hom}(\\mathrm{Gr}^rG_K, \\mathbb{F}_p) \\to \\mathrm{Hom}_{\\bar{F}}(\\mathfrak{m}^r_{\\bar{K}}/\\mathfrak{m}^{r+}_{\\bar{K}}, \\Omega_F(\\mathrm{log}) \\otimes \\bar{F}). \\]   The theorem is proved in the equal characteristic case in [J. Inst. Math. Jussieu 8, No. 4 769--829 (2009; Zbl 1177.14044)]. The basic idea of the proof is the same as in the equal characteristic case. However, in the mixed characteristic case, the crucial projections are not defined as maps of schemes, but defined only as an infinitesimal deformation of a morphism of discrete valuation fields. The author shows that an infinitesimal deformation induces a functor of Galois categories (Section 3) and they satisfy a transitivity property (Section 4), which is the main technique to prove the main theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q662391$688884A6-BA92-48D3-AF66-26B7C988F9D1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"80c579dd745f3460156bfafa19a8b054900e55df","datavalue":{"value":{"entity-type":"item","numeric-id":455791,"id":"Q455791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662391$DC9E8630-D45B-4304-A13F-77C62E1EAFF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c81671e5be6090a702f855c20ca0c3c06f2c979d","datavalue":{"value":"11S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662391$C99E0431-3BC7-4CF5-B73E-20727A8A4CC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c57545b7fedc06aa5ff64519f2fb29cef868749a","datavalue":{"value":"6008812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662391$313B90B8-8C2A-4DAE-87F1-C5169F400FFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f926f26a3abb0131eb08c5d1885e14b3cf7b8c","datavalue":{"value":"ramification","type":"string"},"datatype":"string"},"type":"statement","id":"Q662391$BFB86963-C582-4446-AFF4-9B6661F4C215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f60a0a024567fdc5533cd7e52365d063836f9f52","datavalue":{"value":"local fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q662391$AE2E349E-54D2-40C0-B431-CB339EBE0F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7983fd79eda8f030341cbb0b7987649f80150b","datavalue":{"value":"infinitesimal deformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q662391$0242F28C-45E4-4E65-844E-4D9CE465194F","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":"Q662391$2BEB4B55-C61C-49ED-BD71-4E57BFD2929A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c7a750dce62e6ae4a2871fa155d820c4162bd62","datavalue":{"value":"W2095990849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662391$A764F3F1-9097-48B8-AE75-3DDB2E28243C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3835f7f728a4081fd119a5000559e283e50fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3183198,"id":"Q3183198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662391$368747E0-DAFE-46AD-8F88-F34F9DD2F436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40507be9048a5586827deabe7b27298811a2d295","datavalue":{"value":{"entity-type":"item","numeric-id":5390076,"id":"Q5390076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662391$E6597BE7-4353-44B0-B32A-EEDBF367E535","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5fe6a753ddf54bc5289ad23e64b6d2dc594185c","datavalue":{"value":"10.1007/S00208-011-0652-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662391$11F56E43-F39F-4D70-B2B9-BF4E406BE571","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35fc81fed01e863c8286942933f050bba1939a20","datavalue":{"value":{"entity-type":"item","numeric-id":687522,"id":"Q687522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4384bf861faf148cd97fab082fce810a7d59268","datavalue":{"value":{"amount":"+0.9352145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q662391$C34FF262-4733-4223-9AC2-804C545B17E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e053f4550216085ed66c89697c915d84d66afe","datavalue":{"value":{"entity-type":"item","numeric-id":5125239,"id":"Q5125239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38e9b1f61940d3c125c1a38ebc363e899fcb169f","datavalue":{"value":{"amount":"+0.9184809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q662391$0A4A7C3E-D16F-47D7-956F-4ABAFC226877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6ea86362f6e1fb875f3efa293aab43543398eb","datavalue":{"value":{"entity-type":"item","numeric-id":4658252,"id":"Q4658252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3157cad2d2669f48494139ee7419935ae85492dd","datavalue":{"value":{"amount":"+0.9116267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q662391$A9E61273-FCF0-4226-8016-57DEEC014E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"927e9bafc8c7b10f612750f8d73414a88dfc88b1","datavalue":{"value":{"entity-type":"item","numeric-id":4348557,"id":"Q4348557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619d1745476a5f3e11dcde1c72f27a3d334df04d","datavalue":{"value":{"amount":"+0.90819985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q662391$D6EC9AB0-34AE-4CD0-88D5-558B63C18C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c082cd53885d08123de0811c9f0dc4163ae548","datavalue":{"value":{"entity-type":"item","numeric-id":5455163,"id":"Q5455163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3c858dfdf182d7feef5d7f3e4c122f169ff65e","datavalue":{"value":{"amount":"+0.9058199","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q662391$192FA4C7-DB63-4A93-9FC6-5A25077765A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7cb7f37b3d1d49ecf07062c1e8d8902657a14e","datavalue":{"value":{"entity-type":"item","numeric-id":6091806,"id":"Q6091806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1c393802a6555cb51e3cedc0355087d8c90217","datavalue":{"value":{"amount":"+0.9046172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q662391$77028175-BC47-4C85-B3BD-95F7B54DC946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3cb2342b4d6d64b74079de1a6058f14e1fffae","datavalue":{"value":{"entity-type":"item","numeric-id":1682065,"id":"Q1682065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34dec6a2485a8dbcb60c90b74ca323a9bae1e32f","datavalue":{"value":{"amount":"+0.9036535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q662391$D28928C7-AF3A-4AE0-BCEC-2F4AD2BE8508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25f34e8c9af89b7f17582fc4d7d45a6c1cd839d","datavalue":{"value":{"entity-type":"item","numeric-id":4236265,"id":"Q4236265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53445407b071c8f0a7094f779c795bada1dbdf49","datavalue":{"value":{"amount":"+0.9035462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q662391$DB5FEFA7-2032-4219-9ED2-221A3FC0CD17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ramification of local fields with imperfect residue fields. III","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ramification_of_local_fields_with_imperfect_residue_fields._III"}}}}}