Abstract:It is often noted that many of the basic concepts of differential geometry, such as the definition of connection, are purely algebraic in nature. Here, we review and extend existing work on fully algebraic formulations of differential geometry which eliminate the need for an underlying manifold. While the literature contains various independent approaches to this, we focus on one particular approach that we argue to be the most natural one based on the definition of \emph{algebraifold}, by which we mean a commutative algebra $\mathcal{A}$ for which the module of derivations of $\mathcal{A}$ is finitely generated projective. Over $\mathbb{R}$ as the base ring, this class of algebras includes the algebra $C^\infty(M)$ of smooth functions on a manifold $M$, and similarly for analytic functions. An importantly different example is the Colombeau algebra of generalized functions on $M$, which makes distributional differential geometry an instance of our formalism. Another instance is a fibred version of smooth differential geometry, since any smooth submersion $M \to N$ makes $C^\infty(M)$ into an algebraifold with $C^\infty(N)$ as the base ring.Over any field $k$ of characteristic zero, examples include the algebra of regular functions on a smooth affine variety as well as any function field.

Axiomatic Differential Geometry III-3

Axiomatic Differential Geometry I-1

Differential Cohomology as Diffeological Homotopy Theory

Differential geometry and general relativity with algebraifolds

On the geometry of diffeological vector pseudo-bundles and infinite dimensional vector bundles: automorphisms, connections and covariant derivatives

Correspondences Between Convex Geometry and Complex Geometry

Differential Geometry of Microlinear Frolicher Spaces II

Diffeomorphisms, Analytic Torsion and Noncommutative Geometry

Duality of differential operators and algebraic de Rham cohomology

Monoidal bicategories, differential linear logic, and analytic functors

Cohomologies and deformations of differential algebra morphisms

On certain noncommutative geometries via categories of sheaves of (graded) PI-algebras

Half-spherical twists on derived categories of coherent sheaves

A differential graded model for derived analytic geometry

Topologization and Functional Analytification III

Cohomology and Hodge Theory on Symplectic Manifolds: III

Analytic Geometry and Hodge-Frobenius Structure

Poincaré Duality for Supermanifolds, Higher Cartan Structures and Geometric Supergravity

On topological motives

Differential Calculus over Graded Commutative Algebras and Vector Bundles with Inner Structures

Integral Invariants of 3-Manifolds. II