{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q346702","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q346702","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q346702","kernelVersion":"v1","immutable":true,"modified":"2026-03-23T16:05:41Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q346702","name":"Bundles of spectra and algebraic \\(K\\)-theory","headline":"Bundles of spectra and algebraic \\(K\\)-theory","description":"scientific article; zbMATH DE number 6657541","url":"https://portal.mardi4nfdi.de/entity/Q346702","datePublished":"2016-11-30","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q346701"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q161301"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.2140/PJM.2016.285.427","url":"https://doi.org/10.2140/PJM.2016.285.427"},"sameAs":["https://doi.org/10.2140/PJM.2016.285.427"],"comment":"For a finite CW complex \\(X\\), the topological \\(K\\)-group \\(K^0(X)\\) is defined as the Grothendieck group \\(\\text{Gr}(M)\\) of the abelian monoid \\(M\\) of isomorphism classes of complex finite-dimensional vector bundles over \\(X\\). Let \\(K(R)\\) denote the algebraic \\(K\\)-theory spectrum of a ring spectrum \\(R\\). The author attempts here to give a bundle theoretical description of the cohomology group \\(K(R)^0(X)\\) similar to that in the above topological case. By a parametrized spectrum \\(E\\) is meant a family of spectrum \\(E_x\\) continuously parametrized by the points \\(x\\in X\\). Then an \\(R\\)-bundle \\(E\\) over \\(X\\) is defined as a parametrized spectrum with an associative and unital map \\(R\\wedge E\\to E\\) over \\(X\\). This \\(R\\)-bundle is said to be free of finite rank if every \\(E_x\\) is equivalent to \\(R^{\\vee n}\\) for some \\(n \\geq0\\). With these definitions the main result can be stated as follows: Let \\(M\\) be the abelian monoid consisting of the equivalence classes of lifted \\(R\\)-bundles over \\(X\\) which are free and finite rank. Then there is a natural isomorphism NEWLINE\\[NEWLINEK(R)^0(X)\\cong \\text{Gr}(M).NEWLINE\\]NEWLINE Here \\(\\lq\\lq\\)lifted'' means that its pullback \\((E, Y, p)\\) along an acyclic fibration \\(p : Y\\to X\\) is taken as an \\(R\\)-bundle \\(E\\) over \\(X\\). We know that \\(K(R)^0(X)\\) is the group of homotopy classes of maps from \\(X\\) to \\(\\Omega^\\infty K(R)\\) and in addition it holds that NEWLINE\\[NEWLINE\\Omega^\\infty K(R)\\simeq K_0(R)\\times B\\text{GL}_\\infty^+ (R).NEWLINE\\]NEWLINE Denoting by \\(\\psi\\) the function defined by taking a lifted free \\(R\\)-bundle \\((E, Y, p)\\) to the map sending \\(x\\in X\\) to \\(E_x\\), the author obtains that it can be extended to an epimorphism \\(\\bar{\\psi} : \\text{Gr}(M) \\to [X, K_0(R)]\\) admitting a splitting. It is subsequently shown that \\(\\text{ker}\\bar{\\psi}\\cong [X, B\\text{GL}_\\infty^+ (R)]\\) and so by virtue of the equivalence formula for \\(\\Omega^\\infty K(R)\\) above we can get the required isomorphism. In consequence, we find that the lifted condition on \\(E\\) reflects the Quillen plus construction of \\(B\\text{GL}_\\infty (R)\\)."},"provenance":{"prov:generatedAtTime":"2026-03-23T16:05:41Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}