Fact-checked by Grok 2 weeks ago

Homotopy category of chain complexes

The homotopy category of chain complexes, often denoted K(\mathcal{A}) or \mathrm{hKom}(\mathcal{A}) for an abelian category \mathcal{A}, is the category whose objects are chain complexes in \mathcal{A} and whose morphisms are equivalence classes of chain maps modulo chain homotopies.^[1]^[2] This construction quotients the category of all chain complexes \mathrm{Kom}(\mathcal{A}) by the relation of chain homotopy, which provides a notion of "weak equivalence" that preserves the essential algebraic structure while identifying maps that differ only up to nullhomotopies.^[3] Chain homotopies are themselves chain maps between mapping cones, ensuring that the homotopy relation is an equivalence relation and that the resulting category is additive.^[2] A key feature of the homotopy category is its triangulated structure, where the distinguished triangles arise from mapping cones of chain maps, providing a framework for exact sequences that are stable under homotopy.^[4] This makes K(\mathcal{A}) the prototypical example of a triangulated category in homological algebra, analogous to the homotopy category of topological spaces.^[5] The shift functor, which sends a complex C^\bullet to its suspension

C^\bullet{{grok:render&&&type=render_inline_citation&&&citation_id=1&&&citation_type=wikipedia}}

, plays the role of the suspension in topology and generates the triangles via the mapping cone construction.^[6] The homotopy category serves as an intermediate structure between the unbounded category of chain complexes and the derived category D(\mathcal{A}), which is obtained by further localizing at quasi-isomorphisms—chain maps inducing isomorphisms on homology.^[5] In the derived category, homology functors become exact, enabling computations of derived functors like Ext and Tor in a categorical setting.^[1] For \mathcal{A} = R-\mathrm{Mod} the category of modules over a ring R, the homotopy category K(R) is particularly significant, as it underlies much of modern algebraic geometry and representation theory through its role in model category structures on chain complexes.^[7]

Fundamentals

Chain Complexes

A chain complex is a sequence of abelian groups or modules C_n, n \in \mathbb{Z}, equipped with homomorphisms d_n: C_n \to C_{n-1} called boundary operators or differentials, satisfying d_{n-1} \circ d_n = 0 for all n.^[8]^[9] This condition ensures that the image of each differential lies in the kernel of the next, forming the foundation of homological algebra as developed by Cartan and Eilenberg. In the category of R-modules for a ring R, chain complexes generalize exact sequences and enable the computation of invariants like homology groups.^[10] The elements of C_n are called n-chains, the kernel \ker(d_n) consists of n-cycles Z_n, and the image \operatorname{im}(d_{n+1}) comprises n-boundaries B_n.^[8]^[9] The nth homology group is then H_n(C_\bullet) = Z_n / B_n, which measures the failure of exactness at C_n and captures topological or algebraic information preserved under chain maps.^[8] For instance, in the singular chain complex of a topological space X, C_n(X) is the free abelian group on singular n-simplices, with the boundary operator summing signed faces, yielding homology groups isomorphic to those of X.^[11] Chain complexes can be bounded (e.g., zero outside a finite range), free, projective, or injective, facilitating resolutions in derived functor computations.^[10] Examples include the Koszul complex associated to a sequence of elements in a commutative ring, used to compute syzygies.^[8] The category of chain complexes \operatorname{Ch}(R-\operatorname{Mod}) admits a monoidal structure via the tensor product of complexes, with the internal hom providing a closed structure. This framework underpins the homotopy category K(\mathcal{A}), in which morphisms are equivalence classes of chain maps modulo chain homotopies, identifying maps that induce the same homomorphism on homology.^[12]

Chain Maps and Homotopies

