Related papers: Proof of a magnificent conjecture

We study Hilbert schemes of points on a smooth projective Calabi-Yau 4-fold $X$. We define $\mathrm{DT}_4$ invariants by integrating the Euler class of a tautological vector bundle $L^{[n]}$ against the virtual class. We conjecture a…

Gross-Joyce-Tanaka arXiv:2005.05637 proposed a wall-crossing conjecture for Calabi-Yau fourfolds. Assuming it, we prove the conjecture of Cao-Kool arXiv:1712.07347 for 0-dimensional sheaf-counting invariants on projective Calabi-Yau…

Borisov-Joyce constructed a real virtual cycle on compact moduli spaces of stable sheaves on Calabi-Yau 4-folds, using derived differential geometry. We construct an algebraic virtual cycle. A key step is a localisation of Edidin-Graham's…

Fix a Calabi-Yau 3-fold $X$ satisfying the Bogomolov-Gieseker conjecture of Bayer-Macr\`i-Toda, such as the quintic 3-fold. By two different wall-crossing arguments we prove two different explicit formulae relating rank 0 Donaldson-Thomas…

We construct an almost perfect obstruction theory of virtual dimension zero on the Quot scheme parametrizing zero-dimensional quotients of a locally free sheaf on a smooth projective $3$-fold. This gives a virtual class in degree zero and…

We propose that the structure of gauge theories, the $(2,0)$ and little-string theories is encoded in a unique function on the real group manifold $E_{10}(R)$. The function is invariant under the maximal compact subgroup $K$ acting on the…

The Nekrasov conjecture predicts a relation between the partition function for N=2 supersymmetric Yang-Mills theory and the Seiberg-Witten prepotential. For instantons on R^4, the conjecture was proved, independently and using different…

Consider zero-dimensional Donaldson-Thomas invariants of a toric threefold or toric Calabi-Yau fourfold. In the second case, invariants can be defined using a tautological insertion. In both cases, the generating series can be expressed in…

Almost perfect obstruction theories were introduced in an earlier paper by the authors as the appropriate notion in order to define virtual structure sheaves and $K$-theoretic invariants for many moduli stacks of interest, including…

Recently, Nekrasov discovered a new "genus" for Hilbert schemes of points on $\mathbb{C}^4$. We conjecture a DT/PT correspondence for Nekrasov genera for toric Calabi-Yau 4-folds. We verify our conjecture in several cases using a vertex…

We compute the equivariant K-theoretic Donaldson--Thomas invariants of $[\mathbb{C}^2/\mu_r]\times \mathbb{C}$ using factorization and rigidity techniques. For this, we develop a generalization of Okounkov's factorization technique that…

We study virtual invariants of Quot schemes parametrizing quotients of dimension at most 1 of the trivial sheaf of rank N on nonsingular projective surfaces. We conjecture that the generating series of virtual K-theoretic invariants are…

We exploit the critical locus structure on the Quot scheme $\mathrm{Quot}_{\mathbb A^3}(\mathscr O^{\oplus r},n)$, in particular the associated symmetric obstruction theory, in order to define rank $r$ K-theoretic Donaldson-Thomas…

We prove a theorem classifying the equivariant $K$-theoretic pushforwards of the product of arbitrary Schur functors applied to the tautological bundle on the moduli space of framed rank $r$ torsion-free sheaves on $\mathbb{P}^2$, and its…

Recently Oh-Thomas constructed a virtual cycle $[X]^{\mathrm{vir}}\in A_*(X)$ for a quasi-projective moduli space $X$ of stable sheaves or complexes over a Calabi-Yau 4-fold against which DT4 invariants may be defined as integrals of…

In [1] some quotients of one-parameter families of Calabi-Yau varieties are related to the family of Mirror Quintics by using a construction due to Shioda. In this paper, we generalize this construction to a wider class of varieties. More…

In the context of A. Eskin and A. Okounkov's approach to the calculation of the volumes of the different strata of the moduli space of quadratic differentials, two objects have a prominent role. Namely, the characters of near-involutions…

We study punctual quot-schemes of torsion-free sheaves $E_Y$ on smooth projective curves, surfaces and Calabi--Yau fourfolds via their virtual geometry. Our goal is to give a complete description of the virtual fundamental classes and their…

Recently, Oh and Thomas constructed algebraic virtual cycles for moduli spaces of sheaves on Calabi-Yau 4-folds. The purpose of this paper is to provide a virtual pullback formula between these Oh-Thomas virtual cycles. We find a natural…

Let $X$ be a Calabi-Yau 4-fold and $D$ a smooth divisor on it. We consider tautological complex associated with $L=\mathcal{O}_X(D)$ on the moduli space of Le Potier stable pairs and define its counting invariant by integrating the Euler…