Having just made (hopefully) the final revisions on my paper on stable completed cohomology groups, I wanted to record here a few remarks which didn’t otherwise make it into the paper.
The first is that, in addition to the result that for one may also compute for Namely:
This result is proved in the paper up to a finite group, so the point here is the integral refinement. The computation of comes from the Hurewicz isomorphism
However, the Hurewicz theorem also gives an epimorphism
and one finds that the first group lives in an exact sequence
Since both flanking groups vanish for , the middle group is zero, and the claim follows.
The second remark is that, throughout the paper, I assume the Quillen-Lichtenbaum conjecture, which is now a theorem due do Voevodsky and others. However, I must confess, I do not have the fine details of the argument at my fingertips. How much can one say without it? The answer is quite a lot. Due to work of Borel, Soulé, and Quillen (all of which is much more familiar to me, at least relatively speaking), we know that the -groups of number fields are finitely generated abelian groups, we know their ranks, and we know that the Chern class maps to the appropriate Galois cohomology groups are surjective. Moreover, we understand completely in terms of Galois cohomology by work of Tate. (In this game, I am also giving up the results of Hesselholt and Masden on the -theory of local fields, and instead using the results of Wagoner, which similarly give everything in very small degree and up to a finite group in higher degrees.)
- The computation of for large , where is the principal congruence subgroup of , is unaffected. This also uses the computation of by Lee and Szczarba.
- The identification of the completed -groups with Galois cohomology groups still holds up to a finite group.
- The computation of the rational stable completed homology groupsunder the assumption that either is regular or etc. are all non-vanishing still holds.
Something that does require Quillen-Lichenbaum is the vanishing of the partially completed -group for very regular primes.
Regarding the computation of the rational stable completed homology groups, the referee made a very interesting point (I will come back in a later post to the refeering of this paper and some other of my recent papers in a post on “what a great referee report should be”). I prove that the rational stable completed homology groups are the continuous homology of the homotopy fibre
(The definition of is just homotopy fibre of this map.) Now is an infinite loop space, which under the assumption that is regular or on the non-vanishing of the -adic zeta function at integral arguments, has the property that the homotopy groups with coefficients are rationally non-zero in exactly degrees , etc. The referee noted that the computation of rational stable completed homology should follow precisely from this description using the Milnor–Moore theorem, which shows that (for simply connected -spaces) that the homology is (rationally) the universal enveloping algebra of the rational homotopy classes (and so, in particular, the Hurewicz map is rationally injective). One consequence is that the rational homotopy groups are precisely the primitive classes in rational homology. To orient the reader, this is exactly the theorem which allowed Borel to compute the rational -groups of (rings of integers) of number fields from his computation of stable homology over . Now I was a little worried about this, because the Milnor–Moore theorem does not literally apply, since one is comparing here homotopy groups with coefficients in and continuous homology (the latter is just the inverse limit of homology groups modulo ). However, having looked at the argument in Milnor–Moore and then having Paul Goerss explain it to me, the argument does indeed seem to simply work in this case. (Warning, this is a weaker statement than saying I checked the details.)
To be more precise, suppose that is a simply connected infinite loop space, and suppose that has the property that the groups are finite for all and , so is the inverse limit of these groups. There is a pairing
which, after taking inverse limits in and tensoring with , makes into a Lie algebra over , then the Hurewicz map will induce an isomorphism
of Hopf algebras. The key technical point required here is to define the appropriate pairing on homotopy groups with coefficients, which is done by Neisendorfer. (If is simply connected infinite loop space, one doesn’t have to worry about the issue of homotopy groups with coefficients in very low degree exhibiting certain pathologies.)
As another example of this, one can take . In this case, the rational continuous homology reduces, by work of Lazard, to lie algebra cohomology, and gives an exterior algebra in odd degrees . So has dimension one in odd degrees and is zero for all even positive degrees. This is a result of Wagoner. In fact, Wagoner proves something slightly stronger, also capturing some information away from . To do this, he also proves a version of the Milnor–Moore theorem, but his assumptions are more stringent than what we discuss above.