For the purposes of this post, I am going to assume that you are all familiar with the basics of Algebraic -theory. If you’re not, just treat it as a black box, a gadget which takes in one of :
and spits out a spectrum , such that does the job of ”storing all Euler characteristics” or “additive invariants”.
An important example is when is the category of finitely generated projective modules over a ring , and then we call this . It is a generally-accepted fact that the -theory of rings is generically a very difficult and often useful thing to compute (knowledge of the -groups of , for example, would be quite valuable to many). In an ideal world, we would be able to understand the functor
on the category of algebras augmented over a given ring , but this ends up being fairly intractable. One might hope that it would be easier to look at what happens when restricted to free augmented algebras, that is looking at the functor on (flat) -bimodules
where is the tensor algebra on . This is pretty tough, but it turns out that we can do it. Let’s take a baby step first, and try to understand the K-theory of the “linearized” tensor algebra. The 1st Goodwillie derivative of the identity functor on augmented -algebras is given by
where is the augmentation ideal of . In the case where for some -bimodule , then the Goodwillie derivative , where is the the square-zero extension of by , the ring given by demanding that . In studying the -theory of square-zero extensions, then, we are also studying the -theory of the linearization of the tensor algebra functor (note how many simplifications we have already done!).
A different strategy for dealing with this computational difficulty is to try and understand how the -theory of a ring changes as we “perturb” the ring. To do this, we look at “parametrized -theory” (or the “-theory of parametrized endomorphisms”):
Definition. Let be a ring, and let be an -bimodule. We define the parametrized -theory of with coefficients in , , to be the -theory of the exact category of pairs where is a finitely-generated projective -module and is a map of -modules.
We think about as being the -theory of endomorphisms with coefficients that are allowed to be in . If our picture of a finitely-generated projective -module is as living as a summand of a rank free -module, then an element of the above exact category is an matrix with entries in that commutes with the projection map defining .
Why should we look towards endomorphisms as perturbations? Well, the picture is supposed to be the following: Let be a ring and an -bimodule. This is the same data as a sheaf over , and we would like to think of a deformation of this over, say, as a flat sheaf over (a module) that restricts to over .
which corresponds to an element of , or a derived endomorphism. The idea is that an extension of corresponds to a deformation of , which is a reasonable perspective.
The above definition is not immediately seen to be relevant to our original stated desire to study perturbations, but in the investigations of Dundas and McCarthy of stable -theory, the -theory of endomorphisms naturally comes up. In this paper they prove the following theorem:
Theorem. For a ring and a discrete -bimodule)
where is again the the square-zero extension of by .
We think of as a perturbation of by , as the elements that we are adding on (those coming from the direct summand ) are “so small’’ that they multiply to zero. This result relates the “perturbation’’ approach to understanding -theory to our earlier potential approach of understanding the free objects in the category of augmented -algebras.
That’s great, but we’d like to actually have some idea of what these things are. To get a hint at what we should be looking for, we go back to what was classically studied by Almkvist et al.
Definition. Let be a ring and consider the category , whose objects are pairs with a finitely-generated projective -module and an endomorphism. The morphisms in this category are commutative diagrams of the appropriate type.
Now, we might ask what possible “additive invariants’’ there are on this category, having in mind a few examples. The key (and, as it turns out, universal) one is the following:
Example. [The Characteristic Polynomial] Let , then the characteristic polynomial of is given by
This can also be obtained in the usual way as a determinant.
The important property of the characteristic polynomial is that if we have a commutative diagram in
with exact rows, then
meaning that the characteristic polynomial takes short exact sequences of endomorphisms to products (which are sums in the abelian group where the characteristic polynomials lie).
We now know that a search for additive invariants is a desire to compute -theory, and so we define:
Definition. is defined to be the free abelian group on isomorphism classes of objects in modulo the subgroup generated by the relations if there is a commutative diagram
with the rows exact. There is a natural splitting
coming from thinking of the category of finitely generated projective -modules as living in as the guys with endomorphisms.
Of course, is an exact category, and we could define higher -groups for this as well.
is the repository for additive invariants, in that it has the following universal property:
Proposition. Let be a map from the commutative monoid of isomorphism classes of objects in to an abelian group , such that splits short exact sequences as above. Then factors through , or is the initial abelian group for which short exact sequences of endomorphisms split.
What does this look like, though? Well, let’s go back to the characteristc polynomial:
Theorem. The map
is an isomorphism
is the multiplicative group of fractions with constant term 1.
The moral of this is that the characteristic polynomial encodes all of the additive information about an endomorphism (the trace is a special case of this, of course, being read off by the constant term of the characteristic polynomial). Something interesting is the following:
Proposition. The inclusion exhibits as a dense -subring of , where are the big Witt vectors of , modelled as power series with constant term .
This means that we might as well think of the big Witt vectors as being limits of characteristic polynomials of endomorphisms, which is the starting point for the line of thought that led to the Lindenstrauss and McCarthy results.
It is also important to mention what some of the uses of this equivalence are:
The first thing to do to start generalizing the previous construction is to allow for a “parametrization’’, like we said before.
Definition. Let be a ring and an -bimodule. is the category whose objects are pairs with a finitely generated projective -module and a map of -modules. As in , morphisms are commutative diagrams.
inherits an exact/Waldhausen structure from considering what’s happening in the “base’’, and so it makes sense to define parametrized -theory as
There is a natural map from to the category of finitely generated projective -modules that forgets the endomorphism, and so we can reduce and consider
We can also consider to be simplicial by geometrically realizing, and this assembles to a functor
which is a good setting to do Goodwillie calculus.
The remarkable result of Lindenstrauss-McCarthy is the following:
Theorem. The functors from simplicial -bimodules to spectra have the same Taylor tower, where is a “topological Witt vectors’’ construction.
Now, this is only remarkable if I tell you what this functor is, so let’s do that. Lindenstrauss and McCarthy describe this using the (notationally cumbersome) language of FSPs instead of spectra or spectral categories, which makes everything a bit hard to read. The idea is a bit simpler, however.
Construction. Let be a ring, a bimodule. We define a bunch of spectra with action by letting be the derived cyclic tensor product (over ) of copies of .
There is an evident action on given by permuting the factors, and moreover when , we have natural restriction maps between the fixed points
We then define
Example. as normally defined, and if then we have that .
This functor is meant to be an attempt to define in the absence of the cyclic symmetry that is present when . The remarkable thing is that this actually works! The nomenclature is justified by the following -typical statement:
where the latter is a suitable version of that takes a homotopy limit over only .
The virtue of this setup is that we have explicit understanding of what the layers of the Taylor tower of look like, as well as various splitting theorems, e.g. we have the following ``fundamental cofibration sequence’’:
Theorem. There is a homotopy fiber sequence
where are the functors obtained by truncating the homotopy limit defining .
Moreover, we have that is the th polynomial approximation of , so this is the fiber sequence that computes the layers of the Taylor tower.
The problem with the Lindenstrauss-McCarthy story is that it is only proven for discrete rings, but all of the constructions floating around can just as well be made when is a connective ring spectrum and is a (simplicial) -bimodule.
One of the great tricks that one can do is to use the resolution of connective ring spectra by simplicial rings. That is, given a connective ring spectrum , there is a -Cartesian cube with initial vertex , and such that all other vertices are canonically stably equivalent to the Eilenberg-MacLane spectrum of a simplicial ring.
The following fact lets us promote results about simplicial rings to those about connective ring spectra:
Theorem. If is an -Cartesian -cube of connective ring spectra, then the cube is -Cartesian.</span>
Idea for proving generalization: Show that the functors have a similar property, so that the equivalence given by Lindenstrauss and McCarthy can be promoted to one for connective ring spectra.
This works just fine, and we arrive at:
Theorem. (P.) The Lindenstrauss-McCarthy result holds for connective ring spectra.
Unfortunately, this is mostly just a one-off trick, and we are still looking for a good conceptual understanding of what the Lindenstrauss-McCarthy equivalence really means. It largely goes back to the Dundas-McCarthy theorem mentioned earlier, which can also be proven for connective ring spectra, but fails to admit a generalizable proof. The issue that arises there is that their proof relies heavily on the linear models of -theory when working over discrete rings, and these simply faily to work when we move to other contexts (their proof involves the addition of maps, a simplicial model of -theory, etc.).
If we had a good way of dealing with the coherence issues in defining the Dundas-McCarthy maps, then we might be able to generalize the proof and understand what’s going on, but that’s something that has yet to be done.