• D-critical structure(s) on Quot schemes of points of Calabi-Yau 3-folds

    Abstract: D-critical schemes and Artin stacks were introduced by Joyce in 2015, and play a central role in Donaldson-Thomas theory. They typically occur as truncations of (-1)-shifted symplectic derived schemes, but the problem of constructing the d-critical structure on a “DT moduli space” without passing through derived geometry is wide open. We discuss this problem, and […]

  • Tropical disk counts

    Abstract: (joint with S. Venugopalan)  I will describe version of the Fukaya algebra that appears in a tropical degeneration with the Lagrangian being one of the “tropical fibers”. An example is the count of “twenty-one disks in the cubic surface” (suggested by Sheridan)  which is an open analog of the twenty-seven lines.  As an application, I will explain why the Floer […]

  • Categorification and applications

    Virtual

    Speaker: Peng Shan (Tsinghua University) Title: Categorification and applications Abstract: I will give a survey of the program of categorification for quantum groups, some of its recent development and applications to representation theory.

  • 10/21/2021 Interdisciplinary Science Seminar

    Title: Mathematical resolution of the Liouville conformal field theory. Abstract: The Liouville conformal field theory is a well-known beautiful quantum field theory in physics describing random surfaces. Only recently a mathematical approach based on a well-defined path integral to this theory has been proposed using probability by David, Kupiainen, Rhodes, Vargas. Many works since the […]

  • The Large D Limit of Einstein’s Equations

    Abstract: Taking the large dimension limit of Einstein’s equations is a useful strategy for solving and understanding the dynamics that these equations encode. I will introduce the underlying ideas and the progress that has resulted in recent years from this line of research. Most of the discussion will be classical in nature and will concern situations […]

  • Wall-crossing from Higgs bundles to vortices

    Speaker: Du Pei Title: Wall-crossing from Higgs bundles to vortices Abstract: Quantum field theories can often be used to uncover hidden algebraic structures in geometry and hidden geometric structures in algebra. In this talk, I will demonstrate how such “wall-crossing” can relate the moduli space of Higgs bundles with the moduli space of vortices.

  • Exploring the Holographic Swampland

    Abstract: I describe our work looking at `traditional’ scenarios of moduli stabilisation from a holographic perspective. This reveals some interesting structure that is not apparent from the top-down perspective. For vacua in the extreme regions of moduli space, such as LVS in type IIB or the DGKT flux vacua in type IIA, the dual moduli […]

  • The n-queens problem

    Abstract: The n-queens problem asks how many ways there are to place n queens on an n x n chessboard so that no two queens can attack one another, and the toroidal n-queens problem asks the same question where the board is considered on the surface of a torus. Let Q(n) denote the number of n-queens […]

  • On singular Hilbert schemes of points

    Abstract: It is well known that the Hilbert schemes of points on smooth surfaces are smooth. In higher dimensions the Hilbert schemes of points are in general singular. In this talk we will present some examples and conjectures on the local structures of the Hilbert scheme of points on $\mathbb{P}^3$. As an application we study a […]

  • Anisotropy, biased pairing theory and applications

    Speaker: Karim Adiprasito, Hebrew University and University of Copenhagen Title: Anisotropy, biased pairing theory and applications Abstract: Not so long ago, the relations between algebraic geometry and combinatorics were strictly governed by the former party, with results like log-concavity of the coefficients of the characteristic polynomial of matroids shackled by intuitions and techniques from projective algebraic […]

  • Why explain mathematics to computers?

    https://youtu.be/rRGh97sOtKE Speaker: Patrick Massot, Laboratoire de Mathématiques d’Orsay and CNRS Title: Why explain mathematics to computers? Abstract: A growing number of mathematicians are having fun explaining mathematics to computers using proof assistant softwares. This process is called formalization. In this talk I’ll describe what formalization looks like, what kind of things it teaches us, and […]