{"entities":{"Q444616":{"pageid":446383,"ns":120,"title":"Item:Q444616","lastrevid":61911939,"modified":"2026-04-11T02:29:30Z","type":"item","id":"Q444616","labels":{"en":{"language":"en","value":"On supersingular elliptic curves and hypergeometric functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6066183"}},"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":"Q444616$2010EA57-19EF-4D15-ACB3-D3EEA6724B2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4983ecded8ffb0e0ae19423c448a847568a44b4","datavalue":{"value":{"text":"On supersingular elliptic curves and hypergeometric functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444616$705E6C10-3C9B-40DF-91FA-0F95894AB1A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18efd6e7d09a80be691d625c9ff81499555fc6e2","datavalue":{"value":"1247.14039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444616$67010017-2DDA-4C17-B3FD-04E17904AD26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a2beb9b6ec88afc0f206f0a622618e443b19c67","datavalue":{"value":{"entity-type":"item","numeric-id":378897,"id":"Q378897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444616$812F9D37-8602-47F5-A260-E1302B296A97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"481b96cb69972967979d166e912be39b92b70bcf","datavalue":{"value":{"entity-type":"item","numeric-id":258627,"id":"Q258627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444616$B33F4FB4-BBE9-4D90-BDC5-5941A72E9209","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92d6e2cc55c86aeaf01079a3703218502664deb6","datavalue":{"value":{"time":"+2012-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444616$380F1560-1217-493A-AA88-0929B9550814","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56fef102ddce76088a3fe76a569719ff8cf5c934","datavalue":{"value":"http://msp.berkeley.edu/involve/2012/5-1/p11.xhtml","type":"string"},"datatype":"url"},"type":"statement","id":"Q444616$37923375-F221-486D-8DF6-8CD498D20AA9","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":"Q444616$A905956E-9003-4D25-8C31-597D5501EA3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f00aec7b2c940e365c27808f50e4aeed90366677","datavalue":{"value":"14H52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444616$1557E141-2190-40D3-B1D0-73AB478AE35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"66c5e126e77da3f40558cf621d2ab9aa4679bb8b","datavalue":{"value":"33C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444616$8A261D70-A3CB-4EA6-A474-E75B49677C89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81daf116a5666fd329a992fcb7cfc518497949a5","datavalue":{"value":"6066183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444616$32FA5C69-5908-48B4-8C7B-09C1C4552E6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1fcf8634dffbef5ab53f82304a07bf90038678","datavalue":{"value":"elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q444616$092A69D7-6819-44D3-A9CC-2F51D63D9F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dcd7b367179dc4e8f71ab1d061822be25c810c0","datavalue":{"value":"hypergeometric functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q444616$344AFBB9-5DC1-447A-B3B6-8464CDEC498D","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":"Q444616$FA4FED0E-6A46-47F6-B279-7DFC773A6329","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fcc7894d8ea0db0942e9aab63150c943ff36bfa","datavalue":{"value":"W2044797793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444616$0AD42C91-BBE5-4DA5-9AD6-61009EE9AEAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b52907cc4c4c27b2f490e1e96648738d6d937845","datavalue":{"value":"10.2140/INVOLVE.2012.5.99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444616$79B0BCBF-5592-486B-826A-D913FBA61A8B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"846697d4f57a5ae143d45b43a936a19a3521095a","datavalue":{"value":"The paper deals with two families of elliptic curves, namely NEWLINE\\[NEWLINE E_{\\frac{1}{3}}(\\lambda) : y^2+\\lambda xy+\\lambda^2y = x^3 \\quad \\lambda\\neq 0,27 NEWLINE\\]NEWLINE NEWLINE\\[NEWLINE E_{\\frac{1}{12}}(\\lambda) : y^2 = 4x^3 -27\\lambda x-27\\lambda \\quad \\lambda\\neq 0,1 NEWLINE\\]NEWLINE (another family \\(E_{\\frac{1}{4}}(\\lambda) : y^2=(x-1)(x^2+\\lambda)\\) is treated in a forthcoming paper of \\textit{A. El-Guindy} and \\textit{K. Ono}), and their supersingular locus NEWLINE\\[NEWLINE S_{p,i}(\\lambda)=\\prod_{ {\\lambda_0\\in \\overline{\\mathbb{F}}_p} \\atop {E_i(\\lambda_0)\\text{ is supersingular }} } \\, (\\lambda-\\lambda_0) \\qquad (i=\\frac{1}{3},\\frac{1}{12})\\;. NEWLINE\\]NEWLINE The author proves first that there are exactly \\(\\lfloor pi \\rfloor\\) distinct values of \\(\\lambda\\) for which \\(E_i(\\lambda)\\) is supersingular over \\(\\overline{\\mathbb{F}}_p\\,\\). Then a careful computation of the Hasse invariants and some combinatorial identities provide a description of \\(S_{p,i}(\\lambda)\\) in terms of the hypergeometric function NEWLINE\\[NEWLINE \\;_2F_1\\left(\\begin{matrix} a & b \\\\ \\;& c \\end{matrix}\\Big| z \\right) := \\sum_{n\\geq 0} \\frac{(a)_n(b)_n}{(c)_n} \\frac{z^n}{n!} NEWLINE\\]NEWLINE truncated at \\(p\\) (where \\((x)_n=x(x+1)\\cdots(x+n-1)\\,\\)), so that the supersingular curves can be identified by the zeroes modulo \\(p\\) of such (truncated) functions. In particular, for \\(p\\geq 5\\), the author proves that NEWLINE\\[NEWLINE \\begin{matrix} S_{p,\\frac{1}{3}}(\\lambda) & \\equiv \\lambda^{\\lfloor\\frac{p}{3}\\rfloor} \\;_2F_1\\left(\\begin{matrix} \\frac{1}{3} & \\frac{2}{3} \\\\ \\;& 1 \\end{matrix} \\Big| \\frac{27}{\\lambda}\\right)_p \\pmod p \\\\ \\;& \\equiv \\sum_{n=0}^{p-1} \\frac{(\\frac{1}{3})_n(\\frac{2}{3})_n}{(1)_n} \\left(\\frac{27}{\\lambda}\\right)^n\\frac{1}{n!} \\pmod p \\end{matrix} NEWLINE\\]NEWLINE (the relations for \\(S_{p,\\frac{1}{12}}(\\lambda)\\) are similar but also depend on the congruence class of \\(p\\) modulo 12), a results which reminds of the well known one NEWLINE\\[NEWLINE S_{p,\\frac{1}{2}}(\\lambda) \\equiv \\sum_{n=0}^{p-1} \\frac{(\\frac{1}{2})_n(\\frac{1}{2})_n}{(1)_n} \\frac{\\lambda^n}{n!} \\pmod p NEWLINE\\]NEWLINE for the Legendre curves NEWLINE\\[NEWLINE E_{\\frac{1}{2}}(\\lambda) : y^2=x(x-1)(x-\\lambda) \\quad \\lambda\\neq 0,1 \\;.NEWLINE\\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q444616$7C056892-0DB4-45A3-89D0-A3B09078FE10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7d90319f396ad35aa19ba7d9b901e361a9e4394","datavalue":{"value":{"entity-type":"item","numeric-id":2348593,"id":"Q2348593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042f3e28470ec94838ab7c193d3a49c26ea71349","datavalue":{"value":{"amount":"+0.8583705425262451","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":"Q444616$FB83DA94-0A67-4413-A761-3411667F3D99","rank":"normal"},{"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":"2808d164f45344a2663421560205d3eda36672eb","datavalue":{"value":{"amount":"+0.8391121625900269","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":"Q444616$8B54EBF5-5DC8-492D-92F7-52B983E12D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f0775b07e781fa002adf3048634b334da8beba","datavalue":{"value":{"entity-type":"item","numeric-id":4789314,"id":"Q4789314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2808d164f45344a2663421560205d3eda36672eb","datavalue":{"value":{"amount":"+0.8391121625900269","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":"Q444616$ADAA3172-9E09-4227-949A-F63FB915E510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b028bbfe2eae78fb100447c9d150f97eb6e3f799","datavalue":{"value":{"entity-type":"item","numeric-id":2782389,"id":"Q2782389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607101a79bd014f0f0ddc8a88010c8dfd1f56bd3","datavalue":{"value":{"amount":"+0.8211824893951416","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":"Q444616$682F2DFF-1E49-4CA8-B4AE-B5D91AE870C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32271d71826a18dd3c087ade9a77f89974450387","datavalue":{"value":{"entity-type":"item","numeric-id":3801701,"id":"Q3801701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9f555d0f09f170643cd0008a7e46f76dce8e0f","datavalue":{"value":{"amount":"+0.8178964853286743","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":"Q444616$52B00A27-400F-439B-BC2C-DCEB224EA097","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On supersingular elliptic curves and hypergeometric functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_supersingular_elliptic_curves_and_hypergeometric_functions"}}}}}