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.

Affine geometry and Frobenius algebra

Positivity and vanishing theorems in complex and algebraic geometry

On Frobenius structures in symmetric cones

Tautological Formal Frobenius Manifold Structures on A Frobenius Algebra

Associative Geometries. I: Torsors, linear relations and Grassmannians

Commutativity equations and their trigonometric solutions

Affine connections on the algebra of differential forms

Bi-flat F-structures as differential bicomplexes and Gauss-Manin connections

The Virasoro-like Algebra of a Frobenius Manifold

Introduction to Lorentzian and Flat Affine Geometry of $\mathsf{GL}(2,\mathbb{R})$

Extended affine Weyl groups and Frobenius manifolds

On the geometry of Kähler--Frobenius manifolds and their classification

Formal Frobenius Manifold Structure on Equivariant Cohomology

Diffeomorphisms, Analytic Torsion and Noncommutative Geometry

Some very low-dimensional algebraic topology

On Quasi-Isomorphic DGBV Algebras

Homotopy BV-algebras in Hermitian geometry

Geometry in global coordinates in mechanics and optimal transport

On affine connections in a Riemannian manifold with a circulant metric and two circulant affinor structures

Differential geometry and general relativity with algebraifolds

Algebraic structures on parallelizable manifolds