{"entities":{"Q1411971":{"pageid":1422711,"ns":120,"title":"Item:Q1411971","lastrevid":68643753,"modified":"2026-04-13T01:08:34Z","type":"item","id":"Q1411971","labels":{"en":{"language":"en","value":"On the quotient ring by diagonal invariants."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2001027"}},"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":"Q1411971$62D82316-EA3D-489C-9938-FCBCD0CEA436","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1edca6b29c0ff59c2b25a6f1dbdd0c4fce6a27e","datavalue":{"value":{"text":"On the quotient ring by diagonal invariants.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1411971$0ECC44F8-4421-4A9F-97EA-B28437AC3075","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb2858e0d010abb4641f7c91eef6e8431075d44e","datavalue":{"value":"1039.20019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411971$50C64BF8-8802-4F84-BC6B-223D3F7E9C6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411971$D7E01FB4-5981-4D13-B690-A0D085911CA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93adb162ea6d8b6ee299c70ea329c7cdef7ca430","datavalue":{"value":{"time":"+2003-11-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":"Q1411971$067177A7-A330-45BD-9436-F18C00D26839","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32e3a7cd6e0d25c3eeacecb47b88a016fff08989","datavalue":{"value":"https://arxiv.org/abs/math/0208126","type":"string"},"datatype":"url"},"type":"statement","id":"Q1411971$59ACE2F6-0099-463F-83E8-37E7D4245043","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"31529ab6468237e16d1d9027d9d3cf59de2ea667","datavalue":{"value":"Let \\(W\\) be a finite Coxeter group, \\(\\mathfrak h\\) its reflection representation, and \\(\\mathbb C[\\mathfrak h]\\) the ring of polynomial functions on \\(\\mathfrak h\\). It is a classical fact that the ring of invariants  \\[ \\mathbb C[\\mathfrak h]^W=\\{f\\in \\mathbb C[\\mathfrak h]:w\\cdot f=f \\text{ for all }w\\in W\\} \\]  is a polynomial ring in \\(\\dim(\\mathfrak h)\\) variables. Furthermore, the coinvariant ring  \\[ \\mathbb C[\\mathfrak h]^{coW}=\\frac {\\mathbb C[{\\mathfrak h}]}{\\langle \\mathbb C[{\\mathfrak h}]^W_+\\rangle } \\]  is a finite-dimensional vector space, isomorphic as a \\(W\\)-module to the regular representation \\(\\mathbb CW\\) of \\(W\\). (Here, \\(\\langle \\mathbb C[\\mathfrak h]^W_+\\rangle \\) denotes the ideal of \\(\\mathbb C[\\mathfrak h]\\) generated by invariant polynomials without constant term.) Recently, attention has focused on a ``double'' analogue of the above results. The space \\(\\mathfrak h\\) is replaced by \\(\\mathfrak h\\oplus\\mathfrak h^{*}\\), and its corresponding diagonal \\(W\\)-action. In this paper the author proves the following theorem.   Theorem. Let \\(W\\) be a finite Coxeter group. Let \\(n\\) be the rank of \\(W\\) and \\(h\\) the Coxeter number. Let \\(\\varepsilon\\) be the sign representation of \\(W\\). Let \\(D_W=\\mathbb C[\\mathfrak h\\oplus\\mathfrak h^{*}]^{coW}\\). Then there exists a \\(W\\)-stable quotient ring \\(R_W\\) of \\(D_W\\) satisfying the following properties: (1) \\(\\dim R_W=(h+1)^n\\); (2) \\(R_W\\) is \\(\\mathbb Z\\)-graded with Hilbert series \\(t^{-hn/2}(1+t+ \\cdots+ t^h)^n\\); (3) The image of \\(\\mathbb C[\\mathfrak h]\\) in \\(R_W\\) is the classical coinvariant algebra, \\(\\mathbb C[\\mathfrak h]^{coW}\\); (4) If \\(W\\) is a Weyl group, then as a \\(W\\)-module \\(R_W\\otimes \\varepsilon\\) is isomorphic to the permutation representation of \\(W\\) on the reduction of the root lattice modulo \\(h+1\\), written \\(Q/(h+1)Q\\).  This result confirms conjectures of \\textit{M. D. Haiman} [in J. Algebr. Comb. 3, 17-76 (1994; Zbl 0803.13010)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411971$14767F5C-2252-4A01-BEE7-E70BAA5A85CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dcc6ef289477f68cffe6414814b60192a325ae7","datavalue":{"value":"20F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411971$75B5B88B-A86C-4662-A1D8-40BF6D30008C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411971$548F37E9-8995-40A1-ACF8-60D93B7D2244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a2a08fbf923859623db67d2f25dda13b53d2263b","datavalue":{"value":"20C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411971$890061C8-8F78-42D2-9051-384279B29C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f163593e5c6aad535c85bcdcfda88a86cd8cf9e","datavalue":{"value":"17B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411971$4EDDF376-884E-4A90-A0CE-0F7908EFCB98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c34b6389900b4426ccf1d73368a6805d9b7576a","datavalue":{"value":"2001027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411971$9184037F-7F05-4015-8B55-4F70DF6194BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6769093e5ac5c0f34b24ab5f15869763fb113d1c","datavalue":{"value":"finite Coxeter groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411971$941C747C-9FD1-41D1-878A-EEFFFC8D7841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b37c7228018fc8ded44ca94aa62f8970655e39f","datavalue":{"value":"reflection representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411971$F40CF203-2F13-4E80-99C7-87A876E6CE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226f16c862cd8d7fdb36e31c744df1649f7341ee","datavalue":{"value":"coinvariant rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411971$6ED79BB9-B071-46D2-BB53-65AFBEC676BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"068d385dec199c231599360abcc87c57c39be095","datavalue":{"value":"Weyl groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411971$90385443-AD57-4EF3-9218-B05C248493A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02128fd562109f4b0e141e99c8cbe87a782d081e","datavalue":{"value":"rings of invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411971$53359EE3-E4CF-4F04-93A4-F4B56FE5B8C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f388f5897f4da2939c5cda57ce12491a4ccb3f3e","datavalue":{"value":{"entity-type":"item","numeric-id":585752,"id":"Q585752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411971$D8E17281-4E66-475E-BB28-9C428D7E8ADC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c4dba1dae8fd79ddeb259e5a8caae10ed04002f8","datavalue":{"value":{"entity-type":"item","numeric-id":586114,"id":"Q586114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411971$6142766D-8729-498B-A64E-B536E9499129","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":"Q1411971$3818B3CA-4EFF-400C-AB9D-138F014C3E91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70be1fdf9d51a2a6f0e2cd1b32a5b02137391e3f","datavalue":{"value":"W1811010766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411971$156F6FEA-2705-4AF5-A063-DC21D9DF2B8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7a88fcaf7492c54347576777d2eb593373004e5","datavalue":{"value":"10.1007/S00222-003-0296-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411971$700232F8-668B-4520-850A-FEA6A0A1C492","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae2b89a152706e3eaa89ede620a3022b9a939653","datavalue":{"value":{"entity-type":"item","numeric-id":1312993,"id":"Q1312993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af8e5fb9c1ed982211a37428656b472b41f591f","datavalue":{"value":{"amount":"+0.945689","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1411971$D8F2B478-924B-49DA-BF4E-8A4281B00C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b62e5c51b32ab09107e25165670608246fdaffe","datavalue":{"value":{"entity-type":"item","numeric-id":2435298,"id":"Q2435298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ee1b4e5fd69494ded198a769d5106810fc6d5ed","datavalue":{"value":{"amount":"+0.90967053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1411971$A330F868-702E-4F8E-A377-09131E9567DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7fe27a6f32c80154109c9cbec351f3da6c905f2","datavalue":{"value":{"entity-type":"item","numeric-id":1395408,"id":"Q1395408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"685fae70cd25c9654d00ce5264e83b211b8fb3ab","datavalue":{"value":{"amount":"+0.9029017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1411971$066F0A8D-E00F-42AC-95C2-73920419CD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01af02ec4f60e02e38c33f39ba86155046add678","datavalue":{"value":{"entity-type":"item","numeric-id":1584116,"id":"Q1584116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670ae7bc9885f0940b1c44a0c415124ea6e94ec7","datavalue":{"value":{"amount":"+0.9019083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1411971$481EA84D-FEBB-4D39-9810-725C4811D35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b6904f1901aabcf1db18b00d4d6adad84896ee","datavalue":{"value":{"entity-type":"item","numeric-id":5305991,"id":"Q5305991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e47c93fa1d9ac21bd8c9747b84bccf2004a5408","datavalue":{"value":{"amount":"+0.8982068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1411971$BBF77726-1E6D-4A77-ADD4-D0C169FC3023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c054371cd2fdcbe608126f8b616cf62af2292f","datavalue":{"value":{"entity-type":"item","numeric-id":1028306,"id":"Q1028306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d6ea4834b5f3c801a9a41cfc3555b0a65d00ea","datavalue":{"value":{"amount":"+0.8944977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1411971$A934FC83-E5A3-4370-8D05-2B0477AD56F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc447eb3c0e555497b107e01cdf46cbfd1048003","datavalue":{"value":{"entity-type":"item","numeric-id":2896860,"id":"Q2896860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"855e151e4a05233cbb3eddaf77dea27e47346f4c","datavalue":{"value":{"amount":"+0.89243793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1411971$401C9CF0-7FBE-4FB4-B30B-B66F3006863E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a413b70b3c79b9dde748b42f88dd664aab910be4","datavalue":{"value":{"entity-type":"item","numeric-id":3338387,"id":"Q3338387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133a65f0d2eb133a9cec0d2631818cfa55b8665e","datavalue":{"value":{"amount":"+0.8907918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1411971$2EDBE450-6B16-4BFE-9F80-62185FE23677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0db5f1b428a5549fccf8ebd7f06b226c00a1b72","datavalue":{"value":{"entity-type":"item","numeric-id":2813366,"id":"Q2813366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f7afed83a3861ff26ac191bd8a76640eab37dc","datavalue":{"value":{"amount":"+0.88715196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1411971$8DB9F3F0-85E8-4C44-9402-F470BC553720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e26e9769b6801a97bfca142822c8c4110b52d5","datavalue":{"value":{"entity-type":"item","numeric-id":2253043,"id":"Q2253043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832a0f3b9ef662921d10bf5b9f943c0b3d3c0167","datavalue":{"value":{"amount":"+0.886192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1411971$1DD7BBC6-7893-41F6-B309-A33CBAF3FB34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the quotient ring by diagonal invariants.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_quotient_ring_by_diagonal_invariants."}}}}}