{"entities":{"Q1847866":{"pageid":1858608,"ns":120,"title":"Item:Q1847866","lastrevid":70985709,"modified":"2026-04-13T18:42:09Z","type":"item","id":"Q1847866","labels":{"en":{"language":"en","value":"Sharp estimates for the arithmetic Nullstellensatz"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1820846"}},"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":"Q1847866$1DA4951E-3D82-4780-A1EB-D987020D023C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e1294e55131ec14ef6bda7d96736812eac3dc20","datavalue":{"value":{"text":"Sharp estimates for the arithmetic Nullstellensatz","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1847866$AE6C87A8-69A0-48EF-A2C6-2788DFD99274","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f966e09920bd37765de8f170c8542dc35dfd2564","datavalue":{"value":"1010.11035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847866$645340D1-EC23-4428-9006-7D52A093D7C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd74ba0670de28b9dbe88329d5e41b13fa41e901","datavalue":{"value":"10.1215/S0012-7094-01-10934-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847866$B21DB1AB-A2E6-48F6-A778-7E1D7B267082","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd26c39618788734542673e27b39dde786700396","datavalue":{"value":{"entity-type":"item","numeric-id":414625,"id":"Q414625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847866$73568A2F-59FD-450C-AE3D-B702A3800C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95a7a27af9a4d49ae68cbb129628bc232e7cdcd0","datavalue":{"value":{"entity-type":"item","numeric-id":245340,"id":"Q245340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847866$20998A9F-583D-45FA-A009-A36C5069C397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"213938825f01ce33a6ab23a5980688192fcc970a","datavalue":{"value":{"entity-type":"item","numeric-id":423885,"id":"Q423885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847866$F6710EF2-73AB-4B86-8234-E0B4402EF0A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8d78105b574d85114159aeeb77fd1baaa47af9d","datavalue":{"value":{"entity-type":"item","numeric-id":247488,"id":"Q247488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847866$2A523EB4-285D-485E-84D7-8BB01ED0CF6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"426878069cfa689212687e946fa43c14de4df368","datavalue":{"value":{"time":"+2002-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1847866$D6D180CD-07AD-4276-9927-D076083777A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b3cc9b875a44099cd9c94fb6de77617b773ecb4","datavalue":{"value":"https://arxiv.org/abs/math/9911094","type":"string"},"datatype":"url"},"type":"statement","id":"Q1847866$A4548A3B-120C-482C-9354-E5D17BB0D832","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"541a1525c2d675ba9b286eb4e4b7f406aa9f205f","datavalue":{"value":"Ce grand texte est consacr\u00e9 \u00e0 la d\u00e9monstration d'un r\u00e9sultat tout-\u00e0-fait remarquable, les auteurs y \u00e9tablissent un th\u00e9or\u00e8me des z\u00e9ros de Hilbert dans \\(\\mathbb{Z}[X_1, \\dots,X_n]\\) comprenant des estimations des degr\u00e9s et hauteurs des polyn\u00f4mes exhib\u00e9s, optimales en les param\u00e8tres essentiels. Plus pr\u00e9cis\u00e9ment, soit \\(f_1,\\dots, f_s\\in \\mathbb{Z} [X_1, \\dots, X_n]\\) sans z\u00e9ro commun dans \\(\\mathbb{C}^n\\). Posons \\(d=\\max_i d^\\circ f_i\\) et \\(h=\\max_i h(f_i)\\) \\((h(f)\\) d\u00e9signe le maximum des valeurs absolues des coefficients de \\(f\\in\\mathbb{Z} [X_1,\\dots, X_n])\\), alors il existe \\(a\\in\\mathbb{Z} \\setminus \\{0\\}\\), \\(g_1,\\dots, g_s\\in\\mathbb{Z} [X_1,\\dots, X_n]\\) tels que:  \\[ a=g_1 f_1+ \\cdots+ g_sf_s, \\]  \\(d^\\circ g_i\\leq 4nd^n\\) et \\(|a|\\), \\(h(g_i)\\leq 4n (n+1)d^n(h+d (n+7)\\log(n+1) +\\log(s))\\).   Les auteurs donnent \u00e9galement un exemple dans lequel on a n\u00e9cessairement \\(s=n\\), \\(d^\\circ g_i\\geq d^n-d\\) et \\(|a|\\geq d^nh\\). De nombreux travaux ont \u00e9t\u00e9 consacr\u00e9s \u00e0 l'\u00e9tude effective du th\u00e9or\u00e8me des z\u00e9ros, citons G. Hermann, D. Brownawell, L. Canaglia, A. Galligo et J. Heintz, J. Koll\u00e1r, N. Fitchas et pour l'aspect arithm\u00e9tique C. Berenstein et A. Yger, T. Krick et L. M. Pardo, ainsi que l'auteur de ces lignes.   La d\u00e9monstration fournit \u00e9galement un r\u00e9sultat avec les termes \\(d^n\\) et \\(d^n(h+d)\\) dans les bornes ci-dessus remplac\u00e9s par \\(d\\delta\\) et \\(d(\\eta+h \\delta+ d\\log(s (d+1)))\\) respectivement, o\u00f9 \\(\\delta\\) et \\(\\eta\\) d\u00e9signent les degr\u00e9 et hauteur d'une intersection compl\u00e8te d'hypersurfaces prises dans le pinceau engendr\u00e9 par \\(f_1,\\dots, f_s\\). Un corollaire de cette extension est un th\u00e9or\u00e8me des z\u00e9ros effectif pour des formes ``creuses'', beaucoup plus pr\u00e9cis que le r\u00e9sultat g\u00e9n\u00e9ral cit\u00e9 ci-dessus, dans lequel les quantit\u00e9s \\(d^n\\) et \\(d^n(h+d)\\) sont remplac\u00e9es par \\(d{\\mathcal V}\\) et \\(d{\\mathcal V}(h+d \\log(s(d+1)))\\) respectivement, o\u00f9 \\({\\mathcal V}\\) d\u00e9signe le volume de l'enveloppe convexe dans \\(\\mathbb{R}^n\\) de l'ensemble des exposants des mon\u00f4mes apparaissant dans l'\u00e9criture de tous les \\(f_i\\).   Le c\u0153ur de la d\u00e9monstration de tous ces r\u00e9ultats est un th\u00e9or\u00e8me de division modulo les intersections compl\u00e8tes, effectif et reposant lui-m\u00eame sur une formule des traces alg\u00e9brique.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1847866$2E794B73-D3B6-4D55-9F8E-1BF2C059620D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"543931d49220a92c32c715623985ac83fa58e620","datavalue":{"value":{"entity-type":"item","numeric-id":245339,"id":"Q245339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847866$A12105F9-445A-4903-A219-7FF363D185FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f8ae34b400a976bf91ed2d02545387acd7b31f48","datavalue":{"value":"11G35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847866$523B37DF-70E9-4EF3-8395-EF1B0DAA747C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847866$63AD8B71-4053-4B72-AA37-2D2F7E94AEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65ef089ab6dd31e83c3611c992a3cfd8973b58bb","datavalue":{"value":"14Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847866$BDF71483-7E47-43F4-B9BE-95F0A59EFA84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75766539c88b3ba321441f58169c0dcdc9cc3daf","datavalue":{"value":"1820846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847866$2F656B85-14F1-42C9-B4AA-5D39CA8B00A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eef346a56c86bd37476aa7aea29f0e578269ef0","datavalue":{"value":"Hilbert's zeros theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1847866$4416C1BA-3AB7-4BE9-9345-436EF838389E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44194bfaea7845eceb406959866ef53237b8798d","datavalue":{"value":"effective arithmetic estimates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1847866$458AEC5E-0DE8-46A4-A165-74948E230D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28c3fa31cf648a846aadb2e94fa3c522595fa489","datavalue":{"value":"division theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1847866$AAFCF16A-F954-4573-B647-8A8724E50B44","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":"Q1847866$01D15A7B-7577-40F0-983D-58AA68B63233","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"379b9d86c68cd0bf147736683b446fda54f5c980","datavalue":{"value":"W2076593831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847866$5028BAD2-B5B3-46EA-B819-C989826A8C0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ebe44545e0a0ac8e0b5aefe803a16bf60644851","datavalue":{"value":{"entity-type":"item","numeric-id":3807340,"id":"Q3807340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea6dad8cf36522ac57ab95cec8062765f26848ed","datavalue":{"value":{"amount":"+0.8802281618118286","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":"Q1847866$C99380D4-2849-45C7-B9B5-74E44C607D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"669062cd9728a7cf97068214597d24d0666fd475","datavalue":{"value":{"entity-type":"item","numeric-id":1100521,"id":"Q1100521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170254cfad6987b82e4c0d3078a50c42e1669947","datavalue":{"value":{"amount":"+0.8747217655181885","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":"Q1847866$803DB9D1-E7C4-46BD-BB7B-B684AF0C0ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"869dd4cb80e9f6c1fc9f92edf63c2162e5a4cd1c","datavalue":{"value":{"entity-type":"item","numeric-id":4731274,"id":"Q4731274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf4dc18bc0d777e4874e63467f82201539a22c2","datavalue":{"value":{"amount":"+0.8473593592643738","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":"Q1847866$D3CB0AF0-C631-42A7-B32F-9A335FA1D334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e6932b400fae6da21471470e58ae038d7c0403b","datavalue":{"value":{"entity-type":"item","numeric-id":3835557,"id":"Q3835557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25cf2fb89c18feb26f833d548edd250fa036fecb","datavalue":{"value":{"amount":"+0.828521728515625","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":"Q1847866$B88EDCBA-7264-47BC-B4CA-06A3EFEF808E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dff8a4072babaadaa3c88363278bb9de87dae2e","datavalue":{"value":{"entity-type":"item","numeric-id":2644804,"id":"Q2644804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc8f9249747ba6732728cdc58b2af1b0fff91518","datavalue":{"value":{"amount":"+0.8187004327774048","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":"Q1847866$2ACB177D-B829-477A-A0C9-07B680E17BC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sharp estimates for the arithmetic Nullstellensatz","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sharp_estimates_for_the_arithmetic_Nullstellensatz"}}}}}