Related papers: Prolongations in differential algebra
We extend Borger's construction of algebraic jet spaces to allow for an arbitrary prolongation sequence, clarify the relation between Borger's and Buium's jet spaces and compare them in the extended sense. As a result, we strengthen a…
The notion of prolongation of an algebraic variety is developed in an abstract setting that generalises the difference and (Hasse) differential contexts. An interpolating map that compares the prolongation spaces with algebraic jet spaces…
We explore the geometric notion of prolongations in the setting of computational algebra, extending results of Landsberg and Manivel which relate prolongations to equations for secant varieties. We also develop methods for computing…
The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…
We consider generalized (possibly depending on fields as well as on space-time variables) gauge transformations and gauge symmetries in the context of general -- that is, possibly non variational nor covariant -- differential equations. In…
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…
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,…
Let T be an algebraically bounded theory. We consider the $L(\bar\delta)$-expansions of T by a tuple $\bar \delta$ of derivations (which may be commuting or not). We investigate the model completion of either of the above theories, whose…
We extend the notion of dilation distance to strongly continuous one-parameter unitary groups. If the dilation distance between two such groups is finite, then these groups can be represented on the same space in such a way that their…
We show that, for a right exact functor from an abelian category to abelian groups, Yoneda's isomorphism commutes with homology and, hence, with functor derivation. Then we extend this result to semiabelian domains. An interpretation in…
The aim of this work is to lay the foundations of differential geometry and Lie theory over the general class of topological base fields and -rings for which a differential calculus has been developed in recent work (collaboration with H.…
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…
A geometric first-order axiomatization of differentially closed fields of characteristic zero with several commuting derivations, in the spirit of Pierce-Pillay, is formulated in terms of a relative notion of prolongation for Kolchin-closed…
We consider a class of extensions of associative algebras, which we refer to as ``strongly proj-bounded extensions''. We prove that the finiteness of the left global dimension and the support of the Hochschild homology is preserved by…
We review the construction of homological evolutionary vector fields on infinite jet spaces and partial differential equations. We describe the applications of this concept in three tightly inter-related domains: the variational Poisson…
Extended geometry provides a unified framework for double geometry, exceptional geometry, etc., i.e., for the geometrisations of the string theory and M-theory dualities. In this talk, we will explain the structure of gauge transformations…
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…
Differential geometry may be generalized to allow infinitesimals to any order. The purpose of the present contribution is to show that the theory so developed expands received geometrical ideas in an interesting way, rich in potential for…
In a classical Hamiltonian theory with second class constraints the phase space functions on the constraint surface are observables. We give general formulas for extended observables, which are expressions representing the observables in…
We exhibit an adjunction between a category of abstract algebras of partial functions that we call difference-restriction algebras and a category of Hausdorff \'etale spaces. Difference-restriction algebras are those algebras isomorphic to…