C2

In 1933, lattice theory was a new subject, put forth by Garrett Birkhoff. In contrast, in 1940, it was already a mature subject, worth publishing a book on. Indeed, the first monograph, written by the same G. Birkhoff, was the result of these 7 years of working on a lattice theory. In my talk, I would like to focus on this fast development. I will present the notion of a theory not only as an actors' category but as an historical category. Relying on that definition, I would like to focus on some collaborations around the notion of lattices. In particular, we will study lattice theory as a meeting point between the works of G. Birkhoff and two other mathematicians: John von Neumann and Marshall Stone.

 Anyone who has worked in $\beta $N will not be surprised to learn that some of the algebraically defined subsets of $\beta N$ are not topologically simple, even though their algebraic definition may be very simple.  I shall show that the following subsets of $\beta N$ are not Borel: $N^*+N^*$; the smallest ideal of $\beta N$; the set of idempotents in $\beta N$; any semiprincipal right ideal in $\beta N$; the set of idempotents in any left ideal in $\beta N$.

Abstract:  Anyone who has worked in $\beta $N will not be surprised to learn that some of the algebraically defined subsets of $\beta N$ are not topologically simple, even though their algebraic definition may be very simple.  I shall show that the following subsets of $\beta N$ are not Borel: $N^*+N^*$; the smallest ideal of $\beta N$; the set of idempotents in $\beta N$; any semiprincipal right ideal in $\beta N$; the set of idempotents in any left ideal in $\beta N$.

I will compare features of (classical) cohomology theory of groups to the rather exotic features of bounded (or continuous bounded) cohomology of groups.
Besides giving concrete examples I will state classical cohomological tools/features and see how (if) they survive in the case of bounded cohomology. Such will include the Mayer-Vietoris sequence, the transfer map, resolutions, classifying spaces, the universal coefficient theorem, the cup product, vanishing results, cohomological dimension and relation to extensions. 
Finally I will discuss their connection to each other via the comparison map.

I will report on joint work with Michael Weiss (https://arxiv.org/pdf/1503.00498.pdf):

Let K be a subset of a smooth manifold M. In some cases, functor calculus methods lead to a homotopical formula for M \ K in terms of the spaces M \ S,  where S runs through the finite subsets of K. This is for example the case when K is a smooth compact sub manifold of co-dimension greater or equal to three.

Continuation of the last talk.