Kim-Chabauty method

In this part of the series of talks we will discuss pro-unipotent completion of groups, Chen theorem, and we will explain various cohomological structures on the prounipotent completion and on torsors of paths. Also, we will introduce some useful representability results of Kim in the context of $p$-adic Hodge theory.