Related papers: DG Indschemes
From descent theory to higher geometry, the idea of gluing has been embedded in many elegant and powerful techniques, proving instrumental for the solution of many problems. In this paper, we introduce a framework that allows to link…
It is well-known that DG-enhancements of D(QCoh(X)) are all equivalent to each other, see [23]. Here we present an explicit model which leads to applications in deformation theory. In particular, we shall describe three models for derived…
Studying toric varieties from a scheme-theoretical point of view leads to toric schemes, i.e. "toric varieties over arbitrary base rings". It is shown how the base ring affects the geometry of a toric scheme. Moreover, generalisations of…
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…
In this paper, we study the differential smoothness of diffusion algebras.
Mixing, and coherence are fundamental issues at the heart of understanding transport in fluid dynamics and other non-autonomous dynamical systems. Recently, the notion of coherence has come to a more rigorous footing, and particularly…
We discuss what is known about the structure of the bounded derived categories of coherent sheaves on Grassmannians of simple algebraic groups.
Let X be a quasi-compact and quasi-separated (not necessarily semiseparated) scheme. The category QcoX of all quasi-coherent sheaves of OX-modules has several diferent pure derived categories. Recently, categorical pure derived categories…
In this paper, we prove the dg affinity of formal deformation algebroid stacks over complex smooth algebraic varieties. For that purpose, we introduce the triangulated category of formal deformation modules which are cohomologically…
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…
We define a derived enhancement of the classical quot functor of quotients associated to a coherent sheaf on a nonsingular quasiprojective variety. We prove its representability and show that it has the expected tangent complex. The derived…
We give an abstract formulation of the formal theory partial differential equations (PDEs) in synthetic differential geometry, one that would seamlessly generalize the traditional theory to a range of enhanced contexts, such as…
This paper introduces the notion of ``relative gerbes'' for smooth maps of manifolds, and discusses their differential geometry. The equivalence classes of relative gerbes are further classified by the relative integral cohomology in degree…
The combination of words ``discrete curvature'' is only an apparent contradiction. In this survey we describe curvature notions associated with polygons, polyhedral surfaces, and with abstract polyhedral manifolds. Several theorems about…
We consider the class of profinite diffeological spaces, that is, diffeological spaces which diffeologies are deduced by pull-back of diffeologies on finite-dimensional manifolds through a system of projection mappings. This class includes…
Let X be a projective, equidimensional, singular scheme over an algebraically closed field. Then the existence of a geometric smoothing (i.e. a family of deformations of X over a smooth base curve whose generic fibre is smooth) implies the…
By a result of Orlov there always exists an embedding of the derived category of a finite-dimensional algebra of finite global dimension into the derived category of a high-dimensional smooth projective variety. In this article we give some…
One can see deep-learning models as compositions of functions within the so-called tame geometry. In this expository note, we give an overview of some topics at the interface of tame geometry (also known as o-minimality), optimization…
Continuation of algebraic structures in families of dynamical systems is described using category theory, sheaves, and lattice algebras. Well-known concepts in dynamics, such as attractors or invariant sets, are formulated as functors on…
We define an abstract framework called {\it discrete finite differences embedding} which can be used to obtain discrete analogue of formal functional relations in the spirit of category theory. For ordinary differential equations we exhibit…