Related papers: A Mapping Theorem for Derived Foliations

Let $(M, \mathcal{F})$ be a compact Riemannian foliated manifold. We consider a family of compatible Feller semigroups in $C(M^n)$ associated to laws of the $n$-point motion. Under some assumptions (Le Jan and Raimond, \cite{Le…

We prove a weak factorization result on birational maps of Deligne-Mumford stacks, and deduce the following: Let $U \subset X$ be an open embedding of smooth Deligne-Mumford stacks such that $D = X-U$ is a normal crossings divisor, then the…

We formalize the concept of sheaves of sets on a model site by considering variables thereof, or motifs, and we construct functorially defined derived algebraic stacks from them, thereby eliminating the necessity to choose derived…

We use the theory of twisted stable maps to Deligne-Mumford stacks to construct compactifications of the moduli space of pairs $(X \to C, S + F)$ where $X \to C$ is a fibered surface, $S$ is a sum of sections, $F$ is a sum of marked fibers,…

We define derived versions of $F$-zips and associate a derived $F$-zip to any proper, smooth morphism of schemes in positive characteristic. We analyze the stack of derived $F$-zips and certain substacks. We make a connection to the…

In the context of complex algebraic varieties, the decomposition theorem for semi-small maps provides a decomposition of the direct image of the constant sheaf. In this work, we develop a decomposition theorem for branched coverings of…

Let $X$ be an algebraic stack with quasi-affine diagonal of finite type over a field $k$ of characteristic $0$. We extend the well-known equivalence $\mathsf{D}^+(\mathsf{QCoh}(X)) \simeq \mathsf{D}_{\mathrm{qc}}^+(X)$ to unbounded derived…

We develop a theory of unbounded derived categories of quasi-coherent sheaves on algebraic stacks. In particular, we show that these categories are compactly generated by perfect complexes for stacks that either have finite stabilizers or…

We construct relative moduli spaces of semistable pairs on a family of projective Deligne-Mumford stacks. We define moduli stacks of stable orbifold Pandharipande-Thomas pairs on stacks of expanded degenerations and pairs, and then show…

We generalize the construction of a moduli space of semistable pairs parametrizing isomorphism classes of morphisms from a fixed coherent sheaf to any sheaf with fixed Hilbert polynomial under a notion of stability to the case of projective…

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…

To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…

In this paper, we describe a general theory of "spaces with structure sheaves." Specializations of this theory include the classical theory of schemes, the theory of Deligne-Mumford stacks, and their derived generalizations.

We prove that the dg category of perfect complexes on a smooth, proper Deligne-Mumford stack over a field of characteristic zero is geometric in the sense of Orlov, and in particular smooth and proper. On the level of triangulated…

Derived mapping stacks are a fundamental source of examples of derived enhancements of classical moduli problems. For instance, they appear naturally in Gromov-Witten theory and in some branches of geometric representation theory. In this…

Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…

Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of…

On a real analytic manifold M, we construct the linear subanalytic Grothendieck topology Msal together with the natural morphism of sites $\rho$ from Msa to Msal, where Msa is the usual subanalytic site. Our first result is that the derived…

In this paper we prove first a general theorem on semiorthogonal decompositions in derived categories of coherent sheaves for flat families over a smooth base. Based on the results of math.AG/0510670, we then show that the derived…

Let X be a quasi-compact scheme, equipped with an open covering by affine schemes. A quasi-coherent sheaf on X gives rise, by taking sections over the covering sets, to a diagram of modules over the various coordinate rings. The resulting…