{"entities":{"Q615824":{"pageid":617600,"ns":120,"title":"Item:Q615824","lastrevid":63322845,"modified":"2026-04-11T12:05:47Z","type":"item","id":"Q615824","labels":{"en":{"language":"en","value":"Elimination and nonlinear equations of Rees algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5833422"}},"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":"Q615824$C8D4D0EE-BB35-410A-ADE8-760E54246678","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa71c961b52f332e11686f50782fbd92d9603dcd","datavalue":{"value":{"text":"Elimination and nonlinear equations of Rees algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q615824$6A7E5F0A-E866-42D1-8E8A-433F2EC21954","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37506c9f9be3d13ced752048346728b470d62a1e","datavalue":{"value":"1210.13008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615824$930C9801-43CE-4309-940C-4F466FDF1217","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dfd40ed54bdb0d0a9643957119d6a29a108f6ac","datavalue":{"value":{"entity-type":"item","numeric-id":475406,"id":"Q475406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615824$A6AF1A60-43BE-4B4B-99AD-508C408FAE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dc40436c13db91a75021cdf6b0d7961a88651ee","datavalue":{"value":{"entity-type":"item","numeric-id":350803,"id":"Q350803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615824$1D422DE0-4880-40C9-8FB5-332A3F450DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"884529fcaff6f04b1ea8747f964b7ac98949b242","datavalue":{"value":{"entity-type":"item","numeric-id":1566429,"id":"Q1566429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615824$6764173C-F031-41B3-995D-DF59B83AEB4A","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":"Q615824$3CB918BB-9440-4935-9D87-9588D880DEA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-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":"Q615824$976E4616-11F8-45D6-A877-28D3034E5C5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e56294f66fe6985d4036db16f568afcddd96045","datavalue":{"value":"https://arxiv.org/abs/0911.2569","type":"string"},"datatype":"url"},"type":"statement","id":"Q615824$4395AFF1-44DF-45D5-AEE0-54A68699014C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c91f3c79cc88332202896f8e1a4962205126404","datavalue":{"value":"https://hal.inria.fr/inria-00431783/file/ReesAlgPreprint.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q615824$58C5BA3A-57BE-4DC7-8E50-A3BACEF0985A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2fa22f733c0207e7a6779bb1924578f150d3113","datavalue":{"value":"First we describe the setting for this paper. Let \\(I\\) be an ideal of the polynomial ring \\(R=k[X_1,\\dots,X_n]\\) over a field \\(k\\). Assume:  \\(\\bullet\\) \\(I\\) is generated by \\(n+1\\) \\(k\\)-linearly independent forms \\( \\mathbf f=(f_0,\\dots,f_n)\\) of the same degree \\(>0\\);  \\(\\bullet\\) \\(\\dim (R/I)\\leq 1\\) (that is, the base locus of the rational map defined by \\(\\mathbf f\\) consists of finitely many points);  \\(\\bullet\\) \\(\\dim k[\\mathbf f]=n\\) (that is, the image of the rational map defined by \\(\\mathbf f\\) is a hypersurface).  Recall that the kernel of the canonical epimorphism \\(\\text{Sym}_R(I))\\to \\text{Rees}_R(I)\\) is equal to the \\(R\\)-torsion of the symmetric algebra \\(\\text{Sym}_R(I)\\); hence it contains \\(H_{\\mathfrak m}(\\text{Sym}_R(I))\\) (the \\(\\mathfrak m\\)-torsion of the algebra \\(\\text{Sym}_R(I))\\). Thus we have an induced epimorphism  \\[ S_I^*\\twoheadrightarrow \\text{Rees}_R(I), \\]  where \\(S_I^*=\\text{Sym}_R(I)/H_{\\mathfrak m}(\\text{Sym}_R(I))\\). In some particular cases, for example if \\(I\\) is \\(\\mathfrak m\\)-primary, this epimorphism is an isomorphism.  On the other hand, if \\(S\\) is the polynomial ring \\(R[T_0,\\dots, T_n]\\), then there is an \\(R\\)-algebra graded homomorphism \\(S\\to S_I^*\\) sending each \\(T_i\\) to \\(f_i\\). Let \\(\\mathcal J\\) be the kernel of this homomorphism. For an integer \\(\\ell\\geq0\\), let \\(\\mathcal J(\\ell)\\) be the ideal generated by the elements in \\(\\mathcal J\\) of total degree in the \\(T_i\\)'s at most \\(\\ell\\).  The basic numerical invariant of the paper is \\textit{the treshold degree} of the ideal \\(I\\) denoted by \\(\\mu_0(I)\\), which is defined using, among other things, the first homology module of the Koszul complex associated to \\(\\mathbf f\\). A \\textit{treshold integer} is an integer \\(\\mu\\) such that \\(\\mu\\geq\\mu_0(I)\\), where \\(\\mu_0(I)\\).  The main theorem of this paper (using the above setting) is the following:  If \\(\\nu(I_{\\mathfrak p})\\leq \\dim R_{\\mathfrak p}+1 \\) for every prime ideal containing \\(I\\), then for every treshold integer \\(\\mu\\), we have \\(H_{\\mathfrak m}^i(\\text{Sym}_r(I))_\\mu=0\\) for \\(i>0\\); and for every \\(\\ell\\geq2\\) the \\(k[T_0,\\dots,T_n]\\)-module \\((\\mathcal J(\\ell)/\\mathcal J(\\ell -1))_\\mu \\) if free.   Moreover, the authors determine the rank of this free module.  In particular, the authors deal with the case when the ideal \\(I\\) is \\(\\mathfrak m\\)-primary. They use \\textit{downgrading maps}; as mentioned in the paper, by this method, the equations of the Rees algebra of \\(I\\) used in the matrix-based representation of the corresponding hypersurface can be recovered from the syzygies of \\(I\\). The authors present some applications to the hypersurface implicitization problem, and include a detailed explicit example.","type":"string"},"datatype":"string"},"type":"statement","id":"Q615824$1E030CB0-8511-4628-A8B5-2165D71CCC83","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4234859ed1119166229b7e81518334f609896511","datavalue":{"value":{"entity-type":"item","numeric-id":194514,"id":"Q194514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615824$EB1D0F4F-C7B9-4022-89C8-493BA8C7DFEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5820de88e9d6d8e1a59edda9f40b2ee12cdbd7e7","datavalue":{"value":"13A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615824$FB0A1063-394C-42EE-B4E1-367C199DADF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd4ec6e4b6aa854466b467ae20b9d087bcc2e35a","datavalue":{"value":"13D02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615824$C86AFAFA-D72A-4EF5-9B00-65D17B0E6ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"772082e871ed0e82560d016b0787f046e0945aff","datavalue":{"value":"14J70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615824$FDAA8025-0AB2-4795-ACF6-8EF7C1CB0841","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"315f95db66d90b2d3347bd68fcf6706ac66a149d","datavalue":{"value":"5833422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615824$8BF8396B-A696-44E5-A793-07E5C51B8D10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f664d9938cb0c5d57937b1b2fee16d4b0e6277","datavalue":{"value":"Rees algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q615824$53A2A70F-384C-41B7-9669-3934A7E8D6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86ef6fc703b3b0857d0b631d4497d086e8297154","datavalue":{"value":"symmetric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q615824$4CBD54BD-3192-4A24-9687-A028691A4F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d5367fb609d444a4e1e7464c148e8196465e4e1","datavalue":{"value":"rational maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q615824$EAE46BF9-1085-457E-B2C5-F3BB968CCB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"395758313ef29493edc27c8b5c118191a1f287a6","datavalue":{"value":"elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q615824$136C08A8-BB90-4655-9045-087C83D955BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb746490cb68fec47cbd97b2ef95953099ba7f2c","datavalue":{"value":"Koszul complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q615824$59FA00CF-093E-4389-9A4A-89A7722BD332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c446078d916a69d76960447fde0142462097e2b0","datavalue":{"value":"downgrading map","type":"string"},"datatype":"string"},"type":"statement","id":"Q615824$DA82F108-0F12-4EBA-BEAB-A6B2A022E9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3254375422baa21258f464b1700fb5ad2335e13d","datavalue":{"value":"implicitization","type":"string"},"datatype":"string"},"type":"statement","id":"Q615824$E909B6A6-C8ED-4160-BFE1-2873CCCFB6C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a7ab78c11a5a96fc598f910c529b2ab4e71c73d","datavalue":{"value":{"entity-type":"item","numeric-id":13292,"id":"Q13292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615824$337AC53B-0E50-4AFD-A83B-F7FCD237E2C9","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":"Q615824$8B36D9E9-7948-4D80-BB6F-6D2EC573726B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"501be7738f34a141ee9093a2dec37cb4a382f501","datavalue":{"value":"W2003394161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615824$B5758AD9-ED64-4D21-BB5F-9501BCD574A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9effb9394269358c8ef429bc97e3f09285bc6c87","datavalue":{"value":{"entity-type":"item","numeric-id":1152428,"id":"Q1152428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615824$7E77BC4A-5ED8-44E3-8EFD-35CD34402E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661ff041b924c3db698e7fa761df37eadea96055","datavalue":{"value":{"entity-type":"item","numeric-id":2456594,"id":"Q2456594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615824$D9F59ED0-47BA-4B92-BDAB-B5F1FD362680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def1f4071fb5933fee19190b07a79adfe43b89fb","datavalue":{"value":{"entity-type":"item","numeric-id":4474464,"id":"Q4474464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615824$4C7D14C2-C52C-4E47-8742-312CF6EA792D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e875ec51d37e0d59c006599b02cf33d3d4f73ade","datavalue":{"value":{"entity-type":"item","numeric-id":3629403,"id":"Q3629403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615824$83AF4FB1-C9F5-4456-8A72-0209D6B4FE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0decbd301647f3c7c8f19f373b005bb926e947a","datavalue":{"value":{"entity-type":"item","numeric-id":1398182,"id":"Q1398182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615824$1AFDE499-D920-4478-97B5-F76DCE624D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5b1ab08dd7f6244083819147843c4ab50a8878","datavalue":{"value":{"entity-type":"item","numeric-id":1976670,"id":"Q1976670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615824$B92414A7-16C7-43A8-9D71-1242066F00D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa62ec80a6999d206f2d31325ae4d771d1737eb","datavalue":{"value":{"entity-type":"item","numeric-id":3964688,"id":"Q3964688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615824$4A17BF4F-F8C0-4E1E-A84D-8C359CE238CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713957da46b6fb1ac52939ba4a50068df2050899","datavalue":{"value":{"entity-type":"item","numeric-id":692745,"id":"Q692745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615824$17DEC793-2F33-4EB4-94C4-D1AFCF854170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90a5f9505c37da1e3f87052ba8f553faa4708fb","datavalue":{"value":{"entity-type":"item","numeric-id":4010016,"id":"Q4010016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615824$998A56BE-09BB-4320-8C2C-CF5A989393BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b8b664d791fea2df62c7d894147f6ab75cd71ed","datavalue":{"value":"10.1016/J.JALGEBRA.2010.07.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615824$F5F4BCEC-9070-4FEB-8C26-8255B1D13E6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824f215a350896e50897d9bff5e09f4c814cf6ef","datavalue":{"value":{"entity-type":"item","numeric-id":2481477,"id":"Q2481477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5a817ef9de59cd29273bcbce04e46e4df91090","datavalue":{"value":{"amount":"+0.7986517548561096","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":"Q615824$C25356E5-4B28-42DE-85E4-19F809096FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66f7f7b115e649140b4ebe37820c61b9f195f0bd","datavalue":{"value":{"entity-type":"item","numeric-id":4911827,"id":"Q4911827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b935860e82b2e3dee0e4314f2ac12d5910b9c43a","datavalue":{"value":{"amount":"+0.792539119720459","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":"Q615824$B98AE11A-19F3-4947-870B-F507D35C3CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e07dedf216c3d84ef7a5bd0566bd7b44eb5edd","datavalue":{"value":{"entity-type":"item","numeric-id":1320985,"id":"Q1320985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de31aaf6df043fc822522b4e1d227f9f6810d13","datavalue":{"value":{"amount":"+0.7887346148490906","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":"Q615824$B0C98DD4-C35F-4FF6-B212-2D424FB216D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3321bfa90eb8b55551eab4ee0a4f3e683fccf594","datavalue":{"value":{"entity-type":"item","numeric-id":3349008,"id":"Q3349008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc53aa7f166dd822c70a2b0102d4d33bfae5c375","datavalue":{"value":{"amount":"+0.7822093367576599","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":"Q615824$7419F718-4411-4E50-A648-14E01241C1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b061e9a59a0e79597cba6cfb8ec14a68eee28e","datavalue":{"value":{"entity-type":"item","numeric-id":2933704,"id":"Q2933704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4701f0d16bfc17a86b2e3dcf20e1a64831bbf7e","datavalue":{"value":{"amount":"+0.7818573713302612","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":"Q615824$FFFFF476-8B23-44F0-BE70-691BF8C22FD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elimination and nonlinear equations of Rees algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elimination_and_nonlinear_equations_of_Rees_algebras"}}}}}