Related papers: Axiomatic Differential Geometry III-2
The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…
We prove that the classical algebraic varieties over algebraically closed fields can be defined over arbitrary fields $k.$ Then we prove that for associative algebras $A$, there exist local representing objects $A_M$ for simple modules $M.$…
A categorical theory for the discretization of a large class of dynamical systems with variable coefficients is proposed. It is based on the existence of covariant functors between the Rota category of Galois differential algebras and…
In our previous paper (Axiomatic Differential Geometry II-3) we have discussed the general Jacobi identity, from which the Jacobi identity of vector fields follows readily. In this paper we derive Jacobi-like identities of…
Differential algebraic geometry seeks to extend the results of its algebraic counterpart to objects defined by differential equations. Many notions, such as that of a projective algebraic variety, have close differential analogues but their…
Let M be a smooth manifold, A a local algebra in sense of Andr\'e Weil, M^{A} the manifold of near points on M of kind A and X(M^{A}) the module of vector fields on M^{A}. We give a new definition of vector fields on M^{A} and we show that…
We give a construction of triangulated categories as quotients of exact categories where the subclass of objects sent to zero is defined by a triple of functors. This includes the cases of homotopy and stable module categories. These…
In this paper we will prove that there exists a covariant functor, called algebraic anabelian functor, from the category of algebraic schemes over a given field to the category of outer homomorphism sets of groups. The algebraic anabelian…
The Weil correspondence states that the datum of a Seiberg-Witten differential is equivalent to an algebraic group extension of the integrable system associated to the Seiberg-Witten geometry. Remarkably this group extension represents…
We combine two recent ideas: cartesian differential categories, and restriction categories. The result is a new structure which axiomatizes the category of smooth maps defined on open subsets of $\R^n$ in a way that is completely algebraic.…
We construct open-closed maps on various versions of Hochschild and cyclic homology of the Fukaya $A_\infty$ algebra of a Lagrangian submanifold modeled on differential forms. The $A_\infty$ algebra may be curved. Properties analogous to…
In the framework of Abstract Differential Geometry, we show that to a given principal sheaf and a representation of its stuctural sheaf in $A^n$, where A is a sheaf of associative, commutative, unital algebras (over R or C), we associate a…
The construction of a C*-algebra of a differential groupoid is presented. It is shown that it defines a covariant functor from the category of differential groupoids in a sense of S. Zakrzewski to the category of C*-algebras.
For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…
As the fourth paper of our series of papers concerned with axiomatic differential geometry, this paper is devoted to the general Jacobi identity supporting the Jacobi identity of vector fields. The general Jacobi identity can be regarded as…
We use a category-theoretic formulation of Aczel's Fullness Axiom from Constructive Set Theory to derive the local cartesian closure of an exact completion. As an application, we prove that such a formulation is valid in the homotopy…
The wrapped Fukaya category of a Liouville sector is defined via an axiomatic construction from the associated abstract wrapped Floer setup. In this paper, we propose a modified axiomatic construction, removing the irrelevant choices and…
The paper is a survey of some results about Weil algebras applicable in differential geometry, especially in some classification questions on bundles of generalized velocities and contact elements. Mainly, a number of claims concerning a…
We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…
A differential analogue of the conjecture of Reichstein, Rogalski, and Zhang in algebraic dynamics is here established: if $X$ is a projective variety over an algebraically closed field of characteristic zero which admits a global algebraic…