Let $\mathbb{F}$ be a field. Let $K(\mathbb{F})$ be its algebraic (Quillen) $K$-theory spectrum. Let $X$ be a (nice, finite CW) topological space and let $\text{Rep}\Omega(X)$ be the DG category of (homologically) finite complexes of $\mathbb{F}$-valued representations of the DG algebra of chains on $\Omega(X)$ with values in $\mathbb{F}$ (equivalently, the $\infty$-category of $\mathbb{F}$-valued representations of the topological group $\Omega X$).

I'm hoping for an expression of the algebraic $K$ theory of $\text{Rep}\Omega(X)$ as some sort of cohomology of $X$ with values in the $K$ theory spectrum. If I understand correctly, this is too much to ask for, since Quillen $K$ theory does not commute with inverse limits in the category of (DG) categories. I would like to know if/when one could modify this picture to make such a statment true. In particular, I wonder whether negative or Bass $K$ theories (which I don't know much about) would give such a result.

The sort of theory I'm looking for should be a contravariant functor $F$ from the $(\infty, 1)$-category of (sufficiently nice) DG algebras over $\mathbb{F}$ to spectra with the following properties:

  • $F$ takes finite direct limits in the category of algebras to inverse limits of spectra (i.e. can be computed from DG generators and relations).
  • There is a map from the Grothendieck group of homologically finite-dimensional representations (i.e. representations with finitely many finite-dimensional $\mathbb{F}$-vector space homotopy groups) of $A$ to $F(A)$, which cannot be (naturally) extended to finitely-generated representations.

The reason I'm looking for such a theory is that an inverse limit of $K$ theory groups (of semisimple categories) is appearing in some algebraic $K$ theory calculations for group algebras (and also, of course, by analogy with classical $K$-theory, where one deals only with bundles with finite fibers).

  • what is $Rep\Omega(X)$ concretely? more precise formulation. – Max Dec 23 '15 at 15:51
  • What I want is an invariant of the ring $\text{Chains}\Omega(X)$, whose $\pi_0$ admits a map from the Grothendieck group of $\text{rep}\Omega(X)$, which I want to define as the category of (homologically) graded finite-dimensional $\mathbb{F}$ spaces with homotopy action by the group $\Omega(X)$ (a pre-triangulated DG category). – Dmitry Vaintrob Dec 24 '15 at 0:14
  • 1
    You want to understand the $\infty$-category of modules over $C_*(\Omega X)$, but isn't $C_*(\Omega X)$ Koszul dual to $C^*(X)$ under certain connectivity hypothesis? I would guess that you should look at the paper of Blumberg and Mandell: jtopol.oxfordjournals.org/content/early/2011/03/29/… – Sean Tilson Jan 4 '16 at 10:44

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.