Related papers: Cosection Localization for D-Manifolds and $(-2)$-…
The purpose of this paper is to shed a new light on classical constructions in enumerative geometry from the view point of derived algebraic geometry. We first prove that the cosection localized virtual cycle of a quasi-smooth derived…
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…
We show that any $(-2)$-shifted symplectic derived scheme $\textbf{X}$ (of finite type over an algebraically closed field of characteristic zero) is locally equivalent to the derived intersection of two Lagrangian morphisms to a…
Let $f:U\to{\mathbb A}^1$ be a regular function on a smooth scheme $U$ over a field $\mathbb K$. Pantev, Toen, Vaquie and Vezzosi (arXiv:1111.3209, arXiv:1109.5213) define the "derived critical locus" Crit$(f)$, an example of a new class of…
Since its introduction in 1995 by Li-Tian and Behrend-Fantechi, the theory of virtual fundamental class has played a key role in algebraic geometry, defining important invariants such as the Gromov-Witten invariant and the Donaldson-Thomas…
We construct virtual fundamental classes on nested Hilbert schemes of points and curves in complex nonsingular projective surfaces. These classes recover the virtual classes of Seiberg-Witten theory as well as the (reduced) stable theory,…
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…
We prove a 'Darboux theorem' for derived schemes with symplectic forms of degree $k<0$, in the sense of Pantev, Toen, Vaquie and Vezzosi arXiv:1111.3209. More precisely, we show that a derived scheme $X$ with symplectic form $\omega$ of…
In this paper we prove a toric localization formula in the cohomological Donaldson-Thomas theory. Consider a (-1)-shifted symplectic algebraic space with a $\mathbb{G}_m$-action leaving the (-1)-shifted symplectic form invariant (typical…
We develop a new method to construct the virtual fundamental classes for quasi-smooth derived schemes using the perverse sheaves of vanishing cycles on their $-1$-shifted contangent spaces. It is based on the author's previous work that can…
In this paper we prove a toric localization formula in cohomological Donaldson Thomas theory. Consider a -1-shifted symplectic algebraic space with a C* action leaving the -1-shifted symplectic form invariant. This includes the moduli space…
We construct virtual fundamental classes for dg-manifolds whose tangent sheaves have cohomology only in degrees 0 and 1. This condition is analogous to the existence of a perfect obstruction theory in the approach of Behrend-Fantechi [BF]…
We formulate a notion of $E_{-1}$ quantisation of $(-2)$-shifted Poisson structures on derived algebraic stacks, depending on a flat right connection on the structure sheaf, as solutions of a quantum master equation. We then parametrise…
This is the first of a series of papers about \emph{quantization} in the context of \emph{derived algebraic geometry}. In this first part, we introduce the notion of \emph{$n$-shifted symplectic structures}, a generalization of the notion…
Using techniques from the homotopy theory of derived categories and noncommutative algebraic geometry, we establish a general theory of derived microlocalization for quantum symplectic resolutions. In particular, our results yield a new…
We solve the $K$-theoretically refined Donaldson-Thomas theory of local curves. Our results avoid degeneration techniques, but rather exploit direct localisation methods to reduce the refined Donaldson-Thomas partition function to the…
This is a survey paper on derived symplectic geometry, that will appear as a chapter contribution to the book "New Spaces for Mathematics and Physics", edited by Mathieu Anel and Gabriel Catren. Our goal is to explain how derived stacks can…
The generalized Donaldson-Thomas invariants counting one dimensional semistable sheaves on Calabi-Yau 3-folds are conjectured to satisfy a certain multiple cover formula. This conjecture is equivalent to Pandharipande-Thomas's strong…
Motivated by the cohomological construction for the BV formalism from physics, this thesis asks how to perform the intersections and quotients appearing in the BV construction. This leads to the study of the derived symplectic reduction and…
A method of constructing a class of bihamiltonian structures is presented. Elements of this class are generalizations of the so-called bihamiltonian structures of general position on odd-dimensional manifolds. The method consists in a…