Related papers: Moduli of sheaves on fourfolds as derived Lagrangi…
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 paper studies the Cohomological Donaldson-Thomas theory of loop stacks of $0$-shifted symplectic stacks. In particular, we compare $(-1)$-shifted tangent stacks of these moduli problems, which we view as additive, to loop stacks, which…
A 10-dimensional symplectic moduli space of torsion sheaves on the cubic 4-fold is constructed. It parametrizes the stable rank 2 vector bundles on the hypeplane sections of the cubic 4-fold which are obtained by Serre's construction from…
We give a local model for d-shifted symplectic dg-schemes, or Deligne-Mumford dg-stacks [PTVV]. Locally any such is a product of a "twisted shifted cotangent bundle", where the twist is given by an element df, with $f \in H^{1-d}(\Cal O)$,…
Sheaf theoretically based Abstract Differential Geometry incorporates and generalizes all the classical differential geometry. Here, we undertake to partially explore the implications of Abstract Differential Geometry to classical…
We construct the derived scheme of stable sheaves on a smooth projective variety via derived moduli of finite graded modules over a graded ring. We do this by dividing the derived scheme of actions of Ciocan-Fontanine and Kapranov by a…
We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…
A Lagrangian field on a symplectic manifold $M$ is a family $\Lambda=\{\Lambda_x|x \in M\}$ of pointed Lagrangian submanifolds of $M$. This notion is a generalization of a real Lagrangian polarization for which each $\Lambda_x$ is the leaf…
R.C.McLean showed that the moduli space of nearby submanifolds of a smooth, compact, orientable special Lagrangian submanifold L in a Calabi-Yau manifold X is a smooth manifold and its tangent space at L is identified with the space of…
We construct a canonical stabilizer reduction $\widetilde{X}$ for any derived $1$-algebraic stack $X$ over $\mathbb{C}$ as a sequence of derived Kirwan blow-ups, under mild natural conditions that include the existence of a good moduli…
This is an invited contribution to the 2nd edition of the Encyclopedia of Mathematical Physics, that provides a very short survey of derived symplectic geometry. Derived symplectic geometry studies symplectic structures on derived stacks.…
In this paper, we expand the foundations of derived complex analytic geometry introduced in [DAG-IX] by J. Lurie. We start by studying the analytification functor and its properties. In particular, we prove that for a derived complex scheme…
For a $(-1)$-shifted Lagrangian in a critical locus, we construct a homomorphism from the $K$-group of matrix factorisations of the critical locus to the $K$-group of the Lagrangian, partially answering the Joyce-Safronov conjecture. The…
A framed symplectic sheaf on a smooth projective surface $X$ is a torsion-free sheaf $E$ together with a trivialization on a divisor $D\subseteq X$ and a morphism $\Lambda^{2}E\rightarrow\mathcal{O}_{X}$ satisfying some additional…
A stable generalized complex structure is one that is generically symplectic but degenerates along a real codimension two submanifold, where it defines a generalized Calabi-Yau structure. We introduce a Lie algebroid which allows us to view…
Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally,…
Several situations are known when a holomorphic 2-form on a moduli space of sheaves over some base S is induced by a holomorphic 2-form on S. Moreover, the closedness of the 2-form on the base implies the closedness on the moduli space,…
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…
A theory of dg schemes is developed so that it becomes a homotopy site, and the corresponding infinity category of stacks is equivalent to the infinity category of stacks, as constructed by Toen and Vezzosi, on the site of dg algebras whose…
We show how a quasi-smooth derived enhancement of a Deligne-Mumford stack X naturally endows X with a functorial perfect obstruction theory in the sense of Behrend-Fantechi. This result is then applied to moduli of maps and perfect…