{"entities":{"Q267533":{"pageid":269300,"ns":120,"title":"Item:Q267533","lastrevid":60547782,"modified":"2026-04-10T17:40:14Z","type":"item","id":"Q267533","labels":{"en":{"language":"en","value":"Reflection groups in non-negative curvature"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6566720"}},"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":"Q267533$20C2DF7F-59AC-41B1-9358-2C72FF3E7761","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2da3c1e96d81fdbbdaeaaa361a49d00e7b4b6100","datavalue":{"value":{"text":"Reflection groups in non-negative curvature","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q267533$2A9E25AD-E2BF-471E-9889-8D2DAB828A82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a0455d8151dc3596bd3248712a5469d615cf426","datavalue":{"value":"1347.53032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q267533$9D5F0863-7400-4812-B675-7F5EACB445E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9bdba9b6f1a852e24aedcc401fa905304af4a6b","datavalue":{"value":{"entity-type":"item","numeric-id":217782,"id":"Q217782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q267533$E04E4BC1-60B5-4434-AD78-6E1BB3207007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b52873867f0363e76550d55e36fa36576cdc578","datavalue":{"value":{"entity-type":"item","numeric-id":931807,"id":"Q931807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q267533$C4B1AFEF-B8E3-45C7-BF7F-5B99ABAEEC5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33075497992c7b00cbed0c3ce471beb5f6082d57","datavalue":{"value":{"entity-type":"item","numeric-id":240580,"id":"Q240580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q267533$AC49DD64-6098-4778-BB1A-F1137F2D12E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b86ea1a94e09e929f8289e34f06858aefd9bcd2f","datavalue":{"value":{"time":"+2016-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q267533$0B70CFC2-E601-4B7E-96BC-3CCF0618C39A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a90cbac9efbf4e274f16cb5f5124b2bd5923901a","datavalue":{"value":"https://arxiv.org/abs/1403.5019","type":"string"},"datatype":"url"},"type":"statement","id":"Q267533$D4FD4EE7-D2A4-48D5-A3B4-E10B7706EFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e989acda3737f977cf9152e35cfce19360b3ebc","datavalue":{"value":"http://projecteuclid.org/eeuclid.jdg/1453910453","type":"string"},"datatype":"url"},"type":"statement","id":"Q267533$5388C91C-DF88-4EBC-A978-73A845E0DE56","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e09f32a0e2e42ba281878f5a83fc9760f25617d0","datavalue":{"value":{"entity-type":"item","numeric-id":505550,"id":"Q505550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q267533$21FFF164-C5B7-4DFF-B0AB-D4A688C07859","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"80944b79088c06ea29b7a04b1b13ad3b77aa8f67","datavalue":{"value":"53C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q267533$414D273A-244D-494D-8CCB-1593315351AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50c818eb9eadd70440def9b980f78a680fc521f","datavalue":{"value":"57S25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q267533$EE68A2BF-9364-42F2-9890-CDCA53EF9B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c62b5b36b2f454d6319824daa5bbffe05fc1283","datavalue":{"value":"57S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q267533$9DB8F2C6-F0E5-4BB6-91EA-37460B6A029D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c21a79b2319026634742ebde787a255011ed71e","datavalue":{"value":"6566720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q267533$90C6BFF7-BFAE-4B4E-A182-904A2002CDA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2e43b5ce70148664aa189de4dd386653e0e9af5","datavalue":{"value":"non-negative curvature","type":"string"},"datatype":"string"},"type":"statement","id":"Q267533$80A33A76-A6A4-45AB-A7EF-D00C20976FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"288870a4c4097e8de5c8c6a77154658fd4b18552","datavalue":{"value":"reflection groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q267533$9BDCA708-A517-4C28-80ED-6A3F5FFD4422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4abbbfa86b96092e03069a925e76a30fe26b4d07","datavalue":{"value":"Coxeter group","type":"string"},"datatype":"string"},"type":"statement","id":"Q267533$8F3079B6-1777-4B96-A3B1-558B7FF25C68","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7a7d0b2829c0be0b6eb4fbbeac37f76f6d13d1c5","datavalue":{"value":"Q115167014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q267533$6642A762-03A6-44B6-8576-0477214D4BF9","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":"Q267533$A37C0F7E-BA09-4968-B249-61FA915E5E0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7a7afd553864bf91b31858deaeece1579a73092","datavalue":{"value":"W2964209084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q267533$D774F64C-3EFB-4742-950D-E94D65E6183C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35cd602c627ce74a35c03c423b0750cb8ba71067","datavalue":{"value":"10.4310/JDG/1453910453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q267533$AC32A7F8-0F96-455D-A9D1-9690210093CA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"99451176f4500df58be836024ea6f4ca59a97013","datavalue":{"value":"A discrete subgroup \\(W\\) of the isometry group of a Riemannian manifold \\(M\\) is called a reflection group if it is generated by reflections, i.e., by involutions which fix some codimension-one submanifolds, the so-called mirrors. It is called a Coxeter group if every mirror separates \\(M\\) into two components. A chamber of the action of \\(W\\) on \\(M\\) is the closure of a connected component of the complement of the union of all mirrors.NEWLINENEWLINENEWLINEIn the paper under review, structure results for the case when \\(M\\) has non-negative sectional curvature are proved. The main result is as follows:NEWLINENEWLINENEWLINELet \\(M\\) be a complete non-negatively curved manifold with co-compact reflection group \\(W\\). Then \\(W\\) lifts to a reflection group \\(\\hat{W}\\) on the universal cover \\(\\tilde{M}\\) of \\(M\\). \\(\\hat{W}\\) is a product of Coxeter groups NEWLINE\\[NEWLINE\\hat{W}=\\hat{W}_0\\times \\prod_{i=1}^{l-1} \\hat{W}_i \\times \\hat{W}_l,NEWLINE\\]NEWLINE where \\(\\hat{W}_0\\) is affine and the other \\(\\hat{W}_i\\) are spherical. Correspondingly, \\(\\hat{M}\\) admits a \\(\\hat{W}\\)-invariant metric splitting NEWLINE\\[NEWLINE\\tilde{M}=\\mathbb R^k\\times \\prod_{i=1}^{l-1} S^{k_i}\\times \\Theta_l\\times N,NEWLINE\\]NEWLINE where \\(N\\) can be any simply connected compact manifold of non-negative curvature on which all \\(\\hat{W}_i\\) act trivially, \\(S^{k_i}\\) is a non-negatively curved standard sphere with linear \\(\\hat{W}_i\\)-action, and \\(\\Theta_l\\) is a compact simply connected non-negatively curved (iterated) open book.NEWLINENEWLINENEWLINEOn the one hand this result is interesting on its own. On the other hand, understanding reflection groups on non-negatively curved manifolds is the first step to understand so-called polar actions on such manifolds. This is because the section of such an action is a non-negatively curved manifold with a reflection group.NEWLINENEWLINENEWLINEThe proof of the above result is based on the work of \\textit{A. W\u00f6rner} [Geom. Topol. 16, No. 4, 2391--2426 (2012; Zbl 1261.53044)] which implies that the chamber of a Coxeter action is a product NEWLINE\\[NEWLINEC=C_0\\times C_1\\times\\dots\\times C_l,NEWLINE\\]NEWLINE where \\(C_0\\) is a manifold without boundary and each \\(C_i\\), \\(i\\geq 1\\), is a non-negatively curved convex manifold with corners such that eitherNEWLINE{\\parindent=0.6cm\\begin{itemize}\\item[--] \\(C_i\\) has more than \\(n_i=\\dim C_i\\) faces but any \\(n_i\\) faces meet, or \\item[--] \\(C_i\\) has \\(k_i\\leq n_i\\) faces and they all meet. NEWLINENEWLINE\\end{itemize}}NEWLINEIn the first case \\(C_i\\) is a simplex.NEWLINENEWLINEThe rest of the proof is divided into two steps:NEWLINE{\\parindent=0.6cm\\begin{itemize}\\item[--] Describing those Coxeter manifolds for which there is only one factor \\(C_i\\) in the above decomposition. This leads to the different types of factors in the main result. \\item[--] Showing that a simply connected Coxeter manifold splits as stated above if there are more than one factors in the decomposition of the chamber. NEWLINENEWLINE\\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q267533$60FB23F9-8B26-49E2-AA16-7968AB4B0540","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f8ce08d6a2cb4f6b78547fcc295550120afa049","datavalue":{"value":{"entity-type":"item","numeric-id":3811306,"id":"Q3811306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506761456b578712f0717f370d2d811c7fea2cd6","datavalue":{"value":{"amount":"+0.7493100762367249","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":"Q267533$6FA14948-0777-45C6-BD31-C3CA4CD6AA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca561c4ba8e506e9d451d34f18a553f889218a3","datavalue":{"value":{"entity-type":"item","numeric-id":782988,"id":"Q782988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fc587ead5d05814ecd397950c780453feeed27","datavalue":{"value":{"amount":"+0.7476410269737244","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":"Q267533$8DA66149-8D98-44ED-AEEC-CEF8B66BE9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6990651212bcb21e7da03dddf85bfadd142a8da8","datavalue":{"value":{"entity-type":"item","numeric-id":1771156,"id":"Q1771156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c01901e2de9a08243b68e763dfcccf041a5b5db","datavalue":{"value":{"amount":"+0.7449625134468079","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":"Q267533$44644ED8-0EDA-4139-AE1C-9864CAD7B701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd986f551904de8fee9b4ea68525ffd36a6357b","datavalue":{"value":{"entity-type":"item","numeric-id":2776336,"id":"Q2776336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98bcb84792d86cffc5493f01137283f5a35b8c7e","datavalue":{"value":{"amount":"+0.7366650104522705","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":"Q267533$F9E46E7C-B060-489E-A02C-AE0013F1B454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7386212564df2ea262432ebd7d520a3a1dc41d","datavalue":{"value":{"entity-type":"item","numeric-id":5371263,"id":"Q5371263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a00dc222ed2a56a19fdd54d01a7fb7c102a4050b","datavalue":{"value":{"amount":"+0.7356122136116028","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":"Q267533$0EDADC75-1A21-47B5-9B68-F12234FD8731","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reflection groups in non-negative curvature","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reflection_groups_in_non-negative_curvature"}}}}}