{"entities":{"Q1090980":{"pageid":1101732,"ns":120,"title":"Item:Q1090980","lastrevid":49075783,"modified":"2026-01-06T13:41:30Z","type":"item","id":"Q1090980","labels":{"en":{"language":"en","value":"Combinatorial infinite-dimensional manifolds and \\({\\mathbb{R}}^{\\infty}\\)- manifolds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4009338"}},"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":"Q1090980$99063185-8D3C-47F5-BBC3-3A1C41174756","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dab6d599e1397c055aff268106dfad2e4582340","datavalue":{"value":{"text":"Combinatorial infinite-dimensional manifolds and \\({\\mathbb{R}}^{\\infty}\\)- manifolds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090980$2667AC2B-1B4C-4ED2-9A94-2E23440DA4B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cb1fb5137cd8405c7f1ac02e906c181a42fec9c","datavalue":{"value":"0622.57011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090980$68B3996C-8E78-4707-B79B-6B793E0038F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66c954af8d56a07ac7334a9aaea7a4b0ca116ca3","datavalue":{"value":"10.1016/0166-8641(87)90025-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090980$94C60905-0073-4510-883B-78E1E93E2D45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"553ea312fc21743e536d4d634cc29ee033262211","datavalue":{"value":{"entity-type":"item","numeric-id":180665,"id":"Q180665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090980$33F0827E-3AA7-40FE-BA91-2E6393211967","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090980$AC37A84F-A073-4F96-A2DE-D53D28C979B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1090980$162345F4-4CF2-4BA1-A6E9-7E38DAD24A8F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"180614fe948e7318ba3adbc1fbc728521aff2004","datavalue":{"value":"Generalizing combinatorial manifolds to the infinite-dimensional case, we can define combinatorial \\(\\infty\\)-manifolds as countable simplicial complexes such that the star of each vertex is combinatorially equivalent to \\(\\Delta^{\\infty}\\), the countably infinite full complex, namely the \\(\\infty\\)-simplex. A separable paracompact (topological) manifold modelled on \\({\\mathbb{R}}^{\\infty}\\) \\(=\\) dir lim \\({\\mathbb{R}}^ n\\), the direct limit of Euclidean spaces, is called an \\({\\mathbb{R}}^{\\infty}\\)-manifold. We can observe that each \\({\\mathbb{R}}^{\\infty}\\)-manifold can be triangulated by a combinatorial \\(\\infty\\)-manifold.    The main purpose of this paper is to prove the Hauptvermutung for combinatorial \\(\\infty\\)-manifolds: Any two homeomorphic combinatorial \\(\\infty\\)-manifolds are combinatorially equivalent, that is, they have simplicially isomorphic subdivisions. As an application, we have the stable Hauptvermutung: For any two countable homeomorphic complexes K and L, the product complexes \\(K\\times \\Delta^{\\infty}\\) and \\(L\\times \\Delta^{\\infty}\\) are combinatorially equivalent.    In fact, it is proved that the product complex \\(K\\times \\Delta^{\\infty}\\) is a combinatorial \\(\\infty\\)-manifold for any countable simplicial complex K. As the main tool of the proof, the following theorem is established: Let K and L be finite simplicial complexes, J a subcomplex of K and \\(f: K\\to L\\) a p.l. embedding such that \\(f| J\\) is simplicial. Then f is homotopic to an embedding f': \\(K\\to L\\) which is simplicial with respect to subdivisions K' and L' of K and L containing J and f(J) as subcomplexes, respectively.    In a forthcoming paper [''Simplicial complexes triangulating infinite- dimensional manifold'', ibid. (to appear)], the author has characterized combinatorial \\(\\infty\\)-manifolds as countable simplicial complexes such that each simplex has nonempty contractible link and shown that any simplicial complex triangulating an \\({\\mathbb{R}}^{\\infty}\\)-manifold is a combinatorial \\(\\infty\\)-manifold.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090980$EE0E8A2A-2BA2-46DF-85FB-986447FD7575","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85e83fec9bd42fbd786cb9ba8553bf89aa982ece","datavalue":{"value":"57N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090980$C10902CB-B52B-4163-8139-1E4EAE703F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cd55e37faed400f27c01e5bfb5d6bb41ead1f10","datavalue":{"value":"57Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090980$C9158CE1-C0C8-4AB8-B173-36BEAB35EE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ab47a0a979a4ee0eeae9121ca605840f285f999","datavalue":{"value":"57Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090980$3420EA66-DA85-41BA-B443-D3837D899945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0761be85482bc1d816b0c83be4283036f1aec8fc","datavalue":{"value":"57Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090980$540420AA-5F0A-4266-8BDD-2564F3D49D98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f117f9cd9b5de71b2a64281c1bd3820196694f2","datavalue":{"value":"4009338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090980$BDA1A81A-22C1-4846-B9FD-58BE74FCBFEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd3b97137fc5cddeb53bb49b8b441b42d47d65a","datavalue":{"value":"triangulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090980$DC09E830-6911-4F30-811F-C58060E63F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd3a312e4d8a45be4b3c6c74c20a997e2ecf76e","datavalue":{"value":"combinatorial \\(\\infty \\)-manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090980$91050F69-5145-4C17-912B-4A004CD23F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e29539dd3cb9fbcd9ecad90d321f7d06405b9820","datavalue":{"value":"countably infinite full complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090980$31391DA5-8024-474A-84FA-F562270B8FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d64541e18548da34c22494d8d54ec9d965bfce6e","datavalue":{"value":"\\(\\infty \\)-simplex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090980$6FEDEF31-78A6-469B-A41A-9DE9813F88BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6343aa1433c3d087bf8db748fe6ee25344586098","datavalue":{"value":"manifold modelled on \\({bbfR}^{\\infty }\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090980$977A11FE-3BF1-4AE7-9010-DE2E003EFFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac732a325b8c6fdfe58c6fe18d1d3a707cf4fcf9","datavalue":{"value":"\\({bbfR}^{\\infty }\\)-manifold","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090980$C3E1C6C9-9EAA-43BC-9937-4BE6476A5A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ed05d606ca34367fae2eb9e6e6b04efc938c64","datavalue":{"value":"Hauptvermutung for combinatorial \\(\\infty \\)-manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090980$5F943392-B3CD-4308-8AB5-6C7320328CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8a7b8ce8029b342880ef22267b249c13ffd76af","datavalue":{"value":"stable Hauptvermutung","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090980$B834CEEB-0B52-4E47-8717-140A01ECF380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96d4cd4a5188e160362a6c05a9d891ab312d4d92","datavalue":{"value":"p.l. embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090980$73CF358A-2024-4522-BF6E-4EDACD561443","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":"Q1090980$E635C0F3-DEF0-4511-A783-2AF654EC973A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a217cc09a48d91bb92f216795754988db42045e","datavalue":{"value":"https://doi.org/10.1016/0166-8641(87)90025-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1090980$D6FB7565-DF7A-4201-A10C-6D3BFC7518E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d867a21c3f2ff4345a2f6d9a789844eb6b7399c4","datavalue":{"value":"W2039543448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090980$90A09094-A1C5-4239-9679-35CF8B31DC3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf0443859d294825945277ee750a3fb89d9e20d","datavalue":{"value":{"entity-type":"item","numeric-id":3914092,"id":"Q3914092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090980$946EC352-2269-44AC-8BF2-A384CE43DD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c77f2607544c26434e83e3cb6e73a6c7a37230","datavalue":{"value":{"entity-type":"item","numeric-id":3665910,"id":"Q3665910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090980$3B865AA4-AC2E-41DC-A540-7C95145F6EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ec1def774e896e9ff76bd411dc5c9ed8391d40","datavalue":{"value":{"entity-type":"item","numeric-id":1152148,"id":"Q1152148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090980$473B6DEC-687C-4AAC-88A2-42566D7B8D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fef0ae29403da19780240ba90c57c313cc746811","datavalue":{"value":{"entity-type":"item","numeric-id":5667781,"id":"Q5667781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090980$28065A2E-6AEC-441A-A115-7CB1F0D1A6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff8ea82fb6d9956d0ee6a8afb9ab643f70adeca","datavalue":{"value":{"entity-type":"item","numeric-id":1060469,"id":"Q1060469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090980$C40A64FB-1045-4A7B-9CEC-8728589A5C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e736c2300c8ee7e9c9b0d57018163ca3151d0de2","datavalue":{"value":{"entity-type":"item","numeric-id":1064617,"id":"Q1064617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090980$D930B095-1859-464A-8955-2BA2C1D459FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c236325facceb26f709bd4d01b30bc3cd2773cec","datavalue":{"value":{"entity-type":"item","numeric-id":3308712,"id":"Q3308712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090980$F8B9850D-4770-4969-AD18-2807AA6D3DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b502071523c36f693da0a8af575fcfde8e390c1","datavalue":{"value":{"entity-type":"item","numeric-id":5570653,"id":"Q5570653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090980$E9486BE6-CED7-4CD3-9340-FEA8F90E302C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df81cc33418b27319bd0ba37ecc943c6bb130c2e","datavalue":{"value":{"entity-type":"item","numeric-id":1106513,"id":"Q1106513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090980$88A67375-5F38-4FAC-9F60-CE555E843A82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5999550ca938e044aa7ea406586638bc14a867af","datavalue":{"value":{"entity-type":"item","numeric-id":1106513,"id":"Q1106513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed10a3d67be8c330ae2df4d3ccf5e9c083335613","datavalue":{"value":{"amount":"+0.8457742929458618","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":"Q1090980$12DDF3B3-A197-49E6-8318-1CA87C1FF49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b190f377cf5012a7602a49abf3c4d341c61ebd26","datavalue":{"value":{"entity-type":"item","numeric-id":3771257,"id":"Q3771257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2afd537d38a84c9d47921bb69535d937730ef01","datavalue":{"value":{"amount":"+0.8157427310943604","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":"Q1090980$3F75DF43-5399-4916-9200-91F2FB4A3961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a84ab50135bce4ae01408b0a83a1786f5529e9","datavalue":{"value":{"entity-type":"item","numeric-id":1107177,"id":"Q1107177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c75f3749bda3057e5367c9fed994cd6ad0b39c5","datavalue":{"value":{"amount":"+0.8127832412719727","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":"Q1090980$45865842-C327-4F39-A67D-3594FB7ED8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c55293f0511e1369d84943cde3e4b7adb412df8","datavalue":{"value":{"entity-type":"item","numeric-id":3025883,"id":"Q3025883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e8531d19095586e06c2d684a344400e307d99c","datavalue":{"value":{"amount":"+0.7832228541374207","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":"Q1090980$00528128-0BE9-46C5-ABB0-B50506DA3293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1abd41295f7d80ea34fa03b727fdbd02d2934d4","datavalue":{"value":{"entity-type":"item","numeric-id":1060469,"id":"Q1060469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9183b614fc895513264beb28eb08768fc4f984a7","datavalue":{"value":{"amount":"+0.7718782424926758","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":"Q1090980$07DE637E-9061-45AE-95D0-8A1B3C9F0D80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1090980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1090980"}}}}}