Computation of the E_3-term of the Adams spectral sequence

TL;DR

This paper presents an algorithm for effectively computing the E_3-term of the Adams spectral sequence, utilizing secondary derived functors and algebraic models of stable maps.

Contribution

It introduces a novel algorithm based on secondary derived functors and algebraic models to compute differentials in the Adams spectral sequence.

Findings

Effective algorithm for E_3-term computation

Utilizes secondary derived functors

Models stable maps algebraically

Abstract

An algorithm is described giving effective determination of the second differential in the Adams spectral sequence. The algorithm is based on the notion of secondary derived functor, and on the explicit algebraic model of the groupoid enriched category of stable maps and stable tracks between Eilenberg-Mac Lane spaces.