{"entities":{"Q696160":{"pageid":698009,"ns":120,"title":"Item:Q696160","lastrevid":63588573,"modified":"2026-04-11T14:11:02Z","type":"item","id":"Q696160","labels":{"en":{"language":"en","value":"Harmonic cohomology groups on compact symplectic nilmanifolds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1799579"}},"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":"Q696160$5AC316CB-0044-4D9F-BA8A-D500BE8AA61E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7aac0b81e428d04903b7b286d17e08ce7cff57b","datavalue":{"value":{"text":"Harmonic cohomology groups on compact symplectic nilmanifolds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q696160$271EB309-AD61-41AB-9D27-0CACC336A278","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d837b7f3394d60611a3e6d508c28ecadca82a7d","datavalue":{"value":"1012.53067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q696160$BE1E3FA9-D95F-4C55-B4B3-F09CA312BF25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3960ae7201c64090ba7a372d6325a9bd5a3a2359","datavalue":{"value":{"entity-type":"item","numeric-id":245647,"id":"Q245647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q696160$33EA6918-A728-463D-A72E-2F9ECAF0F5F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"903611b45fdefcb5db6a1d6c4d381fc130c82383","datavalue":{"value":{"entity-type":"item","numeric-id":189326,"id":"Q189326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q696160$A2318C20-6074-4E31-94E6-C40D26E5CA4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b86bdcbb86c0dca8c75df61f737dc42c487db939","datavalue":{"value":{"time":"+2002-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q696160$70CC1B49-6093-4CB0-92F4-CA8D58C429FC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81ebb480949363f762d5484d1c58cd0dd0892ea0","datavalue":{"value":"The following results on Brylinski's symplectic harmonic \\(k\\)-cohomology group \\(H^k_{hr}(M)\\) [\\textit{J. L. Brylinski}, J. Differ. Geom. 28, 93-114 (1988; Zbl 0634.58029)] are proved.    1. Let \\(H^q_{\\omega-hr}(M)\\) be the symplectic harmonic cohomology with respect to a symplectic form \\(\\omega\\) on \\(M\\). Then \\(H^q_{\\omega-hr}(M) = H^q_{\\omega'-hr}(M)\\) if \\(\\omega' =\\omega + d\\gamma\\).   2. If \\(M = G/\\Gamma\\) is a compact symplectic nilmanifold, \\(\\omega_0\\) a left \\(G\\)-invariant 2-form and \\(\\omega = \\omega_0+ d\\gamma\\), then \\(H^q_{\\omega-h}(M)\\) is isomorphic to the Lie algebra cohomology group \\(H^q_{\\omega_0-hr}({\\mathfrak g})\\).   3. If \\(M^{2m} = G/\\Gamma\\) is a compact \\((r+1)\\)-step nilmanifold, then \\(\\dim H^1_{hr}(M)-\\dim H^{2m-1}_{hr}(M)\\geq \\dim {\\mathfrak g}^{(r)}\\). In particular, if \\(M\\) is a 2-step nilmanifold, then \\(\\dim H^1_{hr}(M)- \\dim H^{2m-1}_{hr}(M)=\\dim [{\\mathfrak g},{\\mathfrak g}]\\).   4. There exists a 6-dimensional nilmanifold which has a family \\(\\omega_t\\) of symplectic forms such that the dimension \\(H^4_{\\omega-hr}(M)\\) varies.   There are confusions on numbering these results. In the Introduction, 1 and 2 are stated as Prop. 1 and 2, 3 is stated as Theorem 3. 4 is obtained to apply precise computation of symplectic harmonic cohomology of six dimensional 2-step nilmanifold which is stated as Theorem 4. While in the body of the paper, Theorem 3 is referred to as Theorem 1 and Theorem 4 is refered to as Theorem 3, Theorem 2 does not exist.   It is known that \\(H^k_{DR}(M)=H^k_{hr}(M)\\), \\(k=1,2\\) [\\textit{O. Mathieu}, Harmonic cohomology classes of symplectic manifolds, Comment. Math. Helv. 70, 1-9 (1995; Zbl 0831.58004)]. There exists a 4-manifold which has a family \\(\\omega_t\\) of symplectic forms such that the dimension of \\(H^3_{\\omega_t-hr}(M)\\) varies. But the dimension of \\(H^3_{\\omega_t-hr}(M)\\) is independent of the symplectic form for compact 4-dimensional nilmanifolds [\\textit{D. Yan}, Adv. Math. 120, 143-154 (1996; Zbl 0872.58002)]. So 4 is an optimal example.    The outline of the paper is as follows: In section 2, Brylinski's symplectic \\(*\\)-operator and symplectic harmonic cohomology group are defined, and their basic properties are reviewed. In section 3, regarding the space \\(\\Omega^*(M)\\) of differential forms on \\(M\\) as a \\(\\mathfrak{sl}(2)\\)-module, by using \\(*\\)-operation, dualities of the space of symplectic harmonic forms and space of left \\(G\\)-invariant harmonic forms in the case \\(M = G/\\Gamma\\) are given (Prop. 3.4 and 3.5). In section 4, by using Yan's results, result 1, (Prop. 1 in the Introduction) is proved (Prop. 4.4). Then showing \\(H^q_{hr}(M) = H^q_{hr}({\\mathfrak g})\\), when \\(M\\) is a nilmanifold and \\(\\omega\\) is a left invariant 2-form (Prop. 4.5), result 2 (Prop. 2 in the Introduction) is shown. By using these results and precise calculus on Lie algebra structure of \\(\\mathfrak g\\), 3 (Theorem 3 in the Introduction, called Theorem 1 in other parts of the paper) is proved. This section also contains precise computation of \\(\\dim H^1_{hr}(M)-\\dim H^{2m-1}_{hr}(M)\\), when \\(M\\) is a compact symplectic \\((r+1)\\)-step nil manifold (Prop. 5.3). Section 6 is devoted to the computation of examples such as the generalized Heisenberg group.   Then in section 7, the last section, symplectic harmonic cohomologies of 6 dimensional 2-step nilmanifolds are studied precisely (Theorem 4 in the introduction, called Theorem 3 in this section) and the example stated in 4 is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q696160$6D907483-D543-4741-92E4-BFC276B0A596","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff218d8a6072e9b189d21d69809bca07a41e5929","datavalue":{"value":{"entity-type":"item","numeric-id":587361,"id":"Q587361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q696160$3BA6DB5B-216C-4E61-96B3-D7D049F290D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"78fe00c615e469a834a004429eb3e7b709f9792e","datavalue":{"value":"53D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q696160$E6654000-9F19-481C-8B13-0B9D081D46BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6aca840fdaa9e3871835dfd666787b107067e690","datavalue":{"value":"58A14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q696160$EBEDCFD6-9F9D-4147-882E-E49A22A898F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fed76c99a1ecb59e896acdbb8994ecfa2b314f3f","datavalue":{"value":"57T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q696160$711E38EA-C01A-46A1-A8BC-58FEAC050945","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31c82e72cdc007d037f09fcbf1f1e53333e3a62d","datavalue":{"value":"1799579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q696160$AD9B0AC3-2D63-43BA-A500-8756DB4C9940","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dd03f9960952e227c5718fae7c7bb252ff7c00a","datavalue":{"value":"symplectic harmonic cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q696160$849E4438-4922-49F8-A60F-E3DFC86B33C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"108bcb120bd1e95dd6eade7bbcc212bef6c53850","datavalue":{"value":"nilpotent Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q696160$E4A06828-0C18-47CB-AA44-93129CE12621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5ee26deea0c89f2ea93d7942aa1d9e735bbc677","datavalue":{"value":"nilmanifold","type":"string"},"datatype":"string"},"type":"statement","id":"Q696160$63C9C31F-8353-471E-9744-4020C6B7F80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f34228f1355327a97fc357dbc5ffb4427a43309","datavalue":{"value":"symplectic harmonic cohomologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q696160$7B6B5690-5AA7-4EE5-8572-7480E2A96772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a7e59357ddc70f96219fea23e3b727e2c4f048","datavalue":{"value":"2-step nilmanifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q696160$1312F60C-0880-4A39-BD38-10108444D106","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":"Q696160$C1795ADA-9AE8-4DC4-897E-9EE84F834209","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e00740ad374fea29028e42ddd4cc000ddf118f27","datavalue":{"value":{"entity-type":"item","numeric-id":4416844,"id":"Q4416844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c50d2f069e7df318079d5298ccb351fa5d116c","datavalue":{"value":{"amount":"+0.9123483300209044","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":"Q696160$C3E97E3C-8EE3-4592-A534-7AC24E4A70E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"341cdb848c9d7b301c6f47da775882a57ccba356","datavalue":{"value":{"entity-type":"item","numeric-id":4407728,"id":"Q4407728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e238f88451cff03dd129c03e5153be6a1a9c94a0","datavalue":{"value":{"amount":"+0.8713319301605225","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":"Q696160$28058B1A-3FE9-4368-A598-FA0C3E2AE0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90052ac15a7b951093800d1d7f89e75d08384c5e","datavalue":{"value":{"entity-type":"item","numeric-id":4788890,"id":"Q4788890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329885b1b42729d09a8cb2d9641572e7fa6d7d15","datavalue":{"value":{"amount":"+0.8604512810707092","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":"Q696160$AB895382-E6FA-4100-963F-4E4C555DE529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aeb70edea592732dea4f6908dcb1f24f6dc7c10","datavalue":{"value":{"entity-type":"item","numeric-id":2315235,"id":"Q2315235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a90a4b38d9898ad4b7fe10973141679821a328","datavalue":{"value":{"amount":"+0.8356830477714539","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":"Q696160$7AC25325-042C-4BF6-8DD6-135FE6665A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea0d56f05333dc26b44c3b5ff7c11739955136ac","datavalue":{"value":{"entity-type":"item","numeric-id":5935728,"id":"Q5935728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4734bb1eca419d4bb0f047e41f86b3c1e4bd65dd","datavalue":{"value":{"amount":"+0.8205068707466125","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":"Q696160$1E20A95E-0A60-43D8-A69D-1C19A7B2CBBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Harmonic cohomology groups on compact symplectic nilmanifolds","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Harmonic_cohomology_groups_on_compact_symplectic_nilmanifolds"}}}}}