{"entities":{"Q1077475":{"pageid":1088227,"ns":120,"title":"Item:Q1077475","lastrevid":66670671,"modified":"2026-04-12T11:44:35Z","type":"item","id":"Q1077475","labels":{"en":{"language":"en","value":"Semicontinuity for the local Hilbert function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3957268"}},"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":"Q1077475$455C5459-63B2-47E1-95A3-3EF1BA355E07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08d018249e0f9e9744871678d0fdf3a3b7ed3f52","datavalue":{"value":{"text":"Semicontinuity for the local Hilbert function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077475$DC5B4885-BAC0-49D5-95DE-4E0111C704AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5493d51a04b3223a5a7b76e23ec0804c4ed1733","datavalue":{"value":"0595.13014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077475$91A40B01-E119-4DFD-9BFA-BEFE849F4EDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa05e7125ffe37c5b8932eb652c9b85109e78d00","datavalue":{"value":"10.1007/BF01161969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077475$96BD6952-B2E2-4084-A853-1CBB3A751D62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"669b2eb34eca74ec628b7087c254a678f4e82f80","datavalue":{"value":{"entity-type":"item","numeric-id":1077474,"id":"Q1077474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077475$21301E05-97DF-437C-993C-1178A7314E7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077475$15E998CB-FD18-463C-9387-9F5D78821158","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1077475$5019094C-3ABE-42DE-A6FD-BC420B34AFE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a632bd78f2be44aad08cf63557301429bb817129","datavalue":{"value":"https://eudml.org/doc/173828","type":"string"},"datatype":"url"},"type":"statement","id":"Q1077475$EFA13BE2-5B83-4A04-BAD7-ED252B97C849","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d500b9f9ad71a1bed9167c20b62f6ae7d681a42b","datavalue":{"value":"Let X be a noetherian scheme, and let (\\({\\mathfrak O,m)}\\) be the local ring of X at a point x. The Samuel and Hilbert functions are defined by \\(S_{X,x}(n)=length {\\mathfrak O}/{\\mathfrak m}^{n+1}\\), \\(H_{X,x}(n)=length {\\mathfrak m}^ n/{\\mathfrak m}^{n+1}\\). For every function \\(f:\\quad {\\mathbb{Z}}^+\\to {\\mathbb{Z}}\\) one defines: \\((\\Delta f)(n)=f(n)-f(n-1)\\) for \\(n\\geq 1\\), \\((\\Delta f)(0)=f(0)\\). Our purpose it to prove the following semicontinuity theorem: Let \\({\\mathfrak O}\\) be a local excellent ring, \\(X=Spec {\\mathfrak O}\\) and let x be the closed point of X. If y is the generic point of an r-dimensional integral subscheme of X, then \\(S_{X,y}(n)\\leq \\Delta^ rS_{X,x}(n)\\). - Moreover, we prove that the Hilbert function stabilizes in any sequence of permissible blowing-ups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077475$B635EFA7-8370-4E24-A983-66DDCAA775E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077475$8BEC806D-DED2-44EF-94CF-CBD7CF151A57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"047d12f97e088f7889715123f07b3bccf1b5adfb","datavalue":{"value":"3957268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077475$C8A6BBC8-5C14-4445-A465-DC7036290832","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"646636104128996eef64542fd788c5f66d75b3ed","datavalue":{"value":"semicontinuity for the local Hilbert function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077475$F334DFCA-EA92-4D90-AC47-0511D2020FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8988b6b54c9d963d7a167cde6eddeeed3ac7cdf5","datavalue":{"value":"Samuel functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077475$D4FF3467-70E6-4B48-8028-59E866175ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d32c31dc5374251c1852969a270d2873314e6ec","datavalue":{"value":"local excellent ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077475$D86DFC39-61B0-4DDE-AC4D-8AB377ACD6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34c8b8a7024aafd81890a3b0dfce84452ff1341e","datavalue":{"value":"permissible blowing-ups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077475$14076CCF-942B-4186-AD66-86266B7D853F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1791a84923817c40c7ecd220eee587c6a39b6016","datavalue":{"value":"normal flatness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077475$9B0C0577-3556-4CCF-9488-456360E844A6","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":"Q1077475$33891B43-D3ED-4341-88F4-2B319BFD2039","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"000b52656f1a42255c561fab264deeb1cec553d5","datavalue":{"value":{"entity-type":"item","numeric-id":2540300,"id":"Q2540300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077475$409DB219-32A8-4284-811C-1CA44A8B842A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341255bf4e8e53dbacefe7b974b67aa4aa7fa5ae","datavalue":{"value":{"entity-type":"item","numeric-id":2531670,"id":"Q2531670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077475$04DF23ED-2636-4690-8E66-7F0D0754EC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59aa42ac56aa45dec0439c53d55143b19a866924","datavalue":{"value":{"entity-type":"item","numeric-id":2626871,"id":"Q2626871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077475$24CB5C4D-D147-4FF7-B56A-C4537DDDCC04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b38ec743aeb52379cd205596114795fcf5c414a","datavalue":{"value":"W39398513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077475$CC8ACD95-8F58-47A0-97D6-B2784AA77F12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46acb7b3eea6a129a1c7c68aab7383866072aa14","datavalue":{"value":{"entity-type":"item","numeric-id":524863,"id":"Q524863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba222351521842076502d51d516a3d740bae145","datavalue":{"value":{"amount":"+0.7945204377174377","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":"Q1077475$317611BE-72A8-4C27-B390-3CC23EBFD3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86e5065e78975daae4bde42cbc54fb2a79d6871","datavalue":{"value":{"entity-type":"item","numeric-id":3818559,"id":"Q3818559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440cf4fd1500118ae8d1a6a3be27ca28406ae548","datavalue":{"value":{"amount":"+0.7883292436599731","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":"Q1077475$ECC13710-98E1-4968-A535-DBF9C7E4C3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f304880ad51fc29367e21511f77f4f7883ba2f56","datavalue":{"value":{"entity-type":"item","numeric-id":4020272,"id":"Q4020272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"444b251152ac1b6b726a267e71e37daee6ad14fb","datavalue":{"value":{"amount":"+0.7850085496902466","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":"Q1077475$EB42B42D-05A7-4BDF-B3BC-74C1893F0DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747a9221cb8b2924e5cf6851b4ded27fe7f9c3ab","datavalue":{"value":{"entity-type":"item","numeric-id":4487712,"id":"Q4487712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e27af2a30478acd6139e5b206b49d38a6209b4","datavalue":{"value":{"amount":"+0.7795749306678772","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":"Q1077475$770E14ED-4CF6-4849-BEA4-29F1997BECA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f80e2957bd8ddd29ddf494df846f9efeead0bf","datavalue":{"value":{"entity-type":"item","numeric-id":1076741,"id":"Q1076741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be820a86fbcdc8c5f8ea32b9cc6650fce30ef8a4","datavalue":{"value":{"amount":"+0.7732986807823181","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":"Q1077475$3018A7C1-DA6E-43F9-A304-090E9FBDE952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semicontinuity for the local Hilbert function","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semicontinuity_for_the_local_Hilbert_function"}}}}}