{"entities":{"Q1194196":{"pageid":1204945,"ns":120,"title":"Item:Q1194196","lastrevid":66830244,"modified":"2026-04-12T13:08:42Z","type":"item","id":"Q1194196","labels":{"en":{"language":"en","value":"Coefficients of normal Hilbert polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 63897"}},"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":"Q1194196$5B1A5F73-01BA-428E-ABB5-7BBA18F2B089","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c30ed2513404236138daee0868c68034de52d80","datavalue":{"value":{"text":"Coefficients of normal Hilbert polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1194196$C2E5DFB2-B6DA-4663-A615-32957C60E03C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"018aeea484fc2c7eb72d5e61f96f191e045dc4bc","datavalue":{"value":"0756.13008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194196$824D47AB-93C8-4096-8CFC-16B47F3FE2CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcb2a8871048653fa71312210378aa6e29284b23","datavalue":{"value":"10.1016/S0021-8693(05)80052-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194196$361AC216-154C-4929-BF85-98FBF2B3F9C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0de7a09a33a2fa45e88f5ca346a3ad6f28bc6cf","datavalue":{"value":{"entity-type":"item","numeric-id":790182,"id":"Q790182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$3CDA1005-DD7D-441F-B0B6-E12488AE66AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$86BA40D3-C7A9-405E-A708-E91E63BD1B61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-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":"Q1194196$1BAE429E-1225-4C8C-8036-25A89AF1A246","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8384eb16cee6c1e3ebac7681f5b311552c2ae9df","datavalue":{"value":"Let \\(A\\) be an analytically unramified Cohen-Macaulay local ring with the maximal ideal \\(m\\) and of dimension \\(d\\geq 2\\) and \\(I\\) a parameter ideal. Then it is known that there exist uniquely determined integers \\(\\overline e_ 0(I),\\dots,\\overline e_ d(I)\\) such that  \\[ \\text{length}_ A (A/I^{\\overline{n+1}})=\\overline e_ 0(I){n+d\\choose d}-\\overline e_ 1(I){n+d-1\\choose d-1}+\\cdots+(-1)^ d\\overline e_ d(I) \\]  for all large \\(n\\). (For an ideal \\(J\\), \\(\\overline J\\) the integral closure of \\(J\\).) The purpose of the paper is to study \\(\\overline e_ 1(I)\\), \\(\\overline e_ 2(I)\\) and \\(\\overline e_ 3(I)\\). The main results are as follows:   (1) \\(\\overline e_ 1(I)-\\text{length}_ A(\\bar I/I)\\geq\\text{length}_ A(\\overline{I^ 2}/I\\bar I)\\), and equality holds if and only if \\(\\overline{I^{n+2}}=I^ n\\overline{I^ 2}\\) for every \\(n\\geq 0\\).   (2) \\(\\overline e_ 2(I)\\geq\\overline e_ 1(I)-\\text{length}_ A(\\overline I/I)\\), and equality holds if and only if \\(\\overline{I^{n+2}}=I^ n\\overline{I^ 2}\\) for every \\(n\\geq 0\\).   (3) \\((d\\geq 3)\\quad \\overline e_ 3(I)\\geq 0\\).   (4) \\((d\\geq 3)\\) When \\(A\\) is Gorenstein, \\(\\overline e_ 3(I)=0\\) if and only if \\(\\overline{I^{n+2}}=I^ n\\overline{I^ 2}\\) for every \\(n\\geq 0\\) under the assumption \\(\\bar I=m\\).   The author conjectures that (4) is true without the assumption \\(\\bar I=m\\). --- For the proofs the author considers the Rees ring \\(R(A,I)=A[It,t^{-1}]\\) and its integral closure \\(R'(A,I)\\) in \\(A[t,t^{- 1}]\\), that is \\(R'(A,I)=\\sum\\overline{I^ n}t^ n\\), and shows the following theorem which plays a key role:   There exists a system of generators \\(x_ 1,\\dots,x_ d\\) of \\(I\\) such that, if we put  \\[ C=A(T_ 1,\\dots,T_ d)/(x_ 1T_ 1+\\cdots+x_ dT_ d) \\]  and \\(J=IC\\), then   (1) \\(\\overline{J^ n}\\cap A=\\overline{I^ n}\\) for every \\(n\\geq 0\\);   (2) \\(\\bar J=\\bar IC\\);   (3) \\(\\overline{J^ n}=\\overline{I^ n}C\\cong\\overline{I^ n}A(T)/(\\sum x_ iT_ i)\\overline{I^{n-1}}A(T)\\) for all large \\(n\\);   (4) if \\(A\\) is analytically normal and \\(d\\geq 3\\), \\(C\\) is normal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194196$A432DF6A-A669-4EB8-BF73-5145034C78A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4a4958b9ec0502bdc37c3a756325974bf4d764","datavalue":{"value":"13D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194196$59F90966-93F4-43E1-A408-5F5DE7DC5AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194196$7F0A9E32-06BA-4714-913A-23B97AE2BF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b0964666aa9de4434d17d9183900ad920415bee","datavalue":{"value":"13H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194196$8B7FE1FF-5A3F-4121-A8F5-E6BA9E569993","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"200876cfbc36348eed01d4b5c32c54fc6f34031d","datavalue":{"value":"63897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194196$D6495203-3299-4019-8C3C-A4F7AFE53136","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8a0db09a63aeb1f72747bd60b79d4765e8a3932","datavalue":{"value":"multiplicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194196$A5030FD2-766C-4131-96E5-2D15BF5F437D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"add80a07ac27f8ba1cf813dcd5a46650d83ccbf2","datavalue":{"value":"Hilbert polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194196$FF2C4DAC-7DE5-4A59-8EC7-F9C4D25D2725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aa90b1ff0982ab5d5fab48275d3f9dc7c1839ee","datavalue":{"value":"length","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194196$B0DF3D7B-6699-4136-9A6A-94BDA3128B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0df458e7de8c254fd59b4dae554f18abba44c4bc","datavalue":{"value":"Cohen-Macaulay local ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194196$5A57D2F1-E9C4-4DE7-9B1E-6CF04C0C94F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7a05868ab89ee7ab7b9aa93489e840159cb897","datavalue":{"value":"Rees ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194196$BE7050A4-2948-491C-B291-AEE712C9D46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3005d093d23f589f8ca955878a1abcb573e16306","datavalue":{"value":"integral closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194196$506E9F72-1C9C-4F0B-9305-256744EEBA38","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9803748f0810bee35abb7d020d30371873977d14","datavalue":{"value":{"entity-type":"item","numeric-id":588196,"id":"Q588196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$E7F56EA7-8ED1-401D-BF4D-3C5F154129F2","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":"Q1194196$59EF3FEE-DC21-4F44-A8E9-A2E6538BEFA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d060ee0b1d12b3639ca87cdc166fda55010d609f","datavalue":{"value":{"entity-type":"item","numeric-id":1254344,"id":"Q1254344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$192BD207-1F94-4F45-9C7A-5EC33607691F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec84b6748649b9c3f771cb4cfc85c1ebba926eb","datavalue":{"value":{"entity-type":"item","numeric-id":1243319,"id":"Q1243319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$39D93F06-F23D-44BB-BA4E-00A59C49691E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c6e605e171c9b27c0ae3b9fbb498eae019e565","datavalue":{"value":{"entity-type":"item","numeric-id":1092960,"id":"Q1092960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$D716A30B-5C1A-46B9-A565-9C66951E2563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d63497d764b3c665ed3f907f47da18914b5b65","datavalue":{"value":{"entity-type":"item","numeric-id":1107577,"id":"Q1107577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$FAB92906-2E6B-46F0-BF0F-8DC1CD1BF340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e2b8788dd6e8c9f1f5807fd0653f6cec0b28ad","datavalue":{"value":{"entity-type":"item","numeric-id":1153952,"id":"Q1153952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$F16F1934-C035-435E-BA0A-7627608452AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cd5b4a82bf86c789e8aec14457e9e7a5412b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5611879,"id":"Q5611879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$F5429A6C-45F8-47D2-8FA8-C63BE9A05E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a0e61ccbe7c2df723ddb813e3272c740d36c9b","datavalue":{"value":{"entity-type":"item","numeric-id":5829838,"id":"Q5829838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$FCAC29FA-79E2-4D5B-AF93-3FEC9FD8A2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25692f0d1b139d5be2ed515f31b5afcef500a60","datavalue":{"value":{"entity-type":"item","numeric-id":762225,"id":"Q762225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$BC624BCD-C58B-453D-A533-40688D0FF91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368397adf5bfb604e63f1372b4db54216ad4c9f4","datavalue":{"value":{"entity-type":"item","numeric-id":579342,"id":"Q579342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$F27D38FA-105A-4D14-ADCC-85450048B3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19220c7b46e8b4945642a9cecf7641314a97e4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1100242,"id":"Q1100242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$9C7E94E5-D093-456A-B949-229E182E2712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7154ea1fdcb358c5cf19aaf96c821d22d9b843c2","datavalue":{"value":{"entity-type":"item","numeric-id":5723993,"id":"Q5723993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$0BEAB763-4BA8-44FD-9AA8-F632803B9174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af1455ac92decdff074a461614e2505299f2349","datavalue":{"value":{"entity-type":"item","numeric-id":5540551,"id":"Q5540551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194196$2F3F3F28-7DF0-4B7C-AEF2-767559E9E986","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85be7b278c220af70ff05593fe37bdff5f1c21cf","datavalue":{"value":{"entity-type":"item","numeric-id":1902150,"id":"Q1902150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab935e387959fbd3de05e7a911ccf98cc1623d74","datavalue":{"value":{"amount":"+0.885320246219635","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":"Q1194196$A2308770-6809-4DE4-917A-236A9406149F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7cc91a7bccd0147186b8347673d18cb799e0242","datavalue":{"value":{"entity-type":"item","numeric-id":3977246,"id":"Q3977246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab935e387959fbd3de05e7a911ccf98cc1623d74","datavalue":{"value":{"amount":"+0.885320246219635","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":"Q1194196$8E7397BC-4A71-4AEC-88BD-6C5CD7779287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e8affd66448fe46056e33b6e788d6373b400f3","datavalue":{"value":{"entity-type":"item","numeric-id":2790910,"id":"Q2790910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66130f4178b4dc722bf7cb8d99a5aed98beed6f4","datavalue":{"value":{"amount":"+0.8648261427879333","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":"Q1194196$EA93C61C-6B71-4EBB-9650-0674407CF923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"647aa1cf60e05ae4beac36d3451d63fe92c41d2f","datavalue":{"value":{"entity-type":"item","numeric-id":1675075,"id":"Q1675075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f20077ee4f9217c7e21caa1687db9ba9c9f0b57","datavalue":{"value":{"amount":"+0.8550534248352051","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":"Q1194196$65CD876F-A31F-4A20-A303-53C0DA075E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47f31d5aa25d446a3c823f67f36e7290516acb71","datavalue":{"value":{"entity-type":"item","numeric-id":4316782,"id":"Q4316782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51da90f1b54cf4da60c01bf0adbe045301432b0b","datavalue":{"value":{"amount":"+0.847398042678833","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":"Q1194196$2C9583DA-1301-4847-ACCF-00F0832A04CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coefficients of normal Hilbert polynomials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coefficients_of_normal_Hilbert_polynomials"}}}}}