BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Michael Heller

Michael Heller appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math-phmath.MPgr-qcmath.CTmath.DGphysics.hist-ph

Catalog footprint

What is connected

8works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2022arXiv

Causality and time order -- relativistic and probabilistic aspects

We investigate temporal and causal threads in the fabric of contemporary physical theories with an emphasis on empirical and operationalistic aspects. Building on the axiomatization of general relativity proposed by J. Ehlers, F. Pirani and A. Schild and the global space-time structure elaborated by R. Penrose, S.W. Hawking, B. Carter and others, we argue that the current way of doing relativistic physics presupposes treating time and causality as primitive concepts, neither of them being `more primitive' than the other. The decision regarding which concepts to assume as primitive and which statements to regard as axioms depends on the choice of the angle at which we contemplate the whole. This standard approach is based on the presupposition that the concept of a point-like particle is a viable approximation. However, this assumption is not supported by a realistic approach to doing physics and, in particular, by quantum theory. We remove this assumption by analysing the recent works by M. Eckstein and T. Miller. They consider the space $P(M)$ of probability measures on space-time $M$ such that, for an element $μ\in P(M)$, the number $μ(K)$ specifies the probability of the occurrence of some event associated with the space-time region $K$ and the measure $μ$. In this way, $M$ is not to be regarded as a collection of space-time events, but rather as a support for corresponding probability measures. As shown by Eckstein and Miller, the space $P(M)$ inherits the causal order from the underlying space-time and facilitates a rigorous notion of a `causal evolution of probability measures'. We look at the deductive chains creating temporal and causal structures analysed in these works, in order to highlight their operational (or quasi-operational) aspect. This is impossible without taking into account the relative frequencies and correlations observed in relevant experiments.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Category Free Category Theory and Its Philosophical Implications

There exists a dispute in philosophy, going back at least to Leibniz, whether is it possible to view the world as a network of relations and relations between relations with the role of objects, between which these relations hold, entirely eliminated. Category theory seems to be the correct mathematical theory for clarifying conceptual possibilities in this respect. In this theory, objects acquire their identity either by definition, when in defining category we postulate the existence of objects, or formally by the existence of identity morphisms. We show that it is perfectly possible to get rid of the identity of objects by definition, but the formal identity of objects remains as an essential element of the theory. This can be achieved by defining category exclusively in terms of morphisms and identity morphisms (objectless, or object free, category) and, analogously, by defining category theory entirely in terms of functors and identity functors (categoryless, or category free, category theory). With objects and categories eliminated, we focus on the "philosophy of arrows" and the roles various identities play in it (identities as such, identities up to isomorphism, identities up to natural isomorphism...). This perspective elucides a contrast between "set ontology" and "categorical ontology".

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

How Logic Interacts with Geometry: Infinitesimal Curvature of Categorical Spaces

In category theory, logic and geometry cooperate with each other producing what is known under the name Synthetic Differential Geometry (SDG). The main difference between SDG and standard differential geometry is that the intuitionistic logic of SDG enforces the existence of infinitesimal objects which essentially modify the local structure of spaces considered in SDG. We focus on an "infinitesimal version" of SDG, an infinitesimal $n$-dimensional formal manifold, and develop differential geometry on it. In particular, we show that the Riemann curvature tensor on infinitesimal level is itself infinitesimal. We construct a heuristic model $S^3 \times \mathbb{R} \subset \mathbb{R}^4$ and study it from two perspectives: the perspective of the category SET and that of the so-called topos $\mathcal{G}$ of germ-determined ideals. We show that the fact that in this model the curvature tensor is infinitesimal (in $\mathcal{G}$-perspective) eliminates the existing singularity. A surprising effect is that the hybrid geometry based on the existence of the infinitesimal and the SET levels generates an exotic smooth structure on $\mathbb{R}^4$. We briefly discuss the obtained results and indicate their possible applications.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Synthetic Approach to the Singularity Problem

