{"entities":{"Q1290853":{"pageid":1301603,"ns":120,"title":"Item:Q1290853","lastrevid":46799577,"modified":"2025-12-25T15:06:51Z","type":"item","id":"Q1290853","labels":{"en":{"language":"en","value":"Projective elements in \\(K\\)-theory and self maps of \\(\\Sigma CP^{\\infty}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1295046"}},"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":"Q1290853$C4BEAAB5-39CF-4D22-88BA-92A724876DF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93a7a021578444ace895ecad1e8697bab30fdf97","datavalue":{"value":{"text":"Projective elements in \\(K\\)-theory and self maps of \\(\\Sigma CP^{\\infty}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1290853$768A71DE-ED53-4933-A8FA-B61F9A97F9CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d5445776c81d871a0fbaf194192167098d81301","datavalue":{"value":"0924.55002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290853$A6DBC3B7-96D5-4256-8E3A-EB38468F9FB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e31ed14888ec57d4c8abf8640adf49ad0cced4c2","datavalue":{"value":{"entity-type":"item","numeric-id":760940,"id":"Q760940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290853$A9A2AE68-FA0F-48AF-BD9D-7A4AD21F5887","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"77dc2fb917d9ddfc7ec1da3e21f74c52714e1a70","datavalue":{"value":{"entity-type":"item","numeric-id":172164,"id":"Q172164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290853$D92E5535-DD18-450A-9CCA-F7F159AA3C74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11c08903c3cbe4eb799842b0e1f7372cf85bfb80","datavalue":{"value":{"time":"+1999-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1290853$5C92AB9F-9233-4899-B3E0-492D4B71B5D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"587d8503631c1e6a42f608b3ab272d92d7ed8b8e","datavalue":{"value":"The author works in the homotopy category of based spaces and based maps. Given a space \\(X\\), let the reduced \\(K\\)-theory be denoted by \\(K(X)\\) and the homology group of integral coefficients by \\(H_*(X)\\). Let \\(\\mathbb{C}\\text{P}^\\infty\\) be the infinite-dimensional complex projective space. Let \\(\\eta\\) be the canonical line bundle over \\(\\mathbb{C}\\text{P}^\\infty\\) and \\(i:\\mathbb{C}\\text{P}^\\infty\\to \\text{BU}\\) be the classifying map of the virtual bundle \\(\\eta-1\\). Since BU has a loop space structure, there exists a unique extension of \\(i\\) to the loop map \\(j:\\Omega\\Sigma \\mathbb{C}\\text{P}^\\infty\\to \\text{BU}\\).   In this paper, the author investigates the following problems: Given an element \\(\\alpha\\in K(X)\\), when does there exist a lift \\(\\widehat\\alpha\\in [X,\\Omega\\Sigma \\mathbb{C}\\text{P}^\\infty]\\) such that \\(j_*(\\widehat\\alpha)= \\alpha\\)? If \\(\\alpha\\) has a lift, how can we construct the lift \\(\\widehat\\alpha\\)? Define \\(\\text{PK}(X)= \\{\\alpha\\in K(X)\\mid\\exists\\widehat\\alpha\\in [X,\\Omega\\Sigma \\mathbb{C}\\text{P}^\\infty]\\) such that \\(j_*(\\widehat\\alpha)= \\alpha\\}\\). If an element \\(\\alpha\\in K(X)\\) belongs to \\(\\text{PK}(X)\\), one says that \\(\\alpha\\) is projective. The significance of the above problem is as follows: The James splitting theorem [\\textit{I. M. James}, ``The topology of Stiefel manifolds'', Lect. Note Series 24 (1976; Zbl 0337.55017)] implies that there exists a loop map \\(\\theta: \\text{BU}\\to \\Omega^\\infty \\Sigma^\\infty\\mathbb{C}\\text{P}^\\infty\\) such that \\(\\theta\\circ j= E^\\infty: \\Omega\\Sigma\\mathbb{C}\\text{P}^\\infty\\to \\Omega^\\infty\\Sigma^\\infty \\mathbb{C}\\text{P}^\\infty\\). Therefore, given an element \\(\\alpha\\in K(X)\\), the stable map, \\(\\text{ad }j\\circ(\\theta(\\alpha)): \\Sigma^\\infty X\\to\\Sigma^\\infty \\mathbb{C}\\text{P}^\\infty\\) can be considered. Using the information of \\(K(X)\\), the induced homomorphism [\\textit{C. A. McGibbon}, Trans. Am. Math. Soc. 271, 325-346 (1982; Zbl 0491.55014); \\textit{K. Morisugi}, Publ. Res. Inst. Math. Sci. 24, No. 2, 301-309 (1988; Zbl 0657.55010)] of \\(\\text{ad }j \\circ(\\theta(\\alpha))_*: H_*(X)\\to H_*(\\mathbb{C}\\text{P}^\\infty)\\) can be calculated. If \\(\\alpha\\) has a lift \\(\\widehat\\alpha\\), then this implies that the stable map \\(\\text{ad }j\\circ(\\theta(\\alpha))\\) and its induced homomorphism come from the unstable map \\(\\text{ad }j\\circ(\\widehat\\alpha): \\Sigma X\\to \\Sigma\\mathbb{C}\\text{P}^\\infty\\). These imply that the determination of \\(\\text{PK}(X)\\) gives complete information of the image of the homomorphism: \\([\\Sigma X,\\Sigma\\mathbb{C}\\text{P}^\\infty]\\to \\Hom(H_*(X), H_*(\\mathbb{C}\\text{P}^\\infty))\\). However, since the above factors through \\(\\Hom(H_*(X), H_*(\\Omega \\Sigma\\mathbb{C}\\text{P}^\\infty))\\), it is desirable to obtain the image of \\([X,\\Omega\\Sigma \\mathbb{C}\\text{P}^\\infty]\\to \\Hom(H_*(X), H_*(\\Omega\\Sigma \\mathbb{C}\\text{P}^\\infty))\\). So, if possible, it is preferable to have the information not of \\(\\text{ad }j\\circ(\\widehat\\alpha)_*\\) but \\(\\widehat\\alpha_*: H_*(X)\\to H_*(\\Omega\\Sigma \\mathbb{C}\\text{P}^\\infty)\\). For this the geometry of the lift \\(\\widehat\\alpha\\) is necessary.   In this context, the author proves five theorems and a corollary. In Theorem 1.1 it is proved that if \\(\\mathbb{C}\\text{P}^\\infty\\wedge \\mathbb{C}\\text{P}^\\infty\\to \\mathbb{C}\\text{P}^\\infty\\) is the adjoint of the Hopf construction for the H-space \\(\\mathbb{C}\\text{P}^\\infty\\), then this map has an extension \\(\\#:\\Omega\\Sigma \\mathbb{C}\\text{P}^\\infty\\wedge \\Omega\\Sigma\\mathbb{C}\\text{P}^\\infty\\) such that \\(j\\circ\\#= \\bigotimes\\circ(j\\wedge j)\\), where \\(\\bigotimes: \\text{BU}\\wedge \\text{BU}\\to \\text{BU}\\) is the map which represents the external tensor product \\(K(X)\\otimes K(Y)\\to K(X\\wedge Y)\\). In Theorem 1.2 the properties of \\(\\text{PK}(X)\\) are established. Theorem 1.4 contains an evaluation of the commutator in the group \\([\\mathbb{C}\\text{P}^\\infty, \\Omega\\Sigma\\mathbb{C}\\text{P}^\\infty]\\) and in the Theorem 1.5 the Hurewicz homomorphism \\(h: \\pi_*(\\Omega\\Sigma \\mathbb{C}\\text{P}^\\infty)\\to H_*(\\Omega\\Sigma \\mathbb{C}\\text{P}^\\infty)\\) is studied. As a corollary of Theorem 1.5 it is proved that the group \\([\\Sigma \\mathbb{C}\\text{P}^n,\\Sigma \\mathbb{C}\\text{P}^n]\\) is not commutative for \\(n\\geq 3\\). Theorem 1.7 is a technical result concerning the composition structure of the adjoints of some maps \\(f_n: \\mathbb{C}\\text{P}^\\infty\\to \\mathbb{C}\\text{P}^\\infty\\) inductively defined starting from the inclusion \\(f_1: \\mathbb{C}\\text{P}^\\infty\\to \\mathbb{C}\\text{P}^\\infty\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290853$40BF067D-7BD9-45D3-8828-B26805AD05E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8d15dff5987fa966dec5b70312142d908c224362","datavalue":{"value":{"entity-type":"item","numeric-id":587483,"id":"Q587483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290853$098FA175-DCE8-42B1-A270-E73AFA413E5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9caab26fda95fa74fd6e59e44f16009012de257d","datavalue":{"value":"55N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290853$04DA9F45-51C9-411B-B3CF-2113657CAF47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54f287ba8e48302c8f03ec7d6204d99255d7969f","datavalue":{"value":"1295046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290853$CB853C13-2CBB-416A-B675-1295F8D7355A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8309361497acb0a3174ff09d34bc292110b6a596","datavalue":{"value":"projective element","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290853$48242AF4-901F-466E-B534-8FC3D5CCDF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b960f15b81a6f08c54d3777b2d5b77359c1c19","datavalue":{"value":"lift","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290853$E41622F2-B4D3-41B0-9728-996FED33E500","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":"Q1290853$6DCEECA6-C38B-4A3E-A74B-84A414452203","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c4575af1f1cbad2f3012e51c5d1e58e3c737ff5","datavalue":{"value":"https://doi.org/10.1215/kjm/1250518164","type":"string"},"datatype":"url"},"type":"statement","id":"Q1290853$48C3821D-E369-4705-A315-CF88E9BBCC8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2aff0a17af96a96f2ee57aaf6ce46d0b47c32abe","datavalue":{"value":"W1923207764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290853$44D092F1-8904-48A8-892D-72357C867FCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52460dfa6025997339666af79828988051897120","datavalue":{"value":"10.1215/KJM/1250518164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290853$E0D82E44-29A4-4920-A5F9-A784128D4F82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a122e8ab5b3b754455993d5dccdcaa97d47efb","datavalue":{"value":{"entity-type":"item","numeric-id":2474988,"id":"Q2474988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef93c5c12fc3a1591203eb5b168d7e53a73a4309","datavalue":{"value":{"amount":"+0.7629133462905884","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":"Q1290853$BEDE3AFB-6269-467F-AF2A-4BCF2E0F1788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c445824f095ab1524b8cebc2ee9328034a07294","datavalue":{"value":{"entity-type":"item","numeric-id":2669064,"id":"Q2669064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d3859dc55fb28138e0d21d1635543ebd4abdd9","datavalue":{"value":{"amount":"+0.7459985613822937","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":"Q1290853$E4431026-2590-4D3C-A1BE-99F99ADA2DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4c54b873a0c786de1b2ca83011c1c94ca1933d","datavalue":{"value":{"entity-type":"item","numeric-id":4280727,"id":"Q4280727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c8cc42891b960e6cdc23b804636fd9cc15583f","datavalue":{"value":{"amount":"+0.739480197429657","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":"Q1290853$3E1036F2-9B3A-45E7-A2BB-F8CD771183B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1290853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1290853"}}}}}