Part of the series 'What do historians of mathematics do?'

In this talk, we will survey the movement of mathematical ideas in the 17th century. We will explore, in particular, the mathematical cultures of Paris, Amsterdam, Rome, Cape Town, Goa, Kyoto, Beijing, and London, as well as the journey of mathematical knowledge on a global scale. As it will be an ambitious task to complete a round-the-world history tour in an hour, the focus will be on East Asia. By employing the digital humanities technique, this presentation will use digital media to effectively show historical sources and help the audience imagine the world as a “round” entity when we discuss a global history of mathematics.

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.

Cube Complexes with Coupled Links (CLCC) are a special family of non-positively curved cube complexes that are constructed by specifying what the links of their vertices should be. In this talk I will introduce the construction of CLCCs and try to motivate it by explaining how one can use information about the local geometry of a cube complex to deduce global properties of its fundamental group (e.g. hyperbolicity and cohomological dimension). On the way, I will also explain what fly maps are and how to use them to deduce that a CAT(0) cube complex is hyperbolic.

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.

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.

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.

We consider the discrete Bilaplacian on a cube in two and three dimensions with zero boundary data and prove estimates for its Green's function that are sharp up to the boundary. The main tools in the proof are Caccioppoli estimates and a compactness argument which allows one to transfer estimate for continuous PDEs to the discrete setting. One application of these estimates is to understand the so-called membrane model from statistical physics, and we will outline how these estimates can be applied to understand the phenomenon of entropic repulsion. We will also describe some connections to numerical analysis, in particular another approach to these estimates based on convergence estimates for finite difference schemes.