A 2-connected, rational homotopy 7-sphere is classified up to diffeomorphism by three invariants: its (finite) 4th cohomology group, its q-invariant and its Eells-Kuiper invariant.  The q-invariant is a quadratic refinement of the linking form and determines the homeomorphism type, while the Eells-Kuiper invariant then pins down the diffeomorphism type.  In this talk, I will discuss the diffeomorphism classification of a certain family of non-negatively curved, 2-connected, rational homotopy 7-spheres, discovered by Sebastian Goette, Krishnan Shankar and myself, which contains, in particular, all $S^3$-bundles over $S^4$ and all exotic 7-spheres.

Symplectic implosion is an abelianisation construction in symplectic geometry. The implosion of the cotangent bundle of a group K plays a universal role in the implosion of manifolds with a K-action.  This universal implosion, which is usually a singular variety, can also be viewed as the non-reductive Geometric Invariant Theory quotient of the complexification G of K by its maximal unipotent subgroup. 

In this talk, we describe joint work with Johan Martens and Nick Proudfoot which uses point-counting techniques to calculate the intersection cohomology of the universal implosion.

I will discuss the Brill-Noether theory of a general elliptic $K3$ surface using wall-crossing with respect to Bridgeland stability conditions. As an application, I will provide an example of a general $k$-gonal curve from the perspective of Hurwitz-Brill-Noether theory. This is joint work with Gavril Farkas and Andrés Rojas.

The Cuntz semigroup of a C*-algebra A consists of equivalence classes of positive elements, where equivalence means roughly that two positive elements have the same rank relative to A.  It can be thought of as a generalization of the Murray von Neumann semigroup to positive elements and is an incredibly sensitive invariant. We present a calculation of the homotopy groups of these Cuntz classes as topological subspaces of A when A is classifiable in the sense of Elliott.  Remarkably, outside the case of compact classes, these spaces turn out to be contractible.