{"entities":{"Q810101":{"pageid":811949,"ns":120,"title":"Item:Q810101","lastrevid":64506027,"modified":"2026-04-11T20:20:22Z","type":"item","id":"Q810101","labels":{"en":{"language":"en","value":"Supersingular j-invariants as singular moduli mod p"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4212220"}},"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":"Q810101$FAAFDD5B-B3E3-4243-927F-12846A2B8097","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e550a318b964a5d12bfec2c8db25a5230044ecc","datavalue":{"value":{"text":"Supersingular j-invariants as singular moduli mod p","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810101$D823402B-B76A-4263-9A28-C823DBC2B366","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb5b702e7c6b2dd1d7272e8b58f2f3c0fbf89af8","datavalue":{"value":"0733.14013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810101$23B31E51-A493-48B1-AFC9-496529E57A48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf7267b260423fd66881d38cc0d9e2c2547572d","datavalue":{"value":{"entity-type":"item","numeric-id":282956,"id":"Q282956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810101$84BF7797-DFF8-4C21-86F2-725E7F3AB81F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"903611b45fdefcb5db6a1d6c4d381fc130c82383","datavalue":{"value":{"entity-type":"item","numeric-id":189326,"id":"Q189326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810101$78D37F2F-1187-4979-B72E-9490911F5412","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q810101$1271A817-BF8D-4827-B156-F38DD3D39579","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3cac1e9461c73567f3d5fc4c7edc678308a12df6","datavalue":{"value":"Let \\({\\mathfrak O}_ D={\\mathbb{Z}}[{1\\over2}D+\\sqrt{-D})]\\) for \\(D\\equiv 0\\) or 3 mod 4, and let \\(P_ D(X)\\) be the minimal monic polynomial whose roots are the distinct j-invariants of elliptic curves over \\({\\bar {\\mathbb{Q}}}\\) with complex multiplication by \\({\\mathfrak O}_ D\\). The author gives several results concerning the reduction \\(mod\\quad p\\) of the polynomials \\(P_ D(X).\\)    Let E be an elliptic curve over \\({\\mathbb{Q}}\\), and let J be its j-invariant. Then every prime p of good, supersingular reduction for E is a prime factor of the numerator of \\(P_ D(J)\\) for some D such that p does not split in \\({\\mathbb{Q}}(\\sqrt{-D})\\). \\textit{N. D. Elkies} [Invent. Math. 89, 561- 567 (1987; Zbl 0631.14024)] noted that D can be chosen to be \\(<2p^{2/3}.\\) The author shows that this bound can be improved to \\(D<(4/\\sqrt{3})\\sqrt{p}\\) as a consequence of his result that every supersingular j-invariant contained in \\(F_ p\\) is a root of some \\(P_ D(X)\\quad mod\\quad p\\) with \\(D<(4/\\sqrt{3})\\sqrt{p}.\\)    The author also gives bounds on the prime divisors of the resultant of \\(P_{D_ 1}(X)\\) and \\(P_{D_ 2}(X)\\) for different discriminants \\(- D_ 1\\) and \\(-D_ 2\\). When \\(D_ 1\\) and \\(D_ 2\\) are relatively prime fundamental discriminants this is a result due to \\textit{B. H. Gross} and \\textit{D. B. Zagier} [J. Reine Angew. Math. 355, 191-220 (1985; Zbl 0545.10015)]. Finally, the author gives a new proof of a result, first due to Elkies, that if \\(p\\equiv 3\\quad mod\\quad 4\\) then \\(P_ p(X)\\equiv (X- 12^ 3)(R(X))^ 2mod\\quad p\\) and \\(P_{4p}(X)\\equiv (X-12^ 3)(S(X))^ 2mod\\quad p\\) with R(X), S(X)\\(\\in {\\mathbb{Z}}[X]\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q810101$C53EAD84-A014-47C4-B577-C9AC8D443601","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7130bcb017c8407cfad28622e55daabe2a57158","datavalue":{"value":"14H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810101$532C440C-ED44-4FD9-A135-78F4991F6C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f00aec7b2c940e365c27808f50e4aeed90366677","datavalue":{"value":"14H52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810101$287280DA-8F69-4F48-83B5-E54C2A7A535D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bde0c59f5bdd17dae5dc2f563065baaae8538d40","datavalue":{"value":"14K22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810101$4E669280-5D94-493E-B85C-F0032CF5C8AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef48d8e296d1ae61451295e9369f06eabc599c74","datavalue":{"value":"4212220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810101$1F0D68DF-1B39-421A-AFC6-717682B2406E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108366b06f7accfca8d2e0299f146e75913c4e8","datavalue":{"value":"complex multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q810101$DE314DE7-7D3A-4569-A653-BDC10A431D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"152a3a8a7275b37d6dbe5f1a44038a85372ab00c","datavalue":{"value":"elliptic curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q810101$E45F0811-F433-41E1-BE10-D0D1FE5F8EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00538060dba3aa8d72ed92a4bdf7dc0c8a44b648","datavalue":{"value":"supersingular j-invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q810101$71340528-EDAE-4687-99A5-18AC1149B9D0","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":"Q810101$06A1F822-E23B-4058-90EA-89CA51468B17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0e082e455385fb466aefd18729782f3e636f48","datavalue":{"value":{"entity-type":"item","numeric-id":4213385,"id":"Q4213385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc251e70deb2dd2164187a2a36a03bc4083d9df9","datavalue":{"value":{"amount":"+0.8282004594802856","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":"Q810101$095BF41A-3883-4E4A-8E31-FFFCCF4F3912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb322c7f9cd409ab7370280d050a685c3ffabac","datavalue":{"value":{"entity-type":"item","numeric-id":4681957,"id":"Q4681957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc251e70deb2dd2164187a2a36a03bc4083d9df9","datavalue":{"value":{"amount":"+0.8282004594802856","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":"Q810101$4305E3D3-2899-4C61-866A-9EA9DB5400C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267534f17c202e6b29bc3ad8f7231ea2f1469767","datavalue":{"value":{"entity-type":"item","numeric-id":1746229,"id":"Q1746229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95e4f8ec96a017b7cc8a42b83533efb6ccbcd0f","datavalue":{"value":{"amount":"+0.8158795833587646","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":"Q810101$E1D7C929-4C1E-40B0-A586-C9F7199B970C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88891793950e1f6c1afdc47413bff22ae476ed3","datavalue":{"value":{"entity-type":"item","numeric-id":3335847,"id":"Q3335847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3268f100ababa41feec9dd6cd3f29d43162865a6","datavalue":{"value":{"amount":"+0.8112704157829285","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":"Q810101$6E7E1A66-7726-4DC3-A662-3B8F6D068718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e203370ba71ffc09168bfc6312c07d128ab88d","datavalue":{"value":{"entity-type":"item","numeric-id":5864319,"id":"Q5864319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf0c509dadf0f52edaf069ae61945526eae568d","datavalue":{"value":{"amount":"+0.8040518164634705","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":"Q810101$C238D8EF-7A6D-44C4-BAA1-30B0F51A9104","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Supersingular j-invariants as singular moduli mod p","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Supersingular_j-invariants_as_singular_moduli_mod_p"}}}}}