Related papers: Derived jet and arc spaces
A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is…
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 bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We…
We show how derived categories build bridges across the current mathematical mainstream, linking geometric and algebraic, commutative and noncommutative, local and global banks. Arches in these bridges are pieces of semiorthogonal…
We introduce local invariants of algebraic spaces and stacks which measure how far they are from being a scheme. Using these invariants, we develop mostly topological criteria to determine when the moduli space of a stack is a scheme. As an…
We develop a generalized field space geometry for higher-derivative scalar field theories, expressing scattering amplitudes in terms of a covariant geometry on the all-order jet bundle. The incorporation of spacetime and field derivative…
We define a categorical action of the shifted quantum loop group of $\mathfrak{sl}_2$ on the derived categories of Quot schemes of finite length quotient sheaves on a smooth projective curve. As an application, we obtain a semi-orthogonal…
Whatever it is that animates anima and breathes life into higher algebra, this something leaves its trace in the structure of a Dirac ring on the homotopy groups of a commutative algebra in spectra. In the prequel to this paper, we…
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.…
This is the second in a series of two papers developing a moduli-theoretic framework for differential ideal sheaves associated with formally integrable, involutive systems of algebraic partial differential equations (PDEs). Building on…
We study the differential properties of generalized arc schemes, and geometric versions of Kolchin's Irreducibility Theorem over arbitrary base fields. As an intermediate step, we prove an approximation result for arcs by algebraic curves.
Let $A$ be a graded algebra. It is shown that the derived category of dg modules over $A$ (viewed as a dg algebra with trivial differential) is a triangulated hull of a certain orbit category of the derived category of graded $A$-modules.…
Let $A$ be an algebra over an operad in a cocomplete closed symmetric monoidal category. We study the category of $A$-modules. We define certain symmetric product functors of such modules generalising the tensor product of modules over…
We give a self-contained presentation of the basic results on jet schemes of singular varieties. Applications are given to invariants of singularities, such as minimal log discrepancies. We simplify our older approach to Inversion of…
This paper establishes semiorthogonal decompositions for derived Grassmannians of perfect complexes with Tor-amplitude in $[0,1]$. This result verifies the author's Quot formula conjecture [J21a] and generalizes and strengthens Toda's…
We study the interaction between geometric operations on stacks and algebraic operations on their categories of sheaves. We work in the general setting of derived algebraic geometry: our basic objects are derived stacks X and their…
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…
Families of m-jet spaces and arc spaces. Let V be an algebraic variety defined over an algebraically closed field of characteristic zero. The m-jet spaces and the arc space provide the information on the geometry of the variety V, therefore…
We study loci of arcs on a smooth variety defined by order of contact with a fixed subscheme. Specifically, we establish a Nash-type correspondence showing that the irreducible components of these loci arise from (intersections of)…
Curved A-infinity algebras appear in nature as deformations of dg algebras. We develop the basic theory of curved A-infinity algebras and, in particular, curved dg algebras. We investigate their link with a suitable class of dg coalgebras…