Location of Repository

The cohomology of λ-rings and ψ-rings

By Michael Robinson


In this thesis we develop the cohomology of diagrams of algebras and then apply this to the cases of the λ-rings and the ψ-rings. A diagram of algebras is a functor from a small category to some category of algebras. For an appropriate category of algebras we get a diagram of groups, a diagram of Lie algebras, a diagram of commutative rings, etc.\ud We define the cohomology of diagrams of algebras using comonads. The cohomology of diagrams of algebras classifies extensions in the category of functors. Our main result is that there is a spectral sequence connecting the cohomology of the diagram of algebras to the cohomology of the members of the diagram.\ud ψ-rings can be thought of as functors from the category with one object associated to the multiplicative monoid of the natural numbers to the category of commutative rings. So we can apply the theory we developed for the diagrams of algebras to the case of ψ-rings. Our main result tells us that there is a spectral sequence connecting the cohomology of the ψ-rings to the André-Quillen cohomology of the underlying commutative ring.\ud The main example of a λ-ring or a ψ-ring is the K-theory of a topological space.\ud We look at the example of the K-theory of spheres and use its cohomology to give a proof of the classical result of Adams. We show that there are natural transformations connecting the cohomology of the K-theory of spheres to the homotopy groups of spheres. There is a very close connection between the cohomology of the K-theory of the 4n-dimensional spheres and the homotopy groups of the (4n-1)- dimensional spheres

Publisher: University of Leicester
Year: 2010
OAI identifier: oai:lra.le.ac.uk:2381/8927

Suggested articles



  1. (2002). Acyclic Models, doi
  2. (1997). An introduction to homological algebra. doi
  3. (1971). Categories for the Working Mathematician. doi
  4. (2003). Cohomology of diagrams of groups. the classification of (co)fibred categorical groups.
  5. (1984). Cohomology of small categories. doi
  6. (2005). Cohomology of λ-rings. doi
  7. (1962). Commutative algebras and cohomology. doi
  8. (1998). Cyclic Homology, doi
  9. Example 8.3. K˜(S2n) ∼= Z[y]/(y)2, where y is the n-fold external product
  10. (1982). Extensions centrales d’alge`bres de lie. doi
  11. He has several results and gives the polynomial Pi upto i = 10, as well as giving several formulas for the polynomial Pi,j.
  12. Homological Algebra. doi
  13. (1966). K-theory and the Hopf invariant. doi
  14. (1970). On the (co)homology of commutative rings. doi
  15. (1982). On the deformation of diagrams of algebras. Algebraists’ Homage: Papers in Ring Theory and Related Topics, doi
  16. (1982). Realisation of cohomology classes in arbitrary exact categories. doi
  17. (1958). Topologie alge´brique et the´orie des faisceaux. doi
  18. (2006). Universal polynomials in lambda rings and the K-theory of the infinite loop space tmf.
  19. (2001). Vector bundles and K-theory, volume v2.2. Online at author’s website,
  20. (1973). λ-Rings and the Representation Theory of the Symmetric Group, doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.