{"entities":{"Q2782617":{"pageid":2793355,"ns":120,"title":"Item:Q2782617","lastrevid":83402480,"modified":"2026-05-07T07:33:21Z","type":"item","id":"Q2782617","labels":{"en":{"language":"en","value":"Quadratic initial ideals of root systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1725310"}},"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":"Q2782617$08ECBB89-9153-4574-B0E6-18D103CFA24D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cd379c8fa3f5829c4035cd15f504d1ee0093ef6","datavalue":{"value":{"text":"Quadratic initial ideals of root systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2782617$462EE45D-C2FC-417B-8C89-3E98E9EEF018","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aff2ce6e7be0dca55a91f461c39d83b9a3a68849","datavalue":{"value":"1012.13012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782617$04B71F7F-874D-4021-87A8-DB58018F0BFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87f4ac5d4f63a1057f79ca3bef9bd6ed1995d5ef","datavalue":{"value":"10.1090/S0002-9939-01-06411-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782617$7ECB0F53-4D70-4D0F-8EF8-1E0CA523D908","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11ebea6f0faf05017dc8a79b32d72fea76a6ef78","datavalue":{"value":{"entity-type":"item","numeric-id":255671,"id":"Q255671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782617$3B6A07C7-F80C-4F02-9033-D7890B5F089C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3abc6a70dbf6482813534e44e9cb5a1449332bf6","datavalue":{"value":{"entity-type":"item","numeric-id":249579,"id":"Q249579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782617$E2CB5F52-45AE-473D-8502-E027319AB6FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782617$F348B606-8C80-43F6-917E-C90AE4EE1554","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c13d1740a28716c4c5bfcac03995e635a2c76533","datavalue":{"value":{"time":"+2002-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2782617$6BF4CF8A-6AC1-49F1-A8AF-72B38924BD20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782617$24E6FD60-EE2D-423F-BDD8-0A249B92A166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f0d4050955b7c3a87ea977aa08dcba2cfba6a66","datavalue":{"value":"14M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782617$46A323D0-275E-4C25-A710-2D090375D37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0483f1f08dda98e2cde8f6b99e01d2b3fd8ed748","datavalue":{"value":"14Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782617$3A5CC94B-25D5-4F25-A890-E35C04BA8F68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1a897e8b7de9ac408af4b824b77fb78dd972f9f","datavalue":{"value":"1725310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782617$11B5DFCE-690C-4D2A-94DE-4799E84E32C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a9b57a4276b21c1f46458b78626e599401f5a03","datavalue":{"value":"toric ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782617$EEF42512-E3A0-496F-A392-D41BB8CE4A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c62470f60ee6d514cad2e1dac3c991f294d2e88","datavalue":{"value":"classical root system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782617$49879F91-E0F2-4175-A946-48C3491B7A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782617$842032FE-1985-4660-A240-DD3FDA19FC22","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":"Q2782617$2682C115-3449-4E21-823B-339312B332CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3249e1a44df68a6e3c180d6ce3c9c87a37b1207","datavalue":{"value":{"entity-type":"item","numeric-id":1568780,"id":"Q1568780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782617$94AC1A9C-4A04-4102-8A6F-2EFA1B60A2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e16ecf175c3ec1a7818a3fd34ebcaef1f56da7e","datavalue":{"value":{"entity-type":"item","numeric-id":3708148,"id":"Q3708148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782617$67D500D2-FF3D-4630-A7DB-0E2FE45843B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b63892baa6b1d14021862e1c73ba72fc9dc9c0e","datavalue":{"value":{"entity-type":"item","numeric-id":4245145,"id":"Q4245145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782617$FE847E3E-4E65-434F-B6AA-573412928B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f863f32c36afa2b13a43ef628834333147d69c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4023642,"id":"Q4023642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782617$FD72EA22-E84A-42E0-852F-324F88005318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83ae4bdcbf88d884848b045ee581bd9d3f72122","datavalue":{"value":{"entity-type":"item","numeric-id":4209232,"id":"Q4209232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782617$D8F0FB79-85B2-4924-91C4-1988EDD67BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e1fc7b6ec3e872958404581e3602ef752cf954","datavalue":{"value":{"entity-type":"item","numeric-id":3123465,"id":"Q3123465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782617$6C7900D4-A18A-4687-B996-DAD38E186667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4efee6c8cc9a747d026ccdbae7aedbcc40b6e4a5","datavalue":{"value":{"entity-type":"item","numeric-id":3892399,"id":"Q3892399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782617$5ECD171B-047B-45CE-9C1F-2F9D4A9545B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1dd857236d6da2ffb69dbc9b1ad47f9864202b","datavalue":{"value":{"entity-type":"item","numeric-id":1977661,"id":"Q1977661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782617$638CFE4F-E2A3-44B9-91E5-4F0725143CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf2a2cf9a1bb52c31ffd60f4cbf304681d2b868","datavalue":{"value":{"entity-type":"item","numeric-id":4861423,"id":"Q4861423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782617$CE8E9F02-1987-4983-8A56-CFA181B9B278","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1bdc522a7549679debff6898e7fad69891053267","datavalue":{"value":"Let \\({\\mathcal A}\\) be a configuration in \\(\\mathbb{R}^n\\), i.e. a finite subset of \\(\\mathbb{Z}^n\\), let \\(K\\) be a field and let \\({\\mathcal R}_{K}[{\\mathcal A}]\\) be the \\(K\\)-subalgebra of the Laurent polynomial ring \\(K[t_1, t^{-1}_1, \\ldots, t_n, t^{-1}_n, s]\\) generated by the monomials \\(t_{1}^{a_{1}}. \\cdots . t_{n}^{a_{n}} s\\), for all \\((a_{1}, \\ldots , a_{n}) \\in {\\mathcal A}\\). Let \\(K[{\\mathcal A}]\\) be the polynomial ring in the variables \\(x_{(a_1, \\ldots , a_n)}\\) for all \\((a_{1}, \\ldots , a_{n}) \\in {\\mathcal A}\\); the \\textit{toric ideal} \\(I_{\\mathcal A}\\) of \\({\\mathcal A}\\) is the kernel of the (surjective) morphism \\(\\pi : K[{\\mathcal A}] \\rightarrow {\\mathcal R}_K[{\\mathcal A}]\\) defined by \\(x_{(a_1, \\ldots , a_n)} \\mapsto t_{1}^{a_{1}}. \\cdots . t_{n}^{a_{n}} s\\). NEWLINENEWLINENEWLINEA root system is a finite set of vectors in a Euclidean space with certain properties [see \\textit{W. Fulton} and \\textit{J. Harris}, ``Representation theory. A first course'' (1991; Zbl 0744.22001), p. 320], and it is an important tool in the classification of semisimple Lie algebras. The root systems associated with the classical Lie algebras are usually denoted by \\({\\text A}_{n -1}\\), \\(\\text{B}_n\\), \\(\\text{C}_n\\) and \\(\\text{D}_n\\). Taking only the so called positive roots in each system, and adding the origin \\(\\text{O}\\) of \\(\\mathbb{R}^n\\) to the subsets thus obtained, we get the sets: NEWLINENEWLINENEWLINE\\({\\text{A}}_{n -1}^{(+)} = \\{\\text{O}\\} \\cup \\{\\text{e}_i - \\text{e}_j\\); \\(1 \\leq i < j \\leq n\\}\\), NEWLINENEWLINENEWLINE\\(\\text{B}_n^{(+)} = {\\text{A}}_{n -1}^{(+)} \\cup \\{ \\text{e}_1, \\ldots , \\text{e}_n\\} \\cup \\{ \\text{e}_i + \\text{e}_j\\); \\(1 \\leq i < j \\leq n\\}\\), NEWLINENEWLINENEWLINE\\(\\text{C}_n^{(+)} = {\\text A}_{n -1}^{(+)} \\cup \\{2 \\text{e}_1, \\ldots , 2 \\text{e}_n\\} \\cup \\{ \\text{e}_i + \\text{e}_j\\); \\(1 \\leq i < j \\leq n\\}\\), NEWLINENEWLINENEWLINE\\(\\text{D}_n^{(+)} = {\\text A}_{n -1}^{(+)} \\cup \\{ \\text{e}_i + \\text{e}_j\\); \\(1 \\leq i < j \\leq n\\}\\) NEWLINENEWLINENEWLINEwhere \\(\\text{e}_i\\) is the \\(i\\)-th coordinate vector of \\(\\mathbb{R}^n\\). We may take these sets to be configurations, if we associate to each of its vectors their coordinates in \\(\\mathbb{R}^n\\). \\textit{I. M. Gelfand, M. T. Graev} and \\textit{A. Postnikov} [in: The Arnold-Gelfand mathematical seminars: geometry and singularity theory, 205-221 (1997; Zbl 0876.33011)], using a determined reverse lexicographic monomial order, found a Gr\u00f6bner basis for the toric ideal \\(I_{{\\text A}_{n -1}^{(+)}}\\) formed by binomials whose monomials are quadratic and squarefree. NEWLINENEWLINENEWLINEIn the paper under review, the authors show that the same is true for the toric ideals \\(I_{\\text{B}_n^{(+)}}\\), \\(I_{\\text{C}_n^{(+)}}\\) and \\(I_{\\text{D}_n^{(+)}}\\). They determine explicitly such a basis for each of these ideals, and note that, as a consequence of their result, the convex polytope of the convex hull of either \\(\\text{B}_n^{(+)}\\), \\(\\text{C}_n^{(+)}\\) or \\(\\text{D}_n^{(+)}\\) possesses a regular unimodular triangularization arising from a flag complex; also, the affine semigroup rings \\({\\mathcal R}_K[\\text{B}_n^{(+)}]\\), \\({\\mathcal R}_K[\\text{C}_n^{(+)}]\\) and \\({\\mathcal R}_K[\\text{D}_n^{(+)}]\\) are Koszul.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782617$C4C479CC-556E-4AF1-BA3B-F935B59C7E87","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"88ff814b6aa4107512e2cfc08bf9028e2fcc5916","datavalue":{"value":{"entity-type":"item","numeric-id":1344918,"id":"Q1344918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782617$E6CCDFE0-3C28-4B5E-AD95-156CC8D933BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcae0d70a800d57bad0de8840af8d6c8a64deddf","datavalue":{"value":{"entity-type":"item","numeric-id":3601426,"id":"Q3601426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ca7706c45d1ca74eae23480ca7f11c2a1236f2","datavalue":{"value":{"amount":"+0.8095001578330994","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":"Q2782617$1E86CA29-98D0-4539-8FDD-4BD8CE18CDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3e9cd2fe0c7d29690bea8b8118767d464ca028","datavalue":{"value":{"entity-type":"item","numeric-id":5301296,"id":"Q5301296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c0563a536f338887cef9995d4a83faae230183","datavalue":{"value":{"amount":"+0.8000634908676147","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":"Q2782617$7F8A1FCB-5851-4372-A5BD-43EAE99F24C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab885a8facee7f1b7179322eaab9ed5137403a3","datavalue":{"value":{"entity-type":"item","numeric-id":1306900,"id":"Q1306900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3b3bff1d71500117add2486dccc277a44bebf6","datavalue":{"value":{"amount":"+0.7628165483474731","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":"Q2782617$815FD11C-C03E-4089-888A-58680DB702A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6f3fba9979d6ce38b29e13f7ee4e0de3db3b58f","datavalue":{"value":{"entity-type":"item","numeric-id":2388299,"id":"Q2388299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3b3bff1d71500117add2486dccc277a44bebf6","datavalue":{"value":{"amount":"+0.7628165483474731","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":"Q2782617$4A1C921E-FCC3-4880-89CF-8C30DDC429C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9715a7eaa89f4948077869919f73c0963d63efc","datavalue":{"value":{"entity-type":"item","numeric-id":4700501,"id":"Q4700501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ed0b3b0f0de7aab7da69a92b5be6bfef5d4b92","datavalue":{"value":{"amount":"+0.7617635130882263","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":"Q2782617$331FE50F-5C60-4716-A487-AD32AD323345","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quadratic initial ideals of root systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quadratic_initial_ideals_of_root_systems"}}}}}