A chain map between two chain complexes C_\bullet = (C_n, \partial_C) and D_\bullet = (D_n, \partial_D) over a ring R is a family of R-module homomorphisms f_n: C_n \to D_n for each degree n such that the differentials commute, i.e., \partial_D \circ f_n = f_{n-1} \circ \partial_C for all n.^[13] Such a chain map f: C_\bullet \to D_\bullet induces a well-defined homomorphism on homology groups f_*: H_n(C_\bullet) \to H_n(D_\bullet) by f_*() = [f_n(x)], where $$ denotes the homology class of a cycle x \in Z_n(C_\bullet) = \ker \partial_C^n, since chain maps preserve cycles and boundaries.^[14] Chain homotopies provide a notion of equivalence between chain maps. Given two chain maps f, g: C_\bullet \to D_\bullet, a chain homotopy s = \{s_n: C_n \to D_{n+1}\} is a family of R-module homomorphisms satisfying f_n - g_n = \partial_D^{n+1} \circ s_n + s_{n-1} \circ \partial_C^n for all n.^[13] We write f \simeq g if such an s exists; in particular, f is null homotopic if f \simeq 0. Chain homotopy is an equivalence relation on the set of chain maps: reflexive (identity map homotopic to itself via s = 0), symmetric (if f \simeq g then g \simeq f by -s), and transitive (composition of homotopies yields a homotopy).^[15] Homotopic chain maps induce the same homomorphism on homology: if f \simeq g, then f_* = g_*. To see this, for a cycle x \in Z_n(C_\bullet), (f_n - g_n)(x) = \partial_D^{n+1}(s_n(x)) since \partial_C^n(x) = 0, so [f_n(x)] = [g_n(x)] in H_n(D_\bullet); boundaries map to boundaries similarly.^[16] Null homotopic maps induce the zero map on homology. A chain map f: C_\bullet \to D_\bullet is a homotopy equivalence if there exists g: D_\bullet \to C_\bullet such that g \circ f \simeq \mathrm{id}_C and f \circ g \simeq \mathrm{id}_D; homotopy equivalences induce isomorphisms on homology and are the isomorphisms in the homotopy category.^[13] For example, consider the chain complexes C_\bullet with C_0 = R, C_n = 0 otherwise, and trivial differential, and D_\bullet similarly but shifted to degree 1. The zero map is null homotopic via a suitable s, illustrating how homotopies capture "deformations" that do not affect homology.^[14]

Construction

Objects and Morphisms

The homotopy category of chain complexes, often denoted K(\mathcal{A}) or \mathrm{Ho}(\mathrm{Ch}(\mathcal{A})) for an abelian category \mathcal{A}, is constructed with objects being the chain complexes in \mathcal{A}.^[1]^[7] A chain complex C_\bullet in \mathcal{A} is a sequence of objects \{C_n\}_{n \in \mathbb{Z}} equipped with morphisms d_n^C: C_n \to C_{n-1} (the differentials) satisfying d_{n-1}^C \circ d_n^C = 0 for all n.^[1] This category formalizes the notion of working up to homotopy, as originally developed in the context of homological algebra for non-additive functors.^[17] The morphisms in K(\mathcal{A}) are the homotopy classes of chain maps between chain complexes. A chain map f: C_\bullet \to D_\bullet is a collection of morphisms f_n: C_n \to D_n in \mathcal{A} that commute with the differentials, i.e., d_n^D \circ f_n = f_{n-1} \circ d_n^C for all n.^[1]^[7] Two chain maps f, g: C_\bullet \to D_\bullet are homotopic, denoted f \sim g, if there exists a family of morphisms h_n: C_n \to D_{n+1} (the homotopy operators) such that

f_n - g_n = d_{n+1}^D \circ h_n + h_{n-1} \circ d_n^C

for all n; this relation is an equivalence relation on the set of chain maps.^[1]^[7] The morphism set \mathrm{Hom}_{K(\mathcal{A})}(C_\bullet, D_\bullet) is thus the quotient of the chain maps by this homotopy relation, often denoted [C_\bullet, D_\bullet].^[7] Composition in K(\mathcal{A}) is defined by lifting to representatives: if [f: C_\bullet \to D_\bullet] and [g: D_\bullet \to E_\bullet] are homotopy classes, then [g \circ f] is the class of the composed chain map g \circ f, which is independent of choices of representatives since homotopies compose appropriately.^[1] The identity morphism \mathrm{id}_{C_\bullet} is the homotopy class of the identity chain map on C_\bullet. This structure endows K(\mathcal{A}) with the properties of an additive category, where direct sums of chain complexes (defined componentwise) serve as biproducts.^[7] Each morphism in K(\mathcal{A}) induces a well-defined map on homology groups, but null-homotopic chain maps induce the zero map on homology.^[7]

