{"entities":{"Q475787":{"pageid":477554,"ns":120,"title":"Item:Q475787","lastrevid":62153811,"modified":"2026-04-11T04:07:41Z","type":"item","id":"Q475787","labels":{"en":{"language":"en","value":"Realizing homotopy group actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374607"}},"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":"Q475787$FE3C3AF0-A367-47C9-B026-67DB53C7E8EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f242a0718f40a7ac6cf4193e7b091953c79b8cb","datavalue":{"value":{"text":"Realizing homotopy group actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q475787$AF6BC86F-0B43-4B68-B35A-A975F819D18E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b333c6ef284f23314bcdd24f7e133045bf02293b","datavalue":{"value":"1305.55007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475787$02DF18A5-1D79-486D-946B-4C4631F75D11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23f136a0bdddc9e8138178db7b1b68c337822184","datavalue":{"value":{"entity-type":"item","numeric-id":226520,"id":"Q226520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475787$4048B674-0DDF-422B-B88A-81BB2C521D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9fea009378758e7088f5cb26b751b7db8d1b0a3","datavalue":{"value":{"entity-type":"item","numeric-id":475786,"id":"Q475786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475787$47910B50-CA05-489A-BEAC-E4AD59DAD181","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4f16ddc5cdb18d4f4fb3ee6d704d6609c3404ba","datavalue":{"value":{"entity-type":"item","numeric-id":223802,"id":"Q223802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475787$12896B5E-A759-4A31-887F-943E9B29BF1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q475787$41BEC706-DF83-49FE-B04D-0BF90B169F30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b974eb66e340e69d271f09e7cb63bb8e77e4d68","datavalue":{"value":"https://arxiv.org/abs/1210.2574","type":"string"},"datatype":"url"},"type":"statement","id":"Q475787$8C7E46E4-DDDD-4D8B-A2FE-A4AC871F2584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"73016cb7f532e46f96df13485ecfdaa000f1d3a7","datavalue":{"value":"https://projecteuclid.org/euclid.bbms/1414091009","type":"string"},"datatype":"url"},"type":"statement","id":"Q475787$02E72914-0813-4C03-9AA7-A65776945318","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a612c3a255a42faab8db842604272e3392b19de4","datavalue":{"value":"Let \\(\\text{haut}(X)\\) denote the monoid of self-homotopy equivalences of a topological space \\(X\\). Let \\(G\\) be a finite group. By a \\textit{homotopy action} of \\(G\\) on \\(X\\) is meant the homotopy class of a map \\(\\Phi : BG \\to B\\text{haut}(X)\\). Given such a homotopy action, this uniquely determines a free \\(G\\)-action on \\(X\\) in the sense of Bredon's definition since the natural \\(G\\)-equivariant projection \\(X\\times EG \\to X\\) is a homotopy equivalence. In this paper the authors introduce the notion of a \\textit{Bredon homotopy action} and then present a procedure for realizing this action. Letting \\(\\Lambda\\) denote the partially ordered set of subgroups of \\(G\\), this new notion consists of two ingredients: one is a diagram \\(\\underset{\\sim}{X} : \\Lambda^{\\mathrm{op}}  {\\mathcal T}\\mathrm{op}\\) and another is a pointed homotopy action \\(\\Phi^*_H\\) of \\(W_H=N_GH/H\\) on the homotopy cofibre \\(\\underset{\\sim}{X}^H_H\\) of the obvious map \\(\\text{hocolim}_{H < K} \\underset{\\sim}{X}{(K)}  \\underset{\\sim}{X}(H) \\) for each conjugacy class \\(\\langle H \\rangle\\) and a representative \\(H \\in \\langle H \\rangle\\). It is then shown that such a Bredon homotopy action can be realized by a topological action based on descending induction on the subgroups of \\(G\\). For \\(H < G\\) and a chain of proper inclusions \\(H=H_0 < H_1 < \\cdots < H_k=G\\) we assume by induction on this filtration that there is given an action of \\(W_H\\) on \\(\\underset{\\sim}{X}_H =\\text{hocolim}_{0 < i \\leq k} \\underset{\\sim}{X}(H_i)\\). Then from the induction hypothesis for \\(\\underset{\\sim}{X}^H_H\\) considering the homotopy cofibration sequence \\(\\underset{\\sim}{X}{_H}  \\underset{\\sim}{X}{(H)}  \\underset{\\sim}{X}^H_H\\) we can infer that we have a \\(W_H\\)-action on \\(\\underset{\\sim}{X}(H)\\). More precisely the main theorem of this paper states that a Bredon homotopy action \\({\\mathcal A}=\\langle \\underset{\\sim}{X}, (\\Phi^*_H)_{H \\leq G} \\rangle\\) for a finite group \\(G\\) can be realized by a \\(G\\)-space \\(X\\) if and only if one can inductively construct a coherent sequence of cofibrant diagrams \\((\\underline{X}_k : {\\mathcal F}_k \\to {\\mathcal T}\\mathrm{op})\\) realizing \\(\\mathcal A\\), where \\(\\underline{X}_k\\) can be extended to \\(\\underline{X}_{k+1}\\) if and only if the \\(H\\)-lifting problem can be solved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q475787$983084CA-F9AA-4E20-8F17-24E65E25E92E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c993c33cff342651cbbd54e4f5b587ad2b93dd47","datavalue":{"value":{"entity-type":"item","numeric-id":329669,"id":"Q329669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475787$CCB682A7-7A5B-414E-AD75-679C2DCECACB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b99005280ef1626a98795c032281c63ce65fc1d8","datavalue":{"value":"55P91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475787$B24EFB45-76B4-42EE-9D3C-ED81CA1A998C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"82c465b460b539bdc26ed986709da90954aa9c70","datavalue":{"value":"55S35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475787$0983FD7D-CE89-427D-B8F9-CB46F47CF541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7566d91374117e6c865154f26d3eec2d443097f4","datavalue":{"value":"55R35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475787$2EA981A3-AAE5-4469-B076-F108257A0E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"71ea736785c2efc8c8bac538b55622b6739e4488","datavalue":{"value":"58E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475787$14B3A65C-CA3E-47FB-BB9C-51F81693313C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b7abe927a82ce366f9745e0e5596a99b95c6f4f","datavalue":{"value":"6374607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475787$1A26ECB2-EE40-4D1F-B485-FCC42C104AD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac83d8c0bc9f884112fb8ef417e091f3fd76bd8","datavalue":{"value":"group actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q475787$62BE58E9-5FFC-4AA4-88B0-8A67713F4ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a45d4b86eed18475e2dce2d08e13e467e1873a43","datavalue":{"value":"equivariant homotopy type","type":"string"},"datatype":"string"},"type":"statement","id":"Q475787$0740C645-9370-4230-9797-78C9F11E3D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32beb7188a0c470d5df177c60ce6d4509b6ce662","datavalue":{"value":"Bredon theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q475787$D66F85DF-EFF9-497F-B8CE-A2DFD8D6807C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e99b5ce41d9bb3192669e1e69d5c163da6a6da","datavalue":{"value":"obstructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q475787$808EACC6-56B9-484C-9DAE-E4D9CBC27D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75709b89159e1f36ca266f6be809690e61b9d5a","datavalue":{"value":"homotopy actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q475787$8163BECC-9E01-468A-BB2A-694363991C93","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":"Q475787$7E8E9BC4-926B-4B4B-BC06-70309F396837","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4609d95a37a406291af3aed43a7c8d745264ca90","datavalue":{"value":{"entity-type":"item","numeric-id":4727869,"id":"Q4727869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b6d206276262d7972ba42e3536cfa43ab93486","datavalue":{"value":{"amount":"+0.8291861414909363","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":"Q475787$55A6A003-B94F-42B9-A73B-ED1DDAEA90B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e5678b6d4d2cebfa822c99e018c8e0f30dbac3","datavalue":{"value":{"entity-type":"item","numeric-id":3480909,"id":"Q3480909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b06d541b3f00a3a735f257190fb1c88c4ede3674","datavalue":{"value":{"amount":"+0.8012149333953857","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":"Q475787$9CA39286-29D3-40A9-8329-9E217CC2AEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835636d44d71163e805256f8e79dcc5f5164bfd8","datavalue":{"value":{"entity-type":"item","numeric-id":4266118,"id":"Q4266118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755587107e15e2fd7a2845a5e680d299d4bce2ec","datavalue":{"value":{"amount":"+0.7913210988044739","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":"Q475787$7582E923-09D5-4846-851D-32BCDA7997DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c4558cf6582c3dbd408924d08ca7ab4dd3768f2","datavalue":{"value":{"entity-type":"item","numeric-id":3987986,"id":"Q3987986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755587107e15e2fd7a2845a5e680d299d4bce2ec","datavalue":{"value":{"amount":"+0.7913210988044739","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":"Q475787$A0BEE14F-CD34-4A1D-8D76-886B744D765A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d237f53e542a67717b10043f4282ef0c0fef0f0d","datavalue":{"value":{"entity-type":"item","numeric-id":3341556,"id":"Q3341556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f84597883cf7327378f5800aef228b61843920b","datavalue":{"value":{"amount":"+0.7551546692848206","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":"Q475787$E8D17624-A0F0-4781-B247-1CE4F51B8F52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realizing homotopy group actions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realizing_homotopy_group_actions"}}}}}