Differential geometry and general relativity with algebraifolds

TL;DR

This paper develops a fully algebraic formulation of differential geometry using algebraifolds, eliminating the need for manifolds, and applies it to general relativity and distributional geometry.

Contribution

It introduces the concept of algebraifolds, a new algebraic framework for differential geometry that encompasses manifolds, generalized functions, and algebraic varieties.

Findings

Algebraifolds include smooth functions, generalized functions, and algebraic varieties.

The formalism covers tensors, connections, curvature, and geodesics.

Application to general relativity demonstrates the approach's relevance.

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 "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. Our development of differential geometry in terms of algebraifolds comprises tensors, connections, curvature, geodesics and we briefly consider general relativity.