Homotopy Equivalence

In homological algebra, a chain map f: A_\bullet \to B_\bullet between chain complexes over an abelian category \mathcal{A} is called a homotopy equivalence if there exists another chain map g: B_\bullet \to A_\bullet such that the compositions g \circ f and f \circ g are chain homotopic to the respective identity maps \mathrm{id}_{A_\bullet} and \mathrm{id}_{B_\bullet}.^[13] Two chain complexes A_\bullet and B_\bullet are then said to be homotopy equivalent, denoted A_\bullet \simeq B_\bullet, if such a chain map f exists.^[18] This notion captures a form of equivalence up to chain homotopy, where chain homotopy between two chain maps \phi, \psi: A_\bullet \to B_\bullet is given by a family of morphisms h_n: A_n \to B_{n+1} satisfying \phi_n - \psi_n = d_{B,n+1} \circ h_n + h_{n-1} \circ d_{A,n} for all n.^[16] Homotopy equivalence is an equivalence relation on the class of chain complexes in \mathcal{A}, partitioning them into equivalence classes where complexes within the same class share isomorphic homology groups.^[3] Specifically, if f: A_\bullet \to B_\bullet is a homotopy equivalence, then the induced maps H_n(f): H_n(A_\bullet) \to H_n(B_\bullet) are isomorphisms for all degrees n, making homotopy equivalence a stronger condition than quasi-isomorphism but weaker than strict isomorphism of complexes.^[13] In the homotopy category K(\mathcal{A}), whose objects are chain complexes and morphisms are chain maps modulo chain homotopy, homotopy equivalences become isomorphisms, so homotopy equivalent complexes represent the same object up to isomorphism in this category.^[18] A representative example of homotopy equivalent complexes arises with contractible complexes: a chain complex C_\bullet is contractible if its identity map admits a chain homotopy to the zero map, via contraction maps s_n: C_n \to C_{n+1} satisfying \mathrm{id}_{C_n} = d_{n+1} \circ s_n + s_{n-1} \circ d_n, in which case C_\bullet \simeq 0_\bullet, the zero complex, and both have vanishing homology.^[16] Another key example occurs in resolutions: for any module M over a ring R, any two projective resolutions P_\bullet \to M \to 0 and Q_\bullet \to M \to 0 are homotopy equivalent via a chain map that induces the identity on M in degree zero, ensuring they compute the same derived functors despite potentially differing as complexes.^[15] These equivalences underscore the robustness of homotopy in preserving algebraic invariants like homology while allowing flexibility in explicit constructions.

Properties

Triangulated Structure

The homotopy category \mathcal{K}(\mathcal{A}) of chain complexes over an abelian category \mathcal{A} is equipped with a natural triangulated structure, which encodes homological information through a shift functor and a class of distinguished triangles analogous to short exact sequences. This structure arises by localizing the category of chain complexes Ch(\mathcal{A}) at homotopy equivalences, where the shift functor

{{grok:render&&&type=render_inline_citation&&&citation_id=1&&&citation_type=wikipedia}}: \mathcal{K}(\mathcal{A}) \to \mathcal{K}(\mathcal{A})

is induced by the degree-shifting operation on complexes: for a chain complex C_\bullet, the shifted complex is defined by

(C{{grok:render&&&type=render_inline_citation&&&citation_id=1&&&citation_type=wikipedia}})_n = C_{n-1}

with differential

d^{C{{grok:render&&&type=render_inline_citation&&&citation_id=1&&&citation_type=wikipedia}}}_n = -d^C_{n-1}

. This functor is an equivalence of categories and satisfies the required automorphism properties for triangulated categories.^[4] Distinguished triangles in \mathcal{K}(\mathcal{A}) are those isomorphic to sequences of the form

X \to Y \to \cone(f) \to X{{grok:render&&&type=render_inline_citation&&&citation_id=1&&&citation_type=wikipedia}}

