{"entities":{"Q462699":{"pageid":464466,"ns":120,"title":"Item:Q462699","lastrevid":62045493,"modified":"2026-04-11T03:24:54Z","type":"item","id":"Q462699","labels":{"en":{"language":"en","value":"Characteristic ideals and Iwasawa theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6359494"}},"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":"Q462699$A6DC9BEC-D0E6-450B-82E3-6D8B9E339D2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d27a6132a8998208192ddb99a5aafd7870be89a1","datavalue":{"value":{"text":"Characteristic ideals and Iwasawa theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q462699$D5366F34-200F-43A6-84FF-1758D885B030","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29ac1df911f1782953e67ad88fd601949461b8d6","datavalue":{"value":"1361.11065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462699$30B032C8-7F38-4D8A-842A-425AC687AC1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e0e1d51460f4e74e295be82a30122f541f8da17","datavalue":{"value":{"entity-type":"item","numeric-id":462697,"id":"Q462697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462699$8483A6A5-5762-45C9-9E00-B0B218F5524E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adf6d3e25f6890261cbb8114b8a19ed43ab09d5c","datavalue":{"value":{"entity-type":"item","numeric-id":462698,"id":"Q462698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462699$6CA41514-1413-4604-898C-8299866ADFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd9d69886d08ad2751ade3cf0b922c9a8edf0260","datavalue":{"value":{"entity-type":"item","numeric-id":592228,"id":"Q592228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462699$950A839D-9969-4E1E-BF71-40FE4C6C37CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"67c80c0302a3afef383579ecf23bcd6250b145c1","datavalue":{"value":{"entity-type":"item","numeric-id":168484,"id":"Q168484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462699$E9EB33F7-6FD8-474F-843C-649B88BCCA63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8aab91090adac2ef689d8084ca227fd51618d22f","datavalue":{"value":{"time":"+2014-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q462699$47FC850B-9C83-4929-A136-6CEE30C34C45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"412500af356cac40b3eac06a3644d5fe1751abf7","datavalue":{"value":"https://arxiv.org/abs/1310.0680","type":"string"},"datatype":"url"},"type":"statement","id":"Q462699$A5609005-FF75-4089-9A61-972EBA7FC531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f3e3bbc749968c6df64064a48de00a9fdfbdf45","datavalue":{"value":"http://www.emis.de/journals/NYJM/j/2014/20-38.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q462699$A9B600DE-F610-4317-9A75-ED7EEC3B7A70","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":"Q462699$3661B40D-2DEF-44A5-9779-6A32C7C3239B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462699$52F0FB10-0BFD-4A5A-9402-DC1DD7E4464D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50ee67d9d4438349bdf7aacbe2911ee07a4388dc","datavalue":{"value":"13F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462699$58801724-0C62-45EF-B4D2-102B3DCE78A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adbd9258576dc2b98991dfa109ddc87b3caddfc4","datavalue":{"value":"6359494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462699$30260CC5-D048-4D9E-81CC-53B09A737695","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dbdbb815c234e59efb362d9621949fefc3deb66","datavalue":{"value":"Krull domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q462699$1BFA0BA9-ED85-4490-962B-F0F3CDEC8651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fee8deb0fa961ef4fcee40dbfbf1982b51faafd","datavalue":{"value":"characteristic ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q462699$9CF559CB-BC19-418B-A8F0-CDD47BC3FDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70032e71995505ba6babffe0368734bd3ce03d6f","datavalue":{"value":"function fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q462699$BA4322C9-A842-45C5-A7D6-16C6D9D8280A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fcbc1823f2622f821102f0ac4dec670d0b12e06","datavalue":{"value":"divisor classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q462699$19EB15A2-615A-4A23-B445-630275A09520","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":"Q462699$269B4482-1620-4A81-8E21-267075CCF8D6","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"c453241b45c6707426258f3bd2879288987a184f","datavalue":{"value":"bafkreihz2zujhqn4z3bi4yznsjslvkkvcptaavvenzs6svzs3bhghuoikm","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462699$5F20DECA-A645-4A44-B53B-2D4A325D0024","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19079d37e863eec130075edad37036a1223f835d","datavalue":{"value":"Let \\(A\\) be a Noetherian Krull domain and \\(M\\) a finitely generated torsion \\(A\\)-module. The structure theorem for such modules asserts that \\(M\\) is pseudo-isomorphic to an elementary module of the form \\(\\bigoplus_{1\\leq i\\leq n} A/\\mathcal{P}_i^{e_i}\\), where the \\(\\mathcal{P}_i\\)'s are height 1 prime ideals of \\(A\\). This allows to define an important invariant of \\(M\\), the characteristic ideal \\(\\mathrm{Ch}_A(M) :=\\prod_{1\\leq i\\leq n} \\mathcal{P}_i^{e_i}\\), which plays a major role in the (commutative) Iwasawa theory for global fields, where \\(A\\) is the complete group algebra \\(\\mathbb{Z}_p[[\\Gamma]]\\) of an abelian \\(p\\)-adic Lie group \\(\\Gamma\\). A classical example is \\(\\Gamma \\cong \\mathbb{Z}_p^d\\) when studying multiple \\(\\mathbb{Z}_p\\)-extensions of global fields, in which case \\(A\\) is isomorphic (non canonically) to the power series ring \\(\\mathbb{Z}_p[[t_1,\\dots,t_d]]\\). But over a function field \\(F\\) of characteristic \\(p\\), extensions \\(\\mathcal{F}/F\\) with \\(\\mathrm{Gal}(\\mathcal{F}/F) \\cong \\mathbb{Z}_p^\\infty\\) occur naturally, in which case the Noetherian setting is no longer adapted and the above definition of the characteristic ideal no longer applies. One way out is to consider a filtration of \\(\\mathbb{Z}_p^d\\)-extensions for \\(\\mathcal{F}\\), define the characteristic ideals at the \\(\\mathbb{Z}_p^d\\)-levels and then pass to the inverse limit.NEWLINENEWLINEThe authors' main technical theorem reads: ``Let \\(\\{\\Lambda_d\\}_{d\\geq 0}\\) be an inverse system of Noetherian Krull domains such that \\(\\Lambda_d \\cong \\Lambda_{d+1} /\\mathcal{P}_{d+1}\\) and \\(\\Lambda_{d+1} \\cong \\varprojlim \\Lambda_{d+1} /\\mathcal{P}_{d+1}^n\\) for any \\(d \\geq 0\\) (where \\(\\mathcal{P}_{d+1}\\) is a principal prime ideal of \\(\\Lambda_{d+1}\\) of height \\(1\\)). Let \\(\\Lambda := \\varprojlim \\Lambda_d\\) and consider a finitely generated \\(\\Lambda\\)-module \\(M = \\varprojlim M_d\\) (where each \\(M_d\\) is a \\(\\Lambda_d\\)-module). Assume for any \\(d \\geq 1\\) the two following properties: (1) The \\(\\mathcal{P}_d\\)-torsion submodule of \\(M_d\\) is \\(\\Lambda_{d-1}\\)-pseudo-null , and (2) \\(\\mathrm{Ch}_{\\Lambda_{d-1}}(M_d /\\mathcal{P}_d)\\subseteq \\mathrm{Ch}_{\\Lambda_{d-1}}(M_{d-1})\\). Then the ideals \\(\\mathrm{Ch}_{\\Lambda_d}(M_d)\\) form a projective system (w.r.t. the connecting homomorphisms defining \\(\\Lambda\\)).''NEWLINENEWLINEThis allows to define the \\(\\Lambda\\)-pro-characteristic ideal \\(\\widetilde{\\mathrm{Ch}}_{\\Lambda}(M) := \\varprojlim \\mathrm{Ch}_{\\Lambda_d}(M_d)\\).NEWLINENEWLINEApply this to the Iwasawa theory for class groups in function fields: \\(F\\) is a global function field of characteristic \\(p\\); let \\(\\mathcal{F}/F\\) be a \\(\\mathbb{Z}_p^\\infty\\)-extension with Galois group \\(\\Gamma\\) and Iwasawa algebra \\(\\Lambda\\), unramified outside a finite set of places \\(S\\); choose a \\(\\mathbb{Z}_p\\)-basis \\(\\{\\gamma_i\\}_{i\\in\\mathbb{N}}\\) for \\(\\Gamma\\) and for any \\(d\\geq 0\\), let \\(\\mathcal{F}_d \\subset \\mathcal{F}\\) be the fixed field of \\(\\{\\gamma_i\\}_{i>d}\\). Assume that no place in \\(S\\) splits completely in \\(\\mathcal{F}_1\\) (there is no loss of generality). For any finite extension \\(L\\) of \\(F\\), let \\(\\mathcal{M}(L)\\) be the pro-\\(p\\)-completion of the group of divisor classes of \\(L\\) and \\(\\mathcal{A}(L)\\) the kernel of the degree map \\(\\mathrm{deg}_L : \\mathcal{M}(L) \\to \\mathbb{Z}_p\\). Suppose from now on that the (finitely many) ramified places of \\(\\mathcal{F}/F\\) are totally ramified. Let \\(\\mathcal{A}(F) := \\varprojlim \\mathcal{A}(F_d)\\).NEWLINENEWLINEThe main technical theorem applies and allows to define the \\(\\Lambda\\)-pro-characteristic ideal \\(\\widetilde{\\mathrm{Ch}}_{\\Lambda}(\\mathcal{A}(\\mathcal{F})) := \\varprojlim \\mathrm{Ch}_{\\Lambda_d}(\\mathcal{A}(\\mathcal{F}_d))\\), which is independent of the filtration \\(\\{\\mathcal{F}_d\\}\\). Recall that in the appendix of [\\textit{D. Burns}, Invent. Math. 184, No. 2, 221--256 (2011; Zbl 1234.11080)], Burns, Lai and Tan have proved the geometric Iwasawa main conjecture (GIMC) at finite level: \\(\\mathrm{Ch}_{\\Lambda_d}(\\mathcal{A}(\\mathcal{F}_d))=(\\theta_{S,\\mathcal{F}_d/F})\\), where \\(\\theta_{S,\\mathcal{F}_d/F}\\) is the classical Stickelberger element.NEWLINENEWLINEThe main technical theorem above yields the following non Noetherian GIMC: \\(\\widetilde{\\mathrm{Ch}}_{\\Lambda}(\\mathcal{A}(\\mathcal{F})) := \\varprojlim (\\theta_{S,\\mathcal{F}_d/F}):= (\\theta_{S,\\mathcal{F}/F})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q462699$E1F19939-B382-42D2-9CAA-3A7718EECAB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f01cde3d0534fd9e2dadb0faf48dc32760e6bc","datavalue":{"value":{"entity-type":"item","numeric-id":2517149,"id":"Q2517149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3dca6110ae38b852a722c47148499ed9912f99","datavalue":{"value":{"amount":"+0.808597207069397","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":"Q462699$3A5E9069-DF07-4BAB-9064-BFBFC332CEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f673ca7217ad92335aeddffd5f7271d3e36b7d0","datavalue":{"value":{"entity-type":"item","numeric-id":5462983,"id":"Q5462983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dccdc97d07f11c2f48f26c3f54aa3ff5305115e6","datavalue":{"value":{"amount":"+0.8072850704193115","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":"Q462699$865EE657-CD6B-4308-8F58-DF9260881AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e4f34b589cac574827d94e91750966441af766b","datavalue":{"value":{"entity-type":"item","numeric-id":4437540,"id":"Q4437540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376438eca31a0d8fdc9c62c366c5556ad3930eff","datavalue":{"value":{"amount":"+0.7945175766944885","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":"Q462699$971F26F5-009A-4CAF-978C-C598D2422BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbf74057105657fbabd3d902004d72529e5502f","datavalue":{"value":{"entity-type":"item","numeric-id":4650528,"id":"Q4650528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6903412ccab61b1f2ba80b68029e0940485d366","datavalue":{"value":{"amount":"+0.7887018918991089","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":"Q462699$278E4A89-A657-4C19-9E31-ED1D4A190945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e2234da45286a84f519bfedb3c0d29204542628","datavalue":{"value":{"entity-type":"item","numeric-id":2197706,"id":"Q2197706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d35e1a38679e64be7d487e20988b7c9ef2859344","datavalue":{"value":{"amount":"+0.7884156703948975","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":"Q462699$437790AB-EA9E-4EF9-B4E9-ECA486163631","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characteristic ideals and Iwasawa theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characteristic_ideals_and_Iwasawa_theory"}}}}}