BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Hans-Joachim Baues contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We provide a uniform definition of higher order Toda brackets in a general setting, covering the known cases of long Toda brackets for topological spaces and chain complexes and Massey products for differential graded algebras, among others.
Classical homological algebra considers chain complexes, resolutions, and derived functors in additive categories. We describe "track algebras in dimension n", which generalize additive categories, and we define higher order chain complexes, resolutions, and derived functors. We show that higher order resolutions exist in higher track categories, and that they determine higher order Ext-groups. In particular, the E_m-term of the Adams spectral sequence (m<n+3) is a higher order Ext-group, which is determined by the track algebra of higher cohomology operations.
It is well-known how to compute the structure of the second homotopy group of a space, $X$, as a module over the fundamental group, $π_1X$, using the homology of the universal cover and the Hurewicz isomorphism. We describe a new method to compute the third homotopy group, $π_3 X$, as a module over $π_1 X$. Moreover, we determine $π_3 X$ as an extension of $π_1 X$-modules derived from Whitehead's Certain Exact Sequence. Our method is based on the theory of quadratic modules. Explicit computations are carried out for pseudo-projective 3-spaces $X = S^1 \cup e^2 \cup e^3$ consisting of exactly one cell in each dimension $\leq 3$.
We show that three different kinds of cohomology - Baues-Wirsching cohomology, the (S,O)-cohomology of Dwyer-Kan, and the Andre-Quillen cohomology of a Pi-algebra - are isomorphic, under certain assumptions. This is then used to identify the cohomological obstructions in three general approaches to realizability problems: the track category version of Baues-Wirsching, the diagram rectifications of Dwyer-Kan-Smith, and the Pi-Algebra realization of Dwyer-Kan-Stover. Our main tool in this identification is the notion of a mapping algebra: a simplicially enriched version of an algebra over a theory.
We describe the dualization of the algebra of secondary cohomology operations in terms of generators extending the Milnor dual of the Steenrod algebra. In this way we obtain explicit formulae for the computation of the E_3-term of the Adams spectral sequence converging to the stable homotopy groups of spheres.
We compare the structure of a mapping cone in the category Top^D of spaces under a space D with differentials in algebraic models like crossed complexes and quadratic complexes. Several subcategories of Top^D are identified with algebraic categories. As an application we show that there are exactly 16 essential self--maps of S^2 x S^2 fixing the diagonal.
We compute the monoid of essential self-maps of of the product of two n-spheres fixing the diagonal. More generally, we consider products S x S, where S is a suspension. Essential self-maps of S x S demonstrate the interplay between the pinching action for a mapping cone and the fundamental action on homotopy classes under a space. We compute examples with non-trivial fundamental actions.
We introduce the category Pstem[n] of n-stems, with a functor P[n] from spaces to Pstem[n]. This can be thought of as the n-th order homotopy groups of a space. We show how to associate to each simplicial n-stem Q an (n+1)-truncated spectral sequence. Moreover, if Q=P[n]X is the Postnikov n-stem of a simplicial space X, the truncated spectral sequence for Q is the truncation of the usual homotopy spectral sequence of X. Similar results are also proven for cosimplicial n-stems. They are helpful for computations, since n-stems in low degrees have good algebraic models.
We classify the homotopy types of reduced 2-nilpotent simplicial groups in terms of the homology an d boundary invariants $b,β$. This contains as special cases results of J.H.C. Whitehead on 1-connected 4-dimensional complexes and of Quillen on reduced 2-nilpotent rational simplicial groups. Moreover it yields for 1-nilpotent (or abelian) simplicial groups a classification due to Dold-Kan. Our result describes a new natural structure of the integral homology of any simply connected space. We also classify the homotopy types of connective spectra in the category of 2-nilpotent simplicial groups. Moreover we compute homotopy groups of spheres in the category of $m$-nilpotent groups for $m=2,3$ and partially for $m=4,5$.
We show that the intersection of three subgroups in a free group is related to the computation of the third homotopy group $π_3$. This generalizes a result of Gutierrez-Ratcliffe who relate the intersection of two subgroups with the computation of $π_2$. Let $K$ be a two-dimensional CW-complex with subcomplexes $K_1,K_2,K_3$ such that $K=K_1\cup K_2\cup K_3$ and $K_1\cap K_2\cap K_3$ is the 1-skeleton $K^1$ of $K$. We construct a natural homomorphism of $π_1(K)$-modules $$ π_3(K)\to \frac{R_1\cap R_2\cap R_3}{[R_1,R_2\cap R_3][R_2,R_3\cap R_1][R_3,R_1\cap R_2]}, $$ where $R_i=ker\{π_1(K^1)\to π_1(K_i)\}, i=1,2,3$ and the action of $π_1(K)=F/R_1R_2R_3$ on the right hand abelian group is defined via conjugation in $F$. In certain cases, the defined map is an isomorphism. Finally, we discuss certain applications of the above map to group homology.
The primary algebraic model of a ring spectrum is the ring of homotopy groups. We introduce the secondary model which has the structure of a secondary analogue of a ring. This new algebraic model determines Massey products and cup-one squares. As an application we obtain new derivations of the homotopy ring.