Related papers: Derived jet and arc spaces
We introduce jet topics: a framework to identify underlying classes of jets from collider data. Because of a close mathematical relationship between distributions of observables in jets and emergent themes in sets of documents, we can apply…
In this paper we study the local geometry of the stack of pointed $A_r$-stable curves. In particular, we analyze the deformation theory of $A_r$-stable curves and their automorphism groups in order to study the combinatorics of families of…
We prove that the category of vector bundles over a fixed smooth manifold and its corresponding category of convenient modules are models for intuitionistic differential linear logic. The exponential modality is modelled by composing the…
We prove in this paper that for a quasi-compact and semi-separated (non necessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(A_qc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and…
We describe derived moduli functors for a range of problems involving schemes and quasi-coherent sheaves, and give cohomological conditions for them to be representable by derived geometric n-stacks. Examples of problems represented by…
In this paper, we study a deformation theory of rigid analytic spaces. We develop a theory of cotangent complexes for rigid geometry which fits in with our deformations. We then use the complexes to give a cohomological description of…
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…
We study free dg-Lie algebroids over arbitrary derived schemes, and compute their universal enveloping and jet algebras. We also introduce derived twisted connections, and relate them with lifts on twisted square zero extensions. This…
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…
An overview of some recent results on the geometry of partial differential equations in application to integrable systems is given. Lagrangian and Hamiltonian formalism both in the free case (on the space of infinite jets) and with…
In order to develop the foundations of logarithmic derived geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log \'etale maps and use this to define derived log stacks.
By a theorem due to the first author, the bounded derived category of a finite-dimensional algebra over a field embeds fully faithfully into the stable category over its repetitive algebra. This embedding is an equivalence iff the algebra…
Jet spaces on $\mathbb R^n$ have been shown to have a canonical structure of stratified Lie groups (also known as Carnot groups). We construct jet spaces over stratified Lie groups adapted to horizontal differentiation and show that these…
The action of the mapping class group of a surface on the collection of homotopy classes of disjointly embedded curves or arcs in the surface is discussed here as a tool for understanding Riemann's moduli space and its topological and…
We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…
This article studies the scheme structure of the jet schemes of determinantal varieties. We show that in general, these jet schemes are not irreducible. In the case of the determinantal variety $X$ of $r \times s$ matrices of rank at most…
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…
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,…
In this paper, we collect the fundamental basic properties of jet modules in algebraic geometry and related properties of differential operators. We claim no originality but we want to provide a reference work for own research and the…
In the first part of our paper, we show that there exist non-isomorphic derived equivalent genus $1$ curves, and correspondingly there exist non-isomorphic moduli spaces of stable vector bundles on genus $1$ curves in general. Neither…