{"entities":{"Q1697459":{"pageid":1708200,"ns":120,"title":"Item:Q1697459","lastrevid":68158989,"modified":"2026-04-12T21:49:43Z","type":"item","id":"Q1697459","labels":{"en":{"language":"en","value":"Multigraded Hilbert schemes parametrizing ideals in the Weyl algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6840994"}},"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":"Q1697459$1A1A8A90-DC86-44D6-ACEF-ADB1CF911B08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e347b964c5b81bde5c19f7da2136d34636a44fb1","datavalue":{"value":{"text":"Multigraded Hilbert schemes parametrizing ideals in the Weyl algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1697459$80C95978-922F-4A07-9BA2-57E16DE0EF16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abbe4d0802c8bf06f629ce2418924d4d46162a4c","datavalue":{"value":"1393.14004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697459$A16BDCC9-25B8-4081-985B-107B861F5683","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d681f23f71a135de35d80859f8ee45825aeac24","datavalue":{"value":"10.1216/RMJ-2017-47-8-2675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697459$8B35D45C-328A-4E72-B1FF-D204DBAC5D39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63d84177e46cf6f8149a1bd61f4dbf5da550f553","datavalue":{"value":{"entity-type":"item","numeric-id":1697458,"id":"Q1697458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697459$6332AA64-50F5-45AE-9479-4C1B840AF290","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3c56016573ce7bfe3075a77ec18be101169a3439","datavalue":{"value":{"entity-type":"item","numeric-id":168778,"id":"Q168778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697459$4C665C74-B463-4F22-8458-97D736A990F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d89e9697ececd3e3495e15862459be636d773c40","datavalue":{"value":{"time":"+2018-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1697459$8E12F98D-2A08-44D2-8AD8-B8E1AC63B2AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbfe5c410abe472ebd595413c2b2268f80dc36ff","datavalue":{"value":"https://projecteuclid.org/euclid.rmjm/1517648605","type":"string"},"datatype":"url"},"type":"statement","id":"Q1697459$D6114A2D-8141-46EB-BCB2-DAFDDB2C9218","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c35179a2c10cf85d50d8befd775a20ad63613383","datavalue":{"value":"The author shows how the multigraded Hilbert scheme construction of \\textit{M. Haiman} and \\textit{B. Sturmfels} [J. Algebr. Geom. 13, No. 4, 725--769 (2004; Zbl 1072.14007)] can be used to construct a quasi-projective scheme which parametrize left homogeneous ideals in the Weyl algebra having fixed Hilbert function. Fixing an integral domain \\(k\\) of characteristic zero, the Weyl algebra \\(W=k \\langle x_1, \\dots, x_n, \\partial_1, \\dots, \\partial_n \\rangle\\) has a \\(k\\)-basis consisting of the set \\(\\mathcal B = \\{ x^\\alpha \\partial^\\beta | \\alpha, \\beta \\in \\mathbb N^n \\}\\). If \\(A\\) is an abelian group, then any \\(A\\)-grading \\(\\mathbb N^n \\to A\\) on the polynomial ring \\(S = k[x_1,\\dots,x_n]\\) extends to an \\(A\\)-grading \\(\\mathbb N^{2n} \\to A\\) on \\(W\\) by \\(\\deg (x^\\alpha \\partial^\\beta) = \\deg \\alpha - \\deg \\beta\\), which induces a decomposition \\(W = \\bigoplus_{a \\in A} W_a\\). Given a Hilbert function \\(h:A \\to \\mathbb N\\), the corresponding Hilbert functor \\(H^h_W\\) takes a \\(k\\)-algebra \\(R\\) to the set of homogeneous ideals \\(I \\subset R \\otimes_k W\\) such that \\((R \\otimes _k W_a)/I_a\\) is a locally free \\(R\\)-module of rank \\(h(a)\\) for each \\(a \\in A\\). The main theorem says that \\(H^h_W\\) is representable by a quasi-projective scheme over \\(k\\).  The strategy of the proof is similar to that of Haiman and Sturmfels [loc. cit.], but there are some new behaviors regarding monomials in the Weyl algebra \\(W\\) not seen in the polynomial ring \\(S\\). An obvious difference is that a product of monomials in \\(W\\) need not be a monomial. Another difference is that \\(W\\) has infinite antichains of monomial ideals, unlike the polynomial case: see work of \\textit{D. MacLagan} [Proc. Am. Math. Soc. 129, 1609--1615 (2001; Zbl 0984.13013)]. Moreover, the natural extension of Gr\u00f6bner basis theory for \\(S\\) to \\(W\\) does not work well, so the author considers the initial ideal of a left ideal in the associated graded algebra \\(\\text{gr} W\\) and uses Gr\u00f6bner basis theory for \\(W\\) developed by \\textit{M. Saito} et al. [Gr\u00f6bner deformations of hypergeometric differential equations. Berlin: Springer (2000; Zbl 0946.13021)]. The arguments are well presented along with examples showing the novel points.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697459$EBC238DE-286E-48C7-B153-0CAA1C9E6F1E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5f5ce8bb0e73b66d68f082db330f024630ea0339","datavalue":{"value":{"entity-type":"item","numeric-id":442452,"id":"Q442452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697459$3C48A1C2-8422-4121-9F33-97C3AD4EC96E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28b1f93eb7267ca868d7c0bc17d7cfb5e9cb0c8c","datavalue":{"value":"14C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697459$C360C16C-14DC-4B88-8A4F-757712859712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"706147fd010f3d0c81db29bd994887fc66e84a9e","datavalue":{"value":"16S32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697459$00032EB4-2E2F-4A30-BFDE-F02DFA9AD026","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"192b105abeeb8d90e244b9bdc198dd27bda21fb2","datavalue":{"value":"6840994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697459$5EC9FE08-4E32-42CF-A57A-4FE51DFD2412","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0158dc26288e10dca1d07138fdfd277f0a703502","datavalue":{"value":"Hilbert schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697459$D7232498-8687-4C8D-9807-E201203E2A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e75f2b3f7685adc764011a4589c451f79ccff3c9","datavalue":{"value":"Weyl algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697459$8E02FE98-DAA7-43D5-85F1-54257B97AF4F","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":"Q1697459$DCF0CFDA-77F3-48A0-91FA-DC1215EBA9A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6fe89ad848ee194a67697b85ac20c6adb1e35b8","datavalue":{"value":{"entity-type":"item","numeric-id":5438447,"id":"Q5438447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025afc1cc996771d09223384d99a40c06f031218","datavalue":{"value":{"amount":"+0.70826185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1697459$B0001B49-1474-4585-9223-A59E7F609844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74dd2ba8c7fd95a2eea722a9cffe0856acb1c631","datavalue":{"value":{"entity-type":"item","numeric-id":2267802,"id":"Q2267802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164607b2a261d6385707e194abdc31cd56876adf","datavalue":{"value":{"amount":"+0.681956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1697459$E6638D65-17DE-486C-A4B5-812EA9F3FF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91e328d5f88b80d1fb4866a3e834141d9d51ac8","datavalue":{"value":{"entity-type":"item","numeric-id":4515501,"id":"Q4515501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a1fabac172d4177a4d944fcea4900cec3e8710","datavalue":{"value":{"amount":"+0.67885756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1697459$1BACDE96-0451-44AB-A0F5-ED0E349558BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a3dcbd1b54dd9a4d1ed8523cb7b26db49f00a8","datavalue":{"value":{"entity-type":"item","numeric-id":1574424,"id":"Q1574424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6aae593dfd6a1b70c6a9b747f1cb1d2c374369","datavalue":{"value":{"amount":"+0.67504954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1697459$13C1451D-A771-4AD3-A723-351973B74D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e2d2e53cf1a7770ce4497650c0fd8753b82c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":1355292,"id":"Q1355292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a63a37fe18f73ee0fcbf9361373be3f6d7e5d2","datavalue":{"value":{"amount":"+0.6725752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1697459$85F00301-035E-4762-A97B-E8204E8D0945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1faf703e70daabf30ca7a9ba92dea3954cbbbdb6","datavalue":{"value":{"entity-type":"item","numeric-id":2268612,"id":"Q2268612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6deac5bb7f08f080b3f564fa00cb4ffc99f38ec3","datavalue":{"value":{"amount":"+0.6608665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1697459$6EB5A705-486E-425E-8F18-7172F2B53C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b52f603755e633b144c7cc98e3372e3d0ac7be4","datavalue":{"value":{"entity-type":"item","numeric-id":868751,"id":"Q868751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491efe33d791401dd1356f8a0be23546143545c5","datavalue":{"value":{"amount":"+0.6598375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1697459$45E91DE7-3D43-4234-844C-3801E7106C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea37c3cb0197fe3fec90a85c4b3a98149c07831","datavalue":{"value":{"entity-type":"item","numeric-id":4847192,"id":"Q4847192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"081e00c7dc836ba42a66b253148e3d851d21462f","datavalue":{"value":{"amount":"+0.65929055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1697459$81EB3FF8-ED52-4BEB-8DB7-ABACDB4A5A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187a028383752613f157857dd3466d9648efddb1","datavalue":{"value":{"entity-type":"item","numeric-id":6054769,"id":"Q6054769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556ce04d3bdaf2e64c451e539d050fbda686a45a","datavalue":{"value":{"amount":"+0.65702933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1697459$A1A49AD4-C121-42F3-A7A1-9BA0539D72F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edbaa81bf0a7276374e01e2d95380bb4bfab388","datavalue":{"value":{"entity-type":"item","numeric-id":4659939,"id":"Q4659939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57531567c64b9ad022bb22b453060f2211bb1c7d","datavalue":{"value":{"amount":"+0.6545782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1697459$AF3290D4-AC6E-41B3-AD36-1AD296DF0F61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multigraded Hilbert schemes parametrizing ideals in the Weyl algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multigraded_Hilbert_schemes_parametrizing_ideals_in_the_Weyl_algebra"}}}}}