, where f: X \to Y is a morphism in \mathcal{K}(\mathcal{A}) (i.e., a homotopy class of chain maps) and \cone(f) is the mapping cone of f, defined componentwise by \cone(f)_n = Y_n \oplus X_{n-1} with the differential matrix \begin{pmatrix} d^Y & f_{n-1} \\ 0 & -d^X \end{pmatrix}. These triangles capture the homotopy-theoretic notion of exactness, as the long exact sequence in cohomology associated to a short exact sequence of complexes descends to the homotopy category via the mapping cone construction. The class of distinguished triangles is closed under isomorphisms and generates all triangles under the triangulated category axioms.^[4]^[19] The triangulated structure on \mathcal{K}(\mathcal{A}) satisfies the standard axioms (TR1)–(TR4) introduced by Verdier: (TR1) ensures identity triangles and extendability of morphisms to triangles; (TR2) allows rotation of triangles; (TR3) permits direct sums and completion of commutative diagrams; and (TR4) enforces the octahedral axiom for composing triangles. This makes \mathcal{K}(\mathcal{A}) a prototypical example of an algebraic triangulated category, bridging homological algebra and stable homotopy theory. For instance, in the case where \mathcal{A} = R-Mod for a ring R, the homotopy category models extensions and connects to the derived category via further localization at quasi-isomorphisms.^[20]^[19]

Exactness Preservation

In the homotopy category K(\mathcal{A}) of chain complexes over an abelian category \mathcal{A}, exactness is formalized through the structure of distinguished triangles, which extend the classical notion of short exact sequences from the category of chain complexes \text{Ch}(\mathcal{A}). A triangle (X, Y, Z, f, g, h) in K(\mathcal{A}) is distinguished if it is isomorphic to the triangle arising from the mapping cone of a chain map, specifically

X \to Y \to \text{cone}(f) \to X{{grok:render&&&type=render_inline_citation&&&citation_id=1&&&citation_type=wikipedia}}

, where the shift functor

{{grok:render&&&type=render_inline_citation&&&citation_id=1&&&citation_type=wikipedia}}

adjusts degrees by one. This construction ensures that distinguished triangles capture homotopy-invariant exactness, as homotopies between chain maps induce isomorphisms in K(\mathcal{A}), preserving the relational structure up to homotopy equivalence.^[21] A fundamental property of this triangulated structure is the preservation of exactness when applying homology functors. For any distinguished triangle

X \to Y \to Z \to X{{grok:render&&&type=render_inline_citation&&&citation_id=1&&&citation_type=wikipedia}}

in K(\mathcal{A}), the induced sequences in homology H_n(X) \to H_n(Y) \to H_n(Z) \to H_{n-1}(X) are long exact for all n \in \mathbb{Z}, where H_n denotes the n-th homology functor from K(\mathcal{A}) to the graded objects in \mathcal{A}. This follows from the snake lemma applied to the mapping cone construction, which guarantees that the connecting homomorphisms in homology arise naturally from the boundary maps in the cone complex. Thus, the homotopy category preserves the exactness properties of chain-level data by translating them into exact sequences at the homological level, enabling the study of derived invariants without resolving quasi-isomorphisms explicitly.^[21]^[22] This preservation extends to cohomological functors on K(\mathcal{A}), which by definition convert distinguished triangles into long exact sequences in the target abelian category. For instance, the homology functors H_n: K(\mathcal{A}) \to \mathcal{A} are cohomological, satisfying

H_n(f{{grok:render&&&type=render_inline_citation&&&citation_id=1&&&citation_type=wikipedia}}) \cong H_{n-1}(f)

and preserving exactness as described. Such properties underpin the triangulated nature of K(\mathcal{A}), distinguishing it from \text{Ch}(\mathcal{A}) where exactness is merely pointwise, and facilitate connections to broader homological phenomena like Ext and Tor computations.^[2]

Relations to Other Categories

Derived Category

