Generalized sums over histories for quantum gravity (II). Simplicial conifolds

This paper examines the issues involved with concretely implementing a sum over conifolds in the formulation of euclidean sums over histories for gravity. The first step in precisely formulating any sum over topological spaces is that one must have an algorithmically implementable method of generating a list of all spaces in the set to be summed over. This requirement causes well known problems in the formulation of sums over manifolds in four or more dimensions; there is no algorithmic method of determining whether or not a topological space is an n-manifold in five or more dimensions and the issue of whether or not such an algorithm exists is open in four. However, as this paper shows, conifolds are algorithmically decidable in four dimensions. Thus the set of 4-conifolds provides a starting point for a concrete implementation of euclidean sums over histories in four dimensions. Explicit algorithms for summing over various sets of 4-conifolds are presented in the context of Regge calculus.