{"entities":{"Q2897390":{"pageid":2908115,"ns":120,"title":"Item:Q2897390","lastrevid":58055697,"modified":"2026-04-03T15:21:36Z","type":"item","id":"Q2897390","labels":{"en":{"language":"en","value":"Induced differential forms on manifolds of functions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054258"}},"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":"Q2897390$5325E4E6-704C-41F6-952F-21D16E52F4CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"086a4175df1e2dcb5460183c08f60862e0c8f3de","datavalue":{"value":"1249.58005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897390$C31D50DB-6294-452B-AA17-3485204FD41E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49b2f35c9a8cbc0d3bc23bbd70851d4c3ff3498","datavalue":{"value":{"time":"+2012-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2897390$453C8A1C-3245-460F-B926-FD3F7E818762","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7073bfbde9f181397344ba87e9013c32335066f","datavalue":{"value":"https://arxiv.org/abs/1111.3889","type":"string"},"datatype":"url"},"type":"statement","id":"Q2897390$183E27DA-E682-461B-BB9C-42E18CFD4645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"35353260e6db67c66cf8f22bb649fabce32449b5","datavalue":{"value":"https://eudml.org/doc/247143","type":"string"},"datatype":"url"},"type":"statement","id":"Q2897390$E5DF0838-E3F5-48D7-A326-82E5FA7FCD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1778d82ac3cf788cf0f71f2f519ae16930728785","datavalue":{"value":"http://www.emis.de/journals/AM/11-3/index.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2897390$C1A983D1-1D1D-48BE-9781-470EDE63F19A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31ba4943bbd11eec084b5948a3ec1b50b2f54da0","datavalue":{"value":"58B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897390$5B740409-A466-4C37-B27E-25C190E787CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7632a6d5542fa6bc4eb8e66c1ba53976eb6fe0d3","datavalue":{"value":"58A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897390$B4FE4386-57A6-43B6-A631-A0501A6356E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb9f5915fa4ff4cdbf1519a3004caa3182fc891d","datavalue":{"value":"6054258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897390$CD8342D2-AC8C-42C4-A11B-845EFBA6D366","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e69e60ebe695b7c394d7b9c22b812b02f1d32a9d","datavalue":{"value":"manifold of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2897390$3E8BF411-7117-4BEB-A282-558DE282A38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"873196a3270605806649b869e274ddf3a1ab12d7","datavalue":{"value":"fiber integral","type":"string"},"datatype":"string"},"type":"statement","id":"Q2897390$FF8D7089-3348-48EF-8569-9694A5881CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb3cd8ceef62efb791478e43234ac0bbf3300b45","datavalue":{"value":"diffeomorphism group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2897390$2EA5A7E4-4B04-4417-80CF-1717723260B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe610c8953d4a75778fa3e880cfa9fee122fe9d3","datavalue":{"value":{"entity-type":"item","numeric-id":465481,"id":"Q465481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2897390$CBD5D1A4-9CCD-46E1-A1AA-C5EC11C9975D","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":"Q2897390$54FF3913-99C3-4F3E-8FE1-468F69A75645","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"a76f4cd626e997bde379049422f6ec8e3a37a2d0","datavalue":{"value":"bafkreifcaohopwklxrl4d566i6xedjgstgxfdfp36fdlw7glg4ylpzbqjm","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897390$F761BA4D-D2BA-448F-8EEA-9E38FAA4CDD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85a2d6e36a0a302a819e999f13307005c3958eb8","datavalue":{"value":{"text":"Induced differential forms on manifolds of functions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2897390$D0236E76-BCFB-47D0-8666-EF4F05B53649","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"44dc1f1bb04cc0fc59563c85bbc9312d60982c88","datavalue":{"value":{"entity-type":"item","numeric-id":2798078,"id":"Q2798078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2897390$6383DA7C-79A7-4DCF-85E1-C686282DB9FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"093c850c79714349613bb766182c887c88528c93","datavalue":{"value":"Given finite dimensional manifolds \\(S\\) and \\(M\\), the set \\(\\mathcal {F}(S,M)\\) of smooth functions \\(S \\to M\\) is a Fr\u00e9chet manifold. A relation between differential forms on \\(S\\), \\(M\\) and on \\(\\mathcal {F}(S,M)\\) is studied. Specifically, using the projection map \\(\\text{pr}\\: S \\times \\mathcal {F}(S,M) \\to S\\) and the evaluation map \\(\\text{ev}\\: S \\times \\mathcal {F}(S,M) \\to M\\) and corresponding pullbacks, one has the map \\(\\Omega ^p(M) \\times \\Omega ^q(S) \\to \\Omega ^{p+q}(S \\times \\mathcal {F}(S,M))\\) defined by \\((\\omega ,\\alpha ) \\mapsto \\text{ev}^{*}\\omega \\wedge \\text{pr}^{*}\\alpha \\) for \\(\\omega \\in \\Omega ^p(M)\\) and \\(\\alpha \\in \\Omega ^q(S)\\). Assuming \\(S\\) is compact oriented of the dimension \\(k\\) and integrating over the fiber \\(S\\) yields the hat pairing \\(\\Omega ^p(M) \\times \\Omega ^q(S)\\to \\Omega ^{p+q-k}(\\mathcal {F}(S,M))\\) defined as \\(\\widehat {\\omega \\cdot \\alpha } \\mapsto \\int _S\\text{ev}^{*}\\omega \\wedge \\text{pr}^{*}\\alpha \\).NEWLINENEWLINENEWLINEThe aim of the article is to develop a hat calculus. In particular, it is shown the hat pairing descends to the pairing \\(H^p(M) \\times H^q(S) \\to H^{p+q-k}(\\mathcal {F}(S,M))\\) on cohomologies and that the hat pairing is compatible with \\(\\text{Diff}(S)\\)-actions on \\(M\\) and on \\(\\mathcal {F}(S,M)\\) (and similarly for the \\(\\text{Diff}(M)\\)-actions). Special cases \\(\\alpha =1\\) (the identity) and \\(\\alpha \\in \\Omega ^k(S)\\) (a volume form) define linear maps termed the hat map \\(\\Omega ^p(M) \\to \\Omega ^{p-k}(\\mathcal {F}(S,M))\\) and the bar map \\(\\Omega ^p(M) \\to \\Omega ^p(\\mathcal {F}(S,M))\\), respectively. Considering the natural map \\(\\text{Emb}(S,M) \\to \\text{Gr}_k(M)\\) from the subset of embeddings \\(\\text{Emb}(S,M) \\subseteq \\mathcal {F}(S,M)\\) to the non-linear Grassmannian \\(\\text{Gr}_k(M)\\), the hat map recovers the tilda calculus on \\(\\text{Gr}_k(M)\\) (see [\\textit{S. Haller} and \\textit{C. Vizman}, Math. Ann. 329, No. 4, 771--785 (2004; Zbl 1071.58005)]NEWLINENEWLINEFinally, symplectic structures and Hamiltonian actions are discussed in two cases. Assuming \\(k=m-2\\) where \\(M\\) is a closed manifold of the dimension \\(m\\) with a volume form \\(\\nu \\in \\Omega ^m(M)\\), the hat map provides the symplectic structure \\(\\hat {\\nu }\\) on \\(\\text{Gr}_{m-2}(M)\\). The group of exact volume preserving diffeomorphisms \\(\\text{Diff}_{\\text{ex}}(M,\\nu )\\) acts in a Hamiltonian way on \\((\\text{Gr}_{m-2}(M),\\hat {\\nu })\\). Further, assuming \\((M,\\omega )\\) is a symplectic connected manifold and \\(\\alpha \\in \\Omega ^k(S)\\) is a fixed volume form such that \\(\\int _S \\alpha =1\\), the bar map provides the symplectic form \\(\\bar {\\omega }\\) on \\(\\mathcal {F}(S,M)\\). It is discussed how a Hamiltonian action on \\(M\\) gives rise to a Hamiltonian action on \\(\\mathcal {F}(S,M)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2897390$441B2665-A01A-4FC7-861A-A8C273F9C5B3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8dc096047ae25c11daa32bea24127a63fdd4d640","datavalue":{"value":{"entity-type":"item","numeric-id":527048,"id":"Q527048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2897390$21CEF03C-0F43-4794-AA04-047BE7367D35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3429d3a0d938209ea2ff513754e4d275c24aecf","datavalue":{"value":{"entity-type":"item","numeric-id":4007933,"id":"Q4007933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce4c5be277f406a32307648467c83699256578e9","datavalue":{"value":{"amount":"+0.6956731677055359","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":"Q2897390$1809C3A9-7CC6-4AD6-A806-C6D048623DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7677c76810e6e9d9fe1c9e1e264a2e60f564a41e","datavalue":{"value":{"entity-type":"item","numeric-id":1358678,"id":"Q1358678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4428e847b19f07da29ec87200b34cd239b91460","datavalue":{"value":{"amount":"+0.6894736289978027","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":"Q2897390$134D09E9-07CC-46C3-92B0-4FE9F9E358E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c35c022c099d8f94f44ed54534d6dd25637898c9","datavalue":{"value":{"entity-type":"item","numeric-id":4389918,"id":"Q4389918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee16e4277d5c7e16fdce1126cf492cef18a33bd9","datavalue":{"value":{"amount":"+0.6819285154342651","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":"Q2897390$5E175F7A-6EE2-47EB-86AA-D85BDBC1E72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1636aaff73928b09f15ca8c1da573ec227eb1e","datavalue":{"value":{"entity-type":"item","numeric-id":4820349,"id":"Q4820349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a98f5422e863126d7fb372dd00478131b747c7","datavalue":{"value":{"amount":"+0.6806934475898743","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":"Q2897390$FD0E110D-742C-476F-8500-3F634C5FED86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc41b1f2e172e6e16f4ab7a4b8238ae08ec64ef","datavalue":{"value":{"entity-type":"item","numeric-id":3972726,"id":"Q3972726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf51828dc8f7ff53c1b27d2aac6ab5d1134fac7","datavalue":{"value":{"amount":"+0.6767376661300659","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":"Q2897390$43E3B620-4A44-4D4D-9452-0DDAA659F49F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2897390","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2897390"}}}}}