{"entities":{"Q1377079":{"pageid":1387819,"ns":120,"title":"Item:Q1377079","lastrevid":67283439,"modified":"2026-04-12T16:35:20Z","type":"item","id":"Q1377079","labels":{"en":{"language":"en","value":"Dyson's lemma with moving parts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1111632"}},"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":"Q1377079$A75579C4-FB05-438A-8138-67DC13CF02D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5daaa4fbf869f692d1a6e7f55629f934d761f2b0","datavalue":{"value":{"text":"Dyson's lemma with moving parts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377079$6F2D6C70-E47D-43A1-98E7-C6F14895F8BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12d7fe00dc16bcc66aaf4ad96f652c11ef8d6b19","datavalue":{"value":"0940.11026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377079$0C57126B-DEEA-4321-A327-0D73A9566E1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f068c297dfd91c5fbb17d88d97b085e4882c2f7d","datavalue":{"value":{"entity-type":"item","numeric-id":486795,"id":"Q486795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377079$B9E57E81-E884-47DD-99CB-3A2467DDC67E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377079$05D802DF-E428-45B8-9360-577EC8C47525","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17c4c42d56454c6c886576b68eef4e15860908b4","datavalue":{"value":{"time":"+1998-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377079$0BD98238-3465-47D3-9658-A862DC77A9C3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2324893e95e487b2d1e103488cabfe6708a0c8c2","datavalue":{"value":"In its original form, Dyson's Lemma bounds the order of vanishing of a polynomial in two variables at a finite set of points. It was first used as a tool in diophantine approximation: Dyson himself used his lemma in order to sharpen Siegel's lower bound on the rational approximations to algebraic numbers. \\textit{E. Bombieri} [Acta Math. 148, 255-296 (1982; Zbl 0505.10015)] conjectured a several variables generalization of Dyson's Lemma, soon proved by \\textit{H. Esnault} and \\textit{E. Viehweg} [Invent. Math. 78, 445-490 (1984; Zbl 0545.10021)]. A natural generalization to products of curves of arbitrary genus was proved by \\textit{P. Vojta} in dimension two [Invent. Math. 98, 107-113 (1989; Zbl 0666.10024)]; it is an essential step in his proof of Mordell's Conjecture, both in the function field case [Invent. Math. 98, 115-138 (1998; Zbl 0662.14019)] and in the number field case [Ann. Math. (2) 133, 509-548 (1991; Zbl 0774.14019)]. The general case was established by \\textit{M. Nakamaye} [Invent. Math. 121, 355-377 (1995; Zbl 0855.11036)].    Let \\({\\mathbb P}\\) be the product of \\(m\\) copies of the projective line. For an \\(m\\)-tuple of integers \\((d_1,\\ldots,d_m)\\) let \\({\\mathcal O}_{\\mathbb P}(d)\\) be the line bundle: \\(\\bigotimes_{i=1}^m \\pi_i^*{\\mathcal O}_{\\mathbb P_1}(d_i)\\). Let \\( \\delta_i =\\sum_{j=i+1}^m d_j(L). \\) for \\(i=1,\\ldots,m\\). For a section \\(s\\in H^0(X,L)\\) and a point \\(\\zeta\\in X\\), call index of \\(s\\) at \\(\\zeta\\) the weighted multiplicity of the zero of \\(s\\) at \\(\\zeta\\) with respect to the weights \\((d_1^{-1},\\ldots d_m^{-1})\\). Let for \\(t>0\\), \\(V(t)\\) be the measure of the set \\(\\{(x_1,\\ldots,x_m)\\mid 0\\leq x_i\\leq 1\\), \\(\\sum_{j=1}^m x_j\\leq t\\}\\).    In the paper under review it is proved (Theorem 1.2) that, given a finite set \\(\\{\\zeta_1,\\ldots,\\zeta_M\\}\\) of \\(X\\) satisfying standard technical conditions, and a non-zero section \\(s\\) of \\({\\mathcal O}_{\\mathbb P}(d)\\) having index at least \\(t_i\\) at the point \\(\\zeta_i\\) for \\(i=1,\\ldots,M\\), the following inequality holds:  \\[  \\prod_{i=1}^m d_i\\sum_{j=1}^M V(t_j)\\leq {c_1({\\mathcal O}_{\\mathbb P}(d+\\delta))^{m-1} \\cap c_1({\\mathcal O}_{\\mathbb P}(d))\\over m!}.  \\]  The theorem above slightly improves on the quoted Theorem 0.4 of Esnault and Viehweg. The author also provides a counterexample to the natural generalization of the above inequality to the product of curves of arbitrary genus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377079$908890C1-C701-4A0C-92AE-4C60CAA4A3F2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d96fcf1ed272048943c33d3a4a9d4f49afa098ff","datavalue":{"value":{"entity-type":"item","numeric-id":360074,"id":"Q360074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377079$4773B4FE-1AD8-4D8F-B8EE-A1EB61478898","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9e6deebdea83a6b65153c30db04a4ad81d55d73","datavalue":{"value":"11J17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377079$169C573D-552A-4321-9E58-06323E9E3F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8e96b5168c47eaa8282a8929d1826b23b93bbca","datavalue":{"value":"11G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377079$07B7CA03-6A5F-4597-8783-A334B01490BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa8c5d48f36c5ad1306c13276e0ed2f486b54f68","datavalue":{"value":"11J68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377079$0665F483-AE17-4616-99A9-1BFBE9E21EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d73628396e8c263ee5eeb5df4dcfa734d142779d","datavalue":{"value":"14J99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377079$D79E103D-1E21-48E9-98DA-D9939A8C9EDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44d4179b804ce4c0b201a7d040ccf64e2658e74c","datavalue":{"value":"1111632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377079$BF220797-23D3-4132-9F99-FEAF798305AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806579905f5a2fcb27a9ac34cbd08f75ff5f5d7a","datavalue":{"value":"inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377079$78B04A2A-1A3A-4A93-ACF7-BEFA07A301DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef34824eaeea202e00053783105023beb719b93c","datavalue":{"value":"Dyson's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377079$34FC8A69-4876-4DCA-ABD8-CF82FA4E0065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7779b8208a35ad166215ac9c98348f13f232677","datavalue":{"value":"product of copies of the projective line","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377079$B57CB9A4-3F47-4BB6-9DAA-D41C0FD2B29B","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":"Q1377079$3067B651-2BAF-47AC-9B7E-7C236AB8F94B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb08e3719324243b4944b34baba19da8f8a25954","datavalue":{"value":"https://doi.org/10.1007/s002080050142","type":"string"},"datatype":"url"},"type":"statement","id":"Q1377079$81098CD1-3FCB-43F4-8494-C20758B2793B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96ac5180d8df9a42cfedcac3ddf7c1450cc81df9","datavalue":{"value":"W2079244878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377079$384D150F-06D6-4542-89C5-E46E937A7FC9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"178070d9917fc52638ef984d3d5d3d731660f11f","datavalue":{"value":"Q124816494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377079$C7C65519-B9CA-4BE8-894A-C40B7B0242BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19115a9ebcb896f0bb2519141982ec9eec0b2ecf","datavalue":{"value":"10.1007/S002080050142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377079$DAAD5410-D22E-4EC2-BC4B-6006FA323563","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209743ed4c3bbd558ac112e5e58443398e4673ef","datavalue":{"value":{"entity-type":"item","numeric-id":1899738,"id":"Q1899738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed4c6513f7d7feeaa317059bcc144214b272988","datavalue":{"value":{"amount":"+0.9054338335990906","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":"Q1377079$2E8DFE52-5233-4502-B2B7-B950CDB30997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a44c61602c74d32062c3e5057a39137d07e4418f","datavalue":{"value":{"entity-type":"item","numeric-id":4807384,"id":"Q4807384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ae05a83fbfc1819b7ff9bf1b162c041a07e9df","datavalue":{"value":{"amount":"+0.8889592885971069","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":"Q1377079$CC2EDC3D-0DE3-4116-A500-8952DE4E0A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c2ad749ab18135b7fd52915dcde551850b34f9","datavalue":{"value":{"entity-type":"item","numeric-id":3728083,"id":"Q3728083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e509934c49565cb394b5fd52e7fb9c44e9c35c5b","datavalue":{"value":{"amount":"+0.8787235617637634","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":"Q1377079$8E8EA38C-D613-4424-8E22-6E2CE0F6B14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f1942bcf200e449c50484b9d6d6d524bd32af4","datavalue":{"value":{"entity-type":"item","numeric-id":4699492,"id":"Q4699492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd0aa3d360b5586d840c5e64dca1ebe533ca9d2","datavalue":{"value":{"amount":"+0.8565976023674011","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":"Q1377079$A768C84C-F33F-4B32-A7A5-A9E33B018D51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dyson's lemma with moving parts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dyson%27s_lemma_with_moving_parts"}}}}}