The derived category D(\mathcal{A}) of an abelian category \mathcal{A} arises as a localization of the homotopy category K(\mathcal{A}) of chain complexes in \mathcal{A}, specifically by formally inverting the quasi-isomorphisms—chain maps that induce isomorphisms on homology groups.^[23] This construction, introduced by Verdier in the context of abelian categories, transforms K(\mathcal{A}) into a triangulated category where objects remain chain complexes, but morphisms are equivalence classes of "roofs": diagrams of the form X \leftarrow Z \to Y, where the left arrow is a quasi-isomorphism and the right arrow is a chain map up to homotopy.^[23] The resulting category D(\mathcal{A}) identifies quasi-isomorphic complexes as isomorphic objects, providing a framework for computing derived functors such as \operatorname{Ext} and \operatorname{Tor} without resolving to specific projective or injective resolutions.^[23] The localization functor Q: K(\mathcal{A}) \to D(\mathcal{A}) is the identity on objects and shifts, preserving the triangulated structure of K(\mathcal{A}), including distinguished triangles formed from mapping cones.^[23] Quasi-isomorphisms, which are not necessarily invertible in K(\mathcal{A}) (as homotopy equivalences are stricter), become genuine isomorphisms in D(\mathcal{A}), ensuring that the homology functor H_n: D(\mathcal{A}) \to \mathcal{A} is homological and detects the essential structure of complexes.^[23] For example, in the category of modules over a ring R, the derived category D(R\textrm{-mod}) allows tensor products of complexes to compute Tor groups via the derived tensor functor -\otimes^L_R -, which is well-defined up to quasi-isomorphism.^[23] Bounded variants of the derived category, such as the bounded-below derived category D^+(\mathcal{A}) (complexes with vanishing homology in sufficiently negative degrees) and the bounded derived category D^b(\mathcal{A}) (complexes with finitely many non-vanishing homology groups), are subcategories of D(\mathcal{A}) that inherit the localization from K^+(\mathcal{A}) and K^b(\mathcal{A}), respectively.^[23] These are particularly useful when \mathcal{A} admits enough injectives or projectives, as resolutions can be chosen to lie within bounded complexes, making D^b(\mathcal{A}) equivalent to the homotopy category of bounded complexes of injectives up to quasi-isomorphism.^[23] The relation underscores that D(\mathcal{A}) refines K(\mathcal{A}) by accounting for weak equivalences beyond homotopies, bridging homological algebra with more geometric or topological settings.^[23]

Stable Homotopy Category

The stable homotopy category, often denoted \mathrm{Ho}(\mathcal{S}\mathrm{p}) or \mathrm{Stab}, is the triangulated homotopy category of spectra, which serves as the foundational setting for stable homotopy theory in algebraic topology. It arises as the localization of the homotopy category of pointed simplicial sets or topological spaces at the stable equivalences, where suspensions become invertible, allowing for the study of homotopy groups that stabilize in high dimensions. This category captures generalized cohomology theories through representability by spectra, and it is equipped with a smash product that makes it a symmetric monoidal triangulated category. A key relation between the homotopy category of chain complexes and the stable homotopy category is provided by the Eilenberg-MacLane construction, which embeds the former into the latter via modules over Eilenberg-MacLane spectra. For an abelian category \mathcal{A}, such as the category of R-modules for a commutative ring R, the derived category D(\mathcal{A})—which is the localization of the homotopy category K(\mathcal{A}) of chain complexes at quasi-isomorphisms—is equivalent to the category of modules, \mathrm{Mod}_{HR}(\mathrm{Ho}(\mathcal{S}\mathrm{p})), over the Eilenberg-MacLane spectrum HR in the stable homotopy category. This equivalence, known as the algebraic Dold-Kan correspondence in the stable setting, identifies chain complexes with certain spectra whose homotopy groups recover the homology of the complex.^[24]^[25] Under this embedding, the triangulated structure of K(\mathcal{A}) or D(\mathcal{A}) aligns with that of the stable homotopy category restricted to HR-modules: the shift functor on chain complexes corresponds to suspension by the sphere spectrum, and distinguished triangles match those in \mathrm{Mod}_{HR}(\mathrm{Ho}(\mathcal{S}\mathrm{p})). For instance, the Eilenberg-MacLane spectrum H\mathbb{Z} represents ordinary cohomology, and modules over it compute the homology of spaces via the universal coefficient theorem, linking algebraic chain complexes to topological invariants in stable homotopy. This connection facilitates the computation of stable homotopy groups using homological algebra techniques, such as spectral sequences relating the homotopy of spectra to the homology of their chain complex approximations.^[26]^[27] This equivalence extends to more general settings, including differential graded modules over dg-algebras, where the homotopy category of dg-modules is stably equivalent to modules over the associated ring spectrum, preserving the monoidal structure under suitable conditions. Seminal results establishing these equivalences, such as those for H\mathbb{Z}-modules, highlight the stable homotopy category's role in unifying algebraic and topological homotopy theories, enabling the transfer of tools like Adams spectral sequences from topology to derived categories of chain complexes.^[24]^[28]

