{"entities":{"Q503207":{"pageid":504974,"ns":120,"title":"Item:Q503207","lastrevid":62319057,"modified":"2026-04-11T05:16:24Z","type":"item","id":"Q503207","labels":{"en":{"language":"en","value":"Division polynomials and intersection of projective torsion points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6673765"}},"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":"Q503207$2794F7C7-5EAB-48C5-9736-9CDCB2C697C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51221e3dc9c07163434c0c6521641a4ee336e068","datavalue":{"value":{"text":"Division polynomials and intersection of projective torsion points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q503207$EE2F0FB6-84BB-4470-985F-51CCAD8A75F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afe35c4449fd5dd8e93a1af99fafcea15812220a","datavalue":{"value":"1355.14025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503207$2D72CB87-4F55-49A1-BC56-AE1AE1902FB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1091fcb0499f509fce5d78eaad73d370a9efd8","datavalue":{"value":{"entity-type":"item","numeric-id":503206,"id":"Q503206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$2DCA7463-F655-4C0E-868B-EE5A56B3B408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8196477bb84e44745c56f1b8366ce15c317ddd7","datavalue":{"value":{"entity-type":"item","numeric-id":253138,"id":"Q253138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$D68B53E0-A18E-4887-8BB5-83D53F2F3567","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9ed2ee2aa76ab86fd8b3de954fc059362c64467","datavalue":{"value":{"entity-type":"item","numeric-id":253134,"id":"Q253134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$B6D3938E-E9D1-4EE2-85D1-A9B0FF754443","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"279070e611f2298850bed427831a83010cbb2be1","datavalue":{"value":{"time":"+2017-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q503207$862A7744-2E22-438A-9D40-7C44264E3F26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fff2d101eba31b4236d931ba9bc42361edb5975","datavalue":{"value":"https://arxiv.org/abs/1603.00401","type":"string"},"datatype":"url"},"type":"statement","id":"Q503207$717DDC98-0ACF-4EC5-B73A-2FD2AF0351C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d94fe34aebfd57c47f9cdf2e33313a81c668bfa8","datavalue":{"value":"Let \\((E_{/K},O,\\pi)\\) be a triple where \\(E\\) is an elliptic curve defined over a field \\(K\\) of characteristic 0, \\(O\\) is its base point and \\(\\pi\\) is a morphism of \\(E\\) of degree 2 (defined over \\(K\\) as well). Let \\(E[n]\\) be the set of \\(n\\)-torsion points of \\(E\\) and \\(E^*[n]\\) the subset of points of exact order \\(n\\) (the \\textit{primitive} \\(n\\)-torsion points). Put \\(E[\\infty]=\\cup E[n]\\). The paper deals with the cardinalities of the set \\(\\pi_1(E_1[\\infty])\\cap \\pi_2(E_2[\\infty])\\) for two triples \\((E_1,O_1,\\pi_1)\\) and \\((E_2,O_2,\\pi_2)\\) as above. Reducing the curves to their Weierstrass form and using the canonical projection on the \\(x\\)-coordinate, the authors define (and study) the \\(n\\)th division polynomial \\(f_{n,E}(X)\\) (resp. the primitive \\(n\\)th division polynomial \\(F_{n,E}(X)\\)) having the \\(x\\)-coordinates of points in \\(E[n]\\) (resp. in \\(E^*[n]\\)) as roots. Assuming \\(\\pi_1(O_1)=\\pi_2(O_2)\\) and working with the coefficients of \\(f_n\\) (and of \\(F_n\\)) they are able to prove that \\(\\pi_1(E_1^*[n])=\\pi_2(E_2^*[n])\\) for some \\(n\\) is equivalent to \\(\\pi_1(E_1[\\infty])=\\pi_2(E_2[\\infty])\\) (while it is known that \\(\\pi_1(E_1[2])\\neq\\pi_2(E_2[2])\\) yields a finite intersection \\(\\pi_1(E_1[\\infty])\\cap\\pi_2(E_2[\\infty])\\)). Whenever these equivalent conditions do not hold, they also show that \\(|\\pi_1(E_1[\\infty])\\cap\\pi_2(E_2[\\infty])|=1\\) when \\(Gal(\\overline{K}/K^{cyc})\\) acts transitively on \\(\\pi_i(E^*_i[n])\\) for \\(i=1,2\\).  \\noindent Finally, dropping the condition \\(\\pi_1(O_1)=\\pi_2(O_2)\\), the authors look for a bound on \\(N:=|\\pi_1(E_1[\\infty])\\cap\\pi_2(E_2[\\infty])|\\) as \\(E_1\\) and \\(E_2\\) vary among curves with \\(\\pi_1(E_1[2])\\neq\\pi_2(E_2[2])\\). They show that such set has at least 6 points and provide examples for \\(N\\geqslant 14\\) (announcing a new example for \\(N\\geqslant 22\\) in some future publication).","type":"string"},"datatype":"string"},"type":"statement","id":"Q503207$A8DF7727-A841-4B01-9BAF-292A2DF5011F","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":"Q503207$0CF39CE2-8119-4CB7-8BFD-DF4054E4B165","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f00aec7b2c940e365c27808f50e4aeed90366677","datavalue":{"value":"14H52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503207$11D39B49-A3F3-4CCC-B4A1-B9B5AF611E21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f384f7442e131dadc26165f078af209466df695e","datavalue":{"value":"6673765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503207$CD6BF388-1081-402B-A246-0B7A25F87BF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"152a3a8a7275b37d6dbe5f1a44038a85372ab00c","datavalue":{"value":"elliptic curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q503207$1CF9E167-CC49-4544-BB38-C3C99C106491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f15f0c299844e5b242e09300b094e5ff84afa26","datavalue":{"value":"division polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q503207$FEF2B331-215E-4CF2-953A-132078E4E9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0485d9011df780d42ee83f2ebbdf1e9254ee6cbb","datavalue":{"value":"unlikely intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q503207$E6E5B225-72EE-4200-9A5A-FE23970F1B48","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$1085A0B6-7C1D-41A2-A598-F29024196037","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":"Q503207$E3F9F6DD-3388-411E-A3A9-C78A8600A4DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5de583c3fd6974fbba4312e92e86c56c9640ed7a","datavalue":{"value":"W2288775829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503207$5D977B7A-F73D-47B9-8B77-3E562F50B22A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86705b1532ac266c77460e942ba3b18d021a3a20","datavalue":{"value":{"entity-type":"item","numeric-id":5457522,"id":"Q5457522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$1C311014-42CE-4BBF-AAB5-16DA9523A1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13862168fb9af9e5175aea58ee5d963f2bd17d94","datavalue":{"value":{"entity-type":"item","numeric-id":1808862,"id":"Q1808862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$F2D9E75B-DB56-4A23-B909-FAFAE686B9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$2571C9D7-B1E1-4F48-9282-7109A0574445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8d7b956808ad43d44681d96ac3bd2e1bf93ddf4","datavalue":{"value":{"entity-type":"item","numeric-id":3550546,"id":"Q3550546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$B8FA5B46-62AD-4F52-AE06-F8438D41E44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59ccbd0a28965d997163a3f4b1152f54a94b054","datavalue":{"value":{"entity-type":"item","numeric-id":3235831,"id":"Q3235831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$EA87B024-A659-4A39-B286-E5909DE9F396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162d9ea68463d0ba8a64840c055904d4a71b6c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4317675,"id":"Q4317675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$8DB27930-D1C2-4BB0-BA92-C7D599082914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25315bb0a219f22b0613857de546a2d28471f4fe","datavalue":{"value":{"entity-type":"item","numeric-id":3714149,"id":"Q3714149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$56443937-E380-473D-8962-1F706AE08A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb08bfcd30d1be707e8b48f487c782709ba61fe","datavalue":{"value":{"entity-type":"item","numeric-id":1057956,"id":"Q1057956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$86CDCE6E-5B5A-4288-838F-1F729150C8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395835a5714094d360410630516ffc08e7e8be8f","datavalue":{"value":{"entity-type":"item","numeric-id":2551796,"id":"Q2551796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$B94A33C5-63FF-4CFB-A9AD-28941AEBA40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49863a66e453cf5c72aae30b9e8012236376bdfc","datavalue":{"value":{"entity-type":"item","numeric-id":4317891,"id":"Q4317891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$503E37A0-503B-44D7-A5F9-4BF7E04E5650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36798c58369adb589e24b132bc9e998749698cf7","datavalue":{"value":{"entity-type":"item","numeric-id":3624407,"id":"Q3624407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$E71B22C1-DF2D-49A4-B718-D42B283954B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc8218e0005a29c9a8d99ef3e3263a97f171c87","datavalue":{"value":{"entity-type":"item","numeric-id":2879675,"id":"Q2879675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$32ECC1F2-BE0C-49B6-8DBA-E6A3A804110B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb453df9285d74a89d4c8c6dcd00ac1574f25ae1","datavalue":{"value":{"entity-type":"item","numeric-id":3162666,"id":"Q3162666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503207$ED2AC658-5B77-41C5-B739-D649F454B651","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e7fc578644d0057aa506c1cdecd006c24495649","datavalue":{"value":"10.1007/S40879-016-0111-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503207$628FB4AC-895D-45D9-BC0D-A840F7DCCBCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c67cb7bffc512d41a2e9eab3e7e869947533e55","datavalue":{"value":{"entity-type":"item","numeric-id":723347,"id":"Q723347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e3fbfbb236e54eee843e88a7485e1e86c35f07","datavalue":{"value":{"amount":"+0.862462043762207","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":"Q503207$4561AF7F-D5AF-4171-8192-040C06F7AF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"051419fde09d84d33ac37c700769f0a57ffc84da","datavalue":{"value":{"entity-type":"item","numeric-id":5224928,"id":"Q5224928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326b0efd9a33ef49def48bb1b6ca5105bdda3479","datavalue":{"value":{"amount":"+0.7763184309005737","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":"Q503207$C1090185-6D0F-430F-9063-B68BC8C9C1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fc1ce995674960f3fe300ae8460d454b74993f","datavalue":{"value":{"entity-type":"item","numeric-id":5039237,"id":"Q5039237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f87e984bd0ca7a838c9fb0347966abb0009aef","datavalue":{"value":{"amount":"+0.7644510865211487","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":"Q503207$CB87AC52-18E5-414C-9F41-3128FD13F77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb36d208d84792fab0c138546805491479f24a6","datavalue":{"value":{"entity-type":"item","numeric-id":4595627,"id":"Q4595627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6fb6b2a57262db6dbf5f5d66ba95105af6dd43a","datavalue":{"value":{"amount":"+0.759922444820404","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":"Q503207$E7B979B7-3CA1-411B-A378-4185B417FD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0da67c79dfbae7b28ea13735ebe08b0ef46393d","datavalue":{"value":{"entity-type":"item","numeric-id":4565036,"id":"Q4565036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fcb778e99ffbc106bb5ab2ebd97a0fad667c07c","datavalue":{"value":{"amount":"+0.7518031597137451","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":"Q503207$E08EE9AC-53FC-4883-B2C1-61A59D256A70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Division polynomials and intersection of projective torsion points","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Division_polynomials_and_intersection_of_projective_torsion_points"}}}}}