{"entities":{"Q1305058":{"pageid":1315808,"ns":120,"title":"Item:Q1305058","lastrevid":68675256,"modified":"2026-04-13T01:21:18Z","type":"item","id":"Q1305058","labels":{"en":{"language":"en","value":"The minimal free resolution for the first infinitesimal neighborhoods of \\(n\\) general points in the plane"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1340598"}},"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":"Q1305058$21F8FFA4-AFC6-44EA-92FB-905908C4F024","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e145dbb5a10c6c80a9dc28279f332ed48b16457","datavalue":{"value":{"text":"The minimal free resolution for the first infinitesimal neighborhoods of \\(n\\) general points in the plane","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1305058$F83F2582-04B5-4F45-BC69-E576688E6274","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f8db921e7a78a486891dd206b6646d1a68997da","datavalue":{"value":"0943.13008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305058$CA2583C4-E7A2-43A8-9CCD-F54B2DE8F335","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc040757c426a8257811c169955ee8de5aa0946e","datavalue":{"value":{"entity-type":"item","numeric-id":607159,"id":"Q607159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$C3DCF1B0-3427-4B62-8843-454563F39018","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":"Q1305058$316AF00F-7D28-479E-88EC-9A4C08486A11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f824e8df8660a01a22c6ea772f84f035aa08b14a","datavalue":{"value":{"time":"+2000-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1305058$0B556594-FF50-431F-982A-67F1300ED1BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bbbd522f1a8be5ada6012960805f950f176d622e","datavalue":{"value":"Let \\(Y(n)\\) denote the scheme in \\({\\mathbb{P}}^2\\) defined by the union of the first infinitesimal neighborhoods of \\(n\\) general points. If the points are defined by the prime ideals \\({\\mathfrak p}_1,\\dots,{\\mathfrak p}_n\\) then \\(Y(n)\\) has saturated homogeneous ideal \\(I(n) = {\\mathfrak p}_1^2 \\cap \\dots \\cap {\\mathfrak p}_n^2\\). One can ask for the Hilbert function of \\(Y(n)\\), i.e.\\ one can ask for the number of conditions imposed on forms of any given degree by requiring that the forms, and also their first partial derivatives, vanish at \\(n\\) general points. This has been studied by several authors, most notably by Alexander and Hirschowitz in a series of papers (in fact, these authors considered the case of points in \\({\\mathbb{P}}^r\\)). Except for a few exceptions, these ``fat points'' impose independent conditions on forms of degree \\(d\\), i.e.\\ \\(3n\\) conditions.    This paper addresses the next natural question, that of determining the minimal free resolution of \\(I(n)\\). Since \\(Y(n)\\) is an arithmetically Cohen-Macaulay subscheme of \\({\\mathbb{P}}^2\\), its minimal free resolution is completely determined from knowledge of the Hilbert function (from above) and knowledge of the degrees of the minimal generators of the ideal \\(I(n)\\). If we let \\(R = K[X_0,X_1,X_2]\\), the dimension of the cokernel of the multiplication map \\(R_1 \\otimes I(n)_k \\rightarrow I(n)_{k+1}\\) is the number of minimal generators of \\(I(n)\\) in degree \\(k+1\\). The ``expected'' number of minimal generators can be computed by asking that this map have maximal rank. The main result of this paper is that except for \\(n=2\\), the expected number of minimal generators is actually achieved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305058$CFA896DD-9774-428A-9F63-CD8F5D99188E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd4ec6e4b6aa854466b467ae20b9d087bcc2e35a","datavalue":{"value":"13D02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305058$9D3E1ED6-D543-49A1-96AB-4C9E1B35CF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f0d4050955b7c3a87ea977aa08dcba2cfba6a66","datavalue":{"value":"14M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305058$A5461456-E56D-41E3-8E55-1A5F0A8D1969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8409aeb489e85cf7439f78c75b430b92d7b996e7","datavalue":{"value":"13E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305058$AD5CA75F-8435-4619-A862-D2DE9D8B61E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75fe8b6783adebe56efdc248f08e17689eb07865","datavalue":{"value":"13C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305058$5DA34EA8-C081-45C9-B783-E3E29C7039B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a7ec8ec15922af8a211f992f0ad4a91b63c1404","datavalue":{"value":"1340598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305058$5C8A740A-61CB-4EC7-9692-05E784F22B32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ab3eb52c2752f288055db211a141768aca9960f","datavalue":{"value":"fat points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305058$E5566A9D-52CD-46A7-9466-58F16C797F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047d585fb9df4206d1bd84c47db0e8561892150e","datavalue":{"value":"minimal free resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305058$0AE232ED-E6DD-47AE-9EC8-4CE61D6FD549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75c4cbffd8043049bbaf3baaf5251f8c7ae48d91","datavalue":{"value":"first infinitesimal neighborhood","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305058$A1034158-22F9-4733-9B26-54929D46D3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aafb12e969303bc1bbb78e4a5faf0d4347fe97fa","datavalue":{"value":"minimal resolution conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305058$866DA8A9-153D-4591-87A4-E67084F9032F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c33463f84ce28424d42a4607ec00fc15e81748","datavalue":{"value":"Horace method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305058$B9DDEAFA-A745-44C3-AE94-A9FC1C192893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6d7a207339942b36c053a99c19234a1b304efe","datavalue":{"value":"Hilbert function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305058$28B84F2B-7AC0-49BD-A602-AE794DE5BF3F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7143d245ddc729dd36526d117c7063f448ea4c08","datavalue":{"value":{"entity-type":"item","numeric-id":442436,"id":"Q442436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$690CBF58-E5F9-4FEE-91B3-15428B5E837F","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":"Q1305058$243F58F6-EB3B-47F2-8E59-6BF8CFE9FBF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8aff9c09d5f0ea0d763597b3ca0e678d257afb2","datavalue":{"value":"https://doi.org/10.1006/jabr.1998.7772","type":"string"},"datatype":"url"},"type":"statement","id":"Q1305058$7C4FD396-2461-4D02-B217-32617AAA0B37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e3af76594ee46af625fb25c1bd8f998cf3e7f4a","datavalue":{"value":"W1972330277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305058$60089119-8D8B-45E9-A989-385994399ACD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e647a7a50006126b302108d04867714d0bea314","datavalue":{"value":{"entity-type":"item","numeric-id":3829660,"id":"Q3829660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$DCC664CF-48C1-4BF3-9C2E-EB3CF96B75E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"440108228a1c4a3e33206e4a3c19e197803a00f0","datavalue":{"value":{"entity-type":"item","numeric-id":5287411,"id":"Q5287411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$C46D5B09-7F1D-44FE-8CAF-9F228C260200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d393899ef265aa5b7d502d73dc8b36e863761cd8","datavalue":{"value":{"entity-type":"item","numeric-id":1187499,"id":"Q1187499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$54BDDE54-1130-483F-8998-AB1A8A8788EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7718841bb59ffd1475408bff379e4128db1e04","datavalue":{"value":{"entity-type":"item","numeric-id":4838935,"id":"Q4838935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$0E1C56D8-B79E-4AE9-A9F2-208F0C99FEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120458258b85405ce1053dba8742d8552d14d4bb","datavalue":{"value":{"entity-type":"item","numeric-id":1821173,"id":"Q1821173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$111D809B-867A-43D9-81ED-E83F2C6086AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f7024774f247293259c7696b61606d9295577f","datavalue":{"value":{"entity-type":"item","numeric-id":3978232,"id":"Q3978232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$8D40F5C8-7D15-49E8-ADB2-1D4239CDC5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f770710c66b7d0413104e7412ba5c5c280e45f","datavalue":{"value":{"entity-type":"item","numeric-id":3358868,"id":"Q3358868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$D1D7814D-D2AB-4413-8D68-BEC8193568AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8643a8645597afb82c572b3c6e05804e146fc64","datavalue":{"value":{"entity-type":"item","numeric-id":3203145,"id":"Q3203145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$15FFEE72-BE01-4241-9596-15F504948000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363263a65567f2bd1d5ed60c24e7e18dcdfac64e","datavalue":{"value":{"entity-type":"item","numeric-id":798722,"id":"Q798722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$98E13EF2-EA6C-43A5-BBCC-9ED92C01CC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e9205451283f5ef196f7d3aa650a0676409c3a","datavalue":{"value":{"entity-type":"item","numeric-id":1963983,"id":"Q1963983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$405A4B96-885C-4390-B46E-FA7316FABF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39badd422217ec8f94919d4d773dc4e8bd2ad9d","datavalue":{"value":{"entity-type":"item","numeric-id":1061791,"id":"Q1061791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$88B09E28-040C-40BF-BD23-EA1AFD9B8A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3306abfb5cdc1a4773cc9b8c2d8a5269c2d7578","datavalue":{"value":{"entity-type":"item","numeric-id":5961445,"id":"Q5961445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$64263E6E-7511-4608-A71F-489A7769AB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e28e7f2563d25465ea53dcb6d458aa66135814a4","datavalue":{"value":{"entity-type":"item","numeric-id":4729912,"id":"Q4729912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$C32E6E88-C4EB-4DCC-AB2E-59F407F7ACBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06628cb41c639ac61415cf7e2a2e0cda9b9d73a7","datavalue":{"value":{"entity-type":"item","numeric-id":4263564,"id":"Q4263564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$5B163DED-1BDF-445B-BCF0-06BE50B1B5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec20f17483149f058b19d0a66d7e04e5dfda5d1","datavalue":{"value":{"entity-type":"item","numeric-id":2277537,"id":"Q2277537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$0E6D2A35-2513-467D-8D7E-D2A900249986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd528c5bc65ede9e90b23e93518db55db59b524f","datavalue":{"value":{"entity-type":"item","numeric-id":1312860,"id":"Q1312860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$316DE422-AABE-4DE1-A31A-332220197DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125ae9e44c11bc5b5a405ac4aaf78558ccab0c12","datavalue":{"value":{"entity-type":"item","numeric-id":5581205,"id":"Q5581205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$824DC520-19C6-400B-A507-1724C8A63D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bed4843f04a958c67078f80fa27748cba7f66ce","datavalue":{"value":{"entity-type":"item","numeric-id":1895784,"id":"Q1895784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305058$783FD229-3E1D-4DC0-9BFC-31E4374AABB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da5022e5389cbda01b0f70dd3da51545558a69b1","datavalue":{"value":"10.1006/JABR.1998.7772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305058$4C516273-AD47-4876-8563-35FA260D4AB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2c90d0508f5e383720755fb6fd2ea4b3ae3f20","datavalue":{"value":{"entity-type":"item","numeric-id":3428419,"id":"Q3428419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f016b983f6d0e629eb4516502120a27df2c3bce","datavalue":{"value":{"amount":"+0.8507103323936462","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":"Q1305058$A6FA8084-8947-4136-BB54-F3F9F5A85FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0d6bcf9129ea7248169f69139529c2eb85c5d5","datavalue":{"value":{"entity-type":"item","numeric-id":5945613,"id":"Q5945613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9cb7ac4343af1b04e9077f556130e4d0dd9a10","datavalue":{"value":{"amount":"+0.8448135852813721","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":"Q1305058$09F6E4DB-E2AF-485C-B5EA-141DE5B92A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ffc38b41b69e88d0335488b9f28226fab8ecc7","datavalue":{"value":{"entity-type":"item","numeric-id":3977625,"id":"Q3977625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e36ad7b6a903db0b99a58ebf535690aec314e7","datavalue":{"value":{"amount":"+0.8438975811004639","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":"Q1305058$A81AF229-A4F8-4065-BD6C-D217B71DEE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e2533f56e7736daf6a3515eb3f501160916a59","datavalue":{"value":{"entity-type":"item","numeric-id":2481812,"id":"Q2481812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b171a0828363fd0e90d887ec996f569daa54a7e4","datavalue":{"value":{"amount":"+0.8426742553710938","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":"Q1305058$63565EF7-2645-4057-AA92-0509484BF58B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The minimal free resolution for the first infinitesimal neighborhoods of \\(n\\) general points in the plane","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_minimal_free_resolution_for_the_first_infinitesimal_neighborhoods_of_%5C(n%5C)_general_points_in_the_plane"}}}}}