Causal Topology in Future and Past Distinguishing Spacetimes
Onkar Parrikar, Sumati Surya
备注：
20 pages, 4 figures. Minor revisions. In particular, (i) terminology in one of the Lemmas corrected, (ii) numbering of Lemmas, Theorems, etc. uniformised. To appear in Classical and Quantum Gravity
The causal structure of a strongly causal spacetime is particularly well endowed. Not only does it determine the conformal spacetime geometry when the spacetime dimension n >2, as shown by Malament and Hawking-King-McCarthy (MHKM), but also the manifold dimension. The MHKM result, however, applies more generally to spacetimes satisfying the weaker causality condition of future and past distinguishability (FPD), and it is an important question whether the causal structure of such spacetimes can determine the manifold dimension. In this work we show that the answer to this question is in the affirmative. We investigate the properties of future or past distinguishing spacetimes and show that their causal structures determine the manifold dimension. This gives a non-trivial generalisation of the MHKM theorem and suggests that there is a causal topology for FPD spacetimes which encodes manifold dimension and which is strictly finer than the Alexandrov topology. We show that such a causal topology does exist. We construct it using a convergence criterion based on sequences of "chain-intervals" which are the causal analogs of null geodesic segments. We show that when the region of strong causality violation satisfies a local achronality condition, this topology is equivalent to the manifold topology in an FPD spacetime.
It is proved that in a distinguishing spacetime the horismos relation E^+=J^+\I^+ generates the causal relation J^+. In other words two causally related events are joined by a chain of horismotically related events, or again, the causal relation is the smallest transitive relation containing the horismos relation. The result is sharp in the sense that distinction can not be weakened to future or past distinction. Finally, it is proved that a spacetime in which the horismos relation generates the causal relation is necessarily non-total imprisoning.
A discussion is presented of the principle of black hole com- plementarity. It is argued that this principle could be viewed as a breakdown of general relativity, or alternatively, as the introduction of a time variable with multiple `sheets' or `branches' A consequence of the theory is that the stress-energy tensor as viewed by an outside observer is not simply the Lorentz-transform of the tensor viewed by an ingoing observer. This can serve as a justification of a new model for the black hole atmosphere, recently re-introduced. It is discussed how such a model may lead to a dynamical descrip…
We study the notion of causal orders for the cases of (classical and quantum) circuits and spacetime events. We show that every circuit can be immersed into a classical spacetime, preserving the compatibility between the two causal structures. Using the process matrix formalism, we analyse the realisations of the quantum switch using 4 and 3 spacetime events in classical spacetimes with fixed causal orders, and the realisation of a gravitational switch with only 2 spacetime events that features superpositions of different gravitational field configurations and their respective causal orders. W…
The classical definition of {\em global hyperbolicity} for a spacetime $(M,g)$ comprises two conditions: (A) compactness of the diamonds $J^+(p)\cap J^-(q)$, and (B) strong causality. Here we show that condition (B) can be replaced just by causality. In fact, we show first that the classical definition of causal simplicity (which impose to be distinguishing, apart from the closedness of $J^+(p)$, $J^-(q)$) can be weakened in causal instead of distinguishing. So, the full consistency of the causal ladder (recently proved by the authors in a definitive way) yields directly the result.
Causal seed models, such as cosmological defects, generically predict a distinctly different structure to the CMB power spectrum than inflation, due to the behavior of the perturbations outside the horizon. We provide a general analysis of their causal generation from isocurvature initial conditions by analyzing the role of stress perturbations and conservation laws in the causal evolution. Causal stress perturbations tend to generate an isocurvature pattern of peak heights in the CMB spectrum and shift the first compression, i.e.~main peak, to smaller angular scales than in the inflationary c…
We explore whether the growth dynamics paradigm of Causal Set Theory is compatible with past-infinite causal sets. We modify the Classical Sequential Growth dynamics of Rideout and Sorkin to accommodate growth "into the past" and discuss what form physical constraints such as causality could take in this new framework. We propose convex-suborders as the "observables" or "physical properties" in a theory in which causal sets can be past-infinite and use this proposal to construct a manifestly covariant framework for dynamical models of growth for past-infinite causal sets.
We describe numerical and analytical investigations of causal sets sprinkled into spacetime manifolds. The first part of the paper is a numerical study of finite causal sets sprinkled into Alexandrov subsets of Minkowski spacetime of dimensions $1 + 1$, $1 + 2$ and $1 + 3$. In particular we consider the rank 2 past of sprinkled causet events, which is the set of events that are two links to the past. Assigning one of the rank 2 past events as `preferred past' for each event yields a `preferred past structure', which was recently proposed as the basis for a causal set d'Alembertian. We test six…
Let $(M,g)$ be a spacetime which admits a complete timelike conformal Killing vector field $K$. We prove that $(M,g)$ splits globally as a standard conformastationary spacetime with respect to $K$ if and only if $(M,g)$ is distinguishing (and, thus causally continuous). Causal but non-distinguishing spacetimes with complete stationary vector fields are also exhibited. For the proof, the recently solved "folk problems" on smoothability of time functions (moreover, the existence of a {\em temporal} function) are used.
We derive criteria for whether two cosmological events can have a shared causal past or a shared causal future, assuming a Friedmann-Lemaitre-Robertson-Walker universe with best-fit ΛCDM cosmological parameters from the Planck satellite. We further derive criteria for whether either cosmic event could have been in past causal contact with our own worldline since the time of the hot "big bang", which we take to be the end of early-universe inflation. We find that pairs of objects such as quasars on opposite sides of the sky with redshifts z >= 3.65 have no shared causal past with each other or …
Suppose a spacetime $M$ is a quotient of a spacetime $V$ by a discrete group of isometries. It is shown how causality conditions in the two spacetimes are related, and how can one learn about the future causal boundary on $M$ by studying structures in $V$. The relations between the two are particularly simple (the boundary of the quotient is the quotient of the boundary) if both $V$ and $M$ have spacelike future boundaries and if it is known that the quotient of the future completion of $V$ is past-distinguishing. (That last assumption is automatic in the case of $M$ being multi-warped.)
Causal continuity is usually defined by imposing the conditions (i) distinction and (ii) reflectivity. It is proved here that a new causality property which stays between weak distinction and causality, called feeble distinction, can actually replace distinction in the definition of causal continuity. An intermediate proof shows that feeble distinction and future (past) reflectivity implies past (resp. future) distinction. Some new characterizations of weak distinction and reflectivity are given.
It is shown that the warped product spacetime P=M *_f H, where H is a complete Riemannian manifold, and the original spacetime M share necessarily the same causality properties, the only exceptions being the properties of causal continuity and causal simplicity which present some subtleties. For instance, it is shown that if diamH=+\infty, the direct product spacetime P=M*H is causally simple if and only if (M,g) is causally simple, the Lorentzian distance on M is continuous and any two causally related events at finite distance are connected by a maximizing geodesic. Similar conditions are fo…
We describe an algebraic way to code the causal information of a discrete spacetime. The causal set C is transformed to a description in terms of the causal pasts of the events in C. This is done by an evolving set, a functor which to each event of C assigns its causal past. Evolving sets obey a Heyting algebra which is characterised by a non-standard notion of complement. Conclusions about the causal structure of the causal set can be drawn by calculating the complement of the evolving set. A causal quantum theory can be based on the quantum version of evolving sets, which we briefly discuss.
FLRW models filled with just dark energy are shown to have a finite past, since causal geodesics cannot be extended beyond a certain proper time. It is shown that curvature measured along causal geodesics becomes infinity on travelling to the past, though curvature scalars tend to zero. Furthermore the time measured by free-falling observers from coincidence time to Big Rip is shown to be as short as wished by increasing their linear momentum.
We discuss the asymptotic structure of spacetimes, presenting a new construction of ideal points at infinity and introducing useful topologies on the completed space. Our construction is based on structures introduced by Geroch, Kronheimer, and Penrose and has much in common with the modifications introduced by Budic and Sachs as well as those introduced by Szabados. However, these earlier constructions defined ideal points as equivalence classes of certain past and future sets, effectively defining the completed space as a quotient. Our approach is fundamentally different as it identifies ide…
This paper describes a continuation of the program of causal views, in which the world consists of nothing but a vast number of partial views of its past. Each view is associated to an event, and is a representation of the immediate causal past of that event. These consists mainly of processes that transfer energy, momentum and other charges to it from its past events. There is fundamentally no space or spacetime, just a large number of events, which are the causes of events to come. This is a development of energetic causal set theories, developed with Marina Cortes. Momentum and energy are f…
In this paper, We prove a conjecture which states that if M is a nakedly singular future boundary or nakedly singular past boundary spacetime, then the space of null geodesics, N, is non-Hausdorff. Also, we show that every two-dimensional strongly causal spacetime M is causally simple if and only if it is null pseudoconvex. As a result, it implies the converse of the conjecture for two-dimension but there are examples that refute it for more dimensions.
We explore the description of bulk causal structure in a dual field theory. We observe that in the spacetime dual to a spacelike non-commutative field theory, the causal structure in the boundary directions is modified asymptotically. We propose that this modification is described in the dual theory by a modification of the micro-causal light cone. Previous studies of this micro-causal light cone for spacelike non-commutativite field theories agree with the expectations from the bulk spacetime. We describe the spacetime dual to field theories with lightlike non-commutativity, and show that the…
Evidence is provided for a conjecture that, in the continuum limit, the mean of the causal set action of a causal set sprinkled into a globally hyperbolic Lorentzian spacetime, M, of finite volume equals the Einstein Hilbert action of M plus the volume of the co-dimension 2 intersection of the future boundary with the past boundary. We give the heuristic argument for this conjecture and analyse some examples in 2 dimensions and one example in 4 dimensions.
It is proved that all discontinuity points of a finite cosmological time function, $τ$, are on past lightlike rays. As a result, it is proved that if $(M,g)$ is a chronological space-time without past lightlike rays then there is a representation of $g$ such that its cosmological time function is regular. In addition, by reducing conditions of regularity sufficient conditions for causal simplicity and causal pseudoconvexity of space-time is given. It is also proved that the second condition of regularity can be reduced to satisfies only on inextendible past-directed causal rays if $(M,g)$ be a…
We show that the causal properties of asymptotically flat spacetimes depend on their dimensionality: while the time-like future of any point in the past conformal infinity $\mathcal{I}^-$ contains the whole of the future conformal infinity $\mathcal{I}^+$ in $(2+1)$ and $(3+1)$ dimensional Schwarzschild spacetimes, this property (which we call the Penrose property) does not hold for $(d+1)$ dimensional Schwarzschild if $d>3$. We also show that the Penrose property holds for the Kerr solution in $(3+1)$ dimensions, and discuss the connection with scattering theory in the presence of positive ma…
Causal Space-Time Structure and non-Hausdorff Extension of Schwarzschild Black Hole Interior
Landau Phystech-School, Moscow Institute of Physics and Technology（兰道物理技术学院，莫斯科物理技术学院）；Institute for High Energy Physics of National Research Centre "Kurchatov Institute"（库尔恰托夫国家研究中心高能物理研究所）
This article reviews the properties and limitations associated with the existence of particle, visual, and event horizons in cosmology in general and in inflationary universes in particular, carefully distinguishing them from `Hubble horizons'. It explores to what extent one might be able to probe conditions beyond the visual horizon (which is close in size to the present Hubble radius), thereby showing that visual horizons place major limits on what are observationally testable aspects of a multiverse, if such exists. Indeed these limits largely prevent us from observationally proving a multi…
We continue our study of the global properties of the z=2 Schroedinger space-time. In particular, we provide a codimension 2 isometric embedding which naturally gives rise to the previously introduced global coordinates. Furthermore, we study the causal structure by probing the space-time with point particles as well as with scalar fields. We show that, even though there is no global time function in the technical sense (Schroedinger space-time being non-distinguishing), the time coordinate of the global Schroedinger coordinate system is, in a precise way, the closest one can get to having suc…
A theory governing the metric and matter fields in spacetime is {\it locally causal} if the probability distribution for the fields in any region is determined solely by physical data in the region's past, i.e. it is independent of events at space-like separated points. General relativity is manifestly locally causal, since the fields in a region are completely determined by physical data in its past. It is natural to ask whether other possible theories in which the fundamental description of space-time is classical and geometric -- for instance, hypothetical theories which stochastically coup…
General definitions for causal structures on manifolds of dimension d+1>2 are presented for the topological category and for any differentiable one. Locally, these are given as cone structures via local (pointwise) homeomorphic or diffeomorphic abstraction from the standard null cone variety in R^{d+1}. Weak and strong local cone (LC) structures refer to the cone itself or a manifold thickening of the cone respectively. After introducing cone (C-)causality, a causal complement with reasonable duality properties can be defined. The most common causal concepts of space-times are generalized to t…
It is often argued that superluminal velocities and nontrivial spacetime topologies, allowed by the theory of relativity, may lead to causal paradoxes. By emphasizing that the notion of causality assumes the existence of a time arrow (TA) that points from the past to the future, the apparent paradoxes appear to be an artefact of the wrong tacit assumption that the relativistic coordinate TA coincides with the physical TA. The latter should be identified with the thermodynamic TA, which, by being absolute and irrotational, does not lead to paradoxes.
The purpose of this note is to establish, in a categorical manner, the universality of the Geroch-Kronheimer-Penrose causal boundary when considering the types of causal structures that may profitably be put on any sort of boundary for a spacetime. Actually, this can only be done for the future causal boundary (or the past causal boundary) separately; furthermore, only the chronology relation, not the causality relation, is considered, and the GKP topology is eschewed. The final result is that there is a unique map, with the proper causal properties, from the future causal boundary of a spacet…
