{"entities":{"Q1396673":{"pageid":1407413,"ns":120,"title":"Item:Q1396673","lastrevid":68616720,"modified":"2026-04-13T00:57:07Z","type":"item","id":"Q1396673","labels":{"en":{"language":"en","value":"Iwasawa theory for elliptic curves at supersingular primes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1947251"}},"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":"Q1396673$95291DC6-8EF4-4A93-B49C-728548E82EB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f85161e81c53930125ff8127cf6a0902d1b5f40","datavalue":{"value":{"text":"Iwasawa theory for elliptic curves at supersingular primes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1396673$5C9475B5-F1D1-4543-B4B4-08D771016CC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e1d71eef424a1fa9626aaa7fb95b4701651f550","datavalue":{"value":"1047.11105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396673$09F09B4A-F66D-4A6B-821F-BE5C8B7A4BC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3242788ffd5dd76a5b85de44752c65cf83e5f1a3","datavalue":{"value":{"entity-type":"item","numeric-id":697411,"id":"Q697411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1396673$77F13094-F775-40C1-B62F-1F2BF41CCFB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1396673$4A33FFAB-261D-4B54-9E01-D642BA951FE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"371c78a66bb04aa36f866eec753ca0ef83c2657b","datavalue":{"value":{"time":"+2003-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1396673$F881D310-506C-4936-8CEA-1ABA5D1EB192","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2bd54750f8461c0cc3c64d8148b4c804f7bf8c7e","datavalue":{"value":"Let \\(p\\) be an odd prime, \\({\\mathbb Q}_{\\infty} = \\bigcup_{n}\\;F_{n}\\) the cyclotomic \\({\\mathbb Z}_{p}\\)-extension of \\({\\mathbb Q},\\) \\(\\wedge\\) the usual Iwasawa algebra. In the Iwasawa theory of elliptic curves at good ordinary primes, the Main Conjecture states that the Selmer group over \\({\\mathbb Q}_{\\infty}\\) is \\(\\wedge\\)-cotorsion and the characteristic ideal is generated by the Mazur and Swinnerton-Dyer \\(p\\)-adic \\(L\\)-function. But at supersingular primes, the Selmer group is no longer cotorsion and the \\(p\\)-adic \\(L\\)-function does not live in \\(\\wedge \\otimes \\overline{\\mathbb Q}_{p}.\\)  In this paper, the author proposes a new formulation at good supersingular primes by modifying both the Selmer group and the \\(p\\)-adic \\(L\\)-function. More precisely, let \\(E\\) be an elliptic curve over \\({\\mathbb Q}\\) with good supersingular reduction at \\(p,\\) and such that \\(a_{p} =0\\) (this is automatically satisfied for a supersingular \\(p > 3).\\) The modified Selmer groups \\(\\text{Sel}^{\\pm}(E/F_{n})\\) are defined by replacing the groups of local points by the modified groups \\(E^{\\pm}(F_{n, p})\\) introduced by \\textit{B. Perrin-Riou} [Invent. Math. 99, No. 2, 247--292 (1990; Zbl 0715.11030)] and \\textit{H. Knospe} [Manuscr. Math. 87, 225--258 (1995; Zbl 0847.14026)]. The relevant analytical objects are Pollack's \\(p\\)-adic \\(L\\)-functions \\({\\mathcal L}^{\\pm}_{p} (E, X),\\) which interpolate special values of the Hasse-Weil \\(L\\)-function and live in \\(\\wedge.\\) The author shows that the modified Selmer groups \\(\\text{Sel}^{\\pm}(E/{\\mathbb Q}_{\\infty})\\) are \\(\\wedge\\)-cotorsion, and he conjectures that char \\((\\text{Sel}^{\\pm}(E/{\\mathbb Q}_{\\infty})^{\\vee}) = ({\\mathcal L}_{p}^{\\pm} (E, X)).\\) He shows that this supersingular Main Conjecture (say SSMC) is equivalent to the conjecture formulated in cohomological terms (for general motives) by \\textit{K. Kato} [Arithmetic algebraic geometry. Lect. Notes Math. 1553, 50--163 (1993; Zbl 0815.11051)] and Perrin-Riou (loc. cit.)].  The SSMC was recently proved in the CM case by \\textit{R. Pollack} and \\textit{K. Rubin} [Ann. Math. (2) 159, No. 1, 447--464 (2004; Zbl 1082.11035)]. Here, in the non-CM case, the author shows half of the SSMC, namely that \\({\\mathcal L}^{\\pm}_{p}(E, X)\\) lives in the corresponding characteristic ideal. He also derives an asymptotic formula for the \\(p\\)-adic order of the Tate-Shafarevich groups \\(\\text{ \u0428} (E/F_{n})\\) (assuming their finiteness) involving the \\(\\lambda\\)-and \\(\\mu\\)-invariants of \\(\\text{ Sel}^{\\pm}(E/F_{\\infty})^{\\vee}.\\) This improves upon similar formulas obtained previously by Kurihara and Perrin-Riou with unspecified rational numbers \\(\\lambda\\) and \\(\\mu\\); here, the invariants are specified as \\(\\lambda_{\\pm}\\) and \\(\\mu_{\\pm}\\) as in Pollack's analytic counterpart.  The key point is the construction of \\(\\wedge\\)-valued \\(\\pm\\) Coleman maps which send Kato's zeta element to Pollack's \\(p\\)-adic \\(L\\)-function. Once these maps are constructed, the proofs proceed in the same way as in the good ordinary case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396673$B720407F-4E27-4238-A509-DCC517185B0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396673$453EFEA2-C56E-4D58-97F6-78A5A7A14724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b466ca590039ea305e8cc047527b117e828a753","datavalue":{"value":"11G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396673$ECCDA1F3-9A61-4B77-8B29-C5C7C3CA52BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be61d68b15e734be3c6a643b32eca9c049c119c8","datavalue":{"value":"1947251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396673$143BA14D-443E-4794-8D61-3474283241A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4ea297200afde864b46f391a32fad5219a54da7","datavalue":{"value":"supersingular Main Conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396673$0D4DBDCB-7C24-4975-8511-D1FB270CEA6E","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":"Q1396673$A6535667-6D87-4394-8D8C-59327C39DE2B","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":"Q1396673$9308F3AC-43B9-4377-9D3C-1D73EBD4712B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a0caf63330ea5f8d695506959c5a2d86fadcc42","datavalue":{"value":"https://doi.org/10.1007/s00222-002-0265-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1396673$D8B04287-CE90-486E-B96A-8F8F1EEC6761","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03044a5ede16ccb07c34f167f5c3c29b009474af","datavalue":{"value":"W2123300868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396673$5F1E5366-0CD7-4814-AA38-7E7F427ACC38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60a592df5cc0490deee15d8abfa944cc4cb6d543","datavalue":{"value":"10.1007/S00222-002-0265-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396673$FAFE4D84-74DF-4432-AA7D-FC46A15B207A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade7456f9d2896db326718469ab125c905f2cfbb","datavalue":{"value":{"entity-type":"item","numeric-id":415254,"id":"Q415254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3701fb7a48b1c4af5f4d16e79de2e0b67ab07c04","datavalue":{"value":{"amount":"+0.9145377278327942","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":"Q1396673$015DBF45-2081-4F8B-A08C-42555C976F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"220bf46ff765b5a8c61758f09b120ee90e5a67a5","datavalue":{"value":{"entity-type":"item","numeric-id":3413795,"id":"Q3413795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d885c523ffbf7f8d4890aefea50fd7cd4dfe34","datavalue":{"value":{"amount":"+0.9072453379631042","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":"Q1396673$D000218C-7782-4618-8609-07501F917FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a731a3d060c35e0723a4a04ae57a1acd2e5858c","datavalue":{"value":{"entity-type":"item","numeric-id":1890206,"id":"Q1890206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c8a7ced8879baf9fb0cb7f85bec77383bb8149","datavalue":{"value":{"amount":"+0.8801358342170715","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":"Q1396673$1DF207C4-8C20-4A26-81CC-06B49E130D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e827a50b5110016e81c1ebc221968af4fceafe7","datavalue":{"value":{"entity-type":"item","numeric-id":3008416,"id":"Q3008416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f83b7ac45a4ea2d49e381e17a11b4f5c053f658","datavalue":{"value":{"amount":"+0.8786858916282654","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":"Q1396673$7F2E6072-A406-41AE-9589-4B9E1F0CC6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88ab3a57835f1c67fb51071ef2f343a2e99bbdb","datavalue":{"value":{"entity-type":"item","numeric-id":812510,"id":"Q812510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3968b26fb90ca915ac45da707da95c3b93b6ab41","datavalue":{"value":{"amount":"+0.8672565817832947","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":"Q1396673$695A8548-075A-4A74-87B8-473E129C790D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iwasawa theory for elliptic curves at supersingular primes","badges":[]}}}}}