The free loop space and the algebraic K-theory of spaces
type: Item
instance of: scholarly article
title: The free loop space and the algebraic K-theory of spaces
zbMATH Open document ID: 0649.55001
DOI: 10.1007/BF00533987
published in: \(K\)-Theory
publication date: 1987-01-01T00:00:00Z
review text: Let \(\Lambda(X)\) denote the free loop space of a space X, let \(\Sigma\) denote suspension, and \(Q=\Omega^{\infty}\Sigma^{\infty}\). Define \(B(X)=Q\Sigma (ES^ 1\times_{S^ 1} \Lambda (X))\), and \(\tilde B(X)=fibre(B(X)\to B(point))\). Let A(X) denote the algebraic K-theory of the space X, and \(\tilde A(X)=\text{fibre}(A(X)\to A(\text{point})).\) Let finally Y denote a connected space of the (based) homotopy type of a (based) CW complex. With this notation, the paper is addressed to the following three theorems. Theorem 1. There is a homotopy equivalence of infinite loop spaces, \[ \tilde B(\Sigma Y)=Q\Sigma (ES^ 1_+ \wedge_{S^ 1} \Lambda \Sigma Y)\simeq \tilde A(\Sigma Y). \] Theorem 2. There is a homotopy equivalence of infinite loop spaces, \[ \prod_{n\geq 1}Q(EZ_{n^+} \wedge_{Z_ n} Y^{(n)})\simeq Q(ES^ 1_+ \wedge_{S^ 1} \Lambda (\Sigma Y)) \] where \(Y^{(n)}\) denotes the n-fold smash product of Y, which is acted upon by \(Z_ n\) by cyclic permutation of coordinates. Theorem 3. There is a homotopy equivalence of infinite loop spaces, \[ \prod_{n\geq 1}Q(EZ_{n^+} \wedge_{Z_ n} Y^{(n)})\simeq \Omega \tilde A(\Sigma Y). \] Of these, theorem 1 results by combining the other two theorems. Theorem 2 was obtained by the first two authors [Comment. Math. Helv. 62, 423-449 (1987; Zbl 0632.57028)], and theorem 3 has been proved by the third author [unpublished; an account will prescordingly. Suppose L is a Lie algebra over k. Then the following are equivalent: (a) L is central simple of index I. (b) L is isomorphic to a Lie algebra \(K(A,-)\) associated to a division algebra \((A,-)\) which is a form of an \((8,m)\)-product algebra.'' The algebra \(K(A,-)\) is a \({\mathbb{Z}}\)-graded Lie algebra constructed from A, its set of skew elements and a subalgebra of the Lie algebra of the endomorphisms of A. Necessary and sufficient conditions are given for two algebras \(K(A,-)\) and \(K(A',-)\) to be isomorphic by means of the so called Albert forms of the algebras \((A,…
Mathematics Subject Classification ID: 55P47
Mathematics Subject Classification ID: 18F25
Mathematics Subject Classification ID: 55P42
Mathematics Subject Classification ID: 55N15
Mathematics Subject Classification ID: 55R35
zbMATH DE Number: 4060296
zbMATH Keywords: algebraic K-theory of spaces
zbMATH Keywords: free loop space
zbMATH Keywords: infinite loop spaces
zbMATH Keywords: Albert forms
author: Gunnar Carlsson
author: Ralph L. Cohen
author: T. G. Goodwillie
author: Wu-Chung Hsiang
reviewed by: Alberto Elduque
MaRDI profile type: Publication
cites work: Groups of automorphisms of manifolds. With an appendix by E. Peders en
cites work: The cyclic groups and the free loop space
cites work: James Maps and E n Ring Spaces
cites work: Stable proofs of stable splittings
cites work: Q3317281
cites work: Pseudo-isotopy and invariant theory. I
cites work: Q4176157
cites work: Cyclic homology, derivations, and the free loopspace
cites work: Q4011148
cites work: Higher simple homotopy theory
cites work: A model for computing rational algebraic K-theory of simply connected spaces
cites work: Cyclic homology and the Lie algebra homology of matrices
cites work: Q3897708
cites work: Q3048986
cites work: Q3868473
cites work: Q3490176
cites work: Cyclic homology and algebraic K-theory of spaces. II
cites work: Relative algebraic K-theory and cyclic homology
full work available at URL: https://doi.org/10.1007/bf00533987
OpenAlex ID: W1975684099
description: scientific article; zbMATH DE number 4060296