In this talk I want to outline the proofs our of main results, i.e. the localisation theorem and the identification of the homotopy type of Grothendieck-Witt theory in terms of K- and L-theory.
Finally, as a small application I want to present a refinement and extension of certain maps relating certain Madsen-Tillmann spectra and orthogonal/symplectic algebraic K-theory spectra of the integers.

All original material is joint work with B.Calmès, E.Dotto, Y.Harpaz, M.Land, K.Moi, D.Nardin, T.Nikolaus and W.Steimle.
 

I will start by briefly reviewing the Tate construction and in particular, the Tate diagonal. Using these I will then illustrate Lurie’s notion of Poincaré categories by considering Poincaré structures on module categories over a ring (spectrum) in detail. In particular, I will describe the somewhat subtle genuine Poincaré structure on the category of perfect complexes of an ordinary ring, which conjecturally links the classical notion of the Grothendieck-Witt spectrum to our derived version. Finally, I will compute its associated L-groups.

Let $X$ be a K3 surface and let $Z_X(q)$ be the generating series of the topological Euler characteristics of the Hilbert scheme of points on $X$. It is known that $q/Z_X(q)$ equals the discriminant form $\Delta(\tau)$ after the change of variables $q=e^{2 \pi i \tau}$. In this talk we consider the equivariant generalization of this result, when a finite group $G$ acts on $X$ symplectically. Mukai and Xiao has shown that there are exactly 81 possibilities for such an action in terms of types of the fixed points. The analogue of $q/Z_X(q)$ in each of the 81 cases turns out to be a cusp form (after the same change of variables). Knowledge of modular forms is not assumed in the talk; I will introduce all necessary concepts. Joint work with Jim Bryan.

For a finite subgroup $G$ of $SL(2,C)$ and for $n \geq 1$,  the Hilbert scheme $X=Hilb^{[n]}(S)$ of $n$ points on the minimal resolution $S$ of the Kleinian singularity $C^2/G$ provides a crepant resolution of the symplectic quotient $C^{2n}/G_n$, where $G_n$ is the wreath product of $G$ with $S_n$. I'll explain why every projective, crepant resolution of $C^{2n}/G_n$ is a quiver variety, and why the movable cone of $X$ can be described in terms of an extended Catalan hyperplane arrangement of the root system associated to $G$ by John McKay. These results extend the algebro-geometric aspects of Kronheimer's hyperkahler description of $S$ to higher dimensions. This is joint work with Gwyn Bellamy.

The comparison of graphs is a vitally important, yet difficult task which arises across a number of diverse research areas including biological and social networks. There have been a number of approaches to define graph distance however often these are not metrics (rendering standard data-mining techniques infeasible), or are computationally infeasible for large graphs. In this work, we define a new metric based on the spectrum of the non-backtracking graph operator and show that it can not only be used to compare graphs generated through different mechanisms but can reliably compare graphs of varying size. We observe that the family of Watts-Strogatz graphs lie on a manifold in the non-backtracking spectral embedding and show how this metric can be used in a standard classification problem of empirical graphs.

The world of quantum invariants began in 1983 with the discovery of the Jones polynomial. Later on, Reshetikhin and Turaev developed an algebraic machinery that provides knot invariants. This algebraic construction leads to a sequence of quantum generalisations of this invariant, called coloured Jones polynomials. The original Jones polynomial can be defined by so called skein relations. However, unlike other classical invariants for knots like the Alexander polynomial, its relation to the topology of the complement is still a mysterious and deep question. On the topological side, R. Lawrence defined a sequence of braid group representations on the homology of coverings of configuration spaces. Then, based on her work, Bigelow gave a topological model for the Jones polynomial, as a graded intersection pairing between certain homology classes. We aim to create a bridge between these theories, which interplays between representation theory and low dimensional topology. We describe the Bigelow-Lawrence model, emphasising the construction of the homology classes. Then, we show that the sequence of coloured Jones polynomials can be seen through the same formalism, as topological intersection pairings of homology classes in coverings of the configuration space in the punctured disc.

I will explain how Lurie‘s approach to L-theory via Poincaré categories can be extended to yield cobordism categories of Poincaré objects à la Ranicki. These categories can be delooped by an iterated Q-construction and the resulting spectrum is a derived version of Grothendieck-Witt-theory.  Its homotopy type can be described in terms of K- and L-theory as conjectured by Hesselholt-Madsen. Furthermore, it has a clean universal property analogous to that of K-theory, localisation sequences in much greater generality than classical Grothendieck-Witt theory, gives a cycle description of Weiss-Williams‘ LA-theory and allows for maps from the geometric cobordism category, refining and unifying various known invariants.

All original material is joint work with B.Calmès, E.Dotto, Y.Harpaz, M.Land, K.Moi, D.Nardin, T.Nikolaus and W.Steimle.