{"entities":{"Q4938528":{"pageid":6968110,"ns":120,"title":"Item:Q4938528","lastrevid":108550097,"modified":"2026-11-06T22:59:24Z","type":"item","id":"Q4938528","labels":{"en":{"language":"en","value":"The co-Scarf resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405549"}},"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":"Q4938528$CAE54D63-E152-44A6-B0C1-4987F3DDA3BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10c3b62819a069b7bb1384610fb018a1411ca9ba","datavalue":{"value":"0978.13018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938528$9A964CB9-D06F-42CE-A39C-4A5F8F94BC96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b55f4b51dd558ecbd909fd3ab93c25f602f6c0d4","datavalue":{"value":{"entity-type":"item","numeric-id":161073,"id":"Q161073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938528$B3350F0D-921F-4150-8518-9A76AB0D81CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0b5716eec8be9d71b913ca16e88a0b2f6439e71","datavalue":{"value":{"time":"+2002-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938528$A9602D17-7488-4C89-A5A2-282FC0D56CB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938528$E808B310-B2CF-4CC7-A8E5-43487EA497AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd4ec6e4b6aa854466b467ae20b9d087bcc2e35a","datavalue":{"value":"13D02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938528$C3CAFA2D-F787-46C5-B84A-ADA2938D5511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938528$AF53FE6B-91BF-40B8-AC1E-44429F2F6804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"99c27e09fa243dec33ba15f384f6aea1342b3613","datavalue":{"value":"13D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938528$E894993A-3C35-4BD3-9578-A2214FFB7F6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbc192f9f52da7a54508146a738e9630ad8a6360","datavalue":{"value":"1405549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938528$BBF10BE2-176B-4BE7-AE92-F23468551C3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4830de842b065dd3af67e281a67d945f255f9ba","datavalue":{"value":"monomial ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938528$8F2A4F9A-D026-4749-A44C-679C30FA5B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8a5d48c9d0c451eff9cb5bf9f8281865f31ab0c","datavalue":{"value":"free resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938528$3D4A0F87-D7BC-4945-8A2E-35A70E0EB609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24da9355b34a8e231c84e01e339262a6aa2e8f08","datavalue":{"value":"cogeneric monomial ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938528$BFAF8F3F-A5A4-4044-BF2F-4C52FDC1FCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9f80a6e517bf4d142a8df87ab060eb916e88c76","datavalue":{"value":"Scarf complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938528$98D7B346-0828-4F02-8DAB-9081BBE2304B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f01996213fabea7f3eb795468dc2e230ffba1fd8","datavalue":{"value":"co-Scarf complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938528$3CCED47A-84F6-434E-932E-8B07D4E016E0","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":"Q4938528$19B1F902-47F4-4FAC-A164-B778D6FEBFE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae9e20204b152134c3a15f3a842042ba8306bb8","datavalue":{"value":{"entity-type":"item","numeric-id":6483290,"id":"Q6483290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f559038b0c41f8e22e995dbd399d0a68e3075d","datavalue":{"value":{"amount":"+0.8880066871643066","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":"Q4938528$48A2D078-ABF8-4006-85B5-3322D2E9CCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1a69c6cb6b2af5fce0722b4eea3be91e910dc5c","datavalue":{"value":{"entity-type":"item","numeric-id":4383173,"id":"Q4383173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f559038b0c41f8e22e995dbd399d0a68e3075d","datavalue":{"value":{"amount":"+0.8880066871643066","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":"Q4938528$ED301187-C2C0-4EA0-8FE0-E0A8F83C020D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c052dbc6e7a7a54261bf3b0e2cc44644768e246c","datavalue":{"value":{"entity-type":"item","numeric-id":4219132,"id":"Q4219132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fab1951949ec1b705b233111106f5b2110a8042","datavalue":{"value":{"amount":"+0.8340880870819092","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":"Q4938528$107F4D33-2376-4ABA-AA22-ED1C7D8D5075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f6a7f93b262195d999daebadd15158071ddd5d","datavalue":{"value":{"entity-type":"item","numeric-id":1569837,"id":"Q1569837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53fd0fe207c96288ac7d623ec04b3f4225701d37","datavalue":{"value":{"amount":"+0.8328585028648376","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":"Q4938528$612BAE24-10EB-4C4A-B605-3F72B54E73F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1903a971b186604f00bbf98b374b1c8f879f8e42","datavalue":{"value":{"entity-type":"item","numeric-id":913866,"id":"Q913866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa1c97e2e9290927186c5e9459f213f139f9817","datavalue":{"value":{"amount":"+0.828998327255249","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":"Q4938528$A3C411AD-30BC-48E0-9FFE-0E0EB367AE6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f1686f7cc8615ddf923e3a3f10d25242cd7fdb4","datavalue":{"value":{"text":"The co-Scarf resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4938528$64303D9B-0EF8-4A57-A857-B84C35BA01B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"056734a71a2bd92850b65b707ab31cf22f7d9f14","datavalue":{"value":"A monomial ideal \\(M\\) in a polynomial ring \\(S=k[x_1, \\dots,x_n]\\) can be represented by a set of monomial generators \\[ M=\\langle x^{D_1}, \\dots, x^{D_s} \\rangle,\\;x:=(x_1, \\dots,x_n), \\quad D_j\\in \\mathbb{N}^n \\tag{1} \\] or as an intersection of irreducible monomial ideals \\[ M=M_1\\cap M_2\\cap \\cdots\\cap M_r, \\tag{2} \\] where each \\(M_i\\) is generated by powers of single variables \\(M_i= \\langle x_{i_1}^{d_1}, \\dots,x_{i_s}^{d_s} \\rangle\\), \\(d_j\\in \\mathbb{N}\\). This paper discusses a method for computing the minimal free resolution of the \\(S\\)-module \\(S/M\\) directly from representation (2) and the subproblem of determining the minimal generators of \\(M\\) in representation (1). A monomial ideal \\(M\\) is called cogeneric if no two of its irreducible components \\(M_i\\) and \\(M_j\\) have a minimal generator in common. The minimal free resolution of any cogeneric monomial ideal \\(M\\) can be constructed using the notion of the Scarf complex, introduced by \\textit{H. Scarf} [``The computation of economic equilibria'', Cowles Foundation Monograph 24 (1973; Zbl 0311.90009)] and developed further by \\textit{D. Bayer}, \\textit{I. Peeva} and \\textit{B. Sturmfels} [Math. Res. Lett. 5, 31-46 (1998; Zbl 0909.13010)]. This paper shows that cogeneric monomial ideals are resolved by (subcomplexes of) simple polytopes. The construction involves formal monomials \\(x_i^\\infty\\) and \\(x_i^\\varepsilon\\), where \\(\\infty\\) and \\(\\varepsilon\\) stand respectively for a very large and a very small positive real number. Enlarge each irreducible ideal \\(M_j\\) by adding a generator \\(x_i^\\infty\\) for each missing variable \\(x_i\\) and introduce \\(n\\) additional monomial ideals \\(M_{r+i}: =\\langle x_1^\\infty, \\dots,x^\\infty_{i-1}, x_i^\\varepsilon, x_{i+1}^\\infty, \\dots,x_n^\\infty \\rangle\\), \\(i=1,2,\\dots,n\\). The degree of an irreducible monomial ideal is defined to be the multidegree of the product of its generators, with \\(\\varepsilon\\) replaced by 0. Now define \\(M_I:= \\sum_{j\\in I}M_j\\), \\(a_I:=\\text{degree}(M_I)\\) for all \\(I\\subseteq \\{1,\\dots, r+n\\}\\) and abbrevivate \\(m_I:=x_1^{a_{I1}} x_2^{a_{I2}} \\cdots x_n^{a_{In}}\\) where \\(a_I=(a_{I1}, a_{I2},\\dots, a_{In})\\). Then the co-Scarf complex of \\(M\\) is defined to be the simplicial complex \\[ \\Delta^*_M: =\\{I\\subseteq \\{1,\\dots, r+n\\}\\quad\\text{for all }J:m_I=m_J \\Rightarrow I=J\\}. \\] A face \\(I\\) of \\(\\Delta^*_M\\) is called bounded if \\(\\infty\\) does not appear among the coordinates of \\(a_I\\). Let \\(T^*\\) denote the free \\(S\\)-module \\(S\\oplus\\bigoplus_I S(-a_I)\\), where the sum is over all bounded non-empty faces \\(I\\) of \\(\\Delta^*_M\\). The coboundary operator of \\(\\Delta^*_M\\) defines a differential \\(\\partial: T^*\\to T^*\\). The following theorem is the main result of the paper: Theorem: If \\(M\\) is a cogeneric monomial ideal in \\(S=k[x_1, \\dots,x_n]\\), then the complex \\((T^*,\\partial)\\) is a minimal free resolution of \\(S/M\\) over \\(S\\). A proof and examples are given. The co-Scarf complex automatically yields the minimal generators of a monomial ideal. For the entire collection see [Zbl 0921.00043].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938528$1BE89A0C-67D3-4DB7-9D12-0C3EB99DB888","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The co-Scarf resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_co-Scarf_resolution"}}}}}