Generalizations

To Non-Abelian Settings

In non-abelian settings, the homotopy category of chain complexes extends to structures that accommodate non-commutative operations, such as groupoids and crossed modules, which capture higher-dimensional homotopy information beyond the abelian groups typical in classical homological algebra. Traditional chain complexes reside in abelian categories, where differentials satisfy d^2 = 0 and morphisms form abelian groups, but non-abelian generalizations replace these with sequences involving non-abelian groups and actions, enabling the modeling of homotopy types with non-trivial fundamental groups and their interactions. This shift is crucial for applications in algebraic topology, where abelian approximations lose essential structure, such as in the study of aspherical spaces or crossed resolutions.^[29] A primary framework for this extension is the category of crossed complexes, introduced as a non-abelian analogue of chain complexes. A crossed complex C consists of a sequence of groups C_n (for n \geq 0), where C_0 is a set of basepoints, C_1 is a groupoid over C_0, and for n \geq 2, C_n forms a family of abelian groups \{C_n(p)\}_{p \in C_0} equipped with a right action of the groupoid C_1. Boundary homomorphisms \delta_n: C_n \to C_{n-1} (for n \geq 2) satisfy \delta_{n} \delta_{n+1} = 0, and the action is compatible, meaning \delta_n(c \cdot \gamma) = \delta_n(c)^{\gamma} for c \in C_n, \gamma \in C_1, with additional Peiffer identities ensuring the structure mimics non-abelian cohomology. Morphisms of crossed complexes preserve these boundaries and actions. This construction generalizes normalized chain complexes by allowing C_1 to be non-abelian, thus incorporating the fundamental groupoid and its automorphic actions on higher homotopy groups. For instance, the fundamental crossed complex of a filtered space X_* has C_n(X_*, x) as the relative homotopy group \pi_n(X_n, X_{n-1}, x) for n \geq 2, with C_1 the fundamental groupoid.^[29] The homotopy category of crossed complexes, denoted \mathbf{Ho}(\mathbf{Crs}), arises from equipping the category \mathbf{Crs} with a closed model structure. Weak equivalences are morphisms inducing isomorphisms on all homotopy groups \pi_n(C, p) for n \geq 1 and basepoints p \in C_0, where \pi_n(C, p) generalizes the homology groups of chain complexes by accounting for non-abelian relations. Fibrations are componentwise fibrations of groupoids with the covering homotopy property, while cofibrations are defined via the left lifting property against acyclic fibrations. This model structure satisfies Quillen's axioms CM1–CM5, including the existence of functorial factorizations and lifting properties, making \mathbf{Crs} a proper model category. The homotopy category is then the localization of \mathbf{Crs} at the weak equivalences, where morphisms are right homotopy classes, and every weak equivalence between cofibrant objects becomes an isomorphism—a non-abelian analogue of the Whitehead theorem for chain complexes.^[29] This non-abelian homotopy category preserves key features of the abelian case, such as the ability to compute derived functors, but extends them to handle torsors and non-abelian cohomology. For example, rank-2 crossed complexes model 2-types of spaces, providing a strict algebraic model for homotopy 2-categories, unlike the abelian stable homotopy category which linearizes away non-commutativity. Applications include the classification of homotopy classes of maps into classifying spaces of crossed modules and the construction of non-abelian derived functors via resolutions in this category. Further generalizations, such as to \omega-groupoids or cubical \omega-groupoids, build on this foundation to model strict \infty-groupoids, enhancing the homotopy theory of non-abelian algebraic topology.^[29]^[30]

Applications in Topology

