{"entities":{"Q1372596":{"pageid":1383336,"ns":120,"title":"Item:Q1372596","lastrevid":67496691,"modified":"2026-04-12T18:23:28Z","type":"item","id":"Q1372596","labels":{"en":{"language":"en","value":"A zero modular lemma."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088556"}},"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":"Q1372596$6FFBFA9A-D639-4D1D-9EA3-B0620E518133","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b01bdcf2266da64935e1b0f00c6aa306ec62523b","datavalue":{"value":{"text":"A zero modular lemma.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1372596$7E964E61-4E54-4F14-B760-E1EE60BEB503","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cc5ae1e6f9ab20891e57649b6711b0c48e1edcb","datavalue":{"value":"0889.11027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372596$32EDB34E-B42A-4367-AF0A-51A8BAE67185","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4de1eb29860c734db1560af36a56a78d21437c8c","datavalue":{"value":{"entity-type":"item","numeric-id":1095965,"id":"Q1095965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372596$235D69DB-F907-4592-B013-E6A7B130192A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372596$27DB4B20-922A-42EE-9ADD-C8BBEB6C8E7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ad10448408cd5d0453e0c76817ffe6c61d936aa","datavalue":{"value":{"time":"+1997-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1372596$F1B112DB-700B-4271-AB83-47772B3480F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e8bf1dd8b3c2b04be524d4d7087fbf1674d5ded5","datavalue":{"value":"\\textit{K. Barr\u00e9-Sirieix}, \\textit{G. Diaz}, \\textit{F. Gramain} and \\textit{G. Philibert} have proved in [Invent. Math. 124, 1-9 (1996; Zbl 0853.11059)] the transcendence of the values for the Fourier expansion at infinity of the invariant modular function \\(J\\) at any non-zero complex algebraic number of the unit disk. This groundbreaking work not only solved the long-standing conjecture of Mahler and Manin but opened new ways, as shown by the spectacular result of \\textit{Yu. V. Nesterenko} [Sb. Math. 187, 1319-1348 (1996); translation from Mat. Sb. 187, 65-96 (1996; Zbl 0898.11031)], i.e., the algebraic independence of \\(\\pi\\), \\(e^\\pi\\) and \\(\\Gamma ({1\\over 4})\\). In particular, Nesterenko's proof involves a zero modular lemma, which is interesting to compare to the result obtained in the paper under review: indeed this paper gives a sharp estimate of the order in 0 of the Laurent formal power series \\(F(T)= P(T,J(T))\\), for a given non-zero polynomial \\(P(X,Y) \\in\\mathbb{C} [X,Y]\\). More precisely, it is proved that  \\[ \\text{ord}_0 F(T)\\leq 9 \\deg_X (P) \\deg_Y(P) +\\textstyle{3 \\over 2} \\deg_Y(P)-\\textstyle {1\\over 2}. \\]  The proof is based on the construction of an auxiliary ``modular polynomial'' \\(Q(X,Y)\\) associated to the polynomial \\(P(X,Y)\\). The indeterminate \\(Y\\) is then eliminated between \\(P\\) and \\(Q\\) by the introduction of a resultant \\(R(X)\\). Puiseux series are used to conclude that the polynomial \\(R\\) is non-zero, and an upper-bound for the order in 0 of the series \\(F(T)= P(T,J(T))\\) can thus be deduced.    This result, which takes a first step for the determination of a transcendence measure of \\(J(q)\\), is also used by \\textit{K. Barr\u00e9-Sirieix} in [C. R. Acad. Sci., Paris, S\u00e9r. I 323, No. 5, 447-452 (1996; Zbl 0868.11032)], by giving an effective quantitative refinement of the result proved in [Barr\u00e9-Sirieix et al., op. cit.]. For a recent account of the theory, the reader is referred to the impressive survey of \\textit{M. Waldschmidt} [S\u00e9minaire Bourbaki, 49 \u00e8me ann\u00e9e, 1996-97, Exp. No. 824, Ast\u00e9risque 245, 105-140 (1997; Zbl 0908.11029)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372596$9CFA4ACD-D6FB-42EF-BCA8-772D444BB28D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e88d853fe26e3e97e7d28175bdc252d8a38cf5a","datavalue":{"value":"11J89","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372596$DF5C251C-31DD-46C0-B5F1-BCD33BADFC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9813bb2ce4abdd67239426cc5bd0fe08cf761aa","datavalue":{"value":"11J81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372596$99CD6B8D-4649-4903-B36B-E99AD53B1B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f7d6f43b461df83aae6c957cd96e11902a62525","datavalue":{"value":"11F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372596$44A25F31-5AD8-49BF-AA4C-B5B449B6A980","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"168188a05e4be291e9d11bc95879766000585c5c","datavalue":{"value":"1088556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372596$6909607F-481D-4C05-9B81-5FE768210280","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e706e24b8e706672ba09c86aed4b00c1c3bc9988","datavalue":{"value":"modular function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372596$E38EF393-C92B-449E-B1D9-FCB64CD744A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec4261147866e1280fdef087fe5c193f1c2f085","datavalue":{"value":"invariant modular function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372596$84994373-E49D-4F97-9C50-BE2378FF27C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c9e0242ab6c8c5d84cc7e814e1cd416a648d4d2","datavalue":{"value":"zero modular lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372596$CF36EBB8-50F2-4AFB-9D6A-32A0453A6BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f12e42c3538d9c32184aba7a6d091fb01032ce3b","datavalue":{"value":"order in 0","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372596$205248BB-FC41-4563-8E02-7E39AE01B548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ae98b1f88e70d4c49d23a2cdc0e2514f84d81cc","datavalue":{"value":"Laurent formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372596$CD74714E-BD06-41A0-9163-834B2FB2945B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3efb12db7cf0fbb443598e625cfbe248abc73963","datavalue":{"value":"transcendence measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372596$E1D4DA17-B874-4759-B3CC-357EA609FA56","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4931bb49fc917d10d500c6a22dcf6d62ac2a7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":194702,"id":"Q194702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372596$DC29C075-2ED0-446A-8E42-AD61B5B3C3D5","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":"Q1372596$6ECDF12B-22A6-48DC-8882-D0A49BEB204F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc78cdc49adecfe6cec827753a49643ed37be4b6","datavalue":{"value":"https://doi.org/10.1006/jnth.1997.2131","type":"string"},"datatype":"url"},"type":"statement","id":"Q1372596$523EBEB0-754B-4F20-9756-9DF4FA8B07FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f7d98cb437999c0d5b9bb2310d5db59fb89e2b9","datavalue":{"value":"W2062579831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372596$4326AC59-0747-4F4B-A2B5-416D3D10AB24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1d1e59a4496b6282acdfff5c2323711df570a7","datavalue":{"value":{"entity-type":"item","numeric-id":1911133,"id":"Q1911133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372596$83F05260-E8E4-474B-8CD9-D41439126137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb15813adbbfc3c636cd4c0da86a54db21d75b1","datavalue":{"value":{"entity-type":"item","numeric-id":4748129,"id":"Q4748129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372596$2E473469-11A9-4C8F-AE92-433BF0F65F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf3f32825b8a3612582001fdfdbc36e9651fc47","datavalue":{"value":{"entity-type":"item","numeric-id":4075566,"id":"Q4075566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372596$A8A24217-292A-4A69-A757-E07932B21625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf4fce0bc4c7b8ec693da39c4791939f4cc073b","datavalue":{"value":{"entity-type":"item","numeric-id":3496299,"id":"Q3496299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372596$840590C7-5938-4C98-8583-F0147535FD80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b89a086ef6b149683d6766ad530b57f4f262901","datavalue":{"value":"10.1006/JNTH.1997.2131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372596$EB69809A-98D4-4C53-8FE8-6FC7DC8DA751","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c2088cb987b4ceb68f6de51f9e1b8e6136603a","datavalue":{"value":{"entity-type":"item","numeric-id":4334999,"id":"Q4334999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e990e643331ced5e851109a9fadd3a95abe28a17","datavalue":{"value":{"amount":"+0.7403682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372596$B366A4FA-915E-4A9F-816E-3FF423CB0AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3aaffd5009805cf56103ea828d395059c78d94a","datavalue":{"value":{"entity-type":"item","numeric-id":4380452,"id":"Q4380452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84485ec57c71a738ce782f76a24f3ad3ea65d5ed","datavalue":{"value":{"amount":"+0.72647226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372596$7133D723-12AA-4582-922C-344762070291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa39a5a01baf64d572c1eb531b3f6deb3a1e1e46","datavalue":{"value":{"entity-type":"item","numeric-id":5926460,"id":"Q5926460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9118db00f790a68648f09f9646a538fb0bbef6","datavalue":{"value":{"amount":"+0.7261301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372596$1ECCFCB0-7444-497B-9459-80F35E6B1500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72fc5a934317d92d6a09c62c07d29d02715c2827","datavalue":{"value":{"entity-type":"item","numeric-id":3338334,"id":"Q3338334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b3c122150efeea59f9cadae101e77f4db28ae1","datavalue":{"value":{"amount":"+0.70710456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372596$5BEC4D9D-E6D6-4D3D-88F1-A7C5C19B414C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d80db39e948b5554abea75c028adddde2353f18","datavalue":{"value":{"entity-type":"item","numeric-id":1911133,"id":"Q1911133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e4c23067b55198b0285cb458e520910bcad145","datavalue":{"value":{"amount":"+0.7039245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372596$2EAEEA5C-E291-45AE-9FEA-F4EFA1F949E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644909f6c1a6ec04197ad5d3fdef7bd0aedf99bc","datavalue":{"value":{"entity-type":"item","numeric-id":4886632,"id":"Q4886632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0e885461804c7b0710a8919ca6593751653042c","datavalue":{"value":{"amount":"+0.7014964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372596$521AD838-9F06-4BD9-B969-1022F70D678D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54923e60a78d0af2f0a6307dcf0f1b78b66009c4","datavalue":{"value":{"entity-type":"item","numeric-id":3798737,"id":"Q3798737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7876179c43cff6a257e4b4cff4c162a76bbd7c","datavalue":{"value":{"amount":"+0.7001897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372596$6FFA4169-C025-47EA-BAFB-060F4D34DED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b2399e41b8461996ab32e83f720cdc827aa3cb","datavalue":{"value":{"entity-type":"item","numeric-id":4400622,"id":"Q4400622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45274bf41c6ef2d8d4fe309a106309bcdc7f8070","datavalue":{"value":{"amount":"+0.6978418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372596$9B07084D-82B3-4313-9551-B476DAC03DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"038f716a17de7fbe1236ec72b1be66f8241fd39e","datavalue":{"value":{"entity-type":"item","numeric-id":5198404,"id":"Q5198404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce17d8003a2bc41631f2c317a57593192c4ff535","datavalue":{"value":{"amount":"+0.6916937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372596$C3FCCE55-2F49-4ED4-AD85-36869DA4D324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca1522d656e90a6b24253bac73b702c6dd69d3e","datavalue":{"value":{"entity-type":"item","numeric-id":800962,"id":"Q800962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a71e09227c36ef7b922ea632fd2b59eb15ad1fb","datavalue":{"value":{"amount":"+0.6905627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372596$EFFA2D1C-7B84-4738-9FCF-2DF63D1866CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A zero modular lemma.","badges":[]}}}}}