{"entities":{"Q1849759":{"pageid":1860501,"ns":120,"title":"Item:Q1849759","lastrevid":71477664,"modified":"2026-04-13T22:31:39Z","type":"item","id":"Q1849759","labels":{"en":{"language":"en","value":"Toward equivariant Iwasawa theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1837447"}},"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":"Q1849759$B856C64F-CCCA-43B2-B71C-E067B3010F4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38b6ccb20716e06daa45bb8ff86aa6dba2818f1d","datavalue":{"value":{"text":"Toward equivariant Iwasawa theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1849759$86A3FFA9-E000-4DD0-8065-E335E1F58FB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dba53720e9c6ec8d5d90b9b0f47b79330f7ac8e","datavalue":{"value":"1014.11066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849759$2B55082E-6DAC-4E44-B297-2159302F982A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a39196235e71be9e6bf880229d2700874e32ac4","datavalue":{"value":{"entity-type":"item","numeric-id":614482,"id":"Q614482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849759$81CA55E3-036C-4176-BD81-5FA5871B3E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b9029e15bade94f0aa85a7b44bf152dc9394317","datavalue":{"value":{"entity-type":"item","numeric-id":1165899,"id":"Q1165899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849759$CF0D759D-0EBC-4CDB-819D-041FA8E48E7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849759$5F2077C6-70FB-456F-A140-7353B71C71E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0678386c3121cdf68e0eb1f8c81710720679d33","datavalue":{"value":{"time":"+2002-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1849759$AA2D8141-5F54-4EC2-BEB3-E331BC8E3B21","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"78cd138962e68f17d864f799b84da0a3c1ca93ae","datavalue":{"value":"Let \\(K/k\\) be a Galois extension of totally real number fields, \\(K_\\infty\\) the cyclotomic \\(\\mathbb{Z}_\\ell\\)-extension of \\(K\\) (\\(\\ell\\) being an odd prime), \\(\\Gamma= \\text{Gal} (K_\\infty/K)\\), \\(G_\\infty= \\text{Gal} (K_\\infty/k)\\), \\(X_\\infty\\) the Galois group over \\(K_\\infty\\) of the maximal Abelian \\(\\ell\\)-extension of \\(K_\\infty\\) which is unramified outside a finite set of primes containing the Archimedean primes, the primes above \\(\\ell\\) and those which ramify in \\(K/k\\). One could say that the main goal of Iwasawa theory is the description of the Galois module structure of \\(X_\\infty\\) in algebraic-analytical terms. The Usual Main Conjecture (UMC, or Wiles' theorem) does this over the Iwasawa algebra \\(\\mathbb{Z}_\\ell [[\\Gamma]]\\). An Equivariant Main Conjecture (EMC) should do the same thing over the complete algebra \\(\\mathbb{Z}_p [[G_\\infty]]\\) and should provide a powerful tool towards important conjectures in Galois module theory such as the ``lifted root number conjecture'' or more generally, the ``equivariant Tamagawa number conjecture''.    In their ``tripod'' paper [Mem. Am. Math. Soc. 748 (2002; Zbl 1002.11082)], the authors had proposed a formulation of such an EMC in terms of the localization exact sequence relating \\(K_0\\) and \\(K_1\\). More precisely, let \\(\\partial\\) be the connecting map \\(K_1 (Q\\mathbb{Z}_\\ell [[G_\\infty]])\\to K_0T (\\mathbb{Z}_\\ell [[G_\\infty]])\\), where \\(Q(.)\\) denotes the total quotient ring and \\(K_0T(.)\\) the Grothendieck group of the category of finitely generated torsion modules of finite projective dimension. In their ``tripod'' paper, the authors constructed:    i) A Galois module invariant \\(\\mho_S\\in K_0T (\\mathbb{Z}_\\ell [[G_\\infty]])\\) attached to \\(X_\\infty\\). The fancy notation is meant to recall that this construction is mimicking, at the infinite level, the ``lifted \\(\\Omega\\)-construction'' at the finite level.    ii) Assuming that \\(G_\\infty\\) is Abelian, an analytical element \\(\\Theta_S\\in K_1(Q \\mathbb{Z}_\\ell [[G_\\infty]])\\), built from \\(\\ell\\)-adic \\(L\\)-functions.    The analytical object is related to the algebraic object by means of the conjectural equation \\(\\partial(\\Theta_S)= \\mho_S\\). In the present paper, the authors prove this EMC assuming the vanishing of the \\(\\mu\\)-invariant attached to \\(X_\\infty\\). The essential tools are localization at height one prime ideals and, of course, the UMC (Wiles' theorem) which reads, in this setting: \\(\\partial (\\varepsilon \\Theta_S)= \\mho_S\\), where \\(\\varepsilon\\) is a certain unit of the integral closure of \\(\\mathbb{Z}_\\ell [[G_\\infty]]\\) in its total quotient ring.    Note that K. Kato had proposed, in terms of perfect complexes, a (probably equivalent) EMC, which has been proved recently by \\textit{D. Burns} and \\textit{C. Greither} for cyclotomic fields [``On the equivariant Tamagawa number conjecture for Tate motives'', preprint, 10/2000]. Note also that the above equation \\(\\partial (\\Theta_S)= \\mho_S\\) can be translated in terms of Fitting ideals and used to compute the Fitting ideals of some Iwasawa modules related to \\(X_\\infty\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849759$EF7D7351-1AEE-4B75-9A00-DA77EB292DFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849759$5CF2DB26-C27F-4220-9910-32B3F00C9FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3cf58d4d35e28957f6e5110937e95cf1eac137c","datavalue":{"value":"11R33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849759$E4C8A51D-06F9-4183-BF82-1A3D59E76CE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"791c5cd2b43d8a213d1c548259559123c8b6b781","datavalue":{"value":"1837447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849759$047FA189-9715-4084-88F3-89B632D4C5DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedb06697c8cc9695e08a1d41faa1ba52a3c021a","datavalue":{"value":"equivariant main conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849759$C65CC75D-8949-45D4-85FE-86FE289A2F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81de39553caa2c042cc65d6781dcb2c26750423d","datavalue":{"value":"Iwasawa theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849759$CE9B0CB0-B18B-4B61-B5EB-A468AB0DFDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff4a33e3db0079d72140831886d50a108b277f9","datavalue":{"value":"Galois module structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849759$11EAA2A1-5769-4651-A3EC-2A89DDFDBC33","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":"Q1849759$D8AFD9EE-7301-426F-942A-7829E07B49BA","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":"Q1849759$FF0D7268-56BC-4B52-8401-CC2E71A1319D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a10c6a2b846cc7ac7b4b45502952c6da41b63884","datavalue":{"value":"https://doi.org/10.1007/s00229-002-0306-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1849759$858794A1-0276-43B0-B517-537C14F11D13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a772e4017ac087ee86d4070f18ee461d8a4ebd31","datavalue":{"value":"W2770107105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849759$366C0D80-9A0C-4977-AD77-55A2DB41ECA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0128cd839613c3b32d929ec0b716eda6e653267","datavalue":{"value":"10.1007/S00229-002-0306-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849759$C34A8EE6-800D-45CE-B379-C95B0BE9148D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6898832f252450db84fa5831a90833c8b262cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":2505573,"id":"Q2505573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c46a038875d1a6cfd2f385599f8bc5f0661b76","datavalue":{"value":{"amount":"+0.8872937560081482","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":"Q1849759$FE9B882F-1061-4D3D-89F1-68953E5888D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b98ab5e7327a95a8975ff27fd5f1a84a6613c9f2","datavalue":{"value":{"entity-type":"item","numeric-id":2575125,"id":"Q2575125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d578c536b628f2b792742f535a0d4c12d3cb46","datavalue":{"value":{"amount":"+0.8854455947875977","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":"Q1849759$B7A1015D-AE36-46B2-B375-7DBF123FB850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43ecb4cd76d06eab0047f09391caecede894a652","datavalue":{"value":{"entity-type":"item","numeric-id":930098,"id":"Q930098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e15a6c0036d1011871d1cc3d648f29f39423b10e","datavalue":{"value":{"amount":"+0.8729088306427002","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":"Q1849759$9C5F975B-407A-4AB0-B4DD-9EBBA348BA25","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":"c6ce63e6e6506b6f94b5b1d96ef9afa47d2ffb12","datavalue":{"value":{"amount":"+0.8542012572288513","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":"Q1849759$8811B9B9-B83E-4DE4-B086-14E6C9E29742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc65ea6e34dad2ff59075afa6fd6ccdcef79885","datavalue":{"value":{"entity-type":"item","numeric-id":2486118,"id":"Q2486118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5db96c1d5fe06b9a2bd7cbddc9d44763d8b0cc","datavalue":{"value":{"amount":"+0.8405588865280151","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":"Q1849759$E376A5CD-2C77-4311-8E9F-26851DD938CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Toward equivariant Iwasawa theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Toward_equivariant_Iwasawa_theory"}}}}}