1998/08/08 by Aristophanes Dimakis, A. Dimakis, Folkert Müller-Hoissen +1 · 1 citation
Mathematics · Physics and Astronomy · #Advanced Operator Algebra Research #Geometric Analysis and Curvature Flows #Noncommutative and Quantum Gravity Theories #gr-qc #hep-lat #hep-th #math-ph #math.DG #math.MP
paper · pdf · doi:10.1063/1.532819
published as J.Math.Phys. 40 (1999) 1518-1548 · 34 pages, 1 figure (eps), LaTeX, amssymb, epsfig
arxiv created 1998/08/08 · openalex publication_date 1999/03/01 · arxiv updated 2009/11/30 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28
Within a framework of noncommutative geometry, we develop an analog of (pseudo-) Riemannian geometry on finite and discrete sets. On a finite set, there is a counterpart of the continuum metric tensor with a simple geometric interpretation. The latter is based on a correspondence between first order differential calculi and digraphs (the vertices of the latter are given by the elements of the finite set). Arrows originating from a vertex span its (co)tangent space. If the metric is to measure length and angles at some point, it has to be taken as an element of the left-linear tensor product of the space of 1-forms with itself, and not as an element of the (nonlocal) tensor product over the algebra of functions, as considered previously by several authors. It turns out that linear connections can always be extended to this left tensor product, so that metric compatibility can be defined in the same way as in continuum Riemannian geometry. In particular, in the case of the universal differential calculus on a finite set, the Euclidean geometry of polyhedra is recovered from conditions of metric compatibility and vanishing torsion. In our rather general framework (which also comprises structures which are far away from continuum differential geometry), there is, in general, nothing like a Ricci tensor or a curvature scalar. Because of the nonlocality of tensor products (over the algebra of functions) of forms, corresponding components (with respect to some module basis) turn out to be rather nonlocal objects. But one can make use of the parallel transport associated with a connection to “localize” such objects, and in certain cases there is a distinguished way to achieve this. In particular, this leads to covariant components of the curvature tensor which allow a contraction to a Ricci tensor. Several examples are worked out to illustrate the procedure. Furthermore, in the case of a differential calculus associated with a hypercubic lattice we propose a new discrete analogue of the (vacuum) Einstein equations.