Response to: Quillen, D. G. "Algebraic K–theory I." In Higher K-Theories (Lecture Notes in Mathematics). Vol. 341. Proceedings of the Conference Held at the Seattle Research Center of Battelle Memorial Institute. Springer, 1973, pp. 85–147. ISBN: 9783540064343.
Dear Professor Miller,
Here is my response:
(To be fair, I know that there is a seminar going on at Harvard at the moment on higher dimensional class field theory that uses algebraic K-theory, so I guess number theorists have found this useful!)
Thanks!
Isabel
________________________________________________________________________________________________________________
Algebraic K-theory has a lot to do with algebraic cycles. Spencer Bloch is the relevant name. To be fair, I think it's fair to say that the payoff in arithmetic has not been as great as had been hoped at first. But maybe it's just a matter of time. I had not heard of this seminar on higher dimensional class field theory.
Haynes
________________________________________________________________________________________________________________
Response to: Nishida, G. "The Nilpotency of Elements of the Stable Homotopy Groups of Spheres." Journal of the Mathematical Society of Japan 25, no. 4 (1973): 707–32.
Dear Professor Miller,
I'm sorry this is going to be a terrible response, since I spent most of my time over the past few days preparing my talk. But anyhow, some thoughts:
I think this paper is pretty cool, I like seeing that this "D_nX" construction we saw on the first day to construct the Steenrod operations comes up to prove this theorem about nilpotency of order p elements in \pi_t^s(S^0). I also like papers with concrete computations!
The proof of proposition 1.6 using the fact that D_n^(r)(S^k) is a Thom complex of a vector bundle which is a of finite order in the real K-theory of BS_n^(r)... I am a little confused about how the conclusion follows?
Also, a key theorem for him is the homology of the "infinite loop space" Q(X) =lim \Omega^\infty S^\infty X given in Theorem 2.3 due to Dyer-Lashof. The result clearly reminds one of the cohomology of Eigenberg-Maclane spaces that we already saw. What was the original motivation for proving such a result on the mod p homology of Q(X) in terms of the homology of X? (Obviously its very useful here.)
Thanks!
Isabel
________________________________________________________________________________________________________________
Isabel
Do you get the identification of D_n S^k with a Thom space? Remember the exercise I didn't carry out? (It's sketched, but poorly, by Hatcher.) You want to know that Sq^0 is nonzero in some example; why not S^1. So look at D_2(S^1) . The claim is that it's the Thom space of the bundle over RP^\infty associated to the canonical representation of C_2. This representation is 1 + sign, so the Thom space is the suspension of RP^\infty. Now you have to think about what the diagonal map looks like in this presentation. It's going to be the map induced by the inclusion of sign into 1+sign. This induces the map \Sigma RP^\infty_+ --> \Sigma RP^\infty sending the + to the basepoint. This is nonzero enough!
I guess you have to pick the skelata carefully: you want them to have torsion homology. Then the AHSS tells you that the K-theory will be torsion as well.
I guess the motivation for computing H_*(QX) is that it's there! But the result is amazing: it's a functor of H_*(X) (field coefficients). It's worth thinking about what the answer is with Q coefficients; it's simpler than the finite characteristic case Nishida needs. The key to the calculation is the approximation theorem; this relates QX to the n-adic constructions. So then the surprise is that H_*(D_nX) is a functor of H_*(X). This fact is almost a consequence of the construction of the universal power operation.
Haynes
________________________________________________________________________________________________________________
Response to: Quillen, D. G. Homotopical Algebra (Lecture Notes in Mathematics). Vol. 43. Springer, 1967. ISBN: 9783540039143.
Dear Professor Miller,
Here is my response to Quillen's paper:
I think I have some trouble with these papers that introduce a new construction or concept with seeing how this is useful to solve problems/fits into a larger goal of understanding something. So I asked [Student Name] what the "main point" of this paper was and she said she thought it was the construction of the homotopy category (in terms of inverting weak equivalences) and Theorem 1 (or 1') which gives a means of more concretely understanding and working in the homotopy category (something I see paying off for Quillen in the latter sections of the paper). She said another key result was the adjunction Theorem 2 at the end of Section 2 giving loops and suspension functors in the homotopy category (and more generally Theorem 3 on left and right derived functors of adjoint functors between model categories).
Would you agree with this? Maybe you could give me some references for how this formalism has paid off more recently (you don't need to convince me that derived categories are useful, but this seems more general, and I this is my first encounter with model categories). Some things that I found enlightening were examples and remarks at the end of section 4 following the proof of Theorem 3 mentioned above. I should also probably look at the second half of the paper that [Student Name] isn't planning on covering, because it might provide more motivation by way of examples.
Thanks,
Isabel
________________________________________________________________________________________________________________
Isabel
Just wait! [Student Name] will describe a wonderful example of the practical application of this theory.
But in general, you may want to be sure that some construction has homotopy theoretic content, or want to know how to modify it so that it does. This is how Tor is derived from tensor, or Ext from Hom. But what if you're working in a non-additive situation, where chain complexes don't make much sense (and where the proof of the fundamental theorem of homological algebra fails)? A good example is provided by commutative rings, but almost any category of universal algebras well work the same way. In the second part of HA, Quillen sets up a model category structure on simplicial obects in such a category. This lets him say what a "projective resolution" is: it's a cofibrant replacement of a constant object. In another landmark paper, he explains what the universal meaning of "homology" is: you fix an object X and look at the category of abelian objects over it. There's usually an abelianization functor Ab from objects over X to Abelian ones. Apply Ab to a cofibrant replacement for X as an object over itself; this gives you a simplicial object in a category of abelian objects, which is usually abelian. So now you can form the associated chain complex and its homology. That's the "Quillen homology" of X.
In brief, Quillen homology is derived functors of abelianization.
Haynes
________________________________________________________________________________________________________________
Response to: Bousfield, A. K. "The Localization of Spaces with Respect to Homology." Topology 14, no. 2 (1975): 133–50.
Hi Professor Miller,
Here is my response to the Bousfield paper:
But I want to make sure I understand the proof that localizations exist with respect to any homology theory h_*. So he wants to prove that there is a localization functor E on the pointed homotopy category of CW complexes, along with a natural transformation \eta : 1 \to E satisfying a universal property. But to prove this, he uses the alternate model structure defined above on simplicial sets. This reminds me of one of the other theorems Quillen proved in the paper we read that there is an equivalence of model categories between the pointed homotopy category of simplicial sets and the pointed homotopy category of topological spaces via the adjoint functors of geometric realization and singular set. Does he not have to deal with any of the details of this because he can define this model structure on the pointed homotopy category of CW complexes by the structure on simplicial sets and geometric realization?
Is this what he means when he says "This abuse [of notation in letting Ho denote the category of Kan complexes or CW complexes] is harmless because the geometric realization provides an equivalence between the Kan and CW pointed homotopy categories."? He cites a paper of May on "Simplicial Objects in Algebraic Topology" here.
Thanks!
Isabel
________________________________________________________________________________________________________________
Isabel
You bet! Yes, K-theory is a good example; we defined a cohomology theory, represented by a spectrum, and in turn the spectrum determines a homology theory, by taking the homotopy of a space smashed with the spectrum. In fact there's a whole swarm of analogues of K-theory, also nonconnective, including so-called elliptic homology theory.
And there are many interesting connective theories. Bordism is one, determined by a Thom spectrum, and represented by bordism classes of singular manifolds. I think [Student Name] will talk about complex bordism, for example. Any spectrum admits a "connective cover," in which the negative dimensional homotopy groups have been killed. So there's "connective K-theory," for example.
Yes, Adams proposed this topological enrichment of Serre's mod C theory, but neglected the set theory. I think he was also mainly interested in the stable picture. Bousfield has another paper called "Localizing spectra with respect to homology."
Haynes
________________________________________________________________________________________________________________
Response to: Griffiths, P. A., and J. W. Morgan. Rational Homotopy Theory and Differential Forms. Birkh ̈auser, 1981. ISBN: 9783764330415.
Hi Professor Miller,
Here is my response to Griffiths and Morgan ([Student Name] told us to skim chapters 8–12):
Thanks!
Isabel
________________________________________________________________________________________________________________
Isabel
The most amazing thing, from my perspective, is this: the rational homotopy of X is the vector space dual to the indecomposables in minimal model for X. Check: the rational homotopy of S^{2n} is nontrivial only in dimensions 2n and 4n-1.
There are general classes of spaces which are known to be "formal," that is, the cohomology ring itself serves as a DGA model. Polynomial cohomology is one way to guarantee this. Also the famous theorem of Deligne, Griffiths, Morgan, Sullivan, says that any compact Kaehler manifold is formal.
Haynes
________________________________________________________________________________________________________________
Response to: Segal, G. "Categories and Cohomology Theories." Topology 13, no. 3 (1974): 293–312.
Hi Professor Miller:
Here is my response to the Segal paper:
So the (rough) basic idea of this paper is that to a category we associate an infinite loop space (well, a spectrum which is often an infinite loop space). And this is a generalization of a topological abelian group because composition only commutes up to homotopy. The spectrum we get then defines a generalized cohomology theory, which again generalizes what we would get from a topological abelian group in which this is just the direct sum of ordinary cohomology with coefficients. Is that right? The obstruction to the cohomology theory being direct sum of ordinary cohomology is the fact that composition doesn't commute on the nose so an infinite loop space doesn't have the homotopy type of a topological abelian group? (This might be a really silly question, but is there some way to measure difference in cohomology theories that illustrates this obstruction to your theory being ordinary cohomology?)
Something else:
I was trying to think if his definition of classifying space of a Gamma space is natural in that it generalizes classifying spaces of topological abelian groups -- I mean, it must, right? So I tried to work this out with my hands, if you took the Gamma-space corresponding to a topological abelian group (well, just finite abelian group to make it easier). I got a little stuck —but I'm going to try to work this out after seeing [Student Name's] talk today. One potentially tricky thing is that he uses a different definition of realization..? Is it easier to work this out in the language of Gamma spaces or Gamma categories?
(By the way, I figured out an answer to the kernels and cokernels of locally free coherent sheaves... I'll tell you today in our meeting.)
Thanks!
Isabel
________________________________________________________________________________________________________________
Isabel
Well, let's see. A category has a classifying space. In fact any space is weakly equivalent to the classifying space of the category singular simplices in it. So you need extra structure to get an infinite loop space. One such structure is a symmetric monoidal structure. This still doesn't quite give an infinite loop space, generally; you only get one after "group completing," which is, in this topological context, formation of the loop space on the next space in the spectrum.
Mere homotopy commutativity isn't enough, right? You need something to produce extensions of the n-fold product through the extended n-th symmetric power, and they have to be compatible. Or, in Segal's framework, you need an entire \Gamma-space, not just the first couple of terms of one.
What you say about topological abelian groups and ordinary cohomology is right! The best answer to the question of how to distinguish spectra that are not products of EM spectra from those that are is that the K-invariants are nontrivial in the former case and trivial in the second. But you can also just inspect: Z\times BU for example is the 0-space of the omega spectrum for K-theory, and it's visibly not a product of EM spaces.
Remember, the "classifying space" construction takes a \Gamma space to another \Gamma space. As [Student Name] pointed out, (BA)(1) is the geometric realization of A regarded as a simplicial set via the inclusion \Delta^op --> Fin_*. The \Gamma space A associated to an abelian group G has A(n)=G^n, and you can check that the structure of simplicial space is exactly the bar-construction simplicial space whose realization is BG.
I agree with your resolution of my confusion, but I still feel confused.
Haynes