{"entities":{"Q530616":{"pageid":532383,"ns":120,"title":"Item:Q530616","lastrevid":62531004,"modified":"2026-04-11T06:43:00Z","type":"item","id":"Q530616","labels":{"en":{"language":"en","value":"Poitou-Tate without restrictions on the order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6610778"}},"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":"Q530616$B7840162-584B-4853-8D6B-5D8848CCC7F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aabadf5dafd16779cdc42ec9f4a1898d77a1cda3","datavalue":{"value":{"text":"Poitou-Tate without restrictions on the order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q530616$A4E86BEF-2E1C-49B3-88FC-85A688F079F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7f3030278d9f44ddc2953be7436e55de18c8357","datavalue":{"value":"1348.11089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530616$711674AE-22D9-46A7-9261-A9BFBDE0F7F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ea5f63f5f2a848f0c43c397b5e7711fd254b8b","datavalue":{"value":{"entity-type":"item","numeric-id":323735,"id":"Q323735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530616$B0DF39D4-FFCF-4C1E-951D-A145F2BCCC79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530616$F716C125-58B4-456B-9403-FA738167FDE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q530616$03BCC315-C600-42BD-97D7-E07CA9A1DDDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6edef20d48f3e470d6d5bce773a91ca1a462a73","datavalue":{"value":"https://arxiv.org/abs/1410.2621","type":"string"},"datatype":"url"},"type":"statement","id":"Q530616$D8590F00-0756-4D0A-BD2B-DC4E30AFAFCB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b5a1ddf0ef43bfb5a1482442b4d146796e6cd16a","datavalue":{"value":"For a global field \\(K\\) and a non empty (possibly infinite) set \\(\\Sigma\\) of places of \\(K\\) containing the Archimedean places, the 9-term Poitou-Tate exact sequence (say PT) relates the Galois cohomology of a finite discrete \\(\\mathrm{Gal}(K_\\Sigma/K)\\)-module \\(M\\) to that of the dual module \\(M^D:=\\mathrm{Hom}(M,\\mathbb{Q/Z} (1))\\) via restricted products \\(\\prod'_{v\\in\\Sigma}(.)\\) of local cohomology groups, under the condition that \\(\\#M\\) is a unit at all places outside \\(\\Sigma\\). The purpose of the present article is to get rid of this requirement on \\(\\#M\\) by constructing a generalized Poitou-Tate exact sequence (say GPT) using fppf cohomology of ad\u00e8les.  More precisely, for a global field \\(K\\), let \\(S\\) be \\(\\mathrm{Spec }\\mathcal O_K\\) if \\(\\mathrm{char}(K )=0\\), and if \\(\\mathrm{char}(K )\\neq 0\\), let \\(S\\) be the proper smooth curve over a finite field such that the function field of \\(S\\) is \\(K\\). Fix \\(\\Sigma\\) as above. Write \\((S -\\Sigma)\\) for the Dedekind scheme which is the localization of \\(S\\) away from \\(\\Sigma\\), i.e., \\((S-\\Sigma)=\\displaystyle\\lim_{\\leftarrow}U\\) where \\(U\\) ranges over the non empty open sets \\(S\\) with \\(S\\backslash U\\subset\\Sigma\\). For a finite subset \\(\\Sigma_0\\subset\\Sigma\\), set \\(\\mathbb A^{\\in\\Sigma}_{K,\\Sigma_0}:=\\prod_{\\Sigma_0} K_v\\times\\prod_{\\Sigma\\backslash\\Sigma_0}\\mathcal O_v\\), define the ring of \\(\\Sigma\\)-ad\u00e8les \\(\\mathbb A^{\\in\\Sigma}_K:=\\displaystyle\\lim_{\\rightarrow}\\mathbb A^{\\in\\Sigma}_{K,\\Sigma_0}\\), and denote by \\(H^n(\\mathbb A_K^{\\in\\Sigma},.)\\) its fppf cohomology. Write \\((.)^\\ast\\) for the Pontryagin dual. Then for Cartier dual commutative finite flat \\((S-\\Sigma)\\)-group schemes \\(G\\) and \\(H\\), the new GPT exact sequence reads:  \\[ H^0(S-\\Sigma,G)\\overset{\\mathrm{loc}^0(G)}{\\longrightarrow}\\widehat H^0(\\mathbb A^{\\in\\Sigma}_K,G)\\overset{\\mathrm{loc}^2(H)^\\ast}{\\longrightarrow}H^2(S-\\Sigma,H)^\\ast\\overset{\\alpha}{\\rightarrow}H^1(S-\\Sigma,G)\\overset{\\mathrm{loc}^1(G)}{\\longrightarrow}H^1(\\mathbb A^{\\in\\Sigma}_K,G) \\]   \\[ \\overset{\\mathrm{loc}^1(H)^\\ast}{\\longrightarrow}H^1(S-\\Sigma,H)^\\ast\\overset{\\beta}{\\rightarrow}H^2(S-\\Sigma,G)\\overset{\\mathrm{loc}^2(G)}{\\longrightarrow}H^2(\\mathbb A^{\\in\\Sigma}_K,G)\\overset{\\mathrm{loc}^0(H)^\\ast}{\\longrightarrow}H^0(S-\\Sigma,H)^\\ast. \\]  Here a comparison theorem allows to interpret the cohomology of \\(\\mathbb A^{\\in\\Sigma}_K\\) in terms of restricted products: for \\(n\\geq 0\\), \\(H^n(A^{\\in\\Sigma}_K,G)\\cong\\prod'_{v\\in\\Sigma}H^n(K_v,G)\\), the restricted product being w.r.t. the open subgroups \\(H^n(\\mathcal O_v,\\mathcal G)\\subset H^n(K_v,G)\\) where \\(\\mathcal G\\to U\\) is a model of \\(G\\) over a non empty open \\(U\\subset S\\) and \\(v\\in U\\cap\\Sigma\\). For \\(n=0\\), the Tate modified group \\(\\widehat H^0(\\mathbb A^{\\in\\Sigma}_K,G)\\) means that \\(H^0(K_v,.)\\) is replaced by \\(\\widehat H^0(K_v,.)\\) when \\(v\\) is Archimedean. As for the connecting maps: the \\(\\mathrm{loc}^n(H)^\\ast\\) are defined using a perfect pairing \\(H^1(\\mathbb A^{\\in\\Sigma}_K,G)\\times\\overset{\\mathrm{inv}}{\\rightarrow}\\mathbb{Q/Z}\\), \\(\\alpha\\) and \\(\\beta\\) are obtained similarly from perfect \\(\\widehat H^0(\\mathbb A^{\\in\\Sigma}_K,G)\\times H^2(\\mathbb A^{\\in\\Sigma}_K,H)\\to\\mathbb{Q/Z}\\) and \\(H^2(\\mathbb A^{\\in\\Sigma}_K,G)\\times\\widehat H^0(\\mathbb A^{\\in\\Sigma}_K,H)\\to\\mathbb{Q/Z}\\); all the maps are continuous when \\(H^n(S-\\Sigma,G)\\) and \\(H^n(S-\\Sigma,H)\\) are endowed with the discrete topology. Appendix A explains how to recover (PT) from (GPT) : if \\(\\#M\\) is a unit at all places outside \\(\\Sigma\\), then \\(M\\) and \\(M^D\\) can be extended to Cartier dual commutative finite \u00e9tale \\((S-\\Sigma)\\)-group schemes whose fppf cohomology groups can be identified with Galois cohomology groups.  In the generality permitted by (GPT), the author can also prove a Cassels-Poitou-Tate exact sequence which relates certain Selmer subgroups of \\(H^1(S-\\Sigma,G)\\) to those of \\(H^1(S-\\Sigma,H)\\). In the setting of (GPT), if each of \\(\\mathrm{Sel}(G_{\\mathbb A^{\\in\\Sigma}_K})\\) and \\(\\mathrm{Sel}(H_{\\mathbb A_K^{\\in\\Sigma}})\\) is either open or compact (when it is endowed with the subspace topology), one has a 7-term sequence: \\(0\\to\\mathrm{Sel}(G)\\to H^1(S-\\Sigma,G)\\to H^1(\\mathbb A^{\\in\\Sigma}_K,G)/\\mathrm{Sel}(G_ {\\mathbb A^{\\in\\Sigma}_K})\\overset{y(G)}{\\longrightarrow}\\mathrm{Sel}(H)^\\ast\\overset{x(G)}{\\longrightarrow}H^2(S-\\Sigma,G)\\overset{\\mathrm{loc}^2(G)}{\\longrightarrow}H^2(\\mathbb A^{\\in\\Sigma}_K,G)\\overset{\\mathrm{loc}^0(H)^\\ast}{\\longrightarrow}H^0(S-\\Sigma,H)^\\ast\\), where \\(y(G)\\) is the dual of the restriction of \\(\\mathrm{loc}^1(H):\\mathrm{Sel}(H)\\to\\mathrm{Sel}(H_{\\mathbb A^{\\in\\Sigma}_K})\\) and \\(x(G)\\) factors the map \\(\\beta\\) above. The particular case of a finite \\(\\Sigma\\) had previously been settled by the author in [``\\(p\\)-Selmer growth in extensions of degree \\(p\\)'', Preprint, \\url{arXiv:1408.1151}].","type":"string"},"datatype":"string"},"type":"statement","id":"Q530616$E1300AD2-8D5B-486E-A0F6-D71564CEF456","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9512322dd8e6451ec8a7602e1f69fe734f9346ce","datavalue":{"value":{"entity-type":"item","numeric-id":204772,"id":"Q204772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530616$7088ADC7-D36D-4340-897E-E484F39E96B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"17565690f34b78615adcebc7ddf96b1bc46e56cc","datavalue":{"value":"11R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530616$D00E062A-8872-45D5-8C9D-577827A5BAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c8c38e3821711a95703abcc2630cc0d5683ad9a","datavalue":{"value":"11R34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530616$88B1E688-F85D-42C7-A112-92594F938515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e20d7d8843a420e071d8a6a0ab5cf83a047ccf33","datavalue":{"value":"11R56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530616$80DEE070-7AF6-4669-AC70-5C65226139B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72ae99d3dcdc299050b531a754ecf0988f834d06","datavalue":{"value":"6610778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530616$C9E004C2-5472-4509-A3B5-D5EFAD5BA5B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"381285832ad7c8dbd70bcb65a94bd4384d0dfd08","datavalue":{"value":"global field","type":"string"},"datatype":"string"},"type":"statement","id":"Q530616$B86FBACA-ABCE-4DC3-947B-AE067E68B225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0d134c66db95f5a9ab154cf80ce67e83b026a7e","datavalue":{"value":"arithmetic duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q530616$7E5CCA35-D913-413E-B687-A1FD6FF76173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38442c0c151c77f817e707773411e76312550118","datavalue":{"value":"Poitou-Tate","type":"string"},"datatype":"string"},"type":"statement","id":"Q530616$895DFFD1-0BD1-4964-A7F1-D84A7C5EB096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef218e32c5251df4a9aca7d3249d908d0419beb3","datavalue":{"value":"fppf cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q530616$9132227C-4123-4285-93CA-ED75C28E7EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c0005805480b09a844ebe2c4f166a8e75b804b5","datavalue":{"value":"ad\u00e8les","type":"string"},"datatype":"string"},"type":"statement","id":"Q530616$910530A1-5DB2-4909-AAB5-51985D8F3165","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":"Q530616$98135FEA-7575-449D-95A6-B24B746025A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9290047e4a71792dd614ece3865c9095f685535c","datavalue":{"value":"W2963584889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530616$F6F7DA48-C221-42BF-B425-F14A91634BD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a65b9801a648772cff702fccf7f37c08269ce312","datavalue":{"value":"10.4310/MRL.2015.V22.N6.A5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530616$11AF2BFB-6B6D-458C-B29A-CCB873D9E83D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4642dbbe658482cb76636d121449f40cdd532d3","datavalue":{"value":{"entity-type":"item","numeric-id":2166382,"id":"Q2166382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2587c514f5d89bae9e5bcb425596031621d0894c","datavalue":{"value":{"amount":"+0.7839300632476807","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":"Q530616$5046E510-5072-4D8B-BDC7-E178D24B80A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"566eafc8bb58d4597a12d693ac1964b2f504a5c3","datavalue":{"value":{"entity-type":"item","numeric-id":452396,"id":"Q452396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e777335aaa08b708ec3553b5035258e2ebb61bc9","datavalue":{"value":{"amount":"+0.7693437933921814","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":"Q530616$FC7E7235-ECB2-42B5-8A4D-47F1529DD8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b213024965dd117c180bd2cd477b5072a8cf440","datavalue":{"value":{"entity-type":"item","numeric-id":3069519,"id":"Q3069519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00934f266e84ea2fc59053c60e7bed44b3e22d1","datavalue":{"value":{"amount":"+0.7619767189025879","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":"Q530616$758ADCD5-ED36-4CDC-B42D-7CFB703BC4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72bf16c13a0f737fb5dea5e2d243036597b1c9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3322197,"id":"Q3322197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86aae49d632ea9b702c4d345fdc520a530a11233","datavalue":{"value":{"amount":"+0.750241756439209","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":"Q530616$D2BAA8CE-72F5-4070-8E14-17961306DE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"805f611c768c78a2e25c929131cdd52bd08551e2","datavalue":{"value":{"entity-type":"item","numeric-id":4884994,"id":"Q4884994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd4fbe3217c5318af90ce359a92abe5e40fba9dd","datavalue":{"value":{"amount":"+0.7358909249305725","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":"Q530616$95AAB709-D1B9-42E9-AE47-F010A09185C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Poitou-Tate without restrictions on the order","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Poitou-Tate_without_restrictions_on_the_order"}}}}}