{"entities":{"Q374014":{"pageid":375781,"ns":120,"title":"Item:Q374014","lastrevid":51854204,"modified":"2026-01-20T09:33:24Z","type":"item","id":"Q374014","labels":{"en":{"language":"en","value":"An equivariant main conjecture in Iwasawa theory and the Coates-Sinnott conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220356"}},"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":"Q374014$2182B852-44D8-4A96-A29E-947E75BE7C94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12c2b13c0dfb58637b87054bbcfb9936ab5ffdb7","datavalue":{"value":{"text":"An equivariant main conjecture in Iwasawa theory and the Coates-Sinnott conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q374014$433DF9C9-3DA8-4E82-8F65-D198F92A27C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9865e6767bc16b510f2daa88c9a41de07267435","datavalue":{"value":"1280.11067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q374014$E80E29F5-6DDE-4EC0-A7DF-BBDE34B9776D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ce1336c84e46e86e6a2fabd376f9e81ee18914a","datavalue":{"value":{"entity-type":"item","numeric-id":331141,"id":"Q331141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q374014$42C3303A-19D8-491E-B7A9-1F12717CA169","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":"Q374014$15BD8999-993E-42D8-9F1F-C00B62C4B34D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bcfbb5ee16d2a7ab6c44dcb73548f4d40646813","datavalue":{"value":{"time":"+2013-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q374014$C6156D1B-73C3-4C86-8734-D04DB78F7977","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cba7d8d5d2e3573ffccb38caac3662b09fe022f9","datavalue":{"value":"http://www.emis.de/journals/DMJDMV/vol-18/25.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q374014$66A834A9-2E76-4E12-8491-468BABAC19C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bdd53a2cd89192b609b6c4138a05f0f6de37474e","datavalue":{"value":"The Equivariant (non commutative) Iwasawa Main Conjecture (EMC for short) for \\(p\\)-adic Lie extensions \\(E_\\infty/F\\) of a totally real field \\(F\\) has been proved recently and independently by \\textit{J. Ritter} and \\textit{A. Weiss} [J. Am. Math. Soc. 24, No. 4, 1015--1050 (2011; Zbl 1228.11165)] and by Kakde [\\url{arXiv : 1008.0142v3, 2010}] for \\(p \\not= 2\\) and assuming that ``\\(\\mu = 0\\)''. The main step consists in the case where \\(G_\\infty = \\text{Gal} (E_\\infty/F)\\) has Lie dimension equal to 1. In this case, the commutative EMC (when \\(G_\\infty\\) is abelian) had been proved much earlier by \\textit{J. Ritter} and \\textit{A. Weiss} [Manuscr. Math. 109, No. 2, 131--146 (2002; Zbl 1014.11066)] as a consequence of the classical Iwasawa Main Conjecture (= Wiles' theorem). Let us recall the setting : \\(E/F\\) is a finite abelian extension of totally real fields, \\(F_\\infty\\) and \\(E_\\infty\\) are the cyclotomic \\({\\mathbb Z}_p\\)-extensions of \\(F\\) and \\(E,\\) \\(H = \\text{Gal} (E_\\infty/F_\\infty),\\) \\(G_\\infty = \\text{Gal} (E_\\infty/F),\\) \\({\\mathbb A} = {\\mathbb Z}_p [[G_\\infty]].\\) Let \\(S\\) be a finite set of primes of \\(F\\) containing the infinite primes, the \\(p\\)-primes, and the ramified primes in \\(E/F.\\) The usual algebraic object \\({\\mathfrak X}_\\infty = {\\mathfrak X}^S_\\infty\\) is the Galois group over \\(E_\\infty\\) of the maximal abelian pro-\\(p\\)-extension of \\(E_\\infty\\) which is unramified outside \\(S.\\) The analytical object is \\(G_S := \\displaystyle\\sum_{\\psi \\in \\widehat H} \\, G_{\\psi, S} (\\lambda - 1) \\ldotp e_\\psi,\\) where \\(e_\\psi\\) is the idempotent attached to the character \\(\\psi\\) of \\(H,\\) \\(G_{\\psi, S} (\\ldotp)\\) is the classical Deligne-Ribet power series, \\(\\gamma\\) a topological generator of a subgroup \\(\\Gamma\\) of \\(G_\\infty\\) such that \\(G_\\infty = H \\times \\Gamma.\\) Starting from \\({\\mathfrak X}_\\infty,\\) Ritter and Weiss (op. cit.) construct a certain \\({\\mathbb A}\\)-module \\({\\mathcal Z}_\\infty\\) which is \\({\\mathbb A}\\)-torsion and has \\({\\mathbb A}\\)-projective dimension at most 1. One version of their commutative EMC for \\(p \\not= 2,\\) is that \\(\\text{Fitt}_{\\mathbb A} ({\\mathcal Z}_\\infty) = (c_\\infty G_S),\\) where \\(\\text{Fitt}_{\\mathbb A} (\\ldotp)\\) denotes the initial Fitting ideal and \\(c_\\infty\\) is a certain invertible element of the total ring of fractions of \\({\\mathbb A}\\) which enters the construction of \\({\\mathcal Z}_\\infty.\\) They proved this EMC modulo the vanishing of the \\(\\mu\\)-invariant of \\({\\mathfrak X}_\\infty,\\) by using Wiles' theorem and localization arguments (op. cit.). \\smallskip\\noindent In the present paper, the author proposes a commutative EMC for \\(p = 2\\) in the same setting, replacing \\({\\mathfrak X}^S_\\infty\\) by \\({\\mathfrak X}^{S_f}_\\infty\\) (where \\(S_f\\) is the set of finite primes of \\(S)\\) and \\(G_S\\) by \\(G^\\ast_S = 2^{-r_1} G_S\\) (where \\(r_1\\) is the degree of \\(F/{\\mathbb Q}).\\) Assuming \\(\\mu = 0,\\) the proof follows the same lines as that of Ritter-Weiss op. cit., but the localization arguments are simplified by using an algebraic lemma due to \\textit{C. Greither} and \\textit{C. D. Popescu} [``An equivariant main conjecture in Iwasawa theory and applications'', Preprint, \\url{arxiv:1103.3069}] which allows to express the Fitting ideal of an \\({\\mathbb A}\\)-module which is \\({\\mathbb Z}_p[H]\\)-Noetherian and projective (such as the adjoint of \\({\\mathcal Z}_\\infty^f)\\) as a determinant over \\({\\mathbb Z}_p [H]\\). As an application, the author obtains by (co)descent a proof of the Coates-Sinnott conjecture for \\(E/F.\\) Note that the odd part (i.e. ``away from 2'') of the Coates-Sinnott conjecture was proved by the referee, also starting from the Ritter-Weiss EMC, in [J. Th\u00e9or. Nombres Bordx. 17, No. 2, 643--668 (2005; Zbl 1098.11054)]; see also [\\textit{D. Burns} and \\textit{C. Greither}, Doc. Math., J. DMV Extra Vol., 157--185 (2003; Zbl 1142.11371)], and Greither-Popescu [loc. cit.].","type":"string"},"datatype":"string"},"type":"statement","id":"Q374014$290EC2DA-AEDF-421D-AB7E-2BF5E0C620E6","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":"Q374014$1F668598-B804-4B1D-BF58-BE97803E8409","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q374014$99AB387F-9D53-4B52-BC8B-29F7FE3E05DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"60812a381dd95773e68c54b90aa92d52a1e9cecb","datavalue":{"value":"11R42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q374014$D475124D-6CA8-4463-AF72-851D738B510A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b736eb21ac2381f5269a097c7f9025c969f6b95f","datavalue":{"value":"6220356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q374014$D22F78B6-E4B8-452A-BB08-9C742052DA7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81de39553caa2c042cc65d6781dcb2c26750423d","datavalue":{"value":"Iwasawa theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q374014$0C9AC5A3-E9E4-449D-A8B0-79D43DB28671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"800d61990f0179252ea493d114cb6c00e23b00bf","datavalue":{"value":"global and \\(p\\)-adic \\(L\\)-functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q374014$68D4CE48-4E73-49B3-B5D5-5C97F4F77BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03cf09dcaddebe523ce8a6c58d3c7599bd0c613f","datavalue":{"value":"motivic cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q374014$D7BF4D6F-9C8B-400B-81FE-EEEEB7F9BA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6210a4f4c5ebdb96940024bd2a051372100f279","datavalue":{"value":"algebraic K-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q374014$A14E796F-5600-40AC-9C00-88727AF88762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87aaa03cd527fec671ee46602d4a94f1128a5974","datavalue":{"value":"Fitting ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q374014$BC2EB56D-1377-4A6E-96FF-88AC11ABF21D","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":"Q374014$376BCB50-A495-4F34-A26B-78B56D11BA55","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"b589bcf6e1e8799ec096669d30fedea179aa0740","datavalue":{"value":"bafkreihb3mfkjdvdcreaxdukd5dkwwa5ccsrut5sxxb2gymeyyj4audtzi","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q374014$7B98898D-413D-4D56-BFA6-E6FF20461DB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79848ee45172df69b42e8da077cbdd571568a55","datavalue":{"value":{"entity-type":"item","numeric-id":331142,"id":"Q331142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0172cc0bfb1a295c1c5c697fb4c2939c6ececb","datavalue":{"value":{"amount":"+0.9130463600158693","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":"Q374014$28CF1356-644A-493A-B375-D60BFDC5628B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf154eaaee7bf64bd0551505bc1515748a11c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3192302,"id":"Q3192302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c408a97a877394722ceb9788115e5cc9d86377e0","datavalue":{"value":{"amount":"+0.8357746601104736","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":"Q374014$CD64F815-6FE8-4AB2-9481-629F260ADA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edafc56738490d276029ad2be96cbfe5816eb74d","datavalue":{"value":{"entity-type":"item","numeric-id":3173302,"id":"Q3173302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb73b7164253b87be2aeec86eb04de42cc3846fe","datavalue":{"value":{"amount":"+0.8332281708717346","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":"Q374014$B1733DD8-8AD5-48D5-9898-452248B2891E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0f4d36b4b6269cfcc4c53d03d6a30455bcc3a11","datavalue":{"value":{"entity-type":"item","numeric-id":1849759,"id":"Q1849759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57fe00e08b9bb14c2b71a1db08526ff0d8448265","datavalue":{"value":{"amount":"+0.8303886651992798","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":"Q374014$F10D7ED7-4B0C-4D8D-8B06-DFA19AED6EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1e2666775220b0b2de26a930be79047a208c1ad","datavalue":{"value":{"entity-type":"item","numeric-id":5478164,"id":"Q5478164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb45e9dfef2f01e803b02d5be6e81f5b60f89a5b","datavalue":{"value":{"amount":"+0.8265456557273865","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":"Q374014$63D45863-8AF8-424E-95A1-2CFF6EBC66D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:374014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:374014"}}}}}