Topology Seminar

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.

The simplicial volume of a simplicial complex is a topological invariant
related to the growth of the fundamental group, which gives rise to a
semi-norm in homology. In this talk, we introduce the volume entropy
semi-norm, which is also related to the growth of the fundamental group
of simplicial complexes and shares functorial properties with the
simplicial volume. Answering a question of Gromov, we prove that the
volume entropy semi-norm is equivalent to the simplicial volume
semi-norm in every dimension. Joint work with I. Babenko.