{"entities":{"Q2571047":{"pageid":2581790,"ns":120,"title":"Item:Q2571047","lastrevid":48583909,"modified":"2026-01-05T07:17:00Z","type":"item","id":"Q2571047","labels":{"en":{"language":"en","value":"On the effective Nullstellensatz"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2222251"}},"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":"Q2571047$BDC30D54-75AE-4B6C-926A-AC2CD1E5A407","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6464cdcc4fdac7c08cc519f59178a03eb5c58661","datavalue":{"value":{"text":"On the effective Nullstellensatz","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2571047$69815FC5-B32C-4AF6-AE6D-9E665603C54D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"039204abca6664f210f6570e4c8458268ed13182","datavalue":{"value":"1087.14003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571047$4CE28A5E-5A4C-4490-8471-E6334680B690","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2280dbbd37a6560052d82b0e97b5bf4747e698a9","datavalue":{"value":{"entity-type":"item","numeric-id":284779,"id":"Q284779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571047$77BFCAB8-5209-4230-81F2-31017545C4E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571047$B0B24A92-F562-4A43-A9B0-88989F419D56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eec5a38ae3dd78e530b7c334e8d01ce3df8552f0","datavalue":{"value":{"time":"+2005-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2571047$4D6E091A-D7EA-47F7-96D7-3D007DF3F3C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d67505fdb8b7ee6d03bb2d5aaaafab7f21c7547","datavalue":{"value":"Given finitely many polynomials \\(f_1,\\dots,f_k\\) in the coordinate ring \\(\\mathbb K[X]\\) of an \\(n\\)-dimensional affine variety \\(X\\subset\\mathbb K^m\\) over an algebraically closed field \\(K\\) such that \\(f_1,\\dots,f_k\\) have no common zero in \\(X\\), the effective version of Hilbert's Nullstellensatz asks for an equation \\(1 = \\sum^k_{i=1}f_ig_i\\) with an explicit bound for \\(\\deg(f_ig_i)\\) in terms of the degree \\(D\\) of \\(X\\), the dimension \\(n = \\dim(X)\\), and the degrees \\(d_i = \\deg(f_i)\\). For \\(X =\\mathbb K^n\\), sharp estimates in almost all cases were proven by \\textit{J. Koll\u00e1r} [J. Am. Math. Soc. 1, 963--975 (1988; Zbl 0682.14001)] and \\textit{M. Sombra} [Adv. Appl. Math. 22, No.~2, 271--295 (1999; Zbl 0933.14001)].   The author partially improves and generalizes these bounds by showing that, for any \\(X\\), it is possible to have \\(\\deg(f_ig_i)\\leq DN'(d_1,\\dots,d_k; n)\\) for \\(k\\leq n\\) and \\(\\deg f_ig_i)\\leq 2DN'(d_1,\\dots,d_k; n) - 1\\) for \\(k > n\\). Here we assume \\(d_1\\geq\\cdots\\geq d_k\\) and \\(N'(d_1,\\dots,d_k;n)\\) equals \\(d_i\\) for \\(n = 1\\), it is \\(d_1\\cdots d_k\\) for \\(n > k > 1\\), and it is \\(d_1\\cdots d_{n-1}\\cdots d_k\\) for \\(k > n > 1\\). The proof uses a generalization of the classical Perron theorem, the author's characterization of the set of non-properness of a generically finite map \\(f : X\\to \\mathbb K^n\\) [see \\textit{Z. Jelonek}, Bull. Pol. Acad. Sci. J. Math. 49, No.~3, 279--283 (2001; Zbl 1065.14074)], and a generalized version of the elimination theorem.   Next, the author proves a bound on the Noether exponent \\(e(I)\\) of the ideal \\(I =\\langle f_1,\\dots,f_k\\rangle\\) in \\(\\mathbb [X]\\). He shows \\(e(I)\\leq DN(d_1,\\dots, d_k;n)\\) where \\(N(d_1,\\dots,d_k;n)\\) equals \\(N'(d_1,\\dots,d_k;n)\\) except for \\(N(d_1,\\dots,d_k,1) = d_k\\). This bound for \\(e(I)\\) partially improves earlier bounds of \\textit{J. Koll\u00e1r} in [J. Eur. Math. Soc. (JEMS) 1, No.~3, 313--337 (1999; Zbl 0986.14043)], by \\textit{M. Sombra} [loc. cit.], and by \\textit{L. Ein} and \\textit{R. Lazarsfeld} [Invent. Math. 137, No.~2, 427--448 (1999; Zbl 0944.14003)].  Finally, the author applies bis bounds to derive a bound for the representation \\(\\Phi(x_i) = \\sum^n_{j=1} g_{ij}f_j\\) of the \\(i\\)-th elimination polynomial if \\(X = \\mathbb K^n\\), \\(k = n\\), and the set of zeros of \\(\\langle f_1,\\dots,f_n\\rangle\\) is finite. Using suitable examples, the author verifies that his bounds are sharp in many cases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571047$8306AFEB-F0E8-48CF-ADB6-02F2A45ECDF1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"105ccbd8d7a1eea9fb493d02f14ba831fb762a8c","datavalue":{"value":{"entity-type":"item","numeric-id":515722,"id":"Q515722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571047$43B4C43D-F448-4106-92DA-25621ECDF927","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"761024d34be2f704afd714dbab1ead3e4dd5efe7","datavalue":{"value":"14A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571047$C0E6670F-219D-483D-B5B7-B42A3F080FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65ef089ab6dd31e83c3611c992a3cfd8973b58bb","datavalue":{"value":"14Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571047$83B48882-82CB-4593-BF4F-1E6C16570AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571047$E5B77DA9-40F8-4F58-BA6E-643BB3714434","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b153e277102a6d3b1d2cc6915464915331f7bc42","datavalue":{"value":"2222251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571047$2BED3DB5-3605-4149-90B4-2F22B435252A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c650ad83cb7e74e1a6e81b64f152e975b2d3e33","datavalue":{"value":"effective Nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571047$F9B69E93-30CE-4A57-AE25-428E5EC450CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae91ea09ce4b0503b78af83c593a00720c449ca8","datavalue":{"value":"elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571047$FF118A02-F8C9-41B6-A9D5-86180A91CBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ecf077a64b95a280cbfebfc5ffeae35319bc13e","datavalue":{"value":"Noether exponent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571047$EE9AA778-1BB5-41CD-9F30-E9298EF23E77","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":"Q2571047$40A00A43-E6AB-4478-8C4A-1F72F911C345","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0eb14199fe57e3247c1b9d590cda91b87925e92f","datavalue":{"value":"https://doi.org/10.1007/s00222-004-0434-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2571047$D1EB79F9-7861-405B-8580-19FB4B76C86B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b157dca4f9f4b9196ddd0ac9a9596c9c6cbcc66","datavalue":{"value":"W2063372022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571047$5405E795-BF5B-4AEC-ADD6-9B5C7F943922","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f612f8f412187f96f5c050f033ead2eb3f540a7","datavalue":{"value":{"entity-type":"item","numeric-id":1590921,"id":"Q1590921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571047$A1C2E130-B2DA-4B2E-AF46-C4E804030530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc8a8dbfff8f42ef282e3cdbad4bb4985556c4cb","datavalue":{"value":{"entity-type":"item","numeric-id":1100521,"id":"Q1100521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571047$E0BE3E3D-D9D3-4D29-8F85-6BDC304D8401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc3460abda0fbb3f55c49da05d6654bd280ec87","datavalue":{"value":{"entity-type":"item","numeric-id":1298105,"id":"Q1298105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571047$F7B3C1A2-596F-4BF0-A5AF-9154D4FC078C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571047$1E2A326A-3143-4B51-A0E7-7ED87FC0C9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c31fd170361fabf4914a47fe6e5dbf9ec3a037eb","datavalue":{"value":{"entity-type":"item","numeric-id":1306546,"id":"Q1306546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571047$799F2622-3097-42C1-828F-CED1FEEF7CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de076a24e1376f47450e8a697868445e2298e927","datavalue":{"value":{"entity-type":"item","numeric-id":2777732,"id":"Q2777732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571047$1A25E5D2-3D4D-48FF-8300-4CF24D64EA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0748ea0ff1383dac4fe4d212b0693623c99533b2","datavalue":{"value":{"entity-type":"item","numeric-id":852471,"id":"Q852471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571047$7DAF8A69-1550-4B89-9E76-D735F9BF2A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bb92181f8c1810e42f6ddfd619a56e734011c6","datavalue":{"value":{"entity-type":"item","numeric-id":4731274,"id":"Q4731274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571047$AD4942EF-2D68-4CF2-9A2F-DB448C779B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6f1c86a477b3fd13e37b8ef4022627d622460a1","datavalue":{"value":{"entity-type":"item","numeric-id":1963839,"id":"Q1963839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571047$1F6F3CF6-CAE6-4BED-BFFC-9668707F1A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0943000c606bc924a9a78a0e159def5cb8d78c0","datavalue":{"value":{"entity-type":"item","numeric-id":1291069,"id":"Q1291069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571047$B5EDED17-890B-4B4B-AC1E-BBEDAF967B1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3811b620b59056e1e4a27bff04abe0c07bba90b","datavalue":{"value":"10.1007/S00222-004-0434-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571047$F87073FE-CF32-4A9E-9376-7B74ABAC3DE9","rank":"normal"}],"P1643":[{"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":"a50172efafc73dece1c1279cc80bb12e4206a1ad","datavalue":{"value":{"amount":"+0.9014126658439636","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":"Q2571047$D2889C61-8E2D-4C6C-955C-F5362E36FA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea9283e2a2df33ee9142f03c86a872208acbcb3","datavalue":{"value":{"entity-type":"item","numeric-id":4386035,"id":"Q4386035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7eb4b1cdceb95f9625e75c87f35a973a7d4b8a","datavalue":{"value":{"amount":"+0.8450915813446045","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":"Q2571047$FFC51938-5725-438F-92E6-7295826F9A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e75712d23dbfdbbdf951a3f6d43a2c8da66448","datavalue":{"value":{"entity-type":"item","numeric-id":1774958,"id":"Q1774958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7eb4b1cdceb95f9625e75c87f35a973a7d4b8a","datavalue":{"value":{"amount":"+0.8450915813446045","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":"Q2571047$F18C4011-EF76-4BA3-B973-F2BD4CBBE137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027d51f3e3428c9d048d11a492fabec2df7807ad","datavalue":{"value":{"entity-type":"item","numeric-id":1963839,"id":"Q1963839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a425982b44ee00c813aed38bfbbbe5563c74abfb","datavalue":{"value":{"amount":"+0.8373278975486755","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":"Q2571047$F993A17E-AF54-4AF0-80BE-6DAE03447E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910ac128d7b962e65faf532da6d04631dfbb4df1","datavalue":{"value":{"entity-type":"item","numeric-id":3353156,"id":"Q3353156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987d01ecc7fd92bf7d5b680371c33726287c5515","datavalue":{"value":{"amount":"+0.8351043462753296","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":"Q2571047$62915BE2-BA4C-4C8E-92B8-756E25122AA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2571047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2571047"}}}}}