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.

ON FAMILIES IN DIFFERENTIAL GEOMETRY

Differential geometry and general relativity with algebraifolds

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

On diffeologies for power sets and measures

Generalized Differential Geometry

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

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

Deformations of Symplectic Foliations: algebraic aspects

Differential modules and Deformations of Free Complexes

Finite translation orbits on double families of abelian varieties

A Geometric Approach to the Theory of Normal Families

On Theories of Superalgebras of Differentiable Functions

New foundations for geometry

On manifold-like polyfolds as differential geometrical objects with applications in complex geometry

Nonstandard diffeology and generalized functions

A differential graded model for derived analytic geometry

Axiomatic Differential Geometry III-3

Differential Calculus in Triole Algebras

Dirac Geometry I: Commutative Algebra

Partitioned difference families and harmonious linear spaces

Cohomologies and deformations of differential algebra morphisms