{"entities":{"Q1713061":{"pageid":1723802,"ns":120,"title":"Item:Q1713061","lastrevid":72836646,"modified":"2026-04-14T08:09:37Z","type":"item","id":"Q1713061","labels":{"en":{"language":"en","value":"Anick spaces and Kac-Moody groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7006392"}},"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":"Q1713061$7F52FDA0-2606-44E1-B76F-830B82679121","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d44fe1eb6a60a43155f61cf4e6569e8c4401f725","datavalue":{"value":{"text":"Anick spaces and Kac-Moody groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1713061$1493BBE4-6397-4EC0-B544-F23B0D288DFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f06a65b7e52a08bc8d5bf6b60e69fedabc13dfa3","datavalue":{"value":"1408.55008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713061$8942130A-7611-4449-AD00-B51E9C09668F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4b9002cf27b8127c357783774cf1eb8e2902202","datavalue":{"value":{"entity-type":"item","numeric-id":166428,"id":"Q166428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713061$6DC448F6-7B99-4B8F-9BE1-350B3A0383D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd39a34925a9d3eaa0799a6ae0cd2538d190ed0d","datavalue":{"value":{"time":"+2019-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1713061$F850FDE9-4CDC-4600-A5A9-D9E3CEAA82DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"275643f8d35c5951bf9660b4f27004e2e5ff92c3","datavalue":{"value":"For an odd prime \\(p\\geq 3\\) and an integer \\(r\\geq 1\\), let \\(P^{n+1}(p^r)=S^n\\cup_{p^r}e^{n+1}\\) denote the mod \\(p^r\\) Moore space and let \\(T^{2n+1}(p^r)\\) denote the Anick space constructed by \\textit{D. Anick} [Differential algebras in topology. Wellesley, MA: A. K. Peters (1993; Zbl 0770.55001)] such that there is a homotopy fibration \\[ S^{2n-1}\\longrightarrow T^{2n+1}(p^r)\\longrightarrow \\Omega S^{2n+1} \\] and that there is a coalgebra isomorphism \\(H_*(T^{2n+1}(p^r);\\mathbb{Z}/p)\\cong E[u_{2n-1}]\\otimes \\mathbb{Z}/p [v_{2n}]\\) with \\(\\beta^r (v_{2n})=u_{2n-1}\\) (where \\(\\beta^r\\) denotes the \\(r\\)-th Bockstein). Let \\(C^{2n+1}(p^r)\\) denote the homotopy cofibration of \\[ p^{4n}(p^r)\\mathop{\\longrightarrow}\\limits^{[\\nu ,\\mu]} P^{2n+1}(p^r) \\longrightarrow C^{2n+1}(p^r), \\] where \\([\\nu,\\mu]\\) denotes the mod \\(p^r\\) Whitehead product of the identity map \\(\\nu\\) on \\(P^{2n+1}(p^r)\\) and the Bockstein map \\(\\mu\\). Note that F. Cohen, J. Moore and J. Neisendorfer conjectured that the space \\(\\Omega T^{2n+1}(p^r)\\) retracts off \\(\\Omega^2P^{2n+1}(p^r)\\) and \\textit{J. Neisendorfer} [Topology 38, No. 6, 1293--1311 (1999; Zbl 0935.55008)] proved this conjecture affirmatively for \\(r\\geq 2\\). In this paper, firstly the authors consider this problem for \\(r=1\\) and they prove that \\(\\Omega T^{2n+1}(p^r)\\) is a retract of \\(\\Omega^2C^{2n+1}(p^r)\\) when \\(p\\geq 5\\), \\(r\\geq 1\\) and \\(n\\geq 2\\). Next they consider the relation between Anick spaces and certain rank \\(2\\) Kac-Moody groups constructed by Kitchloo. Let \\(k\\in \\{p,2p\\}\\) or let \\(k\\) be a divisor of \\(p-1\\) or \\(p+1\\). Then Kitchloo showed that there is a non-empty set \\(\\mathcal{V}_k\\subset \\mathbb{Z}_{\\geq 1}\\) with the property that if \\(r\\in \\mathcal{V}_k\\) there is a rank \\(2\\) Kac-Moody group such that there is an isomorphism \\(H_*(K;\\mathbb{Z}/p)\\cong E[z_3,y_{2k-1}]\\otimes \\mathbb{Z}/p [x_{2k}]\\) with \\(\\beta^r(x_{2k})=y_{2k-1}\\) and that there is a homotopy fibration sequence \\[ S^3\\mathop{\\longrightarrow}\\limits^{i} K\\mathop{\\longrightarrow}\\limits^{\\delta} X \\longrightarrow BS^3\\mathop{\\longrightarrow}\\limits^{Bi}BK \\] where \\(i\\) is an inclusion of groups and \\(\\delta\\) is the projection. It is known that there is an isomorphism \\(H_*(X;\\mathbb{Z}/p)\\cong H_*(T^{2n+1}(p^r);\\mathbb{Z}/p)\\) and he conjectured that there is a \\(p\\)-local fibration \\(S^{2k-1}\\to X\\to \\Omega S^{2k+1}\\) that is equivalent to Anick's fibration for \\(n=k\\). His weaker conjecture is that there is a \\(p\\)-local homotopy equivalence \\(X\\simeq_pT^{2k+1}(p^r)\\). The second purpose of the authors is to consider this weaker conjecture and they show that if \\(1