Professor Conrad Plaut
Department of Mathematics, University of Tennessee
and
Professor Yongli Gao
Department of Physics and Astronomy
The College
of
Arts and Sciences
University of Rochester
Rochester, New York
1996
An interest in developing a differential version of synthetic geometry is motivated by its potential for gravitational theory, especially a version which might gracefully incorporate spin. This thesis only addresses the needed mathematical foundations; physical applications, if there are any, will have to come later. An axiom set for two dimensions is proposed, some of its consequences explored and, to a certain point, considerable progress is made.
The discovery, during the Renaissance, that geometry could be modeled in algebraic terms gave rise to analytic geometry. This provided the basis on which Riemann developed a differential generalization of geometry. But analytic geometry introduces artifacts which pertain to the model and are extraneous to the geometry itself. It is, as a result, characteristically difficult, in this form of geometry, to separate out the essential from the extraneous. The question then arises as to the nature of the Riemannian generalization. Is it purely a generalization of the geometry or is it, at least in part, a generalization of inessential aspects of the particular model? Is it inadvertently specialized in an essential way (at least for use as a description of physical space) by the peculiarities of the algebraic model or its Euclidean basis? Such imponderable questions cannot, of course, be answered definitively. However, it might be possible to demonstrate other paths leading to alternative generalizations.
Modern synthetic geometry, however, has a more logically complete and consistent foundation. In this chapter the pattern of this foundation will be adapted, informed by the previous physical considerations, to develop a synthetic system of axioms which do not entail such things as uniformity or isotropy. This geometry is a global one but it is hoped that its elaboration, like that of Euclidean geometry, will be instructive for the development of a similar, but more general, local theory.