Finitary Topos for Locally Finite,Causal and Quantal Vacuum Einstein Gravity

The pentalogy (Mallios, A. and Raptis, I. (2001). International Journal of Theoretical Physics 40, 1885; Mallios, A. and Raptis, I. (2002). International Journal of Theoretical Physics 41, 1857; Mallios, A. and Raptis, I. (2003).International Journal of Theoretical Physics 42, 1479; Mallios, A. and Raptis, I. (2004). ‘paper-book’/research monograph); I. Raptis (2005). International Journal of Theoretical Physics (to appear)is brought to its categorical climax by organizing the curved finitary spacetime sheaves of quantumcausal sets involved therein, on which a finitary (:locally finite), singularity-free, background manifold independent and geometrically prequantized version of the gravitational vacuum Einstein field equations were seen to hold, into a topos structure . We show that the category of finitary differential triads is a finitary instance of an elementary topos proper in the original sense dueto Lawvere and Tierney. We present in the light of Abstract Differential Geometry (ADG) a Grothendieck-type of generalization of Sorkin’s finitary substitutes of continuous spacetime manifoldtopologies, the latter’s topological refinement inverse systems of locally finite coverings and their associated coarse graining sieves, the upshot being that is also a finitary example of a Grothendieck topos. In the process, we discover that the subobject classifier Ω _fcq of is a Heyting algebra type of object, thus we infer that the internal logic of our finitary topos is intuitionistic, as expected. We also introduce the new notion of ‘finitary differential geometric morphism’ which, as befits ADG, gives a differential geometric slant to Sorkin’s purely topological acts of refinement (:coarse graining). Based on finitary differential geometric morphisms regarded as natural transformations of the relevant sheaf categories, we observe that the functorial ADG-theoretic version of the principle of general covariance of GeneralRelativity is preserved under topological refinement. The paper closes with a thorough discussion of four future routes we could take in order to further develop our topos-theoretic perspective on ADG-gravity along certain categorical trends in current quantum gravity research. PACS numbers: 04.60.-m, 04.20.Gz, 04.20.-q Posted at the General Relativity and Quantum Cosmology (gr-qc) electronic archive (www.arXiv.org), as: gr-qc/0507100.     

Finitary Čech-de Rham Cohomology

The present paper continues (Mallios & Raptis, International Journal of Theoretical Physics, 2001, 40, 1885) and studies the curved finitary spacetime sheaves of incidence algebras presented therein from a ech cohomological perspective. In particular, we entertain the possibility of constructing a nontrivial de Rham complex on these finite dimensional algebra sheaves along the lines of the first author's axiomatic approach to differential geometry via the theory of vector and algebra sheaves (Mallios, Geometry of Vector Sheaves: An Axiomtic Approach to Differential Geometry, Vols. 1–2, Kluwer, Dordrecht, 1998a; Mathematica Japonica (International Plaza), 1998b, 48, 93). The upshot of this study is that important classical differential geometric constructions and results usually thought of as being intimately associated with C-smooth manifolds carry through, virtually unaltered, to the finitary-algebraic regime with the help of some quite universal, because abstract, ideas taken mainly from sheaf-cohomology as developed in Mallios (1998a,b). At the end of the paper, and due to the fact that the incidence algebras involved have been interpreted as quantum causal sets (Raptis, International Journal of Theoretical Physics, 2000, 39, 1233; Mallios & Raptis, 2001), we discuss how these ideas may be used in certain aspects of current research on discrete Lorentzian quantum gravity.     

Glafka-2004: Categorical Quantum Gravity

A synopsis-cum-update of work in the past half-decade or so on applying the algebraico-categorical concepts, technology and general philosophy of Abstract Differential Geometry (ADG) to various issues in current classical and quantum gravity research is presented. The exposition is mainly discursive, with conceptual, interpretational and philosophical matters emphasized throughout, while their formal technical-mathematical underpinnings have been left to the original papers. The general position is assumed that Quantum Gravity is in need of a new mathematical, novel physical concepts and principles introducing, framework in which old and current problems can be reformulated, readdressed and potentially retackled afresh. It is suggested that ADG can qualify as such a theoretical framework.Paper version of a talk given at the Glafka–2004: Iconoclastic Approaches to Quantum Gravity international theoretical physics conference, held in Athens, Greece (summer 2004).     

Finitary-Algebraic ‘Resolution’ of the Inner Schwarzschild Singularity

A ‘resolution’ of the interior singularity of the spherically symmetric Schwarzschild solution of the Einstein equations for the gravitational field of a point-particle is carried out entirely and solely by finitistic and algebraic means. To this end, the background differential spacetime manifold and, in extenso, Differential Calculus-free purely algebraic (:sheaf-theoretic) conceptual and technical machinery of Abstract Differential Geometry (ADG) is employed. As in previous works [Mallios, A. and Raptis, I. (2001). Finitary spacetime sheaves of quantum causal sets: Curving quantum causality. International Journal of Theoretical Physics, 40, 1885 [gr-qc/0102097]; Mallios, A. and Raptis, I. (2002). Finitary Čech-de Rham cohomology. International Journal of Theoretical Physics, 41, 1857 [gr-qc/0110033]; Mallios, A. and Raptis, I. (2003). Finitary, causal and quantal vacuum Einstein gravity. International Journal of Theoretical Physics 42, 1479 [gr-qc/0209048]], which this paper continues, the starting point for the present application of ADG is Sorkin's finitary (:locally finite) poset (:partially ordered set) substitutes of continuous manifolds in their Gel'fand-dual picture in terms of discrete differential incidence algebras and the finitary spacetime sheaves thereof. It is shown that the Einstein equations hold not only at the finitary poset level of ‘discrete events,’ but also at a suitable ‘classical spacetime continuum limit’ of the said finitary sheaves and the associated differential triads that they define ADG-theoretically. The upshot of this is two-fold: On the one hand, the field equations are seen to hold when only finitely many events or ‘degrees of freedom’ of the gravitational field are involved, so that no infinity or uncontrollable divergence of the latter arises at all in our inherently finitistic-algebraic scenario. On the other hand, the law of gravity—still modelled in ADG by a differential equation proper—does not break down in any (differential geometric) sense in the vicinity of the locus of the point-mass as it is traditionally maintained in the usual manifold-based analysis of spacetime singularities in General Relativity (GR). At the end, some brief remarks are made on the potential import of ADG-theoretic ideas in developing a genuinely background-independent Quantum Gravity (QG). A brief comparison between the ‘resolution’ proposed here and a recent resolution of the inner Schwarzschild singularity by Loop QG means concludes the paper. PACS numbers: 04.60.−m, 04.20.Gz, 04.20.−q     

Quantum Observables Algebras and Abstract Differential Geometry: The Topos-Theoretic Dynamics of Diagrams of Commutative Algebraic Localizations

We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local arithmetics in measurement situations. This construction makes possible the adaptation of the methodology of Abstract Differential Geometry (ADG), à la Mallios, in a topos-theoretic environment, and hence, the extension of the “mechanism of differentials” in the quantum regime. The process of gluing information, within diagrams of commutative algebraic localizations, generates dynamics, involving the transition from the classical to the quantum regime, formulated cohomologically in terms of a functorial quantum connection, and subsequently, detected via the associated curvature of that connection.