{"entities":{"Q6572985":{"pageid":14184140,"ns":120,"title":"Item:Q6572985","lastrevid":56095740,"modified":"2026-03-12T16:33:59Z","type":"item","id":"Q6572985","labels":{"en":{"language":"en","value":"Explicit bounds on the coefficients of modular polynomials for the elliptic \\(j\\)-invariant"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881498"}},"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":"Q6572985$BD2B47A2-B063-4D66-A561-D1C9493BFE11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"249f8abb51073b0c7c97b673aefcb4f96c92d66a","datavalue":{"value":{"text":"Explicit bounds on the coefficients of modular polynomials for the elliptic \\(j\\)-invariant","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572985$045AC400-AEC7-4627-8524-55D5D703615E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2afb57f06171ca7ddfcd742674cbd1bc1e17f8","datavalue":{"value":{"entity-type":"item","numeric-id":271745,"id":"Q271745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572985$049CE9BD-70AC-4745-A8CD-45B51004A207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"052a72d65f6643fdd785a98e9c8f9456b1aea353","datavalue":{"value":{"entity-type":"item","numeric-id":361839,"id":"Q361839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572985$E29BB895-2C9A-4C7B-ADC1-12A43E41DA79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d8035446950622bcd0bc9d3d3469044a26cf126d","datavalue":{"value":{"entity-type":"item","numeric-id":6493704,"id":"Q6493704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572985$E3E456D1-7F30-4516-B695-BAF796AFCE47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0fe2240c873d27dc7d0c5b57ab52a47caefc5742","datavalue":{"value":{"time":"+2024-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572985$3D3B7C99-B14A-4CA8-BB6C-EA981F951ECE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce21f2ef6306ab562668af3db8dae6705ea4ec5d","datavalue":{"value":"For any \\(N\\in \\mathbb{N}-\\{0\\}\\), let \\(\\Phi_N(X,Y)\\in\\mathbb{Z}[X,Y]\\) be the modular polynomial which vanishes at pairs of \\(j\\)-invariants of curves admitting a cyclic \\(N\\)-isogeny between them, and define the height \\(h(\\Phi_N)\\) as the \\(\\log\\) of the maximal absolute value of the coefficients of \\(\\Phi_N(X,Y)\\). The authors improve substantially the bound\\N\\[\\Nh(\\Phi_N)=6N\\prod_{p|N}\\left(1+\\frac{1}{p}\\right)\\left[ \\log(N)- 2\\sum_{p|N} \\frac{\\log(p)}{p} +O(1)\\right] \\qquad \\text{(as }N\\rightarrow +\\infty\\text{)}\\N\\]\\Nin [\\textit{P. Cohen}, Math. Proc. Camb. Philos. Soc. 95, 389--402 (1984; Zbl 0541.10026)] by providing an explicit constant and showing that for all \\(N\\)\\N\\[\\Nh(\\Phi_N)\\leqslant 6N\\prod_{p|N}\\left(1+\\frac{1}{p}\\right)\\left[ \\log(N)- 2\\sum_{p^n||N} \\frac{(p^n-1)\\log(p)}{p^{n-1}(p^2-1)}+\\log\\log(N) +4.436 \\right] .\\N\\]\\NThe values for \\(N\\leqslant 400\\) are computed explicitly (via an algorithm in [\\textit{R. Br\u00f6ker} et al., Math. Comput. 81, No. 278, 1201--1231 (2012; Zbl 1267.11125)]), then a general proof for \\(N>400\\) is obtained by estimating the Mahler measure\\N\\[\\N\\sum_{\\gamma\\in C_N} \\log\\max\\{1,|j(\\tau_N)|\\}\\N\\]\\Nof the \\(j\\)-invariants of \\(N\\)-isogenous curves (where \\(C_N\\) is the set of \\(N\\prod_{p|N}\\left(1+\\frac{1}{p}\\right)\\) matrices \\(\\begin{pmatrix} a & b \\\\ 0&d \\end{pmatrix}\\) encoding cyclic \\(N\\)-isogenies).\\N\\NMost computation use estimates on the modular functions \\(j\\) and \\(\\Delta\\) and a search for optimal constants by looking at different representatives of \\(\\tau\\) in \\(\\mathrm{SL}_2(\\mathbb{Z})\\backslash \\mathbb{H}\\) (where \\(\\mathbb{H}\\) is the complex upper half plane), to combine the results of [\\textit{P. Autissier}, Bull. Soc. Math. Fr. 131, No. 3, 421--433 (2003; Zbl 1067.11022)] and [\\textit{F. Pazuki}, Int. J. Number Theory 15, No. 3, 569--584 (2019; Zbl 1446.11126)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572985$B216163D-4AB1-461A-9769-0689E296FC20","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":"Q6572985$8E26EE09-AFBF-4B8E-9C1B-F9010F8CE459","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b466ca590039ea305e8cc047527b117e828a753","datavalue":{"value":"11G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572985$36D7BCC4-6FE2-4504-9321-5B3ADF1A81AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96fe432a9d29d66152e17e15c57e33ae4bb2ed35","datavalue":{"value":"7881498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572985$54C611F8-248F-4CA4-957D-D12AE4B93C79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c39a13cc94172770be5787ffb58396242c40ff","datavalue":{"value":"modular polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572985$5CC03622-D1A9-4C3B-9B47-8BC6F0B55DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1fcf8634dffbef5ab53f82304a07bf90038678","datavalue":{"value":"elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572985$C2571745-7E4A-42B5-A790-D521615DDED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2dc1c1e541781d99ebc3f783c0aad043172e19f","datavalue":{"value":"\\(j\\)-invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572985$EEBC8030-FA63-4799-9E53-57FE597A2440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dacfd19b9b52db987d6f0c1cf9d7be9b474b9fc","datavalue":{"value":"heights","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572985$294E7F84-82C8-4E30-9EE5-CB6E332C16A9","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":"Q6572985$F658D18B-2771-4607-A007-ABCCB96F2487","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a24dc439ec5266606cf783e9586fed9584f1fb","datavalue":{"value":{"entity-type":"item","numeric-id":4810330,"id":"Q4810330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572985$576E5435-B200-40BA-A88E-2AA12A1FE729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e1ca8824a98de6b37d09f643edfb372b2ea2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5389453,"id":"Q5389453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572985$29BB7548-3DD2-4F77-9E7B-AE04A1C6B67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb584eef0a07f5e1a1a586af82ca142b88ee8973","datavalue":{"value":{"entity-type":"item","numeric-id":993487,"id":"Q993487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572985$7FB42D9E-29E3-4256-A161-4AB483D2BD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbe12dcbd95a6d1ac8ed4010a00ecf307920f1a","datavalue":{"value":{"entity-type":"item","numeric-id":898812,"id":"Q898812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572985$7E60D82E-F1DE-4E24-813C-0376CB74072C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cbcf702d2628a2d077629dfe8fe93f3c066d20","datavalue":{"value":{"entity-type":"item","numeric-id":5216745,"id":"Q5216745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572985$2787EF36-B95A-499F-85D1-1843446BCC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bfc60b7e07eeb6048ba21524081a6a78fc3008","datavalue":{"value":{"entity-type":"item","numeric-id":3328620,"id":"Q3328620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572985$12B363C3-6B43-4BE8-A479-66CCF226FF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f39277db9f161ca76c421fba62f4552a1622eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4723876,"id":"Q4723876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572985$BD593A5F-0183-4F05-8E0E-1071DD027DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b894417f702f44e0b2c7dd48f1cd051e017621d","datavalue":{"value":{"entity-type":"item","numeric-id":4629109,"id":"Q4629109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572985$D4B68082-E79C-492E-A8B1-80A773D040C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c13fd4e006ba3927e26c7b1c6fee35d3e47a9a6","datavalue":{"value":{"entity-type":"item","numeric-id":1813437,"id":"Q1813437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572985$8EA63792-4FA1-48E4-B358-3B3675EC7F2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95bd8a213b4ce668f82b8fa18074466b7de19a74","datavalue":{"value":"10.1090/BPROC/179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572985$555A36F3-62DE-4213-9AF4-389DAED30C3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209ac78925fd5eb710e285ac212b0adbf7a4c57f","datavalue":{"value":{"entity-type":"item","numeric-id":4629109,"id":"Q4629109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0674813a9f7bdac1a8d29c0f2134b8eb438a829","datavalue":{"value":{"amount":"+0.8145542144775391","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":"Q6572985$5FA4128A-71A1-4E23-896E-39223932003E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec0533ebc99bdb29e281c10b71f25a60bbff312e","datavalue":{"value":{"entity-type":"item","numeric-id":993487,"id":"Q993487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02688e711ea6b97131711ad50e073a0bc60d66c1","datavalue":{"value":{"amount":"+0.8005895614624023","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":"Q6572985$52B624C4-070E-46D0-8BF3-A68D1182BC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d1d617c9087214f94d9555020a8f2398ff18da","datavalue":{"value":{"entity-type":"item","numeric-id":3328620,"id":"Q3328620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d969258b5a24ff57acaaf4cdb23091e020e97bf","datavalue":{"value":{"amount":"+0.7949821949005127","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":"Q6572985$2E4E9212-3037-49C3-B11F-9D09E0CB2381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978ca15fa04251a39d44eb55e631b92f1052fa41","datavalue":{"value":{"entity-type":"item","numeric-id":1366670,"id":"Q1366670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448e61e2c5dfe10d9b72c2526ba897c903d50eb1","datavalue":{"value":{"amount":"+0.7765899896621704","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":"Q6572985$546F3947-C099-4DDE-AAC7-84F60F839581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"535d78cd5bf1555f9649654eddaa5f50fcab9f52","datavalue":{"value":{"entity-type":"item","numeric-id":3223131,"id":"Q3223131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e055247ebce8eb3fea452febf87e67b9c89700f","datavalue":{"value":{"amount":"+0.766502857208252","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":"Q6572985$988DD869-825B-4518-83FF-60F20C49D3F1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572985$07295248-4E22-4166-9AE9-6941681A6529","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572985"}}}}}