Lecture

Higher Homotopy Groups: Generalization and Structure

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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 introduces the generalization of the fundamental group to higher homotopy groups, explaining the structure and properties of these groups, including their abelianness. The instructor discusses the historical context, provides examples, and delves into the concept of H spaces and Co-H spaces, culminating in an in-depth exploration of the Eilenberg-MacLane spaces. The Ekman-Hilton argument is presented as a method to compare different group structures arising from sets of maps. Various properties of H spaces are discussed, such as associativity, commutativity, and inverses, with illustrative diagrams and examples from topology and algebraic structures.

Instructor

Jérôme Scherer

Teaching & PhD PhD Students Virgile Simon Constantin Past EPFL PhD Students Samuel Lavenir Past EPFL PhD Students as codirector Kay Remo Werndli, Lyne Moser Courses Topology IV.a - Cohomology rings MATH-506 Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative algebra. We study an algebraic version, namely group cohomology, and compare both approa

Official source

Ontological neighbourhood

Mathematics

Algebra: Abstract algebra

Topology: Algebraic topology

Related concepts (32)

Fundamental group

In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent (or the stronger case of homeomorphic) have isomorphic fundamental groups.

Associative algebra

In mathematics, an associative algebra A is an algebraic structure with compatible operations of addition, multiplication (assumed to be associative), and a scalar multiplication by elements in some field K. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a vector space over K. In this article we will also use the term [[algebra over a field|K-algebra]] to mean an associative algebra over the field K.

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.

Abelian group

In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel.

Finitely generated abelian group

In abstract algebra, an abelian group is called finitely generated if there exist finitely many elements in such that every in can be written in the form for some integers . In this case, we say that the set is a generating set of or that generate . Every finite abelian group is finitely generated. The finitely generated abelian groups can be completely classified. The integers, , are a finitely generated abelian group. The integers modulo , , are a finite (hence finitely generated) abelian group.

Related lectures (64)

Fundamental Groups

Explores fundamental groups, homotopy classes, and coverings in connected manifolds.

Cohomology Real Projective Space

Covers cohomology in real projective spaces, focusing on associative properties and algebraic structures.

Group Theory: Direct Sum of Abelian Groups

Explores the arithmetic of direct sum of abelian groups and the process of turning a monoid into a commutative group.

Groups and Numbers: Mathematical Elements on Groups

Explores fundamental properties of groups and numbers, emphasizing equivalence classes and subgroup concepts.

Commutative Groups: Foundations for Cryptography