{"entities":{"Q2563769":{"pageid":2574512,"ns":120,"title":"Item:Q2563769","lastrevid":72790125,"modified":"2026-04-14T07:51:26Z","type":"item","id":"Q2563769","labels":{"en":{"language":"en","value":"Smoothly equivalent real analytic proper \\(G\\)-manifolds are subanalytically equivalent"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 958528"}},"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":"Q2563769$82F294C9-DA71-490E-A904-8D369A8EB82F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dbbf64b02fe13d07e30a810a80e0dcfe56bfbba","datavalue":{"value":{"text":"Smoothly equivalent real analytic proper \\(G\\)-manifolds are subanalytically equivalent","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563769$72514FB6-D356-4D9F-9FDA-544001CFD8A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee9119278aa310679953e432c03c49a82b86e74a","datavalue":{"value":"0863.57029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563769$D5EBA06A-48A0-4F4F-AB21-6B3FA57BA947","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96a8e3bd018569f1f0ac8ee1e3e014081438f19c","datavalue":{"value":"10.1007/BF01445270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563769$0162A20E-D5F0-4675-AB67-560D5D8083E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$AFC882B5-8B45-4E66-A721-C66911A4AF0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfb3a2440187ce324054f87424416efa61e67ba4","datavalue":{"value":{"time":"+1997-06-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":"Q2563769$7EE35391-FF87-4486-B4E9-CCE65974F31F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3180c9cec9c5acbe4b24deb6ed5627de18c01f05","datavalue":{"value":"https://eudml.org/doc/165473","type":"string"},"datatype":"url"},"type":"statement","id":"Q2563769$A99882A8-9434-4585-B1D5-7A7737043A06","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"29476b67315f50a0d47e29de0674d28a4121c928","datavalue":{"value":"The following result is proved:   Theorem A. Let \\(G\\) be a Lie group and let \\(M\\) and \\(N\\) be real analytic proper \\(G\\)-manifolds. Suppose that there exists a \\(G\\)-equivariant \\(C^r\\) diffeomorphism \\(f:M \\to N\\), where \\(1\\leq r< \\infty\\). Then there exists a subanalytic \\(G\\)-equivariant \\(C^r\\) diffeomorphism \\(h:M \\to N\\). Furthermore we can choose \\(h\\) to be \\(G\\)-homotopic to \\(f\\).   We recall here that a map \\(h:M \\to N\\) between real analytic manifolds is subanalytic if it is continuous and its graph is a subanalytic subset of \\(M \\times N\\). Thus if \\(h:M \\to N\\) is subanalytic and a topological homeomorphism then also \\(h^{-1}: N\\to M\\) is subanalytic. The main part of the conclusion of Theorem A is the very fact that \\(h: M \\to N\\) is a \\(G\\)-equivariant subanalytic isomorphism. However, for the actual proof of Theorem A it is crucial that one maintains the \\(C^r\\) diffeomorphism, \\(1\\leq r< \\infty\\), property throughout the various stages of the proof. The additional fact that one can choose \\(h\\) to be \\(G\\)-homotopic to the given map \\(f\\) is important for applications of Theorem A to equivariant simple-homotopy theory and equivariant Whitehead torsion, and these questions will be discussed in another paper.   An immediate applications of Theorem A is its role in establishing the uniqueness part in the equivariant triangulation theorem for smooth proper \\(G\\)-manifolds. Let \\(M\\) be a smooth proper \\(G\\)-manifold. We first note that by [the author, Every proper smooth action of a Lie group is equivalent to a real analytic action: a contribution to Hilbert's fifth problem, Ann. Math. Stud. 138, 189-220 (1995)] there exists a real analytic structure \\(\\beta\\) on \\(M\\), compatible with the given smooth structure on \\(M\\), such that the action of \\(G\\) on \\(M_\\beta\\) is real analytic. Furthermore, by [the author, Subanalytic equivariant triangulation of real analytic proper \\(G\\)-manifolds for \\(G\\) a Lie group, Preprint, Dept. Math., Princeton Univ. 1992] we know that the real analytic proper \\(G\\)-manifold \\(M_\\beta\\) can be given a subanalytic equivariant triangulation and any two subanalytic equivariant triangulations of \\(M_\\beta\\) have a common subanalytic equivariant subdivision. Now by Theorem A, the real analytic \\(G\\)-manifold \\(M_\\beta\\) is uniquely determined up to \\(G\\)-equivariant subanalytic isomorphism, by the given smooth proper \\(G\\)-manifold \\(M\\). Thus we obtain, by the above procedure, for every smooth proper \\(G\\)-manifold \\(M\\) a class of equivariant triangulations of \\(M\\) with the property that any two equivariant triangulations in this class have equivariant subdivisions that are isomorphic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563769$B190A281-AD0A-44CF-A0BE-8EF47B2AFFD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7e3ff1286d9e51ea5be67078a04749c052a8de06","datavalue":{"value":"57S20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563769$AFE2747B-4990-42D6-91F6-CF8649741608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c02c264fefb76e094e94907bf91a475fc8d3767a","datavalue":{"value":"32C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563769$77EE96EA-3670-4F29-9149-6202D7F4E92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a101227a4f478aca34c828624731a8dd1439d84","datavalue":{"value":"32B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563769$44A34AB1-D7AA-4965-B7CD-0A204EF6363F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eace91529630b8a1849635876dd57cdaa3fa36be","datavalue":{"value":"958528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563769$D5EF4914-597A-4115-A1AB-3678E3FDBB92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35b0aeea2294dca93a58cc3f9cae652bf9910beb","datavalue":{"value":"\\(G\\)-equivariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563769$2CB68E42-280B-491D-85FF-4F0BF06A74EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10715c683fdde4b1201421648fbe06e94a9a5188","datavalue":{"value":"\\(G\\)-homotopic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563769$CDB2082D-443C-4ECA-9280-D36D9DD07CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86cd06a419d31e4ce13611ac75d7e887c436747","datavalue":{"value":"Lie group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563769$52F01887-2FF7-4A59-8204-32DB77BE6900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011371ae25d3085f4d516cd36fb0649871b11fe1","datavalue":{"value":"diffeomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563769$0ACBFBEE-BFE4-4529-B856-7BC8792FBC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527a53df7e0dc536af8a9e5769a53fb42d3cb457","datavalue":{"value":"real analytic manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563769$729DAE68-6F97-4462-8459-404BAB0B0604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"641b05df35e98bcf54ee849f69fc7972713441ef","datavalue":{"value":"subanalytic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563769$6DCA61CD-FB57-4B0F-ABA2-FBED9AE0B66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2a3794d9ce8c982020cc143e3c28e9a92b6d3b4","datavalue":{"value":"simple-homotopy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563769$DB7D18E3-0B10-4BD2-B3A6-B635E4234238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c467cd590e41083138e467f77d27bed1d0239278","datavalue":{"value":"equivariant Whitehead torsion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563769$EAA1A52D-20B7-41BB-9E65-735F22B5FD4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4464de8962f690e23b54aa359012d276cc3beda5","datavalue":{"value":{"entity-type":"item","numeric-id":1166166,"id":"Q1166166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$A177B0D4-96F4-46BF-BC1B-2190424E3C8D","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":"Q2563769$A862C5FF-58E2-4AFF-AA2B-84934B83501F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bfd3cac7613c224d591eacb86fd8e8d0bfaef9d","datavalue":{"value":{"entity-type":"item","numeric-id":1121406,"id":"Q1121406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$0795DEDF-36E6-4366-B6AE-624ACAE2251E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f218fdaa745539e30896170959aa1360673cde","datavalue":{"value":{"entity-type":"item","numeric-id":3874499,"id":"Q3874499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$71756BB2-F34F-4F10-AD78-0104FB303B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd4416405b06650ccb3810df6474d5edfe78b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3905533,"id":"Q3905533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$AE26828A-0256-4A2F-8796-42B455C9FCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d88382ee32d237eeae43b2091a5ed35ac07d84","datavalue":{"value":{"entity-type":"item","numeric-id":2534319,"id":"Q2534319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$7B08AEEF-977E-4458-AC64-4BFCA6663317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5db0019c9cf002162a7890ede1aece637c09d81a","datavalue":{"value":{"entity-type":"item","numeric-id":2627085,"id":"Q2627085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$4D6FF20E-7B94-4349-8111-0D8843349106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16a504847d111659a039544eac0ea6cbb5abef5","datavalue":{"value":{"entity-type":"item","numeric-id":1214556,"id":"Q1214556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$161D3925-5698-41C4-9A4F-014396EF9227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948f9a75fbed3f3c8f520d86cab756e6e5bcbb86","datavalue":{"value":{"entity-type":"item","numeric-id":3846750,"id":"Q3846750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$D3FB6A4A-1FD1-4D10-B7AC-3735DF080653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3055deffa2f8af5c5d096952259a2e7882c95bb8","datavalue":{"value":{"entity-type":"item","numeric-id":4129462,"id":"Q4129462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$CE6481F2-968A-4FEF-8A54-580F3DEE1513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cbe2ae0fc199b06acb54481d66a8e6455ee9c25","datavalue":{"value":{"entity-type":"item","numeric-id":4266114,"id":"Q4266114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$8683114F-AB75-4A98-827D-9BCF6307F098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e5e43c208b5e71c0c4f761597dad416969ebf1","datavalue":{"value":{"entity-type":"item","numeric-id":4002462,"id":"Q4002462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$7B34900F-9191-4C06-8C61-84581D1397E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb20abbee413d511158daedfe50678d8103d232d","datavalue":{"value":{"entity-type":"item","numeric-id":3283462,"id":"Q3283462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$D47D7285-6BA5-47B6-9A03-C407600E968F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a910990d987c097cd961f706b4bbf92112ddcb22","datavalue":{"value":{"entity-type":"item","numeric-id":1914845,"id":"Q1914845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$102C6340-FE4E-4743-86F3-258DA045D27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aec47766116db7cf73f5e961b8fa669fb695204","datavalue":{"value":{"entity-type":"item","numeric-id":5335878,"id":"Q5335878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$D44F38FA-3DC1-4BC4-929C-A5CFB40EF552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62e1a6a03689bb2a2819b710fc4931e419c2eea","datavalue":{"value":{"entity-type":"item","numeric-id":2533735,"id":"Q2533735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$FBD520F2-CBBB-4251-A69D-0ABD596371BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e64212a7e9554fa2298bdd2f8e502ade19c5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3805482,"id":"Q3805482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$EC62F8D8-2572-4005-BB10-AC248800599A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3983d271eff0c780d5b451989335c231c0725906","datavalue":{"value":{"entity-type":"item","numeric-id":774708,"id":"Q774708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$BFFA3C56-6807-4E1E-9D41-3C2437C8C291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748f929c60193c6f18e677a95668eed3d538e769","datavalue":{"value":{"entity-type":"item","numeric-id":5603079,"id":"Q5603079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$CF2ABF31-B109-40C6-99FD-CBB3F56273AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b577a5ad520b7e73cb32be324a751e863dbbfbdf","datavalue":{"value":{"entity-type":"item","numeric-id":5522742,"id":"Q5522742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563769$A16D0C9E-C4E7-4F5F-A352-F75F12AF0A3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ddd855d09134cdbac0386cb42c87e59c3088a78","datavalue":{"value":"W2327619432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563769$5BE9DF6E-5535-4EB2-9CF1-8780B457356C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30481af39d3c3017dbc605c52ba3c4518c5a0e63","datavalue":{"value":{"entity-type":"item","numeric-id":4495389,"id":"Q4495389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2273a1a95b4a82bda14d1fa3e580d766667c8b95","datavalue":{"value":{"amount":"+0.8461835384368896","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":"Q2563769$F502C8AF-05B7-4BC6-B152-B9A102F20265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89f5ee410bf1dbd2ec68cecaa3a574ec7d757122","datavalue":{"value":{"entity-type":"item","numeric-id":960052,"id":"Q960052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11066288441878f0225e762fc9b7b51abdf2473d","datavalue":{"value":{"amount":"+0.8077576756477356","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":"Q2563769$229D4742-7FC4-465C-BE74-94F4C7B6A404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6afd12e809b4788d6a94c61227ed9d73fdb156","datavalue":{"value":{"entity-type":"item","numeric-id":1914845,"id":"Q1914845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61d28ffa5da7f696f96fb1cb99b5c9189563d1e1","datavalue":{"value":{"amount":"+0.8059014081954956","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":"Q2563769$2D04BAF5-BEAB-4DEF-98EC-6434ADD2A9F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Smoothly equivalent real analytic proper \\(G\\)-manifolds are subanalytically equivalent","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Smoothly_equivalent_real_analytic_proper_%5C(G%5C)-manifolds_are_subanalytically_equivalent"}}}}}