Algebraic geometry replaces manifolds in differential geometry.
problem Eliminate the need for manifolds in differential geometry.
method Introduce algebraifolds and use commutative algebras with finitely generated projective module of derivations.
result General relativity can be formulated using algebraifolds.