{"entities":{"Q4811237":{"pageid":6840817,"ns":120,"title":"Item:Q4811237","lastrevid":109441268,"modified":"2026-11-12T10:35:02Z","type":"item","id":"Q4811237","labels":{"en":{"language":"en","value":"Greenberg's conjecture and cyclotomic towers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2092469"}},"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":"Q4811237$85C690CD-481A-43D8-B1B8-5934B9C4BC16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f77448374c8e634b336ff4a45931fb0471c56e3f","datavalue":{"value":{"text":"Greenberg's conjecture and cyclotomic towers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4811237$4B7D2EFB-9F52-4130-9401-52D384020862","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce6ab1703907cf54eb73c287772ba9c2b837e1f0","datavalue":{"value":"1056.11064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4811237$A9FF5265-9055-4538-B7DD-28B65826CE10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f567e08b927cca43908a22adceedce84a0e4b9","datavalue":{"value":{"entity-type":"item","numeric-id":219465,"id":"Q219465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4811237$B69CE199-B88F-4D4D-9622-7CAE95AF36FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7c377eb9eca9d4544de709b24b4ac445c513847","datavalue":{"value":{"entity-type":"item","numeric-id":2590509,"id":"Q2590509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4811237$D8642676-B23C-4F10-BEE0-4B6F67A801D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"463067c8e8e529ce18cf21cfb6f57b3026a04287","datavalue":{"value":{"time":"+2004-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4811237$5EDF641D-A5BC-477F-9138-F6A824322B86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b67ddc08c8d5299af8cc8ffaecc50fd45834a44","datavalue":{"value":"https://arxiv.org/abs/math/0109229","type":"string"},"datatype":"url"},"type":"statement","id":"Q4811237$0D4526C9-008E-4E3B-83E0-B3FE2948288E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c16d1c5b84cbd580b26c6642472e41a20f74b851","datavalue":{"value":"http://journals.impan.gov.pl/aa/Inf/113-1-1.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4811237$591D45C0-66D0-4765-8C94-12F43FB0F4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"97da694d92bca411342ed90a592c5ac6a272d332","datavalue":{"value":"https://www.impan.pl/en/publishing-house/journals-and-series/acta-arithmetica/113/1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4811237$9C940308-5C54-4D00-B897-B9AF2D26C256","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4811237$697E9014-62E4-484D-8FC3-ABE2CD1CD9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4811237$EEC72680-6730-4AC8-9EFD-74FC868E85BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5da175760837221b1255b8d6d71ae4d17a89f801","datavalue":{"value":"11R32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4811237$15E838FD-392E-4A71-BE93-3A471BA56FEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad7b3f3e55117fe6ba39659291d379df06f80647","datavalue":{"value":"2092469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4811237$0A8EB407-6CA6-432C-A72B-E180F940A162","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81de39553caa2c042cc65d6781dcb2c26750423d","datavalue":{"value":"Iwasawa theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4811237$C25805F9-FAC3-4323-9C56-ECFE95B1C5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d53bc52ad4c06decd02a893990ee80a455ca983e","datavalue":{"value":"pseudo-null modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4811237$F9EDBD3E-BE99-4A88-A16B-2B18B5B61E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a725872061418edbc7b3009c8d9db8ccd822e180","datavalue":{"value":"Kummer theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4811237$CA24DDC0-6B02-4358-855C-C48AF03CD3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2408797b3e672b9d078cc4d3091344295280d8b","datavalue":{"value":"Greenberg's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q4811237$87382C5F-8435-46D8-A6B4-C625794C7F6D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"696d890571c0b7bcb3dcf1c51100b59f5eac8ca9","datavalue":{"value":"Q122975376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4811237$70307FD6-CDF7-4430-8278-994947C8C591","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":"Q4811237$1640E727-3EB8-4448-8C36-65F7E6344594","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e69a6b056e9a58fb94640fefb5ffd37c66cd34ed","datavalue":{"value":"W1972954111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4811237$DB3A792B-38D5-42A8-AA97-16C68DFA5162","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43fa9c95d92dfdf8575d1e819f045cde41f2005c","datavalue":{"value":"10.4064/AA113-1-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4811237$FD8CC759-6680-4219-8849-1292834287E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99de39d8dd59c0ba747e17aed3179c4ecb583f8d","datavalue":{"value":{"entity-type":"item","numeric-id":2322855,"id":"Q2322855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9312c302b3fd7a3b29f9ee0b11f702c9ebd510ef","datavalue":{"value":{"amount":"+0.920102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4811237$66824CC6-9F1E-45D1-A54F-60587FA76846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f6e881f9f26df135192ed0649efcef8c87cd405","datavalue":{"value":{"entity-type":"item","numeric-id":3562941,"id":"Q3562941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7876cc6be9cb5ab1c26cd6040b6162565db1f32b","datavalue":{"value":{"amount":"+0.9116679","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4811237$B4F67FDB-7E92-4A10-85ED-A6A6EF1993A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc706c2ee8a9e6b875132d280d4bdc375c9396f9","datavalue":{"value":{"entity-type":"item","numeric-id":4889939,"id":"Q4889939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22a92df044be9c6efcf960464a2996d9c2116457","datavalue":{"value":{"amount":"+0.909124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4811237$8E43B5BC-D20A-49E1-A547-D41B95DAD081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29eeb022047d0800bdcdbf6325ad190cdacd8bdd","datavalue":{"value":{"entity-type":"item","numeric-id":1127010,"id":"Q1127010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74536559d925c643551d220bc23d59b7e994ff8b","datavalue":{"value":{"amount":"+0.90766156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4811237$FFDD5B01-1877-4519-B6B2-3C701B9857BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a7f30ce96b28773cbd986087946120dee3dc6be","datavalue":{"value":{"entity-type":"item","numeric-id":4484432,"id":"Q4484432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc50f6ecfca5c7edb1c880f663698ac9a70d047","datavalue":{"value":{"amount":"+0.9067706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4811237$E2332158-446D-4DD5-80BE-171DDF45F3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ab235867e33911d4d7b53a44611af3a68de425","datavalue":{"value":{"entity-type":"item","numeric-id":5070548,"id":"Q5070548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f773351a8c13810c8ecd4dd6b07842ba980ce67","datavalue":{"value":{"amount":"+0.90595347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4811237$479693F0-3F6E-45D8-BFBF-933A494E10FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99fe385bf8ef2652c8f5eded34f8787e6e4a379","datavalue":{"value":{"entity-type":"item","numeric-id":1594777,"id":"Q1594777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168a4615a3327b57d92fac7db6da6b4193ff6674","datavalue":{"value":{"amount":"+0.9019259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4811237$B7E00FDF-F5D8-44A4-9E0F-1F54BBF173E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397586ebdceeb8847250c88b3e1d3a250d13263d","datavalue":{"value":{"entity-type":"item","numeric-id":330453,"id":"Q330453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"655ea762f56a9ce376dad5f05f3c18fa2c08b881","datavalue":{"value":{"amount":"+0.90129054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4811237$C55263AA-E9C3-4045-AF18-D858BD4B874B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44246f0fbdfea699e023af37b95301862b186ce","datavalue":{"value":{"entity-type":"item","numeric-id":4673149,"id":"Q4673149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32cbeff31132b879f42550791385daf361f50220","datavalue":{"value":{"amount":"+0.8998258","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4811237$AF54810D-ECF3-49DA-9472-BB31CBBCE16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef546f6371fb7d1b3994ae2959fd5fd1cc7ff1e","datavalue":{"value":{"entity-type":"item","numeric-id":3104188,"id":"Q3104188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd7e794ab4d72a8956edc542af8d34120d7de022","datavalue":{"value":{"amount":"+0.8981111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4811237$A42F1536-510F-4569-9BC8-2AE6B2482483","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b72732c69d93505b999fab086ddf122897efcdef","datavalue":{"value":"Let \\(K\\) be a number field and \\(K_\\infty/K\\) a pro-\\(p\\)-extension with Galois group \\(\\Gamma\\cong\\mathbb Z_p^n\\). To this situation one attaches an Iwasawa algebra \\(\\Lambda=\\mathbb Z_p[[\\Gamma]]\\) and various natural Iwasawa modules, first and foremost the module \\(X\\) which is the inverse limit of the \\(p\\)-parts of \\(\\text{cl}(F)\\) where \\(F\\) runs through the finite subextensions of \\(K_\\infty/K\\). Greenberg's conjecture in the old sense states that \\(X\\) is finite whenever \\(K\\) is totally real and \\(K_\\infty\\) is the cyclotomic \\(\\mathbb Z_p\\)-extension. (Note here that \\(K_\\infty\\) is the only \\(\\mathbb Z_p\\)-extension of \\(K\\) if \\(K\\) is totally real and satisfies Leopoldt's conjecture for \\(p\\).) This paper discusses results and connections for Greenberg's conjecture in a new sense, where \\(K_\\infty\\) is now \\(\\tilde K\\), the compositum of all \\(\\mathbb Z_p\\)-extensions of \\(K\\). The new version states that \\(X\\) should be pseudo-null (i.e., should have annihilator of height at least two) for any \\(K\\), real or otherwise. The casual reader should be advised that in the paper under review, ``Greenberg's conjecture'' is always understood in the \\textit{new} sense from p.2 onwards; sometimes it is also called ``the pseudo-null conjecture''. The main result of the paper shows that Greenberg's conjecture (new) for the field \\(\\mathbb Q(\\zeta_{p^n})\\) follows from the following three conditions: (1) Vandiver's conjecture for \\(p\\) (this is a statement at bottom level: the class number of \\(\\mathbb Q(\\zeta_p)^+\\) is prime to \\(p\\); but it is equivalent to say that for some, or for all \\(n>0\\), the class number of \\(\\mathbb Q(\\zeta_{p^n})^+\\) is prime to \\(p\\)). The second hypothesis is (2) \\(\\lambda_p=1\\). The third condition (3) is an inequality \\(a\\leq b\\), where \\(a\\) is the \\(p\\)-part of the index \\([U:\\overline E]\\) in \\(\\mathbb Q(\\zeta_p)\\) (local units modulo \\(p\\)-adic closure of the global units), and \\(b\\) is the \\(p\\)-part of the class number of \\(K\\). Heuristical and experimental evidence seems to confirm that (2) should hold for roughly 75\\ Condition (3) involves a certain subtlety: the number \\(a\\) is gotten from values of \\(p\\)-adic L-functions at 1, and the number \\(b\\) from values at 0. From existing tables one only finds cases where (3) holds, but apparently no general proof is available; under a naive assumption that a certain coefficient in the L-series is ``random'', one should expect (3) to hold with a very thin set of exceptions. Condition (1) of course is an old unproven and quite recalcitrant conjecture (there even have been opinions questioning its validity), which is by the way stronger than Greenberg's conjecture in the old sense for \\(\\mathbb Q(\\zeta_p)^+\\). The paper also contains several equivalent formulations of the new version of the conjecture, as well as a going-up result (Theorem 6): the validity for \\(K\\) implies the validity for any finite subextension \\(F\\) of \\(\\widetilde K/K\\), under three assumptions again, one of which is Leopoldt's conjecture.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4811237$CA21D952-4976-4ED5-B419-45A3E182DF23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Greenberg's conjecture and cyclotomic towers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Greenberg%27s_conjecture_and_cyclotomic_towers"}}}}}