The homotopy category of chain complexes serves as a foundational tool in algebraic topology by providing algebraic models for specific homotopy types, particularly through the Dold-Kan correspondence. This equivalence relates the homotopy category of non-negatively graded chain complexes of abelian groups to the homotopy category of simplicial abelian groups, enabling the translation of topological constructions into purely algebraic ones.^[31] A primary application arises in the study of Eilenberg-MacLane spaces K(A, n), which classify cohomology groups H^n(X; A). The Dold-Kan correspondence implies that the singular chain complex of such a space is homotopy equivalent to the normalized chain complex associated to a simplicial model, allowing cohomology to be represented as homotopy classes of maps [X, K(A, n)] \cong H^n(X; A). This framework simplifies proofs of representability for singular cohomology and facilitates computations in low-dimensional topology. The correspondence also extends to cohomology operations, where simplicial cochains on a space can be modeled by chain complexes, and operations like Steenrod squares or powers are computed as derivations or extensions in the homotopy category. For example, the cohomology ring H^*(K(A, m); B) corresponds to Ext groups in the homotopy category of chain complexes, providing algebraic insights into primary and secondary operations on topological invariants. In broader homotopical contexts, the triangulated structure of the homotopy category of chain complexes mirrors aspects of the stable homotopy category, particularly for connective spectra. Bounded-below chain complexes over the integers model the homotopy theory of simply connected spaces up to rational equivalence, aiding in the construction of Postnikov towers and the computation of rational homotopy groups via algebraic resolutions. This is exemplified in the algebraic modeling of loop spaces, where chain complexes capture the higher homotopy structure linearized over abelian groups.^[32]

References

