Related papers: Derived log stacks after Olsson

A map of fine log schemes $X \to Y$ induces a map from the scheme underlying $X$ to Olsson's algebraic stack of strict morphisms of fine log schemes over $Y$. A sheaf on $X$ is called \emph{log flat over} $Y$ iff it is flat over this…

We construct the derived version of the Hilbert scheme parametrizing subschemes in a given projective scheme X with given Hilbert polynomial h. This is a dg-manifold (smooth dg-scheme) RHilb_h(X) which carries a natural family of…

Let Spec(A) be an affine derived stack. We give two proofs of the existence of a canonical map from the moduli space of shifted Poisson structures (in the sense of Pantev-To\"en-Vaqui\'e-Vezzosi, see http://arxiv.org/abs/1111.3209 ) on…

Let $(L, v_L) / (K, v_K)$ be a finite or purely transcendental extension of real valued fields. We construct the associated integral cotangent and log cotangent complexes in terms of a MacLane-Vaqui\'e chain approximating $v_L$. This leads…

We introduce the notion of log R-maps, and develop a proper moduli stack of stable log R-maps in the case of a hybrid gauged linear sigma model. Two virtual cycles (canonical and reduced) are constructed for these moduli stacks. The main…

In this paper, we propose a definition of the moduli stack of stable relative ideal sheaves, and prove that it is a separated and proper Deligne-Mumford stack. It is the first part of the project of relative Donaldson-Thomas theory of ideal…

We give a formulation for derived analytic geometry built from commutative differential graded algebras equipped with entire functional calculus on their degree 0 part, a theory well-suited to developing shifted Poisson structures and…

We study jet schemes and arc spaces in the context of derived algebraic geometry. Explicitly, we consider the jet and arc functors in the category of schemes and study their animations to the category of derived schemes -- what we call the…

We study when the derived intersection of two smooth subvarieties of a smooth variety is formal. As a consequence we obtain a derived base change theorem for non-transversal intersections. We also obtain applications to the study of the…

It was suggested on several occasions by Deligne, Drinfeld and Kontsevich that all the moduli spaces arising in the classical problems of deformation theory should be extended to natural "derived" moduli spaces which are always smooth in an…

In this paper we extend To\"en's derived Hall algebra construction, in which he obtains unital associative algebras from certain stable model categories, to one in which such algebras are obtained from more general stable homotopy theories,…

These are notes on derived algebraic geometry in the context of animated rings. More precisely, we recall the proof of To\"en-Vaqui\'e that the derived stack of perfect complexes is locally geometric in the language of $\infty$-categories.…

In this article, we construct a flat degeneration of the derived moduli stack of Higgs bundles on smooth curves using the stack of expanded degenerations of Jun Li. We show that there is an intrinsic relative log-symplectic form on the…

The goal of this paper is to give a general theory of logarithmic Gromov-Witten invariants. This gives a vast generalization of the theory of relative Gromov-Witten invariants introduced by Li-Ruan, Ionel-Parker, and Jun Li, and completes a…

Let $\mathcal{X}$ be a tame proper Deligne-Mumford stack of the form $[M/G]$ where $M$ is a scheme and $G$ is an algebraic group. We prove that the stack $\mathcal{K}_{g,n}(\mathcal{X},d)$ of twisted stable maps is a quotient stack and can…

We define a derived enhancement of the hyperquot scheme (also known as nested Quot scheme), which classically parametrises flags of quotients of a perfect coherent sheaf on a projective scheme. We prove it is representable by a derived…

Let $\ix$ be a smooth Deligne-Mumford stack over the complex numbers. One can define twisted orbifold Gromov-Witten invariants of $\ix$ by considering multiplicative invertible characteristic classes of various bundles on the moduli spaces…

We compute the rational homology of the moduli stack $\mathcal{M}$ of objects in the derived category of certain smooth complex projective varieties $X$ including toric varieties, flag varieties, curves, surfaces, and some 3- and 4-folds.…

In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we…

We construct a smooth algebraic stack of tuples consisting of genus two nodal curves, simple effective divisors away from the nodes, and twisted fields. It provides a desingularization of the moduli of genus two stable maps to projective…