{"entities":{"Q5938596":{"pageid":8115398,"ns":120,"title":"Item:Q5938596","lastrevid":47644681,"modified":"2026-01-02T07:25:19Z","type":"item","id":"Q5938596","labels":{"en":{"language":"en","value":"Groebner bases on the cohomology of Grassmann manifolds with application to immersion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623117"}},"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":"Q5938596$4CA23841-EEFC-44D6-9876-3A3F0AB68C16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"392e66af9c4e68643b41a027efb40dd583f361d7","datavalue":{"value":{"text":"Groebner bases on the cohomology of Grassmann manifolds with application to immersion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5938596$F8E7A46F-2099-448A-A726-673F23447825","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aec5fb5576599cea967b77900ff8b72595995af2","datavalue":{"value":"0982.57011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938596$257412F9-7753-49FF-93D3-E88C83449904","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848c24fc8a76c57dbe9780e92f9ac1c547649046","datavalue":{"value":{"entity-type":"item","numeric-id":192061,"id":"Q192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938596$D2E98013-82EB-49B9-9C88-69EF8AA61611","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4dd5076f1cb00504e91b0e42064ee51896a038fb","datavalue":{"value":{"entity-type":"item","numeric-id":176945,"id":"Q176945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938596$B4207339-4FB7-4AAA-8421-67B2770E8EBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c942329286f61912919b34bd0734f5ee78c9108","datavalue":{"value":{"time":"+2001-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5938596$56C88868-115C-4EB8-B7C5-4BD32F6756DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dcb3505ae1c8c5eb9a31250803f1ee523402ae0e","datavalue":{"value":"Let \\(G_{k,n}\\) be the Grassmann manifold of \\(k\\)-planes in \\(\\mathbb{R}^{n+k}\\). Borel showed that \\(H^*(G_{k,n}; \\mathbb{Z}_2)= \\mathbb{Z}_2[w_1,\\dots, w_k]/I_{k,n}\\), where \\(I_{k,n}\\) is the ideal generated by the dual Stiefel-Whitney   \\(\\overline w_{n+1},\\dots,\\overline w_{n+k}\\). The author computes Groebner bases from ideals \\(I_{2,2^i-3}\\) and \\(I_{2,2^i-4}\\) and he uses these results along with the theory of modified Postnikov towers to prove immersion results, namely that \\(G_{2,2^i-3}\\) immerses in \\(\\mathbb{R}^{2^{i+2}- 15}\\). Also, using the Groebner basis theory, the author obtains a simple description of \\(H^*(G_{2,2^i- 3};\\mathbb{Z}_2)\\) and \\(H^*(G_{2,2^i- 4};\\mathbb{Z}_2)\\) and he gives a simple proof of some non-immersion results of \\textit{V. Oproiu} [Proc. Edinb. Math. Soc., II. Ser. 20(1976-77), 177-185 (1977; Zbl 0359.57008); Rev. Roum. Math. Pures Appl. 26, 275-286 (1981; Zbl 0465.57011)]. Concretely, the main results are the following:   Theorem 2.1. One considers a monomial ordering on the monomials in \\(\\mathbb{Z}_2[w_1, w_2]\\) defined by \\(w^b_2 w^a_1\\prec w^d_2 w^c_1\\) if either \\(b< d\\) or else \\(b=d\\) and \\(a< c\\). Then, for \\(i\\geq 3\\),   (1) \\(\\{\\overline w_{2^i- 2},\\overline w_{2^i-1}\\}\\) is the reduced Groebner basis for \\(I_{2,2^i- 3}\\),   (2) \\(\\{\\overline w_{2^i-3},\\overline w_{2^i- 2},\\overline w_{2^i-1}\\}\\) is the reduced Groebner basis for \\(I_{2,2^i- 4}\\).   Corollary 2.2. For \\(i\\geq 3\\),   (1) A vector space basis for \\(H^*(G_{2,2^i- 3};\\mathbb{Z}_2)\\) is the set of all monomials \\(w^b_2 w^a_1\\) such that \\(a< 2^i- 1\\) and \\(b< 2^{i-1}- 1\\). The product structure is completely determined by the relations \\(w^{2^i-1}_1= 0\\) and \\(w^{2^i-1}_2= \\sum^{i-2}_{j=0} w^{2^j- 1}_2 w^{2^i- 2^{j+1}}_1\\).   (2) A vector space basis for \\(H^*(G_{2,2^i- 4}; \\mathbb{Z}_2)\\) is the set of all monomials \\(w^b_2 w^a_1\\) such that \\(a< 2^i-1\\) and \\(b< 2^{i-1}- 2\\) union with \\(\\{w^{2^{i-1}-2}_2\\}\\). The product structure is completely determined by the relations \\(w^{2^i- 1}_1= 0\\), \\(w^{2^{i-1}- 1}_2= \\sum^{i-2}_{j=0} w^{2^j-1}_2 w^{2^i- 2^{j+1}}_1\\), and \\(w^{2^{i-1}- 2}_2 w_1= \\sum^{i-2}_{j= 0} w^{2^j-2}_2 w^{2^i- 2^{j+1}+ 1}_1\\).   Theorem 2.3. For \\(i\\geq 3\\), \\(G_{2,2^i-3}\\) immerses in \\(\\mathbb{R}^{2^{i+2}- 15}\\).   Theorem 2.4 (Oproiu). For \\(i\\geq 3\\), (1) \\(G_{2,2^i-3}\\) does not immerse in \\(\\mathbb{R}^{2^{i+1}- 3}\\); (2) \\(G_{2,2^i- 4}\\) does not immerse in \\(\\mathbb{R}^{2^{i+1}-3}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5938596$CC54DE10-5EC0-47DE-9E22-D818079AE5E1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8d15dff5987fa966dec5b70312142d908c224362","datavalue":{"value":{"entity-type":"item","numeric-id":587483,"id":"Q587483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938596$494B7494-4FFE-43A0-9BDB-C56B961FD3E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a18215c26a46e7e07d3358efe1456dad03f423c","datavalue":{"value":"57R42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938596$7DC21564-0979-444C-B975-956B347CE1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938596$3BC7139F-3FF2-427D-8866-D63C0592F03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cac7814e0a3974d561227471bda2471accfe1cd","datavalue":{"value":"57N65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938596$9433D24F-222D-4754-B190-37D4AF689C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba0d86c72784f3114007ed7e069d8d400f58f07c","datavalue":{"value":"57R20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938596$9FE8C9F0-9C37-416D-B714-251B8C6DA1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a08d81049f99c0bf43dec65c9b6b6f08571b907","datavalue":{"value":"55S45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938596$E78E38F6-09FB-4EEF-8F9C-DC365217C509","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69ab571f9bf47663e9cefa5676b051a32b9d61da","datavalue":{"value":"1623117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938596$984611D5-1FFA-43E1-9DAA-83FB63C7B37A","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":"Q5938596$C17C699E-BAE9-49C7-8A95-FD953A2FFCEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ab6ec812da7f16ee03a6cf906c7e963bf713c5","datavalue":{"value":{"entity-type":"item","numeric-id":643522,"id":"Q643522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f2b838a42e9fa705cabee5497b7f6f57f30528c","datavalue":{"value":{"amount":"+0.926520049571991","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":"Q5938596$7CE71053-EA37-4005-8B9B-8022802E6DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c4fbde6e352c195eff89b8ff3a49dbeedfccbb9","datavalue":{"value":{"entity-type":"item","numeric-id":5420832,"id":"Q5420832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385a13500c9a1427408f15e34781f0d138e4c7e4","datavalue":{"value":{"amount":"+0.9112271070480348","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":"Q5938596$AEAF8CCA-6E79-46B3-972A-4BEA83C332AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7be2ddc86f1be3e9198e8c1032b592166f9f5df","datavalue":{"value":{"entity-type":"item","numeric-id":2958864,"id":"Q2958864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1e4420e12b57737ba7a1953857535b32d3683c","datavalue":{"value":{"amount":"+0.8757743835449219","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":"Q5938596$0AB79C9B-F4DF-4B70-88D5-A66ED42D5B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eda2ca82dcca054aa8f489b723a828c94acd6b7","datavalue":{"value":{"entity-type":"item","numeric-id":4985602,"id":"Q4985602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0820dc2f601d0d7118a82745e9731494e43f74ef","datavalue":{"value":{"amount":"+0.8587369322776794","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":"Q5938596$E16B1F8A-D589-43A5-B2F8-5352CDD8DE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d0faf84d16452de92d084d0f0f271fb919c0add","datavalue":{"value":{"entity-type":"item","numeric-id":951137,"id":"Q951137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bfd05ac51788ddde66532246c3cdd44ba50b051","datavalue":{"value":{"amount":"+0.824074387550354","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":"Q5938596$546618EC-4866-40F8-A334-41B9439FBB90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5938596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5938596"}}}}}