Related papers: Synthetic Differential Jet Bundles are Reduced
In our [Higher-order preconnections in synthetic differential geometry of jet bundles, Beitr\"{a}ge zur Algebra und Geometrie, 45 (2004), 677-696] we have established the affine bundle theorem in the synthetic approach to jet bundles in…
Systems of partial differential equations lie at the heart of physics. Despite this, the general theory of these systems has remained rather obscure in comparison to numerical approaches such as finite element models and various other…
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…
Finite dimensional solutions to a class of stochastic partial differential equations are obtained extending the differential constraints method for deterministic PDE to the stochastic framework. A geometrical reformulation of the stochastic…
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…
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…
The fourth paper of our series of papers entitled "Differential Geometry of Microlinear Frolicher Spaces is concerned with jet bundles. We present three distinct approaches together with transmogrifications of the first into the second and…
We develop a generalized field space geometry for higher-derivative scalar field theories, expressing scattering amplitudes in terms of a covariant geometry on the all-order jet bundle. The incorporation of spacetime and field derivative…
Quantum principal bundles or principal comodule algebras are re-interpreted as principal bundles within a framework of Synthetic Noncommutative Differential Geometry. More specifically, the notion of a noncommutative principal bundle within…
This paper is the sequel to our previous paper (Differetial Geometry of Microlinear Frolicher spaces IV-1), where three approaches to jet bundles are presented and compared. The first objective in this paper is to give the affine bundle…
In this paper, we explain how the abstract notion of a differential bundle in a tangent category provides a new way of thinking about the category of modules over a commutative ring and its opposite category. MacAdam previously showed that…
We try to convince the reader that the categorical version of differential geometry, called Synthetic Differential Geometry (SDG), offers valuable tools which can be applied to work with some unsolved problems of general relativity. We do…
Let $X\subset\mathbb P^{n+1}$ be a smooth complex projective hypersurface. In this paper we show that, if the degree of $X$ is large enough, then there exist global sections of the bundle of invariant jet differentials of order $n$ on $X$,…
Domains in infinite jets present the simplest class of diffieties with boundary. In this note some basic elements of geometry of these domains are introduced and an analogue of the C-spectral sequence in this context is studied. This, in…
We consider differentiable maps in the setting of Abstract Differential Geometry and we study the conditions that ensure the uniqueness of differentials in this setting. In particular, we prove that smooth maps between smooth manifolds…
We generalize a vanishing theorem for the cohomology of symmetric powers of the cotangent bundle of subvarieties of projective space due to Schneider. From this we deduce new vanishing results for Green-Griffiths jet differential bundles,…
We formulate and prove the existence of an asymptotic duality along the fibers of the Green-Griffiths jet bundles over projective manifolds. The existence of global sections for these bundles and also for their dual sheaves has been…
The main theorem of this paper is a result of estimated transversality with respect to stratifications of jet spaces in the approximately holomorphic category over an almost-complex manifold. The notion of asymptotic ampleness of complex…
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…
Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work…