[1]
[PDF] Contents - UChicago Math
Definition 1.21 The homotopy category of chain complexes is the category hKom(R) where objects are chain complexes of R-modules and morphisms are chain maps ...
[2]
[PDF] Chain Complexes - MIT Mathematics
Exercise 1.4.5 In this exercise we shall show that the chain homotopy classes of maps form a quotient category K of the category Ch of all chain complexes.
[3]
[PDF] 1 Chain Complexes - Penn Math
Exercise: Chain homotopy is an equivalence relation. Consequence: We define the category K of chain homotopy equivalence classes of maps. Objects same as Ch ...
[4]
[PDF] Triangulated and Derived Categories
C(A) is the category of chain complexes ... We have also been constructing the mapping cone in our description of triangles in the homotopy category of complexes.
[5]
[PDF] The Derived Category
The derived category D(A) of an abelian category is the algebraic ana- logue of the homotopy category of topological spaces. D(^4) is obtained from the category ...
[6]
[PDF] Stable homotopy theories - Purdue Math
Feb 22, 2016 · The most familiar triangulated category is the homotopy category of chain complexes over a ring R, hoCh(R). There's a shift operator defined ...
[7]
[PDF] Homology and Homotopy and Functors (Oh My!) - Math
This defines a “homotopy category” of chain complexes (by Proposition 3), in which the Hom spaces are the quotient modules. Zero complexes are still the ...
[8]
chain complex in nLab
### Summary of Chain Complex (nLab)
[9]
Chain Complex -- from Wolfram MathWorld
Chain complexes are an algebraic tool for computing or defining homology and have a variety of applications. A cochain complex is used in the case of cohomology ...
[10]
An Introduction to Homological Algebra
The landscape of homological algebra has evolved over the last half-century into a fundamental tool for the working mathematician. This book provides a ...
[11]
https://ncatlab.org/nlab/show/singular+chain+complex
[12]
homological algebra in nLab
### Summary of Foundational Works on Chain Complexes and Homological Algebra (Cartan-Eilenberg)
[13]
[PDF] AN INTRODUCTION TO HOMOLOGICAL ALGEBRA
Already published. 1 W. M. L. Holcombe Algebraic automata theory. 2 K. Petersen Ergodic theory. 3 P. T. Johnstone Stone spaces.
[14]
[PDF] An Introduction to Homological Algebra
Sep 21, 2007 · There are certain kinds of chain complexes and chain maps which, due to their usefulness, have names. A map is f : C → C0 a quasi ...
[15]
[PDF] NOTES ON BASIC HOMOLOGICAL ALGEBRA 1. Chain complexes ...
We say that f and g are chain homotopic or just homotopic if there is such a chain homotopy. In particular, f is null homotopic if f ≃ 0. Proposition 3.1. ≃ is ...
[16]
[PDF] Maps of chain complexes - Gereon Quick
The homology of a chain complex only depends on the homotopy type of the complex. So let us define homotopies between chain maps: Definition: ...
[17]
[PDF] Homologie nicht-additiver Funktoren. Anwendungen
201-312. HOMOLOGIE NICHT-ADDITIVER FUNKTOREN. ANWENDUNGEN von Albrecht DOLD und Dieter PUPPE. (Columbia University, New York; Universität Saarbrücken).
[18]
Section 12.13 (010V): Complexes—The Stacks project
The notions of chain complex, morphism of chain complexes, and homotopies between morphisms of chain complexes make sense even in a preadditive category.
[19]
[0807.2592] Algebraic versus topological triangulated categories
Jul 16, 2008 · The most commonly known triangulated categories arise from chain complexes in an abelian category by passing to chain homotopy classes or ...
[20]
[PDF] The axioms for triangulated categories - UChicago Math
This is an edited extract from my paper [11]. We define triangulated categories and discuss homotopy pushouts and pullbacks in such categories in §1 and §2.
[21]
13.10 Distinguished triangles in the homotopy category
A triangle (X, Y, Z, f, g, h) of K(\mathcal{A}) is called a distinguished triangle of K(\mathcal{A}) if it is isomorphic to the triangle associated to a ...
[22]
[PDF] Derived Categories - Stacks Project
Distinguished triangles in the homotopy category. 34. 11. Derived ... This will be called the long exact sequence associated to the distinguished triangle.<|control11|><|separator|>
[23]
[PDF] Homotopy categories and derived categories - Kiran S. Kedlaya
The category of chain complexes. Page 4. Split exact sequences. Page 5. The ... The long exact sequence of a distinguished triangle. Page 12. Rotations of ...
[24]
The Derived Category (Chapter 10) - An Introduction to Homological ...
The derived category D(A) of an abelian category is the algebraic analogue of the homotopy category of topological spaces. D(A) is obtained from the category Ch ...
[25]
[PDF] The equivalence of differential graded modules and HZ-module ...
Jul 27, 2017 · Eilenberg-MacLane spectrum associated to ordinary cohomology, falls in this analogy. HZ is not the initial object in the category of Spectra.
[26]
stable Dold-Kan correspondence in nLab
Apr 18, 2024 · Theorem 2.1. The category of unbounded chain complexes is equivalent to the category of combinatorial spectra internal to abelian groups.
[27]
[PDF] Rings, Modules, and Algebras in Stable Homotopy Theory
EILENBERG-MACLANE SPECTRA AND DERIVED CATEGORIES. 75. PROOF. If 0 —• N' —• N ... is obtained from the homotopy category of chain complexes over R by localizing.
[28]
[math/0108143] Classification of stable model categories - arXiv
Aug 21, 2001 · In this paper we develop methods for deciding when two stable model categories represent the same homotopy theory.
[29]
Stable model categories are categories of modules - ScienceDirect
A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra ...
[30]
[PDF] A model structure for the homotopy theory of crossed complexes
constant 2-morphisms of the 2-category. Thus for crossed complexes one obtains a double category with thin structure from the 2-category of crossed complexes,.
[31]
Tensor products and homotopies for ω-groupoids and crossed ...
Crossed complexes have longstanding uses, explicit and implicit, in homotopy theory and the cohomology of groups. It is here shown that the category of ...
[32]
Homology of Symmetric Products and Other Functors of Complexes
1, July, 1958. Printed in Japan. HOMOLOGY OF SYMMETRIC PRODUCTS AND. OTHER FUNCTORS OF COMPLEXES. By ALBRECHT DOLD. (Received May 22, 1957). Introduction. A ...
[33]
Applications of the Dold-Kan correspondence - MathOverflow
Dec 28, 2022 · More generally, the Dold–Kan correspondence is the principal mediating tool between homological algebra and (nonabelian) homotopical algebra.Is there any generalization of the Dold-Kan correspondence?Stable Dold-Kan correspondence and symmetric group actionsMore results from mathoverflow.net
[34]
ALGEBRAIC MODELS FOR HOMOTOPY TYPES 1. Introduction1,2,3.
homotopy types is a simple but subtle combination of simplicial sets most often not of finite type with chain complexes of finite type. There is a common ...