{"entities":{"Q2927747":{"pageid":2938467,"ns":120,"title":"Item:Q2927747","lastrevid":42514150,"modified":"2025-07-01T10:12:01Z","type":"item","id":"Q2927747","labels":{"en":{"language":"en","value":"On restricted ramifications and pseudo-null submodules of Iwasawa modules for \\(\\mathbb{Z}^2_p\\)-extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6365670"}},"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":"Q2927747$648F96FC-754C-4D88-89FE-65E166CC9419","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a372f48e57ef55f5dd5eac287eee11912305b20","datavalue":{"value":"1316.11098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2927747$64BCC4A0-7620-40A4-B98F-25C8DADE4158","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"443a019f9fe51dcf4e3766cd8f9a4c0de70b021c","datavalue":{"value":{"entity-type":"item","numeric-id":852531,"id":"Q852531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2927747$BFB4B30D-4345-4FC5-8EAF-7690A57FD45F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05abf2dbc2f0a908bef50ea9b8f6fae21a49dd4f","datavalue":{"value":{"time":"+2014-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2927747$A7D76D29-CFAB-46CB-BD6A-337DEC8CAB28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2927747$20BD6111-6368-4061-B7F0-61A8C7FE08BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2927747$F66ADB9D-7A26-4197-9E92-45C6F7752738","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbed7426c1cc3e79ce0340dfd95746da9f7d1254","datavalue":{"value":"6365670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2927747$5EF73543-CCCE-4AF6-AE06-CD5F4503AD9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81de39553caa2c042cc65d6781dcb2c26750423d","datavalue":{"value":"Iwasawa theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2927747$6BB284F0-F693-405C-9796-F99B507CEE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2408797b3e672b9d078cc4d3091344295280d8b","datavalue":{"value":"Greenberg's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2927747$34BE13D1-DABE-43A1-9F1D-97FB3603A652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51ceaf469c491f3481b7d625a595c4de89ea549d","datavalue":{"value":"\\(p\\)-adic \\(L\\)-functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2927747$EE4B0E86-D4AE-43F0-96C1-BB0024EF99BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb348edbab5d514d3689dfbe4f482cc4091f8ca","datavalue":{"value":"\\(\\mathbb Z^2_p\\)-extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2927747$B1100F02-3BAA-4BA8-AB06-B76458B8F137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60271b0c6b849700b5fcce277eb9663dffb83718","datavalue":{"value":"Iwasawa modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2927747$1EBAF5D7-0AD1-46DC-913B-F43F7E2C04D8","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":"Q2927747$99A7F93C-6620-41DF-823F-576F0DD07B6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d21240eba248a3d2ad7bacccc14129f5bd4913","datavalue":{"value":{"entity-type":"item","numeric-id":3562945,"id":"Q3562945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c267da879b1e1802cbb3f0b495ec6bfdc78a5f","datavalue":{"value":{"amount":"+0.9656873","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":"Q2927747$68A7B2B7-4997-4617-B2C8-F2787AF9CBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbc6a319fa048dca66e566b96b0621578d05a08","datavalue":{"value":{"entity-type":"item","numeric-id":2454943,"id":"Q2454943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b1fb51435fb698a22459592577f611b189e28de","datavalue":{"value":{"amount":"+0.9545932","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":"Q2927747$18D18315-D419-4BB4-BEF8-7A94E0A94C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee222f494341a485689c563b58edf48dc3922ba","datavalue":{"value":{"entity-type":"item","numeric-id":5223354,"id":"Q5223354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0c9fc634399299c5f7e6923a5a9d1a49f48112","datavalue":{"value":{"amount":"+0.9282176","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":"Q2927747$DB5BA17C-A828-4AE7-A003-62FA2D504E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f452a1d7941c9d06ef2a75e9a9cd41762e973f9","datavalue":{"value":{"entity-type":"item","numeric-id":1025900,"id":"Q1025900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82ccb3855f13606302d1bfafa279f263df8bed1","datavalue":{"value":{"amount":"+0.9160703","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":"Q2927747$91C9453A-D671-46E9-9F75-9E2BB796EF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae48eca2b45678b23b29801eea1f7a1303f7546","datavalue":{"value":{"entity-type":"item","numeric-id":4484449,"id":"Q4484449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5b3cc347416d4bf7b250921803a799e2c28a07","datavalue":{"value":{"amount":"+0.9140001","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":"Q2927747$9EA68E79-BC5C-4445-BC6D-8E944E34DF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a1584302f9dbaa0122f64156a2d8afcf24d51f","datavalue":{"value":{"entity-type":"item","numeric-id":2086425,"id":"Q2086425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace76c3f1e5bda5e3c2e5f4b7c7299316770273a","datavalue":{"value":{"amount":"+0.9117741","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":"Q2927747$F7BAC88C-0275-4672-A134-FC7B49A42B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a658d947fdd95ac8795bc877e84c977a6b7c60a3","datavalue":{"value":{"entity-type":"item","numeric-id":2339629,"id":"Q2339629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b69e30484b744e6fdbbf793424ebba17a43b177","datavalue":{"value":{"amount":"+0.9054977","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":"Q2927747$DF87A355-01B6-41E0-8BC2-DE8076BF9919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acf2d42704c6230377c9e9a58e1816c9e41a5265","datavalue":{"value":{"entity-type":"item","numeric-id":3027110,"id":"Q3027110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f20ec6d4f70a39cb1e4c1d0dd764ce67da67af7","datavalue":{"value":{"amount":"+0.90168864","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":"Q2927747$5E53815F-8521-4200-A51A-3D81ABD1DCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d61dc3a6e2647610c2618641e630f4e3acecfc","datavalue":{"value":{"entity-type":"item","numeric-id":2850704,"id":"Q2850704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca1ad86202c76d94d6fcbaaafc73d5d70759567","datavalue":{"value":{"amount":"+0.9005575","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":"Q2927747$7A59D825-E819-4223-9018-98B0FF4580EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f155d933de1dde3af6ddbc3aa92f68a947a37c","datavalue":{"value":{"entity-type":"item","numeric-id":1885103,"id":"Q1885103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c202220fe575a80c07cd52a871fe522d4d56a971","datavalue":{"value":{"amount":"+0.8996968","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":"Q2927747$11B8CD49-C5B6-46D1-9C73-19B26CF46519","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54b1c4b62b22da1d2306b167fc3a917d1f4d2553","datavalue":{"value":{"text":"On restricted ramifications and pseudo-null submodules of Iwasawa modules for \\(\\mathbb{Z}^2_p\\)-extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2927747$5CA70FE4-5D8B-44DA-83A0-BB270B94FFEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1bcee85900ef50ef5f0f2cfafa7cc685f2eae639","datavalue":{"value":{"entity-type":"item","numeric-id":6492428,"id":"Q6492428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2927747$BFAE01F4-E6C9-4101-8B09-42507F0A5618","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6511aee06fb301dc01d8fa179a9fc5e8f095834b","datavalue":{"value":"Let \\(p\\) be an odd prime, \\(k/{\\mathbb Q}\\) a finite extension and \\(k_{\\infty}/k\\) the cyclotomic \\({\\mathbb Z}_p\\)-extension of \\(k\\). Let \\(L(k_{\\infty})/k_{\\infty}\\) be the maximal unramified pro-\\(p\\)-abelian extension. The complete group ring \\({\\mathbb Z}_p[[\\roman{Gal}( k_{\\infty}/k)]]\\) acts naturally on \\(\\roman{Gal}(L(k_{\\infty})/k_{ \\infty})\\). \\textit{M. Ozaki} proved in [Tohoku Math. J. (2) 49, No. 3, 431--435 (1997; Zbl 0896.11044)] that if \\(k\\) is totally real and \\(p\\) splits completely in \\(k/{\\mathbb Q}\\), then \\(\\roman{Gal}(L(k_{\\infty})/ k_{\\infty})\\neq 0\\) if and only if \\(p\\zeta_p(0,k)\\equiv 0\\bmod p\\), where \\(\\zeta_p(s,k)\\) denotes the \\(p\\)-adic zeta function of \\(k\\). As a consequence, Ozaki proved that if \\(k\\) is totally real, \\(p\\) splits completely in \\(k/{\\mathbb Q}\\) and Leopoldt's conjecture holds for \\(p\\) and \\(k\\), then \\(\\roman{Gal}(L(k_{\\infty})/k_{\\infty})\\) has a non-trivial finite \\({\\mathbb Z}_p[[\\roman{Gal}(k_{\\infty}/k)]]\\)-submodule if and only if \\(M(k_{\\infty})\\neq L(k_{\\infty})\\). Here \\(M(k_{\\infty})\\) denotes the maximal abelian pro-\\(p\\)-extension of \\(k_{\\infty}\\) unramified outside \\(p\\). It is a conjecture of \\textit{R. Greenberg} [Am. J. Math. 98, 263--284 (1976; Zbl 0334.12013)] that for totally real fields \\(k\\), \\(\\text{Gal}(L(k_{\\infty})/k_{\\infty})\\) is finite.NEWLINENEWLINEIn this paper, the author shows results analogous to the ones obtained by Ozaki for \\({\\mathbb Z}_p^2\\)-extensions of imaginary quadratic fields. Namely, consider \\(k\\) an imaginary quadratic field such that \\(p\\) splits. Let \\(\\tilde{k}/k\\) be the unique \\({\\mathbb Z}_p^2\\)-extension. Let \\(L(\\tilde{k})/\\tilde{k}\\) be the maximal unramified pro-\\(p\\)-abelian extension. Let \\(\\chi\\) be the Dirichlet character associated to \\(k\\) and \\(\\omega\\) the Teichm\u00fcller character of \\({}\\bmod p\\). Let \\(L_p(s,\\omega\\chi^{-1})\\) be the \\(p\\)-adic Dirichlet \\(L\\)-function associated to \\(\\omega \\chi^{-1}\\). The author shows that \\(\\roman{Gal}( L(\\tilde{k})/\\tilde{k})\\neq 0\\) if and only if \\(\\frac{L^{\\prime}_p(0, \\omega\\chi^{-1})}{p}\\equiv 0 \\bmod p\\).NEWLINENEWLINEThe second main result of this paper is that \\(\\roman{Gal}(L( \\tilde{k})/\\tilde{k})\\) has a non-trivial pseudo-null \\({\\mathbb Z}_p[[ \\roman{Gal}(\\tilde{k}/k)]]\\)-submodule if and only if \\(M_{\\mathfrak p} (\\tilde{k})\\neq L(\\tilde{k})\\), where \\(M_{\\mathfrak p}(\\tilde{k})/\\tilde{k}\\) denotes the maximal pro-\\(p\\)-abelian extension unramified outside all primes lying above \\({\\mathfrak p}\\) and \\((p)={\\mathfrak p} {\\mathfrak p}^{\\prime}\\) in \\(\\tilde{k}\\). A finitely generated, torsion \\({\\mathbb Z}_p[[\\roman{Gal}(\\tilde{k}/k)]]\\)-module is called pseudo-null if the annihilator ideal contains two relatively prime elements.NEWLINENEWLINEOne of the main tools in the proof of the second main result is that \\(\\roman{Gal}(M_{\\mathfrak p}(\\tilde{k})/\\tilde{k})\\) has no non-trivial pseudo-null \\({\\mathbb Z}_p[[\\roman{Gal}(\\tilde{k}/k)]]\\)-submodules. This result was obtained by \\textit{B. Perrin-Riou} [M\u00e9m. Soc. Math. Fr., Nouv. S\u00e9r. 17, 130 p. (1984; Zbl 0599.14020)] but a proof is presented here.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2927747$9653669B-A6D2-419B-A2A4-E814159F81E9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f0e90d891131f9887cf439663f26d1846e6a057a","datavalue":{"value":{"entity-type":"item","numeric-id":214730,"id":"Q214730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2927747$B1B0D72D-C585-445C-82B9-2E72B2E33697","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2927747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2927747"}}}}}