Projects
secfg-Formal Groups and the Secondary Steenrod algebra
The goal is to give a description of H.J.Baues' "secondary Steenrod algebra" in terms of formal group laws.
Status: planningnovikov-Computation of the ANSS E2-Term
Problem: find a practical way to compute the Ext of the BP Hopf-algebroid.
Status: planningyacop-Yet Another Cohomology Program
Yacop allows to resolve sub Hopf algebras of the Steenrod algebra at small primes. It can compute chain maps and Ext/Tor for small (differential) A-modules. It contains a graphical chart viewer that can also create postscript charts.
Status: planningsteinberg-Small A-Resolutions
Mitchell and Smith have shown that there is an A-module structure on the sub Hopf algebras A(n). But how do you put an A-module structure on the minimal A(n)-free resolution?
Status: idlebe8-Cohomology from May resolutions
There is a good conjecture what H*(BE8;F2) should be, and in previous work we have described a reasonably small resolution that is supposed to compute it. It would be nice if we could finally make these ends meet.
Status: idle