{"entities":{"Q983415":{"pageid":985263,"ns":120,"title":"Item:Q983415","lastrevid":65855280,"modified":"2026-04-12T05:49:58Z","type":"item","id":"Q983415","labels":{"en":{"language":"en","value":"Lang's height conjecture and Szpiro's conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5759880"}},"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":"Q983415$26CE13A7-EB6F-4511-861D-127A55C6413C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7719773af07abe6ca03f7cf812c99eae1b209e6c","datavalue":{"value":{"text":"Lang's height conjecture and Szpiro's conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q983415$BD442157-62A6-434A-BCEA-50675333D238","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eda16b790d7f94cd7d547ac72b82c7e5eeb4b0ab","datavalue":{"value":"1304.11046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q983415$0D18A9C9-F2C9-4ABA-B3E3-71FEF9AEB95C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42a908e4b49b0691938902ea65aa5b0d9e8e8d6d","datavalue":{"value":{"entity-type":"item","numeric-id":240101,"id":"Q240101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983415$A67E8133-4AB0-4D21-92CE-27A4B49B0FD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"67c80c0302a3afef383579ecf23bcd6250b145c1","datavalue":{"value":{"entity-type":"item","numeric-id":168484,"id":"Q168484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983415$E2925ACF-A873-441F-B899-93740DB62A52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76596ec698b57b421d8f13c15c55f9f9f7de7c3a","datavalue":{"value":{"time":"+2010-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q983415$9D3F0460-5976-4A55-BCA3-F5DACFA21D26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c70bcd64ae2401579a6eac085cc24b1b4737fe99","datavalue":{"value":"https://arxiv.org/abs/0908.3895","type":"string"},"datatype":"url"},"type":"statement","id":"Q983415$96DA421E-877A-4CB9-82CE-28BDE58A11D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"60173922a17dab48d9c7a0ce196165704be7d51f","datavalue":{"value":"http://www.emis.de/journals/NYJM/j/2010/16-1.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q983415$D438DEC1-9536-437B-90D8-2D04D0CF75B9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"623082ba291e11bd297ee5973c2628f4410c4dd5","datavalue":{"value":"Let \\(K\\) be a number field, and let \\(E/K\\) be an elliptic curve with minimal discriminant \\(\\mathfrak{D}_{E/K}\\). It was conjectured by \\textit{S. Lang} [Elliptic curves: Diophantine analysis. New York: Springer-Verlag (1978; Zbl 0388.10001)] that there exist constants \\(C_1>0\\) and \\(C_2\\) such that for any non-torsion point \\(P\\in E(K)\\),  \\[ \\hat{h}_E(P)\\geq C_1\\log\\mathrm {Norm}_{K/\\mathbb{Q}}\\mathfrak{D}_{E/K}-C_2. \\]  \\textit{M. Hindry} and the author [Invent. Math. 93, No. 2, 419--450 (1988; Zbl 0657.14018)] have previously shown that a weak form of Szpiro's conjecture, and hence the \\(ABC\\)-conjecture of Masser and Oesterl\u00e9, implies Lang's conjecture; it is natural to ask if Lang's conjecture is in fact equivalent to Szpiro's conjecture.  The purpose of this paper is to derive Lang's conjecture from what seems to be a significant weakening of Szpiro's conjecture. In particular, for any ideal \\(\\mathfrak{D}=\\prod \\mathfrak{p}_i^{e_i}\\), define the Szpiro ratio to be  \\[ \\sigma(\\mathfrak{D})=\\frac{\\sum e_i\\log\\text{Norm}_{K/\\mathbb{Q}}\\mathfrak{p}_i}{\\sum \\log\\text{Norm}_{K/\\mathbb{Q}}\\mathfrak{p}_i}.\\tag{*} \\]  The weak form of Szpiro's conjecture refered to above is that \\(\\sigma(\\mathfrak{D}_{E/K})\\) is bounded by some quantity depending just on \\(K\\). Now for each integer \\(J\\geq 0\\), the author defines the \\(J\\)-depleted Szpiro ratio \\(\\sigma_J(\\mathfrak{D})\\) to be the smallest value obtained by removing the contributions from up to \\(J\\) terms in the numerator and denominator of the equation (*). Note that \\(\\sigma_J(\\mathfrak{D})\\) is a priori non-increasing in \\(J\\), and that if a small number of primes contribute a great deal to \\(\\sigma(\\mathfrak{D})\\), one can expect \\(\\sigma_J(\\mathfrak{D}_{E/K})\\) to be a great deal smaller than \\(\\sigma(\\mathfrak{D})\\).  The author posits the existence of an integer \\(J\\) depending on \\(K\\), such that \\(\\sigma_J(\\mathfrak{D}_{E/K})\\) is bounded as \\(E/K\\) varies, an apparent weakening of Szpiro's conjecture. On this assumption, it is shown that there are constants \\(C_1>0\\) and \\(C_2\\) depending just on \\(K\\) such that for any \\(E/K\\),  \\[ \\hat{h}_E(P)\\geq C_1\\max\\{h(j_E), \\log\\text{Norm}_{K/\\mathbb{Q}}\\mathfrak{D}_{E/K}\\}-C_2, \\]  for non-torsion points \\(P\\in E(K)\\). This is the same strong version of Lang's conjecture proved under the stronger Szpiro conjecture by the author and Hindry [loc. cit.].","type":"string"},"datatype":"string"},"type":"statement","id":"Q983415$97DB148C-EA7B-438B-8673-17CC89ED53FE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10e552e2d3b692648c00f5bbd98f6a04d38e3cbc","datavalue":{"value":{"entity-type":"item","numeric-id":465455,"id":"Q465455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983415$5E7D775B-A303-4AAC-A4F9-A1E966110003","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b466ca590039ea305e8cc047527b117e828a753","datavalue":{"value":"11G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q983415$5415C79A-CA2B-4BDE-A3C7-4D08F166A0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2883069e40717cc0ba9adc793738be74652f098","datavalue":{"value":"11G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q983415$C98950D9-D08C-461F-AA69-AAFA3BE93AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de48100e10f5663469778655acb059045b52dea8","datavalue":{"value":"11J97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q983415$0F688EA0-673E-4FB2-8811-A870C75F1369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f00aec7b2c940e365c27808f50e4aeed90366677","datavalue":{"value":"14H52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q983415$1696F15E-570D-4C69-B621-D0BE343A2C8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59fee38101d3f44c35bf7a17b68afeec8acb57a0","datavalue":{"value":"5759880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q983415$573BE265-9481-4E89-AE21-75DFD388CD9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"152a3a8a7275b37d6dbe5f1a44038a85372ab00c","datavalue":{"value":"elliptic curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q983415$37D9409E-A480-4E7F-B9B1-30261C4E344B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"702dff90b6146b422be24bfa048c434196e52864","datavalue":{"value":"canonical height","type":"string"},"datatype":"string"},"type":"statement","id":"Q983415$8E2711C6-909F-4E25-9284-5E88180006E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7df366f9493fc2742d4b6db12611113898bc96ff","datavalue":{"value":"Szpiro conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q983415$1CC821C9-331C-4933-BB37-D10FE2F0CF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1971987ed1d32a0da3ba351f8a67d0ef024183c6","datavalue":{"value":"Lang conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q983415$137A12F8-F763-49E4-AECC-4E69694B1E26","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":"Q983415$DB7B4C7D-D7ED-4B13-83B8-C02346E1021A","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"b39bd9bb074818c5dac76d00828d2b4092202819","datavalue":{"value":"bafkreieydjq7pwdz5dxfhhg6ju4iklhozazfpd45cfhplax5alwqddmvjy","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q983415$382542F9-23B8-4E12-A161-2EAB62A2F86B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae0465d81fb7e0f711fd484269cc11ba5773c50","datavalue":{"value":{"entity-type":"item","numeric-id":4025969,"id":"Q4025969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa8f71263d88b3b483b880a724c13a7a177078ae","datavalue":{"value":{"amount":"+0.8847760558128357","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":"Q983415$88040602-AABD-4E65-A49A-241201C6626F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c44d7a65007c013eb7f14dd4ec25361ad94f52","datavalue":{"value":{"entity-type":"item","numeric-id":3191871,"id":"Q3191871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646e2ab9ab25d0e311667213fba28649751c2fd9","datavalue":{"value":{"amount":"+0.8835382461547852","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":"Q983415$60FCC88F-DD5A-448F-B70E-FCD5EA000BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ffbbc06a980b0855cedd60c9f84eb881d39ae0","datavalue":{"value":{"entity-type":"item","numeric-id":1110602,"id":"Q1110602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c7dcc760313ac8f7afbc9cba8b4ce974b81dc0","datavalue":{"value":{"amount":"+0.877029538154602","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":"Q983415$F1C7357C-4FED-4660-91F0-B9780E8BB665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe9f439e479022ed02c99d62edcc0c7a614a25af","datavalue":{"value":{"entity-type":"item","numeric-id":2903780,"id":"Q2903780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed748ab9af19542d0645b3650de2aeb386587986","datavalue":{"value":{"amount":"+0.8326559066772461","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":"Q983415$140B9CA6-4627-4684-8ABC-139996FB0CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ce4a7ec46dba3cdca2d2cdd5dbc2f1df1bfb0d","datavalue":{"value":{"entity-type":"item","numeric-id":3199494,"id":"Q3199494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281318d1f47f6afd5658991bc1d81f507578b8f0","datavalue":{"value":{"amount":"+0.8279195427894592","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":"Q983415$760A5D4D-8379-4350-BCDD-F1B501605093","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lang's height conjecture and Szpiro's conjecture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lang%27s_height_conjecture_and_Szpiro%27s_conjecture"}}}}}