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

Lecture

Postnikov tower + cool stuff

In course

MATH-497: Topology IV.b - homotopy theory

We propose an introduction to homotopy theory for topological spaces. We define higher homotopy groups and relate them to homology groups. We introduce (co)fibration sequences, loop spaces, and suspensions. We study long exact sequences. We construct Eilen ...

Description

This lecture covers the Postnikov tower, homotopy fibers, suspension, and the James construction. It also delves into the Poincaré sphere, abelian monoids, and infinite symmetric products.

Instructor

Jérôme Scherer

Official source

Ontological neighbourhood

Mathematics

Topology: Algebraic topology

Related concepts (32)

Homotopy fiber

In mathematics, especially homotopy theory, the homotopy fiber (sometimes called the mapping fiber) is part of a construction that associates a fibration to an arbitrary continuous function of topological spaces . It acts as a homotopy theoretic kernel of a mapping of topological spaces due to the fact it yields a long exact sequence of homotopy groupsMoreover, the homotopy fiber can be found in other contexts, such as homological algebra, where the distinguished trianglegives a long exact sequence analogous to the long exact sequence of homotopy groups.

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.

Generating set of a group

In abstract algebra, a generating set of a group is a subset of the group set such that every element of the group can be expressed as a combination (under the group operation) of finitely many elements of the subset and their inverses. In other words, if is a subset of a group , then , the subgroup generated by , is the smallest subgroup of containing every element of , which is equal to the intersection over all subgroups containing the elements of ; equivalently, is the subgroup of all elements of that can be expressed as the finite product of elements in and their inverses.

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.

Puppe sequence

In mathematics, the Puppe sequence is a construction of homotopy theory, so named after Dieter Puppe. It comes in two forms: a long exact sequence, built from the mapping fibre (a fibration), and a long coexact sequence, built from the mapping cone (which is a cofibration). Intuitively, the Puppe sequence allows us to think of homology theory as a functor that takes spaces to long-exact sequences of groups. It is also useful as a tool to build long exact sequences of relative homotopy groups.

Related lectures (41)

Bar Construction: Homology Groups and Classifying Space

Covers the bar construction method, homology groups, classifying space, and the Hopf formula.

Homology of Riemann Surfaces

Explores the homology of Riemann surfaces, including singular homology and the standard n-simplex.

The Topological Künneth Theorem

Explores the topological Künneth Theorem, emphasizing commutativity and homotopy equivalence in chain complexes.

Cohomology Representations: Lecture 14.1

Covers the concept of cohomology representations and the implications of reduced suspension operations on spaces.

Group Cohomology