{"entities":{"Q549089":{"pageid":550856,"ns":120,"title":"Item:Q549089","lastrevid":62669337,"modified":"2026-04-11T07:39:40Z","type":"item","id":"Q549089","labels":{"en":{"language":"en","value":"Inductive construction of the \\(p\\)-adic zeta functions for noncommutative \\(p\\)-extensions of exponent \\(p\\) of totally real fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5917815"}},"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":"Q549089$8815BB56-0549-4382-A79C-528E22B4572A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dc8b51d0c973acc7185ea202e59602ed82389ad","datavalue":{"value":{"text":"Inductive construction of the \\(p\\)-adic zeta functions for noncommutative \\(p\\)-extensions of exponent \\(p\\) of totally real fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549089$827D84FA-0617-44F7-BD32-15371F0D3A1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2fc083f1fab29596011c2cff42bf0678800fd21","datavalue":{"value":"1238.11100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549089$E814BD9C-9FFB-4073-8972-11394FA0F638","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"867362ace4cc85103337176b22681b97815e7d3e","datavalue":{"value":"10.1215/00127094-1334013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549089$A5F0B711-4129-44E8-A7EB-2277D83A34C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4b3a3dab5a04d46888169dba03393c202ac7ad","datavalue":{"value":{"entity-type":"item","numeric-id":549088,"id":"Q549088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549089$1D75F240-C8D2-4D37-9130-C5379F58D86A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8d78105b574d85114159aeeb77fd1baaa47af9d","datavalue":{"value":{"entity-type":"item","numeric-id":247488,"id":"Q247488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549089$03E56749-EDC5-4680-9F1C-575475CEB1C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"235af9c0a6e9b35821fb203a52c353ab6dbd7661","datavalue":{"value":{"time":"+2011-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549089$67BF7182-433A-49E3-AB80-07B353E33E18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ac6202a8079e957accba113288cd8ce1046535e","datavalue":{"value":"https://arxiv.org/abs/0908.2178","type":"string"},"datatype":"url"},"type":"statement","id":"Q549089$EF5F578E-20C2-4A02-A538-9FDF3F1CDD07","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4f2d58d59b2f5363e495984eed51bbbcd32e6a7b","datavalue":{"value":"The author proves the Iwasawa main conjecture (IMC) for a certain family of non-commutative \\(1\\)-dimensional \\(p\\)-adic Lie extensions of totally real fields. Before we state the main theorem of the paper, we briefly recall the main ingredients of the IMC.  Let \\(F\\) be a totally real number field and \\(F^{\\infty} / F\\) a Galois extension with Galois group \\(G\\) satisfying the following conditions: \\(G\\) is a compact \\(p\\)-adic Lie group; only finitely many primes of \\(F\\) ramify in \\(F^{\\infty}\\); \\(F^{\\infty}\\) is totally real and contains the cyclotomic \\(\\mathbb{Z}_p\\)-extension of \\(F\\). Let \\(\\Lambda(G)\\) be the Iwasawa algebra of \\(G\\) and let \\(S\\) be the canonical Ore set for \\(G\\). Then there is a localization sequence  \\[ K_1(\\Lambda(G)) \\rightarrow K_1(\\Lambda(G)_S) \\overset{\\partial}{\\rightarrow} K_0(\\Lambda(G), \\Lambda(G)_S) \\rightarrow 0 \\]  and the canonical complex  \\[ C = C(F^{\\infty} / F) = R\\mathrm{Hom}(R \\Gamma_{et}( \\mathrm{Spec} (\\mathfrak{o}_{F^{\\infty}}[1 / \\Sigma], \\mathbb{Q}_p / \\mathbb{Z}_p),\\mathbb{Q}_p / \\mathbb{Z}_p) \\]  defines a class \\([C(F^{\\infty} / F)] \\in K_0(\\Lambda(G), \\Lambda(G)_S)\\). Here, \\(\\Sigma\\) is a finite set of primes of \\(F\\) containing all the infinite primes and all primes which ramify in \\(F^{\\infty}\\). Let us denote the cyclotomic character by \\(\\kappa\\) and the (complex) \\(\\Sigma\\)-truncated Artin \\(L\\)-function of an Artin representation \\(\\rho\\) of \\(G\\) by \\(L_{\\Sigma}(s, \\rho)\\). Then the IMC asserts that there is a (unique) element \\(\\xi_{F^{\\infty}/F} \\in K_1(\\Lambda(G)_S)\\) such that \\(\\partial(\\xi_{F^{\\infty}/F}) = - [C(F^{\\infty} / F)]\\) and ``evaluation'' of \\(\\xi_{F^{\\infty}/F}\\) at \\(\\rho \\kappa^r\\) yields an equality \\(\\xi_{F^{\\infty}/F}(\\rho \\kappa^r) = L_{\\Sigma}(1-r, \\rho)\\) for all natural numbers \\(r\\) divisible by \\(p-1\\).  The author considers \\(1\\)-dimensional \\(p\\)-adic Lie groups \\(G = G^f \\times \\Gamma\\), where \\(\\Gamma \\simeq \\mathbb{Z}_p\\) is the Galois group of the cyclotomic \\(\\mathbb Z_p\\)-extension and \\(G^f\\) is a finite \\(p\\)-group of exponent \\(p\\) and proves the IMC (up to its uniqueness statement) for \\(F^{\\infty} / F\\) provided that \\(p \\not=2\\) and the Iwasawa \\(\\mu\\)-invariant vanishes. The main tool of the proof is a technique first proposed by David Burns. This reduces the IMC to certain congruences between abelian \\(p\\)-adic pseudomeasures in the spirit of the congruences of \\textit{J.~Ritter} and \\textit{A.~Weiss} [Math. Res. Lett. 15, No. 4, 715--725 (2008; Zbl 1158.11047)].  As an application, the author proves the \\(p\\)-part of the equivariant Tamagawa number conjecture for the Tate motive \\(h^0(\\text{Spec}(F'))(1-r)\\) with coefficients in \\(\\mathbb Z[\\text{Gal}(F'/F)]\\) for any finite Galois extension \\(F'\\) of \\(F\\) inside \\(F^{\\infty}\\) and any positive integer \\(r\\) divisible by \\(p-1\\) (under the same hypotheses).  The reviewer would like to point out that recent work of \\textit{J.~Ritter} and \\textit{A.~Weiss} [J. Am. Math. Soc. 24, No. 4, 1015--1050 (2011; Zbl 1228.11165)] has led to a full proof of the IMC (up to its uniqueness statement) in the \\(1\\)-dimensional case provided that \\(\\mu\\) vanishes. Independently, \\textit{M.~Kakde} [The main conjecture of Iwasawa theory for totally real fields, preprint; see J. Algebr. Geom. 20, No. 4, 631--683 (2011; Zbl 1242.11084)] gave a proof which covers the case of higher dimensional \\(p\\)-adic Lie extensions as well. Finally, \\textit{D.~Burns} [``On main conjectures in non-commutative Iwasawa theory and related conjectures'', preprint] has also shown that the higher dimensional case reduces to the \\(1\\)-dimensional case, and that the \\(p\\)-part of the equivariant Tamagawa number conjecture for the Tate motive \\(h^0(\\text{Spec}(F'))(1-r)\\) with coefficients in \\(\\mathbb Z[Gal(F'/F)]\\) holds (if \\(\\mu=0\\)) for any finite extension of totally real number fields \\(F'/F\\) and any positive even integer \\(r\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q549089$EFFF04F1-95EA-4FB2-ACFD-BBEEA1DB9EF1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bbb05639dd8acf989058b50b654e8b5fc060130f","datavalue":{"value":{"entity-type":"item","numeric-id":323739,"id":"Q323739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549089$B0373D14-3B4B-4DD0-9B56-78B7DAFC1084","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549089$CCC412E1-23B7-4A11-83B1-1E7A5FA291D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"60812a381dd95773e68c54b90aa92d52a1e9cecb","datavalue":{"value":"11R42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549089$9DFFCDEC-C750-4820-BC57-C77D5749CB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c58c91ba6ac947e2fd708917bdc5cad0e229b528","datavalue":{"value":"11R80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549089$10FB613D-792A-416D-968C-6E424B5EC11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfa2c91b10f30155e42c23ba83349e21265a794b","datavalue":{"value":"19B28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549089$8CDB45CA-ED2E-43A9-B43A-D224D935259C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcd0e0a6a5f0893a59b435a4433801772436bf32","datavalue":{"value":"5917815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549089$650FE0CD-FFCE-48FD-9772-CA0733C14861","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00db28dc061e47ae88e7395bdd963b9a4fa07bf5","datavalue":{"value":"Iwasawa main conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q549089$30354E2B-A197-449D-99B7-5B779CBBABF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156428de92962016733a3087103e3cc52ce3e90a","datavalue":{"value":"L-functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q549089$7A0B77C9-2BEE-4A55-932B-2FE63BFFE176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a02d1cb8d6e22694bd4f7f2b54e2494f651d3f3d","datavalue":{"value":"Tamagawa number conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q549089$E7745262-F1B6-47E4-BE68-921EE6B52990","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":"Q549089$5AE72649-9E01-4A78-AD91-803FA0D1F010","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2160d80dcc1a1d7cd3916dc1fa79d522b1023327","datavalue":{"value":"W3098533729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549089$4554B398-B0E3-4AFB-ABBD-160E57E3A1BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42536ea5d267562badc005816eef97f95491d8e1","datavalue":{"value":{"entity-type":"item","numeric-id":3639888,"id":"Q3639888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc61466138b4350a2e5f14533c0035dfa9990a1","datavalue":{"value":{"amount":"+0.8395439386367798","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":"Q549089$12CD896E-C519-4B46-B5ED-01BD63304FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7e8ff2b3d9c23853451ca1a96279f94b422716","datavalue":{"value":{"entity-type":"item","numeric-id":3173520,"id":"Q3173520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a3461c841e834c786ee0f8e7d00c8d9ec0f742","datavalue":{"value":{"amount":"+0.8087916970252991","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":"Q549089$F6142F68-2E2F-4CDB-9D19-761E8ABC1FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837583eea502bf5bd41a34bb78221edaa9882f9a","datavalue":{"value":{"entity-type":"item","numeric-id":3144691,"id":"Q3144691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb3c5aeeade90ffba8d8acb1e1d9c62b2161b91","datavalue":{"value":{"amount":"+0.785954475402832","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":"Q549089$79028136-E8E8-407E-9613-990C95B526DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e240800bc9be5a8bd534d59a753ad1418d84be0","datavalue":{"value":{"entity-type":"item","numeric-id":963008,"id":"Q963008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056d3cfe80b82bc9bd9ec0c723abf7bafabfbc1e","datavalue":{"value":{"amount":"+0.7784386277198792","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":"Q549089$A9F7B68F-5FED-43E8-8EC9-7C184CC0FD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87107b3468941754e15eff5b2709376d8f379e5b","datavalue":{"value":{"entity-type":"item","numeric-id":2319416,"id":"Q2319416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c18e9d4a637e169629c19fc96017079585f613","datavalue":{"value":{"amount":"+0.7714150547981262","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":"Q549089$E6C06E07-F4B0-4C37-A2CC-CAD5E3C961AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive construction of the \\(p\\)-adic zeta functions for noncommutative \\(p\\)-extensions of exponent \\(p\\) of totally real fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_construction_of_the_%5C(p%5C)-adic_zeta_functions_for_noncommutative_%5C(p%5C)-extensions_of_exponent_%5C(p%5C)_of_totally_real_fields"}}}}}