Related papers: Axiomatic Differential Geometry II-1 Vector Fields
In this paper we give an axiomatization of differential geometry comparable to model categories for homotopy theory. Weil functors play a predominant role.
Given a complete and (locally) cartesian closed category U, it is shown that the category of functors from the category of Weil algebras to the category U is (locally, resp.) cartesian closed. The corresponding axiomatization for…
The central object of synthetic differential geometry is microlinear spaces. In our previous paper [Microlinearity in Frolicher spaces -beyond the regnant philosophy of manifolds-, International Journal of Pure and Applied Mathematics, 60…
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…
In this paper is proposed a kind of model theory for our axiomatic differential geometry. It is claimed that smooth manifolds, which have occupied the center stage in differential geometry, should be replaced by functors on the category of…
We study continuous groups of generalized Kerr-Schild transformations and the vector fields that generate them in any n-dimensional manifold with a Lorentzian metric. We prove that all these vector fields can be intrinsically characterized…
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…
The paper is devoted to the complete classification of all real Lie algebras of contact vector fields on the first jet space of one-dimensional submanifolds in the plane. This completes Sophus Lie's classification of all possible Lie…
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…
We show that the category of vector fields on a geometric stack has the structure of a Lie 2-algebra. This proves a conjecture of R.~Hepworth. The construction uses a Lie groupoid that presents the geometric stack. We show that the category…
In this paper, we study the generalized derivation of a Lie sub-algebra of the Lie algebra of polynomial vector fields on $\mathbb{R}^n$ where $n\geq1$, containing all constant vector fields and the Euler vector field, under some conditions…
We consider the Lie algebra of all vector fields on a contact manifold as a module over the Lie subalgebra of contact vector fields. This module is split into a direct sum of two submodules: the contact algebra itself and the space of…
We refurbish our axiomatics of differential geometry introduced in [Mathematics for Applications,, 1 (2012), 171-182]. Then the notion of Euclideaness can naturally be formulated. The principal objective in this paper is to present an…
We construct the space of vector fields on a generic quantum group. Its elements are products of elements of the quantum group itself with left invariant vector fields. We study the duality between vector fields and 1-forms and generalize…
In this paper we study differential forms and vector fields on the orbit space of a proper action of a Lie group on a smooth manifold, defining them as multilinear maps on the generators of infinitesimal diffeomorphisms, respectively. This…
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…
The Lie algebra of planar vector fields with coefficients from the field of rational functions over an algebraically closed field of characteristic zero is considered. We find all finite-dimensional Lie algebras that can be realized as…
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 define Weil spaces, Weil manifolds, Weil varieties and Weil Lie groups over an arbitrary commutative base ring K (in particular, over discrete rings such as the integers), and we develop the basic theory of such spaces, leading up the…
We discuss various old and new definitions of the notion of a vector field on a convenient manifold that can be proved to give rise to Lie algebras, and are in finite dimensions equivalent to the standard notion of a vector field.