{"entities":{"Q609470":{"pageid":611246,"ns":120,"title":"Item:Q609470","lastrevid":51139631,"modified":"2026-01-16T21:37:16Z","type":"item","id":"Q609470","labels":{"en":{"language":"en","value":"Notes on non-commutative Iwasawa theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5821928"}},"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":"Q609470$0BF54385-AA06-4302-AC48-EF820B1909D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44aa09255da017b2bf6ebcd9eee6134e75d48669","datavalue":{"value":{"text":"Notes on non-commutative Iwasawa theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q609470$750B9862-3E30-4ED3-9274-CF30E720486C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08a43799877f45f6cf333a0cf389fa90f95738ad","datavalue":{"value":"1214.11123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609470$00E173E8-F315-4D9B-B6FA-AB93B5E16A4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0f80c5d2a9d6bf60d746b9e179d9c9a7dc14b3e","datavalue":{"value":{"entity-type":"item","numeric-id":609469,"id":"Q609469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609470$B1448397-A178-41C8-AF17-0470C486165E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8b725301eca5e544a0b15ace31143fa7f84ce86","datavalue":{"value":{"entity-type":"item","numeric-id":180181,"id":"Q180181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609470$F5B38768-9942-4380-ADE1-A9C123CB2C3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6fe50e98b0aa99209fa6db00abb40af0a8c01ca9","datavalue":{"value":{"entity-type":"item","numeric-id":170982,"id":"Q170982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609470$4C901A15-29E7-416A-93F3-B7DD3F28292F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f7a6f873bf5c0d11b62fa3d4700ead7fb1e1f3b","datavalue":{"value":{"time":"+2010-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q609470$B3C8B9CF-EA01-44CC-92CD-7EC09D8A2CE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5b9040af2e5b3031fd0f1d21f02640532a7a604","datavalue":{"value":"https://projecteuclid.org/euclid.ajm/1286547516","type":"string"},"datatype":"url"},"type":"statement","id":"Q609470$3572CF4D-D8CA-43BA-8456-4858AC846FC8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"24611b7191b7bd5a2b26146b6ace43605d6aa258","datavalue":{"value":"Let \\(E\\) be an elliptic curve over a number field \\(k\\) and fix an odd prime number \\(p\\). In studying the Iwasawa theory of \\(E\\) over a \\(p\\)-adic extension \\(k_\\infty/k\\) one his interested in the Selmer group of \\(E\\) over \\(k_\\infty\\) and tries to compare it, on the one hand, with some analytic \\(p\\)-adic \\(L\\)-function and, on the other hand, with the Selmer group of the elliptic curve over the base field (see [\\textit{R. Greenberg}, ``Iwasawa theory for elliptic curves'', Lect. Notes Math. 1716, 51--144 (1999; Zbl 0946.11027)] for a wonderful introduction to the subject).  In the paper under review, the authors study the structure of the Selmer group of \\(E\\) over \\(k_\\infty\\) in a non-commutative setting, partially generalizing known results of [\\textit{Y. Ochi} and \\textit{O. Venjakob}, ``On the structure of Selmer groups over \\(p\\)-adic Lie extensions'', J. Algebr. Geom. 11, No. 3, 547--580 (2002; Zbl 1041.11041)]. More precisely, let \\(k_\\infty/k\\) be a Galois extension with Galois group \\(G\\) and assume that  1) \\(k_\\infty/k\\) is unramified outside a finite number of places and contains the cyclotomic extension \\(k_{\\text{cyc}}\\) of \\(k\\): set, accordingly, \\(\\Gamma:=\\text{Gal}(k_\\infty/k_{\\text{cyc}})\\);  2) \\(G\\) is a solvable (compact) \\(p\\)-adic Lie group;  3) \\(G\\) is uniformly powerful in the notation of [\\textit{J. D. Dixon, M. P. F. du Sautoy, A. Mann} and \\textit{D. Segal}, Analytic pro-\\(p\\) groups. Revised and enlarged by Marcus du Sautoy and Dan Segal. 2nd ed. Cambridge Studies in Advanced Mathematics. 61. Cambridge: Cambridge University Press (1999; Zbl 0934.20001)].   Let now \\(\\Lambda(G)\\) be the usual Iwasawa algebra of \\(G\\) defined as the projective limit \\(\\Lambda(G):=\\varprojlim\\mathbb{Z}_p[G/U]\\) of the group rings of the quotients \\(G/U\\) for \\(U\\) running over the set of normal open subgroups of \\(G\\). It is well known that the Pontryagin dual  \\[ \\text{Sel}(E/k_\\infty)^\\lor:=\\text{Hom}_{\\text{cont}}(\\text{Sel}(E/k_\\infty),\\mathbb{Q}_p/\\mathbb{Z}_p) \\]  of the \\(p\\)-Selmer group  \\[ \\text{Sel}(E/k_\\infty):=\\text{ker}\\Big(H^1(k_\\infty,E[p^\\infty])\\rightarrow\\prod_v H^1(K_{\\infty,v}E)[p^\\infty]\\Big) \\]  is finitely generated over \\(\\Lambda(G)\\) and the authors show the following  Theorem 2.3. Let \\(E/k\\) be an elliptic curve which has good reduction at all primes above \\(p\\) and assume that \\(k_\\infty/k\\) satisfies the above assumptions 1.-3. Then we have \\(\\text{rank}_{\\Lambda(G)}\\text{Sel}(E/k_\\infty)^\\lor=s(E/k)\\) provided \\(\\text{rank}_{\\Lambda(\\Gamma)}\\text{Sel}(E/k_{\\text{cyc}})^\\lor=s(E/k)\\) where  \\[ s(E/k):=\\sum_{\\substack{ v\\text{ supersingular}\\\\v\\mid p}} [k_v:\\mathbb{Q}_p]\\;. \\]  As noticed in {Remark 2.4}, the above theorem holds if \\(\\text{Gal}(k_\\infty/k_{\\text{cyc}})\\cong\\mathbb{Z}_p\\) by [\\textit{Y. Hachimori} and \\textit{O. Venjakob}, ``Completely faithful Selmer groups over Kummer extensions'', Doc. Math., J. DMV Extra Vol., 443--478 (2003; Zbl 1117.14046)] while the condition \\(\\text{rank}_{\\Lambda(\\Gamma)}\\text{Sel}(E/k_{\\text{cyc}})^\\lor=s(E/k)\\) holds when \\(E\\) is defined over \\(\\mathbb{Q}\\) and \\(k/\\mathbb{Q}\\) is abelian. The proof of the theorem is mainly a verification of the technical hypothesis needed to apply a result of Balister and Howson proved in [\\textit{P. N. Balister} and \\textit{S. Howson}, ``Note on Nakayama's lemma for compact \\(\\Lambda\\)-modules'', Asian J. Math. 1, No. 2, 224--229 (1997; Zbl 0904.16019)].   The second half of the paper is devoted to the proof of the following result, which was already proven in a more intricate way in [\\textit{Y. Ochi} and \\textit{O. Venjakob}, loc. cit.], Theorem 5.5:  {Theorem 3.2.} Assume that \\(E/k\\) has good reduction at all primes of \\(k\\) above \\(p\\) and that the following conditions hold: \\parindent=8mm \\begin{itemize}\\item[(i)] \\(\\dim (G_v)\\geq 2\\) for every prime of bad reduction \\(v\\) for \\(E/k\\)\\; \\item[(ii)] All primes \\(v\\) above \\(p\\) are deeply ramified in \\(k_\\infty/k\\) in the sense of [\\textit{J. Coates} and \\textit{R. Greenberg}, ``Kummer theory for abelian varieties over local fields'', Invent. Math. 124, No. 1--3, 129--174 (1996; Zbl 0858.11032)] (an equivalent condition is that \\(k_{\\infty,v}/k_v\\) does not have a finite conductor); \\item[(iii)] For every prime \\(v\\mid p\\) of good ordinary reduction, either \\(\\text{dim}(G_v)>2\\); or \\(\\text{dim}(G_v)=2\\) but \\(\\tilde{E}_v(\\kappa_{\\infty,v})[p^\\infty]\\) is finite, where \\(\\tilde{E}_v\\) is the reduction of \\(E\\pmod{v}\\) and \\(\\kappa_{\\infty,v}\\) is the residue field of \\(k_{\\infty,v}\\); \\item[(iv)] \\(H^2(k_S/k_\\infty,E[p^\\infty])=0\\) where \\(k_S\\) denotes the maximal extension of \\(k\\) unramified outside the infinite primes, the primes above \\(p\\), the ramified primes in \\(k_\\infty/k\\), and the primes where \\(E\\) has bad reduction; \\item[(v)] A certain map \\(\\varphi\\) defined in equation (2.1) is surjective.  Then \\(\\text{Sel}(E/k_\\infty)^\\lor\\) has no non-trivial pseudo-null \\(\\Lambda(G)\\)-submodules (for the definition of pseudo-nullity used here, see {Definition 3.1}).  The proof uses to a large extend results proven in [\\textit{Y. Hachimori} and \\textit{O. Venjakob}, loc. cit.]; the really new ingredient is {Proposition 3.5} stating that the quotient of a \\(\\Lambda(G)\\)-module without non-trivial pseudo-null submodules by a reflexive submodule has itself no non-trivial pseudo-null submodules.\\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q609470$390A2E8A-1219-4A98-B1C6-E6FE3A5CA704","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5bf1b41e96b30362060f4ff95d8718884e6ddf9b","datavalue":{"value":{"entity-type":"item","numeric-id":593268,"id":"Q593268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609470$7D52A999-B3DB-4352-813D-3CA2B08796BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609470$F4A788F0-4411-447E-BD2B-E5BB1FDA6722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b466ca590039ea305e8cc047527b117e828a753","datavalue":{"value":"11G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609470$F1A651BA-2067-4C3D-8973-05572A66768C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb4095f38a7ace7253a56944e8eb55c977342876","datavalue":{"value":"16E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609470$766924FC-F26F-45A0-B811-1729815A631B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ca5b2473f2ade6963789e42d9881671d6e821a7","datavalue":{"value":"5821928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609470$D932BBB2-0E7D-4D61-96EF-1DB2FD6FF530","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"473bec145105bcd903b7e858cb3095f1fa541fc2","datavalue":{"value":"Selmer groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q609470$F0B5ED73-04DF-402D-9DC0-00B0EEF2B384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1fcf8634dffbef5ab53f82304a07bf90038678","datavalue":{"value":"elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q609470$072E41A3-5AA5-418F-BBA0-AD95414AF1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd448c2bf2fc9421aa80d2891093648c934c3f69","datavalue":{"value":"Iwasawa algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q609470$3A387C95-14FC-47AD-A27E-5A38FD5B93A6","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":"Q609470$BBF58FDB-B457-4AC6-A4A3-B0BA9837E482","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57f19cfad5cac0518f0078fd929dbf5a10550c27","datavalue":{"value":"10.4310/AJM.2010.V14.N1.A2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609470$4DE11184-6666-4668-BF96-A8DED9D18259","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d108de0fcb15a3f0d54a9871581e8af210d09a80","datavalue":{"value":{"entity-type":"item","numeric-id":5421706,"id":"Q5421706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543fa8d15f637c1d9066bf334e2969014625b6ff","datavalue":{"value":{"amount":"+0.7707099318504333","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":"Q609470$B39D0BF4-F9B3-48B6-A796-37FE09643373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c6866dafa7514a62ab08811554868184b0700f7","datavalue":{"value":{"entity-type":"item","numeric-id":4457853,"id":"Q4457853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ddb172c6a4ed4613c7a95fe410e096484e5aff","datavalue":{"value":{"amount":"+0.7656344771385193","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":"Q609470$752BD61B-9B27-4DAC-8CB9-D86826A24193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53eb39aca18b6ff6bcc3f74529b4dadfab0c8bee","datavalue":{"value":{"entity-type":"item","numeric-id":2900374,"id":"Q2900374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441e0b6619c2edfbbea8bdaa864086594a15a601","datavalue":{"value":{"amount":"+0.758823573589325","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":"Q609470$096AE754-8C80-4BC7-B3DC-E56662E8978B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8c6ffa41978f98a35769a98c97a230bfd0aea0d","datavalue":{"value":{"entity-type":"item","numeric-id":486433,"id":"Q486433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d054b4698e9cbba780076f7b0f1a56e6939c878","datavalue":{"value":{"amount":"+0.7569985389709473","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":"Q609470$1356F040-E5B7-4B8F-8624-2984CB58FD0E","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":"bae99a6978aaed2d99718b2f8eca6c6dde7bc6f9","datavalue":{"value":{"amount":"+0.7558217644691467","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":"Q609470$8DD88DC0-D24D-4068-8AD6-A9FEF9F7F3D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:609470","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:609470"}}}}}