We try to convince the reader that the categorical version of differential geometry, called Synthetic Differential Geometry (SDG), offers valuable tools which can be applied to work with some unsolved problems of general relativity. We do this with respect to the space-time singularity problem. The essential difference between the usual differential geometry and SDG is that the latter enriches the real line by introducing infinitesimal of various kinds. Owing to this geometry acquires a tool to penetrate "infinitesimally small" parts of a given manifold. However, to make use of this tool we must switch from the category of sets to some other suitable category. We try two topoi: the topos ${\cal G}$ of germ determined ideals and the so-called Basel topos ${\cal B}$. The category of manifolds is a subcategory of both of them. In ${\cal G}$, we construct a simple model of a contracting sphere. As the sphere shrinks, its curvature increases, but when the radius of the sphere reaches infinitesimal values, the curvature becomes infinitesimal and the singularity is avoided. The topos ${\cal B}$, unlike the topos ${\cal G}$, has invertible infinitesimal and infinitely large nonstandard natural numbers. This allows us to see what happens when a function "goes through a singularity". When changing from the category of sets to another topos, one must be ready to switch from classical logic to intuitionistic logic. This is a radical step, but the logic of the universe is not obliged to conform to the logic of our brains.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A Sheaf of von Neumann Algebras and Its Geometry

It is shown that the differential geometry of space-time, can be expressed in terms of the algebra of operators on a bundle of Hilbert spaces. The price for this is that the algebra of smooth functions on space-time has to be made noncommutative. The generalized differential geometry of space-time is constructed in terms of the algebra A (and its derivations) on a transformation groupoid. Regular representation π of A in the algebra of bounded operators on a bundle of Hilbert spaces leads to the algebra π(A) = M_0 which can be completed to the von Neumann algebra M . The representation πestablishes the isomorphism between A and M_0 which, in turn, implies the isomorphism between moduli of their derivations. In this way, geometry naturally transfers to the algebra M_0 and its derivations. Although geometry, as defined in terms of M_0, is formally isomorphic to that defined in terms of A, it exhibits a strong probabilistic flavour. However, the geometry of M_0 does not prolong to M . This is clearly a serious stumbling block to fully unify mathematical tools of general relativity and quantum theory.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Geometry of Non-Hausdorff Spaces and Its Significance for Physics

Hausdorff relation, topologically identifying points in a given space, belongs to elementary tools of modern mathematics. We show that if subtle enough mathematical methods are used to analyze this relation, the conclusions may be far-reaching and illuminating. Examples of situations in which the Hausdorff relation is of the total type, i.e., when it identifies all points of the considered space, are the space of Penrose tilings and space-times of some cosmological models with strong curvature singularities. With every Hausdorff relation a groupoid can be associated, and a convolutive algebra defined on it allows one to analyze the space that otherwise would remain intractable. The regular representation of this algebra in a bundle of Hilbert spaces leads to a von Neumann algebra of random operators. In this way, a probabilistic description (in a generalized sense) naturally takes over when the concept of point looses its meaning. In this situation counterparts of the position and momentum operators can be defined, and they satisfy a commutation relation which, in the suitable limiting case, reproduces the Heisenberg indeterminacy relation. It should be emphasized that this is neither an additional assumption nor an effect of a quantization process, but simply the consequence of a purely geometric analysis.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Semidirect Product of Groupoids, Its Representations and Random Operators

One of pressing problems in mathematical physics is to find a generalized Poincaré symmetry that could be applied to nonflat space-times. As a step in this direction we define the semidirect product of groupoids $Γ_0 \rtimes Γ_1$ and investigate its properties. We also define the crossed product of a bundle of algebras with the groupoid $Γ_1$ and prove that it is isomorphic to the convolutive algebra of the groupoid $Γ_0 \rtimes Γ_1$. We show that families of unitary representations of semidirect product groupoids in a bundle of Hilbert spaces are random operators. An important example is the Poincaré groupoid defined as the semidirect product of the subgroupoid of generalized Lorentz transformations and the subgroupoid of generalized translations.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Noncommutative Unification of General Relativity and Quantum Mechanics

In Gen. Rel. Grav. (36, 111-126 (2004); in press, gr-qc/0410010) we have proposed a model unifying general relativity and quantum mechanics based on a noncommutative geometry. This geometry was developed in terms of a noncommutative algebra A defined on a transformation groupoid given by the action of a group G on a space E. Owing to the fact that G was assumed to be finite it was possible to compute the model in full details. In the present paper we develop the model in the case when G is a noncompact group. It turns out that also in this case the model works well. The case is important since to obtain physical effects predicted by the model we should assume that G is a Lorentz group or some of its representations. We show that the generalized Einstein equation of the model has the form of the eigenvalue equation for the generalized Ricci operator, and all relevant operators in the quantum sector of the model are random operators; we study their dynamics. We also show that the model correctly reproduces general relativity and the usual quantum mechanics. It is interesting that the latter is recovered by performing the measurement of any observable. In the act of such a measurement the model ``collapses'' to the usual quantum mechanics.

0 citations0 reviewsNo code linkedOpen access