Related papers: Axiomatic Differential Geometry I-1
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…
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…
In our previous paper entitled "Axiomatic differential geometry -towards model categories of differential geometry-, we have given a category-theoretic framework of differential geometry. As the first part of our series of papers concerned…
Topos theory is a category-theoretic axiomatization of set theory. Model categories are a category-theoretical framework for abstract homotopy theory. They are complete and cocomplete categories endowed with three classes of morphisms…
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…
The principal objective in this paer is to study the relationship between the old kingdom of differential geometry (the category of smooth manifolds) and its new kingdom (the category of functors on the category of Weil algebras to some…
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 present a differential-geometric formulation of automatic differentiation (AD) based on jet functors and Weil algebras. In this framework, forward- and reverse-mode differentiation arise naturally as pushforward and cotangent pullback,…
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…
This paper gives a first step towards developing synthetic differential geometry within homotopy type theory. Its model theory will be discussed in a subsequent paper.
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…
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…
In this thesis three topics on the model theory of partial differential fields are considered: the generalized Galois theory for partial differential fields, geometric axioms for the theory of partial differentially closed fields, and the…
Motivated by an axiomatic approach to characterize space-time it is investigated a reformulation of Einstein's gravity where the pseudo-riemannian geometry is substituted by a Weyl one. It is presented the main properties of the Weyl…
We prove that there exists a version of Weil descent, or Weil restriction, in the category of $\mathcal{D}$-algebras. The objects of this category are $k$-algebras $R$ equipped with a homomorphism $e \colon R \to R \otimes_k \mathcal{D}$…
In this article we present pictorially the foundation of differential geometry which is a crucial tool for multiple areas of physics, notably general and special relativity, but also mechanics, thermodynamics and solving differential…
We generalize the differential space concept as a tool for developing differential geometry, and enrich this geometry with infinitesimals that allow us to penetrate into the superfine structure of space. This is achieved by Yoneda embedding…
In this paper we construct a geometric analogue of the Weil representation over a finite field. Our construction is principally invariant, not choosing any specific realization. This eliminates most of the unpleasant formulas that appear in…
The Weil group of a number field is a refinement of its absolute Galois group arising from class field theory. The passage from Galois to Weil is important in several places in number theory. However, we will argue that while from the…
We construct the Weil functor $T^A$ corresponding to a general Weil algebra $A = K \oplus N$: this is a functor from the category of manifolds over a general topological base field or ring $K$ (of arbitrary characteristic) to the category…