Related papers: Proof of a magnificent conjecture

This work develops new ideas and tools to establish wall-crossing in Calabi-Yau four categories as originally conjectured by Gross-Joyce-Tanaka. In the process, I set up some necessary new language, including a natural refinement of Joyce's…

We prove conjecture due to Erickson-Semenoff-Zarembo and Drukker-Gross which relates supersymmetric circular Wilson loop operators in the N=4 supersymmetric Yang-Mills theory with a Gaussian matrix model. We also compute the partition…

In analogy with the Gopakumar-Vafa (GV) conjecture on Calabi-Yau (CY) 3-folds, Klemm and Pandharipande defined GV type invariants on Calabi-Yau 4-folds using Gromov-Witten theory and conjectured their integrality. In a joint work with…

The disk partition function of certain 3d N=2 supersymmetric gauge theories computes a quantum K-theoretic ring for Kahler manifolds X. We study the 3d gauge theory/quantum K-theory correspondence for global and local Calabi-Yau manifolds…

We study K\"{a}hler gravity on local SU(N) geometry and describe precise correspondence with certain supersymmetric gauge theories and random plane partitions. The local geometry is discretized, via the geometric quantization, to a foam of…

A closed expression is given for the generating function of (virtual) Poincar\'e polynomials of moduli spaces of semi-stable sheaves on the projective plane $\mathbb{P}^2$ with arbitrary rank $r$ and Chern classes. This generating function…

After Bershadsky-Cecotti-Ooguri-Vafa, we introduce an invariant of Calabi-Yau threefolds, which we call the BCOV invariant and which we obtain using analytic torsion. We give an explicit formula for the BCOV invariant as a function on the…

In these lectures we review how the symmetries of gravitational theories may be regarded as originating from those of "Yang-Mills squared". We begin by motivating the idea that certain aspects of gravitational theories can be captured by…

We study the relationship between derived categories of factorizations on gauged Landau-Ginzburg models related by variations of the linearization in Geometric Invariant Theory. Under assumptions on the variation, we show the derived…

We study the representation theory of the nested instantons quiver presented in [1], which describes a particular class of surface defects in four-dimensional supersymmetric gauge theories. We show that the moduli space of its stable…

We establish a version, formulated in terms of non-Archimedean pluripotential theory, of the Yau-Tian-Donaldson conjecture for constant scalar curvature and, more generally, weighted extremal K\"ahler metrics with prescribed compact…

The aim of this paper is to introduce an approach to the (strong) Novikov conjecture based on continuous families of finite dimensional representations: this is partly inspired by ideas of Lusztig using the Atiyah-Singer families index…

We define an invariant of graphs embedded in a three-manifold and a partition function for 2-complexes embedded in a triangulated four-manifold by specifying the values of variables in the Turaev-Viro and Crane-Yetter state sum models. In…

We study equivariant Gromov-Witten invariants and quantum cohomology in GKM theory. Building on the localization formula, we prove that the resulting expression is independent of the choice of compatible connection, and provide an…

Oberdieck and Pandharipande conjectured that the curve counting invariants of $S\times E$, the product of a $K3$ surface and an elliptic curve, is given by minus the reciprocal of the Igusa cusp form of weight 10. For a fixed primitive…

Quantum K-theory of a smooth projective variety at genus zero is a collection of integers that can be assembled into a generating series $J(Q,q,t)$ that satisfies a system of linear differential equations with respect to $t$ and…

An enumerative invariant theory in Algebraic Geometry, Differential Geometry, or Representation Theory, is the study of invariants which 'count' $\tau$-(semi)stable objects $E$ with fixed topological invariants $[E]=\alpha$ in some…

Let $X$ be a smooth polarized algebraic surface over the compex number field. We discuss the invariants obtained from the moduli stacks of semistable sheaves of arbitrary ranks on $X$. For that purpose, we construct the virtual fundamental…

Let $({\bf X},\omega_{\bf X}^*)$ be a separated, $-2$-shifted symplectic derived $\mathbb C$-scheme, in the sense of Pantev, Toen, Vezzosi and Vaquie arXiv:1111.3209, of complex virtual dimension ${\rm vdim}_{\mathbb C}{\bf X}=n\in\mathbb…

Using cyclotomic specializations of the equivariant $K$-theory with respect to a torus action we derive congruences for discrete invariants of exceptional objects in derived categories of coherent sheaves on a class of varieties that…