Related papers: A 'Darboux theorem' for derived schemes with shift…
Pantev, Toen, Vaqui\'e and Vezzosi arXiv:1111.3209 defined $k$-shifted symplectic derived schemes and stacks ${\bf X}$ for $k\in\mathbb Z$, and Lagrangians ${\bf f}:{\bf L}\to{\bf X}$ in them. They have important applications to Calabi-Yau…
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…
This is the fifth in a series arXiv:1304.4508, arXiv:1305,6302, arXiv:1211.3259, arXiv:1305.6428 on the '$k$-shifted symplectic derived algebraic geometry' of Pantev, Toen, Vaquie and Vezzosi, arXiv:1111.3209. This paper extends the…
The derived geometry approach to Donaldson--Thomas theory (over $\mathbb{C}$) is built on Pantev--To\"en--Vezzosi--Vaqui\'e's existence theorem of $(-1)$-shifted symplectic forms \cite{pantev2013shifted} and Brav--Bussi--Joyce's shifted…
Given a regular function $\phi$ on a smooth stack, and a $(-1)$-shifted Lagrangian $M$ on the derived critical locus of $\phi$, under fairly general hypotheses, we construct a pullback map from the Grothendieck group of coherent matrix…
This is a continuation of prior work of the author on cosection localization for d-manifolds. We construct reduced virtual fundamental classes for derived manifolds with surjective cosections and cosection localized virtual fundamental…
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…
The notion of a d-critical locus is an ingredient in the definition of motivic Donaldson-Thomas invariants by [BJM19]. There is a canonical d-critical locus structure on the Hilbert scheme of dimension zero subschemes on local toric…
We introduce how to pushforward shifted symplectic fibrations along base changes. This is achieved by considering symplectic forms that are closed in a stronger sense. Examples include: symplectic zero loci and symplectic quotients.…
Let $X$ be a (-1)-shifted symplectic derived Deligne--Mumford stack. In this paper we introduce the Darboux stack of $X$, parametrizing local presentations of $X$ as a derived critical locus of a function $f$ on a smooth formal scheme $U$.…
We give a survey of Darboux type theorems in multisymplectic geometry. These theorems establish when a closed differential form of a certain type admits a constant-coefficient expression in some local coordinate system. Beyond the classical…
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 prove that the derived critical locus of a $G$-invariant function $S:X\to\mathbb{A}^1$ carries a shifted moment map, and that its derived symplectic reduction is the derived critical locus of the induced function…
This paper is a follow-up to arXiv:2407.08471. Let $X$ be a a $(-1)$-shifted symplectic derived Deligne--Mumford stack. Thanks to the Darboux lemma of Brav--Bussi--Joyce, $X$ is locally modeled by derived critical loci of a function $f$ on…
A strictification result is proved for isotropic distributions on derived schemes equipped with negatively shifted homotopically closed $2$-forms. It is shown that any derived scheme over $\mathbb{C}$ equipped with a $-2$-shifted symplectic…
The purpose of this short note is to present two existence results concerning symplectic and lagrangian structures in the derived setting, in situations where the constructions of [Ca] and [PTVV] do not apply. For this we show that…
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…
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 prove that the space of shifted Poisson structures on a derived scheme $X$ locally of finite presentation is equivalent to the space of shifted Lagrangian thickenings out $X$, solving a conjecture in shifted Poisson geometry. As a…