Colloquium de mathématique


Le colloquium de mathématiques est une activité scientifique mensuelle de l'IRMP. Il consiste en un exposé d'une heure au cours duquel l'orateur présente un thème lié à la recherche en mathématiques. Le public cible est généraliste, il inclut l'ensemble des membres de l'IRMP: doctorants, post-docs et professeurs de tous les domaines de recherche. Les étudiants de master sont également les bienvenus.

Responsable du Colloquium : Prof. Tom CLAEYS

A venir

Jeudi 3 novembre. 16h15 Cycl 01

Prof. Nathalie Wahl (University of Copenhagen) : What do closed strings know about the space they live on?

Abstract: To a Riemannian manifold M, one can associate the space LM of all closed strings in M. By classical Morse theory, the homology of this second space is build out of closed geodesics in M. String topology, as introduced 20 years about by Chas and Sullivan, can be thought of as a refinement of the homology LM, remembering the extra information of how strings can sometimes be concatenated or cut. I'll give an introduction to string topology, and to what this extra structure on LM knows about M. 




8 septembre 2022 à 16h15 
Prof. Emily Riehl (Johns Hopkins) : Path induction and the indiscernibility of identicals

Cet événement a le soutien de la Fondation Hoover pour le développement de l'Uniiversité catholique de Louvain et de la Katholieke Universiteit Leuven.


Abstract : 

Mathematics students learn a powerful technique for proving theorems about an arbitrary natural number: the principle of mathematical induction.

This talk introduces a closely related proof technique called "path induction," which can be thought of as an expression of Leibniz's "indiscernibility of identicals": if x and y are identified, then they must have the same properties, and conversely. 

What makes this interesting is that the notion of identification referenced here is given by Per Martin-Löf's intensional identity types, which encode a more flexible notion of sameness than the traditional equality predicate in that an identification can carry data, for instance of an explicit isomorphism or equivalence.

The nickname "path induction" for the elimination rule for identity types derives from a new homotopical interpretation of type theory, in which the terms of a type define the points of a space and identifications correspond to paths. In this homotopical context, indiscernibility of identicals is a consequence of the path lifting property of fibrations. Path induction is then justified by the fact that based path spaces are contractible.