Skip to main content
added 133 characters in body
Source Link
Qiaochu Yuan
  • 118.2k
  • 40
  • 447
  • 741

Let me make some guesses, although I worry I'll only say some formal things you already know (or that are wrong).

One description of the Waldhausen K-theory of a pointed connected space $X$ is that it is the algebraic K-theory of the group algebra $\mathbb{S}[\Omega X]$ of its loop space over the sphere spectrum. Module spectra over $\mathbb{S}[\Omega X]$ have the following equivalent descriptions:

  • Representations of $\Omega X$ on spectra.
  • Families of spectra over $X$ (Koszulby a kind of Koszul duality).

What Waldhausen seems to mean by "linearization" is passing from the sphere spectrum to $\mathbb{Z}$, by which I mean $\mathbb{Z}$ the Eilenberg-MacLane spectrum. Now we want to look at the algebraic K-theory of the group algebra $\mathbb{Z}[\Omega X]$. A more familiar avatar of this, passing through stable Dold-Kan, is chains $C_{\bullet}(\Omega X)$. Module spectra over this group algebra have the following equivalent descriptions:

  • Representations of $\Omega X$ on $\mathbb{Z}$-module spectra.
  • Representations of $\Omega X$ on chain complexes over $\mathbb{Z}$ (stableby stable Dold-Kan).
  • Under a connectivity hypothesis, representations of $\Omega X$ on simplicial abelian groups (ordinaryby ordinary Dold-Kan).
  • Under a connectivity hypothesis, representations of $\Omega X$ on topological abelian groups (simplicial ~by a suitably monoidal version of the equivalence between simplicial sets and topological spaces).
  • FamiliesUnder a connectivity hypothesis, families of topological abelian groups over $X$, or abelian groups in families of spaces over $X$ (Koszulby Koszul duality again).

Let me make some guesses, although I worry I'll only say some formal things you already know (or that are wrong).

One description of the Waldhausen K-theory of a pointed connected space $X$ is that it is the algebraic K-theory of the group algebra $\mathbb{S}[\Omega X]$ of its loop space over the sphere spectrum. Module spectra over $\mathbb{S}[\Omega X]$ have the following equivalent descriptions:

  • Representations of $\Omega X$ on spectra.
  • Families of spectra over $X$ (Koszul duality).

What Waldhausen seems to mean by "linearization" is passing from the sphere spectrum to $\mathbb{Z}$. Now we want to look at the algebraic K-theory of the group algebra $\mathbb{Z}[\Omega X]$. A more familiar avatar of this, passing through stable Dold-Kan, is chains $C_{\bullet}(\Omega X)$. Module spectra over this group algebra have the following equivalent descriptions:

  • Representations of $\Omega X$ on $\mathbb{Z}$-module spectra.
  • Representations of $\Omega X$ on chain complexes over $\mathbb{Z}$ (stable Dold-Kan).
  • Under a connectivity hypothesis, representations of $\Omega X$ on simplicial abelian groups (ordinary Dold-Kan).
  • Under a connectivity hypothesis, representations of $\Omega X$ on topological abelian groups (simplicial ~ topological).
  • Families of topological abelian groups over $X$, or abelian groups in families of spaces over $X$ (Koszul duality).

Let me make some guesses, although I worry I'll only say some formal things you already know (or that are wrong).

One description of the Waldhausen K-theory of a pointed connected space $X$ is that it is the algebraic K-theory of the group algebra $\mathbb{S}[\Omega X]$ of its loop space over the sphere spectrum. Module spectra over $\mathbb{S}[\Omega X]$ have the following equivalent descriptions:

  • Representations of $\Omega X$ on spectra.
  • Families of spectra over $X$ (by a kind of Koszul duality).

What Waldhausen seems to mean by "linearization" is passing from the sphere spectrum to $\mathbb{Z}$, by which I mean $\mathbb{Z}$ the Eilenberg-MacLane spectrum. Now we want to look at the algebraic K-theory of the group algebra $\mathbb{Z}[\Omega X]$. A more familiar avatar of this, passing through stable Dold-Kan, is chains $C_{\bullet}(\Omega X)$. Module spectra over this group algebra have the following equivalent descriptions:

  • Representations of $\Omega X$ on $\mathbb{Z}$-module spectra.
  • Representations of $\Omega X$ on chain complexes over $\mathbb{Z}$ (by stable Dold-Kan).
  • Under a connectivity hypothesis, representations of $\Omega X$ on simplicial abelian groups (by ordinary Dold-Kan).
  • Under a connectivity hypothesis, representations of $\Omega X$ on topological abelian groups (by a suitably monoidal version of the equivalence between simplicial sets and topological spaces).
  • Under a connectivity hypothesis, families of topological abelian groups over $X$, or abelian groups in families of spaces over $X$ (by Koszul duality again).
Source Link
Qiaochu Yuan
  • 118.2k
  • 40
  • 447
  • 741

Let me make some guesses, although I worry I'll only say some formal things you already know (or that are wrong).

One description of the Waldhausen K-theory of a pointed connected space $X$ is that it is the algebraic K-theory of the group algebra $\mathbb{S}[\Omega X]$ of its loop space over the sphere spectrum. Module spectra over $\mathbb{S}[\Omega X]$ have the following equivalent descriptions:

  • Representations of $\Omega X$ on spectra.
  • Families of spectra over $X$ (Koszul duality).

What Waldhausen seems to mean by "linearization" is passing from the sphere spectrum to $\mathbb{Z}$. Now we want to look at the algebraic K-theory of the group algebra $\mathbb{Z}[\Omega X]$. A more familiar avatar of this, passing through stable Dold-Kan, is chains $C_{\bullet}(\Omega X)$. Module spectra over this group algebra have the following equivalent descriptions:

  • Representations of $\Omega X$ on $\mathbb{Z}$-module spectra.
  • Representations of $\Omega X$ on chain complexes over $\mathbb{Z}$ (stable Dold-Kan).
  • Under a connectivity hypothesis, representations of $\Omega X$ on simplicial abelian groups (ordinary Dold-Kan).
  • Under a connectivity hypothesis, representations of $\Omega X$ on topological abelian groups (simplicial ~ topological).
  • Families of topological abelian groups over $X$, or abelian groups in families of spaces over $X$ (Koszul duality).