{"entities":{"Q801325":{"pageid":803173,"ns":120,"title":"Item:Q801325","lastrevid":64441269,"modified":"2026-04-11T19:53:23Z","type":"item","id":"Q801325","labels":{"en":{"language":"en","value":"DeRham theorem with cubical forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3877971"}},"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":"Q801325$BE162591-0E5B-4D50-8173-555C6DDC3189","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"789e383947e9929b665429f7e8d771d6048ace5c","datavalue":{"value":{"text":"DeRham theorem with cubical forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801325$5C04BE0E-A207-4647-AA5F-F0DAA4506B81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff97eb534ef4fd88c26b2d05951f82479d720ff4","datavalue":{"value":"0551.55008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801325$62CF837B-E29E-4A70-9A24-1B492B68D965","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801325$BF5C3AEB-4618-4C8B-B6E6-B08B6C6E7094","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801325$E9F4C578-E964-4D37-9735-B5B03474D5CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q801325$58BAF0EB-424F-4E07-A2B6-6798DBBD6200","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"43bee85846fac60cf0a4fd2a9fb3359ba64c2eed","datavalue":{"value":"Let \\(Q_ q\\) be the smallest subring of \\({\\mathbb{Q}}\\) containing 1/p for all primes \\(p\\leq q\\). Let X be a cubical complex. Define \\(T^*(X)\\) as the algebra of compatible collections of polynomial differential forms with \\({\\mathbb{Q}}\\)-coefficients on the cubes of X. A filtration of \\(T^*(X)\\) (as \\({\\mathbb{Z}}\\)-module) is obtained by defining a filtration on \\(T^*(I^ N)\\) for the cube \\(I^ N\\) as follows: A p-form \\(\\omega\\) is in \\(T^{p,q}(I^ N)\\), iff it is a \\(Q_ q\\)-linear combination of forms \\(x^{\\alpha_ 1}_{i_ 1}...x^{\\alpha_ j}_{i_ j} x^{\\beta_ p}_{k_ 1}...x^{\\beta_ p}_{k_ p} dx_{k_ 1}\\wedge...\\wedge dx_{k_ p}\\) with \\(\\{i_ 1,...,i_ j\\}\\), \\(\\{k_ 1,...,k_ p\\}\\) disjoint subsets of \\(\\{\\) 1,...,N\\(\\}\\) and \\(\\max \\{\\alpha_ 1,...,\\alpha_ j,\\beta_ 1+1,...,\\beta_ p+1\\}\\leq q\\) (here \\(x_ 1,...,x_ N\\) are the canonical coordinates of \\(I^ N)\\). Then one has \\(d: T^{p,q}(X)\\to T^{p+1,q}(X)\\), and the product of forms defines a product \\(T^{p,q}(X)\\otimes T^{r,s}(X)\\to T^{p+r,q+s}(X).\\)    The following is proved: Integration of forms induces an isomorphism \\(H^ p(T^{*,q}(X))\\to H^ p(X;Q_ q)\\) for all \\(p\\geq 0\\), \\(q\\geq 1\\). Moreover this isomorphism respects the products \\(H^ p(T^{*,q}(X))\\otimes H^ r(T^{*,s}(X))\\to H^{p+r}(T^{*,q+s}(X))\\) and \\(H^ p(X;Q_ q)\\otimes H^ r(X;Q_ s)\\to H^{p+r}(X;Q_{r+s}).\\) This refined deRham theorem is the basis of the authors' version of tame homotopy theory, the main results of which are reviewed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801325$E72746FE-5B3C-467A-8C27-74791DB801E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c2f67869d26c9dc70339f9cc33416aff4c4771b","datavalue":{"value":"55P62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801325$133D82D8-666B-4F49-858C-E0A63421970A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0322d5177094b1fe6cf44ca4744042eb37f277c9","datavalue":{"value":"58A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801325$6EFC74C4-3739-4182-98CD-20BA25BFA23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3c43a3023df7ca1673f610da59eca083ba2ff49d","datavalue":{"value":"55Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801325$9D43629C-9832-4F54-9D8C-8A02004C9AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cc06cc8818f42c97499b7590e26b3ddf428901c","datavalue":{"value":"55P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801325$D33B2F2F-B0CB-4258-BD61-CCB7C59FC32D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3438cc92703d83fcf7e1a3fe979be67f327b9bb5","datavalue":{"value":"3877971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801325$B0FD322C-A250-4B7F-9C55-2409C26F6C6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eb30a98620a8932bc666146e973a5185455aab5","datavalue":{"value":"tame homotopy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q801325$40E2660F-1D6E-422A-815C-E2702A641B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f9105669859a4b530d588eb4a46ae78c386cb3c","datavalue":{"value":"differential form","type":"string"},"datatype":"string"},"type":"statement","id":"Q801325$290D07E5-5027-4B6F-9993-A47008B31F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97861dba80fe08d2504e1c4852394342e929a6e5","datavalue":{"value":"tame deRham theorem for cubical spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q801325$3714AE8C-A4DC-42BD-9244-93C73BFBED1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa3f81b4cc407541bd88a6a33551817ea56b5f64","datavalue":{"value":"filtration of the deRham complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q801325$39F9A1C9-0002-4CDD-A44F-DE57CBB77AC1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"813d8fc39a3774084ea9365f34aab966dea1fdd6","datavalue":{"value":{"entity-type":"item","numeric-id":1148025,"id":"Q1148025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801325$D6E044F6-3265-48F6-ABE0-2DD65D5BE967","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":"Q801325$076DBCF3-C011-47AC-94F8-14F216C650BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"065721a572b2f4ba067ce203aaf534d4bfe1ce71","datavalue":{"value":"https://doi.org/10.2140/pjm.1984.112.35","type":"string"},"datatype":"url"},"type":"statement","id":"Q801325$08BFB100-E524-4CE5-83F2-92047D7EF5CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01f96a872146a41ec42f842c4aa8e9ef0657d2e7","datavalue":{"value":"W2083041166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801325$D9152E67-9C0C-4BB0-A8DF-D7E49C907587","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d644e1210f76f98d03dde0c5f8b98e6f3ce0984","datavalue":{"value":"10.2140/PJM.1984.112.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801325$2DFB3250-B020-44C0-9841-CE5399744F6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f123306d604dcca3c3859547c3f8c42c046fcbc","datavalue":{"value":{"entity-type":"item","numeric-id":1200374,"id":"Q1200374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b51efca575cf66b9dfa5081e0fb260ea3e26821","datavalue":{"value":{"amount":"+0.7490363121032715","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":"Q801325$6A1B86F8-2317-4E1D-9664-AEAAF8EA5809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18582ce448f1a220eb2ed1a14afcfcb00d4753c","datavalue":{"value":{"entity-type":"item","numeric-id":2312753,"id":"Q2312753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a334686935b0b764071c2d056f6796822614f4","datavalue":{"value":{"amount":"+0.7467809915542603","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":"Q801325$A3D99A00-BC11-49A3-9EF5-435ACD96C143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502cfcb6b741e6474edec9d9e55e2fcaa17223f8","datavalue":{"value":{"entity-type":"item","numeric-id":2639378,"id":"Q2639378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08cee37040289de047e60cedb3ee320977bf94ed","datavalue":{"value":{"amount":"+0.7212178707122803","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":"Q801325$ED1959C2-1833-414A-9E95-A238AB1B8769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1901b102b6e5f9e2bc69a746f700d72e02750dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1608220,"id":"Q1608220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fdc9b1f822ed652a471cca43cd75a30cfed2d98","datavalue":{"value":{"amount":"+0.717076301574707","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":"Q801325$3FFEC32D-02AC-47BE-BE0B-BEA40DF9A0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792b8af380b73510c37e456b0ddb490742340c13","datavalue":{"value":{"entity-type":"item","numeric-id":3833276,"id":"Q3833276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fdc9b1f822ed652a471cca43cd75a30cfed2d98","datavalue":{"value":{"amount":"+0.717076301574707","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":"Q801325$C4BA31C3-9624-48B2-B9CD-C81C2732DCCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DeRham theorem with cubical forms","badges":[]}}}}}