Related papers: A Remark on Higher Homotopy Sheaves of Derived Arc…
This paper is a survey on arc spaces, a recent topic in algebraic geometry and singularity theory. The geometry of the arc space of an algebraic variety yields several new geometric invariants and brings new light to some classical…
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…
Intersection homology of Goresky and MacPherson can be defined from the Deligne sheaf, obtained from truncations of complexes of sheaves. As intersection homology is not the homology of a particular space, the search for a family of spaces…
One distinguishing feature of rational curves is that they have algebraic parameterizations. Arc spaces are a way of describing approximations to parameterizations of all curves in some fixed space. Playing on these descriptions, this paper…
We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…
If $X$ is a smooth scheme of characteristic zero or a complex analytic manifold, and $S$ is a locally split infinitesimal thickening of $X$, we compute explicitly the derived self-intersection of $X$ in $S$.
This paper studies how the theory of derived algebras (in the sense of Bhatt-Mathew and Raksit) interacts with formal derived geometry, specifically the formal derived stacks which show up in the theory of prismatization. As an application…
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…
The description of algebraic structure of n-fold loop spaces can be done either using the formalism of topological operads, or using variations of Segal's $\Gamma$-spaces. The formalism of topological operads generalises well to different…
We generalize a classical result about the genus of curves in projective space by Gruson and Peskine to principally polarized abelian threefolds of Picard rank one. The proof is based on wall-crossing techniques for ideal sheaves of curves…
This text is a survey of derived algebraic geometry. It covers a variety of general notions and results from the subject with a view on the recent developments at the interface with deformation quantization.
We determine some of the derived equivalences of a class of gentle algebras called surface algebras. These algebras are constructed from an unpunctured Riemann surface of genus 0 with boundary and marked points by introducing cuts in…
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.…
We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…
Synthetic algebraic geometry uses homotopy type theory extended with three axioms to develop algebraic geometry internal to a higher version of the Zariski topos. In this article we make no essential use of the higher structure and use…
Let X be a smooth complex algebraic variety with the Zariski topology, and let Y be the underlying complex manifold with the complex topology. Grothendieck's algebraic de Rham theorem asserts that the singular cohomology of Y with complex…
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…
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…
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 construct a derived enhancement of Hom spaces between rigid analytic spaces. It encodes the hidden deformation-theoretic informations of the underlying classical moduli space. The main tool in our construction is the representability…