{"entities":{"Q720021":{"pageid":721870,"ns":120,"title":"Item:Q720021","lastrevid":63861672,"modified":"2026-04-11T16:03:05Z","type":"item","id":"Q720021","labels":{"en":{"language":"en","value":"The Tate-Shafarevich group for elliptic curves with complex multiplication. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5957905"}},"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":"Q720021$E0AEC11B-ECEC-4C50-AA9D-6193E417F085","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"105cc1665badd024ee1d146d60fb5364319992c1","datavalue":{"value":{"text":"The Tate-Shafarevich group for elliptic curves with complex multiplication. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q720021$538B3497-44E4-44A7-9A75-B59D3AE22FAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa19a4a62a6becdf6e3729a364678f53a548b267","datavalue":{"value":"1295.11059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720021$7BC8CD09-4150-4C3E-AC74-5E0C454CAABC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f986ed4a7a733cf7bac3765750cb6ce3f176a0e1","datavalue":{"value":{"entity-type":"item","numeric-id":720020,"id":"Q720020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720021$203E1325-ACD1-49CF-94CD-027698D1B037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d65a4b29ee2094b4937816921240005af596e2e6","datavalue":{"value":{"entity-type":"item","numeric-id":423868,"id":"Q423868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720021$1DCD74CB-FACC-498F-973F-ED19B02A1D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2aaccff0447213f020740f92dbc2099823b0a91b","datavalue":{"value":{"entity-type":"item","numeric-id":173443,"id":"Q173443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720021$F5790ECF-BB09-476B-BCB8-EC0CEA88BB98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da46c5bafbf550579abf32457f44418e4d1b47ca","datavalue":{"value":{"entity-type":"item","numeric-id":302411,"id":"Q302411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720021$1D83AF48-3414-4742-BCCF-2340671F1BA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"797b4be452fe97db8c6c56a5532feeb216648a34","datavalue":{"value":{"time":"+2011-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q720021$A6E72517-A971-47FB-80CD-6A380E643B24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ef863fa58d04df6c390ccb1c99af1a924fcff09","datavalue":{"value":"https://arxiv.org/abs/1005.4206","type":"string"},"datatype":"url"},"type":"statement","id":"Q720021$997195F2-5F70-409A-A8CA-7FE050793B3C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20fd59672e915c540f08077c09507a66957fc31d","datavalue":{"value":"Let \\(E/\\mathbb{Q}\\) be an elliptic curve with complex multiplication and let \\(K\\) be the imaginary quadratic field such that \\(\\mathrm{End}_K(E)=\\mathcal{O}_K\\) (the ring of integers of \\(K\\)). The paper deals with the \\(\\mathbb{Z}_p\\)-corank \\(t_{E,p}\\) of the \\(p\\)-part of the Tate-Shafarevich group of \\(E\\) over \\(\\mathbb{Q}\\), and the main theorem proves that, for all \\(\\varepsilon> 0\\), and all sufficiently large primes \\(p\\) where \\(E\\) has good reduction,  \\[  t_{E,p} \\leq \\left(\\frac{1}{2}+\\varepsilon\\right)p-\\text{rk}(E(\\mathbb{Q})) \\;. \\]  This result improves the bound of Theorem 1.1 of \\textit{J. H. Coates} et al. [J. Algebra 322, No. 3, 657--674 (2009; Zbl 1239.11069)] and is obtained basically with the same techniques plus a new lower bound on the divisibility of special values of \\(L\\)-functions. Namely, let \\(\\psi_E\\) be the Gr\u00f6ssencharacter of \\(E\\) over \\(K\\), let \\(\\mathfrak{f}\\) be its conductor and \\(L_{\\mathfrak{f}}(\\overline{\\psi}_E^n,s)\\) (\\(s\\in\\mathbb{C}\\), \\(n\\geq 1\\)) the associated \\(L\\)-function. Let \\(\\Omega_\\infty\\) be an \\(\\mathcal{O}_K\\)-generator for the period lattice of the N\u00e9ron differential of \\(E\\), then, using a crucial divisibility result on formal groups due to \\textit{N. M. Katz} [J. Fac. Sci., Univ. Tokyo, Sect. I A 28, 667--678 (1981; Zbl 0559.14032)], the authors prove that  \\[  \\mathrm{ord}_q((n-1)!\\,\\Omega_\\infty^{-n}L_{\\mathfrak{f}} (\\overline{\\psi}_E^n,n)) \\geq \\left[ \\frac{nq}{q^2-1} \\right] -1  \\]  (\\(q\\) an odd prime inert in \\(K\\), \\(n\\geq 3\\) and \\(n\\not\\equiv q+1 \\pmod{q^2-1}\\), \\([a]\\) denotes the integer part of \\(a\\)). Let \\(p\\) be an odd prime which splits in \\(K\\) (i.e., \\(p\\mathcal{O}_K=\\mathfrak{p}\\mathfrak{p}^*\\,\\)) and is of good reduction for \\(E\\), let  \\[  \\mathcal{P}(p):= \\prod_{\\substack{ q\\leq p, \\text{ \\(q\\) inert in \\(K\\)}\\\\ \\text{of good red. for \\(E\\)} }} q^{\\left[ \\frac{pq}{q^2-1} \\right] -1},  \\]  then the formula above yields that  \\[  \\xi(p):=\\frac{c^p(p-1)! \\,\\Omega_\\infty^{-p}L_{\\mathfrak{f}} (\\overline{\\psi}_E^p,p)}{\\mathcal{P}(p)}  \\]  is a nonzero algebraic integer in \\(K\\) (for some positive integer \\(c\\)). Some estimates on \\(\\mathcal{P}(p)\\) and an application of Iwasawa Main Conjecture (detailed in Theorem 2.1 of J.H. Coates, et al. [loc. cit.] show that, for any \\(\\varepsilon >0\\),  \\[  p^{-(1+\\varepsilon)p} \\leq |\\xi(p)|_{\\mathfrak{p}}\\, |\\xi(p)|_{\\mathfrak{p}^*} \\leq p^{-2(\\text{rk}(E(\\mathbb{Q}))+t_{E,p})}  \\]  and the main theorem is proved.   The final section is devoted to computations of Tate-Shafarevich groups for curves \\(y^2=x^3-Dx\\) (with CM by \\(\\mathbb{Q}(i)\\,\\)). Using some reduction steps in Galois theory, the authors are able to improve the results (and correct the tables) of J. H. Coates et al. [loc. cit.] for \\(D\\in\\{ -39,-34,-33,-14,17,82\\}\\) showing that the \\(p\\)-parts of the Tate-Shafarevich groups are 0 for \\(p\\equiv 1\\pmod{4}\\), \\(p<30000\\) except for the 5 pairs  \\[ (p,D)\\in \\{(41,82),\\,(29,-14),\\,(277,-14),\\,(577,-34),\\,(17,-39)\\}. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q720021$6095D1F1-D7B5-4E64-A834-77ACAA9C0AB2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1dd4ab08b3133e71ac8deae0dd693681dd22a851","datavalue":{"value":{"entity-type":"item","numeric-id":462697,"id":"Q462697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720021$9725064D-B9C7-419A-9C9B-899ABA9A32F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b466ca590039ea305e8cc047527b117e828a753","datavalue":{"value":"11G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720021$AF61704D-0C05-4686-965F-033297642F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e73741fa11dbaced05bdf76ee53b166909502a6","datavalue":{"value":"11G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720021$44C18B92-CF09-464C-965F-552895D73F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720021$F5A0C9F5-90BC-47F2-8DCA-0373D223273E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3d02612be0714bb2d2230d5b499297a0d25ae4e","datavalue":{"value":"5957905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720021$7BA28D72-A528-4EC4-9DA0-BCDE851F08CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"152a3a8a7275b37d6dbe5f1a44038a85372ab00c","datavalue":{"value":"elliptic curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q720021$14E2BE72-9596-4561-9D62-EC99B706B852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd3c687524d3cd42b9801f3b9b05d70266ea241","datavalue":{"value":"Tate-Shafarevich group","type":"string"},"datatype":"string"},"type":"statement","id":"Q720021$6FFD75FE-0E90-4A6A-B971-BA2D1DC718E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81de39553caa2c042cc65d6781dcb2c26750423d","datavalue":{"value":"Iwasawa theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q720021$263C5E38-1350-488D-94F9-E378018EBA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108366b06f7accfca8d2e0299f146e75913c4e8","datavalue":{"value":"complex multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q720021$A043700C-4189-4A39-97C5-2A12587B78E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f1662cdc24006e6f39e36f3d922136ad84f620c","datavalue":{"value":"\\(L\\)-function","type":"string"},"datatype":"string"},"type":"statement","id":"Q720021$2E50F0A2-F214-4F80-AF72-B331915D1C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"168976e0ac27927168ccc5b07870994711d40813","datavalue":{"value":"Gr\u00f6ssencharacter","type":"string"},"datatype":"string"},"type":"statement","id":"Q720021$B320B315-E408-48C0-9EE0-8D975CC030AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e33c58e9f6168f664249a6fdf6a6436e09640be3","datavalue":{"value":"N\u00e9ron differential","type":"string"},"datatype":"string"},"type":"statement","id":"Q720021$EEAB8F71-8A47-49A8-B8B2-A3B1E11C3810","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":"Q720021$C80D5F84-058E-46B3-83FE-CB0C0A06AB6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10d6e6cad93d38ffa4d7e866735cb8ebec9711f2","datavalue":{"value":"W2804847880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720021$36D5825B-47BA-4164-87BA-737417118682","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c410ac9652b6be5c8ae5d80a40306f8f16cf60","datavalue":{"value":{"entity-type":"item","numeric-id":731238,"id":"Q731238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720021$8D24849E-FE14-48F5-9A13-43FF8AC2C27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac20e0aec942e021d5944a2c42710ac87af36291","datavalue":{"value":{"entity-type":"item","numeric-id":3348000,"id":"Q3348000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720021$B09D93F3-93F8-4CFE-9F09-B312B5804104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b83de19e58d1d699909ad0a3b6b31dee60ae58","datavalue":{"value":{"entity-type":"item","numeric-id":3884205,"id":"Q3884205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720021$2F1D02CE-6A1D-4617-B16C-40C666CB6C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6bb1326f50870c2d89f666529bd5005238922d2","datavalue":{"value":{"entity-type":"item","numeric-id":5703070,"id":"Q5703070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720021$9FA705FB-2336-400B-B496-707A09DCDC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a829027cc40af82aa33d303d36b13c8ec6e9444","datavalue":{"value":{"entity-type":"item","numeric-id":3904681,"id":"Q3904681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720021$A6AE7D5A-11DB-431B-B0CE-13E5CE5AFFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f1f647fab877649149f506fedc38b553a57b3a","datavalue":{"value":{"entity-type":"item","numeric-id":3988550,"id":"Q3988550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720021$446526A1-99F9-49CA-A603-92A5C5A81BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ccc79a96c344cae47a8d2c7465b6a87069b8d1","datavalue":{"value":{"entity-type":"item","numeric-id":1050422,"id":"Q1050422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720021$FC6F297C-E2EB-4F1B-9E49-ED59D17F43F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef446803cc4d68407afe80e2f9129a61a372ceb3","datavalue":{"value":"10.1007/S00032-010-0127-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720021$621A2573-8909-42FB-A1BB-44F123CDEF65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8200781602e177b49a61fc04d3b3a54656c932","datavalue":{"value":{"entity-type":"item","numeric-id":731238,"id":"Q731238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"732e12fdc69543f3d7bcfd7bb7eca41bd1021b0c","datavalue":{"value":{"amount":"+0.8659196496009827","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":"Q720021$90A9F704-F0D0-4A15-A166-961751ADF2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca01e51a296a3a368761e2704ca39c90740144b1","datavalue":{"value":{"entity-type":"item","numeric-id":3972997,"id":"Q3972997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9633651176a4151ebc0bb1395337872c97a839b","datavalue":{"value":{"amount":"+0.8559017181396484","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":"Q720021$3B9E769D-1603-4AB4-8C80-DB6A971DE338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6a210e64863810ffa1279d71f714b82d396991","datavalue":{"value":{"entity-type":"item","numeric-id":1295915,"id":"Q1295915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45fe99c00f4338fee28f12a981663b680c70b1e2","datavalue":{"value":{"amount":"+0.8519152998924255","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":"Q720021$80AC9942-EBDF-4DAD-869F-988748838A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2a7a9ddc61c0eebc16c788767116371734feede","datavalue":{"value":{"entity-type":"item","numeric-id":983306,"id":"Q983306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10480296e87c4964678e45100de9d1d5c8ffbd72","datavalue":{"value":{"amount":"+0.8468679785728455","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":"Q720021$EFF82DFE-844C-46FF-95F9-74F23D10F46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617a144f48d4a33745338b0351cf1fb3e313fc2a","datavalue":{"value":{"entity-type":"item","numeric-id":2840630,"id":"Q2840630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b92df29a6b353764f0a608f78c2e1c1325e58e","datavalue":{"value":{"amount":"+0.8468267917633057","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":"Q720021$A41B3BD6-AA25-4D3F-8304-C82A153B5414","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Tate-Shafarevich group for elliptic curves with complex multiplication. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Tate-Shafarevich_group_for_elliptic_curves_with_complex_multiplication._II"}}}}}