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.

Formal manifolds: foundations

Function spaces on formal manifolds

Poincaré's lemma for formal manifolds

On Curvatures and Fundamental Groups of Finsler Manifolds

On Fundamental Groups of Finsler Manifolds

Formal Deformations, Cohomology Theory and L_∞[1]-structures for Differential Lie Algebras of Arbitrary Weight

Formal deformations, cohomology theory and $L_\infty[1]$-structures for differential Lie algebras of arbitrary weight

Formal Frobenius Manifold Structure on Equivariant Cohomology

Differential geometry and general relativity with algebraifolds

Manifolds and Their Additional Structures

Variational Bihamiltonian Cohomologies and Integrable Hierarchies I: Foundations

Mixed Cohomology of Lie Superalgebras

Derived Differentiable Manifolds

On the formality problem for manifolds with special holonomy

Post-Lie Algebra Structure of Manifolds with Constant Curvature and Torsion

Foundations of geometric cohomology: from co-orientations to product structures

Manifolds with multiplication on the tangent sheaf

Differential Graded Manifolds of Finite Positive Amplitude

Cohomologies and deformations of differential algebra morphisms

Tautological Formal Frobenius Manifold Structures on A Frobenius Algebra