{"entities":{"Q953051":{"pageid":954899,"ns":120,"title":"Item:Q953051","lastrevid":65597997,"modified":"2026-04-12T03:41:23Z","type":"item","id":"Q953051","labels":{"en":{"language":"en","value":"Supersingular module, Gross-Kudla formula and rational points of modular curves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5366303"}},"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":"Q953051$80F563BE-41E5-4243-8E87-B8B4DADEDD74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a88b97f3025b77e57d23245e0830e7ecf78ac1c3","datavalue":{"value":{"text":"Supersingular module, Gross-Kudla formula and rational points of modular curves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q953051$79D0FC45-AF33-4185-9064-4CE2A1990381","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e50b6b1e1798c874f818655180dab03d336f72d6","datavalue":{"value":"1167.11023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953051$A14EF1BE-2EF3-44AE-B298-AF3CEEFA15A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"630fea055f3589bab58e254fa9f25adb20c154ce","datavalue":{"value":{"entity-type":"item","numeric-id":381147,"id":"Q381147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953051$E73706E1-8F22-4230-AFD5-9DBF35F90DC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953051$B1C16405-01C9-407C-9349-4C8D656AED45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0df28e4c63490c0dc31164052eefead9dddc9d4e","datavalue":{"value":{"time":"+2008-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q953051$4C3F2500-4589-4B34-B529-01A88216128F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"438918acf86ae1b036c6842ab7646ee859ec1bdf","datavalue":{"value":"In this well-written article, the author proves that for all prime number \\(p\\) outside a set \\(\\mathcal{C}\\) of analytic density \\(9/2^{10}\\), the quotient of the modular curve \\(X_0(p^r)\\), \\(r>1\\), by the Atkin-Lehner involution has no rational points except cusps and CM points (theorem 0.6). The set \\(\\mathcal{C}\\) is determined by explicit quadratic congruences.  The method consists in applying a criterion due to \\textit{P. J. R. Parent} [Compos. Math. 141, No. 3, 561--572 (2005; Zbl 1167.11310)] to well-chosen degree zero elements in the supersingular module annihilated by the winding ideal.  More precisely, for \\(p>3\\) any prime number let \\(\\mathcal{P}\\) denote the free abelian group generated by the isomorphism classes of supersingular elliptic curves over \\(\\overline{\\mathbb{F}}_p\\), let \\(\\mathcal{P}^0\\) denote the subgroup of degree zero elements in \\(\\mathcal{P}\\), let \\(I_e\\) denote the annihilator in the Hecke algebra of the set of primitive cusps forms \\(f\\) of level \\(\\Gamma_0(p)\\) such that \\(L(f,1)\\neq 0\\), and let \\(\\mathcal{P}^0[I_e]\\) denote the subgroup of \\(\\mathcal{P}^0\\) on which \\(I_e\\) acts trivially. Thanks to the famous formula involving triple products of \\(L\\)-functions due to \\textit{B. H. Gross} and \\textit{S. S. Kudla} [Compos. Math. 81, No. 2, 143--209 (1992; Zbl 0807.11027)], the author constructs an explicit family \\((y^0_m)\\), \\(m>0\\), of elements in \\(\\mathcal{P}^0[I_e]\\otimes \\mathbb{Q}\\). She then applies Parent's criterion to this family. She proves in fact that the sequence \\((y^0_m)\\), \\(m>0\\), generates \\(\\mathcal{P}^0[I_e]\\otimes \\mathbb{Q}\\) as a module over the Hecke algebra.  Previous results were due to Parent [loc. cit.] replacing the set \\(\\mathcal{C}\\) by one of analytic density \\(7/2^9\\). Parent used another family of \\(\\mathcal{P}^0[I_e]\\otimes \\mathbb{Q}\\) which also generates this vector space. The author provides the link between these two families: up to some Eisenstein element, \\(y_m^0\\) is a linear combination of Parent's elements (proposition 0.2).","type":"string"},"datatype":"string"},"type":"statement","id":"Q953051$68E59F9B-2F8C-460D-A9F0-2FE718A69BED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"339b2c34a07a38eddd3a3b7b3128e4e393d0795a","datavalue":{"value":{"entity-type":"item","numeric-id":291023,"id":"Q291023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953051$4FF0FF7C-CFB0-42BC-A2B5-31F7544F951D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae61fee828aa17db4c1d27be0f560b73f79c72f7","datavalue":{"value":"11G18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953051$FE3B05E7-C89E-4A4F-8F64-217F84AD8BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7d2c1d6303ff43a208c78ddab6e0cc8993208fc","datavalue":{"value":"14G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953051$B2E6B0DA-1563-45AB-81AD-1DBB8AE9A627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28fa461aeb4930aa157b063fa36c39645dfdfe32","datavalue":{"value":"14G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953051$A7B93AA3-60D5-4BF4-ADB2-67A65C09439C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ea1f33c7c1fc050622eab07e6dbceb4d6ec1394","datavalue":{"value":"5366303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953051$D842F54A-D820-4F57-96DB-E328342E44EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066068cc3a70d48a87b4c80c358d27926680647d","datavalue":{"value":"rational points on modular curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q953051$59012A5C-E404-4924-BD60-788A044EA764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e1a69f09b2716680b7719aeb1b0a898f6860ac","datavalue":{"value":"supersingular module","type":"string"},"datatype":"string"},"type":"statement","id":"Q953051$5E4BAD78-68CA-4F63-ABA5-28F5241264D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3759cefa97cd5a60db516b8fc2a49b5d958a3a5c","datavalue":{"value":"special values of L-functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q953051$AE069E15-5EBE-4B6A-9730-DD6F85CC153E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c03187502e6c6496d216144bbb69710a69e04c","datavalue":{"value":"Gross-Kudla formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q953051$5FF3AA66-9280-49AE-84B9-A3087B400FC7","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":"Q953051$CF1A4D36-79B7-49CA-9D68-B680AE347947","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9d7c41ea9f2e4e9437d5a86a0adea1250f98e91","datavalue":{"value":"https://doi.org/10.2140/pjm.2008.234.167","type":"string"},"datatype":"url"},"type":"statement","id":"Q953051$D8516931-0372-4AB2-B4D7-CAB41ADFCDE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7597d5b90e0dcda9197860b82e907420e06b5fb0","datavalue":{"value":"W2162308353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953051$C0914429-2A32-4A16-BDD4-A9CC803375E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a7cf9eb7accc7799543528a70f6c2619b9367f4","datavalue":{"value":"10.2140/PJM.2008.234.167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953051$6A5479FE-D738-4371-BEAF-EC14D860FEF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab66bef94146e24060088b5f132f20a0865181c","datavalue":{"value":{"entity-type":"item","numeric-id":863290,"id":"Q863290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deeac80bf1d222fd93081ea978962e3a93cdb36c","datavalue":{"value":{"amount":"+0.7957783341407776","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":"Q953051$F85CA89B-CB32-4990-AFD2-C79E4AF6960F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18af3413e6b08911b083442716bf0a0e9d6992fc","datavalue":{"value":{"entity-type":"item","numeric-id":2485351,"id":"Q2485351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f7f746c84504d9b43b4db46e121d36f99ff6e5","datavalue":{"value":{"amount":"+0.7939726114273071","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":"Q953051$C02B0966-4AE9-42D8-8AB1-4293091A975E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd125772ab8569e42f4afb19dc43a6f82ee54674","datavalue":{"value":{"entity-type":"item","numeric-id":4604425,"id":"Q4604425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d479179127fe768bbbb4aedf9a5d65511c9662da","datavalue":{"value":{"amount":"+0.7560151815414429","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":"Q953051$3C9EB4BC-ED8A-4BB0-8BDA-5B2174DB0F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6f9fee79e0a6289322ad726951433b23b905d6f","datavalue":{"value":{"entity-type":"item","numeric-id":3758031,"id":"Q3758031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b1d1d5f60f4498b694d9d995222a5d91190e99","datavalue":{"value":{"amount":"+0.7539564967155457","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":"Q953051$F5697E7D-DBEC-48BF-A976-51B7436310FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4a0df9e0dd88c186854e881fad3e9d36698d08","datavalue":{"value":{"entity-type":"item","numeric-id":4819164,"id":"Q4819164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a64cc642acabe1119fa8297eea601d569db106d","datavalue":{"value":{"amount":"+0.7444069981575012","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":"Q953051$29554685-475E-4C32-8C59-1D158278E5FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Supersingular module, Gross-Kudla formula and rational points of modular curves","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Supersingular_module,_Gross-Kudla_formula_and_rational_points_of_modular_curves"}}}}}