Related papers: Differential forms on arithmetic jet spaces
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…
The paper provides a description of the sheaves of K\"ahler differentials of the arc space and jet schemes of an arbitrary scheme where these sheaves are computed directly from the sheaf of differentials of the given scheme. Several…
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…
De Rham cohomology, $d_V$- and $d_H$-cohomology of the differential algebra of locally pull-back exterior forms on the infinite-order jet manifold of a smooth fibre bundle are calculated.
We develop an arithmetic analogue of elliptic partial differential equations. The role of the space coordinates is played by a family of primes, and that of the space derivatives along the various primes are played by corresponding Fermat…
We consider the variational complex on infinite jet space and the complex of variational derivatives for Lagrangians of multidimensional paths and study relations between them. The discussion of the variational (bi)complex is set up in…
We study sheaves of differential forms and their cohomology in the h-topology. This allows to extend standard results from the case of smooth varieties to the general case. As a first application we explain the case of singularities arising…
We investigate deformations of lagrangian manifolds with singularities. We introduce a complex similar to the de Rham-complex whose cohomology calculates deformation spaces. Examples of singular lagrangian varieties are presented and…
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…
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 Y be a divisor on a smooth algebraic variety X. We investigate the geometry of the Jacobian scheme of Y, homological invariants derived from logarithmic differential forms along Y, and their relationship with the property that Y is a…
We study the cohomology of the complexes of differential, integral and pseudo forms on odd symplectic manifolds taking the wedge product with the symplectic form as differential. We show that the cohomology classes are in correspondence…
Spaces of differential forms over configuration spaces with Poisson measures are constructed. The corresponding Laplacians (of Bochner and de Rham type) on forms and associated semigroups are considered. Their probabilistic interpretation…
We reproduce the quantum cohomology of toric varieties (and of some hypersurfaces in projective spaces) as the cohomology of certain vertex algebras with differential. The deformation technique allows us to compute the cohomology of the…
We give algorithms for the computation of the algebraic de Rham cohomology of open and closed algebraic sets inside projective space or other smooth complex toric varieties. The methods, which are based on Gr\"obner basis computations in…
A classical result in differential geometry states that for a free and proper Lie group action, the quotient map to the orbit space induces an isomorphism between the de Rham complex of differential forms on the orbit space and the basic…
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…
The jet formalism for Classical Field theories is extended to the setting of Lie algebroids. We define the analog of the concept of jet of a section of a bundle and we study some of the geometric structures of the jet manifold. When a…
Jets of modules over a commutative ring are well known to make up the representative objects of linear differential operators on these modules. In noncommutative geometry, jets of modules provide the representative objects only of a certain…
The relevant material on differential calculus on graded infinite order jet manifolds and its cohomology is summarized. This mathematics provides the adequate formulation of Lagrangian theories of even and odd variables on smooth manifolds…