Related papers: Differentials on the arc space
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…
This paper is an introduction to the jet schemes and the arc space of an algebraic variety. We also introduce the Nash problem on arc families.
We study derivations and differential forms on the arithmetic jet spaces of smooth schemes, relative to several primes. As applications we give a new interpretation of arithmetic Laplacians and we discuss the de Rham cohomology of some…
We study arc spaces and jet schemes of generic determinantal varieties. Using the natural group action, we decompose the arc spaces into orbits, and analyze their structure. This allows us to compute the number of irreducible components of…
We introduce new notions of log jet spaces. Mildly singular spaces are ``smooth'' in log geometry, so their log jet spaces behave like the jet spaces of smooth varieties. Myriad examples contrast log jet spaces with the usual jet spaces of…
This work provides a unified formalism for studying difference and (Hasse-) differential algebraic geometry, by introducing a theory of "iterative Hasse rings and schemes". As an application, Hasse jet spaces are constructed generally,…
We develop sheaf theory in the context of difference algebraic geometry. We introduce categories of difference sheaves and develop the appropriate cohomology theories. As specializations, we get difference Galois cohomology, difference…
Given a scheme X over a field k, a generalized jet scheme parametrizes maps from Spec(A) to X, where A is a finite-dimensional, local algebra over k. We give an overview of known results concerning the dimensions of these schemes when A has…
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.
This note is intended to provide a general reference for jet spaces and jet differentials, valid in maximal generality (at the level of EGA). The approach is rather concrete, using Hasse-Schmidt (divided) higher differentials. Discussion of…
An abstract theory of ultradifferentiable sheafs is developed. Moreover, various applications to the theory of linear partial differential equations, differential geometry and, in particular, CR geometry are discussed.
Answering a question of J.~Kovacic, we show that, for any Keigher ring, its differential spectrum coincides with the differential spectrum of the ring of global sections of the structure sheaf. In particular, we obtain the answer for Ritt…
We define vector fields, leaves and trajectories for schemes. With these tools, we are able to give a geometrical interpretation and to generalize several results of differential Galois theory and constructions on differential schemes. We…
A construction of the tangent dg Lie algebra of a sheaf of operad algebras on a site is presented. The requirements on the site are very mild; the requirements on the algebra are more substantial. A few applications including the…
Given an algebra $A$ over a differential field $K$, we study derivations on $A$ that are compatible with the derivation on $K$. There is a universal object, which is a twisted version of the usual module of differentials, and we establish…
In this paper we state and prove some results on the structure of the jetbundles as left and right module over the structure sheaf on the projective line and projective space using elementary techniques involving diagonalization of…
The paper surveys several results on the topology of the space of arcs of an algebraic variety and the Nash problem on the arc structure of singularities.
Using arithmetic jet spaces, we attach perfectoid spaces to smooth schemes and to $\delta$-morphisms of smooth schemes. We also study perfectoid spaces attached to arithmetic differential equations defined by some of the remarkable…
Given a 0-dimensional scheme in a projective space $\mathbb{P}^n$ over a field $K$, we study the K\"ahler differential algebra $\Omega_{R/K}$ of its homogeneous coordinate ring $R$. Using explicit presentations of the modules…
Jet schemes and arc spaces received quite a lot of attention by researchers after their introduction, due to J. Nash, and established their importance as an object of study in M. Kontsevich's motivic integration theory. Several results…