{"id":20,"date":"2015-11-03T12:30:29","date_gmt":"2015-11-03T11:30:29","guid":{"rendered":"https:\/\/kpa.faculty.wmi.amu.edu.pl\/?page_id=20"},"modified":"2023-05-13T18:04:55","modified_gmt":"2023-05-13T16:04:55","slug":"publications","status":"publish","type":"page","link":"https:\/\/kpa.faculty.wmi.amu.edu.pl\/?page_id=20","title":{"rendered":"Bredon&#8217;s Problem"},"content":{"rendered":"\n<p><\/p>\n\n\n\n<p><\/p>\n\n\n\n<p id=\"block-61b900a5-bae4-4bc9-97df-01b96b6ad0ba\">The following problem has been posed by G. E. Bredon in his book <em>&#8220;Introduction to compact transformation groups<\/em>&#8221;, Academic Press, 1972, page 58.<\/p>\n\n\n\n<p id=\"block-058cb358-8b6c-4db6-91ce-74a40782ef80\"><strong>Bredon&#8217;s Problem.<\/strong> If a compact Lie group <em>G<\/em> acts on a disk, Euclidean space, or sphere, then is it true that the fixed point set <em>always<\/em> consists of connected components of the same dimension?<\/p>\n\n\n\n<p>For smooth actions, the answer to the question above is given in my paper &#8220;<em>Group actions with inequivalent representations at fixed points<\/em>&#8221;, Math. Zeitschrift, Vol. 187 (1984), pages 29&#8211;47. The answer depends on the quotient group <em>G<\/em>\/<em>G* <\/em>of&nbsp;<em>G<\/em>, where<em> G*<\/em> is&nbsp;the&nbsp;connected component of the identity element of <em>G<\/em>.<\/p>\n\n\n\n<p><strong>Theorem.<\/strong><em> Let G be a compact Lie group<\/em>.<em> Then for any smooth action of G on an acyclic manifold (resp., a homology sphere), each connected component of the fixed point set has the same dimension if and only if G\/G* does not contain an element of prime power order<\/em>, <em>i.e.<\/em>, <em>G is connected or each element of G\/G* is of prime power order<\/em>.<\/p>\n\n\n\n<p>The sufficiency of the restriction on <em>G<\/em> follows from the fact that if <em>G<\/em> is connected or each element of <em>G\/G*<\/em> is of prime power order, then for any smooth action of <em>G<\/em> on an acyclic manifold (resp., a homology sphere with at least three fixed points), the representations of <em>G<\/em> on the tangent spaces at any two fixed points, determined via the derivation of group action, are isomorphic to each other and therefore, by the Slice Theorem, the dimension conclusion holds.<\/p>\n\n\n\n<p>The necessity of the restriction on <em>G<\/em> is shown by proving that if <em>G\/G*<\/em> contains an element not of prime power order, then there exists a smooth action of <em>G<\/em> on a disk, resp., Euclidean space; sphere, such that the fixed point set contains connected components of distinct dimensions.<\/p>\n\n\n\n<div class=\"wp-block-columns are-vertically-aligned-top\">\n<div class=\"wp-block-column is-vertically-aligned-top\" style=\"flex-basis:66.66%\">\n<div class=\"wp-block-columns\">\n<div class=\"wp-block-column\" style=\"flex-basis:100%\">\n<div class=\"wp-block-columns\">\n<div class=\"wp-block-column\" style=\"flex-basis:100%\"><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-vertically-aligned-top\" style=\"flex-basis:33.33%\"><\/div>\n<\/div>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The following problem has been posed by G. E. Bredon in his book &#8220;Introduction to compact transformation groups&#8221;, Academic Press, 1972, page 58. Bredon&#8217;s Problem. If a compact Lie group G acts on a disk, Euclidean space, or sphere, then is it true that the fixed point set always consists<a class=\"read-more\" href=\"https:\/\/kpa.faculty.wmi.amu.edu.pl\/?page_id=20\"> ( more&#8230; )<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":16,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"kt_blocks_editor_width":""},"_links":{"self":[{"href":"https:\/\/kpa.faculty.wmi.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/20"}],"collection":[{"href":"https:\/\/kpa.faculty.wmi.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/kpa.faculty.wmi.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/kpa.faculty.wmi.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/kpa.faculty.wmi.amu.edu.pl\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=20"}],"version-history":[{"count":157,"href":"https:\/\/kpa.faculty.wmi.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/20\/revisions"}],"predecessor-version":[{"id":2030,"href":"https:\/\/kpa.faculty.wmi.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/20\/revisions\/2030"}],"up":[{"embeddable":true,"href":"https:\/\/kpa.faculty.wmi.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/16"}],"wp:attachment":[{"href":"https:\/\/kpa.faculty.wmi.amu.edu.pl\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=20"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}