Related papers: Topologies on the future causal completion

We propose and study a new approach to the topologization of spaces of (possibly not all) future-directed causal curves in a stably causal spacetime. It relies on parametrizing the curves "in accordance" with a chosen time function. Thus…

A Cech closure space $(X,u)$ is a set $X$ with a (Cech) closure operator $u$ which need not be idempotent. Many properties which hold in topological spaces hold in Cech closure spaces as well. The notions of proper (splitting) and…

We introduce the effectual topological complexity (ETC) of a $G$-space $X$. This is a $G$-equivariant homotopy invariant sitting in between the effective topological complexity of the pair $(X,G)$ and the (regular) topological complexity of…

The self-duality equations of Chern-Simons Higgs theory in a background curved spacetime are studied by making use of the U(1) gauge potential decomposition theory and $\phi$-mapping method. The special form of the gauge potential…

Why is the manifold topology in a spacetime taken for granted? Why do we prefer to use Riemann open balls as basic-open sets, while there also exists a Lorentz metric? Which topology is a best candidate for a spacetime; a topology…

We prove that a globally hyperbolic spacetime with its causality relation is a bicontinuous poset whose interval topology is the manifold topology. This provides an abstract mathematical setting in which one can study causality independent…

Studies in 1+1 dimensions suggest that causally discontinuous topology changing spacetimes are suppressed in quantum gravity. Borde and Sorkin have conjectured that causal discontinuities are associated precisely with index 1 or n-1 Morse…

We study homologically maximizing timelike geodesics in conformally flat tori. A causal geodesic $\gamma$ in such a torus is said to be homologically maximizing if one (hence every) lift of $\gamma$ to the universal cover is arclength…

Let $G$ be a group and $\sigma, \tau$ be topological group topologies on $G$. We say that $\sigma$ is a successor of $\tau$ if $\sigma$ is strictly finer than $\tau$ and there is not a group topology properly between them. In this note, we…

In this work we revisit the notion of the (future) causal completion of a globally hyperbolic spacetime and endow it with the structure of a Lorentzian pre-length space. We further carry out this construction for a certain class of…

We combine an ideal topological space $(X, \tau, \mathcal{I})$ with a scope function $\mathfrak{a}: X \to \tau$, $x \in \mathfrak{a}(x)$, to form what we call an ideal-aura topological space $(X, \tau, \mathcal{I}, \mathfrak{a})$. The…

This article begins by deriving a measure-theoretic decomposition of continuous linear functionals on $C(X)$, the space of all real-valued continuous functions on a metric space $(X, d)$, equipped with the topology $\tau_\mathcal{B}$ of…

The class $\mathcal{UP}$ of `ultimate polynomial time' problems over $\mathbb C$ is introduced; it contains the class $\mathcal P$ of polynomial time problems over $\mathbb C$. The $\tau$-Conjecture for polynomials implies that…

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with…

We introduce a canonical, compact topology, which we call weakly causal, naturally generated by the causal site of J. D. Christensen and L. Crane, a pointless algebraic structure motivated by certain problems of quantum gravity. We show…

The \emph{Continuity Problem} is the question whether effective operators are continuous, where an effective operator $F$ is a function on a space of constructively given objects $x$, defined by mapping construction instructions for $x$ to…

We consider the future causal boundary as a tool to find obstructions to conformal extensions, the latter being a slight generalization to conformal compactifications.

If $I$ is an ideal in the ring $C(X)$ of all real valued continuous functions defined over a Tychonoff space $X$, then $X$ is called $I$-$pseudocompact$ if the set $X\setminus \bigcap Z[I]$ is a bounded subset of $X$. Corresponding to $I$,…

It is shown that if a space-time has non-compact Cauchy surface, then its topological, differentiable, and causal structure are completely determined by a class of compact subsets of its Cauchy surface. Since causal structure determines its…

The crease set of an event horizon is studied in a spacetime with discrete or continuous symmetry. It determines possible topologies on spatial sections of an event horizon. We thereby investigate the classification of stable topological…