We provide a general definition of Toda brackets in a pointed model categories, show how they serve as obstructions to rectification, and explain their relation to the classical stable operations.
We define subscripted unstable higher Toda brackets and study their elementary properties. This paper is the continuation of our previous paper in which we defined the non-subscripted unstable higher Toda brackets.
This paper investigates the relation between Toda brackets and congruences of modular forms. It determines the $f$-invariant of Toda brackets and thereby generalizes the formulas of J.F.\ Adams for the classical $e$-invariant to the chromatic second filtration.
We define two new unstable n-fold Toda brackets for every composable sequence (f_n, ... ,f_1) of pointed maps f_i : X_i \to X_{i+1} between well-pointed spaces with n > 2. The brackets agree with the classical Toda bracket when n = 3, and they are subsets of both the unstable n-fold Toda brackets of Gershenson and Cohen for every n > 2.
We describe two ways to define higher order Toda brackets in a pointed simplicial model category $\mathcal{D}$: one is a recursive definition using model categorical constructions, and the second uses the associated simplicial enrichment. We show that these two definitions agree, by providing a third, diagrammatic, description of the Toda bracket, and explain how it serves as the obstruction to rectifying a certain homotopy-commutative diagram in $\mathcal{D}$.
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.
The Adams spectral sequence is available in any triangulated category equipped with a projective or injective class. Higher Toda brackets can also be defined in a triangulated category, as observed by B. Shipley based on J. Cohen's approach for spectra. We provide a family of definitions of higher Toda brackets, show that they are equivalent to Shipley's, and show that they are self-dual. Our main result is that the Adams differential $d_r$ in any Adams spectral sequence can be expressed as an $(r+1)$-fold Toda bracket and as an $r^{\text{th}}$ order cohomology operation. We also show how the …
The main purpose of this note is to give a proof of the fact that the Toda brackets $<\barν,σ,\barν>$ and $<ν,η, \barσ>$ are not trivial. This is an affirmative answer of the second author's Conjecture (Determination of the $P$-image by Toda brackets, Geometry and Topology Monographs 13(2008), 355-383). The second purpose is to show the relation $\barν_7ω_{15}=ν_7σ_{10}κ_{17}$ in $π^7_{31}$.
Using a Toda bracket computation $\langle θ_4, 2, σ^2\rangle$ due to Daniel C. Isaksen [11], we investigate the $45$-stem more thoroughly. We prove that $θ_4^2=0$ using a $4$-fold Toda bracket. By [2], this implies that $θ_5$ exists and there exists a $θ_5$ such that $2θ_5=0$. Based on $θ_4^2=0$, we simplify significantly the $9$-cell complex construction in [1] to a $4$-cell complex, which leads to another proof that $θ_5$ exists.
We construct non-trivial elements of order 2 in the homotopy groups $π_{8j+1+*} Diff(D^6,\partial)$, for * congruent 1 or 2 modulo 8, which are detected by the "assembling homomorphism" (giving rise to the Gromoll filtration), followed by the alpha-invariant in $KO_*=Z/2$. These elements are constructed by means of Morlet's homotopy equivalence between $Diff(D^6,\partial)$ and $Ω^7(PL_6/O_6)$, and Toda brackets in $PL_6/O_6$. We also construct non-trivial elements of order 2 in $π_* PL_m$ for every m greater or equal to 6 and * congruent to 1 or 2 modulo 8, which are detected by the alpha-inva…
In this paper we provide an explicit general construction of higher homotopy operations in model categories, which include classical examples such as (long) Toda brackets and (iterated) Massey products, but also cover unpointed operations not usually considered in this context. We show how such operations, thought of as obstructions to rectifying a homotopy-commutative diagram, can be defined in terms of a double induction, yielding intermediate obstructions as well.