{"entities":{"Q1858162":{"pageid":1868904,"ns":120,"title":"Item:Q1858162","lastrevid":73673877,"modified":"2026-04-14T16:52:24Z","type":"item","id":"Q1858162","labels":{"en":{"language":"en","value":"On the homology of free 2-step nilpotent Lie algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1867976"}},"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":"Q1858162$4729A58E-9B5E-4026-B3C4-777E6F4320D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ccace7197a8e257244de9153f5474484d701f8e","datavalue":{"value":{"text":"On the homology of free 2-step nilpotent Lie algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1858162$D5EF7AAD-E433-4354-9BF1-454A0BD006E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6b81eed55648a2728851b7aee6a4c9b7cf63eec","datavalue":{"value":"1041.17024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858162$0BD7C71E-36F2-47B4-932B-BD52E32B6542","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a3153c747f288ba1f4bedab7b0d6191c97e8ec1","datavalue":{"value":"10.1016/S0021-8693(02)00090-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858162$8FDDBA52-E4F4-45BE-980D-6D8FE7A1CFA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09efdb919ee03a0aca690e1863d9600bf37414c2","datavalue":{"value":{"entity-type":"item","numeric-id":1858161,"id":"Q1858161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858162$51A81BB3-8652-431C-B602-92724D28CC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce5d286f264e15a2ba689ba53b8a9d65918eebf","datavalue":{"value":{"entity-type":"item","numeric-id":1850942,"id":"Q1850942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858162$335D8D92-FD5A-405A-9246-DBC60F1154ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"128bb58bd9a0dc3a5d413aba64c75c7b41bf207c","datavalue":{"value":{"entity-type":"item","numeric-id":169271,"id":"Q169271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858162$FE055CCE-E06A-4587-A415-2AB3AA537465","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":"Q1858162$E72FACF8-D83F-4C6E-A3CE-82E568EEE39D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8ffebaba6834a06450802fa18c04a9edf4d95d8","datavalue":{"value":{"time":"+2003-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1858162$C7411457-9F84-4637-9EE1-C3E9F747AC11","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"79e81347117a913595a22253f0863fee1544ced9","datavalue":{"value":"The paper under review offers an explicit formula for the total homology, i.e., the sum of the ranks of the homology groups, of a 2-step nilpotent Lie algebra of a finite dimensional vector space \\(V\\) over the complex numbers \\(\\mathbb{C}\\). For \\(\\dim_{\\mathbb{C}}(V) = r\\), the 2-step nilpotent Lie algebra of \\(V\\) is  \\[  N_r = V \\oplus \\Lambda^2 V ,  \\]  where, for \\(v\\), \\(w \\in V\\), \\([v , w] = v \\wedge w\\), and the bracket is zero otherwise. Using work of \\textit{S. Sigg} [J. Algebra 185, No. 1, 144--161 (1996; Zbl 0868.17015)], the Lie algebra homology \\(H_*( N_r )\\) can be computed in terms of irreducible components of \\(GL(V)\\) representations. The total homology (as a function of \\(r\\)) is then  \\[  T(r) = \\sum_{k \\geq 0} \\dim H_k ( N_r ).  \\]  A key result of the paper is that for \\(n \\geq 0\\),  \\[ \\begin{aligned} T(2n + 1) & = 2^{n+1} \\beta (n)^2, \\\\ T(2n + 2) & = 2^{n+1} \\beta (n) \\beta (n+1), \\\\ \\beta (n) &= \\prod_{1 \\leq k \\leq n} \\frac{(4k)! (k!)^2}{(2k)!^3} . \\end{aligned} \\]  This result is derived by realizing the Poincar\u00e9 polynomial  \\[  P(N_r ; t) = \\sum_{k \\geq 0} \\dim H_k (N_r) t^k  \\]  as the determinant of the \\(r \\times r\\) matrix \\(G_3\\),  \\[  P(N_r ; t) = {\\text{det}} \\, G_3(r ; t) ,  \\]  where  \\[  G_3 (r ; t)_{ij} = \\binom{r}{j-i} - (-t)^i \\binom{r}{j+i-1} \\, ,  \\]  and relies on the Giambelli formula for the dimension of the irreducible tensor representations corresponding to self-conjugate partitions of Young diagrams. See \\textit{W. Fulton} and \\textit{J. Harris} [Representation Theory. A First Course. New York: Springer (1991; Zbl 0744.22001)]. Furthermore, the determinant of \\(G_3\\) is related to \\(SO(V)\\) characters. By using Stirling's asymptotic series for \\(n!\\), the authors prove that  \\[  T(r) \\sim 2^{({r^2}/{2})} r^{1/8} k \\, ,  \\]  where \\(k \\simeq 1.3814\\), which improves the previous lower bound for \\(T(r)\\) given by \\(2^{({r^2}/{2})}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858162$4AE28081-E822-41B2-BB0C-1CC58DDBAD95","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c45524e46da0052597cfcd4513236acc8f1095","datavalue":{"value":{"entity-type":"item","numeric-id":590851,"id":"Q590851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858162$CF4DA686-331C-4FB7-976B-7C64CB2CF92A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c6bf4b949280ef7d54773ff374559f669592bcf","datavalue":{"value":"17B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858162$6489D4A2-E456-4E46-A412-AE1F26543FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5b6eb2becdd8546ea8cea7ba52390975b78a0942","datavalue":{"value":"18G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858162$224E5ED1-F612-41F4-BE2C-84B383078C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d96bfa95acc69db6e8c24abfeefe4c20e099af6c","datavalue":{"value":"17B56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858162$AD7BFB43-46A9-4389-BE19-3F91E348F5CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55ff9233d8e28f2c322619f93433efabd9a536ab","datavalue":{"value":"1867976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858162$EF824ECF-61AE-43A1-9F15-BA3E991CA36F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d5fe69db71e18b1ba36f6d4d3d0d577bcc95b9","datavalue":{"value":"2-step nilpotent Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858162$9F9F99B7-58C0-46A8-B003-0789B2DE4F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29ce6cc8f177c1f827773a7bcfe1b9fe962acf93","datavalue":{"value":"Poincar\u00e9 polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858162$E0BC1B8A-09B5-4F40-BC74-621723E0E161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19e4861b5470a1a2da71ad5e0f468219d0eb6dd3","datavalue":{"value":"irreducible representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858162$6EBBA06E-98FD-4FD8-9944-EA3325404C6E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f7c10bc7c729d8190a8ab1eb143c33c8b751d560","datavalue":{"value":"Q115340536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858162$35504146-396F-4438-B72C-235C26CFC4D1","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":"Q1858162$FCDCCA2E-44F0-4680-9CD2-FB8880F68959","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"794c814df95c1578ab50ee52af09b08a5df2b778","datavalue":{"value":{"entity-type":"item","numeric-id":4002278,"id":"Q4002278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858162$802B9016-DBA1-4565-82BB-4E1D7DBE31A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafc6d10226fc32f02f6b1c5e52f50d91a6dd85f","datavalue":{"value":{"entity-type":"item","numeric-id":1099239,"id":"Q1099239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858162$A4BACEDF-FBEB-4B67-9A55-A5E9E24A9BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb7dd53eb18fe31d50b096fdad6a045dcc89cd0","datavalue":{"value":{"entity-type":"item","numeric-id":2395882,"id":"Q2395882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858162$1F291C52-FF8A-4B00-BC33-4AC3D9B22959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059feb2da5c41451cc11aa862d3e6fb1c471029d","datavalue":{"value":{"entity-type":"item","numeric-id":1814978,"id":"Q1814978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858162$4930E105-BA8D-4167-9C25-5AAA449472A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef1f2c21aaf59d3e3f2b9625479660d7446e1f5","datavalue":{"value":{"entity-type":"item","numeric-id":4501072,"id":"Q4501072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858162$8D91455E-6FEA-4AD8-8CFB-F5A6E5E4F8D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a12f1bcb2cc0267c80b4f0b22c98b9537b2f7708","datavalue":{"value":{"entity-type":"item","numeric-id":4550401,"id":"Q4550401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6faf111c393f115de7c62f44edfb016c6da01b","datavalue":{"value":{"amount":"+0.8315986394882202","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":"Q1858162$F9414780-2C00-4E6D-80B3-68A245451314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c37beaba25c79fb345a5e60b0cedfbb2f0045d3","datavalue":{"value":{"entity-type":"item","numeric-id":3148699,"id":"Q3148699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955deda7cd5e88a3fe1d7453d093d848f3969486","datavalue":{"value":{"amount":"+0.8140329122543335","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":"Q1858162$B6D89031-6211-4C1D-B3AA-BFBEAB2CE7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873a5af5f2c649ad05203290d924b47d05471be5","datavalue":{"value":{"entity-type":"item","numeric-id":4841180,"id":"Q4841180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6245320bdb35b4e3792f15ecb690a47ccdb70e28","datavalue":{"value":{"amount":"+0.8081973791122437","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":"Q1858162$8F41B806-1413-4271-83DE-44D003727DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93babc2ce5b3320dc859a0dc252e051d918fc823","datavalue":{"value":{"entity-type":"item","numeric-id":1814978,"id":"Q1814978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d3d5ba29d32b2abcae78b00fbf204333df6f98","datavalue":{"value":{"amount":"+0.8026270270347595","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":"Q1858162$FFF77EA2-3712-4C28-8BFB-B27FD10CFE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb0f810ec4df402b918468f51ad508e1a6087ff6","datavalue":{"value":{"entity-type":"item","numeric-id":2202694,"id":"Q2202694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec85876bfc55353e23cf1e16db06e5542430a5b","datavalue":{"value":{"amount":"+0.799591064453125","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":"Q1858162$106A9EB2-E8D3-49F5-9D15-665CD1540691","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the homology of free 2-step nilpotent Lie algebras.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_homology_of_free_2-step_nilpotent_Lie_algebras."}}}}}