{"entities":{"Q457332":{"pageid":459099,"ns":120,"title":"Item:Q457332","lastrevid":61980150,"modified":"2026-04-11T02:58:18Z","type":"item","id":"Q457332","labels":{"en":{"language":"en","value":"Tetrahedral elliptic curves and the local-global principle for isogenies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348604"}},"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":"Q457332$619D1B9C-06C9-4252-B9F8-6F8864B6ABB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"257439f57123ea25e2480e8096763d81565f5822","datavalue":{"value":{"text":"Tetrahedral elliptic curves and the local-global principle for isogenies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q457332$FAD8D062-A6CF-4321-A058-F11BDA4E3464","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10209638d4127ebfb19b551769bb1071373c3eb5","datavalue":{"value":"1303.11066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457332$B5F92882-7A0E-4A2C-B8AD-741F3B53837D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b7764c16d6af0b3d4dbf1af4fa5027d2109bbc2","datavalue":{"value":{"entity-type":"item","numeric-id":457330,"id":"Q457330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457332$FA1AB587-0A07-4BBA-9505-E7641C7CD450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a7f71662896d4f72015f1747d46823a5e2fa28","datavalue":{"value":{"entity-type":"item","numeric-id":457331,"id":"Q457331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457332$55EDC63D-5B41-474F-84BB-50C9B181EE35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3867057a7d0226a86475a68a428f5c0a32f79af8","datavalue":{"value":{"entity-type":"item","numeric-id":246406,"id":"Q246406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457332$EB9DB44F-7272-4A3B-A8D6-05EC0AFA04EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q457332$35A261B1-3071-42E8-8CCE-0DE28AD2DB6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c277e1cae52035f8f4bb05172225a9627b2557c","datavalue":{"value":"https://arxiv.org/abs/1306.6818","type":"string"},"datatype":"url"},"type":"statement","id":"Q457332$F7013B61-12A3-43A4-959D-FD857E34FA3F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7f783e118e3bf468263ada35c667fdafd1d72fee","datavalue":{"value":"For a prime number \\(\\ell\\) and an algebraic number field \\(K\\), the local-global principle for rational \\(\\ell\\)-isogenies of an elliptic curve \\(E/K\\) establishes that if the reduction of \\(E\\) at almost every prime ideal of \\(K\\) of good reduction admits an \\(\\ell\\)-isogeny over the residue field of the prime ideal, then \\(E\\) admits an \\(\\ell\\)-isogeny over \\(K\\). Let \\(\\ell\\) be odd and put \\(\\ell^*=(-1)^{(\\ell-1)/2}\\ell\\). In [J. Th\u00e9or. Nombres Bordx. 24, No. 2, 475--485 (2012; Zbl 1276.11095)] \\textit{A. V. Sutherland} showed that, under the assumption that \\(\\sqrt{\\ell^*}\\not\\in K\\), if the local-global principal fails for \\((\\ell,E)\\), then \\(\\ell\\equiv 3 \\mod 4\\) and the image \\(H_{E,\\ell}\\) of the projective Galois representation on the \\(\\ell\\)-torsion group of \\(E\\) is a dihedral subgroup \\(D_{2n}\\) of \\(\\mathrm{PGL}_2(\\mathbb F_\\ell)\\)~(\\(n\\) is a divisor of \\((\\ell-1)/2\\)). Further he showed that for \\(K=\\mathbb Q\\), only one counterexample occurs when \\(\\ell=7\\). In this article, the authors deal with the case \\(\\sqrt{\\ell^*}\\in K\\). They call a pair \\((\\ell,j_0)\\) an exceptional pair if the principle fails for \\(\\ell\\) and an elliptic curve \\(E\\) with the \\(j\\)-invariant \\(j(E)=j_0\\). They give a necessary and sufficient condition for \\((\\ell,j_0)\\) to be exceptional. In particular, in the failure case, \\(\\ell\\equiv 1\\mod 4\\) and there are two sorts of exceptional pairs:~\\(H_{E,\\ell}\\cong D_{2n}\\) or \\(H_{E,\\ell}\\) is one of \\(A_4,S_4\\) and \\(A_5\\). The authors consider for quadratic fields the case where the principle does not hold . For \\(K=\\mathbb Q(\\sqrt 5)~(\\ell=5)\\), they show that there are infinitely many exceptional pairs \\((5,j(E))\\) with \\(H_{E,5}\\cong D_4\\) and those \\(j(E)\\) are explicitly given. For the non-dihedral pairs, they prove that the only non-dihedral exceptional prime \\(\\ell\\) over any quadratic field is \\(13\\) over \\(\\mathbb Q(\\sqrt{13})\\), where the projective image is \\(H_{E,13}\\cong A_4\\). For the proof, they compute defining equations and \\(K\\)-rational points of the modular curves \\(X_s(5)\\) and \\(X_{S_4}(13)\\). Here \\(X_s(\\ell)\\) (resp.\\(X_{S_4}(\\ell)\\)) is the modular curve corresponding to the normalizer of a split Cartan subgroup (resp \\(S_4\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q457332$B72F6516-F59C-4855-A0F1-F048022B942B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2300b09515e426125d5ce8b70b0f4d9a1dc40217","datavalue":{"value":{"entity-type":"item","numeric-id":590585,"id":"Q590585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457332$A7F1C5E5-6BBC-49E6-ABAF-506658D5C50F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b466ca590039ea305e8cc047527b117e828a753","datavalue":{"value":"11G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457332$5BAA8DC1-5AE6-4CB3-9C9E-33883965E94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae61fee828aa17db4c1d27be0f560b73f79c72f7","datavalue":{"value":"11G18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457332$90A6DBB9-2EB4-42B6-8AC8-CCE545D1F0D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf94130ee9b19ff250263b4e0da7a86a5a4fb4e6","datavalue":{"value":"6348604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457332$FA0E11A9-A745-4348-A2C7-65F68B3139C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1fcf8634dffbef5ab53f82304a07bf90038678","datavalue":{"value":"elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q457332$B72534EE-89BC-4164-AE57-E139D98157B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fb94ebadffe72d11658a3cd3bde76eff9f29acf","datavalue":{"value":"local-global","type":"string"},"datatype":"string"},"type":"statement","id":"Q457332$36C832F8-9712-4300-9629-E42BBFAA5505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49243fad8ddf84f5af8eb7a9a24e143e9e0ffcc7","datavalue":{"value":"isogeny","type":"string"},"datatype":"string"},"type":"statement","id":"Q457332$E0E132E7-5EF7-4CA2-BB4D-AA70F1CB9FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df7665cbe6ce33a23847c0657aa43bd73205d7fe","datavalue":{"value":"exceptional modular curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q457332$F8ED6CAD-A548-4461-967E-86E939D81733","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":"Q457332$BFF5F7D1-61EC-4A70-BCBD-275572B53C9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"174fb621f978d9905993173acee9a32ba0d81e17","datavalue":{"value":"W3106443002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457332$73C01820-06A8-408A-99CF-E815EA8F9C80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fc0d54545356dfe25d564116af17b45c4c3dd09","datavalue":{"value":"10.2140/ANT.2014.8.1201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457332$46E16707-FD7A-42CD-979F-7EF2BA6BBBD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3df59796012526125c8dbcd8a3da94bf243f74e","datavalue":{"value":{"entity-type":"item","numeric-id":713184,"id":"Q713184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e7fd6ea22b4f288753b719f5639417230f9e5f","datavalue":{"value":{"amount":"+0.8272377252578735","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":"Q457332$30664FE5-BD72-4BC7-A8F6-504AC4A0817D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c906dc68a4353753600a90becdc54931bc8102c","datavalue":{"value":{"entity-type":"item","numeric-id":1983151,"id":"Q1983151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45d35e649b4c5d6c404e577a42c6ffeed1c682c","datavalue":{"value":{"amount":"+0.8234002590179443","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":"Q457332$A134A4CF-6E83-48FE-9ED0-E600AA404444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b70f87101d1a7eb9d26f58afd2f8e3218fbba0","datavalue":{"value":{"entity-type":"item","numeric-id":5494401,"id":"Q5494401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6227562ac7c4849f4ee2238960d33882ed27293","datavalue":{"value":{"amount":"+0.8171408176422119","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":"Q457332$A0BC6120-BC26-4AF3-BE1C-589923B68B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ca5c702344e132c7e282d61929b479bd3dc7130","datavalue":{"value":{"entity-type":"item","numeric-id":3389174,"id":"Q3389174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43195be3c33da1a0439343e442080c84a15ccfdd","datavalue":{"value":{"amount":"+0.7846834063529968","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":"Q457332$E8F0DF7F-C26F-49F4-BA0F-C229A719229F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c92d338b551f7692c968a28fbaaaf2ce7a39bda8","datavalue":{"value":{"entity-type":"item","numeric-id":2903280,"id":"Q2903280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a2fcf7e81bf4fdfea54d4e08b88fdd8dc3743f","datavalue":{"value":{"amount":"+0.7724525332450867","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":"Q457332$19452CC1-7F09-452C-B786-5932C2039D0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tetrahedral elliptic curves and the local-global principle for isogenies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tetrahedral_elliptic_curves_and_the_local-global_principle_for_isogenies"}}}}}