It is a classical fact of rational homotopy theory that the $E_\infty$-algebra of rational cochains on a sphere is formal, i.e., quasi-isomorphic to the cohomology of the sphere. In other words, this algebra is square-zero. This statement fails with integer or mod p coefficients. We show, however, that the cochains of the n-sphere are still $E_n$-trivial with coefficients in arbitrary cohomology theories. This is a consequence of a more general statement on (iterated) loops and suspensions of $E_n$-algebras, closely related to Koszul duality for the $E_n$-operads. We will also see that these results are essentially sharp: if the R-valued cochains of $S^n$ have square-zero $E_{n+1}$-structure (for some rather general ring spectrum R), then R must be rational. This is joint work with Markus Land.

 A commensuration of a group G is an isomorphism between finite-index subgroups of G. Equivalence classes of such maps form a group, whose importance first emerged in the work of Margulis on the rigidity and arithmeticity of lattices in semisimple Lie groups. Drawing motivation from this classical setting and from the study of mapping class groups of surfaces, I shall explain why, when N is at least 3, the group of automorphisms of the free group of rank N is its own abstract commensurator. Similar results hold for certain subgroups of Aut(F_N). These results are the outcome of a long-running project with Ric Wade. An important element in the proof is a non-abelian analogue of the Fundamental Theorem of Projective Geometry in which projective subspaces are replaced by the free factors of a free group; this is the content of a long-running project with Mladen Bestvina.
 

The Junior Algebra and Representation Theory Seminar will kick-off the start of Trinity term with a social event in the common room. Come to catch up with your fellow students and maybe play a board game or two. Afterwards we'll have lunch together.

Cancelled

Minimal surfaces, which are critical points of the area functional, have long been a source of fruitful problems in geometry. In this talk, I will introduce a new approach, primarily coming from a recent paper of M. Struwe, to constructing free boundary minimal discs using a gradient flow of a suitable energy functional. I will discuss the uniqueness of solutions to the gradient flow, including recent work on the uniqueness of weak solutions, and also what is known about the qualitative behaviour of the flow, especially regarding the interpretation of singularities which arise. Time permitting, I will also mention ongoing joint work with M. Rupflin and M. Struwe on extending this theory to general surfaces with boundary.