{"entities":{"Q2396580":{"pageid":2407323,"ns":120,"title":"Item:Q2396580","lastrevid":52823927,"modified":"2026-01-23T14:15:07Z","type":"item","id":"Q2396580","labels":{"en":{"language":"en","value":"Fitting ideals of Iwasawa modules and of the dual of class groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6727279"}},"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":"Q2396580$8A410A73-146B-4E85-BFBA-44D71DC10F46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aab77f61a242086cf9fe9334946b9cb6a70359b4","datavalue":{"value":{"text":"Fitting ideals of Iwasawa modules and of the dual of class groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2396580$B7AD0CB3-4763-42BD-84F6-CA46A25295D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd1b6fe7259efa62a4e5bdd3548dad1fcc12fbd9","datavalue":{"value":"1416.11158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396580$9671DAE3-396E-43F9-87AC-1B2035E1598E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e48c004974ea6926a5aa8d95dffd54ce5a17cf","datavalue":{"value":{"entity-type":"item","numeric-id":351771,"id":"Q351771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396580$52209E28-1E3C-43A9-B305-65D32589DC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15289bfccc27fbf1a984a0d6852f68f31d868cb1","datavalue":{"value":{"entity-type":"item","numeric-id":321869,"id":"Q321869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396580$7F041B2B-B5E2-4D10-9729-65E2DEA9C771","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e81735ffae0dc240f9c7908f9071cba228792fc1","datavalue":{"value":{"entity-type":"item","numeric-id":172432,"id":"Q172432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396580$41328C43-2856-4EF3-8E82-F3AF0405A38D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5b0c9c7a7ee23582b4e4c0eed4b526753cfd82f","datavalue":{"value":{"time":"+2017-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2396580$195ABB53-3D46-4C7A-8A2B-9731ED1565D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa703e54192a6a713e75dfdd389ad67233473228","datavalue":{"value":"https://projecteuclid.org/euclid.tjm/1475723094","type":"string"},"datatype":"url"},"type":"statement","id":"Q2396580$4E48718A-625C-4B41-A598-736A582A1D04","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c57e5475318c931548097cf6085ec64d1669e98","datavalue":{"value":"This is a sequel to previous work of the authors [Tokyo J. Math. 34, No. 2, 407--428 (2011; Zbl 1270.11117); Math. Z. 246, No. 4, 733--767 (2004; Zbl 1067.11067)] on the subject mentioned in the title. Let $L/k$ be a finite abelian extension of totally real number fields. Fix an odd prime $p$ and denote by $k_\\infty/k$, $L_\\infty/L$ the cyclotomic $\\mathbb{Z}_p$-extensions. Suppose that $L\\cap k_\\infty=k$. Let $S$ be a finite set of primes of $k$, containing all ramifying primes in $L_\\infty$ (so $S$ automatically contains the set $S_p$ of primes above $p$). Let $\\mathcal X_L$ (resp. $X_L$) be the $S$-ramified (resp. $S_p$-ramified) Iwasawa module above $L_\\infty$. The Main Conjecture proved by Wiles roughly states that for any character $\\chi$ of $\\mathrm{Gal}(L/k)$, the characteristic ideal of the $\\chi$-quotient of $\\mathcal{X}_L$ generated by the $\\chi$-component of the $S$-truncated p-adic $L$-function $\\Theta_{L_\\infty/k}$ is contained in the Fitting ideal of the $\\Lambda_L$-module $\\mathcal{X}_L$, where $\\Lambda_L=\\mathbb{Z}_p[[\\mathrm{Gal}(L_\\infty/k)]]$. The authors can give a more precise link: assuming the vanishing of the $\\mu$-invariant of $\\mathcal{X}_L$, they show that $\\mathrm{Fitt}_{\\Lambda_L}(\\mathcal{X}_L)=T^{-1}\\mathfrak{A}_{L/k}\\Theta_{L_\\infty/k}$, where $T=\\gamma-1$ is the usual variable (with a generates topological generator $\\gamma$ of $\\mathrm{Gal}(L_\\infty/L)$) and $\\mathfrak{A}_{L/k}$ is the Fitting ideal of a certain second syzygy module, determined only by the $p$-Sylow subgroup of $\\mathrm{Gal}(L/k)$. \\par From now on, suppose further that $S$ is minimal, i.e. $S=\\mathrm{Ram}(L_\\infty/k)$. In relationship with the classical Main Conjecture, the authors naturally ask whether the $S$-truncated $p$-adic $L$-function $\\Theta_{L_\\infty/k}$ lies in the Fitting ideal of the $\\Lambda_L$-module $\\mathcal{X}_L$. The answer is ``no'' if the $p$-component of $\\mathrm{Gal}(L/k)$ is not cyclic. More precisely, let $K/k$ be a subextension of $L/k$ such that $K\\subset k(\\mu_p)^+$ and $\\mathrm{Gal}(L/K)\\cong(\\mathbb{Z}/p\\mathbb{Z})^s$. Assume the vanishing of the $\\mu$-invariant of $\\mathcal{X}_L$ as well as one of the following conditions: (i) $s=2$ and $L_\\infty/K_\\infty$ is $p$-ramified; (ii) $s=3$ and $L_\\infty/K_\\infty$ contains a $p$-ramified intermediate field $L''_\\infty$ such that $[L''_\\infty:K_\\infty]=p$; (iii) $s\\geq 4$. Then $(\\gamma-1)\\Theta_{L_\\infty/k}\\notin\\mathrm{Fitt}_{\\Lambda_L}(X_L)$. Under exactly the same conditions, but supposing that $K=k(\\mu_p)$ instead of $K\\subset k(\\mu_p)^+$, and that $L$ is CM instead of $L$ is totally real, one has $(\\gamma-\\kappa(\\gamma))\\theta_{L_\\infty/k}\\notin\\mathrm{Fitt}\\Lambda_L (A^\\vee_{L_\\infty})$, where $A_{L_\\infty}$ (resp. $\\theta_{L_\\infty/k}$) is the direct (resp. inverse) limit of the $p$-class groups (resp. of the Stickelberger elements) of the layers $L_n$.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2396580$499156FE-5E70-48D9-8575-0BAF2A3FB3EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396580$5FF77B6F-CA2D-4C37-A4F4-10772A23B71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396580$D289C002-A7C3-4B01-9E59-FD430B9DAFA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c006a5c70d874d27234410d7ccec88ae826d478","datavalue":{"value":"6727279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396580$BF0ED92C-1580-4E5B-A300-AD0CB2A550DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87aaa03cd527fec671ee46602d4a94f1128a5974","datavalue":{"value":"Fitting ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2396580$C60A652F-0DB7-496C-9C14-397D820921DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf0e977b257eda6b70faa23c2e8eef1ccbc8158d","datavalue":{"value":"Stickelberger elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q2396580$97F470AD-3183-4679-A7AA-33ECCD4F7212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e7ee7d27268fa7baa3b33a02e152363f897623e","datavalue":{"value":"dualized Iwasawa module","type":"string"},"datatype":"string"},"type":"statement","id":"Q2396580$8279B831-96D9-4264-A1EB-1634D5264268","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":"Q2396580$9825B643-43E1-4644-9957-61320708B6A1","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":"Q2396580$BB20D7E0-CED8-4D7D-AB9E-39A9A69CC1C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f62a013b428e5ed6dad68e73f0c33115a802a13","datavalue":{"value":"W2559435898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396580$B7CF1A22-93E2-4C10-887F-ED83167BB493","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ad9486f185d40b0e36a283a18d5f4ad357d596c","datavalue":{"value":"10.3836/TJM/1475723094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396580$213D5D75-A191-4B9F-88F6-812E033BEAB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b6348e4695c11ca3e3706d94576a3dc23163d4","datavalue":{"value":{"entity-type":"item","numeric-id":2064038,"id":"Q2064038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561e55ab960774b34721729c781124f3b1dfad71","datavalue":{"value":{"amount":"+0.8557224869728088","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":"Q2396580$CAE5E4C2-2C55-4FB5-AEC1-5EDA2CC87757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179c44398e9124d5806503691813258b0c6e839a","datavalue":{"value":{"entity-type":"item","numeric-id":2822784,"id":"Q2822784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b410ab90e0a5d0d19b2baa9b10d7531661f79272","datavalue":{"value":{"amount":"+0.8487032055854797","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":"Q2396580$147EBC9D-643C-471E-B53F-0358AE7C8801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4bed2f3939629581ee72196e632440e641161d","datavalue":{"value":{"entity-type":"item","numeric-id":4236049,"id":"Q4236049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af7bc2bd98b1b425a8bedbaa227ca46e49d6511","datavalue":{"value":{"amount":"+0.8435167074203491","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":"Q2396580$A1C11679-3DA6-44E5-86F3-6E05748DEAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46792a0aed08ca2ebc6cb8a59938a090640ee5f0","datavalue":{"value":{"entity-type":"item","numeric-id":4422794,"id":"Q4422794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d8c107019ba8c06462e82fd639fb408345edb0","datavalue":{"value":{"amount":"+0.8346378207206726","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":"Q2396580$EC924771-2635-4930-A962-2CBAEB6732AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192878dc6295ce5f6ee5ce53ee72ea7b4a57216b","datavalue":{"value":{"entity-type":"item","numeric-id":2042505,"id":"Q2042505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3ea7038f2ed2c75e490cd019f9e57bc1101b6ef","datavalue":{"value":{"amount":"+0.8326807022094727","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":"Q2396580$804D48BE-607D-4451-A7A0-1E8F47884497","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2396580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2396580"}}}}}