Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Homotopy Theory in Chain Complexes

Description

This lecture delves into the proof that acyclic fibrations of chain complexes correspond to chain maps respecting boundary inclusions of spheres into disks. The discussion then shifts to defining cylinder objects in this model structure, leading to an exploration of tensor products of chain complexes.

Official source

Ontological neighbourhood

Mathematics

Topology: Algebraic topology

Related concepts (32)

Homotopy theory

In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and (specifically the study of ). In homotopy theory and algebraic topology, the word "space" denotes a topological space.

Stable homotopy theory

In mathematics, stable homotopy theory is the part of homotopy theory (and thus algebraic topology) concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor. A founding result was the Freudenthal suspension theorem, which states that given any pointed space , the homotopy groups stabilize for sufficiently large. In particular, the homotopy groups of spheres stabilize for . For example, In the two examples above all the maps between homotopy groups are applications of the suspension functor.

Homotopy group

In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, denoted which records information about loops in a space. Intuitively, homotopy groups record information about the basic shape, or holes, of a topological space. To define the n-th homotopy group, the base-point-preserving maps from an n-dimensional sphere (with base point) into a given space (with base point) are collected into equivalence classes, called homotopy classes.

Chain complex

In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or modules) and a sequence of homomorphisms between consecutive groups such that the of each homomorphism is included in the kernel of the next. Associated to a chain complex is its homology, which describes how the images are included in the kernels. A cochain complex is similar to a chain complex, except that its homomorphisms are in the opposite direction. The homology of a cochain complex is called its cohomology.

Tensor product

In mathematics, the tensor product of two vector spaces V and W (over the same field) is a vector space to which is associated a bilinear map that maps a pair to an element of denoted An element of the form is called the tensor product of v and w. An element of is a tensor, and the tensor product of two vectors is sometimes called an elementary tensor or a decomposable tensor. The elementary tensors span in the sense that every element of is a sum of elementary tensors.

Related lectures (54)

Homotopy theory of chain complexes

Explores the homotopy theory of chain complexes, focusing on defining cylinder objects and left homotopy.

Cohomology: Cross Product

Explores cohomology and the cross product, demonstrating its application in group actions like conjugation.

Quasi-Categories: Active Learning Session

Covers fibrant objects, lift of horns, and the adjunction between quasi-categories and Kan complexes, as well as the generalization of categories and Kan complexes.

Homotopy Theory of Chain Complexes

Explores the model structure on chain complexes over a field.

Homotopy Theory in Care Complexes