{"entities":{"Q697328":{"pageid":699177,"ns":120,"title":"Item:Q697328","lastrevid":63794448,"modified":"2026-04-11T15:35:27Z","type":"item","id":"Q697328","labels":{"en":{"language":"en","value":"Algebraic models for equivariant homotopy theory over Abelian compact Lie groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1801559"}},"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":"Q697328$360D0972-ADF6-4D65-8FE4-E0F63B36DE67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7741ed75ae4b15aecc286ff37b306a9ed4dc376f","datavalue":{"value":{"text":"Algebraic models for equivariant homotopy theory over Abelian compact Lie groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q697328$504D119A-2472-480F-AD8E-F690E30DD295","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77bfb6c4a0a2e915ab3076f0a1a71870e4922e19","datavalue":{"value":"1005.55003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q697328$B13A243F-EE4A-4D2B-B834-8E39457F8D9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a069ccd17565ad75228c8239f49e7f1510d117f1","datavalue":{"value":{"entity-type":"item","numeric-id":404270,"id":"Q404270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q697328$355D3CE4-D251-4EFE-B302-BD5EE675FA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f519f0ab7b31065e54b09e92a0bd11b712c68bb","datavalue":{"value":{"entity-type":"item","numeric-id":593238,"id":"Q593238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q697328$9EE8C96E-5240-47D9-93F4-DBB5ECE3A1CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q697328$C6C2A5B8-839C-4AAC-9CEE-7EEFF69E43E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92f55da0add812abf5d06bb141700aa8a6daeda5","datavalue":{"value":{"time":"+2002-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q697328$5C463015-8272-4ABA-81A6-AAA977AD03EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"478c54c92c4efcff332c4d3cee4ccf6255410db7","datavalue":{"value":"http://hdl.handle.net/2027.42/41950","type":"string"},"datatype":"url"},"type":"statement","id":"Q697328$D8B8FD76-7CD5-48C3-95FA-0BC5AFFC3C0F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12d9f59e975c67b3eda046bb627ff6c33c623794","datavalue":{"value":"This work lays the foundations for rational and \\(p\\)-adic \\(G\\) homotopy theory, where \\(G\\) is a compact abelian Lie group. An equivariant map of \\(G\\)-spaces \\(f:X\\to Y\\) is called an equivariant rational or \\(p\\)-adic equivalence if the induced map on the \\(H\\)-fixed spaces \\(f^H:X^H\\to Y^H\\) induces a homology isomorphism with rational or \\(\\mathbb{Z}/p\\mathbb{Z}\\) coefficients for any closed subgroup \\(H\\subset G\\). The equivariant rational or \\(p\\)-adic homotopy category is then defined as a category obtained from \\(G\\)-spaces by formally adding inverses of these equivariant rational or \\(p\\)-adic equivalences. The purpose of this paper is to produce algebraic models of these equivariant categories. The key technique is to use the algebraic models due to \\textit{D. Sullivan} and the first author \\([E_\\infty\\) algebras and \\(p\\)-adic homotopy theory, Topology, to appear].   Let \\({\\mathcal O}_G\\) denote the category of consisting of the orbits \\(G/H\\) and the \\(G\\)-maps between them. Then the morphisms are given by \\(\\text{Hom}_G (G/H,G/K) \\cong(G/K)^H\\) and so \\({\\mathcal O}_G\\) is topologized via these isomorphisms. But the algebraic models mentioned above cannot be applied directly to \\({\\mathcal O}_B\\) since it is not discrete in general. The effect of the condition such that \\(G\\) is abelian consists in converting \\({\\mathcal O}_B\\) into a certain discrete category. The procedure described here is fairly intricate, but the exposition is well organized. Let \\(EG\\to BG\\) denote the universal principal \\(G\\)-bundle and \\(G_e\\) the identity component of \\(G\\). Let \\(G/K[H]\\) denote the orbit \\(G/K\\) on which \\(G/H\\) can act. One of the steps to the authors' approach is then to consider a diagram of bundles of the form \\(E(G/H)\\times_{(G/H)_e}G/K[H]\\to E(G/H) \\times_{ (G/H)_e}*\\) where \\(*\\) denotes the one-point space. Such diagrams together with the maps between them which commute form a discrete category. Then the main result (Theorems A and B) is outlined as follows: There is a functor from the equivariant rational or \\(p\\)-adic homotopy category to the homotopy category consisting of commutative differential graded \\(\\mathbb{Q}\\)- or \\(E_\\infty \\overline \\mathbb{F}_p\\)-algebras indexed over this category. On the full subcategory of \\(G\\)-simply connected \\(G\\)-finite \\(\\mathbb{Q}\\)- or \\(p\\)-type \\(G\\)-spaces, this functor becomes full and faithful.","type":"string"},"datatype":"string"},"type":"statement","id":"Q697328$F91C58AB-1389-42A2-95C5-4807181230A8","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":"Q697328$0F31E284-D4E4-4E35-8668-881214487865","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b99005280ef1626a98795c032281c63ce65fc1d8","datavalue":{"value":"55P91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q697328$7C890323-516E-4B87-A151-DCBF4B0010EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c2f67869d26c9dc70339f9cc33416aff4c4771b","datavalue":{"value":"55P62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q697328$D948E7C1-6D51-4E88-8435-1CDB1C1B18DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39c3601243f91e588b67971b59b5b138c8c873d5","datavalue":{"value":"55P92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q697328$6DAB73B1-A790-4BAA-B9BF-EE97B22ABA76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b34845ca86f9f2840843f1680977c7b0a11916d","datavalue":{"value":"1801559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q697328$447B14FE-D6AA-4988-9098-2474D4CBA94C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b7d8902b90d8450c655e01566c21de99bc3a5cf","datavalue":{"value":"rational homotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q697328$9CF4D6AD-C16E-4AB9-A234-439DF827196C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31149ea4690d94a4e2ad4d49d012271824e9cb51","datavalue":{"value":"\\(p\\)-adic homotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q697328$B4F3F99D-CB40-472F-B080-622F9C25EAF7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cc0778570f0f12ebb39ee2cc04d4c623090140b9","datavalue":{"value":"Q115388796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q697328$2845D958-F64C-4365-8682-37DDF3DB07B1","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":"Q697328$12CB1A62-98E7-4736-9F32-CC5521F080BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abd307b882931d4b7708158f205db97649061481","datavalue":{"value":"W2117666768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q697328$96575B1D-EE4D-4AF4-A157-FB1EADF0CB79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f1f733fcacca36017d7fb43d59421721002074a","datavalue":{"value":"10.1007/S002090100382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q697328$5A1DEA4C-18A1-4AA6-8605-BE60DA45AC72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d252ef2a3714dcb1283ed0e9ee9886a0fd3c3bf3","datavalue":{"value":{"entity-type":"item","numeric-id":5442140,"id":"Q5442140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d4d0ef570ec10614a7a8bcc332c135208ebd56","datavalue":{"value":{"amount":"+0.8261600732803345","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":"Q697328$D4916684-F539-4456-B326-28AE843A8869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e3127ebe771d1c12a094d1519103b67c747ed0","datavalue":{"value":{"entity-type":"item","numeric-id":1934968,"id":"Q1934968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6349629b8e91502c5de973f1e9dc8ea1dd6fd41","datavalue":{"value":{"amount":"+0.8097299337387085","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":"Q697328$F3C2B398-6A39-4550-92B7-AA642BC0C5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc8a37f67997808330058ec720beb97745f76fa","datavalue":{"value":{"entity-type":"item","numeric-id":290763,"id":"Q290763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaeddc0d3489c7d55550f0906c684beeb4d5cfd2","datavalue":{"value":{"amount":"+0.8050877451896667","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":"Q697328$DE6596DC-D1CD-42B6-AA1F-FC8A206A96D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6294cd92bd26cb1c72a1f646b4a65b4f0753c14b","datavalue":{"value":{"entity-type":"item","numeric-id":1612287,"id":"Q1612287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ffab01c9274acc0bb55080beee5a026611f194","datavalue":{"value":{"amount":"+0.8006016612052917","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":"Q697328$C1F61518-BC69-4744-A4E0-F22C19D5B5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1d80dc0204ee46d05314c6b9ef3633454ab3e9","datavalue":{"value":{"entity-type":"item","numeric-id":3576341,"id":"Q3576341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f92b9149774b63747e047b40a797b0e9218284","datavalue":{"value":{"amount":"+0.7978782653808594","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":"Q697328$FF26CC6A-4A94-4223-83BA-971BA3F96368","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic models for equivariant homotopy theory over Abelian compact Lie groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_models_for_equivariant_homotopy_theory_over_Abelian_compact_Lie_groups"}}}}}