# Past Junior Geometry and Topology Seminar

This talk will be a general introduction to perverse sheaves and their applications to the study of algebraic varieties, with a view towards enumerative geometry. It is aimed at non-experts.

We will start by considering constructible sheaves and local systems, and how they relate to the notion of stratification: this offers some insight in the relationship with intersection cohomology, which perverse sheaves generalise in a precise sense.

We will then introduce some technical notions, like t-structures, perversities, and intermediate extensions, in order to define perverse sheaves and explore their properties.

Time permitting, we will consider the relevant example of nearby and vanishing cycle functors associated with a critical locus, their relationship with the (hyper)-cohomology of the Milnor fibre and how this is exploited to define refined enumerative invariants in Donaldson-Thomas theory.

Equivariant cohomology is adapted from ordinary cohomology to better capture the action of a group on a topological space. In Floer theory, given an autonomous Hamiltonian, there is a natural action of the circle on 1-periodic flowlines given by time translation. Combining these two ideas leads to the definition of $S^1$-equivariant symplectic cohomology. In this talk, I will introduce these ideas and explain how they are related. I will not assume prior knowledge of Floer theory.

The Witten-Reshetikhin-Turaev invariant Z(X,K) of a closed oriented three-manifold X containing a knot K, was originally introduced by Witten in order to extend the Jones polynomial of knots in terms of Chern-Simons theory. Classically, the Jones polynomial is defined for a knot inside the three-sphere in a combinatorial manner. In Witten's approach, the Jones polynomial J(K) emerge as the expectation value of a certain observable in Chern-Simons theory, which makes sense when K is embedded in any closed oriented three-manifold X. Moreover; he proposed that these invariants should be extendable to so-called topological quantum field theories (TQFT's). There is a catch; Witten's ideas relied on Feynman path integrals, which made them unrigorous from a mathematical point of view. However; TQFT's extending the Jones polynomial were subsequently constructed mathematically through combinatorial means by Reshetikhin and Turaev. In this talk, I shall expand slightly on the historical motivation of WRT invariants, introduce the formalism of TQFT's, and present some of the open problems concerning WRT invariants. The guiding motif will be the analogy between TQFT and quantum field theory.

The Grojnowski-Nakajima theorem states that the direct sum of the homologies of the Hilbert schemes on n points on an algebraic surface is an irreducible highest weight representation of an infinite-dimensional Heisenberg superalgebra. We present an idea to rederive the Grojnowski-Nakajima theorem using Halpern-Leistner's categorical Kirwan surjectivity theorem and Joyce's theorem that the homology of a moduli space of sheaves is a vertex algebra. We compute the homology of the moduli stack of perfect complexes of coherent sheaves on a smooth quasi-projective variety X, identify it as a (modified) lattice vertex algebra on the Lawson homology of X, and explain its relevance to the aforementioned problem.

Given an endomorphism f:X --> X of a 'dualisable' object in a symmetric monoidal category, one can define its trace Tr(f). It turns out that the trace is 'universal' among the scalars we can produce from f. To prove this we will think of the 1d framed bordism category as the 'walking dualisable object' (using the cobordism hypothesis) and then apply the Yoneda lemma.

Employing similar techniques we can define 'hermitian' objects (generalising hermitian vector spaces) and prove that there is a 1-1 correspondence between Hermitian structures on a fixed object X and self-adjoint automorphisms of X. If time permits I will sketch how this relates to hermitian K-theory.

While all results of the talk hold for infinity-categories, they work equally well for ordinary categories. Therefore no knowledge of higher category theory is needed to follow the talk.

Symplectic cohomology is a Floer cohomology invariant of compact symplectic manifolds

with contact type boundary, or of open symplectic manifolds with a certain geometry

at the infinity. It is a graded unital K-algebra related to quantum cohomology,

and for cotangent bundle, it recovers the homology of a loop space. During the talk

I will define symplectic cohomology and show some of the results on its (non) vanishing.

Time permitting, I will also mention natural TQFT algebraic structure on it.