Related papers: A Mapping Theorem for Derived Foliations

Let f : X -> Y be a morphism between normal complex varieties, and assume that Y is Kawamata log terminal. Given any differential form, defined on the smooth locus of Y, we construct a "pull-back form" on X. The pull-back map obtained by…

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,…

Let ${\mathcal X}$ be a category fibered in groupoids over a finite field $\mathbb{F}_q$, and let $k$ be an algebraically closed field containing $\mathbb{F}_q$. Denote by $\phi_k\colon {\mathcal X}_k\to {\mathcal X}_k$ the arithmetic…

The setting is the representation theory of a simply connected, semisimple algebraic group over a field of positive characteristic. There is a natural transformation from the wall-crossing functor to the identity functor. The kernel of this…

The representability theorem for stacks, due to Artin in the underived setting and Lurie in the derived setting, gives conditions under which a stack is representable by an $n$-geometric stack. In recent work of Ben-Bassat, Kelly, and…

In this article, we derive many properties of \'etale stacks in various contexts, and prove that \'etale stacks may be characterized categorically as those stacks that arise as prolongations of stacks on a site of spaces and local…

In this paper we provide several results regarding the structure of derived categories of (nested) Hilbert schemes of points. We show that the criteria of Krug-Sosna and Addington for the universal ideal sheaf functor to be fully faithful…

Given a foliation $\mathcal{F}$ on $X$ and an embedding $X\subseteq Y$, is there a foliation on $Y$ extending $\mathcal{F}$? Using formal methods, we show that this question has an affirmative answer whenever the embedding is sufficiently…

We introduce a derived enhancement of the moduli space of sections defined by Chang-Li, and we compute its tangent complex. Special cases of this moduli space include stable maps and stable quasi-maps. As an application, we prove that…

For a proper local embedding between two Deligne--Mumford stacks Y and X, we find, under certain mild conditions, a new (possibly non-separated) Deligne--Mumford stack X', with an etale, surjective and universally closed map to the target…

We show that a formal Deligne--Mumford stack is formal-locally represented by a formal scheme. This is an analogue of Frobenius theorem for smooth foliations in any characteristic and without smoothness hypotheses on the ambient space.

Given a normal projective irreducible stack $\mathscr X$ over an algebraically closed field of characteristic zero we consider framed sheaves on $\mathscr X$, i.e., pairs $(\mathcal E,\phi_{\mathcal E})$, where $\mathcal E$ is a coherent…

We give a systematic construction of semiorthogonal decompositions of derived categories of coherent sheaves on quasi-smooth derived algebraic stacks over $\mathbb{C}$, where the summands are subcategories defined by weight conditions, and…

We prove the AKSZ theorem for shifted Poisson structures: if $X$ is an $n$-shifted Poisson derived stack, and $Y$ a $d$-oriented derived stack, then the mapping stack \[\underline{\mathrm{Map}}(Y,X)\] is naturally endowed with an…

This is a book on derived foliations, that are a generalisation of classical foliations in the context of derived geometry. The text starts with the basic definitions and constructions, then explore foliated cohomology (with crystal…

Let X ->Y be a Zariski locally trivial fibration of smooth complex projective varieties, with fiber F. We give a structure theorem for the derived category of X provided both F and Z have a full strongly exceptional collection of line…

We use Morse theory to prove that the Lefschetz Hyperplane Theorem holds for compact smooth Deligne-Mumford stacks over the site of complex manifolds. For $Z \subset X$ a hyperplane section, $X$ can be obtained from $Z$ by a sequence of…

We consider the moduli space of rigidified perfect complexes with support on a general complete intersection Calabi-Yau threefold $X$ and its Tyurin degeneration $X\rightsquigarrow X_1\cup_SX_2$ to a complete intersection of Fano threefolds…

We define a Deligne-Mumford stack X_{D,r} which depends on a scheme X, an effective Cartier divisor D\subset X, and a positive integer r. Then we show that the Abramovich-Vistoli moduli stack of stable maps into X_{D,r} provides…

In this paper we study the moduli stack of complexes of vector bundles (with chain isomorphisms) over a smooth projective variety $X$ via derived algebraic geometry. We prove that if $X$ is a Calabi-Yau variety of dimension $d$ then this…