L3

The mod p homology of a space is an unstable coalgebra over the Steenrod algebra at the prime p. This talk will be about the classical problem of realising an unstable coalgebra as the homology of a space. More generally, one can consider the moduli space of all such topological realisations and ask for a description of its homotopy type. I will discuss an obstruction theory which describes this moduli space in terms of the Andr\'{e}-Quillen cohomology of the unstable coalgebra. This is joint work with G. Biedermann and M. Stelzer.

 In this talk I will introduce my joint work with Kreck on a classification of
certain 5-manifolds with fundamental group Z. This result can be interpreted as a
generalization of the classical Browder-Levine's fibering theorem to dimension 5.

The class of sofic groups was introduced by Gromov in 1999. It
includes all residually finite and all amenable groups. In fact, no group has been proved
not to be sofic, so it remains possible that all groups are sofic. Their
defining property is that, roughly speaking, for any finite subset F of
the group G, there is a map from G to a finite symmetric group, which is
approximates to an injective homomorphism on F. The widespread interest in
these group results partly from their connections with other branches of
mathematics, including dynamical systems. In the talk, we will concentrate
on their definition and algebraic properties.

A generalized Baumslag-Solitar group is a group G acting co-compactly on a tree X, with all vertex- and edge stabilizers isomorphic to the free abelian group of rank n. We will discuss the $L^p$-metric and $L^p$-equivariant compression of G, and also the quasi-isometric embeddability of G in a finite product of binary trees. Complete results are obtained when either $n=1$, or the quotient graph $G\X$ is either a tree or homotopic to a circle. This is joint work with Yves Cornulier.

Solutions to translation invariant linear forms in dense sets  (for example: k-term arithmetic progressions), have been studied extensively in additive combinatorics and number theory. Finding solutions to translation invariant quadratic forms is a natural generalization and at the same time a simple instance of the hard general problem of solving diophantine equations in unstructured sets. In this talk I will explain how to modify the  classical circle method approach to obtain quantitative results  for quadratic forms with at least 17 variables.

One of the most subtle aspects of the correspondence between automorphic and Galois representations is the weight part of Serre conjectures, namely describing the weights of modular forms corresponding to mod p congruence class of Galois representations. We propose a direct geometric approach via studying the mod p cohomology groups of certain integral models of modular or Shimura curves, involving Deligne-Lusztig curves with the action of GL(2) over finite fields. This is a joint work with James Newton.